Namespaces
Variants
Actions

Bolza problem

From Encyclopedia of Mathematics
Jump to: navigation, search


One of the main problems in the classical calculus of variations on the conditions for an extremum, given some constraints on the type of equations; formulated in 1913 by O. Bolza. The problem consists of the minimization of the functional

$$ J(x) = \ \int\limits _ { t _ {1} } ^ { {t _ 2 } } f(t, x, \dot{x} ) dt + g(t _ {1} , x(t _ {1} ), t _ {2} , x (t _ {2} )), $$

$$ f: \mathbf R \times \mathbf R ^ {n} \times \mathbf R ^ {n} \rightarrow \mathbf R ,\ g: \mathbf R \times \mathbf R ^ {n} \times \mathbf R \times \mathbf R ^ {n} \rightarrow \mathbf R , $$

in the presence of differential constraints on the type of the equation:

$$ \phi (t, x, \dot{x} ) = 0 ,\ \ \phi : \mathbf R \times \mathbf R ^ {n} \times \mathbf R ^ {n} \rightarrow \mathbf R ^ {m} ,\ \ m < m, $$

and the boundary conditions

$$ \psi (t _ {1} , x (t _ {1} ), t _ {2} , x (t _ {2} )) = 0,\ \ \psi : \mathbf R \times \mathbf R ^ {n} \times \mathbf R \times \mathbf R ^ {n} \rightarrow \mathbf R ^ {p} , $$

$$ p \leq 2n + 2. $$

If $ g \equiv 0 $, the problem is known as the Lagrange problem, if $ f \equiv 0 $ and $ p < 2n + 2 $ it is known as the Mayer problem. A special feature of the Bolza problem is the mixed nature of the functional, which is represented as the sum of an integral functional and a function on the boundary. In principle, the Bolza problem is equivalent to the Lagrange problem, and in fact leads to it if one sets

$$ J _ {1} (x) = \ \int\limits _ { t _ {1} } ^ { {t _ 2 } } (f (t, x, \dot{x} ) + x _ {n + 1 } ) dt, $$

$$ {\dot{x} } _ {n + 1 } = 0,\ x _ {n + 1 } (t _ {1} ) = \frac{g}{(t _ {2} - t _ {1} ) } . $$

It also leads to the Mayer problem if one sets

$$ J _ {2} = \ x _ {0} (t _ {2} ) + g (t _ {1} , x ( t _ {1} ),\ t _ {2} , x (t _ {2} )), $$

where

$$ {\dot{x} } _ {0} = \ f (t, x, \dot{x} ),\ \ x _ {0} (t _ {1} ) = 0. $$

The choice of a given form of the problem, and the choice of the topology within which the problem is then considered, is determined by convenience or by expection in each particular case. In the theory of optimal control the problem is usually considered in the form of Mayer's problem; in the classical calculus of variations it is considered in the form of Lagrange's problem. The most extensively used topology is that of the space $ C ^ {1} $ of continuously-differentiable functions. To obtain necessary or sufficient conditions for the extremum, smoothness requirements must be imposed on the functions $ f $ and $ g $ involved in the definition of the problem and on the mappings $ \phi $ and $ \psi $, as well as requirements concerning the regularity of these mappings, i.e. the matrices $ ( \partial \psi / \partial t _ {1} , \partial \psi / \partial x _ {1} , \partial \psi / \partial t _ {2} , \partial \psi / \partial x _ {2} ) $ and $ ( \partial \phi / \partial \dot{x} ) $ must have maximal rank $ p $ and $ m $, respectively. For the vector function $ x(t) $ to give an extremum in the Bolza problem (and, similarly, in the Lagrange or Mayer problem), it is necessary that is satisfies also the Euler equation and the Weierstrass conditions (for a variational extremum) with respect to the Lagrange function constructed using the data of the problem with Lagrange multipliers, as well as the Jacobi condition and the transversality condition.

The notation employed in the above formulation of the Bolza problem is that used in optimal control theory. In the classical calculus of variations the Bolza problem is formulated using a different notation:

$$ J (y) = \ \int\limits _ { x _ {1} } ^ { {x _ 2 } } f (x, y, y ^ \prime ) dx + g (x _ {1} , y (x _ {1} ),\ x _ {2} , y (x _ {2} )), $$

$$ \phi (x, y, y ^ \prime ) = 0,\ \psi (x _ {1} ,\ y (x _ {1} ), x _ {2} , y (x _ {2} )) = 0. $$

References

[1] G.A. Bliss, "Lectures on the calculus of variations" , Chicago Univ. Press (1947)
How to Cite This Entry:
Bolza problem. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Bolza_problem&oldid=46102
This article was adapted from an original article by I.B. Vapnyarskii (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article