سلسلة الطاقة

في الرياضيات ، متسلسلة القوى (في متغير واحد ) هي متسلسلة لانهائية على الصورة ن=0أن(x-ج)ن=أ0+أ1(x-ج)+أ2(x-ج)2+...{\displaystyle \sum _{n=0}^{\infty }a_{n}\left(xc\right)^{n}=a_{0}+a_{1}(xc)+a_{2}(xc)^{2}+\dots } أينأن{\displaystyle a_{n}}يمثل معامل الحد النوني ، و c ثابت يُسمى مركز المتسلسلة. تُعد متسلسلات القوى مفيدة في التحليل الرياضي ، حيث تظهر كمتسلسلات تايلور لدوال قابلة للتفاضل بلا حدود . في الواقع، تنص نظرية بوريل على أن كل متسلسلة قوى هي متسلسلة تايلور لدالة ملساء.

في كثير من الحالات، يكون المركز c مساوياً للصفر، كما هو الحال في متسلسلة ماكلورين . في مثل هذه الحالات، تأخذ متسلسلة القوى الشكل الأبسط. ن=0أنxن=أ0+أ1x+أ2x2+....{\displaystyle \sum _{n=0}^{\infty }a_{n}x^{n}=a_{0}+a_{1}x+a_{2}x^{2}+\dots .}

المجاميع الجزئية لمتسلسلة القوى هي كثيرات حدود ، والمجاميع الجزئية لمتسلسلة تايلور لدالة تحليلية هي متتالية من تقريبات كثيرات الحدود المتقاربة للدالة عند المركز، ويمكن اعتبار متسلسلة القوى المتقاربة نوعًا من كثيرات الحدود المعممة ذات عدد لا نهائي من الحدود. في المقابل، كل كثيرة حدود هي متسلسلة قوى ذات عدد محدود فقط من الحدود غير الصفرية.

إلى جانب دورها في التحليل الرياضي، تظهر متسلسلات القوى أيضًا في التوافقية كدوال مولدة (نوع من متسلسلات القوى الرسمية ) وفي الهندسة الإلكترونية (تحت اسم تحويل Z ). ويمكن اعتبار الترميز العشري المألوف للأعداد الحقيقية مثالًا على متسلسلة القوى، بمعاملات صحيحة ومتغير ثابت x عند 1/10 . وفي نظرية الأعداد ، يرتبط مفهوم الأعداد p -adic ارتباطًا وثيقًا بمفهوم متسلسلة القوى.

أمثلة

متعدد الحدود

الدالة الأسية (باللون الأزرق)، وتقريبها المُحسَّن بمجموع أول n  + 1 حدًا من متسلسلة قوى ماكلورين (باللون الأحمر). لذا، فإن n=0 يُعطيو(x)=1{\displaystyle f(x)=1}، ن=1و(x)=1+x{\displaystyle f(x)=1+x}، ن = 2و(x)=1+x+x2/2{\displaystyle f(x)=1+x+x^{2}/2}، ن = 3و(x)=1+x+x2/2+x3/6{\displaystyle f(x)=1+x+x^{2}/2+x^{3}/6}إلخ.

يمكن التعبير عن كل متعددة حدود من الدرجة d على شكل متسلسلة قوى حول أي مركز c ، حيث يكون معامل جميع الحدود ذات الدرجة الأعلى من d مساويًا للصفر. [ 1 ] على سبيل المثال، متعددة الحدودو(x)=x2+2x+3{\textstyle f(x)=x^{2}+2x+3}يمكن كتابتها كمتسلسلة قوى حول المركزج=0{\textstyle c=0}مثل و(x)=3+2x+1x2+0x3+0x4+{\displaystyle f(x)=3+2x+1x^{2}+0x^{3}+0x^{4}+\cdots } أو حول المركزج=1{\textstyle c=1}مثل و(x)=6+4(x-1)+1(x-1)2+0(x-1)3+0(x-1)4+.{\displaystyle f(x)=6+4(x-1)+1(x-1)^{2}+0(x-1)^{3}+0(x-1)^{4}+\cdots .}

يمكن للمرء أن ينظر إلى متسلسلات القوى على أنها مثل "كثيرات الحدود ذات الدرجة اللانهائية"، على الرغم من أن متسلسلات القوى ليست كثيرات حدود بالمعنى الدقيق للكلمة.

المتسلسلات الهندسية، والدالة الأسية، والجيب

صيغة المتسلسلة الهندسية11-x=ن=0xن=1+x+x2+x3+،{\displaystyle {\frac {1}{1-x}}=\sum _{n=0}^{\infty }x^{n}=1+x+x^{2}+x^{3}+\cdots ,} وهو ما ينطبق على|x|<1{\textstyle |x|<1}تُعدّ هذه الصيغة من أهم الأمثلة على متسلسلة القوى، وكذلك صيغة الدالة الأسية.هـx=ن=0xنن!=1+x+x22!+x33!+{\displaystyle e^{x}=\sum _{n=0}^{\infty }{\frac {x^{n}}{n!}}=1+x+{\frac {x^{2}}{2!}}+{\frac {x^{3}}{3!}}+\cdots } وصيغة الجيبالخطيئة(x)=ن=0(-1)نx2ن+1(2ن+1)!=x-x33!+x55!-x77!+،{\displaystyle \sin(x)=\sum _{n=0}^{\infty }{\frac {(-1)^{n}x^{2n+1}}{(2n+1)!}}=x-{\frac {x^{3}}{3!}}+{\frac {x^{5}}{5!}}-{\frac {x^{7}}{7!}}+\cdots ,} صالحة لجميع قيم x الحقيقية . هذه المتسلسلات القوى هي أمثلة على متسلسلات تايلور (أو، على وجه التحديد، متسلسلات ماكلورين ).

مجموعة الأسس

لا يُسمح باستخدام القوى السالبة في متسلسلة القوى العادية؛ على سبيل المثال،x-1+1+x1+x2+{\textstyle x^{-1}+1+x^{1}+x^{2}+\cdots }لا تُعتبر متسلسلة قوى (مع أنها متسلسلة لوران ). وبالمثل، فإن القوى الكسرية مثلx12{\textstyle x^{\frac {1}{2}}}لا يُسمح بها؛ تنشأ القوى الكسرية في متسلسلات بويزو . المعاملاتأن{\textstyle a_{n}}يجب ألا يعتمد علىx{\textstyle x}وهكذا على سبيل المثالالخطيئة(x)x+الخطيئة(2x)x2+الخطيئة(3x)x3+{\textstyle \sin(x)x+\sin(2x)x^{2}+\sin(3x)x^{3}+\cdots }ليست سلسلة قوى.

نصف قطر التقارب

سلسلة الطاقةن=0أن(x-ج)ن{\textstyle \sum _{n=0}^{\infty }a_{n}(x-c)^{n}}تكون المتسلسلة متقاربة لبعض قيم x ، والتي تشمل دائمًا x = c ، لأنه بالنسبة لهذه القيمة من x ، تختزل المتسلسلة إلى حدها الأول .أ0{\displaystyle a_{0}} .

قد تتباعد المتسلسلة لقيم أخرى لـ x ، وربما لجميعها. إذا لم تكن c هي القيمة الوحيدة للتقارب، فإنه يوجد دائمًا عدد r بحيث 0 < r ≤ ∞، وتتقارب المتسلسلة إذا كان | xc | < r ، وتتباعد إذا كان | xc | > r . يُسمى العدد r نصف قطر تقارب متسلسلة القوى؛ ويُعطى عمومًا بالصيغة التالية: ر=الحد الأقصى غير محدودن|أن|-1ن{\displaystyle r=\liminf _{n\to \infty }\left|a_{n}\right|^{-{\frac {1}{n}}}} أو، على نحو مماثل، ر-1=ليم سوبن|أن|1ن.{\displaystyle r^{-1}=\limsup _{n\to \infty }\left|a_{n}\right|^{\frac {1}{n}}.} هذه هي نظرية كوشي-هادامارد ؛ انظر إلى النهاية العليا والنهاية السفلى لشرح الرموز. العلاقة ر-1=ليمن|أن+1أن|{\displaystyle r^{-1}=\lim _{n\to \infty }\left|{a_{n+1} \over a_{n}}\right|} يتحقق هذا الشرط أيضًا، إذا كان هذا الحد موجودًا.

تُسمى مجموعة الأعداد المركبة التي تحقق الشرط | xc | < r بقرص تقارب المتسلسلة. تتقارب المتسلسلة تقاربًا مطلقًا داخل قرص تقاربها، وتتقارب تقاربًا منتظمًا على كل مجموعة جزئية مضغوطة من قرص التقارب.

بالنسبة لـ | xc | = r ، لا يوجد بيان عام حول تقارب المتسلسلة. مع ذلك، تنص نظرية أبيل على أنه إذا كانت المتسلسلة متقاربة لقيمة ما z بحيث | zc | = r ، فإن مجموع المتسلسلة لـ x = z هو نهاية مجموع المتسلسلة لـ x = c + t ( zc حيث t متغير حقيقي أصغر من r.1 الذي يميل إلى1 .

العمليات على متسلسلات القوى

الجمع والطرح

عند تحليل دالتين f و g إلى متسلسلات قوى حول نفس المركز c ، يمكن الحصول على متسلسلة قوى مجموع أو فرق الدالتين عن طريق الجمع والطرح حدًا حدًا. أي، إذا و(x)=ن=0أن(x-ج)ن{\displaystyle f(x)=\sum _{n=0}^{\infty }a_{n}(x-c)^{n}}وز(x)=ن=0بن(x-ج)ن{\displaystyle g(x)=\sum _{n=0}^{\infty }b_{n}(x-c)^{n}} ثم و(x)±ز(x)=ن=0(أن±بن)(x-ج)ن.{\displaystyle f(x)\pm g(x)=\sum _{n=0}^{\infty }(a_{n}\pm b_{n})(x-c)^{n}.}

سيكون لمجموع متسلسلتين قوى نصف قطر تقارب لا يقل عن أصغر نصف قطر تقارب المتسلسلتين، [ 2 ] ولكنه قد يكون أكبر من أي منهما. على سبيل المثال، ليس صحيحًا أنه إذا كانت متسلسلتان قوىن=0أنxن{\textstyle \sum _{n=0}^{\infty }a_{n}x^{n}}ون=0بنxن{\textstyle \sum _{n=0}^{\infty }b_{n}x^{n}}إذا كان لهما نفس نصف قطر التقارب،ن=0(أن+بن)xن{\textstyle \sum _{n=0}^{\infty }\left(a_{n}+b_{n}\right)x^{n}}وله أيضًا نصف قطر التقارب هذا: إذاأن=(-1)ن{\textstyle a_{n}=(-1)^{n}}وبن=(-1)ن+1(1-13ن){\textstyle b_{n}=(-1)^{n+1}\left(1-{\frac {1}{3^{n}}}\right)}على سبيل المثال، فإن كلا المتسلسلتين لهما نفس نصف قطر التقارب وهو 1، لكن المتسلسلةن=0(أن+بن)xن=ن=0(-1)ن3نxن{\textstyle \sum _{n=0}^{\infty }\left(a_{n}+b_{n}\right)x^{n}=\sum _{n=0}^{\infty }{\frac {(-1)^{n}}{3^{n}}}x^{n}}يبلغ نصف قطر التقارب 3.

الضرب والقسمة

بنفس تعريفاتو(x){\displaystyle f(x)}وز(x){\displaystyle g(x)}ويمكن الحصول على متسلسلة القوى لحاصل ضرب وقسمة الدوال على النحو التالي: و(x)ز(x)=(ن=0أن(x-ج)ن)(ن=0بن(x-ج)ن)=أنا=0ج=0أأنابج(x-ج)أنا+ج=ن=0(أنا=0نأأنابن-أنا)(x-ج)ن.{\displaystyle {\begin{aligned}f(x)g(x)&={\biggl (}\sum _{n=0}^{\infty }a_{n}(x-c)^{n}{\biggr )}{\biggl (}\sum _{n=0}^{\infty }b_{n}(x-c)^{n}{\biggr )}\\&=\sum _{i=0}^{\infty }\sum _{j=0}^{\infty }a_{i}b_{j}(x-c)^{i+j}\\&=\sum _{n=0}^{\infty }{\biggl (}\sum _{i=0}^{n}a_{i}b_{n-i}{\biggr )}(x-c)^{n}.\end{aligned}}}

التسلسلمن=أنا=0نأأنابن-أنا{\textstyle m_{n}=\sum _{i=0}^{n}a_{i}b_{n-i}}يُعرف باسم حاصل ضرب كوشي للمتتالياتأن{\displaystyle a_{n}}وبن{\displaystyle b_{n}}.

بالنسبة للقسمة، إذا حددنا المتتاليةدن{\displaystyle d_{n}}بواسطة و(x)ز(x)=ن=0أن(x-ج)نن=0بن(x-ج)ن=ن=0دن(x-ج)ن{\displaystyle {\frac {f(x)}{g(x)}}={\frac {\sum _{n=0}^{\infty }a_{n}(x-c)^{n}}{\sum _{n=0}^{\infty }b_{n}(x-c)^{n}}}=\sum _{n=0}^{\infty }d_{n}(x-c)^{n}} ثم و(x)=(ن=0بن(x-ج)ن)(ن=0دن(x-ج)ن){\displaystyle f(x)={\biggl (}\sum _{n=0}^{\infty }b_{n}(x-c)^{n}{\biggr )}{\biggl (}\sum _{n=0}^{\infty }d_{n}(x-c)^{n}{\biggr )}} ويمكن للمرء أن يحل المعادلات بشكل متكرر لإيجاد الحدوددن{\displaystyle d_{n}}عن طريق مقارنة المعاملات.

يؤدي حل المعادلات المقابلة إلى الحصول على الصيغ القائمة على محددات مصفوفات معينة لمعاملاتو(x){\displaystyle f(x)}وز(x){\displaystyle g(x)}د0=أ0ب0{\displaystyle d_{0}={\frac {a_{0}}{b_{0}}}}دن=1ب0ن+1|أنب1ب2بنأن-1ب0ب1بن-1أن-20ب0بن-2أ000ب0|{\displaystyle d_{n}={\frac {1}{b_{0}^{n+1}}}{\begin{vmatrix}a_{n}&b_{1}&b_{2}&\cdots &b_{n}\\a_{n-1}&b_{0}&b_{1}&\cdots &b_{n-1}\\a_{n-2}&0&b_{0}&\cdots &b_{n-2}\\\vdots &\vdots &\vdots &\ddots &\vdots \\a_{0}&0&0&\cdots &b_{0}\end{vmatrix}}}

التمايز والتكامل

بمجرد أن تصبح وظيفةو(x){\displaystyle f(x)}إذا عُرضت الدالة على شكل متسلسلة قوى كما سبق، فهي قابلة للتفاضل داخل مجال التقارب. ويمكن تفاضلها وتكاملها بمعالجة كل حد على حدة، لأن كلاً من التفاضل والتكامل تحويلات خطية للدوال .و(x)=ن=1أنن(x-ج)ن-1=ن=0أن+1(ن+1)(x-ج)ن،و(x)دx=ن=0أن(x-ج)ن+1ن+1+ك=ن=1أن-1(x-ج)نن+ك.{\displaystyle {\begin{aligned}f'(x)&=\sum _{n=1}^{\infty }a_{n}n(x-c)^{n-1}=\sum _{n=0}^{\infty }a_{n+1}(n+1)(x-c)^{n},\\\int f(x)\,dx&=\sum _{n=0}^{\infty }{\frac {a_{n}(x-c)^{n+1}}{n+1}}+k=\sum _{n=1}^{\infty }{\frac {a_{n-1}(x-c)^{n}}{n}}+k.\end{aligned}}}

تتمتع كلتا السلسلتين بنفس نصف قطر التقارب مثل السلسلة الأصلية.

الدوال التحليلية

تُسمى الدالة f المعرفة على مجموعة جزئية مفتوحة U من R أو C دالة تحليلية إذا كانت معطاة محليًا بواسطة متسلسلة قوى متقاربة. هذا يعني أن لكل a U جوارًا مفتوحًا V U ، بحيث توجد متسلسلة قوى مركزها a تتقارب إلى f ( x ) لكل xV.

كل متسلسلة قوى ذات نصف قطر تقارب موجب تكون تحليلية داخل منطقة تقاربها. جميع الدوال التحليلية هي دوال تحليلية مركبة. مجاميع وحاصل ضرب الدوال التحليلية هي دوال تحليلية، وكذلك نواتج القسمة طالما أن المقام غير صفري.

إذا كانت الدالة تحليلية، فإنها قابلة للتفاضل إلى ما لا نهاية، ولكن في الحالة الحقيقية، لا يكون العكس صحيحًا بشكل عام. بالنسبة للدالة التحليلية، يمكن حساب المعاملات a و n على النحو التالي:أن=و(ن)(ج)ن!{\displaystyle a_{n}={\frac {f^{\left(n\right)}{\left(c\right)}}{n!}}}

أينو(ن)(ج){\displaystyle f^{(n)}(c)}يرمز إلى المشتقة النونية للدالة f عند النقطة c ، وو(0)(ج)=و(ج){\displaystyle f^{(0)}(c)=f(c)}وهذا يعني أن كل دالة تحليلية يتم تمثيلها محليًا بواسطة متسلسلة تايلور الخاصة بها .

يتم تحديد الشكل العالمي للدالة التحليلية بشكل كامل من خلال سلوكها المحلي بالمعنى التالي: إذا كانت f و g دالتين تحليليتين معرفتين على نفس المجموعة المفتوحة المتصلة U ، وإذا كان هناك عنصر cU بحيث يكون f ( n ) ( c ) = g ( n ) ( c ) لجميع n ≥ 0 ، فإن f ( x ) = g ( x ) لجميع xU.

إذا عُرِفَت متسلسلة قوى بنصف قطر تقارب r ، فيمكن النظر في الامتدادات التحليلية لهذه المتسلسلة، أي الدوال التحليلية f المعرفة على مجموعات أكبر من { x | | xc | < r } والتي تتطابق مع متسلسلة القوى المعطاة على هذه المجموعة. ويكون العدد r أقصى بالمعنى التالي: يوجد دائمًا عدد مركب x يحقق | xc | = r بحيث لا يمكن تعريف أي امتداد تحليلي للمتسلسلة عند x .

يمكن تحديد متسلسلة القوى للدالة العكسية لدالة تحليلية باستخدام نظرية لاغرانج العكسية .

السلوك بالقرب من الحدود

مجموع متسلسلة قوى ذات نصف قطر تقارب موجب هو دالة تحليلية عند كل نقطة داخل قرص التقارب. مع ذلك، قد يختلف السلوك عند النقاط الواقعة على حدود هذا القرص. على سبيل المثال:

  1. التباعد بينما يمتد المجموع إلى دالة تحليلية :ن=0zن{\textstyle \sum _{n=0}^{\infty }z^{n}}نصف قطر التقارب يساوي1{\displaystyle 1}ويختلف عند كل نقطة من|z|=1{\displaystyle |z|=1}ومع ذلك، فإن المجموع في|z|<1{\displaystyle |z|<1}يكون11-z{\textstyle {\frac {1}{1-z}}}، وهي دالة تحليلية عند كل نقطة من المستوى باستثناءz=1{\displaystyle z=1}.
  2. متقاربة في بعض النقاط، متباعدة في نقاط أخرى :ن=1zنن{\textstyle \sum _{n=1}^{\infty }{\frac {z^{n}}{n}}}له نصف قطر تقارب1{\displaystyle 1}يتقارب من أجلz=-1{\displaystyle z=-1}بينما يختلف الأمر بالنسبةz=1{\displaystyle z=1}.
  3. التقارب المطلق عند كل نقطة من الحدود :ن=1zنن2{\textstyle \sum _{n=1}^{\infty }{\frac {z^{n}}{n^{2}}}}له نصف قطر تقارب1{\displaystyle 1}بينما يتقارب بشكل مطلق ومتساوٍ عند كل نقطة من|z|=1{\displaystyle |z|=1}بسبب اختبار فايرشتراس إم المطبق على سلسلة التقارب التوافقي الفائقن=11ن2{\textstyle \sum _{n=1}^{\infty }{\frac {1}{n^{2}}}}.
  4. متقاربة على إغلاق قرص التقارب ولكنها ليست مجموعًا متصلًا : قدم سيربينسكي مثالًا [ 3 ] لمتسلسلة قوى بنصف قطر تقارب1{\displaystyle 1}، متقاربة عند جميع النقاط مع|z|=1{\displaystyle |z|=1}لكن المجموع دالة غير محدودة، وبالتحديد غير متصلة. ويُعطى شرط كافٍ للاستمرارية من جانب واحد عند نقطة حدودية بواسطة نظرية أبيل .

توليد السلاسل

من الشائع ربط أي سلسلة من الأرقام(أ0،أ1،....أن،...){\displaystyle (a_{0},a_{1},\ldots .a_{n},\ldots )}سلسلة توليدهان=0أنxن{\displaystyle \sum _{n=0}^{\infty }a_{n}x^{n}} أو متسلسلتها المولدة الأسيةن=0أنن!xن.{\displaystyle \sum _{n=0}^{\infty }{\frac {a_{n}}{n!}}x^{n}.}

عندما يكون نصف قطر التقارب موجبًا، تُعرّف المتسلسلة دالة تحليلية . تُعدّ المتسلسلات المولدة والدوال التحليلية التي تُعرّفها أداةً فعّالة لدراسة المتسلسلات العددية وسلوكها التقاربي . ويُستخدم هذا، على وجه الخصوص، في التوافقية التحليلية ، حيث تُوظّف كامل قوة التحليل العقدي للحصول على تقديرات دقيقة لعدد البنى التوافقية من نوع مُحدد كدالة لحجمها.

سلسلة القوى الرسمية

في الجبر المجرد ، يُسعى إلى استخلاص جوهر متسلسلات القوى دون التقيد بحقول الأعداد الحقيقية والمركبة، ودون الحاجة إلى الحديث عن التقارب. وهذا يقود إلى مفهوم متسلسلات القوى الشكلية ، وهو مفهوم ذو فائدة كبيرة في التوافقية الجبرية .

متسلسلات القوى في عدة متغيرات

يُعد توسيع النظرية ضروريًا لأغراض حساب التفاضل والتكامل متعدد المتغيرات . تُعرَّف متسلسلة القوى هنا بأنها متسلسلة لانهائية على الشكل التالي: و(x1،...،xن)=ج1،...،جن=0أج1،...،جنك=1ن(xك-جك)جك،{\displaystyle f(x_{1},\dots ,x_{n})=\sum _{j_{1},\dots ,j_{n}=0}^{\infty }a_{j_{1},\dots ,j_{n}}\prod _{k=1}^{n}(x_{k}-c_{k})^{j_{k}},} حيث j = ( j1 , , jn ) هو متجه من الأعداد الطبيعية، والمعاملات a ( j1 , …, jn ) عادةً ما تكون أعدادًا حقيقية أو مركبة، والمركز c = ( c1 , … , cn ) والمتغير x = ( x1 , , xn ) عادةً ما يكونان متجهين حقيقيين أو مركبين .Π{\displaystyle \Pi }يرمز إلى رمز الضرب، الذي يدل على عملية الضرب. ويمكن كتابة ذلك باستخدام الترميز متعدد المؤشرات الأكثر ملاءمة.و(x)=αشمالنأα(x-ج)α.{\displaystyle f(x)=\sum _{\alpha \in \mathbb {N} ^{n}}a_{\alpha }(x-c)^{\alpha }.} أينشمال{\displaystyle \mathbb {N} }هي مجموعة الأعداد الطبيعية ، وهكذاشمالن{\displaystyle \mathbb {N} ^{n}}هي مجموعة من n - tuples المرتبة من الأعداد الطبيعية.

تُعدّ نظرية هذه المتسلسلات أكثر تعقيدًا من نظرية المتسلسلات ذات المتغير الواحد، إذ تتميز بمناطق تقارب أكثر تعقيدًا. على سبيل المثال، متسلسلة القوىن=0x1نx2ن{\textstyle \sum _{n=0}^{\infty }x_{1}^{n}x_{2}^{n}}متقاربة تمامًا في المجموعة{(x1،x2):|x1x2|<1}{\displaystyle \{(x_{1},x_{2}):|x_{1}x_{2}|<1\}}بين قطعين زائدين. (هذا مثال على مجموعة محدبة لوغاريتميًا ، بمعنى أن مجموعة النقاط(سجل|x1|،سجل|x2|){\displaystyle (\log |x_{1}|,\log |x_{2}|)}، أين(x1،x2){\displaystyle (x_{1},x_{2})}تقع في المنطقة المذكورة أعلاه، وهي مجموعة محدبة. وبشكل أعم، يمكن إثبات أنه عندما c=0، فإن باطن منطقة التقارب المطلق يكون دائمًا مجموعة محدبة لوغاريتميًا بهذا المعنى. من ناحية أخرى، في باطن منطقة التقارب هذه، يمكن الاشتقاق والتكامل تحت إشارة المتسلسلة، تمامًا كما هو الحال مع متسلسلات القوى العادية. [ 4 ]

رتبة متسلسلة القوى

ليكن α مؤشرًا متعددًا لمتسلسلة قوى f ( x1 , x2 , …, xn ) . تُعرَّف رتبة متسلسلة القوى f بأنها أصغر قيمة .ر{\displaystyle r}بحيث يوجد α 0 معر=|α|=α1+α2++αن{\displaystyle r=|\alpha |=\alpha _{1}+\alpha _{2}+\cdots +\alpha _{n}}، أو{\displaystyle \infty }إذا كانت f ≡ 0. على وجه الخصوص، بالنسبة لمتسلسلة قوى f ( x ) في متغير واحد x ، فإن رتبة f هي أصغر قوة لـ x بمعامل غير صفري. يمكن تعميم هذا التعريف بسهولة على متسلسلات لوران .

ملحوظات

  1. هوارد ليفي (1967). كثيرات الحدود، ومتسلسلات القوى، وحساب التفاضل والتكامل . فان نوستراند. ص  24.
  2. إروين كريزيج، الرياضيات الهندسية المتقدمة، الطبعة الثامنة، صفحة 747
  3. ^ واكلاف سيربينسكي (1916). "Sur une série Pottielle qui, étant convergente en tout point de son cercle de convergence,presente sur ce cercle une fonction continue. (بالفرنسية)" . Rendiconti del Circolo Matematico di Palermo . 41 . طريق باليرمو: 187-190 . دوى : 10.1007 / BF03018294 . جي اف ام 46.1466.03 . S2CID 121218640 .  
  4. بيكنباخ، إي إف (1948). "الدوال المحدبة" . نشرة الجمعية الرياضية الأمريكية . 54 (5): 439-460 . doi : 10.1090/S0002-9904-1948-08994-7 .

مراجع