Difference between revisions of "Weierstrass-Erdmann corner conditions"
| Ulf Rehmann (talk | contribs) m (moved Weierstrass–Erdmann corner conditions to Weierstrass-Erdmann corner conditions: ascii title) | Ulf Rehmann (talk | contribs)  m (tex encoded by computer) | ||
| Line 1: | Line 1: | ||
| + | <!-- | ||
| + | w0974601.png | ||
| + | $#A+1 = 20 n = 0 | ||
| + | $#C+1 = 20 : ~/encyclopedia/old_files/data/W097/W.0907460 Weierstrass\ANDErdmann corner conditions | ||
| + | Automatically converted into TeX, above some diagnostics. | ||
| + | Please remove this comment and the {{TEX|auto}} line below, | ||
| + | if TeX found to be correct. | ||
| + | --> | ||
| + | |||
| + | {{TEX|auto}} | ||
| + | {{TEX|done}} | ||
| + | |||
| Necessary conditions for an extremum, additional to the [[Euler equation|Euler equation]], specified at points at which the extremal has a corner. Let | Necessary conditions for an extremum, additional to the [[Euler equation|Euler equation]], specified at points at which the extremal has a corner. Let | ||
| − | + | $$  | |
| + | J ( x)  =  \int\limits L ( t, x, \dot{x} )  dt | ||
| + | $$ | ||
| − | be a functional of the classical calculus of variations (cf. [[Variational calculus|Variational calculus]]), and let the [[Extremal|extremal]]  | + | be a functional of the classical calculus of variations (cf. [[Variational calculus|Variational calculus]]), and let the [[Extremal|extremal]]  $  x _ {0} ( t) $ | 
| + | be continuously differentiable in a neighbourhood of the point  $  \tau $ | ||
| + | except at the point  $  \tau $ | ||
| + | itself, at which it has a corner. In this situation, for  $  x _ {0} ( t) $ | ||
| + | to be at least a weak local extremum for the functional  $  J( x) $,   | ||
| + | it is necessary that the equations | ||
| − | + | $$  | |
| + | p( \tau - 0)  =  p ( \tau + 0), | ||
| + | $$ | ||
| − | + | $$  | |
| + | H( \tau - 0)  =  H ( \tau + 0), | ||
| + | $$ | ||
| where | where | ||
| − | + | $$  | |
| + | p( t)  = \  | ||
| + | |||
| + | \frac{\partial  L( t , x _ {0} ( t), \dot{x} _ {0} ( t)) }{\partial  \dot{x} } | ||
| + | |||
| + | $$ | ||
| and | and | ||
| − | + | $$  | |
| + | H( t)  = \  | ||
| + | ( \dot{x} _ {0} ( t), p( t))- L ( t, x _ {0} ( t), \dot{x} _ {0} ( t)), | ||
| + | $$ | ||
| − | be satisfied at the corner point  | + | be satisfied at the corner point  $  \tau $.   | 
| + | These equations are known as the corner conditions of K. Weierstrass (1865) and G. Erdmann (1877) [[#References|[1]]]. | ||
| The meaning of the Weierstrass–Erdmann corner conditions is that the canonical variables and the Hamiltonian are continuous at a corner point of the extremal; their meaning in classical mechanics is the continuity of momentum and of energy at a corner point. | The meaning of the Weierstrass–Erdmann corner conditions is that the canonical variables and the Hamiltonian are continuous at a corner point of the extremal; their meaning in classical mechanics is the continuity of momentum and of energy at a corner point. | ||
| − | In regular problems, when  | + | In regular problems, when  $  L $ | 
| + | is a strictly convex function of  $  \dot{x} $,   | ||
| + | the extremals cannot have corner points. Corner points appear if  $  L( t, x, \dot{x} ) $ | ||
| + | and consequently the [[Weierstrass E-function|Weierstrass  $  {\mathcal E} $- | ||
| + | function]], contains segments of  $  \dot{x} $.   | ||
| + | For the [[Lagrange problem|Lagrange problem]] with conditions  $  \phi _ {i} ( t, x, \dot{x} ) = 0 $ | ||
| + | and [[Lagrange multipliers|Lagrange multipliers]]  $  \lambda _ {i} ( t) $,   | ||
| + | the  $  L $ | ||
| + | in the Weierstrass–Erdmann corner conditions is replaced by  $  \widetilde{L}  = L+ \sum _ {i} \lambda _ {i} \phi _ {i} $. | ||
| ====References==== | ====References==== | ||
| <table><TR><TD valign="top">[1]</TD> <TD valign="top">  G. Erdmann,   "Ueber die unstetige Lösungen in der Variationsrechnung"  ''J. Reine Angew. Math.'' , '''82'''  (1877)  pp. 21–30</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  O. Bolza,   "Lectures on the calculus of variations" , Chelsea, reprint  (1960)  (Translated from German)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  N.I. Akhiezer,   "The calculus of variations" , Blaisdell  (1962)  (Translated from Russian)</TD></TR></table> | <table><TR><TD valign="top">[1]</TD> <TD valign="top">  G. Erdmann,   "Ueber die unstetige Lösungen in der Variationsrechnung"  ''J. Reine Angew. Math.'' , '''82'''  (1877)  pp. 21–30</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  O. Bolza,   "Lectures on the calculus of variations" , Chelsea, reprint  (1960)  (Translated from German)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top">  N.I. Akhiezer,   "The calculus of variations" , Blaisdell  (1962)  (Translated from Russian)</TD></TR></table> | ||
| − | |||
| − | |||
| ====Comments==== | ====Comments==== | ||
Latest revision as of 08:28, 6 June 2020
Necessary conditions for an extremum, additional to the Euler equation, specified at points at which the extremal has a corner. Let
$$ J ( x) = \int\limits L ( t, x, \dot{x} ) dt $$
be a functional of the classical calculus of variations (cf. Variational calculus), and let the extremal $ x _ {0} ( t) $ be continuously differentiable in a neighbourhood of the point $ \tau $ except at the point $ \tau $ itself, at which it has a corner. In this situation, for $ x _ {0} ( t) $ to be at least a weak local extremum for the functional $ J( x) $, it is necessary that the equations
$$ p( \tau - 0) = p ( \tau + 0), $$
$$ H( \tau - 0) = H ( \tau + 0), $$
where
$$ p( t) = \ \frac{\partial L( t , x _ {0} ( t), \dot{x} _ {0} ( t)) }{\partial \dot{x} } $$
and
$$ H( t) = \ ( \dot{x} _ {0} ( t), p( t))- L ( t, x _ {0} ( t), \dot{x} _ {0} ( t)), $$
be satisfied at the corner point $ \tau $. These equations are known as the corner conditions of K. Weierstrass (1865) and G. Erdmann (1877) [1].
The meaning of the Weierstrass–Erdmann corner conditions is that the canonical variables and the Hamiltonian are continuous at a corner point of the extremal; their meaning in classical mechanics is the continuity of momentum and of energy at a corner point.
In regular problems, when $ L $ is a strictly convex function of $ \dot{x} $, the extremals cannot have corner points. Corner points appear if $ L( t, x, \dot{x} ) $ and consequently the Weierstrass $ {\mathcal E} $- function, contains segments of $ \dot{x} $. For the Lagrange problem with conditions $ \phi _ {i} ( t, x, \dot{x} ) = 0 $ and Lagrange multipliers $ \lambda _ {i} ( t) $, the $ L $ in the Weierstrass–Erdmann corner conditions is replaced by $ \widetilde{L} = L+ \sum _ {i} \lambda _ {i} \phi _ {i} $.
References
| [1] | G. Erdmann, "Ueber die unstetige Lösungen in der Variationsrechnung" J. Reine Angew. Math. , 82 (1877) pp. 21–30 | 
| [2] | O. Bolza, "Lectures on the calculus of variations" , Chelsea, reprint (1960) (Translated from German) | 
| [3] | N.I. Akhiezer, "The calculus of variations" , Blaisdell (1962) (Translated from Russian) | 
Comments
See also Weierstrass conditions (for a variational extremum).
References
| [a1] | L. Cesari, "Optimization - Theory and applications" , Springer (1983) | 
| [a2] | G.M. Ewing, "Calculus of variations with applications" , Dover, reprint (1985) | 
| [a3] | Yu.P. Petrov, "Variational methods in optimum control theory" , Acad. Press (1968) pp. Chapt. IV (Translated from Russian) | 
Weierstrass-Erdmann corner conditions. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Weierstrass-Erdmann_corner_conditions&oldid=49188