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

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

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

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

‫ماستر أكاديمي‬

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

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

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

‫من إعداد الطالبة ‪ :‬بن حوة نسرين‬

‫الموضوع‬

‫مقدمة في المشتقات و التكاملات الـكسر ية المحلية‬

‫تناقش يوم ‪ 2020/09/30‬من طرف لجنة المناقشة ‪:‬‬

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

‫السنة الجامعية ‪2020/2019 :‬‬

 ‫* شكر وعرفان *‬

‫إن الحمد و الشكر هلل عزوجل إذ هو خالقنا ومعٌننا فً كل األوقات‬

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

‫نسأل هللا التوفٌق و السدادة فً كل خطواتنا‬

‫‪.‬‬

‫*إهداء*‬
‫ﻋﻦ ﺟﺎﺑﺮ ﺑﻦ ﻋﺒﺪ ﺍ‪- ‬ﺭﺿﻲ ﺍ‪ ‬ﻋﻨﻪ‪ -‬ﻗﺎﻝ‪:‬‬
‫ﻗﺎﻝ ﺭﺳﻮﻝ ﺍ‪ ‬ﺻﻞ ﺍ‪ ‬ﻋﻠﻴﻪ ﻭ ﺳﻠﻢ‪:‬‬
‫) ﺳﻠﻮﺍ ﺍ‪ ‬ﻋﻠﻤﺎ ﻧﺎﻓﻌﺎ ‪ ،‬ﻭﺗﻌﻮﺫﻭﺍ ﺑﺎ‪ ‬ﻣﻦ ﻋﻠﻢ ﻻ ﻳﻨﻔﻊ (‬
‫ﺃﻫﺪﻱ ﲦﺮﺓ ﺟﻬﺪﻱ ﻫﺬﺍ ﺇﱃ ‪:‬‬
‫ﺭﻭﺡ ﻗﻠﱯ ﻭ ﻧﻮﺭ ﻋﻴﲏ ﻣﻨﺒﻊ ﺍﳊﻨﺎﻥ ﻭﺍﻟﻌﻄﺎء‬
‫ﺇﱃ ﻣﻦ ﺳﻬﺮﺕ ﺍﻟﻠﻴﺎﱄ ﻋﻠﻰ ﺭﺍﺣﱵ ‪ ،‬ﺇﱃ ﻣﻦ ﺟﻌﻞ ﺍ‪ ‬ﺍﳉﻨﺔ ﲢﺖ ﻗﺪﻣﻴﻬﺎ‬
‫" ﺃﻣﻲ ﺍﳊﺒﻴﺒﺔ ﺣﻔﻈﻬﺎ ﺍ‪" ‬‬
‫ﺇﱃ ﻣﻦ ﺭﺑﺎﻧﻲ ﻭﺳﻬﺮ ﻋﻠﻰ ﺗﻌﻠﻴﻤﻲ ﺍﳌﺒﺎﺩﻯء ﻭﺍﻟﻘﻴﻢ ﺍﻟﻌﻠﻴﺎ‬
‫ﺇﱃ ﻣﻦ ﻋﻠﻤﲏ ﺑﺄﻥ ﺍﳊﻴﺎﺓ ﻋﻄﺎء ﻗﺒﻞ ﺃﻥ ﺗﻜﻮﻥ ﺃﺧﺬ ‪ ،‬ﺇﱃ ﻣﺜﻠﻲ ﺍﻷﻋﻠﻰ ﰲ ﻫﺬﺓ ﺍﳊﻴﺎﺓ‬
‫" ﺃﺑﻲ ﺍﻟﻐﺎﱄ‪ .‬ﺣﻔﻈﻪ ﺍ‪" ‬‬
‫ﺇﱃ ﻣﻦ ﲠﻢ ﺃﺳﺘﻤﺪ ﻗﻮﺗﻲ ﻭ ﺃﺣﺎﻓﻆ ﻋﻠﻰ ﺗﻮﺍﺯﻧﻲ ﻭﻫﻢ ﻗﺪﻭﺗﻲ ﰲ ﻫﺬﻩ ﺍﳊﻴﺎﺓ‬
‫" ﺇﺧﻮﺗﻲ "‬
‫ﺇﱃ ﻛﻞ ﺻﺪﻳﻘﺎﺗﻲ ﻭ ﺃﺣﺒﺎﺑﻲ ﻭﻛﻞ ﻣﻦ ﻳﻌﺮﻓﲏ ﺑﺪﻭﻥ ﺇﺳﺘﺜﻨﺎء‬
‫ﺇﱃ ﺍﻟﺬﻳﻦ ﺣﺮﺳﻮﺍ ﻋﻠﻰ ﺗﻌﻠﻴﻤﻨﺎ ‪ ،‬ﻭ ﺑﺬﻟﻮﺍ ﻛﻞ ﻣﺎ ﺑﻮﺳﻌﻬﻢ ﻣﻦ ﺃﺟﻞ ﺃﻥ ﻧﺼﻞ ﺇﱃ ﻣﺎ‬
‫ﳓﻦ ﻋﻠﻴﻪ ﺍﻵﻥ ﺇﱃ ﺍﻟﺬﻳﻦ ﲪﻠﻮﺍ ﻣﻦ ﺃﻗﺪﺱ ﺍﻟﺮﺳﺎﺋﻞ ﰲ ﺍﳊﻴﺎﺓ‬
‫ﺇﱃ ﲨﻴﻊ ﺃﺳﺎﺗﺬﺗﻨﺎ ﺍﻟﻜﺮﺍﻡ ﻃﻴﻠﺔ ﻣﺸﻮﺍﺭﻧﺎ ﺍﻟﺪﺭﺍﺳﻲ‬
‫ﻭﰲ ﺍﻷﺧﲑ ﺃﺳﺄﻝ ﺍ‪ ‬ﺃﻥ ﻳﻮﻓﻖ ﺍﳉﻤﻴﻊ‬

‫نسرين‬
‫‪1‬‬
 ‫قائمة الجداول‬

‫‪ 1.3‬العمليات الأساسية للتكامل الـكسري المحلي لبعض الدالات غير القابلة للمفاضلة المعرفة على المجموعات‬
‫‪37‬‬ ‫الفراكتالية ‪. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .‬‬
‫‪ 2.3‬العمليات الأساسية للتكامل الـكسري المحلي لبعض الدالات غير القابلة للمفاضلة عبر دالة ‪Mittag–Leffler‬‬
‫‪37‬‬ ‫المعرفة على المجموعات الفراكتالية ‪. . . . . . . . . . . . . . . . . . . . . . . . . . . . .‬‬

‫‪I‬‬
 ‫قائمة الأشكال‬

‫‪5‬‬ ‫‪ 1.1‬مقارنات الدوال غير القابلة للتفاضل )‪ (5.1)-(1.1‬عندما ‪ β = 2‬و ‪. . . . . . . ε = ln 2/ ln 3‬‬

‫‪6‬‬ ‫‪ 2.1‬مقارنات الدوال غير القابلة للتفاضل )‪ (6.1‬و )‪ (7.1‬عندما ‪. . . . . . . . . . . ε = ln 2/ ln 3‬‬
‫‪10‬‬ ‫‪ 3.1‬المسافة بين نقطتين ‪ A‬و ‪ B‬في مجال زمني متقطع ‪. . . . . . . . . . . . . . . . . . . . . .‬‬

‫‪17‬‬ ‫‪ 1.2‬منحنى لمقياس ‪ Hausdorff‬البعدي ‪ ε‬حيث ‪. . . . . . . . . . . . . . . . . ε = ln 2/ ln 3‬‬

‫‪18‬‬ ‫‪ 2.2‬مخطط )‪ Φ(µ‬عندما ‪ ω = 1‬و ‪. . . . . . . . . . . . . . . . . . . . . . ε = ln 2/ ln 3‬‬
‫‪20‬‬ ‫‪ 3.2‬منحنيات مسافة التركيز للمصدر غير القابل للتفاضل )أنظر ]‪. . . . . . . . . . . . . . . . ([23‬‬

‫‪II‬‬
 ‫الفهـــرس‬

‫‪2‬‬ ‫‪ 1‬تعار يف المشتقات و التكاملات الـكسر ية المحلية‬

‫‪3‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪ 1.1‬الدوال الخاصة ‪. . . . . . . . . . . . . .‬‬
‫‪3‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪ 1.1.1‬الدالة غاما ‪. . . . . . . . . . . .‬‬
‫‪4‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪ 2.1.1‬دالة ‪. . . . . . Lebesgue-Cantor‬‬
‫‪4‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪ 3.1.1‬دالة ‪. . . . . . . . Mittag-leffler‬‬
‫‪7‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪ 2.1‬تعار يف كسور محلية إستمرار ية ‪. . . . . . . . .‬‬
‫‪8‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪ 3.1‬الـكسير ية )الفراكتال ( ‪. . . . . . . . . . . .‬‬
‫‪8‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪ 1.3.1‬المجموعة الـكسير ية ) المجموعة الفراكتالية (‬
‫‪9‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪ 4.1‬تعار يف المشتقات الـكسر ية المحلية ‪. . . . . . .‬‬
‫‪9‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪ 1.4.1‬مقياس ‪. . . . . . . . Hausdorff‬‬
‫‪9‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪ 2.4.1‬مقياس ‪. . . . . . . . . Lebesgue‬‬
‫‪10‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪ 3.4.1‬تعار يف المشتقات الـكسر ية المحلية ‪. . .‬‬
‫‪12‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪ 5.1‬تعار يف التكاملات الـكسر ية المحلية ‪. . . . . .‬‬

‫‪14‬‬ ‫‪ 2‬المشتقات الـكسر ية المحلية‬

‫‪15‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪ 1.2‬خواص و مبرهنات المشتقات الـكسر ية المحلية ‪. . . . . . . . . . . . . . . . . .‬‬
‫‪16‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪ 1.1.2‬مقارنات لمعادلة علاقة الفراكتال في دوال نواة الفراكتال ‪. . . . . . . . . .‬‬
‫‪18‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪ 2.1.2‬مقارنات لمعادلة إنتشار الفراكتال في دوال نواة الفراكتال ‪. . . . . . . . . .‬‬
‫‪20‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪ 3.1.2‬مشتقات كسر ية عبر فروق كسر ية ‪. . . . . . . . . . . . . . . . .‬‬
‫‪22‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪ 4.1.2‬مشتقات كسر ية مع أو بدون نواة منفردة و إصدارات أخرى للمشتقات الـكسر ية‬

‫‪27‬‬ ‫‪ 3‬التكامل الـكسري المحلي‬

‫‪28‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪ 1.3‬خواص و مبرهنات التكاملات الـكسر ية المحلية ‪. . . . . . . . . .‬‬
‫‪31‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪ 1.1.3‬التكاملات الـكسر ية ‪. . . . . . . . . . . . . . . .‬‬
‫‪32‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪ 2.3‬مبرهنة و سلسلة ‪ Taylor‬الـكسر ية المحلية ‪. . . . . . . . . . . .‬‬
‫‪32‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪ 1.2.3‬مبرهنة ‪ Taylor‬الـكسر ية المحلية في الدوال غير القابلة للتفاضل‬
‫‪34‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪ 2.2.3‬سلسلة ‪ Taylor‬الـكسر ية المحلية في الدوال المرجعية ‪. . . .‬‬
‫‪35‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪.‬‬ ‫‪ 3.2.3‬سلسلة ‪ MacLaurin‬الـكسر ية المحلية في الدوال المرجعية ‪. .‬‬

‫‪III‬‬
 ‫مقدمة‬

‫مفهوم الحساب الـكسري المحلي )يسمى أيضا الحساب الـكسري (‪،‬والذي تم إقتراحه لأول مرة من قبل ‪ Kolwankar‬و ‪Gangal‬‬
‫]‪ [2 ,1‬بناءا على المشتق الـكسري ‪ [6 ,5 ,4 ,3] Riemann–Liouville‬والذي تم تطبيقه للتعامل مع العديد من الدوال غير‬
‫القابلة للتفاضل من قبل العلماء والمهندسين ]]‪.[[16]-[7‬والتي ظهرت في الأنظمة المركبة لظواهر العالم الحقيقي‪.‬خاصة‪،‬أنه تم وضع‬
‫نموذج عدم التفاضل الذي حدث في العلوم والهندسة من قبل المشتقات والتكاملات الـكسر ية المحلية‪،‬وقد لاق هذا الموضوع‬
‫إهتمام الباحثين العاملين في مجالات مختلفة مثل الفيز ياء الر ياضية و العلوم التطبيقية نظرا لأهميته على خلاف الحساب الكلاسيكي‬
‫الذي عجز عن ذلك‪.‬و في السنوات العشر الماضية‪،‬تبين أن حساب التفاضل والتكامل الـكسري المحلي أداة مفيدة في مجالات مختلفة‬
‫تتراوح من العلوم الأساسية إلى التطبيقات الهندسية المختلفة‪،‬لأنه يمكن أن يتعامل مع خصائص المحلية للدوال غير القابلة للتفاضل‬
‫المعرفة في المجموعات الـكسر ية‪.‬و في الفضاءات الـكسر ية نجد نظر ية أساسية للعدد والإستمرار ية الـكسر ية المحلية للدوال غير القابلة‬
‫للتفاضل‪.‬ومنه يتعلم المرء كيفية حساب و تحديد المشتقات و التكاملات الـكسر ية المحلية‪،‬بعد أن يتعلم المفاهيم الأساسية له‪.‬‬
‫و في هذه المذكرة‪،‬قمنا بدراسة هذا الموضوع لإعطاء النظر ية الحديثة لحساب المشتقات والتكاملات الـكسر ية المحلية و تحدياته‬
‫الجديدة في حل العديد من الدوال غير القابلة للتفاضل لمختلف الظواهر الناشئة في أنظمة العالم الحقيقي‪،‬حيث سنتطرق إلى أهم‬
‫المفاهيم الأساسية للمشتقات والتكاملات الـكسر ية المحلية كمقدمة و نتمنى أن تكون هناك دراسة عميقة في هذا الموضوع على مدار‬
‫السنوات القادمة‪.‬‬
‫حيث سنتطرق في الفصل الأول بتقديم أهم التعار يف الأساسية للمشتقات والتكاملات الـكسر ية المحلية‪،‬و كذا الـكسور المحلية‬
‫الإستمرار ية و الدوال الخاصة التي إعتمدنا عليها لدراسة هذا الموضوع‪،‬كما قمنا بعرض عدة نقاط أخرى من المشتقات والتكاملات‬
‫الـكسر ية المحلية‪،‬مثل‪:‬‬
‫المشتق الـكسري المحلي بواسطة مقياس ‪ Hausdorff‬و مقياس المشتق‪ lebesgue،‬الـكسري المحلي بإستخدام علم الهندسة الفراكتالية‬
‫]‪،[20 ,19 ,1‬و مجموعات الفراكتال‪،‬كما تم وضع تكامل ‪ Riemann‬على مجموعات الفراكتال‪.‬‬
‫أما الفصل الثاني فقد قمنا بدراسة بعض الخواص و المبرهنات للمشتقات الـكسر ية المحلية‪،‬و مقارنات لمعادلة إنتشار و علاقة الفراكتال‬
‫في دوال نواة الفراكتال‪،‬و كذا المشتقات الـكسر ية مع أو بدون نواة منفردة و إصدارات أخرى للمشتقات الـكسر ية‪،‬وقد قمنا‬
‫بتطبيق عدة مشتقات كسر ية عبر فروق كسر ية ليحل مسائل عددية إلى معادلات تفاضلية كسر ية في الفيز ياء الر ياضية منها‪:‬‬
‫مشتق ‪ [[34]-[28],[6]] Letnikov – Grünwald‬و مشتق ‪ Grünwald–Letnikov–Riesz‬عبر مشتق ‪– Grünwald‬‬
‫‪... [39] Letnikov‬إلخ‪.‬‬
‫وفي الأخير تطرقنا إلى أهم الخواص و المبرهنات في التكاملات الـكسر ية المحلية‪،‬وكذا مبرهنة ‪ Taylor‬الـكسر ية المحلية في الدوال‬
‫غير القابلة للتفاضل و سلسلة ‪ Taylor‬الـكسر ية المحلية في الدوال المرجعية‪،‬كما قمنا بتقديم سلسلة ‪ MacLaurin‬الـكسر ية المحلية في‬
‫الدوال المرجعية‪.‬‬

‫‪1‬‬
 ‫ﺍﻟﻔﺼﻞ ﺍﻷﻭﻝ‬
‫ﺗﻌﺎﺭﻳﻒ ﺍﻟﻤﺸﺘﻘﺎﺕ ﻭ‬
‫ﺍﻟﺘﻜﺎﻣﻼﺕ ﺍﻟﻜﺴﺮﻳﺔ ﺍﻟﻤﺤﻠﻴﺔ‬
‫قائمة المحتو يــات‬
‫‪3‬‬ ‫‪. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .‬‬ ‫الدوال الخاصة‬ ‫‪1.1‬‬
‫‪3‬‬ ‫‪. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .‬‬ ‫‪ 1.1.1‬الدالة غاما‬
‫‪4‬‬ ‫دالة ‪. . . . . . . . . . . . . . . . . . . . . . . . . . . Lebesgue-Cantor‬‬ ‫‪2.1.1‬‬
‫‪4‬‬ ‫‪ 3.1.1‬دالة ‪. . . . . . . . . . . . . . . . . . . . . . . . . . . . . Mittag-leffler‬‬
‫‪7‬‬ ‫‪ 2.1‬تعار يف كسور محلية إستمرار ية ‪. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .‬‬
‫‪8‬‬ ‫‪ 3.1‬الـكسير ية )الفراكتال ( ‪. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .‬‬
‫‪8‬‬ ‫‪ 1.3.1‬المجموعة الـكسير ية ) المجموعة الفراكتالية ( ‪. . . . . . . . . . . . . . . . . . . . .‬‬
‫‪9‬‬ ‫‪ 4.1‬تعار يف المشتقات الـكسر ية المحلية ‪. . . . . . . . . . . . . . . . . . . . . . . . . . . .‬‬
‫‪9‬‬ ‫‪. . . . . . . . . . . . . . . . . . . . . . . . . . . . .‬‬ ‫‪ 1.4.1‬مقياس ‪Hausdorff‬‬
‫‪9‬‬ ‫‪ 2.4.1‬مقياس ‪. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Lebesgue‬‬
‫‪10‬‬ ‫‪ 3.4.1‬تعار يف المشتقات الـكسر ية المحلية ‪. . . . . . . . . . . . . . . . . . . . . . . .‬‬
‫‪12 . . . . . . . . . . . . . . . . . . . . . . . . . . .‬‬ ‫‪ 5.1‬تعار يف التكاملات الـكسر ية المحلية‬

‫‪2‬‬
‫تعار يف المشتقات و التكاملات الـكسر ية المحلية‬ ‫الفصل الأول‬

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

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

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

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

‫تعر يف ‪1.1.1‬‬
‫الدالة غاما تعد من الدوال الأساسية في حساب التفاضل و التكامل الـكسري المحلي‪،‬وتسمى أيضا دالة غاما لأولر‪ ،‬وتعطى بدلالة‬
‫التكامل من الشكل التالي ‪:‬‬
‫∞ ∫‬
‫= )‪Γ(ε‬‬ ‫‪µε−1 e−µ dµ‬‬
‫‪0‬‬

‫حيث ‪.µ ∈ R‬‬

‫مثال ‪1.1.1‬‬

‫∫‬ ‫‪M‬‬
‫‪Γ(2) = lim‬‬ ‫‪µ2−1 e−µ dµ‬‬
‫∞→ ‪M‬‬ ‫‪0‬‬
‫∫‬ ‫‪M‬‬
‫‪= lim‬‬ ‫‪µe−µ dµ‬‬
‫∞→ ‪M‬‬ ‫‪0‬‬
‫[‬ ‫‪]M‬‬
‫‪= lim −µe−µ − e−µ 0‬‬
‫∞→ ‪M‬‬
‫(‬ ‫)‬
‫‪M‬‬ ‫‪1‬‬
‫‪= lim − M − µ + 0 + e‬‬‫‪0‬‬
‫∞→ ‪M‬‬ ‫‪e‬‬ ‫‪e‬‬
‫‪=1‬‬
‫خواص ‪1.1.1‬‬

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

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

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

‫ملاحظة ‪1.1.1‬‬

‫* لا يمكن إ يجاد )‪ Γ(ε‬إذا كان ‪ ε‬عددا صحيحا سالبا ‪.‬‬

‫* ∞‪.Γ(0+ ) = +‬‬

‫* ‪.Γ(1) = 1‬‬

‫* )‪ Γ(ε‬دالة متناقضة من أجل ‪.0 < ε ≤ 1‬‬

‫‪3‬‬
‫تعار يف المشتقات و التكاملات الـكسر ية المحلية‬ ‫الفصل الأول‬

‫دالة ‪Lebesgue-Cantor‬‬ ‫‪2.1.1‬‬

‫تعر يف ‪2.1.1‬‬
‫لتكن ‪ Φ → ℵ‬الدالة المعرفة على المجموعة الفراكتالية ℘ من البعد الـكسري )‪ . ε(0 < ε < 1‬و )‪ Φ(µ‬دالة ذات قيمة حقيقية‬
‫معرفة على المجموعة الفراكتالية ℘ المعطاة ب ‪:‬‬

‫‪Φ(µ) = µε‬‬ ‫)‪(1.1‬‬

‫حيث ℘ ∈ ‪ µε‬و ‪.0 < ε < 1‬‬

‫و ‪ limε→1 Φ(µ) = µ ∈ R‬حيث ‪ R‬مجموعة الأعداد الحقيقية‪.‬‬

‫دالة ‪Mittag-leffler‬‬ ‫‪3.1.1‬‬

‫تعر يف ‪3.1.1‬‬
‫الدالة ‪ Mittag–Leffler‬المعرفة على المجموعة الفراكتالية ℘ المعطاة ب ‪:‬‬

‫∑‬
‫∞‬
‫‪µkε‬‬
‫‪ε‬‬
‫= ) ‪Eε (µ‬‬ ‫)‪(2.1‬‬
‫‪k=0‬‬
‫)‪Γ(1 + kε‬‬

‫حيث ‪ µ ∈ R‬و ‪.0 < ε < 1‬‬

‫و بشكل آخر من )‪ (2.1‬المعرفة على المجموعة الفراكتالية ℘ نكتب ‪:‬‬

‫∑‬
‫∞‬
‫‪µkε‬‬
‫‪ε‬‬
‫= ) ‪Eε (β, µ‬‬ ‫)‪(3.1‬‬
‫‪k=0‬‬
‫)‪Γ(β + kε‬‬

‫حيث ‪ β‬عدد حقيقي‪ µ ∈ R،‬و ‪.0 < ε < 1‬‬

‫قواعد ‪1.1.1‬‬
‫القواعد المنتجة من خلال دالات ‪ Mittag–Leffler‬المعرفة على المجموعة الفراكتالية ℘ ‪:‬‬

‫)‪Eε (µε )Eε (v ε ) = Eε (µε + v ε ) (1‬‬

‫)‪Eε (µε )Eε (−v ε ) = Eε (µε − v ε ) (2‬‬

‫)‪Eε (µε )Eε (iε v ε ) = Eε (µε + iε v ε ) (3‬‬

‫)‪Eε (iε µε )Eε (iε v ε ) = Eε (iε µε + iε v ε ) (4‬‬

‫)‪،[Eε (µε + iε µε )]n = Eε (nε µε + nε iε µε ) (5‬حيث ‪ n‬عدد صحيح و ‪ iε‬عدد تخيلي للمجموعة الـكسور ية ℘‪.‬‬

‫تعر يف ‪) 4.1.1‬الدالة الجيب(‬

‫الدالة الجيب المعرفة على المجموعة الفركتالية ℘ المعطاة ب ‪:‬‬

‫∑‬‫∞‬
‫‪(−1)k µ(2k+1)ε‬‬
‫= ) ‪sinε (µε‬‬ ‫)‪(4.1‬‬
‫‪k=0‬‬
‫)‪Γ(1 + (2k + 1)ε‬‬

‫حيث ‪ µ ∈ R‬و ‪.0 < ε < 1‬‬

‫‪4‬‬
‫تعار يف المشتقات و التكاملات الـكسر ية المحلية‬ ‫الفصل الأول‬

‫تعر يف ‪ ) 5.1.1‬الدالة جيب التمام (‬

‫الدالة جيب التمام المعرفة على المجموعة الفراكتالية ℘ المعطاة ب ‪:‬‬

‫∑‬‫∞‬
‫‪(−1)k µ2kε‬‬
‫‪ε‬‬
‫= ) ‪cosε (µ‬‬ ‫)‪(5.1‬‬
‫‪k=0‬‬
‫)‪Γ(1 + 2kε‬‬

‫حيث ‪ µ ∈ R‬و ‪.0 < ε < 1‬‬

‫الرسوم المقابلة للبعد الفركتالي ‪ ε = ln 2/ ln 3‬موضحة في الشكل) ‪.(1.1‬‬

‫شكل ‪ :1.1‬مقارنات الدوال غير القابلة للتفاضل )‪ (5.1)-(1.1‬عندما ‪ β = 2‬و ‪ε = ln 2/ ln 3‬‬

‫قواعد ‪1.2.1‬‬
‫القواعد المنتجة عبر دالات ‪ ، Mittag–Leffler‬جيب ‪ ،‬وجيب التمام المعرفة على المجموعة الفراكتالية ℘‪:‬‬

‫)‪Eε (iε µε ) = cosε (µε ) + iε sinε (µε ) (1‬‬

‫= ) ‪sinε (µε‬‬ ‫) ‪Eε (iε µε )−Eε (−iε µε‬‬

‫‪2iε‬‬
‫)‪(2‬‬

‫= ) ‪cosε (µε‬‬ ‫) ‪Eε (iε µε )+Eε (−iε µε‬‬

‫‪2‬‬
‫)‪(3‬‬

‫)‪cosε (−µε ) = cosε (µε ) (4‬‬

‫)‪sinε (−µε ) = − sinε (µε ) (5‬‬

‫)‪sinε (µε )2 + cosε (µε )2 = 1 (6‬‬

‫‪∑n‬‬
‫‪ ،‬بحيث ‪sinε (µε /2) ̸= 0‬‬ ‫‪1‬‬
‫‪2‬‬
‫‪+‬‬ ‫‪k=1‬‬ ‫= ) ‪cosε (kµε‬‬ ‫)‪sinε ((2n+1)µε /2‬‬
‫)‪2 sinε (µε /2‬‬
‫)‪(7‬‬

‫الخصائص الأخرى مدرجة في الملحق‪.‬‬

‫‪5‬‬
‫تعار يف المشتقات و التكاملات الـكسر ية المحلية‬ ‫الفصل الأول‬

‫تعر يف ‪) 6.1.1‬الدوال الزائدية (‬

‫الدوال الزائدية عبر دالة ‪ Leffler – Mittag‬المعرفة على المجموعة الفراكتالية ℘ المعطاة ب ‪:‬‬

‫∑ ) ‪Eε (µε ) − Eε (−µε‬‬

‫∞‬
‫‪µ(2k+1)ε‬‬
‫‪ε‬‬
‫= ) ‪sinhε (µ‬‬ ‫=‬ ‫)‪(6.1‬‬
‫‪2‬‬ ‫‪k=0‬‬
‫)‪Γ(1 + (2k + 1)ε‬‬

‫∑ ) ‪Eε (µε ) + Eε (−µε‬‬

‫∞‬
‫‪µ2kε‬‬
‫= ) ‪coshε (µε‬‬ ‫=‬ ‫)‪(7.1‬‬
‫‪2‬‬ ‫‪k=0‬‬
‫)‪Γ(1 + 2kε‬‬

‫) ‪Eε (µε ) − Eε (−µε‬‬

‫= ) ‪tanhε (µε‬‬ ‫)‪(8.1‬‬
‫) ‪Eε (µε ) + Eε (−µε‬‬

‫) ‪Eε (µε ) + Eε (−µε‬‬

‫= ) ‪cothε (µε‬‬ ‫)‪(9.1‬‬
‫) ‪Eε (µε ) − Eε (−µε‬‬

‫‪2‬‬
‫= ) ‪sec hε (µε‬‬ ‫)‪(10.1‬‬
‫‪Eε‬‬ ‫) ‪(µε‬‬ ‫) ‪+ Eε (−µε‬‬

‫‪2‬‬
‫= ) ‪csc hε (µε‬‬ ‫)‪(11.1‬‬
‫‪Eε‬‬ ‫) ‪(µε‬‬ ‫) ‪− Eε (−µε‬‬

‫رسم المقارنة للدوال غير القابلة للتفاضل )‪ (6.1‬و )‪ (7.1‬عندما ‪ ε = ln 2/ ln 3‬كما هي موضحة في الشكل ) ‪.( 2.1‬‬

‫شكل ‪ :2.1‬مقارنات الدوال غير القابلة للتفاضل )‪ (6.1‬و )‪ (7.1‬عندما ‪ε = ln 2/ ln 3‬‬

‫‪6‬‬
‫تعار يف المشتقات و التكاملات الـكسر ية المحلية‬ ‫الفصل الأول‬

‫تعار يف كسور محلية إستمرار ية‬ ‫‪2.1‬‬

‫تعر يف ‪1.2.1‬‬
‫لتكن ℘ المجموعة الفراكتالية و ‪ d1‬و ‪ d0‬فضاءين متر يين‪.‬لنفترض أن ) ‪ Φ : (℘, d0 ) −→ (α, d1‬هو تطبيق ثنائية ‪، Lipschitz‬و‬
‫نكتب‪:‬‬

‫)℘( ‪ω1 ℑε (℘) ≤ ℑε (Φ(℘)) ≤ ω1 ℑε‬‬ ‫)‪(12.1‬‬

‫ومنه ‪:‬‬

‫| ‪ω1 | µ1 − µ2 |≤| Φ(µ1 ) − Φ(µ2 ) |≤ ω1 | µ1 − µ2‬‬ ‫)‪(13.1‬‬

‫حيث ‪ µ1 , µ2 ∈ ℘ ، ℘ ⊂ R‬و ‪.ω1 , ω2 > 0‬‬

‫بإستخدام )‪،(13.1‬إذا كان ‪ ∀ρ > 0‬و ‪، 0 < ε < 1‬فإن ‪:‬‬

‫‪| Φ(µ1 ) − Φ(µ2 ) |< ρε‬‬ ‫)‪(14.1‬‬

‫حيث ‪ ε‬هو أبعاد كسور ية لمجموعة الفراكتال ℘ ‪.‬هذا الشكل هو تشبيهات لتطبيق ‪. Lipschitz‬‬

‫تعر يف ‪2.2.1‬‬
‫لتكن ‪ Φ : ℘ → ℵ‬الدالة المعرفة على المجموعة الفراكتالية ℘ من البعد الفراكتالي )‪. ε(0 < ε < 1‬العدد الحقيقي ‪ χ‬يسمى النهاية‬
‫المعممة للدالة )‪ ، Φ(µ‬لما ‪ µ‬تؤول إلى ‪ ، a‬أو نهاية )‪ Φ(µ‬عند ‪ ، a‬إذا كان ‪ τ > 0‬و ‪، δ > 0‬ونكتب ‪:‬‬

‫‪| Φ(µ) − χ |< τ ε‬‬ ‫)‪(15.1‬‬

‫و‬

‫‪0 <| µ − a |< δ‬‬ ‫)‪(16.1‬‬

‫لنفترض أن ‪ τ > 0‬و ‪ δ > 0‬حيث ‪، | Φ(µ) − χ |< τ ε‬إذا كان ‪ 0 <| µ − a |< δ‬فإن ‪:‬‬

‫‪Φ(µ) → χ‬‬ ‫)‪(17.1‬‬

‫لما ‪، µ → a‬أو‪:‬‬

‫‪lim Φ(µ) = χ‬‬ ‫)‪(18.1‬‬

‫‪µ→a‬‬

‫نقول أن )‪ Φ(µ‬تؤول إلى ‪ χ‬لما ‪ µ‬تؤول إلى ‪.a‬‬

‫تعر يف ‪3.2.1‬‬
‫الدالة )‪ Φ(µ‬تكون كسر ية محلية مستمرة عند ‪ µ = µ0‬حيث ‪ ، τ > 0‬و ‪ δ > 0‬ونكتب ‪:‬‬

‫‪| Φ(µ) − Φ(µ0 ) |< τ ε‬‬ ‫)‪(19.1‬‬

‫كلما كان ‪ ، 0 <| µ − µ0 |< δ‬نكتب‪:‬‬

‫) ‪lim Φ(µ) = Φ(µ0‬‬ ‫)‪(20.1‬‬

‫‪µ→µ0‬‬

‫‪7‬‬
‫تعار يف المشتقات و التكاملات الـكسر ية المحلية‬ ‫الفصل الأول‬

‫الدالة )‪ Φ(µ‬تكون كسر ية محلية مستمرة عند ‪ µ = µ0‬من اليمين إذا كان ‪ ، τ > 0‬و ‪ δ > 0‬بحيث )‪ (16.1‬كلما كان‬
‫‪. µ0 < µ < δ + µ0‬‬
‫الدالة )‪ Φ(µ‬تكون كسر ية محلية مستمرة عند ‪ µ = µ0‬من اليسار إذا كان ‪ ، τ > 0‬و ‪ δ > 0‬بحيث )‪ (16.1‬كلما كان‬
‫‪. δ − µ0 < µ < µ0‬‬
‫‪ limµ→µ−0 Φ(µ) = Φ(µ0 ) ، limµ→µ+0 Φ(µ) = Φ(µ+‬و ) ‪ Φ(µ0 ) = Φ(µ0‬موجودة ‪ ،‬فإن ‪:‬‬
‫‪+‬‬ ‫‪−‬‬ ‫‪−‬‬
‫إذا كانت ) ‪0‬‬

‫)‪lim Φ(µ) = lim+ Φ(µ) = lim− Φ(µ‬‬ ‫)‪(21.1‬‬

‫‪µ→µ0‬‬ ‫‪µ→µ0‬‬ ‫‪µ→µ0‬‬

‫لنفترض أن الدالة )‪ Φ(µ‬هي عبارة عن كسور محلية مستمرة في المجال )‪ ، I = (a, b‬ونكتب ‪:‬‬

‫)‪Φ(µ) ∈ Cε (a, b‬‬ ‫)‪(22.1‬‬

‫الـكسير ية )الفراكتال (‬ ‫‪3.1‬‬

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

‫المجموعة الـكسير ية ) المجموعة الفراكتالية (‬ ‫‪1.3.1‬‬

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

‫‪8‬‬
‫تعار يف المشتقات و التكاملات الـكسر ية المحلية‬ ‫الفصل الأول‬

‫تعار يف المشتقات الـكسر ية المحلية‬ ‫‪4.1‬‬

‫مقياس ‪Hausdorff‬‬ ‫‪1.4.1‬‬
‫تعر يف ‪[45] 1.4.1‬‬
‫ليكن ‪ E‬من ‪ H s‬القابل للقياس حيث ∞ < )‪. H (E‬ومنه نجد مجموعات مفتوحة ‪ O1 , O2 ...‬تحتوي على ‪ ، E‬حيث‬
‫‪s‬‬
‫∩‬ ‫∞∩‬
‫∞ ( ‪ H s‬و أي مجموعة جزئية مفتوحة ل ‪ Rn‬هي مجموعة ‪ ، Fσ‬لذلك نفترض‬ ‫‪i=1 Oi \ E) = H ( i=1 Oi ) − H (E) = 0‬‬
‫‪s‬‬ ‫‪s‬‬
‫∪‬
‫∞ = ‪ Oi‬لكل ‪،i‬حيث ‪ {Fij }j‬هي متتالية متزايدة في المجموعات المغلقة و الإستمرار ية من ‪.H s‬‬ ‫أن ‪i=1 Fij‬‬

‫)‪lim H s (E ∩ Fij ) = H s (E ∩ Oi ) = H s (E‬‬ ‫)‪(23.1‬‬

‫∞→‪j‬‬

‫لما ‪ ε < 0‬نجد ‪ ji‬حيث ‪:‬‬

‫‪H s (E \ Fiji ) < 2−i ε‬‬ ‫)‪(i = 1, 2, ...‬‬ ‫)‪(24.1‬‬

‫∩‬
‫∞ فإن ‪:‬‬ ‫إذا كانت ‪ F‬مجموعة مغلقة حيث ‪i=1 Fiji‬‬

‫∑‬
‫∞‬
‫‪H (F ) ≥ H (E ∩ F ) ≥ H (E) −‬‬
‫‪s‬‬ ‫‪s‬‬ ‫‪s‬‬
‫‪H s (E \ Fiji ) > H s (E) − ε‬‬ ‫)‪(25.1‬‬
‫‪i=1‬‬
‫∩‬ ‫∞∩‬
‫∞ ( ‪ H s (F \ E) ≤ H s‬حيث ‪ F \ E‬تحتوي على بعض المجموعة ‪Gδ‬‬‫⊂ ‪ ، F‬فإن ‪i=1 Oi \ E) = 0‬‬ ‫إذا كانت ‪i=1 Oi‬‬
‫و ‪ ، H s (G) = 0‬و منه ‪ F \ G‬هي مجموعة ‪ Fσ‬التي تحتوي على ‪ E‬حيث ‪:‬‬

‫‪H s (F \ G) ≥ H s (F ) − H s (G) > H s (E) − ε‬‬ ‫)‪(26.1‬‬

‫نأخذ إتحاد قابل للعد من هذه المجموعات ‪ Fσ‬مفرطة ال ‪ ε = 21 , 13 , 14 ...‬حيث المجموعة ‪ Fσ‬تحتوي على ‪ E‬و مقياس متعادل‬
‫ل ‪.E‬‬

‫مقياس ‪Lebesgue‬‬ ‫‪2.4.1‬‬

‫تعر يف ‪2.4.1‬‬
‫لتكن المجموعة الجزئية ‪ E ⊆ R‬حيث طول المجال ]‪) I = [a, b‬أو )‪ (I = (a, b‬هو ‪ ، l(I) = b − a‬ومنه مقياس ‪Lebesgue‬‬
‫معرف ب ‪:‬‬
‫∞{‬ ‫}‬
‫∑‬
‫‪L(E) = inf‬‬ ‫) ‪l(Ik‬‬ ‫)‪(27.1‬‬
‫‪k=1‬‬

‫‪ (Ik )k∈N‬هي متتالية للمجالات المفتوحة حيث ‪:‬‬

‫∪‬
‫∞‬
‫⊆‪E‬‬ ‫‪Ik‬‬
‫‪k=1‬‬

‫مقياس ‪ Lebesgue‬المعرف في ‪،σ − algebra Lebesgue‬وهي مجموعة لجميع المجموعات ‪ E‬التي تحقق معيار كاراثودوري الذي‬
‫يتطلب هذا لكل ‪:A ⊆ R‬‬

‫) ‪L(A) = L(A ∩ E) + L(A ∩ E c‬‬ ‫)‪(28.1‬‬

‫المجموعات التي لم يتم إحتوائها في ‪ σ − algebra Lebesgue‬ليست قابلة للقياس في ‪ . Lebesgue‬توجد مثل هذه المجموعات )‬
‫مثل مجموعات فيتالي (‪،‬بمعنى إحتواء ‪ σ − algebra Lebesgue‬في مجموعة القوى ‪ R‬القطعي‪.‬‬

‫‪9‬‬
‫تعار يف المشتقات و التكاملات الـكسر ية المحلية‬ ‫الفصل الأول‬

‫تعار يف المشتقات الـكسر ية المحلية‬ ‫‪3.4.1‬‬

‫تعر يف ‪3.4.1‬‬
‫المشتق الـكسري المحلي للدالة )‪ Φ(µ‬من الرتبة )‪ [[16]-[7],[2 ,1]] ε(0 < ε ≤ 1‬و المعطى ب ‪:‬‬

‫)‪dε Φ(µ‬‬ ‫]) ‪dε [Φ(µ) − Φ(µ0‬‬

‫= )‪D(ε) Φ(µ‬‬ ‫‪= lim‬‬ ‫)‪(29.1‬‬
‫‪dµε‬‬ ‫‪µ=µ0‬‬
‫‪µ→µ0‬‬ ‫‪[d(µ − µ0 )]ε‬‬
‫بحيث الحد ‪ dε [Φ(µ)]/[d(µ − µ0 )]ε‬هو مشتق ‪ Riemann–Liouville‬من الرتبة ‪ ε‬للدالة )‪. Φ(µ‬‬
‫المشتق الـكسري المحلي )فراكتال( للدالة )‪ Φ(µ‬من الرتبة )‪ ε(0 < ε ≤ 1‬عبر ‪ µε‬مقياس ‪ [18 ,17 ,1] Hausdorff‬و المعطى‬
‫ب‪:‬‬
‫)‪dε Φ(µ‬‬ ‫) ‪Φ(µ) − Φ(µ0‬‬
‫= )‪D(ε) Φ(µ‬‬ ‫‪= lim‬‬ ‫)‪(30.1‬‬
‫‪dµε‬‬ ‫‪µ=µ0‬‬
‫‪µ→µ0‬‬ ‫‪µε − µε0‬‬
‫حيث ‪ µε‬هو مقياس الفراكتال‪.‬‬
‫المشتق الـكسري المحلي )الفراكتالي( بإستخدام هندسة الفراكتال للدالة )‪ Φ(µ‬من الرتبة )‪ [20 ,19 ,1] ε(0 < ε ≤ 1‬ونكتب ‪:‬‬

‫)‪dΦ(µ‬‬ ‫)‪dΦ(µ‬‬ ‫) ‪Φ(µB ) − Φ(µA‬‬

‫= )‪D(ε) Φ(µ‬‬ ‫=‬ ‫‪= lim‬‬ ‫)‪(31.1‬‬
‫‪dµε‬‬ ‫‪µ=µ0‬‬ ‫‪dσ‬‬ ‫‪∆µ→µ0‬‬ ‫‪Υη0ε‬‬
‫حيث ‪ dσ = Υη0ε‬مع معلم هندسي ‪ Υ‬و سلم المقياس ‪ η0‬في الشكل)‪.(3.1‬‬

‫شكل ‪ :3.1‬المسافة بين نقطتين ‪ A‬و ‪ B‬في مجال زمني متقطع‬

‫المشتق الـكسري المحلي بإستخدام هندسة الفراكتال للدالة )‪ Φ(µ‬من الرتبة )‪ [[25]-[21],[1]] ε(0 < ε ≤ 1‬من الشكل التالي‪:‬‬

‫)‪dε Φ(µ‬‬ ‫]) ‪∆ε [Φ(µ) − Φ(µ0‬‬

‫= )‪D(ε) Φ(µ‬‬ ‫‪= lim‬‬ ‫)‪(32.1‬‬
‫‪dµε‬‬ ‫‪µ=µ0‬‬
‫‪µ→µ0‬‬ ‫‪(µ − µ0 )ε‬‬
‫∼ ]) ‪، ∆ε [Φ(µ) − Φ (µ0‬مع دالة ‪Gamma Euler‬‬
‫حيث ]) ‪= Γ(1 + ε) [Φ(µ) − Φ (µ0‬‬
‫∞∫‬
‫‪Γ(1 + ε) =: 0 µε−1 exp(−µ)dµ‬‬
‫من )‪ (32.1‬نحدد )‪ ε(0 < ε ≤ 1‬بمقياس ‪ Hausdorff‬للأبعاد ]]‪:[[25]-[1‬‬

‫‪H ε [Ω ∩ (µ0 , µ)] = (µ − µ0 )ε‬‬ ‫)‪(33.1‬‬

‫‪10‬‬
‫تعار يف المشتقات و التكاملات الـكسر ية المحلية‬ ‫الفصل الأول‬

‫ومنحناه لما ‪ ε = ln 2/ ln 3‬هو مجموعة أبعاد الفراكتال ‪ Ω‬و‪ µ0 = 0‬كما هو مبين في الشكل )‪.(1.2‬‬

‫تعر يف ‪4.4.1‬‬
‫لنفترض أن )‪ Φ(µ) ∈ Cε (a, b‬و ‪ .0 < ε ≤ 1‬حيث ‪ σ > 0 :‬و ‪ ، 0 < |µ − µ0 | < δ‬إذا كانت النهاية‪:‬‬
‫)‪dε Φ(µ‬‬ ‫]) ‪∆ε [Φ(µ) − Φ(µ0‬‬
‫)‪(ε‬‬
‫= ) ‪D Φ(µ0‬‬ ‫‪|µ=µ0 = lim‬‬ ‫)‪(34.1‬‬
‫‪dµε‬‬ ‫‪µ−→µ0‬‬ ‫‪(µ − µ0 )ε‬‬
‫∼ ]) ‪. ∆ε [Φ(µ) − Φ(µ0‬في هذه الحالة نقول أن )‪ D(ε) Φ(µ‬هو‬
‫موجودة ومنتهية‪،‬حيث ]) ‪= Γ(1 + ε) [Φ(µ) − Φ(µ0‬‬
‫المشتق الـكسري المحلي للدالة )‪ Φ(µ‬من الرتبة ‪ ε‬عند النقطة ‪.µ = µ0‬‬
‫∼ ]) ‪ ، ∆ [Φ(µ) − Φ(µ0‬إذا كانت النهاية‪:‬‬
‫‪ε‬‬
‫لتكن )‪ ، Φ(µ) ∈ [µ, b‬حيث‪= Γ(1 + ε) [Φ(µ) − Φ(µ0 )] :‬‬
‫)‪dε Φ(µ‬‬ ‫]) ‪∆ε [Φ(µ) − Φ(µ0‬‬
‫|‬ ‫=‪−‬‬ ‫‪lim‬‬ ‫)‪(35.1‬‬
‫‪dµε µ=µ0 µ−→µ−0‬‬ ‫‪(µ − µ0 )ε‬‬

‫موجودة نقول أن الدالة )‪ Φ(µ‬هي المشتق الـكسري المحلي من الطرف الأيسر من الرتبة ‪ ε‬عند النقطة ‪.µ = µ0‬‬
‫∼ ]) ‪ ، ∆ε [Φ(µ) − Φ(µ0‬إذا كانت النهاية‪:‬‬
‫لتكن ]‪ ، Φ(µ) ∈ (a, µ‬حيث‪= Γ(1 + ε) [Φ(µ) − Φ(µ0 )] :‬‬
‫)‪dε Φ(µ‬‬ ‫]) ‪∆ε [Φ(µ) − Φ(µ0‬‬
‫|‬ ‫=‪+‬‬ ‫‪lim‬‬ ‫)‪(36.1‬‬
‫‪dµε µ=µ0 µ−→µ+0‬‬ ‫‪(µ − µ0 )ε‬‬

‫موجودة نقول أن الدالة )‪ Φ(µ‬هي المشتق الـكسري المحلي من الطرف الأيمن من الرتبة ‪ ε‬عند النقطة ‪.µ = µ0‬‬
‫لنفترض أن‪:‬‬
‫)‪dε Φ(µ‬‬
‫‪dµε‬‬ ‫‪µ=µ+‬‬
‫‪0‬‬
‫و‬
‫)‪dε Φ(µ‬‬
‫‪dµε‬‬ ‫‪µ=µ−‬‬
‫‪0‬‬

‫موجودة و‬
‫)‪dε Φ(µ‬‬ ‫)‪dε Φ(µ‬‬
‫=‬
‫‪dµε‬‬ ‫‪µ=µ+‬‬ ‫‪dµε‬‬ ‫‪µ=µ−‬‬
‫‪0‬‬ ‫‪0‬‬

‫)‪dε Φ(µ‬‬ ‫)‪dε Φ(µ‬‬ ‫)‪dε Φ(µ‬‬

‫‪µ‬‬ ‫=‬ ‫‪µ‬‬‫‪0‬‬ ‫=‬ ‫‪µ‬‬ ‫=‬ ‫‪µ‬‬ ‫‪+‬‬
‫‪0‬‬ ‫=‬ ‫‪µ = µ−‬‬
‫‪0‬‬ ‫)‪(37.1‬‬
‫‪dµε‬‬ ‫‪dµε‬‬ ‫‪dµε‬‬
‫إذا كان ‪ ، 0 < ε ≤ 1‬الز يادة الفراكتالية للدالة )‪ Φ(µ‬من الرتبة ‪ ε‬عند النقطة ‪ µ = µ0‬المعرفة ب ‪:‬‬

‫‪Γ(1 + ε)∆ε Φ(µ0 ) = ∆ε [Φ(µ) − Φ(µ0 ] = D(ε) Φ(µ0 )(∆µ)ε + ϖ(∆µ)ε‬‬ ‫)‪(38.1‬‬

‫حيث ‪ ∆µ‬هو الز يادة ل ‪ µ‬و ‪ ϖ → 0‬مثلما ‪. ∆ → 0‬‬

‫إذا كان ‪ ، 0 < ε ≤ 1‬المشتق الـكسري المحلي للدالة )‪ Φ(µ‬من الرتبة ‪ ε‬عند النقطة ‪ µ = µ0‬المعرف ب ‪:‬‬

‫‪dε Φ(µ0 ) = D(ε) Φ(µ0 )(dµ)ε + ϖ(dµ)ε‬‬ ‫)‪(39.1‬‬

‫لنفترض أنه توجد أي نقطة )‪ µ ∈ (a, b‬على النحو التالي ‪:‬‬

‫)‪dε Φ(µ‬‬
‫= )‪Φ(ε) (µ‬‬ ‫‪ε‬‬
‫)‪= D(ε) Φ(µ‬‬ ‫)‪(40.1‬‬
‫‪dµ‬‬
‫في هذه الحالة ‪ Dε (a, b) ،‬تسمى مجموعة المشتق الـكسري المحلي ‪. ε‬‬

‫‪11‬‬
‫تعار يف المشتقات و التكاملات الـكسر ية المحلية‬ ‫الفصل الأول‬

‫تعار يف التكاملات الـكسر ية المحلية‬ ‫‪5.1‬‬

‫تعر يف ‪) 1.5.1‬تكامل ‪( Riemann‬‬
‫لتكن ]‪.φ(µ) ∈ Cε [a, b‬ثم ‪ ،‬نعرف تكامل ‪ Riemann‬للدالة )‪ φ(µ‬ب ‪:‬‬
‫∫‬ ‫‪b‬‬ ‫∑‬
‫‪n‬‬
‫‪φ(µ)dµ = lim‬‬ ‫‪φ(µk )∆µk‬‬ ‫)‪(41.1‬‬
‫‪a‬‬ ‫‪∆µ→0‬‬
‫‪k=1‬‬

‫حيث ‪.∆µ = max1≤k≤n ∆µk‬‬

‫تعر يف ‪2.5.1‬‬
‫لنفترض أن ]‪ .φ(µ) ∈ Cε [a, b‬ثم ‪ ،‬نعرف التكامل الـكسري المحلي للدالة )‪ φ(µ‬من الرتبة )‪ ε(0 < ε ≤ 1‬ونكتب ‪:‬‬
‫∫‬ ‫‪b‬‬ ‫∑‬
‫‪N‬‬ ‫‪−1‬‬
‫‪1‬‬ ‫‪1‬‬
‫)‪(42.1‬‬
‫)‪(ε‬‬ ‫‪ε‬‬
‫)‪aIb φ(µ‬‬ ‫=‬ ‫= )‪φ(µ)(dµ‬‬ ‫‪lim‬‬ ‫‪φ(µk )(∆µk )ε‬‬
‫)‪Γ(1 + ε‬‬ ‫‪a‬‬ ‫‪→0‬‬
‫‪Γ(1 + ε) k k=0‬‬
‫‪∆µ‬‬

‫حيث ‪ ∆µk = µk+1 − µk‬مع ‪.µ0 = a < µ1 < · · · < µN −1 < µN = b‬‬
‫و منه صيغة التكامل الـكسري المحلي للدوال الخاصة معرفة ب ‪:‬‬
‫)‪(ε‬‬
‫)‪0 Iµ aφ(µ‬‬ ‫)‪= a0 Iµ(ε) φ(µ‬‬ ‫)‪(43.1‬‬

‫‪µkε‬‬ ‫‪µ(k+1)ε‬‬
‫)‪(ε‬‬
‫‪0 Iµ‬‬ ‫=‬ ‫‪,‬‬ ‫‪k∈N‬‬ ‫)‪(44.1‬‬
‫)‪Γ(1 + kε‬‬ ‫)‪Γ(1 + (k + 1)ε‬‬

‫تعر يف ‪3.5.1‬‬
‫لنفترض أن التكامل الـكسري المحلي للدالة )‪ φ(µ‬في المجال المغلق ]‪ [a, b‬يكون متعادل ل ‪.Θ‬‬
‫إذا كان ‪ ،ρ > 0‬يوجد ‪ ، 0 < |∆µk | < δ‬ونكتب‪:‬‬

‫‪1‬‬ ‫∑‬
‫‪N‬‬ ‫‪−1‬‬
‫‪Θ−‬‬ ‫‪lim‬‬ ‫‪φ (µk ) (∆µk )ε < ρε‬‬ ‫)‪(45.1‬‬
‫‪Γ(1 + ε) ∆µk →0 k=0‬‬

‫في الواقع ‪ ،‬نتذكر شرط لتكامل ‪ Riemann‬التي تفترض أن الدالة )‪ φ(µ‬يحدها ]‪ ، [a, b‬إذن هو شرط ضروري وكاف لوجود ‪:‬‬
‫∫‬ ‫‪b‬‬
‫‪φ(µ)dµ‬‬ ‫)‪(46.1‬‬
‫‪a‬‬

‫حيث )‪ φ(µ‬لها مقياس ‪ Lebesgue‬الصفر‪.‬‬

‫تم وضع تكامل ‪ Riemann‬على المجموعات الفراكتالية على النحو التالي انظر ]‪.[21 ,16 ,1‬‬
‫لتكن ‪ φ : ℘ → ℵ‬الدالة المعرفة على المجموعة الفراكتالية ℘ من الأبعاد الـكسور ية )‪ . ε(0 < ε < 1‬لنفترض أن )‪ φ(µ‬يحدها‬
‫]‪) [a, b‬أو]‪،(φ(µ) ∈ Cε [a, b‬إذن هو شرط ضروري و كاف لوجود ‪:‬‬
‫∫‬ ‫‪b‬‬
‫‪1‬‬
‫‪φ(µ)(dµ)ε‬‬ ‫)‪(47.1‬‬
‫)‪Γ(1 + ε‬‬ ‫‪a‬‬

‫إذن المجموعة الفراكتالية من الإستمرار ية الـكسر ية المحلية للدالة )‪ φ(µ‬لها مقياس ‪ Lebesgue‬الصفر المعمم‪.‬‬

‫‪12‬‬
‫تعار يف المشتقات و التكاملات الـكسر ية المحلية‬ ‫الفصل الأول‬

‫تعر يف ‪4.5.1‬‬
‫لنفترض أن ]‪ ، φ(µ) ∈ Cε [a, b‬و )‪ φ(µ‬تكامل كسري محلي في المجال ]‪ ، [a, b‬و يمكننا كتابة القواعد التالية‪:‬‬

‫في حالة ‪.a = b‬‬ ‫)‪= 0 (1‬‬

‫)‪(ε‬‬
‫)‪a Ib φ(µ‬‬

‫في حالة ‪.a < b‬‬ ‫)‪= −b Ia φ(µ) (2‬‬

‫)‪(ε‬‬ ‫)‪(ε‬‬
‫)‪a Ib φ(µ‬‬

‫في حالة ‪.ε = 0‬‬ ‫)‪= φ(µ) (3‬‬

‫)‪(ε‬‬
‫)‪a Ib φ(µ‬‬

‫‪13‬‬
 ‫ﺍﻟﻔﺼﻞ ﺍﻟﺜﺎﻧﻲ‬
‫ﺍﻟﻤﺸﺘﻘﺎﺕ ﺍﻟﻜﺴﺮﻳﺔ ﺍﻟﻤﺤﻠﻴﺔ‬
‫قائمة المحتو يــات‬
‫‪ 1.2‬خواص و مبرهنات المشتقات الـكسر ية المحلية ‪15 . . . . . . . . . . . . . . . . . . . . . . . .‬‬
‫‪16‬‬ ‫‪ 1.1.2‬مقارنات لمعادلة علاقة الفراكتال في دوال نواة الفراكتال ‪. . . . . . . . . . . . . . . .‬‬
‫‪18‬‬ ‫‪ 2.1.2‬مقارنات لمعادلة إنتشار الفراكتال في دوال نواة الفراكتال ‪. . . . . . . . . . . . . . . .‬‬
‫‪20‬‬ ‫‪. . . . . . . . . . . . . . . . . . . . . . .‬‬ ‫‪ 3.1.2‬مشتقات كسر ية عبر فروق كسر ية‬
‫‪22‬‬ ‫‪ 4.1.2‬مشتقات كسر ية مع أو بدون نواة منفردة و إصدارات أخرى للمشتقات الـكسر ية ‪. . . . . .‬‬

‫‪14‬‬
‫المشتقات الـكسر ية المحلية‬ ‫الفصل الثاني‬

‫خواص و مبرهنات المشتقات الـكسر ية المحلية‬ ‫‪1.2‬‬

‫مبرهنة ‪) 1.1.2‬مبرهنة رول (‬
‫لنفترض أن ]‪ Φ(µ) ∈ Dε (a, b) ، Φ(µ) ∈ Cε [a, b‬و )‪.Φ(a) = Φ(b‬فإنه توجد نقطة )‪ µ0 ∈ (a, b‬و ]‪ ε ∈ (0, 1‬حيث‪:‬‬

‫‪Φ(ε) (µ0 ) = 0‬‬ ‫)‪(1.2‬‬

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

‫)‪ (1‬إذا كانت ]‪ Φ(µ) = 0 ∈ [a, b‬و )‪ ∀µ0 ∈ (a, b‬فإن‪.Φ(ε) (µ0 ) = 0 :‬‬

‫)‪ (2‬إذا كانت ]‪. Φ(µ) ̸= 0 ∈ [a, b‬‬

‫* في هذه الحالة لدينا )‪ Φ(µ‬دالة محلية كسر ية مستمرة على المجال ]‪ ، Cε [a, b‬ومنة توجد نقطتين تصل فيهما )‪ Φ(µ‬حديها‬
‫الأعلى و الأدنى ‪ ،‬نرمز لهما ب ‪ T‬و ‪ t‬على الترتيب ‪.‬‬

‫* لأن ‪ ، Φ(µ) ̸= 0‬فإنه على الأقل ‪ T‬و ‪ t‬لا تساو يان الصفر‪.‬‬

‫* نفرض أن ‪ T ̸= 0‬و ‪ . Φ(µ0 ) = T‬في هذه الحالة يكون ‪:‬‬

‫) ‪Φ(µ0 + ∆µ) ≤ Φ(µ0‬‬ ‫)‪(2.2‬‬

‫* إذا كان ‪ ∆µ > 0‬فإن ‪:‬‬

‫]) ‪∆ε [Φ(µ0 + ∆µ) − Φ(µ0‬‬

‫‪≤0‬‬ ‫)‪(3.2‬‬
‫‪(∆µ)ε‬‬
‫و‬

‫]) ‪∆ε [Φ(µ0 + ∆µ) − Φ(µ0‬‬

‫‪lim‬‬ ‫‪≤0‬‬ ‫)‪(4.2‬‬
‫‪∆µ→0‬‬ ‫‪(∆µ)ε‬‬

‫* بطر يقة مماثلة ‪ ،‬لما نأخذ ‪. ∆µ < 0 :‬‬

‫* لدينا )‪ Φ(µ) ∈ Dε (a, b‬وبطر يقة مماثلة في حالة ‪ T = 0:‬و ‪ t ̸= 0‬نجد ‪.(1.2 ):‬‬

‫مبرهنة ‪2.2.2‬‬
‫لنفترض أن ]‪ Φ(µ) ∈ Cε [a, b‬و )‪ . Φ(µ) ∈ Dε (a, b‬ومنه توجد نقطة )‪ µ0 ∈ (a, b‬و ]‪ ε ∈ (0, 1‬ونكتب ‪:‬‬

‫‪(b − a)ε‬‬
‫) ‪Φ(a) − Φ(b) = Φ(ε) (µ0‬‬ ‫)‪(5.2‬‬
‫)‪Γ(1 + ε‬‬

‫‪15‬‬
‫المشتقات الـكسر ية المحلية‬ ‫الفصل الثاني‬

‫البرهان ‪1.2.2‬‬
‫لتكن الدالة غير القابلة للتفاضل ‪،‬المعرفة ب ‪:‬‬
‫{‬ ‫}‬
‫‪(µ − a)ε‬‬
‫])‪Λ = Γ(1 + ε) [Φ(µ) − Φ(a)] − [Φ(b) − Φ(a‬‬ ‫)‪(6.2‬‬
‫‪(b − a)ε‬‬

‫حيث ]‪ Λ(a) = 0 ، ε ∈ (0, 1‬و ‪. Λ(b) = 0‬‬

‫في هذه الحالة ‪ ،‬إذا كان )‪ µ0 ∈ (a, b‬فإنة توجد متطابقة أنتجت من الشكل التالي‪:‬‬
‫{‬ ‫}‬
‫‪(µ − a)ε‬‬
‫])‪Λ = Γ(1 + ε) [Φ(µ) − Φ(a)] − [Φ(b) − Φ(a‬‬ ‫)‪(7.2‬‬
‫‪(b − a)ε‬‬

‫ومنه نحصل على النتيجة ) ‪.( 5.2‬‬

‫مبرهنة ‪ ) 3.3.2‬كسور محلية إستمرار ية (‬

‫لنفترض أن ) ‪ limµ→µ0 Φ(µ) = Φ(µ0‬و ) ‪ ، limµ→µ0 Θ(µ) = Θ(µ0‬ونكتب ‪:‬‬

‫)‪limµ→µ0 [Φ(µ) ± Θ(µ)] = Φ(µ0 ) ± Θ(µ0 ) (1‬‬

‫)‪limµ→µ0 | Φ(µ) |=| Φ(µ0 ) | (2‬‬

‫)‪limµ→µ0 [Φ(µ)Θ(µ)] = Φ(µ0 )Θ(µ0 ) (3‬‬

‫)‪ ، limµ→µ0 [Φ(µ)/Θ(µ)] = Φ(µ0 )/Θ(µ0 ) (4‬بحيث ‪.Θ(µ0 ) ̸= 0‬‬

‫للحصول على تفاصيل البراهين الشكلي لصلاحية هذه القواعد الأربعة‪،‬انظر ]‪.[21 ,16 ,1‬‬
‫تعد المبرهنة السابقة نتيجة طبيعية معممة لتلك المعروفة عندما تكون الرتبة عدد صحيح إ يجابي‪.‬‬

‫مقارنات لمعادلة علاقة الفراكتال في دوال نواة الفراكتال‬ ‫‪1.1.2‬‬

‫معادلة علاقة الفراكتال من )‪ (29.1‬معطاة كما يلي‪:‬‬

‫‪D(ε) Φ(µ) + ωΦ(µ) = 0‬‬ ‫)‪(8.2‬‬

‫‪16‬‬
‫المشتقات الـكسر ية المحلية‬ ‫الفصل الثاني‬

‫شكل ‪ :1.2‬منحنى لمقياس ‪ Hausdorff‬البعدي ‪ ε‬حيث ‪ε = ln 2/ ln 3‬‬

‫حيث ‪ Φ(0) = 1‬هو حلها ونكتب ‪:‬‬

‫))‪Φ(µ) = e(−ωFc (µ‬‬ ‫)‪(9.2‬‬

‫حيث )‪ Fc (µ‬هي دالة ‪ Lebesgue–Cantor‬و ‪Fc (µ) ∼ µε‬‬

‫معادلة علاقة الفراكتال بمساعدة )‪ ( 30.1‬معطى ب ]‪: [26‬‬

‫‪D(ε) Φ(µ) + ωΦ(µ) = 0‬‬ ‫)‪(10.2‬‬

‫حيث ‪ Φ(0) = 1‬و يتم حلها بواسطة ‪:‬‬

‫)‪(11.2‬‬
‫)‪ε‬‬
‫‪Φ(µ) = e(−ωµ‬‬

‫معادلة علاقة الفراكتال بإستخدام )‪) (31.1‬انظر ]‪:([19‬‬

‫‪D(ε) Φ(µ) + ωΦ(µ) = 0‬‬ ‫)‪(12.2‬‬

‫حيث ‪ Φ(0) = 1‬حل له‪.‬‬

‫)‪(13.2‬‬
‫‪ε−1‬‬
‫‪Φ(µ) = e(−ωΥη0‬‬ ‫)‪µ‬‬

‫حيث ‪.σ = Υη0ε−1 µ‬‬

‫تعتمد معادلة علاقة الفراكتال على ) ‪ (32.1‬ونكتب )أنظر ]‪:([26‬‬

‫‪D(ε) Φ(µ) + ωΦ(µ) = 0‬‬ ‫)‪(14.2‬‬

‫‪17‬‬
‫المشتقات الـكسر ية المحلية‬ ‫الفصل الثاني‬

‫شكل ‪ :2.2‬مخطط )‪ Φ(µ‬عندما ‪ ω = 1‬و ‪ε = ln 2/ ln 3‬‬

‫) ‪Φ(µ) = Eε (−ωµε‬‬ ‫)‪(15.2‬‬

‫∞∑‬
‫= ) ‪ Eε (−ωµε‬يتم تعر يفه على مجموعات ‪. Cantor‬الرسم المقابل إذا كان ‪ ω = 1‬و ‪ε = ln 2/ ln 3‬‬ ‫‪(−1)ω i µεi‬‬
‫)‪i=0 Γ(1+εi‬‬ ‫حيث‬
‫يظهر في الشكل )‪.(2.2‬‬

‫مقارنات لمعادلة إنتشار الفراكتال في دوال نواة الفراكتال‬ ‫‪2.1.2‬‬

‫معادلة إنتشار الفراكتال مبنية على أساس ) ‪ (31.1‬يتم تقديمها على النحو التالي )أنظر ]‪:([8‬‬

‫)‪∂ ε (σ, µ‬‬ ‫)‪∂ 2 Φ(σ, µ‬‬

‫=‬ ‫‪Λ‬‬ ‫)‪(16.2‬‬
‫‪∂µε‬‬ ‫‪∂σ 2‬‬
‫حيث ‪ Λ = Γ(1 + ε)χc (µ)/4‬و يتم حلها بواسطة ‪:‬‬

‫‪σ2‬‬
‫‪(−‬‬ ‫)‬
‫‪1‬‬
‫√ = )‪Φ(σ, µ‬‬ ‫)‪e Fc (µ‬‬ ‫)‪(17.2‬‬
‫)‪πFc (µ‬‬
‫حيث )‪ Fc (µ‬هو معادلة ‪ Lebesgue–Cantor‬و )‪ χc (µ‬هي دالة العضو ية لمجموعة ‪. Cantor‬‬
‫نذكر أن معادلة إنتشار الفراكتال ضمن )‪ (30.1‬لها الشكل ]‪:[17‬‬
‫)‪∂ ε (σ, µ‬‬ ‫)‪∂ 2ς Φ(σ, µ‬‬
‫=‬ ‫‪Λ‬‬ ‫)‪(18.2‬‬
‫‪∂µε‬‬ ‫‪∂σ 2ς‬‬
‫حيث ‪ 0 < ς ≤ 1‬و ‪ Λ‬هو تلامس ‪ ،‬والحل هو ‪:‬‬
‫‪1‬‬ ‫‪σ 2σ‬‬
‫√ = )‪Φ(σ, µ‬‬ ‫‪ε‬‬
‫‪e‬‬ ‫‪(− 4Λµ‬‬ ‫)‪ε‬‬
‫)‪(19.2‬‬
‫‪4πΛµ‬‬

‫معادلة إنتشار الفراكتال مبنية على أساس )‪.(31.1‬لديها الشكل ‪:‬‬

‫)‪∂ ε (σ, µ‬‬ ‫)‪∂ 2ς Φ(σ, µ‬‬
‫=‬ ‫‪Λ‬‬ ‫)‪(20.2‬‬
‫‪∂µε‬‬ ‫‪∂σ 2ς‬‬

‫‪18‬‬
‫المشتقات الـكسر ية المحلية‬ ‫الفصل الثاني‬

‫حيث ‪ 0 < ς ≤ 1‬و ‪ Λ‬هو تلامس ‪ ،‬و يتم إعطاء حلها بواسطة ‪:‬‬
‫‪‬‬ ‫‪2‬‬
‫‪‬‬
‫‪1−ζ‬‬
‫‪− ( 0‬‬
‫‪ιξ‬‬ ‫)‪σ‬‬
‫‪‬‬
‫‪1‬‬ ‫‪1−ε µ‬‬
‫)‪(21.2‬‬
‫‪4ΛΥη0‬‬
‫√ = )‪Φ(σ, µ‬‬ ‫‪e‬‬
‫‪4πΛΥη01−ε µ‬‬

‫نذكر أدناه معادلة إنتشار الفراكتال على أساس )‪: [23](32.1‬‬

‫)‪∂ ε Φ(σ, µ‬‬ ‫)‪∂ 2ε Φ(σ, µ‬‬

‫=‬ ‫‪Λ‬‬ ‫)‪(22.2‬‬
‫‪∂µε‬‬ ‫‪∂σ 2ε‬‬

‫حيث ‪ Λ‬هو تلامس ‪ ،‬و يتم إعطاء حلها بواسطة ‪:‬‬

‫‪σ 2ε‬‬
‫‪Φ(σ, µ) = Φ0 µ Eε (−‬‬ ‫‪βε‬‬
‫)‬ ‫)‪(23.2‬‬
‫‪(4Λµ)ε‬‬
‫‪∑ 2ε (−1)i ωi µ2εi‬‬
‫∞ = ) ‪ Eε (−ωµ2ε‬معرفة على مجموعات ‪ Cantor‬ورسمها ‪ ،‬عندما ‪ ω = 1‬و ‪ε = ln 2/ ln 3‬‬ ‫‪i=0 2‬‬ ‫)‪Γ(1+εi‬‬
‫حيث‬
‫]‪ [23‬يظهر في الشكل )‪. (3.2‬‬
‫عندما ‪ Λ = 1‬نستنتج أن ‪:‬‬
‫(‬ ‫)‬
‫‪σ 2ε‬‬
‫‪Φ(σ, µ) = Φ0,0 µ Eε −‬‬ ‫‪βε‬‬
‫)‪(24.2‬‬
‫‪(4µ)ε‬‬

‫ومنه ]‪: [21‬‬

‫)‪Φ(σ, 0) = δε (σ‬‬ ‫)‪(25.2‬‬

‫أدناه ‪ ،‬نقدم تعر يفا جديد لدالة ‪ Dirac‬الـكسر ية المحلية ‪ ،‬وهي‪:‬‬

‫(‬ ‫)‬
‫‪σ 2ε‬‬
‫‪δε (σ) = lim Φ0,0 µ Eε −‬‬ ‫‪βε‬‬
‫)‪(26.2‬‬
‫‪µ→0‬‬ ‫‪(4µ)ε‬‬

‫ومنه ]‪ ، [27‬لدينا ‪:‬‬

‫∫‬ ‫∞‬ ‫(‬ ‫)‬
‫‪1‬‬ ‫‪1‬‬ ‫‪σ 2ε‬‬
‫‪ε‬‬ ‫‪Eε −‬‬ ‫‪(dσ)ε‬‬ ‫)‪(27.2‬‬
‫)‪Γ(1 + ε‬‬ ‫)‪−∞ (4πµ‬‬
‫‪2‬‬ ‫‪(4µ)ε‬‬
‫)‪Γ(1+ε‬‬

‫لهذا السبب‪:‬‬
‫(‬ ‫)‬
‫‪1‬‬ ‫‪σ 2ε‬‬
‫‪δε (σ) = lim‬‬ ‫‪ε‬‬ ‫‪Eε −‬‬ ‫)‪(28.2‬‬
‫‪µ→0 (4πµ) 2‬‬ ‫‪(4µ)ε‬‬
‫)‪Γ(1+ε‬‬

‫‪19‬‬
‫المشتقات الـكسر ية المحلية‬ ‫الفصل الثاني‬

‫شكل ‪ :3.2‬منحنيات مسافة التركيز للمصدر غير القابل للتفاضل )أنظر ]‪([23‬‬

‫وبالتالي وبمساعدة )‪ (26.2‬و )‪ (28.2‬نحصل على ‪:‬‬

‫‪1‬‬
‫= ‪Φ0,0‬‬ ‫‪ε‬‬ ‫)‪(29.2‬‬
‫‪(4π) 2‬‬
‫)‪Γ(1+ε‬‬
‫و‬
‫‪ε‬‬
‫‪β=−‬‬ ‫)‪(30.2‬‬
‫‪2‬‬
‫بطر يقة مماثلة ‪ ،‬نحصل عليها ‪:‬‬
‫∫‬ ‫∞‬ ‫(‬ ‫)‬
‫‪1‬‬ ‫‪1‬‬ ‫‪σ 2ε‬‬
‫‪ε‬‬ ‫‪Eε −‬‬ ‫‪ε‬‬
‫‪(dσ)ε‬‬ ‫)‪(31.2‬‬
‫)‪Γ(1 + ε‬‬ ‫)‪−∞ (4πΛµ‬‬
‫‪2‬‬ ‫)‪(4Λµ‬‬
‫)‪Γ(1+ε‬‬

‫لذلك ‪ ،‬هناك دالة ‪ Dirac‬كسر ية محلية محددة بواسطة ‪:‬‬

‫‪1‬‬ ‫‪σ 2ε‬‬
‫‪δε (σ) = lim‬‬ ‫‪ε‬‬ ‫‪Eε (−‬‬ ‫)‬ ‫)‪(32.2‬‬
‫‪µ0 →0 (4πΛµ) 2‬‬ ‫‪(4Λµ)ε‬‬
‫)‪Γ(1+ε‬‬

‫لهذا السبب‪:‬‬
‫‪1‬‬
‫= ‪Φ0‬‬ ‫‪ε‬‬ ‫)‪(33.2‬‬
‫‪(4πµ) 2‬‬
‫)‪Γ(1+ε‬‬

‫مشتقات كسر ية عبر فروق كسر ية‬ ‫‪3.1.2‬‬

‫تم تطبيق المشتقات الـكسر ية عبر الفروق الـكسر ية ليحل مسائل عددية إلى معادلات تفاضلية كسر ية في الفيز ياء الر ياضية ‪.‬‬
‫مشتق ‪ Letnikov – Grünwald‬للدالة )‪ Φ(µ‬من رتبة كسر ية )≤ ‪ [[34]-[28],[6]] ε(0 < ε‬هو مشتق كسري عبر فرق‬
‫كسري ‪ ،‬معطى ب ‪:‬‬
‫)‪dε Φ(µ‬‬ ‫)‪∆ε Φ(µ‬‬
‫= )‪D(ε) Φ(µ‬‬ ‫‪= lim‬‬ ‫)‪(34.2‬‬
‫‪dµε‬‬ ‫‪µ=µ0‬‬
‫‪ρ→0‬‬ ‫‪ρε‬‬

‫‪20‬‬
‫المشتقات الـكسر ية المحلية‬ ‫الفصل الثاني‬

‫حيث حد الفرق الـكسري هو ‪:‬‬

‫) (‬
‫∑‬
‫∞‬
‫‪ε‬‬
‫= )‪∆ε Φ(µ‬‬ ‫‪(−1)i‬‬ ‫)‪Φ(µ − iρ‬‬ ‫)‪(35.2‬‬
‫‪i=0‬‬
‫‪i‬‬
‫) (‬
‫‪ε‬‬
‫‪.‬‬ ‫)‪Γ(1+ε‬‬
‫)‪= Γ(1+i)Γ(1+ε−i‬‬ ‫و‬
‫‪i‬‬
‫المشتق الـكسري للدالة )‪ Φ(µ‬من رتبة كسر ية )≤ ‪ [37 ,36 ,35] ε(0 < ε‬هو مشتق كسري عبر فرق كسري ‪ ،‬معطى ب ‪:‬‬

‫)‪dε Φ(µ‬‬ ‫)‪∆ε Φ(µ‬‬

‫= )‪D(ε) Φ(µ‬‬ ‫‪= lim‬‬ ‫)‪(36.2‬‬
‫‪dµε‬‬ ‫‪µ=µ0‬‬
‫‪ρ→0‬‬ ‫‪ρε‬‬

‫حيث حد الفرق الـكسري هو ‪:‬‬

‫) (‬
‫∑‬
‫∞‬
‫‪ε‬‬
‫= )‪∆ε Φ(µ‬‬ ‫‪(−1)i‬‬ ‫)‪Φ(µ − (ε − i)ρ‬‬ ‫)‪(37.2‬‬
‫‪i=0‬‬
‫‪i‬‬

‫المشتق الـكسري للدالة )‪ Φ(µ‬من رتبة كسر ية )≤ ‪ [38] ε(0 < ε‬وهو مشتق كسري عبر فرق كسري ‪،‬معطى ب ‪:‬‬

‫)‪dε Φ(µ‬‬ ‫])‪∆ε [Φ(µ) − Φ0 (µ‬‬

‫= )‪D(ε) Φ(µ‬‬ ‫‪= lim‬‬ ‫)‪(38.2‬‬
‫‪dµε‬‬ ‫‪µ=µ0‬‬
‫‪ρ→0‬‬ ‫‪ρε‬‬

‫حيث حد الفرق الـكسري هو ‪:‬‬

‫) (‬
‫∑‬
‫∞‬
‫‪ε‬‬
‫= )‪∆ε Φ(µ‬‬ ‫‪(−1)i‬‬ ‫)‪Φ(µ − (ε − i)ρ‬‬ ‫)‪(39.2‬‬
‫‪i=0‬‬
‫‪i‬‬

‫المشتق الـكسري للدالة )‪ Φ(µ‬من رتبة التغير )‪ [24] ε(µ)(0 < ε(µ) ≤ 1‬معرف ب ‪:‬‬

‫)‪dε(µ) Φ(µ‬‬ ‫])‪∆ε(µ) [Φ(µ) − Φ0 (µ‬‬

‫= )‪D(ε(µ)) Φ(µ‬‬ ‫‪= lim‬‬ ‫)‪(40.2‬‬
‫)‪dµε(µ‬‬ ‫‪µ=µ0‬‬
‫‪ρ→0‬‬ ‫)‪ρε(µ‬‬

‫حيث حد الفرق الـكسري هو ‪:‬‬

‫∑‬
‫∞‬
‫‪1‬‬
‫∆‬ ‫)‪ε(µ‬‬
‫= )‪Φ(µ‬‬ ‫‪(−1)i‬‬ ‫)‪Φ(µ − (ε(µ) − i)ρ‬‬ ‫)‪(41.2‬‬
‫‪i=0‬‬
‫))‪Γ(i − ε(µ‬‬

‫مشتق ‪ Grünwald–Letnikov–Riesz‬للدالة )‪ Φ(µ‬من رتبة كسر ية )≤ ‪ ε(0 < ε‬عبر مشتق ‪[39] Letnikov – Grünwald‬‬
‫المعرفة ب ‪:‬‬
‫‪[ ε‬‬ ‫‪ε‬‬
‫]‬
‫‪ε‬‬ ‫∆‬ ‫)‪Φ(µ‬‬ ‫‪+‬‬ ‫∆‬ ‫‪Φ‬‬ ‫)‪(µ‬‬
‫‪d‬‬ ‫)‪Φ(µ‬‬ ‫‪−‬‬
‫)‪(42.2‬‬
‫‪+‬‬ ‫‪0‬‬
‫= )‪D(ε) Φ(µ‬‬ ‫‪= cε lim‬‬
‫‪dµε µ=µ0‬‬ ‫‪ρ→0‬‬ ‫‪ρε‬‬

‫حيث‪:‬‬
‫‪1‬‬
‫= ‪cε‬‬ ‫)‪(43.2‬‬
‫‪2 cos( πε‬‬
‫‪2‬‬
‫)‬

‫وحدودها الفروق الـكسر ية‪.‬‬

‫‪21‬‬
‫المشتقات الـكسر ية المحلية‬ ‫الفصل الثاني‬

‫* إذا كان ‪ ρ > 0‬فإن ‪:‬‬

‫) (‬
‫∑‬
‫∞‬
‫‪ε‬‬
‫= )‪∆ε+ Φ(µ‬‬ ‫|‪(−1)|i‬‬ ‫)‪Φ(µ − iρ‬‬ ‫)‪(44.2‬‬
‫‪i=0‬‬
‫‪i‬‬

‫) (‬ ‫* إذا كان ‪ ρ < 0‬فإن‪:‬‬

‫∑‬
‫∞‬
‫‪ε‬‬
‫= )‪∆ε− Φ(µ‬‬ ‫|‪(−1)|i‬‬ ‫)‪Φ(µ + iρ‬‬
‫‪i=0‬‬
‫‪i‬‬

‫مشتقات كسر ية مع أو بدون نواة منفردة و إصدارات أخرى للمشتقات الـكسر ية‬ ‫‪4.1.2‬‬
‫وجدت المشتقات الـكسر ية ذات النواة المفردة تطبيقات شائعة في حقول العلماء والمهندسين ‪ .‬نذكر بعضها ‪ ،‬على سبيل المثال ‪:‬‬
‫‪ Cossar ، Canavati ، Chen ، Hadamard ، Marchaud ، Weyl ، Caputo ، Liouville – Riemann ، Liouville‬و ‪Riesz‬‬
‫‪.‬كما نوقشت مؤخرا التفاصيل المتعلقة بالمشتقات الـكسر ية المطابقة ]‪.[41 ,40‬وقد تم إقتراح إصدارات ‪ Riemann‬و ‪Caputo‬‬
‫المعممة من المشتقات الـكسر ية ]‪.[42‬و المشتق الـكسري بدون نواة مفردة و بعض خصائصه حيث تمت مناقشته مؤخرا في‬
‫]‪ .[44 ,43‬أدناه ‪،‬نقدم تعر يفات مشتقات كسور مع أو بدون نواة مفردة وكذلك المشتقات الـكسر ية المطابقة‪.‬‬
‫المشتق الـكسري ‪ Liouville‬للدالة )‪ Φ(µ‬من الرتبة الـكسر ية ‪ ε‬المعرف ب ‪:‬‬
‫∫‬ ‫‪µ‬‬
‫‪1‬‬ ‫‪d‬‬ ‫)‪Φ(λ‬‬
‫)‪(ε‬‬
‫= )‪D Φ(µ‬‬ ‫‪dλ‬‬ ‫)‪(46.2‬‬
‫‪Γ(1 − ε) dµ‬‬ ‫∞‪−‬‬ ‫‪(µ − λ)ε‬‬

‫حيث ∞ < ‪ −∞ < µ‬و ‪ ε‬هو عدد حقيقي‪.‬‬

‫المشتق الـكسري من الجانب الأيسر ‪ Liouville‬للدالة )‪ Φ(µ‬من الرتبة الـكسر ية ‪ ε‬المعرف ب ‪:‬‬
‫∫‬ ‫‪µ‬‬
‫‪1‬‬ ‫‪dn‬‬ ‫)‪Φ(λ‬‬
‫)‪(47.2‬‬
‫)‪(ε‬‬
‫)‪D+ Φ(µ‬‬ ‫=‬ ‫‪dλ‬‬
‫‪Γ(n − ε) dµn‬‬ ‫‪0‬‬ ‫‪(µ − λ)ε+1−n‬‬
‫حيث ‪ n،0 < µ‬عدد صحيح و ‪ ε‬عدد حقيقي‪.‬‬
‫المشتق الـكسري من الجانب الأيمن ‪ Liouville‬للدالة )‪ Φ(µ‬من الرتبة الـكسر ية ‪ ε‬المعرف ب ‪:‬‬
‫∫‬ ‫‪µ‬‬
‫‪(−1)n dn‬‬ ‫)‪Φ(λ‬‬
‫)‪(48.2‬‬
‫)‪(ε‬‬
‫)‪D− Φ(µ‬‬ ‫=‬ ‫‪dλ‬‬
‫‪Γ(n − ε) dµn‬‬ ‫∞‪−‬‬ ‫‪(µ − λ)ε+1−n‬‬

‫حيث ∞ < ‪ n ، µ‬عدد صحيح ‪ ،‬و ‪ ε‬عدد حقيقي‪.‬‬

‫المشتق الـكسري من الجانب الأيسر ‪ Riemann-Liouville‬للدالة )‪ Φ(µ‬من الرتبة الـكسر ية ‪ ε‬المعرف ب ‪:‬‬
‫∫‬ ‫‪µ‬‬
‫‪1‬‬ ‫‪dn‬‬ ‫)‪Φ(λ‬‬
‫)‪(49.2‬‬
‫)‪(ε‬‬
‫)‪Da+ Φ(µ‬‬ ‫=‬ ‫‪dλ‬‬
‫‪Γ(n − ε) dµn‬‬ ‫‪a‬‬ ‫‪(µ − λ)ε+1−n‬‬
‫حيث ‪ n ، a ≤ µ‬عدد صحيح و ‪ ε‬عدد حقيقي‪.‬‬
‫المشتق الـكسري من الجانب الأيمن ‪ Riemann-Liouville‬للدالة )‪ Φ(µ‬من الرتبة الـكسر ية ‪ ε‬المعرف ب ‪:‬‬
‫∫‬ ‫‪b‬‬
‫‪(−1)n dn‬‬ ‫)‪Φ(λ‬‬
‫)‪(50.2‬‬
‫)‪(ε‬‬
‫)‪Da+ Φ(µ‬‬ ‫=‬ ‫‪dλ‬‬
‫‪Γ(n − ε) dµn‬‬ ‫‪µ‬‬ ‫‪(µ − λ)ε+1−n‬‬

‫‪22‬‬
‫المشتقات الـكسر ية المحلية‬ ‫الفصل الثاني‬

‫حيث ‪ n ،µ ≤ b‬عدد صحيح و ‪ ε‬عدد حقيقي‪.‬‬

‫المشتق الـكسري من الجانب الأيسر ‪ Caputo‬للدالة )‪ Φ(µ‬من الرتبة الـكسر ية ‪ ε‬المعرف ب ‪:‬‬
‫∫‬ ‫‪µ‬‬ ‫‪[ n‬‬ ‫]‬
‫‪1‬‬ ‫‪1‬‬ ‫‪d‬‬
‫)‪(51.2‬‬
‫)‪(ε‬‬
‫)‪Da+ Φ(µ‬‬ ‫=‬ ‫‪Φ(λ) dλ‬‬
‫)‪Γ(n − ε‬‬ ‫‪a‬‬ ‫‪(µ − λ)ε+1−n dλn‬‬

‫هنا‪ n ، a ≤ µ‬عدد صحيح و ‪ ε‬عدد حقيقي‪.‬‬

‫المشتق الـكسري من الجانب الأيمن ‪ Caputo‬للدالة )‪ Φ(µ‬من الرتبة الـكسر ية ‪ ε‬المعرف ب ‪:‬‬
‫∫‬ ‫‪b‬‬ ‫‪[ n‬‬ ‫]‬
‫‪(−1)n‬‬ ‫‪1‬‬ ‫‪d‬‬
‫)‪(52.2‬‬
‫)‪(ε‬‬
‫)‪Da+ Φ(µ‬‬ ‫=‬ ‫‪Φ(λ) dλ‬‬
‫)‪Γ(n − ε‬‬ ‫‪µ‬‬ ‫‪(µ − λ)ε+1−n dλn‬‬

‫حيث ‪ n ، µ ≤ b‬عدد صحيح و ‪ ε‬عدد حقيقي‪.‬‬

‫المشتق الـكسري ‪ Weyl‬للدالة )‪ Φ(µ‬من الرتبة الـكسر ية ‪) ε‬عوضا عن تعر يف ؛ أنظر ]‪ ([24‬المعرف ب ‪:‬‬
‫∫‬ ‫∞‬
‫‪1‬‬ ‫‪dn‬‬ ‫)‪Φ(λ‬‬
‫)‪Dµ(ε) Φ(µ‬‬ ‫=‬ ‫‪dλ‬‬ ‫)‪(53.2‬‬
‫‪Γ(n − ε) dµn‬‬ ‫‪µ‬‬ ‫‪(µ − λ)ε+1−n‬‬

‫هنا ‪ n‬عدد صحيح و ‪ ε‬عدد حقيقي‪.‬‬

‫المشتق الـكسري ‪ Marchaud‬للدالة )‪ Φ(µ‬من الرتبة الـكسر ية ‪ ε‬المعرف ب ‪:‬‬
‫∫‬ ‫∞‬
‫}‪{ε‬‬ ‫])‪[Φ(µ) − Φ(λ‬‬
‫)‪(54.2‬‬
‫)‪(ε‬‬
‫)‪D+ Φ(µ‬‬ ‫=‬ ‫‪dλ‬‬
‫)}‪Γ(1 − {ε‬‬ ‫‪µ‬‬ ‫‪(µ − λ){ε}+1‬‬

‫حيث }‪.ε = [ε] + {ε‬‬

‫المشتق الـكسري من الجانب الأيسر ‪ Marchaud‬للدالة )‪ Φ(µ‬من الرتبة ‪ ε‬المعرف ب ‪:‬‬
‫∫‬ ‫∞‬
‫)]‪[ ([ε‬‬ ‫]‬
‫}‪{ε‬‬ ‫)‪Φ (µ) − Φ([ε]) (µ − λ‬‬
‫)‪(55.2‬‬
‫)‪(ε‬‬
‫)‪D+ Φ(µ‬‬ ‫=‬ ‫‪dλ‬‬
‫)}‪Γ(1 − {ε‬‬ ‫‪µ‬‬ ‫‪λ{ε}+1‬‬

‫حيث }‪.ε = [ε] + {ε‬‬

‫المشتق الـكسري من الجانب الأيمن ‪ Marchaud‬للدالة )‪ Φ(µ‬من الرتبة ‪ ε‬المعرف ب ‪:‬‬
‫∫‬ ‫)]‪[ ([ε‬‬ ‫]‬
‫}‪{ε‬‬ ‫‪µ‬‬
‫)‪Φ (µ) − Φ([ε]) (µ + λ‬‬
‫)‪(56.2‬‬
‫)‪(ε‬‬
‫= )‪D− Φ(µ‬‬ ‫‪dλ‬‬
‫)}‪Γ(1 − {ε‬‬ ‫‪0‬‬ ‫‪λ{ε}+1‬‬

‫حيث }‪.ε = [ε] + {ε‬‬

‫أدناه ‪ ،‬المشتق الـكسري ‪ Hadamard‬للدالة )‪ Φ(µ‬من الرتبة الـكسر ية ‪ ε‬المعرف ب ‪:‬‬
‫∫‬
‫‪ε‬‬ ‫‪µ‬‬
‫‪[Φ(µ) − Φ(λ)] dλ‬‬
‫)‪(57.2‬‬
‫)‪(ε‬‬
‫)‪D+ Φ(µ‬‬ ‫=‬
‫)‪Γ(1 − ε‬‬ ‫‪0‬‬ ‫‪[ln(µ/λ)]ε+1 λ‬‬

‫حيث ‪ ε‬عدد حقيقي ‪.‬‬

‫الآن ‪ ،‬نحدد المشتق الـكسري من الجانب الأيسر ‪ Chen‬للدالة )‪ Φ(µ‬من الرتبة الـكسر ية ‪ ε‬من الشكل ‪:‬‬
‫∫‬ ‫‪µ‬‬
‫‪1‬‬ ‫‪d‬‬ ‫)‪Φ(λ‬‬
‫)‪Da(ε) Φ(µ‬‬ ‫=‬ ‫‪dλ‬‬ ‫)‪(58.2‬‬
‫‪Γ(1 − ε) dµ‬‬ ‫‪a‬‬ ‫‪(µ − λ)ε‬‬

‫‪23‬‬
‫المشتقات الـكسر ية المحلية‬ ‫الفصل الثاني‬

‫حيث ‪ a ≤ µ‬و ‪ ε‬عدد حقيقي‪.‬‬

‫المشتق الـكسري من الجانب الأيمن ‪ Chen‬للدالة )‪ Φ(µ‬من الرتبة الـكسر ية ‪ ε‬المعرف ب ‪:‬‬
‫∫‬ ‫‪b‬‬
‫‪1‬‬ ‫‪d‬‬ ‫)‪Φ(λ‬‬
‫)‪Da(ε) Φ(µ‬‬ ‫‪=−‬‬ ‫‪dλ‬‬ ‫)‪(59.2‬‬
‫‪Γ(1 − ε) dµ‬‬ ‫‪µ‬‬ ‫‪(µ − λ)ε‬‬

‫حيث ‪ µ ≤ b‬و ‪ ε‬عدد حقيقي‪.‬‬

‫المشتق الـكسري ‪ Canavati‬للدالة )‪ Φ(µ‬من الرتبة الـكسر ية ‪ ε‬المعرف ب ‪:‬‬
‫∫‬ ‫‪µ‬‬ ‫‪[ n‬‬ ‫]‬
‫‪1‬‬ ‫‪d‬‬ ‫‪1‬‬ ‫∂‬
‫)‪(ε‬‬
‫= )‪D Φ(µ‬‬ ‫‪Φ(λ) dλ‬‬ ‫)‪(60.2‬‬
‫‪Γ(1 − ε) dµ‬‬ ‫‪0‬‬ ‫‪(µ − λ)ε−n ∂λn‬‬

‫حيث ‪ ε ، 0 ≤ µ‬عدد حقيقي ‪ ،‬و ‪ [ε] = n‬عدد صحيح‪.‬‬

‫المشتق الـكسري ‪ Riesz‬للدالة )‪ Φ(µ‬من الرتبة الـكسر ية ‪ ε‬المعرف ب ‪:‬‬
‫∫[‬ ‫∫‬ ‫∞‬ ‫]‬
‫‪−cε ∂ n‬‬ ‫‪µ‬‬
‫)‪Φ(λ‬‬ ‫)‪Φ(λ‬‬
‫‪(ε‬‬
‫= )‪D )Φ(µ‬‬ ‫‪dλ +‬‬ ‫‪dλ‬‬ ‫)‪(61.2‬‬
‫‪Γ(ε) ∂µn‬‬ ‫∞‪−‬‬ ‫‪(µ − λ)ε+1−n‬‬ ‫‪µ‬‬ ‫‪(λ − µ)ε+1−n‬‬
‫[‬ ‫]‬
‫‪ ε ، cε = 1/ 2 cos( πε‬عدد حقيقي ‪ ،‬و ‪ n‬عدد صحيح‪.‬‬ ‫‪2‬‬
‫حيث )‬
‫المشتق الـكسري ‪ Cossar‬من الرتبة الـكسر ية ‪ ε‬المعرف ب ‪:‬‬
‫∫[‬ ‫]‬
‫‪−1‬‬ ‫∂‬ ‫‪N‬‬
‫)‪Φ(λ‬‬
‫)‪(ε‬‬
‫= )‪D Φ(µ‬‬ ‫‪lim‬‬ ‫‪dλ‬‬ ‫)‪(62.2‬‬
‫‪Γ(1 − ε) N −→∞ ∂µ‬‬ ‫‪µ‬‬ ‫‪(λ − µ)ε‬‬

‫حيث ‪ ε‬عدد حقيقي‪.‬‬

‫المشتق الـكسري ‪ Riemann–Liouville‬المعدل للدالة )‪ Φ(µ‬من الرتبة الـكسر ية ‪ ε‬المعرف ب ‪:‬‬
‫∫‬
‫‪1‬‬ ‫∂‬ ‫‪µ‬‬
‫)‪Φ(λ) − Φ(0‬‬
‫)‪(ε‬‬
‫= )‪D Φ(µ‬‬ ‫‪dλ‬‬ ‫)‪(63.2‬‬
‫‪Γ(1 − ε) ∂µ‬‬ ‫‪0‬‬ ‫‪(λ − µ)ε‬‬

‫حيث ‪ ε‬عدد حقيقي‪.‬‬

‫المشتق الـكسري المطاوع للدالة )‪ Φ(µ‬من الرتبة الـكسر ية ‪ [40] ε‬المعرف ب ‪:‬‬

‫)‪Φ(µ + kµ1−ε ) − Φ(µ‬‬

‫‪D(ε) Φ(µ) = lim‬‬ ‫)‪(64.2‬‬
‫‪k→0‬‬ ‫‪k‬‬
‫حيث )‪ ε(0 < ε ≤ 1‬عدد حقيقي‪.‬‬
‫المشتق الـكسري من الجانب الأيسر المطاوع المعدل للدالة )‪ Φ(µ‬من الرتبة الـكسر ية ‪ [41] ε‬المعرف ب ‪:‬‬

‫)‪Φ(µ + k(µ − a)1−ε ) − Φ(µ‬‬

‫)‪(ε‬‬
‫‪D Φ(µ) = lim‬‬ ‫)‪(65.2‬‬
‫‪k→0‬‬ ‫‪k‬‬
‫حيث )‪ ε(0 < ε ≤ 1‬عدد حقيقي‪.‬‬
‫المشتق الـكسري من الجانب الأيمن المطاوع المعدل للدالة )‪ Φ(µ‬من الرتبة الـكسر ية ‪ [41] ε‬المعرف ب ‪:‬‬

‫)‪Φ(µ + k(µ − a)1−ε ) − Φ(µ‬‬

‫‪D(ε) Φ(µ) = − lim‬‬ ‫)‪(66.2‬‬
‫‪k→0‬‬ ‫‪k‬‬

‫‪24‬‬
‫المشتقات الـكسر ية المحلية‬ ‫الفصل الثاني‬

‫حيث )‪ ε(0 < ε ≤ 1‬عدد حقيقي‪.‬‬

‫المشتق الـكسري ‪ Riemann‬المعمم للدالة )‪ Φ(µ‬من الرتبة الـكسر ية ‪ [42] ε‬المعرف ب ‪:‬‬
‫‪∫ µ‬‬
‫‪(1 + γ)ε d‬‬ ‫)‪λγ Φ(µ‬‬
‫)‪γ (ε‬‬
‫= )‪Da Φ(µ‬‬ ‫‪dλ‬‬ ‫)‪(67.2‬‬
‫‪Γ(1 − ε) dµ a (µγ+1 − λγ+1 )ε‬‬
‫حيث ‪ a ≤ µ‬و ‪ ε‬عدد حقيقي‪.‬‬
‫المشتق الـكسري ‪ Caputo‬المعمم للدالة )‪ Φ(µ‬من الرتبة الـكسر ية ‪ [42] ε‬المعرف ب ‪:‬‬
‫‪∫ µ‬‬
‫‪(1 + γ)ε d‬‬ ‫)‪λγ Φ(µ‬‬
‫)‪γ (ε‬‬
‫= )‪D0 Φ(µ‬‬ ‫‪dλ‬‬ ‫)‪(68.2‬‬
‫‪Γ(1 − ε) dµ 0 (µγ+1 − λγ+1 )ε‬‬
‫حيث ‪ 0 ≤ µ‬و ‪ ε‬عدد حقيقي‪.‬‬
‫المشتق الـكسري ‪ Erdelyi–Kober‬للدالة )‪ Φ(µ‬من الرتبة الـكسر ية ‪ ε‬المعرف ب ‪:‬‬
‫(‬ ‫‪)n‬‬
‫‪1 d‬‬
‫‪−nζ‬‬
‫‪µ−ζ(n+ζ) I0,ξ,ξ+ζ‬‬ ‫)‪(69.2‬‬
‫)‪(ε‬‬ ‫‪n−ε‬‬
‫‪D0,ξ,ζ Φ(µ) = µ‬‬ ‫)‪Φ(µ‬‬
‫‪ξµζ−1 dµ‬‬
‫حيث‪:‬‬
‫∫‬
‫)‪ξµ−ζ(ζ+ε‬‬ ‫‪µ‬‬
‫)‪λξζ+ξ−1 Φ(µ‬‬
‫‪n−ε‬‬
‫‪I0,ξ,ξ+ζ‬‬ ‫)‪Φ(µ‬‬ ‫=‬ ‫‪dλ‬‬ ‫)‪(70.2‬‬
‫)‪Γ(ε‬‬ ‫‪0‬‬ ‫‪(µζ − λζ )1−ε‬‬
‫و ‪ ε‬عدد حقيقي‪.‬‬
‫المشتق الـكسري ‪ Caputo–Fabrizio‬للدالة )‪ Φ(µ‬من الرتبة الـكسر ية ‪ [44 ,43] ε‬المعرف ب ‪:‬‬
‫‪∫ µ‬‬ ‫(‬ ‫)‬
‫‪1‬‬ ‫‪ε‬‬
‫)‪(ε‬‬
‫= )‪D Φ(µ‬‬ ‫‪exp −‬‬ ‫‪(µ − λ) Φ(1) (µ)dλ‬‬ ‫)‪(71.2‬‬
‫‪1−ε 0‬‬ ‫‪1−ε‬‬
‫حيث ‪ 0 < µ‬و ‪ ε‬عدد حقيقي‪.‬‬
‫المشتق الـكسري ‪ Coimbra‬من الرتبة الـكسر ية ‪ ε‬المعرف ب ‪:‬‬
‫∫{‬ ‫‪µ‬‬ ‫[‬ ‫]‬ ‫}‬
‫‪1‬‬ ‫‪1‬‬ ‫)‪∂Φ(λ‬‬
‫‪D‬‬ ‫))‪(ε(µ‬‬
‫= )‪Φ(µ‬‬ ‫‪dλ + Φ(0)µ‬‬ ‫)‪−ε(µ‬‬
‫)‪(72.2‬‬
‫))‪Γ(1 − ε(µ‬‬ ‫‪a‬‬ ‫)‪(µ − λ)ε(µ‬‬ ‫‪∂λ‬‬
‫حيث ‪ a < µ‬و )‪ ε(µ)(0 < ε(µ) < 1‬عدد حقيقي متعلق ب ‪. µ‬‬
‫المشتق الـكسري ‪ Riemann-Liouville‬من الجانب الأيسر للدالة )‪ Φ(µ‬من الرتبة الـكسر ية )‪ ε(λ, µ‬المعرفة ب ‪:‬‬
‫‪∫ µ‬‬
‫‪d‬‬ ‫)‪Φ(λ‬‬ ‫‪dλ‬‬
‫)‪(73.2‬‬
‫))‪(ε(λ,µ‬‬
‫‪Da +‬‬ ‫= )‪Φ(µ‬‬
‫])‪dµ a (µ − λ)ε(λ,µ) Γ[1 − ε(λ, µ‬‬
‫حيث ‪ a < µ‬و )‪ ε(λ, µ)(0 < ε(λ, µ) < 1‬عدد حقيقي متعلق ب ‪. µ‬‬
‫المشتق الـكسري ‪ Riemann-Liouville‬من الجانب الأيمن للدالة )‪ Φ(µ‬من الرتبة الـكسر ية )‪ ε(λ, µ‬المعرفة ب ‪:‬‬
‫‪∫ b‬‬
‫‪d‬‬ ‫)‪Φ(λ‬‬ ‫‪dλ‬‬
‫)‪(74.2‬‬
‫))‪(ε(λ,µ‬‬
‫‪Db−‬‬ ‫= )‪Φ(µ‬‬
‫)‪dµ µ (λ − µ‬‬ ‫)‪ε(λ,µ‬‬ ‫])‪Γ[1 − ε(λ, µ‬‬
‫حيث ‪ µ < b‬و )‪ ε(λ, µ)(0 < ε(λ, µ) < 1‬عدد حقيقي متعلق ب ‪.µ‬‬
‫المشتق الـكسري ‪ Caputo‬من الجانب الأيسر للدالة )‪ Φ(µ‬من الرتبة الـكسر ية )‪ ε(λ, µ‬المعرف ب ‪:‬‬
‫‪∫ µ‬‬ ‫[‬ ‫]‬
‫‪1‬‬ ‫‪d‬‬ ‫‪dλ‬‬
‫)‪(75.2‬‬
‫))‪(ε(λ,µ‬‬
‫‪Da +‬‬ ‫= )‪Φ(µ‬‬ ‫)‪Φ(λ‬‬
‫)‪a (µ − λ‬‬ ‫])‪Γ[1 − ε(λ, µ‬‬
‫)‪ε(λ,µ‬‬ ‫‪dµ‬‬

‫‪25‬‬
‫المشتقات الـكسر ية المحلية‬ ‫الفصل الثاني‬

‫حيث ‪ a < µ‬و )‪ ε(λ, µ)(0 < ε(λ, µ) < 1‬عدد حقيقي متعلق ب ‪.µ‬‬
‫المشتق الـكسري ‪ Caputo‬من الجانب الأيمن للدالة )‪ Φ(µ‬من الرتبة الـكسر ية )‪ ε(λ, µ‬المعرف ب ‪:‬‬
‫∫‬ ‫‪b‬‬ ‫[‬ ‫]‬
‫‪1‬‬ ‫‪d‬‬ ‫‪dλ‬‬
‫)‪(76.2‬‬
‫))‪(ε(λ,µ‬‬
‫‪Db−‬‬ ‫)‪Φ(µ‬‬ ‫=‬ ‫)‪Φ(λ‬‬
‫‪µ‬‬ ‫)‪(λ − µ‬‬‫)‪ε(λ,µ‬‬ ‫‪dµ‬‬ ‫])‪Γ[1 − ε(λ, µ‬‬

‫حيث ‪ µ < b‬و )‪ ε(λ, µ)(0 < ε(λ, µ) < 1‬عدد حقيقي متعلق ب ‪.µ‬‬
‫المشتق الـكسري ‪ Caputo‬للمتغير من الرتبة الـكسر ية المعرف ب ‪:‬‬
‫∫‬ ‫‪µ‬‬ ‫[‬ ‫]‬
‫‪1‬‬ ‫‪1‬‬ ‫‪d‬‬
‫)‪(77.2‬‬
‫))‪(ε(µ‬‬
‫)‪Da+ Φ(µ‬‬ ‫=‬ ‫‪Φ(λ) dλ‬‬
‫])‪Γ[1 − ε(µ‬‬ ‫‪a‬‬ ‫‪(µ − λ)ε(µ) dµ‬‬

‫حيث ‪ µ < b‬و )‪ ε(λ, µ)(0 < ε(λ, µ) < 1‬عدد حقيقي متعلق ب ‪.µ‬‬

‫‪26‬‬
 ‫ﺍﻟﻔﺼﻞ ﺍﻟﺜﺎﻟﺚ‬
‫ﺍﻟﺘﻜﺎﻣﻞ ﺍﻟﻜﺴﺮﻱ ﺍﻟﻤﺤﻠﻲ‬
‫قائمة المحتو يــات‬
‫‪ 1.3‬خواص و مبرهنات التكاملات الـكسر ية المحلية ‪28 . . . . . . . . . . . . . . . . . . . . . . .‬‬
‫‪31‬‬ ‫‪. . . . . . . . . . . . . . . . . . . . . . . . . . . . .‬‬ ‫‪ 1.1.3‬التكاملات الـكسر ية‬
‫‪ 2.3‬مبرهنة و سلسلة ‪ Taylor‬الـكسر ية المحلية ‪32 . . . . . . . . . . . . . . . . . . . . . . . . .‬‬
‫‪32‬‬ ‫‪. . . . . . . . . . . . .‬‬ ‫‪ 1.2.3‬مبرهنة ‪ Taylor‬الـكسر ية المحلية في الدوال غير القابلة للتفاضل‬
‫‪34‬‬ ‫‪. . . . . . . . . . . . . . . . .‬‬ ‫‪ 2.2.3‬سلسلة ‪ Taylor‬الـكسر ية المحلية في الدوال المرجعية‬
‫‪35‬‬ ‫سلسلة ‪ MacLaurin‬الـكسر ية المحلية في الدوال المرجعية ‪. . . . . . . . . . . . . . .‬‬ ‫‪3.2.3‬‬

‫‪27‬‬
‫التكاملات الـكسر ية المحلية‬ ‫الفصل الثالث‬

‫خواص و مبرهنات التكاملات الـكسر ية المحلية‬ ‫‪1.3‬‬

‫خاصية ‪1.1.3‬‬
‫لنفترض أن )‪ ،φ1 (µ)،φ(µ‬و ]‪ ، φ2 (µ) ∈ Cε [a, b‬قواعد التكامل الـكسري المحلي للدوال غير القابلة للتفاضل المعرفة في‬
‫المجموعات الفراكتالية التي أنتجت هذه القوائم ]‪: [21 ,16 ,1‬‬

‫)‪[φ1 (µ) + φ2 (µ)] =a Ib φ1 (µ) +a Ib φ2 (µ) (1‬‬

‫)‪(ε‬‬ ‫)‪(ε‬‬ ‫)‪(ε‬‬
‫‪a Ib‬‬

‫بحيث ‪ C‬ثابت ‪.‬‬ ‫)‪= Ca Ib φ(µ) (2‬‬

‫)‪(ε‬‬ ‫)‪(ε‬‬
‫])‪a Ib [Cφ(µ‬‬

‫)‪= (b − a)ε /Γ(1 + ε) (3‬‬

‫)‪(ε‬‬
‫‪a Ib 1‬‬

‫)‪ ، a Ib φ(µ) ≥ 0 (4‬بحيث ‪φ(µ) ≥ 0‬‬

‫)‪(ε‬‬

‫)‪≤a Ib |φ(µ)| (5‬‬

‫)‪(ε‬‬ ‫)‪(ε‬‬
‫)‪a Ib φ(µ‬‬

‫بحيث ‪.a < c < b‬‬ ‫)‪=a Ic φ(µ) +c Ib φ(µ) (6‬‬

‫)‪(ε‬‬ ‫)‪(ε‬‬ ‫)‪(ε‬‬
‫)‪a Ib φ(µ‬‬

‫)‪ ، a Ib φ(µ) ∈ [t(b − a)ε /Γ(1 + ε), T (b − a)ε /Γ(1 + ε)] (7‬بحيث أن حديها الأعلى و الأدنى للدالة )‪φ(µ‬‬
‫)‪(ε‬‬

‫هي ‪ T‬و ‪ ، t‬على الترتيب‪.‬‬

‫مبرهنة ‪ ) 1.1.3‬مبرهنة القيم المتوسطة (‬

‫إذا كان ]‪ φ(µ) ∈ Cε [a, b‬فإنه توجد نقطة )‪ ξ ∈ (a, b‬بحيث ‪:‬‬
‫‪(b − a)ε‬‬
‫)‪(1.3‬‬
‫)‪(ε‬‬
‫)‪a Ib φ(µ) = φ(ξ‬‬
‫)‪Γ(1 + ε‬‬
‫البرهان ‪1.1.3‬‬
‫لتكن ]‪ ، φ(µ) ∈ Cε [a, b‬بحيث ‪:‬‬

‫)‪(2.3‬‬
‫)‪(ε‬‬
‫)‪a Ib φ(µ‬‬ ‫])‪∈ [t(b − a)ε /Γ(1 + ε), T (b − a)ε /Γ(1 + ε‬‬

‫و منه ‪:‬‬
‫)‪(ε‬‬
‫)‪aIb φ(µ‬‬
‫‪(b−a)ε‬‬
‫] ‪∈ [t, T‬‬ ‫)‪(3.3‬‬
‫)‪Γ(1+ε‬‬

‫إذا كان )‪ ،ξ ∈ (a, b‬فإن ‪:‬‬

‫)‪(ε‬‬
‫)‪aIb φ(µ‬‬
‫‪(b−a)ε‬‬
‫)‪= φ(ξ‬‬ ‫)‪(4.3‬‬
‫)‪Γ(1+ε‬‬

‫مبرهنة ‪2.2.3‬‬
‫لنفترض أن ]‪ ، φ(µ) ∈ Cε [a, b‬إذا كان )‪ ، mu ∈ (a, b‬فإنه توجد الدالة )‪ Φ(µ‬بحيث ‪:‬‬

‫)‪Φ(µ) =a Iµ(ε) φ(µ‬‬ ‫)‪(5.3‬‬

‫ومنه المشتق الـكسري المحلي معرف ب ‪:‬‬

‫)‪∂ ε Φ(µ‬‬
‫)‪= φ(µ‬‬ ‫)‪(6.3‬‬
‫‪∂µε‬‬

‫‪28‬‬
‫التكاملات الـكسر ية المحلية‬ ‫الفصل الثالث‬

‫البرهان ‪1.2.3‬‬
‫لتكن ]‪ ، µ ∈ [a, b‬ومنه يوجد ]‪ µ + ∆µ ∈ [a, b‬بحيث ‪:‬‬

‫)‪(7.3‬‬
‫)‪(ε‬‬
‫)‪Φ(µ) =a Iµ+∆µ φ(µ‬‬

‫في هذه الحالة ‪ ،‬نجد ‪:‬‬

‫∫‬ ‫‪µ+∆µ‬‬ ‫∫‬ ‫‪µ‬‬
‫= ])‪∆ [Φ(µ + ∆µ) − Φ(µ‬‬
‫‪ε‬‬
‫‪φ(µ)(dµ) −‬‬ ‫‪ε‬‬
‫‪φ(µ)(dµ)ε‬‬ ‫)‪(8.3‬‬
‫‪a‬‬ ‫‪a‬‬

‫و‬
‫∫‬ ‫‪µ+∆µ‬‬
‫= ])‪∆ [Φ(µ + ∆µ) − Φ(µ‬‬
‫‪ε‬‬
‫‪φ(µ)(dµ)ε‬‬ ‫)‪(9.3‬‬
‫‪µ‬‬

‫من ) ‪ ،(1.3‬إذا كان )‪ ، ξ ∈ (a, b‬فإن ‪:‬‬

‫‪(∆µ)ε‬‬
‫)‪(10.3‬‬
‫)‪(ε‬‬
‫)‪µ Iµ+∆µ φ(µ) = φ(ξ‬‬
‫)‪Γ(1 + ε‬‬

‫مما ينتج ‪:‬‬

‫)‪(ε‬‬
‫)‪µIµ+∆µ φ(µ‬‬
‫‪(∆µ)ε‬‬
‫)‪= φ(ξ‬‬ ‫)‪(11.3‬‬
‫)‪Γ(1+ε‬‬

‫أو‬

‫])‪∆ε [Φ(µ + ∆µ) − Φ(µ‬‬

‫)‪= φ(ξ‬‬ ‫)‪(12.3‬‬
‫‪(∆µ)ε‬‬

‫لما ‪ ،∆µ → 0‬فإن ‪:‬‬

‫])‪∆ε [Φ(µ + ∆µ) − Φ(µ‬‬

‫‪lim‬‬ ‫)‪= Φ(ε) (µ) = φ(ξ‬‬ ‫)‪(13.3‬‬
‫‪∆µ→0‬‬ ‫‪(∆µ)ε‬‬

‫إذا كان ‪ ، ∆µ > 0‬فإنه توجد نقطة ‪ µ = a‬بحيث ‪:‬‬

‫)‪Φ(ε) (µ‬‬ ‫‪µ=a+‬‬

‫) ‪= φ(a+‬‬ ‫)‪(14.3‬‬

‫بحيث ‪ ∆µ < 0 :‬فإنه توجد نقطة ‪ µ = b ،‬بطر يقة مماثلة ‪ ،‬إذا كان‬

‫)‪Φ(ε) (µ‬‬ ‫‪µ=b−‬‬

‫) ‪= φ(b−‬‬ ‫)‪(15.3‬‬

‫وبالتالي نحصل على النتيجة‪.‬‬

‫مبرهنة ‪ ) 3.3.3‬صيغة ‪( Newton–Leibniz‬‬

‫لنفترض أن ]‪ Φ(ε) (µ) = φ(µ) ∈ Cε [a, b‬ثم‪:‬‬

‫)‪(16.3‬‬
‫)‪(ε‬‬
‫)‪a Ib φ(µ‬‬ ‫)‪= Φ(b) − Φ(a‬‬

‫‪29‬‬
‫التكاملات الـكسر ية المحلية‬ ‫الفصل الثالث‬

1.3.3 ‫البرهان‬
: ‫وهكذا لدينا‬.Φ0 (µ) ‫لتكن الدالة المعرفة‬
(ε)
=a Iµ φ(µ)
∂ε ∂ε ∂ε
(Φ0 (µ) − Φ(µ)) = Φ0 (µ) − Φ(µ) = φ(µ) − φ(µ) = 0 (17.3)
∂µε ∂µε ∂µε
: ‫ومنه‬

Φ0 (µ) − Φ(µ) = C (18.3)

.‫ ثابت‬C ‫مع‬
: ‫ ننتج المتطابقة التالية‬،( 17.3 ) ‫لذلك من‬

(19.3)
(ε)
a Ib φ(µ) = Φ0 (b) − Φ0 (a) = Φ(b) − Φ(a)

.‫وبالتالي نحصل على النتيجة المرجوة‬

(‫ )التكامل بالتجزئة‬4.4.3 ‫مبرهنة‬

: ‫ ومنه‬.φ1 (µ), φ2 (µ) ∈ Dε (a, b) ‫و‬،φ1 (µ), φ2 (µ) ∈ Cε [a, b] ‫لنفترض أن‬
{[ ε ] } { [ ε ]}
∂ ∂
(20.3)
(ε)
ε
a Ib φ1 (µ) φ2 (µ) = [φ1 (µ)φ2 (µ)]a −a Ib
b
φ1 (µ) φ2 (µ)
∂µε ∂µε

1.4.3 ‫البرهان‬
: ‫لدينا‬
{ }
∂ε
(21.3)
(ε)
[φ1 (µ)φ2 (µ)]ba =a Ib [φ1 φ2 (µ)]
∂µε
: ‫ومنه‬
{[ ] } { [ ε ]}
∂ε ∂
(22.3)
(ε)
ε
a Ib φ1 (µ) φ2 (µ) = [φ1 (µ)φ2 (µ)]a −a Ib
b
φ1 (µ) φ2 (µ)
∂µε ∂µε
.‫لذلك نحصل على النتيجة المرجوة‬
: ‫ ومنه‬، D φ(µ) ∈ Cε (a, b) ‫لنفترض أن‬
(kε)

{ }
D(kε) (kε)
µ0 Iµ φ(µ) = φ(µ) (23.3)
k− times k− times
z }| { z }| {
.D(kε) φ(µ) = D(ε) · · · D(ε) φ(µ) ‫ و‬µ0 Iµ φ(µ) = µ0 Iµ(ε) · · · µ0 Iµ(ε) φ(µ) : ‫حيث‬
(kε)

5.5.3 ‫مبرهنة‬
‫ بحيث‬µ0 ∈ (a, b) ‫فإنه توجد نقطة‬، 0 < ε < 1 ‫ إذا كان‬، ‫ ومنه‬.D (kε)
φ(µ), D ((k+1)ε)
φ(µ) ∈ Cε (a, b) ‫لنفترض أن‬
:
[ ] [ ((k+1)ε) ] (µ − µ0 )kε
µ0 Iµ(kε) D (kε)
φ(µ) − µ0 Iµ
((k+1)ε)
D (kε)
φ(µ) = D φ (µ0 ) (24.3)
Γ(1 + kε)
k− times k− times
z }| { z }| {
.D(kε) φ(µ) = D(ε) · · · D(ε) φ(µ) ‫ و‬µ0 Iµ φ(µ) = µ0 Iµ(ε) · · · µ0 Iµ(ε) φ(µ) :‫حيث‬
(kε)

30
‫التكاملات الـكسر ية المحلية‬ ‫الفصل الثالث‬

‫البرهان ‪1.5.3‬‬
‫نقدم الصيغة التالية ‪:‬‬
‫[‬ ‫]‬ ‫{‬ ‫[‬ ‫}]‬
‫)‪µ0 Iµ((k+1)ε) D((k+1)ε) φ(µ) = µ0 Iµ(kε) µ0 Iµ(ε) D((k+1)ε) φ(µ‬‬
‫{‬ ‫}‬
‫) ‪= µ0 Iµ(kε) D(kε) φ(µ) − D(kε) φ (µ0‬‬ ‫)‪(25.3‬‬
‫[‬ ‫]‬ ‫[‬ ‫]‬
‫) ‪= µ0 Iµ(kε) D(kε) φ(µ) − µ0 Iµ(kε) D(kε) φ (µ0‬‬
‫و‬
‫[‬ ‫]‬
‫)‪µ0 Iµ(kε) D(kε) φ(µ0 ) = D(kε) φ(µ0 )µ0 Iµ(kε‬‬
‫‪(µ − µ0 )ε‬‬
‫)‪= D(kε) φ(µ0 )µ0 Iµ((k−1)ε‬‬ ‫)‪(26.3‬‬
‫)‪Γ(1 + ε‬‬
‫‪(µ − µ0 )kε‬‬
‫) ‪= D(kε) φ(µ0‬‬
‫)‪Γ(1 + kε‬‬
‫و منه ‪:‬‬
‫[‬ ‫]‬ ‫)‪[ ((k+1)ε‬‬ ‫]‬ ‫‪(µ − µ0 )kε‬‬
‫)‪µ0 Iµ(kε‬‬ ‫‪D‬‬ ‫)‪(kε‬‬
‫‪φ(µ) − µ0 Iµ‬‬
‫)‪((k+1)ε‬‬
‫‪D‬‬ ‫)‪(kε‬‬
‫) ‪φ(µ) = D φ (µ0‬‬ ‫)‪(27.3‬‬
‫)‪Γ(1 + kε‬‬

‫لذلك ‪ ،‬أثبتنا النتيجة‪.‬‬

‫التكاملات الـكسر ية‬ ‫‪1.1.3‬‬

‫التكامل الـكسري ‪ Liouville‬للدالة )‪ Φ(µ‬من الرتبة ‪ ε‬المعرف ب ‪:‬‬
‫‪∫ µ‬‬
‫‪1‬‬ ‫)‪Φ(λ‬‬
‫)‪I (ε‬‬ ‫=‬ ‫‪dλ‬‬ ‫)‪(28.3‬‬
‫‪Γ(ε) a (µ − λ)ε‬‬

‫التكامل الـكسري ‪ Riemann-Liouville‬من الجانب الأيسر للدالة )‪ Φ(µ‬من الرتبة )‪ ε(λ, µ‬المعرفة ب ‪:‬‬
‫‪∫ µ‬‬
‫‪1‬‬ ‫)‪Φ(λ‬‬
‫)‪(29.3‬‬
‫))‪(ε(λ,µ‬‬
‫‪Ia+‬‬ ‫= )‪Φ(µ‬‬ ‫‪dλ‬‬
‫)‪Γ[ε(λ, µ)] a (µ − λ)1−ε(λ,µ‬‬
‫حيث ‪ a < µ‬و )‪ ε(λ, µ)(0 < ε(λ, µ) < 1‬عدد حقيقي متعلق ب ‪. µ‬‬
‫التكامل الـكسري ‪ Riemann-Liouville‬من الجانب الأيمن للدالة )‪ Φ(µ‬من الرتبة )‪ ε(λ, µ‬المعرفة ب ‪:‬‬
‫‪∫ b‬‬
‫‪1‬‬ ‫)‪Φ(λ‬‬
‫)‪(30.3‬‬
‫))‪(ε(λ,µ‬‬
‫‪Ib−‬‬ ‫= )‪Φ(µ‬‬ ‫‪dλ‬‬
‫)‪Γ[ε(λ, µ)] µ (λ − µ)1−ε(λ,µ‬‬
‫حيث ‪ µ < b‬و )‪ ε(λ, µ)(0 < ε(λ, µ) < 1‬عدد حقيقي متعلق ب ‪.µ‬‬
‫التكامل الـكسري ‪ Hadamard‬للدالة )‪ Φ(µ‬من الرتبة ‪ ε‬المعرف ب ‪:‬‬
‫‪∫ µ‬‬
‫‪1‬‬ ‫)‪Φ(λ‬‬ ‫‪dλ‬‬
‫)‪(31.3‬‬
‫)‪(ε‬‬
‫= )‪Ia+ Φ(µ‬‬ ‫‪1−ε‬‬
‫])‪Γ(ε) a [ln(µ/λ‬‬ ‫‪λ‬‬
‫حيث ‪ 0 ≤ a < µ‬و ‪ ε > 0‬عدد حقيقي ‪.‬‬
‫التكامل الـكسري ‪ Erdelyi–Kober‬للدالة )‪ Φ(µ‬من الرتبة ‪ ε‬المعرف ب ‪:‬‬
‫∫‬
‫)‪ξµ−ξ(ζ+ε) µ λξ(ζ+1)−1 φ(λ‬‬
‫)‪(32.3‬‬
‫)‪(ε‬‬
‫= )‪Ia+ ,ξ,ζ Φ(µ‬‬ ‫‪dλ‬‬
‫)‪Γ(ε‬‬ ‫‪a‬‬ ‫‪(µξ − λξ )1−ε‬‬

‫‪31‬‬
‫التكاملات الـكسر ية المحلية‬ ‫الفصل الثالث‬

‫حيث ‪ 0 ≤ a < µ‬و ‪ ε > 0‬عدد حقيقي ‪.‬‬

‫التكاملات الـكسر ية للدالة )‪ Φ(µ‬المتعلقة بدالة أخرى )‪ Φ0 (µ‬والمعرفة ب ‪:‬‬
‫‪∫ µ‬‬
‫‪1‬‬ ‫)‪Φ′0 (λ)Φ(λ‬‬
‫)‪(33.3‬‬
‫)‪(ε‬‬
‫= )‪Ia+ ,Φ0 Φ(µ‬‬ ‫‪dλ‬‬
‫‪Γ(ε) a [Φ0 (µ) − Φ0 (λ)]1−ε‬‬
‫حيث ‪. 0 ≤ a < µ‬‬
‫التكامل الـكسري المعمم من الجانب الأيسر للدالة )‪ Φ(µ‬من الرتبة ‪ ε‬المعرف ب ‪:‬‬
‫∫‬ ‫‪µ‬‬
‫‪γ 1−ε‬‬ ‫)‪λγ−1 Φ(λ‬‬
‫)‪γ (ε‬‬
‫)‪Ia+ Φ(µ‬‬ ‫=‬ ‫‪dλ‬‬ ‫)‪(34.3‬‬
‫)‪Γ(ε‬‬ ‫‪a‬‬ ‫‪(µγ − λγ )1−ε‬‬
‫حيث ‪ µ > a‬و ‪ ε > 0‬عدد حقيقي ‪.‬‬
‫التكامل الـكسري المعمم من الجانب الأيمن للدالة )‪ Φ(µ‬من الرتبة ‪ ε‬المعرف ب ‪:‬‬
‫∫‬ ‫‪b‬‬
‫)‪′ ε‬‬ ‫‪γ 1−ε‬‬ ‫)‪λγ−1 Φ(λ‬‬
‫‪γ‬‬
‫= )‪Ib− Φ(µ‬‬ ‫‪dλ‬‬ ‫)‪(35.3‬‬
‫)‪Γ(ε‬‬ ‫‪µ‬‬ ‫‪(λγ − µγ )1−ε‬‬

‫حيث ‪ b > µ‬و ‪ ε > 0‬عدد حقيقي ‪ .‬هذه التعميمات الـكسر ية للتكاملات ‪ n‬أضعاف اليسار و اليمين من الشكل‬
‫‪∫b‬‬ ‫‪∫ b γ−1‬‬ ‫‪∫b‬‬ ‫‪∫ µ γ−1‬‬ ‫‪∫ µ1 γ−1‬‬ ‫‪∫ µn−1 γ−1‬‬
‫‪µγ−1 dµ1‬‬
‫‪µ 1‬‬ ‫‪µ1 2‬‬
‫‪µ‬‬ ‫‪dµ‬‬ ‫‪2‬‬ ‫·‬ ‫·‬ ‫·‬ ‫‪µ‬‬
‫‪µn−1 n‬‬
‫‪γ−1‬‬
‫‪Φ(µ‬‬ ‫‪n‬‬ ‫‪)dµ‬‬ ‫‪n‬‬ ‫و‬ ‫‪a‬‬
‫‪µ‬‬ ‫‪1‬‬ ‫‪dµ‬‬‫‪1‬‬ ‫‪a‬‬
‫‪µ‬‬ ‫‪2‬‬ ‫‪dµ‬‬‫‪2‬‬ ‫·‬ ‫·‬ ‫·‬ ‫‪a‬‬
‫‪µn Φ(µn )dµn‬‬
‫حيث ‪ ، n ∈ N‬على التوالي‪ .‬عندما ∞ = ‪ ، b‬التكامل الـكسري المعمم يسمى تكامل ‪. Liouville‬‬
‫التكامل الـكسري ‪ Riemann-Liouville‬للدالة )‪ Φ(µ‬من الرتبة )‪ ε(ε ≥ 0‬المعرف ب ‪:‬‬
‫‪∫ µ‬‬
‫‪1‬‬ ‫)‪Φ(λ‬‬
‫)‪(ε‬‬
‫= )‪I Φ(µ‬‬ ‫‪dλ‬‬ ‫‪ε>0‬‬ ‫)‪(36.3‬‬
‫‪Γ(ε) 0 (µ − λ)1−ε‬‬

‫)‪I (0) Φ(µ) = Φ(µ‬‬ ‫‪ε=0‬‬ ‫)‪(37.3‬‬

‫مبرهنة و سلسلة ‪ Taylor‬الـكسر ية المحلية‬ ‫‪2.3‬‬

‫مبرهنة ‪ Taylor‬الـكسر ية المحلية في الدوال غير القابلة للتفاضل‬ ‫‪1.2.3‬‬
‫مبرهنة ‪) 1.1.3‬مبرهنة ‪( Taylor‬‬
‫نفترض أن )‪.D((k+1)ε) φ(µ) ∈ Cε (a, b‬ثم‪ ،‬من أجل ‪ k = 0, 1, ..., n‬فإن ‪:‬‬

‫∑‬
‫‪n‬‬
‫) ‪D(kε) φ (µ0‬‬ ‫)‪D((n+1)ε) φ(ξ‬‬
‫= )‪φ(µ‬‬ ‫‪(µ − µ0 )kε +‬‬ ‫‪(µ − µ0 )(n+1)ε‬‬ ‫)‪(38.3‬‬
‫‪k=0‬‬
‫)‪Γ(1 + kε‬‬ ‫)‪Γ(1 + (n + 1)ε‬‬

‫‪k -times‬‬
‫‪z‬‬ ‫|}‬ ‫{‬
‫مع )‪ a < µ0 < ξ < µ < b, ∀µ ∈ (a, b‬حيث )‪.D(kε) φ(µ) = D(ε) · · · D(ε) φ(µ‬‬

‫البرهان ‪2.1.3‬‬
‫من خلال الإستفادة من ‪:‬‬

‫[‬ ‫]‬ ‫)‪[ ((k+1)ε‬‬ ‫]‬ ‫‪(µ − µ0 )kε‬‬

‫)‪µ0 Iµ(kε‬‬ ‫‪D‬‬ ‫)‪(kε‬‬
‫‪φ(µ) − µ0 Iµ‬‬
‫)‪((k+1)ε‬‬
‫‪D‬‬ ‫)‪(kε‬‬
‫) ‪φ(µ) = D φ (µ0‬‬ ‫)‪(39.3‬‬
‫)‪Γ(1 + kε‬‬

‫‪32‬‬
‫التكاملات الـكسر ية المحلية‬ ‫الفصل الثالث‬

: ‫نستنتج أن‬
{ ]}
∑n (kε) [ (kε) ] ((k+1)ε) [ ((k+1)ε)
k=0 µ I
0 µ D φ(µ) − µ I
0 µ D φ(µ)
((k+1)ε) [ ((k+1)ε) ]
= φ(µ) −{µ0 Iµ D φ(µ) (40.3)
∑ kε
}
= nk=0 D(kε) φ (µ0 ) (µ−µ 0)
Γ(1+kε)

: ‫ومنه‬
((k+1)ε)
[ ((k+1)ε) ] { [ ]}
µ0 Iµ D φ(µ) =µ0 Iµ(ε) µ0 Iµ(kε) D((k+1)ε) φ(µ)
= D((k+1)ε) φ(ξ)µ0 Iµ((k+1)ε) 1
(41.3)
(µ − µ0 ) (k+1)ε
= D((k+1)ε) φ(ξ)
Γ(1 + (k + 1)ε)

.µ0 < ξ < µ, ∀µ ∈ (a, b) ‫حيث‬

.‫أثبتنا النتيجة‬، ‫لذلك‬

2.2.3 ‫مبرهنة‬
: ‫ فإن‬،k = 0, 1, ..., n ‫إذا كان‬.D ((k+1)ε)
φ(µ) ∈ Cε (a, b) ‫لنفترض أن‬

∑
n
D(kε) φ(µ0 )
φ(µ) = (µ − µ0 )kε + Rnε (µ − µ0 ) (42.3)
k=0
Γ(1 + kε)

k− times
z }| {
‫ و‬D(kε) φ(µ) = D(ε) · · · D(ε) φ(µ) ‫ حيث‬،∀µ ∈ (a, b) ، a < µ0 < ξ < µ < b ‫مع‬
.Rnε (µ − µ0 ) = O((µ − µ0 )nε )

2.2.3 ‫البرهان‬
: ‫( نجد‬38.3 ) ‫بإستخدام‬

Rnε (µ − µ0 ) D((n+1)ε φ(ξ) (µ − µ0 )(n+1)ε D((n+1)ε φ(ξ)

= = (µ − µ0 )ε (43.3)
(µ − µ0 )nε Γ(1 + (k + 1)ε) (µ − µ0 ) nε Γ(1 + (k + 1)ε)

: ‫ نستنتج أن‬، ‫ومنه‬

Rnε (µ − µ0 ) D((n+1)ε φ(ξ)

= (µ − µ0 )ε = 0 (44.3)
(µ − µ0 )nε Γ(1 + (k + 1)ε)

3.3.3 ‫مبرهنة‬
: ‫ فإن‬،k = 0, 1, ..., n ‫إذا كان‬D((k+1)ε) φ(µ) ∈ Cε (a, b)، ‫لنفترض أن‬

∑
n
D(kε) φ(0) D((n+1)ε) φ(θµ) (n+1)ε
φ(µ) = µkε + µ (45.3)
k=0
Γ(1 + kε) Γ(1 + (n + 1)ε)

k− times
z }| {
.D φ(µ) = D · · · D φ(µ) ‫ حيث‬، ∀µ ∈ (a, b)، 0 < θ < 1 ‫مع‬
(kε) (ε) (ε)

33
‫التكاملات الـكسر ية المحلية‬ ‫الفصل الثالث‬

‫البرهان ‪2.3.3‬‬
‫من أجل ‪ µ0 = 0‬و )‪ ،µ ∈ (a, b‬بإستخدام )‪ ، (42.3‬فإن ‪:‬‬

‫∑‬
‫‪n‬‬
‫)‪D(kε) φ(0‬‬ ‫‪D((n+1)ε) φ(ξ) (n+1)ε‬‬
‫= )‪φ(µ‬‬ ‫‪(µ − µ0 )kε +‬‬ ‫‪µ‬‬ ‫)‪(46.3‬‬
‫‪k=0‬‬
‫)‪Γ(1 + kε‬‬ ‫)‪Γ(1 + (n + 1)ε‬‬

‫حيث ‪.a < µ0 < ξ < µ < b‬‬

‫إذا كان ‪ ξ = θµ‬في )‪ ، (46.3‬فإن ‪:‬‬

‫‪D((n+1)ε) φ(ξ) (n+1)ε‬‬ ‫‪D((n+1)ε) φ(θµ) (n+1)ε‬‬

‫‪µ‬‬ ‫=‬ ‫‪µ‬‬ ‫)‪(47.3‬‬
‫)‪Γ(1 + (n + 1)ε‬‬ ‫)‪Γ(1 + (n + 1)ε‬‬
‫مع ‪.0 < θ < 1‬‬

‫سلسلة ‪ Taylor‬الـكسر ية المحلية في الدوال المرجعية‬ ‫‪2.2.3‬‬

‫مبرهنة ‪4.4.3‬‬
‫لنفترض أن ‪.D((k+1)ε) φ(µ) ∈ Cε (a, b)،‬إذا كان ‪ ، k = 0, 1, ..., n‬فإن ‪:‬‬
‫∑‬
‫∞‬
‫) ‪D(kε) φ(µ0‬‬
‫= )‪φ(µ‬‬ ‫‪(µ − µ0 )kε‬‬ ‫)‪(48.3‬‬
‫‪k=0‬‬
‫)‪Γ(1 + kε‬‬

‫‪k− times‬‬
‫‪z‬‬ ‫|}‬ ‫{‬
‫مع ‪،∀µ ∈ (a, b) ، a < µ0 < µ < b‬حيث )‪.D(kε) φ(µ) = D(ε) · · · D(ε) φ(µ‬‬

‫البرهان ‪2.4.3‬‬
‫وفقا لمبرهنة ‪ Taylor‬الـكسر ية المحلية ‪ ،‬من )‪ ، (38.3‬فإن ‪:‬‬
‫‪{ n‬‬ ‫}‬
‫) ‪∑ D(kε) φ(µ0‬‬ ‫‪D‬‬ ‫)‪((n+1)ε‬‬
‫‪φ(µ‬‬‫‪0‬‬ ‫)‬
‫‪φ(µ) = lim‬‬ ‫‪(µ − µ0 )kε +‬‬ ‫‪(µ − µ0 )(n+1)ε‬‬
‫‪µ→µ0‬‬ ‫‪Γ(1‬‬ ‫‪+‬‬ ‫)‪kε‬‬ ‫‪Γ(1‬‬ ‫‪+‬‬ ‫‪(n‬‬ ‫‪+‬‬ ‫)‪1)ε‬‬
‫‪k=0‬‬
‫)‪(49.3‬‬
‫∑‬‫∞‬ ‫)‪(kε‬‬
‫) ‪D φ(µ0‬‬
‫=‬ ‫‪(µ − µ0 )kε‬‬
‫‪k=0‬‬
‫‪Γ(1‬‬ ‫‪+‬‬ ‫)‪kε‬‬

‫‪k− times‬‬
‫‪z‬‬ ‫|}‬ ‫{‬
‫مع ‪ ، ∀µ ∈ (a, b) ، a < µ0 < ξ < µ < b‬حيث )‪.D φ(µ) = D · · · D φ(µ‬‬
‫)‪(kε‬‬ ‫)‪(ε‬‬ ‫)‪(ε‬‬

‫في هذه الحالة ‪ ،‬نقدم النتيجة التالية‪.‬‬

‫أفترض أن )‪.D((k+1)ε) φ(µ) ∈ Cε (a, b‬ثم‪،‬إذا كان ‪ ، k = 0, 1, ..., n‬فإن ‪:‬‬

‫∑‬
‫∞‬
‫)‪D(kε) φ(0‬‬
‫= )‪φ(µ‬‬ ‫‪µkε‬‬ ‫)‪(50.3‬‬
‫‪k=0‬‬
‫)‪Γ(1 + kε‬‬

‫‪k− times‬‬
‫‪z‬‬ ‫|}‬ ‫{‬
‫مع ‪ ، ∀µ ∈ (a, b)،a < 0 < µ < b‬حيث )‪.D φ(µ) = D · · · D φ(µ‬‬
‫)‪(kε‬‬ ‫)‪(ε‬‬ ‫)‪(ε‬‬

‫هذه السلسلة يقال أنها سلسلة ‪ MacLaurin‬الـكسر ية المحلية للدالة )‪.φ(µ‬‬

‫‪34‬‬
‫التكاملات الـكسر ية المحلية‬ ‫الفصل الثالث‬

‫سلسلة ‪ MacLaurin‬الـكسر ية المحلية في الدوال المرجعية‬ ‫‪3.2.3‬‬

‫مبرهنة ‪5.5.3‬‬
‫في هذه الحالة ‪ ،‬نقدم سلسلة ‪ MacLaurin‬الـكسر ية المحلية في الدوال المرجعية‪:‬‬
‫∞∑‬
‫= ) ‪Eε (µε‬‬ ‫‪µkε‬‬
‫)‪k=0 Γ(1+kε‬‬ ‫)‪(1‬‬
‫∞∑‬
‫= ) ‪Eε (−µε‬‬ ‫‪(−1)k µkε‬‬
‫)‪k=0 Γ(1+kε‬‬ ‫)‪(2‬‬
‫∞∑‬
‫= ) ‪sinε (µε‬‬ ‫‪(−1)k µ(2k+1)ε‬‬
‫)‪k=0 Γ(1+(2k+1)ε‬‬ ‫)‪(3‬‬
‫∞∑‬
‫= ) ‪cosε (µε‬‬ ‫‪(−1)k µ2kε‬‬
‫)‪k=0 Γ(1+2kε‬‬ ‫)‪(4‬‬
‫∞∑‬
‫= ‪sinhε‬‬ ‫‪µ(2k+1)ε‬‬
‫)‪k=0 Γ(1+(2k+1)ε‬‬ ‫)‪(5‬‬
‫∞∑‬
‫= ) ‪coshε (µε‬‬ ‫‪µ2kε‬‬
‫)‪k=0 Γ(1+2kε‬‬ ‫)‪(6‬‬

‫البرهان ‪2.5.3‬‬
‫إذا كانت )‪ φ(µ‬الدالة غير القابلة للمفاضلة ‪ ،‬فإن سلسلة ‪ Maclaurin‬الـكسر ية المحلية تعطى من الشكل ‪:‬‬

‫∑‬
‫∞‬
‫)‪D(kε) φ(0‬‬
‫= )‪φ(µ‬‬ ‫‪µkε‬‬ ‫)‪(51.3‬‬
‫‪k=0‬‬
‫)‪Γ(1 + kε‬‬

‫من ناحية أخرى ‪ ،‬يمكن تقديم كثيرة الحدود ‪ Maclaurin‬الـكسر ية المحلية ب ‪:‬‬

‫∑‬
‫‪n‬‬
‫)‪D(kε) φ(0‬‬
‫= ])‪Tn [φ(µ‬‬ ‫‪µkε‬‬ ‫)‪(52.3‬‬
‫‪k=0‬‬
‫)‪Γ(1 + kε‬‬

‫)‪ (1‬إلى حد أبعد ‪ ،‬بإستخدام العلاقة ‪ ، D(kε) φ(0) = 1‬حيث ) ‪ ، φ(0) = Eε (µε‬نجد ‪:‬‬

‫∑‬
‫∞‬
‫‪µkε‬‬
‫‪ε‬‬
‫= ) ‪Eε (µ‬‬
‫‪k=0‬‬
‫)‪Γ(1 + kε‬‬

‫)‪ (2‬بطر يقة مماثلة ‪ ،‬لما نأخذ ‪ ، D(kε) φ(0) = (−1)k‬حيث ) ‪ φ(0) = Eε (−µε‬و ‪ ، k ∈ R0‬نجد ‪:‬‬

‫∑‬‫∞‬
‫‪(−1)k µkε‬‬
‫‪ε‬‬
‫= ) ‪Eε (−µ‬‬
‫‪k=0‬‬
‫)‪Γ(1 + kε‬‬

‫)‪ (3‬لدينا ‪:‬‬

‫{‬
‫‪(−1)k , 2k + 1‬‬
‫= )‪D(kε) φ(0‬‬
‫‪0,‬‬ ‫‪2k‬‬

‫حيث ) ‪ φ(µ) = sinε (µε‬و ‪ ، k ∈ R0‬ومنه نجد ‪:‬‬

‫∑‬‫∞‬
‫‪(−1)k µ(2k+1)ε‬‬
‫‪ε‬‬
‫= ) ‪sinε (µ‬‬
‫‪k=0‬‬
‫)‪Γ(1 + (2k + 1)ε‬‬

‫‪35‬‬
‫التكاملات الـكسر ية المحلية‬ ‫الفصل الثالث‬

‫)‪ (4‬بنفس الطر يقة لدينا ‪:‬‬

‫{‬
‫)‪(kε‬‬ ‫‪(−1)k , 2k‬‬
‫‪D‬‬ ‫= )‪φ(0‬‬
‫‪0,‬‬ ‫‪2k + 1‬‬

‫حيث ) ‪ φ(µ) = cosε (µε‬و ‪ ، k ∈ R0‬ومنه نجد ‪:‬‬

‫∑‬‫∞‬
‫‪(−1)k µ2kε‬‬
‫‪ε‬‬
‫= ) ‪cosε (µ‬‬
‫‪k=0‬‬
‫)‪Γ(1 + 2kε‬‬

‫)‪ (5‬لدينا ‪:‬‬

‫{‬
‫‪1, 2k + 1‬‬
‫= )‪D(kε) φ(0‬‬
‫‪0, 2k‬‬

‫حيث ) ‪ φ(µ) = sinhε (µε‬و ‪ ، k ∈ R0‬ومنه نجد ‪:‬‬

‫∑‬
‫∞‬
‫‪µ(2k+1)ε‬‬
‫‪ε‬‬
‫= ) ‪sinhε (µ‬‬
‫‪k=0‬‬
‫)‪Γ(1 + (2k + 1)ε‬‬

‫)‪ (6‬و بالمثل لما ‪:‬‬

‫{‬
‫‪1, 2k‬‬
‫= )‪D(kε) φ(0‬‬
‫‪0, 2k + 1‬‬

‫حيث ) ‪ φ(µ) = coshε (µε‬و ‪ ، k ∈ R0‬ومنه نجد ‪:‬‬

‫∑‬
‫∞‬
‫‪µ2kε‬‬
‫‪ε‬‬
‫= ) ‪coshε (µ‬‬
‫‪k=0‬‬
‫)‪Γ(1 + 2kε‬‬

‫في الصيغ أعلاه ‪ ،‬نلاحظ أن ‪. R0 = R ∪ 0‬‬

‫لتكن ‪ C‬ثابتا‪ .‬التكاملات الـكسر ية المحلية لبعض الدوال غير القابلة للتفاضل المعرفة على المجموعات الفراكتالية المدرجة في الجدول‬
‫)‪.(1.3‬‬
‫لتكن التكاملات )‪ . m, n(m ̸= n‬التكامل الـكسري المحلي لبعض الدوال غير القابلة للتفاضل عبر دالة ‪Leffler – Mittag‬‬
‫المعرفة على المجموعات الفراكتالية المدرجة في الجدول )‪.(2.3‬‬

‫‪36‬‬
‫التكاملات الـكسر ية المحلية‬ ‫الفصل الثالث‬

‫ العمليات الأساسية للتكامل الـكسري المحلي لبعض الدالات غير القابلة للمفاضلة المعرفة على المجموعات الفراكتالية‬:1.3 ‫جدول‬

‫الدالة المحولة‬ ‫الدالة الأصلية‬

Cµε /Γ(1 + ε) C
µ(k+1)ε /Γ(1 + (k + 1)ε) kε
µ /Γ(1 + kε)
Eε (µε ) − 1 Eε (µε )
Eε (Cµε )−1
C
Eε (Cµε )
−[cosε (µε ) − 1] sinε (µε )
−[cosε (µε )−1]
C
sinε (Cµε )
sinε (µε ) cosε (µε )
sinε (µε )
C
cosε (Cµε )
µε µε
− C [ (1+ε) cosε (Cµε ) − C1 sinε (Cµε )
1
(1+ε)
sinε (Cµε )
ε µε
1
{ µ sinε (Cµε ) − C1 [cosε (Cµε ) − 1]}
C (1+ε) (1+ε)
cosε (Cµε )
Eε (µε )[sinε (Cµε )−C cosε (Cµε )]+C
1+C 2
Eε (µε ) sinε (Cµε )
Eε (µε )[cosε (Cµε )+C sinε (Cµε )]−1
1+C 2
Eε (µε ) cosε (Cµε )

‫ المعرفة‬Mittag–Leffler ‫ العمليات الأساسية للتكامل الـكسري المحلي لبعض الدالات غير القابلة للمفاضلة عبر دالة‬:2.3 ‫جدول‬
‫على المجموعات الفراكتالية‬

‫الدالة المحولة‬ ‫الدالة الأصلية‬

0 sinε (µε )
0 cosε (µε )
0 sinε (mε µε )
0 cosε (mε µε )
0 sinε (mε µε ) cosε (nε µε )
0 sinε (mε µε ) cosε (mε µε )
π ε /Γ(1 + ε) sinε (mε µε ) sinε (mε µε )
π ε /Γ(1 + ε) cosε (nε µε ) cosε (nε µε )
sinε [(2n+1)µ/2]ε
π ε /Γ(1 + ε) 2ε sinε (µ/2)ε

37
 ‫خاتمة‬

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

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

[1] X.-J. Yang, Advanced Local Fractional Calculus and Its Applications, World Science,New
York, 2012.

[2] K.M. Kolwankar, A.D. Gangal, Fractional differentiability of nowhere differentiable func-
tions and dimensions, Chaos 6 (4) (1996) 505–513.

[3] A.A. Kilbas, H.M. Srivastava, J.J. Trujillo, Theory and Applications of Fractional
Differential Equations North-Holland Mathematical Studies, vol. 204, Elsevier (North-
Holland)Science Publishers, Amsterdam, London, New York, 2006.

[4] J. Sabatier, O.P. Agrawal, J.A.T. Machado, Advances in Fractional Calculus,

Springer,Berlin, Heidelberg, New York, 2007.

[5] A. Carpinteri, F. Mainardi, Fractals and Fractional Calculus in Continuum Mechan-

ics,Springer, New York, 1997.

[6] K.B. Oldham, J. Spanier, The Fractional Calculus, Academic Press, New York, 1974.

[7] K.M. Kolwankar, A.D. Gangal, Hölder exponents of irregular signals and local fractional
derivatives, Pramana 48 (1) (1997) 49–68.

[8] K.M. Kolwankar, A.D. Gangal, Local fractional Fokker-Planck equation, Phys. Rev. Lett.80
(2) (1998) 214.

[9] A. Carpinteri, P. Cornetti, A fractional calculus approach to the description of stress and
strain localization in fractal media, Chaos Soliton. Fract. 13 (1) (2002) 85–94.

[10] A. Carpinteri, B. Chiaia, P. Cornetti, Static-kinematic duality and the principle of virtual
work in the mechanics of fractal media, Comput. Methods Appl. Mech. Eng. 191 (1)(2001)
3–19.

[11] A. Carpinteri, B. Chiaia, P. Cornetti, The elastic problem for fractal media: basic theory
and finite element formulation, Comput. Struct. 82 (6) (2004) 499–508.

[12] A. Carpinteri, P. Cornetti, K.M. Kolwankar, Calculation of the tensile and flexural
strength of disordered materials using fractional calculus, Chaos Soliton. Fract. 21 (3)
(2004)623–632.

39
 ‫المراجع العلمية‬ ‫المراجع العلمية‬

[13] Y. Chen, Y. Yan, K. Zhang, On the local fractional derivative, J. Math. Anal. Appl. 362
(1) (2010) 17–33.

[14] F.B. Adda, J. Cresson, About non-differentiable functions, J. Math. Anal. Appl. 263
(2)(2001) 721–737.

[15] A. Babakhani, V. Daftardar-Gejji, On calculus of local fractional derivatives, J. Math.Anal.

Appl. 270 (1)(2002) 66–79.

[16] X.-J. Yang, Local fractional integral transforms, Prog. Nonlinear Sci. 4 (1) (2011) 1–225.

[17] W. Chen, Time-space fabric underlying anomalous diffusion, Chaos Soliton. Fract. 28
(4)(2006) 923–929.

[18] W. Chen, H. Sun, X. Zhang, D. Korovsak, Anomalous diffusion modeling by fractal and
fractional derivatives, Comput. Math. Appl. 59 (5) (2010) 1754–1758.

[19] J.-H. He, A new fractal derivation, Therm. Sci. 15 (Suppl. 1) (2011) 145–147.

[20] J.-H. He, S.K. Elagan, Z.-B. Li, Geometrical explanation of the fractional complex
transform and derivative chain rule for fractional calculus, Phys. Lett. A 376 (4)
(2012)257–259.234 Bibliography

[21] X.-J. Yang, Local Fractional Functional Analysis and Its Applications, Asian Academic
Publisher Limited, Hong Kong, 2011.

[22] X.-J. Yang, H.M. Srivastava, J.-H. He, D. Baleanu, Cantor-type cylindrical-coordinate
method for differential equations with local fractional derivatives, Phys. Lett. A 377
(28)(2013) 1696–1700.

[23] X.-J. Yang, D. Baleanu, H.M. Srivastava, Local fractional similarity solution for the
diffusion equation defined on Cantor sets, Appl. Math. Lett. 47 (2015) 54–60.

[24] E.C.D. Oliveira, J.A.T. Machado, A review of definitions for fractional derivatives and
integral, Math. Probl. Eng. (2014) Article ID 238459, 6 pages.

[25] Y. Zhang, Solving initial-boundary value problems for local fractional differential equation
by local fractional Fourier series method, Abstr. Appl. Anal. (2014) Article ID912464, 5
pages.

[26] W. Chen, X.-D. Zhang, D. Korovsak, Investigation on fractional and fractal derivative
relaxation-oscillation models, Int. J. Nonlinear Sci. Numer. Simul. 11 (1) (2010) 3–10.

[27] A.-M. Yang, Y.-Z. Zhang, Y. Long, The Yang-Fourier transforms to heat-conduction in a
semi-infinite fractal bar, Therm. Sci. 17 (3) (2013) 707–713.

40
 ‫المراجع العلمية‬ ‫المراجع العلمية‬

[28] S.G. Samko, A.A. Kilbas, O.I. Marichev, Fractional Integrals and Derivatives: Theory
and Applications, Gordon and Breach, Yverdon, 1993.

[29] M.D. Ortigueira, Fractional central differences and derivatives, J. Vib. Control. 14 (9-
10)(2008) 1255–1266.

[30] M.D. Ortigueira, J.J. Trujillo, Generalized Grünwald-Letnikov fractional derivative and
its Laplace and Fourier transforms, J. Comput. Nonlinear Dyn. 6 (3) (2011) Article ID
034501.

[31] J.A.T. Machado, Fractional derivatives: probability interpretation and frequency re-
sponse of rational approximations, Commun. Nonlinear Sci. Numer. Simul. 14 (9) (2009)
3492–3497.

[32] J.A.T. Machado, Fractional coins and fractional derivatives, Abstr. Appl. Anal. (2013)Ar-
ticle ID 205097, 5 pages.

[33] M.D. Ortigueira, F. Coito, From differences to derivatives, Fract. Calc. Appl. Anal. 7
(4)(2004) 459.

[34] A. Atangana, A. Secer, A note on fractional order derivatives and table of fractional
derivatives of some special functions, Abstr. Appl. Anal. (2013) Article ID 279681,8 pages.

[35] G. Jumarie, On the representation of fractional Brownian motion as an integral with

respect to (dt)�, Appl. Math. Lett. 18 (7) (2005) 739–748.

[36] G. Jumarie, Modified Riemann-Liouville derivative and fractional Taylor series of nondif-
ferentiable functions further results, Comput. Math. Appl. 51 (9) (2006) 1367–1376.

[37] G. Jumarie, Modeling fractional stochastic systems as non-random fractional dynamics

driven by Brownian motions, Appl. Math. Model. 32 (5) (2008) 836–859.

[38] G. Jumarie, Table of some basic fractional calculus formulae derived from a modified
Riemann-Liouville derivative for nondifferentiable functions, Appl. Math. Lett. 22 (3)(2009)
378–385.

[39] C.-P. Li, Z.-G. Zhao, Introduction to fractional integrability and differentiability,
Eur.Phys. J. 193 (1) (2011) 5–26.

[40] R. Khalil, M. Al-Horani, A. Yousef, M. Sababheh, A new definition of fractional derivative,

J. Comput. Appl. Math. 264 (2014) 65–70.

[41] T. Abdeljawad, On conformable fractional calculus, J. Comput. Appl. Math. 279

(2015)57–66.

[42] U.N. Katugampola, New approach to a generalized fractional integral, Appl. Math.Comput.
218 (3) (2011) 860–865.

41
 ‫المراجع العلمية‬ ‫المراجع العلمية‬

[43] M. Caputo, M. Fabrizio, A new definition of fractional derivative without singular kernel,
Prog. Fract. Differ. Appl. 1 (2) (2015) 73–85.

[44] J. Losada, J.J. Nieto, Properties of a new fractional derivative without singular kernel,Prog.
Fract. Differ. Appl. 1 (2) (2015) 87–92.

[45] K.J.Falconer , The Geometry Of Fractal Sets - Google Book .

42
 ‫الملحق‬

Cantor ‫التشبيهات للدوال المثلثية المعرفة على مجموعات‬

.[21 ,6 ,1] ‫ هنا نقدم البراهين لتشبيهات الدوال المثلثية‬. Cantor ‫التشبيهات للدوال المثلثية التقليدية المعرفة على مجموعات‬

1 − cosε (2µ)ε
sin2ε (µε ) =
2

: ‫البرهان‬
( )2
Eε (iε µε ) − Eε (−iε µε )
sin2ε (µε ) =
2iε
(Eε (iε µε ) − Eε (−iε µε ))2
=
4i2ε
Eε (i µ ) + Eε2 (−iε µε ) − 2
2 ε ε
=
4i2ε
Eε (i (2µ) ) + Eε (−iε (2µ)ε ) − 2
ε ε
=
4i2ε
1 − cosε (2µ) ε
=
2

1 + cosε (2µ)ε
cos2ε (µε ) =
2

:‫البرهان‬
( )2
Eε (iε µε ) + Eε (−iε µε )
cos2ε (µε ) =
2
(Eε (i µ ) + Eε (−iε µε ))2
ε ε
=
4i2ε
Eε (i µ ) + Eε2 (−iε µε ) + 2
2 ε ε
=
4
Eε (iε (2µ)ε ) + Eε (−iε (2µ)ε ) + 2
=
4
1 + cosε (2µ)ε
=
2

cosε (2µ)ε = cos2ε (µε ) − sin2ε (µε )

43
 : ‫البرهان‬
1 + cosε (2µ)ε 1 − cosε (2µ)ε
cos2ε (µε ) − sin2ε (µε ) = −
2 2
ε
= cosε (2µ)

cos2ε (µε ) + sin2ε (µε ) = 1

:‫البرهان‬
1 + cosε (2µ)ε 1 − cosε (2µ)ε
cos2ε (µε ) + sin2ε (µε ) = +
2 2
=1

⋆
cosε (µε + η ε ) + cosε (µε − η ε )
cosε (µε ) cosε (η ε ) =
2
:‫البرهان‬
( )( )
Eε (iε µε ) + Eε (−iε µε ) Eε (iε η ε ) + Eε (−iε η ε )
cosε (µε ) cosε (η ε ) =
2 2
Eε (i µ + i η ) + Eε (i µ − i η ) + Eε (iε η ε − iε µε ) + Eε (−iε µε − iε η ε )
ε ε ε ε ε ε ε ε
=
4
cosε (µε + η ε ) + iε sinε (µε + η ε ) cosε (µε − η ε ) + iε sinε (µε − η ε )
= +
4 4
cosε (µ − η ) − i sinε (µ − η ) cosε (µ + η ) − iε sinε (µε + η ε )
ε ε ε ε ε ε ε
+ +
4 4
cosε (µε + η ε ) + cosε (µε − η ε )
=
2
⋆
cosε (µε + η ε ) − cosε (µε − η ε )
sinε (µε ) sinε (η ε ) = −
2
: ‫البرهان‬
( )( )
Eε (iε µε ) − Eε (−iε µε ) Eε (iε η ε ) − Eε (−iε η ε )
sinε (µε ) sinε (η ε ) =
2iε 2iε
cosε (µε + η ε ) + iε sinε (µε + η ε ) cosε (η ε − µε ) + iε sinε (η ε − µε )
=− +
4 4
cosε (µε − η ε ) + iε sinε (µε − η ε ) cosε (µε + η ε ) − iε sinε (µε + η ε )
+ −
4 4
cosε (µε + η ε ) + iε sinε (µε + η ε ) cosε (µε − η ε ) − iε sinε (µε − η ε )
=− +
4 4
cosε (µε − η ε ) + iε sinε (µε − η ε ) cosε (µε + η ε ) − iε sinε (µε + η ε )
+ −
4 4
cosε (µε + η ε ) − cosε (µε − η ε )
=−
2
44
 ⋆
sinε (µε + η ε ) + sinε (µε − η ε )
sinε (µε ) cosε (η ε ) =
2
: ‫البرهان‬
( )( )
ε ε Eε (iε µε ) − Eε (−iε µε ) Eε (iε η ε ) + Eε (−iε η ε )
sinε (µ ) cosε (η ) =
2iε 2
Eε (i µ + i η ) + Eε (i µ − i η ) − Eε (−iε µε + iε η ε ) − Eε (−iε µε − iε η ε )
ε ε ε ε ε ε ε ε
=
4iε
cosε (µ + η ) + i sinε (µ + η ) cosε (µε − η ε ) + iε sinε (µε − η ε )
ε ε ε ε ε
=− +
4iε 4iε
cosε (µ − η ) − i sinε (µ − η ) cosε (µ + η ) − iε sinε (µε + η ε )
ε ε ε ε ε ε ε
− −
4iε 4iε
sinε (µ + η ) + sinε (µ − η )
ε ε ε ε
=
2
⋆
sinε (µε + η ε ) − sinε (µε − η ε )
cosε (µε ) sinε (η ε ) =
2
: ‫البرهان‬
( )( )
Eε (iε µε ) + Eε (−iε µε ) Eε (iε η ε ) − Eε (iε η ε )
cosε (µε ) sinε (η ε ) =
2 2iε
Eε (iε µε + iε η ε ) + Eε (iε η ε − iε µε ) − Eε (iε µε − iε η ε ) − Eε (−iε µε − iε η ε )
=
4iε
cosε (µ + η ) + i sinε (µ + η ) cosε (µε − η ε ) − iε sinε (µε − η ε )
ε ε ε ε ε
= +
4iε 4iε
cosε (µ − η ) + i sinε (µ − η ) cosε (µ + η ) − iε sinε (µε + η ε )
ε ε ε ε ε ε ε
− −
4iε 4iε
sinε (µ + η ) − sinε (µ − η )
ε ε ε ε
=
2
⋆

sinε (µε + η ε ) = sinε (µε ) cosε (η ε ) + cosε (µε ) sinε (η ε )

: ‫البرهان‬
sinε (µε + η ε ) − sinε (µε − η ε )
sinε (µε + η ε ) =
2
sinε (µε + η ε ) + sinε (µε − η ε )
+
2
= sinε (µ ) cosε (η ε ) + cosε (µε ) sinε (η ε )
ε

sinε (µε − η ε ) = sinε (µε ) cosε (η ε ) − cosε (µε ) sinε (η ε )

45
 : ‫البرهان‬
sinε (µε + η ε ) + sinε (µε − η ε )
sinε (µε + η ε ) =
2
sinε (µε + η ε ) − sinε (µε − η ε )
−
2
= sinε (µ ) cosε (η ε ) − cosε (µε ) sinε (η ε )
ε

cosε (µε + η ε ) = cosε (µε ) cosε (η ε ) − sinε (µε ) sinε (η ε )

: ‫البرهان‬
cosε (µε + η ε ) + cosε (µε − η ε )
cosε (µε + η ε ) =
2
cosε (µ + η ) − cosε (µε − η ε )
ε ε
+
2
= cosε (µ ) cosε (η ε ) − sinε (µε ) sinε (η ε )
ε

cosε (µε − η ε ) = cosε (µε ) cosε (η ε ) + sinε (µε ) sinε (η ε )

: ‫البرهان‬
cosε (µε + η ε ) + cosε (µε − η ε )
cosε (µε − η ε ) =
2
cosε (µε + η ε ) − cosε (µε − η ε )
−
2
= cosε (µ ) cosε (η ε ) + sinε (µε ) sinε (η ε )
ε

⋆
[( )ε ] [( )ε ]
µ+η µ+η
sinε (µε ) + sinε (µε ) = 2 sinε cosε
2 2

: ‫البرهان‬
[( )ε ] [( )ε ] [( )ε ( )ε ]
µ+η µ+η µ+η µ−η
2 sinε cosε = sinε +
2 2 2 2
[( )ε ( )ε ]
µ+η µ−η
+ sinε −
2 2
= sinε (µε ) + sinε (µε )

⋆
[( )ε ] [( )ε ]
µ+η µ+η
sinε (µε ) − sinε (µε ) = 2 cosε sinε
2 2

46
 : ‫البرهان‬
[( )ε ] [( )ε ] [( )ε ( )ε ]
µ+η µ−η µ+η µ−η
2 cosε sinε = sinε +
2 2 2 2
[( )ε ( )ε ]
µ+η µ−η
− sinε −
2 2
= sinε (µε ) − sinε (µε )

⋆
[( )ε ] [( )ε ]
ε ε µ+η µ−η
cosε (µ ) + cosε (µ ) = 2 cosε cosε
2 2

: ‫البرهان‬
[( )ε ] [( )ε ] [( )ε ( )ε ]
µ+η µ−η µ+η µ−η
2 cosε cosε = cosε +
2 2 2 2
[( )ε ( )ε ]
µ+η µ−η
+ cosε −
2 2
= cosε (µε ) + cosε (µε )

⋆
[( )ε ] [( )ε ]
µ+η µ−η
cosε (µ ) − cosε (µ ) = −2 sinε
ε ε
sinε
2 2

: ‫البرهان‬
[( )ε ] [( )ε ] [( )ε ( )ε ]
µ+η µ−η µ+η µ−η
−2 sinε sinε = cosε +
2 2 2 2
[( )ε ( )ε ]
µ+η µ−η
− cosε −
2 2
= cosε (µε ) − cosε (µε )

[Eε (iε µε )]k = (cosε [(kµ)ε ] + iε sinε [(kµ)ε ])

: ‫البرهان‬
.‫ فهذا صحيح‬k = 1 ‫ و‬k = 0 ‫لما‬
: ‫ نفترض أن‬k = n ‫لما‬
k
[Eε (i µ )] = cosε [(kµ)ε ] + iε sinε [(kµ)ε ]
ε ε

47
 : ‫ نجد‬k = n + 1 ‫لما‬

[Eε (iε µε )]k+1 = (cosε [(kµ)ε ] + iε sinε [(kµ)ε ]) (cosε (µε ) + iε sinε (µε ))
= cosε [(kµ)ε ] cosε (µε ) + iε cosε [(kµ)ε ] sinε (µε )
+ iε sinε [(kµ)ε ] cosε (µε ) − sinε [(kµ)ε ] sinε (µε )
cosε [(kµ)ε + µε ] + cosε [(kµ)ε − µε ]
=
2
sin ε [(kµ) ε
+ µ ε
] − sinε [(kµ)ε − µε ]
+ iε
2
sinε [(kµ) + µ ] + sinε [(kµ)ε − µε ]
ε ε
+ iε
2
cosε [(kµ)ε + µε ] − cosε [(kµ)ε − µε ]
+
2
= cosε [(kµ) + µ ] + iε sinε [(kµ)ε + µε ]
ε ε

= cosε [(k + 1)ε µε ] + iε sinε [(k + 1)ε µε ]

: ‫ نستخدم الصيغة التالية‬، ‫* في هذه الحالة‬

k
[Eε (i µ )] = (cosε [(kµ) ] + iε sinε [(kµ)ε ]) = Eε [iε (kµ)ε ]
ε ε ε

‫لتكن‬

∑
k
ε
θ = cosε (nµ)ε
n=1
‫و‬

∑
k
ε
ϑ = sinε (nµ)ε
n=1

: ‫ يمكننا بناء دالة‬، ‫بعد ذلك‬

Θ = θ ε + i ε ϑε
∑
k
= Eε [iε (nµ)ε ]
n=1

: ‫و بالتالي نحصل على‬

Eε (iε µε )Θ = Eε (iε µε )(θε + iε ϑε )

{ k }
∑
= Eε (iε µε ) Eε [iε (nµ)ε ]
n=1
∑
k+1
= Eε [iε (nµ)ε ]
n=2

: ‫ لدينا‬، ‫لذلك‬

Θ(Eε (iε µε ) − 1) = Eε [iε ((k + 1)µ)ε ] − Eε (iε µε )

48
 : ‫التي تؤدي إلى‬

Θ = θ ε + i ε ϑε
Eε [iε ((k + 1)µ)ε ] − Eε (iε µε )
=
(Eε (iε µε ) − 1)
Eε (−iε ( µ2 )ε )Eε [iε ((k + 1)µ)ε ] − Eε (iε µε )
=
Eε (−iε ( µ2 )ε )(Eε (iε µε ) − 1)
[ε ]
Eε i ((k + 12 )µ)ε − Eε (iε ( µ2 )ε )
= [ ] [ ]
Eε iε ( µ2 )ε − Eε −iε ( µ2 )ε
[ (( ) )ε ] { [ ε kµ ε ] }
k + 1 E ε i ( )µ) − E ε (−i ε kµ ε
( ) )
= Eε iε µ [ 2 ] [ 2 ]
2 Eε iε ( µ2 )ε − Eε −iε ( µ2 )ε
 
[ (( ) )ε ]  Eε [iε ( kµ 2
)µ)ε ]−Eε (−iε ( kµ
2
)ε ) 
k+1 2iε
= Eε iε µ
2  Eε [i ( 2 ) ]−Eε [−iε ( µ2 )ε ] 
ε µ ε

[( )ε2i] 
ε

[ (( ) )ε ]  sin kµ 
k+1 ε 2
= Eε i ε
µ [( µ )ε ]
2  sinε 2 
 [( )ε ] 
 sinε kµ 2
{ [((
k+1
) )ε ] [((
k+1
) )ε ]}
= [( ) ] cosε µ ε
+ i sinε µ
 sinε µ2 ε  2 2

: ‫ نحصل على‬، ‫وبالتالي‬

 [ ]
( )ε 
∑
k  sinε kµ  [(( ) )ε ]
2 k+1
ε
θ = ε
cosε (nµ) = [( ) ] cosε µ
 sinε µ2 ε  2
n=1

‫و‬
 [( )ε ] 
∑k  sinε kµ  [(( ) )ε ]
2 k+1
ε
ϑ = ε
sinε (nµ) = [( µ )ε ] sinε µ
n=1
 sin ε 2
 2
[( )ε ]
sinε µ2 ̸= 0 : ‫حيث‬
: ‫ يمكننا تقديم الصيغة التالية‬، ‫الآن‬
 [ ( )ε ] 
∑
k  sin kµ  [(( ) )ε ]
1 1 ε 2 k+1
+ cosε (nµ)ε = + [( )ε ] cosε µ
2 n=1 2  sinε µ2  2
[( µ )ε ] [ ( )ε ] [(( k+1 ) )ε ]
sinε 2 + 2 sinε kµ 2
cosε 2
µ
= [( µ )ε ]
2 sinε 2
[( µ )ε ] [( )ε ] [(( k+1 ) )ε ]
sinε 2 + sinε kµ 2
cosε 2
µ
= [( µ )ε ]
2 sinε 2
[(( 1
) )ε ]
sinε k+2 µ
= [( )ε ]
2 sinε µ2

49
 [(( ) )ε ]
1 ∑
k
sinε k + 12 µ
Dk,ε (t) = + ε
cosε (nµ) = [( )ε ]
2 n=1 2 sinε µ2

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

sinε (µε )
tanε (µε ) =
cosε (µε )

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

cosε (µε )
cotε (µε ) =
sinε (µε )

0 < ε ≤ 1 ‫ و‬µ ∈ R ‫حيث‬

sinε [(2µ)ε ] 1 − cosε [(2µ)ε ]

tanε (µε ) = =
1 + cosε [(2µ)ε ] sinε [(2µ)ε ]

: ‫البرهان‬

2 sinε (µε ) cosε (µε )

tanε (µε ) =
2 cosε (µε ) cosε (µε )
sinε [(2µ)ε ]
=
1 + cosε [(2µ)ε ]

: ‫ نحصل على‬، ‫وبالتالي‬

2 sinε (µε ) cosε (µε )

tanε (µε ) =
2 sinε (µε ) cosε (µε )
1 − cosε [(2µ)ε ]
=
sinε [(2µ)ε ]

50
 ‫مقدمة في المشتقات و التكاملات الـكسر ية المحلية‬

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

Introduction to local fractional derivatives and integrals

Abstract
The aim of this work It is to give a brief overview of the topic of local fractional derivatives and integrals ,
and that by giving basic definitions and theories as a subject newly established ,This is importance given the
big role which he plays in modeling many natural phenomena which classical mathematics failed to express ,as
well as solving many of problems especially when it comes to functions non-dffierentiable , as well as applying
local fractional derivatives and integrals to solve it ,as been transformation many of physical phenomena to
fractional dffierential equations It achieved accurate results .
key words :
local fractional derivatives and integrals - non-dffierentiable - fractional dffierential equations - fractal

pour dérivation et intégration fractionnaire local

Résumé
Le but de ce travail Il est de donner un bref aperçu du sujet des dérivation et intégration fractionnaire local, et
qu'en donnant des définitions de base et des théories comme un sujet nouvellement établi , Ceci est important étant
donné le grand rôle qu'il joue dans la modélisation de nombreux phénomènes naturels que les mathématiques
classiques n'ont pas réussi à exprimer, ainsi que dans la résolution de nombreux problèmes , en particulier
lorsqu'il s'agit des fonctions non dffiérentiables , ainsi qu'en appliquant des dérivation et intégration fractionnaire
local pour le résoudre, comme cela a été la transformation de nombreux phénomènes physiques aux équations
dffiérentielles fractionnaires il a obtenu des résultats précis .
Mots clés :
dérivation et intégration fractionnaire local - non dffiérentiables - équations dffiérentielles fractionnaires -
fractal

51
52