arxiv: v2 [math.fa] 23 Sep 2017

Transcription

1 On general characterization of Young measures associated with Borel functions arxiv: v2 [math.fa] 23 Sep 207 Andrzej Z. Grzybowski Institute of Mathematics, Czestochowa University of Technology, al. Armii rajowej 2, Czȩstochowa, Poland Piotr Pucha la Institute of Mathematics, Czestochowa University of Technology, al. Armii rajowej 2, Czȩstochowa, Poland Abstract We prove that the Young measure associated with a Borel function f is a probability distribution of the random variable f(u), where U has a uniform distribution on the domain of f. As an auxiliary result, the fact that Young measures associated with simple functions are weak dense in the set of Young measures associated with measurable functions is proved. Finally some examples of specific applications of the main result are presented with comments. eywords: Young measures, characterization of measures, Borel functions, uniform distribution AMS Subject Classification: 46N0; 46N30; 49M30; 60A0 Introduction One of the major problems in the calculus of variations is minimization of functionals which are bounded from below but do not attain their infima. If the minimized functional J is bounded, the direct method can be applied: there always exists a minimizing sequence for J, that is a sequence (u n ), u n : R d R l, n N, such that lim J(u n) = infj. Additionally, if J is coercive, (u n ) is n alwaysbounded. However, if J does not attain its infimum then the elements of (u n ) are functions of highly oscillatory nature. Moreover, weak convergence in L of (u n ) to some function u 0 does not guarantee, that the sequence (ϕ(u n )) of compositions of u n with continuous function ϕ is weak convergent in L. Indeed, in general it is not convergent not only to ϕ(u 0 ), but to any function with domain in R d. Laurence Chisholm Young introduced in [7] objects called by him generalized curves, nowadays called Young measures. These are the generalized limits of sequences of highly oscillating functions. The mature form of Young s theorem has been proved by J.M.Ball in [4] (see also [2], theorem 6.2). According to these theorems, we say that under their assumptions the considered sequences generate appropriate Young measures. This approach is studied for example in [2] in detail.

2 Alternatively, we can look at the Young measure as at object associated with any measurable function defined on a nonempty, open, bounded subset of R d with values in a compact subset of R l. Such a conclusion can be derived from the theorem 3.6. in [5]. Thank to this theorem it can be proved that the Young measure associated with a simple function is the convex combination of Dirac measures. These Dirac measures are concentrated at the values of the simple function under consideration while coefficients of the convex combinaton are proportional to the Lebesgue measure of the sets on which the respective values are taken on by the function; see [4] for details and more general result concernig simple method of obtaining explicit form of Young measures associated with oscillating functions. This method does not need advanced functional analytic methods: it is based on the change of variable theorem. In this article we significantly generalize the above results. We prove a theorem providing general yet simple description of Young measures associated with Borel functions. As a consequence, the theorem enables one to compute explicit formulae of probability density functions of the Young measures in many interesting cases. What is more, it also can be done without any sophisticated functional analytic apparatus. Since Young measures are widely used in many areas of theoretical and applied sciences (see for example [3], [0], [], [3]), our result provide a handy tool of obtaining their explicit form. The main theorem of this article states that the Young measure associated with any Borel function f defined on the set R d with positive Lebesgue measure M and values in a compact set R l, is in fact a probability distribution of a random variable X = f(u), where U is uniformly distributed on. Before this, we prove a lemma corresponding to standard measure-theoretic result, that any Borel function is a pointwise limit of the appropriate sequence of simple functions. This is neither new nor most general result of this type (in [2] the result is stated for completely regular Souslin spaces), but it seems that simplicity of the proof of its special case that may be of interest in applications makes it worth mentioning. Relying on this fact we prove, that for any Borel functionf:, itsyoungmeasureistheweak limit ofasequenceofyoung measures associated with the elements of the sequence of simple functions convergent pointwise to f. Finally, we illustrate the result with one-dimensional example. 2 Young measures necessary information and an auxiliary result The first part of this section can serve as a very brief introduction to the theory of Young measures. In the second part we state and prove lemma mentioned at the end of the Introduction. 2

3 2. An outline of the Young measures theory We gather now some information about Young measures. An interested reader can find details, together with proofs and further bibliography, for example in [], [5], [6], [2], [5]. Theorems that plays crucial role in the sequel, namely theorem 2.2, theorem 2.3, corollary 2., are stated and proved in [5]. Let R d be nonempty, bounded open set and let R l be compact. Let (f n ) be a sequence of functions from to, convergentto some function f 0 weakly in L. Finally, let ϕ be an arbitrarycontinuous real valued function on R l. Then the sequence (ϕ(f n )) is uniformly bounded in L norm and therefore by the Banach Alaoglu theorem there exists a subsequence of (ϕ(f n )) weakly convergent to some function g. In general g ϕ((f 0 )). L. C. Young proved in [7], that there exists a subsequence of (ϕ(f n )), not relabelled, and a family (ν x ) x of probability measures with supports suppν x, such that ϕ C(R l ) w L () there holds lim ϕ(f n (x))w(x)dx = ϕ(s)ν x (ds)w(x)dx := ϕ(x)w(x)dx. n This family of probability measures is today called a Young measure associated with the sequence (f n ). In applications there often appears important and particularly simple form ofyoung measure, a homogeneous Young measure. This is family (ν x ) x that does not depend on the variable x. In 989 J. M. Ball proved the following theorem. Let be a measurable subset of R d, v: [0,+ ) [0,+ ) a continuous, nondecreasing function such that lim v(t) = +. By ψ wedenote a function ψ: R l (x,λ) ψ(x,λ) t R satisfying Carathéodory conditions: it is measurable with respect to the first, and continuous with respect to the second variable. Consider further a sequence (f n ) of functions on with values in R l, satisfying the condition sup v( f n (x) )dx < +. n Theorem 2.. ([4]) Under the above assumptions, there exists a subsequence of (f n ), not relabelled, and a family (ν x ) x of probability measures, dependent measurably on x, such that if for any Carathéodory function ψ the sequence (ψ(x,f n (x)) is weakly convergent in L (), then its weak limit is a function ψ(x) = ψ(x,λ)dν x (λ). R l We now turn our attention to the presentation of the Young measures as in [5]. In general, Young measures can be looked at as the element of the space conjugate to the space L (,C()) of Bochner integrable functions on R d 3

4 with values in C(). The space L (,C()) is isometrically isomorphic to the space Car(, ; R) of the Carathéodory functions, equipped with the norm h Car := sup h(x, k) dx. k Let h L (,C()). Denote by U the set of all measurable functions on with values in. Consider a mapping i: U L (,C()) defined by the formula i(f),h := h(x,f(x))dx. By Y(,) we denote the weak closure of the set i(u) in L (,C()) : { } Y(,) := L (,C()) w η : (f n ) U : i(f n ) η. n Denote by rca() the space of regular, countably additive scalar measures on, equipped with the norm m rca() := m (), where stands in this case for the total variation of the measure m. With this norm rca() is a Banach space; rca () the subset of rca() with elements being probability measures on ; L w (,rca()) the set of the weakly measurable mappings We equip this set with the norm ν: x ν(x) rca(). ν L w (,rca()) := esssup { ν(x) rca() : x }. By the Dunford Pettis theorem this space is isometrically isomorphic with the space L (,C()). Now define an element η of L (,C()) by the formula ( ) η: L (,C()) h η,h := h(x,k)dν x (k) dx, which in turn will be the value of the mapping ψ: L w (,rca()) ν ψ(ν) := η L (,C()) 4

5 Theorem 2.2. The mapping ψ defined above is an isometric isomorphism between the spaces L w (,rca()) and L (,C()). The set of the Young measures on the compact set R l will be denoted by Y(,): Y(,) := { ν = (ν(x)) L w (,rca()) : ν x rca () for a.a x }. We will write ν x or (ν x ) x instead of ν(x). Finally, we define the Dirac mapping δ: x Theorem 2.3. The diagram is commutative. δ: U f [δ(f)](x) := δ f(x) Y(,) (2.) Y(;) δ 2 U ψ i Y(;) This means, that for any f U there exists a Young measure associated with it. Corollary 2.. The set Y(; ) of all Young measures is a convex, compact, sequentially compact set in which δ(u) is dense. 2.2 An auxiliary lemma Denote by µ the normalized Lebesgue measure on a nonempty, bounded subset ofr d withpositivemeasurem: dµ(x) := M dxwithad-dimensionallebesgue measure dx. Let {} n i= be a partition of into open, pairwise disjoint subsets n i with Lebesgue measure m i > 0, such that cl( i ) = cl(), where cl stands for closure. By A we denote the characteristic function of the set A. Theorem 2.4. (see e.g. [4]) Choose and fix points p i R l, i =,2,...,n, and let f be a simple function: f := n p i i. i= i= Then the Young measure associated with f is of the form ν x = M n m i δ pi. i= 5

6 Remark 2.. Observe that in this case ν x is a homogeneous Young measure. Definition 2.. The Young measure associated with simple function will be called a simple Young measure. We now recall the notion of weak convergenceof measures on compact sets. Definition 2.2. We say that a sequence (ν n ) of bounded measures on a compact set R l converges weakly to a measure ν 0, if β C(,R) there holds lim β(k)dν n (k) = β(k)dν 0 (k). n We now prove a useful lemma. Lemma2.. Let f: be a measurable function and let (f n ) be a pointwise convergent to f sequence of simple functions. Then the Young measure ν f associated with f is a weak limit of the sequence of the simple Young measures associated with respective elements of (f n ). Proof. Choose and fix ε > 0. Using change of variable theorem, continuity of the function β and the finiteness of the measure of, we infer the existence of n 0 N such that m,n > n 0 we have β(k)dν n β(k)dν m = β(f n (x))dµ β(f m (x))dµ β(f n (x)) β(f m (x)) dµ ε µ(). This means that (ν n ) is a weak Cauchy sequence in Y(;), so by corollary 2. there exists a weak limit ρ = (ρ x ) x of (ν n ) Y(;). By the equation (2.) ν f = δ f(x). Now choose and fix x 0. We then have β(k)dρ x0 β(k)dδ f(x0) β(k)dρ x0 β(k)dν n + + β(k)dν n β(k)dδ f(x0). The first term on the right-hand side is arbitrarily small since ρ is a weak limit of (ν n ). For the second term β(k)dν n β(k)dδ f(x0) β(k)dν n β(k)dδ fn(x 0) + + β(k)dδ fn(x 0) β(k)dδ f(x0). 6

7 The first term above vanishes because ν n is a homogeneous Young measure associated with the simple function f n, n N. The second term tends to 0 as n for the sequence (f n ) converges pointwise to f. Remark 2.2. (i) observe that ν f need not be a homogeneous Young measure; (ii) for more general versions of the above result see [2] and references cited there. Corollary 2.2. The set of all simple Young measures is weak dense in the set of the Young measures associated with functions from U. 3 Some necessary notions from probability theory and notation To set up notation, we recall now standard probabilistic notions needed in the sequel. If Σ is a σ-algebra of subsets of a nonempty set A and P a measure on Σ, then the triple (A, Σ, P) is called a measure space, and a probability space if P is a probability measure. A random variable (or a random vector) X: A R d is a function such that for any Borel set B R d there holds X (B) Σ. Obviously, if ϕ: R d R l is a Borel function, then ϕ(x) is a random variable. The probability distribution on R d is any probability measure P on the σ-algebrab(r d ) of Borel subsets ofr d. The probabilitydistribution of arandomvariablex withvaluesinr d isaprobabilitymeasurep X onr d defined for any B B(R d ) by the equality P X (B) := P(X (B)). Consequently, for the distribution of the random variable ϕ(x) we have: for any C B(R l ) P ϕ(x) (C) = P(ϕ(X) (C)) = P X (ϕ (C)). If P is a probability distribution on R d and for some Lebesgue integrable function g: R d R there holds: A B(R d ) P(A) = g(x)dx, then the function A g is called a density of P. Let be a Borel subset of R d with Lebesgue measure M > 0. We say that random variable U: R d R l is uniform on, if its density g u is of the form { g U (x) = M, x 0, x /. The probability distribution P U is then called the uniform distribution. 4 Main result Asintheprevioussections,let beanopensubsetofr d withlebesguemeasure M > 0, dµ(x) := Mdx, where dx is the d dimensional Lebesgue measure on and let R l be compact. Denote P := M dx. Finally, we are ready to formulate the main theorem of the article. 7

8 Theorem 4.. Let f: R d R l be a Borel function with Young measure µ f. Then µ f is the probability distribution of the random variable Y = f(u), where U has a uniform distribution on. Proof. The distribution of a random variable Y is of the form: C B(), P f(u) (C) = P U (f (C)). Let f be constant on with value p and vanish on the complement of. By theorem 2.4 we have µ f = δ p. For any C we have { µ f, p C (C) = C (p)dδ p = 0, p / C. R l On the other hand, P U (f (C)) = f (C) g u dp = M {x:f(x) C} dx = { M M =, p C M 0 = 0, p / C. Thus P Y = µ f. This equality also holds when f is a simple function, due to the linearity of the integral. Since functions under consideration have values in the compact set, lemma 2. and the dominated convergence theorem yields the result for any Borel f. 5 Some applications and comments Theorem 4. provides direct link between the Young measure basic concepts and the probability theory. This allows a wealth of probabilistic tools to be used to derive the explicit forms of the density functions of Young measures in many practically interesting cases. To illustrate this point let us consider the following problem. Let be asat thebeginningoftheprevioussection. Consider{} anopen partitionof intoatmostcountablenumberofopensubsets, 2,..., n,... such that (i) the elements of {} are pairwise disjoint; (ii) i i =, where A denotes the closure of the set A. Let us consider functions f i : i R d, i =,2,..., with inverses fi that are continuously differentiable on f( i ) and let i := f( i ) be compact. Denote for each i =,2,... the Jacobian matrix of fi by J f. i Let a function f:, with := f() compact, be such that f(x) = i f i (x)χ i (x), x i i. (5.) Then the following result holds. 8

9 Proposition 5.. The Young measure associated with Borel function f satisfying (5.) is a homogeneous one and its density g with respect to the Lebesgue measure on is of the following form g(y) = M J f i i:y i (y) (5.2) The above result is a conclusion of our main Theorem 4. and the general probabilistic results concerning the distributions of the functions of random vectors/variables, (compare [6] or the classial work of Hoog and Craig [9] ). Observe, that the above Proposition 5. extends the results stated in Propositions 3.2, 3.4 in[4] which are proven there directly on the basis of Young measure notion. AsanexampleofamorespecificapplicationofProposition5.letusconsider the one-dimensional case (d = ) and the following function f: ]0,[ ]0,[: f(x) = i=2 (nx )χ [ [ n, (x) (5.3) n The function given by (5.3) is of the form (5.), thus by the Proposition 5., the Young measure associated with this f has the density function g that is a piecewise constant one and given by the following formula: g(y) = (H n )χ [ [ n, (y), y ]0,[ (5.4) n where H n stands for the n-th harmonic number. Due to the main Theorem4. variousotherresults e.g. related to Borelfunctions with different dimensions of their domains and images, can be obtained with the help of other known probabilistic results concerning distributions of functions of random variables or vectors. Such results are of particular importance in the engineering practice, as they allow us the determination of specific values of Young s functionals, either directly or, in the more complex cases, by the Monte Carlo simulation (for the latter see [7] and [8]). References [] Attouch, H., Buttazzo, G. and Michaille, G.(2006). Variational Analysis in Sobolev and BV Spaces: Applications to PDEs and Optimization, SIAM and MPS, Philadelphia, USA, [2] Balder, E.J.(997). Consequences of Denseness of Dirac Young Measures. J. Math. Anal. Appl. 207, [3] Balder, E.J.(2000). Lecture on Young Measures Theory and its Applications in Economics. Rend. Instit. Mat. Univ. Trieste Vol. XXXI Suppl., 69. 9

10 [4] Ball, J.M.(989). A version of the fundamental theorem for Young measures, in PDE s and Continuum Models of Phase Transitions, Lecture Notes in Phys. 344, , Springer Verlag. [5] Florescu, L.C. and Godet-Thobie, Ch.(202). Young Measures and Compactness in Measure Spaces, Walter de Gruyter GmbH & Co. G, Berlin/Boston. [6] Gasiński, L. and Papageorgiou, N.S.(2006). Nonlinear Analysis, Series in Mathematical Analysis and Applications, vol. 9, Chapman & Hall/CRC, Boca Raton, London, New York, Singapore. [7] Grzybowski, Andrzej Z., Pucha la, P.(205). Remarks about discrete Young measures and their Monte Carlo simulation. J. Appl.Math. Comput. Mech. 4. No. 2, [8] Grzybowski, Andrzej Z., Pucha la, P.(205). Monte Carlo simulation of the Young measures Comparison of Random-Number Generators, Proceedings of 205 IEEE 3th International Scientific Conference on Informatics, Novitzká, V., orečko, Š., Szakál, A. (editors); [9] Hoog, R.V. and Craig, A.T.(978). Introduction to Mathematical Statistics, Macmillan Publishing Co., Inc., New York. [0] Málek, J., Ne cas, J., Rokyta,M. and Rů zi cka, M.(996). Weak and Measure-valued Solutions to Evolutionary PDEs., Chapman & Hall. [] Müller, S.(999). Variational Models for Microstructure and Phase Transitions, in Calculus of variations and geometric evolution problems, Hildebrandt, S., Struwe, M. (editors), Lecture Notes in Math. Volume 73, 85 20, Springer Verlag, Berlin Heidelberg, Germany. [2] Pedregal, P.(997). Parametrized Measures and Variational Principles, Birkhäuser, Basel, Boston, Berlin. [3] Pedregal, P.(2000). Variational Methods in Nonlinear Elasticity, Society for Industrial and Applied Mathematics, Philadelphia. [4] Pucha la, P.(204). An elementary method of calculating Young measures in some special cases. Optimization 63 No.9, [5] Roubíček, T.(997). Relaxation in Optimization Theory and Variational Calculus, Walter de Gruyter, Berlin, New York. [6] Soong, T.T.(2004). Fundamentals of Probability and Statistics for Engineers, John Wiley & Sons, Inc., Hoboken, NJ. [7] Young, L.C.(937). Generalized curves and the existence of an attained absolute minimum in the calculus of variations. Comptes Rendus de la Société des Sciences et des Lettres de Varsovie, classe III 30,