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

من ويكيبيديا، الموسوعة الحرة

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

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

[تحرير] الصيغة التكاملية

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

$\phi(t)\leq K+L\int_{t_0}^t \psi(s)\phi(s) \, \mathrm{d} s$

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

$\phi(t)\leq K\exp\left(L\int_{t_0}^t \psi(s)\, \mathrm{d} s\right)$

لكل $t_0\leq t\leq t_1$

[تحرير] الصيغة الاشتقاقية

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

$\phi(t)\leq K+L\int_{t_0}^t \psi(s)\phi(s) \, \mathrm{d} s$

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

$\frac{\mathrm{d} \phi}{\mathrm{d} t} (t) \leq L \psi(t) \phi (t).$

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

$\phi(t)\leq \phi(t_0) \exp\left(L\int_{t_0}^t \psi(s)\, \mathrm{d} s\right)$

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

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

تصنيفات الصفحة: بذرة رياضيات | مبرهنات رياضية

Views

الموسوعة

تصفح

المشاركة والمساعدة

بحث

لغات أخرى

آخر تعديل لهذه الصفحة كان في 19:03، 10 أكتوبر 2007 بواسطة مستخدم ويكيبيديا AlnoktaBOT. بناء على عمل مستخدم(ي) ويكيبيديا Loveless و Aziz1 و مستخدم مجهول لويكيبيديا.
كل النصوص منشورة تحت رخصة جنو للوثائق الحرة (اقرأ حقوق التأليف والنشر للحصول على التفاصيل).
ويكيبيديا® علامة مسجلة لمؤسسة ويكيميديا.
حول ويكيبيديا
عدم مسؤولية