معادله وردایی (Calculus of Variations Equation - Euler-Lagrange Equation)، در ریاضیات (Mathematics)
انواع معادلات (Equation) را در آموزش زیر شرح دادیم :
معادله وردایی (Calculus of Variations Equation - Euler-Lagrange Equation) :
🔍 تعریف: معادله اویلر-لاگرانژ معادله اصلی حسابان وردایی (Calculus of Variations) است. این معادله شرط لازم برای اکسترمم بودن یک تابعک (functional) را بیان می کند. به عبارت دیگر، مسیری که یک انتگرال معین را کمینه یا بیشینه می کند، در این معادله صدق می کند.
\[ \frac{\partial L}{\partial f} - \frac{d}{dx} \left( \frac{\partial L}{\partial f'} \right) = 0 \]📌 ویژگی های اصلی:
تابعک (Functional): تابعکی مانند
\[ J[f] = \int_a^b L(x, f, f') dx \]که می خواهیم آن را کمینه کنیم.
لاگرانژین (L): تابع L (لاگرانژین) معمولا به x، تابع f و مشتق f وابسته است.
معادله دیفرانسیل: نتیجه یک معادله دیفرانسیل (معمولا مرتبه دوم) برای f است.
شرط مرزی: مقادیر f در نقاط مرزی معمولا ثابت هستند.
💡 مثال های متنوع:
🔹 مثال ۱ (کوتاه ترین مسیر): کمترین فاصله بین دو نقطه یک خط راست است. با
\[ L = \sqrt{1 + (f')^2} \]، معادله اویلر-لاگرانژ به
\[ f'' = 0 \]می انجامد.
🔹 مثال ۲ (مسیر کمترین زمان - براکیستوکرون): مسیری که یک ذره در میدان گرانش در کوتاه ترین زمان طی می کند، یک سیکلوئید است.
🔹 مثال ۳ (سطح کمینه): سطحی که کمترین مساحت را بین دو حلقه دارد (مسأله سطح صابونی).
🔹 مثال ۴ (مکانیک لاگرانژی): معادلات حرکت در مکانیک لاگرانژی از اصل کمترین کنش و معادله اویلر-لاگرانژ به دست می آیند.
🌍 کاربردها: فیزیک (مکانیک لاگرانژی و همیلتونی، نظریه میدان ها)، هندسه (ژئودزیک ها، سطوح کمینه)، مهندسی (بهینه سازی شکل)، اقتصاد (بهینه سازی دینامیک).
📝 نکته جالب: مشکل براکیستوکرون (مسیر کمترین زمان) توسط یوهان برنولی در سال ۱۶۹۶ مطرح شد و راه حل آن (سیکلوئید) توسط چندین ریاضیدان بزرگ آن زمان پیدا شد. این مسأله سرآغاز حسابان وردایی بود.
🧮 حالت چند متغیره: اگر f تابعی از چند متغیر باشد، معادله اویلر-لاگرانژ به صورت
\[ \frac{\partial L}{\partial f} - \sum_i \frac{\partial}{\partial x_i} \left( \frac{\partial L}{\partial f_{,i}} \right) = 0 \]درمی آید.
⚠️ نکته: معادله اویلر-لاگرانژ یک شرط لازم است، نه کافی. برای اطمینان از کمینه بودن، باید شرایط مرتبه دوم (مانند شرط لژاندر) را نیز بررسی کرد.
📈 قضیه نوتر: هر تقارن در لاگرانژین منجر به یک کمیت پایسته می شود. این قضیه ارتباط عمیقی بین تقارن ها و قوانین بقا در فیزیک برقرار می کند.
