مبرهنة بيكار ليندلوف

من ويكيبيديا، الموسوعة الحرة
اذهب إلى: تصفح، ‏ ابحث

تعتبر مبرهنة بيكار ليندلوف إلى جانب مبرهنة بيانو أحد المبرهنات الرئيسية في الرياضيات في مجال المعادلات التفاضلية.يبدو أن المبرهنة نشرت لأول مرة سنة 1890 من قبل الرياضياتي الفينلاندي أرنست ليونارد ليندلوف Ernst Leonard Lindelöf في مقال يتعلق بقابلية المعادلات التفاضلية للحل. في نفس الفترة كان العالم والرياضياتي شارل إيميل بيكارد يدرس خوارزميات حلول تقريبية للمعادلات التفاضلية الشيء الذي أفرز عن خوارزمية بيكارد التكرارية التي تعتمد لبرهنة مبرهنة بيكار ليندلوف.

المبرهنة[عدل]

لنعتبر الدالة الرياضية F: \mathbb{R}\supset[0,a]\times\mathbb{R}^n\to\mathbb{R}^n دالة رياضية متصلة(continous) تتوفر فيها شروط إتصال ليبشيتز. في هذه الحالة فإن حل المعادلة التفاضلية
y(0)=y_0\! و\forall x\in (0,a):\;y'(x)=F(x,y(x))
موجود ووحيد. أي أنه يمكن حل المعادلة التفاضلية وأنه يوجد حل واحد للمعادلة

نظرية وجود وأحادية الحل لمعادلة تفاضلية من مرتبة اولى[عدل]

معطى: \ y(x_0)=y_0 وأيضاَ \ y'=f(x,y)

نفرض ان الدالة \ f(x,y) وكل مشتقاتها الجزئية حسب \  y متصلة في المجال الثنائي البعد \  D في محور \ (x,y) وهذا المجال يحوي نقطة الشرط الحدي (أنظر شروط الحدية ) \  (x_0,y_0) .

فنقول انه موجود منطقة مستطيلة\ [x_0-h,x_0+h] للنقطة \ x_0 على الاقل في المجال \ x_0-h \leq x\leq x_0+h  فيه حل موجود وهو \ y(x) . وهو واحد ووحيد.