Euler-Lagrange denklemi
Euler-Lagrange denklemi (İngilizce, Euler-Lagrange denklemi veya ELE ) a, matematiksel sonuç olarak temel bir rol oynar varyasyonların hesaplanması . Bu denklem , brakistokron problemi veya hatta jeodezik problemler gibi birçok gerçek ark uzunluğunu en aza indirme probleminde bulunur . Adını Leonhard Euler ve Joseph-Louis Lagrange'den almıştır .
Notasyonlar
D olacak bir ifade normalize vektör uzayı , [ t 0 , t 1 ] bir gerçek aralığı ve afin alan ve işlevleri X : [ t 0 , t 1 ] → e ait C sınıfı 1 , öyle ki , X 0 , x 1 olan E'nin iki vektör kümesi .
G{\ displaystyle {\ mathcal {G}}}
x(tben)=xben{\ displaystyle x \ sol (t_ {i} \ sağ) = x_ {i}}![{\ displaystyle x \ sol (t_ {i} \ sağ) = x_ {i}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/033e0c2e1a593df0a190c889b2be800906e6b181)
Türevi vektör, bir fonksiyondan bir noktasında t ∈ [ t 0 , t 1 ] belirtilir .
x∈G{\ mathcal {G}}} içinde {\ displaystyle x \
x˙(t){\ displaystyle {\ nokta {x}} (t)}![{\ displaystyle {\ nokta {x}} (t)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/867f9767dea7667cf8deac86ec6bbe3162c8d4b1)
Ayrıca kendimize bir sınıf fonksiyonu C 1 veriyoruz .
L:[t0,t1]×E2→R{\ displaystyle {\ mathcal {L}}: \ sol [t_ {0}, t_ {1} \ sağ] \ times E ^ {2} \ - \ mathbb {R}}![{\ displaystyle {\ mathcal {L}}: \ sol [t_ {0}, t_ {1} \ sağ] \ times E ^ {2} \ - \ mathbb {R}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/92b307f9ce03c0f76f8744aea7e3dcc683ff34ed)
Üç değişkeni not edildi (önceki gösterimle karışıklığa yol açması muhtemeldir, ancak ortak kullanımdadır), üç kısmi diferansiyel uygulaması not edilmiştir.
t,x,x˙{\ displaystyle t, x, {\ dot {x}}}
-
∂L∂t{\ displaystyle {\ frac {\ kısmi {\ mathcal {L}}} {\ kısmi t}}}
(dan olarak ) veR×E2{\ displaystyle \ mathbb {R} \ times E ^ {2}}
R{\ displaystyle \ mathbb {R}}![\ mathbb {R}](https://wikimedia.org/api/rest_v1/media/math/render/svg/786849c765da7a84dbc3cce43e96aad58a5868dc)
-
∂L∂x,∂L∂x˙{\ displaystyle {\ frac {\ kısmi {\ mathcal {L}}} {\ kısmi x}}, {\ frac {\ kısmi {\ mathcal {L}}} {\ kısmi {\ nokta {x}}}} }
(dan içinde E ' , çift ve E ).R×E2{\ displaystyle \ mathbb {R} \ times E ^ {2}}![{\ displaystyle \ mathbb {R} \ times E ^ {2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/88bbe5815a8bab05cfffd74c4c8b3da011f35763)
Fonksiyonun bunları oluştururken , belirli bir fonksiyon için , biz tanımlanan üç işlevi elde etmek [ t 0 , t 1 ] (sırasıyla değerleri ile tekrar , E ' ve E' olan genellikle göstermektedirler aynı şekilde (,) Yine de, bu kafa karıştırıcı olsa da), bu özellikle iki işleve anlam verir
[t0,t1]→R×E2,t↦(t,x(t),x˙(t)){\ displaystyle \ sol [t_ {0}, t_ {1} \ sağ] \ için \ mathbb {R} \ times E ^ {2}, \; t \ mapsto \ left (t, x (t), {\ nokta {x}} (t) \ sağ)}
x∈G{\ mathcal {G}}} içinde {\ displaystyle x \
R{\ displaystyle \ mathbb {R}}![\ mathbb {R}](https://wikimedia.org/api/rest_v1/media/math/render/svg/786849c765da7a84dbc3cce43e96aad58a5868dc)
∂L∂x ve ∂L∂x˙:[t0,t1]→E′{\ displaystyle {\ frac {\ bölümlü {\ mathcal {L}}} {\ bölümlü x}} {\ text {et}} {\ frac {\ bölümlü {\ mathcal {L}}} {\ bölümlü {\ nokta {x}}}}: \ sol [t_ {0}, t_ {1} \ sağ] \ - E '}![{\ displaystyle {\ frac {\ bölümlü {\ mathcal {L}}} {\ bölümlü x}} {\ text {et}} {\ frac {\ bölümlü {\ mathcal {L}}} {\ bölümlü {\ nokta {x}}}}: \ sol [t_ {0}, t_ {1} \ sağ] \ - E '}](https://wikimedia.org/api/rest_v1/media/math/render/svg/41e56fd0ac377c538adadf53659b7a443690d4e3)
.
Eyaletler
Let J olmak fonksiyonel tanımlanır için:
G{\ displaystyle {\ mathcal {G}}}![{\ mathcal {G}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b8a980c59d42c003fd07fdf3646e1fb95ff82f99)
J(x)=∫t0t1L(t,x(t),x˙(t))dt{\ displaystyle J (x) = \ int _ {t_ {0}} ^ {t_ {1}} {\ mathcal {L}} \ left (t, x (t), {\ dot {x}} (t ) \ sağ) \, \ mathrm {d} t}![{\ displaystyle J (x) = \ int _ {t_ {0}} ^ {t_ {1}} {\ mathcal {L}} \ left (t, x (t), {\ dot {x}} (t ) \ sağ) \, \ mathrm {d} t}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ff876876b0d4344c4b8d2a36a669b3f25e73d25d)
.
Herhangi biri için sabit fonksiyon için J , türevlenebilir ve
x∈G{\ mathcal {G}}} içinde {\ displaystyle x \
t↦∂L∂x˙{\ displaystyle t \ mapsto {\ frac {\ kısmi {\ mathcal {L}}} {\ kısmi {\ nokta {x}}}}}![{\ displaystyle t \ mapsto {\ frac {\ kısmi {\ mathcal {L}}} {\ kısmi {\ nokta {x}}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7326b12673354f51530b7462aab7186c523b87f7)
∂L∂x-ddt(∂L∂x˙)=0{\ displaystyle {\ frac {\ kısmi {\ mathcal {L}}} {\ kısmi x}} - {\ frac {\ mathrm {d}} {\ mathrm {d} t}} \ sol ({\ frac { \ kısmi {\ mathcal {L}}} {\ kısmi {\ nokta {x}}}} \ sağ) = 0}![{\ displaystyle {\ frac {\ kısmi {\ mathcal {L}}} {\ kısmi x}} - {\ frac {\ mathrm {d}} {\ mathrm {d} t}} \ sol ({\ frac { \ kısmi {\ mathcal {L}}} {\ kısmi {\ nokta {x}}}} \ sağ) = 0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/327511c45e8add369b4035a644a5ecbfd95f7f37)
.
Kısmi gösteri
Aşağıdaki kanıtı bu varsayar için "kısmi" duyurulur ve C sınıfı olan 1 (bu durumda türevlenebilirliği içinde baştan sağlanır). Sadece bunu ve C 1 sınıfına ait olduğunu varsayan bir kanıt için , Du Bois-Reymond'un lemasının varyasyonların hesaplanmasına uygulanmasına bakın .
x˙{\ displaystyle {\ dot {x}}}
∂L∂x˙{\ displaystyle {\ frac {\ kısmi {\ mathcal {L}}} {\ kısmi {\ nokta {x}}}}}
t↦∂L∂x˙(t,x(t),x˙(t)){\ displaystyle t \ mapsto {\ frac {\ kısmi {\ mathcal {L}}} {\ kısmi {\ nokta {x}}}} \ sol (t, x (t), {\ nokta {x}} ( t) \ sağ)}
x{\ displaystyle x}
L{\ displaystyle {\ mathcal {L}}}![{\ mathcal {L}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9027196ecb178d598958555ea01c43157d83597c)
İfadedeki "durağan" ifadesi şu anlama gelir: işlevin işlevsel uç noktayı yapması için gerekli bir koşul olan Euler koşulunun karşılanması (bu ispatta C 2 sınıfının işlevleriyle sınırlıdır ).
x{\ displaystyle x}
J{\ displaystyle J}
G{\ displaystyle {\ mathcal {G}}}![{\ mathcal {G}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b8a980c59d42c003fd07fdf3646e1fb95ff82f99)
Bu Euler koşulu yazılır : , herhangi bir h fonksiyonu için : [ t 0 , t 1 ] → E (C 2 sınıfından ) t 0 ve t 1'de sıfır . Altın
dJ(x+εh)dε|ε=0=0{\ displaystyle {\ frac {\ mathrm {d} J (x + \ varepsilon h)} {\ mathrm {d} \ varepsilon}} _ {| \ varepsilon = 0} = 0}![{\ displaystyle {\ frac {\ mathrm {d} J (x + \ varepsilon h)} {\ mathrm {d} \ varepsilon}} _ {| \ varepsilon = 0} = 0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b33414c72e2c8327919b49ea068835f6e4c6340c)
dJ(x+εh)dε|ε=0=∫t0t1(⟨∂L∂x,h⟩+⟨∂L∂x˙,h˙⟩)dt{\ displaystyle {\ frac {\ mathrm {d} J (x + \ varepsilon h)} {\ mathrm {d} \ varepsilon}} _ {| \ varepsilon = 0} = \ int _ {t_ {0}} ^ {t_ {1}} \ left (\ left \ langle {\ frac {\ partic {\ mathcal {L}}} {\ partly x}}, h \ right \ rangle + \ left \ langle {\ frac {\ kısmi {\ mathcal {L}}} {\ kısmi {\ nokta {x}}}}, {\ nokta {h}} \ sağ \ rangle \ sağ) \, \ mathrm {d} t}![{\ displaystyle {\ frac {\ mathrm {d} J (x + \ varepsilon h)} {\ mathrm {d} \ varepsilon}} _ {| \ varepsilon = 0} = \ int _ {t_ {0}} ^ {t_ {1}} \ left (\ left \ langle {\ frac {\ partic {\ mathcal {L}}} {\ partly x}}, h \ right \ rangle + \ left \ langle {\ frac {\ kısmi {\ mathcal {L}}} {\ kısmi {\ nokta {x}}}}, {\ nokta {h}} \ sağ \ rangle \ sağ) \, \ mathrm {d} t}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7f6d73f80851f13c208654b0ed843d6bbbfa5464)
(burada bir
ikilik dirseği )
⟨ , ⟩:E′×E→R{\ displaystyle \ langle ~, ~ \ rangle: E '\ times E \ ila \ mathbb {R}}![{\ displaystyle \ langle ~, ~ \ rangle: E '\ times E \ ila \ mathbb {R}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b191e3a67ed2a627a5ea698efd1c487bef0cc30d)
ve integralin ikinci terimi, parçalara göre bir entegrasyon sayesinde (ek düzenlilik varsayımlarıyla izin verilir) şeklinde ifade edilir.
∫t0t1⟨∂L∂x˙,h˙⟩dt=[⟨∂L∂x˙,h⟩]t0t1-∫t0t1⟨ddt(∂L∂x˙),h⟩dt{\ displaystyle \ int _ {t_ {0}} ^ {t_ {1}} \ sol \ langle {\ frac {\ kısmi {\ mathcal {L}}} {\ kısmi {\ nokta {x}}}}, {\ nokta {h}} \ sağ \ rangle \, \ mathrm {d} t = \ left [\ left \ langle {\ frac {\ partic {\ mathcal {L}}} {\ kısmi {\ nokta {x} }}}, h \ right \ rangle \ right] _ {t_ {0}} ^ {t_ {1}} - \ int _ {t_ {0}} ^ {t_ {1}} \ left \ langle {\ frac {\ mathrm {d}} {\ mathrm {d} t}} \ left ({\ frac {\ parsiyel {\ mathcal {L}}} {\ kısmi {\ nokta {x}}}} \ sağ), h \ sağ \ rangle \, \ mathrm {d} t}![{\ displaystyle \ int _ {t_ {0}} ^ {t_ {1}} \ sol \ langle {\ frac {\ kısmi {\ mathcal {L}}} {\ kısmi {\ nokta {x}}}}, {\ nokta {h}} \ sağ \ rangle \, \ mathrm {d} t = \ left [\ left \ langle {\ frac {\ partic {\ mathcal {L}}} {\ kısmi {\ nokta {x} }}}, h \ right \ rangle \ right] _ {t_ {0}} ^ {t_ {1}} - \ int _ {t_ {0}} ^ {t_ {1}} \ left \ langle {\ frac {\ mathrm {d}} {\ mathrm {d} t}} \ left ({\ frac {\ parsiyel {\ mathcal {L}}} {\ kısmi {\ nokta {x}}}} \ sağ), h \ sağ \ rangle \, \ mathrm {d} t}](https://wikimedia.org/api/rest_v1/media/math/render/svg/23f0808f35ddf5b941b66330efeb91d4976ecb73)
.
Kanca sıfır olduğundan, h ( t 0 ) = h ( t 1 ) = 0 olduğundan , Euler'in durumu şöyle yazılır:
0=dJ(x+εh)dε|ε=0=∫t0t1⟨∂L∂x-ddt(∂L∂x˙),h⟩dt{\ displaystyle 0 = {\ frac {\ mathrm {d} J (x + \ varepsilon h)} {\ mathrm {d} \ varepsilon}} _ {| \ varepsilon = 0} = \ int _ {t_ {0} } ^ {t_ {1}} \ left \ langle {\ frac {\ parsiyel {\ mathcal {L}}} {\ kısmi x}} - {\ frac {\ mathrm {d}} {\ mathrm {d} t }} \ left ({\ frac {\ parsiyel {\ mathcal {L}}} {\ kısmi {\ nokta {x}}}} \ sağ), h \ sağ \ rangle \, \ mathrm {d} t}![{\ displaystyle 0 = {\ frac {\ mathrm {d} J (x + \ varepsilon h)} {\ mathrm {d} \ varepsilon}} _ {| \ varepsilon = 0} = \ int _ {t_ {0} } ^ {t_ {1}} \ left \ langle {\ frac {\ parsiyel {\ mathcal {L}}} {\ kısmi x}} - {\ frac {\ mathrm {d}} {\ mathrm {d} t }} \ left ({\ frac {\ parsiyel {\ mathcal {L}}} {\ kısmi {\ nokta {x}}}} \ sağ), h \ sağ \ rangle \, \ mathrm {d} t}](https://wikimedia.org/api/rest_v1/media/math/render/svg/45490e94e3c406d200d3fd616c672545544e79a8)
.
Varyasyonlar hesabının temel lemmasını uygulayarak , şunu çıkarıyoruz:
∂L∂x-ddt(∂L∂x˙)=0{\ displaystyle {\ frac {\ kısmi {\ mathcal {L}}} {\ kısmi x}} - {\ frac {\ mathrm {d}} {\ mathrm {d} t}} \ sol ({\ frac { \ kısmi {\ mathcal {L}}} {\ kısmi {\ nokta {x}}}} \ sağ) = 0}![{\ displaystyle {\ frac {\ kısmi {\ mathcal {L}}} {\ kısmi x}} - {\ frac {\ mathrm {d}} {\ mathrm {d} t}} \ sol ({\ frac { \ kısmi {\ mathcal {L}}} {\ kısmi {\ nokta {x}}}} \ sağ) = 0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/327511c45e8add369b4035a644a5ecbfd95f7f37)
.
Misal
Bir örnek, Fermat ilkesinin bir uygulamasıdır . Buradaki amaç, koordinatları yatay olarak t ve dikey olarak x not edilen, yukarıdaki ifadenin notasyonlarına uymak için bir düzlem optik yol belirlemektir . Işık ışını, –1 ile 1 arasında bulunan t değerlerine karşılık gelen bölge haricinde, vakumu geçer. Bu bantta, n t endeksinin artık 1'e değil, 1 / 'e eşit olduğu varsayılır. | t |. İki bant arasındaki optik yolun uzunluğu şu şekildedir :
L=∫-11f(t,x(t),x˙(t))dtilef(t,x,y)=değilt1+y2=1+y2|t|{\ displaystyle \ mathrm {L} = \ int _ {- 1} ^ {1} f \ sol (t, x (t), {\ nokta {x}} (t) \ sağ) \, \ mathrm {d } t \ quad {\ text {with}} \ quad f (t, x, y) = n_ {t} {\ sqrt {1 + y ^ {2}}} = {\ frac {\ sqrt {1 + y ^ {2}}} {| t |}}}![{\ displaystyle \ mathrm {L} = \ int _ {- 1} ^ {1} f \ sol (t, x (t), {\ nokta {x}} (t) \ sağ) \, \ mathrm {d } t \ quad {\ text {with}} \ quad f (t, x, y) = n_ {t} {\ sqrt {1 + y ^ {2}}} = {\ frac {\ sqrt {1 + y ^ {2}}} {| t |}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/026474d494d893b46e63f1d072f37747829a0e69)
.
Burada , Euler-Lagrange denklemi, f'nin üçüncü değişkenine göre kısmi türevinin bir sabit olduğunu belirtir, burada C , eğer t , x değişkenlerine ve türevine uygulanırsa. Elde ederiz :
∂f∂x=0{\ displaystyle {\ frac {\ kısmi f} {\ kısmi x}} = 0}![{\ displaystyle {\ frac {\ kısmi f} {\ kısmi x}} = 0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8888fba457b0ecc3d0614b8826635536d39eecfc)
VS=∂f∂x˙=x˙|t|1+x˙2bu nedenlex˙2=VS2t2(1+x˙2){\ displaystyle C = {\ frac {\ kısmi f} {\ kısmi {\ nokta {x}}}} = {\ frac {\ nokta {x}} {| t | {\ sqrt {1 + {\ nokta { x}} ^ {2}}}}} \ quad {\ text {dolayısıyla}} \ quad {\ dot {x}} ^ {2} = C ^ {2} t ^ {2} (1 + {\ nokta {x}} ^ {2})}![{\ displaystyle C = {\ frac {\ kısmi f} {\ kısmi {\ nokta {x}}}} = {\ frac {\ nokta {x}} {| t | {\ sqrt {1 + {\ nokta { x}} ^ {2}}}}} \ quad {\ text {dolayısıyla}} \ quad {\ dot {x}} ^ {2} = C ^ {2} t ^ {2} (1 + {\ nokta {x}} ^ {2})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7241d49e944257e273d81f38a97b2c45790d1636)
.
Bu sonuç u = C | t | :
x˙=sen1-sen2{\ displaystyle {\ dot {x}} = {\ frac {u} {\ sqrt {1-u ^ {2}}}}}![\ dot x = \ frac {u} {\ sqrt {1 - u ^ 2}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/83ba141948f5be2904f9b525c5ba804bd29f4790)
.
Bir sikloidin bir kısmının denklemini tanıyoruz .
Beltrami Kimliği
Bir sık özel durum fonksiyonu nerede olduğunu bağımsızdır t . Euler-Lagrange denkleminin bir sonucu, Beltrami'nin kimliğidir :
L{\ displaystyle {\ mathcal {L}}}![{\ mathcal {L}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9027196ecb178d598958555ea01c43157d83597c)
L-∂L∂x˙x˙=VS{\ displaystyle {\ mathcal {L}} - {\ frac {\ kısmi {\ mathcal {L}}} {\ kısmi {\ nokta {x}}}} {\ nokta {x}} = C}![{\ displaystyle {\ mathcal {L}} - {\ frac {\ kısmi {\ mathcal {L}}} {\ kısmi {\ nokta {x}}}} {\ nokta {x}} = C}](https://wikimedia.org/api/rest_v1/media/math/render/svg/19ebcef8bfbcf3875774e2123a62038f9d05ac8e)
.
C harfi , aynı zamanda f fonksiyonunun değişkene göre Legendre dönüşümü olan gerçek bir sabiti belirtir .
x˙{\ textstyle {\ dot {x}}}![{\ textstyle \ nokta {x}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/539bc058f8b19747a57099fdbaf556ad99239fb5)
Gösteri
İki kez türevlenebilir olduğunu varsayarak , Beltrami'nin kimliğinin sol tarafını türetelim:
x{\ displaystyle x}![x](https://wikimedia.org/api/rest_v1/media/math/render/svg/87f9e315fd7e2ba406057a97300593c4802b53e4)
ddt(L-∂L∂x˙x˙)=∂L∂xx˙+∂L∂x˙x¨-(ddt(∂L∂x˙)x˙+∂L∂x˙x¨)=(∂L∂x-ddt(∂L∂x˙))x˙=0{\ displaystyle {\ frac {\ mathrm {d}} {\ mathrm {d} t}} \ left ({\ mathcal {L}} - {\ frac {\ kısmi {\ mathcal {L}}} {\ kısmi {\ nokta {x}}}} {\ nokta {x}} \ sağ) = {\ frac {\ kısmi {\ mathcal {L}}} {\ kısmi x}} {\ nokta {x}} + {\ frac {\ partial {\ mathcal {L}}} {\ partial {\ dot {x}}}} {\ ddot {x}} - \ left ({\ frac {\ mathrm {d}} {\ mathrm {d } t}} \ left ({\ frac {\ parsiyel {\ mathcal {L}}} {\ kısmi {\ nokta {x}}}} \ sağ) {\ nokta {x}} + {\ frac {\ kısmi {\ mathcal {L}}} {\ kısmi {\ nokta {x}}}} {\ ddot {x}} \ sağ) = \ sol ({\ frac {\ partic {\ mathcal {L}}} {\ kısmi x}} - {\ frac {\ mathrm {d}} {\ mathrm {d} t}} \ left ({\ frac {\ parsiyel {\ mathcal {L}}} {\ kısmi {\ nokta {x} }}} \ sağ) \ sağ) {\ nokta {x}} = 0}
Ünlü bir tarihsel örnek, brakistokron eğridir . Sorulan soru, bir A noktasını, başlangıç hızı olmadan A noktasından başlayan ve eğri üzerinde sürtünme olmadan kayan bir malzeme noktası gibi daha düşük bir rakımda bulunan bir B noktasına bağlayan eğriyi bulmakla ilgilidir. .
Ne zaman a, homojen bir fonksiyonu değişkeninin , Euler teoremi Beltrami'nin kimliği ifade eder uygulanır .
L{\ displaystyle {\ mathcal {L}}}
x˙{\ displaystyle {\ dot {x}}}
L=VS{\ displaystyle {\ mathcal {L}} = C}![{\ displaystyle {\ mathcal {L}} = C}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5624b3acc5b380ffb5718c9ef55621309b086a36)
Dış bağlantılar
<img src="https://fr.wikipedia.org/wiki/Special:CentralAutoLogin/start?type=1x1" alt="" title="" width="1" height="1" style="border: none; position: absolute;">