3курс, VIсем.Волков,Ягола инт ур

M α [y +δy]− M α [y]= Aδy 2 +α(δy 2 + δy′ 2 )≥ 0

Как известно из курса дифференциальных уравнений, если существует функция Грина задачи

то ее решение представимо в виде y(τ) = ∫b G(τ,ξ)F(ξ) dξ .

a

Докажем, что функция Грина существует. Для доказательства достаточно показать, что однородная краевая задача

y = C1eτ +C2e−τ = C1ch(τ −a) +C2ch(τ −b) .

Из первого граничного условия получаем C2 = 0 , а из второго - C1 = 0 . Поэтому

указанная краевая задача имеет только тривиальное решение, и, следовательно, функция Грина существует. В качестве упражнения рекомендуем построить функцию Грина.

Если мы подействуем интегральным оператором с ядром - функцией Грина (мы обозначим этот оператор G) - на левую и правую часть интегро-дифференциального уравнения Эйлера, то получим интегральное уравнение Фредгольма второго рода

y = α1 (GA* Ay −GA* f ),

эквивалентное второй краевой задаче для уравнения Эйлера. Докажите самостоятельно (рассуждая, как и в параграфе 1.14) эквивалентность этих двух задач.

Ядро оператора A* A имеет вид

K(ξ, s) = ∫d K(η,ξ)K(η, s) dη ,

c

а ядро оператора GA* A -

G(τ, s) = ∫b G(τ,ξ)K(ξ, s) dξ .

a

Ядра K(η, s) , K(ξ, s) , G(τ,ξ) непрерывны по совокупности аргументов, следовательно,

~ τ

ядро G( ,s) также непрерывно по совокупности аргументов. Столь же очевидно, что

90

является непрерывной функцией. Поэтому, чтобы доказать существование и единственность решения уравнения Фредгольма, в силу альтернативы Фредгольма достаточно доказать, что однородное уравнение

y = α1 GA* Ay

имеет только тривиальное решение.

Однородное уравнение эквивалентно следующей краевой задаче:

α (y − y′′)+ A* Ay = 0;

y′(a) = y′(b) = 0.

Пусть y – любое ее решение. Домножим уравнение слева и справа на y и проинтегрируем в пределах от a до b, заметив, что

y 2h[a,b] + y′ 2h[a,b] ≤ C2 , C > 0 .

Тогда это множество равномерно ограничено и равностепенно непрерывно.

Доказательство. Заметим, что из неравенства в условии леммы следует, что

y ≤ C , y′ ≤ C .

Докажем сначала равностепенную непрерывность. Возьмем произвольную

Из этого неравенства следует, что множество функций является равностепенно непрерывным.

Докажем теперь равномерную ограниченность.

дифференцируемых на [a,b] функций, удовлетворяющих неравенству

91

yn 2h[a,b] + yn′ 2h[a,b] ≤ C2 , C > 0 ,

тогда эта последовательность является компактной в пространстве C[a,b].

Доказательство. По доказанной выше лемме, эта последовательность является равномерно ограниченной и равностепенно непрерывной. По теореме Арцела из неё можно выделить равномерно сходящуюся подпоследовательность. Равномерно сходящаяся последовательность непрерывных функций сходится к непрерывной функции.

Теорема (А. Н. Тихонов). Пусть

непрерывно дифференцируема на [a,b] .

Пусть параметр регуляризации α(δ) > 0 удовлетворяет следующим требованиям:

регуляризирующий алгоритм Тихонова для случая, когда интегральный оператор

откуда получаем

Ayδα − fδ 2 +α ( yδα 2 + ( yδα )′ 2 )≤δ 2 +α ( y 2 + y′ 2 ).

В левой части этого соотношения оба слагаемые неотрицательны. Поэтому мы можем получить два неравенства:

2) Ayδα − fδ 2 ≤δ 2 +α ( y 2 + y′ 2 ).

92

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

С другими способами выбора параметра регуляризации можно ознакомиться в монографии: А.Н.Тихонов, А.В.Гончарский, В.В.Степанов, А.Г.Ягола. Численные методы решения некорректных задач. М.: Наука, 1990.

Экзаменационные вопросы

1)Определения и формулировки теорем.

1.Сформулировать определение корректно и некорректно поставленной задачи.

2.Сформулировать определение регуляризируемой некорректно поставленной задачи.

3.Сформулировать регуляризирующий алгоритм А. Н. Тихонова.

4.Записать функционал А. Н. Тихонова.

5.Сформулировать теорему о существовании и единственности минимума функционала А.Н.Тихонова.

6.Сформулировать теорему о согласовании параметра регуляризации в функционале А.Н.Тихонова с погрешностью входных данных для построения регуляризирующего алгоритма решения интегрального уравнения Фредгольма 1-го рода.

2)Утверждения и теоремы, которые необходимо уметь доказывать. Теоретические задачи.

1.Доказать, что задача решения интегрального уравнения Фредгольма 2-го рода с «малым»

λкорректно поставлена в C[a,b] .

2.Доказать, что задача решения интегрального уравнения Фредгольма 2-го рода с «малым»

λкорректно поставлена в h[a,b] .

3.Доказать, что задача решения интегрального уравнения Фредгольма 1-го рода при

условии, что интегральный оператор действует A : C[a,b] → h[a,b] , является некорректно поставленной.

4.Доказать, что если взаимно однозначный оператор A является вполне непрерывным при действии из h[a, b] в h[c, d] , то обратный оператор не является ограниченным.

5.Доказать теорему о существовании и единственности минимума функционала А.Н.Тихонова.

93

6.Доказать теорему о согласовании параметра регуляризации в функционале А.Н.Тихонова с погрешностью входных данных для построения регуляризирующего алгоритма решения интегрального уравнения Фредгольма 1-го рода.

7.Доказать теорему: пусть взаимно однозначный интегральный оператор с непрерывным

94