Skip to main content
more natural minus
Source Link
Qmechanic
  • 212.9k
  • 48
  • 589
  • 2.3k

Does the "Euler-Lagrange operator" $(\gamma,L)\mapsto \mapsto (\partial_v L\circ d\gamma)'-(\partial_x L)\circ d\gamma$d\gamma- (\partial_v L\circ d\gamma)'$ have some geometric interpretation?

Euler-Lagrange's equations for a Lagrangian $L$ read $$\frac{d}{dt}\frac{\partial L}{\partial \bf v} - \frac{\partial L}{\partial \bf x} = 0.$$$$\frac{d}{dt}\frac{\partial L}{\partial \bf v} = \frac{\partial L}{\partial \bf x} .$$ More precisely, the statement is that a trajectory $\gamma:\mathbb R\to M$ that minimises the corresponding action $\gamma\mapsto \int L\circ d\gamma$, satisfies the equation $$A_L[\gamma] \equiv (\partial_{\bf v}L\circ d\gamma)' - (\partial_{\bf x}L)\circ d\gamma = 0.\tag1$$$$A_L[\gamma] \equiv (\partial_{\bf x}L)\circ d\gamma - (\partial_{\bf v}L\circ d\gamma)' = 0.\tag1$$ Here, $M$ is the configuration space; I'm thinking of the Lagrangian as a map $L:TM\to\mathbb R$ defined on the tangent bundle of $M$ (though I suppose this is strictly the case only when $L$ does not depend explicitly on the time), and the differential is understood as the mapping $$d\gamma:\mathbb R\to TM:t\mapsto (\gamma(t),d\gamma_t(\partial_t))\simeq (\gamma(t),\gamma'(t)).$$

In (1), I defined the operator $A_L$ mapping curves $\gamma:[a,b]\to M$ into functions $[a,b]\to\mathbb R$. Euler-Lagrange's equations, in terms of this operator, thus say that if $\gamma$ is stationary for the action, then $A_L[\gamma]$ is the zero function.

Is there a way to understand this operator $A_L$ on more general/abstract/geometric grounds? More specifically, does the specific structure of the differentials in the expression $\frac{d}{dt}\frac{\partial}{\partial \bf v}-\frac{\partial}{\partial\bf x}$$\frac{\partial}{\partial\bf x}-\frac{d}{dt}\frac{\partial}{\partial \bf v}$ somehow arise geometrically?

Does the "Euler-Lagrange operator" $(\gamma,L)\mapsto (\partial_v L\circ d\gamma)'-(\partial_x L)\circ d\gamma$ have some geometric interpretation?

Euler-Lagrange's equations for a Lagrangian $L$ read $$\frac{d}{dt}\frac{\partial L}{\partial \bf v} - \frac{\partial L}{\partial \bf x} = 0.$$ More precisely, the statement is that a trajectory $\gamma:\mathbb R\to M$ that minimises the corresponding action $\gamma\mapsto \int L\circ d\gamma$, satisfies the equation $$A_L[\gamma] \equiv (\partial_{\bf v}L\circ d\gamma)' - (\partial_{\bf x}L)\circ d\gamma = 0.\tag1$$ Here, $M$ is the configuration space; I'm thinking of the Lagrangian as a map $L:TM\to\mathbb R$ defined on the tangent bundle of $M$ (though I suppose this is strictly the case only when $L$ does not depend explicitly on the time), and the differential is understood as the mapping $$d\gamma:\mathbb R\to TM:t\mapsto (\gamma(t),d\gamma_t(\partial_t))\simeq (\gamma(t),\gamma'(t)).$$

In (1), I defined the operator $A_L$ mapping curves $\gamma:[a,b]\to M$ into functions $[a,b]\to\mathbb R$. Euler-Lagrange's equations, in terms of this operator, thus say that if $\gamma$ is stationary for the action, then $A_L[\gamma]$ is the zero function.

Is there a way to understand this operator $A_L$ on more general/abstract/geometric grounds? More specifically, does the specific structure of the differentials in the expression $\frac{d}{dt}\frac{\partial}{\partial \bf v}-\frac{\partial}{\partial\bf x}$ somehow arise geometrically?

Does the "Euler-Lagrange operator" $(\gamma,L) \mapsto (\partial_x L)\circ d\gamma- (\partial_v L\circ d\gamma)'$ have some geometric interpretation?

Euler-Lagrange's equations for a Lagrangian $L$ read $$\frac{d}{dt}\frac{\partial L}{\partial \bf v} = \frac{\partial L}{\partial \bf x} .$$ More precisely, the statement is that a trajectory $\gamma:\mathbb R\to M$ that minimises the corresponding action $\gamma\mapsto \int L\circ d\gamma$, satisfies the equation $$A_L[\gamma] \equiv (\partial_{\bf x}L)\circ d\gamma - (\partial_{\bf v}L\circ d\gamma)' = 0.\tag1$$ Here, $M$ is the configuration space; I'm thinking of the Lagrangian as a map $L:TM\to\mathbb R$ defined on the tangent bundle of $M$ (though I suppose this is strictly the case only when $L$ does not depend explicitly on the time), and the differential is understood as the mapping $$d\gamma:\mathbb R\to TM:t\mapsto (\gamma(t),d\gamma_t(\partial_t))\simeq (\gamma(t),\gamma'(t)).$$

In (1), I defined the operator $A_L$ mapping curves $\gamma:[a,b]\to M$ into functions $[a,b]\to\mathbb R$. Euler-Lagrange's equations, in terms of this operator, thus say that if $\gamma$ is stationary for the action, then $A_L[\gamma]$ is the zero function.

Is there a way to understand this operator $A_L$ on more general/abstract/geometric grounds? More specifically, does the specific structure of the differentials in the expression $\frac{\partial}{\partial\bf x}-\frac{d}{dt}\frac{\partial}{\partial \bf v}$ somehow arise geometrically?

Tweeted twitter.com/StackPhysics/status/1386379512003301377
edited body
Source Link
glS
  • 15.2k
  • 5
  • 41
  • 109

Euler-Lagrange's equations for a Lagrangian $L$ read $$\frac{d}{dt}\frac{\partial L}{\partial \bf v} - \frac{\partial L}{\partial \bf x} = 0.$$ More precisely, the statement is that a trajectory $\gamma:\mathbb R\to M$ that minimises the corresponding action $\gamma\mapsto \int L\circ d\gamma$, satisfies the equation $$A_L[\gamma] \equiv (\partial_{\bf v}L\circ d\gamma)' - (\partial_{\bf x}L)\circ d\gamma = 0.\tag1$$ Here, $M$ is the configuration space; I'm thinking of the Lagrangian as a map $L:TM\to\mathbb R$ defined on the tangent bundle of $M$ (though I suppose this is strictly the case only when $L$ does not depend explicitly on the time), and the differential is understood as the mapping $$d\gamma:\mathbb R\to TM:t\mapsto (\gamma(t),d\gamma_t(\partial_t))\simeq (\gamma(t),\gamma'(t)).$$

In (1), I defined the operator $A_L$ mapping curves $\gamma:[a,b]\to M$ into functions $[a,b]\to\mathbb R$. Euler-Lagrange's equations, in terms of this operator, thus say that if $\gamma$ is stationary for the action, then $A_L[\gamma]$ is the zero function.

Is there a way to understand this operator $A_L$ on more general/abstract/geometric grounds? More specifically, thusdoes the specific structure of the differentials in the expression $\frac{d}{dt}\frac{\partial}{\partial \bf v}-\frac{\partial}{\partial\bf x}$ somehow arise geometrically?

Euler-Lagrange's equations for a Lagrangian $L$ read $$\frac{d}{dt}\frac{\partial L}{\partial \bf v} - \frac{\partial L}{\partial \bf x} = 0.$$ More precisely, the statement is that a trajectory $\gamma:\mathbb R\to M$ that minimises the corresponding action $\gamma\mapsto \int L\circ d\gamma$, satisfies the equation $$A_L[\gamma] \equiv (\partial_{\bf v}L\circ d\gamma)' - (\partial_{\bf x}L)\circ d\gamma = 0.\tag1$$ Here, $M$ is the configuration space; I'm thinking of the Lagrangian as a map $L:TM\to\mathbb R$ defined on the tangent bundle of $M$ (though I suppose this is strictly the case only when $L$ does not depend explicitly on the time), and the differential is understood as the mapping $$d\gamma:\mathbb R\to TM:t\mapsto (\gamma(t),d\gamma_t(\partial_t))\simeq (\gamma(t),\gamma'(t)).$$

In (1), I defined the operator $A_L$ mapping curves $\gamma:[a,b]\to M$ into functions $[a,b]\to\mathbb R$. Euler-Lagrange's equations, in terms of this operator, thus say that if $\gamma$ is stationary for the action, then $A_L[\gamma]$ is the zero function.

Is there a way to understand this operator $A_L$ on more general/abstract/geometric grounds? More specifically, thus the specific structure of the differentials in the expression $\frac{d}{dt}\frac{\partial}{\partial \bf v}-\frac{\partial}{\partial\bf x}$ somehow arise geometrically?

Euler-Lagrange's equations for a Lagrangian $L$ read $$\frac{d}{dt}\frac{\partial L}{\partial \bf v} - \frac{\partial L}{\partial \bf x} = 0.$$ More precisely, the statement is that a trajectory $\gamma:\mathbb R\to M$ that minimises the corresponding action $\gamma\mapsto \int L\circ d\gamma$, satisfies the equation $$A_L[\gamma] \equiv (\partial_{\bf v}L\circ d\gamma)' - (\partial_{\bf x}L)\circ d\gamma = 0.\tag1$$ Here, $M$ is the configuration space; I'm thinking of the Lagrangian as a map $L:TM\to\mathbb R$ defined on the tangent bundle of $M$ (though I suppose this is strictly the case only when $L$ does not depend explicitly on the time), and the differential is understood as the mapping $$d\gamma:\mathbb R\to TM:t\mapsto (\gamma(t),d\gamma_t(\partial_t))\simeq (\gamma(t),\gamma'(t)).$$

In (1), I defined the operator $A_L$ mapping curves $\gamma:[a,b]\to M$ into functions $[a,b]\to\mathbb R$. Euler-Lagrange's equations, in terms of this operator, thus say that if $\gamma$ is stationary for the action, then $A_L[\gamma]$ is the zero function.

Is there a way to understand this operator $A_L$ on more general/abstract/geometric grounds? More specifically, does the specific structure of the differentials in the expression $\frac{d}{dt}\frac{\partial}{\partial \bf v}-\frac{\partial}{\partial\bf x}$ somehow arise geometrically?

added 228 characters in body
Source Link
glS
  • 15.2k
  • 5
  • 41
  • 109

Euler-Lagrange's equations for a Lagrangian $L$ read $$\frac{d}{dt}\frac{\partial L}{\partial \bf v} - \frac{\partial L}{\partial \bf x} = 0.$$ More precisely, the statement is that a trajectory $\gamma:\mathbb R\to M$ (with $M$ the configuration space) that minimises the corresponding action $\gamma\mapsto \int L\circ d\gamma$, satisfies the equation $$A_L[\gamma] \equiv (\partial_{\bf v}L\circ d\gamma)' - (\partial_{\bf x}L)\circ d\gamma = 0.\tag1$$ Here, (here$M$ is the configuration space; I'm thinking of the Lagrangian as a map $L:TM\to\mathbb R$ as defined on the tangent bundle andof $M$ (though I suppose this is strictly the differential as a mapcase only when $d\gamma:\mathbb R\to TM$$L$ does not depend explicitly on the time), satisfiesand the equation $$A_L[\gamma] \equiv (\partial_{\bf v}L\circ d\gamma)' - (\partial_{\bf x}L)\circ d\gamma = 0.$$differential is understood as the mapping Here$$d\gamma:\mathbb R\to TM:t\mapsto (\gamma(t),d\gamma_t(\partial_t))\simeq (\gamma(t),\gamma'(t)).$$

In (1), I defined the operator $A_L$, mapping curves $\gamma:[a,b]\to M$ into functions $[a,b]\to\mathbb R$. Euler-Lagrange's equations, in terms of this operator, thus say that if $\gamma$ is stationary for the action, then $A_L[\gamma]$ is the zero function.

Is there a way to understand this operator $A_L$ on more general/abstract/geometric grounds? More specifically, thus the specific structure of the differentials in the expression $\frac{d}{dt}\frac{\partial}{\partial \bf v}-\frac{\partial}{\partial\bf x}$ somehow arise geometrically?

Euler-Lagrange's equations for a Lagrangian $L$ read $$\frac{d}{dt}\frac{\partial L}{\partial \bf v} - \frac{\partial L}{\partial \bf x} = 0.$$ More precisely, the statement is that a trajectory $\gamma:\mathbb R\to M$ (with $M$ the configuration space) that minimises the corresponding action $\gamma\mapsto \int L\circ d\gamma$ (here I'm thinking of $L:TM\to\mathbb R$ as defined on the tangent bundle and the differential as a map $d\gamma:\mathbb R\to TM$), satisfies the equation $$A_L[\gamma] \equiv (\partial_{\bf v}L\circ d\gamma)' - (\partial_{\bf x}L)\circ d\gamma = 0.$$ Here, I defined the operator $A_L$, mapping curves $\gamma:[a,b]\to M$ into functions $[a,b]\to\mathbb R$. Euler-Lagrange's equations, in terms of this operator, thus say that if $\gamma$ is stationary for the action, then $A_L[\gamma]$ is the zero function.

Is there a way to understand this operator $A_L$ on more general/abstract/geometric grounds?

Euler-Lagrange's equations for a Lagrangian $L$ read $$\frac{d}{dt}\frac{\partial L}{\partial \bf v} - \frac{\partial L}{\partial \bf x} = 0.$$ More precisely, the statement is that a trajectory $\gamma:\mathbb R\to M$ that minimises the corresponding action $\gamma\mapsto \int L\circ d\gamma$, satisfies the equation $$A_L[\gamma] \equiv (\partial_{\bf v}L\circ d\gamma)' - (\partial_{\bf x}L)\circ d\gamma = 0.\tag1$$ Here, $M$ is the configuration space; I'm thinking of the Lagrangian as a map $L:TM\to\mathbb R$ defined on the tangent bundle of $M$ (though I suppose this is strictly the case only when $L$ does not depend explicitly on the time), and the differential is understood as the mapping $$d\gamma:\mathbb R\to TM:t\mapsto (\gamma(t),d\gamma_t(\partial_t))\simeq (\gamma(t),\gamma'(t)).$$

In (1), I defined the operator $A_L$ mapping curves $\gamma:[a,b]\to M$ into functions $[a,b]\to\mathbb R$. Euler-Lagrange's equations, in terms of this operator, thus say that if $\gamma$ is stationary for the action, then $A_L[\gamma]$ is the zero function.

Is there a way to understand this operator $A_L$ on more general/abstract/geometric grounds? More specifically, thus the specific structure of the differentials in the expression $\frac{d}{dt}\frac{\partial}{\partial \bf v}-\frac{\partial}{\partial\bf x}$ somehow arise geometrically?

Source Link
glS
  • 15.2k
  • 5
  • 41
  • 109
Loading