- •Введение
- •Постановка задач
- •Вывод уравнения теплопроводности
- •Постановка задачи для уравнения теплопроводности
- •Вывод волнового уравнения (уравнения колебаний). Вариационный принцип.
- •Струна
- •Постановка задачи для волнового уравнения.
- •Классификация уравнений второго порядка.
- •Замены переменных.
- •Постановка задачи Коши.
- •Распрямление поверхности.
- •Корректность.
- •Интегральные операторы.
- •Фан фанский.
- •Ограниченность интегральных операторов
- •Операторы со слабой особенностью.
- •Задача Штурма-Лиувилля.
- •Постановка задачи.
- •Функция Грина.
- •Задача ШЛ и интегральное уравнение.
- •Задача на собственные числа.
- •Гармонические функции
- •Формулы Грина.
- •Фундаментальное решение оператора Лапласа.
- •Принцип максимума.
- •Постановка краевых задач. Теоремы единственности.
- •Постановка задачи Неймана. Теоремы единственности.
- •Следствия из формулы Пуассона.
- •Объемный потенциал и его свойства.
- •Теоремы о разрешимости краевых задач.
- •Обобщенные функции
- •Действия с обобщенными функциями.
- •Фундаментальное решение.
- •Пространства Соболева.
- •Соболевские производные.
- •Соболевские производные на отрезке.
- •Замкнутость дифференцирования.
- •Продолжение нулем.
- •След функции на границе.
- •Неравенство Фридрихса.
- •Теорема Реллиха
- •Стандартный эллиптический оператор.
- •Решение краевой задачи.
- •Теоремы единственности.
- •Энергетическое пространство.
- •Абстрактное уравнение.
- •Исследование абстрактного уравнения.
- •Разрешимость абстрактного уравнения.
= ; = ′, |
( ; ), |
( ) = |
|
( ; ) (поскольку ). |
( ) 0(∞) |
||||
|
|
|
∫ |
|
|
|
|
|
|
( ) = 0 вблизи точки = ( ) = 0 вблизи точки .
( ) = 0 вблизи точки = ( ) = вблизи точки . Так как 0(∞)( ; ), то эта константа равна нулю.
0(∞)( ; ) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
( ) = 0 ( = 0). |
|
|
|
|
|
|
|||||||||
|
∫ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∫ |
|
|
|
|
|
|
|
|
|
|
|
|
Пусть = + . − |
|
|
|
|
|
|
|
|
|
|
|
|
|||
( − |
) = 0. |
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Как выбрать ? Возьмем 0(∞)( ; ) : |
= 1. |
|
|
|
|
|
|
||||||||
|
|
|
|
∫ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Положим ( ) = ( ) · |
= · ( ) 0(∞)( ; ). |
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Получаем, что dim = ∫1, так как пространство натянуто на вектор . |
|
|
|
|
|||||||||||
Как действует : < , > = < , + > = < , >+ < , > |
= < , >. |
||||||||||||||
|
|
|
|
|
|
|
0 |
|
|
|
|
|
:= |
|
|
|
|
|
|
|
|
|
|
|
... |
||||||
|
|
∫ |
· . |
|
|
|
|
|
|
|
|
|
|
|
|
< , > = C. < , > = = |
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
( ; ) < , > = |
= < , >. |
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Таким образом, доказали,∫что = , что и требовалось. |
|
|
|
|
|
|
5.5Фундаментальное решение.
Пусть есть дифференциальный оператор (∂ ) с постоянными коэффициентами, то есть он
|
|
|
| |
∑ |
∂ ( ), то есть как конечная сумма производных |
||||||||||
определяется как ( (∂ ) )( ) = |
|
||||||||||||||
|
|
|
|
|
|
|≤ |
|
|
|
|
|
|
|
|
|
от с какими-то коэффициентами. |
|
|
|
|
|
|
|
|
|
||||||
Определение : ′(R ) – фундаментальное решение оператора , если (∂ ) = . |
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
∑ |
||||
< , > = |
∑ |
| |
∑ |
|
|
|
|
||||||||
|
< ∂ , > = |
(−1)| | < , ∂ > = < , |
|
(−1)| | ∂ > . |
|||||||||||
|
|
| |≤ |
|
|≤ |
|
|
|
| |≤ |
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
*(∂ ) − |
|||
|
|
|
|
|
|
|
|
|
|
|
|
сопряженный к P |
|||
< (∂ ) , > |
= |
< , *(∂ ) > = |
< , > |
= (0) (R ). |
(∂ ) = . |
||||||||||
Определение |
|
: |
свертка функций |
и |
, заданных на |
R , |
определяется как |
||||||||
|
|
|
|
||||||||||||
( * )( ) = R∫ ( − ) ( ) , при условии, что интеграл абсолютно сходится. |
|||||||||||||||
Замена − = : ( * )( ) = |
( − ) ( ) = ( * )( ). |
|
|
|
|
|
|
||||||||
Если говорить про сходимостьRинтеграла:∫ |
|
|
|
|
|
|
|
|
1. (R ); (R ), 1 + 1 = 1 = * ∞(R ).
68
Неравенство Гельдера помогает нам:
∫ |
| ( − ) ( )| ≤ |
∫ | ( − )| |
|
1 |
· |
∫ | ( )| |
|
1 |
|
. |
|||||||
R |
|
(R |
|
) |
|
(R |
|
) |
Из этого следует ( по всем ): ‖ * ‖∞ ≤ ‖ ‖ · ‖ ‖ .
2. , 1(R ) = ( * ) 1(R ), |
‖ * ‖1 ≤ ‖ ‖1 · ‖ ‖1. |
|
|
|
|
==− |
|
∫ | ( )| ·∫ | ( )| |
||||||||
∫ |
∫ | ( − ) ( )| |
= |
∫ |
∫ | ( − )| | ( )| |
|
|||||||||||
( |
|
|
|
|
) |
|
|
( |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
) |
|
|
|
|||
R |
R |
|
|
|
|
|
R |
R |
|
|
|
|
R |
R |
||
|
|
|
|
|
|
|
|
|
|
∫ |
|
|
|
|
м.б. = +∞ на множестве ненулевой меры надо < ∞ п.в.
3. Неравенство Юнга. |
|
|
(R ); (R ), 1 + 1 |
= 1 + 1 , [1; +∞]. |
|
Тогда * |
и ‖ * ‖ |
≤ ‖ ‖ · ‖ ‖ . |
интеграл сходится абсолютно
Если 0(∞)(R ), * (∞)(R ), то ∂ ( * ) = * (∂ ).
∂ (∫ ( ) ( − ) ) = |
∫ ( )∂ ( ( − )) = |
∫ ( )(∂ )( − ) |
R |
R |
R |
, что и хотели. Производную можем внести под интеграл, поскольку свертка гладкая, а – хорошая.
Введем свертку * , ′(R ), (R ).
1, (R ), (R ):
|
|
( * )( ) = ∫ ( ) ( − ) = < , > |
|||
|
|
R |
|
||
, где для R |
( )( ) = ( − ) (R ) по . |
|
|||
Определение : |
′(R ), (R ). ( * )( ) = |
< , >. То есть, это обычная |
|||
|
|
|
|
|
|
(не обобщенная) функция от . < ( ), ( − ) > – имеется ввиду, что действует по , внутри < · · · > – параметр.
Теорема.
* (∞)(R ) |
~ |
( * ∂ )( ) |
∂ ( * )( ) = (∂ * )( ) = |
69
Доказательство. Докажем только равенство ~:
( * ∂ )( ) = < , (∂ ) > =
( |
) |
(∂ )( ) = (∂ )( − )
= (−1)| |∂ ( ( − )) = < , (−1)| |∂ ( ) > = < ∂ , > = (∂ * )( ).
Пример : ( * ) = ?
( * )( ) = < , > = ( − ) = ( )
=0
Теорема. Пусть – фундаментальное решение оператора . Тогда ( ) := ( * )( ) –
решение уравнения = при 0(∞)(R ).
Доказательство. = * :
|
(∂ ) = | |≤ ∂ ( * ) = |
|≤ (∂ ) * = |
(| |≤ (∂ )) |
* = |
|
|
|
|
||||||||||||||||||||||||||
|
|
|
|
|
|
∑ |
|
| |
∑ |
|
|
|
|
|
|
|
∑ |
|
|
|
|
|
|
|
|
|
|
|||||||
Теорема (Мальгранж – Эренпрайс). Для любого оператора существует фундаментальное |
|
|||||||||||||||||||||||||||||||||
решение |
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Примеры фундаментальных решений : |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1. |
|
. |
|
|
|
. |
+ |
{ |
0, < 0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
= 1 = |
|
( ) = |
1, ≥ |
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
′ |
= |
. |
|
|
– фундаментальное решение |
|
|
|
. Так как отображение |
|
|
|
|
взаимно |
|
|
|||||||||||||||||
|
+ |
|
|
+ |
|
|
|
−→ |
|
|
||||||||||||||||||||||||
|
однозначно, то отождествляем функцию и с оответствующий регулярный функционал. |
|
|
|||||||||||||||||||||||||||||||
|
Далее так тоже часто будем делать. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
Других решений, кроме как + + , нет. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
−1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
2. = 1. = |
+ |
∑ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
= 0 |
|
|
|
||||||||||
. То есть сумма производных до порядка , при этом |
|
|
||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
=0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
( |
− |
1) |
(0) = 1 |
|
|
− |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
[0 : |
2] |
||||
|
-я производная присутствует. Пусть ( ) – решение задачаи Коши: |
( )(0) |
= 0, |
|
||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
( ) = ( ) ( ) |
|
|
|
|
|
|
|
|
|
|
|||||||
|
Тогда |
|
– регулярная обобщенная, и |
|
|
|
|
+ |
|
|
|
(то есть |
|
|
|
|
|
|
|
|
|
|||||||||||||
|
функцией). |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
Доказательство. Докажем, что: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
(0 ≤ < ) |
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
( + ) |
= + |
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
70
(∞)(R). = 0 – равенство тривиально. |
|
|
|
||||||||||||||
= 1: ( + )′ = +′ + + ′ |
|
|
(по формуле дифференцирования произведения). Так |
||||||||||||||
как +′ = (тут все также имеется ввиду обобщенная функция), то |
· = (0) = 0 |
||||||||||||||||
(выводили, когда описывали произведение). Так что ( + )′ = + ′. |
|
||||||||||||||||
Аналогично с остальными производными [0 : − 1]. |
· ( −1)(0) = . |
||||||||||||||||
-я производная получается равна + + ( ). |
|
|
|
||||||||||||||
Получаем, что |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
−1 |
|
|
|
−1 |
|
||||||
|
|
|
|
|
|
∑ |
|
|
|
∑ |
|
||||||
( + ) = ( + )( ) + |
( + )( ) = + + ( ) + |
+ ( ) = + + ( ). |
|||||||||||||||
|
|
|
|
|
|
=0 |
|
|
|
=0 |
|
||||||
По выбору : + ( ) = 0. Так что получаем ( + ) = |
|
||||||||||||||||
Порешаем дифференциальные уравнения. |
|
|
|
||||||||||||||
(a) Рассмотрим уравнение ′ |
+ = . Оператор : = ′ + . |
|
|||||||||||||||
– его фундаментальное решение. ( ) = + − . |
|
|
|||||||||||||||
(0)′ |
= 1 |
|
|
} = ( ) = − . |
|
|
|
||||||||||
+ = = 0 |
|
|
|
|
|
|
|
|
|
|
|
|
|||||
Решение неоднородного уравнения, согласно теореме этого параграфа: ( ) = ( * |
|||||||||||||||||
|
+∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
)( ) = |
+( − ) − ( − ) ( ) = |
− ( − ) ( ) |
|
||||||||||||||
|
∫ |
|
− >0 |
|
|
∫ |
|
|
|
||||||||
|
−∞ |
|
|
|
|
|
|
|
|
|
|
|
|
−∞ |
|
|
|
|
, > |
|
|
|
|
|
|
|
|
|
|
|
|||||
(b) ′′ + = |
0. |
|
|
|
|
|
: ′′ + = 0. (0) = 0, ′(0) = 1. |
|
|||||||||
|
|
|
|
|
|
√ |
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
Решение: ( ) = |
sin(√ |
) |
. |
( ) = +( ) ( ). |
|
|
|||||||||||
|
|
|
|
||||||||||||||
|
|
|
|
+∞ |
√ |
|
( |
|
|
|
|
||||
|
|
|
)) |
|
||||||||
( ) = ( * )( ) = |
∫ |
+( − )· |
sin( |
|
√ |
|
|
− |
|
( ) = |
∫ |
|
|
|
|
||||||||||
|
|
|
|
|||||||||
|
−∞ |
|
|
|
|
|
|
|
|
|
|
−∞ |
√
sin( ( − ))
√ ( )
Пример : вспоминаем колобок, там было фундаментальное решение оператора Лапласа.
= − . Фундаментальное решение ( = ):
|
|
|
{ |
− |
1| |
ln , |
|
= 2 |
|
|
|
|
|
|
1 |
, |
≥ 3 |
|
|
( ) = |
|
( 2) 1|| | −2 |
||||
|
|
|
|
− |
|
| | |
|
|
|
|
|
|
2 |
|
|
||
0(∞)( ) |
( ) = − ( − ) · ( ) |
|
||||||
|
|
∫ |
|
|
|
|
|
|
|
|
Ω |
|
|
|
|
|
|
0(∞)( ) = 0(∞)(R ). Так что положим := R |
||||||||
< , > = < , *(∂ ) > = |
< , > |
= (0), |
|
(R ). |
71
* – формально сопряженный к .
∑
Рассмотрим (−∂ ) = − = −
=1
∂2 .
Что такое *?
· = |
· * . У нас была формула Грина: |
· = |
· . |
||
∫ |
|
∫ |
|
∫ |
∫ |
Ω |
|
Ω |
|
Ω |
Ω |
То есть * |
= |
( * = ). |
|
|
|
(R ) |
|
(0) |
= < , >. |
|
|
∫
(0) = (− ) (− ) ( ) = < , (− ) > .
R
= ( ) – обобщенная функция. – фундаментальное решение − . Если нужно решать уравнение (− ) = , (R ),
то знаем, что ( ) = ( * )( ) – решение.
∫
( * )( ) = ( ) ( − ) = < , >. Похожая штука у нас также встречалась,
R
была равна ( ) = − ( * )( ) и называлась объемным потенциалом.
72