Методы решения некорректно поставленных задач. Реферат. Математика.
💣 👉🏻👉🏻👉🏻 ВСЯ ИНФОРМАЦИЯ ДОСТУПНА ЗДЕСЬ ЖМИТЕ 👈🏻👈🏻👈🏻
Вы можете узнать стоимость помощи в написании студенческой работы.
Помощь в написании работы, которую точно примут!
Похожие работы на - Методы решения некорректно поставленных задач
Скачать Скачать документ
Информация о работе Информация о работе
Скачать Скачать документ
Информация о работе Информация о работе
Скачать Скачать документ
Информация о работе Информация о работе
Скачать Скачать документ
Информация о работе Информация о работе
Скачать Скачать документ
Информация о работе Информация о работе
Скачать Скачать документ
Информация о работе Информация о работе
Нужна качественная работа без плагиата?
Не нашел материал для своей работы?
Поможем написать качественную работу Без плагиата!
Среди математических задач
выделяется класс задач, решения которых неустойчивы к малым изменениям исходных
данных. Они характеризуются тем, что сколь угодно малые изменения исходных
данных могут приводить к произвольно большим изменениям решений. Задачи
подобного типа, по существу, являются плохо поставленными. Они принадлежат к
классу некорректно поставленных задач.
Быстро растущее
использование вычислительной техники требует развития вычислительных алгоритмов
для решения широких классов задач. Но что надо понимать под «решением» задачи?
Каким требованиям должны удовлетворять алгоритмы нахождения « решений »?
Классические концепции и
постановки задач не отражают многих особенностей встречающихся на практике
задач. Мы покажем это на примере.
Рассмотрим систему линейных алгебраических уравнений
Az=u ,
где z — искомый
вектор, и — известный вектор, А ={a ij } — квадратная
матрица с элементами a ij .
Если
система невырожденная, т. е. detA ¹ 0, то она имеет единственное решение, которое можно найти по известным
формулам Крамера или другими способами.
Если
система вырожденная, то она имеет решение (притом не единственное) лишь при
выполнении условий разрешимости, состоящих из равенств нулю со- ответствующих
определителей.
Таким
образом, прежде чем решить систему, надо проверить, вырожденная она или нет.
Для этого требуется вычислить определитель системы detA.
Если
п — порядок системы, то для вычисления det А требуется
выполнить около п 3 операций. С
какой бы точностью мы ни производили вычисления, при достаточно большом
значении п, вследствие накопления ошибок вычисления, мы можем получить
значение detА, как угодно отличающееся от истинного. Поэтому желательно
иметь (построить) такие алгоритмы нахождения решения системы, которые не
требуют предварительного выяснения вырожденности или невырожденности системы.
Кроме
того, в практических задачах часто правая часть u и элементы матрицы А,
т. е.
коэффициенты системы уравнений, известны нам приближенно. В этих случаях вместо
системы, мы имеем дело с некоторой другой системой A 1 z=u 1
такой,
что
|| А 1 — А ||<=h , || u 1 -u||<= d, где смысл норм обычно определяется характером задачи. Имея вместо
матрицы А матрицу А 1 , мы тем более не
можем высказать определенного суждения о вырожденности или невырожденности системы.
В
этих случаях о точной системе Az = и нам известно лишь то, что
для матрицы А и правой части и выполняются неравенства || А 1 — А || <=
h и || и 1 — и || < = d. Но систем с такими исходными данными (А, и) бесконечно много, и
в рамках известного нам уровня погрешности они неразличимы. Среди таких
«возможных точных систем» могут быть и вырожденные.
Поскольку
вместо точной системы мы имеем приближенную систему A 1 z = и 1 , то речь может
идти лишь о нахождении приближенного решения. Но приближенная система может
быть и неразрешимой. Возникает вопрос: что надо понимать под приближенным
решением системы? Оно должно быть также устойчивым к малым изменениям исходных
данных (А, и).
В данной работе будет введено понятие
приближенного решения некорректно поставленных задач, а также будет рассмотрено
несколько методов нахождения таких решений.
1. ПОНЯТИЕ
КОРРЕКТНО ПОСТАВЛЕННЫХ И НЕКОРРЕКТНО ПОСТАВЛЕННЫХ ЗАДАЧ
1.1.
Различают корректно поставленные, и некорректно поставленные задачи. Понятие
корректной постановки задач математической физики было введено
Ж. Адамаром в связи с
желанием выяснить, какие типы граничных условий наиболее естественны для
различных типов дифференциальных уравнений (для эллиптических, например,—
задача Дирихле и ей аналогичные, для гиперболических — задача Коши).
Решение
всякой количественной задачи обычно заключается в нахождении «решения» z по заданным
«исходным данным» и, z=R(u). Мы будем
считать их эле- ментами метрических пространств F и U с расстояниями
между элементами ; u 1 ,
u 2 ÎU; z 1 ,z 2 ÎF . Метрика обычно определяется
постановкой задачи.
1. 2. Пусть определено понятие «решения» и каждому
элементу и ÎU отвечает единственное
решение z=R(u) из пространства F.
Задача
определения решения z=R(u) из пространства
F по исходным данным
и Î U называется устойчивой на
пространствах (F, U), если для любого числа e > О можно указать такое число d (e) > 0, что из неравенства r U (u 1 ,u 2 )<= d (e) следует r F (z 1, z 2 )<= e, где z 1 =R(u 1 ), z 2 =R(u 2 ) ; u 1 ,u 2 ÎU; z 1 ,z 2 ÎF .
Задача
определения решения z из
пространства F по «исходным данным» и из пространства U
называется корректно поставленной на паре метрических пространств (F, U), если удовлетворяются
требования (условия):
1)
для всякого элемента и Î U существует
решение z из пространства F,
2)
решение определяется однозначно;
3)
задача устойчива на пространствах (F, U). В математической литературе
длительное время существовала точка зрения, согласно которой всякая математическая
задача должна удовлетворять этим требованиям .
Задачи,
не удовлетворяющие перечисленным требованиям, называются некорректно
поставленными.
Следует
отметить, что определение некорректно поставленных задач относится к данной паре метрических пространств (F, U), так как в
других метриках та же задача может быть корректно поставленной .
1.3 . Задача нахождения приближенного решения некорректно
поставленной задачи вида
Az = и, и Î U,
(1; 3,1)
в
естественном классе элементов F является практически недоопределенной. Эта задача
является некорректно поставленной, например, в случаях, когда А — вполне
непрерывный оператор. Тогда обратный ему оператор A -1 вообще говоря,
не будет непрерывным на U и решение уравнения (1; 3,1) не будет
устойчивым к малым изменениям правой части и (в метрике пространства U). Исходными данными здесь являются правая часть
уравнения u и оператор А.
Предположим,
что оператор А нам известен точно, а правая часть уравнения (1; 3,1) известна с
точностью d, т. е. вместо ее точного значения u T нам известны
элемент и 1 и число d такие, что r U (u T ,u 1 )<= d. По этим данным, т. е. по (u 1 , d), требуется найти такой элемент z d , который стремился бы (в метрике F) к z T при d® 0. Такой элемент
мы будем называть приближенным (к z T ) решением
уравнения Az = и 1 .
Элементы
zÎ F, удовлетворяющие условию r U (Az, и 1 ) <= d, будем называть сопоставимыми по точности с исходными данными (и 1 , d). Пусть Q d —совокупность
всех таких элементов z Î F. Естественно
приближенные решения уравнения Az=и 1 искать в
классе Q d элементов z , сопоставимых
по точности с исходными данными
Однако в ряде
случаев этот класс элементов слишком широк. Среди этих элементов есть такие,
которые могут сильно отличаться друг от друга ( в метрике пространства F ). Поэтому не
все элементы класса Q d можно брать в
качестве приближенного решения уравнения (1;3,1).
Возможность определения приближенных решений
некорректно поставленных задач, устойчивых к малым изменениям исходных данных,
основывается на использовании дополнительной информации относительно решения.
Возможны различные типы дополнительной информации.
В первой категории случаев
дополнительная информация, носящая количественный характер, позволяет сузить
класс возможных решений, например, до компактного множества, и задача
становится устойчивой к малым изменениям исходных данных. Во второй категории
случаев для нахождения приближенных решений, устойчивых к малым изменениям
исходных данных, используется лишь качественная информация о решения
(например, информация о характере его гладкости).
В
настоящей главе будет рассмотрен метод подбора, имеющий широкое практическое
применение, метод квазирешения, а также метод замены исходного уравнения
близким ему и метод квазиобращения. В качестве некорректно поставленной задачи
мы будем рассматривать задачу решения уравнения
Az=u
(2; 0,1)
относительно z, где u Î U, z Î F, U и F—метрические
пространства. Оператор А отображает F на U.
Предполагается, что существует обратный оператор А -1 , но он не является,
вообще говоря, непрерывным.
Уравнение
(2; 0,1) с оператором А, обладающим указанными свойствами, будем
называть операторным уравнением первого рода, или, короче,— уравнением
первого рода.
2.1.
Метод подбора решения некорректно поставленных задач
2.1.1. Широко распространенным в
вычислительной практике способом приближенного решения уравнения (2; 0,1)
является метод подбора. Он состоит в том, что для элементов z некоторого заранее заданного подкласса
возможных решений М (М Î F) вычисляется оператор Az, т. е. решается прямая задача. В
качестве приближенного решения берется такой элемент z 0 из множества М, на котором невязка r U ( Az,u ) достигает минимума, т. е.
r U ( Az 0 ,u ) = inf r U ( Az,u )
zÎM
Пусть правая часть уравнения (2;0,1) известна точно, т. е. и =u T , и
требуется найти его решение z T . Обычно в
качестве М берется множество элементов z,
зависящих от конечного числа параметров, меняющихся в ограниченных пределах
так, чтобы М было замкнутым множеством конечномерного пространства. Если
искомое точное решение z T уравнения (2; 0,1)
принадлежит множеству М, то и достигается эта
нижняя граница на точном решении z T . Если
уравнение (2;0,1) имеет единственное решение, то
элемент z 0 , минимизирующий r U (Az,и), определен однозначно.
Практически минимизация невязки
r U (Az,и ) производится приближенно и возникает следующий важный
вопрос об эффективности метода подбора, т. е. о возможности как угодно
приблизиться к искомому точному решению.
Пусть {z n }
— последовательность элементов, для которой r U (Az n ,u) ®0 при n®¥. При каких
условиях можно утверждать, что при этом и r F (z n ,z T ) ®0, т. е. что {z n } сходится к z T ?
Это вопрос обоснования
эффективности метода подбора.
2.1.2. Стремление обосновать успешность метода подбора
привело к установлению общефункциональных требований, ограничивающих класс
возможных решений М, при которых метод подбора является устойчивым и z n ®z T . Эти требования заключаются в
компактности множества М и основываются на приводимой ниже известной
топологической лемме.
Лемма. Пусть
метрическое пространство F
отображается на метрическое пространство
U
и Uo — образ множества
Fo, FoÌ F,
при этом отображении. Если отображение
F®U
непрерывно, взаимно однозначно и множество Fo компактно на F, то обратное
отображение Uo®Fo множества
Uo на
множество Fo также непрерывно по метрике пространства F.
Доказательство .
Пусть z — элементы множества F (zÎF), а u—элементы множества U (uÎU). Пусть
функция u=j(z) осуществляет прямое отображение F®U, а функция z=y(u)—обратное
отображение U®F.
Возьмем
произвольный элемент u 0 из Uo. Покажем, что функция y (u) непрерывна на u 0 .
Предположим, что это неверно. Тогда существует такое число e 1 > 0,
что для всякого d > 0 найдется элемент и 1
из Uo, для которого r U (и 1 , и 0 ) < d,
в то время как r F (z 1 ,z 0 )>= e 1 . Здесь
z=y(u 1 ),
z 0 =y(u 0 )
и z 1 ÎFo, z 0 ÎF 0 .
Возьмем последовательность {d n }
положительных чисел d n , сходящуюся к нулю при п ®¥ . Для
каждого d n найдется элемент u n 1
из Uo, для которого r U (и n 1 , и 0 ) < d n , но r F (z n 1 ,z 0 )>= e 1 , где z n 1 =y(u n 1 ).
Очевидно, последовательность {u n 1 }
сходится к элементу u 0 . Так как z n 1
принадлежат компактному на F множеству Fo, то из последовательности {z n 1 } можно выбрать
подпоследовательность {Z 1 n k },
сходящуюся по метрике F к некоторому элементу z 0 Î F. При
этом z 0 1 ¹z 0 ,
так как для всякого n k r F (Z 1 n k ,z 0 )>= e 1 , следовательно и r F (z 1 0 ,z 0 )>= e 1 . Этой подпоследовательности {Z 1 n k }
отвечает последовательность элементов u 1 n k = j (Z 1 n k )
из Uo, сходящаяся к u 1 0 = j(z 1 0 ) и являющаяся
подпоследовательностью последовательности { u 1 n }.
Так как последовательность { u 1 n }
сходится к и 0 =j(z 0 ), то u 1 0 =j(z 1 0 )=u 0 =j(z 0 ) , т. е. j(z 0 )= j(z 1 0 ). В силу
взаимной однозначности отображения F ® U
z 1 0 =z 0 , что
противоречит ранее установленному неравенству z 1 0 ¹z 0 . Лемма доказана.
Эту лемму
можно сформулировать короче.
Если
отображение FoàUo
компакта Fo на множество Uo
взаимно однозначно и непрерывно, то обратное отображение
UoàFo
также непрерывно.
Эквивалентность этих
формулировок следует из того, что замыкание F * 0
множества Fo, компактного на F, является компактом.
Таким образом,
минимизирующая последовательность {z n } в методе подбора сходится к z T при nà¥, если:
а)z T принадлежит классу возможных решений
М;
Пусть оператор А
непрерывен и вместо точной правой части u T мы имеем элемент u d такой, что r U (u d ,u T )<= d, причем u d принадлежит множеству AM (образу множества М при отображении его с помощью
оператора A) и М есть компакт. Пусть {d n } — последовательность положительных чисел таких, что
d n à0 при nàоо. Для каждого п методом подбора можно найти
такой элемент z d n , что r U (A z d n ,u d )<=d n . Элементы z d n будут близки к решению z T уравнения Az=u T . В самом деле, при отображении с
помощью непрерывного оператора образ AM компакта М есть компакт и,
следовательно, по лемме обратное отображение, осуществляемое оператором A -1 , непрерывно на AM. Так как
r U (A z d n ,u)<= r U (A z n
,u d )+r U (u d ,u T ),
r U (A z d n ,u T )<=d n +d=g d n .
Из
этого неравенства и из непрерывности обратного отображения АМ à М следует, что r F (z d n ,z T )<= e( g d n ) , причем e( g d n )à0 при g d n à0. Таким образом, при нахождении приближения z d n к z T надо учитывать уровень погрешности d правой части u d .
2.1.3. На основе изложенных соображений М.
М. Лаврентьев сформулировал понятие корректности по Тихонову. В
применении к уравнению (2; 0,1) задача называется корректной по Тихонову,
если известно, что для точного значения u=u T существует единственное решение z T уравнения (2; 0,1), Az T =u T,
принадлежащее заданному
компакту М. В этом случае оператор А -1 непрерывен на множестве N=AM и, если вместо элемента u T нам известен элемент u d такой, что r U ( u T , u d )<=d и u d Î N,
то в качестве приближенного решения уравнения (2; 0,1) с правой частью u= u d можно взять элемент z d =A -1 u d . При dà0 (u d ÎN) z d будет стремиться к z T . Множество F 1 (F 1 Ì F), на котором задача нахождения решения уравнения (2; 0,1)
является корректно поставленной, называют классом корректности. Так,
если оператор А непрерывен и осуществляет взаимно однозначное
отображение, то компакт М, к которому принадлежит z T , является классом корректности для
уравнения (2; 0,1). Таким образом, если задача (2; 0,1) корректна по Тихонову
и правая часть уравнения uÎ AM,
то метод подбора с успехом может быть применен к решению такой задачи. На
первый вопрос дан исчерпывающий ответ.
Рассмотрим задачу решения
интегрального уравнения Фредгольма первого рода
(2;1,1)
на множестве М 1 монотонно убывающих (возрастающих) и
равномерно ограниченных функций |z(s)|<=B. Она корректна по Тихонову, так как множество M 1 — компакт в пространстве L 2 .
Действительно, возьмем
любую последовательность E = {z 1 (s), z 2 (s), .... z n (s), ...} из M 1 . Согласно теореме Хелли о выборе
существуют подпоследовательность
E 1 = {Zn 1 (s), Zn 2 (s), ..., Zn k (s), ...},
последовательности Е и функция z*(s) из множества M 1 , z*(s) ÎL 2 , такие, что
всюду, кроме, может быть, счетного
множества точек разрыва функции z*(s).
Из поточечной сходимости подпоследовательности Е 1 к функции z*(s) всюду, кроме, может быть, счетного множества точек,
следует, как известно, сходимость
подпоследовательности E 1 к функции z*(s)
по метрике L 2 .
Таким образом, в качестве
приближенного решения на множестве М 1 уравнения (2; 1,1) с приближенно известной правой
частью u 1 Î АМ 1 можно брать точное решение этого
уравнения с правой частью u=u 1 .
Эта последняя задача эквивалентна задаче нахождения на множестве M 1 функции, минимизирующей функционал
N[z,u 1 ]=||
A 1 z – u 1 || 2 L2 .
Пусть r U (u T , u 1 )<= d. Тогда, очевидно, в качестве приближенного решения уравнения
(2; 1,1) можно брать функцию z d , для
которой
|| A 1 z d – u 1 || 2 L2 <= d 2
. (2;1,2)
Если заменить
интегральный оператор A 1 z интегральной суммой на фиксированной сетке с n узлами и обозначить значения
искомой функции в узловых точках через z i , то задача построения приближенного
решения уравнения (2; 1,1) сведется к задаче нахождения конечномерного
вектора, минимизирующего функционал N[z, и 1 ] и удовлетворяющего неравенству (2; 1,2).
В ряде других случаев
компактные классы корректности можно указать эффективно, что дает возможность
строить устойчивые приближенные решения.
2.1.4. В силу погрешности исходных данных
элемент и может не принадлежать множеству AM. В этих условиях уравнение (2; 0,1)
не имеет решения (классического) и возникает вопрос: что надо понимать под
приближенным решением уравнения (2; 0,1)?
В этом случае вводится
понятие квазирешения и метод подбора при условии компактности множества М
позволяет найти приближение к квазирешению. В следующем параграфе вопрос о квазирешении рассматривается подробнее.
2.2.1. Пусть оператор А в уравнении (2; 0,1) — вполне
непрерывный. Построение устойчивого к малым изменениям правой части и
приближенного решения уравнения (2; 0,1) по формуле
z=A -1 u (2; 2,1)
возможно в тех случаях, как
отмечалось в 2.1. , когда решение ищется на компакте М Ì F и правая часть уравнения
принадлежит множеству N = AM.
Обычно не существует
эффективных критериев, позволяющих установить принадлежность элемента и
множеству N. Это приходится предполагать известным априори. В
практических задачах часто вместо точного значения правой части и T нам известно ее приближенное
значение u 1 , которое может не принадлежать
множеству N = AM. В этих случаях нельзя строить приближенное решение уравнения (2; 0,1) по
формуле (2; 2,1), так как символ А -1 u может не иметь смысла.
2.2.2. Стремление устранить затруднения,
связанные с отсутствием решения уравнения (2; 0,1) при неточной правой части,
привело В. К. Иванова к понятию квазирешения уравнения (2; 0,1) — обобщению
понятия решения этого уравнения.
Элемент z 1 Î М, минимизирующий при данном и функционал r U (Az 1 , и) на множестве М, называется квазирешением
уравнения (2; 0,1) на М,
Если М — компакт, то
квазирешение, очевидно, существует для любого и Î U и если, кроме того, и Î AM, то квазирешение z 1
совпадает с обычным (точным) решением уравнения (2; 0,1). Квазирешение может
быть и не одно. В этом случае под квазирешенпем будем разуметь любой элемент из
множества квазирешений D.
Можно указать достаточные
условия, при которых квазирешение единственно и непрерывно зависит от правой
части и.
Напомним определение.
Пусть элемент у и множество Q принадлежат пространству U. Элемент q множества Q называется проекцией элемента у
на множество Q, q = Ру, если выполняется равенство
Теорема
1 .
Если уравнение Аz = u может иметь на компакте М не более
одного решения и проекция каждого элемента uÎU на множество N = AM единственна, то квазирешение уравнения (2; 0,1) единственно
и непрерывно зависит от правой части u.
Доказательство. Пусть z 1 — квазирешение и и 1 = А z 1 .
Очевидно, и 1 есть проекция элемента u на
множество N = AM.
По условию теоремы она определяется однозначно. Отсюда, в силу взаимной
однозначности отображения множества М на множество N, следует единственность квазирешения
z 1 .
Очевидно, что z 1
= А -1 u= А -1 Ри. Согласно лемме о непрерывности обратного отображения
компакта (см. предыдущий параграф) оператор А -1 непрерывен на
N. Оператор проектирования Р непрерывен на U. Поэтому А -1 P — непрерывный на U оператор и, следовательно,
квазирешение
z 1 непрерывно
зависит от правой части и.
Таким образом, при
переходе к квазирешению восстанавливаются все условия корректности, т. е.
задача нахождения квазирешения уравнения (2; 0,1) на компакте М
является корректно поставленной.
Если условие
единственности решения уравнения (2; 0,1) не выполнено, то квазирешения
образуют некоторое множество D элементов компакта М. В этом случае без упомянутых в
теореме 1 ограничений на множество N имеет место непрерывная зависимость
множества квазирешений D от и в смысле непрерывности
многозначных отображений. Для случая, когда уравнение (2; 0,1) линейно, легко
получить более общие результаты, содержащиеся в следующей теореме .
Теорема 2. Пусть уравнение (2; 0,1) линейно, однородное
уравнение Az=0 имеет только нулевое решение, множество М выпукло, а
всякая сфера в пространстве U строго выпукла. Тогда квазирешение уравнения
(2; 0,1) на компакте М единственно и непрерывно зависит от правой части и.
Доказательство. Пусть z 1 — квазирешение и u 1 =Az 1 . Так как множество М выпукло,
то в силу линейности оператора А множество N = AM также выпукло. Очевидно, что и 1 есть проекция элемента и на
множество N. В силу того, что сфера в пространстве U по условию
теоремы строго выпукла, проекция и определяется однозначно. Далее
доказательство завершается, как в теореме 1.
2.2.3. Пусть F и U — гильбертовы пространства, М Î S R — шар (|| z ||<=R ) в пространстве F и А — вполне непрерывный
линейный оператор.
В этом случае
квазирешение уравнения (2; 0,1) можно представить в виде ряда по собственным
элементам (функциям, векторам) j n
оператора А*А, где А* — оператор, сопряженный оператору А.
Известно,
что А*А — самосопряженный положительный вполне непрерывный оператор из F
в F. Пусть l 1 >=l 2 >=…>=l n >=…
— полная система его
собственных значений, a j 1 , j 2 ,…, j n ,…—отвечающая им полная
ортонормированная система его собственных элементов (функций, векторов).
Элемент А*и можно представить в виде ряда
(2;2,2)
Теорема
3 .
Квазирешение уравнения (2, 0,1) на множестве S R выражается формулами:
(2;2,3)
(2;2,4)
(2;2,5)
(2;2,6)
Доказательство. Квазирсшение минимизирует
функционал
r U 2 (Az, u)
== (Az — u, Az — u)
(2;2,7)
(где ( v,w ) — скалярное произведение элементов v и w из U), уравнение Эйлера для которого имеет вид
A*Az=A*u.
(2;2,8)
Решение этого уравнения будем искать
в виде ряда по системе {j n }:
(2;2,9)
Подставляя этот ряд в уравнение (2;
2,8) и используя разложение (2;2,2),
находим с n = b n / l n . Следовательно, неравенство (2;
2,4) означает, что ||z||=R и надо решать задачу на условные
экстремум функционала (2; 2,7) при условии, что || z || 2
= R 2 . Методом неопределенных множителей Лагранжа эта
задача сводится к нахождению безусловного экстремума функционала
а последняя — к решению отвечающего
ему уравнения Эйлера A*Az +bz= А*и. Подставляя сюда z в виде ряда (2; 2,9) и используя разложение
(2; 2,2), находим
Параметр b определяем из условия || z || 2 = R 2 , которое эквивалентно (2; 2,6).
2.3. Приближенное нахождение квазирешений
В предыдущем параграфе
мы видели, что нахождение квазирешения связано с нахождением элемента в
бесконечномерном пространстве. Для приближенного нахождения квазирешения
естественно переходить к конечномерному пространству. Можно указать достаточно
общий подход к приближенному нахождению квазирешений уравнения (2; 0,1) , в
котором А—вполне непрерывный оператор.
Будем полагать, что
выполнены указанные в 2.2. достаточные условия существования единственного
квазирешения на заданном множестве М, т. е. полагаем, что множество М
— выпуклый компакт и сфера в пространстве U строго выпукла. Пусть
M 1
Ì
M 2 Ì...Ì
M n
Ì...
— возрастающая цепочка компактных замкнутых множеств М n такая, что замыкание их объединения совпадает
с М. Квазирешение уравнения (2; 0,1) существует на каждом множестве М n . Но оно может быть не единственным. Обозначим через Т n совокупность всех квазирешений на
множестве М n .
Покажем, что в качестве
приближения к квазирешению z 1 на множестве М можно брать любой элемент z 1 n из Т n . При этом
Пусть N n
= АМ n и В n —
множество проекций элемента и на множество N n . Очевидно, что В n = АТ n и N 1 Í N 2 Í …Í N n ; тогда
r U (u,N 1 )>= …>=r U (u,N n )>=… r U (u,N)= r U (u,Az 1 ) .
(2;3,1)
Так как множество всюду плотно на N, то для всякого e >0 найдется такое число n 0 (e), что для всех п > n 0 (e)
r U (u,N n )< r U (u,N)+ e (2; 3,2)
Из (2; 3,1) и (2; 3,2) следует, что
(2;3,3)
(2;3,4)
Каждое множество В n есть компакт, так как оно является
замкнутым подмножеством компакта N n . Поэтому в В n найдется такой элемент у n , что
Последовательность
{y n } имеет хотя бы одну предельную
точку, принадлежащую N,
так как N — компакт. Пусть у 0 — какая-нибудь предельная точка множества {y n } и {уn k } — подпоследовательность, сходящаяся к y 0 , т. е.
Из (2; 3,3) и (2; 3,4) следует, что
Отсюда и из единственности
квазирешения на множестве М следует, что
Так как у 0 — произвольная предельная точка множества {y n }, то последовательность {у n } сходится к А z 1 . Это и означает, что в качестве приближения к квазирешению можно брать любой
элемент z 1 n из множества Т п , так как в силу леммы параграфа 2.1. z 1 n àz* при nà¥.
Если в качестве М п
брать конечномерные (n-мерные)
множества, то задача нахождения приближенного квазирешения на компакте М
сводится к минимизации функционала r U (Az, u) на множестве М п , т. е. к нахождению минимума функции п
переменных.
2.4. Замена уравнения А z = u близким ему
Уравнения
вида (2; 0,1), в которых правая часть u не принадлежит множеству N=AM, изучались М. М. Лаврентьевым . Ему принадлежит идея замены
исходного уравнения (2; 0,1) близким ему, в некотором смысле, уравнением, для
которого задача нахождения решения устойчива к малым изменениям правой части и
разрешима для любой правой части u Î U.
В простейшем случае это делается следующим образом.
Пусть F º U º Н — гильбертовы пространства, А — линейный,
ограниченный, положительный и самосопряженный оператор, S R º {х, ||x||<=R, xÎF}
есть шар радиуса R в пространстве F,
В — вполне непрерывный оператор, определенный на S R при любом R > 0. В качестве класса корректности М берется множество D R = BS R — образ шара S R при отображении с помощью оператора В.
Предполагается, что искомое точное решение z T уравнения (2; 0,1) с правой частью u=u T существует и принадлежит множеству D R . Уравнение (2; 0,1) заменяется
уравнением
(A+aE)z º Az+az=u ,
(2:4,1)
где a>0 – числовой параметр. Решение уравнения
z a =(A+aE) -1 u
,
Похожие работы на - Методы решения некорректно поставленных задач Реферат. Математика.
Анализ Война И Мир Для Итогового Сочинения
Сочинение по теме "Нравственность — есть правда"
История Развития Аналитической Химии Реферат
Реферат по теме Рентгенодиагностика и лечение переломов
Курсовая Работа На Тему Автокорреляционные Функции И Энергетические Спектры Погрешностей Наблюдений
Реферат: Западно-Сибирский экономический регион
Краткое Сочинение Описание Хруцкого Плоды И Птичка
Топик: Thomas More Utopia
Латын Әліпбиіне Көшу Жаһандану Талабы Эссе
Контрольная Работа История Географических Открытий 6 Класс
Сочинение Рассуждение На Тему 1000000 Терзаний
Дипломная работа по теме Планирование производства нового оборудования на примере ООО "Харьковского завода подъемно-транспортного оборудования"
Эссе На Тему М Гілік Ел
Реферат: Моральный (неимущественный ) вред
Отчет По Производственной Практике Электроэнергетика И Электротехника
Дипломная работа по теме Фізична реабілітація хворих на інфаркт міокарда
Конспекты лекций: Конституционное право зарубежных стран
Курсовая работа: Логический атомизм "Трактата": от синтаксиса к онтологии
Гдз По Алгебре 8 Никольский Контрольные Работы
История Эстафетного Бега Реферат
Похожие работы на - Гражданское законодательство России в 1-й половине 19 века.
Статья: Значение информационного аспекта процесса принятия решений
Реферат: Холерный бунт