ВУЗ: Не указан
Категория: Не указан
Дисциплина: Не указана
Добавлен: 06.08.2024
Просмотров: 94
Скачиваний: 0
поэтому |
|
|
|
|
|
|
eMi(E + |
К (А)) = (е~м - |
Ga (t))~l е [L°° - > L°°]. |
( 6 .28) |
|
Из' (6.25) и |
(6.28) |
в силу теоремы |
М. Рисса вытекает утверждение |
тео |
|
ремы. |
свойства функции, заданной равенством (6.20). |
Заметим, |
что |
||
Изучим |
эта функция периодична по А, с периодом 2jw'/A, поэтому достаточно изу
чить ее в полосе |
0 s=:lm Аг^:2 яД. |
г), |
определенная |
равенством |
7.1, обла |
|||||||||||
Теорема 6.5. |
Функция R(A, |
|||||||||||||||
дает следующими свойствами: |
голоморфна |
по |
А, в полосе |
|1 тА |< яД |
||||||||||||
1) |
при любом г е [0 , оо) она |
|||||||||||||||
с разрезом вдоль прямой ReA .^0 , |
'Im А =0 ; |
|
|
|
|
|
||||||||||
2) равномерно по А, на любом компакте, не содержащем множества |
||||||||||||||||
{Im A=0, Re Я>0}, справедлива оценка |
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
I К (А,, |
/-) |< |
С (1 + |
|
r)~<iV+ 1); |
|
|
||||||
3) |
при |
R e A > 0 , |argA|< — — в справедливо представление |
||||||||||||||
|
|
0 < |
arg А < |
— |
е : — |
^ |
|
/ |
а |
|
|
(г / А ) |
||||
|
|
|
|
2 кг- |
г |
|
2 |
|
||||||||
К(А, г) = |
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
N —;i |
|
|||
|
|
— - ^ - - J - e < a r g A < 0 : — - |
( |
V x \ 2 |
(.гУЦ |
|||||||||||
|
|
\ 2 |
яг } |
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
4* |
|
2 |
|
|||
|
|
|
|
|
|
+ |
Д (А, |
|
|
|
|
|
|
|
(6.29) |
|
где функция |
Д(А, г) |
голоморфна |
по |
А при |
|
|
Я |
|1т А| < я // |
||||||||
I arg А < Т - в , |
||||||||||||||||
'и имеет равномерную по А, на компакте оценку |
|
|
|
|
||||||||||||
|
|
|
|
|Д (А, г )| < С г -< "+1), |
|
г —* оо. |
|
(6.30) |
||||||||
Формулу (6.29) можно дифференцировать по г, |
причем |
|
|
|||||||||||||
|
|
|
|
дА |
: Сг |
-(У-Н) |
|
|
|
|
•оо, |
|
|
|||
|
|
|
|
дг |
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
4) |
аналитическое |
продолжение 7С± (А, |
|
г) |
= |
Нш К (A-j-ie, г) |
функции |
|||||||||
ТС (А, г) |
есть целая функция |
параметра г, |
|
|
|
в—>-j-0 |
|
удовлетво- |
||||||||
|
которая при Аб(Ооо) |
|||||||||||||||
|
|
|
|
|
|
|
N— 1 |
|
|
|
|
|
|
|
||
ряет оценке |/<* (А, |
г) |< |
С (1 + /•) |
2 |
, |
г > |
0; |
|
|
|
|||||||
5) при R e A < 6 < 0 |
справедлива оценка |
|
|
|
|
|
||||||||||
|
|
|
|К(%, |
г) |< Сехр (— or), |
|
а > 0 . |
|
|
||||||||
|
\ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Д о к а з а т е л ь с т в о . |
Утверждение |
1 |
следует |
непосредственно из |
||||||||||||
интегрального представления |
6 .2 0 . |
Для |
доказательства |
второго |
утвержде |
|||||||||||
ния докажем предварительно |
|
|
|
|
|
|
|
|
|
|
|
112
|
Лемму 6.2. Пусть' |
|
|
|
|
|
i |
|
|
00 |
_ |
JV |
; |
|
' |
|
!n 0 ) = j ф (р )р 2 J |
2 |
(ф )Ф . |
: |
|||
|
|
0 |
|
|
■1 |
||
где |
cp(p)— бесконечно-дифференцируема |
и |
стремится К нулю при р->-оо |
||||
вместе со всеми своими |
производными быстрее любой степени р. Тогда |
||||||
|
|
|
-------- — — 2 |
r > 1 |
|
||
|
|^(г)|<С/- |
2 |
, |
|
|||
|
т |
|
|
|
|
|
|
где |
С = sup } I Рк(р) |
(р) I, |
Pk (р) — некоторые полиномы и /л < о о . |
рt o
До к а з а т е л ь с т в о . Интегрируя по частям, легко установить фор
мулу
ооJV
7А/(Г) = -J- |"ф(Р) [Р 2 ^ ЛГ('-Р)1'Ф =
|
|
|
оо |
|
о |
|
W |
X" |
|
|
|
|
|
|
|
1 |
|
|
|
|
|||
|
|
|
1 Г |
|
Т"+1 |
(ф )]' Ф = ••• |
|||||
|
= - 7 |
t J <p' ( p) p |
Ip |
|
% |
||||||
|
|
|
О |
|
|
|
|
|
2 |
|
|
|
|
оо |
2V |
|
|
|
|
|
|
|
|
= |
(— i)vr v |
1 ^ |
|
Pus (р) q>(fe> |
(р) J р |
2v |
|
(ф ) Ф - |
|||
|
|
О fc=0 |
|
|
|
|
|
|
|
||
Взяв в этой формуле V > |
N |
- ф 1, |
получим |
|
|
|
|||||
|
|
|
оо |
N |
|
|
|
|
|
|
|
|
|/JV(r)|CO-v- 1 |
|
|
J N |
, (ф ) I Ф = |
С'Г |
|||||
|
|
|
|
|
|
|
T~+v |
|
|
|
|
’ Лемма доказана. |
2 |
теоремы |
является |
следствием |
формулы 6.20 и лем |
||||||
Утверждение |
|||||||||||
мы 6 .2 . |
|
|
|
|
|
|
|
|
|
|
|
Заметим, что |
|
|
|
|
|
|
|
|
|
|
|
N |
N _j |
|
оо |
|
|
|
|
|
|
|
N |
(2я) 2 |
Г 2 К (J,, г) = j |
(X - |
р2)-1 г - 1 ехр ((А - |
р2) t) J n_^ (rp) р Т ф + |
|||||||
|
|
|
О |
|
|
|
|
|
N |
|
2 |
|
|
|
оо |
|
|
|
|
|
|
|
|
|
|
|
+ j ф(Р. |
2 |
(Ф)Р2 dp, |
|
|||||
где |
|
|
О |
|
|
1 |
|
|
|
||
|
ехр ((X — р2) 0 [/ (Я. — ра) — 1 + |
ехр ((А. — р2) ?)] |
|||||||||
|
Ф(р, Х) = |
||||||||||
|
|
|
|
|
|
|
|
|
|
|
t (Л— Ра) 0 — exp (i (А, — р2))
(6.31)
Функция ф(р, X) в формуле (6.31) голоморфна по X в полосе |1шЯ|<я/^ и удовлетворяет условиям леммы 6 .2 , поэтому функция
-113
oo |
iV |
j__ N |
A (*-.'') = j ф (р - л,) A v _ |
(ф ) р 2 |
г 2 Ф |
о"У 1
голоморфна по Я- в полосе |1тЯ.|<я// и при г-уоо вместе со своей пер
вой производной по г имеет порядок 0(r~N~l) . Первый интеграл в (6.31)
я
при |arg Я, |< |
— |
— е |
можно преобразовать так: |
|
|
|
|||||
|
|
I |
ехр(£ (Я, — ра)) |
|
|
|
N |
|
|
||
|
|
2 |
|
|
|
Ф = |
|
||||
|
|
|
|
Ц Х - р») |
'JАjv- , ,( ф)Р " |
|
|||||
- Т IТ - 1 «!£ _, <' / 3 + |
|
|
|
|
ЛГ-г-2 |
||||||
2 |
1 |
|
‘ * “ |
||||||||
|
|
|
|
|
2 |
|
N—2 |
|
|||
. |
|
-a |
|
|
JWЯ1 ,,/«\ |
|
|
|
|
|
|
|
|
|
( г / щ |
П |
) |
2 |
|
||||
О < arg X< |
— |
|
е : — |
|
|||||||
|
|
|
|
|
|
|
|
|
|
Af |
+ А (Я,, г), |
|
|
|
|
|
|
|
|
|
|
—1 |
|
— - у + e < a r g ^ < 0 : — ~ ~ |
^ (г У X) ( / X) |
|
|||||||||
|
|
|
|
|
|
2 |
|
|
|
|
|
где |
|
|
|
|
|
|
|
|
|
|
|
Аг(Х, 0 |
= |
- j - [ |
i |
К^ — г)<1 |
1 ехр(/-(Я, — z)) Я^лг._ t X |
||||||
|
|
|
|
arg г = ------е |
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
N —2 |
|
I¥ V |
|
|
|
|
|
|
X (r V^z) z 4 |
dz + |
I |
[(Я, — z)i]- 1 |
X |
||||||
|
|
|
|
|
argг—--------{-e |
|
|
|
|
||
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
N-2 |
|
||
|
|
X exp (t {X — 2)) |
^(/-y^z)2 |
4 |
d z j. |
|
|||||
|
|
|
|
|
2 |
|
|
|
|
|
|
я
Функция Л2 (А,, г) голоморфна по А. в секторе |arg л [ < 1 — — е. Совершив замену переменных z-^zr~2, получаем
N —2 iV—2
А ( А '•) = '■ 2 Г - ^ - ( |
^ |
н Ч ^ у ^ г 4 dz + |
|
я |
2 |
|
arg2= ------ е |
|
|
2 |
|
114
|
|
N—2 |
. |
_N_-3 |
+ |
^ |
Я<$ ^ / 2 ) 2 4 dz^ + 0(r~2) |
= |
0 (r 2 ), r-*<x>. |
a rg2= |
П , |
2 |
|
|
----------- (-8 |
|
|
|
2
Утверждение 3 мы доказали. Для доказательства утверждения 4 до статочно в 6. 20 сместить контур интегрирования по р в окрестности р2=А,.
Пусть ReX<0. Тогда
|
|
/V О |
|
|
|
|
|
|
|
N_ |
N . |
||
К (X, г) = |
(2 я) |
2 |
f е |
р ч (е |
|
е |
рЧ) |
l J N |
|
( ф ) р 2 |
г |
2 dp — |
|
|
|
|
J |
|
|
|
|
|
—----1 |
• |
|
|
|
= (2 я) 2 г |
|
* | |
|
|
- в №“ Р ( г р ) р ^ ф = |
||||||||
|
|
AT |
оо |
оо |
|
|
|
. |
|
Л_ |
|
(6,32 |
|
= (2п) |
|
г |
[Г |
^ |
|
|
|
|
Ф== |
||||
|
Li: j |
еПа~р1}‘ J N__ (ф)Р2 |
|
||||||||||
|
_ N ^ |
О |
л=1 |
|
|
2 |
1 |
N . |
|
||||
|
N со |
|
|
|
|
|
|
||||||
= |
(2 я) |
2 |
г |
2 ^ |
e,lW j |
е |
"р!< ^ |
. (ф ) Р 2 |
,Ф = |
|
|||
|
|
|
|
п= |
1 |
о |
|
|
2/ |
' |
|
|
|
|
|
|
|
|
ЛГ |
оо |
|
N |
|
|
|
|
|
|
|
|
= |
(4я£) |
2 |
^ |
я |
2 |
enW г'2/ш. |
|
(6.33) |
||
|
|
|
|
|
|
П=1 |
|
|
|
|
|
|
|
Это равенство доказано нами для Re Ж О, в-' силу принципа анали
тического продолжения оно верно при Re Х^.0. Отсюда следует, что при
ReX^X0<Q
7V оо itf
K(X,t)\<(4nt) |
2 exp (Re Xt) j ^ |
я |
2 |
exp^(n — |
l) ReM — |
|||||
|
|
|
|
Л— 1 |
|
|
|
4nf |
||
|
|
|
|
|
|
|
|
|||
|
_ |
N |
|
oo |
N |
|
|
Г2 |
\ |
|
|
|
|
|
|
|
|||||
< |
(4яt) |
2 |
exp (ReXt) |
я |
2 |
exp И я - |
||||
|
|
|||||||||
|
|
|
|
n = l |
|
|
\ |
|
|
|
|
|
|
|
|
|
|
|
|
||
|
_ |
N |
|
|
iV |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
= |
(4я?) |
2 |
exp(Re^ |
) |
2 |
exp |
(( n — |
- ^ ) |
+ |
|
|
|
|
|
|
|
|
- w |
|||
|
|
|
|
n ^ r |
|
|
|
|
|
|
|
+ |
£ |
п 2 exp( ( , l 1) V |
~ |
< |
|
|||
|
|
L ^ ) } |
|
|||||||
|
|
|
П > Г |
|
|
|
|
|
|
|
|
|
N |
|
__ оо |
|
______ // |
|
|
||
< |
(4я/) |
2 |
eVn / D . l * L |
4t |
W |
-ч |
2 |
exp ((я — |
l)X0t) + |
|
2 |
exp (Re Xt) je |
^ |
(я) |
2 |
||||||
|
|
|
|
|
|
n=l |
|
|
|
|
+ |
е(г |
1^ <|( |
^ |
я - / 2} < |
C |
exp (Re Xt) exp (— or), |
a > 0 . |
|||
|
|
|
n=l |
|
|
|
|
|
|
|
11-5
Следовательно, |
|
\K(X,r))\< С(Я0)еКеЯ‘- ° г, Re X < Х0 ■< 0, а > 0 . |
(G.34) |
Из (6.33) следует, что при Re X < 0 |
|
|
|
|
|
|
|
|
|
|
п=1 |
|
|
|
|
|
(6-35) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
ле [1 |
Оценим правую часть (6.35). Пусть функция / ( х) |
задана на |
интерва |
|||||||||||||
, оо), пусть |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
/ '( * ) > 0 , |
\ < х < х 0, f’ ( х ) < 0 , |
х0< х < о о \ |
x0G [л0, пв + |
1 ]. |
|
||||||||||
Тогда |
П+1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
n~f~l |
|
|
|
|
|
|||
|
Д л)< j |
f (х) dx, |
п < п а\f ( |
п |
1 ) < |
| f{x)dx, п > |
л0 + |
I. |
|
|||||||
Следовательно, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
По |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
£ / ( « ) + 2 |
|
/( « +! ) = £ / w - / K + i ) < |
|
|
||||||||||
|
|
Л—1 |
П=П,+1 |
|
|
|
П=1 |
|
|
|
|
|
|
|||
|
|
|
По |
- |
оо |
П+1 |
|
|
|
оо |
|
|
|
|
|
|
|
|
|
J] |
+ £ |
j |
f(x)dx = |
j f ( x ) d j с, |
|
|
|
||||||
|
|
|
л=1 |
|
п0-|-1 л |
|
|
|
|
|
|
|
|
|
||
поэтому |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
£ |
/ ( « Х / К + 1)+ Jf(x)dx. |
|
|
|
(6.36) |
||||||||
|
|
|
л=1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
В нашем случае |
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
f ( x ) ~ x |
|
2 е |
4tx ; |
|
2№ |
|
|
|
|
||||
|
|
|
|
х0 = |
|
|
|
|
|
|||||||
Применяя (6.36) к (6.35), получим |
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|К (X, г) |< |
Cir~ N + |
C ^ ~ N , г > |
0 . |
|
|
(6.37) |
|||||||
Так как из (6.35) следует, что |К(Х, |
г) | ограничен |
при O sgr^ l, |
то из |
|||||||||||||
(6.37) и (6.34) вытекает утверждение 9) теоремы 6.5. |
|
|
|
|
||||||||||||
|
Теорема 6 .6 . |
|
рассматриваемый |
как |
элемент |
пространства |
||||||||||
|
1) |
Оператор 7С(Х), |
|
|||||||||||||
[Хр->-Хз, |
1 </?sg;(7 =5: 00], голоморфен |
по |
X в плоскости с разрезами вдоль |
|||||||||||||
лучей Х=2 топ/£+т1, л=0, |
=Fl, ..., т)^=0; |
|
|
у |
|
|
|
|
||||||||
|
2) |
при любом Х е (0 , |
00) |
в сильной операторной топологии простран- |
||||||||||||
ства |
Lp ^fU>, |
lip — l/q> |
|
Ы-4- 1 |
|
|
|
|
существуют |
пре- |
||||||
— — — , l < p < q < o o |
||||||||||||||||
|
|
|
|
|
|
|
2N |
|
|
|
|
|
|
|
|
|
делы
116