Yilda matematika , parabolik silindrning funktsiyalari bor maxsus funktsiyalar differentsial tenglamaning echimlari sifatida aniqlanadi
d 2 f d z 2 + ( a ~ z 2 + b ~ z + v ~ ) f = 0. { displaystyle { frac {d ^ {2} f} {dz ^ {2}}} + chap ({ tilde {a}} z ^ {2} + { tilde {b}} z + { tilde {c}} o'ng) f = 0.} (1 )
Ushbu tenglama topilganida o'zgaruvchilarni ajratish kuni ishlatiladi Laplas tenglamasi bilan ifodalanganida parabolik silindrsimon koordinatalar .
Yuqoridagi tenglama (A) va (B) ikkita aniq shaklga keltirilishi mumkin kvadratni to'ldirish va qayta tiklash z , deb nomlangan H. F. Veber tenglamalar (Weber 1869 yil ) harv xatosi: maqsad yo'q: CITEREFWeber1869 (Yordam bering ) :
d 2 f d z 2 − ( 1 4 z 2 + a ) f = 0 { displaystyle { frac {d ^ {2} f} {dz ^ {2}}} - chap ({ tfrac {1} {4}} z ^ {2} + a right) f = 0} (A)va
d 2 f d z 2 + ( 1 4 z 2 − a ) f = 0. { displaystyle { frac {d ^ {2} f} {dz ^ {2}}} + chap ({ tfrac {1} {4}} z ^ {2} -a right) f = 0. } (B)Agar
f ( a , z ) { displaystyle f (a, z) ,} bu echim, demak shunday bo'ladi
f ( a , − z ) , f ( − a , men z ) va f ( − a , − men z ) . { displaystyle f (a, -z), f (-a, iz) { text {and}} f (-a, -iz). ,} Agar
f ( a , z ) { displaystyle f (a, z) ,} (A) tenglamaning echimi, keyin
f ( − men a , z e ( 1 / 4 ) π men ) { displaystyle f (-ia, ze ^ {(1/4) pi i}) ,} (B) ning yechimi va simmetriya bilan
f ( − men a , − z e ( 1 / 4 ) π men ) , f ( men a , − z e − ( 1 / 4 ) π men ) va f ( men a , z e − ( 1 / 4 ) π men ) { displaystyle f (-ia, -ze ^ {(1/4) pi i}), f (ia, -ze ^ {- (1/4) pi i}) { text {and}} f (ia, ze ^ {- (1/4) pi i}) ,} Bundan tashqari (B) ning echimlari.
Yechimlar
(A) shaklning mustaqil juft va toq echimlari mavjud. Ular quyidagicha berilgan Abramovits va Stegun (1965)):
y 1 ( a ; z ) = tugatish ( − z 2 / 4 ) 1 F 1 ( 1 2 a + 1 4 ; 1 2 ; z 2 2 ) ( e v e n ) { displaystyle y_ {1} (a; z) = exp (-z ^ {2} / 4) ; _ {1} F_ {1} chap ({ tfrac {1} {2}} a + { tfrac {1} {4}}; ; { tfrac {1} {2}} ;; ; { frac {z ^ {2}} {2}} right) , , , , , , ( mathrm {even})} va
y 2 ( a ; z ) = z tugatish ( − z 2 / 4 ) 1 F 1 ( 1 2 a + 3 4 ; 3 2 ; z 2 2 ) ( o d d ) { 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 {g'alati})} qayerda 1 F 1 ( a ; b ; z ) = M ( a ; b ; z ) { displaystyle ; _ {1} F_ {1} (a; b; z) = M (a; b; z)} bo'ladi birlashuvchi gipergeometrik funktsiya .
Yuqoridagi eritmalarning chiziqli birikmalaridan boshqa mustaqil echimlar juftlari hosil bo'lishi mumkin (qarang Abramovits va Stegun). Bunday juftlik ularning cheksizligidagi xatti-harakatlariga asoslanadi:
U ( a , z ) = 1 2 ξ π [ cos ( ξ π ) Γ ( 1 / 2 − ξ ) y 1 ( a , z ) − 2 gunoh ( ξ π ) Γ ( 1 − ξ ) y 2 ( a , z ) ] { 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) o'ng]} V ( a , z ) = 1 2 ξ π Γ [ 1 / 2 − a ] [ gunoh ( ξ π ) Γ ( 1 / 2 − ξ ) y 1 ( a , z ) + 2 cos ( ξ π ) Γ ( 1 − ξ ) y 2 ( a , z ) ] { 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) o'ng]} qayerda
ξ = 1 2 a + 1 4 . { displaystyle xi = { frac {1} {2}} a + { frac {1} {4}}.} Funktsiya U (a , z ) katta qiymatlari uchun nolga yaqinlashadi va | arg (z ) | <π / 2, esa V (a , z ) ijobiy realning katta qiymatlari uchun farq qiladi z .
lim z → ∞ U ( a , z ) / e − z 2 / 4 z − a − 1 / 2 = 1 ( uchun | arg ( z ) | < π / 2 ) { displaystyle lim _ {z rightarrow infty} U (a, z) / e ^ {- z ^ {2} / 4} z ^ {- a-1/2} = 1 , , , , ({ text {for}} , | arg (z) | < pi / 2)} va
lim z → ∞ V ( a , z ) / 2 π e z 2 / 4 z a − 1 / 2 = 1 ( uchun arg ( z ) = 0 ) . { displaystyle lim _ {z rightarrow infty} V (a, z) / { sqrt { frac {2} { pi}}} e ^ {z ^ {2} / 4} z ^ {a -1/2} = 1 , , , , ({ text {for}} , arg (z) = 0).} Uchun yarim tamsayı ning qiymatlari a , bular (ya'ni, U va V ) tomonidan qayta ifodalanishi mumkin Hermit polinomlari ; muqobil ravishda, ular bilan ham ifodalanishi mumkin Bessel funktsiyalari .
Vazifalar U va V funktsiyalari bilan ham bog'liq bo'lishi mumkin D.p (x ) (ba'zida parabolik silindr funktsiyalari deb ataladigan Whittaker (1902) dan boshlab yozilgan yozuv) (qarang: Abramovits va Stegun (1965)):
U ( a , x ) = D. − a − 1 2 ( x ) , { displaystyle U (a, x) = D _ {- a - { tfrac {1} {2}}} (x),} V ( a , x ) = Γ ( 1 2 + a ) π [ gunoh ( π a ) D. − a − 1 2 ( x ) + D. − a − 1 2 ( − x ) ] . { 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)].} Funktsiya D.a (z) Whittaker va Watson tomonidan tenglama echimi sifatida kiritilgan. ~ (1 ) bilan a ~ = − 1 4 , b ~ = 0 , v ~ = a + 1 2 { displaystyle { tilde {a}} = - { frac {1} {4}}, { tilde {b}} = 0, { tilde {c}} = a + { frac {1} {2 }}} bilan chegaralangan + ∞ { displaystyle + infty} . Sifatida birlashtirilgan gipergeometrik funktsiyalar bilan ifodalash mumkin
D. a ( z ) = 1 π 2 a / 2 e − z 2 4 ( cos ( π a 2 ) Γ ( a + 1 2 ) 1 F 1 ( − a 2 ; 1 2 ; z 2 2 ) + 2 z gunoh ( π a 2 ) Γ ( a 2 + 1 ) 1 F 1 ( 1 2 − a 2 ; 3 2 ; z 2 2 ) ) . { displaystyle D_ {a} (z) = { frac {1} { sqrt { pi}}} {2 ^ {a / 2} e ^ {- { frac {z ^ {2}} {4 }}} chap ( cos chap ({ frac { pi a} {2}} o'ng) Gamma chap ({ frac {a + 1} {2}} o'ng) , _ { 1} F_ {1} chap (- { frac {a} {2}}; { frac {1} {2}}; { frac {z ^ {2}} {2}} o'ng) + { sqrt {2}} z sin left ({ frac { pi a} {2}} right) Gamma left ({ frac {a} {2}} + 1 right) , _ {1} F_ {1} chap ({ frac {1} {2}} - { frac {a} {2}}; { frac {3} {2}}; { frac {z ^ {2}} {2}} o'ng) o'ng)}.} Adabiyotlar
Abramovits, Milton ; Stegun, Irene Ann , eds. (1983) [1964 yil iyun]. "19-bob" . Matematik funktsiyalar uchun formulalar, grafikalar va matematik jadvallar bilan qo'llanma . Amaliy matematika seriyasi. 55 (To'qqizinchi o'ninchi asl nashrning tuzatishlar bilan qo'shimcha tuzatishlar bilan qayta nashr etilishi (1972 yil dekabr); birinchi nashr). Vashington Kolumbiyasi; Nyu-York: Amerika Qo'shma Shtatlari Savdo vazirligi, Milliy standartlar byurosi; Dover nashrlari. p. 686. ISBN 978-0-486-61272-0 . LCCN 64-60036 . JANOB 0167642 . LCCN 65-12253 .Rozov, N.X. (2001) [1994], "Veber tenglamasi" , Matematika entsiklopediyasi , EMS Press Temme, N. M. (2010), "Parabolik silindr funktsiyasi" , yilda Olver, Frank V. J. ; Lozier, Daniel M.; Boisvert, Ronald F.; Klark, Charlz V. (tahr.), NIST Matematik funktsiyalar bo'yicha qo'llanma , Kembrij universiteti matbuoti, ISBN 978-0-521-19225-5 , JANOB 2723248 Weber, H.F. (1869) "Ueber die Integration der partiellen Differentialgleichung ∂ 2 siz / ∂ x 2 + ∂ 2 siz / ∂ y 2 + k 2 siz = 0 { displaystyle kısalt ^ {2} u / qismli x ^ {2} + qismli ^ {2} u / qismli y ^ {2} + k ^ {2} u = 0} ". Matematika. Ann. , 1, 1–36 Uittaker, E.T. (1902) "Garmonik tahlilda parabolik silindr bilan bog'liq funktsiyalar to'g'risida" Proc. London matematikasi. Soc. 35, 417–427. Whittaker, E. T. va Watson, G. N. "Parabolik tsilindrning funktsiyasi". §16.5 Zamonaviy tahlil kursida, 4-nashr. Kembrij, Angliya: Kembrij universiteti matbuoti, 347-348 betlar, 1990 y.