attachments_26-06-2014_11-15-27 / Лекц 19 Пар 14 Фунд РЕШ
.pdf§14. Фундаментальные решения
Пусть G – область в n . Рассмотрим сначала линейный дифференциальный оператор D : Cn (G) Cn k (G) порядка k с достаточно гладкими коэффициентами a (x):
Du x a x u( ) x , |
(108) |
||
|
|
k |
|
Ясно, что такой же оператор D можно рассматривать и в пространстве D G . Поэтому естественно возникают такие два понятия:
Определение 14.1. Классическим решением дифференциального уравнения Du = f будем называть такую функцию u(x), которая при подстановке еѐ в
это уравнение превращает его в тождество в области G n .
Определение 14.2. Назовем обобщенную функцию u(x) обобщенным решением уравнения Du = f, если
Du, f , , |
(39.3)(109) |
для всякой основной функции (x).
Выясним теперь, какова связь между этими двумя понятиями.
Теорема 14.3. Пусть коэффициенты a (x) и правая часть f(x) являются непрерывными функциями. Если u(x) − классическое решение уравнения Du = f, то оно будет также его обобщенным решением.
Доказательство. Пусть u(x) − классическое решение уравнения Du = f. Тогда u(x) должно быть k раз непрерывно дифференцируемой функцией в области G. Таким образом, u(x) Ck(G) и f(x) C(G). Вне области G функции u(x) и f(x) положим равными нулю. Тогда равенство Du = f есть равенство двух локально интегрируемых функций, следовательно, они совпадают как (регулярные) обобщенные функции, т.е. Du, f , , D(G) . ■
Обратное утверждение к теореме 13.3 также справедливо:
Теорема 14.4. Пусть f(x) C(G), u(x) Ck(G), причем u(x) − обобщенное решение уравнения Du = f. Тогда u(x) − его классическое решение.
Доказательство. По условию Du, f , , D(G) , или, эквивалентно, Du f , 0 , D(G) . Следовательно, Du f 0 в смысле равенства обобщенных функций. По условию функция Du f локально интегриру-
ема, следовательно, по теореме Дю Буа-Реймона, она равна нулю почти всюду, а так как она непрерывна, то и тождественно равна нулю. ■
Предположим теперь, что коэффициенты a (x) являются бесконечно дифференцируемыми функциями. Тогда
|
|
|
a x u |
||
|
Du, |
|
|||
|
|
|
|
|
k |
|
|
|
|||
|
|
|
|
||
|
u() x , a x |
k
|
|
|
a x u() x , x |
||||||
() x , x |
|
||||||||
|
|
|
|
|
k |
||||
|
|
|
|||||||
|
|
|
|
||||||
x |
u x , 1 |
|
|
|
a x x () |
||||
|
|
||||||||
|
|
k
|
|
|
|
|
|
|
|
|
|
обознач. |
. |
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
||||
u x , |
1 |
|
|
|
a x x ( ) |
|
u, D |
|
||||
|
|
|||||||||||
|
|
|
|
k |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
Следовательно, оператор |
|
|
|
|
|
|
|
|||
|
|
x |
1 |
|
|
|
a x x () |
(110) |
||
|
|
|
|
|||||||
D |
||||||||||
|
|
|
||||||||
|
|
|
|
k |
|
|||||
|
|
|
|
|
|
|
|
|
|
можно рассматривать как сопряженный к оператору D. Если a (x) = a = const, то (110) примет вид:
|
|
x |
|
1 |
|
|
|
a () x |
(111) |
|
|
|
|
|
|||||||
D |
||||||||||
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
k
Определение 14.5. Назовем обобщенную функцию E x фундаментальным решением для оператора D, если DE x x .
Замечание 14.6. (а) Фундаментальное решение не единственно. В самом деле, пусть функция E0 x такова, что DE0 x 0 , то E x E0 x также будет фундаментальным решением.
(б) Слова «фундаментальное решение» будем сокращать до «ф. р.».
Теорема 14.7. Пусть для обобщенной функции f(x) существует свѐртка
E x f x . Тогда уравнение Du = f имеет единственное решение в D ' G , ко-
торое можно записать в виде |
u x f x E x |
|
|
|||||||
|
|
|
|
|
(112) |
|||||
Доказательство. Имеем |
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
D E x f x a E f () |
|
a E () |
f DE f f f , |
|||||||
|
|
|
k |
|
|
|
|
k |
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
т.е. формула (112) действительно определяет решение. Предположим, что u1 x |
|
и u2 x − решения данного уравнения из пространства D ' G . Рассмотрим |
|
u x u1 x u2 x . Тогда Du Du1 Du2 |
f f 0 . Отсюда |
u u u DE D u E Du E 0 E |
0 , значит, u1 x u2 x . ■ |
Ф.р. можно найти с помощью преобразования Фурье.
Теорема 14.8. Пусть E x S ' |
n . Функция E x − ф.р. для оператора |
D тогда и только тогда, когда F E (x) ( ) удовлетворяет уравнению:
|
|
|
|
|
|
|
a i F E (x) () 1, |
|
|
(113) |
||||||||||||||||
|
|
|
|
|
|
|
|
k |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Доказательство. ) Из определения пространства S ' |
n легко следует, |
|||||||||||||||||||||||||
что E S ' DE S ' . Применим преобразование Фурье к обеим частям равен- |
||||||||||||||||||||||||||
ства DE x x . Получим F |
DE F |
1 и |
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
( ) |
|
|
|
|
|
|
|
||||||
F DE F |
|
|
|
( ) |
|
|
|
|
|
|
F E . |
|||||||||||||||
|
|
|
|
|
a E |
|
|
|
|
a |
F E |
|
|
|
|
|
a i |
|
||||||||
|
|
|
|
k |
|
|
|
|
|
|
k |
|
|
|
|
|
|
|
|
k |
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
) Применим к обеим частям равенства (113) обратное преобразование Фурье.
Получим DE F 1 1 . |
■ |
|||
|
Если D – оператор вида (108) с производными по координатам вектора |
|||
x |
n 1, x x , |
, x |
, то обозначим через Dl аналогичный оператор, полу- |
|
|
1 |
n 1 |
|
|
ченный из D удалением слагаемых с производными по координате xl . Обозна-
чим также xl x , |
, x |
, x |
, x |
|
n . |
|
|
|
1 |
l 1 |
l 1 |
|
n 1 |
|
|
|
|
Опишем способ получения ф.р. оператора Dl по ф.р. D (метод спуска). |
||||||||
|
|
|
|
|
|
n 1 |
существует предел |
|
Предположим, что для u x D |
|
|
||||||
|
|
lim |
|
u x , xl |
k xl , |
(114) |
||
|
|
k |
|
|
|
|
|
|
где xl D n , k D , k t 1, t k,k . Ясно, что k t k 1. По |
теореме о полноте пространства обобщенных функций, формула (43.1) опреде- |
||||||||||||||||||||||||||||||
ляет новую обобщенную функцию u xl |
D |
|
n |
. Итак, |
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
u xl , xl |
def |
|
|
|
|
u x , xl k xl . |
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
lim |
|
|
|
(115) |
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
k |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
Определение 14.9. Скажем, что функция u xl |
в формуле (115) получена |
|||||||||||||||||||||||||||||
из u(x) методом спуска по переменной xl. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
Теорема 14.10. Если u x f xl xl , где |
f xl D ' |
n , то |
|
|
|
|||||||||||||||||||||||||
|
|
|
|
|
|
|
|
u xl f xl . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
def |
lim u x , xl k xl |
|
|
|
|
|
||||||||||||||
Доказательство. u xl , xl |
|
|
|
|
|
|
||||||||||||||||||||||||
k |
|
|
|
|
l |
|
|
|
k |
l |
|
|
k |
|
|
|
|
|
l |
|
|
|
|
k |
l |
|
|
|
||
|
|
|
|
|
|
k |
|
|
|
|
|
|
||||||||||||||||||
lim |
f |
|
xl |
|
x , |
|
xl |
|
|
x |
|
|
|
|
lim |
f |
|
xl |
, |
|
x |
, |
|
xl |
|
|
x |
|
|
|
|
|
|
|
|
lim f |
xl , xl k 0 f |
xl , xl . |
|
|
|
■ |
|
|
|
||||||||||||||||
|
|
|
|
|
k |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Теорема 14.11. Пусть u x D ' |
|
n 1 |
− решение уравнения |
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Du x f xl xl , |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
и существует u xl . Тогда u xl − решение уравнения |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Dlu xl f xl . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
Доказательство. Заметим, что для всех функций k xl из (114) произ- |
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
(q) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
на отрезках k, k . Тогда k xl |
|
|
|
|
q |
xl 1 на этих |
|
||||||||||||||||||||||||||||||||||||||||||||
водные k |
|
xl |
равны 0 |
|
|
k |
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
q |
xl |
|
отрезках. Следовательно, функции k xl можно заменить на k xl k |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
в формулах (114) или (115). Поэтому получаем |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
u x , x |
l |
|
|
|
q |
xl |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
lim |
|
k |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
k |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
k |
|
|
|
l |
|
|
|
k |
|
|
|
l |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
k |
l |
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
lim |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
l |
|
|
|
q |
x |
|
|
x |
|
|
|
|
u x |
, x |
l |
|
x |
|
|
|
|
|
|
|||||||||||||||||||||||||||
|
|
u x , x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||
|
k |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
u xl , xl |
u xl , xl 0 |
|
|
|
|
|
|
|
|
(116) |
|
|
|
|
|||||||||||||||||||||||||||||||||||
для всех q 1. Отсюда |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(116) |
|
|||||
l |
u x |
l |
, x |
l |
|
|
|
x |
l |
, D |
l |
|
x |
l |
|
|
|
|
|
|
|
|
|
|
|
|
l |
x |
l |
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||
D |
|
|
u |
|
|
|
|
|
lim u x , D |
|
|
k xl |
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
k |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
l |
|
|
|
|
|
|
|
|
l |
l |
|
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||
|
|
|
|
|
|
u |
|
|
|
|
l |
|
|
|
|
|
l |
|
k |
l |
|
|
|
|
|
|
|
l |
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||
|
|
lim |
x |
D |
|
x |
|
|
|
|
|
|
|
x |
|
|
|
|
|
k |
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||
|
|
|
|
, |
|
|
|
|
|
|
|
|
x |
|
|
|
|
a |
|
|
|
|
|
|
|
|
|
|
|
x |
|
|
|
|
|||||||||||||||||||||||||||||||||
|
|
k |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
k |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
k |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
k |
l |
|
|
|
k |
|
|
|
|
|
|
|
|
|
|
|
k |
l |
|
|
|
|
|
|
|
|||||||||||||||||||||
|
|
|
lim |
|
u x , |
D |
|
|
|
|
|
|
xl |
|
|
x |
|
|
|
|
lim |
|
Du x , |
|
|
xl |
|
|
|
|
x |
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(115) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
lim |
|
f xl xl , xl k xl |
f xl , xl . |
|
|
|
|
■ |
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
k |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
Следствие 14.12. Пусть ф.р. E x |
оператора D допускает спуск по пере- |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
менной xl |
, то есть существует E xl . Тогда E xl − ф.р. оператора Dl. |
■ |
|