Lagranj inversiya teoremasi - Lagrange inversion theorem - Wikipedia

Yilda matematik tahlil, Lagranj inversiya teoremasi, deb ham tanilgan Lagranj-Burman formulasi, beradi Teylor seriyasi kengayishi teskari funktsiya ning analitik funktsiya.

Bayonot

Aytaylik z ning funktsiyasi sifatida aniqlanadi w shaklning tenglamasi bilan

qayerda f bir nuqtada analitik hisoblanadi a va Keyin mumkin teskari yoki hal qilish uchun tenglama w, uni shaklda ifodalash quvvat qatori bilan berilgan[1]

qayerda

Teorema qo'shimcha ravishda ushbu qator nolga yaqin bo'lmagan radiusga ega ekanligini aytadi, ya'ni. ning analitik funktsiyasini ifodalaydi z a Turar joy dahasi ning Bu ham deyiladi ketma-ketlikni qaytarish.

Agar analitiklik haqidagi tasdiqlar chiqarib tashlansa, formulalar uchun ham amal qiladi rasmiy quvvat seriyalari va turli xil usullar bilan umumlashtirilishi mumkin: U bir nechta o'zgaruvchilar funktsiyalari uchun tuzilishi mumkin; uchun tayyor formulani taqdim etish uchun uni kengaytirish mumkin F(g(z)) har qanday analitik funktsiya uchun F; va bu ish uchun umumlashtirilishi mumkin bu erda teskari g ko'p qiymatli funktsiya.

Teorema isbotlandi Lagranj[2] va tomonidan umumlashtirildi Xans Geynrix Burman,[3][4][5] ikkalasi ham 18-asr oxirida. Yordamida to'g'ridan-to'g'ri lotin mavjud kompleks tahlil va kontur integratsiyasi;[6] murakkab rasmiy quvvat seriyasining versiyasi formulani bilish natijasidir polinomlar, shuning uchun analitik funktsiyalar qo'llanilishi mumkin. Darhaqiqat, analitik funktsiyalar nazariyasidagi mexanizmlar ushbu dalilga faqat rasmiy ravishda kiradi, chunki bu haqiqatan ham zarur bo'lgan narsa rasmiy qoldiq va to'g'ridan-to'g'ri rasmiy dalil mavjud.

Agar f rasmiy quvvat seriyasidir, keyin yuqoridagi formula kompozitsion teskari qatorning koeffitsientlarini bermaydi g to'g'ridan-to'g'ri ketma-ketlik koeffitsientlari bo'yicha f. Agar funktsiyalarni ifodalash mumkin bo'lsa f va g sifatida rasmiy kuch seriyasida

bilan f0 = 0 va f1 ≠ 0, keyin teskari koeffitsientlarning aniq shakli muddatida berilishi mumkin Qo'ng'iroq polinomlari:[7]

qayerda

bo'ladi ko'tarilayotgan faktorial.

Qachon f1 = 1, oxirgi formulani yuzlari nuqtai nazaridan talqin qilish mumkin associahedra [8]

qayerda har bir yuz uchun assosiaedrning

Misol

Masalan, darajaning algebraik tenglamasi p

uchun hal qilinishi mumkin x funktsiya uchun Lagranj inversiya formulasi yordamida f(x) = xxp, natijada rasmiy ketma-ketlik hal qilinadi

Konvergentsiya sinovlari bo'yicha ushbu seriya aslida uchun yaqinlashadi bu shuningdek, mahalliy teskari yo'naltirilgan eng katta disk f aniqlanishi mumkin.

Ilovalar

Lagranj-Burman formulasi

Lagranj inversiya teoremasining maxsus holati mavjud kombinatorika va qachon amal qiladi ba'zi analitiklar uchun bilan Qabul qiling olish Keyin teskari uchun (qoniqarli ), bizda ... bor

sifatida muqobil ravishda yozilishi mumkin

qayerda koeffitsientini chiqaradigan operator hisoblanadi funktsiyasining Teylor qatorida w.

Formulaning umumlashtirilishi Lagranj-Burman formulasi:

qayerda H o'zboshimchalik bilan analitik funktsiya.

Ba'zan, lotin H(w) juda murakkab bo'lishi mumkin. Formulaning oddiy versiyasi o'rnini bosadi H(w) bilan H(w)(1 − φ(w)/φ(w)) olish uchun; olmoq

o'z ichiga oladi φ(w) o'rniga H(w).

Lambert V funktsiya

Lambert V funktsiya - bu funktsiya bu tenglama bilan aniq belgilanadi

Teoremadan hisoblash uchun foydalanishimiz mumkin Teylor seriyasi ning da Biz olamiz va Buni tan olish

bu beradi

The yaqinlashuv radiusi ushbu seriyaning (berish asosiy filial Lambert funktsiyasi).

Kattaroqqa yaqinlashadigan qator z (ammo barchasi uchun emas z) ketma-ket inversiya bilan ham olinishi mumkin. Funktsiya tenglamani qondiradi

Keyin quvvat seriyasiga kengaytirilishi va teskari yo'naltirilishi mumkin. Bu uchun bir qator beradi

almashtirish bilan hisoblash mumkin uchun z yuqoridagi ketma-ketlikda. Masalan, almashtirish −1 uchun z ning qiymatini beradi

Ikkilik daraxtlar

To'plamni ko'rib chiqing noma'lum ikkilik daraxtlar. Ning elementi yoki nol kattalikdagi barg, yoki ikkita pastki daraxtga ega bo'lgan ildiz tugunidir. Belgilash tugunlardagi ikkilik daraxtlar soni.

Ildizni olib tashlash ikkilik daraxtni kichikroq ikkita daraxtga bo'linadi. Bu ishlab chiqaruvchi funktsiyada funktsional tenglamani keltirib chiqaradi

Ruxsat berish , bittasi shunday Teoremani hosil

Bu shuni ko'rsatadiki bo'ladi nth Kataloniya raqami.

Integrallarning asimptotik yaqinlashishi

Laplas tipidagi integrallar uchun asimptotik yaqinlashishni beradigan Laplas-Erdeliy teoremasida funktsiya inversiyasi hal qiluvchi qadam sifatida qabul qilingan.

Shuningdek qarang

Adabiyotlar

  1. ^ M. Abramovits; I. A. Stegun, tahrir. (1972). "3.6.6. Lagranjning kengayishi". Matematik funktsiyalar uchun formulalar, grafikalar va matematik jadvallar bilan qo'llanma. Nyu-York: Dover. p. 14.
  2. ^ Lagranj, Jozef-Lui (1770). "Nouvelle méthode pour résoudre les équations littérales par le moyen des séries". Histoire de l'Académie Royale des Sciences and Belles-Lettres de Berlin: 251–326. https://archive.org/details/uvresdelagrange18natigoog/page/n13 (Izoh: Lagranj ushbu maqolani 1768 yilda taqdim etgan bo'lsa-da, 1770 yilgacha nashr etilmagan.)
  3. ^ Byurmann, Xans Geynrix, "Essai de calcul fonctionnaire aux constantes ad-libitum", 1796 yilda Frantsiya Milliy Institutiga yuborilgan. Ushbu maqolaning qisqacha mazmuni uchun qarang: Xindenburg, Karl Fridrix, tahr. (1798). "Versuch einer vereinfachten tahlil; eus Auszug eines Auszuges von Herrn Bürmann" [Soddalashtirilgan tahlilga urinish; janob Burmann tomonidan qisqartirilgan ko'chirma]. Archiv der reinen und angewandten Mathematik [Sof va amaliy matematikaning arxivi]. 2. Leypsig, Germaniya: Schäferischen Buchhandlung. 495-499 betlar.
  4. ^ Byurmann, Xans Geynrix, "Formules du développement, de retour et d'integration", Institution National de France institutiga taqdim etdi. Burmanning qo'lyozmasi Parijdagi École Nationale des Ponts et Chaussées [Milliy ko'priklar va yo'llar maktabi] arxivida saqlanib qolgan. (Qarang: ms. 1715.)
  5. ^ Jozef-Lui Lagranj va Adrien-Mari Legendrlarning Byurman teoremasi to'g'risidagi hisoboti quyidagicha: "Rapport sur deux mémoires d'analyse du professeur Burmann," Mémoires de l'Institut milliy des fanlar va san'at: fanlar matematika va fizika, vol. 2, 13–17 betlar (1799).
  6. ^ E. T. Uittaker va G. N. Uotson. Zamonaviy tahlil kursi. Kembrij universiteti matbuoti; 4-nashr (1927 yil 2-yanvar), 129–130-betlar
  7. ^ Eqn (11.43), p. 437, C.A. Charalambidlar, Sanab chiquvchi kombinatorika, Chapman va Xoll / CRC, 2002 yil
  8. ^ Aguiar, Marselo; Ardila, Federiko (2017). "Hopf monoidlar va umumlashtirilgan permutahedra". arXiv:1709.07504 [matematik CO ].

Tashqi havolalar