يفتقر محتوى هذه المقالة إلى مصادر موثوقة.
هذه المقالة اختصاصية وهي بحاجة لمراجعة خبير في مجالها.

متباينة غرونفل

من أرابيكا، الموسوعة الحرة
اذهب إلى التنقل اذهب إلى البحث
متباينة غرونفل

سميت متباينة غرونفل، في الرياضيات، باسم واضعها الرياضياتي توماس هاكن غرونفل (1877-1932)، سنة 1919، وتمكّن هذه المتبانية من إيجاد دالة مقرّبة، للامساواة اشتقاقية ما. توجد المتباينة في صيغتين: تكاملية، واشتقاقية.

تعتبر متباينة غرونفل آداة الحصول على عدة حلول مقرّبة لمعادلات اشتقاقية عادية. وبالخصوص، تستعمل المتباينة للبرهنة على وحدة الحل لمشكلة كوشي، عبر مبرهنة كوشي-ليبشيتز.

الصيغة التكاملية

لو كانت، لكل t0tt1، ϕ(t)0 وψ(t)0 دالتين مستمرتين حيث:

ϕ(t)K+Lt0tψ(s)ϕ(s)ds

لكل t0tt1، حيث K وL ثابتين موجبين فإن :

ϕ(t)Kexp(Lt0tψ(s)ds)

لكل t0tt1

الصيغة الاشتقاقية

إذا كانت هذه العلاقة صحيحة:

ϕ(t)K+Lt0tψ(s)ϕ(s)ds

فإن لدينا اللامساواة التالية:

dϕdt(t)Lψ(t)ϕ(t).

و هو ما يتيح لنا أن نستنتج أن

ϕ(t)ϕ(t0)exp(Lt0tψ(s)ds)

لكل t0tt1.

مراجع