- •Введение
- •Постановка задач
- •Вывод уравнения теплопроводности
- •Постановка задачи для уравнения теплопроводности
- •Вывод волнового уравнения (уравнения колебаний). Вариационный принцип.
- •Струна
- •Постановка задачи для волнового уравнения.
- •Классификация уравнений второго порядка.
- •Замены переменных.
- •Постановка задачи Коши.
- •Распрямление поверхности.
- •Корректность.
- •Интегральные операторы.
- •Фан фанский.
- •Ограниченность интегральных операторов
- •Операторы со слабой особенностью.
- •Задача Штурма-Лиувилля.
- •Постановка задачи.
- •Функция Грина.
- •Задача ШЛ и интегральное уравнение.
- •Задача на собственные числа.
- •Гармонические функции
- •Формулы Грина.
- •Фундаментальное решение оператора Лапласа.
- •Принцип максимума.
- •Постановка краевых задач. Теоремы единственности.
- •Постановка задачи Неймана. Теоремы единственности.
- •Следствия из формулы Пуассона.
- •Объемный потенциал и его свойства.
- •Теоремы о разрешимости краевых задач.
- •Обобщенные функции
- •Действия с обобщенными функциями.
- •Фундаментальное решение.
- •Пространства Соболева.
- •Соболевские производные.
- •Соболевские производные на отрезке.
- •Замкнутость дифференцирования.
- •Продолжение нулем.
- •След функции на границе.
- •Неравенство Фридрихса.
- •Теорема Реллиха
- •Стандартный эллиптический оператор.
- •Решение краевой задачи.
- •Теоремы единственности.
- •Энергетическое пространство.
- •Абстрактное уравнение.
- •Исследование абстрактного уравнения.
- •Разрешимость абстрактного уравнения.
Глава 7
Обобщенное решение краевой
задачи.
7.1Стандартный эллиптический оператор.
Рассмотрим задачу = , = 0, = ( ), – ограниченная область в R .
– стандартный эллиптический оператор, то есть имеет вид:
|
|
|
|
|
|
|
|
|
( )( ) = − |
∑, |
( ( ) ) |
+ 0( ) . |
~ = + ( ) . |
||||
|
=1 |
|
|
|
|
|
|
|
|
|
~ |
|
|
||||
|
|
|
|
Стандартные условия: ( ), 0( ) ∞( ).
Эллиптичность в точке означает, что выполнено неравенство эллиптичности:
|
|
|
> 0 : |
= ( 1, . . . , ) R |
∑, |
( ) ≥ · | |2 . |
||
|
|
=1 |
Эллиптичность оператора означает, что неравенство выполнено при п.в. .
Стандартный пример: |
|
|
{ |
|
|
|||
|
|
|
В нем 0( ) = 0; |
( ) = |
0, |
= |
||
= − = − =1 ∂ . |
||||||||
|
|
2 |
|
|
|
|
1, |
= |
|
∑ |
|
|
|
|
|
̸ |
|
|
|
|
− = |
|
|
|
||
Получаем задачу Дирихле: |
= 0 |
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
Раньше у нас было, что – эллиптический оператор в , если у матрицы ( ) = ( ) ×
все собственные числа одного знака.
89
Утверждение : Пусть { } =1 – собственные числа ( ). Тогда
|
|
|
|
|
|
|
|
( ) ≥ |
∑, |
|
|
|
|
( ) ≥ | |2 . |
|
|
|
|
||
|
|
=1 |
|
|
|
|
То есть, еcли рассматривать из эллиптичности оператора, то имеем inf |
Ω |
( ) |
≥ |
. |
||
|
|
|
1≤ ≤ |
|
|
Доказательство. =:
∑
( ) = ( ( ) , )R .
, =1
Если рассматривать – собственное число, и – собственный вектор:
= ( , ) = | |2 ≥ | |2
= :
Разложим по ортонормированному базису из собственных векторов.
= ∑ , ( ) – собственные вектора. ( ) = ( ) ( ).
|
=1 |
|
|
|
|
|
|
|
|
|
|
| |2 |
|
| |2. |
|
|
|
|
|
|
|
|
|
= =1 |
= =1 ( ) = |
=1 ( ) ( ); |
|
|
|
|
|||||
|
∑ |
|
|
∑ |
|
∑ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
∑ |
∑ |
|
∑ |
||||
|
|
( , ) = ( |
( ) ( ), |
( )) = |
( ) · ( ( ), ( )) = |
||||||
|
|
|
|
|
=1 |
|
|
|
|
|
|
|
|
|
|
=1 |
|
, =1 |
|
|
|
|
=∑ ( ) · ( )2 ≥ ∑( )2 = | |2
=1 ≥ |
=1 |
7.2Решение краевой задачи.
Рассмотрим задачу = . Условия: (2)( ), коэффициенты (1)( ), существуют классические производные −( ( ) ) .
Рассмотрим 1( ); у нее существуют соболевские 2( ).
∞; · 2( ). Существует обобщенная ( · ) 2( ).
Утверждение : стандартный эллиптический оператор – непрерывный линейный оператор
1( ) → −1( ). Напомним:
1( ) – пространство функций из 2( ) , которые имеют все первые соболевские
производные.
|
|
|
|
|
1( ) – замыкание (∞)( ) в |
1( ) . |
|
|
0 |
|
|
|
|
|
|
|
−1( ) – пространство линейных непрерывных функционалов на 1( ) . |
||
|
То есть функции 1( ) |
|
|
|
A сопоставляет – функционал на |
1( ) . Для |
|
|
(∞)( ) можем получить < , > – значение (комплексное) на . |
|
|
|
0 |
|
|
90
|
|
|
|
|
|
|
|
|
|
( )( ) = − |
,∑ |
|
|
|
|
|
|
|
|
( |
( ) ) |
+ 0( ) . |
|
|
|||||
|
=1 |
|
|
|
|
|
|
|
|
< ( ) , > = − < , > = − ∫ |
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
2(Ω) |
Ω |
|
(тут имеется ввиду действие регулярной обобщенной функции).
|
< , > |
= ∫ |
, =1 ( ) + 0 = < , >, |
||||
|
|
|
Ω |
∑ |
|
|
|
1 |
|
|
|
|
|
|
|
|
|
∑ |
|
|
|
|
|
где −1( ): |
= 0 − |
=1( ) , |
0, 2( ) (была такая теорема в параграфе про |
||||
− ( ) о представлении обобщенной функции). |
|
|
|||||
= 0(∞)( ) |
< , > = < , >. |
|
|||||
|
∫ |
|
|
|
+ 0 = ∫ |
|
|
|
, =1 ( ) |
0 + |
=1 |
||||
|
Ω |
∑ |
|
|
Ω |
|
∑ |
Определение : – обобщенное решение уравнения, если
1. 1( )
2.1( ) есть интегральное тождество (чуть выше).
– классическое решение = – обобщенное решение.
– обобщенное решение, (2)( ), (1)( ) = – классическое.
Граничные условия : |
(2)( )) = |
|
|
||||
|
|
|
= 0. |
|
|||
В классическом варианте ( |
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Обобщенный: у нас было, что |
= 0 1( ). |
|
|||||
|
|
|
|
|
краевой задачи = , |
||
Определение : – обобщенное решение |
= 0, если |
||||||
|
|
|
|
|
|
|
|
1 |
( ) |
|
|
|
|
||
1. |
|
|
|
|
|||
|
|
|
|
|
|||
2. 1( ) есть интегральное тождество. |
|
|
Замечание : если граничные условия неоднородны (то есть |
= 0). Пусть 0 определена |
||||||||||||||||||||||
|
|
|
|
|
|
|
|
1 |
( ). Тогда изменим задачу: = 0 + , |
|
1 |
( ). |
|||||||||||
всюду в , 0 |
|
||||||||||||||||||||||
( ) = ( 0) + ( ). |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
− |
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
−1(Ω) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
Получаем задачу: = |
|
( ) = , |
|
= 0. |
|
|
|
|
|||||||||||||||
|
|
= 0 |
|
( |
− |
0) |
|
= 0, то есть ̃( |
− |
|
|
1 |
( ). |
|
|
|
|||||||
0) |
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
91
7.3Теоремы единственности.
Теорема 1. 0( ) ≥ 0 = обобщенное решение краевой задачи единственно.
Доказательство. Рассмотрим 1,2 – обобщенные решения краевой задачи. То есть |
1,2 |
= , |
1,2 |
= 0 ( 1, 2 1( )). |
|
|
|
|
|
|
|
|
|
|
|||||
|
|
= 1 |
− |
2 |
|
|
1 |
|
|
1 |
|
|
= 0, |
|||
Тогда |
|
|
– обобщенное решение однородной краевой задачи: |
|
|
= 0. |
||||||||||
Было, что – линейный непрерывный ( ) |
→ |
− ( ). Тогда |
|
1 |
(Ω) |
|
||||||||||
|
|
|
– линейный |
|||||||||||||
|
|
1 |
|
|
1 |
( ). |
|
|
|
|
|
|
|
|
||
непрерывный |
( ) → − |
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
+ 0 = 0. |
|
|
|
|
|
||
1( ): |
1( ) |
( ) |
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
∫ ∑ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∫ ∑, |
Ω , =1 |
|
|
|
|
|
|
|
|
|
Возьмем = : |
|
+ 0 2 = 0. |
|
|
|
|
|
|
||||||||
( ) |
|
|
|
|
|
|
Ω |
=1 |
|
≥ | |2
≥0
∫ | |2 + 0( ) 2 ≤ 0.
|
|
|
|
|
≥0 |
∫ |
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
Получаем, что |
|
| |
|
| |
|
|
|
|
≤ |
|
|
‖ |
|
‖ 1 |
(Ω) ≤ |
|
|
|
|
|
||||||||
Ω |
|
|
|
|
|
|
0 = |
|
|
|
|
0 = = 0. |
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Теорема 2. Существует 0 |
такое, что если < 0, то обобщенное решение задачи |
|
||||||||||||||||||||||||||
= , |
= 0 единственно. |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
− , =1( ( ) ) + 0 = . |
= 0. |
|
|
|||||||||||
Доказательство. ( )( ) = |
|
|
||||||||||||||||||||||||||
Опять рассмотрим |
= |
|
|
|
|
|
∑ |
|
|
|
|
|
|
прошлом доказательстве |
|
|||||||||||||
|
|
|
|
|
1 |
−2 |
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
2 – решение однородной задачи. В |
|
|||||||||||||||||||
получили неравенство: |
|
| | |
|
|
+ 0( ) 2 ≤ 0. |
|
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
Ω |
разности положительной и отрицательной частей: ( ) = +( ) |
|
−( ), |
||||||||||||||||
|
|
|
|
|
|
|
|
∫ |
− |
|||||||||||||||||||
Представим |
|
0 |
в виде |
|
+ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|||||||
где +( ) = max( 0, 0). − ≥ 0. |
|
|
−( ) 2 |
|
|
|
|
|
|
|||||||||||||||||||
∫ |
0( ) 2 = |
∫ |
+( ) 2 − |
|
|
|
|
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
+ |
∫ |
|
|
|
|
|
|
|
|
|
|||
Ω |
|
|
|
|
|
Ω |
|
|
|
|
|
|
|
|
|
|
|
|
Ω |
|
|
|
|
|
|
|
|
|
Если мы уберем интеграл с |
|
, то неравенство сохранится. И того получаем: |
|
|
||||||||||||||||||||||||
|
∫ |
2 |
|
|
−( ) 2 |
|
|
|
2 |
|
|
|
|
|
|
|||||||||||||
|
|
|
≤ |
∫ |
|
|
|
|
|
|
|
|
|
≤ |
|
∫ |
|
|
. |
|
|
|
|
|
|
|||
|
| | |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
Ω |
|
|
|
|
Ω |
|
|
|
|
|
|
|
|
|
|
|
|
Ω |
|
|
|
|
|
|
|
|
|
Последнее неравенство верно, поскольку − ≥ 0 и ограничено, так как 0 ограничено (точнее, 0 ∞ по предположению в определении стандартного эллиптического оператора).
Далее вспоминаем неравенство Фридрихса ( = ≤ 0):
∫ 2 ≤ 4 2 ∫ | |2 , 1( ). Оценим так правую часть неравенства.
ΩΩ
( − 4 2) |
| |2 ≤ 0. Положим 0 |
= |
|
|
|
. |
|||||||||
|
|
|
|||||||||||||
|
4 |
||||||||||||||
< |
|
|
Ω |
|
|
|
|
|
положительно, на него можно поделить. |
||||||
|
|
∫ |
|
|
|
|
|
||||||||
∫ |
|
|
0 |
. Тогда выражение в скобках будет√ |
|||||||||||
|
|
2 |
|
|
|
|
0. |
|
2 |
|
|
|
|
|
|
| |
|
| |
|
|
≤ |
|
≡ |
‖ |
‖ 1(Ω) ≤ |
|
|||||
|
|
|
|
|
0 = |
|
( |
|
0 = = 0). |
Ω
92