متعدد الحدود الخطي

في الجبر، تُعرف كثيرة الحدود متعددة الخطية [ 1 ] بأنها كثيرة حدود متعددة المتغيرات تكون خطية (أي تآلفية ) في كل متغير من متغيراتها على حدة ، ولكن ليس بالضرورة في آن واحد . وهي كثيرة حدود لا يظهر فيها أي متغير مرفوعًا لقوة من .2{\displaystyle 2}أو أعلى؛ أي أن كل حد أحادي هو ثابت مضروب في حاصل ضرب متغيرات مختلفة. على سبيل المثالو(x،y،z)=3xy+2.5y-7z{\displaystyle f(x,y,z)=3xy+2.5y-7z}هي متعددة الحدود الخطية من الدرجة2{\displaystyle 2}(بسبب الحد الأحادي)3xy{\displaystyle 3xy}) بينماو(x،y،z)=x2+4y{\displaystyle f(x,y,z)=x^{2}+4y}ليس كذلك. درجة متعددة الحدود الخطية هي الحد الأقصى لعدد المتغيرات المختلفة التي تظهر في أي حد أحادي.

تعريف

يمكن فهم كثيرات الحدود متعددة الخطية على أنها دالة متعددة الخطية (وتحديداً، شكل متعدد الخطية ) مطبقة على المتجهات [1 x]، [1 y]، إلخ. ويمكن كتابة الشكل العام على أنه انكماش موتر :و(x)=أنا1=01أنا2=01أنان=01أأنا1أنا2أنانx1أنا1x2أنا2xنأنان{\displaystyle f(x)=\sum _{i_{1}=0}^{1}\sum _{i_{2}=0}^{1}\cdots \sum _{i_{n}=0}^{1}a_{i_{1}i_{2}\cdots i_{n}}x_{1}^{i_{1}}x_{2}^{i_{2}}\cdots x_{n}^{i_{n}}}

على سبيل المثال، في متغيرين:و(x،y)=أنا=01ج=01أأناجxأناyج=أ٠٠+أ10x+أ01y+أ11xy=(1x)(أ٠٠أ01أ10أ11)(1y){\displaystyle f(x,y)=\sum _{i=0}^{1}\sum _{j=0}^{1}a_{ij}x^{i}y^{j}=a_{00}+a_{10}x+a_{01}y+a_{11}xy={\begin{pmatrix}1&x\end{pmatrix}}{\begin{pmatrix}a_{00}&a_{01}\\a_{10}&a_{11}\end{pmatrix}}{\begin{pmatrix}1\\y\end{pmatrix}}}

ملكيات

متعدد الحدود الخطيو{\displaystyle f}تكون العلاقة خطية (تآلفية) عند تغيير متغير واحد فقط،xك{\displaystyle x_{k}}:و(x1،x2،...،xك،...،xن)=أxك+ب{\displaystyle f(x_{1},x_{2},...,x_{k},...,x_{n})=ax_{k}+b}أينأ{\displaystyle a}وب{\displaystyle b}لا تعتمد علىxك{\displaystyle x_{k}}. لاحظ أنب{\displaystyle b}لا يساوي الصفر عمومًا، لذاو{\displaystyle f}هو خطي بمعنى "يشبه الخط"، ولكن ليس بمعنى "التناسب المباشر" للخريطة متعددة الخطوط .

جميع المشتقات الجزئية الثانية المتكررة تساوي صفرًا:2وxك2=0{\displaystyle {\frac {\partial ^{2}f}{\partial x_{k}^{2}}}=0}بمعنى آخر، فإن مصفوفة هيسيان الخاصة بها هي مصفوفة مجوفة متناظرة .

على وجه الخصوص، اللابلاسي2و=0{\displaystyle \nabla ^{2}f=0}، لذاو{\displaystyle f}هي دالة توافقية . وهذا يعنيو{\displaystyle f}توجد قيم عظمى وصغرى فقط على حدود المجال .

وبشكل أعم، فإن كل تقييد لـو{\displaystyle f}إن تحويل مجموعة فرعية من إحداثياتها هو أيضاً متعدد الخطية، لذا2و=0{\displaystyle \nabla ^{2}f=0}ويظل هذا صحيحاً حتى عند تثبيت متغير واحد أو أكثر. بعبارة أخرى،و{\displaystyle f}يكون توافقيًا على كل "شريحة" من المجال على طول محاور الإحداثيات.

على نطاق مستطيل

عندما يكون المجال مستطيلاً في محاور الإحداثيات (مثل المكعب الفائقو{\displaystyle f}سيكون لها قيم عظمى وصغرى فقط على رؤوس المجال، أي المجموعة المحدودة من2ن{\displaystyle 2^{n}}نقاط ذات قيم إحداثيات دنيا وعليا. تحدد قيمة الدالة عند هذه النقاط الدالة بشكل كامل، حيث يمكن إيجاد القيمة على حواف الحدود عن طريق الاستيفاء الخطي ، بينما يتم تحديد القيمة على بقية الحدود والداخل بواسطة معادلة لابلاس .2و=0{\displaystyle \nabla ^{2}f=0}[ 1 ]

يمكن إيجاد قيمة متعددة الحدود عند أي نقطة عن طريق الاستيفاء الخطي المتكرر على طول كل محور إحداثي. أو بعبارة أخرى، هي متوسط ​​مرجح لقيم الرؤوس، حيث تمثل الأوزان متعددات حدود لاغرانج للاستيفاء . تشكل هذه الأوزان أيضًا مجموعة من الإحداثيات الباريسنترية المعممة للمستطيل الفائق . هندسيًا، تقسم هذه النقطة المجال إلى2ن{\displaystyle 2^{n}}المستطيلات الفائقة الأصغر، ووزن كل رأس هو الحجم (الكسري) للمستطيل الفائق المقابل له.

جبريًا، الدالة الاستيفائية متعددة الخطوط على المستطيل الفائق[أأنا،بأنا]أنا=1ن{\displaystyle [a_{i},b_{i}]_{i=1}^{n}}يكون:و(x)=vو(v)أنا|vأنا=بأناxأنا-أأنابأنا-أأناأنا|vأنا=أأنابأنا-xأنابأنا-أأنا{\displaystyle f(x)=\sum _{v}f(v)\prod _{i|v_{i}=b_{i}}{\frac {x_{i}-a_{i}}{b_{i}-a_{i}}}\prod _{i|v_{i}=a_{i}}{\frac {b_{i}-x_{i}}{b_{i}-a_{i}}}}حيث يتم حساب المجموع على الرؤوسv{\displaystyle v}أو بعبارة أخرى،و(x)=1Vvو(v)أنا|vأنا=بأنا(xأنا-أأنا)أنا|vأنا=أأنا(بأنا-xأنا){\displaystyle f(x)={\frac {1}{V}}\sum _{v}f(v)\prod _{i|v_{i}=b_{i}}(x_{i}-a_{i})\prod _{i|v_{i}=a_{i}}(b_{i}-x_{i})}حيث V هو حجم المستطيل الفائق.

القيمة عند المركز هي المتوسط ​​الحسابي للقيم عند الرؤوس، وهو أيضاً المتوسط ​​على حدود المجال، والمتوسط ​​داخله. وتتناسب مركبات التدرج عند المركز مع توازن قيم الرؤوس على طول كل محور إحداثي.

ترتبط قيم الرؤوس ومعاملات متعددة الحدود بتحويل خطي (وتحديداً، تحويل موبيوس إذا كان المجال هو المكعب الفائق ذو الوحدة).{0،1}ن{\displaystyle \{0,1\}^{n}}وتحويل والش -هادامارد-فورييه إذا كان المجال هو المكعب الفائق المتناظر.{-1،1}ن{\displaystyle \{-1,1\}^{n}}).

التطبيقات

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

المحدد ، والثابت ، والخصائص الأخرى للمصفوفة هي كثيرات حدود متعددة الخطية متجانسة في عناصر المصفوفة (وأيضًا أشكال متعددة الخطية في الصفوف أو الأعمدة).

كثيرات الحدود متعددة الخطية فين{\displaystyle n}تشكل المتغيرات2ن{\displaystyle 2^{n}}الفضاء المتجهي ذو الأبعاد n ، وهو الأساس المستخدم أيضًا في تحليل فورييه للدوال البولية (الزائفة) . يمكن التعبير عن كل دالة بولية ( زائفة ) بشكل فريد كمتعدد حدود خطي (مع اختيار المجال والمجال المقابل ).

تعتبر كثيرات الحدود متعددة الخطية مهمة في دراسة اختبار هوية كثيرات الحدود . [ 2 ]

انظر أيضاً

مراجع

  1. 1 2 لانيف، كوزيمو؛ لاسكو، تيودور أ.؛ سوردوني، فانيا (2010-10-01). "تحليل الفترات للتعبيرات متعددة الخطية" . الملاحظات الإلكترونية في علوم الحاسوب النظرية . 267 (2): 43-53 . doi : 10.1016/j.entcs.2010.09.017 . ISSN 1571-0661 . 
  2. أ. جيامبرونو، ميخائيل زايسيف. متطابقات كثيرات الحدود والأساليب التقاربية. مكتبة الجمعية الرياضية الأمريكية، 2005 ISBN 978-0-8218-3829-7القسم 1.3.