عقد تشيبيشيف

أصفار تشيبيشيف (نقاط صلبة ، خطوط حمراء) ونقاطها القصوى (مربعات فارغة، خطوط زرقاء) هي إسقاط مجموعتين من النقاط المتساوية التباعد على دائرة الوحدة على المحور السيني . 2n نقطة متساوية التباعد على الدائرة تُسقط على n من أصفار تشيبيشيف أو n+1 من نقاط تشيبيشيف القصوى. (هنا n = 5 ).
تمثل أصفار تشيبيشيف (النقاط السوداء) جذورًا لكثير حدود تشيبيشيف من النوع الأول (باللون الأحمر). أما القيم القصوى لتشيبشيف (المربعات الفارغة) فهي جذور لكثير حدود تشيبيشيف من النوع الثاني (باللون الأزرق)، وهي أيضًا القيم القصوى (علامات الضرب) لكثير حدود تشيبيشيف من النوع الأول.

في التحليل العددي ، تُعرف عقد تشيبيشيف (وتُسمى أيضًا نقاط تشيبيشيف أو شبكة تشيبيشيف ) بأنها مجموعة من الأعداد الجبرية المحددة التي تُستخدم كعقد للاستيفاء متعدد الحدود والتكامل العددي . وهي عبارة عن إسقاط لمجموعة من النقاط متساوية التباعد على دائرة الوحدة على الفترة الحقيقية.[-1،1]{\displaystyle [-1,1]}قطر الدائرة .

يوجد نوعان من عقد تشيبيشيف .ن{\displaystyle n}تُعرف عقد تشيبيشيف من النوع الأول ، والتي تُسمى أيضًا عقد تشيبيشيف-غاوس [ 1 ] أو أصفار تشيبيشيف ، بأنها أصفار متعددة حدود تشيبيشيف منالنوع الأول .تين{\displaystyle T_{n}}المقابلن+1{\displaystyle n+1}تُعرف عقد تشيبيشيف من النوع الثاني ، والتي تُسمى أيضًا عقد تشيبيشيف-لوباتو [ 2 ] أو نقاط تشيبيشيف القصوى ، بأنها نقاط قصوى لـتين{\displaystyle T_{n}}، وهي أيضاً أصفار متعددة حدود تشيبيشيف من النوع الثاني ،يون-1{\displaystyle U_{n-1}}بالإضافة إلى نقطتي نهاية الفترة. يُشار إلى كلا النوعين من الأعداد عادةً باسم عقد تشيبيشيف أو نقاط تشيبيشيف في الأدبيات. [ 3 ] وقد سُميت نسبةً إلى عالم الرياضيات الروسي بافنوتي تشيبيشيف ، الذي عاش في القرن التاسع عشر، والذي كان أول من قدم متعددات حدود تشيبيشيف.

على عكس بعض عقد الاستيفاء الأخرى، فإن عقد تشيبيشيف "تتداخل": إذ تُحتفظ بالعقد الموجودة عند مضاعفة عددها، مما يقلل الحساب لكل تحسين للشبكة إلى النصف. تعمل دوال الاستيفاء متعددة الحدود المُنشأة من عقد تشيبيشيف على تقليل تأثير ظاهرة رونج . [ 4 ] ويمكن تحويلها بسهولة إلى تمثيل كمجموع مرجح لكثيرات حدود تشيبيشيف باستخدام تحويل فورييه السريع .

تعريف

عقد تشيبيشيف من كلا النوعين منن=2{\displaystyle n=2}لن=50{\displaystyle n=50}.

بالنسبة لعدد صحيح موجب معينن{\displaystyle n}، الـن{\displaystyle n}تُعطى عقد تشيبيشيف من النوع الأول بواسطة

xك=كوس(ك+12)πن،ك=0،...،ن-1.{\displaystyle x_{k}=\cos {\frac {{\bigl (}k+{\tfrac {1}{2}}{\bigr )}\pi }{n}},\quad k=0,\ldots ,n-1.}

هذا هو إسقاط 2ن{\displaystyle 2n}نقاط متساوية التباعد على دائرة الوحدة على الفترة[-1،1]{\displaystyle [-1,1]}، قطر الدائرة. هذه النقاط هي أيضًا جذورتين{\displaystyle T_{n}}، متعددة حدود تشيبيشيف من النوع الأول من الدرجةن{\displaystyle n} .

الـن+1{\displaystyle n+1}تُعطى عقد تشيبيشيف من النوع الثاني بواسطة

xك=كوسكπن،ك=0،...،ن.{\displaystyle x_{k}=\cos {\frac {k\pi }{n}},\quad k=0,\ldots ,n.}

وهذا أيضاً هو إسقاط لـ2ن{\displaystyle 2n}نقاط متساوية التباعد على دائرة الوحدة إلى[-1،1]{\displaystyle [-1,1]}، وهذه المرة تشمل نهايتي الفترة، حيث تمثل كل منهما إسقاط نقطة واحدة فقط على الدائرة بدلاً من نقطتين. وتُعد هذه النقاط أيضًا القيم القصوى لـتين{\displaystyle T_{n}}في[-1،1]{\displaystyle [-1,1]}، الأماكن التي تأخذ فيها القيمة±1{\displaystyle \pm 1}[ 5 ] النقاط الداخلية بين العقد، باستثناء نقاط النهاية، هيأيضًا أصفار لـيون-1{\displaystyle U_{n-1}}، وهي متعددة حدود تشيبيشيف من النوع الثاني، وإعادة قياس لمشتقةتين{\displaystyle T_{n}} .

للعقد على فاصل زمني عشوائي[أ،ب]{\displaystyle [a,b]}تحويل أفيني من[-1،1]{\displaystyle [-1,1]}يمكن استخدامها: x~ك=12(أ+ب)+12(ب-أ)xك.{\displaystyle {\tilde {x}}_{k}={\tfrac {1}{2}}(a+b)+{\tfrac {1}{2}}(ba)x_{k}.}

ملكيات

كلا النوعين من العقد متناظران دائمًا حول الصفر، وهو نقطة منتصف الفترة.

أمثلة

مجموعات العقد للأعداد الصحيحة القليلة الأولىن{\displaystyle n}نكون: الجذور(تي0)={}،الجذور(يو0)={}،القيم القصوى(تي1)={-1،+1}،الجذور(تي1)={0}،الجذور(يو1)={0}،القيم القصوى(تي2)={-1،0،+1}،الجذور(تي2)={-1/2،+1/2}،الجذور(يو2)={-1/2،+1/2}،القيم القصوى(تي3)={-1،-1/2،+1/2،+1}{\displaystyle {\begin{aligned}{\text{roots}}(T_{0})&=\{\},&{\text{roots}}(U_{0})&=\{\},&{\text{extrema}}(T_{1})&=\{-1,+1\},\\{\text{roots}}(T_{1})&=\{0\},&{\text{roots}}(U_{1})&=\{0\},&{\text{extrema}}(T_{2})&=\{-1,0,+1\},\\{\text{roots}}(T_{2})&=\{-1/{\sqrt {2}},+1/{\sqrt {2}}\},&{\text{roots}}(U_{2})&=\{-1/2,+1/2\},&{\text{extrema}}(T_{3})&=\{-1,-1/2,+1/2,+1\}\\\end{aligned}}}

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

تقريب

تُعدّ عقد تشيبيشيف مهمة في نظرية التقريب لأنها تُشكّل مجموعة عقد جيدة بشكل خاص للاستيفاء متعدد الحدود . بالنظر إلى دالة f على الفترة[-1،+1]{\displaystyle [-1,+1]}ون{\displaystyle n}نقاطx1،x2،...،xن،{\displaystyle x_{1},x_{2},\ldots ,x_{n},}في تلك الفترة، تكون كثيرة الحدود الاستيفائية هي تلك الكثيرة الحدود الفريدة.Pن-1{\displaystyle P_{n-1}}درجة علمية على الأكثرن-1{\displaystyle n-1}والتي لها قيمةو(xأنا){\displaystyle f(x_{i})}عند كل نقطةxأنا{\displaystyle x_{i}}خطأ الاستيفاء عندx{\displaystyle x}يكون و(x)-Pن-1(x)=و(ن)(ξ)ن!أنا=1ن(x-xأنا){\displaystyle f(x)-P_{n-1}(x)={\frac {f^{(n)}(\xi )}{n!}}\prod _{i=1}^{n}(x-x_{i})} بالنسبة للبعضξ{\displaystyle \xi }(بحسب x ) في الفترة [ −1، 1 ] . [ 6 ] لذا فمن المنطقي محاولة تقليلها الأعلىx[-1،1]|أنا=1ن(x-xأنا)|.{\displaystyle \max _{x\in [-1,1]}{\biggl |}\prod _{i=1}^{n}(x-x_{i}){\biggr |}.}

هذا الناتج عبارة عن متعددة حدود أحادية من الدرجة n . يمكن إثبات أن القيمة المطلقة القصوى (المعيار الأقصى) لأي متعددة حدود من هذا النوع محدودة من الأسفل بالقيمة 2 / (1 - n ) . يتحقق هذا الحد بواسطة متعددات حدود تشيبيشيف المُقاسة Tn ، وهي أيضًا أحادية. (تذكر أن | Tn ( x )| ≤ 1 لـ x ∈ [-1, 1] . [ 7 ] ) لذلك، عندما تكون نقاط الاستيفاء xᵢ هي جذور Tn ، فإن الخطأ يحقق |و(x)-Pن-1(x)|12ن-1ن!الأعلىξ[-1،1]|و(ن)(ξ)|.{\displaystyle \left|f(x)-P_{n-1}(x)\right|\leq {\frac {1}{2^{n-1}n!}}\max _{\xi \in [-1,1]}\left|f^{(n)}(\xi )\right|.} بالنسبة لأي فترة [ أ ، ب ]، يُظهر تغيير المتغير أن |و(x)-Pن-1(x)|12ن-1ن!(ب-أ2)نالأعلىξ[أ،ب]|و(ن)(ξ)|.{\displaystyle \left|f(x)-P_{n-1}(x)\right|\leq {\frac {1}{2^{n-1}n!}}\left({\frac {b-a}{2}}\right)^{n}\max _{\xi \in [a,b]}\left|f^{(n)}(\xi )\right|.}

العقد المعدلة ذات الرتبة الزوجية

بعض تطبيقات عقد الاستيفاء، مثل تصميم مرشحات تشيبيشيف السلبية متساوية الإنهاء ، لا يمكنها استخدام عقد تشيبيشيف ذات الرتبة الزوجية مباشرة بسبب عدم وجود جذر عند 0. بدلاً من ذلك، يمكن تحريك عقد تشيبيشيف نحو الصفر، مع وجود جذر مزدوج عند الصفر مباشرة، باستخدام تحويل: [ 8 ]

x~ك=علامة(xك)xك2-xن/221-xن/22{\displaystyle {\tilde {x}}_{k}=\operatorname {sgn} (x_{k}){\sqrt {\frac {x_{k}^{2}-x_{n/2}^{2}}{1-x_{n/2}^{2}}}}}

على سبيل المثال، عقد تشيبيشيف من النوع الأول من الرتبة 4 هي0.9239،0.3827،-0.3827،-0.9239{\displaystyle {0.9239,0.3827,-0.3827,-0.9239}}، معxن/2=0.382683{\displaystyle x_{n/2}=0.382683}يؤدي تطبيق التحويل إلى ظهور عقد جديدة0.910180،0،0،-0.910180{\displaystyle {0.910180,0,0,-0.910180}}تتضمن العقد المعدلة ذات الرتبة الزوجية الآن الصفر مرتين.

انظر أيضاً

ملحوظات

  1. يأتي اسم عقد تشيبيشيف-غاوس من استخدام أصفار تشيبيشيف في التكامل العددي، والذي يمكن اعتباره نوعًا من أنواع التربيع الغاوسي .
  2. يأتي اسم عقد تشيبيشيف-لوباتو من ريهويل لوباتو ، الذي ابتكر نوعًا مختلفًا من التربيع الغاوسي، يُعرف باسم تربيع لوباتو ، والذي تضمنت عقده نهايات الفترة، وهي سمة مشتركة مع القيم القصوى لتشيبشيف.
  3. تريفثين 2013 ، ص 7 
  4. فينك وماثيوز 1999 ، الصفحات 236-238 
  5. تريفثين 2013 ، ص 14 
  6. ستيوارت 1996 ، (20.3)
  7. ستيوارت 1996 ، المحاضرة 20، الفقرة 14
  8. ^ سال ، رودولف (يناير 1979). دليل تصميم المرشح (باللغتين الإنجليزية والألمانية) (  الطبعة الأولى). ميونيخ، ألمانيا: Allgemeine Elektricitäts-Gesellschaft. الصفحات  25، 26، 56-61 ، 116، 117. ISBN 3-87087-070-2.

مراجع

  • فينك، كورتيس د.؛ ماثيوز، جون هـ. (1999). الطرق العددية باستخدام MATLAB (  الطبعة الثالثة). أبر سادل ريفر، نيوجيرسي: برنتيس هول.
  • ستيوارت، جيلبرت و. (1996). ملاحظات ختامية حول التحليل العددي . سيام . رقم ISBN 978-0-89871-362-6.
  • تريفثين، لويد ن. (2013)، نظرية التقريب وممارسة التقريب ، سيام

للمزيد من القراءة

  • بيردن، ريتشارد ل.؛ فيرز، ج. دوغلاس: التحليل العددي ، الطبعة الثامنة، الصفحات 503-512، رقم ISBN 0-534-39200-8.