книги из ГПНТБ / Спецглавы высшей математики (методы математической физики) [учеб. пособие]
.pdf-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) |
||||
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Ж |
fß |
п~и |
|
Ьр |
|
|
, |
если |
Р“П |
- |
|||
|
|
р=-п |
|
целое. |
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
||||
Свойства бесселевых функций П рода индекса р |
(^-лю |
||||||||||||
бое целое или дробное). |
|
|
|
|
|
|
|
|
|
|
|||
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 через значения бесселевых функций порядков р я р~і. Поэтому таблицы бесселевых функций, например, с гаелнм вдаексом даны, обычно, только дал функций нулевого я