Жылы математика , параболалық цилиндр функциялары болып табылады арнайы функциялар дифференциалдық теңдеудің шешімдері ретінде анықталды
г. 2 f г. з 2 + ( а ~ з 2 + б ~ з + c ~ ) f = 0. { displaystyle { frac {d ^ {2} f} {dz ^ {2}}} + left ({ tilde {a}} z ^ {2} + { tilde {b}} z + { tilde {c}} right) f = 0.} (1 )
Бұл теңдеу табылған кезде айнымалыларды бөлу бойынша қолданылады Лаплас теңдеуі кезінде көрсетілген параболалық цилиндрлік координаттар .
Жоғарыда келтірілген теңдеуді екі (A) және (B) формаларына келтіруге болады шаршыны аяқтау және қалпына келтіру з , деп аталады H. F. Weber теңдеулер (Вебер 1869 ) harv қатесі: мақсат жоқ: CITEREFWeber1869 (Көмектесіңдер ) :
г. 2 f г. з 2 − ( 1 4 з 2 + а ) f = 0 { displaystyle { frac {d ^ {2} f} {dz ^ {2}}} - left ({ tfrac {1} {4}} z ^ {2} + a right) f = 0} (A)және
г. 2 f г. з 2 + ( 1 4 з 2 − а ) f = 0. { displaystyle { frac {d ^ {2} f} {dz ^ {2}}} + left ({ tfrac {1} {4}} z ^ {2} -a right) f = 0. } (B)Егер
f ( а , з ) { displaystyle f (a, z) ,} шешім болып табылады, солай болады
f ( а , − з ) , f ( − а , мен з ) және f ( − а , − мен з ) . { displaystyle f (a, -z), f (-a, iz) { text {and}} f (-a, -iz). ,} Егер
f ( а , з ) { displaystyle f (a, z) ,} (A) теңдеуінің шешімі болып табылады, сонда
f ( − мен а , з e ( 1 / 4 ) π мен ) { displaystyle f (-ia, ze ^ {(1/4) pi i}) ,} (B) шешімі, және симметрия бойынша,
f ( − мен а , − з e ( 1 / 4 ) π мен ) , f ( мен а , − з e − ( 1 / 4 ) π мен ) және f ( мен а , з e − ( 1 / 4 ) π мен ) { displaystyle f (-ia, -ze ^ {(1/4) pi i}), f (ia, -ze ^ {- (1/4) pi i}) { text {and}} f (ia, ze ^ {- (1/4) pi i}) ,} сонымен қатар (B) шешімдері болып табылады.
Шешімдер
(А) түріндегі тәуелсіз жұп және тақ шешімдері бар. Бұларды (. Белгісінен кейін береді Абрамовиц пен Стегун (1965)):
ж 1 ( а ; з ) = эксп ( − з 2 / 4 ) 1 F 1 ( 1 2 а + 1 4 ; 1 2 ; з 2 2 ) ( e v e n ) { displaystyle y_ {1} (a; z) = exp (-z ^ {2} / 4) ; _ {1} F_ {1} left ({ tfrac {1} {2}} a + { tfrac {1} {4}}; ; { tfrac {1} {2}} ;; ; { frac {z ^ {2}} {2}} right) , , , , , , ( mathrm {even})} және
ж 2 ( а ; з ) = з эксп ( − з 2 / 4 ) 1 F 1 ( 1 2 а + 3 4 ; 3 2 ; з 2 2 ) ( o г. г. ) { displaystyle y_ {2} (a; z) = z exp (-z ^ {2} / 4) ; _ {1} F_ {1} left ({ tfrac {1} {2}} a + { tfrac {3} {4}}; ; { tfrac {3} {2}} ;; ; { frac {z ^ {2}} {2}} right) , , , , , , ( mathrm {тақ})} қайда 1 F 1 ( а ; б ; з ) = М ( а ; б ; з ) { displaystyle ; _ {1} F_ {1} (a; b; z) = M (a; b; z)} болып табылады біріктірілген гиперггеометриялық функция .
Тәуелсіз ерітінділердің басқа жұптары жоғарыда аталған ерітінділердің сызықтық комбинацияларынан құрылуы мүмкін (Абрамовиц пен Стегунды қараңыз). Осындай жұптардың бірі олардың шексіздікке негізделген мінез-құлқына негізделген:
U ( а , з ) = 1 2 ξ π [ cos ( ξ π ) Γ ( 1 / 2 − ξ ) ж 1 ( а , з ) − 2 күнә ( ξ π ) Γ ( 1 − ξ ) ж 2 ( а , з ) ] { displaystyle U (a, z) = { frac {1} {2 ^ { xi} { sqrt { pi}}}} left [ cos ( xi pi) Gamma (1/2 - xi) , y_ {1} (a, z) - { sqrt {2}} sin ( xi pi) Gamma (1- xi) , y_ {2} (a, z) оң]} V ( а , з ) = 1 2 ξ π Γ [ 1 / 2 − а ] [ күнә ( ξ π ) Γ ( 1 / 2 − ξ ) ж 1 ( а , з ) + 2 cos ( ξ π ) Γ ( 1 − ξ ) ж 2 ( а , з ) ] { displaystyle V (a, z) = { frac {1} {2 ^ { xi} { sqrt { pi}} Gamma [1/2-a]}} left [ sin ( xi) pi) Gamma (1 / 2- xi) , y_ {1} (a, z) + { sqrt {2}} cos ( xi pi) Gamma (1- xi) , y_ {2} (a, z) right]} қайда
ξ = 1 2 а + 1 4 . { displaystyle xi = { frac {1} {2}} a + { frac {1} {4}}.} Функция U (а , з ) z және | arg () үлкен мәндері үшін нөлге жақындайдыз ) <π / 2, ал V (а , з ) оң реалдың үлкен мәндері бойынша алшақтайды з .
лим з → ∞ U ( а , з ) / e − з 2 / 4 з − а − 1 / 2 = 1 ( үшін | аргумент ( з ) | < π / 2 ) { displaystyle lim _ {z rightarrow infty} U (a, z) / e ^ {- z ^ {2} / 4} z ^ {- a-1/2} = 1 , , , , ({ text {for}} , | arg (z) | < pi / 2)} және
лим з → ∞ V ( а , з ) / 2 π e з 2 / 4 з а − 1 / 2 = 1 ( үшін аргумент ( з ) = 0 ) . { displaystyle lim _ {z rightarrow infty} V (a, z) / { sqrt { frac {2} { pi}}} e ^ {z ^ {2} / 4} z ^ {a -1/2} = 1 , , , , ({ мәтін {үшін}} , arg (z) = 0).} Үшін жарты бүтін мәндері а , бұлар (яғни, U және V ) арқылы қайта көрсетілуі мүмкін Гермиттік көпмүшелер ; баламалы түрде, олар арқылы да көрсетілуі мүмкін Bessel функциялары .
Функциялар U және V функцияларымен де байланысты болуы мүмкін Д.б (х ) (өздері кейде параболикалық цилиндр функциялары деп аталатын Уиттейкерден (1902) шыққан жазба) (Абрамовиц пен Стегун (1965) қараңыз):
U ( а , х ) = Д. − а − 1 2 ( х ) , { displaystyle U (a, x) = D _ {- a - { tfrac {1} {2}}} (x),} V ( а , х ) = Γ ( 1 2 + а ) π [ күнә ( π а ) Д. − а − 1 2 ( х ) + Д. − а − 1 2 ( − х ) ] . { displaystyle V (a, x) = { frac { Gamma ({ tfrac {1} {2}} + a)} { pi}} [ sin ( pi a) D _ {- a- { tfrac {1} {2}}} (x) + D _ {- a - { tfrac {1} {2}}} (- x)].} Функция Д.а (z) Уиттейкер және Уотсон экв. ~ (1 ) бірге а ~ = − 1 4 , б ~ = 0 , c ~ = а + 1 2 { displaystyle { tilde {a}} = - { frac {1} {4}}, { tilde {b}} = 0, { tilde {c}} = a + { frac {1} {2 }}} шектелген + ∞ { displaystyle + infty} . Оны біріктірілген гиперггеометриялық функциялар түрінде өрнектеуге болады
Д. а ( з ) = 1 π 2 а / 2 e − з 2 4 ( cos ( π а 2 ) Γ ( а + 1 2 ) 1 F 1 ( − а 2 ; 1 2 ; з 2 2 ) + 2 з күнә ( π а 2 ) Γ ( а 2 + 1 ) 1 F 1 ( 1 2 − а 2 ; 3 2 ; з 2 2 ) ) . { displaystyle D_ {a} (z) = { frac {1} { sqrt { pi}}} {2 ^ {a / 2} e ^ {- { frac {z ^ {2}} {4 }}} солға ( cos сол ({ frac { pi a} {2}} оңға) Гамма солға ({ frac {a + 1} {2}} оңға) , _ { 1} F_ {1} солға (- { frac {а} {2}}; { frac {1} {2}}; { frac {z ^ {2}} {2}} оңға) + { sqrt {2}} z sin left ({ frac { pi a} {2}} right) Gamma сол ({ frac {a} {2}} + 1 right) , _ {1} F_ {1} солға ({ frac {1} {2}} - { frac {a} {2}}; { frac {3} {2}}; { frac {z ^ {2}} {2}} right) right)}.} Әдебиеттер тізімі
Абрамовиц, Милтон ; Стегун, Айрин Анн , eds. (1983) [маусым 1964]. «19 тарау» . Формулалары, графиктері және математикалық кестелері бар математикалық функциялар туралы анықтамалық . Қолданбалы математика сериясы. 55 (Тоғызыншы түзету енгізілген оныншы түпнұсқа басып шығарудың қосымша түзетулерімен қайта басу (1972 ж. Желтоқсан); бірінші ред.) Вашингтон ДС; Нью-Йорк: Америка Құрама Штаттарының Сауда министрлігі, Ұлттық стандарттар бюросы; Dover жарияланымдары. б. 686. ISBN 978-0-486-61272-0 . LCCN 64-60036 . МЫРЗА 0167642 . LCCN 65-12253 .Розов, Н.Х. (2001) [1994], «Вебер теңдеуі» , Математика энциклопедиясы , EMS Press Temme, N. M. (2010), «Параболалық цилиндр функциясы» , жылы Олвер, Фрэнк В. Дж. ; Лозье, Даниэль М .; Бойсверт, Рональд Ф .; Кларк, Чарльз В. (ред.), NIST математикалық функциялар туралы анықтамалық , Кембридж университетінің баспасы, ISBN 978-0-521-19225-5 , МЫРЗА 2723248 Вебер, Х.Ф. (1869) «Ueber die Integration der partiellen Differentialgleichung ∂ 2 сен / ∂ х 2 + ∂ 2 сен / ∂ ж 2 + к 2 сен = 0 { displaystyle ішіндегі ^ {2} u / жартылай x ^ {2} + жартылай ^ {2} u / жартылай ^ ^ 2} + k ^ {2} u = 0} ". Математика. Энн. , 1, 1–36 Уиттейкер, Э.Т. (1902) «Гарабоникалық анализдегі параболалық цилиндрмен байланысты функциялар туралы» Proc. Лондон математикасы. Soc. 35, 417–427. Уиттакер, Э. Т. және Уотсон, Г.Н. «Параболикалық цилиндр функциясы». §16.5 «Қазіргі талдау курсында», 4-ші басылым. Кембридж, Англия: Кембридж университетінің баспасы, 347-348 бет, 1990 ж.