Mer 31

‫ملخص‬
‫تجذب المعادلات التفاضلية الـكسر ية انتباه العديد من الباحثين بسبب تطبيقاتها الواسعة‪ .‬عادة‪ ،‬لا يمكننا إ يجاد‬
‫الحل الدقيق لهذه المعادلات و بالتالي يتعين علينا استخدام الطرق العددية‪ .‬توجد العديد من الطرق العددية مثل‬
‫طر يقة أولر‪ ،‬طر يقة الفروق المنتهية و طر يقة آدامز باشفورث مولتون‪ .‬في هذه المذكرة نتطرق إلى هذه الطرق لإ يجاد‬
‫الحل التقريبي لمسألة كوشي لمعادلة تفاضلية ذات مشتق كسري بمعنى كابوتو‪.‬‬
‫الكلمات المفتاحية‪ :‬الحساب الـكسري‪ ،‬نظر يات النقطة الثابتة‪ ،‬المشتق الـكسري بمفهوم كابوتو‪ ،‬المعادلات التفاضلية‬
‫الـكسر ية‪ ،‬وجود و وحدانية الحل‪ ،‬طر يقة أولر‪ ،‬طر يقة الفروق المنتهية و طر يقة آدامز باشفورث مولتون ‪.‬‬
‫‪above space for just‬‬
‫‪ q‬شكـــر وعرفــــــان‬
‫بسم الله الرحمن الرحيم‬

‫أوّل من يُشكر و ي ُحمد‪ ،‬هو العلي القهار‪ ،‬الذي أغرقنا بنعمه التي لا تعد ولا تحصى‪ ،‬و أغدق علينا برزقه الذي لا‬
‫يفنى‪ ،‬وأنار دروبنا‪ ،‬فله جز يل الحمد و الث ّناء العظيم‪ ،‬هو الذي أنعم علينا إذ أرسل فينا عبده‬
‫"محمد بن عبد الله "‬
‫عليه أزكى الصلوات و أطهر الت ّسليم‪ ،‬أرسله بقرآنه المبين‪َ ،‬‬
‫فعل ّمنا ما لم نعلم‪ ،‬و حثنا على طلب العلم أينما وجد ‪.‬‬
‫لله الحمد كله و الشكر كله فهو الأولى بالشكر في كل الأوقات و الظروف إذ وفقنا و ألهمنا الصبر على المشاق التي‬
‫واجهتنا لإنجاز هذا العمل المتواضع‪.‬‬
‫شكر موصول لكل معلم أفادنا بعلمه‪ ،‬من أولى المراحل الدراسية حتى هذه اللحظة‪ ،‬كما نرفع كلمة ال ُ ّ‬
‫شكر إلى‬ ‫و ال ُ ّ‬
‫الأستاذ المشرف "دردار نجم الدين" الذي ساعدنا على إنجاز بحثنا هذا‪.‬‬
‫كما نتقدم بالشكر إلى أعضاء لجنة المناقشة لقبولهم الإشراف على مناقشة مذكرتنا و على النصائح التي ستقدم لنا ‪.‬‬
‫كما نشكر كل من م َ ّد لنا يد العون من قريب أو من بعيد ‪.‬‬
‫ل أن يرزقنا السّداد و الر ّشاد‪.‬‬
‫عز و ج ّ‬
‫و في الأخير لا يسعنا إلا أن ندعو الله ّ‬
‫ا‬
‫‪ q‬إهــــداء‬
‫بسم الله و الصلاة و السلام على رسول الله و على آله و صحبه و من والاه‪ ،‬فلله الحمد و المنة أن يسر لنا خط آخر‬
‫الخطوات في مشوارنا الدراسي فيسدل بذلك الستار على مرحلة لنبدأ مسيرة حافلة بالجهاد‪ ،‬فالتعليم حب و رسالة‪...‬‬
‫إلى عزيزي و عزتي و قدوتي وقوتي و حبيبي الأول و عيني الثالثة و ملجأي بعد الله‪ ،‬الى بطلي الوحيد واستقامة‬
‫ظهري طاب بك العمر وطبت عمرا‪ ..‬أبي‬
‫إلى نجمتي المضيئة و غيمتي الناعمة‪ ،‬زهرة عمري و شمسي الدافئة إلى حبيبتي و وطني و عوضي و الوحيدة التي تغني‬
‫عن الجميع إلى المثالية‪ ..‬أمي‬
‫إلى رفيقتي في الحزن و الضحكات‪ ،‬إلى مأمني و سكينتي و توأم روحي‪ ،‬أختي نور عيني‪ ..‬سكينة‬
‫إلى نور يضيء عتمتي عندما تطفئني الأيام و الظروف‪ ،‬إلى الوجود الدافئ في كل أيامي اخوتي‪ ..‬شيماء عبد الباقي‬
‫عبد الرزاق زينب‬
‫إلى الرزق المساق من الله إلى قلبي‪ ،‬إلى رفيق ديني و دنياي و معاشي‪ ،‬من كان نعم السند في أيام العثرات حظي‬
‫الجميل و بهجة روحي خطيبي‪ ..‬طه‬
‫إلى رفيقة الدرب و خير من جادت به الأيام صديقتي من الأعماق‪ ..‬ر يان‬
‫إلى ر يحاناتي الجميلات أسعد الله قلوبهن ابنة خالتي سامية و صديقات الطفولة منال مريم‬
‫إلى نور البيت و روح العائلة جدتي الحنون أطال الله عمرها‪ ..‬لالة‬
‫إلى جميع الزميلات و الزملاء اللذين جمعتني بهم المدرسة العليا للأساتذة سكيكدة‬
‫إلى من حملوا أقدس رسائل الحياة أساتذتي الـكرام‬
‫إلى رفقاء الخطوة الأولى و الخطوة ما قبل الأخيرة الى من كانوا في السنوات العجاف سحابا ممطرا‪ ..‬إلى كل‬
‫هؤلاء أهدي ثمرة جهدي‪.‬‬
‫مريم نواصر‬
‫ب‬
‫‪ q‬إهــــداء‬
‫لم تكن الرحلة قصيرة و لا ينبغي لها أن تكون‪ ،‬لم يكن الحلم قريبا و لا الطر يق كان محفوفا‪ ،‬لـكنني فعلتها‪ .‬فالحمد‬
‫لله الذي ماتيقنت به خيرا و أملا إلا و أغرقني سرورا‪ ،‬و ما تم جهد و لا ختم سعي إلا بفضله و بتوفيقه‪..‬‬
‫إلى من يزيدني انتسابي له و ذكره فخرا و اعتزازا‪ ،‬سندي‪ ،‬قوتي ومنبع أماني‪ ،‬إلى ضلعي الثابت و ركيزة عمري‪..‬‬
‫أبي حفظك الله‪.‬‬
‫إلى ذلك الحرف اللامتناهي من الحب و الحنان‪ ،‬إلى مدرستي الأولى و من علمتني أن السماء ليست حدودنا‪ ،‬إلى‬
‫من وجودها في الحياة حياة‪ ..‬أمي أدامك الله‪.‬‬
‫إلى من أتقاسم معهم الدم الواحد‪ ،‬من يذكرهم القلب قبل أن يكتب القلم‪ ،‬إلى من قاسموني حلو الحياة و مرها‪..‬‬
‫إخوتي أنار الله طر يقكم‪.‬‬
‫إلى عائلتي‪ ..‬دمتم لنا خير الأهل و الأحباب‪.‬‬
‫إلى جميلتي‪ ،‬من كانت موضع الإتكاء في عثراتي‪ ،‬ملجئي و داعمتي الأولى‪ ..‬منال‪.‬‬
‫إلى من شاءت الأقدار أن نتلقي على رسم مذكرتنا فنعم الصحبة و نعم الرفقة زميلتي‪ ..‬مريم‪.‬‬
‫إلى أميرات قلبي‪ :‬سهام‪ ،‬لوزة‪ ،‬زينب‪ ،‬ليديا‪ ،‬لبنى‪ ،‬لميس‪ ،‬رانيا‪ ،‬بسمة‪ ،‬خولة‪ ،‬هيام‪ ،‬عبير‪ ،‬رانيا‪ ،‬آية‪ ،‬عبير‪.‬‬
‫إلى قطع السكر‪ ،‬صغاري تلاميذي‪ ..‬وفقكم الله‪.‬‬
‫إلى رفيقات الدرب الطو يل‪ ،‬المؤنسات الطيبات اللاتي شاركنني كل صعب و كل يسر‪ ..‬أبارك لـكن و أهديكن‬
‫هذا النجاح‪.‬‬
‫إلى كل من أعطاني زادا و ثقلا و أعانني في مسيرتي‪ ،‬إلى من صاغوا لي من علمهم حروفا و من فكرهم منارة تنير‬
‫مسيرة العلم و النجاح‪ ..‬إلى أساتذتي الـكرام‪.‬‬
‫إلى الهزائم التي لم نستطع أن نتجنبها‪ ،‬إلى كل من جعلنا أقوى و به امتلكنا القدرة على الاستمرار بالحياة‪..‬‬
‫أهدي هذا العمل المتواضع راجية من المولى عز و جل أن يجد القبول و النجاح‪.‬‬
‫ر يان مخابة‬
‫‪I‬‬
‫الف َـهــر َس‬
‫‪2‬‬ ‫مقدمـــــــة ‪. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .‬‬
‫الفصل ‪1‬‬
‫‪4‬‬ ‫مفاهيم أساسية‬
‫‪4‬‬ ‫مقدمة ‪. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .‬‬ ‫‪1.1‬‬

‫تعار يف أساسية‪5 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .‬‬ ‫‪2.1‬‬
‫‪6‬‬ ‫الحساب الـكسري ‪. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .‬‬ ‫‪3.1‬‬
‫‪6‬‬ ‫‪ 1.3.1‬التوابع الخاصة ‪. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .‬‬
‫‪ 2.3.1‬الإشتقاق و التكامل الـكسري ‪16 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .‬‬
‫‪ 3.3.1‬الإشتقاق الـكسري بمفهوم ريمان‪-‬ليوفيل )‪20 . . . . . . . . . (Riemman-Liouville‬‬
‫‪ 4.3.1‬الإشتقاق الـكسري بمفهوم كابوتو)‪26 . . . . . . . . . . . . . . . . . . . . . . . . . (Caputo‬‬
‫نظر يات النقطة الثابتة ‪31 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .‬‬ ‫‪4.1‬‬
‫‪33‬‬ ‫المعادلات التفاضلية الخطية برتب كسر ية‬
‫مقدمة ‪33 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .‬‬ ‫‪1.2‬‬

‫مسألة كوشي لمعادلة تفاضلية بمشتق كسري‪34 . . . . . . . . . . . . . . . . . . . . . . . . . . .‬‬ ‫‪2.2‬‬
‫وجود و وحدانية الحل لمعادلة تفاضلية خطية برتبة كسر ية ‪36 . . . . . . . . . . . . . . . .‬‬ ‫‪3.2‬‬
‫الحل الدقيق لمعادلة تفاضلية خطية برتبة كسر ية باستعمال تحو يل لابلاس ‪40 . . . . .‬‬ ‫‪4.2‬‬
‫‪41‬‬ ‫بعض الطرق العددية لحل معادلات تفاضلية كسر ية‬
‫مقدمة ‪41 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .‬‬ ‫‪1.3‬‬

‫‪ 1.1.3‬الصيغة المستطيلة الـكسر ية ‪42 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .‬‬
‫‪ 2.1.3‬صيغة شبه المنحرف الـكسر ية ‪43 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .‬‬
‫طر يقة أولر الـكسر ية ‪45 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .‬‬ ‫‪2.3‬‬
‫‪ 1.2.3‬طر يقة أولر الـكسر ية إلى اليسار‪45 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .‬‬
‫‪ 2.2.3‬طر يقة أولر الـكسر ية إلى اليمين ‪45 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .‬‬
‫‪II‬‬
‫طر يقة الفروق المنتهية الـكسر ية ‪46 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .‬‬ ‫‪3.3‬‬
‫‪ 1.3.3‬صيغة تايلور ‪46 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .‬‬
‫‪ 2.3.3‬تقريب المشتقة الأولى للدالة ‪ g‬بالفروق المنتهية إلى الأمام بثلاث نقط ‪46 . . . . . . . . .‬‬
‫‪ 3.3.3‬تقريب المشتقة الثانية للدالة ‪ g‬بالفروق المنتهية الأمامية بثلاث نقط ‪47 . . . . . . . . . . .‬‬
‫‪ 4.3.3‬تقريب المشتقة الثانية للدالة ‪ g‬بالفروق المنتهية الخلفية بثلاث نقط ‪47 . . . . . . . . . . . .‬‬
‫‪ 5.3.3‬تقريب المشتقة الثانية للدالة ‪ g‬بالفروق المنتهية مركز ية بثلاث نقط ‪48 . . . . . . . . . . . .‬‬
‫طر يقة آدمز باشفورث مولتون‪50 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .‬‬ ‫‪4.3‬‬
‫‪ 1.4.3‬الصياغة الكلاسيكية ‪51 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .‬‬
‫‪ 2.4.3‬الصياغة الـكسر ية ‪52 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .‬‬
‫‪55‬‬ ‫تطبيق عددي‬
‫مقدمة ‪55 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .‬‬ ‫‪1.4‬‬

‫مثال ‪56 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .01‬‬ ‫‪2.4‬‬
‫مثال ‪58 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .02‬‬ ‫‪3.4‬‬
‫مثال ‪59 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .03‬‬ ‫‪4.4‬‬
‫‪1‬‬
‫مفاهيم أساسية‬ ‫الفصل الأول‬
‫مقــــدمّة‬
‫يعد حساب التفاضل و التكامل الـكسر يين أحد مجالات التحليل الر ياضياتي الذي يناقش بحث و تطبيقات التفاضل‬
‫و التكامل برتب غير صحيحة في ‪ R‬أو ‪ .C‬و يعد هذا الموضوع قديما قدم الحساب الكلاسيكي الذي نعرفه اليوم‪ ،‬و‬
‫قد اتفق معظم المؤرخين في تاريخ الر ياضيات على أن هذا المجال قد نشأ أواخر القرن ‪ 17‬أين طور نيوتن و لايبنيتز‬
‫الذي عبر به عن المشتق النوني للدالة ‪ ،f‬لتوجه‬ ‫‪dn f‬‬
‫‪dxn‬‬
‫أسس حساب التفاضل و التكامل‪ ،‬حيث عرف لايبنيتز الرمز‬
‫= ‪n‬؟"‬ ‫‪1‬‬
‫‪2‬‬
‫له رسالة من قبل العالم ماركيز دو لوبيتال سنة ‪ 1695‬مفادها‪" :‬ماهي نتيجة هذا الإشتقاق في حالة‬
‫و قد كان الجواب‪" :‬السؤال يبدو متناقضا و مع ذلك يحتمل الصحة"‬
‫يعتبر سؤال لوبيتال بمثابة الإنطلاقة الأولى لظهور الحساب الـكسري في الر ياضيات‪.‬‬
‫• في سنة ‪ 1819‬أثبت لاكروا في كتابه الذي يتحدث عن المشتقة برتبة كسر ية أنه إذا كان ‪ y = xn‬فإن‬
‫‪1‬‬
‫‪d2 y‬‬ ‫‪Γ(α + 1) α− 1‬‬
‫=‬ ‫‪x 2‬‬
‫) ‪Γ(α + 12‬‬
‫‪1‬‬
‫‪d x‬‬
‫‪2‬‬
‫‪1‬‬ ‫‪px‬‬
‫‪. d 12 y = 2‬‬ ‫‪π‬‬
‫و على وجه الخصوص نتحصل على‬
‫‪d2 x‬‬
‫• في سنة ‪ ،1822‬اقترح فورييه تمثيلا متكاملا من أجل تعر يف الحساب الـكسري و يعد هذا التعر يف الأول‬
‫في هذا المجال‪.‬‬
‫• في سنة ‪ 1823‬قدم أبال أول تطبيق للتفاضل و التكامل الـكسري في المسائل الفيز يائية‪.‬‬
‫• في سنة ‪ 1884‬قدم لوران نظر ية المؤثر ال ‪ Dα‬حيث ‪.α ∈ R‬‬
‫• في سنة ‪ 1892‬طبق هايفيزيد المشتق الـكسري في نظر ية خطوط النقل‪.‬‬
‫• في سنة ‪ 1963‬استخدم جومون المشتق الـكسري في المرونة‪.‬‬
‫• في سنة ‪ 1974‬رووس عقد مؤتمرا دوليا حول حساب التفاضل و التكامل الجزئي و تطبيقاته‪.‬‬
‫• في سنة ‪ 1993‬نشر كينيت ميللر و رووس كتاب " مقدمة في حساب التفاضل و التكامل الـكسري و‬
‫المعادلات التفاضلية الـكسر ية"‪.‬‬
‫ونجد اليوم أن الحساب الـكسري يجذب انتباه الـكثير من الباحثين بسبب تعدد تطبيقاتها في العديد من مجالات‬
‫العلوم كالفيز ياء‪ ،‬الـكيمياء‪ ،‬البيولوجيا و الهندسة‪ ،‬و أصبح موضوعا و محورا للعديد من المؤتمرات التخصصية و‬
‫البحوث الجامعية‪.‬‬
‫‪2‬‬ ‫‪ENSET-Skikda .2023‬‬ ‫نواصر مريم ‪ -‬مخابة ر يان‬

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

‫مفاهيم أساسية‬
‫‪4‬‬ ‫مقدمة ‪. . . . . . . . . . . . . . . . . . . . . . . . . . . .‬‬ ‫‪1.1‬‬

‫‪5‬‬ ‫تعار يف أساسية ‪. . . . . . . . . . . . . . . . . . . . .‬‬ ‫‪2.1‬‬
‫الحساب الـكسري‪6 . . . . . . . . . . . . . . . . . . . .‬‬ ‫‪3.1‬‬
‫نظر يات النقطة الثابتة ‪31 . . . . . . . . . . . . . . . . .‬‬ ‫‪4.1‬‬
‫‪ 1.1‬مقدمة‬
‫سنتطرق في هذا الفصل إلى إعطاء بعض التعار يف و المفاهيم الأساسية و النظر يات التي تخدم الفصلين الثاني‬
‫و الثالث‪.‬‬
‫‪4‬‬
‫‪ 2.1‬تعار يف أساسية‬
‫تعر يف ‪1.2.1‬‬
‫ليكن ‪ E‬فضاء بناخ ذو نظيم ∥‪ ∥.‬و ‪ A : E −→ E‬تطبيق‪ .‬نقول عن ‪ A‬أنه مقلص على ‪ E‬إذا وجد عدد‬
‫حقيقي ‪ k‬بحيث‪ ،0 ≤ k < 1 :‬يحقق‪:‬‬
‫∥‪∀x, y ∈ E : ∥Ax − Ay∥ ≤ k∥x − y‬‬
‫تعر يف ‪2.2.1‬‬
‫ليكن ‪ E‬فضاء بناخ و ‪ A : E −→ E‬تطبيق‪ .‬نقول أن ‪ x‬من ‪ E‬نقطة ثابتة لـ ‪ A‬إذا تحقق‪.Ax = x :‬‬
‫تعر يف ‪3.2.1‬‬
‫ليكن ‪ E‬و ‪ F‬فضاءا بناخ نرمز بـ ) ‪ C(E, F‬لفضاء الدوال المستمرة من ‪ E‬نحو ‪ F‬ذو النظيم‪:‬‬
‫‪||f ||∞ = sup ||f ||F , f ∈ C(E, F ).‬‬

‫‪x∈E‬‬
‫تعر يف ‪4.2.1‬‬
‫ليكن ‪ E‬و ‪ F‬فضاءا بناخ و ‪ f : E −→ F‬تطبيق‪ .‬نقول عن ‪f‬مستمر كليا إذا كان ‪:‬‬
‫‪f .1‬مستمر‪.‬‬
‫‪ f .2‬يحول كل مجموعة محدودة من ‪ E‬إلى مجموعة متراصة نسبيا في ‪.F‬‬
‫تعر يف ‪5.2.1‬‬
‫لتكن ‪ M‬مجموعة غير خالية من ) ‪ .C(E, F‬نقول عن ‪ M‬أنها مجموعة متساو ية الإستمرار ية على ‪ E‬إذا تحقق‬
‫مايلي‪:‬‬
‫‪∀ϵ > 0, ∃η > 0, ∀x, y ∈ E : ||x − y||E < η =⇒ ∀f ∈ M, ||f (x) − f (y)||F < ϵ.‬‬

‫تعر يف ‪6.2.1‬‬
‫‪ M‬مجموعة غير خالية من ) ‪ .C(E, F‬نقول أن ‪ M‬محدودة بإنتظام إذا تحقق‪:‬‬
‫‪∃c > 0, ∥f ∥∞ ≤ c, ∀f ∈ M.‬‬
‫أرز يلا أسكولي )‪]1[ (Arzela-Ascoli‬‬ ‫توطئة ‪1.2.1‬‬
‫‪ M‬مجموعة جزئية غير خالية من ) ‪ .C(E, F‬تكون ‪ M‬متراصة نسبيا إذا تحقق‪:‬‬
‫‪ M .1‬متساو ية الإستمرار ية‪.‬‬
‫‪ M .2‬محدودة بإنتظام‪.‬‬
‫تعر يف ‪7.2.1‬‬
‫ليكن ‪ E‬فضاء شعاعي حقيقي‪ .‬نقول عن ‪ K‬مجموعة جزئية غير خالية من ‪ E‬أنها محدبة إذا كان‪:‬‬
‫‪∀x, y ∈ K, λx + (1 − λ)y ∈ K, λ ∈ [0, 1].‬‬
‫تعر يف ‪8.2.1‬‬
‫نقول عن دالة ‪ f : J −→ E‬أنها مستمرة مطلقا إذا كان من أجل كل ‪ ε > 0‬يوجد ‪ δ > 0‬حيث‪ :‬من‬
‫أجل كل تقسيم منته ‪ [ai , bi ]pi=1‬للمجال ]‪ J = [a, b‬يحقق‪:‬‬
‫‪X‬‬
‫‪p‬‬
‫‪(bi − ai ) < δ‬‬
‫‪i=1‬‬
‫إذن‪:‬‬
‫‪X‬‬
‫‪p‬‬
‫‪∥y(bi ) − y(ai )∥ < ε.‬‬
‫‪i=1‬‬
‫‪ 3.1‬الحساب الـكسري‬
‫التوابع الخاصة‬ ‫‪1.3.1‬‬
‫بالإعتماد على المراجع ]‪ [6][18][3‬نعطي التعار يف التالية‪:‬‬

‫التابع غاما )‪(Gamma‬‬
‫تعر يف ‪1.3.1‬‬
‫من أجل كل عدد مركب ‪ z‬حيث ‪ Re(z) > 0‬نعرف التابع غاما لأولر )‪ (Gamma‬كمايلي‪:‬‬
‫‪Z‬‬ ‫∞‪+‬‬
‫= )‪Γ(z‬‬ ‫‪tz−1 e−t dt,‬‬
‫‪0‬‬
‫مع‪ ،Γ(0+ ) = +∞ ،Γ(1) = 1 :‬التابع )‪ Γ(z‬متناقص تماما من أجل ‪.0 < z ≤ 1‬‬
‫شكل ‪ :1.1‬الرسم البياني للتابع غاما‪.‬‬
‫مثال ‪1.3.1‬‬
‫!!!!!‬
‫‪Z‬‬ ‫∞‪+‬‬
‫= )‪Γ(1‬‬ ‫‪t1−1 e−t dt‬‬
‫∞‪Z0 +‬‬
‫=‬ ‫‪e−t dt‬‬
‫‪0‬‬
‫∞‪= [−e−t ]+‬‬

‫‪0‬‬
‫‪= 1.‬‬
‫مثال ‪2.3.1‬‬
‫‪Z‬‬ ‫!!!!!‬
‫‪1‬‬ ‫∞‪+‬‬
‫‪e−t‬‬
‫= ) (‪Γ‬‬ ‫‪√ dt,‬‬
‫‪2‬‬ ‫‪0‬‬ ‫‪t‬‬

‫√‬
‫= ‪ s‬نتحصل على‪:‬‬ ‫بتبديل المتغير ‪t‬‬
‫‪Z‬‬ ‫∞‪+‬‬
‫‪1‬‬
‫‪e−s ds‬‬
‫‪2‬‬
‫‪Γ( ) = 2‬‬
‫‪2‬‬ ‫‪0‬‬
‫∞‪= [−e−t ]+‬‬

‫‪0‬‬
‫√‬
‫‪= π.‬‬
‫نلخص بعض خواص التابع غاما في القضية التالية ‪:‬‬
‫قضية ‪1.3.1‬‬
‫من أجل ‪ ،n ∈ N‬لدينا‪:‬‬
‫‪Re(z) > 0 ،Γ(z + 1) = zΓ(z) .1‬‬
‫‪Γ(n + 1) = n! .2‬‬
‫√‬
‫‪(2n)! π‬‬
‫‪1‬‬
‫= )‪Γ( 2 + n‬‬ ‫‪.3‬‬
‫!‪4n n‬‬
‫‪n!nz‬‬
‫‪Re(z) > 0 ،Γ(z) = lim‬‬ ‫‪.4‬‬
‫)‪n→∞ z(z + 1)....(z + n‬‬
‫البرهان‬
‫من أجل كل عدد طبيعي ‪ n‬و ‪ z ∈ C‬حيث ‪ Re(z) > 0‬لدينا‪:‬‬
‫‪ .1‬باستعمال التكامل بالتجزئة نجد‪:‬‬

‫‪Z‬‬ ‫∞‪+‬‬ ‫‪Z‬‬ ‫∞‪+‬‬
‫‪z −t‬‬
‫= )‪Γ(z + 1‬‬ ‫= ‪t e dt‬‬ ‫∞‪[−tz e−t ]+‬‬
‫‪0‬‬ ‫‪+z‬‬ ‫‪tz−1 e−t dt = zΓ(z).‬‬
‫‪0‬‬ ‫‪0‬‬
‫‪ .2‬من الخاصية)‪ (1‬لدينا‪:‬‬
‫)‪Γ(n + 1) = nΓ(n‬‬
‫)‪= n(n − 1)Γ(n − 1‬‬
‫)‪= n(n − 1)(n − 2)Γ(n − 2‬‬
‫)‪= n(n − 1)(n − 2)(n − 3) . . . Γ(1‬‬
‫‪= n!.‬‬

.3
1 1
Γ(n + ) = Γ((n − ) + 1)
2 2
1 1
= (n − )Γ(n − )
2 2
1 3 3
= (n − )(n − )Γ(n − )
2 2 2
1 3 3 1 1
= (n − )(n − ) . . . . Γ( )
2 2 2 2 2
(2n − 1)(2n − 3) . . . 3.1 1
= Γ( )
2n 2
(2n)(2n − 1)(2n − 2)(2n − 3) . . . 4.3.2.1 1
= Γ( )
2n (2n)(2n − 2) . . . 4.2 2
(2n)! 1
= n n Γ( )
2 .2 [(n)(n − 1) . . . 2.1] 2
(2n)! 1
= 2n Γ( ),
2 n! 2
√
:‫ فإن‬Γ( 12 ) = π ‫و من كون‬
√
1 (2n)! π
Γ(n + ) = .
2 4n n!
Z :‫ لنعتبر الدالة التالية‬.4

n
t
fn (z) = (1 − )n tz−1 dt,
0 n
:‫ و باستخدام التكامل بالتجزئة نجد‬s = t
n
‫بوضع المتغير‬
Z 1
fn (z) = n z
(1 − s)n sz−1 ds
0
Z 1
nz
= n (1 − s)n−1 sz ds,
z 0
:‫ مرة نتحصل على‬n ‫و بالمكاملة‬

Z 1
nz n!
fn (z) = (1 − s)n−n sz+n−1 ds
z(z + 1) . . . (z + n − 1) 0
Z 1
nz n!
= sz+n−1 ds
z(z + 1) . . . (z + n − 1) 0
z+n 1
nz n! s
=
z(z + 1) . . . (z + n − 1) z + n 0
nz n!
= ,
z(z + 1) . . . (z + n)
9 ENSET-Skikda .2023 ‫ مخابة ر يان‬- ‫نواصر مريم‬

‫ومن جهة أخرى نعلم أن‪:‬‬
‫‪n‬‬ ‫‪Z‬‬
‫‪t‬‬
‫‪lim (fn (z)) = lim‬‬ ‫‪(1 − )n tz−1 dt‬‬
‫∞→‪n‬‬ ‫∞→‪n‬‬ ‫‪n‬‬
‫‪Z +∞ 0‬‬
‫=‬ ‫‪e−t tz−1 dt‬‬
‫‪0‬‬
‫)‪= Γ(z‬‬
‫ومنه النتيجة‪:‬‬
‫‪n!nz‬‬
‫‪Γ(z) = lim‬‬ ‫‪Re(z) > 0.‬‬
‫)‪n→∞ z(z + 1)....(z + n‬‬
‫■‬
‫التابع بيتا )‪(Beta‬‬
‫تعر يف ‪2.3.1‬‬
‫يعرف التابع بيتا )‪ (Beta‬من أجل ‪ (p, q) ∈ C2‬بحيث‪ Re(p) > 0 :‬و ‪ Re(q) > 0‬كما يلي‪:‬‬
‫‪Z‬‬ ‫‪1‬‬
‫= )‪B(p, q‬‬ ‫‪tp−1 (1 − t)q−1 dt‬‬
‫‪0‬‬
‫تعر يف ‪3.3.1‬‬
‫من أجل ‪ (p, q) ∈ C2‬بحيث‪ Re(p) > 0 :‬و ‪ Re(q) > 0‬يعرف التابع بيتا أيضا كما يلي‪:‬‬
‫‪Z‬‬ ‫‪π‬‬
‫‪2‬‬
‫‪B(p, q) = 2‬‬ ‫‪(sin θ)2p−1 (cos θ)2q−1 dθ‬‬
‫‪0‬‬
‫خواص‬
‫من أجل ‪ (z, w) ∈ C2‬بحيث‪ Re(w) > 0 ،Re(z) > 0 :‬لدينا‪:‬‬
‫‪B(z, w) = B(w, z) .1‬‬

‫‪w‬‬
‫= )‪B(z, w + 1‬‬ ‫‪B(z + 1, w) .2‬‬
‫‪z‬‬
‫‪z‬‬
‫= )‪B(z + 1, w‬‬ ‫‪B(z, w) .3‬‬
‫‪z+w‬‬
‫‪n‬‬
‫= )‪B(z, n + 1‬‬ ‫‪, n ∈ N∗ .4‬‬
‫)‪z(z + 1)......(z + n‬‬

‫العلاقة بين التابعين غاما و بيتا‬

‫التابع غاما يرتبط بالتابع بيتا بالعلاقة التالية‪:‬‬
‫)‪Γ(z)Γ(w‬‬
‫= )‪∀(z, w) ∈ C2 , Re(z) > 0, Re(w) > 0, B(z, w‬‬ ‫‪.‬‬
‫)‪Γ(z + w‬‬
‫‪Z‬‬ ‫‪1‬‬
‫= )‪∀(z, w) ∈ C , Re(z) > 0, Re(w) > 0, B(z, w‬‬
‫‪2‬‬
‫‪tz−1 (1 − t)w−1 dt‬‬ ‫لدينا‪:‬‬
‫‪0‬‬
‫‪t‬‬
‫= ‪ u‬نجد أن‪:‬‬ ‫بوضع‪:‬‬
‫‪1−t‬‬
‫‪Z‬‬ ‫∞‪+‬‬
‫‪uz−1‬‬
‫= )‪∀(z, w) ∈ C , Re(z) > 0, Re(w) > 0, B(z, w‬‬
‫‪2‬‬
‫‪du‬‬ ‫)‪(1.1‬‬
‫‪0‬‬ ‫‪(1 + u)z+w‬‬
‫‪Z‬‬
‫حسب الخاصية‪:‬‬
‫∞‪+‬‬
‫)‪Γ(a‬‬
‫‪∀a ∈ C, Re(a) > 0,‬‬ ‫= ‪e−pt ta−1 dt‬‬
‫‪0‬‬ ‫‪pa‬‬
‫بوضع المتغيرين ‪ p = 1 + u‬و ‪ ،a = z + w‬نجد أن‪:‬‬
‫‪Z‬‬ ‫∞‪+‬‬
‫‪1‬‬ ‫‪1‬‬
‫‪z+w‬‬
‫=‬ ‫‪e−(1+u)t tz+w−1 dt‬‬ ‫)‪(2.1‬‬
‫)‪(1 + u‬‬ ‫)‪Γ(z + w‬‬ ‫‪0‬‬
‫بتعو يض )‪ (2.1‬في )‪ ،(1.1‬نجد أن‪:‬‬
‫∞‪Z +‬‬ ‫∞‪Z +‬‬

‫‪1‬‬ ‫‪−t z+w−1‬‬
‫= )‪B(z, w‬‬ ‫‪e t‬‬ ‫‪dt‬‬ ‫‪e−ut uz−1 du‬‬
‫‪Γ(z + w) 0‬‬ ‫‪0‬‬
‫∞‪Z +‬‬
‫)‪Γ(z‬‬
‫=‬ ‫‪e−t tw−1 dt‬‬
‫‪Γ(z + w) 0‬‬
‫)‪Γ(z)Γ(w‬‬
‫=‬ ‫‪.‬‬
‫)‪Γ(z + w‬‬
‫■‬

‫تحو يل لابلاس‬
‫تعر يف ‪4.3.1‬‬
‫لتكن ‪ f‬دالة معرفة من ‪ R+‬نحو ‪) R‬أو ‪ .(C‬نعرف تحو يل لابلاس للدالة ‪) f‬إن وجد( كالآتي‪:‬‬
‫‪Z‬‬ ‫∞‪+‬‬
‫= )‪F (s) = L[f (t)] = L[f ](s‬‬ ‫‪e−st f (t)dt,‬‬
‫‪0‬‬
‫حيث ‪ s‬عدد مركب‪ .‬تسمى )‪ f (t‬بالدالة الأصلية‪.‬‬
‫)الدالة المستمرة بالقطعة(‬ ‫تعر يف ‪5.3.1‬‬
‫نقول عن الدالة ‪ f‬المعرفة من ‪ R‬نحو ‪) C‬أو ‪ (R‬أنها مستمرة بالقطعة على المجال ]∞ ‪ ]0� +‬من أجل كل‬
‫‪ ,0 < α < β‬إذا كان بإمكاننا تقسيم المجال ]‪ [α, β‬إلى عدد منته من المجالات المفتوحة بحيث تكون الدالة‬
‫‪ f‬مستمرة و محدودة من اليمين و اليسار‪.‬‬
‫)الدالة المتزايدة أسيا(‬ ‫تعر يف ‪6.3.1‬‬
‫نقول عن الدالة ‪ f‬المعرفة من ‪ R‬نحو ‪) C‬أو ‪ (R‬أنها متزايدة أسيا من أجل ]∞‪ r ∈]0, +‬إذا وجد عددين‬
‫حقيقيين ثابتين ‪ M > 0‬و ‪ t0 ≥ 0‬بحيث‪:‬‬
‫‪|f (t)| ≤ M ert ,‬‬ ‫‪t ≥ t0‬‬
‫)وجود تحو يل لابلاس(‬ ‫تعر يف ‪7.3.1‬‬
‫لتكن )‪ f : R → R(C‬حيث ‪ f (t) = 0‬من أجل ‪ .t < 0‬إذا كانت ‪ f‬دالة مستمرة بالقطعة على‬
‫‪R t0‬‬
‫موجود فإن تحو يل لابلاس للدالة‬ ‫‪0‬‬
‫المجال]∞‪ [0, +‬و متزايدة أسيا من أجل كل ‪t0 > 0‬و كان ‪|f (t)|dt‬‬
‫‪ f‬موجود من أجل ‪.s > r‬‬
‫الشرط الكافي هو‪:‬‬
‫‪Z‬‬ ‫‪x‬‬
‫‪lim‬‬ ‫‪e−st |f (t)|dt < +∞.‬‬
‫∞‪x→+‬‬ ‫‪0‬‬
‫لدينا ‪ f‬دالة متزايدة أسيا‪:‬‬

‫‪|f (t)| ≤ M ert ,‬‬ ‫‪≥ t0 ,‬‬

‫و ‪ f‬مستمرة بالقطعة على المجال ] ‪:[0, t0‬‬
‫‪|f (t)| ≤ M,‬‬ ‫‪0 < t < t0 ,‬‬
‫و منه‪:‬‬
‫‪Z‬‬ ‫‪x‬‬ ‫‪Z‬‬ ‫‪t0‬‬ ‫‪Z‬‬ ‫‪x‬‬
‫‪−st‬‬ ‫‪−st‬‬
‫‪e‬‬ ‫= ‪|f (t)|dt‬‬ ‫‪|f (t)|dt +‬‬
‫‪e‬‬ ‫‪e−st |f (t)|dt‬‬
‫‪0‬‬ ‫‪0‬‬ ‫‪t0‬‬
‫‪Z t0‬‬ ‫‪Z‬‬ ‫‪x‬‬
‫≤‬ ‫‪|f (t)|dt + M‬‬ ‫‪e−st ert dt,‬‬
‫‪0‬‬ ‫‪t0‬‬
‫‪R t0‬‬
‫و منه‪:‬‬ ‫‪0‬‬
‫و لدينا من الفرض ‪|f (t)|dt‬‬
‫‪Z‬‬ ‫‬ ‫‪x‬‬

‫∞‪+‬‬
‫‪−st rt‬‬ ‫‪e−(s−r)t‬‬ ‫‪M‬‬ ‫‪e−(s−r)x‬‬
‫‪M‬‬ ‫‪e‬‬ ‫‪e dt = M‬‬ ‫=‬ ‫‪−‬‬ ‫‪,‬‬
‫‪t0‬‬ ‫‪p−r‬‬ ‫‪t0‬‬ ‫‪x−r‬‬ ‫‪x−r‬‬
‫و لأن ‪ limx→+∞ e−(s−r)τ = 0‬و ‪ Re(s) = x > r‬لدينا‪:‬‬

‫‪Z‬‬ ‫∞‪+‬‬
‫‪M‬‬
‫≤ ‪e−st |f (t)|dt‬‬ ‫‪.‬‬
‫‪0‬‬ ‫‪x−r‬‬
‫■‬
‫خواص‬
‫في ما يلي )‪f (t‬و )‪ g(t‬دالتان معرفتان من ‪ R‬نحو ‪)R‬أو ‪ ،(C‬و تحققان شروط وجود تحو يل لابلاس‪.‬‬
‫‪ .1‬من أجل كل تابعين ‪ f‬و ‪ g‬تحو يلهما للابلاس موجود‪ ،‬و من أجل كل ثابتين ‪a‬و ‪ b‬لدينا‪:‬‬
‫‪L[af (t) + bg(t)] = aL[f (t)] + bL[g(t)].‬‬
‫‪ .2‬تحو يل لابلاس للمشتق النوني للدالة ‪:f‬‬
‫‪X‬‬
‫‪n−1‬‬
‫‪L[f (t)] = s F (s) −‬‬
‫‪n‬‬
‫)‪sn−k−1 f (k) (0‬‬
‫‪k=0‬‬
‫‪X‬‬
‫‪n−1‬‬
‫‪= sn F (s) −‬‬ ‫‪sk f (n−k−1) (0).‬‬
‫‪k=0‬‬
‫‪ .3‬إذا كانت )‪F (t‬دالة أصلية لـ ‪ f‬فإن‪:‬‬
‫])‪L[f (t‬‬
‫= ] )‪L[F (n‬‬ ‫‪,‬‬ ‫‪s > 0.‬‬
‫‪s‬‬

‫)تحو يل لابلاس العكسي(‬ ‫تعر يف ‪8.3.1‬‬
‫إذا كان تحو يل لابلاس للدالة )‪ f (t‬هو )‪ F (s‬أي )‪ L[f (t)] = F (s‬فإننا نسمي )‪ f (t‬بتحو يل لابلاس‬
‫العكسي لـ )‪F (s‬و نعبر عنه بـ‪:‬‬
‫‪Z‬‬ ‫‪A‬‬
‫‪−1‬‬ ‫‪1‬‬
‫‪f (t) = L [F (s)] = lim‬‬ ‫‪F (s)est ds.‬‬
‫‪A→+∞ 2π‬‬ ‫‪−A‬‬
‫أمثلة ‪:‬‬
‫تحو يل لابلاس لبعض الدوال المهمة‪:‬‬
‫‪ .1‬تحو يل لابلاس للدالة ‪:ekt‬‬

‫‪Z‬‬ ‫∞‪+‬‬ ‫‪Z‬‬ ‫‪ε‬‬
‫‪−st‬‬
‫= ] ‪L[e‬‬
‫‪kt‬‬
‫‪e‬‬ ‫‪f (t)dt = lim‬‬ ‫‪e(k−s)t dt‬‬
‫‪0‬‬ ‫∞‪ε→+‬‬ ‫‪0‬‬
‫‪1‬‬ ‫‪−1‬‬
‫‪= lim‬‬ ‫= ]‪[e(k−s)ε − 1‬‬ ‫‪,‬‬ ‫‪s > k.‬‬
‫‪ε→+∞ k − s‬‬ ‫‪k−s‬‬
‫‪1‬‬
‫= ]‪.s > 0 ،L[1‬‬ ‫و على وجه الخصوص‪ ،‬من أجل ‪ k = 0‬فإن‬
‫‪s‬‬
‫‪ .2‬تحو يل لابلاس للدالة ‪:tn‬‬
‫‪Z‬‬ ‫∞‪+‬‬
‫‪n n−1‬‬
‫= ] ‪L[t‬‬
‫‪n‬‬
‫= ‪e−st tn dt‬‬ ‫‪L[t ],‬‬ ‫‪s > k,‬‬
‫‪0‬‬ ‫‪s‬‬
‫و بالتكرار نجد‪:‬‬
‫!‪n‬‬ ‫!‪n‬‬
‫‪L[tn ] = n L[t0 ] = n+1 .‬‬
‫‪s‬‬ ‫‪s‬‬
‫‪ .3‬تحو يل لابلاس للدالة )‪:cos(kt‬‬
‫‪s‬‬
‫= ]‪L[cos kt‬‬ ‫‪,‬‬ ‫‪s > 0.‬‬
‫‪s2‬‬ ‫‪+ k2‬‬
‫‪ .4‬تحو يل لابلاس للدالة ) ‪:tβ−1 Eα,β (atα‬‬
‫‬ ‫‬ ‫‪sα−β‬‬

‫‪L tβ−1 Eα,β (atα ) = α‬‬ ‫‪,‬‬ ‫‪sα > |a|.‬‬
‫‪s −a‬‬

‫انطلاقا من تحو يلات لابلاس السابقة يكننا الحصول على التحو يل العكسي للابلاس‪ .‬مثلا‪:‬‬
‫‬ ‫‬
‫‪−1‬‬ ‫!‪n‬‬
‫‪L‬‬ ‫‪= tn ,‬‬
‫‪sn+1‬‬
‫و‬
‫‬ ‫‬
‫‪sα−β‬‬
‫‪L‬‬ ‫‪−1‬‬
‫‪= tβ−1 Eα,β (atα ).‬‬ ‫)‪(3.1‬‬
‫‪sα − a‬‬
‫■‬
‫)جداء الالتواء(‬ ‫تعر يف ‪9.3.1‬‬
‫جداء التواء الدالتين )‪ f (t‬و )‪ g(t‬هو‪:‬‬

‫‪Z‬‬ ‫‪t‬‬
‫= )‪f (t) ∗ g(t‬‬ ‫‪f (t − x)g(x)dx‬‬
‫‪0‬‬
‫الدالة ميتاغ‪-‬ليفر )‪(Mittag-Leffler‬‬

‫]‪ [12‬الدالة ميتاغ‪-‬ليفر تعميم للدالة الاسية‪ ،‬و هذا ما يعطيها أهمية كبيرة في الحساب الـكسري‪.‬‬
‫)الدالة بوسيط واحد(‬ ‫تعر يف ‪10.3.1‬‬
‫عرفت الدالة ميتاغ‪-‬ليفر لأول مرة بالسلسلة‪:‬‬
‫‪X‬‬
‫∞‬
‫‪zk‬‬
‫= )‪Eα (z‬‬ ‫‪α>0‬‬ ‫‪α∈R‬‬ ‫‪z∈C‬‬
‫‪k=0‬‬
‫)‪Γ(αk + 1‬‬
‫)الدالة بوسيطين(‬ ‫تعر يف ‪11.3.1‬‬
‫التعميم إلى متغيرين قدم من طرف أغاروال )‪ (agarwal‬بالعبارة ‪:‬‬
‫‪X‬‬
‫∞‬
‫‪zk‬‬
‫= )‪Eα,β (z‬‬ ‫‪α, β > 0, α, β ∈ R, z ∈ C‬‬ ‫)‪(4.1‬‬
‫‪k=0‬‬
‫)‪Γ(αk + β‬‬
‫تسمى دالة بوسيطين من الصنف ميتاغ‪-‬ليفر‪.‬‬

‫خواص‬
‫‪ .1‬انطلاقا من العلاقة )‪ ،(4.1‬يمكننا إ يجاد العلاقات التالية‪:‬‬
‫‪X‬‬
‫∞‬
‫‪zk‬‬
‫= )‪Eα,1 (z‬‬ ‫• ‪= Eα (z).‬‬
‫‪k=0‬‬
‫)‪Γ(αk + 1‬‬
‫‪X‬‬
‫∞‬
‫‪zk‬‬ ‫‪X zk‬‬ ‫∞‬
‫= )‪E1,1 (z‬‬ ‫=‬ ‫• ‪= ez .‬‬
‫‪k=0‬‬
‫!‪Γ(k + 1) k=0 k‬‬
‫‪X‬‬
‫∞‬
‫‪zk‬‬ ‫‪X‬‬
‫∞‬
‫‪zk‬‬ ‫‪1 X z k+1‬‬
‫∞‬
‫‪ez − 1‬‬
‫= )‪E1,2 (z‬‬ ‫=‬ ‫=‬ ‫=‬ ‫• ‪.‬‬
‫‪k=0‬‬
‫)‪Γ(k + 2‬‬ ‫‪k=0‬‬
‫!)‪(k + 1‬‬ ‫!)‪z k=0 (k + 1‬‬ ‫‪z‬‬
‫‪X‬‬
‫∞‬
‫‪z‬‬ ‫‪k‬‬ ‫‪X‬‬
‫∞‬
‫‪zk‬‬ ‫‪1 X z k+2‬‬
‫∞‬
‫‪ez − 1 − z‬‬
‫= )‪E1,3 (z‬‬ ‫=‬ ‫‪= 2‬‬ ‫=‬ ‫• ‪.‬‬
‫‪k=0‬‬
‫)‪Γ(k + 3‬‬ ‫‪k=0‬‬
‫!)‪(k + 2‬‬ ‫!)‪z k=0 (k + 2‬‬ ‫‪z2‬‬
‫‬ ‫ ‪p−2 k‬‬
‫‪X‬‬
‫‪1‬‬ ‫‪z‬‬
‫= )‪E1,p (z‬‬ ‫‪e −‬‬
‫‪z‬‬
‫• ‪.‬‬
‫‪z p−1‬‬ ‫‪k=0‬‬
‫!‪k‬‬
‫‪1‬‬
‫= )‪Eα,β (z‬‬ ‫• ‪+ zEα,α+β (z).‬‬
‫)‪Γ(β‬‬
‫‪d‬‬
‫• ‪Eα,β (z) = βEα,1+β (z) + αz Eα,1+β (z).‬‬
‫‪dz‬‬
‫‪ .2‬المشتق النوني للدالة ميتاغ ليفر يعطى بالعلاقة الآتية‪:‬‬
‫‪dn β−1‬‬
‫‪[z Eα,β (z α )] = z β−n−1 Eα,β−n (z α ),‬‬ ‫‪β − n > 0.‬‬
‫‪dz n‬‬
‫‪ .3‬تكامل دالة ميتاغ ليفر يعطى بالعلاقة الآتية‪:‬‬

‫‪Z‬‬ ‫‪z‬‬
‫‪tβ−1 Eα,β (θtα )dt = z β Eα,β+1 (θz α ).‬‬
‫‪0‬‬
‫العلاقة السابقة هي حالة خاصة من العلاقة الآتية‪:‬‬

‫‪Z‬‬ ‫‪z‬‬
‫‪1‬‬
‫‪(z − t)λ−1 tβ−1 Eα,β (θtα )dt = z β+λ−1 Eα,β+λ (θz α ),‬‬ ‫‪λ > 0.‬‬
‫)‪Γ(λ‬‬ ‫‪0‬‬
‫الإشتقاق و التكامل الـكسري‬ ‫‪2.3.1‬‬

‫بالإعتماد على المراجع ]‪ [13][2][4‬نعطي بعض التعار يف المهمة‪:‬‬
‫‬ ‫‬ ‫ ‬
‫ليكن ‪ Ω = a, b‬حيث‪ −∞ < a < b < +∞ :‬و ‪ f‬تابع مستمر حيث‪f : a, b → R :‬‬

[a, b] ‫التكامل الـكسري على مجال‬
12.3.1 ‫تعر يف‬

''Riemman ‫ بمفهوم‬α ‫ من رتبة كسر ية‬f ‫ تكامل الدالة‬، α ∈ R+ ‫ و‬f ∈ L1 [a, b] ‫لتكن‬
:‫ و يعطى بالعبارة التالية‬Iaα ‫ يرمز له بـ‬Liouville''
Zx
1
Iaα f (x) = (x − t)α−1 f (t)dt , x ∈ a, b .
Γ (α)
a
:‫ العلاقة تصبح‬α = n ∈ N ‫إذا كان‬
Zx
1
Ian f (x) = (x − t)n−1 f (t)dt , x > a.
(n − 1)!
a
3.3.1 ‫مثال‬

f (x) = (x − a)β , β > −1 , x ∈ a, b .
β
: Iaα x − a ‫حساب‬
Zx
1
Iaα f (x) = (x − t)α−1 (t − a)β dt,
Γ (α)
a
t − a = (x − a) y :‫ نجد‬0 ≤ y ≤ 1 ‫ حيث‬t = a + (x − a) y :‫نقوم بتبديل المتغير‬
Z1 α−1 β
1
Iaα f (x) = x − a − (x − a) y (x − a) y (x − a) dy
Γ (α)
0
Z1 α−1
1
= x − a − (x − a) y (x − a)β+1 y β dy
Γ (α)
0
Z1 α−1
1
= (x − a) (1 − y) (x − a)β+1 y β dy,
Γ (α)
0
:‫و منه‬
Z1
(x − a)β+α
Iaα f (x) = (1 − y)α−1 y β dy
Γ (α)
0

Z1
(x − a)β+α
= (1 − y)α−1 y (β+1)−1 dy
Γ (α)
0
(x − a) β+α
= B (α, β + 1)
Γ (α)
(x − a)β+α Γ (α) Γ (β + 1)
= ,
Γ (α) Γ (α + β + 1)
:‫إذن‬
Γ (β + 1)
Iaα (x − a)β = (x − a)α+β .
Γ (α + β + 1)
:‫ لدينا‬α = 0 ‫ من أجل‬.1.3.1 ‫خاصية‬

Ia0 f (x) = f (x).
Zx
1
Ian f (x) = (x − t)n−1 f (t)dt
Γ(n)
a
Zx
1 d (x − t)n
= f (t) − dt
Γ(n) dt n
a
Zx
1 ′
= f (a)(x − a) + f (t)(x − t) dt ,
n n
Γ(n + 1)
a
:‫نجد‬
Zx
′
Ia0 f (x) = 1 f (a) 1 + f (t) dt
a
= f (a) + f (x) − f (a)
= f (x),
■ Ia0 f (x) = f (x). :‫ومنه النتيجة‬

:‫ فإن‬α > 1 ‫ إذا كان‬.1.3.2 ‫خاصية‬
d α
I f = Iaα−1 f.
dx a

Zx
d α d 1
I f (x) = (x − t) f (t)dt
α−1
dx a dx Γ(α)
a
Zx
1 d
= (x − t)α−1 f (t)dt
Γ(α) dx
a
Zx
1
= (α − 1)(x − t)α−2 f (t)dt
Γ(α)
a
Zx
1
= (α − 1)(x − t)α−2 f (t)dt
(α − 1)Γ(α − 1)
a
Zx
1
= (x − t)α−2 f (t) dt
Γ(α − 1)
a
= Iaα−1 f (x).
■

:‫ لدينا‬β > 0 ،α > 0 ‫ عددان حقيقيان حيث‬β ‫ و‬α :‫ و‬f ∈ C [a, b] ‫ لتكن‬.1.3.3 ‫خاصية‬
Iaα ◦ Iaβ = Iaα+β .

Iaα ◦ Iaβ f (x) = Iaα Iaβ f (x)
Zx
1
= (x − s)α−1 Iaβ f (s) ds
Γ (α)
a
Zx Zs
1 1
= (x − s) α−1
(s − t) β−1
f (t) dt ds
Γ (α) Γ (β)
a a
Zx Zs
1 1
= (x − s)α−1 (s − t)β−1 f (t) dt ds
Γ (α) Γ (β)
a a
Zx Zx
1 1
= f (t) (x − s) α−1
(s − t) β−1
ds dt.
Γ (α) Γ (β)
a t

0 ≤ y ≤ 1 :‫ حيث‬s = t + (x − t)y :‫نقوم بتبديل المتغير‬
Zx Z1
1
Iaα ◦ Iaβ f (x) = f (t)(x − t) α+β−1
(1 − y)α−1 y β−1 dy dt
Γ (α) Γ (β)
a 0
Zx
1
= f (t)(x − t)α+β−1 B(α, β) dt
Γ (α) Γ (β)
a
Zx
B(α, β)
= f (t)(x − t)α+β−1 dt
Γ (α) Γ (β)
a
Zx
1
= f (t)(x − t)(α+β)−1 dt
Γ (α + β)
a
= Iaα+β f (x).
■
. ‫ هو مؤثر خطي‬α > 0 ‫ التكامل الـكسري من الرتبة‬.1.3.4 ‫خاصية‬

:λ , µ ∈ R ‫ و‬a, b ‫ دالتان معرفتان على‬g ‫ و‬f ‫لتكن‬
Zx
1
Iaα λf + µ g (x) = (x − t)α−1 (λf + µ g) (t) dt
Γ (α)

a

Zx Zx
1 
= (x − t)α−1 λf (t) dt + (x − t)α−1 µ g (t) dt
Γ (α)
a a
Zx Zx
λ µ
= (x − t)α−1 f (t) dt + (x − t)α−1 g (t) dt
Γ (α) Γ (α)
a a
= λIaα f (x) + µIaα g (x) .
■ .‫ مؤثر خطي‬I α ‫ومنه‬
(Riemman-Liouville) ‫ليوفيل‬-‫الإشتقاق الـكسري بمفهوم ريمان‬ 3.3.1

13.3.1 ‫تعر يف‬

‫ بمفهوم‬n − 1 ≤ α < n ‫ حيث‬،α ‫ يعرف المشتق الـكسري ذو الرتبة‬،f ∈ L1 [a, b] ‫لتكن‬ -
:‫" بالعبارة التالية‬Riemman-Liouville"
n Zx
1 d
RL
Daα f (x) = (x − t)n−α−1 f (t) dt
Γ (n − α) dx
a
n
d
= Ian−α f (x) .
dx
.α ‫[ الجزء الصحيح للعدد‬α] ،n = [α] + 1 ‫حيث‬
‫ملاحظة‬
:‫ فإن‬α ∈ 0, 1 ‫• إذا كان‬
Zx
1 d
RL α
Da f (x) = (x − t)−α f (t) dt
Γ (1 − α) dx
a
d 1−α
= Ia f (x).
dx
.RL Da0 f (x) = f (x) :‫ فإن‬α = 0 ‫• إذا كان‬
‫حالة خاصة‬
.RL Dam f (x) = f (m) (x) :‫ فإن‬α = m ∈ N ‫إذا كان‬
.α = m ⇒ n = m + 1 :‫لدينا‬
:‫إذن‬
m+1 Zx
1 d
RL
Dam f (x) = (x − t)m+1−m−1 f (t) dt
Γ (m + 1 − m) dx
a
m+1 Zx
d
= f (t) dt
dx
a
m Zx
d d
= f (t) dt
dx dx
a
m
d
= f (x)
dx
= f (m) (x) .

‫■‬
‫مثال ‪4.3.1‬‬
‫‪f (x) = (x − a)β , β > −1‬‬
‫حساب مشتق ريمان‪-‬ليوفيل من الرتبة ‪ α‬للدالة ‪: f‬‬

‫‬ ‫ ‪n‬‬ ‫‬
‫‪d‬‬
‫‪RL‬‬
‫)‪Daα f (x‬‬ ‫=‬ ‫‪Ian−α (x‬‬ ‫)‪− a‬‬ ‫‪β‬‬
‫‪.‬‬
‫‪dx‬‬
‫وجدنا سابقا‪:‬‬
‫)‪Γ (β + 1‬‬
‫= ‪Ian−α (x − a)β‬‬ ‫‪(x − a)β+n−α .‬‬
‫)‪Γ (β + 1 + n − α‬‬
‫ومنه‪:‬‬
‫‬ ‫ ‪n‬‬ ‫‬
‫‪d‬‬ ‫)‪Γ (β + 1‬‬
‫‪RL‬‬
‫)‪Daα f (x‬‬ ‫=‬ ‫)‪(x − a‬‬ ‫‪β+n−α‬‬
‫‪dx‬‬ ‫)‪Γ (β + 1 + n − α‬‬
‫)‪Γ (β + 1‬‬
‫=‬ ‫‪(β + n − α) (β + n − α − 1) · · · (β − α + 1) (x − a)β−α‬‬
‫)‪Γ (β + 1 + n − α‬‬
‫)‪Γ (β + 1‬‬ ‫)‪Γ (β + n − α + 1‬‬
‫=‬ ‫‪(x − a)β−α .‬‬
‫)‪Γ (β + 1 + n − α) Γ (β − α + 1‬‬
‫إذن‪:‬‬
‫)‪Γ (β + 1‬‬
‫‪RL α‬‬
‫= )‪Da f (x‬‬ ‫‪(x − a)β−α .‬‬
‫)‪Γ (β + 1 − α‬‬
‫مثال ‪5.3.1‬‬
‫‪t > 0 , β > −1‬‬ ‫حيث‪:‬‬ ‫‪RL‬‬
‫‪Daα tβ‬‬ ‫حساب‬
‫من المثال السابق بوضع ‪ a = 0‬نجد‪:‬‬
‫‪RL‬‬ ‫‪Γ(β + 1) β−α‬‬

‫= ‪D0α tβ‬‬ ‫‪t .‬‬
‫)‪Γ(β − α + 1‬‬
‫حالة خاصة لما ‪:β = 0‬‬

‫‪−α‬‬
‫‪RL‬‬ ‫‪t‬‬
‫= ‪D0α t0 = RL D0α 1‬‬ ‫‪.‬‬
‫)‪Γ(1 − α‬‬
‫أي أن مشتق ريمان ليوفيل لعدد حقيقي ثابت غير معدوم‪.‬‬
‫خاصية ‪ .1.3.5‬مؤثر الإشتقاق بمفهوم ريمان‪-‬ليوفيل ‪ RL D‬خطي ‪.‬‬


f, g ∈ L1 [a, b] , ∀ µ, λ ∈ R
n Zx
1 d
RL
Daα λf (x) + µg(x) = (x − t)n−α−1 λf + µg)(t) dt
Γ (n − α) dx
a
n Zx
1 d
= λ(x − t) n−α−1
f (t) + µ(x − t) n−α−1
g(t) dt
Γ (n − α) dx
a
n Zx
λ d
= (x − t)n−α−1 f (t) dt
Γ (n − α) dx
a
n Zx
µ d
+ (x − t)n−α−1 g(t) dt
Γ (n − α) dx
a
n n
d n−α d
=λ Ia f (x) + µ Ian−α g(x)
dx dx
= λRL Daα f (x) + µRL Daα g(x).
■

:‫ لدينا‬α > 0 ‫ و‬f ∈ L1 [a, b] ‫ لتكن‬.1.3.6 ‫خاصية‬
RL
Daα ◦ Iaα f = f.

RL
Daα ◦ Iaα f (x) = RL Daα Iaα f (x)
n
d
= I n−α I α f (x)
dx
n
d
= I n−α+α f (x)
dx
n
d
= I n f (x)
dx
= f (x).
■
.1.3.7 ‫خاصية‬
X
n−1
Γ(i + 1)
RL
Daα f (x) = 0 ⇒ f (x) = ci (x − a)i+α−n ci ∈ R.
i=0
Γ(i + α + 1 − n)

n :‫لدينا‬
RL d
Daα f (x) = Ian−α f (x) = 0
dx
:‫معناه‬
X
n−1
Ian−α f (x) = ci (x − a)i
i=0
:‫ إلى الطرفين‬Iaα ‫ندخل‬

X
n−1
Iaα ◦ Ian−α f (x) = Iaα ci (x − a)i
i=0
:‫لدينا‬
Γ (i + 1)
Iaα (x − a)i = (x − a)α+i , Iaα ◦ Ia n−α f (x) = Ian f (x).
Γ (α + i + 1)
:‫و منه‬
X
n−1
Γ(i + 1)
Ian f (x) = ci (x − a)i+α
i=0
Γ(i + α + 1)
X
n−1
Γ(i + 1) Γ(i + α + 1)
⇒ f (x) = ci (x − a)i+α−n .
i=0
Γ(i + α + 1) Γ(i + α + 1 − n)
:‫إذن‬
X
n−1
Γ(i + 1)
f (x) = ci (x − a)i+α−n .
i=0
Γ(i + α + 1 − n)
■
.1.3.8 ‫خاصية‬
X
n−1
Γ(i + 1)
Iaα ◦ RL
Daα f (x) = f (x) + ci (x − a)i+α−n ci ∈ R.
i=0
Γ(i + α + 1 − n)
:‫ لدينا‬1.3.6 ‫من الخاصية‬
RL
Daα ◦ Iaα f = f
:‫نجد‬
RL
Daα ◦ Iaα ◦ RL Daα f = RL Daα f

:‫و منه‬
RL
Daα ◦ Iaα ◦ RL Daα f − RL Daα f = 0

Da Iaα ◦ RL Daα f − f = 0.
RL α
:‫ نجد‬1.3.7 ‫حسب الخاصية‬
X
n−1
Γ(i + 1)
Iaα ◦ RL
Daα f (x) = f (x) + ci (x − a)i+α−n .
i=0
Γ(i + α + 1 − n)
■
.‫ليوفيل ليس تبديلي‬-‫ تركيب الإشتقاق الـكسري لريمان‬.1.3.9 ‫خاصية‬
:‫أي‬
RL
Daα ◦ RL Daβ ̸= RL Daβ ◦ RL Daα ̸= RL Daα+β .
.α ̸= β , α > 0 , β > 0 ‫من أجل‬
: ‫مثال مضاد‬
f (x) = x , x ≥ 0.
1
α=1, β= :‫نأخذ‬
2
:‫نجد‬
RL Γ(2) 1−1
D01 x = x = 1.
Γ(1)
1 Γ (2) 1− 1 2 1
RL 2
D0 x = 3
x 2 = √ x2 .
Γ 2 π
1
RL
D01 ◦R D02 x = 1.
1 2
RL
D02 ◦R D01 x = √ .
π
:‫و منه‬
1 1
RL
D01 ◦RL D0 x̸=RL D0 ◦RL D01 x.
2 2
:‫كذلك‬
1+ 12 3 Γ (2) −1 1 −1
RL
D0 x = RL D0 x = 2
x 2
=√ x 2
Γ 12 π
:‫و بالتالي‬
1 1 3
RL
D01 ◦RL D0 x̸=RL D0 ◦RL D01 x ̸=RL D0 .
2 2 2

‫الإشتقاق الـكسري بمفهوم كابوتو)‪(Caputo‬‬ ‫‪4.3.1‬‬
‫تعر يف ‪14.3.1‬‬
‫‬ ‫‬
‫‬ ‫‬
‫‪ ،f ∈ AC‬المشتق الـكسري ذو الرتبة ‪ α > 0‬للدالة ‪ f‬بمفهوم كابوتو‬ ‫‪n‬‬
‫‪a, b , R‬‬ ‫لتكن ‪ f‬دالة حيث‬
‫معرف بـ‪:‬‬
‫‪Zx‬‬
‫‪1‬‬
‫‪C α‬‬
‫= )‪Da f (x‬‬ ‫‪(x − t)n−α−1 f (n) (t) dt‬‬
‫)‪Γ (n − α‬‬
‫‪a‬‬
‫=‬ ‫‪Ian−α f (n) (x).‬‬
‫حيث‪ [α] ،n = [α] + 1 :‬الجزء الصحيح للعدد ‪.α‬‬
‫ملاحظة‬
‫‪C‬‬
‫‪Daα f (x) = f (n) (x).‬‬ ‫• إذا كان ‪: α = n ∈ N‬‬
‫‪Z1‬‬
‫‪1‬‬
‫‪(x − t)−α f (t) dt.‬‬ ‫• إذا كان ‪: 0 < α < 1‬‬
‫‪C‬‬ ‫‪′‬‬
‫‪Daα‬‬ ‫= )‪f (x‬‬
‫)‪Γ (1 − α‬‬
‫‪0‬‬
‫‪∀c ∈ R ,‬‬ ‫‪C‬‬

‫مشتق ثابت بمفهوم كابوتو يساوي صفر ‪Daα c = 0‬‬
‫مثال ‪6.3.1‬‬
‫حساب مشتقة الدالة )‪ f (x) = (x − α‬بمفهوم كابوتو‪ ،‬لدينا‪:‬‬ ‫‪β‬‬
‫‬ ‫‪n‬‬
‫‪d‬‬ ‫)‪Γ (β + 1‬‬
‫= ‪(x − a)β‬‬ ‫‪(x − a)β−n .‬‬
‫‪dx‬‬ ‫)‪Γ (β + 1 − n‬‬
‫‬ ‫‪n‬‬ ‫‬ ‫‬ ‫‬

‫‪d‬‬ ‫)‪Γ (β + 1‬‬
‫‪Ian−α‬‬ ‫)‪(x − a‬‬ ‫‪β‬‬
‫=‬ ‫‪Ian−α‬‬ ‫)‪(x − a‬‬ ‫‪β−n‬‬
‫‪dx‬‬ ‫)‪Γ (β + 1 − n‬‬
‫)‪Γ (β + 1‬‬
‫=‬ ‫‪Ian−α (x − a)β−n‬‬
‫)‪Γ (β + 1 − n‬‬
‫)‪Γ (β + 1‬‬ ‫)‪Γ (β − n + 1‬‬
‫=‬ ‫‪(x − a)β−α‬‬
‫)‪Γ (β + 1 − n) Γ (n − α + β − n + 1‬‬
‫ومنه‪:‬‬
‫)‪Γ (β + 1‬‬
‫‪C α‬‬
‫= )‪Da f (x‬‬ ‫‪(x − a)β−α .‬‬
‫)‪Γ (β + 1 − α‬‬

‫العلاقة بين مشتق ريمان‪-‬ليوفيل و مشتق كابوتو‬
‫توطئة ‪1.3.1‬‬
‫‬
‫لتكن ]‪ f ∈ C n [a, b‬و ‪ α > 0‬حيث‪ .n − 1 ≤ α < n�n ∈ N∗ :‬العلاقة بين مشتق كابوتو و مشتق‬
‫ريمان‪-‬ليوفيل تعطى بـ‪:‬‬
‫‪X‬‬
‫‪n−1‬‬
‫)‪(t − a)k−α (k‬‬
‫‪C‬‬
‫‪Daα‬‬ ‫= )‪f (t‬‬ ‫‪RL‬‬
‫‪Daα‬‬ ‫‪f (t) −‬‬ ‫‪f (a).‬‬
‫‪k=0‬‬
‫)‪Γ (k + 1 − α‬‬
‫نقوم بنشر الدالة ‪ f‬عند النقطة ‪ a‬بإستعمال نشر تايلور‪:‬‬
‫‪(t − a)2 ′′‬‬

‫‪′‬‬ ‫‪(t − a)3 ′′′‬‬
‫‪f (t) = f (a) + (t − a) f (a) +‬‬ ‫‪f (a) +‬‬ ‫‪f (a) + . . .‬‬
‫!‪2‬‬ ‫!‪3‬‬
‫)‪(t − a)n−1 (n−1‬‬
‫‪+‬‬ ‫‪f‬‬ ‫‪(a) + Rn−1 ,‬‬
‫!)‪(n − 1‬‬
‫أي‪:‬‬
‫‪X‬‬
‫‪n−1‬‬
‫)‪(t − a)k (k‬‬
‫= )‪f (t‬‬ ‫‪f (a) + Rn−1‬‬
‫‪k=0‬‬
‫‪Γ‬‬ ‫‪(k‬‬ ‫‪+‬‬ ‫)‪1‬‬
‫حيث‪:‬‬
‫‪Zt‬‬
‫‪f (n) (s) (t − s)n−1‬‬
‫= ‪Rn−1‬‬ ‫‪ds‬‬
‫!)‪(n − 1‬‬
‫‪a‬‬
‫‪Zt‬‬
‫‪1‬‬
‫=‬ ‫‪f (n) (s) (t − s)n−1 ds‬‬
‫)‪Γ (n‬‬
‫‪a‬‬
‫‪= I n f (n) (t) .‬‬
‫بإستعمال خواص مشتق ‪ Riemman-Liouville‬المذكورة سابقا نحصل على‪:‬‬

‫!‬
‫‪X‬‬
‫‪n−1‬‬
‫)‪(t − a)k (k‬‬
‫‪RL‬‬
‫‪Daα f (t) = RL Daα‬‬ ‫‪f (a) + Rn−1‬‬
‫‪k=0‬‬
‫‪Γ‬‬ ‫‪(k‬‬ ‫‪+‬‬ ‫)‪1‬‬
‫‪X‬‬
‫‪n−1 RL α‬‬
‫‪D (t − a)k‬‬
‫‪a‬‬
‫=‬ ‫‪f (k) (a) + RL Daα Rn−1‬‬
‫‪k=0‬‬
‫)‪Γ (k + 1‬‬

‫‪X‬‬
‫‪n−1‬‬
‫)‪(t − a)k−α (k‬‬
‫=‬ ‫)‪f (a) + Ian−α f (n) (t‬‬
‫‪k=0‬‬
‫‪Γ‬‬ ‫‪(k‬‬ ‫‪−‬‬ ‫‪α‬‬ ‫‪+‬‬ ‫)‪1‬‬
‫‪X‬‬
‫‪n−1‬‬
‫)‪(t − a)k−α (k‬‬
‫=‬ ‫‪f (a) + C Daα f (t).‬‬
‫‪k=0‬‬
‫‪Γ‬‬ ‫‪(k‬‬ ‫‪−‬‬ ‫‪α‬‬ ‫‪+‬‬ ‫)‪1‬‬
‫‪X‬‬
‫‪n−1‬‬
‫)‪(t − a‬‬ ‫‪k−α‬‬
‫‪RL‬‬
‫‪Daα f (t) = C Daα f (t) +‬‬ ‫‪f (k) (a) .‬‬
‫‪k=0‬‬
‫)‪Γ (k − α + 1‬‬
‫■‬
‫حالات خاصة ‪:‬‬
‫• إذا كان ‪ 0 < α < 1‬فإن‪:‬‬

‫‬
‫‪C‬‬
‫‪Daα f (t)=RL Daα f (t) − f (a) .‬‬
‫• إذا كان ‪ ∀ k = 0, 1, ..., n − 1, n = [α] + 1 : f (k) (a) = 0‬فإن‪:‬‬
‫‪C‬‬
‫‪Daα f (t)=RL Daα f (t).‬‬
‫[‪]19‬‬ ‫توطئة ‪2.3.1‬‬
‫‬ ‫‬
‫لتكن الدالة ‪ ، h : 0, +∞ → R‬من أجل ‪ α > 0‬المعادلة التفاضلية المتجانسة ذات الرتبة الـكسر ية ‪.α‬‬
‫‪ C Dα h (t) = 0‬تقبل الحل التالي‪:‬‬
‫‪h (t) = c0 + c1 t + c2 t2 + ... + cn−1 tn−1 ,‬‬
‫‪ci ∈ R , i = 0, 1, ..., n − 1 , n = [α] + 1.‬‬
‫[‪]19‬‬ ‫توطئة ‪3.3.1‬‬
‫‬ ‫‬
‫لتكن الدالة ‪ ، h : 0, +∞ → R‬من أجل ‪ α > 0‬لدينا‪:‬‬
‫‬
‫‪Iα‬‬ ‫‪C‬‬
‫‪Daα h (t) = h(t) + c0 + c1 t + c2 t2 + ... + cn−1 tn−1 ,‬‬
‫‪ck ∈ R , k = 0, 1, ..., n − 1 , n = [α] + 1.‬‬

‫‪ C Dα h (t) = I n−α h(n) (t) .‬ندخل التكامل الـكسري للطرفين‪:‬‬ ‫لدينا‪:‬‬
‫‬ ‫‬
‫‪Iα‬‬ ‫‪C‬‬
‫)‪Dα h (t) = I α I n−α h(n) (t‬‬
‫)‪= I nR Dn h (t‬‬
‫‪X‬‬
‫‪n−1‬‬
‫‪= h (t) +‬‬ ‫‪ck t k‬‬
‫‪k=0‬‬
‫‪= h (t) + c0 + c1 t + c2 t2 + ... + cn−1 tn−1 .‬‬
‫■‬
‫[‪]11‬‬ ‫توطئة ‪4.3.1‬‬
‫لتكن [∞ ‪ y : [0, T ] → [0,‬دالة حقيقية و ‪ w‬دالة موجبة قابلة للتكامل محليا على ] ‪ ،[0, T‬و ليكن ‪a > 0‬‬
‫ثابت و ‪ .0 < α < 1‬إذا كان‪:‬‬
‫‪Z‬‬ ‫‪t‬‬
‫‪y(t) ≤ ω(t) + a‬‬ ‫‪(t − s)α−1 y(s)ds‬‬
‫‪0‬‬
‫فإنه يوجد ثابت )‪ K = K(α‬بحيث‪:‬‬

‫‪Z‬‬ ‫‪t‬‬
‫‪y(t) ≤ ω(t) + Ka‬‬ ‫‪(t − s)α−1 ω(s)ds,‬‬ ‫‪∀t ∈ [0, T ].‬‬
‫‪0‬‬
‫تحو يل لابلاس للمشتقات الـكسر ية‬
‫تحو يل لابلاس للمشتق الـكسري بمفهوم ريمان ليوفيل‪:‬‬

‫تحو يل لابلاس للمشتق الـكسري بمفهوم ريمان ليوفيل ذو الرتبة ‪ α‬هو‪:‬‬
‫‪X‬‬
‫‪n−1‬‬
‫[‪L‬‬ ‫‪RL‬‬
‫])‪D0α f (t‬‬ ‫‪= s F (s) −‬‬
‫‪α‬‬
‫‪sk [RL D0α−k−1 f (t)]t=0 ,‬‬ ‫‪n − 1 ≤ α < n.‬‬
‫‪k=0‬‬
‫يمكن التحقق منها من خلال‪:‬‬
‫‪L[RL D0α f (t)] = L[RL D0n (RL D0−n+α f (t))],‬‬
‫من صيغة تحو يل لابلاس للمشتق من الرتبة ‪ n‬حيث ‪ n ∈ N‬نحصل على‪:‬‬

‫‪X‬‬
‫‪n−1‬‬
‫[‪L‬‬ ‫‪RL‬‬
‫])‪D0α f (t‬‬ ‫[‪= s L‬‬‫‪n‬‬ ‫‪RL‬‬
‫])‪D0−n+α f (t‬‬ ‫‪−‬‬ ‫))‪skRL D0n−k−1 (RL D0−n+α f (0‬‬
‫‪k=0‬‬
‫‪X‬‬
‫‪n−1‬‬
‫‪= sn L[RL D0−n+α f (t)] −‬‬ ‫‪skRL D0α−k−1 f (0).‬‬
‫‪k=0‬‬
‫من جهة أخرى من عبارة المشتق الـكسري بمفهوم ريمان ليوفيل نجد‪ّ:‬‬
‫)‪−(n−α‬‬ ‫‪tα−1‬‬
‫‪L[RL D0‬‬ ‫[‪f (t)] = L‬‬ ‫‪∗ f (t)],‬‬
‫)‪Γ(α‬‬
‫تحو يل لابلاس للالتواء يعطي‪:‬‬
‫‪tα−1‬‬ ‫‪tα−1‬‬
‫[‪L‬‬ ‫[‪∗ f (t)] = L‬‬ ‫‪]L[f (t)],‬‬
‫)‪Γ(α‬‬ ‫)‪Γ(α‬‬
‫حيث‪:‬‬
‫‪α−1‬‬
‫‪t‬‬ ‫‪1‬‬ ‫‪1‬‬
‫[‪L‬‬ ‫=]‬ ‫= ] ‪L[tα−1‬‬ ‫‪Γ(α)s−α ,‬‬
‫)‪Γ(α‬‬ ‫)‪Γ(α‬‬ ‫)‪Γ(α‬‬
‫نفرض أن ‪ f‬يملك تحو يل لابلاس )‪:F (s‬‬
‫)‪−(n−α‬‬
‫‪L[RL D0‬‬ ‫‪f (t)] = s−(n−α) F (s).‬‬
‫و منه لدينا ‪:‬‬

‫‪X‬‬
‫‪n−1‬‬
‫‪L[RL D0α f (t)] = sn s−n+α F (s) −‬‬ ‫‪sk [RL D0α−k−1 f (t)]t=0‬‬
‫‪k=0‬‬
‫و عليه نجد‪:‬‬
‫‪X‬‬
‫‪n−1‬‬
‫‪L[RL D0α f (t)] = sα F (s) −‬‬ ‫‪sk [RL D0α−k−1 f (t)]t=0‬‬ ‫‪n − 1 ≤ α < n.‬‬
‫‪k=0‬‬
‫تحو يل لابلاس للمشتق الـكسري بمفهوم كابوتو‬

‫تحو يل لابلاس للمشتق الـكسري بمفهوم كابوتو من الرتبة ‪:α‬‬
‫‪X‬‬
‫‪n−1‬‬
‫[‪L‬‬ ‫‪C‬‬
‫])‪Daα f (t‬‬ ‫‪= s F (s) −‬‬
‫‪α‬‬
‫‪sα−k−1 f k (0),‬‬ ‫‪n − 1 < α ≤ n.‬‬
‫‪k=0‬‬

‫مما سبق لدينا‪:‬‬

‫‪L[C Daα f (t)] = L[RL Da−(n−α) f (n) (t)],‬‬
‫حيث‪:‬‬
‫‪L[RL Da−(n−α) f (n) (t)] = s−(n−α) L[f (n) (t)],‬‬
‫و من جهة أخرى لدينا‪:‬‬

‫‪X‬‬
‫‪n−1‬‬
‫‪L[f (n) (t)] = sn F (s) −‬‬ ‫‪sn−k−1 f k (0),‬‬
‫‪k=0‬‬
‫‬ ‫‪X‬‬
‫‪n−1‬‬ ‫‬
‫)‪−(n−α‬‬
‫[‪L‬‬ ‫‪C‬‬
‫])‪Daα f (t‬‬ ‫‪=s‬‬ ‫‪s F (s) −‬‬
‫‪n‬‬
‫‪s‬‬ ‫)‪n−k−1 (k‬‬
‫‪f‬‬ ‫)‪(0‬‬
‫‪k=0‬‬
‫‪X‬‬
‫‪n−1‬‬
‫‪= s F (s) −‬‬
‫‪α‬‬
‫‪sα−k−1 f (k) (0).‬‬
‫‪k=0‬‬
‫‪ 4.1‬نظر يات النقطة الثابتة‬
‫)نظر ية بناخ ‪]7[(Banach‬‬ ‫نظر ية ‪1.4.1‬‬
‫ليكن ‪ E‬فضاء بناخ و ‪ A : E → E‬تطبيق ‪.‬‬

‫;‪.∃! x ∈ E‬‬ ‫إذا كان ‪ A‬مقلص على ‪ ،E‬فإن ‪ A‬يقبل نقطة ثابتة وحيدة على ‪ E‬أي ‪Ax = x :‬‬
‫)نظر ية شايفر ‪]20](Schaefer‬‬ ‫نظر ية ‪2.4.1‬‬
‫ليكن ‪ E‬فضاء بناخ و ‪ A : E −→ E‬تطبيق مستمر كليا‪.‬‬

‫إذا كانت المجموعة }]‪ ϵ = {y ∈ E : y = λAy, λ ∈ [0, 1‬محدودة‪ ،‬فإن ‪ A‬يقبل على الأقل نقطة ثابتة‬
‫في ‪ E‬أي‪.∃x ∈ E; Ax = x :‬‬
‫)نظر ية كراسنوسيلسكي ‪]20](Krasnoselskii‬‬ ‫نظر ية ‪3.4.1‬‬
‫ليكن ‪ E‬فضاء بناخ و ‪ Br ⊂ E‬مجموعة غير خالية‪ ،‬مغلقة و محدبة‪N ،‬و ‪ L‬مؤثران بحيث‪:‬‬
‫• ‪ x, y ∈ Br‬فإن‪Lx + N y ∈ Br :‬‬

‫• ‪ L‬مقلص‪.‬‬
‫• ‪ N‬مستمر و متراص‪.‬‬
‫ومنه يوجد ‪ z ∈ Br‬بحيث‪.z = Lz + N z :‬‬
‫)نظر ية شودر ‪]20](schauder‬‬ ‫نظر ية ‪4.4.1‬‬
‫ليكن )‪ (E, d‬فضاء متر يا تام و ‪ U‬مجموعة محدبة و مغلقة من ‪ ،E‬و ليكن ‪ A : U → U‬تطبيق حيث‬
‫المجموعة ‪ Au : u ∈ U‬متراصة نسبيا في ‪ ،E‬إذن ‪ A‬يقبل على الأقل نقطة صامدة‪.‬‬
‫)نظر ية ويسنجر ‪]20](Weissinger‬‬ ‫نظر ية ‪5.4.1‬‬
‫∞‪P‬‬
‫متقاربة‪.‬‬ ‫‪j=0‬‬ ‫ليكن )‪ (E, d‬فضاء متر يا كليا غير خال‪ ،‬و ‪ αj ≥ 0‬من أجل كل من ‪ j ∈ N‬و ‪αj‬‬
‫إذا كان التطبيق ‪ A : U −→ U‬يحقق‪ ،d(Aju , Ajv ) ≤ αj :‬من أجل كل ‪ j ∈ N‬و ‪،u, v ∈ U‬‬
‫فإن ‪ A‬يقبل نقطة صامدة وحيدة ‪ .u‬ز يادة على ذلك من أجل كل ‪ u0 ∈ U‬المتتالية ‪j=1‬‬
‫∞) ‪ (Aj u0‬متقاربة‬ ‫∗‬
‫نحو النقطة الصامدة ∗‪.u‬‬

‫المعادلات التفاضلية الخطية برتب كسر ية‬
‫مقدمة ‪33 . . . . . . . . . . . . . . . . . . . . . . . . . . . .‬‬ ‫‪1.2‬‬

‫مسألة كوشي لمعادلة تفاضلية بمشتق كسري ‪34 .‬‬ ‫‪2.2‬‬
‫وجود و وحدانية الحل لمعادلة تفاضلية خطية‬ ‫‪3.2‬‬
‫برتبة كسر ية‪36 . . . . . . . . . . . . . . . . . . . . . . . .‬‬
‫الحل الدقيق لمعادلة تفاضلية خطية برتبة‬ ‫‪4.2‬‬
‫كسر ية باستعمال تحو يل لابلاس ‪40 . . . . . . . . .‬‬
‫‪ 1.2‬مقدمة‬
‫في هذا الفصل سنثبت وجود و وحدانية الحل لمسألة كوشي لمعادلة تفاضلية خطية برتبة كسر ية بمفهوم كابوتو‪ ،‬ثم‬
‫سنقوم بتقديم الحل الدقيق للمعادلة باستعمال تحو يل لابلاس‪.‬‬
‫‪33‬‬
‫المعادلات التفاضلية الخطية برتب كسر ية‬ ‫الفصل الثاني‬
‫‪ 2.2‬مسألة كوشي لمعادلة تفاضلية بمشتق كسري‬
‫تعر يف ‪1.2.2‬‬
‫∈ ‪ α‬و الدالة ‪f (., y) : [a, b] × R −→ R‬‬

‫ليكن ]‪ [a, b‬مجال مغلق من ‪ ،R‬و لتكن‪ α > 0 :‬حيث‪/ N :‬‬
‫هي دالة مستمرة بالنسبة لـ ]‪ t ∈ [a, b‬لكل ‪ . y ∈ R‬مسألة كوشي لمعادلة تفاضلية بمشتق كسري بمفهوم‬
‫ريمان ليوفيل برتبة ‪ α‬كسر ية تعطى كالآتي‪:‬‬
‫‪RL‬‬
‫‪Daα = f (t, y(t)),‬‬
‫مع الشروط الإبتدائية التالية ‪:‬‬
‫‪RL‬‬
‫‪Dα−k y(a) = ck ∈ R‬‬ ‫‪k = 1, 2, ..., n, n = [α] + 1,‬‬
‫حيث ]‪ [α‬هي الجزء الصحيح ل ‪.α‬‬
‫تعر يف ‪2.2.2‬‬
‫∈ ‪ α‬و الدالة ‪f (., y) : [a, b] × R −→ R‬‬

‫ليكن ]‪ [a, b‬مجال مغلق من ‪ ،R‬و لتكن‪ α > 0 :‬حيث‪/ N :‬‬
‫هي دالة مستمرة بالنسبة لـ ]‪ t ∈ [a, b‬لكل ‪ . y ∈ R‬مسألة كوشي لمعادلة تفاضلية بمشتق كسري بمفهوم‬
‫كابوتو برتبة ‪ α‬كسر ية تعطى كالآتي‪:‬‬
‫‪C‬‬
‫‪Daα y(t) = f (t, y(t)),‬‬ ‫)‪(1.2‬‬
‫مع الشروط الإبتدائية التالية ‪:‬‬
‫‪y (k) (a) = ck ∈ R‬‬ ‫‪k = 0, 1, ..., n − 1, n = [α] + 1,‬‬ ‫)‪(2.2‬‬
‫حيث ]‪ [α‬هي الجزء الصحيح ل ‪.α‬‬
‫نظر ية ‪1.2.2‬‬
‫لتكن ‪ α > 0‬حيث‪ α ∈/ R :‬و ‪ n = [α] + 1‬و الدالة ‪ f (·, y) : [a, b] × R −→ R‬دالة مستمرة بالنسبة‬
‫لـ ]‪ t ∈ [a, b‬لكل ‪ .y ∈ R‬فإن‪ y ∈ C n−1 ([a, b]) :‬هي حل لمسألة كوشي إذا و فقط إذا كانت ‪ y‬حل‬

‫لمعادلة تكامل فولتيرا التالية‪:‬‬
‫‪X‬‬
‫‪n−1‬‬ ‫‪Z‬‬ ‫‪t‬‬
‫‪ck‬‬ ‫‪1‬‬
‫= )‪y(t‬‬ ‫‪(t − a) +‬‬
‫‪k‬‬
‫‪(t − τ )α−1 f (τ, y(τ ))dτ.‬‬ ‫)‪(3.2‬‬
‫‪k=o‬‬
‫!‪k‬‬ ‫)‪Γ(α‬‬ ‫‪a‬‬
‫أولا نبرهن لزوم الشرط‪:‬‬
‫نفرض أن )]‪ y ∈ C n−1 ([a, b‬حل لمسألة كوشي )‪ .(2.2) (1.2‬بما أن )]‪ f (., y) ∈ C n−1 ([a, b‬من أجل‬
‫كل ‪ ،y ∈ R‬فإن حسب )‪ (1.2‬لدينا )]‪ .C Daα y(t) ∈ C([a, b‬و باستعمال العلاقة ‪:‬‬
‫‪X‬‬
‫‪m−1‬‬
‫)‪f (k) (a‬‬
‫‪Iaα [C Daα f (t)] = f (t) −‬‬ ‫‪(t − a)k .‬‬
‫‪k=0‬‬
‫!‪k‬‬
‫نتحصل على‪:‬‬
‫‪X‬‬
‫‪n−1‬‬
‫)‪y (k) (a‬‬
‫‪Iaα (C Daα y(t)) = y(t) −‬‬ ‫‪(t − a)k .‬‬
‫‪k=0‬‬
‫!‪k‬‬
‫بالتالي‪:‬‬
‫‪X‬‬
‫)‪n−1 (k‬‬
‫)‪y (a‬‬
‫= )‪y(t‬‬ ‫))‪(t − a)k + Iaα+ (Daα+ y(t‬‬
‫‪k=0‬‬
‫!‪k‬‬
‫‪X‬‬
‫‪n−1‬‬ ‫‪Z‬‬ ‫‪t‬‬
‫‪ck‬‬ ‫‪1‬‬
‫=‬ ‫‪(t − a)k +‬‬ ‫‪(t − τ )α−1 f (τ, y(τ ))dτ.‬‬
‫‪k=0‬‬
‫!‪k‬‬ ‫)‪Γ(α‬‬ ‫‪a‬‬
‫ثانيا نبرهن كفاية الشرط‪:‬‬

‫نفرض أن )]‪ y ∈ C n−1 ([a, b‬هو حل لمعادلة فولتيرا )‪ .(3.2‬باشتقاق )‪ k (3.2‬مرة )‪،(k = 1, ..., n − 1‬‬
‫نجد من أجل كل ‪:k = 1, ..., n − 1‬‬
‫‪X‬‬
‫‪n−1‬‬ ‫‪Z‬‬ ‫‪t‬‬
‫‪cj‬‬ ‫‪1‬‬
‫‪y‬‬ ‫)‪(k‬‬
‫= )‪(t‬‬ ‫‪(t − a)j−k +‬‬ ‫‪(t − τ )α−k−1 f (τ, y(τ ))dτ.‬‬
‫‪j=k‬‬
‫!)‪(j − k‬‬ ‫)‪Γ(α − k‬‬ ‫‪a‬‬
‫بوضع )‪ τ = a + s(t − a‬نجد‪:‬‬
‫‪X‬‬
‫‪n−1‬‬ ‫‪Z‬‬
‫‪cj‬‬ ‫‪(t − a)α−k‬‬ ‫‪1‬‬
‫‪y‬‬ ‫)‪(k‬‬
‫= )‪(t‬‬ ‫‪(t − a)j−k +‬‬ ‫‪(1 − s)α−k−1 f (a + s(t − a), y(a + s(t − a)))ds.‬‬
‫‪j=k‬‬
‫!)‪(j − k‬‬ ‫)‪Γ(α − k‬‬ ‫‪0‬‬
‫بالمرور إلى النهاية لما ∞ →‪ ،t −‬و اعتمادا على استمرار ية الدالة ‪ ،f‬نتحصل على )‪.(2.2‬‬

‫من جهة أخرى‪ ،‬نطبق المؤثر ‪ C Daα‬على معادلة فولتيرا )‪ (3.2‬و من )‪ (2.2‬نتحصل على‪:‬‬
‫!‬
‫‪X‬‬
‫)‪n−1 (k‬‬
‫)‪y (a‬‬
‫‪C‬‬
‫‪Daα‬‬ ‫‪y(t) −‬‬ ‫‪(t − a)k‬‬ ‫‪= C Daα (Iaα f (t, y(t))).‬‬
‫‪k=0‬‬
‫!‪k‬‬
‫حسب العلاقة‪:‬‬
‫‪C‬‬
‫‪Daα [Iaα f (t)] = f (t).‬‬
‫■‬ ‫نتحصل على )‪ (1.2‬و هذا ما يتمم برهان النظر ية‪.‬‬
‫‪ 3.2‬وجود و وحدانية الحل لمعادلة تفاضلية خطية برتبة كسر ية‬
‫[‪]17‬‬ ‫نظر ية ‪1.3.2‬‬
‫ليكن ‪ h∗ > 0 ،k > 0 ،n = [α] + 1 ،α > 0‬و ليكن أيضا‪،b0 , b1 , b2 , ..., bn−1 ∈ R :‬‬
‫نعرف‪ G = [0, h∗ ] × [b0 − k, b0 + k] :‬و لتكن الدالة المستمرة ‪ .f : G −→ R‬و منه يوجد عدد حقيقي‬
‫‪ h > 0‬و دالة )]‪ y ∈ C([0, h‬حل للمعادلة التفاضلية الـكسر ية من صنف كابوتو بشروط ابتدائية‪.‬‬
‫من أجل )‪ α ∈ (0, 1‬العنصر ‪ h‬يعطى بـ‪:‬‬
‫ ‬ ‫ ‪1‬‬
‫∗‬ ‫‪kΓ(α + 1) α‬‬
‫‪h = min h ,‬‬ ‫|)‪, M = sup |f (x, z‬‬
‫‪M‬‬ ‫‪(x,z)∈G‬‬
‫و إذا كانت ‪ f‬ليبشيتز ية بالنسبة للمتغير الثاني أي‪:‬‬
‫| ‪|f (x, y1 ) − f (x, y2 )| ≤ L|y1 − y2‬‬
‫مع ‪ L > 0‬ثابت مستقل عن ‪ y2 ,y1‬و ‪ .x‬فإن )]‪ y ∈ C([0, h‬وحيدة‪.‬‬
‫للبرهنة على هذه النظر ية نعتمد على النظر يات )‪ (5.5.1)،(5.4.1‬و )‪.(1.2.1‬‬
‫البرهان مقسم إلى جزئين حسب قيم ‪ .α‬حيث نعتبر الحالتين‪ α > 1 :‬و ]‪ .α ∈ [0, 1‬و هذا مرتبط بمعادلة فولتيرا‬
‫)‪ (3.2‬التي تملك نواة شاذة ‪ (x − t)α−1‬في حالة ]‪ ،α ∈ [0, 1‬في حين أن النواة مستمرة في الحالة الأخرى‪.‬‬
‫• الحالة ‪:α > 1‬‬

‫المعادلة )‪ (3.2‬لها نواة مستمرة و الدالة خارج مجال التكامل مستمرة‪ .‬و منه وجود الحل يعتمد مباشرة‬
‫على استخدام الطرق الإعتيادية لمبرهنة معادلات فولتيرا ]‪ . [16‬أما من أجل الوحدانية فنستخدم شرط‬
‫ليبشيتز‪.‬‬

‫• الحالة )‪:α ∈ (0, 1‬‬
‫الوجود‬
‫يمكن كتابة معادلة فولتيرا بالشكل المبسط التالي‪:‬‬
‫‪Z‬‬ ‫‪x‬‬
‫‪1‬‬
‫‪y(x) = b0 +‬‬ ‫‪(x − t)α−1 f (t, y(t))dt.‬‬
‫)‪Γ(α‬‬ ‫‪0‬‬
‫لبرهان وجود الحل نعرف المجموعة‪:‬‬
‫‪U = {y ∈ C([0, h]) : ||y − c|| ≤ k}.‬‬
‫من الواضح أنها جزء مغلق و محدب من فضاء بناخ لجميع الدوال المستمرة على ]‪ [0, h‬المزودة بنظيم تشيبتشاف‬
‫|)‪ U .||f ||∞ = max0≤x≤h |f (x‬ليست خالية فالدالة الثابتة ‪.y = b0 ∈ U‬‬
‫نعرف على ‪ U‬المؤثر ‪:A‬‬
‫‪Z‬‬ ‫‪x‬‬
‫‪1‬‬
‫‪(Ay)(x) = b0 +‬‬ ‫‪(x − t)α−1 f (t, y(t))dt.‬‬
‫)‪Γ(α‬‬ ‫‪0‬‬
‫و منه تصبح المعادلة من الشكل‪.Ay = y :‬‬

‫من أجل إثبات وجود الحل يجب إثبات أن المؤثر ‪ A‬له نقطة صامدة‪.‬‬
‫بالإعتماد على خصائص ‪:A‬‬
‫‪ A .1‬تطبيق من ‪ U‬نحو ‪:U‬‬

‫من أجل ‪ y ∈ U‬و ]‪ x ∈ [0, h‬لدينا ‪:‬‬
‫‪Z x‬‬
‫)‪(0‬‬ ‫‪1‬‬
‫‪(Ay)(x) −‬‬ ‫‪y0‬‬ ‫=‬ ‫‪(x − t)α−1 f (t, y(t))dt‬‬
‫‪Γ(α) 0‬‬
‫‪1‬‬
‫≤‬ ‫‪||f ||∞ xα‬‬
‫)‪Γ(α + 1‬‬
‫‪1‬‬
‫≤‬ ‫‪||f ||∞ hα‬‬
‫)‪Γ(α + 1‬‬
‫‪1‬‬ ‫)‪kΓ(α + 1‬‬
‫≤‬ ‫∞|| ‪||f‬‬ ‫‪= k.‬‬
‫)‪Γ(α + 1‬‬ ‫∞|| ‪||f‬‬
‫إذا ‪ Ay ∈ U‬حيث ‪.y ∈ U‬‬
‫‪ .2‬نبرهن أن ‪ Ay‬مستمر‪:‬‬
‫لدينا من أجل كل ‪:0 ≤ x1 ≤ x2 ≤ h‬‬

‫‪Z x1‬‬ ‫‪Z x2‬‬

‫‪1‬‬
‫= |) ‪|(Ay)(x1 ) − (Ay)(x2‬‬ ‫‪(x1 − t) f (t, y(t))dt −‬‬
‫‪α−1‬‬
‫‪(x2 − t)α−1 f (t, y(t))dt‬‬
‫‪Γ(α) 0‬‬
‫‪Z x1‬‬ ‫‪0‬‬
‫‪Z x2‬‬
‫∞|| ‪||f‬‬
‫≤‬ ‫)‪(x1 − t‬‬ ‫‪α−1‬‬
‫‪− (x2 − t) dt −‬‬
‫‪α−1‬‬
‫‪(x2 − t)α−1 dt‬‬
‫‪Γ(α) 0‬‬ ‫‪x1‬‬
‫∞|| ‪||f‬‬
‫≤‬ ‫‪(2(x2 − x1 )α + xα1 − xα2 ).‬‬
‫)‪Γ(α + 1‬‬
‫إذا ‪ Ay‬تطبيق مستمر‪.‬‬
‫‪ AU .3‬مجموعة متراصة نسبيا‪:‬‬

‫لدينا‪AU = {Au : u ∈ U } :‬‬
‫• المحدودية‪:‬‬
‫من أجل ‪ z ∈ AU‬نجد أنه من أجل كل ]‪:x ∈ [0, h‬‬
‫‪Z x‬‬
‫‪1‬‬
‫‪|z(x)| = |(Ay)(x)| ≤ |b0 | +‬‬ ‫‪(x − t)α−1 |f (t, y(t))|dt‬‬
‫‪Γ(α) 0‬‬
‫‪1‬‬
‫‪≤ |b0 | +‬‬ ‫‪||f ||∞ hα .‬‬
‫)‪Γ(α + 1‬‬
‫إذن ‪ AU‬محدودة‪.‬‬
‫• تساوي الإستمرار ية‪:‬‬

‫من أجل ‪ 0 ≤ x1 ≤ x2 ≤ h‬و من خلال ‪:2‬‬
‫∞|| ‪||f‬‬
‫≤ |) ‪|(Ay)(x1 ) − (Ay)(x2‬‬ ‫) ‪(2(x2 − x1 )α + xα1 − xα2‬‬
‫)‪Γ(α + 1‬‬
‫∞|| ‪||f‬‬
‫‪≤2‬‬ ‫‪(x2 − x1 )α .‬‬
‫)‪Γ(α + 1‬‬
‫≤ |) ‪ |(Ay)(x1 ) − (Ay)(x2‬مستقل عن ‪ ،y‬إذن‬ ‫‪||f ||∞ α‬‬

‫)‪Γ(α+1‬‬
‫‪δ‬‬ ‫إذا كان ‪ |x2 − x1 | ≤ δ‬إذن‪:‬‬
‫حسب نظر ية أرز يلا أسكولي فإن ‪ AU‬متراصة نسبيا‪ّ.‬‬
‫حسب شودر فإن ‪ A‬يقبل نقطة صامدة‪ ،‬و بالتالي مسألة القيم الإبتدائية تقبل حلا‪.‬‬
‫الوحدانية‬
‫لإثبات الوحدانية سنستخدم مرة أخرى المؤثر ‪ ،A‬نذكر أنه يحول المجموعة غير الخالية‪ ،‬المحدبة و المغلقة‬
‫}‪ U = {y ∈ C([0, h]) : ||y − b0 || ≤ k‬في نفسها‪.‬‬
‫نبرهن الآن أن ‪ A‬يملك نقطة صامدة وحيدة‪ .‬لهذا نثبت أولا أنه من أجل كل ‪ j ∈ N‬و من أجل كل‬

‫]‪ x ∈ [0, h‬لدينا‪:‬‬
‫‪(Lxα )j‬‬
‫≤ ]‪||Aj y − Aj ỹ||L∞ [0,x‬‬ ‫‪||y − ỹ||L∞ [0,x] .‬‬ ‫)‪(4.2‬‬
‫)‪Γ(1 + αj‬‬
‫نبرهن بالتراجع‪:‬‬
‫من أجل ‪ ،j = 0‬المتراجحة محققة‪.‬‬
‫من أجل الخطوة ‪ ،j − 1 → j‬نكتب‪:‬‬
‫]‪||Aj y − Aj ỹ||L∞ [0,x] = ||A(Aj−1 y) − A(Aj−1 ỹ)||L∞ [0,x‬‬

‫‪Z w‬‬
‫‪1‬‬
‫=‬ ‫‪sup‬‬ ‫‪(w − t)α−1 [f (t, Aj−1 y) − f (t, Aj−1 ỹ)]dt .‬‬
‫‪Γ(α) 0≤w≤x 0‬‬
‫في الخطوة الآتية نستخدم الشرط ‪ f‬ليبشيتزي و فرض التراجع فنجد‪:‬‬
‫‪Z w‬‬
‫‪1‬‬
‫≤ ]‪||A y − A ỹ||L∞ [0,x‬‬
‫‪j‬‬ ‫‪j‬‬
‫‪sup‬‬ ‫‪(w − t)α−1 |Aj−1 y(t) − Aj−1 ỹ(t)|dt‬‬
‫‪Γ(α) 0≤w≤x 0‬‬
‫‪Z w‬‬
‫‪1‬‬
‫≤‬ ‫‪(w − t)α−1 sup |Aj−1 y(w) − Aj−1 ỹ(w)|dt‬‬
‫‪Γ(α) 0‬‬ ‫‪0≤w≤t‬‬
‫‪j‬‬ ‫‪Z w‬‬
‫‪L‬‬
‫≤‬ ‫‪(w − t)α−1 tα(j−1) sup |y(w) − ỹ(w)|dt‬‬
‫‪Γ(α)Γ(1 + α(j − 1)) 0‬‬ ‫‪0≤w≤t‬‬
‫‪j‬‬ ‫‪Z w‬‬
‫‪L‬‬
‫≤‬ ‫|)‪sup |y(w) − ỹ(w‬‬ ‫‪(w − t)α−1 tα(j−1) dt‬‬
‫‪Γ(α)Γ(1 + α(j − 1)) 0≤w≤x‬‬ ‫‪0‬‬
‫‪L‬‬ ‫‪j‬‬
‫‪Γ(α)Γ(1 + α(j − 1)) αj‬‬
‫≤‬ ‫]‪||y − ỹ||L∞ [0,x‬‬ ‫‪x .‬‬
‫))‪Γ(α)Γ(1 + α(j − 1‬‬ ‫)‪Γ(1 + αj‬‬
‫و هي المتراجحة )‪ .(4.2‬بأخذ نظيم تشيبيتشاف على المجال ]‪ [0, h‬نتحصل على‪:‬‬
‫‪(Lxα )j‬‬
‫≤ ]‪||Aj y − Aj ỹ||L∞ [0,x‬‬ ‫‪||y − ỹ||L∞ [0,x] .‬‬
‫)‪Γ(1 + αj‬‬
‫= ‪ .αj‬لتطبيق هذه النظر ية‪ ،‬يجب التحقق أن‬ ‫‪L(xα )j‬‬

‫)‪Γ(1+αj‬‬
‫لقد برهننا أن ‪ A‬يحقق فرضيات نظر ية ويسنجر حيث‪:‬‬
‫‪Pn−1‬‬
‫متقاربة‪ .‬و هذا يعتمد على الخاصية )‪ (3‬للنظر ية )‪ .(1.3.1‬و منه نستنتج وحدانية الحل‬ ‫‪K=0‬‬ ‫السلسلة ‪αj‬‬
‫■‬ ‫للمعادلة التفاضلية الـكسر ية من صنف كابوتو المزودة بشروط ابتدائية‪.‬‬

‫‪ 4.2‬الحل الدقيق لمعادلة تفاضلية خطية برتبة كسر ية باستعمال تحو يل لابلاس‬
‫في هذا الجزء‪ ،‬نطرح الحل الدقيق لعدة معادلات تفاضلية خطية برتب كسر ية بمفهوم كابوتو باستعمال تحو يل‬
‫لابلاس‪.‬‬
‫[‪]10‬‬ ‫نظر ية ‪1.4.2‬‬
‫لتكن المعادلة التفاضلية الخطية برتبة كسر ية غير لمتجانسة الآتية‪:‬‬
‫)‪DαC y(x) − ay(x) = h(x‬‬ ‫‪n−1<α<n‬‬ ‫‪n∈N‬‬ ‫)‪(5.2‬‬
‫‪y (k) (0) = bk‬‬ ‫‪k = 0, 1, ..., n − 1‬‬
‫الحل الدقيق لـ )‪ (5.2‬يعطى بـ‪:‬‬
‫‪X‬‬
‫‪n−1‬‬ ‫‪Z‬‬ ‫‪x‬‬
‫= )‪y(x‬‬ ‫‪k‬‬ ‫‪α‬‬
‫‪bk x Eα,k+1 (ax ) +‬‬ ‫‪(x − t)α−1 Eα,α (a(x − t)α )h(t)dt.‬‬ ‫)‪(6.2‬‬
‫‪k=0‬‬ ‫‪0‬‬
‫نأخذ تحو يل لابلاس لـ )‪ (5.2‬من الجهتين فنتحصل على‪:‬‬
‫‪X‬‬
‫‪n−1‬‬
‫‪sα Y (s) −‬‬ ‫)‪sα−k−1 y (k) (0) − aY (s) =H(s‬‬
‫‪k=0‬‬
‫‪X‬‬
‫‪n−1‬‬
‫‪Y (s)(s − a) =H(s) +‬‬
‫‪α‬‬
‫‪sα−k−1 bk‬‬
‫‪k=0‬‬
‫‪X‬‬
‫‪n−1‬‬
‫‪sα−k−1‬‬ ‫)‪H(s‬‬
‫= )‪Y (s‬‬ ‫‪bk‬‬ ‫‪+ α‬‬ ‫‪.‬‬ ‫)‪(7.2‬‬
‫‪k=0‬‬
‫‪s −a s −a‬‬
‫‪α‬‬
‫بتطبيق تحو يل لابلاس العكسي على )‪ (7.2‬نتحصل على الحل الدقيق مثلما ذكر في )‪.(5.2‬‬
‫■‬

‫بعض الطرق العددية لحل معادلات تفاضلية كسر ية‬
‫مقدمة ‪41 . . . . . . . . . . . . . . . . . . . . . . . . . . . .‬‬ ‫‪1.3‬‬

‫طر يقة أولر الـكسر ية ‪45 . . . . . . . . . . . . . . . . . .‬‬ ‫‪2.3‬‬
‫طر يقة الفروق المنتهية الـكسر ية ‪46 . . . . . . . . . .‬‬ ‫‪3.3‬‬
‫طر يقة آدمز باشفورث مولتون ‪50 . . . . . . . . . . .‬‬ ‫‪4.3‬‬
‫‪ 1.3‬مقدمة‬
‫عموما لا يمكن ايجاد العبارة الصر يحة للحل لمعادلة تفاضلية كسر ية لذا نلجأ الى استخدام الطرق العددية ‪ ،‬في هذا‬
‫الفصل سوف نتطرق إلى ثلاث طرق عددية و هي‪ :‬طر يقة أولر‪ ،‬طر يقة الفروق المنتهية و طر يقة آدمز باشفورت‬
‫مولتون بخطوة واحدة ‪.‬‬
‫نريد حساب قيمة تقريبية للتكامل المعرف بـ‪:‬‬
‫‪Z‬‬ ‫‪b‬‬
‫‪f (x)dx,‬‬
‫‪a‬‬
‫حيث ‪ f‬هي دالة موجبة و قابلة للمكاملة على المجال ]‪ .[a, b‬نقوم بتقسيم المجال ]‪ [a, b‬إلى ‪ n‬مجال جزئي ] ‪،[xi−1 , xi‬‬
‫‪ ،i = 1, ..., n‬مع ‪ i = 0, ..., n ،xi = a + ih‬و ‪) h = xi − xi−1 = (b − a)/n‬طول الخطوة(‪ .‬إذا‪:‬‬
‫‪Z‬‬ ‫‪b‬‬ ‫‪n Z‬‬

‫‪X‬‬ ‫‪xi‬‬
‫= ‪f (x)dx‬‬ ‫‪f (x)dx,‬‬
‫‪a‬‬ ‫‪i=1‬‬ ‫‪xi−1‬‬
‫‪41‬‬
‫طرق عددية لحل معادلات تفاضلية كسر ية‬ ‫الفصل الثالث‬
‫و على كل مجال جزئي ] ‪ ،[xi−1 , xi‬نقوم بتطبيق طر يقة تكامل أولية كطر يقة شبه المنحرف و طر يقة طر يقة‬
‫سامسون‪ .‬يمكن تبني هذه الفكرة من أجل الحل العددي للمعادلة التفاضلية الـكسر ية من صنف كابوتو )‪(1.2‬‬
‫المزودة بالشروط الإبتدائية )‪ .(2.2‬كذلك لو نطبق ‪ D0−α‬على طرفي )‪ ،(1.2‬نستطيع الحصول على المعادلة التكاملية‬
‫لفولتيرا التالية‪:‬‬
‫‪X‬‬
‫‪n−1 k‬‬ ‫‪Z‬‬ ‫‪t‬‬
‫‪t‬‬ ‫‪1‬‬
‫= )‪y(t‬‬ ‫‪y‬‬ ‫)‪(k‬‬
‫‪(0) +‬‬ ‫‪(t − τ )α−1 f (τ, y(τ ))dτ‬‬
‫‪k=0‬‬
‫!‪k‬‬ ‫)‪Γ(α‬‬ ‫‪0‬‬
‫‪X k‬‬
‫‪n−1‬‬
‫)‪t (k‬‬
‫=‬ ‫‪y (0) +RL D−α f (t, y(t)).‬‬
‫‪k=0‬‬
‫!‪k‬‬
‫إذا لإ يجاد الحل التقريبي لـ)‪ ،y(t‬نقوم بحساب القيمة التقريبية للتكامل ))‪ .RL D−α f (t, y(t‬نستعمل طر يقة أولر‪،‬‬
‫طر يقة الفروق المنتهية و طر يقة آدم باشفورت مولتون‪ .‬و لـكن أولا نذكر بالصيغة المستطيلة و صيغة شبه المنحرف‬
‫= ‪،h‬‬ ‫‪T‬‬
‫‪n‬‬
‫الـكسريتين‪ .‬من أجل المعادلات التفاضلية الـكسر ية‪ ،‬لدينا ] ‪ ،k = 0, 1, ..., n ،tk = kh ،t ∈ [0, T‬و‬
‫حيث ‪ T > 0‬و ‪ n > 0‬عدد صحيح‪ .‬ليكن ‪ yk‬الحل التقريبي لـ ) ‪ y(tk‬عند ‪.t = tk‬‬
‫الصيغة المستطيلة الـكسر ية‬ ‫‪1.1.3‬‬
‫الصيغة المستطيلة الـكسر ية على اليسار‬

‫في كل مجال جزئي ] ‪ [tk , tk+1‬حيث ‪ ،k = 0, 1, ..., n − 1‬الدالة ))‪ f (t, y(t‬تقرب بالقيمة )) ‪ f (tk , y(tk‬فيكون‬
‫لدينا‪:‬‬
‫‪Z‬‬ ‫‪tn‬‬
‫‪−α‬‬ ‫‪1‬‬
‫‪RL‬‬
‫‪D‬‬ ‫= ) ‪f (tn‬‬ ‫‪(tn − τ )α−1 f (τ, y(τ ))dτ‬‬
‫)‪Γ(α‬‬ ‫‪0‬‬
‫‪1‬‬ ‫‪X Z tk−1‬‬

‫‪n−1‬‬
‫≃‬ ‫‪(tn − τ )α−1 f (tk , y(tk ))dτ‬‬
‫)‪Γ(α‬‬ ‫‪k=0‬‬ ‫‪tk‬‬
‫‪X‬‬
‫‪n−1‬‬
‫=‬ ‫‪bn−k−1 f (tk , y(tk )).‬‬
‫‪k=0‬‬
‫حيث‪:‬‬
‫‪hα‬‬
‫= ‪bk‬‬ ‫‪[(k + 1)α − k α ].‬‬
‫)‪Γ(α + 1‬‬

‫الصيغة المستطيلة الـكسر ية على اليمين‬

‫في كل مجال جزئي ] ‪ [tk , tk+1‬حيث ‪ ،k = 0, 1, ..., n − 1‬الدالة ))‪ f (t, y(t‬تقرب بالقيمة )) ‪ f (tk+1 , y(tk+1‬و‬
‫بنفس الطر يقة نتحصل على‪:‬‬
‫‪X‬‬
‫‪n−1‬‬
‫‪−α‬‬
‫‪RL‬‬
‫‪D‬‬ ‫≃ ) ‪f (tn‬‬ ‫‪bn−k−1 f (tk+1 , y(tk+1 )),‬‬
‫‪k=0‬‬
‫‪hα‬‬
‫= ‪bk‬‬ ‫‪[(k + 1)α − k α ].‬‬
‫)‪Γ(α + 1‬‬
‫بإدخال المؤثر التكاملي لريمان ليوفيل على طرفي )‪ (1.2‬نتحصل على‪:‬‬
‫‪RL‬‬
‫‪D−α (C Dα y(t)) =RL D−α f (t, y(t)).‬‬
‫من خلال )‪ (1.3.1‬و )‪ (1.3.10‬نتحصل على‪:‬‬
‫‪X j‬‬
‫‪m−1‬‬ ‫‪Z‬‬ ‫‪t‬‬
‫)‪t (j‬‬ ‫‪1‬‬
‫‪y(t) −‬‬ ‫= ))‪y (0) =RL D−α f (t, y(t‬‬ ‫‪(t − s)α−1 f (s, y(s))ds.‬‬
‫‪j=0‬‬
‫!‪j‬‬ ‫)‪Γ(α‬‬ ‫‪0‬‬
‫إذن‪:‬‬
‫‪X j‬‬
‫‪m−1‬‬
‫)‪t (j‬‬
‫= )‪y(t‬‬ ‫‪y (0) +RL D−α f (t, y(t)).‬‬ ‫)‪(1.3‬‬
‫‪j=0‬‬
‫!‪j‬‬
‫صيغة شبه المنحرف الـكسر ية‬ ‫‪2.1.3‬‬

‫في كل مجال جزئي ] ‪ [tk , tk+1‬حيث ‪ ،k = 0, 1, ..., n − 1‬الدالة )‪ f (t‬تقرب بكثير الحدود التجزئة من الدرجة‬
‫الأولى الآتي‪:‬‬
‫‪tk+1 − t‬‬ ‫‪t − tk‬‬
‫] ‪f (t)|[tk ,tk+1‬‬ ‫=‬ ‫‪f (tk ) +‬‬ ‫‪f (tk+1 ).‬‬
‫‪tk+1 − tk‬‬ ‫‪tk+1 − tk‬‬
‫لدينا‪:‬‬
‫‪Z‬‬ ‫‬ ‫‬

‫‪1 X‬‬
‫‪n−1‬‬
‫‪−α‬‬
‫‪tk−1‬‬
‫‪tk+1 − t‬‬ ‫‪t − tk‬‬
‫‪RL‬‬
‫‪D‬‬ ‫≃ ) ‪f (tn‬‬ ‫) ‪(tn − τ‬‬ ‫‪α−1‬‬
‫‪f (tk ) +‬‬ ‫‪f (tk+1 ) dτ‬‬
‫‪Γ(α) k=0‬‬ ‫‪tk‬‬ ‫‪tk+1 − tk‬‬ ‫‪tk+1 − tk‬‬
‫‪X‬‬
‫‪n−1‬‬
‫=‬ ‫‪ak,n f (tk ),‬‬ ‫)‪(2.3‬‬
‫‪k=0‬‬

:‫حيث‬
 Z t1

 1 t1 − t

 (tn − s) α−1
dt k=0

 Γ(α) Z0 t1 − t0

 1 Z tk
tk+1
tk+1 − t t − tk−1
ak,n = (tn − s) α−1
dt + (tn − s) α−1
dt 1≤k <n−1

 Γ(α) tk tk+1 − tk tk − tk−1

 Z tn t k−1

 1 t − tn−1

 Γ(α) (tn − s) α−1
dt k = n − 1.
tn−1 tn − tn−1
:‫ و بالتبسيط نجد‬tk = kh ‫و بما أن‬



 (n − 1)α+1 − (n − 1 − α)nα
α


k=0
h
ak,n = (n − k + 1)α+1 + (n − 1 − k)α+1 − 2(n − k)α+1 1≤k <n−1
Γ(α + 2) 


1 k = n − 1.

‫‪ 2.3‬طر يقة أولر الـكسر ية‬

‫قام كل من لي و زانج ]‪ [15‬بتقديم طر يقة أولر الـكسر ية و برهنا على استقرارها و تقاربها‪ ،‬و في هذا الجزء سنقوم‬
‫بتقديم مبدأ هذه الطر يقة‪.‬‬
‫طر يقة أولر الـكسر ية إلى اليسار‬ ‫‪1.2.3‬‬

‫الحل )‪ y(t‬قرب بالصيغة الـكسر ية لأولر إلى اليسار بـ‪:‬‬
‫‪X‬‬
‫‪n−1 k‬‬
‫‪tn+1‬‬ ‫‪X‬‬
‫‪n‬‬
‫= ‪yn+1‬‬ ‫‪y‬‬ ‫)‪(k‬‬
‫‪(0) + h‬‬ ‫‪α‬‬
‫‪bk,n+1 f (tk , yk ),‬‬ ‫)‪(3.3‬‬
‫‪k=0‬‬
‫!‪k‬‬ ‫‪k=0‬‬
‫حيث‪:‬‬
‫‪1‬‬
‫= ‪bk,n+1‬‬ ‫‪[(n − k + 1)α − (n − k)α ].‬‬ ‫)‪(4.3‬‬
‫)‪Γ(α + 1‬‬
‫طر يقة أولر الـكسر ية إلى اليمين‬ ‫‪2.2.3‬‬

‫الحل )‪ y(t‬قرب بالصيغة الـكسر ية لأولر إلى اليمين بـ‪:‬‬
‫‪X‬‬
‫‪n−1 k‬‬
‫‪tn+1‬‬ ‫‪X‬‬
‫‪n‬‬
‫)‪(k‬‬ ‫‪α‬‬
‫= ‪yn+1‬‬ ‫‪y‬‬ ‫‪(0) + h‬‬ ‫‪bk,n+1 f (tk+1 , yk+1 ).‬‬
‫‪k=0‬‬
‫!‪k‬‬ ‫‪k=0‬‬
‫حيث‪ bk,n+1 :‬معطاة سابقا‪.‬‬

‫‪ 3.3‬طر يقة الفروق المنتهية الـكسر ية‬

‫في هذا الجزء سنقوم بتقديم مبدأ طر يقة الفروق المنتهية الـكسر ية]‪ .[5‬قبل ذلك نذكر بالنتائج التالية‪:‬‬
‫صيغة تايلور‬ ‫‪1.3.3‬‬

‫لتكن ‪ g‬دالة قابلة للاشتقاق ‪ n + 1‬مرة على المجال ]‪ [a, b‬الذي يحوي ‪ .x0‬من أجل كل ‪ x0‬من ]‪ ،[a, b‬فإنه يوجد‬
‫‪ ξ‬بين العددين ‪ x‬و ‪ x0‬حيث‪:‬‬
‫‪dg‬‬ ‫‪d2 g‬‬ ‫‪(x − x0 )2 d3 g‬‬ ‫‪(x − x0 )3‬‬

‫) ‪g(x) = g(x0 ) + (x0 )(x − x0 ) + 2 (x0‬‬ ‫) ‪+ 3 (x0‬‬
‫‪dx‬‬ ‫‪dx‬‬ ‫!‪2‬‬ ‫‪dx‬‬ ‫!‪3‬‬
‫‪dn g‬‬ ‫‪(x − x0 )n‬‬
‫) ‪+ ... + n (x0‬‬ ‫‪+ R(ξ),‬‬ ‫)‪(5.3‬‬
‫‪dx‬‬ ‫!‪n‬‬
‫حيث‬
‫‪dn+1 g‬‬ ‫‪(x − x0 )n+1‬‬
‫)‪R(ξ) = n+1 (ξ‬‬ ‫‪.‬‬
‫‪dx‬‬ ‫!)‪(n + 1‬‬
‫تقريب المشتقة الأولى للدالة ‪ g‬بالفروق المنتهية إلى الأمام بثلاث نقط‬ ‫‪2.3.3‬‬
‫بوضع ‪ xj = x0 + jh‬في )‪.(5.3‬‬
‫إذا كان ‪ x = xj+1‬و ‪ x0 = xj‬فإن‪:‬‬
‫‪(xj+1 − xj )2‬‬ ‫‪(xj+1 − xj )3‬‬

‫) ‪g(xj+1 ) = g(xj ) + g ′ (xj )(xj+1 − xj ) + g ′′ (xj‬‬ ‫) ‪+ g (3) (ξ1‬‬
‫!‪2‬‬ ‫!‪3‬‬
‫‪h2 ′′‬‬ ‫‪h3‬‬
‫‪= g(xj ) + hg ′ (xj ) +‬‬ ‫‪g (xj ) + g (3) (ξ1 ).‬‬ ‫)‪(6.3‬‬
‫!‪2‬‬ ‫!‪3‬‬
‫‪(xj+2 − xj )2‬‬ ‫‪(xj+2 − xj )3‬‬

‫!‪2‬‬ ‫!‪3‬‬
‫‪2‬‬ ‫‪3‬‬
‫)‪(2h‬‬ ‫)‪(2h‬‬
‫‪= g(xj ) + 2hg ′ (xj ) +‬‬ ‫‪g ′′ (xj ) +‬‬ ‫‪g (3) (ξ2 ).‬‬ ‫)‪(7.3‬‬
‫!‪2‬‬ ‫!‪3‬‬
‫بضرب )‪ (6.3‬في العدد )‪ (-4‬و بالجمع مع )‪ (7.3‬نجد‪:‬‬
‫)‪−3g(xj ) + 4g(xj+1 ) − g(xj+2 ) 2h2 (3‬‬ ‫)‪4h2 (3‬‬

‫= ) ‪g ′ (xj‬‬ ‫‪−‬‬ ‫‪g (ξ1 ) +‬‬ ‫‪g (ξ2 ).‬‬ ‫)‪(8.3‬‬
‫‪2h‬‬ ‫!‪3‬‬ ‫!‪3‬‬
‫حيث الخطأ هو‪:‬‬

‫‪2‬‬ ‫‪2‬‬
‫)‪2h (3‬‬ ‫)‪4h (3‬‬
‫‪O(h2 ) = −‬‬ ‫‪g (ξ1 ) +‬‬ ‫‪g (ξ2 ).‬‬
‫!‪3‬‬ ‫!‪3‬‬

‫تقريب المشتقة الثانية للدالة ‪ g‬بالفروق المنتهية الأمامية بثلاث نقط‬ ‫‪3.3.3‬‬
‫‪(xj+1 − xj )2‬‬ ‫‪(xj+1 − xj )3‬‬

‫!‪2‬‬ ‫!‪3‬‬
‫‪h2 ′′‬‬ ‫)‪h3 (3‬‬
‫‪′‬‬
‫‪= g(xj ) + hg (xj ) + g (xj ) + g (ξ1 ).‬‬ ‫)‪(9.3‬‬
‫!‪2‬‬ ‫!‪3‬‬
‫إذا كان ‪ x = xj+2‬و ‪ x0 = xj‬فإنه من خلال )‪:(5.3‬‬
‫‪(xj+2 − xj )2‬‬ ‫‪(xj+2 − xj )3‬‬

‫!‪2‬‬ ‫!‪3‬‬
‫‪2‬‬ ‫‪3‬‬
‫)‪(2h‬‬ ‫)‪(2h‬‬
‫‪= g(xj ) + 2hg ′ (xj ) +‬‬ ‫‪g ′′ (xj ) +‬‬ ‫‪g (3) (ξ2 ).‬‬ ‫)‪(10.3‬‬
‫!‪2‬‬ ‫!‪3‬‬
‫)‪g(xj ) − 2g(xj+1 ) + g(xj+2 ) 2h (3‬‬ ‫‪8h‬‬

‫= ) ‪g ′′ (xj‬‬ ‫‪2‬‬
‫‪+ g (ξ1 ) − g (3) (ξ2 ).‬‬ ‫)‪(11.3‬‬
‫‪h‬‬ ‫!‪3‬‬ ‫!‪3‬‬

‫)‪2h (3‬‬ ‫‪8h‬‬
‫= )‪O(h‬‬ ‫‪g (ξ1 ) − g (3) (ξ2 ).‬‬
‫!‪3‬‬ ‫!‪3‬‬
‫تقريب المشتقة الثانية للدالة ‪ g‬بالفروق المنتهية الخلفية بثلاث نقط‬ ‫‪4.3.3‬‬
‫إذا كان ‪ x = xj−1‬و ‪ x0 = xj‬فإن‪:‬‬
‫‪(xj−1 − xj )2‬‬ ‫‪(xj−1 − xj )3‬‬

‫) ‪g(xj−1 ) = g(xj ) + g ′ (xj )(xj−1 − xj ) + g ′′ (xj‬‬ ‫) ‪+ g (3) (ξ1‬‬
‫!‪2‬‬ ‫!‪3‬‬
‫‪h2 ′′‬‬ ‫)‪h3 (3‬‬
‫‪′‬‬
‫‪= g(xj ) − hg (xj ) + g (xj ) − g (ξ1 ).‬‬ ‫)‪(12.3‬‬
‫!‪2‬‬ ‫!‪3‬‬
‫إذا كان ‪ x = xj−2‬و ‪ x0 = xj‬فإنه من خلال )‪:(5.3‬‬
‫‪(xj−2 − xj )2‬‬ ‫‪(xj−2 − xj )3‬‬

‫) ‪g(xj−2 ) = g(xj ) + g ′ (xj )(xj−2 − xj ) + g ′′ (xj‬‬ ‫) ‪+ g (3) (ξ2‬‬
‫!‪2‬‬ ‫!‪3‬‬
‫‪2‬‬ ‫‪3‬‬
‫)‪(2h‬‬ ‫)‪(2h‬‬
‫‪= g(xj ) − 2hg ′ (xj ) +‬‬ ‫‪g ′′ (xj ) −‬‬ ‫‪g (3) (ξ2 ).‬‬ ‫)‪(13.3‬‬
‫!‪2‬‬ ‫!‪3‬‬
‫)‪g(xj−2 ) − 2g(xj−1 ) + g(xj ) 2h (3‬‬ ‫‪8h‬‬

‫= ) ‪g ′′ (xj‬‬ ‫‪2‬‬
‫‪− g (ξ1 ) + g (3) (ξ2 ),‬‬ ‫)‪(14.3‬‬
‫‪h‬‬ ‫!‪3‬‬ ‫!‪3‬‬


‫‪2h‬‬ ‫‪8h‬‬
‫‪O(h) = − g (3) (ξ1 ) + g (3) (ξ2 ).‬‬
‫!‪3‬‬ ‫!‪3‬‬
‫تقريب المشتقة الثانية للدالة ‪ g‬بالفروق المنتهية مركز ية بثلاث نقط‬ ‫‪5.3.3‬‬
‫إذا كان ‪ x = xj+1‬و ‪ x0 = xj‬فإنه من خلال )‪(5.3‬‬
‫‪(xj+1 − xj )2‬‬ ‫‪(xj+1 − xj )3‬‬

‫) ‪g(xj+1 ) = g(xj ) + g ′ (xj )(xj+1 − xj ) + g ′′ (xj‬‬ ‫) ‪+ g (3) (xj‬‬
‫!‪2‬‬ ‫!‪3‬‬
‫‪(xj+1 − xj )4‬‬
‫) ‪+ g (4) (ξ1‬‬
‫!‪4‬‬
‫‪h2 ′′‬‬ ‫)‪h3 (3‬‬ ‫)‪h4 (4‬‬
‫‪′‬‬
‫‪= g(xj ) + hg (xj ) + g (xj ) + g (xj ) + g (ξ1 ).‬‬ ‫)‪(15.3‬‬
‫!‪2‬‬ ‫!‪3‬‬ ‫!‪4‬‬
‫إذا كان ‪ x = xj−1‬و ‪ x0 = xj‬فإن‪:‬‬
‫‪(xj−1 − xj )2‬‬ ‫‪(xj−1 − xj )3‬‬

‫) ‪g(xj−1 ) = g(xj ) + g ′ (xj )(xj−1 − xj ) + g ′′ (xj‬‬ ‫) ‪+ g (3) (xj‬‬
‫!‪2‬‬ ‫!‪3‬‬
‫‪(xj−1 − xj )4‬‬
‫) ‪+ g (4) (ξ2‬‬
‫!‪4‬‬
‫‪h2‬‬ ‫‪h3‬‬ ‫‪h4‬‬
‫‪= g(xj ) − hg ′ (xj ) + g ′′ (xj ) − g (3) (xj ) + g (4) (ξ2 ).‬‬ ‫)‪(16.3‬‬
‫!‪2‬‬ ‫!‪3‬‬ ‫!‪4‬‬
‫نجمع )‪ (15.3‬و )‪ (16.3‬لنجد‪:‬‬
‫)‪g(xj−1 ) − 2g(xj ) + g(xj+1 ) h2 (4‬‬ ‫)‪h2 (4‬‬

‫= ) ‪g ′′ (xj‬‬ ‫‪−‬‬ ‫‪g‬‬ ‫‪(ξ‬‬ ‫‪1‬‬ ‫)‬ ‫‪−‬‬ ‫‪g (ξ2 ),‬‬ ‫)‪(17.3‬‬
‫‪h2‬‬ ‫!‪4‬‬ ‫!‪4‬‬
‫و منه الخطأ هو‪:‬‬

‫‪h2‬‬ ‫‪h2‬‬
‫‪O(h2 ) = − g (4) (ξ1 ) − g (4) (ξ2 ).‬‬
‫!‪4‬‬ ‫!‪4‬‬
‫إذا مبدأ طر يقة الفروق المنتهية هو كالتالي‪:‬‬
‫‪b−a‬‬
‫= ‪ h‬باستخدام العقد متساو ية البعد‬ ‫نفرض أن المجال ]‪ [a, b‬مقسم إلى ‪ n‬مجال جزئي ] ‪ [xk , xk+1‬بخطوة‬
‫‪n‬‬
‫فيما بينها ‪ xk = a + kh‬من أجل كل ‪ k = 0, 1, ..., n.‬القاعدة شبه المنحرفة المركبة من ‪ n‬مجال جزئي‪ ،‬تسمح‬
‫لنا بكتابة‪:‬‬
‫‪Z‬‬
‫‪hX‬‬
‫‪b‬‬ ‫‪n‬‬
‫≃ ‪f (x)dx‬‬ ‫‪[f (xk−1 ) + f (xk )].‬‬ ‫)‪(18.3‬‬
‫‪a‬‬ ‫‪2 k=1‬‬

‫الآن لدينا‪ :‬من أجل ‪) n = 1 ،0 < α < 1‬لأن ‪ (n = [α] + 1‬و لدينا‪:‬‬
‫‪Z‬‬
‫‪1‬‬ ‫‪t‬‬
‫)‪y ′ (t‬‬
‫‪C‬‬ ‫‪α‬‬
‫= )‪D y(t‬‬ ‫‪dx,‬‬ ‫‪t ≥ 0.‬‬
‫)‪Γ(α − 1‬‬ ‫‪0‬‬ ‫‪(t − x)α‬‬
‫نكامل بالتجزئة فنجد‪:‬‬

‫‬ ‫‪Z t‬‬ ‫‬
‫‪1‬‬ ‫‪′‬‬ ‫‪1−α ′′‬‬
‫‪C‬‬ ‫‪α‬‬
‫= )‪D y(t‬‬ ‫‪y (0)t‬‬ ‫‪1−α‬‬
‫‪+‬‬ ‫‪(t − x) y (x)dx .‬‬
‫)‪(1 − α)Γ(1 − α‬‬ ‫‪0‬‬
‫باستعمال القاعدة شبه المنحرفة المركبة )‪ (18.3‬لتقدير التكامل‪:‬‬

‫نضع‪ f (x) = (t − x)1−α y ′′ (x) :‬و منه‪:‬‬
‫‪Z‬‬
‫‪hX‬‬
‫‪t‬‬ ‫‪n‬‬
‫≃ ‪(t − x)1−α y ′′ (x)dx‬‬ ‫]) ‪[(t − xj−1 )1−α y ′′ (xj−1 ) + (t − xj )1−α y ′′ (xj‬‬
‫‪0‬‬ ‫‪2 j=1‬‬
‫‪hX‬‬ ‫‪hX‬‬
‫‪n‬‬ ‫‪n‬‬
‫≃‬ ‫‪(t − xj−1 )1−α y ′′ (xj−1 ) +‬‬ ‫) ‪(t − xj )1−α y ′′ (xj‬‬
‫‪2 j=1‬‬ ‫‪2 j=1‬‬
‫‬ ‫‪X‬‬
‫‪n−1‬‬ ‫‬
‫‪h 1−α ′′‬‬
‫≃‬ ‫‪1−α ′′‬‬
‫‪t y (0) + (t − b) y (b) + 2‬‬ ‫)‪(t − xj ) y (xj ) , (19.3‬‬
‫‪1−α ′′‬‬
‫‪2‬‬ ‫‪j=1‬‬
‫إذن‪:‬‬
‫‬ ‫‪X‬‬
‫‪n−1‬‬ ‫‬
‫‪1−α ′′‬‬ ‫‪1−α ′′‬‬ ‫‪1−α ′′‬‬
‫‪h t‬‬ ‫)‪y (0) + (t − b‬‬ ‫‪y (b) + 2‬‬ ‫) ‪(t − xj‬‬ ‫) ‪y (xj‬‬
‫‪C‬‬ ‫‪j=1‬‬
‫= )‪Dα y(t‬‬
‫)‪2(1 − α)Γ(1 − α‬‬
‫‪′‬‬ ‫‪1−α‬‬
‫‪y (0)t‬‬
‫‪+‬‬ ‫‪.‬‬
‫)‪(1 − α)Γ(1 − α‬‬
‫المشتقات ‪ y ′‬و ‪ y ′′‬يمكن تقريبها عند نقاط محددة‪.‬‬

‫تقرب )‪ y ′ (0‬بصيغة الفروق المنتهية الأمامية بـ ‪):‬من أجل ‪ h‬صغير(‬
‫)‪−3y(0) + 4y(h) − y(2h‬‬

‫≃ )‪y ′ (0‬‬ ‫‪,‬‬
‫‪2h‬‬
‫تقرب )‪ y ′′ (0‬بصيغة الفروق المنتهية الأمامية بـ ‪):‬من أجل ‪ h‬صغير(‬
‫)‪y(0) − 2y(h) + y(2h‬‬

‫≃ )‪y ′′ (0‬‬ ‫‪,‬‬
‫‪h2‬‬

‫في حين أن ) ‪ y ′′ (xj‬تقرب بصيغة الفروق المنتهية المركز ية بـ ‪) :‬من أجل ‪ h‬صغير و ‪(j = 0, 1, ..., n − 1‬‬
‫)‪y(xj − h) − 2y(xj ) + y(xj + h‬‬

‫≃ ) ‪y ′′ (xj‬‬ ‫‪,‬‬
‫‪h2‬‬
‫و أخيرا تقرب )‪ y ′′ (b‬بطر يقة الفروق المنتهية الخلفية بـ ‪) :‬من أجل ‪ h‬صغير(‬
‫)‪y(b) − 2y(b − h) + y(b − 2h‬‬

‫≃ )‪y ′′ (b‬‬ ‫‪,‬‬
‫‪h2‬‬
‫‬ ‫‬ ‫و منه‪:‬‬

‫‪1‬‬ ‫‪h‬‬
‫≃ )‪D y(t‬‬
‫‪C α‬‬
‫‪A1 + [A2 + A3 + A4 ] ,‬‬
‫)‪(1 − α)Γ(1 − α‬‬ ‫‪2‬‬
‫حيث‪:‬‬
‫‪−3y(0) + 4y(h) − y(2h) 1−α‬‬

‫= ‪A1‬‬ ‫‪t ,‬‬
‫‪2h‬‬
‫‪y(0) − 2y(h) + y(2h) 1−α‬‬
‫= ‪A2‬‬ ‫‪t ,‬‬
‫‪h2‬‬
‫ ‪n−1‬‬
‫‪X‬‬ ‫‬
‫)‪y(xj − h) − 2y(xj ) + y(xj + h‬‬
‫‪A3 = 2‬‬ ‫‪2‬‬
‫) ‪(t − xj‬‬ ‫‪1−α‬‬
‫‪,‬‬
‫‪j=1‬‬
‫‪h‬‬
‫و‬
‫)‪y(b) − 2y(b − h) + y(b − 2h‬‬
‫= ‪A4‬‬ ‫‪2‬‬
‫‪(t − b)1−α .‬‬
‫‪h‬‬
‫‪ 4.3‬طر يقة آدمز باشفورث مولتون‬

‫سنقوم الآن بتقديم طر يقة عددية أخرى لحل معادلة تفاضلية كسر ية من صنف كابوتو بناءا على الصياغة‬
‫الـكسر ية للطر يقة الكلاسيكية لآدمز باشفورث مولتون ذات خطوة واحدة‪ .‬و بالخصوص‪ ،‬سنستخدم صياغة‬
‫المسألة الأصلية على شكل المعادلة التكاملية لآبال لفولتيرا‪:‬‬
‫‪X‬‬
‫‪n−1 k‬‬ ‫‪Z‬‬ ‫‪x‬‬
‫‪x‬‬ ‫‪1‬‬
‫= )‪y(x‬‬ ‫‪bk +‬‬ ‫‪(x − t)α−1 f (t, y(t))dt.‬‬ ‫)‪(20.3‬‬
‫‪k=0‬‬
‫!‪k‬‬ ‫)‪Γ(α‬‬ ‫‪0‬‬
‫في هذا الجزء سنقدم نظرة عامة للنسخة الـكسر ية لهذه الطر يقة مع ذكر بعض النتائج التحليلية المهمة‪ ،‬بناءا على كتاب‬
‫‪[14] K.Diethelm‬‬

‫الصياغة الكلاسيكية‬ ‫‪1.4.3‬‬

‫نذكر أولا بالطر يقة الكلاسيكية لآدمز باشفورث مولتون لحل معادلات تفاضلية اعتيادية من الدرجة الأولى‪:‬‬
‫(‬
‫))‪Dy(x) = f (x, y(x‬‬ ‫)‪(21.3‬‬
‫‪y(0) = y0‬‬
‫نفرض الدالة ‪ f‬بحيث تقبل المسألة حل وحيد على المجال ]‪ [0, X‬و هذا المجال مقسم إلى ‪ N‬مجال جزئي ] ‪،[xi , xi+1‬‬
‫‪ i = 0, 1, ..., N − 1‬بخطوة قدرها ‪.h = X/N‬‬
‫الفكرة الأساسية هي افتراض أننا نعرف التقريبات ) ‪ ،j = 1, 2, ..., k ،yj ≈ y(tj‬و سنحاول حساب ‪ yk+1‬من‬
‫خلال‪:‬‬
‫‪Z‬‬ ‫‪tk+1‬‬
‫‪y(tk+1 ) = y(tk ) +‬‬ ‫‪f (z, y(z))dz.‬‬ ‫)‪(22.3‬‬
‫‪tk‬‬
‫هذه المعادلة نتجت من مكاملة )‪ (21.3‬على المجال ] ‪ .[xk , xi+k‬التكامل في الطرف الثاني لـ )‪ (22.3‬يستبدل‬
‫بصيغة شبه المنحرف التربيعية‪:‬‬
‫‪Z‬‬ ‫‪b‬‬
‫‪b−a‬‬
‫≈ ‪g(z)dz‬‬ ‫‪(g(a) + g(b)),‬‬
‫‪a‬‬ ‫‪2‬‬
‫للحصول على معادلة بمجهول وحيد التقريب ‪:yk+1‬‬
‫‪tk+1 − tk‬‬
‫‪yk+1 = yk +‬‬ ‫‪(f (tk , y(tk )) + f (tk+1 , y(tk+1 ))),‬‬
‫‪2‬‬
‫باستبدال ) ‪ y(tk+1‬بـ ‪ yk+1‬نتحصل على المعادلة الضمنية لطر يقة آدمز مولتون بخطوة واحدة‪:‬‬
‫‪tk+1 − tk‬‬
‫‪yk+1 = yk +‬‬ ‫‪(f (tk , yk ) + f (tk+1 , yk+1 )),‬‬ ‫)‪(23.3‬‬
‫‪2‬‬
‫تكمن مشكلة هذه الصيغة في ظهور ‪ yk+1‬في كلا طرفي المعادلة‪ ،‬و بسبب الخاصية غير الخطية لـ ‪ f‬فإنه لا يمكن‬
‫عموما حلها من أجل ‪ yk+1‬بطر يقة مباشرة‪ .‬بالتالي سنستخدم )‪ (23.3‬في عملية تكرار ية و ذلك بإدراج قيمة‬
‫تقريبية أولية لـ ‪ yk+1‬في الطرف الأيمن بهدف الحصول على أفضل تقريب‪.‬‬
‫‪ yk+1‬يسمى متنبئ‪ ،‬يتم الحصول عليه بطر يقة مماثلة باستبدال صيغة شبه المنحرف بصيغة مستطيلة‪:‬‬
‫‪p‬‬
‫التقريب الأولي‬
‫‪Z‬‬ ‫‪b‬‬
‫‪g(z)dz ≈ (b − a)g(a),‬‬
‫‪a‬‬
‫و هكذا نتحصل على الطر يقة الصر يحة لآدمز باشفورث‪:‬‬
‫‪p‬‬
‫‪yk+1‬‬ ‫‪= yk + hf (tk , yk ).‬‬ ‫)‪(24.3‬‬

‫و من المعروف أنّ)‪ (24.3‬و كذلك المعادلة‪:‬‬
‫‪h‬‬ ‫‪p‬‬
‫‪yk+1 = yk + (f (tk , yk ) + f (tk+1 , yk+1‬‬ ‫))‬ ‫)‪(25.3‬‬
‫‪2‬‬
‫يشكلان طر يقة آدمز باشفورث مولتون بخطوة واحدة‪ .‬هذه الطر يقة متقاربة من الرتبة الثانية معناه‪:‬‬
‫‪max |y(tj ) − yj | = O(h2 ).‬‬

‫‪j=1,2,...,N‬‬
‫كذلك‪ ،‬فإن هذه الطر يقة مرضية من حيث استقرارها العددي]‪ .[9‬و هي من الصنف المسمى )تنبؤ‪ ،‬تقييم‪،‬‬
‫‪ ،f (tk+1 , yk+1‬و الذي‬
‫‪p‬‬
‫تصحيح‪ ،‬تقييم( لأننا أثناء تنفيذها نبدأ أولا بحساب المتنبئ )‪ (24.3‬ثم نقوم بتقييم )‬
‫سنستخدمه في حساب المصحح )‪ ،(25.3‬و أخيرا تقييم ) ‪ .f (tk+1 , yk+1‬تخزن هذه النتيجة للاستخدام لاحقا في‬
‫خطوة التكامل الآتية‪.‬‬
‫الصياغة الـكسر ية‬ ‫‪2.4.3‬‬

‫الآن سنحاول نقل الأفكار الأساسية لهذه الطر يقة لمسألة برتبة كسر ية‪ ،‬و لهذا نحن بحاجة لمعادلة مشابهة‬
‫لـ )‪ (22.3‬لحسن الحظ مثل هذه المعادلة متوفرة و هي )‪ (20.3‬تختلف قليلا عن )‪ (22.3‬حيث أن التكامل‬
‫يبدأ من الصفر بدلا من ‪ ،xk‬الأمر متعلق بنتيجة الطابع غير المحلي للمؤثرات التفاضلية الـكسر ية‪ .‬مع ذلك فإن هذا‬
‫لا يسبب مشاكل في محاولتنا لتعميم طر يقة آدمز‪ .‬ما سنقوم به هو استبدال التكامل بصيغة شبه المنحرف التربيعية‬
‫للجداء‪ ،‬أي سنستعمل العقد ‪ (j = 0, 1, ..., k + 1) tj‬و الدالة ‪ (xk+1 − z)α−1‬كدالة وزن للتكامل‪ .‬بعبارة أخرى‬
‫سنقوم بتطبيق التقريب الآتي‪:‬‬
‫‪Z‬‬ ‫‪xk+1‬‬ ‫‪Z‬‬ ‫‪xk+1‬‬
‫)‪(xk+1 − z‬‬ ‫‪α−1‬‬
‫≈ ‪g(z)dz‬‬ ‫‪(xk+1 − z)α−1 g̃k+1 (z)dz,‬‬
‫‪0‬‬ ‫‪0‬‬
‫حيث )‪ g̃k+1 (z‬هي الاستقطاب الخطي بالقطعة لـ ‪ g‬بالنسبة للعقد ‪(j = 0, 1, ..., k + 1) xj‬‬
‫بالتالي‪:‬‬
‫‪Z‬‬ ‫‪xk+1‬‬ ‫‪X‬‬
‫‪k+1‬‬
‫= ‪(xk+1 − z)α−1 g̃k+1 (z)dz‬‬ ‫‪aj,k+1 g(xj ),‬‬
‫‪0‬‬ ‫‪j=0‬‬
‫‪Z‬‬ ‫حيث‪:‬‬
‫‪xk+1‬‬
‫= ‪aj,k+1‬‬ ‫‪(xk+1 − z)α−1 ϕj,k+1 (z)dz,‬‬
‫‪0‬‬

‫و‪:‬‬
‫‪‬‬
‫‪‬‬ ‫‪(z − xj−1 )/(xj − xj−1 ),‬‬ ‫; ‪xj−1 < z < xj‬‬
‫‪‬‬
‫‪‬‬
‫‪ϕj,k+1 (z) = (xj+1 − z)/(xj+1 − xj ),‬‬ ‫; ‪xj < z < xj+1‬‬
‫‪‬‬
‫‪‬‬
‫‪‬‬
‫‪0,‬‬ ‫‪ailleurs.‬‬
‫بحساب بسيط نجد‪ :‬من أجل ‪:j = 1‬‬
‫] ‪(xk+1 − x1 )α+1 + xak+1 [αx1 + x1 − xk+1‬‬

‫= ‪a0,k+1‬‬ ‫‪,‬‬
‫)‪x1 α(α + 1‬‬
‫من أجل ‪:1 ≤ j ≤ k‬‬
‫] ‪(xk+1 − xj−1 )α+1 + (xk+1 − xj )α [α(xj−1 − xj ) + xj−1 − xk+1‬‬

‫= ‪aj,k+1‬‬
‫)‪(xj − xj−1 )α(α + 1‬‬
‫) ‪(xk+1 − xj+1‬‬ ‫‪α+1‬‬
‫] ‪+ (xk+1 − xj )α [α(xj − xj+1 ) − xj+1 + xk+1‬‬
‫‪+‬‬ ‫‪,‬‬
‫)‪(xj+1 − xj )α(α + 1‬‬
‫من أجل ‪:j = k + 1‬‬

‫) ‪(xk+1 − xk‬‬ ‫‪α‬‬
‫= ‪ak+1,k+1‬‬ ‫‪.‬‬
‫)‪α(α + 1‬‬
‫في الحالة التي تكون فيها العقد متساو ية البعد )‪ xj = jh‬مع ‪ h‬ثابت(‪ ،‬تخـتزل هذه العلاقات إلى‪:‬‬
‫‪‬‬
‫‪‬‬
‫‪‬‬ ‫‪k α+1 − (k − α)(k + 1)α ,‬‬
‫‪α‬‬
‫‪‬‬
‫‪‬‬
‫‪j=0‬‬
‫‪h‬‬
‫‪aj,k+1‬‬ ‫=‬ ‫‪(k − j + 2)α+1 + (k − j)α+1 − 2(k − j + 1)α+1 ,‬‬ ‫‪1≤j≤k‬‬
‫‪α(α + 1) ‬‬
‫‪‬‬
‫‪‬‬
‫‪ 1,‬‬ ‫‪j = k + 1.‬‬
‫بالتالي نتحصل على صيغة المصحح )المتغير الـكسري لطر يقة آدمز مولتون بخطوة واحدة(‪:‬‬
‫‪X‬‬
‫‪n−1 j‬‬ ‫‪X‬‬
‫‪k‬‬ ‫‬
‫‪xk+1‬‬ ‫‪1‬‬
‫= ‪yk+1‬‬ ‫)‪(j‬‬
‫‪y (0) +‬‬ ‫‪aj,k+1 f (xj , yj ) +‬‬ ‫‪p‬‬
‫‪ak+1,k+1 f (xk+1 , yk+1‬‬ ‫)‬ ‫‪.‬‬ ‫)‪(26.3‬‬
‫‪j=0‬‬
‫!‪j‬‬ ‫)‪Γ(α‬‬ ‫‪j=0‬‬
‫‪ .yk+1‬الطر يقة المستعملة لتعميم صيغة آدمز باشفورث هي نفسها الموصوفة‬

‫‪p‬‬
‫تبقى تحديد صيغة المتنبئ المطلوبة لحساب‬
‫أعلاه لصيغة آدمز مولتون‪ ،‬نستبدل التكامل في الطرف الأيمن لـ )‪ (20.3‬بصيغة مستطيلة‪:‬‬
‫‪Z‬‬ ‫‪xk+1‬‬ ‫‪X‬‬

‫‪k‬‬
‫≈ ‪(xk+1 − z)α−1 g(z)dz‬‬ ‫‪bj,k+1 g(xj ),‬‬
‫‪0‬‬ ‫‪j=0‬‬

‫‪Z‬‬ ‫حيث‪:‬‬
‫‪xj+1‬‬
‫‪(xk+1 − xj )α − (xk+1 − xj+1 )α‬‬
‫= ‪bj,k+1‬‬ ‫= ‪(xk+1 − z)α−1 dz‬‬ ‫‪.‬‬
‫‪xj‬‬ ‫‪α‬‬
‫في حالة تساوي البعد نتحصل على الصيغة المبسطة‪:‬‬
‫‪hα‬‬
‫= ‪bj,k+1‬‬ ‫‪((k + 1 − j)α − (k − j)α ).‬‬ ‫)‪(27.3‬‬
‫‪α‬‬
‫‪ yk+1‬بصيغة آدمز باشفورث الـكسر ية‪:‬‬

‫‪p‬‬
‫بالتالي فإنه يتم حساب المتنبئ‬
‫‪X‬‬
‫‪n−1 j‬‬
‫‪xk+1‬‬ ‫‪1 X‬‬
‫‪k‬‬
‫‪p‬‬
‫‪yk+1‬‬ ‫=‬ ‫)‪(j‬‬
‫‪y (0) +‬‬ ‫‪bj,k+1 f (xj , yj ).‬‬ ‫)‪(28.3‬‬
‫‪j=1‬‬
‫!‪j‬‬ ‫‪Γ(α) j=0‬‬
‫الآن اكتمل وصف خوارزمية طر يقة آدمز باشفورث مولتون بواسطة المعادلات )‪ (26.3) (28.3‬مع الأوزان‬
‫‪ aj,k+1‬و ‪ bj,k+1‬المعرفة بالصيغ )‪ (26.3‬و )‪ (27.3‬على التوالي‪.‬‬

‫تطبيق عددي‬
‫مقدمة ‪55 . . . . . . . . . . . . . . . . . . . . . . . . . . . .‬‬ ‫‪1.4‬‬

‫مثال ‪56 . . . . . . . . . . . . . . . . . . . . . . . . . . 01‬‬ ‫‪2.4‬‬
‫مثال ‪58 . . . . . . . . . . . . . . . . . . . . . . . . . . 02‬‬ ‫‪3.4‬‬
‫مثال ‪59 . . . . . . . . . . . . . . . . . . . . . . . . . . 03‬‬ ‫‪4.4‬‬
‫‪ 1.4‬مقدمة‬
‫في هذا الفصل‪ ،‬سنقدم بعض الأمثلة مع الحل الدقيق لمعادلات تفاضلية كسر ية‪ ،‬ثم البحث عن الحل التقريبي‬
‫باستخدام الطرق الثلاث‪ .‬و مقارنة الحل الدقيق مع الحل التقريبي في كل حالة من خلال جداول الأخطاء و‬
‫التمثيلات البيانية ‪.‬‬
‫‪55‬‬
‫تطبيق عددي‬ ‫الفصل الرابع‬
‫‪ 2.4‬مثال ‪01‬‬
‫مثال ‪1.2.4‬‬
‫!!!!!‬
‫سنقدم في هذا المثال كيفية إ يجاد الحل التقريبي بطر يقة أولر الـكسر ية على اليمين‪:‬‬
‫لتكن المعادلة التفاضلية الـكسر ية الآتية‪:‬‬
‫‪‬‬
‫‪ C Dα u(t) = −u(t) +‬‬ ‫‪t4−α‬‬
‫‪,‬‬ ‫‪0 < α < 1,‬‬ ‫‪t>0‬‬
‫)‪Γ(5 − α‬‬
‫‪‬‬
‫‪u(0) = 0.‬‬
‫الحل الدقيق هو‪:‬‬

‫) ‪u(t) = t4 Eα,5 (−tα‬‬
‫حيث ) ‪ Eα,5 (−tα‬هي الدالة ميتاغ ليفر بوسيطين‪.‬‬

‫نقارن بين الحل الدقيق و الحل التقريبي للمعادلة من أجل قيم مختلفة لـ ‪ n = 100, 500, 1000‬عند كل ‪ ti‬حيث‬
‫‪ α = 0, 5‬لتبيان أهمية طول الخطوة ‪ h = 1/n‬في الاقتراب من الحل الدقيق للمعادلة‪ .‬سنعطي الخطأ المطلق في‬
‫الجدول ‪ 1.4‬لطر يقة أولر من اليمين ‪.‬‬
‫‪n = 100‬‬ ‫‪n = 500‬‬ ‫‪n = 1000‬‬

‫‪t‬‬ ‫‪S.Exacte‬‬
‫‪U.Approch‬‬ ‫‪Erreur‬‬ ‫‪S.Approch‬‬ ‫‪Erreur‬‬ ‫‪U.Approch‬‬ ‫‪Erreur‬‬
‫‪0.1‬‬ ‫‪3.63E − 06‬‬ ‫‪2.92E − 06‬‬ ‫‪7.16E − 07‬‬ ‫‪3.50E − 06‬‬ ‫‪1.35E − 07‬‬ ‫‪3.57E − 06‬‬ ‫‪6.60E − 08‬‬
‫‪0.2‬‬ ‫‪5.52E − 05‬‬ ‫‪5.02E − 05‬‬ ‫‪5.00E − 06‬‬ ‫‪5.43E − 05‬‬ ‫‪9.40E − 07‬‬ ‫‪5.48E − 05‬‬ ‫‪4.61E − 07‬‬
‫‪0.3‬‬ ‫‪2.69E − 04‬‬ ‫‪2.54E − 04‬‬ ‫‪1.53E − 05‬‬ ‫‪2.66E − 04‬‬ ‫‪2.88E − 06‬‬ ‫‪2.68E − 04‬‬ ‫‪1.42E − 06‬‬
‫‪0.4‬‬ ‫‪8.24E − 04‬‬ ‫‪7.91E − 04‬‬ ‫‪3.34E − 05‬‬ ‫‪8.18E − 04‬‬ ‫‪6.32E − 06‬‬ ‫‪8.22E − 04‬‬ ‫‪3.11E − 06‬‬
‫‪0.5‬‬ ‫‪1.96E − 03‬‬ ‫‪1.90E − 03‬‬ ‫‪6.09E − 05‬‬ ‫‪1.95E − 03‬‬ ‫‪1.16E − 05‬‬ ‫‪1.95E − 03‬‬ ‫‪5.71E − 06‬‬
‫‪0.6‬‬ ‫‪3.97E − 03‬‬ ‫‪3.90E − 03‬‬ ‫‪9.91E − 05‬‬ ‫‪3.95E − 03‬‬ ‫‪1.89E − 05‬‬ ‫‪3.96E − 03‬‬ ‫‪9.33E − 06‬‬
‫‪0.7‬‬ ‫‪7.20E − 03‬‬ ‫‪7.05E − 03‬‬ ‫‪1.49E − 04‬‬ ‫‪7.17E − 03‬‬ ‫‪2.85E − 05‬‬ ‫‪7.19E − 03‬‬ ‫‪1.41E − 05‬‬
‫‪0.8‬‬ ‫‪1.20E − 02‬‬ ‫‪1.18E − 02‬‬ ‫‪2.12E − 04‬‬ ‫‪1.20E − 02‬‬ ‫‪4.07E − 05‬‬ ‫‪1.20E − 02‬‬ ‫‪2.01E − 05‬‬
‫‪0.9‬‬ ‫‪1.89E − 02‬‬ ‫‪1.87E − 02‬‬ ‫‪2.89E − 04‬‬ ‫‪1.89E − 02‬‬ ‫‪5.56E − 05‬‬ ‫‪1.89E − 02‬‬ ‫‪2.75E − 05‬‬
‫‪1‬‬ ‫‪2.84E − 02‬‬ ‫‪2.80E − 02‬‬ ‫‪3.81E − 04‬‬ ‫‪2.83E − 02‬‬ ‫‪7.33E − 05‬‬ ‫‪2.84E − 02‬‬ ‫‪3.63E − 05‬‬
‫جدول ‪ :1.4‬الحل العددي باستعمال طر يقة أولر من اليمين حيث ‪ n = 100, 500, 1000‬و ‪α = 0, 5‬‬

‫شكل ‪ :1.4‬التمثيل البياني للحل العددي باستعمال طر يقة أولر‪.‬‬
‫نلاحظ أن الخطأ المطلق عند ‪ n = 100‬أكبر منه عند ‪ ،n = 500‬و الخطأ المطلق عند ‪ n = 500‬أكبر منه عند‬
‫‪ ،n = 1000‬كذلك نلاحظ أن الخطأ يؤول إلى الصفر لما ‪ n‬يؤول إلى اللانهاية‪ ،‬معناه أن الحل التقريبي يقترب من‬
‫الحل المطلق‪.‬‬

‫‪ 3.4‬مثال ‪02‬‬
‫سنقدم كيفية إ يجاد الحل التقريبي بطر يقة الفروق المنتهية لنفس المثال ‪: 01‬‬
‫نقارن بين الحل الدقيق و الحل التقريبي للمعادلة من أجل قيم مختلفة لـ ‪ n = 100, 500, 1000‬عند كل ‪ ti‬حيث‬
‫‪ α = 0, 5‬لتبيان أهمية طول الخطوة ‪ h = 1/n‬في الاقتراب من الحل الدقيق للمعادلة‪ .‬سنعطي الخطأ المطلق في‬
‫الجدول ‪ 3.4‬لطر يقة الفروق المنتهية ‪.‬‬
‫‪n = 100‬‬ ‫‪n = 500‬‬ ‫‪n = 1000‬‬

‫‪t‬‬ ‫‪S.Exacte‬‬
‫‪U.Approch‬‬ ‫‪Erreur‬‬ ‫‪U.Approch‬‬ ‫‪Erreur‬‬ ‫‪U.Approch‬‬ ‫‪Erreur‬‬
‫‪0.1‬‬ ‫‪3.63E − 06‬‬ ‫‪3.77E − 06‬‬ ‫‪1.29E − 07‬‬ ‫‪3.65E − 06‬‬ ‫‪1.32E − 08‬‬ ‫‪3.64E − 06‬‬ ‫‪4.78E − 09‬‬
‫‪0.2‬‬ ‫‪5.52E − 05‬‬ ‫‪5.59E − 05‬‬ ‫‪6.94E − 07‬‬ ‫‪5.53E − 05‬‬ ‫‪6.77E − 08‬‬ ‫‪5.52E − 05‬‬ ‫‪2.43E − 08‬‬
‫‪0.3‬‬ ‫‪2.69E − 04‬‬ ‫‪2.71E − 04‬‬ ‫‪1.80E − 06‬‬ ‫‪2.69E − 04‬‬ ‫‪1.72E − 07‬‬ ‫‪2.69E − 04‬‬ ‫‪6.18E − 08‬‬
‫‪0.4‬‬ ‫‪8.24E − 04‬‬ ‫‪8.28E − 04‬‬ ‫‪3.49E − 06‬‬ ‫‪8.25E − 04‬‬ ‫‪3.31E − 07‬‬ ‫‪8.24E − 04‬‬ ‫‪1.18E − 07‬‬
‫‪0.5‬‬ ‫‪1.96E − 03‬‬ ‫‪1.97E − 03‬‬ ‫‪5.80E − 06‬‬ ‫‪1.96E − 03‬‬ ‫‪5.45E − 07‬‬ ‫‪1.96E − 03‬‬ ‫‪1.94E − 07‬‬
‫‪0.6‬‬ ‫‪3.97E − 03‬‬ ‫‪4.00E − 03‬‬ ‫‪8.73E − 06‬‬ ‫‪3.97E − 03‬‬ ‫‪8.16E − 07‬‬ ‫‪3.97E − 03‬‬ ‫‪2.91E − 07‬‬
‫‪0.7‬‬ ‫‪7.20E − 03‬‬ ‫‪7.21E − 03‬‬ ‫‪1.23E − 05‬‬ ‫‪7.20E − 03‬‬ ‫‪1.14E − 06‬‬ ‫‪7.20E − 03‬‬ ‫‪4.08E − 07‬‬
‫‪0.8‬‬ ‫‪1.20E − 02‬‬ ‫‪1.21E − 02‬‬ ‫‪1.65E − 05‬‬ ‫‪1.20E − 02‬‬ ‫‪1.53E − 06‬‬ ‫‪1.20E − 02‬‬ ‫‪5.45E − 07‬‬
‫‪0.9‬‬ ‫‪1.89E − 02‬‬ ‫‪1.90E − 02‬‬ ‫‪2.13E − 05‬‬ ‫‪1.89E − 02‬‬ ‫‪1.97E − 06‬‬ ‫‪1.89E − 02‬‬ ‫‪7.03E − 07‬‬
‫‪1‬‬ ‫‪2.84E − 02‬‬ ‫‪2.84E − 02‬‬ ‫‪2.67E − 05‬‬ ‫‪2.84E − 02‬‬ ‫‪2.47E − 06‬‬ ‫‪2.84E − 02‬‬ ‫‪8.81E − 07‬‬
‫جدول ‪ :2.4‬الحل العددي باستعمال طر يقة الفروق المنتهية حيث ‪ n = 100, 500, 1000‬و ‪α = 0, 5‬‬
‫نلاحظ أن الخطأ المطلق عند ‪ n = 100‬أكبر منه عند ‪ ،n = 500‬و الخطأ المطلق عند ‪ n = 500‬أكبر منه عند‬
‫‪ ،n = 1000‬كذلك نلاحظ أن الخطأ يؤول إلى الصفر لما ‪ n‬يؤول إلى الانهاية‪ ،‬معناه أن الحل الدقيق يقترب من‬
‫الحل المطلق‪.‬‬

‫شكل ‪ :2.4‬التمثيل البياني للحل العددي باستعمال طر يقة الفروق المنتهية‪.‬‬
‫‪ 4.4‬مثال ‪03‬‬
‫مثال ‪1.4.4‬‬
‫!!!!!‬
‫في هذا المثال سنقوم بتطبيق طر يقة آدمز باشفورث مولتون بخطوة واحدة على معادلة تفاضلية كسر ية لإ يجاد‬
‫الحل التقريبي‪:‬‬
‫لتكن المعادلة التفاضلية الـكسر ية الاتية ‪:‬‬
‫‪‬‬
‫‪ C Dα u(t) = −u(t) + tα+3 +‬‬ ‫‪Γ(4+α) 3‬‬
‫‪t,‬‬ ‫‪0 < α < 1, 0 < t ≤ 1‬‬
‫‪t‬‬ ‫‪6‬‬
‫‪ u(0) = 0.‬‬
‫بتطبيق طر يقة آدمز باشفورث مولتون مع أخذ ‪ n = 300‬نحصل على الحل العددي و الخطأ المطلق ‪ ،‬بعد ذلك‬
‫نتأكد من دقة هذه الطر يقة باستعمال النظيم ‪ L2‬المعرف كما يلي‪:‬‬
‫‪v‬‬
‫‪u M‬‬
‫‪u X Analytical‬‬
‫‪L2 = ||U‬‬ ‫‪Analytical‬‬
‫‪− UM ||2 ≃ th‬‬ ‫‪|Uj‬‬ ‫‪− (UM )j |2 ,‬‬ ‫)‪(1.4‬‬
‫‪j=0‬‬
‫و كذلك النظيم ∞‪ L‬المعرف كالآتي‪:‬‬
‫‪L∞ = ||U Analytical − UM ||∞ ≃ max |UjAnalytical − (UM )j |.‬‬ ‫)‪(2.4‬‬

‫‪j‬‬

‫‪n‬‬ ‫‪t‬‬ ‫‪U.Exact.‬‬ ‫‪U.Approch.‬‬ ‫‪Erreur‬‬

‫‪1‬‬ ‫‪3.33E − 03‬‬ ‫‪8.89E − 09‬‬ ‫‪1.27E − 08‬‬ ‫‪−3.83E − 09‬‬
‫‪2‬‬ ‫‪6.66E − 03‬‬ ‫‪8.46E − 08‬‬ ‫‪1.05E − 07‬‬ ‫‪−2.11E − 08‬‬
‫‪3‬‬ ‫‪1.00E − 02‬‬ ‫‪3.16E − 07‬‬ ‫‪3.70E − 07‬‬ ‫‪−5.44E − 08‬‬
‫‪4‬‬ ‫‪1.33E − 02‬‬ ‫‪8.05E − 07‬‬ ‫‪9.09E − 07‬‬ ‫‪−1.04E − 07‬‬
‫‪5‬‬ ‫‪1.66E − 02‬‬ ‫‪1.66E − 06‬‬ ‫‪1.83E − 06‬‬ ‫‪−1.70E − 07‬‬
‫‪6‬‬ ‫‪2.00E − 02‬‬ ‫‪3.00E − 06‬‬ ‫‪3.26E − 06‬‬ ‫‪−2.54E − 07‬‬
‫‪7‬‬ ‫‪2.33E − 02‬‬ ‫‪4.96E − 06‬‬ ‫‪5.32E − 06‬‬ ‫‪−3.55E − 07‬‬
‫‪8‬‬ ‫‪2.66E − 02‬‬ ‫‪7.66E − 06‬‬ ‫‪8.13E − 06‬‬ ‫‪−4.73E − 07‬‬
‫‪9‬‬ ‫‪3.00E − 02‬‬ ‫‪1.12E − 05‬‬ ‫‪1.18E − 05‬‬ ‫‪−6.10E − 07‬‬
‫‪10‬‬ ‫‪3.33E − 02‬‬ ‫‪1.58E − 05‬‬ ‫‪1.65E − 05‬‬ ‫‪−7.65E − 07‬‬
‫جدول ‪ :3.4‬الحل العددي باستعمال طر يقة آدامز باشفورث مولتون بخطوة واحدة حيث‪ n = 300 :‬و ‪α = 0.25‬‬
‫شكل ‪ :3.4‬التمثيل البياني للحل العددي باستعمال طر يقة آدامز باشفورث مولتون حيث‬
‫‪.α = 0.25‬‬
‫استعمال النظيم ‪ L2‬لحساب دقة الطر يقة المطبقة لحل المعادلة مع أخذ ‪ n = 300‬و ‪ α = 0.25‬يمكننا من الحصول‬
‫على خطأ عددي مقدر بـ‪.0.000440091 :‬‬
‫و بالمثل إذا استعملنا النظيم ∞‪ L‬لحساب دقة الطر يقة المطبقة لحل المعادلة مع أخذ ‪ n = 300‬و ‪ α = 0.25‬نحصل‬
‫على الخطأ المقدر بـ‪.0.000998594 :‬‬

‫‪n‬‬ ‫‪t‬‬ ‫‪U.Exact.‬‬ ‫‪U.Approch.‬‬ ‫‪Erreur‬‬
‫‪1‬‬ ‫‪3.33E − 03‬‬ ‫‪5.13E − 10‬‬ ‫‪8.87E − 10‬‬ ‫‪−3.73E − 10‬‬
‫‪2‬‬ ‫‪6.66E − 03‬‬ ‫‪6.91E − 09‬‬ ‫‪8.31E − 09‬‬ ‫‪−1.39E − 09‬‬
‫‪3‬‬ ‫‪1.00E − 02‬‬ ‫‪3.16E − 08‬‬ ‫‪3.45E − 08‬‬ ‫‪−2.97E − 09‬‬
‫‪4‬‬ ‫‪1.33E − 02‬‬ ‫‪9.30E − 08‬‬ ‫‪9.80E − 08‬‬ ‫‪−5.06E − 09‬‬
‫‪5‬‬ ‫‪1.66E − 02‬‬ ‫‪2.14E − 07‬‬ ‫‪2.22E − 07‬‬ ‫‪−7.67E − 09‬‬
‫‪6‬‬ ‫‪2.00E − 02‬‬ ‫‪4.25E − 07‬‬ ‫‪4.36E − 07‬‬ ‫‪−1.07E − 08‬‬
‫‪7‬‬ ‫‪2.33E − 02‬‬ ‫‪7.58E − 07‬‬ ‫‪7.72E − 07‬‬ ‫‪−1.43E − 08‬‬
‫‪8‬‬ ‫‪2.66E − 02‬‬ ‫‪1.25E − 06‬‬ ‫‪1.26E − 06‬‬ ‫‪−1.84E − 08‬‬
‫‪9‬‬ ‫‪3.00E − 02‬‬ ‫‪1.94E − 06‬‬ ‫‪1.96E − 06‬‬ ‫‪−2.31E − 08‬‬
‫‪10‬‬ ‫‪3.33E − 02‬‬ ‫‪2.88E − 06‬‬ ‫‪2.91E − 06‬‬ ‫‪−2.82E − 08‬‬
‫جدول ‪ :4.4‬الحل العددي باستعمال طر يقة آدامز باشفورث مولتون بخطوة واحدة حيث‪ n = 300 :‬و ‪α = 0.75‬‬
‫شكل ‪ :4.4‬التمثيل البياني للحل العددي باستعمال طر يقة آدامز باشفورث مولتون حيث‬
‫‪.α = 0.75‬‬
‫استعمال النظيم ‪ L2‬لحساب دقة الطر يقة المطبقة لحل المعادلة مع أخذ ‪ n = 300‬و ‪ α = 0.75‬يمكننا من الحصول‬
‫على خطأ عددي مقدر بـ‪.0.0000190654 :‬‬
‫و بالمثل إذا استعملنا النظيم ∞‪ L‬لحساب دقة الطر يقة المطبقة لحل المعادلة مع أخذ ‪ n = 300‬و ‪ α = 0.75‬نحصل‬
‫على الخطأ المقدر بـ‪.0.0000455084 :‬‬
‫من خلال النتائج المدونة في الجدولين )‪ (3.4‬و )‪ (4.4‬نلاحظ أنه كلما كانت ‪ n‬كبيرة كلما قل الخطأ أي اقترب‬
‫الحل التقريبي من الحل الدقيق‪.‬‬
‫ملاحظة‪:‬‬
‫النتائج المتحصل عليها سابقا في الأمثلة ‪02 ،01‬و ‪ 03‬كانت من خلال برنامج ولفرم ماتيماتيكا‪.W olf ramM athematica‬‬
‫خـــــاتمة‬
‫نظرا لأهمية المشتقات و التكاملات الـكسر ية و تعدد تطبيقاتها‪ ،‬ارتأينا أن يكون موضوع مذكرتنا بعض الطرق‬
‫العددية لحل معادلات تفاضلية برتب كسر ية فقمنا أولا بتقديم بعض التعار يف الأساسية‪ ،‬أهم مفاهيم الحساب‬
‫الـكسري و نظر يات النقطة الثابتة‪ .‬بعدها درسنا وجود و وحدانية الحل لمسألة كوشي بمشتق كسري‪ ،‬ثم قدمنا‬
‫ثلاث طرق للحل العددي )طر يقة أولر‪ ،‬طر يقة آدامز باشفورث مولتون و طر يقة الفروق المنتهية( و أنهينا العمل‬
‫بدراسة أمثلة عددية للطرق الثلاث‪.‬‬
‫نتمنى أن نكون قد وفقنا في ما قدمنا و نسأل الله أن ينفع به كل من يقرأه و أن يكون مرجعا جديدا للطلبة حول‬
‫هذا الموضوع فإن أخطأنا فمن أنفسنا و إن أصبنا فمن الله عز و جل‪.‬‬

‫قائمة المراجع‬
.‫ شعلال و س‬.‫ س‬،‫ اليغفوري‬.‫ نقله إلى العربية ع‬،‫ التحليل الدالي دراسة نظر ية والتطبيقات‬،‫ بريزيس‬.‫[ هـ‬1]
.(2010) ‫مسعودي الطبعة الأولى‬
[2] A. A. Kilbas, H. M. Srivastava and J. J. Trujillo. Theory And Applications of Fractional

Differential Equations, Vol. 204, Elsevier Science Limited, (2006).
[3] A.Bechata, La fonction Gamma.
[4] A. Granas, J. Dugundji, Fixed Point Theory, Sringer-Verlas, New York, (2003).
[5] Albadarneh R. B. Zerqat M. et Batiha I. B. Numerical solutions for linear and non-
linear fractional di§erential equations. International Journal of Pure and Applied
Mathematics, 106, 859-871, (2016).
[6] A.Taieb, Z.Dahmani,Thèse de DOCTORA LMD:Etude analitique des équations dif-

férentielles et applications, Université Abdelhamid ben badis Mostaganm.
[7] B. Bollobas, W. Fulton, A. Katok, F. Kirwan and P. Sarnak. Fixed Point Theory and
Applications, (2004).
[8] Changpin Li and Fanhai Zeng, Numerical methods for fractional calculus, volume
24.CRC Press, (2015).
[9] E. Haier and G. Wanner, Solving Ordinary Differential Equations II : Stiff and Dif-
ferential Algebraic Problems. Springer, Berlin (1991).
[10] Hari M. Srivastava Anatoly A. Kilbas and Juan J. Trujillo (Eds.), Theory and Appli-
cations of Fractional Differential Equations. North-Holland Mathematics Studies 204.
Elsevier, 1 edition, (2006).
[11] Henry,D, Geometric theory of semilinear parabolic equations, Spring-verlage, Serlin,

Heidelberge, New York (1981).
64
‫المراجع‬
[12] Ignor Podlubny and Kenneth V. Thimann (Eds ). Fractional Differential Equations :
An Introduction to Fractional Derivatives, Fractional Differential Equations, to Meth-
ods of Their Solution and Some of Their Applications. Mathematics in science and
engineering 198. Academic Press, 1st edition,(1999).
[13] I. Podlubny, Fractional Differential Equations. Academic Press, San Diego, (1999).
[14] K. Diethelm, The Analysis of Fractional Differential Equations. Springer (2004).
[15] Li C. et Zeng F. The Finite difference methods for fractional ordinary differential
equations. Numerical Functional Analysis and Optimization, 34, 149-179, (2013).
[16] Liouville J. MÈmoire sur le changement de la variable dans le calcul des diffèrentielles
à indices quelconques. Journal de LíÈcole Polytechnique, 15(24), 17-54, (1835).
[17] Marc Weilbeer, Eﬀicient numerical methods for fractional differential equations and
their analytical background. Papierflieger, (2005).
[18] S.Das, Functional Fractional Calculus, Soringer-Verlag Berlin Heidelberg,(2011).
[19] S. Zhang, Positive solutions for boundary-value problems of nonlinear fractional dif-
ferential equations, Electronic Journal of Differential Equations, 36, 1-12, (2006).
[20] T. Stuckless, Brouwer’s Fixed Point Theorem Methods of Proof and Generalizations,
(2003).

Mer 31

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Mer 31

Uploaded by

Copyright:

Available Formats

‫ملخص‬

‫‪above space for just‬‬

‫بسم الله الرحمن الرحيم‬

‫‪2‬‬ ‫مقدمـــــــة ‪. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .‬‬

‫‪4‬‬ ‫مقدمة ‪. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .‬‬ ‫‪1.1‬‬

‫مقدمة ‪33 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .‬‬ ‫‪1.2‬‬

‫مقدمة ‪41 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .‬‬ ‫‪1.3‬‬

‫مقدمة ‪55 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .‬‬ ‫‪1.4‬‬

‫‪above space for just‬‬

‫• في سنة ‪ 1884‬قدم لوران نظر ية المؤثر ال ‪ Dα‬حيث ‪.α ∈ R‬‬

‫• في سنة ‪ 1892‬طبق هايفيزيد المشتق الـكسري في نظر ية خطوط النقل‪.‬‬

‫• في سنة ‪ 1963‬استخدم جومون المشتق الـكسري في المرونة‪.‬‬

‫‪2‬‬ ‫‪ENSET-Skikda .2023‬‬ ‫نواصر مريم ‪ -‬مخابة ر يان‬

‫‪3‬‬ ‫‪ENSET-Skikda .2023‬‬ ‫نواصر مريم ‪ -‬مخابة ر يان‬

‫‪4‬‬ ‫مقدمة ‪. . . . . . . . . . . . . . . . . . . . . . . . . . . .‬‬ ‫‪1.1‬‬

‫∥‪∀x, y ∈ E : ∥Ax − Ay∥ ≤ k∥x − y‬‬

‫‪||f ||∞ = sup ||f ||F , f ∈ C(E, F ).‬‬

‫‪ f .2‬يحول كل مجموعة محدودة من ‪ E‬إلى مجموعة متراصة نسبيا في ‪.F‬‬

‫‪5‬‬ ‫‪ENSET-Skikda .2023‬‬ ‫نواصر مريم ‪ -‬مخابة ر يان‬

‫‪ M‬مجموعة غير خالية من ) ‪ .C(E, F‬نقول أن ‪ M‬محدودة بإنتظام إذا تحقق‪:‬‬

‫‪∃c > 0, ∥f ∥∞ ≤ c, ∀f ∈ M.‬‬

‫أرز يلا أسكولي )‪]1[ (Arzela-Ascoli‬‬ ‫توطئة ‪1.2.1‬‬

‫‪ M .1‬متساو ية الإستمرار ية‪.‬‬

‫‪∀x, y ∈ K, λx + (1 − λ)y ∈ K, λ ∈ [0, 1].‬‬

‫‪6‬‬ ‫‪ENSET-Skikda .2023‬‬ ‫نواصر مريم ‪ -‬مخابة ر يان‬

‫التابع غاما )‪(Gamma‬‬

‫شكل ‪ :1.1‬الرسم البياني للتابع غاما‪.‬‬

‫∞‪= [−e−t ]+‬‬

‫‪7‬‬ ‫‪ENSET-Skikda .2023‬‬ ‫نواصر مريم ‪ -‬مخابة ر يان‬

‫∞‪= [−e−t ]+‬‬

‫نلخص بعض خواص التابع غاما في القضية التالية ‪:‬‬

‫‪Re(z) > 0 ،Γ(z + 1) = zΓ(z) .1‬‬

‫‪ .1‬باستعمال التكامل بالتجزئة نجد‪:‬‬

‫‪ .2‬من الخاصية)‪ (1‬لدينا‪:‬‬

‫)‪= n(n − 1)Γ(n − 1‬‬

‫)‪= n(n − 1)(n − 2)Γ(n − 2‬‬

‫)‪= n(n − 1)(n − 2)(n − 3) . . . Γ(1‬‬

‫‪8‬‬ ‫‪ENSET-Skikda .2023‬‬ ‫نواصر مريم ‪ -‬مخابة ر يان‬

Z :‫ لنعتبر الدالة التالية‬.4

:‫ مرة نتحصل على‬n ‫و بالمكاملة‬

9 ENSET-Skikda .2023 ‫ مخابة ر يان‬- ‫نواصر مريم‬

‫ومن جهة أخرى نعلم أن‪:‬‬

‫التابع بيتا )‪(Beta‬‬

‫‪B(z, w) = B(w, z) .1‬‬

‫‪10‬‬ ‫‪ENSET-Skikda .2023‬‬ ‫نواصر مريم ‪ -‬مخابة ر يان‬

‫العلاقة بين التابعين غاما و بيتا‬

‫بوضع المتغيرين ‪ p = 1 + u‬و ‪ ،a = z + w‬نجد أن‪:‬‬

‫بتعو يض )‪ (2.1‬في )‪ ،(1.1‬نجد أن‪:‬‬

‫∞‪Z +‬‬ ‫∞‪Z +‬‬

‫‪11‬‬ ‫‪ENSET-Skikda .2023‬‬ ‫نواصر مريم ‪ -‬مخابة ر يان‬

‫حيث ‪ s‬عدد مركب‪ .‬تسمى )‪ f (t‬بالدالة الأصلية‪.‬‬

‫)الدالة المستمرة بالقطعة(‬ ‫تعر يف ‪5.3.1‬‬

‫)الدالة المتزايدة أسيا(‬ ‫تعر يف ‪6.3.1‬‬

‫‪|f (t)| ≤ M ert ,‬‬ ‫‪t ≥ t0‬‬

‫)وجود تحو يل لابلاس(‬ ‫تعر يف ‪7.3.1‬‬

‫لدينا ‪ f‬دالة متزايدة أسيا‪:‬‬

‫‪12‬‬ ‫‪ENSET-Skikda .2023‬‬ ‫نواصر مريم ‪ -‬مخابة ر يان‬

‫و ‪ f‬مستمرة بالقطعة على المجال ] ‪:[0, t0‬‬

‫‪|f (t)| ≤ M,‬‬ ‫‪0 < t < t0 ,‬‬

‫‪Z‬‬ ‫‬ ‫‪x‬‬

‫و لأن ‪ limx→+∞ e−(s−r)τ = 0‬و ‪ Re(s) = x > r‬لدينا‪:‬‬

‫‪L[af (t) + bg(t)] = aL[f (t)] + bL[g(t)].‬‬

‫‪ .2‬تحو يل لابلاس للمشتق النوني للدالة ‪:f‬‬

‫‪Z‬‬ ‫‬ ‫‪x‬‬

‫‬ ‫‪n‬‬ ‫‬ ‫‬ ‫‬