Meijer G-funktsiyasi - Meijer G-function - Wikipedia

Matematikada G funktsiyasi tomonidan kiritilgan Kornelis Simon Meijer  (1936 ) juda umumiy sifatida funktsiya ma'lum bo'lganlarning aksariyatini o'z ichiga olgan maxsus funktsiyalar alohida holatlar sifatida. Ushbu turdagi yagona urinish emas edi: umumlashtirilgan gipergeometrik funktsiya va MacRobert elektron funktsiyasi xuddi shu maqsadga ega edi, ammo Meijerning G-funktsiyasi ushbu holatlarni ham o'z ichiga olgan. Birinchi ta'rifni Meijer tomonidan seriyali; hozirgi kunda qabul qilingan va umumiy ta'rif a orqali amalga oshiriladi chiziqli integral ichida murakkab tekislik tomonidan to'liq umumiylik bilan kiritilgan Artur Erdélii 1953 yilda.

Zamonaviy ta'rifga ko'ra, o'rnatilgan maxsus funktsiyalarning aksariyati Meijer G-funktsiyasi jihatidan ifodalanishi mumkin. E'tiborga loyiq xususiyat bu yopilish barcha G-funktsiyalar to'plamining nafaqat differentsiatsiya ostida, balki cheksiz integratsiya sharoitida ham. Bilan birgalikda funktsional tenglama bu G funktsiyasidan xalos bo'lishga imkon beradi G(z) har qanday omil zr bu uning dalilining doimiy kuchi z, yopilish shuni anglatadiki, har qanday funktsiya funktsiya argumentining ba'zi bir doimiy kuchining doimiy ko'paytmasining G funktsiyasi sifatida ifodalanadi, f(x) = G(cxγ), the lotin va antivivativ Ushbu funktsiya ham tushunarli.

Maxsus funktsiyalarning keng qamrovi, shuningdek, Meijer-ning G-funktsiyasidan foydalanadi, chunki lotin va antiderivativlarni namoyish qilish va manipulyatsiya qilishdan tashqari. Masalan, aniq integral ustidan ijobiy haqiqiy o'q har qanday funktsiya g(x) mahsulot sifatida yozilishi mumkin G1(cxγG2(dxδ) bilan ikkita G funktsiya oqilona γ/δ ning yana bir G funktsiyasiga va umumlashmalariga teng integral transformatsiyalar kabi Hankel konvertatsiyasi va Laplasning o'zgarishi va ularning teskari tomonlari transformator yadrosi sifatida mos keladigan G funktsiyali juftliklardan foydalanilganda paydo bo'ladi.

Meijerning G-funktsiyasiga qo'shimcha parametrlarni kiritadigan yana ham umumiy funktsiya Tulkining H funktsiyasi.

Meijer G-funktsiyasining ta'rifi

Meijer G-funktsiyasining umumiy ta'rifi quyidagicha berilgan chiziqli integral ichida murakkab tekislik (Bateman va Erdélyi 1953 yil, § 5.3-1):

bu erda Γ gamma funktsiyasi. Ushbu integral deb ataladi Mellin-Barnes turi, va teskari sifatida qaralishi mumkin Mellin o'zgarishi. Ta'rif quyidagi taxminlarga asoslanadi:

  • 0 ≤ mq va 0 ≤ np, qayerda m, n, p va q butun sonlar
  • akbj ≠ 1, 2, 3, ... uchun k = 1, 2, ..., n va j = 1, 2, ..., m, bu shuni anglatadiki, yo'q qutb har qanday Γ (bjs), j = 1, 2, ..., m, har qanday Γ (1 -) ning istalgan qutbiga to'g'ri keladi ak + s), k = 1, 2, ..., n
  • z ≠ 0

Tarixiy sabablarga ko'ra birinchi pastki va ikkinchi yuqori ko'rsatkichga qarang yuqori parametr satri, esa ikkinchi pastki va birinchi yuqori ko'rsatkichga qarang pastki parametr qatori. Ko'pincha quyidagi sintetik yozuvlardan foydalangan holda ko'pincha duch keladi vektorlar:

G-funktsiyani amalga oshirish kompyuter algebra tizimlari odatda to'rtta (ehtimol bo'sh) parametr guruhlari uchun alohida vektorli argumentlarni qo'llang a1 ... an, an+1 ... ap, b1 ... bmva bm+1 ... bqva shu bilan buyurtmalarni o'tkazib yuborishi mumkin p, q, nva m ortiqcha sifatida.

The L integralda integratsiya paytida yuriladigan yo'lni ifodalaydi. Ushbu yo'l uchun uchta tanlov mumkin:

1. L dan ishlaydi -men∞ dan + gachamen∞ shunday qilib, Γ ning barcha qutblari (bjs), j = 1, 2, ..., m, yo'lning o'ng tomonida, barcha qutblari esa Γ (1 - ak + s), k = 1, 2, ..., n, chap tomonda. Keyin integral | arg uchun yaqinlashadi z| < δ π, qayerda
buning aniq sharti δ > 0. integral uchun qo'shimcha ravishda | arg uchun yaqinlashadi z| = δ π ≥ 0, agar (q - p) (σ + 12)> Qayta (ν) + 1, qaerda σ ifodalaydi Re (s) integral o'zgaruvchisi sifatida s ikkalasiga ham yaqinlashadimen∞ va -men∞ va qaerda
Xulosa sifatida, | arg z| = δ π va p = q integral integraldan mustaqil ravishda yaqinlashadi σ har doim Re (ν) < −1.
2. L beginning ning barcha qutblarini o'rab turgan va + ∞ bilan tugaydigan pastadir.bjs), j = 1, 2, ..., m, manfiy yo'nalishda aniq bir marta, lekin Γ (1 - ning biron bir qutbini o'rab olmang ak + s), k = 1, 2, ..., n. Keyin integral hamma uchun yaqinlashadi z agar q > p ≥ 0; u ham uchun birlashadi q = p > 0 ekanz| <1. Ikkinchi holatda integral | uchun qo'shimcha ravishda yaqinlashadiz| = 1 bo'lsa Re (ν) <-1, qaerda ν birinchi yo'l uchun belgilangan.
3. L −∞ bilan boshlanadigan va tugaydigan tsikl bo'lib, all ning barcha qutblarini o'rab oladi (1 - ak + s), k = 1, 2, ..., n, aniq bir marta ijobiy yo'nalishda, lekin har qanday any qutbini o'rab olmaslik (bjs), j = 1, 2, ..., m. Endi ajralmas hamma uchun yaqinlashadi z agar p > q ≥ 0; u ham uchun birlashadi p = q > 0 ekanz| > 1. Ikkinchi yo'l uchun ham ta'kidlanganidek, misolida p = q integral ham | uchun yaqinlashadiz| = 1 bo'lganda Re (ν) < −1.

Yaqinlashish uchun shartlar murojaat qilish orqali osongina o'rnatiladi Stirlingning asimptotik yaqinlashishi integraldagi gamma funktsiyalariga. Integral ushbu yo'llarning bir nechtasi uchun yaqinlashganda, integratsiya natijalarining kelishilganligini ko'rsatish mumkin; agar u faqat bitta yo'l uchun yaqinlashsa, unda bu faqat ko'rib chiqilishi kerak. Aslida murakkab tekislikdagi raqamli yo'l integratsiyasi Meijer G-funktsiyalarini hisoblashda amaliy va oqilona yondashuvni tashkil etadi.

Ushbu ta'rif natijasida Meijer G-funktsiyasi analitik funktsiya ning z kelib chiqishi ehtimoli bundan mustasno z = 0 va birlik doirasining |z| = 1.

Differentsial tenglama

G-funktsiyasi quyidagi chiziqli narsani qondiradi differentsial tenglama buyurtma max (p,q):

Bunday holda ushbu tenglamaning asosiy echimlari to'plami uchun pq olishi mumkin:

va shunga o'xshash holatda pq:

Ushbu maxsus echimlar mumkin bo'lgan holatlar bundan mustasno, analitikdir o'ziga xoslik da z = 0 (shuningdek, mumkin bo'lgan birlik z = ∞), va bo'lsa p = q da muqarrar yakkalik z = (−1)pmn. Hozirda ko'rinib turganidek, ularni aniqlash mumkin umumlashtirilgan gipergeometrik funktsiyalar pFq−1 argument (-1)pmn z kuch bilan ko'paytiriladi zbhva umumiy gipergeometrik funktsiyalar bilan qFp−1 argument (-1)qmn z−1 kuch bilan ko'paytiriladi zah−1navbati bilan.

G funktsiyasi va umumlashtirilgan gipergeometrik funktsiya o'rtasidagi bog'liqlik

Agar integral bo'yicha baholanganda yaqinlashsa ikkinchi yo'l yuqorida keltirilgan va agar u bir-biriga mos kelmasa qutblar among orasida paydo bo'ladi (bjs), j = 1, 2, ..., m, u holda Meijer G-funktsiyasi yig'indisi sifatida ifodalanishi mumkin qoldiqlar xususida umumlashtirilgan gipergeometrik funktsiyalar pFq−1 (Slater teoremasi):

Yulduz bu atamaga mos kelishini bildiradi j = h chiqarib tashlangan. Integralning ikkinchi yo'l bo'ylab yaqinlashishi uchun ham bo'lishi kerak p < q, yoki p = q va |z| <1 va qutblar aniq bo'lishi uchun ular orasida juftlik yo'q bj, j = 1, 2, ..., m, tamsayı yoki nol bilan farq qilishi mumkin. Aloqadagi yulduzcha indeks bilan qo'shilgan hissani e'tiborsiz qoldirishimizni eslatadi j = h quyidagicha: mahsulotda bu $ phi (0) $ ni 1 ga almashtirishga teng bo'ladi va gipergeometrik funktsiya argumentida, agar vektor yozuvining ma'nosini eslasak,

bu vektor uzunligini qisqartirishga to'g'ri keladi q ga q−1.

Qachon ekanligini unutmang m = 0, ikkinchi yo'lda hech qanday qutb yo'q va shuning uchun integral bir xilda yo'qolishi kerak,

agar bo'lsa p < q, yoki p = q va |z| < 1.

Xuddi shunday, agar integral integral bo'yicha baholanganda yaqinlashsa uchinchi yo'l yuqorida va agar Γ (1 - ak + s), k = 1, 2, ..., n, keyin G funktsiyasini quyidagicha ifodalash mumkin:

Buning uchun ham p > q, yoki p = q va |z| > 1 talab qilinadi va ular orasida juftlik yo'q ak, k = 1, 2, ..., n, tamsayı yoki nol bilan farq qilishi mumkin. Uchun n = 0 natijasida quyidagilar mavjud:

agar bo'lsa p > q, yoki p = q va |z| > 1.

Boshqa tomondan, har qanday umumlashtirilgan gipergeometrik funktsiyani Meijer G-funktsiyasi bilan osonlikcha ifodalash mumkin:

bu erda biz vektor yozuvidan foydalanganmiz:

Bu kamida bitta parametrning ijobiy bo'lmagan tamsayı qiymati bo'lmasa amal qiladi ap gipergeometrik funktsiyani cheklangan polinomgacha kamaytiradi, bu holda ikkala G funktsiyasining gamma prefaktori yo'qoladi va G funktsiyalarining parametrlar to'plami talabni buzadi akbj ≠ 1, 2, 3, ... uchun k = 1, 2, ..., n va j = 1, 2, ..., m dan ta'rifi yuqorida. Ushbu cheklovdan tashqari, munosabatlar har qanday umumiy gipergeometrik qatorda amal qiladi pFq(z) yaqinlashadi, ya'ni. e. har qanday cheklangan uchun z qachon pqva uchun |z| <1 qachon p = q + 1. Keyingi holatda G-funktsiyasi bilan bog'liqlik avtomatik ravishda analitik davomini ta'minlaydi pFq(z) ga |z| ≥ 1 haqiqiy o'qi bo'ylab 1 dan ∞ gacha kesilgan novdasi bilan. Va nihoyat, munosabat buyurtmalarga ko'ra gipergeometrik funktsiya ta'rifining tabiiy kengayishini ta'minlaydi p > q + 1. G funktsiyasi yordamida biz uchun umumiy gipergeometrik differentsial tenglamani echishimiz mumkin p > q + 1 ham.

Polinom holatlar

Meijer G-funktsiyalari bo'yicha umumlashtirilgan gipergeometrik funktsiyalarning polinom holatlarini ifodalash uchun umuman ikkita G-funktsiyalarning chiziqli birikmasi zarur:

qayerda h = 0, 1, 2, ... polinomning darajasiga teng p+1Fq(z). Buyurtmalar m va n 0 ≤ oralig'ida erkin tanlanishi mumkin mq va 0 ≤ np, bu parametrlarning aniq aniq qiymatlari yoki tamsayı farqlarini oldini olishga imkon beradi ap va bq polinomning prefaktorda divergent gamma funktsiyalari yoki bilan ziddiyat paydo bo'lishiga olib keladi G funktsiyasining ta'rifi. Birinchi G-funktsiyasi uchun yo'qolishini unutmang n = 0 bo'lsa p > q, ikkinchi G funktsiyasi esa yo'qoladi m = 0 bo'lsa p < q. Shunga qaramay, formulani ikkita G funktsiyasini yig'indisi sifatida ifodalash orqali tekshirish mumkin qoldiqlar; kelishilgan holatlar yo'q qutblar bu erda G funktsiyasi ta'rifi bilan ruxsat berilgan bo'lishi kerak.

G funktsiyasining asosiy xususiyatlari

Dan ko'rinib turganidek G funktsiyasining ta'rifi, agar teng parametrlar orasida paydo bo'lsa ap va bq integralning raqamlagichidagi va maxrajidagi omillarni aniqlash, fraksiyani soddalashtirish va shu bilan funktsiya tartibini kamaytirish mumkin. Buyurtma bo'ladimi m yoki n pasayishi, ko'rib chiqilayotgan parametrlarning aniq pozitsiyasiga bog'liq. Shunday qilib, agar ulardan biri ak, k = 1, 2, ..., n, biriga to'g'ri keladi bj, j = m + 1, ..., q, G-funktsiyasi uning buyurtmalarini pasaytiradi p, q va n:

Xuddi shu sababga ko'ra, agar ulardan biri bo'lsa ak, k = n + 1, ..., p, biriga to'g'ri keladi bj, j = 1, 2, ..., m, keyin G funktsiyasi buyurtmalarni pasaytiradi p, q va m:

Ta'rifdan boshlab quyidagi xususiyatlarni ham olish mumkin:

Qisqartmalar ν va δ da kiritilgan G funktsiyasining ta'rifi yuqorida.

Derivativlar va antidivivlar

Tegishli hosilalar G funktsiyasidan biri quyidagi munosabatlarni topadi:

Ushbu to'rttadan ekvivalent munosabatlarni shunchaki chap tomonda hosilani baholash va biroz manipulyatsiya qilish yo'li bilan chiqarish mumkin. Masalan, masalan:

Bundan tashqari, o'zboshimchalik bilan buyurtma hosilalari uchun h, bittasi bor

ushlab turadigan h <0, shuningdek, shunday qilib olish imkonini beradi antivivativ lotin kabi har qanday G funktsiyasining osonligi. Ikkala formulada keltirilgan ikkita natijadan birini yoki boshqasini tanlab, natijada parametrlar to'plamining shartni buzishini har doim oldini olish mumkin akbj ≠ 1, 2, 3, ... uchun k = 1, 2, ..., n va j = 1, 2, ..., m tomonidan belgilanadi G funktsiyasining ta'rifi. E'tibor bering, natijalarning har bir juftligi taqdirda tengsiz bo'ladi h < 0.

Ushbu aloqalardan, ning tegishli xususiyatlari Gauss gipergeometrik funktsiyasi va boshqa maxsus funktsiyalarni olish mumkin.

Takrorlanish munosabatlari

Birinchi darajali hosilalar uchun turli xil ifodalarni tenglashtirish orqali, qo'shni G-funktsiyalar o'rtasida quyidagi uch muddatli takrorlanish munosabatlariga erishiladi:

Diagonal parametr juftliklari uchun o'xshash munosabatlar a1, bq va b1, ap yuqoridagi mos kombinatsiyani bajaring. Shunga qaramay, gipergeometrik va boshqa maxsus funktsiyalarning mos keladigan xususiyatlari ushbu takrorlanish munosabatlaridan kelib chiqishi mumkin.

Ko'paytirish teoremalari

Shartli z ≠ 0, quyidagi munosabatlar mavjud:

Ularning ortidan Teylorning kengayishi haqida w = 1, yordamida asosiy xususiyatlar yuqorida muhokama qilingan. The yaqinlashish radiusi qiymatiga bog'liq bo'ladi z va kengaytirilgan G funktsiyasi bo'yicha. Kengayishlarni o'xshash teoremalarni umumlashtirish deb hisoblash mumkin Bessel, gipergeometrik va birlashuvchi gipergeometrik funktsiyalari.

G-funktsiyani o'z ichiga olgan aniq integrallar

Ular orasida aniq integrallar o'zboshimchalik bilan G funktsiyasini o'z ichiga olgan:

Ushbu integral mavjud bo'lgan cheklovlar bu erda qoldirilganligini unutmang. Albatta, bu ajablanarli emas Mellin o'zgarishi G funktsiyasining integralida paydo bo'ladigan integralga olib kelishi kerak ta'rifi yuqorida.

Eyler -G funktsiyasi uchun tip integrallari quyidagicha berilgan.

Ushbu integrallar mavjud bo'lgan keng cheklovlarni p. "Integral transformatsiyalar jadvallari" ning 417, jild. II (1954), A. Erdeliy tomonidan tahrirlangan. E'tibor bering, ularning G-funktsiyaga ta'sirini hisobga olgan holda, ushbu integrallardan ishlashini aniqlash uchun foydalanish mumkin kasrli integratsiya juda katta funktsiyalar sinfi uchun (Erdélii-Kober operatorlari ).

Asosiy ahamiyatga ega bo'lgan natijalar shundan iboratki, musbat real o'q ustida birlashtirilgan ikkita ixtiyoriy G-funktsiyalarning mahsuloti boshqa G funktsiyasi (konvulsiya teoremasi) bilan ifodalanishi mumkin:

Integral mavjud bo'lgan cheklovlarni Meijer, C. S., 1941: Nederlda topish mumkin. Akad. Wetensch, Proc. 44, 82-92 betlar. Natijaning Mellin konvertatsiyasi faqatgina integraldagi ikkita funktsiyaning Mellin konvertatsiyasidan gamma omillarini qanday yig'ishini e'tiborga oling.

Konvolyutsiya formulasini G-funktsiyalaridan biriga aniqlovchi Mellin-Barns integralini almashtirish, integrallanish tartibini o'zgartirish va ichki Mellin-transform integralini baholash orqali olish mumkin. Oldingi Eyler tipidagi integrallar shunga o'xshash tarzda amal qiladi.

Laplasning o'zgarishi

Yuqoridagilardan foydalanib konvolyutsiya ajralmas va asosiy xususiyatlar shuni ko'rsatishi mumkin:

qayerda Re (ω)> 0. Bu Laplasning o'zgarishi funktsiya G(ηx) kuch bilan ko'paytiriladi xa; agar qo'yadigan bo'lsak a = 0 biz G-funktsiyaning Laplas konvertatsiyasini olamiz. Odatdagidek teskari konvertatsiya quyidagicha bo'ladi:

qayerda v integratsiya yo'lini har kimning o'ng tomoniga qo'yadigan haqiqiy ijobiy doimiydir qutb integralda.

G funktsiyasining Laplas konvertatsiyasining yana bir formulasi:

qaerda yana Re (ω)> 0. Ikkala holatda ham integrallar mavjud bo'lgan cheklashlar tafsilotlari chiqarib tashlangan.

G-funktsiyaga asoslangan integral o'zgarishlar

Umuman olganda, ikkita funktsiya k(z,y) va h(z,y), agar biron bir mos funktsiya uchun bo'lsa, juftlik yadrosi deb ataladi f(z) yoki har qanday mos funktsiya g(z), quyidagi ikkita munosabatlar bir vaqtning o'zida amalga oshiriladi:

Agar yadro juftligi nosimmetrik deyiladi, agar k(z,y) = h(z,y).

Narain o'zgarishi

Roop Narain (1962, 1963a, 1963b ) funktsiyalari:

o'zgaruvchan yadrolarning assimetrik juftligi, bu erda γ > 0, np = mq > 0 va:

keyingi yaqinlashuv shartlari bilan birga. Xususan, agar p = q, m = n, aj + bj = 0 uchun j = 1, 2, ..., p va vj + dj = 0 uchun j = 1, 2, ..., m, keyin juft yadro nosimmetrik bo'ladi. Taniqli Hankel konvertatsiyasi - bu Narain konvertatsiyasining nosimmetrik maxsus holati (γ = 1, p = q = 0, m = n = 1, v1 = −d1 = ν2).

Wimp konvertatsiyasi

Jet Vimp (1964 ) ushbu funktsiyalar o'zgaruvchan yadrolarning assimetrik juftligi ekanligini ko'rsatdi:

bu erda funktsiya A(·) Quyidagicha aniqlanadi:

Laplasning umumiy konvertatsiyasi

The Laplasning o'zgarishi Narainning Xankel konvertatsiyasini umumlashtirishi bilan yaqin o'xshashlikda umumlashtirilishi mumkin:

qayerda γ > 0, pqva:

va doimiy qaerda v > 0 ikkinchi darajali yo'lni integraldagi har qanday qutbdan o'ngga qo'yadi. Uchun γ = 12, r = 0 va p = q = 0, bu tanish Laplas konvertatsiyasiga to'g'ri keladi.

Meijer konvertatsiyasi

Ushbu umumlashtirishning ikkita alohida holati C.S.Mayyer tomonidan 1940 va 1941 yillarda berilgan γ = 1, r = −ν, p = 0, q = 1 va b1 = ν yozilishi mumkin (Meijer1940 ):

va uchun olingan ish γ = 12, r = −mk, p = q = 1, a1 = mk va b1 = 2m yozilishi mumkin (Meijer1941a ):

Bu yerda Menν va Kν ular o'zgartirilgan Bessel funktsiyalari navbati bilan birinchi va ikkinchi turdagi, Mk,m va Vk,m ular Whittaker funktsiyalari va funktsiyalarga doimiy miqyosli omillar qo'llanilgan f va g va ularning dalillari s va t birinchi holda.

Boshqa funktsiyalarni G funktsiyasi nuqtai nazaridan aks ettirish

Quyidagi ro'yxat qanday tanish bo'lganligini ko'rsatadi elementar funktsiyalar natijada Meijer G funktsiyasining maxsus holatlari:

Bu yerda, H belgisini bildiradi Heaviside qadam funktsiyasi.

The subsequent list shows how some higher functions can be expressed in terms of the G-function:

Hatto derivatives of γ(a,x) va Γ (a,x) munosabat bilan a can be expressed in terms of the Meijer G-function. Here, γ and Γ are the lower and upper incomplete gamma functions, Jν va Yν ular Bessel funktsiyalari of the first and second kind, respectively, Menν va Kν are the corresponding modified Bessel functions, and Φ is the Lerch transsendent.

Shuningdek qarang

Adabiyotlar

Tashqi havolalar