قضایای وجود و یکتایی

قضایای وجود و یکتایی شرایطی را بیان می‌کنند که تحت آن یک مسئله مقدار اولیه برای یک معادله دیفرانسیل معمولی دارای یک حل و دقیقاً یک حل است.

Definition

یک قضیه وجود بیان می‌کند که یک حل برای یک مسئله مقدار اولیه در یک بازه وجود دارد؛ یک قضیه یکتایی بیان می‌کند که تحت فرضیه‌های قوی‌تر مانند شرط لیپ‌شیتس در سمت راست، هیچ دو حل متمایزی نمی‌توانند مقدار اولیه یکسانی داشته باشند.

Scope

این موضوع شامل قضیه پیکارد-لیندلوف و اثبات آن با تقریب‌های متوالی و اصل نگاشت انقباضی، قضیه وجود پیانو تحت صرفاً پیوستگی، نابرابری گرونوال و وابستگی پیوسته به داده‌های اولیه، و ادامه حل‌ها و بازه‌های ماکسیمال وجود است.

Core questions

• تحت چه شرایطی یک مسئله مقدار اولیه دارای حل است؟
• چه فرضیه اضافی تضمین می‌کند که حل یکتا است؟
• یک حل تا چه زمانی می‌تواند ادامه یابد قبل از اینکه از بین برود؟
• حل تا چه حد به داده‌های اولیه خود حساس است؟

Key theories

قضیه پیکارد-لیندلوف

اگر سمت راست پیوسته و لیپ‌شیتس در متغیر وابسته باشد، مسئله مقدار اولیه دارای یک حل یکتا در همسایگی نقطه اولیه است که به عنوان حد تکرارهای پیکارد از طریق اصل نگاشت انقباضی به دست می‌آید.

قضیه وجود پیانو

تنها پیوستگی سمت راست وجود حداقل یک حل را تضمین می‌کند، اما بدون شرط لیپ‌شیتس، یکتایی ممکن است از بین برود، همانطور که مثال‌های کلاسیک با حل‌های غیریکتا نشان می‌دهند.

نابرابری گرونوال و وابستگی پیوسته

نابرابری گرونوال تابعی را که یک نابرابری انتگرالی را برآورده می‌کند، محدود می‌کند و یکتایی و وابستگی پیوسته حل‌ها به شرایط اولیه و پارامترها را نتیجه می‌دهد.

Clinical relevance

این قضایا توجیه می‌کنند که حل یک مدل را به عنوان یک شیء خوش‌تعریف در نظر بگیریم: آن‌ها به مدل‌سازان می‌گویند که چه زمانی یک معادله دیفرانسیل یک مسیر منحصر به فرد را از داده‌های معین تعیین می‌کند، که پیش‌نیازی برای پیش‌بینی، شبیه‌سازی عددی، و نظریه کیفی سیستم‌های دینامیکی است.

History

کوشی اولین اثبات‌های وجود را در دهه ۱۸۲۰ ارائه داد و لیپ‌شیتس شرطی را که اکنون نام او را یدک می‌کشد، جدا کرد. روش تقریب‌های متوالی پیکارد و مشارکت‌های لیندلوف منجر به قضیه سازنده استاندارد امروزی شد، در حالی که پیانو در سال ۱۸۸۶ نشان داد که تنها پیوستگی وجود را تضمین می‌کند، اگرچه یکتایی را نه.

Key figures

• Augustin-Louis Cauchy
• Rudolf Lipschitz
• Emile Picard
• Ernst Lindelof
• Giuseppe Peano

Seminal works

• coddington1955
• hartman2002

Frequently asked questions

چرا یک حل می‌تواند وجود داشته باشد اما یکتا نباشد؟

وجود تنها به پیوستگی سمت راست معادله نیاز دارد، اما یکتایی مستلزم آن است که سمت راست بیش از حد تند تغییر نکند، معمولاً یک شرط لیپ‌شیتس. معادله y' برابر با ریشه دوم قدر مطلق y، با مقدار اولیه صفر، یک مثال استاندارد است که بیش از یک حل را می‌پذیرد.

تکرار پیکارد دقیقاً چه کاری انجام می‌دهد؟

این روش مسئله مقدار اولیه را به عنوان یک معادله انتگرالی بازنویسی می‌کند و به طور مکرر یک حل تقریبی را در انتگرال جایگزین می‌کند. هنگامی که سمت راست لیپ‌شیتس باشد، این تکرار یک انقباض است، بنابراین به نقطه ثابت یکتا همگرا می‌شود که همان حل مورد نظر است.