Young measure

From Encyclopedia of Mathematics
Revision as of 13:50, 2 July 2020 by Maximilian Janisch (talk | contribs) (formatting)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

parametrized measure, relaxed control, stochastic kernel

A family of probability measures $\nu = \{ \nu _ { X } \} _ { X \in \Omega }$, one for each point $x$ in a domain $\Omega$ (cf. also Probability measure), associated to a sequence of functions $f _ { j } : \Omega \rightarrow {\bf R} ^ { d }$ with the fundamental property that

\begin{equation*} \operatorname { lim } _ { j \rightarrow \infty } \int _ { \Omega } \varphi ( x , f_j ( x ) ) d x = \int _ { \Omega } \int _ { \mathbf{R} ^ { d } } \varphi ( x , \lambda ) d \nu _ { x } ( \lambda ) d x, \end{equation*}

for any Carathéodory function $\varphi$. The Young measure $\nu$ depends upon the sequence $\{ f_j \}$ but is independent of $\varphi$ ([a1], [a5], [a8]).

The main area where Young measures have recently been used is optimization theory. Optimization problems where a local, integral cost functional is to be minimized in a suitable class of functions often lack optimal solutions because of the presence of some non-convexity. In such cases, a single function is unable to reproduce the optimal behaviour, due precisely to this lack of optimal solutions, and one must resort to sequences (the so-called minimizing sequences) in order to comprehend the main features of optimality. From the horizon of the above-mentioned class of cost functionals, Young measures furnish a convenient way of dealing with optimal behaviour paying attention only to those features that make a behaviour optimal and disregarding accidental properties.

The way in which this process is accomplished can be described as follows. Let

\begin{equation*} I : \mathcal{A} \rightarrow \mathbf{R} \cup \{ + \infty \} \end{equation*}

be a local, integral cost functional defined on an admissible class of functions $\mathcal{A}$. Typically,

\begin{equation*} I ( u ) = \int _ { \Omega } F ( x , u ( x ) , \nabla u ( x ) , \ldots ) d x, \end{equation*}

where indicate higher-order derivatives. The optimization problem of interest is to comprehend how the infimum

\begin{equation*} \operatorname { inf } _ { u \in \mathcal{A} } I ( u ) \end{equation*}

is realized. One introduces a generalized optimization problem, intimately connected to the one above, by putting

\begin{equation*} \tilde{I} ( \nu ) = \operatorname { lim } _ { j \rightarrow \infty } I ( u _ { j } ) \end{equation*}

when $\nu$ is the Young measure associated to the sequence $\{ u _ { j } \} \subset \mathcal{A}$. If $\tilde { A }$ stands for the set of all such Young measures, one would like to understand the optimal behaviour for

\begin{equation*} \operatorname { inf } _ { \nu \in \tilde{A} } \tilde{I} ( \nu ). \end{equation*}

Due to the fundamental property of the Young measure indicated above, the optimal behaviour for this new optimization problem can always be described with a single element in $\tilde { A }$, which in turn is generated by minimizing sequences of the original optimization problem. The whole point is being able to study the generalized optimization problem by itself, and then interpret that information in terms of minimizing sequences of the initial optimization problem. The main issue here is to find ways of characterizing the admissible set $\tilde { A }$ that may allow for an independent treatment of the generalized optimization problem. In particular, understanding how constraints in $\tilde { A }$ are determined by constraints in $\mathcal{A}$ is a major challenge. See [a3], [a4].

Young measures were originally introduced in the context of optimal control problems [a9], [a10] (cf. also Optimal control), and have also been used in some situations for problems in partial differential equations [a2], [a6], [a7].


[a1] E.J. Balder, "Lectures on Young Measures" Cah. de Ceremade , 9512 (1995) MR1798830
[a2] R.J. DiPerna, "Compensated compactness and general systems of conservation laws" Trans. Amer. Math. Soc. , 292 (1985) pp. 383–420 Zbl 0606.35052
[a3] D. Kinderlehrer, P. Pedregal, "Characterizations of Young measures generated by gradients" Arch. Rat. Mech. Anal. , 115 (1991) pp. 329–365 MR1120852 Zbl 0754.49020
[a4] D. Kinderlehrer, P. Pedregal, "Gradient Young measures generated by sequences in Sobolev spaces" J. Geom. Anal. , 4 (1994) pp. 59–90 MR1274138 MR1268904 Zbl 0808.46046 Zbl 0828.46031
[a5] P. Pedregal, "Parametrized measures and variational principles" , Birkhäuser (1997) MR1452107 Zbl 0879.49017
[a6] L. Tartar, "Compensated compactness and applications to partal differential equations" R. Knops (ed.) , Nonlinear Analysis and Mechanics: Heriot–Watt Symposium IV , Res. Notes Math. , 39 , Pitman (1979) pp. 136–212
[a7] L. Tartar, "The compensated compactness method applied to systems of conservation laws" J.M. Ball (ed.) , Systems of Nonlinear Partial Differential Equations , Reidel (1983) MR0725524 Zbl 0536.35003
[a8] M. Valadier, "Young measures" , Methods of Nonconvex Analysis , Lecture Notes Math. , 1446 , Springer (1990) pp. 152–188 MR1114673 MR1079763 Zbl 0742.49010 Zbl 0738.28004
[a9] L.C. Young, "Generalized curves and the existence of an attained absolute minimum in the calculus of variations" C.R. Soc. Sci. Lettres de Varsovie, Cl. III , 30 (1937) pp. 212–234 Zbl 0019.21901 Zbl 63.1064.01
[a10] L.C. Young, "Generalized surfaces in the calculus of variations, I–II" Ann. of Math. , 43 (1942) pp. 84–103; 530–544
How to Cite This Entry:
Young measure. Encyclopedia of Mathematics. URL:
This article was adapted from an original article by Pablo Pedregal (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article