Реферат: Методы решения некорректно поставленных задач

ВВЕДЕНИЕ

Среди математических задач выделяется класс задач, решения которых неустойчивы к малым изменениям исходных данных. Они характеризуются тем, что сколь угодно малые изменения исходных данных могут приводить к произвольно большим изменениям решений. Задачи подобного типа, по существу, являются плохо поставленными. Они принадлежат к классу некорректно поставленных задач.

Быстро растущее использование вычислительной техники требует развития вычислительных алгоритмов для решения широких классов задач. Но что надо понимать под «решением» задачи? Каким требованиям должны удовлетворять алгоритмы нахождения « решений »?

Классические концепции и постановки задач не отражают многих особенностей встречающихся на практике задач. Мы покажем это на примере.

Рассмотрим систему линейных алгебраических уравнений

Az=u ,

где z — искомый вектор, и — известный вектор, А ={a_ij } — квадратная матрица с элементами a _ij .

Если система невырожденная, т. е.detA ¹0, то она имеет единственное решение, которое можно найти по известным формулам Крамера или другими способами.

Если система вырожденная, то она имеет решение (притом не единственное) лишь при выполнении условий разрешимости, состоящих из равенств нулю со- ответствующих определителей.

Таким образом, прежде чем решить систему, надо проверить, вырожденная она или нет. Для этого требуется вычислить определитель системыdetA.

Если п — порядок системы, то для вычисления detА требуется выполнить около п ³ операций. С какой бы точностью мы ни производили вычисления, при достаточно большом значении п, вследствие накопления ошибок вычисления, мы можем получить значение detА, как угодно отличающееся от истинного. Поэтому желательно иметь (построить) такие алгоритмы нахождения решения системы, которые не требуют предварительного выяснения вырожденности или невырожденности системы.

Кроме того, в практических задачах часто правая часть u и элементы матрицы А,

т. е. коэффициенты системы уравнений, известны нам приближенно. В этих случаях вместо системы, мы имеем дело с некоторой другой системойA¹ z=u¹ такой, что

||А ¹ — А ||<=h , ||u¹ -u||<= d, где смысл норм обычно определяется характером задачи. Имея вместо матрицы А матрицу А ¹ , мы тем более не можем высказать определенного суждения овырожденности или невырожденности системы.

В этих случаях о точной системе Az = и нам известно лишь то, что для матрицы А и правой части и выполняются неравенства ||А¹ —А ||<= h и ||и ¹ —и || < = d. Но систем с такими исходными данными (А, и) бесконечно много, и в рамках известного нам уровня погрешности они неразличимы. Среди таких «возможных точных систем» могут быть и вырожденные.

Поскольку вместо точной системы мы имеем приближенную систему A ¹ z =и ¹ , то речь может идти лишь о нахождении приближенного решения. Но приближенная система может быть и неразрешимой. Возникает вопрос: что надо понимать под приближенным решением системы? Оно должно быть также устойчивым к малым изменениям исходных данных (А, и).

В данной работе будет введено понятие приближенного решения некорректно поставленных задач, а также будет рассмотрено несколько методов нахождения таких решений.

1. ПОНЯТИЕ КОРРЕКТНО ПОСТАВЛЕННЫХ И НЕКОРРЕКТНО ПОСТАВЛЕННЫХ ЗАДАЧ

1.1. Различают корректно поставленные, и некорректно поставленные задачи. Понятие корректной постановки задач математической физики было введено

Ж. Адамаром в связи с желанием выяснить, какие типы граничных условий наиболее естественны для различных типов дифференциальных уравнений (для эллиптических, например,— задача Дирихле и ей аналогичные, для гиперболических — задача Коши).

Решение всякой количественной задачи обычно заключается в нахождении «решения» z по заданным «исходным данным» и, z=R(u). Мы будем считать их эле- ментами метрических пространствF иU с расстояниями между элементами; u₁ , u₂ ÎU; z₁ ,z₂ ÎF. Метрика обычно определяется постановкой задачи.

1. 2. Пусть определено понятие «решения» и каждому элементу и ÎU отвечает единственное решениеz=R(u) из пространстваF.

Задача определения решенияz=R(u) из простран­ства F по исходным данным

и ÎU называется устойчивой на пространствах (F, U), если для любого числа e> О можно указать такое число d (e) > 0, что из неравенства r_U (u₁ ,u₂ )<= d (e) следуетr_F (z_1, z₂ )<= e, гдеz₁ =R(u₁ ), z₂ =R(u ₂ ) ; u₁ ,u₂ ÎU; z₁ ,z₂ ÎF.

Задача определения решенияz из пространства F по «исходным данным» и из пространства U называется корректно поставленной на паре метрических прост­ранств (F, U), если удовлетворяются требования (усло­вия):

1) для всякого элемента и ÎU существует решение z из пространства F,

2) решение определяется однозначно;

3) задача устойчива на пространствах (F, U). В математической литературе длительное время су­ществовала точка зрения, согласно которой всякая ма­тематическая задача должна удовлетворять этим требо­ваниям .

Задачи, не удовлетворяющие перечисленным требова­ниям, называются некорректно поставленными.

--> ЧИТАТЬ ПОЛНОСТЬЮ <--