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=23129