‫جامعة البعث‬

‫كلٌة العلوم‬
‫قسم الرٌاضٌات‬

‫دراسة استقرار حل جملة معادالت تفاضل ّية خطية ذات تأخير زمني‬
‫التوقفية‬
‫‪The study of Stability of Solution for non-Stationary‬‬
‫‪Differential Equations System With Delay‬‬

‫دراسة أعدت لنٌل درجة الماجستٌر فً التحلٌل الرٌاضً‬

‫إعداد الطالبة‬

‫وفاء خضر شحادة‬

‫إشراف األستاذ الدكتور‬

‫سامح العرجة‬
 ‫كلمة شكر‬
‫بداٌة أود التقدم بالشكر الى والدي ووالدتً الغالٌٌن حفظهما هللا اللذٌن لم ٌبخال علً بالدعم و‬
‫الدعاء‪.‬‬

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

‫وأود أن أشكر أخوتً ‪.‬‬

‫كما أود التقدم بأجزل آٌات الشكر لألستاذ الدكتور سامح العرجة‪.‬‬

‫كما أتقدم بالشكر إلى جمٌع أعضاء الهٌئة التدرٌسٌة فً قسم الرٌاضٌات‪.‬‬

‫‪1‬‬
 ‫اهداء‬

‫أهدي عملً المتواضع الى والدي ووالدتً حفظهما هللا ‪............‬‬

‫وإلى زوجً وحبٌبً ماهر (رحمه هللا وأسكنه فسٌح جناته) ‪................‬‬

‫وإلى قرة عٌنً جعفر وآدم حماهما هللا‪............‬‬

‫وإلى أخوتً أحبتً ‪....................‬‬

‫وإلى األستاذ الدكتور سامح العرجة ‪.‬‬

‫‪2‬‬
 ‫الفهرس‬

‫لمحة عن حياة العالم الكسندر ميخائيل ليبانوف ‪5....................................‬‬

‫لمحة تاريخيه‪6.....................................................................‬‬

‫مقدمة‪8.............................................................................‬‬

‫ملخص البحث باللغة العربية‪9....................................................‬‬

‫الفصل األول‬
‫مفاهيم أولية تهتم بالبحث‬
‫‪ 1-1‬مفاهيم أولية‪11.........................................................................‬‬

‫‪ 2-1‬نظرية االستقرار‪13......................................................................‬‬

‫‪3-1‬مبرهنة ليابونوف حول االستقرار‪14....................................................‬‬

‫‪ 4-1‬فرضية جرنول – بيلمان‪15.............................................................‬‬

‫‪ 5-1‬طرائق لدراسة االستقرار‪15.........................................................‬‬

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

‫دراسة استقرار حل جملة معادالت تفاضلية ال توقفيه ذات تأخير زمني من الدرجة األولى‬
‫‪ 1-2‬دراسة استقرار حل جملة معادالت تفاضلية ذات تأخر زمني بمعامالت ثابتة‪21.....‬‬

‫‪2-2‬دراسة االستقرار األسي لحل جملة معادالت تفاضلية بمعامالت متغيرة‪28............‬‬

‫̇‬

‫‪ 3-2‬دراسة استقرار حل جملة معادالت تفاضلية التوقفية ذات تأخير من الدرجة األولى‪31....‬‬
‫̇‬

‫الفصل الثالث‬

‫دراسة استقرار حل جملة معادالت تفاضلية بمعامالت متغيرة ذات تأخير زمني‬

‫‪ 1-3‬دراسة استقرار حل جملة المعادالت من الشكل‪38..................................‬‬

‫‪3‬‬
 ‫‪ 2-3‬دراسةةةة اسةةةتقرار حةةةل معادلةةةة تفاضةةةلية التوقفيةةةة بمعةةةامالت متغيةةةرة باسةةةتخدام تةةةاب‬
‫ليبانوف‪48.....................................................................................‬‬

‫́‬

‫‪ 3-3‬دراسة استقرار حل جملة معادالت تفاضلية بمعامالت متغيرة بعدة تأخيرات زمنية من‬
‫الشكل‪51.............................................................................................‬‬

‫∑‬

‫الفصل الراب‬
‫دراسة استقرار حل المعادالت التفاضلية التوقفية ذات تأخر زمني باستخدام نظرية‬
‫النقطة الثابتة‬

‫‪ 1-4‬دراسة استقرار حل معادلة تفاضلية التوقفية ذات تأخير زمني‪58.........................‬‬

‫́‬ ‫‪t‬‬
‫‪ 2-4‬دراسة استقرار حل جملة معادالت تفاضلية التوقفية ذات تأخرات زمنية باستخدام نظرية‬
‫النقطة الثابتة ‪64.....................................................................................‬‬

‫‪t‬‬ ‫‪t‬‬ ‫∑‬ ‫‪t‬‬ ‫‪t‬‬

‫‪t‬‬

‫‪ 3-4‬دراسة استقرار حل معادلة فولتيرا باالعتماد على نظرية النقطة الثابتة‪07...............‬‬

‫ملخص البحث باللغة االنكليزية‪06..................................................................‬‬

‫المراج ‪08............................................................................................‬‬

‫‪4‬‬
 ‫لمحة عن حياة ألكسندر ميخائيل ليبانوف (‪[24])1918-1850‬‬

‫عالم روسً رٌاضً وفٌزٌائً ومٌكانٌكً ساهم فً تطوٌر نظرٌة االستقرار للجملة الدٌنامٌكٌة‬

‫دخل كلٌة العلوم الفٌزٌائٌة الرٌاضٌة فً جامعة ‪ Saint Petersburg‬فً عام ‪1786‬م وبعد‬
‫شهر نقل لقسم الرٌاضٌات‪ ,‬تخرج ‪1771‬م‪ ,‬حصل على الماجستٌر عام ‪1774‬م‪ ,‬من أساتذته‬
‫‪ Chebyshev‬ومن طالبه ‪ Aleksandr Nikolaevich Korkin‬و ‪Yegor Ivanovich‬‬
‫‪Zolotarev‬‬

‫وحصل على رسالة الدكتوراه من جامعة موسكو عام ‪1782‬م‬

‫بعنوان‪" :‬المسألة العامة الستقرار الحركة"‬

‫فً سنة ‪1783‬م أصبح أستاذا فً جامعة ‪Kharkiv University‬‬

‫ترجمت رسالة الدكتوراه للغة الفرنسٌة عام ‪1818‬م ‪ ,‬كما ترجمت للغة اإلنكلٌزٌة ‪1882‬م‪.‬‬

‫توفً عن عمر ٌناهز ‪ 61‬عام‪.‬‬

‫‪5‬‬
 ‫لمحة تاريخيه‬

‫قدم العلماء الروس عام ‪ 1772‬فكرة عامة عن االستقرار مثل لٌابونوف (‪ )1817-1758‬حٌث‬
‫كان موضوع العام لرسالته الدكتوراه استقرار الحركة و سرعان ما انتشر عمله فً كل روسٌا‬
‫و فٌما بعد فً الغرب ‪[5].‬‬

‫مع تقدم األبحاث أدخل العلماء التأخٌر الزمنً و أول من أعطى وصفا لهذه األنظمة مع تأخٌر‬
‫زمنً العالم (‪ )Boltzman‬حٌث درس تأثٌره ولكن لم ٌشر بشكل واضح للتأخٌر الزمنً فً‬
‫النماذج الواقعٌة‪[3] [4].‬‬

‫فً بداٌة ‪ 1811‬ظهر خالف على ضرورة إدخال التأخٌر الزمنً فً منظومات كً ٌُتوقع‬
‫تطورها المستقبلً ‪ ,‬لكن وجهة النظر هذه تناقضت مع التقلٌد النٌوتونً الذي ادعى بأن معرفة‬
‫القٌم الحالٌة لكل المتغٌرات ذات العالقة ٌجب أن تكفً للتنبؤ ‪.‬‬

‫اهتم العالم ‪ Picard‬عام ‪ 1818‬بوجهة النظر القائلة أن الحالة الماضٌة مهمة للنماذج الواقعٌة ‪,‬‬
‫و فً سلسلة أعماله توصل إلى نظام بمتغٌرات أساسٌة مخفٌة و ال ٌمكن مالحظتها بسهولة و‬
‫ادعى أن الحصول على مثل هذا النظام ٌتطلب معرفة مسبقة لقٌم هذه المتغٌرات المخفٌة مثال‬
‫لذلك النظام ساعة بندول ‪[10].‬‬

‫بدأ إدخال النماذج الرٌاضٌة على الطب و البٌولوجٌا بدراسات على األوبئة للعالم روس‬
‫(‪ )Ross‬عام ‪ 1811‬و الذي ٌُعتبر مؤسس النظرٌة الرٌاضٌة لألوبئة وفق شروط المعادالت‬
‫التفاضلٌة ثم طورت نظرٌته عام ‪[10]. 1821‬‬

‫فٌما بعد أصبحت الحاجة للتأخٌر أمرا مؤكدا ‪ ,‬و هذا ما بٌنه لوتكا (‪ )Lotka‬الذي ناقش‬
‫التأخٌرات المنفصلة فً نموذج المالرٌا الوبائً و التً ترجع إلى احتضان مؤقت لمرض‬
‫المالرٌا‪.‬‬

‫فً دراسة لـ ‪ Minorsky‬عام ‪ 1842‬على استقرار السفن و التسٌٌر اآللً أشار بشكل واضح‬
‫إلى أهمٌة الـتأخٌر ‪[8].‬‬

‫إن االهتمام الكبٌر فً نظرٌة التحكم خالل تلك السنوات و التً تلتها ساهمت فً تطوٌر سرٌع‬
‫لنظرٌة المعادالت التفاضلٌة باالعتماد على الحالة الماضٌة ‪.‬‬

‫توصل ‪ Myshkis‬عام ‪ 1848‬قً مقالة له إلى أول صٌغة رٌاضٌة صحٌحة تعالج مسألة القٌمة‬
‫األولٌة‪ ,‬عالوة على ذلك قدم ‪ Myshkis‬عام ‪ 1855‬فً كتابه صف عام من المعادالت مع‬
‫تأخٌر و وضع النظرٌة العامة لألنظمة الخطٌة ‪[9].‬‬

‫‪6‬‬
‫كما قدم بٌلمان و كوك (‪ )Bellman and Cook‬فً كتابهما عام ‪ 1863‬أفكارا أكثر تطورا‬
‫و شموال ‪ ,‬من خالل دراستهما لالستقرار مسألة التحكم المثالً ( ‪optimal control‬‬
‫‪ )problems‬فً أنظمة التأخٌر الزمنً ‪[3].‬‬

‫حصل كرسوفسكً (‪ )Krasovski‬على بعض النتائج المهمة فً دراسته لمشاكل االستقرار و‬

‫السٌطرة المثالٌة(التحكم األمثل) فً أنظمة التأخٌر الزمنً ‪.‬‬

‫قدم كل من ‪ El'sgol'ts‬عام ‪ [5] 1866‬و ‪ Hale‬عام ‪ 1888‬أفكارا هامة فً دراساتهما حول‬

‫االستقرار ‪.‬‬

‫تبٌن اللمحة التارٌخٌة السابقة أن التأخٌرات بجب أن تأخذ بالحسبان الوصف و السٌطرة على‬
‫العملٌات ‪.‬‬

‫‪8‬‬
 ‫مقدمة‬

‫إن التأخٌر الزمنً ظاهرة فٌزٌائٌة توجد فً العدٌد من التطبٌقات كنقل المادة و الطاقة و‬
‫المعلومات وفً التفاعالت الكٌمٌائٌة وفً علم األوبئة (زمن الحضانة)‪ ,‬وفً المٌكانٌك‬
‫(لزوجة‪ -‬ومرونة) وفً األنماط العدٌدة للعملٌات الفٌزٌائٌة وفً علم األحٌاء وعلم البٌئة وعلوم‬
‫الهندسة واالتصاالت حٌث تداخلت مع المعادالت التفاضلٌة و أصبحت تتعلق لٌس فقط بالقٌمة‬
‫̀ ‪ ,‬و أطلق علٌها المعادالت الوراثٌة أو‬ ‫الحالٌة ل وإنما أٌضا بجزء من الماضً أي ب‬
‫المعادالت ذات التأخر الزمنً‪ .‬الجمل ذات التأخٌر الزمنً هً جمل دٌنامٌكٌة تتمثل بمعادالت‬
‫تفاضلٌة دالٌة تابعة للقٌم الحالٌة والماضٌة للزمن وتنتمً إلى صف المعادالت الدالٌة ذات‬
‫األبعاد غٌر المنتهٌة‪ .‬إن دراسة انتشار المادة والطاقة والمعلومة و تحلٌل سلوك الكثٌر من‬
‫العملٌات التً نجدها فً الفٌزٌاء والمٌكانٌك واالقتصاد والكٌمٌاء وعلم الحٌاة ودٌنامٌكٌة‬
‫السكان‪....‬إلخ تظهر بأنه من الناحٌة العملٌة ٌمكننا إدراك غٌاب التأخر فً جملة معطاة لكن‬
‫فً بعض الحاالت حتى وإن بدا التأخر مهمال فً جمل الحلقة المفتوحة إال أنه ٌمكن أن ٌزداد‬
‫بإغالقها أثناء نقل المعلومات‪ ,‬لذلك وبإدراك هذه الحقٌقة درست نمذجه األنظمة الدٌنامٌكٌة‬
‫على شكل معادالت تفاضلٌة ذات تأخٌر زمنً المتعلقة بالحالة الراهنة والحالة السابقة‪.‬فقد‬
‫استخدم تحوٌل البالس من أجل المعادالت التفاضلٌة الخطٌة ذات التأخٌر الزمنً وقد قاد ذلك‬
‫الى توسٌع حلول التوابع الذاتٌة ومٌزات التقارب فمن أجل استقرار التوازنات كان من المهم‬
‫فهم تطبٌق مبدأ لٌبانوف الثانً‪ 1781‬فالحصول على شروط استقرار التوازن كانت من أولى‬
‫االهتمامات فً مسائل المعادالت التفاضلٌة ذات التأخٌر الزمنً‪.‬‬

‫للتأخٌر الزمنً عدة أنماط‪:‬‬

‫‪ -1‬تأخٌر زمنً ثابت ‪ :‬حٌث عدد حقٌقً محدود‪.‬‬

‫‪ :‬نعرف التأخٌرات األعظمٌة التً من أجلها‬ ‫‪ -2‬تأخٌرات زمنٌة متغٌرة أعظمٌة‬
‫بحٌث‬ ‫ٌوجد عدد حقٌقً‬

‫‪ -3‬تأخٌرات زمنٌة محدودة‪ :‬فً بعض األحٌان ٌكون من المهم معرفة القٌمة الصغرى‬
‫التً‬ ‫للتأخٌر الزمنً وتأثٌره على استقرار الجملة نعرف التأخٌر المحدود بأنه التأخٌر‬
‫بحٌث‪:‬‬ ‫من أجله ٌوجد عددان حقٌقٌان‬

‫‪ -4‬التأخٌرات الزمنٌة المتغٌرة و القابلة لالشتقاق‪ :‬وفً هذا النوع نفرض شرط على مشتق‬
‫التأخٌر بحٌث ٌوجد عدد حقٌقً ٌحقق‪:‬‬

‫̇‬

‫وهنا نشترط على التأخٌر أال ٌتغٌر أسرع من الزمن وأن المعلومات المتأخرة تصل بالترتٌب‬
‫الزمنً‪.‬‬

‫‪7‬‬
 ‫ملخص البحث‬

‫تتضمن الرسالة أربعة فصول‪:‬‬

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

‫وٌتضمن بعض المفاهٌم والتعارٌف والمبرهنات التً تتعلق بالبحث‪.‬‬

‫الفصل الثانً‬

‫دراسة استقرار جملة معادالت تفاضلٌة خطٌة ال توقفٌه ذات تأخٌر زمنً‪.‬‬

‫وٌتضمن دراسة استقرار حل جملة معادالت تفاضلٌة بمعامالت متغٌرة باستخدام مبدأ لٌبانوف‬
‫الثانً من الشكل ‪:‬‬

‫حٌث أوردنا طرٌقتٌن لدراسة الشرط الالزم الستقرار الجملة‪.‬‬

‫̇ باستخدام مبدأ لٌبانوف الثانً‪.‬‬ ‫كما درسنا االستقرار األسً للجملة‬

‫الفصل الثالث‬

‫دراسة استقرار حل جملة المعادالت التفاضلٌة الخطٌة ذات تأخٌر زمنً‪.‬‬

‫حٌث قمنا فً هذا الفصل بدراسة استقرار حل الجملتٌن‪:‬‬

‫∑‬

‫باستخدام مبدأ لٌبانوف الثانً‪.‬حٌث درسنا استقرار حل الجملة اآلتٌة بثالث طرق ‪: .‬‬

‫ثم قمنا بدراسة حالة خاصة ‪:‬استقرار حل المعادلة التفاضلٌة ذات تأخٌر زمنً بمعامالت‬
‫متغٌرة باستخدام مبدأ لٌبانوف الثانً من الشكل‪:‬‬

‫́‬

‫‪8‬‬
‫ثم درسنا استقرار حل جملة معادالت تفاضلٌة بمعامالت متغٌرة بعدة تأخٌرات زمنٌة من‬
‫الشكل‪:‬‬

‫∑‬

‫الفصل الرابع‬

‫دراسة استقرار حل المعادالت التفاضلٌة التوقفٌة ذات تأخر زمنً باستخدام نظرٌة النقطة‬
‫الثابتة‬

‫نقوم بدراسة استقرار حل المعادلة‪:‬‬

‫́‬

‫باستخدام نظرٌة النقطة الثابتة‪.‬‬

‫ودرسنا أٌضا استقرار حل جملة المعادالت التفاضلٌة التوقفٌة ذات تأخٌرات زمنٌة باستخدام‬
‫نظرٌة النقطة الثابتة من الشكل‪:‬‬

‫∑‬

‫وأخٌرا قمنا بدراسة استقرار حل معادلة فولتٌرا باالعتماد على نظرٌة النقطة الثابتة‬

‫̀‬ ‫∫‬

‫أرجو من هللا أن أكون قد وفقت فً هذا البحث وحققت الفائدة المرجوة منه‪.‬‬

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

‫مفاهيم أولية تتعلق بالبحث‬

‫مفاهيم أولية‬ ‫‪1-1‬‬

‫‪1-1-1‬شرط ليبشتز ‪[16]:‬‬

‫نقول عن الدالة ‪:‬‬

‫إنها تحقق شرط ليبشتز إذا حققت المتراجحة ‪:‬‬

‫‖‬ ‫‖‬

‫∑‬ ‫‖‬ ‫‖‬

‫‪ n‬المستمرة والمحدودة على‬ ‫مجموعة كل توابع المصفوفات ‪m‬‬ ‫نرمز ب‬

‫‪.‬‬
‫‪ n‬المستمرة والمحدودة‬ ‫مجموعة كل توابع المصفوفات ‪n‬‬ ‫نرمز ب‬
‫والمعرفة إٌجابٌا والمتناظرة‪.‬‬ ‫على‬
‫لمجموعة المصفوفات الثابتة والمتناظرة والمعرفة إٌجابٌا‪.‬‬ ‫نرمز ب‬
‫‪2-1-1‬تعريف‬
‫‪.‬‬ ‫∑‬ ‫هو العدد‬ ‫الجداء السلمً للمتجهٌن‬
‫‪3-1-1‬تعريف‬
‫‪.‬‬ ‫مصفوفة متناظرة إذا كانت‬ ‫نقول إن‬
‫‪4-1-1‬تعريف‬
‫‪.‬‬ ‫ونكتب‬ ‫موجبة تحدٌدا إذا كانت‬ ‫نقول إن المصفوفة‬
‫‪5-1-1‬تعريف‬
‫‪.‬‬ ‫ونكتب‬ ‫موجبة تماما بالتحدٌد إذا كانت‬ ‫نقول إن‬
‫‪6-1-1‬تعريف‬
‫إذا تحقق‬ ‫أنه موجب محدد وبشكل منتظم ونرمز لذلك ب‬ ‫نقول عن التابع‬
‫الشرط‪:‬‬

‫‪11‬‬
 ‫‖ ‖‬
‫‪7-1-1‬تعريف‬
‫بحٌث‬ ‫إنه مؤثر ضاغط إذا وجد ثابت‬ ‫نقول عن المؤثر‬

‫‖‬ ‫‖‬ ‫‖‬ ‫‖‬

‫‪8-1-1‬تعريف‬
‫إنها نقطة ثابتة‬ ‫نقول عن‬ ‫ليكن فضاء خطيا على احلقل 𝕂 ولٌكن لدٌنا المؤثر‬
‫للمؤثر إذا تحقق‪:‬‬

‫‪ 9-1-1‬تعريف‪:‬‬
‫إنه فضاء باناخ إذا وفقط إذا كانت كل متتالية أساسية فيه متقاربة فيه‪.‬‬ ‫نقول عن الفضاء املنظم‬

‫‪17-1-1‬تعريف‪:‬‬

‫الجملة ذات التأخر الزمنً ‪ :‬هً جملة معادالت تفاضلٌة دالٌة من الشكل‪:‬‬
‫̇‬ ‫(‬ ‫)‬

‫]‬

‫هو تابع مفروض مستمر محلٌا حسب‬ ‫هو حالة الجملة فً اللحظة و‬ ‫حٌث‬
‫المعرف‬ ‫]‬ ‫بالنسبة للمتغٌر الثانً‪,‬‬ ‫لٌبتشٌز و‬
‫بالعالقة‪:‬‬

‫]‬

‫‪.‬‬ ‫فضاء التوابع المستمرة على المجال ]‬ ‫]‬ ‫حٌث‬

‫‪ 11-1-1‬تعريف‪:‬‬

‫̇ و‬ ‫إذا كان‬

‫̇ إذا وفقط إذا كانت‬ ‫إنها نقطة توازن للجملة‬ ‫نقول عن النقطة‬
‫‪.‬‬ ‫حال للجملة أي‬

‫‪ 11-1-1‬نظرية النقطة الثابتة لباناخ‬

‫ضاغط‬ ‫على احلقل 𝕂 وليكن املؤثر‬ ‫بفرض جمموعة مغلقة غري خالية يف فضاء باناخ‬
‫‪.‬‬ ‫عندئذ ميلك املؤثر نقطة ثابتة وحيدة يف اجملموعة‬

‫‪12‬‬
 ‫‪ 2-1‬نظرية االستقرار ‪[18]:‬‬

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

‫ولنعرف استقرار الحل لهذه الجملة‪:‬‬

‫‪ 1-2-1‬تعريف االستقرار ‪:‬‬
‫مستقرة إذا تحقق الشرط‪:‬‬ ‫نقطة توازن للجملة )‪ (1.2.1‬تكون‬ ‫بفرض‬

‫𝛆‬ ‫‖‬ ‫‖‬ ‫‖‬ ‫‖‬

‫‪2-2-1‬مستقر استقراراً مقاربا ً ‪:‬‬
‫للجملة )‪(1.2.1‬مستقرة استقرارا مقاربا إذا كان مستقرا وحقق الشرط‪:‬‬ ‫تكون نقطة التوازن‬
‫‪δ‬‬ ‫‪‖ t‬‬ ‫‖‬ ‫‖ ‪lim‬‬ ‫‖‬
‫نتيجة‪ٌ :‬كون الحل غٌر مستقر إذا خالف الشروط السابقة ‪.‬‬
‫‪4-2-1‬مستقر استقرار أسيا ً ‪:‬‬
‫إذا كان أي حل للمعادلة )‪ٌ(1.2.1‬حقق العالقة ‪:‬‬
‫‖‬ ‫‖‬ ‫‖‬ ‫‖‬

‫‪.‬‬ ‫حٌث‬
‫‪ ‬نالحظ أن تطور استقرار نقطة التوازن لجملة مع تأخر زمنً أو بدونه ٌبقى قرٌبا من‬
‫نقطة التوازن‪.‬‬
‫‪ ‬و االستقرار المقارب ٌضمن الشروط السابقة وٌدل بأن الجملة ستعود الى نقطة التوازن‬
‫اذا ابتعدنا عنها بشكل صغٌر‪.‬‬
‫‪ ‬أما االستقرار األسً ٌضمن شروط االستقرار المقارب و سرعة التقارب‪.‬‬

‫‪13‬‬
 ‫الشكل (‪)1-1‬‬

‫الشكل (‪)2-1‬‬

‫‪.‬‬ ‫مالحظة ‪ :‬سنفرض فً بحثنا أن نقطة التوازن هً نقطة األصل أي‬

‫‪ 3-1‬مبرهنة ليابونوف حول االستقرار ‪:‬‬
‫تهتم دراسة االستقرار حسب لٌبانوف بسلوك الجملة حول نقطة التوازن حٌث تكون المسارات‬
‫مستقرة بالنسبة لوضع ابتدائً معطى قرٌب بما ٌكفً من نقطة التوازن إذ تبقى فً جوار متغٌر‬
‫ٌسمى مجال االستقرار‪ ,‬وٌعد االستقرار المقارب من أهم أنواع االستقرار واألكثر انتشارا حٌث‬
‫ٌبٌن أن مسارات الجملة ترتبط بحالة التوازن‪.‬‬

‫درس االستقرار ٌطرٌقتٌن طرٌقة لٌبانوف األولى والتً تنص على أنه إذا كانت نقطة األصل‬
‫مستقرة استقرارا مقاربا بالنسبة للجملة الخطٌة عندئذ ٌكون حل الجملة مستقرا استقرارا مقاربا ‪.‬‬

‫طرٌقة لٌبانوف األولى ال تعطٌنا أي معلومات عن مجال االستقرار المقارب‪ ,‬أزٌلت هذه الثغرة‬
‫بطرٌقة لٌبانوف الثانٌة ‪:‬‬

‫‪14‬‬
 ‫طريقة ليبانوف الثانية ‪:‬‬

‫حٌث‬ ‫لنأخذ الدالة‬

‫‪ -1‬تكون نقطة األصل مستقرة استقرارا مقاربا من أجل اضطرابات غٌر كبٌرة ال تؤثر‬
‫تحقق ما ٌأتً ‪:‬‬ ‫على توازن الجملة إذا كانت الدالة‬
‫‪.‬‬ ‫من أجل‬ ‫‪-1‬‬
‫‪.‬‬ ‫‪-2‬‬
‫ٌملك مشتقات جزئٌة مستمرة مع األخذ بعٌن االعتبار كل مركبات ‪.‬‬ ‫‪-3‬‬
‫و واقعة ضمن جوار نقطة األصل ‪.‬‬ ‫من أجل‬ ‫̇‬ ‫‪-4‬‬
‫‪ -2‬تكون نقطة األصل مستقرة استقرارا مقاربا من أجل اضطرابات كبٌرة مفاجئة تزٌح‬
‫ٌحقق ما ٌأتً ‪:‬‬ ‫الجملة عن وضع توازنها ثم تعود للتوازن إذا كان الدالة‬
‫‪.‬‬ ‫من أجل‬ ‫‪-1‬‬
‫‪.‬‬ ‫‪-2‬‬
‫تملك مشتقات جزئٌة مستمرة ‪.‬‬ ‫‪-3‬‬
‫و واقعة فً جوار نقطة األصل و تحقق ‪:‬‬ ‫من أجل‬ ‫̇‬ ‫‪-4‬‬
‫‖ ‖‬ ‫عندما ∞‬
‫مالحظة ‪:‬‬
‫المذكور فً نظرٌة لٌابونوف حول االستقرار تسمى دالة لٌابونوف ووجودها‬ ‫إن الدالة‬
‫فً الشروط المذكورة ٌعنى تماما استقرار حل الجملة المدروسة ‪ ,‬و ٌعطى دائما بالصٌغة‬
‫التربٌعٌة‪.‬‬
‫‪ 4-1‬مبرهنة جرنول – بيلمان ]‪:[17‬‬
‫فإذا كان ‪:‬‬ ‫دالة مستمرة و‬ ‫بفرض‬

‫∫‬

‫دالة غٌر متناقصة قابلة للمكاملة ‪ ,‬عندئذ ٌكون ‪:‬‬ ‫حٌث ‪t‬‬

‫∫‬

‫‪ 5-1‬طرائق لدراسة االستقرار ‪:‬‬

‫تعد دراسة االستقرار واحدة من أهم المسائل فً دراسة المعادالت التفاضلٌة ذات تأخٌرات‬
‫زمنٌة و ٌوجد عدة طرق لدراسة االستقرار تعتمد جمٌعها على إٌجاد دالة لٌبانوف لكن تختلف‬
‫فٌما بٌنها فً طرٌقة إٌجاده سنذكر ثالث منها‪.‬‬

‫‪15‬‬
 ‫‪ 1-5-1‬الطريقة األولى ]‪:[19‬‬
‫وسنوضح هذه الطرٌقة من خالل دراسة جملة المعادالت اآلتٌة ‪:‬‬

‫‪.‬‬ ‫‪,‬‬ ‫مصفوفات ثابتة من البعد‬ ‫حٌث‬

‫فً هذه الحالة تأخذ الصٌغة التربٌعٌة لدالة لٌبانوف الشكل اآلتً ‪:‬‬

‫مصفوفات‬ ‫‪,‬‬ ‫‪,‬‬ ‫‪,‬‬ ‫مصفوفة مربعة موجبة من المرتبة‬ ‫حٌث‬

‫مصفوفة متناظرة ‪.‬‬ ‫مستمرة و‬

‫و تحقق المعادلة التفاضلٌة ‪:‬‬

‫حٌث ‪:‬‬

‫مصفوفات معطاة ‪,‬تحقق شروط سلبٌة الدالة‬ ‫وأن‬

‫على مجموعة حلول الجملة ‪.‬‬

‫نحصل على جملة من المعادالت الجبرٌة و التً تتضمن معادالت‬ ‫باشتقاق الدالة‬
‫تفاضلٌة عادٌة ‪ ,‬ومعادالت تفاضلٌة جزئٌة‪.‬‬

‫تكون معطاة بالشكل ‪:‬‬ ‫أي إن المصفوفات‬

‫‪16‬‬
‫و بالتالً على استقرار حل جملة المعادالت‬ ‫وبحل هذه المعادالت نحصل على الدالة‬
‫المطلوبة‪.‬‬
‫عٌوب هذه الطرٌقة العدد الكبٌر للمعادالت الناتجة و صعوبة حلها فً الجمل األكثر تعقٌدا‪.‬‬
‫‪ 2-5-1‬الطريقة الثانية ]‪:[14‬‬
‫إن دراسة استقرار حل المعادالت مع تأخٌر زمنً أصعب من دراسة استقرار حل معادالت‬
‫بدون تأخٌر لذلك طورت تقنٌة أخرى لدراسة معادالت ذات تأخٌر زمنً ٌمكن توضٌحها من‬
‫خالل المعادلة ‪:‬‬

‫لنكتب المعادلة السابقة بالشكل اآلتً ‪:‬‬

‫(‬ ‫)‬ ‫]‬

‫ولنعتبرها جملة مضطربة مناظرة لجملة المعادالت التفاضلٌة اآلتٌة التً ال تحوي تأخٌرا زمنٌا‪:‬‬

‫صغٌرا على نحو كاف عندئذ الحد ‪:‬‬ ‫واضح أنه إذا كان التأخٌر‬

‫]‬
‫الذي ٌمثل االضطراب ٌكون صغٌرا بحٌث إن سلوك المعادلة مع اضطراب ٌشبه سلوك‬
‫المعادلة بدون اضطراب لذلك إذا كان حل المعادلة)‪ (1.5.3‬مستقرا فإن حل المعادلة )‪(1.5.2‬‬
‫مستقرا ‪.‬‬

‫‪18‬‬
 ‫وٌمكن أن نوضح هذه الطرٌقة من خالل دراسة الجملة ]‪:[4‬‬

‫‪.‬‬ ‫مصفوفة محدودة من البعد‬ ‫‪,‬‬ ‫‪,‬‬ ‫حٌث‬

‫اعتمادا على التقنٌة سابقة الذكر نكتب المعادلة )‪ (1.5.4‬على الشكل ‪:‬‬

‫]‬ ‫]‬

‫لندرس استقرار حل الجملة ‪:‬‬

‫وبوضع تقدٌر مناسب لـ نحصل على استقرار )‪.(1.5.4‬‬

‫نحل المعادلة )‪: [15](1.5.5‬نجد‬

‫ومنه ‪:‬‬
‫‖‬ ‫‖‬ ‫‖‬ ‫‖‬ ‫‖‬ ‫‖‖‬ ‫‖‬
‫وحتى تكون الجملة مستقرة استقرارا مقاربا ٌجب أن تحقق ‪:‬‬
‫‖ ‪lim‬‬ ‫‖‬

‫لنبحث فً الشروط الموافقة لهذا االستقرار ‪.‬‬

‫المختلفة مثنى مثنى عندئذ ٌمكن أن نكتب‬ ‫بفرض أن المصفوفة تملك القٌم الذاتٌة‬

‫مقلوب مصفوفة االنتقال (أعمدتها متجهات ذاتٌة موافقة للقٌم الذاتٌة‬ ‫حٌث‬

‫مصفوفة قطرٌة لها الشكل ‪:‬‬ ‫و‬

‫لنعرف النظٌم كما ٌأتً ‪:‬‬

‫‪17‬‬
 ‫عندئ ٍذ ‪:‬‬

‫لدٌنا ‪:‬‬

‫من‬ ‫حٌث‬ ‫ٌلزم تحقٌق‬ ‫بالتالً حتى ٌتحقق الشرط‬

‫المساواة )‪ (1.5.6‬نجد أن ‪:‬‬

‫أي إن)‪ (1.5.4‬جملة مستقرة استقرارا مقاربا‪.‬‬

‫‪:‬‬ ‫وفٌما ٌلً رسم توضٌحً لالستقرار المقارب والستقرار فً المستوي‬

‫‪.‬‬

‫مستقرا استقرارا مقاربا‬

‫‪18‬‬
 ‫مستقر لكن لٌس تقاربٌا‬

‫‪3-5-1‬الطريقة الثالثة‬
‫الذي ٌجعل الجملة مستقرة ‪.‬‬ ‫المبرهنة اآلتٌة تعطى تقدٌر‬

‫سنذكره بالمبرهنة اآلتٌة‪:‬‬

‫مبرهنة ]‪:[6‬‬
‫تكون جملة المعادالت )‪ (1.5.4‬مستقرة استقرارا مقاربا إذا و فقط إذا تحقق الشرطان ‪:‬‬

‫‪.‬‬ ‫‪.‬عٌوب هذه الطرٌقة صعوبة الحصول على التقدٌر األفضل لـ‬ ‫حٌث‬

‫‪21‬‬
 ‫الفصل الثاني‬
‫دراسة استقرار حل جملة معادالت تفاضلية خطية ال توقفيه ذات تأخير زمني‬

‫‪1-2‬دراسة استقرار حل جملة معادالت تفاضلية ذات تأخر زمني بمعامالت ثابتة‬
‫سنقوم بدراسة استقرار حل جملة معادالت تفاضلٌة من الشكل ‪:‬‬

‫‪1-1-2‬مبرهنة‬
‫مستقرا استقرارا مقاربا ‪ ,‬عندئذ ٌكون الحل الصفري‬ ‫إذا كان الحل الصفري للجملة‬
‫مستقرا إذا تحقق الشرط اآلتً ‪:‬‬ ‫للجملة‬

‫‖‬ ‫‖‬ ‫√‬ ‫∫‬ ‫‖ ‖‬

‫اإلثبات ‪:‬‬
‫ومن الشكل التربٌعً اآلتً ‪:‬‬ ‫حٌث‬ ‫لنأخذ دالة لٌبانوف‬

‫مصفوفة متناظرة موجبة نشتق‬ ‫‪,‬‬ ‫منقول المتجهة‬ ‫و‬ ‫‪,‬‬ ‫حٌث ‪t‬‬
‫‪:‬‬ ‫دالة لٌبانوف‬

‫]‬

‫بما أن‪:‬‬

‫مصفوفة موجبة تماما‪.‬‬ ‫دالة من الشكل التربٌعً ‪,‬‬ ‫حٌث‬

‫بمقارنة العالقات األخٌرة نحصل على المعادلة ‪:‬‬

‫لدٌنا‪:‬‬

‫‪21‬‬
 ‫‖ ‖‬ ‫‖ ‖‬

‫‪.‬‬ ‫القٌمة الذاتٌة العظمى للمصفوفة‬ ‫القٌمة الذاتٌة الصغرى ‪,‬‬ ‫حٌث‬
‫‪:‬‬ ‫لنحل المعادلة‬

‫ومن الٌمٌن‬ ‫نضرب المعادلة من الٌسار‬

‫الى ∞‪:‬‬ ‫نكامل الطرفٌن من‬

‫∫‬ ‫(‬ ‫)‬ ‫∫‬

‫∫‬

‫∫‬

‫نفرض‬

‫∫‬

‫بالتالً دالة لٌبانوف للجملة )‪ (2.1.2‬موجودة و تعطى بالشكل ‪:‬‬

‫∫‪4‬‬ ‫‪5‬‬

‫وبالتالً الجملة )‪ (2.1.2‬مستقرة استقرارا مقاربا‪.‬‬

‫لندرس استقرار الجملة)‪:(2.1.1‬‬
‫نجد أن ‪:‬‬ ‫باالعتماد على‬ ‫نشتق الدالة‬

‫بمكاملة المعادلة األخٌرة ‪:‬‬

‫‪22‬‬
 ‫∫‬ ‫]‬

‫بأخذ النظٌم للحدود التً تقع داخل التكامل و باالعتماد على شرط لٌبتشز نجد ‪:‬‬
‫‖‬ ‫‖‬ ‫‖‖ ‖‬ ‫‖‖‬ ‫‖‬

‫∫‬ ‫‖‖ ‖‬ ‫‖‖‬ ‫‖‬

‫ٌكون لدٌنا ‪:‬‬ ‫من العالقة‬

‫∫‬ ‫‖√‖ ‖‬ ‫‖‖‬ ‫‖‬

‫لنأخذ النظٌم غٌر المتناقص بالنسبة لـ من الشكل ‪:‬‬

‫‖‬ ‫‖‬ ‫‖ ‪sup‬‬ ‫‖‬

‫عندئذ نحصل على العالقة التالٌة ‪:‬‬

‫‖‬ ‫‖‬ ‫∫‬ ‫‖‖ ‖‬ ‫‖‬

‫حٌث‬
‫‖ ‪sup‬‬ ‫‖‬

‫حسب مبرهنة جرنول بٌلمان ٌكون ‪:‬‬

‫‖‬ ‫‖‬ ‫∫‬ ‫‖ ‖‬

‫نستنتج ‪:‬‬ ‫من العالقة‬

‫‖‬ ‫‖‬ ‫∫‬ ‫‖ ‖‬

‫‖‬ ‫‖‬ ‫√‬ ‫∫‬ ‫‖ ‖‬

‫‪23‬‬
 ‫أي لٌتحقق االستقرار المقارب للجملة )‪ (2.1.1‬إذا كان‪:‬‬

‫∫‬ ‫‖ ‖‬

‫‪2-1-2‬مثال‬
‫̇‬

‫‪ ,‬بحل معادلة لٌبانوف‬ ‫(‬ ‫)‬ ‫‪ ,‬من أجل‬ ‫(‬ ‫حٌث )‬

‫(‬ ‫تكون )‬ ‫‪:‬‬

‫‪3-1-2‬مثال‬

‫عندئذ‪:‬‬ ‫(‬ ‫‪,‬من أجل )‬ ‫(‬ ‫حٌث )‬ ‫̇‬

‫(‬ ‫‪+‬‬

‫‪24‬‬
 ‫‪4-1-2‬مثال‬
‫̈‬ ‫̇‬
‫نفرض‬
‫‪,‬‬ ‫̇‬
‫عندئذ‪:‬‬
‫̇‬
‫̇‬
‫هذه الجملة لها نقطة توازن‬
‫لندرس استقرار الجملة من أجل تابع لٌبانوف‬

‫باالشتقاق‬

‫̇‬ ‫̇‬ ‫̇‬ ‫̇‬ ‫̇‬

‫̇‬
‫̇‬

‫عندئذ نمٌز الحاالت‬

‫المعرف اٌجابٌا على طول كل‬ ‫‪ ε‬عندئذ ٌتناقص تماما التابع‬ ‫‪ -1‬إذا كان‬
‫المسارات الممكنة وتكون الجملة حسب نظرٌة لٌبانوف استقرارا مقاربا‪.‬‬
‫‪.ε‬‬ ‫‪ -2‬الجملة مستقرة إذا كان‬
‫‪.ε‬‬ ‫‪ -3‬الجملة غٌر مستقرة إذا كان‬
‫‪5-1-2‬مثال‬
‫̇‬
‫̇‬
‫إن نقطة التوازن هً‬
‫لنتحقق من االستقرار بتابع لٌبانوف‬

‫‪25‬‬
 ‫باالشتقاق‬

‫̇‬ ‫̇‬ ‫̇‬ ‫̇‬ ‫̇‬

‫حتى ٌتحقق االستقرار ٌجب أن ٌكون‬

‫̇ وبالتالً‬
‫عندئذ ٌتحقق االستقرار إذا تحقق الشرط‬

‫لندرس االستقرار إذا كان تابع لٌبانوف‬

‫باالشتقاق‬

‫̇‬ ‫̇‬ ‫̇‬ ‫̇‬ ‫̇‬

‫(‬ ‫)‬

‫أصبح لدٌنا‬
‫̇‬

‫وبالتالً الجملة مستقرا استقرارا مقاربا‪.‬‬

‫نالحظ أن اختٌار تابع لٌبانوف له تأثٌر على االستقرار‪.‬‬
‫‪6-1-2‬مثال‬
‫̇‬

‫̇‬

‫الجملة لها نقطة توازن‬

‫تتحقق من االستقرار بتابع لٌبانوف‬

‫‪26‬‬
 ‫باالشتقاق‬
‫̇‬ ‫̇‬ ‫̇‬

‫‪.‬‬ ‫‪/‬‬

‫مستقر ألن‬
‫̇‬

‫‪ 0-1-2‬مثال‪:‬‬
‫̇‬
‫̇‬

‫‪.‬‬ ‫وذلك عند‬ ‫*‬ ‫‪+‬‬

‫√‬
‫‪.‬لنبرهن أن نقطة األصل مستقرة استقرارا مقاربا ‪.‬‬ ‫القٌم الذاتٌة للمصفوفة هً‬

‫)‪.‬‬ ‫(نفرض أن‬ ‫المعادلة الممٌزة للجملة هً ‪:‬‬

‫بحلها نجد أن‬

‫*‬ ‫‪+‬‬

‫̇‬ ‫]‬

‫√‬
‫̇‬ ‫‖ ‖‬ ‫|| |‬ ‫||‬ ‫|‬ ‫‖ ‖‬ ‫‖ ‖‬

‫|‬ ‫|‬ ‫| ‪√ ‖ ‖,‬‬ ‫|‬ ‫| |‪‖ ‖ ,‬‬ ‫حٌث ‖ ‖‬

‫‖ ‖‬ ‫̇ من أجل‬
‫√‬

‫‪.‬‬
‫√‬

‫‪28‬‬
 ‫‪2-2‬دراسة االستقرار األسي لحل جملة معادالت تفاضلية بمعامالت متغيرة‬
‫لندرس استقرار حل جملة المعادالت من الشكل‪:‬‬
‫̇‬

‫‪1-2-2‬مبرهنة‪:‬‬
‫الشرطان التالٌان متكافئان‪:‬‬ ‫من أجل كل‬
‫مستقرة أسٌا‪.‬‬ ‫الجملة‬ ‫‪.i‬‬
‫متراجحة لٌبانوف‬ ‫‪.ii‬‬
‫̇‬

‫‪ ,‬حٌث‪:‬‬ ‫من أجل كل‬ ‫لها حل‬

‫{‬ ‫(‬ ‫)‬ ‫}‬
‫اإلثبات‪:‬‬
‫‪,‬‬ ‫من أجل‬
‫نعرف تابع المصفوفة المتناظرة‪:‬‬

‫∫‬

‫ألن‪:‬‬ ‫الشرط )‪ (i‬محقق أي إن‬

‫‖‬ ‫‖‬
‫مصفوفة تحوٌل الجملة ‪,‬إن‬ ‫حٌث‬

‫‖‬ ‫‖‬ ‫‖ ‖ ‖∫‬ ‫‖‬ ‫∫‬

‫و بمالحظة أن‪:‬‬ ‫فً‬ ‫باستبدال‬ ‫حٌث ‖ ‖‬

‫نحصل على‬

‫∫‬

‫باشتقاق الطرفٌن بالنسبة ل وباستخدام المساوٌتٌن‪:‬‬

‫‪27‬‬
 ‫̇‬ ‫̇ ‪,‬‬
‫نحصل على‪:‬‬
‫̇‬

‫∫[‬ ‫]‬

‫نحصل على‪:‬‬ ‫→‬ ‫إن‬

‫∫[‬ ‫]‬

‫̇‬

‫لها حل‪.‬‬ ‫وهذا ٌعنً أن‬

‫بحٌث‪:‬‬ ‫ٌوجد‬ ‫نفرض أنه من أجل‬
‫̇‬

‫لنفرض تابع لٌبانوف من أجل الجملة )‪ (2.2.1‬بالشكل ‪:‬‬

‫‖ ‖‬
‫لٌكن‪:‬‬
‫‖‬ ‫‖‬
‫‖ ‖‬ ‫‖ ‖‬
‫نشتق تابع لٌبانوف‪:‬‬
‫̇‬ ‫̇ (‬ ‫)‬ ‫(‬ ‫̇‬ ‫)‬ ‫̇‬
‫̇ (‬ ‫)‬ ‫̇‬

‫̇ [(‬ ‫]‬ ‫)‬

‫]‬

‫[(‬ ‫(‬ ‫])‬ ‫)‬ ‫‖ ‖‬

‫موجبة تحٌدا وبانتظام‬ ‫(‬ ‫‪ ε‬وذلك ألن )‬ ‫من أجل‬

‫ومن أجل‪:‬‬
‫‖ ‖‬

‫‪28‬‬
 ‫ٌكون‪:‬‬

‫̇‬

‫(‬ ‫)‬ ‫‪ϵ‬‬

‫لكن لدٌنا ‪:‬‬

‫‖ ‖‬ ‫(‬ ‫)‬ ‫‖‬ ‫‖‬

‫‖ ‖‬ ‫√‬ ‫‖‬ ‫‖‬

‫وهو المطلوب‪.‬‬
‫‪2-2-2‬مثال‪:‬‬
‫لٌكن‪:‬‬
‫̇‬

‫̇‬ ‫‪( os‬‬ ‫)‬ ‫‪sin‬‬

‫̇‬ ‫‪sin‬‬ ‫‪os‬‬

‫‪( os‬‬ ‫)‬ ‫‪sin‬‬

‫(‬ ‫‪,‬‬
‫‪sin‬‬ ‫‪os‬‬

‫ألن‪:‬‬ ‫إن‬ ‫بأخذ‬

‫‪( os‬‬ ‫*‬

‫‪os‬‬
‫̇ نجد‪:‬‬ ‫عندئذ بحل جملة المعادالت‬

‫(‬ ‫*‬

‫فالجملة مستقرة أسٌا‪.‬‬

‫‪31‬‬
 ‫‪ 3-2‬دراسة استقرار حل جملة معادالت تفاضلية التوقفية ذات تأخير من الدرجة األولى‪:‬‬
‫فً هذه الطرٌقة نوجد دالة لٌبانوف من أجل جملة معادالت تفاضلٌة من دون تأخٌر و نعتمد‬
‫على مصفوفة دالة لٌبانوف السابقة فً تقدٌر حل جملة المعادالت التفاضلٌة الخطٌة مع تأخٌر‬
‫زمنً‪:‬‬
‫دراسة استقرار حل جملة معادالت تفاضلٌة من الشكل‪:‬‬
‫̇‬

‫سندرس أوال استقرار حل جملة المعادالت التفاضلٌة ‪:‬‬

‫̇‬

‫سنبحث عن دالة لٌبانوف وفق الصٌغة التربٌعٌة األتٌة ‪[18]:‬‬

‫نشتق بالنسبة لـ ‪:‬‬

‫[‬ ‫]‬

‫بفرض أن‪:‬‬

‫ٌعطى بالعالقة ‪:‬‬ ‫حٌث ‪t‬‬

‫‪.‬‬ ‫مصفوفة من البعد ‪ٌ n n‬مكن تعٌنها باالعتماد على ‪t‬‬ ‫و ‪t‬‬

‫من العالقتٌن)‪ (2.3.3‬و)‪ (2.3.4‬نجد أن ‪:‬‬

‫‪0‬‬ ‫‪1‬‬

‫‪31‬‬
‫∫‬ ‫∫‬
‫‪,‬‬ ‫نضرب الطرفٌن أوال من الٌمٌن و الٌسار بـ‬ ‫للحصول على ‪t‬‬
‫على الترتٌب ‪:‬‬

‫∫‬ ‫∫‬ ‫∫‬ ‫∫‬

‫∫‬ ‫∫‬ ‫∫‬ ‫∫‬

‫∫‬ ‫∫‬ ‫∫‬ ‫∫‬

‫(‬ ‫)‬

‫الى ‪:‬‬ ‫نكامل الطرفٌن من‬

‫∫‬ ‫∫‬ ‫∫‬ ‫∫‬

‫∫‬

‫∫‬ ‫∫‬ ‫∫‬ ‫∫‬

‫∫‪6‬‬ ‫‪7‬‬

‫∫‬ ‫∫‬
‫∫‬

‫𝛾 بحٌث تحقق ‪:‬‬ ‫دوال موجبة تماما ٌوجد قٌمة مثل‬ ‫و ‪t‬‬ ‫بما أن كال من ‪t‬‬
‫𝛾‬

‫𝛾‬

‫𝛾‬

‫𝛾‬

‫لكن‬
‫‖‬ ‫‖‬

‫‪32‬‬
 ‫‖‬ ‫‖‬

‫‖‬ ‫‖‬

‫و لدٌنا ‪:‬‬
‫‖‬ ‫‖‬
‫‖‬ ‫‖‬

‫‖‬ ‫‖‬ ‫‖‬ ‫‖‬

‫‖‬ ‫‖‬ ‫‖‬ ‫‖‬

‫بذلك فإن المتراجحة األخٌرة تعطٌنا الشرط الالزم من أجل استقرار حل الجملة‬
‫‖ ‪lim‬‬ ‫‖‬

‫و هً الشروط الواجب تحققها من أجل استقرار حل الجملة )‪. (2.3.2‬‬

‫مبرهنة)‪:(2.3.1‬‬
‫إذا كان الحل الصفري للجملة )‪ (2.3.2‬مستقرا استقرارا مقاربا ‪ ,‬عندئذ ٌكون الحل الصفري‬
‫للجملة)‪ (2.3.1‬مستقرا إذا تحقق الشرط التالً ‪:‬‬

‫‖‬ ‫‖‬ ‫√(‬ ‫)‬ ‫(∫‬ ‫)‖ ̇ ‖‬

‫اإلثبات ‪:‬‬
‫لنأخذ دالة لٌابونوف التربٌعٌة‬

‫مصفوفة موجودة و محدودة تعطى بالعالقة )‪ , (2.3.6‬بالتالً دالة‬ ‫و‬ ‫حٌث‬

‫لٌابونوف موجودة ومحدودة ‪.‬‬
‫دالة موجبة فإنها تحقق المتراجحة ‪:‬‬ ‫وبما أن‬
‫‖ ‖‬ ‫‖ ‖‬

‫‪33‬‬
 ‫‪.‬‬ ‫القٌمة الذاتٌة الصغرى ‪ ,‬القٌمة الذاتٌة العظمى للمصفوفة‬ ‫حٌث‬
‫باالعتماد على)‪ (2.3.1‬نجد أن ‪:‬‬ ‫نشتق الدالة‬

‫و بمكاملة المعادلة األخٌرة من وحتى ‪:‬‬

‫(∫‬ ‫̇‬

‫)‬
‫بأخذ النظٌم للحدود التً تقع داخل التكامل و باالعتماد على شرط لٌبشتز نجد ‪:‬‬
‫‖‬ ‫̇‬ ‫‖‬

‫‖‖ ‖‬ ‫‖‖‬ ‫‖‬ ‫‖ ‖‖ ̇ ‖‬

‫{∫‬ ‫‖‖ ‖‬ ‫‖‖‬ ‫‖‬ ‫} ‖ ‖‖ ̇ ‖‬

‫من العالقة)‪ٌ (2.3.8‬كون لدٌنا ‪:‬‬

‫‪∫,‬‬ ‫√‬ ‫‪‖ ̇ ‖‖ ‖-‬‬

‫‖ ‖‬
‫لنأخذ النظٌم غٌر المتناقص بالنسبة لـ من الشكل ‪:‬‬
‫‖‬ ‫‖‬ ‫‖ ‪sup‬‬ ‫‖‬

‫عندئذ نحصل على العالقة اآلتٌة ‪:‬‬

‫‖‬ ‫‖‬ ‫(‬ ‫)‬ ‫(∫‬ ‫‖)‖ ̇ ‖‬ ‫‖‬

‫حٌث‬
‫‖ ‪sup‬‬ ‫‖‬

‫حسب مبرهنة جرنول بٌلمان ٌكون ‪:‬‬

‫‪34‬‬
 ‫‖‬ ‫‖‬ ‫(‬ ‫)‬ ‫(∫‬ ‫)‖ ̇ ‖‬

‫من العالقة)‪ (2.3.8‬نستنتج ‪:‬‬

‫‖‬ ‫‖‬ ‫(‬ ‫)‬ ‫(∫‬ ‫)‖ ̇ ‖‬

‫‖‬ ‫‖‬ ‫√(‬ ‫)‬ ‫(∫‬ ‫)‖ ̇ ‖‬

‫أي ٌجب تحقق الشرط‪:‬‬

‫(∫‬ ‫)‖ ̇ ‖‬

‫طريقة ثانية لدراسة استقرار حل جملة المعادالت التفاضلية‪:‬‬

‫̇‬

‫لنعرف تابع لٌبانوف التربٌعً من الشكل‪:‬‬

‫بحٌث ٌحقق‪:‬‬

‫‖ ‖‬ ‫‖ ‖‬

‫نشتق تابع لٌبانوف‬

‫̇‬ ‫̇‬ ‫̇‬

‫‪t‬‬

‫‪t‬‬ ‫‪t‬‬
‫‪t‬‬
‫̇‬

‫بالمكاملة وبأخذ النظٌم داخل التكامل‬

‫‪35‬‬
 ‫‖ {∫‬ ‫‖‖‬ ‫‖‖‬ ‫‖ ‖‖‬ ‫}‖ ̇ ‖ ‖ ‖‬

‫‖ ‖‬ ‫‖‬ ‫‖‬ ‫{∫‬ ‫‖‬ ‫‖‖‬ ‫‖ ‖‖‬ ‫}‖ ̇ ‖ ‖ ‖‬

‫‖ ‖‬ ‫‖‬ ‫‖‬ ‫{∫‬ ‫‖‬ ‫‖‖‬ ‫‖ ‖‖‬ ‫}‖ ̇ ‖ ‖ ‖‬

‫نفرض أن‬
‫̇ ‖‬ ‫‖‬
‫∫‬
‫‖ ‖‬ ‫‪t‬‬

‫̇ ‖∫‬ ‫‖‬

‫‖ ‖‬

‫̇ ‖‬ ‫‖‬ ‫̇ ‖‬ ‫‖‬
‫∫‬ ‫∫‬
‫‪∫2‬‬ ‫‖‬ ‫‖‬

‫̇ ‖ ∫‬ ‫‖‬
‫‖̇ ‖‬ ‫‪3‬‬

‫نشتق الطرفٌن بالنسبة ل ‪:‬‬

‫̇ ‖∫‬ ‫‖‬ ‫‖∫‬ ‫‖ ̇‬

‫̇ ‖‬ ‫‖‬
‫̇ ‖‬ ‫‖‬ ‫̇ ‖‬ ‫‖‬
‫∫‬ ‫∫‬
‫‖‬ ‫‖‬

‫̇ ‖∫‬ ‫‖‬
‫‖̇ ‖‬

‫̇ ‖∫‬ ‫‖‬

‫̇ ‖‬ ‫‖‬ ‫̇ ‖‬ ‫‖‬
‫∫‬ ‫∫‬
‫‖‬ ‫‖‬

‫̇ ‖‬ ‫‖‬ ‫̇ ‖‬ ‫‖‬
‫∫‬ ‫∫‬
‫‖‬ ‫‖‬

‫‪36‬‬
 ‫̇ ‖‬ ‫‖‬
‫∫‬
‫‖‬ ‫‖‬

‫وحتى ‪:‬‬ ‫بالمكاملة من‬

‫̇ ‖‬ ‫‖‬
‫∫‬
‫∫‬ ‫‖‬ ‫‖‬

‫بأخذ النظٌم غٌر المتناقص‪:‬‬

‫‖ ‖‬ ‫| ‪| s‬‬ ‫| ‪| s‬‬ ‫| ‪| s‬‬

‫| ‪| s‬‬

‫̇ ‖‬ ‫‖‬
‫∫‬
‫‖ ‖‬ ‫‖ ‖ ‖ ∫‬ ‫‖‬

‫بتطبٌق مبرهنة جرنول بٌلمان‪:‬‬

‫̇ ‖‬ ‫‖‬
‫∫‬
‫‖ ‖‬ ‫‖ ∫‬ ‫‖‬

‫̇ ‖‬ ‫‖‬
‫̇ ‖∫‬ ‫‖‬ ‫∫‬
‫‖‬ ‫‖‬ ‫‖ ∫‬ ‫‖‬

‫̇ ‖‬ ‫‖‬
‫‖‬ ‫‖‬ ‫‖ ‪∫2‬‬ ‫‖‬ ‫∫‬
‫̇ ‖‬ ‫‪‖3‬‬

‫حتى تكون الجملة مستقرة استقرارا مقاربا ٌكفً تحقق الشرط‪:‬‬

‫̇ ‖‬ ‫‖‬
‫‖ ‪∫2‬‬ ‫‖‬ ‫∫‬
‫̇ ‖‬ ‫‪‖3‬‬

‫وهذا ما ٌمٌزه‬ ‫وبذلك نالحظ أن شرط االستقرار ٌتعلق بالتأخر وب المصفوفتٌن‬

‫‪.‬‬ ‫عن الطرٌقة األولى لالستقرار والذي لم ٌكن واضحا فً شرط االستقرار و‬

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

‫دراسة استقرار حل جملة معادالت تفاضلية خطية بمعامالت متغيرة ذات تأخير‬
‫زمني‬

‫‪1-3‬دراسة استقرار حل جملة معادالت من الشكل‬

‫‪.‬‬ ‫لندرس استقرار حل الجملة بدون تأخٌر زمنً عندما‬

‫عندئذ تصبح الجملة من الشكل‪:‬‬

‫سندرس أوال استقرار حل جملة المعادالت التفاضلٌة ‪:‬‬

‫̇‬

‫سنبحث عن دالة لٌابونوف وفق الصٌغة التربٌعٌة األتٌة ‪:‬‬

‫لنشتق بالنسبة لـ فنجد ‪:‬‬

‫[‬ ‫]‬

‫بفرض أن‬

‫ٌعطى بالعالقة ‪:‬‬ ‫حٌث ‪t‬‬

‫‪.‬‬ ‫مصفوفة من البعد ‪ٌ n n‬مكن تعٌنها باالعتماد على ‪t‬‬ ‫و ‪t‬‬

‫من العالقتٌن)‪ (3.1.2)(3.1.4‬نجد أن ‪:‬‬

‫[‬ ‫]‬

‫‪37‬‬
‫∫‬ ‫∫‬
‫‪,‬‬ ‫نضرب الطرفٌن أوال من الٌمٌن و الٌسار بـ‬ ‫للحصول على ‪t‬‬
‫على الترتٌب ‪:‬‬

‫∫‬ ‫∫‬ ‫∫‬ ‫∫‬

‫∫‬ ‫∫‬ ‫∫‬ ‫∫‬

‫∫‬ ‫∫‬ ‫∫‬ ‫∫‬

‫(‬ ‫)‬

‫نكامل الطرفٌن من الى ‪:‬‬

‫∫‬ ‫∫‬ ‫∫‬ ‫∫‬

‫∫‬

‫∫‬ ‫∫‬ ‫∫‬ ‫∫‬

‫∫‪0‬‬ ‫‪1‬‬

‫∫‬ ‫∫‬
‫∫‬

‫𝛾 بحٌث تحقق ‪:‬‬ ‫دوال موجبة تماما ٌوجد قٌمة مثل‬ ‫و ‪t‬‬ ‫بما أن كال من ‪t‬‬
‫𝛾‬

‫𝛾‬

‫𝛾‬

‫𝛾‬

‫لكن‬
‫‖‬ ‫‖‬

‫‪38‬‬
 ‫‖‬ ‫‖‬

‫‖‬ ‫‖‬

‫و لدٌنا ‪:‬‬
‫‖‬ ‫‖‬
‫‖‬ ‫‖‬

‫‖‬ ‫‖‬ ‫‖‬ ‫‖‬

‫‖‬ ‫‖‬ ‫‖‬ ‫‖‬

‫لذلك فإن المتراجحة األخٌرة تعطٌنا الشرط الالزم من أجل استقرار حل الجملة‬
‫‖ ‪lim‬‬ ‫‖‬

‫و هً الشروط الواجب تحققها من أجل استقرار حل الجملة )‪.(3.1.1‬‬

‫لندرس استقرار حل جملة المعادالت‪:‬‬

‫قمنا بعرض ثالث طرائق لدراسة استقرار حل الجملة السابقة‬

‫الطريقة أولى‪:‬‬

‫نجري تغٌٌرا من الشكل‬

‫∫‬

‫نشتق بالنسبة ل ‪:‬‬

‫∫‬ ‫∫‬

‫نعوض العالقة السابقة فً المعادلة‪:‬‬

‫‪41‬‬
 ‫فنحصل على ‪:‬‬

‫∫‬ ‫∫‬

‫∫‬ ‫∫‬

‫∫‬ ‫∫‬

‫∫‬

‫نكامل الطرفٌن من الى ‪:‬‬

‫∫‬
‫∫‬

‫وحسب عالقة النظٌم غٌر المتناقص‪:‬‬

‫‖ ‖‬ ‫| ‪| s‬‬ ‫| ‪| s‬‬ ‫| ‪| s‬‬

‫| ‪| s‬‬

‫ٌكون‪:‬‬

‫∫‬ ‫‖‬ ‫‖‬

‫‖‬ ‫‖‬ ‫‖∫‬ ‫‖‬ ‫‖‬ ‫‖‬

‫وحسب مبرهنة جرنول بٌلمان‪:‬‬

‫∫‬ ‫‖‬ ‫‖‬

‫‖‬ ‫‖‬ ‫‖∫‪8‬‬ ‫‖‬ ‫‪9‬‬

‫ومنه نجد‬

‫∫‬ ‫‖‬ ‫‖‬

‫‖‬ ‫‖‬ ‫‖∫‪8‬‬ ‫‖‬ ‫‪9‬‬

‫‪41‬‬
 ‫∫‬ ‫‖‬ ‫‖‬
‫‖∫‬ ‫‖‬

‫طريقة ثانية لدراسة استقرار حل جملة المعادالت‪:‬‬

‫نجري تغٌٌرا من الشكل‬

‫∫‬

‫نشتق بالنسبة لـ ‪:‬‬

‫∫‬ ‫∫‬

‫نعوض فً الجملة السابقة‪:‬‬

‫∫‬ ‫∫‬

‫∫‬ ‫∫‬

‫∫‬ ‫∫‬

‫∫‬ ‫∫‬

‫∫‬

‫لنأخذ دالة لٌبانوف التربٌعٌة‬

‫‖ ‖‬ ‫‖ ‖‬ ‫لدٌنا‬

‫نشتق فنجد‪:‬‬

‫∫‬

‫‪42‬‬
 ‫̇‬ ‫∫‬

‫نكامل‬

‫∫‬
‫∫‬

‫̇‬
‫‪s ̇ s‬‬ ‫‪s‬‬ ‫‪s‬‬ ‫‪s‬‬ ‫‪s‬‬ ‫∫‬

‫نجد‪:‬‬ ‫‖‬ ‫‖‬ ‫‪t‬‬ ‫‖‬ ‫باالستفادة من المتراجحات ‖‬

‫∫‬
‫√∫‬ ‫√‬

‫√‬ ‫√ ‪s ̇ s‬‬ ‫‪s‬‬ ‫√‬ ‫‪s‬‬ ‫‪s‬‬ ‫‪s‬‬ ‫∫‬ ‫√‬

‫بأخذ النظٌم غٌر المتناقص حٌث‬

‫‖ ‖‬ ‫|‬ ‫| ‪s‬‬ ‫|‬ ‫| ‪s‬‬ ‫|‬ ‫| ‪s‬‬

‫|‬ ‫| ‪s‬‬

‫نجد‪:‬‬

‫‖ ‖‬ ‫‖ ‖∫‬ ‫‖ ∫‬ ‫‖‬ ‫‖‬ ‫‖‖‬ ‫‖‬

‫̇ ‖ ‖ ‖‬ ‫‖‬ ‫‖ ‖ ‖‬ ‫‖‖‬ ‫‖‬ ‫‖ ∫‬ ‫‖‬

‫‖ ‖‬ ‫(‬ ‫)‬ ‫‖ ∫‬ ‫‖‖‬ ‫‖‬ ‫‖ ∫‬ ‫‖‬

‫̇ ‖‬ ‫‖ ‖‖‬

‫بتطبٌق نظرٌة جرنول بٌلمان‬

‫‪43‬‬
‫‖ ‖‬ ‫(‬ ‫)‬ ‫‖ ∫‬ ‫‖‖‬ ‫‖‬ ‫‖ ∫‬ ‫‖‬

‫̇ ‖‬ ‫‖‬

‫‖‬ ‫‖‬ ‫باالستفادة من المتراجحات ومن أن‬

‫‖‬ ‫‖‬ ‫‪t‬‬ ‫‖‬ ‫‖‬

‫‖ ‖‬ ‫‖‬ ‫‖‬ ‫∫‬ ‫‖‬ ‫‖‬ ‫‖ ∫‬ ‫‖‬

‫̇ ‖‬ ‫‖‬

‫‖ ‖‬ ‫‖‬ ‫‖‬ ‫∫‬ ‫‖‬ ‫‖‬ ‫‖ ∫‬ ‫‖‬

‫̇ ‖‬ ‫‖‬

‫وهو شرط اإلستقرار‪.‬‬

‫طريقة ثالثة‪:‬‬

‫نجري تغٌٌرا من الشكل‪:‬‬

‫∫‬

‫نشتق بالنسبة ل ‪:‬‬

‫∫‬ ‫∫‬

‫نعوض فً المعادلة السابقة‬

‫∫‬ ‫∫‬

‫∫‬ ‫∫‬

‫∫‬ ‫∫‬

‫‪44‬‬
 ‫∫‬

‫لنعرف تابع لٌبانوف التربٌعً من الشكل‪:‬‬

‫بحٌث ٌحقق‬

‫‖ ‖‬ ‫‖ ‖‬

‫نشتق تابع لٌبانوف‬

‫̇‬ ‫̇‬ ‫̇‬

‫‪t‬‬

‫∫‬
‫‪t‬‬
‫∫‬ ‫̇‬

‫بالمكاملة وبأخذ النظٌم داخل التكامل‬

‫∫‬ ‫‖ ‖‬
‫‖ ‪∫,‬‬ ‫‖‬ ‫‖‬ ‫‖‖‬ ‫‖‖‬ ‫‖‬

‫‪‖ ‖ ‖ ̇ ‖-‬‬

‫‖ ‖‬ ‫‖ ‖‬

‫∫‬ ‫‖ ‖‬
‫‪∫,‬‬ ‫‖‬ ‫‖‬ ‫‖‬ ‫‖ ‖‖‬

‫‪‖ ‖ ‖ ̇ ‖-‬‬

‫‖ ‖‬ ‫‖ ‖‬

‫∫‬ ‫‖ ‖‬
‫{∫‬ ‫‖‬ ‫‖‬ ‫‖‬ ‫‖ ‖‖‬

‫}‖ ̇ ‖ ‖ ‖‬

‫‪45‬‬
 ‫نفرض أن‬
‫̇ ‖‬ ‫‖‬
‫∫‬
‫‖ ‖‬ ‫‪t‬‬

‫̇ ‖∫‬ ‫‖‬

‫̇ ‖‬ ‫‖‬ ‫̇ ‖‬ ‫‖‬
‫∫‬ ‫‖ ‖‬ ‫∫‬ ‫∫‬
‫‪∫2‬‬ ‫‖‬ ‫‖‬

‫̇ ‖ ∫‬ ‫‖‬
‫‖̇ ‖‬ ‫‪3‬‬

‫نشتق الطرفٌن بالنسبة لـ‬

‫̇ ‖∫‬ ‫‖‬ ‫‖∫‬ ‫‖ ̇‬

‫̇ ‖‬ ‫‖‬

‫̇ ‖‬ ‫‖‬ ‫̇ ‖‬ ‫‖‬
‫∫‬ ‫‖ ‖‬ ‫∫‬ ‫∫‬
‫‖‬ ‫‖‬
‫̇ ‖∫‬ ‫‖‬
‫‖̇ ‖‬

‫̇ ‖∫‬ ‫‖‬

‫̇ ‖‬ ‫‖‬ ‫̇ ‖‬ ‫‖‬
‫∫‬ ‫‖‬ ‫‖‬ ‫∫‬ ‫∫‬
‫‖‬ ‫‖‬

‫̇ ‖‬ ‫‖‬ ‫̇ ‖‬ ‫‖‬
‫∫‬ ‫‖‬ ‫‖‬ ‫∫‬ ‫∫‬
‫‖‬ ‫‖‬

‫̇ ‖‬ ‫‖‬
‫∫‬ ‫‖‬ ‫‖‬ ‫∫‬
‫‖‬ ‫‖‬

‫الى ‪:‬‬ ‫نكامل من‬

‫̇ ‖‬ ‫‖‬
‫∫‬ ‫‖‬ ‫‖‬ ‫∫‬
‫∫‬ ‫‖‬ ‫‖‬

‫بأخذ النظٌم غٌر المتناقص‬

‫‪46‬‬
 ‫‖ ‖‬ ‫| ‪| s‬‬ ‫| ‪| s‬‬ ‫| ‪| s‬‬

‫| ‪| s‬‬

‫ٌكون لدٌنا‪:‬‬
‫̇ ‖‬ ‫‖‬
‫∫‬ ‫‪2‬‬ ‫‖‬ ‫‪‖3‬‬
‫‖ ‖‬ ‫‖ ‖ ‖ ∫‬ ‫‖‬

‫بتطبٌق مبرهنة جرنول بٌلمان‪:‬‬

‫̇ ‖‬ ‫‖‬
‫∫‬ ‫‪2‬‬ ‫‖‬ ‫‪‖3‬‬
‫‖ ‖‬ ‫‖ ∫‬ ‫‖‬

‫̇ ‖‬ ‫‖‬
‫∫‬ ‫‪2‬‬ ‫‖‬ ‫‪‖3‬‬
‫̇ ‖∫‬ ‫‖‬
‫‖ ‖‬ ‫‖ ∫‬ ‫‖‬

‫̇ ‖‬ ‫‖‬
‫∫‬ ‫‪2‬‬ ‫‖‬ ‫‪‖3‬‬ ‫̇ ‖‬ ‫‖‬
‫‖ ‖‬ ‫‖ {∫‬ ‫‖‬ ‫}‬

‫̇ ‖‬ ‫‖‬
‫∫‬ ‫‪2‬‬ ‫‖‬ ‫‪‖3‬‬ ‫̇ ‖‬ ‫‖‬
‫‖ ‖‬ ‫‖ {∫‬ ‫‖‬

‫}‬

‫حتى تكون الجملة مستقرة استقرارا مقاربا ٌكفً تحقق الشرط‪:‬‬

‫∫‬
‫̇ ‖‬ ‫‖‬ ‫̇ ‖‬ ‫‖‬
‫‖ ‪∫2‬‬ ‫‖‬ ‫‖‬ ‫‪‖3‬‬

‫‪48‬‬
‫‪ 2-3‬دراسة استقرار حل معادلة تفاضلية ال توقفية بمعامالت متغيرة باستخدام تاب ليبانوف‬

‫سندرس استقرار حل المعادلة التفاضلٌة اآلتٌة‪:‬‬

‫́‬

‫من أجل سهولة الدراسة نعٌد كتابة المعادلة السابقة بالشكل‪:‬‬

‫́‬ ‫∫ ‪. ⁄ /‬‬

‫‪ 1-2-3‬مبرهنة‪:‬‬

‫‪ δ‬بحٌث‪:‬‬ ‫إذا وجد‬

‫‪δ‬‬

‫‪ ϵ‬بحٌث‪:‬‬ ‫لٌكن‬

‫∫‬

‫𝛾 حٌث‪:‬‬ ‫إذا وجد‬

‫𝛾‬ ‫]‬ ‫) (‬

‫عندئذ ٌكون الحل الصفري للمعادلة )‪ (3.2.1‬مستقرا استقرارا مقاربا‪.‬‬

‫اإلثبات‪:‬‬

‫من )‪ (3.2.2‬لدٌنا‬

‫‪4‬‬ ‫∫‬ ‫‪5‬‬

‫لنحدد تابع لٌبانوف األول‬

‫‪t‬‬ ‫‪4‬‬ ‫∫‬ ‫‪5‬‬ ‫∫ ∫‬

‫‪47‬‬
 ‫نشتق بالنسبة ل‬

‫‪̀ t‬‬ ‫‪4‬‬ ‫∫‬ ‫‪5‬‬

‫∫‬ ‫∫‬

‫∫‬ ‫∫‬

‫∫‬

‫‪6‬‬ ‫∫‬ ‫‪7‬‬

‫‪6‬‬ ‫∫‬ ‫‪7x‬‬

‫‪x‬‬

‫‪x‬‬

‫‪:‬‬ ‫‪t‬‬ ‫لنوجد التابع‬

‫‪t‬‬ ‫‪6‬‬ ‫∫‬ ‫‪7‬‬

‫نشتق بالنسبة ل ‪:‬‬

‫‪̀ t‬‬ ‫𝛾‬ ‫]‬

‫𝛾‬ ‫]‬

‫]‬

‫‪48‬‬
 ‫لنحدد تابع لٌبانوف‬

‫‪t‬‬ ‫‪t‬‬ ‫‪t‬‬

‫عندئذ نحصل على‬

‫‪̀ t‬‬

‫عندئذ ٌكون الحل الصفري مستقرا استقرارا مقاربا وبشكل منتظم‪.‬‬

‫‪2-2-3‬مثال‬

‫ادرس استقرار حل المعادلة‬

‫́‬

‫حٌث‬

‫‪sin‬‬

‫‪ ϵ‬حٌث‬ ‫تتحقق المبرهنة(‪ )1-2-3‬إذا وجد‬

‫(‬ ‫) ‪sin‬‬

‫‪ .‬لتحقق )‪ (3.2.4‬لدٌنا‬ ‫اإلثبات‪ :‬نالحظ أن العالقة )‪ (3.2.3‬محققة من أجل‬

‫‪sin‬‬ ‫∫‬ ‫‪sin‬‬

‫‪sin‬‬ ‫(‬ ‫) ‪sin‬‬

‫(‬ ‫) ‪sin‬‬

‫‪ sin‬عندئذ ٌتحقق االستقرار المقارب إذا تحقق‪:‬‬ ‫بتقدٌر آخر وبجعل‬

‫أو تحقق‬

‫‪51‬‬
 ‫‪ 3-3‬دراسة استقرار حل جملة معادالت تفاضلية بمعامالت متغيرة بعدة تأخيرات زمنية‬

‫دراسة استقرار حل جملة معادالت تفاضلية من الشكل‬

‫∑‬

‫لندرس استقرار حل جملة المعادالت السابقة بدون تأخر زمنً‬

‫∑‬

‫{‬ ‫∑‬ ‫}‬ ‫‪t‬‬ ‫‪t‬‬

‫لندرس استقرار حل جملة المعادالت مع تأخر زمنً من الشكل باستخدام مبدأ لٌبانوف الثانً‬

‫∑‬

‫والتً تحقق المتراجحات‪:‬‬ ‫لنأخذ دالة لٌبانوف التربٌعٌة‬

‫‖ ‖‬ ‫‖ ‖‬

‫على الترتٌب‬ ‫القٌم الذاتٌة الصغرى والكبرى للمصفوفة‬ ‫و‬ ‫حٌث‬

‫نشتق تابع لٌبانوف‬

‫̇‬ ‫‪t‬‬
‫‪t‬‬

‫∑‬
‫‪t‬‬

‫̇‬ ‫̇‬ ‫∑‬

‫الى ‪:‬‬ ‫وبالمكاملة من‬

‫∫‬

‫‪51‬‬
 ‫∑‬

‫̇‬ ‫̇‬

‫∑‬ ‫}‬

‫بتطبٌق شرط لبٌتشز على المعادلة السابقة‪:‬‬

‫‖‬ ‫‖‬ ‫‖‬ ‫‖‬

‫{∫‬ ‫‖‬ ‫‖‖‬ ‫‖‬ ‫̇ ‖‬ ‫‖‖‬ ‫‖‬

‫‖‬ ‫‖‖‬ ‫‖‖‬ ‫}‖‬

‫لدٌنا‪:‬‬

‫‖ ‖‬ ‫‖ ‖‬

‫‖‬ ‫‖‬ ‫‖‬ ‫‖‬

‫‪∫,‬‬ ‫‖‬ ‫‖‬ ‫̇ ‖‬ ‫‖‬

‫‖‬ ‫√‖‬ ‫‪-‬‬

‫بأخذ النظٌم غٌر المتناقص‬

‫‖ ‖‬ ‫|‬ ‫| ‪s‬‬ ‫|‬ ‫| ‪s‬‬ ‫|‬ ‫| ‪s‬‬

‫|‬ ‫| ‪s‬‬

‫‖ ‖‬ ‫(‬ ‫)‬

‫{∫‬ ‫‖ ‪s ‖ s‬‬ ‫‖ ‪‖ ̇ s‬‬ ‫‖ ‖ }‖ ‪s ‖ s‬‬

‫‪52‬‬
 ‫حسب مبرهنة جرنول بٌلمان ٌكون‪:‬‬

‫‖ ‖‬ ‫(‬ ‫‪) xp‬‬ ‫{∫‬ ‫‖ ‪s ‖ s‬‬ ‫‖ ‪‖ ̇ s‬‬

‫}‖ ‪s ‖ s‬‬

‫‖ ‖‬ ‫(‬ ‫‪) xp‬‬ ‫{∫‬ ‫‪s‬‬ ‫}‖ ‪‖ ̇ s‬‬

‫‖ ‪‖ s‬‬ ‫‪,‬‬ ‫‪s‬‬ ‫‪s‬‬ ‫حٌث ‪s‬‬

‫وباالستفادة من المتراجحات ‪:‬‬

‫‖ ‖‬ ‫‖ ‖‬

‫‖ ‖‬ ‫‖‬ ‫‖‬ ‫‪xp‬‬ ‫{∫‬ ‫‪s‬‬ ‫}‖ ‪‖ ̇ s‬‬

‫وهو شرط االستقرار‪.‬‬

‫طريقة ثانية لدراسة استقرار حل الجملة ‪:‬‬

‫∑‬

‫نجري تغٌٌرا من الشكل‪:‬‬

‫∫‬

‫نشتق بالنسبة ل ‪:‬‬

‫∫‬ ‫∫‬

‫نعوض فً المعادلة السابقة‪:‬‬

‫∫‬ ‫∫‬
‫∑‬

‫∫‬ ‫∫‬

‫∫‬ ‫∫‬
‫∑‬

‫‪53‬‬
 ‫∫‬
‫∑‬

‫لنعرف تابع لٌبانوف التربٌعً من الشكل‪:‬‬

‫بحٌث ٌحقق‪:‬‬

‫‖ ‖‬ ‫‖ ‖‬

‫نشتق تابع لٌبانوف‬

‫‪̇ t‬‬ ‫‪t‬‬ ‫‪t‬‬ ‫̇‬ ‫̇‬

‫‪t‬‬

‫∫‬
‫∑‬ ‫‪t‬‬ ‫‪t‬‬
‫‪t‬‬

‫∫‬
‫∑‬

‫̇‬

‫بالمكاملة وبأخذ النظٌم داخل التكامل‬

‫∫‬ ‫‖‬ ‫‖‬

‫‖ {∫‬ ‫‖‖‬ ‫‖∑ ‖‬ ‫‖‬ ‫‖‬

‫‖‬ ‫‖‬ ‫̇ ‖ ‖‬ ‫}‖‬

‫‖ ‖‬ ‫‖ ‖‬

‫∫‬ ‫‖‬ ‫‖‬

‫{∫‬ ‫‖‬ ‫‖∑ ‖‬ ‫‖‬ ‫‖‬ ‫‖‬

‫}‖ ̇ ‖ ‖ ‖‬

‫‪54‬‬
‫‖ ‖‬ ‫‖ ‖‬

‫∫‬ ‫‖‬ ‫‖‬

‫{∫‬ ‫‖‬ ‫‖∑ ‖‬ ‫‖‬ ‫‖‬ ‫‖‬

‫}‖ ̇ ‖ ‖ ‖‬

‫نفرض أن‬
‫̇ ‖‬ ‫‖‬
‫∫‬
‫‖ ‖‬ ‫‪t‬‬

‫̇ ‖∫‬ ‫‖‬

‫̇ ‖‬ ‫‖‬ ‫̇ ‖‬ ‫‖‬
‫∫‬ ‫∫‬ ‫‖‬ ‫‖‬ ‫∫‬
‫{∫‬ ‫‪s‬‬ ‫‖∑‬ ‫‖‬ ‫‪s‬‬

‫̇ ‖ ∫‬ ‫‖‬
‫}‖ ̇ ‖‬

‫نشتق الطرفٌن بالنسبة ل‬

‫̇ ‖∫‬ ‫‖‬ ‫‖∫‬ ‫‖ ̇‬

‫̇ ‖‬ ‫‖‬
‫̇ ‖‬ ‫‖‬
‫∫‬
‫‪t‬‬

‫̇ ‖‬ ‫‖‬
‫∫‬ ‫‖‬ ‫‖‬ ‫∫‬
‫‖∑‬ ‫‖‬ ‫‪t‬‬

‫̇ ‖∫‬ ‫‖‬
‫‖̇ ‖‬

‫نجد‪:‬‬
‫̇ ‖‬ ‫‖‬
‫̇ ‖∫‬ ‫‖‬ ‫∫‬
‫‪t‬‬

‫̇ ‖‬ ‫‖‬
‫∫‬ ‫‖‬ ‫‖‬ ‫∫‬
‫‖∑‬ ‫‖‬ ‫‪t‬‬

‫‪55‬‬
 ‫̇ ‖‬ ‫‖‬ ‫̇ ‖‬ ‫‖‬
‫∫‬ ‫∫‬ ‫‖‬ ‫‖‬ ‫∫‬
‫‖∑‬ ‫‖‬ ‫‪t‬‬

‫̇ ‖‬ ‫‖‬
‫∫‬ ‫‖‬ ‫‖‬ ‫∫‬
‫‖∑‬ ‫‖‬ ‫‪t‬‬

‫̇ ‖‬ ‫‖‬
‫∫‬ ‫‖‬ ‫‖‬ ‫∫‬
‫‖∑ ∫‬ ‫‖‬ ‫‪s‬‬

‫بأخذ النظٌم غٌر المتناقص‬

‫‖ ‖‬ ‫| ‪| s‬‬ ‫| ‪| s‬‬ ‫| ‪| s‬‬

‫| ‪| s‬‬

‫̇ ‖‬ ‫‖‬
‫∫‬ ‫‪2‬‬ ‫‖‬ ‫‪‖3‬‬
‫‖ ‖‬ ‫‖∑ ‖ ‖ ∫‬ ‫‖‬

‫بتطبٌق مبرهنة جرنول بٌلمان‪:‬‬

‫̇ ‖‬ ‫‖‬
‫∫‬ ‫‪2‬‬ ‫‖‬ ‫‪‖3‬‬
‫‖ ‖‬ ‫‖∑ ∫‬ ‫‖‬

‫̇ ‖∫‬ ‫‖‬
‫‖ ‖‬
‫̇ ‖‬ ‫‖‬
‫∫‬ ‫‪2‬‬ ‫‖‬ ‫‪‖3‬‬
‫‖∑ ∫‬ ‫‖‬

‫̇ ‖‬ ‫‖‬
‫∫‬ ‫‪2‬‬ ‫‖‬ ‫‪‖3‬‬
‫‖ ‖‬ ‫‖∑ { ∫‬ ‫‖‬

‫̇ ‖‬ ‫‖‬
‫}‬

‫‪56‬‬
 ‫̇ ‖‬ ‫‖‬
‫∫‬ ‫‪2‬‬ ‫‖‬ ‫‪‖3‬‬ ‫̇ ‖‬ ‫‖‬
‫‖ ‖‬ ‫‖∑ { ∫‬ ‫‖‬

‫‖‬ ‫}‖‬

‫حتى تكون الجملة مستقرة استقرارا مقاربا ٌكفً تحقق الشرط‪:‬‬

‫̇ ‖‬ ‫‖‬
‫∫‬ ‫‪2‬‬ ‫‖‬ ‫‪‖3‬‬ ‫̇ ‖‬ ‫‖‬
‫‖∑ { ∫‬ ‫‖‬ ‫‖‬ ‫}‖‬

‫نالحظ فً هذه الطرٌقة أن شرط االستقرار ٌتعلق بالتأخر‬

‫كما ٌتعلق بالمصفوفات‬

‫تصبح الجملة من الشكل‪:‬‬ ‫مالحظة‪ :‬من أجل‬

‫وشرط استقرار الجملة ٌطابق شرط استقرارها فً الفقرة ‪:1-3‬‬

‫̇ ‖‬ ‫‖‬
‫∫‬ ‫‪2‬‬ ‫‖‬ ‫‪‖3‬‬ ‫̇ ‖‬ ‫‖‬
‫‖ ‖‬ ‫‖ {∫‬ ‫‖‬

‫‖‬ ‫}‖‬

‫‪58‬‬
 ‫الفصل الراب‬

‫دراسة استقرار حل معادالت تفاضلية التوقفية ذات تأخر زمني باستخدام نظرية‬
‫النقطة الثابتة‬

‫‪1-4‬دراسة استقرار حل معادلة تفاضلية التوقفية ذات تأخير زمني‪:‬‬

‫دالة محدودة ومستمرة ‪ ,‬ولٌكن ثابتا موجبا ‪ ,‬ولتكن‪:‬‬ ‫لٌكن‬

‫́‬ ‫‪t‬‬

‫دالة ابتدائٌة مستمرة‬ ‫]‬ ‫حٌث‬ ‫سنبحث عن الحل‬

‫ٌحقق المعادلة‬ ‫‪ٌ .‬وجد حل وحٌد مستمر‬ ‫على المجال]‬
‫‪.‬‬ ‫على المجال ]‬ ‫حٌث‬ ‫)‪ (4.1.1‬من أجل كل‬

‫ٌمكن كتابة المعادلة )‪(4.1.1‬بالشكل ‪:‬‬

‫́‬ ‫‪t‬‬ ‫‪⁄‬‬ ‫∫‬

‫نكامل بالتجزئة‪:‬‬

‫∫‬ ‫∫‬
‫∫‬

‫‪t‬‬

‫∫‬
‫∫‬ ‫∫‬ ‫∫‬

‫‪1-1-4‬مبرهنة‪:‬‬

‫مستقرا حسب لٌبانوف إذا تحقق الشرطان‪:‬‬ ‫ٌكون الحل الصفري للمعادلة‬

‫|‬ ‫|‬ ‫∫‬ ‫|‬

‫|∫‬ ‫|∫‬ ‫|∫‬ ‫‪α‬‬

‫‪57‬‬
 ‫∫‬

‫وذلك من أجل كل دالة ابتدائٌة مستمرة‪:‬‬

‫]‬

‫االثبات‪:‬‬

‫فضاء باناخ فضاء التوابع المستمرة والمحدودة‬ ‫لٌكن ‖ ‖‬

‫𝜙‬

‫فضاء المتري التام مع النظٌم األعظمً والمكون من‬ ‫مع النظٌم األعظمً‪ .‬لٌكن ‖ ‖‬
‫𝜙 عندما‬ ‫حٌث‬ ‫𝜙على المجال ]‬ ‫𝜙 بحٌث‬ ‫التوابع‬
‫‪.‬‬

‫بالعالقة‪:‬‬ ‫لنعرف‬

‫)𝜙 (‬ ‫]‬

‫∫‬
‫)𝜙 (‬ ‫∫‬ ‫𝜙‬

‫∫‬
‫∫‬

‫∫‬
‫∫‬ ‫∫‬ ‫𝜙‬

‫)𝜙 ( ومن العالقة )‪ٌ (4.1.4‬نتج أنه 𝜙 محدود و ضاغط‪.‬‬ ‫𝜙 مستمر‬

‫‪.‬لنرمز بالحد األعظمً ل |𝜙| ب ‖𝜙‖ و الحد‬ ‫𝜙 مثبتا ولٌكن‬ ‫لٌكن‬

‫‖𝜙‖و باالعتماد على العالقتٌن‬ ‫بالرمز‬ ‫األعظمً ل |𝜙| على المجال‬
‫)‪ٌ (4.1.4),(4.1.5‬كون الحد األخٌر من العالقة السابقة ٌسعى نحو الصفر‪:‬‬

‫‪58‬‬
 ‫|‬ ‫∫‬ ‫𝜙|‬
‫|∫‬ ‫|∫‬

‫|‬ ‫∫‬ ‫|‬ ‫∫‬

‫|∫‬ ‫|∫‬ ‫‖𝜙‖‬

‫|∫‬ ‫|‬ ‫∫‬

‫|∫‬ ‫|‬ ‫‖𝜙‖‬

‫‖𝜙‖ ‪α‬‬ ‫∫‬

‫‖ 𝜙‖ ‪α‬‬

‫‪ϵ‬‬
‫‖𝜙‖‪. α‬‬ ‫كبٌرة بقدر كاف‬ ‫‪ ϵ‬وبأخذ‬ ‫من أجل‬

‫‪ϵ‬‬
‫‖𝜙‖ ‪ α‬من أجل كل‬ ‫∫‬
‫كبٌرة بقدر كاف‬ ‫مثبتة ‪ ,‬نأخذ‬ ‫من أجل‬

‫‪.‬‬ ‫‪.‬عندئذ نحصل على أن الحد األخٌر أصغر من‪ ϵ‬من أجل كل‬

‫وبالتالً الحل الصفري‬ ‫تطبٌق ضاغط حٌث 𝜙 النقطة الثابتة والوحٌدة من‬
‫للمعادلة )‪ (4.1.1‬مستقر بشكل مقارب حسب لٌبانوف‪.‬‬

‫‪2-1-4‬مثال‪:‬‬

‫́ حٌث‬ ‫‪t‬‬ ‫لٌكن‬

‫‪sin‬‬

‫ٌكون حل المعادلة مستقر بشكل مقارب عند تحقق الشرط ‪ (4.1.4).‬أي عندما‬

‫(‬ ‫) ‪sin‬‬

‫البرهان‪:‬‬

‫| ∫‬ ‫|‬ ‫∫‬ ‫‪sin‬‬ ‫لنفرض أن‬

‫ٌكتب التكامل بالشكل‪:‬‬ ‫من أجل‬

‫‪⁄‬‬

‫∫‬ ‫‪sin‬‬ ‫‪sin‬‬

‫‪⁄‬‬

‫‪61‬‬
 ‫|‬ ‫∫‬ ‫|‬
‫|∫‬ ‫|∫‬ ‫‪sin‬‬

‫|‬ ‫|‬ ‫∫‬ ‫|‬

‫|∫‬ ‫|∫‬ ‫|∫‬

‫‪sin‬‬

‫لٌتحقق الشرط )‪ٌ (4.1.4‬جب تحقق‪:‬‬

‫‪sin‬‬

‫‪ٌ sin‬نتج‪:‬‬ ‫وبأخذ‬

‫مالحظة‪ :‬فً هذا المثال نالحظ أن نتائج تطبٌق نظرٌة لٌبانوف أفضل من نتائج نظرٌة النقطة‬
‫الثابتة‪.‬‬

‫‪3-1-4‬مثال‪:‬‬

‫لٌكن‪:‬‬

‫‪sin‬‬

‫ٌتحقق شرط المبرهنة السابقة اذا تحقق‪:‬‬

‫‪sin‬‬

‫اإلثبات‪:‬‬

‫| ∫‬ ‫|‬ ‫∫‬ ‫‪sin‬‬ ‫لنفرض أن‬

‫ٌكتب التكامل بالشكل‪:‬‬ ‫من أجل‬

‫‪⁄‬‬

‫∫‬ ‫‪sin‬‬ ‫‪sin‬‬

‫‪⁄‬‬

‫‪61‬‬
 ‫|‬ ‫∫‬ ‫|‬
‫|∫‬ ‫|∫‬ ‫‪sin‬‬

‫|‬ ‫|‬ ‫∫‬ ‫|‬

‫|∫‬ ‫|∫‬ ‫|∫‬

‫‪sin‬‬

‫لٌتحقق الشرط )‪ٌ (4.1.4‬جب تحقق‪:‬‬

‫‪sin‬‬

‫‪.‬‬ ‫‪ٌ sin‬نتج‪:‬‬ ‫وبأخذ‬

‫مالحظة‪:‬‬

‫االستقرار فً المثال‪ 2-1-4‬أكثر قوة من المثال‪.3-1-4‬‬

‫‪4-1-4‬مثال‪:‬‬

‫لتكن لدٌنا المعادلة الخطٌة‬

‫́‬ ‫‪sin‬‬

‫شرط إضافً‪.‬‬ ‫حٌث‬

‫وإنما أٌضا بـ‬ ‫ال ٌتعلق االستقرار فقط بـ‬

‫‪sin‬‬

‫متغٌرة اإلشارة‪.‬‬ ‫حٌث‬

‫ٌتحقق االستقرار المقارب عندما ٌتحقق الشرط‬

‫(‬ ‫) ‪sin‬‬

‫البرهان‪:‬‬

‫|∫‬ ‫|‬ ‫| ∫‬ ‫| ‪sin‬‬

‫‪62‬‬
 ⁄

∫ sin
⁄

sin

‫لدٌنا‬

| ∫ |
∫| sin ∫| sin

( sin )

‫وذلك ألن‬

∫| sin | sin

∫
( sin ) ∫ sin

∫
( sin ) 4 ∫ 5

∫
( sin ) 4 ∫ 5

( sin )

63
‫‪2-4‬دراسة استقرار حل جملة معادالت تفاضلية التوقفية ذات تأخرات زمنية باستخدام نظرية‬
‫النقطة الثابتة من الشكل‪:‬‬

‫∑‬ ‫‪t (t‬‬ ‫)‬

‫‪t‬‬

‫‪1-2-4‬مبرهنة]‪[21‬‬
‫بحٌث‬ ‫موجودة و ٌوجد ثابت‬ ‫مقلوب‬ ‫بفرض )‪ (t‬قابلة للمفاضلة ‪t‬‬
‫أن‬

‫∫ ‪lim in‬‬ ‫‪s s‬‬

‫∑‬ ‫حٌث‬

‫∫‬ ‫|‬
‫|∫ ‪∑6‬‬ ‫‪s | s‬‬ ‫∫‬ ‫|∫ | ‪s‬‬ ‫‪v | v s7‬‬

‫حٌث‬

‫∫‬
‫‪θ‬‬ ‫∫∑‬ ‫|‬ ‫́ || ‪s‬‬ ‫|‬

‫عندئذ ٌكون الحل الصفري للجملة المعادالت ‪:‬‬

‫∑‬ ‫‪t‬‬ ‫‪t‬‬

‫‪t‬‬
‫مستقرا استقرارا مقاربا إذا وفقط إذا تحقق الشرط‪:‬‬
‫∫‬ ‫→‪s s‬‬
‫اإلثبات ‪:‬‬
‫أوالً‪:‬‬
‫نضع‪:‬‬ ‫محقق ‪ ,‬من أجل كل‬ ‫نفرض أن الشرط‬
‫∫‬
‫‪,‬‬ ‫‪-‬‬
‫لنعرف‪:‬‬
‫{‬ ‫}‬
‫{‬ ‫}‬
‫‪,‬‬ ‫→‬ ‫‪-‬‬
‫]‬

‫‪64‬‬
 ‫‖ ‖‬ ‫|‬ ‫|‬
‫عندئذ فضاء متري تام حٌث‪:‬‬

‫𝜌‬ ‫|‬ ‫|‬

‫نعرف‪:‬‬

‫بالشكل‪:‬‬
‫]‬

‫∫‬
‫‪4‬‬ ‫∑‬ ‫∫‬ ‫(‬ ‫)‬ ‫‪5‬‬

‫∑‬ ‫∫‬ ‫(‬ ‫)‬

‫∫‬
‫∫‬ ‫∑‬ ‫́‬ ‫(‬ ‫)‬

‫∫‬
‫∫‬ ‫∑‪4‬‬ ‫∫‬ ‫(‬ ‫)‬ ‫‪5‬‬

‫‪.t‬‬ ‫وذلك من أجل كل‬

‫‪.‬‬ ‫عندما‬ ‫‪.‬نرى بأن‬ ‫من الواضح أن‬

‫‪ t‬عندما‬ ‫‪t‬‬ ‫و‬ ‫حٌث‬
‫‪ s‬عندئذ‪:‬‬ ‫بحٌث‬ ‫‪ٌ ,ε‬وجد ‪t‬‬ ‫من أجل كل‬
‫|‬ ‫|‬ ‫‪j‬‬
‫ٌحقق‪:‬‬ ‫‪ t‬الحد األخٌر فً‬ ‫من أجل‬

‫| |‬ ‫∫‬
‫∫|‬ ‫∑‪4‬‬ ‫∫‬ ‫(‬ ‫)‬ ‫‪5‬‬ ‫|‬

‫| |‬ ‫∫‬ ‫|‬ ‫∑‪| 4‬‬

‫∫‬ ‫( | ∫‬ ‫||)‬ ‫|‬ ‫‪5‬‬

‫∫‬ ‫|‬ ‫∑‪| 4‬‬

‫∫‬ ‫( | ∫‬ ‫||)‬ ‫|‬ ‫‪5‬‬

‫‪65‬‬
 ‫∫‬ ‫|‬ ‫∑‪| 4‬‬
‫∫‬ ‫( | ∫‬ ‫||)‬ ‫|‬ ‫‪5‬‬

‫∫‬
‫| ‪sup‬‬ ‫∫|‬ ‫|‬ ‫∑‪| 4‬‬ ‫( | ∫‬ ‫|)‬ ‫‪5‬‬

‫∫‬ ‫|‬ ‫∑‪| 4‬‬

‫∫‬ ‫( | ∫‬ ‫|)‬ ‫‪5‬‬

‫‪ t‬نحصل على‪:‬‬ ‫بحٌث‬ ‫باالعتماد على ‪ٌ , iii‬وجد‬

‫∫‬
‫| ‪up‬‬ ‫∫|‬ ‫|‬ ‫∑‪| 4‬‬ ‫( | ∫‬ ‫||)‬ ‫|‬ ‫‪5‬‬

‫| |‪.‬‬ ‫بتطبٌق ‪ ii‬نحصل على‬

‫تسعى الى الصفر‬ ‫‪ .t‬بشكل مشابه‪ ,‬فإن بقٌة الحدود فً العالقة‬ ‫عندما‬
‫‪ .‬وباالعتماد على‬ ‫‪ t‬ومنه فإن‬ ‫عندما‬ ‫‪.t‬ومنه ٌنتج‬ ‫عندما‬
‫‪, ii‬نستنتج أن تطبٌق ضاغط وبالتالً ٌملك نقطة ثابتة ووحٌدة فً حل )‪(4.2.1‬‬
‫حٌث‬
‫]‬
‫‪.t‬‬ ‫عندما‬ ‫‪t‬‬ ‫و‬
‫إلثبات االستقرار المقارب ‪ ,‬علٌنا برهان أن الحل الصفري للجملة)‪ (4.2.1‬مستقر‪.‬‬
‫∫‬
‫وٌحقق‬ ‫‪δ‬‬ ‫‪ ε‬وبفرض‬ ‫لٌكن‬
‫‖ ‖ عندئذ‪:‬‬ ‫هو حل للجملة )‪ (4,2,1‬حٌث‬ ‫‪t‬‬ ‫إذا كان‬
‫‪.‬‬ ‫| من أجل ‪t‬‬ ‫|‬ ‫المعرف بالعالقة )‪. (4.2.5‬وبالتالً‬
‫|‪.‬‬ ‫|‬ ‫نالحظ أن ]‬
‫| من أجل‬ ‫|‬ ‫|و‬ ‫|‬ ‫بحٌث أن‬ ‫إذا وجد ‪t‬‬
‫عندئذ ٌنتج من )‪ (4.2.5‬أن‬

‫∫‬
‫|‬ ‫|‬ ‫‪‖ ‖4‬‬ ‫∑‬ ‫( | ∫‬ ‫|)‬ ‫‪5‬‬

‫∑‬ ‫( | ∫‬ ‫|)‬

‫∫‬
‫∫‬ ‫|∑‬ ‫́ ||‬ ‫|‬

‫∫‬ ‫|‬ ‫∑‪| 4‬‬

‫∫‬ ‫( | ∫‬ ‫|)‬ ‫‪5‬‬

‫‪66‬‬
 ‫∫‬

‫|‪.‬‬ ‫|‬ ‫وهذا ٌتناقض مع‬

‫‪ ,‬والحل الصفري للجملة )‪ (4.2.1‬مستقر‪.‬‬ ‫| من أجل كل ‪t‬‬ ‫|‬ ‫وبالتالً‬
‫هذا ٌبٌن أن الحل الصفري للجملة )‪ (4.2.1‬مستقر استقرارا مقاربا إذا تحقق )‪.(iii‬‬
‫وبالعكس‪:‬‬
‫عندما ∞‬ ‫حٌث‬ ‫باالعتماد على )‪ (i‬توجد متتالٌة‬
‫‪ .‬باختٌار ثابت موجب ٌحقق العالقة‪:‬‬ ‫∫ ∞ ‪ lim‬حٌث‬ ‫بحٌث أن‬

‫‪.‬‬ ‫∫‬
‫‪:ω‬‬ ‫لسهولة نعرف‬

‫‪ω‬‬ ‫|‪∑ 6‬‬ ‫́ ||‬ ‫|‬ ‫|‬ ‫|‬ ‫( | ∫‬ ‫|)‬ ‫‪7‬‬

‫باالعتماد على )‪ (ii‬لدٌنا‬

‫∫‬
‫∫‬ ‫‪ω‬‬
‫وهذا ٌؤدي إلى‬
‫∫‬ ‫∫‬
‫∫‬ ‫‪ω‬‬
‫∫‬
‫∫‪ ,‬محدودة‪,‬عندئذ توجد متتالٌة جزئٌة متقاربة‪.‬‬ ‫‪ω‬‬ ‫المتتالٌة ‪-‬‬
‫‪lim‬‬ ‫∫ ∫‬ ‫‪ω‬‬ ‫لنفرض‬
‫‪ γ‬نختار عددا صحٌحا موجبا ̅ كبٌر بقدر كافٍ بحٌث‪:‬‬ ‫من أجل‬
‫∫‬ ‫‪⁄‬‬
‫∫‬ ‫‪ω‬‬
‫̅‬
‫‪.‬‬ ‫تحقق‬ ‫‪ ,‬حٌث‬ ‫من أجل كل ̅‬
‫| من أجل‬ ‫|‬ ‫و‬ ‫̅‪t‬‬ ‫حل)‪ (4.2.1‬حٌث‬ ‫̅‪t‬‬ ‫لٌكن‬
‫‪.‬‬ ‫̅‪t‬‬
‫‪.‬‬ ‫| من أجل ̅ ‪t‬‬ ‫|‬ ‫وبشكل مشابه لما سبق فً )‪ٌ (4.2.5‬نتج‬
‫نختار بحٌث أن‪:‬‬
‫̅‬

‫̅‪t‬‬ ‫∑‬ ‫∫‬ ‫(‬ ‫)‬

‫̅‬ ‫)̅ (‬
‫من أجل ̅ ‪t‬‬ ‫ٌنتج من )‪ (4.2.4‬حٌث‬

‫‪68‬‬
 ‫∑‬ ‫∫‬ ‫(‬ ‫)‬

‫∫‬ ‫∫‬
‫̅‬ ‫∫‬ ‫‪ω‬‬
‫̅‬

‫∫‬ ‫∫‬ ‫∫‬

‫̅‬ ‫∫‬ ‫‪ω‬‬
‫̅‬

‫∫‬ ‫̅‬
‫∫‬ ‫∫‬
‫̅‬ ‫‪6‬‬ ‫∫‬ ‫‪ω‬‬ ‫‪7‬‬
‫̅‬

‫∫‬ ‫∫‬
‫̅‬ ‫‪6‬‬ ‫∫‬ ‫‪ω‬‬ ‫‪7‬‬
‫̅‬
‫∫‬
‫̅‬

‫)‪(4.2.7‬‬
‫من ناحٌة أخرى ‪,‬إذ كان الحل الصفري للمعادلة )‪ (4.2.1‬مستقرا استقرارا مقاربا‪ ,‬عندئذ‬
‫‪.t‬و)‪(ii‬‬ ‫عندما‬ ‫‪ .t‬و‬ ‫عندما‬ ‫̅‪t‬‬
‫محقق عندئذ نحصل على‪:‬‬

‫∑‬ ‫∫‬ ‫(‬ ‫)‬ ‫‪t‬‬

‫وبذلك ٌكون)‪ (iii‬شرطا الزما لٌكون الحل الصفري للمعادلة )‪ (4.2.1‬مستقرا استقرارا مقاربا‪.‬‬

‫‪2-2-4‬مثال‬
‫لتكن المعادلة‪:‬‬
‫‪t‬‬ ‫‪t‬‬
‫حٌث‬
‫‪sin‬‬
‫‪t‬‬ ‫‪t‬‬
‫مستقر استقرارا مقاربا‪.‬‬ ‫‪ γ‬فالحل الصفري للمعادلة‬ ‫بحٌث‬
‫اإلثبات‬
‫التابع‬ ‫‪u‬‬ ‫من الواضح أن‬ ‫→‬ ‫متزاٌدة‬ ‫‪ t‬حٌث‬ ‫التوابع‬
‫العكسً للتابع‬
‫‪t‬‬ ‫‪t‬‬

‫‪67‬‬
 ‫‪u‬‬ ‫‪u‬‬ ‫لدٌنا ‪u‬‬

‫|∫‬ ‫‪s | s‬‬ ‫∫‬ ‫‪⁄‬‬

‫‪|ln‬‬ ‫|‬

‫|∫‬ ‫‪s | s‬‬ ‫∫‬ ‫‪⁄‬‬

‫‪|ln‬‬ ‫|‬

‫|∫ ∑‬ ‫‪s | s‬‬ ‫‪|ln‬‬ ‫|‬

‫نحصل على‬ ‫∫| من أجل‬ ‫|‬ ‫باستخدام‬

‫∫‬ ‫‪u u‬‬ ‫∫‬ ‫∫‬

‫∫‬

‫بمالحظة أن‬
‫‪|sin‬‬ ‫| ‪t‬‬
‫|‬ ‫| ‪t‬‬
‫‪t‬‬
‫لدٌنا‬ ‫ومن أجل‬ ‫متناقصة من أجل‬ ‫حٌث‬
‫‪t‬‬
‫‪t‬‬
‫‪t‬‬ ‫‪t‬‬

‫‪t‬‬

‫باالعتماد على)‪(4.2.11‬و )‪ (4.2.9‬نحصل على‬

‫‪68‬‬
 ‫∫‬ ‫|‬
‫∫‬ ‫∑‪s | 4‬‬ ‫( | ∫‬ ‫‪v )| v5 s‬‬

‫‪|ln‬‬ ‫∫|‬ ‫∫‬ ‫|‬ ‫‪s | s‬‬

‫‪|ln‬‬ ‫|‬

‫∫‬
‫∫‬ ‫‪|ln‬‬ ‫|‬
‫‪s‬‬

‫| ‪ | ̀ ́ t‬نحصل على‬ ‫مع األخذ بعٌن االعتبار‬

‫∫‬ ‫∫‬
‫|∑‬ ‫| ‪s | | ̀ ́t‬‬

‫بجمع)‪ (4.2.13‬و)‪ (4.2.9‬و)‪ (4.2.12‬نرى أن الشرط )‪(ii‬من المبرهنة السابقة محقق حٌث‬

‫∫‬ ‫‪s s‬‬

‫وبالتالً الحل الصفري للمعادلة )‪ (4.2.8‬مستقر استقرارا مقاربا‪.‬‬

‫‪ 3-4‬دراسة استقرار حل معادلة فولتيرا باالعتماد على نظرية النقطة الثابتة]‪[19‬‬

‫من أجل‬

‫̀‬ ‫∫‬

‫‪ ,‬نكتب )‪ (4.3.1‬بالشكل ‪:‬‬ ‫بحٌث ٌحقق‪:‬‬ ‫نفرض وجود تابع‬

‫̀‬ ‫∫‬

‫̀‬ ‫∫‬

‫‪81‬‬
 ‫سنهتم بدراسة استقرار حل معادلة فولتٌرا بحالتٌن‪:‬‬

‫الحالة األولى‪ :‬عندما‬

‫∫‬ ‫الحالة الثانٌة‪ :‬عندما‬

‫الحالة األولى‪ :‬دراسة استقرار حل معادلة فولتيرا باستخدام نظرية النقطة الثابتة في حالة‪:‬‬

‫‪1-3-4‬مبرهنة‪:‬‬

‫المعرفة بالعالقة)‪ (4.3.2‬لنفرض تحقق‬ ‫لٌكن‬

‫|∫‬ ‫|‬

‫لـ )‪ (5.3.1‬على‬ ‫ٌوجد حل وحٌد ومحدود ومستمر‬ ‫عندئذ من أجل‬

‫ومستقر بشكل تقاربً‪.‬‬ ‫المجال‬

‫اإلثبات‪:‬‬

‫فضاء التوابع المستمرة والمحدودة مع النظٌم األعظمً‪,‬ولٌكن‬ ‫لٌكن ‖ ‖‬

‫𝜙 بحٌث إن‬ ‫حٌث‬ ‫𝜙 و لنعرف‬

‫𝜙‬ ‫∫‬ ‫𝜙‬

‫مع نفسه وهو تطبٌق ضاغط وذلك ألن‪:‬‬ ‫ٌطبق‬ ‫إن‬

‫|‬ ‫𝜙‬ ‫|‬ ‫|∫‬ ‫𝜙||‬ ‫|‬ ‫𝜙‖‬ ‫‖‬

‫‪,‬‬ ‫عندئذ‬ ‫وبالتالً حسب نظرٌة النقطة الثابتة ٌوجد نقطة ثابتة وحٌدة‬
‫̀ و تحقق)‪.(4.3.1),(4.3.2‬‬ ‫∫‬ ‫مستمر‪ ,‬و‬

‫( لـ)‪ٌ (4.3.1‬مكن ان نكتب‬ ‫لبرهان استقرار الحل الصفري‪,‬كل حل )‬

‫‪81‬‬
 ‫‪ ϵ‬ثابت‬ ‫| ‪ ,‬عندئذ من أجل‬ ‫|‬ ‫‪ .‬إذا كانت‬
‫| ‪ .‬وبذلك ٌتم‬ ‫|‬ ‫| هذا ٌؤدي الى‬ ‫|‬ ‫‪ .δ‬عندئذ‬ ‫معطى نأخذ‬
‫المطلوب‪.‬‬

‫∫ عندما‬ ‫الحالة الثانية‪ :‬دراسة استقرار حل معادلة فولتيرا في حالة‬

‫‪.‬‬

‫سنعٌد كتابة المعادلتٌن‬

‫̀‬ ‫∫‬

‫̀‬ ‫∫‬

‫مثبت‬ ‫نفرض من أجل كل‬

‫∫ عندما‬ ‫| ∫و‬ ‫|‬

‫نكتب)‪ (4.3.2‬بالشكل‬

‫∫‬ ‫∫‬
‫∫‬ ‫∫‬

‫∫‬ ‫∫‬
‫∫‬ ‫|‬

‫∫‬
‫∫‬ ‫∫‬

‫∫‬
‫∫‬

‫∫‬
‫∫‬ ‫∫‬

‫‪82‬‬
 ‫‪3-3-4‬مبرهنة‪:‬‬

‫بحٌث‪:‬‬ ‫بفرض أن)‪ (4.3.10‬محققة ‪ ,‬وبفرض وجود‬

‫∫‬
‫|[ ∫‬ ‫|‬ ‫|‬ ‫|‬ ‫|∫‬ ‫|‬ ‫]‬

‫للمعادلة )‪ٌ (4.3.1‬سعى للصفر‬ ‫ٌوجد حل محدود ووحٌد‬ ‫عندئذ من أجل كل‬
‫‪.‬‬ ‫عندما‬

‫اإلثبات‪:‬‬

‫فضاء التوابع المستمرة والمحدودة مع النظٌم األعظمً‬ ‫لٌكن ‖ ‖‬

‫𝜙 بحٌث إن‪:‬‬ ‫حٌث‬ ‫𝜙 و لنعرف‬

‫∫‬
‫)𝜙 (‬ ‫∫‬ ‫𝜙‬

‫∫‬
‫∫‬ ‫∫‬ ‫𝜙‬

‫تطبٌق ضاغط وذلك ألن‪:‬‬ ‫إن‬

‫|‬ ‫𝜙‬ ‫|‬ ‫‖𝜙‖‬

‫محدود ومستمر‬ ‫وبالتالً ٌملك نقطة ثابتة 𝜙 𝜙 حٌث 𝜙 هو حل للمعادلة‬

‫وبالتالً الحل الصفري للمعادلة مستقر تقاربٌا‪.‬‬

‫‪4-3-4‬مثال‬

‫لٌكن‬

‫̀‬ ‫‪sin‬‬ ‫∫‬

‫‪.‬عندئذ حل المعادلة مستقرة بشكل متقارب‪.‬‬ ‫حٌث‬

‫اإلثبات‪:‬‬

‫المعادلة ٌمكن كتابتها بالشكل‪:‬‬

‫‪83‬‬
‫̀‬ ‫‪sin‬‬ ‫∫‬

‫حٌث‬

‫‪.‬‬

‫إن شروط المبرهنة ‪3-3-4‬محققة وذلك ألن‪:‬‬

‫|∫‬ ‫|‬ ‫→‬

‫‪∫ sin‬‬ ‫→‬

‫|∫‬ ‫|‬ ‫∫‬

‫|‬ ‫∫‬ ‫|‬

‫|∫‬ ‫|∫‬

‫)‪ (4.3.12‬محقق عندما ‪:‬‬

‫وهو المطلوب‪.‬‬ ‫أي عندما‬

‫‪5-3-4‬مثال‬

‫‪ .‬عندئذ الحل الصفري لـ‬ ‫إذا كان‬

‫̀‬ ‫‪sin‬‬ ‫∫‬

‫مستقر تقاربٌا‪.‬‬

‫إلثبات ذلك‪ٌ.‬جب علٌنا أن نثبت أن)‪ (4.3.12‬محققة‪ٌ .‬مكن كتابة المعادلة بالشكل‬
‫‪84‬‬
 ‫̀‬ ‫‪sin‬‬ ‫∫‬

‫لٌكن‬

‫و‬ ‫‪sin‬‬

‫وبالتعوٌض فً )‪ٌ (4.3.12‬نتج‬

‫∫‬

‫∫‬
‫[∫‬ ‫‪sin‬‬ ‫∫|‬ ‫]|‬

‫]‬ ‫]‬
‫‪6‬‬ ‫∫‬ ‫‪sin‬‬ ‫‪7‬‬

‫‪.‬‬ ‫مثبتة من أجل‬

‫تم التعرف على نظرٌة لٌبانوف منذ أكثر من مئة عام وقد كان لها نتائج مثمرة و تم استخدام‬
‫النقطة الثابتة فً دراسة االستقرار بمراحل مبكرة‪.‬‬

‫لوحظ أن نتائج استخدام الطرٌقتٌن معا أفضل من استخدام كل طرٌقة على حدة‪.‬‬
‫والحمد هلل رب العالمين‬

‫‪85‬‬
Abstract:

The study of Stability of Solution for non-Stationary Differential

Equations System With Delay

In this paper we have four chapter:

Introduction

Chapter 1:

it has some definitions and theorems.

Chapter2:

The study of stability of Solution for non-Stationary differential

equations system with delay

We study stability of Solution for non-Stationary differential equations

system with delay by Lyapunov’s Second Method

Chapter3:

The study of stability of Solution for non-Stationary differential

equations system with delay

We study Asymptotically Stable by Lyapunov’s Second Method for:

Chapter4:

The study of stability of Solution for non-Stationary differential

equations system with delay by fixed point theory

We stady stable by fixed point theory for:

́
86
 ∑

Finaly we stady stable of Solution for Volterra equation by fixed point

theory

̀ ∫

88
 ‫المراجع‬

1- Al-Arjih Sameh , Studying Stable Of The Solution For Delay Differential

Equation , AlBaath University , 2006 .
2- Bernt Øksendal , Stochastic Differential Equations An Introduction with
Application Corrected Printing , New York,2010 .
3-Bellman R., and Cooke , K.L. , Differential difference equations , New
York: Academic press , 1963 .

4- Boltzman “ ur Th ori r l stis h n hwirkung n ”

Wissenschaftliche Abhandlung von Ludwig Boltzmann, I. Band (1865-
1874), Leipzig: Verlag Johann Ambrosius Barth, 1909 .

: 5-El'sgol'ts , L.E. , Introduction to theory of differential equations with

deriationg Arguments , San Francisco Holden – Day , 1966 .
6- GERHARD MANFRED SCHOEN , Stability and Stabilization of Time-Delay
Systems, Dipl. Masch , 1995.
7-Lyapunov.A.M.,A general task about the stability of motion Kharkov
Mathematical Society,University of Kharkov (1892).
8-Moinorsky , N. , Non linear Oscillions , Princeton, NJ: Van Nostrand
company 1962.
9- yshkis “ n r l th ory o i r nti l qu tions with l ys ”
Translations/American Mathematical Society, 1951
10-Picard E. , "Lamécaniqve classique et ses approximations successive"
Rivista di seienza , 1907,vil .1 , p 4-5.
11- Remco I. Leine , The historical development of classical stability
concepts Lagrange, Poisson and Lyapunov stability , 2009.
12-Ross ,R.,The prevention of Malaria p ed . London ,John Murray
,1911.
13- K. GopaIsamy , Stability and Oscillations in Delay Differential
Equations of Population Dynamics , 1992 .

14- Xuerong Mao and Anita Shah , Exponential Stability of Stochastic

Differential Delay Equations , U.K .

15-

16-

87
17- АфАНАСЬЕВ В., КОЛМАНОВСКИЙ В.,НОСОВ В.,
Математическая теория конструирования систем управления. Вышая
школа, Москва, 1989- 447 c.

18- Валеев К . Г. , Финин Г. С. Построений функций Ляпунова -

Киев : Наук . думка. 1980 . 412с.
[19] Burton, T. A. and Mahfoud, W. E., Stability criteria for Volterra equations, Trans.

Amer. Math. Soc. 279(1983), 143-174.

[20]T.A. Burton, Stability by fixed point theory or Liapunov’s theory: a comparison, Fixed
Point Theory 4 (2003) 15–32.

[21] T.A. Burton, Stability and Periodic Solutions of Ordinary and Functional Differential
Equations, Academic Press, NewYork, 1985

Amer. Math. Soc. 279(1983), 143-174

[22]Burton, T. A. and Hatvani, L., Stability theorems for nonautonomous functional differ-
ential equations by Liapunov functionals, Tohoku Math. J. 41(1989), 65-104

[23]Hale, J., Functional Differential Equations, Springer, New York, 1971.

[24]www. Wikipedia.com

, ‫ استخذام مبذأ ليابونوف الثاني في دراست جملت معادالث تفاضليت راث تأخير زمني‬, ‫ أحمد العبد هللا‬-52
.3122 , ‫ رسالت ماجستير‬, ‫جامعت البعث‬
‫ مجلت‬, ‫ دراست تسايذ حل منظومت معادالث تفاضليت حاويت على تأخير زمني‬, ‫سامح العرجت‬.‫ د‬-37
. 3113 , ‫جامعت البعث‬

3116 , ‫ مجلت جامعت البعث‬, ‫ دراست حل معادلت فرقيت راث متحول عشوائي‬, ‫سامح العرجت‬.‫ د‬-57

,‫ جامعت البعث‬, ‫ استقرار جملت المعادالث التفاضليت العشوائيت بطريقت ليابونوف‬, ‫ رياض جبيلي‬-38
. 3122 ,‫رسالت ماجستير‬

. 3115 , ‫ جامعت البعث‬,2 ‫ معادالث التفاضليت‬, ‫ كثرة مخول‬.‫ د‬-39

,‫ دراست استقرار جملت معادالث تفاضليت خطيت راث تأخير زمني بمعامالث تصادفيه‬, ‫ نورا حاكمت‬-41
3123,‫جامعت البعث‬

88