View source for Variational problem

<!--
v0962601.png
$#A+1 = 16 n = 0
$#C+1 = 16 : ~/encyclopedia/old_files/data/V096/V.0906260 Variational problem
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}}

A variational problem with fixed ends is a problem in [[Variational calculus|variational calculus]] in which the end points of the curve which gives the extremum are fixed. Thus, in the simplest problem in variational calculus,  $  \inf  \int _ {( t _ {0}  , x _ {0} ) } ^ {( t _ {1} , x _ {1} ) } F ( t, x, \dot{x} )  dt $
with fixed ends, the initial and final points  $  x( t _ {0} ) = x _ {0} $, 
$  x( t _ {1} ) = x _ {1} $
through which the sought curve  $  x( t) $
should pass are given. Since the general solution of the [[Euler equation|Euler equation]] of the simplest problem depends on two arbitrary constants,  $  x = x( t, {c _ {1} } , {c _ {2} } ) $, 
the curve giving the extremum will be found among the solutions of the corresponding boundary value problem. It may turn out that the boundary value problem has only one solution, more than one solution or no solution at all.

A variational problem with free (mobile) ends is a problem in variational calculus in which the end points of the curve which gives the extremum may move along given manifolds. For instance, if in the [[Bolza problem|Bolza problem]] the number of boundary conditions to be satisfied by the sought curve  $  x = ( x _ {1} ( t) \dots x _ {n} ( t)) $
is strictly less than  $  2n + 2 $:

$$ \tag{* }
\psi _  \mu  ( t _ {1} , x ( t _ {1} ), t _ {2} , x ( t _ {2} ))  =  0,\ \ 
\mu = 1 \dots p < 2n + 2,
$$

the end points of the curve may move along the  $  ( 2n+ 2 - p) $-
dimensional manifold (*). If the boundary conditions (*) are given in the form

$$ 
\psi _  \rho  ( t _ {1} , x ( t _ {1} ))  =  0,\ \ 
\psi _  \sigma  ( t _ {2} , x ( t _ {2} ))  =  0,
$$

$$ 
\rho  =  1 \dots r,\  \sigma  =  1 \dots q,
$$

and  $  n + 1 - r > 0 $
or  $  n + 1 - q > 0 $, 
the end points of the curve  $  x( t) $
may move along the respective manifolds of dimensions  $  n + 1 - r $
or  $  n + 1 - q $. 
At the end points of the extremal curve the [[Transversality condition|transversality condition]] must be met; this, together with the conditions (*), makes it possible to obtain a closed system of relations leading to some boundary value problem. The solution of this boundary value problem yields arbitrary constants, which appear in the general integral of the Euler equation.

The qualitative difference between variational problems and the problem of finding extrema of a function of several variables consists in the fact that in the former case one is looking not for a point in a finite-dimensional space, but for a function (or a point in an infinite-dimensional space).

====Comments====

====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  A.R.M. Noton,   "Introduction to variational methods in control engineering" , Pergamon  (1965)  {{MR|}} {{ZBL|0145.34101}} </TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  W.H. Fleming,   R.W. Rishel,   "Deterministic and stochastic optimal control" , Springer  (1975)  {{MR|0454768}} {{ZBL|0323.49001}} </TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  L. Cesari,   "Optimization - Theory and applications" , Springer  (1983)  {{MR|0688142}} {{ZBL|0506.49001}} </TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top">  N.I. Akhiezer,   "The calculus of variations" , Blaisdell  (1962)  (Translated from Russian)  {{MR|0142019}} {{ZBL|0718.49001}} </TD></TR></table>