متعددة الحدود المتعامدة

من ويكيبيديا، الموسوعة الحرة
اذهب إلى: تصفح، ‏ ابحث

في الرياضيات، متعددات الحدود المتعامدة (بالإنكليزية: Orthogonal polynomials) هي عائلة من متعددات الحدود حيث أي كثيري حدود مختلفين في تسلسل يكونان متعامدان مع بعضهما البعض وفقا لبعض عمليات الجداء القياسي.

يمكن استعمال مصطلح التعامد (orthogonality) مع كثيرات الحدود رغم أن مفهوم التعامد قد يبدو لأول وهلة مفهوما هندسيا بحتا. إلا أنه من منطلق الرياضيات التحليلية يمكن توسيع مفهوم التعامد حيث أنه يمكن أن نعلن عن فضاء كثير حدود أي الذي يمثل فيه كل نقطة كثير حدود ويمكننا أيضا أن نعلن عن عملية جداء قياسي مع عنصر محايد لعملية الضرب أي العنصر الذي لا تأثير له على عملية الضرب (مثلا العدد 1 في الفضاء المبني على الأعداد الصحيحة) ويمكن إعلان عنصر محايد للجمع (صفر) بالإضافة إلى معيار (norm) مناسب. في هذا الفضاء تكون كل إحداثية عبارة عن كثيرة حدود أولي مثل x أو x^2 إلخ... ويكون كل كثيرة حدود عبارة عن تركيبة خطية من هذه الإحداثيات. وعلى هذا الأساس يعتبر كثيرا حدود متعامدان إذا كان مضروبهما الداخلي صفرا. مثلا لنعتبر عملية الضرب الداخلي \mathbf{x \cdot x}=\sum x_{i}\cdot x_{k} فإن كثيرة الحدود x^2+1 وx متعامدان حيث أن مضروبهما الداخلي يساوي صفرا أي العنصر المحايد لعملية الجمع.

تعريف حالة متغير واحد لمقياس حقيقي[عدل]

لأي دالة غير متناقصة α على الأعداد الحقيقية, يمكن تعريف تكامل ليبسيغ-ستيلجيس:

\int f(x)d\alpha(x)

لدالة f . إذا كان هذا التكامل محدودا لجميع كثيرات الحدود f ، يمكن تعريف المنتج الداخلي على أزواج من متعددي الحدود f و g بواسطة:

\langle f, g \rangle = \int f(x) g(x) \; d\alpha(x).

هذه العملية تكون إيجابية ونصف محددة حاصل الضرب الداخلي على فراغ اتجاهي من كل كثيرات الحدود، وإيجابية محددة إذا كان الدالة α على عدد لا حصر له من نقاط النمو. هذا يدل على فكرة التعامدية بالطريقة المعتادة، أي أن اثنين من كثيرات الحدود تكون متعامدة إذا كان ناتج ضربها الداخلي هو صفر. ثم أن تسلسل (Pn)n=0 من متعددو الحدود متعامد يعرف بواسطة العلاقات:

 \deg P_n = n~, \quad \langle P_m, \, P_n \rangle = 0 \quad \text{for} \quad m \neq n~.

وبعبارة أخرى، تم الحصول عليها من تسلسل 1, x, x2, ... من قبل معلاج غرام شميدت:

 \langle P_n, P_n \rangle = 1~,

وعادة ما يطلب أن يكون التسلسل متعامد ومستنظم، بشكل اساسي:

 \langle P_n, P_n \rangle = 1~,

ومع ذلك، تستخدم أحيانا تطبيعات أخرى.

حالة مستمرة مطلقة[عدل]

في بعض الأحيان يكون عندنا:

\displaystyle d\alpha(x) = W(x)dx

حيث

W : [x_1, x_2] \to \mathbb{R}

هي دالة غير سلبية مع الدعم على الفاصل [x_1, x_2] في الخط الحقيقي (حيث x_1 = -\infty and x_2 = \infty مسموح به). حيث تكون الW دالة ترجيح.

عندها يكون حاصل الجداء الداخل كالتالي:

\langle f, g \rangle = \int_{x_1}^{x_2} f(x) g(x) W(x) \; dx.

ولكن هناك العديد من الأمثلة على متعددو الحدود المتعامدة حيث القياس dα(x) عنده نقاط غير صفرية القيمة حيث الدالة α تكون متقطعة, لذلك لا يمكن أن تعطى بدالة ترجيح W كما هو مبين أعلاه.

أنواع من متعددات الحدود المتعامدة[عدل]

متعددات الحدود المتعامدة الكلاسيكية الأكثر استخداماً هي :

والحالة الخاصة لهذه المتعددات الحدود:

خصائص[عدل]

متعددو الحدود المتعامدة من متغير واحد محدد من قبل قياس غير سلبي على خط حقيقي لها الخصائص التالية.

العلاقة بالعزوم[عدل]

متعددو الحدود المتعامدة Pn يمكن أن يعبر عنها بواسطة العزم

 m_n = \int x^n d\alpha(x)

كما يلي:

 P_n(x) = c_n \, \det \begin{bmatrix}
m_0 & m_1 &  m_2 &\cdots & m_n \\
m_1 & m_2 &  m_3 &\cdots & m_{n+1} \\
&&\cdots&& \\
m_{n-1} &m_n& m_{n+1} &\cdots &m_{2n-1}\\
1 & x & x^2 & \cdots & x^{n}
\end{bmatrix}~,

حيث الثوابت cn تكون اعتباطية (تعتمد على تطبييع Pn).

مراجع[عدل]

Nuvola apps edu mathematics-ar.svg هذه بذرة مقالة عن الرياضيات تحتاج للنمو والتحسين، فساهم في إثرائها بالمشاركة في تحريرها.