PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: High Entry average rating: Very high
Beltrami identity (Definition)

Let $q(t)$ be a function $\reals \to \reals$ $\dot{q} = \mderiv{t}{q}$ and $L = L(q, \dot{q}, t)$ Begin with the time-relative Euler-Lagrange condition

\begin{equation}\label{el} \mpderiv{q} L - \mderiv{t}\left(\mpderiv{\dot{q}} L\right) = 0. \end{equation} If $\mpderiv{t}L = 0$ then the Euler-Lagrange condition reduces to

\begin{equation} L - \dot{q}{\mpderiv{\dot{q}} L} = C, \end{equation}which is the Beltrami identity. In the calculus of variations, the ability to use the Beltrami identity can vastly simplify problems, and as it happens, many physical problems have $\mpderiv{t}L = 0$

In space-relative terms, with $q' \defined \mderiv{x}q$ we have \begin{equation} \mpderiv{q} L - \mderiv{x}{\mpderiv{q'} L} = 0. \end{equation} If $\mpderiv{x}L = 0$ then the Euler-Lagrange condition reduces to

\begin{equation} L - q' {\mpderiv{q'} L} = C. \end{equation} To derive the Beltrami identity, note that \begin{equation}\label{step2} \mderiv{t}\left(\dot{q}\mpderiv{\dot{q}}L\right) = \ddot{q}\mpderiv{\dot{q}}L + \dot{q}\mderiv{t}\left(\mpderiv{\dot{q}}L\right) \end{equation}Multiplying (1) by $\dot{q}$ we have \begin{equation}\label{step3} \dot{q}\mpderiv{q} L - \dot{q}\mderiv{t}\left(\mpderiv{\dot{q}} L\right) = 0. \end{equation}Now, rearranging (5) and substituting in for the rightmost term of (6), we obtain \begin{equation}\label{step4} \dot{q}\mpderiv{q} L + \ddot{q}\mpderiv{\dot{q}}L - \mderiv{t}\left(\dot{q}\mpderiv{\dot{q}}L\right) = 0. \end{equation}Now consider the total derivative \begin{equation}\label{step1} \mderiv{t}L(q, \dot{q}, t) = \dot{q}\mpderiv{q}L + \ddot{q}\mpderiv{\dot{q}}L + \mpderiv{t}L. \end{equation}If $\mpderiv{t}L = 0$ then we can substitute in the left-hand side of (8) for the leading portion of (7) to get \begin{equation} \mderiv{t}L - \mderiv{t}\left(\dot{q}\mpderiv{\dot{q}}L\right) = 0. \end{equation}Integrating with respect to $t$ we arrive at \begin{equation} L - \dot{q}{\mpderiv{\dot{q}} L} = C, \end{equation}which is the Beltrami identity.




"Beltrami identity" is owned by PrimeFan. [ full author list (2) | owner history (3) ]
(view preamble | get metadata)

View style:

See Also: calculus of variations, Euler-Lagrange differential equation (elementary)

Log in to rate this entry.
(view current ratings)

Cross-references: side, derivative, terms, calculus of variations, Euler-Lagrange condition, function
There are 3 references to this entry.

This is version 5 of Beltrami identity, born on 2002-02-16, modified 2006-08-10.
Object id is 2013, canonical name is BeltramiIdentity.
Accessed 8522 times total.

Classification:
AMS MSC47A60 (Operator theory :: General theory of linear operators :: Functional calculus)

Pending Errata and Addenda
None.
[ View all 1 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add derivation | add example | add (any)