معادلة تكاملية

في التحليل الرياضي ، تُعرف المعادلات التكاملية بأنها المعادلات التي تظهر فيها دالة مجهولة تحت علامة التكامل . [ 1 ] وبالتالي، يمكن التعبير عن المعادلات التكاملية في الترميز الرياضي بالشكل التالي:و(x1،x2،x3،...،xن؛u(x1،x2،x3،...،xن)؛أنا1(u)،أنا2(u)،أنا3(u)،...،أنام(u))=0{\displaystyle f(x_{1},x_{2},x_{3},\ldots ,x_{n};u(x_{1},x_{2},x_{3},\ldots ,x_{n});I^{1}(u),I^{2}(u),I^{3}(u),\ldots ,I^{m}(u))=0} أينأناأنا(u){\displaystyle I^{i}(u)}هو مؤثر تكاملي يعمل على u. لذا، يمكن اعتبار المعادلات التكاملية مماثلة للمعادلات التفاضلية ، حيث تحتوي المعادلة على تكاملات بدلاً من المشتقات. ويمكن إجراء مقارنة مباشرة بين الصيغة الرياضية للمعادلة التكاملية العامة المذكورة أعلاه والصيغة العامة للمعادلة التفاضلية التي يمكن التعبير عنها كما يلي:و(x1،x2،x3،...،xن؛u(x1،x2،x3،...،xن)؛د1(u)،د2(u)،د3(u)،...،دم(u))=0{\displaystyle f(x_{1},x_{2},x_{3},\ldots ,x_{n};u(x_{1},x_{2},x_{3},\ldots ,x_{n});D^{1}(u),D^{2}(u),D^{3}(u),\ldots ,D^{m}(u))=0}أيندأنا(u){\displaystyle D^{i}(u)}يمكن اعتبارها مؤثرًا تفاضليًا من الرتبة i . [ 1 ] نظرًا لهذا الارتباط الوثيق بين المعادلات التفاضلية والتكاملية، يُمكن غالبًا التحويل بينهما. على سبيل المثال، إحدى طرق حل مسألة القيمة الحدية هي تحويل المعادلة التفاضلية مع شروطها الحدية إلى معادلة تكاملية، ثم حل المعادلة التكاملية. [ 1 ] إضافةً إلى ذلك، ولأن التحويل بينهما ممكن، فإن المعادلات التفاضلية في الفيزياء، مثل معادلات ماكسويل، غالبًا ما يكون لها شكل تكاملي وتفاضلي مماثل. [ 2 ] انظر أيضًا، على سبيل المثال، دالة غرين ونظرية فريدهولم .

التصنيف والنظرة العامة

توجد طرق تصنيف متنوعة للمعادلات التكاملية. تشمل بعض التصنيفات القياسية التمييز بين المعادلات الخطية وغير الخطية؛ والمتجانسة وغير المتجانسة؛ وتصنيف فريدهولم وفولتيرا؛ ومعادلات الرتبة الأولى والثانية والثالثة؛ والمعادلات التكاملية الشاذة والمنتظمة. [ 1 ] تستند هذه التمييزات عادةً إلى خاصية أساسية، مثل اعتبار خطية المعادلة أو تجانسها. [ 1 ] تُوضَّح هذه الملاحظات من خلال التعريفات والأمثلة التالية:

الخطية

الخطية : تكون المعادلة التكاملية خطية إذا ظهرت الدالة المجهولة u ( x ) وتكاملاتها بشكل خطي في المعادلة. [ 1 ] ومن الأمثلة على المعادلة الخطية ما يلي: [ 1 ]u(x)=و(x)+λα(x)β(x)ك(x،ت)u(ت)دت{\displaystyle u(x)=f(x)+\lambda \int _{\alpha (x)}^{\beta (x)}K(x,t)\cdot u(t)\,dt}ملاحظة حول اصطلاح التسمية: 1) تُسمى u ( x ) الدالة المجهولة، 2) تُسمى f ( x ) الدالة المعلوم، 3) K ( x , t ) هي دالة لمتغيرين وتُسمى غالبًا دالة النواة ، 4) λ هو عامل أو مُعامل مجهول، ويؤدي نفس دور القيمة الذاتية في الجبر الخطي . [ 1 ]

المعادلات غير الخطية : تُعتبر المعادلة التكاملية غير خطية إذا ظهرت الدالة المجهولة u ( x ) أو أي من تكاملاتها بشكل غير خطي في المعادلة. [ 1 ] ومن أمثلة المعادلات غير الخطية المعادلة المذكورة أعلاه إذا استبدلنا u ( t ) بـu2(x)،كوس(u(x))،أو هـu(x){\displaystyle u^{2}(x),\,\,\cos(u(x)),\,{\text{or }}\,e^{u(x)}}، مثل:u(x)=و(x)+α(x)β(x)ك(x،ت)u2(ت)دت{\displaystyle u(x)=f(x)+\int _{\alpha (x)}^{\beta (x)}K(x,t)\cdot u^{2}(t)\,dt}تُعرف بعض أنواع المعادلات التكاملية غير الخطية بأسماء محددة. [ 3 ] ومن أمثلة هذه المعادلات: [ 3 ]

  • معادلات فولتيرا التكاملية غير الخطية من النوع الثاني والتي لها الشكل العام التالي:u(x)=و(x)+λأxك(x،ت)F(x،ت،u(ت))دت،{\displaystyle u(x)=f(x)+\lambda \int _{a}^{x}K(x,t)\,F(x,t,u(t))\,dt,} حيث F دالة معروفة. [ 3 ]
  • معادلات فريدهولم التكاملية غير الخطية من النوع الثاني والتي لها الشكل العام التالي:و(x)=F(x،أبك(x،y،و(x)،و(y))دy){\displaystyle f(x)=F\left(x,\int _{a}^{b}K(x,y,f(x),f(y))\,dy\right)}[ 3 ]
  • يُعطى نوع خاص من معادلات فريدهولم التكاملية غير الخطية من النوع الثاني بالشكل التالي:و(x)=ز(x)+أبك(x،y،و(x)،و(y))دy{\displaystyle f(x)=g(x)+\int _{a}^{b}K(x,y,f(x),f(y))\,dy}، والتي تحتوي على فئتين فرعيتين خاصتين: [ 3 ]
    • معادلة أوريسون:و(x)=ز(x)+أبك(x،y،و(y))دy{\displaystyle f(x)=g(x)+\int _{a}^{b}k(x,y,f(y))\,dy}[ 3 ]
    • معادلة هامرشتاين:و(x)=ز(x)+أبك(x،y)جي(y،و(y))دy{\displaystyle f(x)=g(x)+\int _{a}^{b}k(x,y)\,G(y,f(y))\,dy}[ 3 ]

يمكن العثور على مزيد من المعلومات حول معادلة هامرشتاين والإصدارات المختلفة منها في قسم هامرشتاين أدناه.

موقع المعادلة المجهولة

النوع الأول : تُسمى المعادلة التكاملية معادلة تكاملية من النوع الأول إذا ظهرت الدالة المجهولة فقط تحت علامة التكامل. [ 3 ] مثال على ذلك:و(x)=أبك(x،ت)u(ت)دت{\displaystyle f(x)=\int _{a}^{b}K(x,t)\,u(t)\,dt}[ 3 ]

النوع الثاني : تُسمى المعادلة التكاملية معادلة تكاملية من النوع الثاني إذا ظهرت الدالة المجهولة أيضًا خارج التكامل. [ 3 ]

النوع الثالث : تسمى المعادلة التكاملية معادلة تكاملية من النوع الثالث إذا كانت معادلة تكاملية خطية بالشكل التالي: [ 3 ]ز(ت)u(ت)+λأبك(ت،x)u(x)دx=و(ت){\displaystyle g(t)u(t)+\lambda \int _{a}^{b}K(t,x)u(x)\,dx=f(t)}حيث تنعدم الدالة g ( t ) مرة واحدة على الأقل في الفترة [ a , b ] [ 4 ] [ 5 ] أو حيث تنعدم الدالة g ( t ) عند عدد محدود من النقاط في ( a , b ). [ 6 ]

حدود التكامل

فريدهولم : تُسمى المعادلة التكاملية معادلة تكاملية من نوع فريدهولم إذا كانت حدود التكامل في جميع التكاملات ثابتة ومحددة. [ 1 ] مثال على ذلك هو إجراء التكامل على مجموعة جزئية ثابتة منRن{\displaystyle \mathbb {R} ^{n}}[ 3 ] ومن ثم ، فإن المثالين التاليين هما معادلات فريدهولم: [ 1 ]

  • معادلة فريدهولم من النوع الأول:و(x)=أبك(x،ت)u(ت)دت{\displaystyle f(x)=\int _{a}^{b}K(x,t)\,u(t)\,dt}.
  • معادلة فريدهولم من النوع الثاني:u(x)=و(x)+λأبك(x،ت)u(ت)دت.{\displaystyle u(x)=f(x)+\lambda \int _{a}^{b}K(x,t)\,u(t)\,dt.}

لاحظ أنه يمكننا التعبير عن المعادلات التكاملية مثل تلك المذكورة أعلاه باستخدام ترميز المؤثر التكاملي أيضًا. [ 7 ] على سبيل المثال، يمكننا تعريف مؤثر فريدهولم التكاملي على النحو التالي:(Fy)(ت):=ت0تيك(ت،s)y(s)دs.{\displaystyle ({\mathcal {F}}y)(t):=\int _{t_{0}}^{T}K(t,s)\,y(s)\,ds.}وبالتالي، يمكن كتابة معادلة فريدهولم المذكورة أعلاه من النوع الثاني بشكل مختصر على النحو التالي: [ 7 ]y(ت)=ز(ت)+λ(Fy)(ت).{\displaystyle y(t)=g(t)+\lambda ({\mathcal {F}}y)(t).}

فولتيرا : تُسمى المعادلة التكاملية معادلة فولتيرا إذا كان أحد حدود التكامل على الأقل متغيرًا. [ 1 ] وبالتالي، يُجرى التكامل على مجال يتغير بتغير متغير التكامل. [ 3 ] من أمثلة معادلات فولتيرا: [ 1 ]

  • معادلة فولتيرا التكاملية من النوع الأول:و(x)=أxك(x،ت)u(ت)دت{\displaystyle f(x)=\int _{a}^{x}K(x,t)\,u(t)\,dt}
  • معادلة فولتيرا التكاملية من النوع الثاني:u(x)=و(x)+λأxك(x،ت)u(ت)دت.{\displaystyle u(x)=f(x)+\lambda \int _{a}^{x}K(x,t)\,u(t)\,dt.}

كما هو الحال مع معادلات فريدهولم، يمكننا مرة أخرى اعتماد ترميز المؤثرات. وبالتالي، يمكننا تعريف مؤثر فولتيرا التكاملي الخطيV:ج(أنا)ج(أنا){\displaystyle {\mathcal {V}}:C(I)\to C(I)}، كما يلي: [ 3 ](Vφ)(ت):=ت0تك(ت،s)φ(s)دs{\displaystyle ({\mathcal {V}}\varphi )(t):=\int _{t_{0}}^{t}K(t,s)\,\varphi (s)\,ds}أينتأنا=[ت0،تي]{\displaystyle t\in I=[t_{0},T]}وتُسمى الدالة K ( t , s ) بالنواة، ويجب أن تكون متصلة على الفترة.د:={(ت،s):0sتتي}{\displaystyle D:=\{(t,s):0\leq s\leq t\leq T\leq \infty \}}[ 3 ] ومن ثم ، يمكن كتابة معادلة فولتيرا التكاملية من النوع الأول على النحو التالي: [ 3 ](Vy)(ت)=ز(ت){\displaystyle ({\mathcal {V}}y)(t)=g(t)}معز(0)=0{\displaystyle g(0)=0}بالإضافة إلى ذلك، معادلة فولتيرا التكاملية الخطية من النوع الثاني لدالة مجهولةy(ت){\displaystyle y(t)}ودالة متصلة معطاةز(ت){\displaystyle g(t)}في الفترةأنا{\displaystyle I}أينتأنا{\displaystyle t\in I}:y(ت)=ز(ت)+(Vy)(ت).{\displaystyle y(t)=g(t)+({\mathcal {V}}y)(t).}فولتيرا-فريدهولم : في الأبعاد الأعلى، توجد معادلات تكاملية مثل معادلات فريدهولم-فولتيرا التكاملية (VFIE). [ 3 ] تأخذ معادلة VFIE الشكل التالي:u(ت،x)=ز(ت،x)+(تيu)(ت،x){\displaystyle u(t,x)=g(t,x)+({\mathcal {T}}u)(t,x)}معxΩ{\displaystyle x\in \Omega }وΩ{\displaystyle \Omega }كونها منطقة مغلقة ومحدودة فيRد{\displaystyle \mathbb {R} ^{d}}بحدود ناعمة جزئيًا. [ 3 ] مؤثر فريدهولم-فولتيرا التكامليتي:ج(أنا×Ω)ج(أنا×Ω){\displaystyle {\mathcal {T}}:C(I\times \Omega )\to C(I\times \Omega )}يُعرَّف على النحو التالي: [ 3 ]

(تيu)(ت،x):=0تΩك(ت،s،x،ξ)جي(u(s،ξ))دξدs.{\displaystyle ({\mathcal {T}}u)(t,x):=\int _{0}^{t}\int _{\Omega }K(t,s,x,\xi )\,G(u(s,\xi ))\,d\xi \,ds.}لاحظ أنه على الرغم من أن حدود التكامل تُكتب عادةً على شكل فترات في هذا المقال، إلا أن هذا ليس شرطًا. [ 7 ] بشكل عام، لا يلزم تعريف المعادلات التكاملية دائمًا على فترة.[أ،ب]=أنا{\displaystyle [a,b]=I}ولكن يمكن تعريفها أيضًا على منحنى أو سطح. [ 7 ]

تجانس

متجانس : تُسمى المعادلة التكاملية متجانسة إذا كانت الدالة المعروفةو{\displaystyle f}يساوي الصفر تمامًا. [ 1 ]

غير متجانس : تُسمى المعادلة التكاملية غير متجانسة إذا كانت الدالة المعروفةو{\displaystyle f}غير صفري. [ 1 ]

الانتظام

منتظمة : تُسمى المعادلة التكاملية منتظمة إذا كانت جميع التكاملات المستخدمة فيها تكاملات حقيقية. [ 7 ]

المعادلة التكاملية الشاذة أو شبه الشاذة : تُسمى المعادلة التكاملية شاذة أو شبه شاذة إذا كان التكامل تكاملاً غير محدود . [ 7 ] قد يكون ذلك إما لأن أحد حدود التكامل على الأقل لانهائي، أو لأن نواة التكامل تصبح غير محدودة، أي لانهائية، عند نقطة واحدة على الأقل في الفترة أو المجال الذي يتم التكامل عليه. [ 1 ]

ومن الأمثلة على ذلك: [ 1 ]F(λ)=-هـ-أناλxu(x)دx{\displaystyle F(\lambda )=\int _{-\infty }^{\infty }e^{-i\lambda x}u(x)\,dx}ل[u(x)]=0هـ-λxu(x)دx{\displaystyle L[u(x)]=\int _{0}^{\infty }e^{-\lambda x}u(x)\,dx}هاتان المعادلتان التكامليتان هما تحويل فورييه وتحويل لابلاس للدالة u ( x ) على التوالي، وكلاهما معادلات فريدهولم من النوع الأول ذات نواةك(x،ت)=هـ-أناλx{\displaystyle K(x,t)=e^{-i\lambda x}}وك(x،ت)=هـ-λx{\displaystyle K(x,t)=e^{-\lambda x}}على التوالي. [ 1 ] مثال آخر على معادلة تكاملية مفردة تصبح فيها النواة غير محدودة هو: [ 1 ]x2=0x1x-تu(ت)دت.{\displaystyle x^{2}=\int _{0}^{x}{\frac {1}{\sqrt {x-t}}}\,u(t)\,dt.}هذه المعادلة هي شكل خاص من معادلة فولتيرا التكاملية الضعيفة الشاذة الأكثر عمومية من النوع الأول، والتي تسمى معادلة أبيل التكاملية: [ 7 ]ز(x)=أxو(y)x-yدy{\displaystyle g(x)=\int _{a}^{x}{\frac {f(y)}{\sqrt {x-y}}}\,dy}التفرد القوي : تُسمى المعادلة التكاملية متفردة بقوة إذا تم تعريف التكامل بواسطة تنظيم خاص، على سبيل المثال، بواسطة القيمة الرئيسية لكوشي . [ 7 ]

المعادلات التكاملية التفاضلية

المعادلة التكاملية التفاضلية ، كما يوحي اسمها، تجمع بين المؤثرات التفاضلية والتكاملية في معادلة واحدة. [ 1 ] توجد العديد من الصيغ، بما في ذلك معادلة فولتيرا التكاملية التفاضلية ومعادلات التأخير كما هو موضح أدناه. [ 3 ] على سبيل المثال، باستخدام مؤثر فولتيرا كما هو موضح أعلاه، يمكن كتابة معادلة فولتيرا التكاملية التفاضلية على النحو التالي: [ 3 ]y(ت)=و(ت،y(ت))+(Vαy)(ت){\displaystyle y'(t)=f(t,y(t))+(V_{\alpha }y)(t)}بالنسبة لمسائل التأخير، يمكننا تعريف عامل التكامل التأخيري(دبليوθ،αy){\displaystyle ({\mathcal {W}}_{\theta ,\alpha }y)}كما يلي: [ 3 ](دبليوθ،αy)(ت):=θ(ت)ت(ت-s)-αك2(ت،s،y(s)،y(s))دs{\displaystyle ({\mathcal {W}}_{\theta ,\alpha }y)(t):=\int _{\theta (t)}^{t}(t-s)^{-\alpha }\cdot k_{2}(t,s,y(s),y'(s))\,ds}حيث يمكن التعبير عن معادلة التكامل التفاضلية المتأخرة على النحو التالي: [ 3 ]y(ت)=و(ت،y(ت)،y(θ(ت)))+(دبليوθ،αy)(ت).{\displaystyle y'(t)=f(t,y(t),y(\theta (t)))+({\mathcal {W}}_{\theta ,\alpha }y)(t).}

معادلات فولتيرا التكاملية

نظريات التفرد والوجود في بُعد واحد

حل معادلة فولتيرا التكاملية الخطية من النوع الأول، المعطى بالمعادلة التالية:(Vy)(ت)=ز(ت){\displaystyle ({\mathcal {V}}y)(t)=g(t)}يمكن وصفها بنظرية التفرد والوجود التالية. [ 3 ] تذكر أن مؤثر فولتيرا التكامليV:ج(أنا)ج(أنا){\displaystyle {\mathcal {V}}:C(I)\to C(I)}ويمكن تعريفها على النحو التالي: [ 3 ](Vφ)(ت):=ت0تك(ت،s)φ(s)دs{\displaystyle ({\mathcal {V}}\varphi )(t):=\int _{t_{0}}^{t}K(t,s)\,\varphi (s)\,ds}أينتأنا=[ت0،تي]{\displaystyle t\in I=[t_{0},T]}وتُسمى الدالة K ( t , s ) بالنواة، ويجب أن تكون متصلة على الفترة.د:={(ت،s):0sتتي}{\displaystyle D:=\{(t,s):0\leq s\leq t\leq T\leq \infty \}}[ 3 ]

نظرية افترض أنك{\displaystyle K}يرضيكج(د)،ك/تج(د){\displaystyle K\in C(D),\,\partial K/\partial t\in C(D)}و|ك(ت،ت)|ك0>0{\displaystyle \vert K(t,t)\vert \geq k_{0}>0}بالنسبة للبعضتأنا.{\displaystyle t\in I.}ثم لأيزج1(أنا){\displaystyle g\in C^{1}(I)}معز(0)=0{\displaystyle g(0)=0}للمعادلة التكاملية أعلاه حل وحيد فيyج(أنا){\displaystyle y\in C(I)}.

الحل لمعادلة فولتيرا التكاملية الخطية من النوع الثاني، المعطى بالمعادلة: [ 3 ]y(ت)=ز(ت)+(Vy)(ت){\displaystyle y(t)=g(t)+({\mathcal {V}}y)(t)}يمكن وصفها بنظرية التفرد والوجود التالية. [ 3 ]

نظرية ليكنكج(د){\displaystyle K\in C(D)}ودعR{\displaystyle R}يشير إلى نواة الحل المرتبطة بـك{\displaystyle K}ثم، لأيزج(أنا){\displaystyle g\in C(I)}، معادلة فولتيرا التكاملية من النوع الثاني لها حل وحيد yج(أنا){\displaystyle y\in C(I)}وهذا الحل يُعطى بالصيغة التالية:y(ت)=ز(ت)+0تR(ت،s)ز(s)دs.{\displaystyle y(t)=g(t)+\int _{0}^{t}R(t,s)\,g(s)\,ds.}

معادلات فولتيرا التكاملية في R 2

يمكن التعبير عن معادلة فولتيرا التكاملية من النوع الثاني على النحو التالي: [ 3 ]u(ت،x)=ز(ت،x)+0x0yك(x،ξ،y،η)u(ξ،η)دηدξ{\displaystyle u(t,x)=g(t,x)+\int _{0}^{x}\int _{0}^{y}K(x,\xi ,y,\eta )\,u(\xi ,\eta )\,d\eta \,d\xi }أين(x،y)Ω:=[0،X]×[0،Y]{\displaystyle (x,y)\in \Omega :=[0,X]\times [0,Y]} ,زج(Ω){\displaystyle g\in C(\Omega )}،كج(د2){\displaystyle K\in C(D_{2})}ود2:={(x،ξ،y،η):0ξxX،0ηyY}{\displaystyle D_{2}:=\{(x,\xi ,y,\eta ):0\leq \xi \leq x\leq X,0\leq \eta \leq y\leq Y\}}[ 3 ] لهذه المعادلة التكاملية حل وحيدuج(Ω){\displaystyle u\in C(\Omega )}مقدم من: [ 3 ]u(ت،x)=ز(ت،x)+0x0yR(x،ξ،y،η)ز(ξ،η)دηدξ{\displaystyle u(t,x)=g(t,x)+\int _{0}^{x}\int _{0}^{y}R(x,\xi ,y,\eta )\,g(\xi ,\eta )\,d\eta \,d\xi }أينR{\displaystyle R}هي نواة الحل لـ K. [ 3 ]

نظريات التفرد والوجود لمعادلات فريدهولم-فولتيرا

كما هو موضح أعلاه، فإن VFIE له الشكل التالي:u(ت،x)=ز(ت،x)+(تيu)(ت،x){\displaystyle u(t,x)=g(t,x)+({\mathcal {T}}u)(t,x)}معxΩ{\displaystyle x\in \Omega }وΩ{\displaystyle \Omega }كونها منطقة مغلقة ومحدودة فيRد{\displaystyle \mathbb {R} ^{d}}بحدود ناعمة جزئيًا. [ 3 ] مؤثر فريدهولم-فولتيرا التكامليتي:ج(أنا×Ω)ج(أنا×Ω){\displaystyle {\mathcal {T}}:C(I\times \Omega )\to C(I\times \Omega )}يُعرَّف على النحو التالي: [ 3 ](تيu)(ت،x):=0تΩك(ت،s،x،ξ)جي(u(s،ξ))دξدs.{\displaystyle ({\mathcal {T}}u)(t,x):=\int _{0}^{t}\int _{\Omega }K(t,s,x,\xi )\,G(u(s,\xi ))\,d\xi \,ds.}في الحالة التي يمكن فيها كتابة النواة K على النحو التاليك(ت،s،x،ξ)=ك(ت-s)ح(x،ξ){\displaystyle K(t,s,x,\xi )=k(t-s)H(x,\xi )}يُطلق على K اسم نواة الذاكرة الموجبة. [ 3 ] مع وضع هذا في الاعتبار، يمكننا الآن تقديم النظرية التالية: [ 3 ]

نظرية إذا كانت معادلة فيشر الخطية المعطاة بالصيغة التالية:u(ت،x)=ز(ت،x)+0تΩك(ت،s،x،ξ)جي(u(s،ξ))دξدs{\displaystyle u(t,x)=g(t,x)+\int _{0}^{t}\int _{\Omega }K(t,s,x,\xi )\,G(u(s,\xi ))\,d\xi \,ds} مع (ت،x)أنا×Ω{\displaystyle (t,x)\in I\times \Omega }يستوفي الشروط التالية:

  • زج(أنا×Ω){\displaystyle g\in C(I\times \Omega )}، و
  • كج(د×Ω2){\displaystyle K\in C(D\times \Omega ^{2})}أين د:={(ت،s):0sتتي}{\displaystyle D:=\{(t,s):0\leq s\leq t\leq T\}} و Ω2=Ω×Ω{\displaystyle \Omega ^{2}=\Omega \times \Omega }

إذن، لدى VFIE حل فريدuج(أنا×Ω){\displaystyle u\in C(I\times \Omega )}مقدم منu(ت،x)=ز(ت،x)+0تΩR(ت،s،x،ξ)جي(u(s،ξ))دξدs{\displaystyle u(t,x)=g(t,x)+\int _{0}^{t}\int _{\Omega }R(t,s,x,\xi )\,G(u(s,\xi ))\,d\xi \,ds}أينRج(د×Ω2){\displaystyle R\in C(D\times \Omega ^{2})}يُطلق عليه اسم النواة المُحلِّلة، ويتم تحديده من خلال نهاية متسلسلة نيومان للنواة.ك{\displaystyle K}ويحل المعادلات التحليلية:R(ت،s،x،ξ)=ك(ت،s،x،ξ)+0تΩك(ت،v،x،z)R(v،s،z،ξ)دzدv=ك(ت،s،x،ξ)+0تΩR(ت،v،x،z)ك(v،s،z،ξ)دzدv{\displaystyle R(t,s,x,\xi )=K(t,s,x,\xi )+\int _{0}^{t}\int _{\Omega }K(t,v,x,z)R(v,s,z,\xi )\,dz\,dv=K(t,s,x,\xi )+\int _{0}^{t}\int _{\Omega }R(t,v,x,z)K(v,s,z,\xi )\,dz\,dv}

معادلات فولتيرا الخاصة

يتم تعريف نوع خاص من معادلة فولتيرا يستخدم في تطبيقات مختلفة على النحو التالي: [ 3 ]y(ت)=ز(ت)+(Vαy)(ت){\displaystyle y(t)=g(t)+(V_{\alpha }y)(t)}أينتأنا=[ت0،تي]{\displaystyle t\in I=[t_{0},T]}الدالة g ( t ) متصلة على الفترةأنا{\displaystyle I}، ومؤثر فولتيرا التكاملي(Vαت){\displaystyle (V_{\alpha }t)}يُعطى بواسطة:(Vαت)(ت):=ت0ت(ت-s)-αك(ت،s،y(s))دs{\displaystyle (V_{\alpha }t)(t):=\int _{t_{0}}^{t}(t-s)^{-\alpha }\cdot k(t,s,y(s))\,ds}مع(0α<1){\displaystyle (0\leq \alpha <1)}[ 3 ]

تحويل مسائل القيمة الابتدائية إلى معادلات تكاملية

في القسم التالي، نقدم مثالاً على كيفية تحويل مسألة القيمة الابتدائية (IVP) إلى معادلة تكاملية. وهناك دوافع متعددة للقيام بذلك، من بينها أن المعادلات التكاملية غالباً ما تكون أسهل حلاً وأكثر ملاءمة لإثبات نظريات الوجود والوحدانية. [ 7 ]

قدم وازواز المثال التالي في الصفحتين 1 و2 من كتابه. [ 1 ] ندرس مسألة القيمة الابتدائية المعطاة بالمعادلة:

u(ت)=2تu(ت)،x0{\displaystyle u'(t)=2tu(t),\,\,\,\,\,\,\,x\geq 0}والشرط الابتدائي:

u(0)=1{\displaystyle u(0)=1}

إذا قمنا بتكامل طرفي المعادلة، فسنحصل على:

0xu(ت)دت=0x2تu(ت)دت{\displaystyle \int _{0}^{x}u'(t)\,dt=\int _{0}^{x}2tu(t)\,dt}

وبناءً على النظرية الأساسية للتفاضل والتكامل ، نحصل على:

u(x)-u(0)=0x2تu(ت)دت{\displaystyle u(x)-u(0)=\int _{0}^{x}2tu(t)\,dt}

بإعادة ترتيب المعادلة أعلاه، نحصل على المعادلة التكاملية التالية:

u(x)=1+0x2تu(ت)دت{\displaystyle u(x)=1+\int _{0}^{x}2tu(t)\,dt}

وهي معادلة فولتيرا التكاملية على الشكل التالي:

u(x)=و(x)+α(x)β(x)ك(x،ت)u(ت)دت{\displaystyle u(x)=f(x)+\int _{\alpha (x)}^{\beta (x)}K(x,t)\cdot u(t)\,dt}

حيث K ( x , t ) تسمى النواة وتساوي 2 t ، و f ( x )  =  1. [ 1 ]

الحل العددي

تجدر الإشارة إلى أن المعادلات التكاملية غالباً لا تمتلك حلاً تحليلياً، ويجب حلها عددياً. ومن الأمثلة على ذلك حساب معادلة التكامل للمجال الكهربائي (EFIE) أو معادلة التكامل للمجال المغناطيسي (MFIE) على جسم ذي شكل عشوائي في مسألة تشتت كهرومغناطيسي.

تتطلب إحدى طرق الحل العددي تقسيم المتغيرات إلى أجزاء واستبدال التكامل بقاعدة تربيعية.

ج=1نwجك(sأنا،تج)u(تج)=و(sأنا)،أنا=0،1،...،ن.{\displaystyle \sum _{j=1}^{n}w_{j}K(s_{i},t_{j})u(t_{j})=f(s_{i}),\qquad i=0,1,\dots ,n.}

إذن لدينا نظام يتكون من n معادلة و n متغير. وبحل هذا النظام نحصل على قيمة المتغيرات n .

u(ت0)،u(ت1)،...،u(تن).{\displaystyle u(t_{0}),u(t_{1}),\dots ,u(t_{n}).}

المعادلات التكاملية كتعميم لمعادلات القيم الذاتية

يمكن اعتبار بعض المعادلات التكاملية الخطية المتجانسة بمثابة الحد المتصل لمعادلات القيم الذاتية . باستخدام ترميز الفهرس ، يمكن كتابة معادلة القيمة الذاتية على النحو التالي:

جمأنا،جvج=λvأنا{\displaystyle \sum _{j}M_{i,j}v_{j}=\lambda v_{i}}

حيث M = [ M i,j ] هي مصفوفة، و v هو أحد متجهاتها الذاتية، و λ هي القيمة الذاتية المرتبطة بها.

بأخذ النهاية المتصلة، أي باستبدال المؤشرين المتقطعين i و j بالمتغيرين المتصلين x و y ، ينتج ما يلي:

ك(x،y)φ(y)دy=λφ(x)،{\displaystyle \int K(x,y)\,\varphi (y)\,dy=\lambda \,\varphi (x),}

حيث تم استبدال المجموع على j بتكامل على وتم استبدال المصفوفة M والمتجه v بالنواة K ( x , y ) والدالة الذاتية φ ( y ) . (حدود التكامل ثابتة، على غرار حدود المجموع على j ). وهذا يعطي معادلة فريدهولم خطية متجانسة من النوع الثاني.

بشكل عام، يمكن أن يكون K ( x , y ) توزيعًا ، وليس دالة بالمعنى الدقيق. إذا كان للتوزيع K نطاق فقط عند النقطة x = y ، فإن المعادلة التكاملية تختزل إلى معادلة دالة ذاتية تفاضلية .

بشكل عام، يمكن أن تنشأ معادلات فولتيرا وفريدهولم التكاملية من معادلة تفاضلية واحدة، اعتمادًا على نوع الشروط المطبقة على حدود مجال حلها.

معادلات وينر-هوف التكاملية

y(ت)=λx(ت)+0ك(ت-s)x(s)دs،0ت<.{\displaystyle y(t)=\lambda x(t)+\int _{0}^{\infty }k(t-s)\,x(s)\,ds,\qquad 0\leq t<\infty .} في الأصل، تمت دراسة هذه المعادلات فيما يتعلق بمشاكل نقل الإشعاع، وفي الآونة الأخيرة، تم ربطها بحل المعادلات التكاملية الحدودية للمسائل المستوية التي تكون فيها الحدود ناعمة بشكل جزئي فقط.

معادلات هامرشتاين

معادلة هامرشتاين هي معادلة تكاملية فولتيرا غير خطية من النوع الأول على النحو التالي: [ 3 ]ز(ت)=0تك(ت،s)جي(s،y(s))دs.{\displaystyle g(t)=\int _{0}^{t}K(t,s)\,G(s,y(s))\,ds.}في ظل شروط انتظام معينة، تكون المعادلة مكافئة لمعادلة فولتيرا التكاملية الضمنية من النوع الثاني: [ 3 ]جي(ت،y(ت))=ز1(ت)-0تك1(ت،s)جي(s،y(s))دs{\displaystyle G(t,y(t))=g_{1}(t)-\int _{0}^{t}K_{1}(t,s)\,G(s,y(s))\,ds}أين:ز1(ت):=ز(ت)ك(ت،ت)وك1(ت،s):=-1ك(ت،ت)ك(ت،s)ت.{\displaystyle g_{1}(t):={\frac {g'(t)}{K(t,t)}}\,\,\,\,\,\,\,{\text{and}}\,\,\,\,\,\,\,K_{1}(t,s):=-{\frac {1}{K(t,t)}}{\frac {\partial K(t,s)}{\partial t}}.}ومع ذلك، يمكن أيضًا التعبير عن المعادلة في شكل عامل مما يحفز تعريف العامل التالي المسمى عامل فولتيرا-هاميرشتاين غير الخطي: [ 3 ](حy)(ت):=0تك(ت،s)جي(s،y(s))دs{\displaystyle ({\mathcal {H}}y)(t):=\int _{0}^{t}K(t,s)\,G(s,y(s))\,ds}هناجي:أنا×RR{\displaystyle G:I\times \mathbb {R} \to \mathbb {R} }هي دالة سلسة، بينما قد تكون النواة K متصلة، أي محدودة، أو ضعيفة التفرد. [ 3 ] يمكن التعبير عن معادلة فولتيرا التكاملية من النوع الثاني المقابلة، والتي تسمى معادلة فولتيرا-هاميرشتاين التكاملية من النوع الثاني، أو ببساطة معادلة هاميرشتاين، على النحو التالي: [ 3 ]y(ت)=ز(ت)+(حy)(ت){\displaystyle y(t)=g(t)+({\mathcal {H}}y)(t)}في بعض التطبيقات، يمكن التعامل مع اللاخطية للدالة G على أنها شبه خطية فقط في الشكل التالي: [ 3 ]جي(s،y)=y+ح(s،y){\displaystyle G(s,y)=y+H(s,y)}في هذه الحالة، لدينا معادلة فولتيرا التكاملية شبه الخطية التالية: [ 3 ]y(ت)=ز(ت)+(حy)(ت)=ز(ت)+0تك(ت،s)[y(s)+ح(s،y(s))]دs{\displaystyle y(t)=g(t)+({\mathcal {H}}y)(t)=g(t)+\int _{0}^{t}K(t,s)[y(s)+H(s,y(s))]\,ds}وبهذا الشكل، يمكننا صياغة نظرية الوجود والوحدانية لمعادلة هامرشتاين التكاملية شبه الخطية. [ 3 ]

نظرية لنفترض أن معادلة هامرشتاين شبه الخطية لها حل وحيدyج(أنا){\displaystyle y\in C(I)}وح:أنا×RR{\displaystyle H:I\times \mathbb {R} \to \mathbb {R} }إذا كانت دالة متصلة وفقًا لشرط ليبشيتز، فيمكن كتابة حل هذه المعادلة على الصورة التالية:y(ت)=yل(ت)+0تR(ت،s)ح(s،y(s))دs{\displaystyle y(t)=y_{l}(t)+\int _{0}^{t}R(t,s)\,H(s,y(s))\,ds}أينyل(ت){\displaystyle y_{l}(t)}يشير إلى الحل الوحيد للجزء الخطي من المعادلة أعلاه، ويُعطى بالصيغة التالية:yل(ت)=ز(ت)+0تR(ت،s)ز(s)دs{\displaystyle y_{l}(t)=g(t)+\int _{0}^{t}R(t,s)\,g(s)\,ds}معR(ت،s){\displaystyle R(t,s)}يشير إلى نواة الحل.

يمكننا أيضاً كتابة معادلة هامرشتاين باستخدام مؤثر مختلف يسمى مؤثر نيميتزكي، أو مؤثر الاستبدال.شمال{\displaystyle {\mathcal {N}}}[ 3 ](شمالφ)(ت):=جي(ت،φ(ت)){\displaystyle ({\mathcal {N}}\varphi )(t):=G(t,\varphi (t))}يمكن الاطلاع على المزيد حول هذا الموضوع في الصفحة 75 من هذا الكتاب. [ 3 ]

التطبيقات

تُعدّ المعادلات التكاملية مهمة في العديد من التطبيقات. ومن بين المسائل التي تُستخدم فيها المعادلات التكاملية: انتقال الإشعاع ، وتذبذب الوتر أو الغشاء أو المحور. كما يمكن حلّ مسائل التذبذب باستخدام المعادلات التفاضلية .

انظر أيضاً

فهرس

  • أغاروال، رافي ب.، ودونال أوريغان. المعادلات التكاملية والتكاملية التفاضلية: النظرية والمنهج والتطبيقات. دار نشر غوردون وبريتش للعلوم، 2000. [ 13 ]
  • برونر، هيرمان. طرق التجميع لمعادلات فولتيرا التكاملية والمعادلات التفاضلية الوظيفية ذات الصلة. مطبعة جامعة كامبريدج، 2004. [ 3 ]
  • Burton, TA Volterra Integral and Differential Equations. Elsevier, 2005. [ 14 ]
  • الفصل 7، وحدة تكنولوجيا المعلومات، 14-02-2005 - كلية إيرا أ. فولتون للهندسة. https://www.et.byu.edu/~vps/ET502WWW/NOTES/CH7m.pdf . [ 15 ]
  • كوردونيانو، سي. المعادلات التكاملية وتطبيقاتها. مطبعة جامعة كامبريدج، 2008. [ 16 ]
  • هاكبوش، فولفغانغ. نظرية المعادلات التكاملية والمعالجة العددية. بيركهاوزر، 1995. [ 7 ]
  • هوخشتات، هاري. المعادلات التكاملية. وايلي-إنترساينس/جون وايلي وأولاده، 1989. [ 17 ]
  • "المعادلة التكاملية". من موقع Wolfram MathWorld، https://mathworld.wolfram.com/IntegralEquation.html . [ 18 ]
  • "المعادلة التكاملية". المعادلة التكاملية - موسوعة الرياضيات، https://encyclopediaofmath.org/wiki/Integral_equation . [ 19 ]
  • جيري، عبد الج. مقدمة في المعادلات التكاملية مع تطبيقاتها. دار سامبلينج للنشر، 2007. [ 20 ]
  • بيبكين، أ.س. دورة في المعادلات التكاملية. سبرينغر-فيرلاغ، 1991. [ 21 ]
  • بوليانين إيه دي، وألكسندر في مانجيروف. دليل المعادلات التكاملية. تشابمان آند هول/سي آر سي، 2008. [ 22 ]
  • وزواز، عبد المجيد. مدخل إلى المعادلات التكاملية. دار النشر العالمية، 2015. [ 1 ]

مراجع

  1. 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 وازواز، عبد المجيد (2005). مدخل إلى المعادلات التكاملية . دار النشر العالمية.
  2. المشرف (10-09-2022). "معادلات ماكسويل: الاشتقاق في الصيغة التكاملية والتفاضلية" . أوكس ساينس . تم الاسترجاع في 10-12-2022 .
  3. 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 برونر، هيرمان (2004). طرق التجميع لمعادلات فولتيرا التكاملية والمعادلات التفاضلية الوظيفية ذات الصلة . مطبعة جامعة كامبريدج.
  4. بارت، جي آر؛ وارنوك، آر إل (نوفمبر 1973). "المعادلات التكاملية الخطية من النوع الثالث" . مجلة SIAM للتحليل الرياضي . 4 (4): 609-622 . doi : 10.1137/0504053 . ISSN 0036-1410 . 
  5. شولايا، د. (2017-12-01). "المعادلات التكاملية من النوع الثالث في حالة المعاملات الرتيبة القطعية" . معاملات معهد أ. رازمدزه للرياضيات . 171 (3): 396-410 . doi : 10.1016/j.trmi.2017.05.002 . ISSN 2346-8092 . 
  6. سوكافانام، ن. (1984-05-01). "نظرية من نوع فريدهولم للمعادلات التكاملية الخطية من النوع الثالث" . مجلة التحليل الرياضي والتطبيقات . 100 (2): 478-485 . doi : 10.1016/0022-247X(84)90096-9 . ISSN 0022-247X . 
  7. 1 2 3 4 5 6 7 8 9 10 هاك بوش، وولفغانغ (1995). نظرية المعادلات التكاملية والمعالجة العددية . بيركهاوزر.
  8. "ملاحظات المحاضرة حول نظرية المخاطر" (ملف PDF) . 2010.
  9. ساكس، إي دبليو؛ شتراوس، إيه كيه (1 نوفمبر 2008). "حل فعال لمعادلة تفاضلية تكاملية جزئية في التمويل". الرياضيات العددية التطبيقية . 58 (11): 1687-1703 . doi : 10.1016/j.apnum.2007.11.002 . ISSN 0168-9274 . 
  10. فيلر، ويلي (1941). "حول المعادلة التكاملية لنظرية التجديد" . حوليات الإحصاء الرياضي . 12 (3): 243-267 . doi : 10.1214/aoms/1177731708 . ISSN 0003-4851 . JSTOR 2235855 .  
  11. دادي موسى إيدر، أ.؛ فيلفان، أ.؛ غولستانيان، ر. (6 أبريل 2022). "الدفع الانتشارى لجسيم غرواني نشط متجانس الخواص بالقرب من قرص محدود الحجم مغمور في سطح فاصل مستوٍ بين سائلين". مجلة ميكانيكا الموائع . 940 : A12. arXiv : 2109.14437 . Bibcode : 2022JFM...940A..12D . doi : 10.1017/jfm.2022.232 .
  12. دادي موسى إيدر، أ.؛ ليسيكي، م.؛ لوفن، هـ .؛ مينزل، أ.م. (5 فبراير 2020). "ديناميكيات مركب من سباح دقيق وصفائح دموية دقيقة". فيزياء السوائل . 32 (2): 021902. arXiv : 2001.06646 . Bibcode : 2020PhFl...32b1902D . doi : 10.1063/1.5142054 .
  13. دونال، أغاروال، رافي ب. أوريغان (2000). المعادلات التكاملية والتكاملية التفاضلية : النظرية والمنهج والتطبيقات . دار نشر غوردون وبريتش للعلوم. ISBN  90-5699-221-X. OCLC 44617552 . {{cite book}}: صيانة CS1: أسماء متعددة: قائمة المؤلفين ( رابط )
  14. بيرتون، تي إيه (2005). معادلات فولتيرا التكاملية والتفاضلية . إلسيفير.
  15. "الفصل 7، وحدة تكنولوجيا المعلومات 02-14-05 - كلية إيرا أ. فولتون للهندسة" (PDF) .
  16. كوردونيانو، سي. (2008). المعادلات التكاملية وتطبيقاتها . مطبعة جامعة كامبريدج.
  17. هوخشتات، هاري (1989). المعادلات التكاملية . وايلي-إنترساينس/جون وايلي وأولاده.
  18. "المعادلة التكاملية" .
  19. "المعادلة التكاملية - موسوعة الرياضيات" . encyclopediaofmath.org . تم الاطلاع عليه بتاريخ 14 نوفمبر 2022 .
  20. جيري، عبد الج. (2007). مقدمة في المعادلات التكاملية مع تطبيقات . أخذ العينات Σ. ISBN 978-0-9673301-1-2. OCLC 852490911 . 
  21. بيبكين، أ.س. (1991). دورة في المعادلات التكاملية . سبرينغر-فيرلاغ.
  22. بوليانين، أ.د. (2008). دليل المعادلات التكاملية . تشابمان وهال/سي آر سي.

للمزيد من القراءة

  • كيندال إي. أتكينسون. الحل العددي للمعادلات التكاملية من النوع الثاني . سلسلة كامبريدج للدراسات في الرياضيات التطبيقية والحسابية، 1997.
  • جورج أرفكن وهانز ويبر. الأساليب الرياضية للفيزيائيين . هاركورت/أكاديميك برس، 2000.
  • هاري بيتمان (1910) تاريخ وحالة نظرية المعادلات التكاملية الحالية ، تقرير الجمعية البريطانية .
  • أندريه د. بوليانين وألكسندر ف. مانجيروف، دليل المعادلات التكاملية . دار نشر سي آر سي، بوكا راتون، 1998. رقم ISBN 0-8493-2876-4.
  • إي تي ويتاكر وجي إن واتسون . دورة في التحليل الحديث، مكتبة كامبريدج الرياضية.
  • كراسنوف، أ. كيسيليف، ج. ماكارينكو، مشاكل وتمارين في المعادلات التكاملية ، دار نشر مير، موسكو، 1971
  • بريس، دبليو إتش؛ تيوكولسكي، إس إيه؛ فيترلينغ، دبليو تي؛ فلانيري، بي بي (2007). "الفصل 19. المعادلات التكاملية ونظرية المعكوس" . وصفات عددية: فن الحوسبة العلمية (  الطبعة الثالثة). نيويورك: مطبعة جامعة كامبريدج. ISBN 978-0-521-88068-8أُرشف من المصدر الأصلي بتاريخ 11 أغسطس 2011. تم الاطلاع عليه بتاريخ 17 أغسطس 2011 .