‫جامعة قاصدي مرباح ورقلة‬

‫‪----------------------------‬‬

‫كلية الر ياضيات و علوم المادة‬

‫قسم الر ياضيات‬

‫ماستر‬

‫مسار‪ :‬ر ياضيات و إعلام آلي‬

‫فرع‪ :‬ر ياضيات‬

‫تخصص‪ :‬نمدجة وتحليل عددي‬

‫من إعداد الطالبة ‪ :‬زيدي فاطمة‬

‫الموضوع‬

‫طر يقة مو يجات لوجندر في حل معادلات تفاضلية‬

‫‪-‬تكامليةمن رتب كسر ية‬

‫تناقش يوم ‪ 2018/06/07‬من طرف لجنة المناقشة ‪:‬‬

‫رئيسا‬ ‫الرتبة أستاذ مساعد "أ" جامعة قاصدي مرباح ورقلة‬ ‫معمري محمد‬
‫ممتحنا‬ ‫جامعة قاصدي مرباح ورقلة‬ ‫الرتبة أستاذ مساعد "أ"‬ ‫عباسي حسين‬
‫مشرفا‬ ‫جامعة قاصدي مرباح ورقلة‬ ‫الرتبة أستاذ مساعد "أ"‬ ‫بن الشيخ ع‪ /‬الـكريم‬
‫شكر وعرفان‬

‫ا‬
‫إهداء‬

‫ب‬
 ‫الفهـــرس‬

‫‪2‬‬ ‫‪ 1‬التكامل والتفاضل الـكسري‬

‫‪3‬‬ ‫‪ 1.1‬الدوال الخاصة ‪. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .‬‬
‫‪3‬‬ ‫‪ 1.1.1‬دالة غاما ‪. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .‬‬
‫‪4‬‬ ‫‪ 2.1.1‬دالة بيتا ‪. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .‬‬
‫‪4‬‬ ‫‪ 3.1.1‬علاقة دالة بيتا بدالة غاما ‪. . . . . . . . . . . . . . . . . . . . . . . . . . . .‬‬
‫‪5‬‬ ‫‪ 4.1.1‬تكاملات كثيرة يمكن إيجادها بإستعمال الدالتين بيتا وغاما ‪. . . . . . . . . . . . . . .‬‬
‫‪5‬‬ ‫‪ 2.1‬التكامل الـكسري بمفهوم ريمان ليوفيل ]‪. . . . . . . . . . . . . . . . . . . . . . . . . [1‬‬
‫‪5‬‬ ‫‪ 3.1‬التفاضل الـكسري بمفهوم ‪. . . . . . . . . . . . . . . . . . . . . . Riemann-Liouville‬‬
‫‪5‬‬ ‫المشتق الـكسري بمفهوم ‪. . . . . . . . . . . . . . . . . . . . . . . . . . [1] Caputo‬‬ ‫‪4.1‬‬
‫‪6‬‬ ‫‪ 5.1‬مقدمة في المعادلات التكاملية ‪. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .‬‬

‫‪8‬‬ ‫‪ 2‬مو يجات لوجندر وتقريب تابع‬

‫‪9‬‬ ‫‪ 1.2‬لمحة عن المو يجات ‪. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .‬‬
‫‪9‬‬ ‫‪ 1.1.2‬المو يجات ‪. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .‬‬
‫‪9‬‬ ‫‪ 2.1.2‬تعر يف المو يجات ‪. . . . . . . . . . . . . . . . . . . . . . . . . . . Wavlets‬‬
‫‪10‬‬ ‫‪[14] 3.1.2‬التوابع المولّدة من تابع المو يجة ‪. . . . . . . . . . . . . . . . . . . . . . . .‬‬
‫‪11‬‬ ‫تحو يل‪ CWT‬المو يجات المستمر ‪. . . . . . . . . . . . . . . . . . . . . . . . . . . . .‬‬ ‫‪2.2‬‬
‫‪12‬‬ ‫‪ 3.2‬تحو يل المو يجات المتقطع ‪. . . . . . . . . . . . . . . Wavlet(DWT) Discrete Transform‬‬
‫‪13‬‬ ‫‪ 4.2‬التحليل المتعدد الدقة وتابع المقاس ‪. . . . . . . . . . . . . . . . . . . . . . . . . . . .‬‬
‫‪13‬‬ ‫‪. . . . . . . . . . . .‬‬ ‫‪ 1.4.2‬التحليل المتعدد الدقة ‪Analysis(MRA) Multi-Resolution‬‬
‫‪15‬‬ ‫‪ 5.2‬مو يجات لوجندر ‪. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .‬‬
‫‪15‬‬ ‫‪ 1.5.2‬كثيرات حدود ليجاندر ‪. . . . . . . . . . . . . . . . . . . . . . . . . . . .‬‬
‫‪15‬‬ ‫‪ 2.5.2‬تعار يف كثيرات حدود ليجاندر ‪. . . . . . . . . . . . . . . . . . . . . . . . .‬‬
‫‪24‬‬ ‫‪ 3.5.2‬مو يجات لوجندر ‪. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .‬‬
‫‪25‬‬ ‫‪ 4.5.2‬مصفوفة العمليات للتكامل لمو يجات لوجندر ‪. . . . . . . . . . . . . . . . . . . . .‬‬

‫‪28‬‬ ‫‪ 3‬مو يجات لوجندر في حل معادلات تفاضلية ‪-‬تكاملية من رتب كسر ية‬
‫‪29‬‬ ‫‪. . . . . . . . . . . . . . . . . . .‬‬ ‫‪ 1.3‬حل معادلات تفاضلية ‪-‬تكاملية من رتب كسر ية الخطية‬
‫‪31‬‬ ‫‪ 2.3‬حل معادلات تفاضلية ‪-‬تكامليةمن رتب كسر ية الغير خطية ‪. . . . . . . . . . . . . . . . . .‬‬

‫‪I‬‬
‫‪31‬‬ ‫‪. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .‬‬ ‫‪ 3.3‬تقريب الخطأ‬
‫‪35‬‬ ‫‪ 4.3‬تطبيقات عددية ‪. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .‬‬

‫‪II‬‬
 ‫مقدمة‬

‫‪.‬‬
‫في السنوات الأخيرة ‪ ،‬اجتذب حساب التفاضل والتكامل الـكسري العديد من الباحثين بنجاح في مجالات مختلفة من العلوم‬
‫والهندسة‪ .‬أحد المزايا الرئيسية للحساب الـكسري هو أن المشتقات الـكسر ية توفر منهج ًا متفوقًا لوصف الذاكرة و خصائص وراثية‬
‫لمختلف المواد والعمليات ]‪ .[21–9،17،19‬المعادلات التفاضلية الـكسر ية و المعادلات التكاملية الـكسر ية يتم استخدامها لنمذجة‬
‫الـكثير من المشاكل العملية ‪ ،‬مثل المجال الاستقطاب العازلة ‪ ،‬الموجات الـكهرومغناطيسية ‪ ،‬اللزوجة ‪ ،‬ومعادلات الانتشار‬
‫]‪ .[3،6،8،16‬منذ تطبيقاتها الهائلة في العديد من التخصصات ‪ ،‬تم إيلاء اهتمام كبير إلى الحلول الدقيقة والحساسة للمعادلات‬
‫التفاضلية الـكسر ية والتكاملية الـكسر ية حتى تقريب التفاضل الـكسري للدوال الصعبةهو أمر شاق لأنه مشكلة غير متوقعة‬
‫من المهم جدا ً استكشاف طرق الحل لهذه المعادلات التفاضلية الـكسر ية ومعادلات تكاملية كسر ية‪ .‬من أجل الحصول على‬
‫حلول عالية الدقة ‪ ،‬وقد تم اقتراح طرق عددية‪ .‬وتشمل هذه الطرق طر يقة التكرار المتغيرة ]‪ ، [13‬طر يقة التحلل ‪Adomian‬‬
‫]‪ ، [2،5‬وطر يقة التحو يل التفاضلي المعمم ]‪ ، [12،14‬وطر يقة المو يجات ]‪[1،22‬‬
‫في هذه المذكرة‪ ،‬يتمثل الهدف الرئيسي في إدخال طر يقة مصفوفة العمليات الخاصة التي تعمل بطر يقة مو يجات ‪ Legendre‬لحل‬
‫المعادلات التكاملية التفاضلية الـكسر ية الخطية وغير الخطية‪.‬تستند الطر يقة على تحو يل المعادلة إلى جملة معادلات جبر ية عن طر يق‬
‫تمديد الحل كما مو يجات لوجندر مع معاملات غير معروفة‪ .‬خصائص طر يقة العمليات هي التحو يل المعادلة التكاملية التفاضلية‬
‫الى معادلة جبر ية‪ .‬فهي لا تبسط المشكلة فحسب ‪ ،‬بل تسرع أيضا ًعملية الحساب‪.‬‬

‫في هذه المذكرة نتطرق الى ‪:‬‬

‫الفصل الأول‪:‬‬
‫نتطرق فيه الى بعض المفاهيم الأساسيةفي الحساب الـكسري والتي نستعملها في كل من الفصل الثاني والثالث‬
‫الفصل الثاني ‪:‬مقسم الى جزئين‪ :‬الجزء الأول ‪:‬نقدم فيه لمحة عن المو يجات وتحو يل المو يجة المستمر والمتقطع‪,‬‬
‫أما الجزء الثاني نتطرق فيه الى تعر يف كثير حدودلوجندر ومو يجات لوجندر وخصائصها و تقريب تابع لمو يجات لوجندر ودراسة‬
‫مصفوفة العمليات‬
‫الفصل الثالث‪:‬ينقسم الى ‪ 4‬أجزاء‪:‬‬
‫الجزء الأول‪:‬يوضح طر يقة تحو يل المعادلات التفاضلية‪-‬التكاملية ذات الرتب الـكسر ية الخطية والغير خطية الى جملة معادلات غير‬
‫خطية‪.‬‬
‫الجزء الثاني تحليل الخطأ‬
‫الجزء الثالث‪ :‬تطبيق طر يقة مو يجات لوجندر على بعض المعادلات التفاضلية التكاملية ذات الرتب الـكسر ية الخطية و الغير خطية‬
‫ومقارنة النتائج مع الحلول الحقيقية وبعض الحلول الأخرى‪.‬‬

‫‪1‬‬
 ‫الفصل الأول‬

‫التكامل والتفاضل الـكسري‬

‫قائمة المحتو يــات‬

‫‪3‬‬ ‫‪ 1.1‬الدوال الخاصة ‪. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .‬‬

‫‪5‬‬ ‫‪ 2.1‬التكامل الـكسري بمفهوم ريمان ليوفيل ]‪. . . . . . . . . . . . . . . . . . . . . . . . . [1‬‬

‫‪5‬‬ ‫‪ 3.1‬التفاضل الـكسري بمفهوم ‪. . . . . . . . . . . . . . . . . . . . . Riemann-Liouville‬‬

‫‪5‬‬ ‫المشتق الـكسري بمفهوم ‪. . . . . . . . . . . . . . . . . . . . . . . . . . [1] Caputo‬‬ ‫‪4.1‬‬

‫‪6‬‬ ‫‪ 5.1‬مقدمة في المعادلات التكاملية ‪. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .‬‬

‫‪2‬‬
‫التكامل والتفاضل الـكسري‬ ‫الفصل الأول‬

‫الدوال الخاصة‬ ‫‪1.1‬‬

‫نتطرق في هذا الجزء إلى بعض المفاهيم الأساسية للدوال الخاصة التي نعتمد عليها في هذه المذكرة ‪ ,‬وهي‪:‬‬

‫دالة غاما‬ ‫‪1.1.1‬‬

‫تعرف دالة غاما على النحو التالي ‪:‬‬

‫∫‬ ‫‪M‬‬
‫‪Γ(n) = lim‬‬ ‫‪xn−1 e−x dx‬‬ ‫‪n>0‬‬ ‫‪,x ∈ R‬‬
‫∞→‪M 7−‬‬ ‫‪0‬‬

‫فمثلا لإيجاد )‪Γ(2‬‬

‫∫‬ ‫‪M‬‬
‫‪Γ(2) = lim‬‬ ‫‪x2−1 e−x dx‬‬
‫∞→‪M 7−‬‬
‫‪∫0 M‬‬
‫‪= lim‬‬ ‫‪xe−x dx‬‬
‫∞→‪M 7−‬‬ ‫‪0‬‬
‫[‬ ‫‪]M‬‬
‫‪= lim‬‬ ‫‪−xe−x − e−x 0‬‬
‫∞→‪M 7−‬‬
‫(‬ ‫)‬
‫‪M‬‬ ‫‪1‬‬
‫‪= lim‬‬ ‫‪− M − M +0+e‬‬ ‫‪0‬‬
‫∞→‪M 7−‬‬ ‫‪e‬‬ ‫‪e‬‬
‫‪=1‬‬

‫قواعد الأساسية للدالة غاما‪:‬‬

‫‪Γ(n + 1) = nΓ(n) ∀n ̸= 0‬‬ ‫‪.1‬‬

‫!‪Γ(n + 1) = n‬‬ ‫‪ .2‬إذا كانت ‪ n‬عددا صحيحا فإن‪:‬‬

‫√‬
‫= ) ‪Γ( 12‬‬ ‫‪π .3‬‬

‫ملاحظة ‪ 1‬لايمكن إ يجاد )‪ Γ(n‬إذا كان ‪ n‬عددا صحيحا سالبا ‪.‬‬

‫‪Γ(1) = 1,‬‬ ‫∞‪Γ(0+ ) = +‬‬
‫)‪Γ(n‬دالة متناقصة من أجل ‪0 < n ≤ 1‬‬

‫مثال ‪1‬‬
‫‪Γ(4) = 3! = 1 × 2 × 3 = 6‬‬

‫)‪Γ(5‬‬ ‫!‪4‬‬ ‫‪4 × 3! 4‬‬

‫=‬ ‫=‬ ‫‪= =2‬‬
‫‪2Γ(4) 2 × 3! 2 × 3! 2‬‬
‫‪3‬‬
‫التكامل والتفاضل الـكسري‬ ‫الفصل الأول‬
‫∞‪∫ +‬‬
‫‪1‬‬
‫‪x− 2 e−x dx‬‬
‫‪1‬‬
‫= ) (‪Γ‬‬
‫‪2‬‬
‫∞‪∫0 +‬‬
‫‪1‬‬
‫‪e−y dy‬‬
‫‪2‬‬
‫= ) (‪Γ‬‬
‫‪2‬‬
‫∞‪∫0 +‬‬
‫‪1‬‬
‫‪e−x dx‬‬
‫‪2‬‬
‫= ) (‪Γ‬‬
‫‪2‬‬ ‫‪0‬‬
‫[‬ ‫‪]2‬‬ ‫∞‪∫ +∞ ∫ +‬‬
‫‪1‬‬
‫‪e−(x +y ) dxdy‬‬
‫‪2‬‬ ‫‪2‬‬
‫‪Γ( ) = 4‬‬
‫‪2‬‬ ‫‪0‬‬ ‫‪0‬‬
‫[‬ ‫‪]2‬‬ ‫∞‪∫ π ∫ +‬‬
‫‪1‬‬ ‫‪2‬‬
‫‪e−r drdθ = π‬‬
‫‪2‬‬
‫‪Γ( ) = 4‬‬
‫‪2‬‬ ‫‪0‬‬ ‫‪0‬‬
‫‪1‬‬ ‫√‬
‫‪Γ( ) = π‬‬
‫‪2‬‬

‫دالة بيتا‬ ‫‪2.1.1‬‬

‫تعرف الدالة بيتا كمايلي‪:‬‬

‫∫‬ ‫‪1‬‬
‫= )‪B(m, n‬‬ ‫‪xm−1 (1 − x)n−1 dx,‬‬ ‫‪n>0‬‬ ‫‪m>0‬‬
‫‪0‬‬

‫فمثلا لإيجاد‬
‫∫‬ ‫‪1‬‬
‫= )‪B(2, 3‬‬ ‫‪x(1 − x)2 dx‬‬
‫‪∫0 1‬‬
‫=‬ ‫‪x(1 − 2x + x2 )dx‬‬
‫‪∫0 1‬‬
‫‪x2 2x3 x4 1‬‬
‫=‬ ‫= ‪(x − 2x + x )dx‬‬‫‪2‬‬
‫‪−‬‬ ‫‪+ |0‬‬
‫‪3‬‬
‫‪0‬‬ ‫‪2‬‬ ‫‪3‬‬ ‫‪4‬‬
‫‪1 2 1‬‬ ‫‪1‬‬
‫= ‪= − +‬‬
‫‪2 3 4 12‬‬

‫ملاحظة ‪2‬‬
‫)‪B(m, n) = B(n, m‬‬

‫علاقة دالة بيتا بدالة غاما‬ ‫‪3.1.1‬‬

‫)‪Γ(m)Γ(n‬‬
‫= )‪B(m, n‬‬
‫)‪Γ(m + n‬‬
‫‪4‬‬
‫التكامل والتفاضل الـكسري‬ ‫الفصل الأول‬

‫!‪Γ(2)Γ(3) 1!2‬‬ ‫‪1‬‬

‫= )‪B(2, 3‬‬ ‫=‬ ‫=‬
‫)‪Γ(2 + 3‬‬ ‫!‪4‬‬ ‫‪12‬‬

‫تكاملات كثيرة يمكن إ يجادها بإستعمال الدالتين بيتا وغاما‬ ‫‪4.1.1‬‬

‫∫‬ ‫‪π‬‬
‫‪.1‬‬
‫‪2‬‬ ‫‪1‬‬
‫)‪sin2m−1 θ cos2n−1 θdθ = B(m, n‬‬
‫‪0‬‬ ‫‪2‬‬

‫∫‬ ‫‪.2‬‬
‫∞‬ ‫‪p−1‬‬
‫‪x‬‬ ‫‪π‬‬
‫= )‪dx = Γ(p)Γ(1 − p‬‬ ‫‪,‬‬ ‫‪0<p<1‬‬
‫‪0‬‬ ‫‪1+x‬‬ ‫‪sin pπ‬‬

‫‪ 2.1‬التكامل الـكسري بمفهوم ريمان ليوفيل ]‪[1‬‬

‫التكامل الـكسري بمفهوم ريمان ليوفيل يعطى بالعلاقة‪:‬‬
‫∫‬ ‫‪x‬‬
‫‪1‬‬
‫‪α‬‬
‫= )‪J f (x‬‬ ‫‪(x − τ )α−1 f (τ )dτ,‬‬ ‫‪α > 0,‬‬ ‫)‪(1.1‬‬
‫)‪Γ(α‬‬ ‫‪0‬‬

‫)‪J 0 f (x) = f (x‬‬ ‫)‪(2.1‬‬

‫‪ 3.1‬التفاضل الـكسري بمفهوم ‪Riemann-Liouville‬‬

‫لنفرض أن ‪. α, a, t ∈ R , α > 0, t > a‬‬

‫‪‬‬ ‫‪∫t‬‬
‫‪‬‬ ‫‪1‬‬ ‫‪dn‬‬ ‫) ‪f (τ‬‬
‫‪n − 1 < α < n ∈ N,‬‬
‫‪a (t−τ )α+1−n dτ,‬‬
‫= )‪D∗α f (t‬‬ ‫‪Γ(n−α) dtn‬‬
‫)‪(3.1‬‬
‫‪ dn f (t),‬‬ ‫‪α = n ∈ N,‬‬
‫‪dtn‬‬

‫المشتق الـكسري بمفهوم ‪[1] Caputo‬‬ ‫‪4.1‬‬

‫لنفرض أن ‪. α, a, t ∈ R , α > 0‬‬

‫‪‬‬ ‫‪∫x‬‬
‫‪‬‬ ‫‪1‬‬ ‫) ‪f (r) (τ‬‬
‫‪0 ≤ r − 1 < α < r,‬‬
‫‪0 (x−τ )α+1−r dτ,‬‬
‫= )‪Dα f (x‬‬ ‫)‪Γ(r−α‬‬
‫)‪(4.1‬‬
‫‪ dr f (x),‬‬ ‫‪α = r ∈ N,‬‬
‫‪dxr‬‬

‫‪5‬‬
‫التكامل والتفاضل الـكسري‬ ‫الفصل الأول‬

‫مقدمة في المعادلات التكاملية‬ ‫‪5.1‬‬

‫المعادلة التكاملية في علم الر ياضيات هي معادلة حيث يظهر فيها دالة غير م ُعرفة بجوار إشارة التكامل‪ ،‬وهناك‬
‫صلة كبيرة بين المعادلات التكاملية و المعادلات التفاضلية‪ ،‬وفي بعض المسائل يمكن اعادة صياغتها بإحدي‬
‫الطر يقتين‪ ،‬على سبيل المثال معادلات ماكسو يل‪ .‬النوع الأكثر شيوعًا من المعادلات التكاملية يُدعي معادلة‬
‫فريدهولم التكاملية من النوع الأول وتكون علي شكل‪:‬‬
‫∫‬ ‫‪b‬‬
‫= )‪.f (x‬‬ ‫‪K(x, t) φ(t) dt.‬‬
‫‪a‬‬

‫ومن خلال تدوينات العالم جورج براون أركفين فإن ‪ φ‬هي دالة غير معروفة‪ f   ،‬هي دالة معروفة‪ ،‬و ‪ k‬هي‬
‫دالة أخرى من متغيرين معروفة وعادة ما تُدعي دالة كيرنل‪ ،‬و يجب ملاحظة أن نهايات التكامل عبارة عن‬
‫وهذا ما يميز دالة فريدهولم‪.‬‬
‫إذا كانت الدالة الغير معروفة توجد داخل وخارج التكامل فإنها تُدعي دالة فريدهولم التكاملية من النوع الثاني‬
‫وتكون علي شكل‪:‬‬
‫∫‬ ‫‪b‬‬
‫‪φ(x) = f (x) + λ‬‬ ‫‪K(x, t) φ(t) dt.‬‬
‫‪a‬‬
‫حيث المتغير ‪ λ‬هو معامل غير معروف‪ ،‬والذي يلعب نفس دور متجه ذاتي في الجبر الخطي‪.‬‬
‫وإذا كانت إحدى النهايات للتكامل متغيرة القيمة فإنها تُدعى معادلة فولتيرا‪ .‬ومعادلة فولتيرا من النوع الأول‬
‫والثاني تكون على الشكل الآتي بالترتيب‪:‬‬
‫∫‬ ‫‪x‬‬ ‫∫‬ ‫‪x‬‬
‫= )‪f (x‬‬ ‫= )‪K(x, t) φ(t) dtf (x‬‬ ‫‪K(x, t) φ(t) dt‬‬
‫‪a‬‬ ‫‪a‬‬
‫‪∫ x‬‬
‫‪φ(x) = f (x) + λ‬‬ ‫‪K(x, t) φ(t) dt.‬‬
‫‪a‬‬

‫وإذا كانت الدالة   ‪ f‬في المعادلات السابقة تساوي صفرًا فإنها تُدعي معادلة تكاملية متجانسة‪ ،‬وأما إذا كانت‬
‫  ‪ f‬بقيمة غير صفر ية فأنها تُدعي معادلة تكاملية غير متجانسة‪ .‬الحل العددي‬
‫والمعادلات التكاملية ليس لها مدلول إذا عادة لا يكون لها حل تحليلي و يجب أن يتم حلها عدديًا‪ ،‬ومثال‬
‫علي ذلك هو حساب معادلة المجال الـكهربي التكاملية أو معادلة المجال المغناطيسي التكاملية علي جسم م ُشكل‬
‫بإحكام في مسائل التشتت الـكهرومغناطيسي‪.‬‬
‫وهناك طر يقة للحل عدديًا تتطلب متغيرات جديدة واستبدال التكامل بطر يقة التربيع‪.‬‬

‫‪6‬‬
‫التكامل والتفاضل الـكسري‬ ‫الفصل الأول‬

‫∑‬
‫‪n‬‬
‫‪wj K (si , tj ) u(tj ) = f (si ),‬‬ ‫‪i = 0, 1, · · · , n.‬‬
‫‪j=1‬‬

‫من ثم فإننا الآن لدينا نظام بعدد معادلات ‪ n‬ومتغيرات عددها ‪ n‬وعن طر يق حل تلك المعادلات فإننا‬
‫نحصل على قيمة لتلك المتغيرات‪.‬‬
‫‪ u(t0 ), u(t1 ), · · · , u(tn ).‬يتم تصنيف المعادلات التكاملية طبق ًا لثلاث تفرعات ليكون الكل هو ثمان‬
‫أنواع مختلفة‪:‬‬
‫نهايات التكامل كلتا النهايتين ثابتتين‪ :‬معادلة فريدهولم التكاملية‬
‫إحدي النهايات متغيرة‪ :‬معادلة فولتيرا التكاملية‬
‫مكان المعادلة الغير معروفة‬
‫بداخل التكامل فقط‪ :‬النوع الأول‬
‫بداخل وخارج التكامل‪ :‬النوع الثاني‬
‫طبيعة الدالة المعروفة ‪  f‬‬
‫تساوي صفرًا‪ :‬متجانسة‬
‫لا تساوي صفر‪ :‬غير متجانسة‬

‫والمعادلات التكاملية مهمة جدًا في كثير من التطبيقات فكثير ًا ما يتم استخدام المعادلات التكاملية بداخلها‬
‫مثل انتقال الطاقة المشعة و تموجالحبل والأغشية و محور العجلة‪ .‬ومسائل التموج أو التذبذب يمكن أن يتم‬
‫حلها بواسطة المعادلات التفاضلية‪.‬‬
‫ومعادلات فولتيرا وفريدهولم التكاملية كلاهما معادلات تكاملية خطية نتيجة للسلوك الخطي ل ‪ φ‬خلال‬
‫التكامل‪ ،‬ومعادلة فولتيرا الغير خطية يكون لها صيغة عامة على شكل‪:‬‬
‫∫‬ ‫‪x‬‬
‫‪φ(x) = f (x) + λ‬‬ ‫‪K(x, t) F (x, t, φ(t)) dt,‬‬
‫‪a‬‬
‫حيث ‪ F‬دالة معروفة‪.‬‬

‫‪7‬‬
 ‫الفصل الثاني‬

‫مو يجات لوجندر وتقريب تابع‬

‫قائمة المحتو يــات‬

‫‪9‬‬ ‫‪ 1.2‬لمحة عن المو يجات ‪. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .‬‬

‫تحو يل‪ CWT‬المو يجات المستمر ‪11 . . . . . . . . . . . . . . . . . . . . . . . . . . . . .‬‬ ‫‪2.2‬‬

‫‪12 . . . . . . . . . . . . .‬‬ ‫‪ 3.2‬تحو يل المو يجات المتقطع ‪Wavlet(DWT) Discrete Transform‬‬

‫‪ 4.2‬التحليل المتعدد الدقة وتابع المقاس ‪13 . . . . . . . . . . . . . . . . . . . . . . . . . . . .‬‬

‫‪ 5.2‬مو يجات لوجندر ‪15 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .‬‬

‫‪8‬‬
‫مو يجات لوجندر وتقريب تابع‬ ‫الفصل الثاني‬

‫لمحة عن المو يجات‬ ‫‪1.2‬‬

‫المو يجات‬ ‫‪1.1.2‬‬

‫تعر ّف الموجة على أنه ّا تابع تذبذبيّ مثل توابع الجيب والجيب تمام ‪،‬أما المو يجة فهي تعدّ"موجة صغيرة"أي تابع‬
‫يمث ّل ذبذبة واحدة‪.‬‬
‫والسّبب في رواج المو يجات هو فعالي ّتها في تمثيل ومعالجة الإشارات غير المستقرة‪،‬وهي حالة معظم الإشارات‬
‫المطلوب معالجتها عادة‪.‬بالإضافة أيضا إلى تنوعها ‪،‬حيث هناك العديد من المو يجات التي نستطيع أن نختار منها‬
‫مايناسب مسألتنا المعالجة‪،‬والتي أيضا تعطي تنو ّعا في حلول المسائل مم ّا يترك الباب مفتوحا للباحثين لإيجاد‬
‫مو يجات جديدة تعطي نتائج أفضل من المو يجات الحالية‪.‬‬
‫وتع ّد نظر ي ّة المو يجات من الناحية الر ياضية نظر ي ّة مكتملة تقريبا‪،‬ولـكن الأبحاث الحالية تدور حول تطوير‬
‫تطبيقاتها وإيجاد مو يجات جديدة أكثر ملاءمة للمسائل المطروحة في الوقت الرّاهن‪.‬‬

‫المو يجات وتحو يل المو يجات للإشارات المستمرة‬

‫نقدم في هذا الفصل تعر يفا للمو يجات وعرضا لبعض المبرهنات الأساسي ّة ‪،‬وسنقوم أيضا بدراسة تحو يل‬
‫ن المو يجات تعطي‬
‫المو يجات المستمر وتحو يل المو يجات المتقطع للإشارات المستمرة‪،‬وسنجد في هذا الفصل أ ّ‬
‫النتائج المطلوبة في وصف الحالة الفيز يائي ّة للإشارة في حالتي الإشارات المستقرة والإشارات غير المستقرة‪.‬‬

‫تعر يف المو يجات ‪Wavlets‬‬ ‫‪2.1.2‬‬

‫تعر ّف المو يجات بأنّها توابع ذات قيم حقيقي ّة أو عقدي ّة وذات متغي ّر حقيقي )الزمن( ‪ Ψ : R → C‬وتحقق‬
‫عدّة خواص‪:‬‬

‫‪ .1‬تكامل التابع على كامل المحور الحقيقي يساوي الصفر‪.‬‬

‫∫‬ ‫∞‪+‬‬
‫‪Ψ(x)dx = 0‬‬ ‫)‪(1.2‬‬
‫∞‪−‬‬

‫‪ .2‬أن ينتمي إلى الفضاء ‪L2 (R). :‬‬

‫∫‬ ‫∞‪+‬‬
‫∞ < ‪|Ψ(x)|2 dx‬‬ ‫)‪(2.2‬‬
‫∞‪−‬‬

‫نسمي ‪ Ψ‬تابع المو يجة الأم أومو يجة ‪.Wavlet‬‬

‫مبرهنة ‪ 1‬العلاقتان )‪(b‬و)‪ (a‬متكافئتان‪ ,‬وإذا حقق تابع ‪ Ψ‬العلاقة )‪ (c‬فإنه يحقق ‪(b).‬و)‪(a‬‬

‫‪9‬‬
‫مو يجات لوجندر وتقريب تابع‬ ‫الفصل الثاني‬
‫∞‪∫ +‬‬
‫∞‪−‬‬ ‫)‪Ψ(x)dx = 0 (a‬‬

‫)‪Ψ̃(0) = 0 (b‬‬
‫‪∫ +∞ |Ψ̃(w)|2‬‬
‫∞‪−‬‬ ‫‪w‬‬ ‫)‪dw < ∞ (c‬‬

‫حيث ̃‪ Ψ‬هو تحو يل فورييه ل ‪ Ψ.‬ونسمي الشرط)‪ (c‬شرط القبول ‪Admissibility Condition‬‬

‫]‪[14‬التوابع المولّدة من تابع المو يجة‬ ‫‪3.1.2‬‬

‫نعرف أسرة التوابع )‪ Ψa,b (x‬المولدة من تابع المو يجة ‪ Ψ‬بالعلاقة‪:‬‬

‫(‬ ‫)‬
‫‪1‬‬ ‫‪t−b‬‬
‫‪Ψa,b (t) = √ Ψ‬‬ ‫‪; a ∈ R∗ , b ∈ R‬‬ ‫)‪(3.2‬‬
‫‪a‬‬ ‫‪a‬‬
‫حيث ‪ a‬وسيط يدل على المقاس ‪ scale‬و يقيس درجة انضغاط الدالة ‪.‬‬
‫أما ‪ b‬وسيط يدل على الإنسحاب على محور الزمن ‪.‬‬
‫ن‬
‫نلاحظ أ ّ‬
‫)‪Ψ1,0 (t) = Ψ(t‬‬

‫مثال ‪ 2‬الأسرة المولدة بمو يجة القبعة المكسيكي ّة‪:‬‬

‫(‬ ‫)‬ ‫(‬ ‫(‬ ‫‪)2‬‬
‫‪1‬‬ ‫‪t−b‬‬ ‫‪1‬‬ ‫‪t − b ) −( t−b‬‬
‫)‪e a‬‬
‫‪2‬‬
‫‪Ψa,b (t) = √ Ψ‬‬ ‫√=‬ ‫‪1−2‬‬
‫|‪|a‬‬ ‫‪a‬‬ ‫|‪|a‬‬ ‫‪a‬‬

‫‪10‬‬
‫مو يجات لوجندر وتقريب تابع‬ ‫الفصل الثاني‬

‫تحو يل‪ CWT‬المو يجات المستمر‬ ‫‪2.2‬‬

‫ليكن لدينا التابع ‪ L2 (R) ∋ f.‬نعر ّف تحو يل المو يجات المستمر للتابع ‪ f‬بالنسبة للمو يجة ‪ Ψ‬كما يلي ‪:‬‬
‫‪CW T : R∗ × R → C‬‬
‫)‪(4.2‬‬
‫∫‬ ‫(‬ ‫)‬ ‫∫‬
‫∞‪+‬‬
‫‪1‬‬ ‫‪t−b‬‬ ‫∞‪+‬‬
‫= )‪CW T (f ) = W (a, b‬‬ ‫‪f (t) √ Ψ‬‬ ‫= ‪dt‬‬ ‫‪f (t)Ψa,b (t)dt‬‬
‫∞‪−‬‬ ‫|‪|a‬‬ ‫‪a‬‬ ‫∞‪−‬‬

‫تدل ‪ Ψ‬على المرافق العقدي للتابع ‪ Ψ‬و‪ b,a‬أعداد حقيقية و ‪ a ̸= 0‬بما أن ‪ Ψ‬و ‪ f‬ينتميان إلى الفضاء‬
‫‪ L2 (R).‬فيمكننا كتابة‪:‬‬

‫> ‪W (a, b) =< f, Ψa,b‬‬ ‫)‪(5.2‬‬

‫ومن المتراجحة كوشي شوارتز نجد‪:‬‬

‫‪|W (a, b)|2 ≤ ∥f ∥2 ∥Ψa,b ∥2‬‬ ‫)‪(6.2‬‬

‫أي أن تحو يل المو يجات موجود ومحدود لأن التوابع ‪ Ψ‬و ‪ f‬ذات نظيم محدود‪.‬‬
‫ومن تعر يف الإلتفاف نجد أيضا‪:‬‬
‫∫‬ ‫(‬ ‫)‬ ‫∫‬
‫∞‪+‬‬
‫‪1‬‬ ‫‪t−b‬‬ ‫∞‪+‬‬
‫‪1‬‬ ‫) ‪(x‬‬
‫= )‪W (a, b‬‬ ‫‪f (t) √ Ψ‬‬ ‫= ‪dt‬‬ ‫‪f (x + b) √ Ψ‬‬ ‫)‪dx = f ∗ Ψa,0 (−b)(7.2‬‬
‫∞‪−‬‬ ‫|‪|a‬‬ ‫‪a‬‬ ‫∞‪−‬‬ ‫|‪|a‬‬ ‫‪a‬‬

‫‪11‬‬
‫مو يجات لوجندر وتقريب تابع‬ ‫الفصل الثاني‬

‫باعتبار ‪ CWT‬م ِؤثر من الفضاء )‪ L2 (R‬إلى فضاء التوابع لمتغي ّرين حقيقيّين‪ ،‬فإنه يمكن كتابة ‪:‬‬

‫)‪WΨ [f ] ≡ W (a, b‬‬

‫ن ] ‪ WΨ [f‬تعني تحو يل المو يجات المستمر للتابع ‪ f‬بالنسبة للمو يجة ‪Ψ.‬‬
‫أي أ ّ‬

‫‪ 3.2‬تحو يل المو يجات المتقطع ‪Wavlet(DWT) Discrete Transform‬‬

‫وجدنا مما سبق أن ّه لإيجاد تحو يل المو يجات المستمر يجب إجراء التحو يل من أجل جميع مقاسات الإشارة‬
‫وينتج عن هذا كمية كبيرة من المعلومات‪،‬ولـكن ليس جميع هذه المعلومات لازمة لتوصيف الإشارة أي‬
‫ستتولد معلومات كثيرة وزائدة عن الحاجة‪،‬ولهذا تم ّ إيجاد تحو يل المو يجات المتقطّع الذي يجري التحو يل من‬
‫أجل عدد كاف من المقاسات‪.‬‬
‫ن التوابع المولّدة بتابع مو يجة ‪ Ψ‬في التحو يل المستمر تعطي بالعلاقة‪:‬‬
‫وجدنا أ ّ‬
‫(‬ ‫)‬
‫‪1‬‬ ‫‪t−b‬‬
‫‪Ψa,b (t) = √ Ψ‬‬ ‫‪; a ∈ R∗ , b ∈ R‬‬
‫|‪|a‬‬ ‫‪a‬‬
‫وتحو يل المو يجات المستمر لتابع‬
‫)‪ f ∋ L2 (R‬بالنسبة ل ‪ Ψ‬يعطي بالعلاقة‪:‬‬
‫∫‬ ‫(‬ ‫)‬ ‫∞‪∫ +‬‬
‫∞‪+‬‬
‫‪1‬‬ ‫‪t−b‬‬
‫= )‪CW T (f ) = W (a, b‬‬ ‫‪f (t) √ Ψ‬‬ ‫= ‪dt‬‬ ‫‪f (t)Ψa,b (t)dt‬‬
‫∞‪−‬‬ ‫|‪|a‬‬ ‫‪a‬‬ ‫∞‪−‬‬

‫أي لإيجاد تحو يل المو يجات لتابع نحن بحاجة إلى معرفة )‪ W (a, b‬على الساحة ‪ R∗ ×R‬وهذا مكلف حسابيا‪.‬‬
‫فالحل هو حساب التحو يل من أجل قيم محددة‪ .‬نأخذ قيم خاصة ل ‪a, b‬‬

‫‪a = {a−j‬‬ ‫‪−j‬‬

‫‪0 }j∈Z ; b = {ka0 b0 }j,k∈Z‬‬ ‫)‪(8.2‬‬

‫ومنه‪:‬‬
‫(‬ ‫)‬
‫‪t‬‬ ‫‪− ka−j‬‬
‫‪0 b0‬‬
‫)‪(9.2‬‬
‫‪j‬‬ ‫‪j‬‬
‫‪Ψj,k (t) = a0 Ψ‬‬ ‫‪2‬‬
‫) ‪= a02 Ψ(aj0 t − kb0‬‬
‫‪a−j‬‬
‫‪0‬‬

‫حيث ‪ a0 > 1, b0 > 0‬قيم ثابتة‪ .‬ونأخذ غالبا ‪) a0 = 2, b0 = 1‬حسب العالم شانون(‪ .‬وتصبح التوابع‬
‫المولدة من المو يجات المستخدمة في هذا التحو يل هي‪:‬‬

‫)‪(10.2‬‬
‫‪j‬‬
‫)‪Ψj,k (t) = 2 2 Ψ(2j t − k‬‬

‫‪12‬‬
‫مو يجات لوجندر وتقريب تابع‬ ‫الفصل الثاني‬

‫و يكون تحو يل المو يجات المتقطع معر ّفا بالعلاقة‪:‬‬

‫∫‬ ‫∞‪+‬‬ ‫∫‬ ‫∞‪+‬‬
‫)‪(11.2‬‬
‫‪j‬‬
‫= ) ‪DW T (f‬‬ ‫= ‪f (t)2 Ψ(2 t − k)dt‬‬
‫‪2‬‬ ‫‪j‬‬
‫‪f (t)Ψj,k (t)dt; j, k ∈ Z‬‬
‫∞‪−‬‬ ‫∞‪−‬‬

‫ن التحو يل المتقطّع‬
‫أي أن الفرق الأساسي بين تحو يل المو يجات المتقطع وتحو يل المو يجات المستمر هو أ ّ‬
‫يستخدم عددا محددا من المقاسات بدلا من إجراءالتحو يل من أجل كافة المقاسات وينتج عن التحو يل‬
‫كمي ّة كافي ّة من المعلومات بحيث يكون زمن الحساب قليلا مع الحفاظ على المعلومات الأساسي ّة الموصّفة‬
‫للإشارة)أي دون خسارة معلومات هامة(‪.‬‬
‫{‬ ‫}‬
‫تعر يف ‪ [10] 1‬نقول عن المو يجة ‪ Ψ‬أنّها مو يجة متعامدة منظمة إذا كانت المجموعة‬
‫‪j‬‬
‫)‪Ψj,k = 2 2 Ψ(2 t − k‬‬
‫‪j‬‬
‫‪j,k∈Z‬‬
‫متعامدة ومنظمة في الفضاء )‪L2 (R‬‬

‫التحليل المتعدد الدقة وتابع المقاس‬ ‫‪4.2‬‬

‫ومرشحة المقاس وعرض بعض المبرهنات‬

‫ّ‬ ‫سنقوم في هذا الفصل بتعر يف التحليل المتعدد الدق ّة وتابع المقاس‬
‫والخواص الهامة‪.‬‬
‫مرشحة مقاس‪،‬وسنعرض‬
‫ن لكل تحليل متعدد الدقة تابع مقاس تعر يفا والذي بدوره يعر ّف ّ‬
‫وسنجد في هذا الفصل أ ّ‬
‫بعض المبرهنات التي تبين أنّنا نستطيع إيجاد تحليل متعدد الدقة انطلاقا من تابع مقاس وسنوجد الخواص‬
‫اللازمة لـكي تولد المرشحة تابع مقاس‪.‬‬

‫‪ 1.4.2‬التحليل المتعدد الدقة ‪Analysis(MRA) Multi-Resolution‬‬

‫ن التحليل المتعدد الدقة )‪ (MRA‬عبارة عن متتالية ‪ {Vj }j∈Z‬من الفضاءات الجزئية من الفضاء )‪L2 (R‬‬
‫إ ّ‬
‫بحيث تحقق الخواص التالية‪:‬‬

‫)‪ (1‬الفضاءات المتداخلة أي‪:‬‬

‫‪∀j ∈ Z : Vj ⊂ Vj+1‬‬

‫)‪ (2‬يشكل اجتماع هذه الفضاءات مجموعة كثيفة في )‪ L2 (R‬أي‪:‬‬

‫∪‬
‫)‪Vj = L2 (R‬‬
‫‪j∈Z‬‬

‫‪13‬‬
‫مو يجات لوجندر وتقريب تابع‬ ‫الفصل الثاني‬

‫)‪ (3‬تقاطع هذه الفضاءات يقتصر على العنصر الصفري ‪.‬أي‪:‬‬

‫∩‬
‫}‪Vj = {0‬‬
‫‪j∈Z‬‬

‫)‪ (4‬تتحقق العلاقة التالية‪:‬‬

‫‪f (x) ∈ Vj ⇔ f (2x) ∈ Vj+1 ⇔ f (2−j x) ∈ V0‬‬

‫)‪ (5‬يوجد تابع ‪ V0 ∈ φ‬بحيث تشكل المجموعة ‪ {φ(x − k)}k∈Z‬قاعدة متعامدة منظّمةل ‪ V0‬نسمي ‪φ‬‬
‫تابع المقاس المرتبط بالتحليل المتعدد الدقة ‪ {Vj }j∈Z‬أو تابع المو يجة الأب‪.‬‬

‫‪14‬‬
‫مو يجات لوجندر وتقريب تابع‬ ‫الفصل الثاني‬

‫مو يجات لوجندر‬ ‫‪5.2‬‬

‫كثيرات حدود ليجاندر‬ ‫‪1.5.2‬‬

‫تعار يف كثيرات حدود ليجاندر‬ ‫‪2.5.2‬‬

‫التعر يف المباشر لـكثيرات حدود ليجاندر ‪:‬‬

‫كثيرات حدود ليجاندر هي كثيرات الحدود المعرفة على الفتر ]‪ [1, −1‬بالعلاقة‪:‬‬
‫‪n‬‬
‫∑‬
‫]‪[2‬‬
‫!)‪(2n − 2k‬‬
‫= )‪P0 (x) = 1, Pn (x‬‬ ‫‪(−1)k‬‬ ‫)‪(2x)n−2k . (n ≥ 1) (12.2‬‬
‫‪2n k!(n‬‬‫!)‪− k)!(n − 2k‬‬
‫‪k=0‬‬

‫حيث ] [ تعني الجزء الصحيح‪ Pn (x) .‬كثيرات الحدود من الدرجة ‪ n‬للمتغير ‪.x‬‬

‫‪n!! = n(n − 2)(n − 4) . . . 2, (n = 2k),‬‬

‫‪n!! = n(n − 2)(n − 4) . . . 3.1(n = 2k + 1).0! = 0!! = 1‬‬
‫هذا نورد كثيرات الحدود هذه من )‪ P0 (X‬وحتى )‪P10 (X‬‬

‫‪P0 (x) = 1,‬‬

‫‪P1 (x) = x,‬‬
‫‪1‬‬
‫‪P2 (x) = (3x2 − 1),‬‬
‫‪2‬‬
‫‪1‬‬
‫‪P3 (x) = (5x3 − 3x),‬‬
‫‪2‬‬
‫‪1‬‬
‫‪P4 (x) = (35x4 − 30x2 + 3),‬‬
‫‪8‬‬
‫‪1‬‬
‫‪P5 (x) = (63x5 − 70x3 + 15x),‬‬
‫‪8‬‬
‫‪1‬‬
‫‪P6 (x) = (23x6 − 315x4 + 15x2 − 5),‬‬
‫‪16‬‬
‫‪1‬‬
‫‪P7 (x) = (1287x7 − 2049x5 + 945x3 − 105x),‬‬
‫‪48‬‬
‫‪1‬‬
‫= )‪P8 (x‬‬ ‫‪(1237x8 − 16024x6 + 630x4 − 1260x2 + 35),‬‬
‫‪128‬‬
‫‪1‬‬
‫= )‪P9 (x‬‬ ‫‪(35530x9 − 51480x7 + 4036x5 − 105x3 + 630x),‬‬
‫‪256‬‬
‫‪4‬‬
‫= )‪P10 (x‬‬ ‫‪(24086x10 − 109395x8 + 360360x6 − 30030x4 + 3465x2 − 36).‬‬
‫‪256‬‬

‫‪15‬‬
‫مو يجات لوجندر وتقريب تابع‬ ‫الفصل الثاني‬

‫شكل ‪ :1.2‬تمثيل لبعض حدوديات ليجاندر‬

‫تعر يف كثيرات حدود ليجاندر بالاشتقاق ‪:‬‬

‫يمكن تعر يف كثير حدود ليجاندر من خلال المبرهنة التالية‪:‬‬

‫مبرهنة ‪ 2‬تعطى كثيرات حدود ليجاندر من أ جل ]‪ x ∈ [−1, 1‬بعلاقة رودريدج‬

‫‪dn 2‬‬
‫‪Xn (x) = Cn n (x − 1)n‬‬ ‫‪n ≥ 0.‬‬ ‫)‪(13.2‬‬
‫‪dx‬‬
‫حيث الثوابث ‪ Cn‬كيفية كما يمكن أن تأخد قيما معطاة بشكل ملائم‪.‬‬

‫الإثبات ‪ 1‬كثير الحدود )‪ Xn (x‬لها ‪ n‬جدر محتوى في المجال ]‪ [−1, 1‬ولليسر نضع ‪ Cn = 1‬عندها من‬
‫الواضح أن ‪ (x2 − 1)n = (x − 1)n (x + 1)n‬والمشتقات لهذا الحد من المراتب ‪0, 1, 2, . . . , n − 1‬‬
‫تنعدم في النقطتين ‪ x = 1, x = −1‬وعندها حسب مبرهنة " رول" ينعدم المشتق الأول في نقطتين تقعان‬
‫بين ‪ 1‬و ‪ −1‬وأيضا إعتمادا غلى نفس المبرهنة فإن المشتق الثاني ينعدم في نقطتين تقعان بين ‪ 1‬و ‪ −1‬وهكذا‬
‫· · · اعتمادا على نفس المبرهنة المشتق الثاني من المرتبة ‪ n − 1‬ينعدم في ‪ n − 1‬نقطة أي له ‪ n − 1‬جذرا‬

‫‪16‬‬
‫مو يجات لوجندر وتقريب تابع‬ ‫الفصل الثاني‬

‫و جميع هذه الجذور تقع بين ‪ 1‬و ‪ −1‬وحسب قاعدة "لايبنتز" في الإشتقاق يمكن أن نكتب العلاقة‬

‫‪dn (x2 − 1)n‬‬ ‫)‪n d (x − 1‬‬

‫‪n‬‬ ‫‪n‬‬ ‫‪n n−1‬‬
‫‪1 d(x + 1) d‬‬ ‫‪(x − 1)n‬‬
‫=‬ ‫‪(x‬‬ ‫‪+‬‬ ‫)‪1‬‬ ‫‪+‬‬ ‫‪C‬‬ ‫‪n‬‬
‫‪dxn‬‬ ‫‪dx‬‬
‫‪n‬‬
‫‪n‬‬
‫‪n‬‬
‫‪dx‬‬ ‫‪dxn−1‬‬
‫)‪d (x + 1‬‬
‫‪+··· +‬‬ ‫‪(x − 1)n‬‬
‫‪dxn‬‬
‫) (‬ ‫!‪n‬‬
‫= ‪ Cnk = nk‬وعن هذا ينتج أن !‪ Xn (1) = 2n n‬و !‪Xn (−1) = (−1)n 2n n‬‬ ‫بإعتبار‬
‫!)‪k!(n − k‬‬
‫‪1‬‬
‫لذا بإختيار الثابت بالشكل ‪ Cn = n‬نجد كثير حدود نرمز لها بالرمز )‪ Pn (x‬تعطى بالعلاقة التالية‪:‬‬
‫!‪2 n‬‬
‫‪1 dn (x2 − 1)n‬‬
‫‪Pn (x) = n‬‬ ‫)‪(n ≥ 0‬‬ ‫)‪(14.2‬‬
‫!‪2 n‬‬ ‫‪dxn‬‬
‫ملاحظة ‪ 3‬يمكن الحديث على كثيرات حدود ليجاندر المعرفة على الفترة ]‪ [a, b‬والتي تعطى بالشكل التالي ‪:‬‬

‫] ‪1 dn [(x − a)n (x − b)n‬‬

‫‪Pn (x) = n‬‬ ‫‪.‬‬ ‫)‪(15.2‬‬
‫!‪2 n‬‬ ‫‪dxn‬‬
‫يمكن تطبيق دستور لايبنتز على هذه العلاقة لإعطائها بتعبير مماثل للتعبير الذي أوردناه أعلاه‪.‬‬

‫ملاحظة ‪ 4‬يمكن اختيار التحو يل الخطي‬

‫‪x = αt + β‬‬ ‫)‪(16.2‬‬

‫للإنتقال من الشكل )‪ (15.2‬إلى الشكل )‪ (14.2‬بعد ضربه بثابث ملائم وعندها بوضع‪ x = b :‬من أجل‬
‫‪ t = 1‬و ‪ x = a‬من أجل ‪ t = −1‬نجد المعادلتين‬

‫‪a = −α + β,‬‬ ‫)‪(17.2‬‬

‫‪b=α+β‬‬ ‫)‪(18.2‬‬

‫ومن المعادلتين )‪ (17.2)،(18.2‬نجد‬

‫‪a+b‬‬
‫=‪β‬‬ ‫)‪(19.2‬‬
‫‪2‬‬

‫‪b−a‬‬
‫=‪α‬‬ ‫)‪(20.2‬‬
‫‪2‬‬

‫‪17‬‬
‫مو يجات لوجندر وتقريب تابع‬ ‫الفصل الثاني‬

‫و بتعو يض المعادلتين )‪ (19.2‬و )‪ (20.2‬في المعادلة )‪ (16.2‬يأخد التحو يل الخطي الشكل التالي‪:‬‬

‫‪b−a‬‬ ‫‪b+a‬‬
‫=‪x‬‬ ‫‪t+‬‬ ‫‪,‬‬ ‫)‪(21.2‬‬
‫‪2‬‬ ‫‪2‬‬
‫وعندها من المعادلة )‪ (21.2‬نجد المعادلتين التاليتين‪:‬‬
‫‪b−a‬‬
‫=‪x−b‬‬ ‫)‪(t − 1‬‬ ‫)‪(22.2‬‬
‫‪2‬‬

‫‪b−a‬‬
‫=‪x−a‬‬ ‫‪(t + 1),‬‬ ‫)‪(23.2‬‬
‫‪2‬‬
‫بضرب المعادلة )‪ (22.2‬في المعادلة )‪ (23.2‬و في الأخير نجد‪:‬‬
‫(‬ ‫‪)2‬‬
‫‪b−a‬‬
‫= )‪. (x − a)(x − b‬‬ ‫)‪(t2 − 1) = c(t2 − 1‬‬ ‫)‪(24.2‬‬
‫‪2‬‬
‫يمكن إعطاء كثيرات حدود ليجاندر بالمبرهنة التالية‪:‬‬

‫مبرهنة ‪ 3‬كثيرات حدود ليجاندر )‪ Pn (x‬المعرفة على الفترة ]‪ [−1, 1‬يمكن إعطاؤها بالشكل‬
‫∑‬ ‫(‬ ‫)‬ ‫(‬ ‫)‬
‫‪n‬‬
‫‪( k )2 x − 1 n−k x + 1 k‬‬
‫= )‪Pn (x‬‬ ‫‪Cn‬‬ ‫)‪(25.2‬‬
‫‪2‬‬ ‫‪2‬‬
‫‪k=0‬‬

‫الإثبات ‪ 2‬وجدنا أن‬

‫[‬ ‫]‬
‫‪n‬‬ ‫) (‬
‫‪1‬‬
‫‪2‬‬
‫∑‬ ‫‪(2x)n−2k‬‬
‫‪2 n−k‬‬
‫= )‪Pn (x‬‬ ‫‪(−1)k‬‬ ‫)‪(26.2‬‬
‫!)‪k!(n − 2k‬‬
‫‪k=0‬‬

‫ونعلم أن‬
‫) (‬
‫‪1‬‬
‫‪(2m)! = 22m‬‬ ‫!‪m‬‬
‫‪2 m‬‬
‫أي‬
‫) (‬
‫!)‪(2m‬‬ ‫‪1‬‬
‫‪= 22m‬‬ ‫)‪(27.2‬‬
‫!‪m‬‬ ‫‪2 m‬‬

‫) (‬ ‫حيث أن‬
‫‪1‬‬ ‫‪(2m − 1)!! 1 3 5‬‬ ‫‪2m − 1‬‬
‫=‬ ‫=‬ ‫·‬ ‫·‬ ‫·‬
‫‪2 m‬‬ ‫‪2m‬‬ ‫‪222‬‬ ‫‪2‬‬
‫‪18‬‬
‫مو يجات لوجندر وتقريب تابع‬ ‫الفصل الثاني‬

‫ومن أجل ‪ m = n − k‬في المعادلة )‪ (27.2‬نجد‬

‫) (‬
‫!)‪(2n − 2k‬‬ ‫‪2n−2k‬‬ ‫‪1‬‬
‫‪=2‬‬
‫!)‪(n − k‬‬ ‫‪2 n−k‬‬
‫ومنه‬
‫) (‬
‫‪1‬‬ ‫!)‪(2n − 2k‬‬
‫‪2‬‬‫‪n−2k‬‬
‫‪= n‬‬ ‫)‪(28.2‬‬
‫!)‪2 n−k 2 (n − k‬‬

‫وبتعو يض العلاقة )‪ (28.2‬في العلاقة )‪ (26.2‬نستنتج أن‪:‬‬

‫[‬ ‫]‬
‫‪n‬‬
‫‪2‬‬
‫∑‬ ‫‪(2n − 2k)!xn−2k‬‬
‫= )‪Pn (x‬‬ ‫‪(−1) n‬‬ ‫‪k‬‬
‫)‪(29.2‬‬
‫!)‪2 k!(n − k)!(n − 2k‬‬
‫‪k=0‬‬

‫‪d‬‬
‫= ‪ D‬نجد أن‬ ‫وبإستخدام الرمز‬
‫‪dx‬‬
‫‪m!X m−s‬‬
‫= ‪DsX m‬‬ ‫‪,‬‬ ‫)‪(30.2‬‬
‫!)‪(m − s‬‬

‫ومنه من أجل ‪ m = 2n − 2k, s = n‬و ‪ X = x‬نجد‬

‫‪(2n − 2k)!xn−2k‬‬
‫‪D x‬‬ ‫‪n 2n−2k‬‬
‫=‬ ‫)‪(31.2‬‬
‫!)‪(n − 2k‬‬
‫وبتعو يض العلاقة )‪ (31.2‬في العلاقة )‪ (29.2‬ينتج عن هذا‬
‫[‬ ‫]‬
‫‪n‬‬
‫‪2‬‬
‫∑‬ ‫‪Dn x2n−2k‬‬
‫= )‪Pn (x‬‬ ‫‪(−1) n‬‬ ‫‪k‬‬
‫)‪(32.2‬‬
‫!!)‪2 k!(n − k‬‬
‫‪k=0‬‬

‫إذا‬
‫[‬ ‫]‬
‫‪n‬‬
‫‪2‬‬
‫∑‬
‫‪Dn‬‬
‫‪Pn (x) = n‬‬ ‫‪(−1)k Cnk x2n−2k‬‬ ‫)‪(33.2‬‬
‫!‪2 n‬‬
‫‪k=0‬‬
‫]‪[n‬‬ ‫!‪n‬‬
‫و ‪ 0 ≤ 2n − 2k < n‬فإن‪:‬‬ ‫ومن أجل ‪< k ≤ n,‬‬ ‫= ‪Cnk‬‬ ‫حيث‬
‫‪2‬‬ ‫!)‪k!(n − k‬‬

‫‪19‬‬
‫مو يجات لوجندر وتقريب تابع‬ ‫الفصل الثاني‬

‫‪ . Dn x2n−2k = 0‬العلاقة الأخيرة لـكثير الحدود )‪ Pn (x‬تأخذ الشكل‬

‫[‬ ‫]‬
‫‪n‬‬
‫‪2‬‬
‫∑‬
‫‪Dn‬‬
‫= )‪Pn (x‬‬ ‫‪(−1)k Cnk x2n−2k‬‬
‫!‪2n n‬‬
‫‪k=0‬‬ ‫)‪(34.2‬‬
‫‪1‬‬
‫)‪= n Dn (x2 − 1‬‬
‫!‪2 n‬‬
‫‪1‬‬
‫] ‪= n Dn [(x − 1)n (x + 1)n‬‬
‫!‪2 n‬‬
‫التي تسمى "علاقة رودريدج" وبعد الأخذ بعين الإعتبار " علاقة لايبنتز" في الإشتقاق التي هي‬

‫∑‬
‫‪n‬‬
‫(‬ ‫()‬ ‫)‬
‫‪n‬‬
‫= ) ‪D (U, V‬‬ ‫‪Cnk Dk U Dn−k V‬‬ ‫)‪(35.2‬‬
‫‪k=0‬‬

‫بفرض ‪U = (x − 1)n , V = (x + 1)n‬‬

‫‪ X m = V‬أي ‪ m = n‬و ‪ s = n − k‬وبالتعو يض في العلاقة )‪ (30.2‬نجد‬ ‫نضع‬

‫‪n!(x + 1)k‬‬
‫‪D‬‬ ‫‪n−k‬‬
‫‪V =D‬‬ ‫‪n−k‬‬
‫= )‪(x + 1‬‬ ‫‪n‬‬
‫)‪(36.2‬‬
‫!)‪(k‬‬

‫وبوضع ‪ X m = U‬أي ‪ m = n‬و ‪ s = k‬وبالتعو يض كذالك في العلاقة )‪ (30.2‬نجد‬

‫‪n!(x − 1)n−k‬‬
‫= ‪Dk U n = Dk (x − 1)n‬‬ ‫)‪(37.2‬‬
‫!)‪(n − k‬‬

‫وكذالك بتعو يض العلاقتين )‪ (37.2) (36.2‬في العلاقة )‪ (35.2‬نجد‬

‫∑‬
‫‪n‬‬
‫‪n!(x‬‬ ‫‪− 1)n−k n!(x + 1)k‬‬
‫= ] )‪D (U, V ) = D [ (x − 1) (x + 1‬‬
‫‪n‬‬ ‫‪n‬‬ ‫‪n‬‬ ‫‪n‬‬
‫‪Cnk‬‬ ‫)‪(38.2‬‬
‫!)‪(n − k‬‬ ‫!)‪(k‬‬
‫‪k=0‬‬

‫وفي الأخير بتعو يض العلاقة )‪ (38.2‬في العبارة الأخيرة من العلاقة )‪ (34.2‬نجد العلاقة التالية‪:‬‬

‫‪1 ∑ k n!(x − 1)n−k n!(x + 1)k‬‬

‫‪n‬‬
‫‪Pn (x) = n‬‬ ‫‪Cn‬‬ ‫)‪(39.2‬‬
‫!‪2 n‬‬ ‫!)‪(n − k‬‬ ‫!)‪(k‬‬
‫‪k=0‬‬

‫والتي يمكن كتبتها بالشكل )‪ (25.2‬والمبرهنة قد أثبتت‪.‬‬

‫ملاحظة ‪ 5‬الشكل )‪ (13.2‬هو تعبير آخر للعلاقة )‪. (25.2‬‬

‫‪20‬‬
‫مو يجات لوجندر وتقريب تابع‬ ‫الفصل الثاني‬

‫تعر يف كثيرات حدود ليجاندر بالمكاملة ‪:‬‬

‫يمكن تعر يف كثيرا حدود ليجاندر اعتمادا على المكاملة بالمبرهنة التالية‪:‬‬

‫مبرهنة ‪ 4‬تعرف كثير حدود ليجاندر من الدرجة ‪ n‬من أجل ]‪ x ∈ [a, b‬بدلالة كثير حدود من الدرجة‬
‫‪ 2n‬نرمز لها بالرمز )‪ . R(x) = R2n (x‬و بحيث لكل كثير حدود )‪ Q(x‬من كثيرات حدود ليجاندر التي‬
‫هي من درجة أقل من ‪ n‬يتحقق أن‬
‫∫‬ ‫‪b‬‬
‫‪Rn (x)Qn (x)dx = 0‬‬ ‫)‪(40.2‬‬
‫‪a‬‬
‫و‬
‫)‪(41.2‬‬
‫‪R(a) = R′ (a) = · · · = R(n−1) (a) = 0, R(b) = R′ (b) = · · · = R(n−1) (b) = 0.‬‬

‫الإثبات ‪ 3‬يمكن ايجاد كثير حدود )‪ Xn (x‬من الدرجة ‪ n‬معرفة من أجل ]‪ x ∈ [a, b‬باعتبار ‪ a, b‬ثابثان‬
‫اختيار يان و بحيث لكل كثير حدود )‪ Qn (x‬أقل من ‪ n‬ومعرفة على نفس المجال يتحقق أن‬
‫‪∫ b‬‬
‫‪Xn (x)Qn (x)dx = 0‬‬
‫‪a‬‬

‫إن لكل كثير حدود )‪ Xn (x‬من الدرجة ‪ n‬يمكن النظر إليها كمشتق من الدرجة ‪ n‬لـكثير حدود من الدرجة‬
‫‪ 2n‬ولتكن )‪ . Rn (x‬أو أن )‪ Rn (x‬يمكن الحصول عليها من )‪ Xn (x‬بالمكاملة ‪ n‬مرة متتالية وفي كل‬
‫مرة نختار ثابت التكامل بحيث أن ‪ R(a) = R′ (a) = · · · = R(n−1) (a) = 0‬ولهذا تؤول المسألة إلى‬
‫ايجاد كثير الحدود )‪ Rn (x‬الذي يحقق الشرط )‪ (40.2‬لكل كثير حدود )‪ Qn (x‬من درجة أقل من ‪n‬‬
‫وباجراء مكاملة الطرف الأيسر في )‪ (40.2‬بالتجزئة نجد‬
‫∫‬ ‫‪b‬‬
‫‪Rn (x)Qn (x)dx = [Q(x)Rn−1 (x) − Q′ (x)Rn−2 (x) + · · · + (−1)n−1 Q(x)n−1 R(x)]ba‬‬
‫‪a‬‬
‫‪∫ b‬‬
‫‪n‬‬
‫)‪+ (−1‬‬ ‫‪Qn (x)R(x)dx‬‬
‫‪a‬‬

‫وإذا أخدنا )‪ (41.2‬بعين الإعتبار كون ‪ Qn (x) ≡ 0‬لكل كثير حدود درجته أصغر من ‪ n‬فإننا نجد أن‬
‫‪Q(b)Rn−1 (b) − Q′ (b)Rn−2 (b) + · · · + (−1)n−1 Q(b)n−1 R(b) = 0‬‬
‫والقيم )‪ Q(b), Q′ (b), Qn (b), · · · , Qn−1 (b‬هي قيم عددية كيفية وهكذا نجد علاقات التساوي‬
‫‪ R(b) = R′ (b) = Rn (b) = · · · = Rn−1 (b) = 0‬ومنه نجد أن لـكثير الحدود )‪ R(x‬الجدران ‪a, b‬‬
‫من المرتبة ‪ n‬و يكون له الشكل ‪ R(x) = (x − a)n (x − b)n‬وبالتالي نجد أن‬
‫] ‪dn [(x − a)n (x − b)n‬‬
‫‪Xn (x) = Cn‬‬
‫‪dxn‬‬
‫‪21‬‬
‫مو يجات لوجندر وتقريب تابع‬ ‫الفصل الثاني‬

‫‪1‬‬
‫= ‪ Cn‬نجد )‪ (15.2‬وعادة نختار ‪ P0 (x) = 1‬من تعر يف‬ ‫أو باختيار ‪ a = −1, b = 1‬و‬
‫!‪2n n‬‬
‫كثيرات حدود ليجاندر فإن‬
‫∫‬ ‫‪1‬‬
‫‪Pn (x)Qn (x)dx = 0‬‬
‫‪−1‬‬

‫حيث )‪ Qn (x‬كثيرات حدود ليجاندر التي هي من درجات أقل من ‪ n‬ولهذا فإنه من أجل ‪ m ̸= n‬نجد‬
‫∫‬ ‫‪1‬‬
‫‪Pn (x)Qm (x)dx = 0‬‬
‫‪−1‬‬

‫لـكن من أجل ‪ m = n‬وبالمكاملة بالتجزئة نجد‬

‫∫‬ ‫∫‬
‫‪1‬‬
‫‪dn (x2 − 1)n dn (x2 − 1)n‬‬
‫‪1‬‬
‫‪Pn2 (x)dx‬‬ ‫=‬ ‫‪dx‬‬
‫‪−1‬‬ ‫‪−1‬‬ ‫‪dxn‬‬ ‫‪dxn‬‬
‫‪∫ 1 2n 2‬‬
‫‪dx (x − 1)n 2‬‬
‫)‪= (−1‬‬ ‫‪n‬‬
‫‪2n‬‬
‫‪(x − 1)n dx‬‬
‫‪−1‬‬ ‫‪dx‬‬
‫‪∫ 1‬‬
‫‪2‬‬
‫!)‪= 2(2n‬‬ ‫= ‪(1 − x2 )n dx‬‬ ‫‪.‬‬
‫‪−1‬‬ ‫‪2n + 1‬‬

‫التعر يف من خلال الدوال المولدة ‪:‬‬

‫تعر يف كثيرات حدود ليجاندر اعتمادا على الدالة المولدة نورده في المبرهنة التالية‪:‬‬

‫مبرهنة ‪ 5‬تعطى كثيرات حدود ليجاندر بدلالة الدالة المولدة وفق العلاقة التالية‪:‬‬
‫∑‬ ‫∞‬
‫‪1‬‬
‫= )‪G(t, x‬‬ ‫=‬ ‫‪(1‬‬ ‫‪−‬‬ ‫‪2xt‬‬ ‫‪+‬‬ ‫‪t‬‬‫‪2 −1/2‬‬
‫)‬ ‫=‬ ‫‪Pn (x)tn .‬‬ ‫)‪(42.2‬‬
‫) ‪= (1 − 2xt + t‬‬
‫‪2‬‬ ‫‪1/2‬‬
‫‪n=0‬‬

‫الإثبات ‪ 4‬لننشر الدالة )‪ G(t, x‬وفق ثنائي الحد حيث نجد‬

‫‪G(t, x) = (1 − 2xt + t2 )−1/2‬‬

‫‪= [1 − (2x + t)t]−1/2‬‬
‫‪−1‬‬ ‫‪−3‬‬
‫×‬
‫‪= −1[−t(2x − t)] +‬‬ ‫‪2‬‬ ‫‪2‬‬
‫‪+ [−t2 (2x − t)2 ] + . . .‬‬
‫!‪2‬‬
‫∞‬
‫∑‬ ‫!!)‪(−1)r (2r + 1‬‬
‫=‬ ‫‪(−1)r tr (2x − t)r‬‬
‫‪r=0‬‬
‫‪2n‬‬ ‫!‪· r‬‬
‫∑‬‫∞‬ ‫∞‬
‫‪(2r)! ∑ r‬‬
‫=‬ ‫‪C (−1)q tr (2x)r−q‬‬
‫‪r=0‬‬
‫‪2r · r! q=0 q‬‬

‫‪22‬‬
‫مو يجات لوجندر وتقريب تابع‬ ‫الفصل الثاني‬

‫والمعاملات أمام ‪ tn‬هي‬

‫‪n‬‬
‫∑‬
‫]‪[2‬‬
‫‪(−1)( 12 )n‬‬
‫= )‪Pn (x‬‬ ‫‪(2x)k−2n‬‬
‫!)‪k!(n − 2k‬‬
‫‪k=0‬‬
‫وبهذا يتم ا لاثبات ‪.‬‬

‫نلاحظ أن كثيرات الحدود الناتجة هي كثيرات الحدود من الدرجة ‪ n‬لهذا نكتب‬

‫‪(2)( 21 )n n‬‬
‫= )‪Pn (x‬‬ ‫‪x + πn−2 (x),‬‬
‫!‪n‬‬
‫حيث ‪ πn−2‬كثيرات حدود من الدرجة ‪ n − 2‬أو أقل ‪.‬‬

‫ملاحظة ‪ 6‬يمكن نشر الدالة المولدة بالشكل‬

‫‪G(t, x) = (1 − 2xt + t2 )− 2‬‬

‫‪1‬‬

‫‪= [(1 − xt)2 − t2 (x2 − 1)]− 2‬‬

‫‪1‬‬

‫[‬ ‫‪]− 1‬‬

‫‪1‬‬ ‫‪t2 (x2 − 1) 2‬‬
‫=‬ ‫‪1−‬‬
‫‪1 − xt‬‬ ‫‪(1 − xt)2‬‬
‫) (‬
‫‪1‬‬
‫)‪∑ 2 t (x − 1‬‬
‫‪2k 2‬‬ ‫‪k‬‬
‫∞‬
‫‪k‬‬
‫=‬
‫‪k!(1 − xt)2k−1‬‬
‫‪k=0‬‬
‫) (‬
‫‪1‬‬
‫‪∑ ∑ 2 (2k + 1)n (x − k) t‬‬
‫‪2‬‬ ‫‪k 2k−n‬‬
‫∞‬ ‫∞‬
‫=‬ ‫‪k‬‬
‫‪xn‬‬
‫!‪k!n‬‬
‫‪k=0 n=0‬‬
‫) (‬
‫‪1‬‬
‫‪∑ ∑ 2 (n + 2k)!(x − 1) t‬‬
‫‪2‬‬ ‫‪k n+2k‬‬
‫∞‬ ‫∞‬
‫=‬ ‫‪k‬‬
‫‪xn‬‬
‫!)‪k!(2k‬‬
‫‪n=0 k=0‬‬
‫) (‬
‫‪1‬‬
‫‪∑ ∑ 2 n!(x − 1) x‬‬
‫] ‪[ n2‬‬ ‫‪2‬‬ ‫‪k n−2k‬‬
‫∞‬
‫=‬ ‫‪k‬‬
‫‪tn‬‬
‫‪n=0‬‬
‫!)‪k!(2k!)(n − 2k‬‬
‫‪k=0‬‬

‫ومن ذالك نجد‬

‫] ‪[ n2‬‬
‫‪∑ (x2 − 1)k xn−2k‬‬
‫= )‪Pn (x‬‬
‫!)‪22k (k!)(n − 2k‬‬
‫‪k=0‬‬

‫‪23‬‬
‫مو يجات لوجندر وتقريب تابع‬ ‫الفصل الثاني‬

‫ملاحظة ‪ 7‬يمكن التعبير عن كثيرات حدود ليجاندر بعلاقات مكافئة للعلاقة )‪ (12.2‬بالشكل‬
‫‪n‬‬

‫∑ ‪1‬‬
‫]‪[2‬‬
‫‪(−1)k (2n − 2k)!xn−2k‬‬
‫‪Pn (x) = n‬‬
‫‪2‬‬ ‫!)‪k!(n − k)!(n − 2k‬‬
‫‪k=0‬‬

‫و من أجل أدلة زوجية أو فردية نكتب‬

‫‪‬‬ ‫‪‬‬
‫‪2n(2n + 1) 2 2n(2n − 2)(2n + 1)(2n + 3) 4‬‬
‫‪(2n − 1)!! 1 −‬‬ ‫‪x +‬‬ ‫‪x‬‬
‫‪P2n (x) = (−1)n‬‬ ‫!‪2‬‬ ‫!‪4‬‬
‫!‪2n n‬‬ ‫···‪−‬‬
‫‪‬‬ ‫‪‬‬
‫‪2n(2n + 3) 3 2n(2n − 2)(2n + 3)(2n + 5) 5‬‬
‫‪(2n + 1)!! x −‬‬ ‫‪x +‬‬ ‫‪x‬‬
‫‪P2n+1 (x) = (−1)n‬‬ ‫!‪3‬‬ ‫!‪5‬‬ ‫‪.‬‬
‫!‪2n n‬‬ ‫···‪−‬‬

‫مو يجات لوجندر‬ ‫‪3.5.2‬‬

‫مو يجات لوجندر )‪ ψnm (x‬معطاة على المساواة التالية‪:‬‬

‫(‪‬‬
‫‪ 2m+1 )1/2 2k/2 pm (2k x − n̂),‬‬ ‫‪n̂−1‬‬
‫<‪≤x‬‬ ‫‪n̂+1‬‬
‫= )‪ψnm (x‬‬ ‫‪2‬‬ ‫‪2k‬‬ ‫‪2k‬‬
‫)‪(43.2‬‬
‫‪0‬‬ ‫غيرذلك‬

‫حيث ‪ k = 1, 2, . . . , n̂ = 2n − 1, n = 1, 2, . . . , 2k−1 , m = 0, 1, . . . , M − 1‬هو رتبة كثير‬

‫حدود لوجندر و ‪ M‬عدد موجب و ثابت ‪ pm (x) ،‬هي كثير حدود لوجندر ذات رتبة ‪m‬‬
‫الدالة )‪ f (x) ∈ L2 [0, 1‬قد تتمدد بمو يجات لوجندر كما هو موضح‬
‫∑ ∞‬
‫∑‬ ‫∞‬
‫= )‪f (x‬‬ ‫)‪cnm ψnm (x‬‬ ‫)‪(44.2‬‬
‫‪n=1 m=0‬‬

‫حيث ‪ cnm =< f (x), ψnm (x) >,‬و > ‪ <,‬هو ناتج الضرب بين )‪ f (x‬و ‪ ψnm (x).‬إذا كانت السلسلة‬
‫محدودة في المعادلة )‪ ، (44.2‬ثم يمكن كتابة المعادلة )‪(44.2‬كما يلي‬

‫∑‬
‫‪2‬‬ ‫∑‬
‫‪k−1‬‬
‫‪M‬‬ ‫‪−1‬‬
‫≈ )‪f (x‬‬ ‫‪cnm ψnm (x) = cT Ψ(x),‬‬ ‫)‪(45.2‬‬
‫‪n=1 m=0‬‬

‫حيث ‪ C‬و )‪ Ψ(x‬هما ‪ m̂ = 2k−1‬شعاع عمودي تعطى بي‬

‫)‪C = [c10 , c11 . . . , c1M −1 , c20 , c21 , . . . , c2M −1 , c2k−1 0 , c2k−1 1 , . . . , c2k−1 M −1 ]T , (46.2‬‬

‫)‪(47.2‬‬
‫‪Ψ(x) = [ψ10 , ψ11 , . . . , ψ1M −1 , ψ20 , ψ21 , . . . , ψ2M −1 , . . . , ψ2k−1 0 , ψ2k−1 1 , . . . , ψ2k−1 M −1 ]T .‬‬

‫‪24‬‬
‫مو يجات لوجندر وتقريب تابع‬ ‫الفصل الثاني‬

‫للتبسيط ‪،‬نكتب المساواة )‪ (45.2‬بالشكل‬

‫∑‬
‫̂‪m‬‬
‫≈ )‪f (x‬‬ ‫‪ci ψi (x) = C T Ψ(x),‬‬ ‫)‪(48.2‬‬
‫‪i=1‬‬

‫حيث ‪ ci = cnm , ψi = ψnm‬يتم تحديد المؤشر ‪ i‬بواسطة العلاقة ‪ i = M (n − 1) + m + 1.‬لذلك ‪،‬‬

‫لدينا‬

‫‪C = [c1 , c2 , . . . , cM , cM +1 , . . . , c2M , . . . , cM (2k−1 −1)+1 , . . . , cm̂ ]T ,‬‬ ‫)‪(49.2‬‬

‫‪Ψ(x) = [ψ1 , ψ2 , . . . , ψM , ψM +1 , . . . , ψ2M , . . . , ψM (2k−1 −1)+1 , . . . , ψm̂ ]T .‬‬ ‫)‪(50.2‬‬

‫وبالمثل‪،‬الدوال الـكيفية لمتغيرين )‪ u( x, y‬معرفة على طول المجال )‪ [0, 1) × [0, 1‬قد يتم تمديدها الى اسس‬
‫مو يجات لوجندر‬

‫∑‬
‫∑ ̂‪m‬‬
‫̂‪m‬‬
‫≈ )‪u(x, y‬‬ ‫‪uij ψi (x)ψj (y) = ΨT (x)U Ψ(y),‬‬ ‫)‪(51.2‬‬
‫‪i=1 j=1‬‬

‫حيث ] ‪ U = [uij‬و ‪ uij = ⟨ψi (x), ⟨u(x, y), ψj (y) ⟩⟩.‬نحقق التقارب بين تمدد مو يجات لوجندر‬
‫في النظر يات التالية‪.‬‬

‫مبرهنة ‪ (11) 6‬الدالة )‪ ، f (x‬المعرفة ]‪ ، [0, 1‬هي مع المشتق الثاني المحدود ‪ ،‬على سبيل المثال ≤ )‪|f ′′ (x‬‬
‫| ̂‪ ، M‬يمكن تمديده كمجموع لا بأس به من مو يجات لوجندر ‪ ،‬والسلسلة ٺتقارب بشكل موحد للدالة )‪f (x‬‬
‫‪ ،‬وهذا هو‬
‫∑ ∞‬
‫∑‬ ‫∞‬
‫= )‪f (x‬‬ ‫)‪cnm ψnm (x‬‬
‫‪n=1 m=0‬‬

‫حيث ⟩ )‪ ، cnm = ⟨f (x), ψnm (x‬و ⟩ ‪ ⟨,‬هو ناتج الضرب بين )‪ f (x‬و ‪ψnm (x).‬‬

‫مبرهنة ‪ (11) 7‬اذا كانت الدوال المستمرة )‪ u(x�y‬معرفة على المجال )‪ [0, 1) × [0, 1‬يحد من المشتقات‬
‫الجزئية الرابعة المختلطة ̂‪ |∂ 4 u(x, y)/∂x2 ∂y 2 | ≤ M‬ثم يتقارب توسع مو يجات لوجندر ل )‪ u(x�y‬بشكل‬
‫موحد‪.‬‬

‫مصفوفة العمليات للتكامل لمو يجات لوجندر‬ ‫‪4.5.2‬‬

‫في هذا الفصل ‪،‬قد نبسط مصفوفة العمليات للتكامل الـكسري لمو يجات لوجندر‪،‬يمكن العثور على مقدمة‬
‫أكثر تفصيلا ً في ]‪ .[7‬بصرف النظر عن مو يجات لوجندر ونعتبر مجموعة أساس أخرى من دوال القطع‬

‫‪25‬‬
‫مو يجات لوجندر وتقريب تابع‬ ‫الفصل الثاني‬

‫النبضية تم تحديد مجموعة هذه الدوال‪ ،‬خلال المجال ]‪ ، [0،1‬معرفة ب‪[10]:‬‬

‫‪‬‬
‫‪1,‬‬ ‫‪ih ≤ x < (i + 1)h‬‬ ‫‪i = 0, 1, 2, . . . , m̂ − 1‬‬
‫= )‪bi (x‬‬ ‫)‪(52.2‬‬
‫غيرذلك ‪0‬‬

‫مع قيمة عدد موجبة ل ̂‪ m‬و ̂‪ .h = 1/m‬سيتم في هذا البحث استخدام الخصائص التالية لدوال القطع‬
‫النبضية ‪:‬‬
‫‪‬‬
‫‪0,‬‬ ‫‪i ̸= j,‬‬
‫= )‪bi (x)bj (x‬‬ ‫)‪(53.2‬‬
‫‪b (x),‬‬ ‫‪i = j,‬‬
‫‪i‬‬

‫‪‬‬
‫∫‬ ‫‪0,‬‬
‫‪1‬‬ ‫‪i ̸= j,‬‬
‫= ‪bi (x)bj (x)dx‬‬ ‫)‪(54.2‬‬
‫‪0‬‬ ‫‪1,‬‬ ‫‪i = j,‬‬
‫̂‪m‬‬

‫لتكن ‪ B(x) = [b0 (x), b1 (x), . . . , bm̂−1 (x)]T‬نفرض‬

‫)‪J α (B(x)) ≈ F α B(x‬‬ ‫)‪(55.2‬‬

‫حيث ‪ F α‬تسمى مصفوفة العمليات للتكامل الـكسري للدوال القطع النبضية]‪ ،[10‬والآن‬
‫‪‬‬ ‫‪‬‬
‫‪1‬‬ ‫‪ξ1‬‬ ‫‪ξ2 . . . ξm̂−1‬‬
‫‪‬‬ ‫‪‬‬
‫‪ 0 1 ξ1 . . . ξm̂−2 ‬‬
‫‪‬‬ ‫‪‬‬
‫‪1‬‬ ‫‪‬‬ ‫‪‬‬
‫‪α‬‬
‫‪F =h‬‬‫‪α‬‬
‫‪ 0 0 1 . . . ξm̂−3  ,‬‬
‫‪Γ(α + 2) ‬‬ ‫‪‬‬
‫‪. . . . . . . . . . . . . . . ‬‬
‫‪‬‬ ‫‪‬‬
‫‪0 0 0 ... 1‬‬
‫و‬
‫‪ξk = (k + 1)α+1 − 2k α+1 + (k − 1)α+1 ,‬‬ ‫‪k = 1, 2, . . . , m̂ − 1‬‬

‫هذه هي العلاقة بين دوال القطع النبضيةومو يجات لوجندر ‪ ،‬أي ]‪[18‬‬

‫‪Ψ(x) = ΦB(x),‬‬ ‫)‪(56.2‬‬

‫حيث ‪i = 0, 1, . . . , m̂ − 1. xi = i/m̂, Φ = [Ψ(x0 ), Ψ(x1 ), . . . , Ψm̂−1 ],‬‬

‫اذا ‪ J α‬عبارة عن عمليات تكاملية كسر ية لمو يجات لوجندر‪ ،‬نحصل على‪:‬‬

‫‪J α Ψ(x) ≈ P α Ψ(x),‬‬ ‫)‪(57.2‬‬

‫‪26‬‬
‫مو يجات لوجندر وتقريب تابع‬ ‫الفصل الثاني‬

‫حيث ‪ P α‬تسمى مصفوفة العمليات التكاملية الـكسر ية لمو يجات لوجندر بإستعمال )‪(55.2‬و)‪،(56.2‬‬
‫لدينا‬

‫‪J α Ψ(x) ≈ J α ΦB(x) = ΦJ α B(x) ≈ ΦF α B(x).‬‬ ‫)‪(58.2‬‬

‫من المعادلات )‪ (57.2‬و )‪ ، (58.2‬يمكننا الحصول على‬

‫‪P α Ψ(x) = P α ΦB(x) = ΦF α B(x).‬‬ ‫)‪(59.2‬‬

‫ثم ‪ ،‬يتم إعطاء مصفوفة ‪ P α‬بواسطة‬

‫‪P α = ΦF α Φ−1‬‬ ‫)‪(60.2‬‬

‫شكل ‪ :2.2‬رتبة التكامل للدوال ‪u(t)=t‬‬

‫رتبة التكامل الـكسري للدالة ‪ t‬تم اختيارها للتحقق من صحة المصفوفة ‪ P α‬رتبة التكامل الـكسري للدوال‬
‫‪ u(t) = t‬يتم الحصول عليه بسهولة على النحو التالي‪:‬‬

‫‪Γ(2) α+1‬‬
‫= )‪J α u(t‬‬ ‫‪t .‬‬ ‫)‪(61.2‬‬
‫)‪Γ(α + 2‬‬

‫عندما تكون ‪ m̂ = 32 ,α = 0.5‬مقارنة نتائج التكامل الـكسري موضحة في الصورة ‪2.2‬‬

‫‪27‬‬
 ‫الفصل الثالث‬

‫مو يجات لوجندر في حل معادلات تفاضلية ‪-‬تكاملية من رتب‬

‫كسر ية‬

‫قائمة المحتو يــات‬

‫‪29 . . . . . . . . . . . . . . . . . . .‬‬ ‫‪ 1.3‬حل معادلات تفاضلية ‪-‬تكاملية من رتب كسر ية الخطية‬

‫‪ 2.3‬حل معادلات تفاضلية ‪-‬تكامليةمن رتب كسر ية الغير خطية ‪31 . . . . . . . . . . . . . . . . . .‬‬

‫‪31 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .‬‬ ‫‪ 3.3‬تقريب الخطأ‬

‫‪ 4.3‬تطبيقات عددية ‪35 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .‬‬

‫‪28‬‬
‫مو يجات لوجندر في حل معادلات تفاضلية‪-‬تكاملية من رتب كسر ية‬ ‫الفصل الثالث‬

‫حل معادلات تفاضلية ‪-‬تكاملية من رتب كسر ية الخطية‬ ‫‪1.3‬‬

‫نعتبر المعادلات التفاضلية ‪-‬التكاملية ذات رتب كسر ية خطية‬
‫‪∫ x‬‬ ‫‪∫ 1‬‬
‫‪α‬‬
‫‪D f (x) = λ1‬‬ ‫‪u1 (x, y)f (y)dy + λ2‬‬ ‫)‪u2 (x, y)f (y)dy + g(x‬‬ ‫)‪(1.3‬‬
‫‪0‬‬ ‫‪0‬‬

‫تخضع للشروط الأولية‬

‫‪f (s) (0) = 0,‬‬ ‫‪s = 0, 1 . . . , r − 1,‬‬ ‫‪r − 1 < α ≤ r,‬‬ ‫‪r ∈ N,‬‬ ‫)‪(2.3‬‬

‫حيث )‪ f (s) (x‬لتقف على المشتق رتبته ‪ sth‬من ‪ Dα (.) f (x),‬يدل على ترتيب المشتق الـكسري ل ‪caputo‬‬
‫من الرتبة ‪ g(x) α‬هو مصطلح الإدخال و )‪ f (x‬هو استجابة الإخراج‪ u1 (x, y), u2 (x, y) .‬يعطيا دوال‬
‫‪ λ1 λ2 .‬هي ثوابت حقيقية‪.‬‬
‫الآن نقوم بتقريب ‪ u1 (x, y), u2 (x, y) Dα f (x),‬و )‪ g(x‬من حيث مو يجات لوجندر على النحو التالي‬
‫)‪(3.3‬‬
‫‪Dα f (x) ≈ cT Ψ(x),‬‬ ‫‪u1 (x, y) ≈ ΨT (x)U1 Ψ(y),‬‬ ‫)‪u2 (x, y) ≈ ΨT (x)u2 Ψ(y‬‬

‫و‬

‫‪g(x) ≈ GT Ψ(x).‬‬ ‫)‪(4.3‬‬

‫‪ i, j = 1, 2, . . . , m‬و ‪G = [g1 , g2 . . . , gmb ]T .‬‬

‫حيث ‪b U2 = [uij ], U1 = [uij ],‬‬
‫)‪(2‬‬ ‫)‪(1‬‬

‫والآن نستعمل المعادلة )‪ (3.3‬و)‪ (57.2‬نحصل على‬

‫‪f (x) = J α Dα f (x) ≈ J α (C T Ψ(x)) = C T P α Ψ(x).‬‬ ‫)‪(5.3‬‬

‫وبتعو يض المعادلة )‪ (56.2‬في المعادلة )‪ (5.3‬نحصل على‬

‫‪f (x) ≈ C T P α ΦB(x).‬‬ ‫)‪(6.3‬‬

‫‪29‬‬
‫تكاملية من رتب كسر ية‬-‫مو يجات لوجندر في حل معادلات تفاضلية‬ ‫الفصل الثالث‬

‫ إذن‬E = [e0 , e1 . . . , em−1

b ] = C P Φ, ‫لتكن‬
T α
∫ x ∫ x
u1 (x, y)f (y)dy = ΨT (x)U1 Ψ(y)ΨT (y)[C T P α ]T dy (7.3)
0 0 ∫ x
T
= Ψ (x)U1 ΦB(y)B T (y)[C T P α Φ]T dy (8.3)
∫ x0
= ΨT U1 Φ B(y)B T (y)E T dy (9.3)
0 ∫
x
T
= Ψ (x)U1 Φ diag(E)B(y)dy (10.3)
0

= ΨT (x)U1 Φdiag(E)F 1 B(x) (11.3)

= B T (x)ΦT U1 Φdiag(E)F 1 B(x) (12.3)
= φT B(x). (13.3)

:‫ شعاع مع عناصر مساو ية لقطر المصفوفة التالية‬m

b ‫ هو‬φ̃ ‫حيث‬

φ = ΦT U1 Φdiag(E)F 1 (14.3)

‫و‬
∫ 1 ∫ 1
u2 (x, y)f (y)dy = ΨT (x)U2 Ψ(y)ΨT (y)[C T P α ]T dy (15.3)
0 0
∫ 1
T
= Ψ (x)U2 Φ B(y)B T (y)[C T P α Φ]T dy (16.3)
∫ 1 0
= ΨT U2 Φ B(y)B T (y)dyE T (17.3)
0
1
= ΨT (x)U2 ΦE T (18.3)
b
m
1
= B T (x)U2 ΦE T (19.3)
b
m
1
= EΦT U2T ΦB(x) (20.3)
b
m
‫ لدينا‬، (1.3) ‫استبدال المعادلات المذكورة أعلاه في المعادلة‬
λ2
C T ΦB(x) = λ1 φ̃T B(x) + EΦT U2T ΦB(x) + GT ΦB(x) (21.3)
b
m
‫ نحصل على‬، (21.3) ‫بنشر المعادلة‬
λ2
C T Φ = λ1 φ̃T + EΦT U2T Φ + GT Φ (22.3)
b
m
.(5.3) ‫ من خلال حل هذا الجملة يمكننا الحصول على تقريب المعادلة‬.‫وهي جملة معادلات جبر ية خطية‬

30
‫مو يجات لوجندر في حل معادلات تفاضلية‪-‬تكاملية من رتب كسر ية‬ ‫الفصل الثالث‬

‫حل معادلات تفاضلية ‪-‬تكامليةمن رتب كسر ية الغير خطية‬ ‫‪2.3‬‬

‫في هذا الجزء نتعامل مع معادلات تفاضلية ‪-‬تكامليةذات رتب كسر ية غير خطيةمن الشكل ‪:‬‬
‫‪∫ x‬‬ ‫‪∫ 1‬‬
‫‪Dα f (x) = λ1‬‬ ‫‪u1 (x, y)[f (y)]p dy + λ2‬‬ ‫)‪u2 (x, y)[f (y)]q dy + g(x). (23.3‬‬
‫‪0‬‬ ‫‪0‬‬

‫تخضع للشروط الأولية ‪ f (s) (0) = 0‬حيث ‪ p, q ∈ N‬ووسائط أخرى ومتغيرات هي نفسها التي في الجزء‬
‫‪.3.1‬في التعامل مع مثل هذا الموقف ‪ ،‬نفس الإجراء )في حالة الخطية ( من التوسع في رتبة الاشتقاق‬
‫الـكسري عن طر يق استخدام مو يجات لوجندر اعتمد مع استثناء الحد الذي يحتوي ‪[f (y)]p , [f (y)]q .‬‬
‫من المعادلة )‪ ، (6.3‬لدينا )‪ f (x) ≈ EB(x‬وبالتالي‬

‫‪[f (y)]p ≈ [EB(y)]p = [ep0 , ep1 , . . . epm−1‬‬

‫)‪b ]B(y) = EP B(y‬‬ ‫)‪(24.3‬‬

‫و‬

‫‪[f (y)]q ≈ [EB(y)]q = [eq0 , eq1 , . . . eqm−1‬‬

‫)‪b ]B(y) = Eq B(y‬‬ ‫)‪(25.3‬‬

‫اتباع إجراءات الجزء ‪ 3.1‬واستخدام المعادلات )‪(24.3‬و )‪ ، (25.3‬يتم تحو يل المعادلة )‪ (23.3‬إلى جملة‬
‫معادلات جبر ية غير خطية‬
‫‪λ2‬‬
‫‪C T Φ = λ1 W̃ T +‬‬ ‫‪Eq ΦT U2T Φ + GT Φ,‬‬ ‫)‪(26.3‬‬
‫‪b‬‬
‫‪m‬‬
‫حيث ̃‪ W‬هو ̂‪ m‬شعاع مع عناصر مساو ية لقطر المصفوفة التالية‪:‬‬

‫‪W = ΦT U1 Φdiag(Ep )F 1 .‬‬ ‫)‪(27.3‬‬

‫حل جملة المعادلات المعطى بالمعادلة )‪ ، (26.3‬الحل العددي التقريبي ‪ f (x).‬يتم الحصول عليه‬
‫يمكن حل المعادلة )‪ (26.3‬بواسطة تقنية رقمية تكرار ية مثل طر يقة ‪ . Newton‬أيضا ‪ Matlab‬الدالة‬
‫"‪ "fsolve‬متاحة للتعامل مع جمل المعادلات الجبر ية الغير خطية‬

‫‪ 3.3‬تقريب الخطأ‬
‫في هذا الجزء ‪ ،‬من أجل توضيح فعالية )‪ Dα f (x) ≈ C T Ψ(x‬في المعادلة )‪ ، (3.3‬لقد أعطينا النظر ية‬
‫التالية‪.‬لتكن )‪ Dα fk,M (x‬هو التقريب التالي ل )‪: Dα f (x‬‬
‫∑‪2‬‬
‫‪k‬‬
‫‪−1 M‬‬
‫∑‬ ‫‪−1‬‬
‫= )‪Dα fk,M (x‬‬ ‫‪cnm ψnm (x).‬‬
‫‪n=0 m=0‬‬
‫∞‪∑+∞ ∑+‬‬
‫‪Dα f (x) − DK,M‬‬
‫‪α‬‬
‫= )‪(x‬‬ ‫‪n=2K‬‬ ‫‪m=M‬‬ ‫إذن لدينا ‪cnm ψnm (x).‬‬

‫‪31‬‬
‫مو يجات لوجندر في حل معادلات تفاضلية‪-‬تكاملية من رتب كسر ية‬ ‫الفصل الثالث‬

‫مبرهنة ‪ 8‬لنفترض أن هذه الدوال )‪ Dα fk,M (x‬التي تم الحصول عليها باستخدام مو يجات لوجندرهي‬
‫تقريب )‪ Dα f (x‬و )‪ Dα f (x‬تكون مع المشتق الثاني المحدود ‪ ،‬ثم لدينا الحد الأعلى من الخطأ التالي‪:‬‬
‫(‬ ‫(‬ ‫‪)m ) 12‬‬
‫‪′‬‬
‫‪M̃ 1‬‬ ‫‪2‬‬
‫)‪Γ (M − 1.5‬‬
‫≤ ‪∥Dα f (x) − Dα fk,M (x)∥E‬‬ ‫‪,‬‬
‫‪31 25k+3‬‬ ‫)‪Γ(M − 1.5‬‬
‫∫(‬ ‫‪)1/2‬‬
‫و > ‪ <,‬هو الجداء‬ ‫= ‪cnm =< D f (x), ψnm (x) > ,∥f (x)∥E‬‬ ‫حيث‬
‫‪α‬‬ ‫‪1 2‬‬
‫‪0 f (x)dx‬‬
‫السلمي ل )‪ D f (x‬و )‪ Γ′ (x)/Γ(x) . ψnm (x‬هي دالة غاما المزدوجة‬ ‫‪α‬‬

‫الإثبات ‪ 5‬لتكن )‪ Dα f (x‬دالة معرفة على ]‪ [0, 1‬مثل ذلك‬

‫‪|Dα+2 f (x)| ≤ M̃ ,‬‬

‫حيث ‪ M‬هو ثابت موجب‬

‫‪∫1‬‬
‫‪0‬‬ ‫تشير عبارة التعامد للسلسلة )‪ ψnm (x‬على )‪ [0, 1‬يعني أن ‪Ψ(x)[Ψ(x)]T dx = I,‬‬
‫حيث ‪ I‬هي مصفوفة الوحدة اذن‬
‫∫‬ ‫‪1‬‬
‫‪∥D f (x) − D‬‬
‫‪α‬‬ ‫‪α‬‬
‫‪fk,M (x)∥2E‬‬ ‫=‬ ‫‪(Dα f (x) − Dα fk,M (x))2 dx‬‬ ‫)‪(28.3‬‬
‫‪0‬‬
‫∑( ‪∫ 1‬‬
‫∑ ∞‪+‬‬ ‫∞‪+‬‬
‫‪)2‬‬
‫=‬ ‫‪cnm ψnm (x) dx‬‬ ‫)‪(29.3‬‬
‫‪0‬‬
‫‪n=2k m=M‬‬
‫∑‬
‫∑ ∞‪+‬‬ ‫∞‪+‬‬ ‫‪∫ 1‬‬
‫=‬ ‫‪c2nm‬‬ ‫‪2‬‬
‫‪ψnm‬‬ ‫‪(x)dx‬‬ ‫)‪(30.3‬‬
‫‪0‬‬
‫‪n=2k m=M‬‬
‫∑‬
‫∑ ∞‪+‬‬ ‫∞‪+‬‬
‫=‬ ‫‪c2nm ,‬‬ ‫)‪(31.3‬‬
‫‪n=2k m=M‬‬
‫‪∫1‬‬
‫= ⟩)‪ cnm = ⟨Dα f (x), ψnm (x‬ثم يمكننا الحصول على‬ ‫‪0‬‬ ‫حيث ‪Dα f (x)·ψnm (x)dx,‬‬
‫∫‬ ‫‪1‬‬ ‫∫‬ ‫‪n−1)/2k‬‬
‫‪(b‬‬ ‫(‬ ‫‪)1/2‬‬
‫‪2m + 1‬‬
‫= ‪cnm‬‬ ‫= ‪Dα f (x)ψnm (x)dx‬‬ ‫)‪Dα f (x‬‬ ‫‪2k/2 Pm (2k x−b‬‬
‫‪n)dx.‬‬
‫‪0‬‬ ‫‪n+1)f rm−ek‬‬
‫‪(b‬‬ ‫‪2‬‬

‫‪32‬‬
‫تكاملية من رتب كسر ية‬-‫مو يجات لوجندر في حل معادلات تفاضلية‬ ‫الفصل الثالث‬

‫ إذن‬2k x − n
b = t, ‫والآن لتكن‬
∫ ( )( ) 12
1
b
n + t 2m + 1 1
cnm = Dα f 2k/2
p m (t) dt
−1 2k 2 2k
( )1/2 ∫ 1 ( )
2m + 1 α b+t
n
= D f pm (t)dt
2k+1 −1 2k
( )1/2 ∫ 1 ( )
1 b
n + t
= k+1
Dα f d(pm+1 (t) − pm−1 (t))
2 (2m + 1) −1 2k
( )1/2 ( ( )
1 b+t
n
= k+1
α
D f k
(pm+1 (t) − pm−1 (t)))) |1−1
2 (2m + 1) 2
( )1/2 ∫ 1 ( )
1 b
n + t 1
− D α+1
f (p
k m+1
(t) − pm−1 (t))dt
2k+1 (2m + 1) −1 2k 2
( )1/2 ∫ 1 ( )
1 b+t
n
= − 3k+1 D fα+1
(pm+1 (t) − pm−1 (t))dt
2 (2m + 1) −1 2k
( )1/2 ∫ 1 ( ) ( )
1 b
n + t p m+2 (t) − p m (t) p m (t) − p m−2 (t)
= − 3k+1 Dα+1 f d −
2 (2m + 1) −1 2 k 2m + 3 2m − 1
( )1/2 ( )( )
1 b+t
n pm+2 (t) − pm (t) pm (t) − pm−2 (t) 1
= − 3k+1 D fα+1
− |−1
2 (2m + 1) 2k 2m + 3 2m − 1
( )1/2 ∫ 1 ( )( )
1 b
n + t p m+2 (t) − p m (t) p m (t) − p m−2 (t)
+ Dα+2 f − dt
25k+1 (2m + 1) −1 2 k 2m + 3 2m − 1
( )1/2 ∫ 1 ( )( )
1 b+t
n pm+2 (t) − pm (t) pm (t) − pm−2 (t)
= D fα+2
− dt.
25k+1 (2m + 1) −1 2k 2m + 3 2m − 1

33
‫تكاملية من رتب كسر ية‬-‫مو يجات لوجندر في حل معادلات تفاضلية‬ ‫الفصل الثالث‬

‫و‬
( )1/2 ∫ 1 ( )
1 b
n + t
|cnm |2 = | 5k+1 Dα+2 f
2 (2m + 1) −1 2k
( )
pm+2 (t) − pm (t) pm (t) − pm−2 (t)
− dt|2
2m + 3 2m − 1
∫ 1 ( )
1 b+t
n
= 5k+1 | α+2
D f
2 (2m + 1) −1 2k
(2m − 1)pm+2 (t) − (4m + 2)pm (t) + (2m + 3)pm−2 (t) 2
dt|
(2m + 3)(2m − 1)
∫ 1 ( )
1 b
n + t
≤ 5k+1 |Dα+2 f k
|2 dt
2 (2m + 1) −1 2
∫ 1
(2m − 1)pm+2 (t) − (4m + 2)pm (t) + (2m + 3)pm−2 (t) 2
| dt|
−1 (2m + 3)(2m − 1)
∫ 1
M̃ 2 (2m − 1)2 p2m+2 (t) + (4m + 2)2 p2m (t) + (2m + 3)2 p2m−2 (t)
< 5K dt
2 (2m + 1) −1 (2m + 3)2 (2m − 1)2
M̃ 2
= 5K
2 (2m + 1)(2m + 3)2 (2m − 1)2
[ ]
2 2 2
(2m − 1) 2
+ (4m + 2) 2
+ (2m + 3) 2
2m + 5 2m + 1 2m − 3
M̃ 2 12(2m + 3)2
< 5K
2 (2m + 1)(2m + 3)2 (2m − 1)2 2m − 3
12M̃ 2
= 5K
2 (2m + 1)(2m − 1)2 (2m − 3)
12M̃ 2
< .
(2n)5 (2m − 3)4
‫لدينا‬, ‫وبالتالي‬

∑
+∞ ∑
+∞ +∞ ∑
∑ +∞
12M̃ 2
c2nm <
(2n)5 (2m − 3)4
n=2k m=M n=2k m=M
∑
+∞
1 ∑
+∞
1
2
= 12M̃
(2n)5 (2m − 3)4
n=2K m=M
( ′ )m
M̃ 2 1 Γ (M − 1.5)
= .
31 25k+3 Γ(M − 1.5)
‫ثم نحصل على‬

34
‫مو يجات لوجندر في حل معادلات تفاضلية‪-‬تكاملية من رتب كسر ية‬ ‫الفصل الثالث‬

‫(‬ ‫‪)m‬‬
‫‪M̃ 2 1‬‬ ‫)‪Γ′ (M − 1.5‬‬
‫≤ ‪∥D f (x) − D fk,m (x)∥E‬‬
‫‪α‬‬ ‫‪α‬‬ ‫‪2‬‬
‫‪,‬‬
‫‪31 25k+3‬‬ ‫)‪Γ(M − 1.5‬‬

‫أي‬
‫(‬ ‫(‬ ‫)‬ ‫)‬
‫‪m 1/2‬‬
‫‪M̃ 2 1‬‬ ‫)‪Γ′ (M −1.5‬‬
‫≤ ‪∥Dα f (x) − Dα fk,M (x)∥E‬‬ ‫‪31 25k+3‬‬ ‫)‪Γ(M −1.5‬‬ ‫‪.‬‬
‫من هذه النظر ية‪,‬يمكننا أن نرى بوضوح أنه ‪ ∥Dα f (x) − Dα fk,M (x)∥E −→ 0‬عندما يكون ‪ M‬ثابت‬
‫و ‪k −→ +∞.‬‬

‫تطبيقات عددية‬ ‫‪4.3‬‬

‫من أجل توضيح فعالية الطر يقة المقترحة ‪ ،‬فإننا نقدم بعض الأمثلة العددية لمعادلات تفاضلية تكاملية من‬
‫رتب كسر ية خطية وغير خطية‪.‬‬

‫مثال ‪ 3‬نعتبر المعادلة الخطية التالية‬

‫∫‬ ‫‪x‬‬ ‫∫‬ ‫‪1‬‬

‫‪1.7‬‬
‫= )‪D f (x‬‬ ‫‪(x − y)f (y)dy +‬‬ ‫)‪(x + y)f (y)dy + g(x‬‬ ‫)‪(32.3‬‬
‫‪0‬‬ ‫‪0‬‬

‫مع هذا الشرط ‪ f ′ (0) = f (0) = 0‬و‬

‫‪Γ(3) 0.3‬‬ ‫‪Γ(4) 1.3 x4 x5 7x‬‬ ‫‪9‬‬

‫= )‪g(x‬‬ ‫‪x +‬‬ ‫‪x −‬‬ ‫‪−‬‬ ‫‪−‬‬ ‫‪− .‬‬
‫)‪Γ(1.3‬‬ ‫)‪Γ(2.3‬‬ ‫‪12 20 12 20‬‬
‫الحل الدقيق لهذه المشكلة ‪ f (x) = x2 + x3 .‬ويبين الجدول ‪ 1.3‬الحلول التقريبية التي تم الحصول عليها‬
‫من طر يقةمو يجات لوجندر )‪ (LWM‬وتمويج طر يقة ‪ (CASW) CAS‬من أجل قيم مختلفة ل ‪M = 2. , k‬‬
‫على الترتيب‬
‫من الجدول ‪ ،1.3‬يمكننا أن نرى بوضوح أن الحلول العددية هي أكثر وأكثر قريبة من الحل الدقيق عندما‬
‫يزيد ‪ .k‬مقارنة مع التقريب التي حصل عليهابطر يقة ‪ LWM CASW،‬يمكن أن تصل إلى درجة أعلى من‬
‫الدقة‪.‬‬

‫مثال ‪ 4‬نعتبر المعادلة التالية‪:‬‬

‫∫‬ ‫‪x‬‬ ‫∫‬ ‫‪1‬‬

‫‪1‬‬ ‫‪1‬‬
‫= )‪D2.3 f (x‬‬ ‫‪(x − y)f (y)dy +‬‬ ‫‪xy.f (y)dy + g(x),‬‬ ‫)‪(33.3‬‬
‫‪4‬‬ ‫‪0‬‬ ‫‪2‬‬ ‫‪0‬‬

‫‪35‬‬
‫مو يجات لوجندر في حل معادلات تفاضلية‪-‬تكاملية من رتب كسر ية‬ ‫الفصل الثالث‬

‫حيث ‪ g(x) = (Γ(4.5)/Γ(2.2))x1.2 − (x5.5 /99) − (x/11),‬مثل ذلك‬

‫‪f ′′ (0) = f ′ (0) = f (0) = 0,‬‬

‫الحل الدقيق هو ‪ .f (x) = x7/2‬النتائج العددية ل ‪ k = 3, 4, 5, 6, M = 2‬موضحة في الجدول التالي‪:‬‬

‫جدول ‪ :1.3‬الحل التقريبي في نقاط مختلفةلمختلف ‪K,M=2‬‬

‫‪Exact‬‬ ‫‪k=7‬‬ ‫‪k=6‬‬ ‫‪k=5‬‬ ‫‪k=4‬‬

‫‪solution‬‬ ‫‪CASW‬‬ ‫‪LW M‬‬ ‫‪CASW‬‬ ‫‪LW M‬‬ ‫‪CASW‬‬ ‫‪LW M‬‬ ‫‪CASW‬‬ ‫‪LW M‬‬ ‫‪x‬‬
‫‪0.000000 0.000149 0.000000 0.000532 0.000007 0.002743 0.000012 0.007462 0.000024 0‬‬
‫‪0.017578 0.018642 0.017566 0.019677 0.017198 0.021438 0.016551 0.023571 0.015822 1/8‬‬
‫‪0.078125 0.079232 0.078115 0.081325 0.077920 0.084365 0.077098 0.093265 0.075531 2/8‬‬
‫‪0.193359 0.198711 0.193351 0.200321 0.193317 0.204620 0.193159 0.216487 0.192880 3/8‬‬
‫‪0.375000 0.379050 0.374988 0.385647 0.373205 0.392246 0.368505 0.398469 0.361498 4/8‬‬
‫‪0.634765 0.642014 0.634693 0.648892 0.631080 0.651032 0.626293 0.652830 0.622950 5/8‬‬
‫‪0.984375 0.112546 0.984162 0.122439 0.981423 0.128764 0.963194 1.134367 0.930901 6/8‬‬
‫‪1.435546 1.439672 1.434649 1.457231 1.422946 1.498832 1.408939 1.525654 1.391340 7/8‬‬

‫شكل ‪ :1.3‬مقارنة الحل العددي مع الحل الدقيق لما ‪k=3,M=2‬‬

‫من الشكل ‪ 1.3‬يمكنناأن نجد بسهولة أن الحلول الرقمية متفقة بشكل جيد مع الحلول الدقيقة‪. .‬الأخطاء‬

‫‪36‬‬
‫مو يجات لوجندر في حل معادلات تفاضلية‪-‬تكاملية من رتب كسر ية‬ ‫الفصل الثالث‬

‫المطلقة التي حصل عليها ‪ LWM‬و ‪ ADOMAIN‬تحلل طر يقة من)‪ (ADM‬أجل قيم مختلفة ل ‪ K‬وتعطى في‬
‫الجدول ‪.2.3‬‬
‫من خلال الجدول ‪ ،2.3‬يمكننا أن نرى أيضا أن الأخطاء أصغر وأصغر عندما يزداد ‪. k‬عندما استخدمنا‬
‫‪ ADM‬لحل هذه المشكلة‪ ،‬يجب أن نشكل متعدد حدود ‪ . ADOM IAN‬وكانت عملية التشكيل معقدة‬
‫إلى حد ما‪ .‬ومع ذلك‪ ،‬فإن تشكيل مصفوفة العمليات يسهل الحصول على الحلول العددية‪ .‬ما هو أكثر من‬
‫ذلك‪،‬فإن النظر في الجدول‪ 2.3‬يكشف أن الأخطاء المطلقة التي تم الحصول عليها بواسطة ‪ ADM‬في ز يادة‬
‫كبيرة‪.‬هذا هو مؤشر على أن الاستقرار قليلا من جانب ‪ ADM،‬على عكس ‪. LAM‬‬

‫مثال ‪ 5‬نعتبر المعادلة غير خطيةالتالية ‪:‬‬

‫∫‬ ‫‪x‬‬ ‫∫‬ ‫‪1‬‬

‫‪1‬‬ ‫‪1‬‬
‫‪2.2‬‬
‫= )‪D f (x‬‬ ‫‪2‬‬
‫‪(x + y)[f (y)] dy +‬‬ ‫‪(x − y)[f (y)]3 dy + g(x),‬‬ ‫)‪(34.3‬‬
‫‪3‬‬ ‫‪0‬‬ ‫‪4‬‬ ‫‪0‬‬

‫مثل ذلك ‪ f ′′ (0) = f ′ (0) = f (0) = 0,‬فإن الحل الدقيق للمعادلة هو ‪ f (x) = x3‬و‬
‫‪g(x) = (Γ(4)/Γ(1.8))x0.8 − (5x8 /56) − (x/40) + (1/44).‬‬

‫شكل ‪ :2.3‬مقارنة الحل العددي مع الحل الدقيق لما ‪k=4,M=2‬‬

‫لمقارنة النتائج العددية التي حصل عليها ‪ LWM‬و ‪ CASW،‬وسوف نعتمد ∞‪ L‬نظيم‪ .‬التقريب ∞‪ L‬نظيم‬
‫للخطأ المطلق يعطى ب‪:‬‬

‫‪∥em̂(x) ∥l∞ = max {|f (xi ) − fm̂ (xi )|},‬‬

‫̂‪1≤i≤m‬‬

‫‪37‬‬
‫مو يجات لوجندر في حل معادلات تفاضلية‪-‬تكاملية من رتب كسر ية‬ ‫الفصل الثالث‬

‫شكل ‪ :3.3‬مقارنة الحل العددي مع الحل الدقيق لما ‪k=5,M=2‬‬

‫حيث )‪ f (x‬الحل الدقيق و )‪ fm̂ (x‬الحل التقريبي ‪ .‬الجدول ‪ 3.3‬يوضح ∞‪ l‬نظيم للأخطاء المطلقة للمثال ‪5‬‬
‫التي حصل عليها بواسطة ‪ LWM‬و ‪ CAS‬طر يقة المو يجات‪ ,‬على الترتيب‪ .‬الشكل ‪ 5.3‬يوضح الحلول العددية‬
‫والحل الدقيق من أجل ‪ . M = 2 K = 4, 5, 6, 7,‬يمكننا أن نرى أن الحلول العددية أكثر وأكثر قريبة‬
‫من الحل الدقيق مع قيمة ‪ K‬تصبح كبيرة عن طر يق الاقتراب انظر الى ‪5.3‬‬

‫شكل ‪ :4.3‬مقارنة الحل العددي مع الحل الدقيق لما ‪k=6,M=2‬‬

‫‪38‬‬
‫مو يجات لوجندر في حل معادلات تفاضلية‪-‬تكاملية من رتب كسر ية‬ ‫الفصل الثالث‬

‫‪ADM‬‬ ‫‪LWM‬‬ ‫‪ADM‬‬ ‫‪LWM‬‬ ‫‪ADM‬‬ ‫‪LWM‬‬

‫‪n=5‬‬ ‫‪k=5‬‬ ‫‪n=4‬‬ ‫‪k=4‬‬ ‫‪n=3‬‬ ‫‪k=3‬‬ ‫‪x‬‬
‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬ ‫‪0‬‬
‫‪1.0174e−005‬‬ ‫‪6.6391e−006‬‬ ‫‪2.1658e−005‬‬ ‫‪4.8662e−005‬‬ ‫‪7.2373e−005‬‬ ‫‪2.2475e−004‬‬ ‫‪1/8‬‬
‫‪4.1987e−005‬‬ ‫‪4.5289e−005‬‬ ‫‪5.2365e−005‬‬ ‫‪8.9201e−005‬‬ ‫‪6.2642e−005‬‬ ‫‪5.6882e−004‬‬ ‫‪2/8‬‬
‫‪9.2364e−005‬‬ ‫‪3.1373e−005‬‬ ‫‪8.2316e−005‬‬ ‫‪7.0931e−005‬‬ ‫‪3.1236e−005‬‬ ‫‪8.0634e−004‬‬ ‫‪3/8‬‬
‫‪4.1726e−004‬‬ ‫‪7.3681e−005‬‬ ‫‪2.4582e−004‬‬ ‫‪2.3634e−004‬‬ ‫‪5.2374e−004‬‬ ‫‪2.3712e−003‬‬ ‫‪4/8‬‬
‫‪8.1648e−004‬‬ ‫‪2.4400e−004‬‬ ‫‪7.0243e−004‬‬ ‫‪7.1094e−004‬‬ ‫‪3.6285e−004‬‬ ‫‪2.8084e−003‬‬ ‫‪5/8‬‬
‫‪2.3112e−003‬‬ ‫‪3.8086e−004‬‬ ‫‪4.4565e−003‬‬ ‫‪2.5072e−003‬‬ ‫‪2.2364e−003‬‬ ‫‪3.1612e−003‬‬ ‫‪6/8‬‬
‫‪8.0723e−003‬‬ ‫‪6.0180e−004‬‬ ‫‪8.2364e−003‬‬ ‫‪3.0368e−003‬‬ ‫‪9.1287e−003‬‬ ‫‪3.3599e−003‬‬ ‫‪7/8‬‬

‫جدول ‪ :2.3‬مختلفة ‪ k‬الأخطاء المطلقة من أجل قيم ‪k,M=2‬‬

‫شكل ‪ :5.3‬مقارنة الحل العددي مع الحل الدقيق لما ‪ k=4,M=2‬للمثال ‪5‬‬

‫‪39‬‬
‫مو يجات لوجندر في حل معادلات تفاضلية‪-‬تكاملية من رتب كسر ية‬ ‫الفصل الثالث‬

‫شكل ‪ :6.3‬مقارنة الحل العددي مع الحل الدقيق لما ‪ k=5,M=2‬للمثال ‪5‬‬

‫شكل ‪ :7.3‬مقارنة الحل العددي مع الحل الدقيق لما ‪ k=6,M=2‬للمثال ‪5‬‬

‫‪40‬‬
‫مو يجات لوجندر في حل معادلات تفاضلية‪-‬تكاملية من رتب كسر ية‬ ‫الفصل الثالث‬

‫‪CAS‬‬ ‫‪LWM‬‬ ‫∞‪norm l‬‬

‫‪7.844735e−002‬‬ ‫‪4.432652e−003‬‬ ‫)‪∥e16 ∥l∞ (k = 4, M = 2‬‬
‫‪5.243756e−003‬‬ ‫‪2.143872e−003‬‬ ‫)‪∥e32 ∥l∞ (k = 5, M = 2‬‬
‫‪1.240482e−003‬‬ ‫‪5.182365e−004‬‬ ‫)‪∥e64 ∥l∞ (k = 6, M = 2‬‬
‫‪8.426387e−004‬‬ ‫‪3.340564e−004‬‬ ‫)‪∥e128 ∥l∞ (k = 7, M = 2‬‬

‫جدول ‪ :3.3‬تقريبي ∞‪L‬قاعدة من الأخطاء المطلقة لبعض قيم ‪k‬‬

‫شكل ‪ :8.3‬مقارنة الحل العددي مع الحل الدقيق لما للمثال‪5 k=7,M=2‬‬

‫مثال ‪ 6‬نعتبر المعادلة التالية‪:‬‬

‫∫‬ ‫‪x‬‬ ‫∫‬ ‫‪1‬‬
‫‪D‬‬ ‫‪α+1‬‬
‫= )‪f (x‬‬ ‫‪y‬‬ ‫‪2‬‬
‫‪(e + 1)[f (y)] dy +‬‬ ‫‪xy[f (y)]2 dy + g(x),‬‬ ‫)‪(35.3‬‬
‫‪0‬‬ ‫‪0‬‬

‫حيث ))‪ g(x) = ex − ((ex − x − 1)3 /3) − x((e2 /4) − 2e + (11/3‬مع الشروط الإبتدائية‬
‫‪ f ′ (0) = f (0) = 0‬والحل الدقيق لهذه المشكلة من أجل ‪ α = 1‬هو ‪ f (x) = ex − x − 1.‬مقارنة‬
‫النتائج العددية ل ‪ α = 1 α = 0.9, α = 0.8, α = 0.7,‬والحلول الدقيقة من أجل ‪ α = 1‬الموضحة في‬
‫الشكل ‪9.3‬‬

‫‪41‬‬
‫مو يجات لوجندر في حل معادلات تفاضلية‪-‬تكاملية من رتب كسر ية‬ ‫الفصل الثالث‬

‫شكل ‪ :9.3‬الحل العددي و الحل الدقيق لما ‪α = 1‬‬

‫‪6 Exemple‬‬ ‫‪5 Exemple‬‬ ‫‪2=M‬‬

‫‪1.152‬‬ ‫‪0.823‬‬ ‫‪4=k‬‬
‫‪2.794‬‬ ‫‪2.427‬‬ ‫‪5=k‬‬
‫‪9.358‬‬ ‫‪8.821‬‬ ‫‪6=k‬‬
‫‪36.725‬‬ ‫‪32.385‬‬ ‫‪7=k‬‬

‫جدول ‪ CPU :4.3‬الوقت )بالثانية( للمثال ‪ 6, 5‬لمختلف ‪k‬‬

‫من الشكل ‪ 9.3‬يمكننا أن نرى بوضوح أن الحلول العددية قريبة جدا من الحل الدقيق عندما ‪ α = 1‬من‬
‫الواضح من الشكل ‪ 9.3‬أنه ‪ ,‬كما ‪ α‬قريب من ‪ , 1‬الحلول العددية بواسطة مو يجات لوجندر ‪ ،‬قريبة من الحل‬
‫الدقيق الجدول ‪ 4.3‬يوضح ‪ CPU‬الوقت )بالثانية( للمثال ‪ 5‬والمثال ‪6‬‬

‫‪42‬‬
 ‫خاتمة‬

‫في هذا العمل ‪ ،‬قدمنا لـكم مو يجات ‪ wavelets" "Legendre‬ومصفوفة العمليات للتكامل الـكسري‬
‫واستخدامها في حل المعادلات التكاملية التفاضلية الخطية وغير الخطية ذات الرتب الـكسر ية‪ .‬من خلال‬
‫حل الجمل الخطية والغير خطية ‪ ،‬يتم الحصول على حلول عددية‪ .‬و قد تم وضع مقارنة بين الطر يقة المقترحة‬
‫و بعض الطرق العددية الأخرى حيث لاحظنا أن الحل التقريبي يقترب بسرعة نحو الحل الحقيقي حيث‬
‫أظهرت النتائج العددية أن الطر يقة المقدمة هي الأكثر كفاءة بالمقارنة مع بقية الطرق العددية الأخرى و‬
‫ذلك بناءا على الأمثلة التي إستخدمناها‪.‬‬

‫‪43‬‬
‫لمحة تار يخية‬ ‫الملاحق‬

‫‪Adrien-Marie Legendre‬‬
‫أدر يان ماري ليجاندر‬

‫الميلاد‪ 18 :‬سبتمبر ‪ 1752‬باريس‪ ,‬فرنسا‬

‫الوفاة‪ 10 :‬يناير ‪ 80) 1833‬سنة( باريس‪ ,‬فرنسا‬
‫الإقامة‪ :‬فرنسا‬
‫الجنسية‪:‬فرنسي‬
‫هو عالم كان له دور معطاء في عدة فروع من الر ياضيات ومنهاالاحصاء ونظر ية العداد والجبر التجريدي والتحليل الر ياضي‪.‬‬
‫عضو في الجمعية الملـكية‪ ،‬والأكاديمية الفرنسية للعلوم‪ ،‬والأكاديمية الأمريكية للفنون والعلوم‪ ،‬والأكاديمية البروسية للعلوم‬

‫‪i‬‬
 ‫المراجع العلمية‬

[1] Y.M.Chen,M.X.Yi,andC.X.Yu,ErroranalysisfornumericalsolutionoffractionaldifferentialequationbyHaar
waveletsmethod, J. Comput. Sci. 5(3) (2012), pp. 367–373.

[2] I.L. EI-Kalla,ConvergenceoftheAdomianmethodappliedtoaclassofnonlinearintegralequations,Appl.

Math. Comput. 21 (2008), pp. 372–376.

[3] O. Heaviside,ElectromagneticTheory, Chelsea, NewYork, 1971.

[4] M.H. Heydari, M.R. Hooshmandasl, and F. Mohammadi, Legendre wavelets method
for solving fractional partial differentialequationswithDirichletboundaryconditions,Appl.
Math. Comput. 234 (2014), pp. 267–276.

[5] M.M. Hosseini, Adomian decomposition method for solution of nonlinear differential alge-
braic equations, Appl. Math. Comput. 181 (2006), pp. 1737–1744.

[6] M. Ichise,Y. Nagayanagi, andT. Kojima,Ananalogsimulationofnonintegerordertransferfunctionsforanalysis

ofelectrodeprocess, J. Electroanal. Chem. 33 (1971), pp. 253–265.

[7] H. Jafari and S.A.Yousefi,ApplicationofLegendrewaveletsforsolvingfractionaldifferentialequations,

Comput. Math.Appl. 62(3) (2011), pp. 1038–1045.

[8] R.C.Koeller,Applicationoffractionalcalculustothetheoryofviscoelasticity,J.Appl.Mech.51(1984),pp.299–307.

[9] C.P.LiandG.J.Peng,ChaosinChen’ssystemwithafractionalorder,Chaos.Solit.Fract.22(2004),pp.443–450.

[10] Y.L. Li and N. Sun, Numerical solution of fractional differential equations using the gen-
eralized block pulse operationalmatrix, Comput. Math.Appl. 62 (2011), pp. 1046–1054.

[11] N. Liu and E.B. Lin, Legendre wavelet method for numerical solutions of partial differential
equations, Numer. Methods Partial Diff. Equ. 26 (2010), pp. 81–94.

[12] S. Momani and Z. Odibat, Generalized differential transform method for solving a space
and time-fractional diffusion-waveequation, Phys. Lett.A 370 (2007), pp. 379–387.

ii
 ‫دليل المصطلحات‬ ‫الملاحق‬

[13] Z. M. Odibat, A study on the convergence of variational iteration method, Math. Comput.
Model. 51 (2010), pp. 1181–1192.

[14] Z. Odibat and S. Momani, Generalized differential transform method: Application to

differential equations of fractionalorder,Appl. Math. Comput. 197 (2008), pp. 467–477.

[15] I. Podlubny,FractionalDifferentialEquations,Academic Press, NewYork, 1999.

iii
iv