مبرهنة غرونويل

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

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

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

لو كانت، لكل $t_0\le t\le t_1$، $\varphi (t)\ge 0$ و$\psi (t)\ge 0$ دالتين مستمرتين حيث :

$\varphi (t)\le K+L\underset{t_0}{\overset{t}{\int }}\psi (s)\varphi (s)\mathrm{d}s$

لكل $t_0\le t\le t_1$، حيث $K$ و$L$ ثابتين موجبين فإن :

$\varphi (t)\le K\exp (L\underset{t_0}{\overset{t}{\int }}\psi (s)\mathrm{d}s)$

لكل $t_0\le t\le t_1$

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

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

$\varphi (t)\le K+L\underset{t_0}{\overset{t}{\int }}\psi (s)\varphi (s)\mathrm{d}s$

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

$\frac{\mathrm{d}\varphi }{\mathrm{d}t}(t)\le L\psi (t)\varphi (t).$

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

$\varphi (t)\le \varphi (t_0)\exp (L\underset{t_0}{\overset{t}{\int }}\psi (s)\mathrm{d}s)$

لكل $t_0\le t\le t_1.$

ملف:Nuvola apps edu mathematics-ar.svg

هذه بذرة مقالة عن الرياضيات تحتاج للنمو والتحسين، فساهم في إثرائها بالمشاركة في تحريرها.

ملف:Nuvola apps edu mathematics-ar.svg

بوابة رياضيات تصفح مقالات ويكيبيديا المهتمة بالرياضيات.

de:Gronwallsche Ungleichung Gronwall's inequality]] es:Lema de Gronwall fr:Lemme de Grönwall he:הלמה של גרינוול pt:Lema de Grönwall ru:Лемма Гронуолла-Беллмана uk:Лема Гронуолла—Беллмана zh:格朗沃尔不等式