книги / Функциональный анализ
..pdf§ 5. ОБОБЩЕННЫЕ ФУНКЦИИ И ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ 523
5. Фундаментальное решение задачи Коши. Пусть дано ли нейное дифференциальное уравнение с постоянными коэффици ентами
д_ |
’ |
и = О |
|
р { dt |
|||
|
порядка т по переменному t. Пусть дифференциальный опера тор
таков, что для уравнения
Р <*[~дТ’ d f)
задача Коши корректна. Тогда фундаментальное решение за дачи Коши для исходного уравнения имеет вид
|
Е {t, |
х) = |
|
J |
(t, х {®{ + |
|
... + хпа>п, |
— п) dQ, |
|
где |
|
|
|
|
|
|
|
оо |
|
|
|
|
|
|
|
|
|
|
|
|
I. |
4 = |
|
-------------------- |
|*би(*, I — |
||||
a Gait, |
| ) — фундаментальное решение задачи Коши для урав |
||||||||
нения |
Ра [ j j , -|-) о = |
0. |
|
|
|
|
|||
В случае нечетного числа переменных получается более про |
|||||||||
стая формула: |
|
|
Г С -1 |
|
|
|
|
||
|
|
|
- |
|
|
|
|
||
|
E(t, х) = |
(~ 1} |
\ |
2 |
/ |
Г dn |
|
||
|
- |
~-^= rGJ |
a (t, t)dQ. |
|
|||||
|
|
|
|
Qnn |
2 (n — 1)! |
a |
|
||
Однородный линейный оператор с постоянными коэффици- |
|||||||||
ентами |
р (-Ш' Тх~ ’ |
~Ш~) |
называется |
гиперболическим, |
|||||
если при любых |
значениях |
сор |
|
со^, 2 |
= 1» уравнение’ |
m-го порядка относительно v:
P ( v , СОр . . (оп) = 0 ,
имеет т вещественных и различных корней. Решение гиперболического уравнения
д__ |
д |
_д_ |
dt |
дх\ |
-)«(*> 0 = ( |
дхГС/ |
524 ГЛ. X. ОБОБЩЕННЫЕ ФУНКЦИИ
при начальных условиях |
|
|
|
|
|
|
|
|||||
|
|
|
|
|
дки (х, 0) |
= 0, |
0 < 6 < т |
—2, |
|
|
|
|
|
|
|
|
|
dtk |
|
|
|
|
|
|
|
|
|
|
|
дт~ \ ( х , 0 ) _______ 2 / |
|
|
|
|
|
|||
|
|
|
|
|
dtm-i |
|
|
|
|
|
|
|
имеет вид |
|
|
|
|
|
|
|
|
|
|
||
и{хь .... |
хя, |
t) = |
-------- |
2 Г m |
X |
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
m-1 |
|
||
|
v |
|
Г f |
\ 1 Г х- п \ Ъ ч 1 к + Л х+т |
1 « M |
S **£* + |
*)' |
|
||||
|
A |
|
J . l |
|
( Я+1)( Я + |
2) ... |
(Я + m - l ) |
|
|
|
||
|
|
tf=0 |
|
|
|
|
|
, _ f 2 |
1 |
|
||
|
|
|
|
|
|
|
|
|
CO, |
|||
|
|
|
|
|
|
|
|
|
+ Q\ |
in |
||
г д е |
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
< ь ( в - S |
|
fc/n—2fe—1 |
|
|
|
|
|||
|
|
|
(2k — 1)! (m — 2k — 1)! (%- |
2k) ' |
|
|||||||
|
|
|
|
|
fe=l |
|
|
|
|
|
|
|
через H(lu |
| n) обозначена |
функция P(l, |i, |
|
и через |
||||||||
to — выражение |
|
da |
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
| grad H | sign |
V t J¥L |
|
|
|
|
||
|
|
|
|
|
|
|
2u lk dlk |
|
|
|
|
|
(da— элемент поверхности H = 0). |
|
|
решение задачи |
|||||||||
|
При Я = — п |
получается фундаментальное |
||||||||||
Коши. Если п нечетно, то решение имеет вид |
|
|
|
|||||||||
|
|
|
|
|
|
"±1 |
|
|
|
|
|
|
Е |
(Х[, • . . у |
Хп) |
; |
( - 1) |
2 |
1)! X |
|
|
|
|
|
|
|
|
|
|
2 (2я)п-1 ( т - п - |
|
|
|
|
|
|||
|
|
|
|
X |
J (2 х & ь + t)m~n' x[sign (2 xkU + ^)]m |
1со; |
||||||
|
|
|
|
|
я = о |
|
|
|
|
|
|
|
если же п четно, то решение имеет вид |
|
|
|
|
||||||||
Е |
, ... , |
хп) — |
п |
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
2 xk% + t |
|
|
|
= |
|
|
|
I)! |
| Ц х*-М Г"-'In |
G) |
|||||
|
|
|
|
|
|
я = о |
|
|
|
|
2 х /Лк |
|
§ 6. ОБОБЩЕННЫЕ ФУНКЦИИ В КОМПЛЕКСНОМ ПРОСТРАНСТВЕ 525
(формулы Герглотца — Петровского). Когда порядок га уравне ния меньше, чем п — 1, формулы для фундаментального реше ния задачи Коши приобретают вид
Е{хи .... |
п+ 1 |
J в<»-и>(2*^ +*)ю |
||
при нечетном п и |
|
|
|
|
Е (хц ... | хп) |
(—1) 2 (п — т)\ |
/ |
п—т+1 |
|
(2я)" |
|
|||
|
|
|
я=ю ( 2 |
xk% + О |
при четном п.
Все интегралы в этих формулах понимаются в смысле регуляризованного значения.
Л и т е р а т у ра: [12].
§ 6 . Обобщенные функции в комплексном пространстве
1 . Обобщенные функции одного комплексного переменного.
При рассмотрении функций комплексного переменного исполь зуются операторы
_ д _ _ \_(_д___. _ д \ |
J L — L ( J L J L |
|
дг — 2 \ д х |
1 ду ) ’ |
дг ~ 2 \ дх + 1 ду ) ’ |
где z = х + iy. Например, ряд Маклорена пишется так:
|
f 1 (х, |
у) = |
f(z, |
2) = |
J ] |
fU' |
0) |
z>2k’ |
|
|
||
|
|
|
|
|
|
|
1, fc=о |
|
|
|
|
|
где положено |
|
|
|
|
|
|
|
|
|
|
|
|
fu’k)(z, 2) |
di+kf (г, |
г) |
и |
Hz, |
z ) = f , ( ± ± i |
z —•z |
|
|||||
dz^ dzk |
|
2i )■ |
|
|||||||||
|
|
|
|
|
|
|
|
|
||||
Для |
аналитических |
функций |
|
= 0 |
(это |
следует |
из |
|||||
условий Коши —Римана). |
|
|
|
|
пользуются дифферен |
|||||||
При интегрировании функций f(z, 2) |
||||||||||||
циальной формой |
dzdz = — 2idxdy. |
|
|
|
дифференци |
|||||||
Пусть |
D — пространство финитных бесконечно |
|||||||||||
руемых функций ф(г, 2). |
Пусть Я и р — такие комплексные чи |
|||||||||||
сла, что п = А — р — целое число. Тогда при |
Re(A,-f р) > |
—2 |
||||||||||
сходящийся интеграл |
|
|
|
уJ гх2^ф(z, |
|
|
|
|
||||
|
(г\г* |
ф) = |
|
z) dz d2 |
|
|
§ 6. ОБОБЩЕННЫЕ ФУНКЦИИ В КОМПЛЕКСНОМ ПРОСТРАНСТВЕ |
527 |
(производная не равна нулю, так как г~к~^ не аналитична в точ ке г = 0).
Так же, как и в вещественном случае, вводятся присоединен ные однородные функции zK»lnm\z\:
(z^z^ lnm| г | , cp) = -j Jzkz^ lnm | г | ф (z, z) dz dz,
где интеграл надо понимать в смысле регуляризованного значе ния. Присоединенной однородной функцией является и функция
fe-U-Z- |
ф) = т |
|
|
Ц 2'г < - |
( z - |
L |
|
||
|
|
«+/*=о |
||
|
- 0 ( 1 |
- | 2 |) |
У |
П/I 01 гlzlj dz dz. |
|
|
|
i+j=k+l |
|
Преобразованием Фурье функции <p(z, I) |
называют функцию |
|||
|
ф(ау, W ) = Y |
Jф(г, z)eiRezm dz dz. |
Преобразование Фурье обобщенной функции F определяется равенством
(F, <p) = 4n2(F, фО,
где фЛг, г) = ф(— z, — 2). Имеет место формула
|
|
zxz* |
|
|
. ог.+ц.Ч-2—jl Я—р. | |
W ^ |
Я 1 |
|
|
|
r ^ |
+ |«| + 2j |
|
ш |
|
|
|
|
|
|
|
|
|
|
|
|
|||
где s = |
+ |
п — Х — р.. |
|
|
|
|
|
||
Так же вводятся обобщенные функции вида |
fl (z)f>l(z), где |
||||||||
f(z)— мероморфная |
функция и п = %— ц — целое число. Если |
||||||||
финитная функция ф(г, I) |
сосредоточена в области, содержащей |
||||||||
один нуль кратности k функции f(z) |
и не содержащей полюсов |
||||||||
этой функции, то интеграл |
| f (г) Р |
(г)ф (z, z) dz dz |
|
||||||
|
|
(Р Р > |
=ф)\ |
|
|||||
при заданном %— |я сходится в области Re(^ + |я) > 0. |
анали |
||||||||
При |
Re(^ + p,)<0 |
его |
значение |
определяют путем |
|||||
тического продолжения |
по s = X + |
|
Единственными |
особен |
|||||
ностями |
этого интеграла |
как аналитической |
функции от X |
||||||
и (я являются простые полюсы в точках |
(X, |я) = |
(—р/£, |
—<7/&), |
||||||
p ,q = 1,2, ... (X— [я — целое). |
|
|
|
|
530 |
ГЛ. X. ОБОБЩЕННЫЕ ФУНКЦИИ |
|
|||
Рассматривается |
|
|
|
|
|
(РЛР*\ |
ф) = |
(</2)” J Р^ (2) Р* (2) ф (2, 2) С?2 dz. |
|||
Этот интеграл сходится_при Re (X 4- |
ц) > 0. |
вводят дифферен |
|||
Чтобы выразить |
|
при Re(^+M') < 0 , |
|||
циальные операторы |
|
|
|
|
|
|
8 |
д2 |
|
д2 |
|
|
d z t dzj |
g l |
dzt d2j |
||
i, / = 1 |
|
|
i, /=1 |
|
|
где |
|
|
|
|
|
Хогда при Re(A.+ (а) |
> |
— k — I определяют Р\Р** формулой |
|||
РХР» = |
С (Я, jfe) С (р, 1) LkpLlpPx+kPv'+l, |
||||
где |
|
|
|
|
|
С (v, р) = {4Р (v + |
1) ... (v + р) (v + |
т/2) ... (v + m/2 + р — 1)} |
Обобщенная функция РлРа имеет две серии особых точек:
(Я, р) = |
(—&— !, — |
1), |
k, |
1 = |
0, |
1, 2, ... |
||||
(Я, р) = |
(— m/2 — k, — m/2 — /), |
k, |
1 = |
0, |
1, ... |
|||||
Если |
точка |
(Я, р) принадлежит только одной из этих серий, |
||||||||
то в ней P V |
имеет простой полюс; если же (Я, р) принадлежит |
|||||||||
обеим сериям, то РХР^ имеет в ней полюс порядка 2. |
||||||||||
В |
случае, |
когда точка |
Я — — k — 1, |
р = |
— / — 1 |
принад |
||||
лежит только первой серии, |
Выч РХР^ есть обобщенная функ- |
|||||||||
|
|
|
|
/г—1 |
|
|
|
|
|
|
ция, |
|
|
|
|Lt=—/—1 |
Р ==0. |
Определяют |
||||
сосредоточенная на поверхности |
||||||||||
|
|
6(fe-г)(Р) = Ц - ( - 1 )*+/kin |
Выч |
Р1Р*. |
|
|
||||
|
|
|
2л |
|
А,=—&—1 |
|
|
|
||
|
|
|
|
|
]!=—/—1 |
|
|
|
||
Если |
точка |
(Я, р) принадлежит только |
второй |
серии, т. е. |
||||||
Я = — т/2 — к, |
р — — т/2 — /, причем т |
— нечетное |
число, то |
ВычР^Р1* в этой точке равен
m—1
^2 2“W_2^_2^+1J1w+1
w „ r ( - f - + t ) r ( - i + ,)|4 |
где Л — дискриминант квадратичной формы Р.