Young measure explained

In mathematical analysis, a Young measure is a parameterized measure that is associated with certain subsequences of a given bounded sequence of measurable functions. They are a quantification of the oscillation effect of the sequence in the limit. Young measures have applications in the calculus of variations, especially models from material science, and the study of nonlinear partial differential equations, as well as in various optimization (or optimal control problems). They are named after Laurence Chisholm Young who invented them, already in 1937 in one dimension (curves) and later in higher dimensions in 1942.^[1]

Young measures provide a solution to Hilbert’s twentieth problem, as a broad class of problems in the calculus of variations have solutions in the form of Young measures.^[2]

Definition

Intuition

Young constructed the Young measure in order to complete sets of ordinary curves in the calculus of variations. That is, Young measures are "generalized curves".

Consider the problem of

min _{u} I(u) = \int ^{1} _{0} (u'(x) ^{2-1)} ^{2} + u(x) ^{2} dx , where u is a function such that u( 0 ) = u( 1 ) = 0 , and continuously differentiable. It is clear that we should pick u to have value close to zero, and its slope close to \pm 1 . That is, the curve should be a tight jagged line hugging close to the x-axis. No function can reach the minimum value of I = 0 , but we can construct a sequence of functions u _{1,} u _{2,} ... that are increasingly jagged, such that I(u _{n)} \to 0 .

The pointwise limit

\lim u _{n} is identically zero, but the pointwise limit \lim _{n} u _{n'} does not exist. Instead, it is a fine mist that has half of its weight on +1 , and the other half on -1 .

Suppose that

F is a functional defined by F(u) = \int ^{1} _{0} f(t, u(t), u'(t))dt , where f is continuous, then $$\backslash lim\_n\; F(u\_n)\; =\; \backslash frac\; 12\; \backslash int\_0^1\; f(t,\; 0,\; -1)dt\; +\; \backslash frac\; 12\; \backslash int\_0^1\; f(t,\; 0,\; +1)dt$$so in the weak sense, we can define \lim _{n} u _{n} to be a "function" whose value is zero and whose derivative is (12)/(\delta) _{-1} + (12)/(\delta) _{+1} . In particular, it would mean that I(\lim _{n} u _{n} ) = 0 .

Motivation

The definition of Young measures is motivated by the following theorem: Let m, n be arbitrary positive integers, let

U be an open bounded subset of R ^{n} and \{ f _{k} \} ^{inf ty} _{k =1} be a bounded sequence in L ^{p} (U, R ^{m)} . Then there exists a subsequence \{ f _{k _{j}} \} ^{inf ty} _{j =1} \subset \{ f _{k} \} ^{inf ty} _{k =1} and for almost every x \in U a Borel probability measure \nu _{x} on R ^{m} such that for each F \in C( R ^{m)} we have F \circ f _{k _{j}} (x) {\rightharpoonup} \int _{R ^{m}} F(y)d\nu _{x(y)} weakly in L ^{p(U)} if the limit exists (or weakly* in L ^{infty} (U) in case of p =+inf ty ). The measures \nu _{x} are called the Young measures generated by the sequence \{ f _{k _{j}} \} ^{inf ty} _{j =1} .

A partial converse is also true: If for each

x\in U we have a Borel measure \nu _{x} on R ^{m} such that \int _{U\int} ^{\R ^{m}} \|y\| ^{pd\nu} _{x(y)dx< +inf ty} , then there exists a sequence \{f _{k\}} ^{inf ty\subseteq} ^{k =1} L ^{p(U,R} ^{m)} , bounded in L ^{p(U,R} ^{m)} , that has the same weak convergence property as above.G(x,A) : U x R ^{m} \to R , the limit\lim _{j\to} \int _{U} G(x,f _{j(x))} d x, if it exists, will be given by^[3] \int _{U} \int _{\R ^{m}} G(x,A) d \nu _{x(A)} dx .

Young's original idea in the case

G\in C _{0(U} x \R ^{m)} was to consider for each integer j\ge 1 the uniform measure, let's say \Gamma _{j:=} (id ,f _{j)} _{\sharp} L ^{d\llcorner} U, concentrated on graph of the function f _{j.} (Here, L ^{d\llcorner} U is the restriction of the Lebesgue measure on U. ) By taking the weak* limit of these measures as elements of C _{0(U} x \R ^{m)} ^{\star,} we have \langle\Gamma _{j,} G\rangle = \int _{U} G(x,f _{j(x))} d x \to \langle\Gamma ,G\rangle, where \Gamma is the mentioned weak limit. After a disintegration of the measure \Gamma on the product space \Omega x \R ^{m,} we get the parameterized measure \nu _{x} .

General definition

Let

m,n be arbitrary positive integers, let U be an open and bounded subset of R ^{n} , and let p\geq 1 . A Young measure (with finite p-moments) is a family of Borel probability measures \{\nu _{x} : x\in U\} on R ^{m} such that \int _{U\int} ^{\R ^{m}} \|y\| ^{p} d\nu _{x(y)dx<+infty} .

Examples

Pointwise converging sequence

A trivial example of Young measure is when the sequence

f _{n} is bounded in L ^{infty(U,} R ^{n} ) and converges pointwise almost everywhere in U to a function f . The Young measure is then the Dirac measure\nu _{x} = \delta _{f(x)} , x \in U. Indeed, by dominated convergence theorem, F(f _{n(x))} converges weakly* in L ^{infty} (U) toF(f(x)) = \int F(y) d \delta _{f(x)} for any F \in C( R ^{n)} .

Sequence of sines

A less trivial example is a sequence

f _{n(x)} = \sin (n x), x \in ( 0 , 2 \pi). The corresponding Young measure satisfies^[4] \nu _{x(E)} = (1)/(\pi) \int _{E\cap} (1)/(\sqrt{ 1- y ^{2}) } \, \texty, for any measurable set E , independent of x \in ( 0 , 2 \pi) .In other words, for any F \in C( R ^{n)} :F(f _{n)} {\rightharpoonup} ^{*} (1)/(\pi) \int ^{1} _{-1} (F(y))/(\sqrt{ 1- y ^{2}) } \, \texty in L ^{infty((0,2\pi))} . Here, the Young measure does not depend on x and so the weak* limit is always a constant.

To see this intuitively, consider that at the limit of large

n , a rectangle of [x, x + \delta x] x [y, y + \delta y] would capture a part of the curve of f _{n} . Take that captured part, and project it down to the x-axis. The length of that projection is (2 \delta x \delta y)/(\sqrt{ 1- y ^{2}) }, which means that \lim _{n} f _{n} should look like a fine mist that has probability density (1)/(\pi\sqrt{ 1- y ^{2}) } at all x .

Minimizing sequence

For every asymptotically minimizing sequence

u _{n} of I(u) = \int ^{1} _{0} (u'(x) ^{2-1)} ^{2} + u(x) ^{2} dx subject to u( 0 ) = u( 1 ) =0 (that is, the sequence satisfies \lim _{n\to+infty} I(u _{n)=inf} ^{u\in C ^{1([0,1])}} I(u) ), and perhaps after passing to a subsequence, the sequence of derivatives u' _{n} generates Young measures of the form \nu _{x=} (12)/(\delta) _{-1} + (12)/(\delta) _{1} . This captures the essential features of all minimizing sequences to this problem, namely, their derivatives u' _{k(x)} will tend to concentrate along the minima \{ -1 , 1 \} of the integrand (u'(x) ^{2-1)} ^{2} + u(x) ^{2} .

If we take

\lim _{n} (\sin( 2 \pi n t))/(2 \pi n) , then its limit has value zero, and derivative \nu( dy ) = (1)/(\pi\sqrt{ 1- y ^{2}) }dy, which means \lim I = (1)/(\pi) \int ^{+1} _{-1} ( 1- y ^{2)} ^{3/2} dy .

See also

• Convex compactification

References

• Book: Ball . J. M. . 1989 . A version of the fundamental theorem for Young measures . Rascle . M. . Serre . D. . Slemrod . M. . PDEs and Continuum Models of Phase Transitions : Proceedings of an NSF-CNRS Joint Seminar Held in Nice, France, January 18–22, 1988 . . 344 . Berlin . Springer . 207–215. 3-540-51617-4. 0075-8450. 10.1007/BFb0024945.
• Book: Castaing. Charles. Raynaud de Fitte. Paul. Valadier. Michel. Young Measures on Topological Spaces : With Applications in Control Theory and Probability Theory. Kluwer Academic Publishers (now Springer). Dordrecht . 2004. 978-1-4020-1963-0. 10.1007/1-4020-1964-5.
• Book: L.C. Evans . Weak convergence methods for nonlinear partial differential equations . Regional conference series in mathematics . . 1990 .
• Book: S. Müller . Variational models for microstructure and phase transitions . Lecture Notes in Mathematics . . 1999 .
• Book: P. Pedregal . Parametrized Measures and Variational Principles. Birkhäuser . Basel. 1997. 978-3-0348-9815-7.
• Book: Relaxation in Optimization Theory and Variational Calculus (2nd ed.). T. Roubíček. W. de Gruyter. Berlin. 2020. 978-3-11-059085-2. 10.1515/9783110590852.
• Book: Valadier . M. . 1990 . Young measures . Methods of Nonconvex Analysis . . 1446 . Berlin . Springer . 152–188. 10.1007/BFb0084935. Cellina. A.. 3-540-53120-3.
• , memoir presented by Stanisław Saks at the session of 16 December 1937 of the Warsaw Society of Sciences and Letters. The free PDF copy is made available by the RCIN –Digital Repository of the Scientifics Institutes.
• .

Notes and References

1. Young. L. C.. 1942. Generalized Surfaces in the Calculus of Variations. Annals of Mathematics. 43. 1. 84–103. 10.2307/1968882. 1968882 . 0003-486X.
2. https://web.archive.org/web/20220127215235/https://webspace.science.uu.nl/~balde101/lyoungm.pdf Balder, Erik J. "Lectures on Young measures." Cahiers de Mathématiques de la Décision 9517 (1995).
3. Book: Pedregal, Pablo. Parametrized measures and variational principles. 1997. Birkhäuser Verlag. 978-3-0348-8886-8. Basel. 812613013.
4. Book: Dacorogna . Bernard . Weak continuity and weak lower semicontinuity of non-linear functionals . 2006 . Springer.