معادله اویلر-لاگرانژ
در حساب وردشی، معادلهٔ اویلر-لاگرانژ (به انگلیسی: Euler–Lagrange equation) (که با نامهایِ معادلهٔ اویلر یا معادلهٔ لاگرانژ هم شناخته میشود.) نام یک معادلهٔ دیفرانسیل شناخته شدهاست. جوابهایِ این معادلهٔ دیفرانسیل، تابعهایی هستند که یک تابعی معین را تعادلی میکنند. این معادلهٔ دیفرانسیل را لئونارد اویلر، ریاضیدانِ سوئیسی و ژوزف لویی لاگرانژ، ریاضیدانِ ایتالیایی در دههٔ ۱۷۵۰ میلادی به دست آوردند.
از آنجایی که یک تابعِ مشتقپذیر، در نقطهٔ بیشینه یا کمینهی موضعیِ خود تعادلی میشود، معادلهٔ اویلر-لاگرانژ، زمانی کاربردی است که بخواهیم مسئلهای مربوط به بهینهسازی را حل کنیم و در آن یک تابعیِ معین داده شده و میخواهیم این تابعی را کمینه یا بیشینه کنیم. این قضیه قابلِ مقایسه با قضیه فرما در حساب دیفرانسیل و انتگرال است که میگوید یک تابعِ مشتقپذیر، در نقطهای اکسترممِ موضعیِ دارد که مشتق آن صفر شود.
در مکانیک لاگرانژی، به خاطرِ اصلِ همیلتونیِ کمترین کنش، تغییرهایِ یک سیستمِ فیزیکی با جوابِ معادلهٔ اویلر-لاگرانژ برایِ آن رفتارِ آن سیستم توصیف میشود. در مکانیک کلاسیک، این اصل معادل با قانونهایِ حرکتِ نیوتون است، هر چند که این مزیت را دارد که در هر سیستمی با مختصات تعمیمیافته، فرمِ آن تغییر نمیکند و در نتیجه برایِ تعمیم دادن بسیار مناسبتر است.
تاریخچه
معادلهٔ اویلر-لاگرانژ در دههٔ ۱۷۵۰ میلادی، به وسیلهٔ اویلر و لاگرانژ به دست آمد، زمانی که آنها مشغولِ حلِ مسئلهٔ خم همزمانی بودند. مسئلهٔ منحنی همزمانی دربارهٔ این است که چهطور میتوان منحنیای پیدا کرد که اگر از رویِ آن منحنی توپی را رها کنیم، زمانِ رسیدنِ توپ به پایینِ منحنی مقدارِ ثابتی باشد و فرقی نکند که توپ را از چه ارتفاعی از منحنی به پایین رها کردهایم.
لاگرانژ این مسئله را در سال ۱۷۵۵ حل کرد و جواب را برایِ اویلر فرستاد. این دو به کمکِ هم، متدِ لاگرانژ را گسترش دادند و در حلِ مسئلههایِ مکانیک به کار گرفتند، تلاشی که در نهایت به خلقِ مکانیک لاگرانژی ختم شد. به علاوه مکاتبههایِ آنها، به خلقِ کاملِ حسابِ وردشی منجر شد. نخستین بار در سالِ ۱۷۶۶، اویلر بود که این نام را برایِ تکنیکهایشان به کار برد.
صورت معادله
معادلهٔ لاگرانژ، معادلهای است که هدفِ حل کردنِ آن، یافتن تابعی چون q است که ویژگی این تابع q، آن است اگر در انتگرالِ زیر قرار بگیرد، آن را اکسترمم میکند:
بخشهایِ مختلفِ این انتگرال عبارتاند از:
- : تابعهایِ مختلفی وجود دارند که میتوانند در داخلِ انتگرال قرار بگیرند. به ازایِ هر کدام از این تابعها، مقدارِ انتگرال (بینِ دو کرانِ آن که مقدارهایی ثابتاند)، مقداری متفاوت میشود. q تابعی است که میخواهیم بیابیم و مقدارِ انتگرال را اکسترمم کند:
- که q مشتقپذیر است و q(a) = xa , q(b) = xb.
- : مشتقِ تابعِ q است.
- که TX کلاف مماسیِ X است. (فضایِ مقدارهایِ ممکنِ مشتقهایِ تابعهایی که مقدارشان در X قرار دارد.)
- : تابعی است که مشتقهایِ جزئیِ آن پیوستهاند:
- L تابعی است ثابت و معین که به عنوانِ ورودیِ یک تابعِ دلخواهِ دیگر را (به همراهِ مشتق آن تابع) گرفته و ترکیبی از این تابع و مشتقاش را به عنوانِ خروجی ارائه میکند.
در این صورت معادلهٔ اویلر-لاگرانژ، معادلهٔ زیر است که هر تابعِ qای که در آن صدق کند، مقدارِ انتگرال را اکسترمم میکند:
در رابطهٔ بالا، Lx مشتقِ جزئیِ L نسبت به
مثال
یک مثالِ استاندارد این است که تابعی پیدا کنید که از نقطهٔ a به نقطهٔ b برود و کمترین مسیرِ ممکن را طی کند. (f(a) = c و f(b) = d) اولین کاری که باید بکنیم، این است که انتگرالی پیدا کنیم که حلِ آن طولِ مسیر را به دست بدهد. به این ترتیب با مشتقِ جزئی گرفتن از انتگرالده، میتوانیم تابعی که انتگرال را کمینه یا بیشینه میکند بیابیم.
dl که طولِ یک جزء از مسیر است به کمکِ قضیه فیثاغورس به شکلِ زیر به دست میآید:
با جایگذاریِ آن در انتگرال داریم:
اگر از dx فاکتور بگیریم و آن را از زیرِ رادیکال بیرون بیاوریم و به یاد داشته باشیم که dy/dx همان مشتق تابعِ f است، در نهایت رابطهٔ زیر را خواهیم داشت:
با توجه به نتیجهٔ بالا در این مثال
با جایگذاریِ این دو مقدار در معادلهٔ اویلر-لاگرانژ، به دست میآوریم:
به عبارت دیگر، ثابت کردیم که کوتاهترین مسیر ممکن بینِ دو نقطه، خطِ راستی است که از این دو میگذرد.
کاربرد در مکانیک کلاسیک
روش پایه
برای اینکه معادلهٔ حرکت را برای یک سیستم معین (شرط آن است که سیستم پایستار باشد) به دست آوریم، به کمک این معادله میتوانیم از این روش بهره ببریم:
- ابتدا به کمک انرژی جنبشی و انرژی پتانسیللاگرانژین را حساب کنیم.
- طبق اصل همیلتون، انتگرال زیر که انتگرال لاگرانژی است باید مینیمم باشد:
- میدانیم که این انتگرال زمانی مینیمم میشود که معادلهٔ اویلر–لاگرانژ برقرار باشد.
- را محاسبه نماییم.
- را محاسبه کنیم و به کمک آنرا بیابیم. مهم است که باهمچون یک تابع مستقل برخورد کنیم نه همچون مشتق یک تابع دیگر.
- را به دست میآوریم که همان معادلهٔ اویلر–لاگرانژ است.
ذره در میدان نیروی پاستار
حرکت یک ذرهٔ منفرد تحت میدانِ یک نیروی پایستار (مثلاً تحتِ نیروی گرانش) به کمک اصل همیلتون معین میشود که میگوید در هر حرکت فیزیکی، کنش همواره کمینه خواهد بود. رابطهٔ کنش برای سیستم تکذرهای فعلی عبارت است از:
که (x(t مکان ذره در زمان t است و نقطهٔ بالای یک متغیر از نمادگذاری نیوتون به دست آمده و منظور از آن مشتق زمانی یک متغیر است. به عبارت دیگر (ẋ(t نشاندهندهٔ همان سرعت (v(t است. در معادلهٔ بالا L نشاندهندهٔ لاگرانژین است (تفاضل انرژی جنبشی و انرژی پتانسیل) که از رابطهٔ زیر به دست میآید:
که در آن:
- m جرم ماده است که در مکانیک کلاسیک ثابت فرض میشود.
- vi مؤلفهٔ i-اُم بردار سرعت v در دستگاه مختصات دکارتی است. (از همین نمادگذاری برای مؤلفههای بردارهای دیگر هم استفاده میشود.)
- U پتانسیل نیروهای پایستار است.
در این حالت، لاگرانژین تابع صریح آرگومان اول خود (t) محسوب نمیشود. بنا به قضیهٔ نودر، چنین تقارنی در سیستم از قانونهای پایستگی ناشی میشود. به شکلِ خاص، عدم وابستگی لاگرانژین به زمان، پایستگی انرژی را نتیجه میدهد.
اگر از لاگرانژین بالا، مشتق پارهای بگیریم خواهیم داشت:
که نیرو برابر است با F = −∇U (منفی گرادیان انرژی پتانسیل) که از تعریف انرژی پایستار نتیجه میشود و p تکانه میباشد. با این جایگذاریها در معادلهٔ اویلر لاگرانژ، در نهایت به یک معادلهٔ دیفرانسیل مرتبهٔ دوم برای مسیر حرکت ذره میرسیم:
که صورتبندی قانون دوم نیوتون است. به عبارت دیگر معادلهٔ اویلر-لاگرانژ، صورتبندی دیگری برای معادلهٔ دوم حرکت نیوتون است.
اثبات معادله در یک بعد
اثباتِ حالت یکبعدی معادلهٔ اویلر-لاگرانژ یکی از اثباتهای کلاسیک در تاریخ ریاضیات است. این اثبات مبتنی بر لم بنیادین حساب وردشی است.
میخواهیم تابعای همچون
- در شرایط مرزی معین روبهرو صدق کند: و
- تابعی زیر را اکسترمم کند:
به علاوه فرض میکنیم که
اگر
فرض کنیم تابعی که از اختلال روی
که در آن:
از قاعدههای مشتق تام داریم:
بنابراین:
اگر ε = 0 باشد، در این صورت gε = f، Fε = F(x, f(x), f'(x)) و Jε دارای مقدار اکسترمم میباشد:
در گام بعدی از انتگرالگیری جزء به جزء برای جملهٔ دوم انتگرالده بهره میبریم و خواهیم داشت:
به کمک شرطهای مرزیِ
و حال بهرهگیری از لم بنیادین حساب وردشی به سادگی نتیجهٔ دلخواهِ ما را به دست میدهد: