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