كثيرات حدود أبيل المعممة

في الرياضيات ، متتالية متعددة الحدود{صن(z)}{\displaystyle \{p_{n}(z)\}}يكون لها تمثيل أبيل معمّم إذا كانت الدالة المولدة لكثيرات الحدود تأخذ شكلاً معيناً:

ك(z،w)=أ(w)Ψ(zز(w))=ن=0صن(z)wن{\displaystyle K(z,w)=A(w)\Psi (zg(w))=\sum _{n=0}^{\infty }p_{n}(z)w^{n}}

حيث الدالة المولدة أو النواةك(z،w){\displaystyle K(z,w)}يتألف من سلسلة

أ(w)=ن=0أنwن{\displaystyle A(w)=\sum _{n=0}^{\infty }a_{n}w^{n}\quad }معأ00{\displaystyle a_{0}\neq 0}

و

Ψ(ت)=ن=0Ψنتن{\displaystyle \Psi (t)=\sum _{n=0}^{\infty }\Psi _{n}t^{n}\quad }وكل شيءΨن0{\displaystyle \Psi _{n}\neq 0}

و

ز(w)=ن=1زنwن{\displaystyle g(w)=\sum _{n=1}^{\infty }g_{n}w^{n}\quad }معز10.{\displaystyle g_{1}\neq 0.}

وبناءً على ما سبق، فليس من الصعب إثبات ذلك.صن(z){\displaystyle p_{n}(z)}هي متعددة حدود من الدرجةن{\displaystyle n}.

تعد كثيرات حدود بواس-باك فئة أكثر عمومية من كثيرات الحدود.

حالات خاصة

التمثيل الصريح

تتمتع كثيرات حدود أبيل المعممة بالتمثيل الصريح

صن(z)=ك=0نzكΨكحك.{\displaystyle p_{n}(z)=\sum _{k=0}^{n}z^{k}\Psi _{k}h_{k}.}

الثابت هو

حك=Pأج0زج1زج2زجك{\displaystyle h_{k}=\sum _{P}a_{j_{0}}g_{j_{1}}g_{j_{2}}\cdots g_{j_{k}}}

حيث يمتد هذا المجموع على جميع تركيباتن{\displaystyle n}داخلك+1{\displaystyle k+1}الأجزاء؛ أي أن المجموع يمتد على جميع الأجزاء.{ج}{\displaystyle \{j\}}بحيث

ج0+ج1++جك=ن.{\displaystyle j_{0}+j_{1}+\cdots +j_{k}=n.\,}

بالنسبة لكثيرات حدود أبيل، تصبح هذه هي الصيغة

صن(z)=ك=0نأن-كzكك!.{\displaystyle p_{n}(z)=\sum _{k=0}^{n}{\frac {a_{nk}z^{k}}{k!}}.}

علاقة تكرارية

وبعبارة أخرى، شرط ضروري وكافٍ هو أن النواةك(z،w){\displaystyle K(z,w)}يمكن كتابتها على النحو التاليأ(w)Ψ(zز(w)){\displaystyle A(w)\Psi (zg(w))}معز1=1{\displaystyle g_{1}=1}هل هذا

ك(z،w)w=ج(w)ك(z،w)+zب(w)wك(z،w)z{\displaystyle {\frac {\partial K(z,w)}{\partial w}}=c(w)K(z,w)+{\frac {zb(w)}{w}}{\frac {\partial K(z,w)}{\partial z}}}

أينب(w){\displaystyle b(w)}وج(w){\displaystyle c(w)}سلسلة الطاقة

ب(w)=wز(w)ددwز(w)=1+ن=1بنwن{\displaystyle b(w)={\frac {w}{g(w)}}{\frac {d}{dw}}g(w)=1+\sum _{n=1}^{\infty }b_{n}w^{n}}

و

ج(w)=1أ(w)ددwأ(w)=ن=0جنwن.{\displaystyle c(w)={\frac {1}{A(w)}}{\frac {d}{dw}}A(w)=\sum _{n=0}^{\infty }c_{n}w^{n}.}

الاستبدال

ك(z،w)=ن=0صن(z)wن{\displaystyle K(z,w)=\sum _{n=0}^{\infty }p_{n}(z)w^{n}}

يعطي على الفور علاقة التكرار

zن+1ددz[صن(z)zن]=-ك=0ن-1جن-ك-1صك(z)-zك=1ن-1بن-كددzصك(z).// {d}{dz}}p_{ك}(ض).}

في الحالة الخاصة لكثيرات حدود برينك، يكون لديناز(w)=w{\displaystyle g(w)=w}وبالتالي كلبن=0{\displaystyle b_{n}=0}مما يبسط علاقة التكرار بشكل كبير.

انظر أيضاً

مراجع

  • رالف ب. بواس الابن و ر. كريتون باك، توسعات متعددة الحدود للدوال التحليلية (الطبعة الثانية المصححة) ، (1964) دار النشر الأكاديمية، نيويورك، سبرينغر-فيرلاغ، برلين. رقم بطاقة مكتبة الكونغرس 63-23263.
  • برينك، ويليام سي. (1945). "حول الدوال المولدة لأنظمة كثيرات الحدود". المجلة الرياضية الأمريكية الشهرية . 52 (6): 297-301 . doi : 10.2307/2305289 . JSTOR 2305289 . 
  • هاف، دبليو إن (1947). "نوع كثيرات الحدود المولدة بواسطة f(xt) φ(t)". ​​مجلة ديوك الرياضية . 14 (4): 1091-1104 . doi : 10.1215/S0012-7094-47-01483-X .