مبرهنة بيكار ليندلوف
تعتبر مبرهنة پيكار ليندلوف Picard–Lindelöf theorem إلى جانب مبرهنة بيانوأحد المبرهنات الرئيسية في الرياضيات في مجال المعادلات التفاضلية. يظهر حتى المبرهنة نشرت لأول مرة سنة 1890 من قبل الطبولوجي الفنلندي إرنست ليونارد ليندلوف Ernst Leonard Lindelöf في منطق يتعلق بقابلية المعادلات التفاضلية للحل. في نفس الفترة كان العالم والرياضياتي الفرنسي شارل إميل پيكار Charles Émile Picard يفهم خوارزميات حلول تقريبية للمعادلات التفاضلية الشيء الذي أفرز عن خوارزمية بيكارد التكرارية التي تعتمد لبرهنة مبرهنة بيكار ليندلوف.
المبرهنة
لنعتبر الدالة الرياضية
دالة رياضية متصلة(continous) تتوفر فيها شروط إتصال ليبشيتز. في هذه الحالة فإن حل المعادلة التفاضلية
و
موجود ووحيد، أي أنه يمكن حل المعادلة التفاضلية وأنه يوجد حل واحد للمعادلة.
![{\displaystyle F:\mathbb {R \supset [0,a]\times \mathbb {R ^{n \to \mathbb {R ^{n](https://en.wikipedia.org/api/rest_v1/media/math/render/svg/b361aa8b8a74c835684c0f318ea7eb22981ad4f0)
