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

книги из ГПНТБ / Спецглавы высшей математики (методы математической физики) [учеб. пособие]

.pdf
Скачиваний:
10
Добавлен:
24.10.2023
Размер:
11.42 Mб
Скачать

-30 -

Можно покавать, что функции

Бвооеяя

I рода непрерыв­

ны для р&О на всей

Чкаловой

оои,

а ври

р < О непрерывны

ддя любого х кроме

х^О , где имеют

бесконечный разрыв.

Поэтому

 

 

 

 

 

э» Ы)

 

 

 

 

и нельзя найти такое

СфО

что

 

 

 

У рм тСФО

для

к ф О .

Итак, для не целого р 7р(х) я Х.р(х) два. линейно не­ зависимые решения уравнения Беоовдя,и его обвез оѳвенав . имеет вид

У * С, Jp (х) + Cg J„p (х) f

где C1tCg произвольные постоянные.

Дошей. Найти общее решение уразщеиая

X " ■+х у .

Peaetae. Это уравнение Бееоелм индекса р= 1/з.

Индекс р не целый,

поэтому общее решение имеет вид

у ** Cf

(х) +Cg X-f/g(xj f

где -1 уCg- произвольные постоянные.

§ м . н т в ш л СХОДИМОСТИ РЯДА ФУНКЦІИ БШСШ

Функции Бесселя I роди определены с помощью рядов (3.3) ММ (3 .4 ). Тая как нельзя воспользоваться теоремой

§ 2 о сходимости решения дифференциального уравнения,пред­ ставленного отеленным рядом, необходимо выяснить область, сходимости обобщенного степенного ряда, определяющего фуншию Бесселя I рода.

Пусть х е фиксированная произвольная ^очка мръО .При­ меним признак Далеыбера к числовому ряду, элементами кото­ рого служат абсолютные величины элементов ряда функвдк Бесселя для аргумента Х0 . .

 

 

 

21

 

 

Получим

 

м

к+/

Зк+р+2

 

 

 

.

АѴя - ф - *■ tim

 

ш

 

(-а*. - Щ

 

 

 

к\Г(р+к+1) V £ /

H-+at> Ом

к-*-оо ІЩіЩуйЩ*

 

& ( * * » / . fa* * * » ).

t ‘>”f»4x/>'4‘

-tim , х Х

tf-il) {?Г+})(р+/г+/)2г

*(а+к+і)Г{р+кН)

 

 

Следовательно,

ряд функция Беоселя сходится для любого х

при /Э9>0 (й£МЧ9и абсолютно). Ряд функціи Бесоѳдя сходится

И для р < 0 , ирома ХшО , где вдеыангы ряда

не

определены.

Легко »вдеть, что

ряд функции Бесоѳдя оходнгоя

правильно

в любом оегыеяте,

целиком леашцем а облаотн

сходимости, а

поэтому том представляет непрерывную функцию.

,j

§І.5.ФУНКВДИ БЖІСЕЯЯ I ЮДА ИНДЕКСА^(СЛУЧАЙ ВЫКВДЕНИЯ)

Функции Беооеля I рода, вообще говоря, являются но- вши трвяоцсадвятяммя функциями, ае выражающимися черев влемектарвыв. Исключение обставляют Беосѳлевы фунвши по- р яд аап + ^ » Эти функции можно представить черев влемвнтаршіе. Найдем, например, 7г/й (х).

ол .

t il *

/ *

( * / « Г . к! г ^ + к - м ) ^ 2 /

ІГ*а-

 

 

 

Н)*

' ( f t 4

к*в * / Г(Уг +к)

1 <*

to*

X*«*1

*ѴЕ? Ь

«•' г(зд*к) -JTK *

22

Воспользуемся осяовявд свойством гамма-фуяяции

ГШ=/■Ф-^гг(т)>

Тогда

 

 

 

 

 

 

 

 

/

3е-

(~і\к

r,2K-+f

7^

x>m7 f x

S L

* ! ' r ( l * K )

" ~ P 7r' =

 

 

 

 

n K

„ Ік +f

 

 

<

f i -

Н У

2

‘X

 

 

____________________

\f ! S f a

н / ( 2 * + / ) . ■ . S ~3 ■ Г (^ У 2 Т>

j

 

jga

у )* х * « + {

 

V E T r j J f o

і-1-5‘...(ІЫ}-2’4-6-...2к ~~

 

 

< k * W

 

5//7X .

 

 

■ " J

 

Мы воспользовались

тем

 

 

 

 

Аналогично,

можно

вйвѳстн

 

 

 

 

 

 

 

c o $ x .

 

Такам образом, мы нашли ближайших "родственников"

бесселевым фунициям среди елеиенгарннх, причем для индек­ сов и~ /г функции Вѳсоѳля вырождаются в элементарные.

В дальнейшем будет показано, что с помощью рекуррентных формул функции %+L (я), где п а%*2;±Зг .,< можно выразить че'рег функции 3yjx) и Zyg(xJ, т.ѳ. бесселевы функции ин~

23

дексов n+fc }(п~0-ji fj±2j...j также вырождаются в влементар-

ныѳ«

/У"

Приведем графика функций

^//2(x ^~\!wx $LT)X и

з~ѵ2 (х) =]/ $ г cOSJC •

 

§ 1.6. СООТНОШЕНИЕ Щ ф Г

ФУНКЦИЯМИ

БЕССЕЯЯ I РОДА

С Ц Е Д Ш Ю

ИНДЕКСАМИ

 

Пусть п - целое я подсчитаем

Хп (*).

Но если п - целое,, то r(-n+K +f)**dk№o

я

следовательно, -ң^пч.к^ }=0 для всех

4>0

'’ я —

К4 П-1 , т.е. яра к=0;

 

 

34

Поэтому

(г 0 я

3-n (*h \Кт ft. К/Р(-П+К4/)

t o n+s

%П . М)(т)

Итак,

& „ (* )• (~f)nJn(x jt

'замена

Іжк-п .

04 S4

J2 $ + п

H i *

(ri+sj! è) г) -

= (-'і" Уп М -

(6.1)

г,в. беооелевы функция 7_п(х) я -Z,fttjлявѳЯво яапонмые.Поэ­ тому, чтобы найти общее реизкнв уравненія Бесоеля с

целш яяденоомс недостаточно функций Беоооля I роде.

§ 1.7. РЕШЕНИЕ У Р А В В И Н Ш БЕССЕЛЯ О ЦЕЛЫМ ИНДЕКСОМ.ФУНКЦИИ БЕССЕЛЯ П РОДА

Решение уравнения Бесселя индекса р , не связанное линейной зависимостью с 'Jp/’xJjMomo иостроить следующим об­

разом.

 

 

что р -

 

 

 

Сначала

будем считать,

не целое, тогда при

любых значениях постоянных Cf

и Сг ?0

функция 7р(х)

а

Cf3p(x)+C23„p[x)

будут линейно независимыми решениями

 

уравнения Бесселя*. Цуоть Cf<*ctgpJT.t ^ = - —

.Тогда функция

• А/

,

J0(x)cosp$-7.P(x}

 

 

 

Np(x}= ------ :--- — ----- -

 

 

 

J

S'.ripft

 

 

 

будет решением уравнения Бесселя (нал линейная комбинация решений линейного однородного уравнения), причем линейно независимой о 7р(х) . Эта функция называется бесселевой (иля івдаядричѳскоЁ) функцией П рода порядка р (или функ­ цией Неймана).

-25

Однако эта формула определяет функцию Неймана только

для дробного р

 

. Если р =п

-

целое,

-то

знаменатель

равен нулю я числитель также равен нулю

 

 

 

 

 

 

■Уп (х)cos пк-Э_п(х)=Уп (х) ('О П~ J-n (х) а&

 

 

Поэтому требуется

“доопределить"

функцию Pjp (х)

я

для це­

лых эначѳяий индекса. Будем считать,

что

-

,

(по

правилу

. .

, . .

й .

,

,

 

7р(х)со&рк-Хр(х)

 

Бѳрнулли-

Nn(х) «• tim Np (х) -=âim — -------------------------

 

м

р-*П г

 

П-+П

 

 

Sin ря

 

 

 

-Лопиталя

 

ЬУрСх)

 

__ _

.

л,

/ ,

Ыр(х)

 

 

 

 

Віт

—у - ~ COSpKЛзіпрк 7р(х)----- --------

 

 

 

 

 

 

ÜtCOipffl

 

 

 

 

 

 

 

 

 

Р~*>п

 

 

 

 

 

 

 

 

 

 

 

1

2Jg(x)

/

■/?*/

b Xp(x)

p»n *

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Итак.функцией

Бѳоселя

Ирода

порядка

р

называется

функция

 

 

 

 

 

 

 

 

 

 

 

 

 

 

7р(х) COSр71~ Э-р(х)

 

 

,

ѳсла р -

не

це­

 

Sin рж

 

 

 

 

Лр(х)=і

 

 

 

 

 

лое

 

 

(7.1)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Ж

п~и

 

Ьр

 

 

,

если

Р“П

-

 

 

р=-п

 

целое.

 

 

 

 

 

 

 

 

 

 

 

 

Свойства бесселевых функций П рода индекса р

(^-лю­

бое целое или дробное).

 

 

 

 

 

 

 

 

 

 

1.

Sim AJn fx) » -

öo .

 

 

 

 

 

 

 

 

 

 

x-*â

н

1

 

 

 

 

 

 

 

 

 

 

2. Л/р(х) является решением уравнения Бесселя.

3. Функции Jp(x) а /Vp(xjлжнейно независимые, таа ней

Jp(0)-Q, а. /Ѵр(0) = оо.

 

 

 

26

 

 

 

4 .

Можно показать,

что степенной

ряд для функций Бес­

селя П рода с целым индексом имеет

вид .

 

 

 

 

т!

( х ^ гт _2

, / .

х

 

 

тсО

(г/

~^3l

 

2+ x h

 

 

 

 

 

 

 

 

ос

m+f

 

im+n

 

 

 

 

Cl ГЦ:0

ң

 

І) H-

-f

?

rn! (n+fn)i

n + m ;

 

 

где Y гая называемая постоянная Эйлера, которая прибли­ женно равна 0,5772.-

Поэтому общее решение уравнения Бесселя любого индек­ са можно записать в виде

y^C.OpixJ^ С2Np(xj.

Пример. Найти общее решение уравнения

 

X гу

X у + - f)у =*О.

 

Решение. Эго уравнение Бесселя

индекса р=- / , поэ­

тому общее решение имеет вид

 

 

 

y = C,Jf(x) +CZN (х).

 

§ 1 . 8 .

РЕКУРРЕНТНЫЕ ФОРМУЛЫ ДЛЯ ФУНКЦИЙ ВНОСИМ

 

Для любого р

шеют место следующие формулы

 

d -

( x pJp(x))liа

'S»

 

 

1

 

(8.x)

d x

 

 

 

 

d__ ( x 'p7p (xt

 

 

(8.2)

d x

 

)) = -X PJp+f(x}.

 

 

 

 

 

 

Аналогично для

бесселевых функций D рода:

 

cL. ( X PNp (x)) = * pMp-i

;

'8 ,3 )

 

d x

 

 

 

 

 

^

(х "Р/Ѵр (х)) » -X~PNp.H(x ).

(8.4)

 

2/

Формулу (8 .1) можно записать в гаком виде

~öc'

d x

 

“ лР Ур-і(х )

а тогда ее называют формулой по:щжения индекса.

Аналогично

формулу

(8 .2) можно представить в виде

J ,

d

Ур(х)

Ур+iCx)

ос

dx

rrP

X 7 Т Г

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

Доказательство. I) Имеем

d

 

 

.гк +Sp

]х р^ р (х )]^ х 21

к/Г(р+к+і) 2 &«+Р

d x

 

.(1*0

 

= f - -

t-Q*

2 ( е + к ) я =

/ho

*! Г(р+к){р+*)

,2К+Р

=*'z tu

к і г ( р - г * к * 0 I г /

Что и

требовалось доказать.

 

 

 

2)

Аналогично

 

 

 

Л

 

 

 

 

Г

CK*

( - у *

 

fP 7

М

, d ,

xr

 

dx

 

 

z_-

К!Г(р+к+1)

' 2 г*+Р

X

Jp (X) dx

L

 

 

 

 

 

 

 

 

 

(-іргк-х***1

 

?

М

гг 2*-/

 

 

*

h

Т1г(р+К+І)2ік+~Р=2_

(к-1)!Г(р+к+1) 2**+рУ

замена

K-1=>S,

Оі$<оо

■ , v

f

. (r / j1

.

м

~~x

~Til?*frS+tj U / '

‘ л

 

s=o

 

 

 

3) Чтобы доказать формулу (8 .3) для бесселевых функций Л рода, будем предполагать сначала, что р - не целое. Запишем формулы (6.1) и (3 ,? ), заменив в последней

і

 

 

 

 

28

 

 

формуле р

на ,

и умножим первую на ctgpn t а

вторую

на - : г- - и сложим. Получим

 

 

 

$тр

 

 

 

 

 

 

[ х р У р(х)]~

х Р Зрч (*),

ctg р я

 

ах

[ х р Zp (x)] ~ - x p ZpH(x).

/_____ .

 

3inpji

 

ei '

p Jp(x)cospft-3-p(x)

= xP JB-< Cx)cOf!pX+J.ßH(xj

d x

 

senpst

 

 

sin pst

~~

p

- Jp-/ (x)cos(p-f)f[ +X(p - fj(xj _

p Jp-t(x}cos(p-i)x-l(fl4fe)

 

 

-sin(p-/jst

'

sin(p-f)üc

* x PNp-/ (*)..

 

 

 

 

 

Итак,

для нѳ целого р

имеем

 

 

£\^ХРNp i x ) ^ x p Np. ( (x),

Если в этом соотношении перейти н пределу при р , стремящемуся н целому числу, го получим требуемую формулу (Ѳ .З).

 

4) Аналогично доказывается и формула

(8 .4 ). ’Пусть

р - н е

целое . Запишем формулу (8 .1 ),

заменив р н а -р .Т о г -

да

 

 

 

 

 

V

d

'X~PУ-ріЭС)}

x p7.p.f(x),

 

dx

SinpOC

 

 

 

 

d

x~pJp (x]_

= -x p2pH (x ).

ctg pst

dx

 

 

 

 

 

 

 

j1р(х) cospsT-У.р (х)

 

7рн (xjcos pst+Zp-/ (х)

 

sin pst

 

=*-Х'

sinрог

 

 

 

 

 

-p -3p+! (x)ooo(p

+y~ft+(j

-sc

-Np+f t

 

-sin (p+1)ot

 

 

 

Для целого р формула (8,4) получается предельным пе­ реходом в последнем соотношении ара р , стремящемся к це­ лому.

Формулы

(8 „І), (8 .2 ), (8 .3 ), (8 .4) часто

записывают

в несколько ином виде. Например,

продифференцировав левую

часть формулы

(8 .1 ), получим

 

 

х рУ'р Ы

+р х р~1 Ур (х) -

X Р3р-, (х),

 

или, сократив на сср~1,

 

 

X Ур (xj + рУр (х) = х УрЧ ( х).

(8.5)

Аналогично

из (8 .2) будем иметь

 

дг Ур(х)-рОр[х) = - х

УрН (х).

(8.6)

Слоаив (8.5)

а (8 ,6 ), получим

 

Ур-і Ы) ~ $p-ti t3-) ~ 2 Ур ( х ),

(8.7)

Вычтя (8 .6)

из (8 .5 ), получим

 

Op-, (-X) 4 Зрн(х)=~?Ур Ох).

(8 .8)

Аналогично выглядят формулы для функций Бесселя П

X Np (х)-+рл/р(х) « я: Л/рр (х) ;

'(8 .9 )

 

 

 

 

X Np (х) - р Np (х) = -X Np+f(aг);

(8.10)

 

 

 

 

Np.f(х) —Np+t (х)=2 Np (х) ’

(8 .I I)

^рч (х) + Np+f(x)~ -g—Np (х),

(8.12)

 

Обратим внимание на формулы (8 .8) и (Ѳ .І2 ), которые позвол'пог вычислить значение цилиндрической функции поряд­ ка p-t-i через значения бесселевых функций порядков р я р~і. Поэтому таблицы бесселевых функций, например, с гаелнм вдаексом даны, обычно, только дал функций нулевого я

Соседние файлы в папке книги из ГПНТБ