Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

книги / Функциональный анализ

..pdf
Скачиваний:
34
Добавлен:
13.11.2023
Размер:
24.9 Mб
Скачать

 

 

§ 2. РАСХОДЯЩИЕСЯ ИНТЕГРАЛЫ

481

4) Ф ун кц и и

| х |

2m s ig n л: со о тв етств у ет

о б о б щ е н н а я

ф у н к ц и я

(| х \ ~ 2т s ig n л:,

<р) =

Jоо х ~ 2т | ф (х) — ф (— х )

 

 

 

О

 

 

- 2 [ * ф' ( 0 ) + - £ ф' " ( 0 )+ ... + (2/п ■" Т)Т<Р(2ст~1) (°)е (1 ~

*)] } d x -

Э та ф у н к ц и я не я в л я е т с я зн ач ен и ем о б о бщ ен н о й ф у н кц и и

I л: |л s ig n JC при

Х =

— 2т.

 

 

 

 

5) Ф у н кц и и

 

{|

0

при

д. < 0

 

х^+ тlnmх+

 

 

 

Г х Ч п т х

при

х > 0 ,

соответствует

при

ReA, >

— га — 1,

1, —2, . . . . обобщен­

ная функция

 

 

 

 

 

 

(х+ lnm х+, ф) =

1

= J* lnmл [ф(дс) - ф(0)- хФ'(0) - . .. - - ( £ г | -у, Ф^-1*(0 )] dx +

о

 

 

+

j ххlnm хф (х) dx

+

(- \)тт\ ф^-1) (0)

 

 

(* — 1)! (Я, + k ) m+l '

 

 

 

 

 

 

 

 

При — га — 1 < ReА<<

— га

ее

можно

задать

более

простой

формулой:

Jоо х%In '” X [ф ( х )

 

 

 

 

 

 

(х * l n m Х + , ф)

ф (0)

 

 

 

 

 

 

о

 

 

 

 

-

 

Ф(ге-1) (Q)] d x .

 

 

 

— Х ф '( 0 ) - . . .

 

Последняя формула получается из формулы для х^

(см. п. 2)

заменой

х % на

хЧпт х. Точно так

же

обобщенная

функция

xMnmx_

задается формулой,

получаемой

из

формулы для

х % заменой х % на хЧпт х.

 

 

 

 

 

 

 

Аналогичное

замечание

справедливо

для обобщенных

функций

 

 

 

 

 

 

 

 

 

 

x~"lnmx+,

х-"1 пв,х_

1 | х Iх 1 пт

х 1|,

| х

sign х 1 пт | х |.

Они определяются формулами, получаемыми из формул для х-", XI", | х |S | х Iйsign х соответственно заменой х ~ п (или хх)

на x- "lnmx (или хЧпт х).

482 ГЛ. X. ОБОБЩЕННЫЕ ФУНКЦИИ

6

)

Обобщенные функции In(лг -f- г'О) и ln(x — г'О) определяются

формулами:

 

 

 

 

 

 

 

 

 

 

In + г'О) =

lim

In (х + г'е) =

In | х

Ц- г‘я 0 (— х ) ,

 

 

 

 

 

е->+0

 

 

 

 

 

 

 

 

 

In (х — г'О) =

lim

In (я — г'е) =

In | х

| — г'я0 ( — я),

 

 

 

 

 

£ +0

 

 

 

 

 

 

 

где,

как и выше, 0 (х) = 0

при х < 0

и

0 (х) = 1 при х

> 0 .

 

7)

Обобщенные функции (х + г'О)* In (х+г'О) и (х—г'0 )я In(х—г'О)

задаются формулами:

 

 

 

 

 

 

 

(х +

i 0 ) x In ( х + г'О) =

 

 

 

 

 

 

 

 

 

*+ In х + + i n e iXnx x + e iXnx x In х _

при

Х ф — п ,

 

 

 

(—1)" гя*-" Н- (— l)"-1 \

+

х ~ п In| |

при

Х =

— п;

(х -г'0

)Ч п (х - /0 ) =

 

 

 

 

 

 

 

 

 

х х+ In х + i n e ~ iXnx x +

e ~ iXnx x In x _

при % ф

гг,

 

 

 

{ - \ ) n~ li n x z n +

(—l)n~‘ 4

+

x ~ " \ n \ x \

при X =

- n .

Ли т е р а т у р а : [12].

7.

Обобщенные функции x x+ ,

x }

и

им аналогичные как

функции от параметра к .

была

основана на

равенстве

1)

Регуляризация функции х*±

(х^)' =

Я,х+-1. Существует другой

путь

регуляризации

этой

функции (приводящий к тому же результату), который основан на идее аналитического продолжения. Если <р(х) — фиксирован­ ная функция из пространства D , то выражение (X х., ср) является

аналитической функцией от % в полуплоскости Re % > —1. Про­ должая эту функцию аналитически на всю плоскость X, полу­

чают значения

выражения

 

<р)

и

при

Re X ^

—1.

Оказы­

вается, что при

R e X > —

n — l , Х

ф

— 1,

2 , . . . ,

— п,

значе­

ние этого аналитического

продолжения дается формулой п. 2 ,

а при — п — 1 < Re Я < — п — более

простой

формулой, при­

веденной там же. Аналитическая функция

( х х+>

<р) имеет простые

полюсы при X =

1 , —2 , ..

, —k,

. . .

Вычеты в этих полюсах

даются формулами

 

ф(А—О (о)

 

 

 

 

Выч ( х х ,

 

 

 

 

Ф)=

(ft-1)1

'

 

 

 

 

А » = - А Ч

+

 

 

 

Можно сказать, что обобщенная функция х \ является анали­ тической функцией, зависящей от X, с полюсами в точках

 

 

 

 

 

 

§ 2. РАСХОДЯЩИЕСЯ ИНТЕГРАЛЫ

 

 

483

X = —1,

 

 

, —k,

причем

 

 

 

 

 

 

 

 

 

 

 

 

 

Выч х \ =

 

 

1)п/ 6 <fe-I) (*),

к — 1,

2, ...

 

 

 

 

 

 

 

 

^

1« —‘Я

 

 

 

 

 

 

 

 

Удобно нормировать обобщенную функцию х*, рассматри­

вая

вместо

нее функцию

*+/Г(Я 4- 1).

Эта функция является

целой

аналитической

функцией

от

X,

принимающей

при

Л,=

— 1........ — к, ...

значения

6№-1)(х)

(поскольку

функция

Г (Я 4-1)

 

имеет

полюсы

в

тех

же точках, что и функция

Разложение функции

х^. по

степеням

X — Я0, Я0 Ф — 1, . . .

. .

к, . .

имеет

вид

 

 

 

 

 

 

 

 

 

*£ =

*£ + (Я .-^ д $ 1 п х + + •••

+

-(Х~ ! оГ Д^1п” х+ + ...

Разложение же х^

по степеням X + k

имеет вид

 

 

, _

( - ! ) * - « а<*-»(ж)

 

1

 

к

 

 

 

 

 

 

 

 

 

,ч.

 

Г + й

^ Х+ +

 

 

 

 

 

 

 

 

 

 

(ft -

1)1

 

Я-

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

+

(Я + k) x~kIn х++

...

+

- ^

 

х~к \пт х+ + ...

Аналогичные утверждения справедливы для функции х*.

Она

имеет

полюсы

 

при

Х =

— 1 , . .. ,

k,

... с

вычетами

Ь(к' 1) <*)

.

u

 

 

 

 

А

 

 

г

£

1)

является

целой

 

 

Нормированная

функция

 

аналитической функцией от X, принимающей

при X — — 1, .. .

.... — k,

 

...

значения (— l)*-16(ft-1) (х). Имеют

место

формулы:

 

=

х1* + (Я -Я 0)хЧ п х _ 4 - ... 4~—

 

* Чп - х _ + ....

 

 

 

 

 

 

^0

 

 

1 >

2, • . . ,

 

k9 • • • t

 

 

 

 

6(k~]) (х)

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(k —1)!

X + k +

 

* z k +

 

 

 

 

 

 

 

 

 

 

 

 

 

 

-f- (Я -f- k) x~^ In x__ -{-

.

 

+

 

xzk In- x_ -f-

2)Обобщенная функцияК| х | является аналитической функ­

цией

от X, имеющей

простые

полюсы

при X — — 1, —3, . . .

. ..,

— 2/г — 1, .. . с

вычетами

 

 

 

 

Выч | х f

2Ь(2к) (х)

 

 

(2ft)1

*

 

Л=—2ft—1

484 ГЛ. X. ОБОБЩЕННЫЕ ФУНКЦИИ

Нормированная функция

I X I

аналитическая

^^ qr^j/2) — Целая

функция от Я, принимающая при Я = — 2 k — 1

значение

( -

\)k k\bm (х)

 

 

(2ft) I

 

Справедливы формулы:

| х Г

=1* Г +

( Я

- Я 1П0 )| | ** | х+ ,

• • •

 

 

 

 

...

+

(Я — Я0)т | х |Л|11пт | л: | +

 

 

К ф — 1, — 3,

 

2 k — 1,

■ л _

2б(2*> (х)

_____ 1

 

и

г 24-' +

 

1 1

(2ft)I

Л + 2Й+1

 

 

 

+ (Я +

2А: +

1)| лгI—2fc-l l

n U I + . . .

 

 

 

...

+

(A, +

ml

\ X \I—2fe—1lnm\ x I +

 

 

 

 

 

2ft +

1)”

3)Обобщенная функция | x f sign x также аналитична, имеет

простые полюсы при

Я = — 2,

—4, ....

2k, ...

с вычетами

 

 

В ш

1 х f sign х = — 2

ffi- ■

 

 

Нормированная

функция р

2У/1) является

целой

аналитиче­

ской

функцией

от

Я, принимающей

при

Я =

— 2, — 4, ..

. . . .

— 2 k ,...

значения

 

 

 

 

 

 

 

,

,4ft ( f t - 1)1

 

 

 

 

 

 

1

4

(2ft- 1 ) !

 

 

 

 

Справедливы формулы:

 

 

 

 

 

I х |л sign х = | х f* sign х + (Я — Я0) | х \%>In | х | sign х

+ ...

 

 

 

 

... + - JjL |* |A',,lnra|* |s ig n * + ....

А Ф — 2, — 4, . . — 2 k y

§ 2. РАСХОДЯЩИЕСЯ ИНТЕГРАЛЫ

485

и

 

 

 

 

I х Iх signx = - 2

+

re s ig n * +

+ (Я + 2k) | х |

In| х | sign х +

•..

... +

( Я + Щ

т

I х I

In'" I X I sign X 4- ...

ml

 

4)Обобщенные функции (я + гО)* и (лг — г0 )я являются целыми

аналитическими функциями 9

т Я. Они принимают при А =

— 1,

2

, . . . ,

k , ...

значения

 

 

 

 

е + ю

г ‘ - * - ‘ -

 

 

 

(* - 1

0)-* —

йи ~ " ( х )

 

соответственно.

 

 

 

 

Ли т е р а т у р а : [12].

 

 

8

.

Однородные обобщенные функции. Обобщенная функция

f(x)

одного переменного называется однородной функцией

сте­

пени Я, если для любого а >

0 выполняется равенство f(ax) =

= axf(x). При каждом Я однородные обобщенные функции сте­

пени Я являются линейными комбинациями двух линейно неза­ висимых однородных функций. В качестве этих функций можно

взять, например, (х + Ю)*' и — Ю)\

При

Я =й=—1, —2, ...

..., —k , ... можно взять функции х+ и

х_,

а при Я = —k

функции х~к и Ь(к~1) (х).

Обобщенная функция f(x) называется присоединенной одно­ родной функцией степени Я и порядка пг, если имеет место ра­

венство

f (ах) — axf (х)-\- ax\nm af0 (х),

где fo(x)— присоединенная однородная обобщенная функция

степени Я и порядка m — 1 (однородные обобщенные функции степени Я совпадают с присоединенными однородными функ­ циями той же степени и нулевого порядка).

При любом значении Я существуют две линейно независимые присоединенные однородные обобщенные функции степени Я и порядка т , линейными комбинациями которых являются все та­ кие функции. При любом Я можно выбрать + i0)x\nm(x + /0)

и( х — iO)Mnm(x — i0). При Я ф 1 ........— k, ... можно взять

функции x^lnmx+ и xMnmx_, а приА = — 1 , .... — k , ... — функции x^k1 пт х+ и x~ft 1 пт х_.

Ли т е р а т у р а : [12].

486

ГЛ. X. ОБОБЩЕННЫЕ ФУНКЦИИ

9. Таблица производных некоторых обобщенных функций.

f (х)

1х +

2x l

3м *

4| х sign х

5(X + i0)x

б(х - i0)x

7X~k Х+

8x Zk

91 X I” 2*5”"1

101x |"*2/г sign x

И1n (лг — /0)

12In {x Ю)

13In x +

14In x_

15In | л: |

160 W

 

 

 

f U)

 

 

Я/Лг^Г1,

Я =т^=—

1,

2, . .

ky ...

—*Xx^Z

X =^= —• 1, —*2, ... ,

—• ky .. •

X | x l^

1 sign x, X ф

1, — 3,

.

. — 2k — 1, ...

X | л: I*-1, X ф - 2, - 4 , . . . ,

- 2 k , . . .

X(x + i0)x~ l

 

 

 

 

X(x — i O f - 1

 

 

 

 

 

, ( - l ) fc6<«(*)

 

 

+

+

k\

 

 

 

1ft!

(2ft + 1) | x |-2ft~ 2 sign x

- 2 ft | ж |—2ft~ 1

(x + Ю) ~ 1 = -1ind (x)

(x — j0)- l = — +<яб(лг)

*+ x Z l

X - 1

6(x)

Следует еще отметить, что ^-кратная первообразная от функ­ ции \ х \ ь задается формулой

 

 

\ х \X+q (sign x)q

У?

x q~ 2k________l

. . . ) \ x \ u x

(A, + I) ... (A, + <7)

XJ

(2 ft- l)!(?-2ft)! A + 2ft

■v

'*

 

k=\

 

Я

 

 

 

 

Л и т е р а т у р а :

[12].

 

 

10.Дифференцирование и интегрирование произвольного по­

рядка. Пусть f ( x ) — функция, равная нулю на полуоси (—оо, 0) и интегрируемая на любом конечном отрезке полуоси (0 , оо). Тогда ее ^-кратная первообразная функция, обращающаяся

§ 2. РА С Х О Д Я Щ И Е С Я И Н Т Е Г Р А Л Ы

487

в нуль на полуоси (—оо, 0), задается формулой Коиш: X

U ( * ) = J fW ( * - tr' dt.

о

Эту формулу можно записать в виде

fq

По аналогии с этим равенством первообразная порядка Я от обобщенной функции f(x)> равной нулю на полуоси (— оо, 0), определяется следующей формулой:

Обобщенная функция

Х*-1

обозначается

через Фх(х).

ТЩ"

В п. 7 было показано, что

 

 

 

 

 

Ф-* (х) =

lim

хь-1

= б№) (х)

(k = О,

1,

.. .)•

1 W

Поэтому

K->-k

 

 

 

 

 

 

Ф_, (X)=

 

 

 

 

f-k(X) =

/ W *

/ ( * ) *

6(k>(X) =

fk)(X).

Таким образом, первообразная порядка —k есть не что иное, как производная порядка k от обобщенной функции f(x). В соответ­ ствии с этим полагают для любого К

Справедлива формула

(fi

(

dyf \

rf3+vf

dx3

\

dxy )

C?A:3+Y

вытекающая из равенства

фр * Фу = Фр+г

Для функции Фц(л:)

dx / JFlJr1'N_

dx% Vг (и) / г (I*—Л) *

В частности,

dxe(x) х+х

488

ГЛ. X. ОБОБЩЕННЫЕ

ФУНКЦИИ

 

 

 

 

 

- k - X - \

 

г(*(*’ W)

T(— k — X)

 

dx‘

 

 

 

Л-k-l

 

 

 

-Ч Л —

------) = 6(k) (*)•

 

dxK \ Г (Я -

k) )

 

W

Интегральное уравнение Абеля

 

 

g fr) —

 

1

f

f(t)dt

 

'

Г (1 — a) J ( x - t ) a

можно записать в виде

 

 

 

 

где Я = —a +

1.

 

 

 

 

В силу формулы для свертки функций Ф*.(х)

g (х) * Ф_а (х) = / (х) * Фл (х) * Ф_А(л:) = / ( * ) * 6 (л:) = / (л:).

При О <С а <

1 получается формула

 

 

f М = г ( a h )

I

(* -

0“- 2 г (0 dt,

где интеграл понимается в смысле регуляризованного значения. Если g (x )— дифференцируемая функция, то последнее ра­

венство можно записать так:

я

f (*) = ТГ5Г J ^ “ О"-1 g' W dL

О

Л и т е р а т у р а : [12].

11. Выражение некоторых специальных функций в виде про­ изводных дробного порядка. Пользуясь операциями дифферен­ цирования и интегрирования дробного порядка, можно кратко записать интегральные представления некоторых специальных функций. Например, для г и п е р г е о м е т р и ч е с к о й ф у н к ­ ции справедливы следующие равенства:

Л-1

р—v

 

О < x <

1,

F{а, р, у; х)

 

Г(Р)

Г(у)

 

 

 

CV-1 (1 _ ^a+p-v

 

 

 

 

F (a, p, у; л:) =

 

 

 

Г(у)

d-& Г 4 -Р -1 (1 _ х)“-гГ

 

 

* < 1.

 

dx~*{

Г (у — P)

0 <

 

L

 

§ 3. Ф У Н К Ц И И Н Е С К О Л Ь К И Х

П Е Р Е М Е Н Н Ы Х

489

Для б е с с е л е в о й ф у н к ц и и

справедливо равенство

 

7-P-V*

os V x

 

2PV n x Pl2Jp(Vx)--

 

V7 J-

 

dx-P-V2

 

Пользуясь формулами дифференцирования и интегрирова­ ния, можно получить из этих выражений ряд соотношений для гипергеометрической и бесселевой функций. Например, беря производную порядка —q — 1 от обеих частей последнего ра­ венства, получают

[ Л

, ( У * 2) q+lxip+q+l),] =

2Jp+q+l ( V D .

В интегральной форме это равенство означает следующее:

2q+lx(p+q+mJp+q+l W~x) = J tpl2Jp(VT) j * ~ dt^ .

0

Ли т е р а т у р а : [12].

§3. Некоторые обобщенные функции нескольких переменных

1. Обобщенная функция гК Аналогом обобщенной функции |х|* для функций многих переменных является обобщенная

функция r \ r — Y x\-\- ...

+ х *.

При Re %>

—« она задается

формулой

 

 

 

(гк, ф ) = г%ф| ( х )dx =

 

 

 

== J (х\ Ч-

• • • Н~

■**) Ф (■*!» • •

• > •*•„) d x l . . .

Выражение (г\ <р) является аналитической функцией от X в об­ ласти Re X >> —п. Продолжая аналитически эту функцию, по­ лучают

 

 

 

оо

 

 

 

 

 

(Лф) = 0 „ |

гг1+л~15ф (г) dr,

 

 

 

о

 

 

 

где Q„ =

2 (VH)n

 

 

 

единичной сферы

Г(п/2)---- площадь поверхности

n-мерного пространства, S 9(r) — среднее значение функции ф(я)

на сфере

радиуса г и

интеграл в

правой части понимается

в

смысле

регуляризованного

значения

(как (г^+п-1, 5ф(г))).

В

точках % = — п,

— п

2,

. . . ,n — 2k% . .обобщенная.

490 ГЛ. X. ОБОБЩЕННЫЕ ФУНКЦИИ

функция

гк имеет простые

полюсы. Разложение в ряд Лорана

в окрестности полюса А =

—п 2k имеет вид

 

 

r l

— Q Г

(г)_______ 1_______I r -n -2k

I

 

 

 

 

Г

l l n [

(2k)\

Х +

п + 2k ^

 

+

 

 

 

 

 

 

 

 

 

+

(X + п + 2k) r - " - 2ftlnr +

.. . ] .

Функционалы б(2к>(г), г п

2к, г

п

2к\птг

применяются к функ-

ции Sy(r) и понимаются как

 

 

 

 

 

 

 

(б(2к) (г), S ,, ( г ) ) ,

(г+п~2к, S < p (r)),

(г+п~2к\птг+,

5<р (г )) .

 

 

Величина (6(2ft), 5Ф) выражается через функцию

<р(л:)

и ее

производные по формуле

 

 

 

 

 

 

 

 

 

(б<2*>,

S * ) =

S[p2fe)(0)

_________ (2k)\

Л*<р (0)__________

 

 

 

=

 

 

2)

. . . (n + 2 k - 2 ) ’

 

где A — оператор Лапласа.

2kk \ n ( n +

 

2r^

 

 

 

 

 

 

Обобщенная функция

 

 

является Дел°й анали­

 

Q г ((Я + n)/2)

тической функцией от А, причем в точке А = —п 2k значение этой функции равно

________ (— 1)* А*6 (лс)________

2kk \ лг (лг + 2) . . . (лг + 2/г — 2)

Формула

Дг* = %(А + п — 2) г*-2,

справедливая в классическом смысле лишь при ReA> —п + 2, сохраняет смысл при всех значениях А, А=И=—п—2£, 6= 0,1, ..., если рассматривать обе части равенства как обобщенные функ­ ции.

Во многих задачах полезно разложить функцию гК по функ­ циям, принимающим постоянные значения" на плоскостях. Это разложение имеет вид

2 Г ( Ч

Ч

"

 

л(п~П/2г ( Я + Г) ^ ' ®1*1+

" ' + С°Л

где точка

(«ц,

...,

«„) пробегает единичную сферу Й.

В частности, при п нечетном

 

 

б (х ) =

■~

 

10)' -п- - г -

f б (" _1) (сО|Х,

+ . . .

+ © A ) d Q ,

 

 

2

(2л)

J

 

 

а при п четном

 

 

~ J ((0*л'1“Ь

 

 

б (х) — -

 

 

^(2л)п—

•••“Ь ®пхп) п dQ,

9