THREE SINGULAR VARIATIONAL PROBLEMS. Lawrence C. Evans Department of Mathematics University of California Berkeley, CA 94720
|
|
- Brendan Chandler
- 5 years ago
- Views:
Transcription
1 THREE SINGLAR VARIATIONAL PROBLEMS By Lawrence C. Evans Department of Mathematics niversity of California Berkeley, CA 9470 Some of the means I use are trivial and some are quadrivial. J. Joyce Abstract. We discuss here a variational viewpoint common to three problems in nonlinear PDE: the construction of optimal Lipschitz extensions, the Monge Kantorovich problem, and weak KAM theory for Hamiltonian dynamics. We establish also some interesting analytic estimates. 1. Overview. This expository paper discusses some viewpoints and estimates common to three related singular variational problems, which turn out in asymptotic limits to have quite different interpretations. These are: (I) the construction of optimal Lipschitz extensions of given boundary data, (II) the Monge Kantorovich optimal mass transfer problem, and (III) a form of weak KAM theory for Hamiltonian dynamics. The above quotation from Joyce (cited in the book [J]) depends upon the Latin derivation of the word trivial, from tri (= three) and via (= road or way). It is interesting that there is a trivial (three way) variational principle behind these apparently rather different problems. Perhaps a fourth application remains to be found, so that our method would then be quadrivial. I would like to reemphasize here that this is an expository paper. I have not yet written up fully detailed proofs of some of the assertions herein, and consequently this should be regarded as an informal research announcement. Supported in part by NSF Grant DMS and by the Miller Institute for Basic Research in Science, C Berkeley 1
2 I presented some of these results at an meeting at RIMS in Kyoto, during September, 00. I thank the organizers, and especially Professor Hitoshi Ishii, for their hospitality. I also thank G. Aronsson for correcting an error in my definition of the term L for Problem I. 1.1 Three variational problems. First of all, fix a parameter k>1, which we will later send to infinity. Problem I: Optimal Lipschitz Extensions. Assume for our first problem that we are given a bounded, smooth domain R n and a Lipschitz continuous function g : R n R. Then define (1.1) I 1 [w] := e k Dw dx for functions w in the admissible class (1.) A 1 := {w : Ū R w is Lipschitz continuous, w = g on }. We minimize I 1 [ ] over A 1. Problem II: Optimal Mass Transfer. Let = B(0,R) denote the ball in R n with center 0 and (large) radius R. Assume f : R n R is summable and has compact support, lying within B(0,R). We write f = f + f and suppose the mass balance condition that f + dx = f dy =1. Then define (1.3) I [w] := for w belonging to 1 k e k ( Dw 1) wf dx (1.4) A := {w : R w is Lipschitz continuous,w =0on }. We minimize I [ ] over A. Problem III: Weak KAM Theory. For our last example, let denote the flat unit torus in R n, that is, the unit cube with opposite faces identified. Suppose P R n is fixed and V : R n R is a smooth, -periodic potential. Define P +Dw (1.5) I 3 [w] := +V ) dx on the admissible set e k( (1.6) A 3 := {w : R n R w is Lipschitz continuous and -periodic}. Once again, we minimize I 3 [ ] over A 3.
3 1. Euler Lagrange equations. For Problems I and II, let u k denote a minimizer and for Problem III, write u k := P x + v k ; where v k is a minimizer. The Euler Lagrange equations then take these forms: Problem I: (1.7) div(σ k Du k )=0 in where (1.8) σ k := e k( Du k L k ) for (1.9) L k := Problem II: ( 1/ k log e k Du k dx). (1.10) div(σ k Du k )=f in (1.11) σ k := e k ( Du k 1) Problem III: (1.1) div(σ k Du k )=0 in for (1.13) σ k := e k( Du k +V H k (P )) and (1.14) Hk (P ):= 1 k log e k( Du k +V ) dx. Remark. We call (1.7), (1.10), (1.1) continuity (or transport) equations. Notice that for Problems I and III we have normalized so that σ k 0 satisfies (1.15) σ k dx =1, σ k dx =1 respectively, but have not done so for Problem II. Our goal is to understand for each of our problems what happens in the limit as the parameter k goes to infinity. 3
4 1.3 Limits as k. We describe next the limiting behaviors of u k and σ k : Problem I: Optimal Lipschitz Extensions. For our first problem, we assert this asymptotic behavior: (i) As k, u k u uniformly on Ū and u is the unique viscosity solution of (1.16) { uxi u xj u xi x j =0 in u = g in. (ii) Furthermore, L k L for { g(x) g(y) L := sup dist(x, y) } x, y, x y, where dist(x, y) denotes the distance from x to y within. That is, dist(x, y) :=inf{ length of γ γ is a Lipschitzcurve in Ū connecting x and y}. (iii) Also, σ k σweakly as measures, where σ is a probability measure on Ū such that Du = L σ-a.e. in. (iv) We have (1.17) div(σdu) =0 in. The idea here is to construct an optimal Lipschitz extension into the domain of the given boundary values g, following Aronsson s variational principle that for each subdomain V we should have Du L (V ) Dv L (V ) for each Lipschitz function v satisfying u v on V. The PDE in (1.16) is in effect the Euler Lagrange equation for this sup norm minimization problem. We sometimes write u xi u xj u xi x j =: u, the so called infinity Laplacian. See for instance Aronsson [A], Barron [B], Barron Jensen Wang [B-J-W] for more detailed explanations. Problem II: Optimal Mass Transfer. We examine next Problem II as k : 4
5 (i) As k, u k u locally uniformly on, where (1.18) Du 1 a.e. (ii) Furthermore σ k σweakly as measures and (1.19) div(σdu) =f in. (iii) σ() is the Monge Kantorovich cost of optimally rearranging the probability measure dµ + = f + dx to dµ = f dy. (iv) We also have u xi u xj u xi x j =0 in spt(f). The basic Monge Kantorovich problem asks us to find a mapping s to minimize the cost functional C[r] := x r(x) dµ + (x) R n among one to one mappings r : R n R n that push forward µ + into µ. As explained in Ambrosio [Am], Caffarelli Feldman McCann [C-F-M], [E1], [E-G1], etc., the potential function u can be employed to design an optimal mass allocation plan s. The measure σ is called the transport measure (or the transport density, when it has a density with respect to Lebesgue measure). Problem III: Weak KAM Theory. Finally, we address the asymptotic limit of Problem III: (i) As k, u k u uniformly on and u is a viscosity solution of (1.0) u xi u xj u xi x j = V xj u xj in. (ii) Furthermore H k (P ) H(P ), where H is the effective Hamiltonian in the sense of Lions Papanicolaou Varadhan [L-P-V]. (iii) We have σ k σweakly as measures and (1.1) div(σdu) =0 in. (iv) In addition, (1.) Du + V = H(P ) σ-a.e. A full proof can be found in [E]. As explained in Evans Gomes [E-G], we can regard (1.) as the generalized eikonal equation and (1.1) as the continuity equation corresponding to the dynamics ẍ(t) = DV (x(t)). The support of the measure σ is the projection of the Mather set onto. See also Fathi [F], Mather [Mt], Mather Forni [M-F] for other viewpoints. 5
6 . L and L p bounds. An advantage of the common viewpoint set forth above is that we can at least hope to find analytic methods applicable to several of the problems at once. In this and the next two sections we illustrate some common PDE methods, which apply variously to Problems I III, for deriving useful estimates..1 An L -estimate (Problem III). Consider from Problem III the Euler Lagrange equation (.1) div(σ k Du k )=0 in for (.) σ k = e k( Du k +V H) and u k = P x + v k, v k periodic. Write (.3) h k := Du k + V H. Lemma.1. We have the identity (.4) D u k + k Dh k dσ k = Vdσ k, and consequently (.5) D u k + k Dh k dσ k C, for a constant C independent of k. Here we write dσ k for σ k dx. Proof. To simplify notation, we henceforth drop the subscript k. Owing to (.1) we have 0= (σu xi ) xi u xj x j dx = T n (σu xi ) xj u xi x j dx = σu xi x j u xi x j + σ xj u xi u xi x j dx. Now σ xj = k(u xi u xi x j + V xj )σ = kh xj σ. Therefore 0= σ D u + kσdh (Dh DV ) dx; and this gives D u + k Dh dσ = Dσ DV dx = Vdσ. 6
7 . An L p estimate for the transport density (Problem II). We turn now to Problem II, for which (.6) div(σ k Du k )=f in and (.7) σ k = e k ( Du k 1). We assume that u k has compact support, and u k M for some constant M. The following estimate is from the forthcoming paper [D-E-P]. Lemma.. For each p<, there exists a constant C, depending on p but not k, such that (.8) σ p k dx C( f p dx +1). Proof. 1. We again omit the subscripts k. Let q = p 1 1. Multiply (.6) by σ q u to discover σu xi (σ q u) xi dx = fσ q u dx. Hence σ q+1 Du + qσ q Du Dσu dx = fσ q u dx. Since Du 1ifσ 1, owing to (.7), we can deduce that (.9) σ q+1 dx C f q+1 dx + C σ q Du Dσ dx + C.. We must control the second term on the right-hand side of (.9). To do so, we next multiply our PDE (.6) by div(σ q Du) and integrate by parts: (.10) (σu xi ) xj (σ q u xj ) xi dx = f(σ q u xj ) xj dx. (We are ignoring here a boundary term, which turns out to have a good sign: see [D-E-P] for details.) The term on the left equals (σu xi x j + σ xj u xi )(σ q u xi x j + qσ q 1 σ xi u xj ) dx (.11) = σ q+1 D u + qσ q 1 Du Dσ +(q +1)σ q σ xi u xj u xi x j dx = σ q+1 D u + qσ q 1 Du Dσ (q +1) + σ q 1 Dσ dx, k since (.7) implies σ xi = ku xj x i u xj σ. The term on the right-hand side of (.10) is (.1) f(σ q u xj x j +qσ q 1 σ xj u xj ) dx 1 σ q+1 D u + qσ q 1 Du Dσ dx + C f σ q 1 dx. We combine (.10) (.1) and perform elementary estimates to arrive at (.8). 7
8 3. Bounds and formulas involving Du. 3.1 Detailed mass balance (Problem II). Interesting identities sometime result if we multiply the various transport equations by Φ(Du), where Φ:R n R is an arbitary smooth function. For example, turn again to Problem II: (3.1) div(σ k Du k )=f in, where (3.) σ k = e k ( Du k 1). Lemma 3.1. We have the identity 1 (3.3) Dσ k DΦ(Du k ) dx k Proof. We calculate σu xi Φ(Du) xi dx and the first term on the left is σu xi Φ pj (Du)u xj x i dx = R n u k σ k ν Φ(Du k) dh n 1 = fφ(du k ) dx. σ u ν Φ(Du) dhn 1 = fφ(du) dx, R n σ xj k Φ p j (Du) dx. Remark. This formula suggests that in the limit k, we should have Φ(Du)f dx=0, R n if σ k goes to zero on. Consequently, (3.4) Φ(Du)f + dx = Φ(Du)f dy R n R n for all smooth Φ : R n R. This is a form of detailed mass balance for the Monge Kantorovich problem: see [E-G1]. The basic insight is that the mass of the measure dµ + = f + dx is optimally rearranged into dµ = f dy by moving each mass point in the direction Du. If we formally take Φ=χ B, where B is some set of directions in the unit sphere, the identity (3.4) reads f + dx = f dy A for A := {x R n Du(x) B}, and this is consistent with the foregoing interpretation. 8 A
9 3. Gradient bounds (Problem III). For Problem III we can as in [E] bound the term in the exponential: Lemma 3.. We have the estimate (3.5) Du k + V H k (P )+ C log k. k Proof. Somewhat as in our proof of Lemma., we multiply the PDE by div(σ q Du) and integrate by parts: (σu xi ) xj (σ q u xj ) xi dx =0. As before the term on the left is σ q+1 D u + qσ q Du Dσ +(q +1)σ q σ xi u xj u xi x j dx. Du k( Now σ = e +V H) and so σ xi = k(u xi u xi x j + V xi )σ. Hence 1 σ q 1 Dσ dx σ q Dσ DV dx k and therefore (3.6) σ q 1 Dσ dx Ck σ q+1 dx. sing Sobolev s inequality, we deduce ( σ (q+1)(1+θ) dx) 1 1+θ C A standard Moser iteration implies that Dσ q+1 + σ q+1 dx C(q +1) k T σ q+1 dx. n σ L Ck α for some power α>0. But then k( Du and estimate (3.5) follows. + V H) = log σ C + α log k This estimate, combined with a minimax formula explained in [E], implies H k (P ) H(P ) H k (P )+ C log k. k Therefore the normalization factor (1.14) provides an approximation to the effective Hamiltonian H. 9
10 4. Monotonicity formulas. 4.1 Monotonicity (Problem I). We write Problem I in the form (4.1) div(σ k Du k )=0 in, for (4.) σ k = e k Du k. Lemma 4.1. For each ball B(y, r) we have the identity (4.3) B(y,r) ( Du k n k )σ k dx = r (( u k B(y,r) ν ) 1 k )σ k dh n 1. Proof. The Euler-Lagrange equation (1.7) says (e k Du u xi ) xi = 0, and therefore (4.4) (e k Du (δ ij ku xi u xj )) xi =0 for j =1,...,n. Assume y = 0 and the ball B(0,r) lies within. Multiply (4.4) by x j φ( x ) where φ 1on[0,r ε], φ 0on[r, ) and φ is linear on [r ε, r]. We find 0= B(0,r) e k Du (δ ij ku xi u xj )(δ ij φ + x jx i x φ )dx. Hence (4.5) B(0,r) σ(n k Du )φdx= 1 ε B(0,r)\B(0,r ε) σ( x k Du x )dx. x Let ε 0 to derive (4.3). We can formally interpret this by first renormalizing so that σ k (B(y, r)) 1 and letting σ k σ. Then (4.3) should imply B(y,r) Du dσ = r ( u B(y,r) ν ) dτ, where τ denotes the restriction of σ to the sphere B(y, r). If for instance σ(b 0 (y, r))=0, then our passing to limits in (4.3) as k, before sending ɛ 0, allows us to guess that u ν = 0 almost everywhere on B(y, r) with respect to the measure τ. 10
11 4. Monotonicity (Problem II). The Euler Lagrange PDE for Problem II reads (4.6) div(σ k Du k )=f in, for (4.7) σ k = e k ( Du k 1). Lemma 4.. For each ball B(y, r), (4.8) B(y,r) ( Du k n k )σ k dx = r (( u k B(y,r) ν ) 1 k )σ k dh n 1 + fx Du k dx. B(x,r) Proof. We have (e k ( Du 1) u xi ) xi = f and so (e k ( Du 1) (δ ij ku xi u xj )) xi = kfu xj for j =1,...,n. Again suppose y = 0 and take φ as above. Then k fx Duφ dx = σ(k Du n)φdx+ 1 Du x σ(k x ) dx. B(0,r) B(0,r) ε B(0,r) B(0,r ε) x Let ε 0 and divide by k. At least formally, this identity in the limit k provides some analytic control over the transport density, although we do not here attempt to provide any details. 11
12 References [Am] L. Ambrosio, Lecture notes on optimal transport problems, Preprint: Scuola Normale Superiore (000). [A] G. Aronsson, Extension of functions satisfying Lipschitz conditions, Ark. Mat. 6 (1967), [B] E. N. Barron, Viscosity solutions and analysis in L, in Nonlinear Analysis, Differential Equations and Control (1999), Dordrecht, [B-J-W] E. N. Barron, R. Jensen and C. Y. Wang, The Euler equation and absolute minimizers of L functionals, Arch. Ration. Mech. Analysis 157 (001), [C-F-M] L. Caffarelli, M. Feldman and R. McCann, Constructing optimal maps for Monge s transport problem as a limit of strictly convex costs, to appear. [D-E-P] L. De Pascale, L. C. Evans and A. Pratelli, PDE estimates for transport densities, forthcoming.. [E1] L. C. Evans, Partial differential equations and Monge-Kantorovich mass transfer (survey paper), available at the website of LCE, at math.berkeley.edu. [E] L. C. Evans, Some new PDE methods for weak KAM theory, to appear in Calculus of Variations. [E-G1] L. C. Evans and W. Gangbo, Differential equations methods in the Monge Kantorovich mass transfer problem, Memoirs American Math. Society # (1999). [E-G] L. C. Evans and D. Gomes, Effective Hamiltonians and averaging for Hamiltonian dynamics I, Archive Rational Mech and Analysis 157 (001), [F] A. Fathi, Théorème KAM faible et théorie de Mather sur les systèmes lagrangiens, C. R. Acad. Sci. Paris Sr. I Math. 34 (1997), [J] K. Jackson, Invisible Forms, Picador, [L-P-V] P.-L. Lions, G. Papanicolaou, and S. R. S. Varadhan, Homogenization of Hamilton Jacobi equations, unpublished, circa [Mt] J. Mather, Minimal measures, Comment. Math Helvetici 64 (1989), [M-F] J. Mather and G. Forni, Action minimizing orbits in Hamiltonian systems, Transition to Chaos in Classical and Quantum Mechanics, Lecture Notes in Math 1589 (S. Graffi, ed.), Sringer,
New Identities for Weak KAM Theory
New Identities for Weak KAM Theory Lawrence C. Evans Department of Mathematics University of California, Berkeley Abstract This paper records for the Hamiltonian H = p + W (x) some old and new identities
More informationLINEAR PROGRAMMING INTERPRETATIONS OF MATHER S VARIATIONAL PRINCIPLE. In memory of Professor Jacques Louis Lions
LINEAR PROGRAMMING INTERPRETATIONS OF MATHER S VARIATIONAL PRINCIPLE L. C. Evans 1 and D. Gomes 2 Abstract. We discuss some implications of linear programming for Mather theory [Mt1-2], [M-F] and its finite
More informationEverywhere differentiability of infinity harmonic functions
Everywhere differentiability of infinity harmonic functions Lawrence C. Evans and Charles K. Smart Department of Mathematics University of California, Berkeley Abstract We show that an infinity harmonic
More informationINTEGRAL ESTIMATES FOR TRANSPORT DENSITIES
INTEGRAL ESTIMATES FOR TRANSPORT DENSITIES L. DE PASCALE, L. C. EVANS, AND A. PRATELLI Abstract. We introduce some integration-by-parts methods that improve upon the L p estimates on transport densitites
More informationREGULARITY FOR INFINITY HARMONIC FUNCTIONS IN TWO DIMENSIONS
C,α REGULARITY FOR INFINITY HARMONIC FUNCTIONS IN TWO DIMENSIONS LAWRENCE C. EVANS AND OVIDIU SAVIN Abstract. We propose a new method for showing C,α regularity for solutions of the infinity Laplacian
More informationMonotonicity formulas for variational problems
Monotonicity formulas for variational problems Lawrence C. Evans Department of Mathematics niversity of California, Berkeley Introduction. Monotonicity and entropy methods. This expository paper is a revision
More informationOn the infinity Laplace operator
On the infinity Laplace operator Petri Juutinen Köln, July 2008 The infinity Laplace equation Gunnar Aronsson (1960 s): variational problems of the form S(u, Ω) = ess sup H (x, u(x), Du(x)). (1) x Ω The
More informationON SOME SINGULAR LIMITS OF HOMOGENEOUS SEMIGROUPS. In memory of our friend Philippe Bénilan
ON SOME SINGULAR LIMITS OF HOMOGENEOUS SEMIGROUPS P. Bénilan, L. C. Evans 1 and R. F. Gariepy In memory of our friend Philippe Bénilan Mais là où les uns voyaient l abstraction, d autres voyaient la vérité
More informationESTIMATES FOR SMOOTH ABSOLUTELY MINIMIZING LIPSCHITZ EXTENSIONS
Electronic Journal of Differential Equations ol. 1993(1993), No. 03, pp. 1-9. Published October 12, 1993. ISSN 1072-6691. URL: http://ejde.math.swt.edu or http://ejde.math.unt.edu ftp (login: ftp) 147.26.103.110
More informationADJOINT METHODS FOR OBSTACLE PROBLEMS AND WEAKLY COUPLED SYSTEMS OF PDE. 1. Introduction
ADJOINT METHODS FOR OBSTACLE PROBLEMS AND WEAKLY COPLED SYSTEMS OF PDE F. CAGNETTI, D. GOMES, AND H.V. TRAN Abstract. The adjoint method, recently introduced by Evans, is used to study obstacle problems,
More informationAN ASYMPTOTIC MEAN VALUE CHARACTERIZATION FOR p-harmonic FUNCTIONS. To the memory of our friend and colleague Fuensanta Andreu
AN ASYMPTOTIC MEAN VALUE CHARACTERIZATION FOR p-harmonic FUNCTIONS JUAN J. MANFREDI, MIKKO PARVIAINEN, AND JULIO D. ROSSI Abstract. We characterize p-harmonic functions in terms of an asymptotic mean value
More informationAN ASYMPTOTIC MEAN VALUE CHARACTERIZATION FOR p-harmonic FUNCTIONS
AN ASYMPTOTIC MEAN VALUE CHARACTERIZATION FOR p-harmonic FUNCTIONS JUAN J. MANFREDI, MIKKO PARVIAINEN, AND JULIO D. ROSSI Abstract. We characterize p-harmonic functions in terms of an asymptotic mean value
More informationVISCOSITY SOLUTIONS OF HAMILTON-JACOBI EQUATIONS, AND ASYMPTOTICS FOR HAMILTONIAN SYSTEMS
VISCOSITY SOLUTIONS OF HAMILTON-JACOBI EQUATIONS, AND ASYMPTOTICS FOR HAMILTONIAN SYSTEMS DIOGO AGUIAR GOMES U.C. Berkeley - CA, US and I.S.T. - Lisbon, Portugal email:dgomes@math.ist.utl.pt Abstract.
More informationThuong Nguyen. SADCO Internal Review Metting
Asymptotic behavior of singularly perturbed control system: non-periodic setting Thuong Nguyen (Joint work with A. Siconolfi) SADCO Internal Review Metting Rome, Nov 10-12, 2014 Thuong Nguyen (Roma Sapienza)
More informationAsymptotic behavior of infinity harmonic functions near an isolated singularity
Asymptotic behavior of infinity harmonic functions near an isolated singularity Ovidiu Savin, Changyou Wang, Yifeng Yu Abstract In this paper, we prove if n 2 x 0 is an isolated singularity of a nonegative
More informationMATHER THEORY, WEAK KAM, AND VISCOSITY SOLUTIONS OF HAMILTON-JACOBI PDE S
MATHER THEORY, WEAK KAM, AND VISCOSITY SOLUTIONS OF HAMILTON-JACOBI PDE S VADIM YU. KALOSHIN 1. Motivation Consider a C 2 smooth Hamiltonian H : T n R n R, where T n is the standard n-dimensional torus
More informationSobolev regularity for the Monge-Ampère equation, with application to the semigeostrophic equations
Sobolev regularity for the Monge-Ampère equation, with application to the semigeostrophic equations Alessio Figalli Abstract In this note we review some recent results on the Sobolev regularity of solutions
More informationA Remark on -harmonic Functions on Riemannian Manifolds
Electronic Journal of ifferential Equations Vol. 1995(1995), No. 07, pp. 1-10. Published June 15, 1995. ISSN 1072-6691. URL: http://ejde.math.swt.edu or http://ejde.math.unt.edu ftp (login: ftp) 147.26.103.110
More informationRégularité des équations de Hamilton-Jacobi du premier ordre et applications aux jeux à champ moyen
Régularité des équations de Hamilton-Jacobi du premier ordre et applications aux jeux à champ moyen Daniela Tonon en collaboration avec P. Cardaliaguet et A. Porretta CEREMADE, Université Paris-Dauphine,
More informationRENORMALIZED SOLUTIONS ON QUASI OPEN SETS WITH NONHOMOGENEOUS BOUNDARY VALUES TONI HUKKANEN
RENORMALIZED SOLTIONS ON QASI OPEN SETS WITH NONHOMOGENEOS BONDARY VALES TONI HKKANEN Acknowledgements I wish to express my sincere gratitude to my advisor, Professor Tero Kilpeläinen, for the excellent
More informationOptimal Transportation. Nonlinear Partial Differential Equations
Optimal Transportation and Nonlinear Partial Differential Equations Neil S. Trudinger Centre of Mathematics and its Applications Australian National University 26th Brazilian Mathematical Colloquium 2007
More informationOn a Class of Multidimensional Optimal Transportation Problems
Journal of Convex Analysis Volume 10 (2003), No. 2, 517 529 On a Class of Multidimensional Optimal Transportation Problems G. Carlier Université Bordeaux 1, MAB, UMR CNRS 5466, France and Université Bordeaux
More informationThe infinity-laplacian and its properties
U.U.D.M. Project Report 2017:40 Julia Landström Examensarbete i matematik, 15 hp Handledare: Kaj Nyström Examinator: Martin Herschend December 2017 Department of Mathematics Uppsala University Department
More informationfor all subintervals I J. If the same is true for the dyadic subintervals I D J only, we will write ϕ BMO d (J). In fact, the following is true
3 ohn Nirenberg inequality, Part I A function ϕ L () belongs to the space BMO() if sup ϕ(s) ϕ I I I < for all subintervals I If the same is true for the dyadic subintervals I D only, we will write ϕ BMO
More informationPDE Methods for Mean Field Games with Non-Separable Hamiltonian: Data in Sobolev Spaces (Continued) David Ambrose June 29, 2018
PDE Methods for Mean Field Games with Non-Separable Hamiltonian: Data in Sobolev Spaces Continued David Ambrose June 29, 218 Steps of the energy method Introduce an approximate problem. Prove existence
More informationA LOWER BOUND FOR THE GRADIENT OF -HARMONIC FUNCTIONS Edi Rosset. 1. Introduction. u xi u xj u xi x j
Electronic Journal of Differential Equations, Vol. 1996(1996) No. 0, pp. 1 7. ISSN 107-6691. URL: http://ejde.math.swt.edu (147.6.103.110) telnet (login: ejde), ftp, and gopher access: ejde.math.swt.edu
More informationPARTIAL REGULARITY OF BRENIER SOLUTIONS OF THE MONGE-AMPÈRE EQUATION
PARTIAL REGULARITY OF BRENIER SOLUTIONS OF THE MONGE-AMPÈRE EQUATION ALESSIO FIGALLI AND YOUNG-HEON KIM Abstract. Given Ω, Λ R n two bounded open sets, and f and g two probability densities concentrated
More informationTHE NEUMANN PROBLEM FOR THE -LAPLACIAN AND THE MONGE-KANTOROVICH MASS TRANSFER PROBLEM
THE NEUMANN PROBLEM FOR THE -LAPLACIAN AND THE MONGE-KANTOROVICH MASS TRANSFER PROBLEM J. GARCÍA-AZORERO, J. J. MANFREDI, I. PERAL AND J. D. ROSSI Abstract. We consider the natural Neumann boundary condition
More informationAsymptotic Behavior of Infinity Harmonic Functions Near an Isolated Singularity
Savin, O., and C. Wang. (2008) Asymptotic Behavior of Infinity Harmonic Functions, International Mathematics Research Notices, Vol. 2008, Article ID rnm163, 23 pages. doi:10.1093/imrn/rnm163 Asymptotic
More informationDynamical properties of Hamilton Jacobi equations via the nonlinear adjoint method: Large time behavior and Discounted approximation
Dynamical properties of Hamilton Jacobi equations via the nonlinear adjoint method: Large time behavior and Discounted approximation Hiroyoshi Mitake 1 Institute of Engineering, Division of Electrical,
More informationREGULARITY THEORY FOR HAMILTON-JACOBI EQUATIONS
REGULARITY THEORY FOR HAMILTON-JACOBI EQUATIONS DIOGO AGUIAR GOMES Abstract. The objective of this paper is to discuss the regularity of viscosity solutions of time independent Hamilton-Jacobi Equations.
More informationLaplace s Equation. Chapter Mean Value Formulas
Chapter 1 Laplace s Equation Let be an open set in R n. A function u C 2 () is called harmonic in if it satisfies Laplace s equation n (1.1) u := D ii u = 0 in. i=1 A function u C 2 () is called subharmonic
More informationHomogenization and error estimates of free boundary velocities in periodic media
Homogenization and error estimates of free boundary velocities in periodic media Inwon C. Kim October 7, 2011 Abstract In this note I describe a recent result ([14]-[15]) on homogenization and error estimates
More informationMath The Laplacian. 1 Green s Identities, Fundamental Solution
Math. 209 The Laplacian Green s Identities, Fundamental Solution Let be a bounded open set in R n, n 2, with smooth boundary. The fact that the boundary is smooth means that at each point x the external
More informationBoot camp - Problem set
Boot camp - Problem set Luis Silvestre September 29, 2017 In the summer of 2017, I led an intensive study group with four undergraduate students at the University of Chicago (Matthew Correia, David Lind,
More informationBoundary value problems for the infinity Laplacian. regularity and geometric results
: regularity and geometric results based on joint works with Graziano Crasta, Roma La Sapienza Calculus of Variations and Its Applications - Lisboa, December 2015 on the occasion of Luísa Mascarenhas 65th
More informationFoliations of hyperbolic space by constant mean curvature surfaces sharing ideal boundary
Foliations of hyperbolic space by constant mean curvature surfaces sharing ideal boundary David Chopp and John A. Velling December 1, 2003 Abstract Let γ be a Jordan curve in S 2, considered as the ideal
More informationRegularity for the optimal transportation problem with Euclidean distance squared cost on the embedded sphere
Regularity for the optimal transportation problem with Euclidean distance squared cost on the embedded sphere Jun Kitagawa and Micah Warren January 6, 011 Abstract We give a sufficient condition on initial
More informationREGULARITY OF MONOTONE TRANSPORT MAPS BETWEEN UNBOUNDED DOMAINS
REGULARITY OF MONOTONE TRANSPORT MAPS BETWEEN UNBOUNDED DOMAINS DARIO CORDERO-ERAUSQUIN AND ALESSIO FIGALLI A Luis A. Caffarelli en su 70 años, con amistad y admiración Abstract. The regularity of monotone
More informationESTIMATES FOR THE MONGE-AMPERE EQUATION
GLOBAL W 2,p ESTIMATES FOR THE MONGE-AMPERE EQUATION O. SAVIN Abstract. We use a localization property of boundary sections for solutions to the Monge-Ampere equation obtain global W 2,p estimates under
More informationSobolev Spaces. Chapter Hölder spaces
Chapter 2 Sobolev Spaces Sobolev spaces turn out often to be the proper setting in which to apply ideas of functional analysis to get information concerning partial differential equations. Here, we collect
More informationHARMONIC ANALYSIS. Date:
HARMONIC ANALYSIS Contents. Introduction 2. Hardy-Littlewood maximal function 3. Approximation by convolution 4. Muckenhaupt weights 4.. Calderón-Zygmund decomposition 5. Fourier transform 6. BMO (bounded
More informationCOMPARISON PRINCIPLES FOR CONSTRAINED SUBHARMONICS PH.D. COURSE - SPRING 2019 UNIVERSITÀ DI MILANO
COMPARISON PRINCIPLES FOR CONSTRAINED SUBHARMONICS PH.D. COURSE - SPRING 2019 UNIVERSITÀ DI MILANO KEVIN R. PAYNE 1. Introduction Constant coefficient differential inequalities and inclusions, constraint
More informationMinimization problems on the Hardy-Sobolev inequality
manuscript No. (will be inserted by the editor) Minimization problems on the Hardy-Sobolev inequality Masato Hashizume Received: date / Accepted: date Abstract We study minimization problems on Hardy-Sobolev
More informationRegularity estimates for fully non linear elliptic equations which are asymptotically convex
Regularity estimates for fully non linear elliptic equations which are asymptotically convex Luis Silvestre and Eduardo V. Teixeira Abstract In this paper we deliver improved C 1,α regularity estimates
More informationOn the long time behavior of the master equation in Mean Field Games
On the long time behavior of the master equation in Mean Field Games P. Cardaliaguet (Paris-Dauphine) Joint work with A. Porretta (Roma Tor Vergata) Mean Field Games and Related Topics - 4 Rome - June
More informationThe optimal partial transport problem
The optimal partial transport problem Alessio Figalli Abstract Given two densities f and g, we consider the problem of transporting a fraction m [0, min{ f L 1, g L 1}] of the mass of f onto g minimizing
More informationContinuous dependence estimates for the ergodic problem with an application to homogenization
Continuous dependence estimates for the ergodic problem with an application to homogenization Claudio Marchi Bayreuth, September 12 th, 2013 C. Marchi (Università di Padova) Continuous dependence Bayreuth,
More informationNonlinear elliptic systems with exponential nonlinearities
22-Fez conference on Partial Differential Equations, Electronic Journal of Differential Equations, Conference 9, 22, pp 139 147. http://ejde.math.swt.edu or http://ejde.math.unt.edu ftp ejde.math.swt.edu
More informationTHE REGULARITY OF MAPPINGS WITH A CONVEX POTENTIAL LUIS A. CAFFARELLI
JOURNAL OF THE AMERICAN MATHEMATICAL SOCIETY Volume 5, Number I, Jaouary 1992 THE REGULARITY OF MAPPINGS WITH A CONVEX POTENTIAL LUIS A. CAFFARELLI In this work, we apply the techniques developed in [Cl]
More informationExistence of minimizers for the pure displacement problem in nonlinear elasticity
Existence of minimizers for the pure displacement problem in nonlinear elasticity Cristinel Mardare Université Pierre et Marie Curie - Paris 6, Laboratoire Jacques-Louis Lions, Paris, F-75005 France Abstract
More informationHopfLax-Type Formula for u t +H(u, Du)=0*
journal of differential equations 126, 4861 (1996) article no. 0043 HopfLax-Type Formula for u t +H(u, Du)=0* E. N. Barron, - R. Jensen, and W. Liu 9 Department of Mathematical Sciences, Loyola University,
More informationTHE HARDY LITTLEWOOD MAXIMAL FUNCTION OF A SOBOLEV FUNCTION. Juha Kinnunen. 1 f(y) dy, B(x, r) B(x,r)
Appeared in Israel J. Math. 00 (997), 7 24 THE HARDY LITTLEWOOD MAXIMAL FUNCTION OF A SOBOLEV FUNCTION Juha Kinnunen Abstract. We prove that the Hardy Littlewood maximal operator is bounded in the Sobolev
More informationMean Field Games on networks
Mean Field Games on networks Claudio Marchi Università di Padova joint works with: S. Cacace (Rome) and F. Camilli (Rome) C. Marchi (Univ. of Padova) Mean Field Games on networks Roma, June 14 th, 2017
More information2 A Model, Harmonic Map, Problem
ELLIPTIC SYSTEMS JOHN E. HUTCHINSON Department of Mathematics School of Mathematical Sciences, A.N.U. 1 Introduction Elliptic equations model the behaviour of scalar quantities u, such as temperature or
More informationExample 1. Hamilton-Jacobi equation. In particular, the eikonal equation. for some n( x) > 0 in Ω. Here 1 / 2
Oct. 1 0 Viscosity S olutions In this lecture we take a glimpse of the viscosity solution theory for linear and nonlinear PDEs. From our experience we know that even for linear equations, the existence
More informationPartial regularity for fully nonlinear PDE
Partial regularity for fully nonlinear PDE Luis Silvestre University of Chicago Joint work with Scott Armstrong and Charles Smart Outline Introduction Intro Review of fully nonlinear elliptic PDE Our result
More informationMean field games and related models
Mean field games and related models Fabio Camilli SBAI-Dipartimento di Scienze di Base e Applicate per l Ingegneria Facoltà di Ingegneria Civile ed Industriale Email: Camilli@dmmm.uniroma1.it Web page:
More informationSHARP BOUNDARY TRACE INEQUALITIES. 1. Introduction
SHARP BOUNDARY TRACE INEQUALITIES GILES AUCHMUTY Abstract. This paper describes sharp inequalities for the trace of Sobolev functions on the boundary of a bounded region R N. The inequalities bound (semi-)norms
More informationThe Hopf - Lax solution for state dependent Hamilton - Jacobi equations
The Hopf - Lax solution for state dependent Hamilton - Jacobi equations Italo Capuzzo Dolcetta Dipartimento di Matematica, Università di Roma - La Sapienza 1 Introduction Consider the Hamilton - Jacobi
More informationLORENTZ ESTIMATES FOR ASYMPTOTICALLY REGULAR FULLY NONLINEAR ELLIPTIC EQUATIONS
Electronic Journal of Differential Equations, Vol. 27 27), No. 2, pp. 3. ISSN: 72-669. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu LORENTZ ESTIMATES FOR ASYMPTOTICALLY REGULAR FULLY NONLINEAR
More informationRecent developments in elliptic partial differential equations of Monge Ampère type
Recent developments in elliptic partial differential equations of Monge Ampère type Neil S. Trudinger Abstract. In conjunction with applications to optimal transportation and conformal geometry, there
More informationEXISTENCE AND REGULARITY RESULTS FOR SOME NONLINEAR PARABOLIC EQUATIONS
EXISTECE AD REGULARITY RESULTS FOR SOME OLIEAR PARABOLIC EUATIOS Lucio BOCCARDO 1 Andrea DALL AGLIO 2 Thierry GALLOUËT3 Luigi ORSIA 1 Abstract We prove summability results for the solutions of nonlinear
More informationHOMEOMORPHISMS OF BOUNDED VARIATION
HOMEOMORPHISMS OF BOUNDED VARIATION STANISLAV HENCL, PEKKA KOSKELA AND JANI ONNINEN Abstract. We show that the inverse of a planar homeomorphism of bounded variation is also of bounded variation. In higher
More informationThe Dirichlet s P rinciple. In this lecture we discuss an alternative formulation of the Dirichlet problem for the Laplace equation:
Oct. 1 The Dirichlet s P rinciple In this lecture we discuss an alternative formulation of the Dirichlet problem for the Laplace equation: 1. Dirichlet s Principle. u = in, u = g on. ( 1 ) If we multiply
More informationSYMMETRY RESULTS FOR PERTURBED PROBLEMS AND RELATED QUESTIONS. Massimo Grosi Filomena Pacella S. L. Yadava. 1. Introduction
Topological Methods in Nonlinear Analysis Journal of the Juliusz Schauder Center Volume 21, 2003, 211 226 SYMMETRY RESULTS FOR PERTURBED PROBLEMS AND RELATED QUESTIONS Massimo Grosi Filomena Pacella S.
More informationHomogenization of a Hele-Shaw-type problem in periodic time-dependent med
Homogenization of a Hele-Shaw-type problem in periodic time-dependent media University of Tokyo npozar@ms.u-tokyo.ac.jp KIAS, Seoul, November 30, 2012 Hele-Shaw problem Model of the pressure-driven }{{}
More informationNumerical Approximation of L 1 Monge-Kantorovich Problems
Rome March 30, 2007 p. 1 Numerical Approximation of L 1 Monge-Kantorovich Problems Leonid Prigozhin Ben-Gurion University, Israel joint work with J.W. Barrett Imperial College, UK Rome March 30, 2007 p.
More informationTopology of the set of singularities of a solution of the Hamilton-Jacobi Equation
Topology of the set of singularities of a solution of the Hamilton-Jacobi Equation Albert Fathi IAS Princeton March 15, 2016 In this lecture, a singularity for a locally Lipschitz real valued function
More informationNEUMANN BOUNDARY CONDITIONS FOR THE INFINITY LAPLACIAN AND THE MONGE-KANTOROVICH MASS TRANSPORT PROBLEM
NEUMANN BOUNDARY CONDITIONS FOR THE INFINITY LAPLACIAN AND THE MONGE-KANTOROVICH MASS TRANSPORT PROBLEM J. GARCIA-AZORERO, J. J. MANFREDI, I. PERAL AND J. D. ROSSI Abstract. In this note we review some
More informationb i (µ, x, s) ei ϕ(x) µ s (dx) ds (2) i=1
NONLINEAR EVOLTION EQATIONS FOR MEASRES ON INFINITE DIMENSIONAL SPACES V.I. Bogachev 1, G. Da Prato 2, M. Röckner 3, S.V. Shaposhnikov 1 The goal of this work is to prove the existence of a solution to
More informationNonlinear aspects of Calderón-Zygmund theory
Ancona, June 7 2011 Overture: The standard CZ theory Consider the model case u = f in R n Overture: The standard CZ theory Consider the model case u = f in R n Then f L q implies D 2 u L q 1 < q < with
More informationRegularity and compactness for the DiPerna Lions flow
Regularity and compactness for the DiPerna Lions flow Gianluca Crippa 1 and Camillo De Lellis 2 1 Scuola Normale Superiore, Piazza dei Cavalieri 7, 56126 Pisa, Italy. g.crippa@sns.it 2 Institut für Mathematik,
More informationCHAPTER 6. Differentiation
CHPTER 6 Differentiation The generalization from elementary calculus of differentiation in measure theory is less obvious than that of integration, and the methods of treating it are somewhat involved.
More informationarxiv: v2 [math.ap] 28 Nov 2016
ONE-DIMENSIONAL SAIONARY MEAN-FIELD GAMES WIH LOCAL COUPLING DIOGO A. GOMES, LEVON NURBEKYAN, AND MARIANA PRAZERES arxiv:1611.8161v [math.ap] 8 Nov 16 Abstract. A standard assumption in mean-field game
More informationON NONHOMOGENEOUS BIHARMONIC EQUATIONS INVOLVING CRITICAL SOBOLEV EXPONENT
PORTUGALIAE MATHEMATICA Vol. 56 Fasc. 3 1999 ON NONHOMOGENEOUS BIHARMONIC EQUATIONS INVOLVING CRITICAL SOBOLEV EXPONENT M. Guedda Abstract: In this paper we consider the problem u = λ u u + f in, u = u
More informationMath 742: Geometric Analysis
Math 742: Geometric Analysis Lecture 5 and 6 Notes Jacky Chong jwchong@math.umd.edu The following notes are based upon Professor Yanir ubenstein s lectures with reference to Variational Methods 4 th edition
More informationRearrangements and polar factorisation of countably degenerate functions G.R. Burton, School of Mathematical Sciences, University of Bath, Claverton D
Rearrangements and polar factorisation of countably degenerate functions G.R. Burton, School of Mathematical Sciences, University of Bath, Claverton Down, Bath BA2 7AY, U.K. R.J. Douglas, Isaac Newton
More informationA SIMPLE, DIRECT PROOF OF UNIQUENESS FOR SOLUTIONS OF THE HAMILTON-JACOBI EQUATIONS OF EIKONAL TYPE
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 100, Number 2, June 1987 A SIMPLE, DIRECT PROOF OF UNIQUENESS FOR SOLUTIONS OF THE HAMILTON-JACOBI EQUATIONS OF EIKONAL TYPE HITOSHI ISHII ABSTRACT.
More informationIntegro-differential equations: Regularity theory and Pohozaev identities
Integro-differential equations: Regularity theory and Pohozaev identities Xavier Ros Oton Departament Matemàtica Aplicada I, Universitat Politècnica de Catalunya PhD Thesis Advisor: Xavier Cabré Xavier
More informationLMI Methods in Optimal and Robust Control
LMI Methods in Optimal and Robust Control Matthew M. Peet Arizona State University Lecture 15: Nonlinear Systems and Lyapunov Functions Overview Our next goal is to extend LMI s and optimization to nonlinear
More informationREGULARITY OF THE OPTIMAL SETS FOR SOME SPECTRAL FUNCTIONALS
REGULARITY OF THE OPTIMAL SETS FOR SOME SPECTRAL FUNCTIONALS DARIO MAZZOLENI, SUSANNA TERRACINI, BOZHIDAR VELICHKOV Abstract. In this paper we study the regularity of the optimal sets for the shape optimization
More informationSome lecture notes for Math 6050E: PDEs, Fall 2016
Some lecture notes for Math 65E: PDEs, Fall 216 Tianling Jin December 1, 216 1 Variational methods We discuss an example of the use of variational methods in obtaining existence of solutions. Theorem 1.1.
More informationLocal maximal operators on fractional Sobolev spaces
Local maximal operators on fractional Sobolev spaces Antti Vähäkangas joint with H. Luiro University of Helsinki April 3, 2014 1 / 19 Let G R n be an open set. For f L 1 loc (G), the local Hardy Littlewood
More informationPartial Differential Equations, 2nd Edition, L.C.Evans The Calculus of Variations
Partial Differential Equations, 2nd Edition, L.C.Evans Chapter 8 The Calculus of Variations Yung-Hsiang Huang 2018.03.25 Notation: denotes a bounded smooth, open subset of R n. All given functions are
More informationCalculus of Variations. Final Examination
Université Paris-Saclay M AMS and Optimization January 18th, 018 Calculus of Variations Final Examination Duration : 3h ; all kind of paper documents (notes, books...) are authorized. The total score of
More informationMaster Thesis. Nguyen Tien Thinh. Homogenization and Viscosity solution
Master Thesis Nguyen Tien Thinh Homogenization and Viscosity solution Advisor: Guy Barles Defense: Friday June 21 th, 2013 ii Preface Firstly, I am grateful to Prof. Guy Barles for helping me studying
More informationON MAPS WHOSE DISTRIBUTIONAL JACOBIAN IS A MEASURE
[version: December 15, 2007] Real Analysis Exchange Summer Symposium 2007, pp. 153-162 Giovanni Alberti, Dipartimento di Matematica, Università di Pisa, largo Pontecorvo 5, 56127 Pisa, Italy. Email address:
More informationTheory of PDE Homework 2
Theory of PDE Homework 2 Adrienne Sands April 18, 2017 In the following exercises we assume the coefficients of the various PDE are smooth and satisfy the uniform ellipticity condition. R n is always an
More informationSome notes on viscosity solutions
Some notes on viscosity solutions Jeff Calder October 11, 2018 1 2 Contents 1 Introduction 5 1.1 An example............................ 6 1.2 Motivation via dynamic programming............. 8 1.3 Motivation
More informationOn John type ellipsoids
On John type ellipsoids B. Klartag Tel Aviv University Abstract Given an arbitrary convex symmetric body K R n, we construct a natural and non-trivial continuous map u K which associates ellipsoids to
More informationMATH Final Project Mean Curvature Flows
MATH 581 - Final Project Mean Curvature Flows Olivier Mercier April 30, 2012 1 Introduction The mean curvature flow is part of the bigger family of geometric flows, which are flows on a manifold associated
More informationOPTIMAL LIPSCHITZ EXTENSIONS AND THE INFINITY LAPLACIAN. R. F. Gariepy, Department of Mathematics, University of Kentucky
OPTIMAL LIPSCHITZ EXTENSIONS AND THE INFINITY LAPLACIAN M. G. Crandall (1), Department of Mathematics, UC Santa Barbara L. C. Evans (2), Department of Mathematics, UC Berkeley R. F. Gariepy, Department
More informationEXISTENCE OF SOLUTIONS FOR CROSS CRITICAL EXPONENTIAL N-LAPLACIAN SYSTEMS
Electronic Journal of Differential Equations, Vol. 2014 (2014), o. 28, pp. 1 10. ISS: 1072-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu EXISTECE OF SOLUTIOS
More informationHESSIAN MEASURES III. Centre for Mathematics and Its Applications Australian National University Canberra, ACT 0200 Australia
HESSIAN MEASURES III Neil S. Trudinger Xu-Jia Wang Centre for Mathematics and Its Applications Australian National University Canberra, ACT 0200 Australia 1 HESSIAN MEASURES III Neil S. Trudinger Xu-Jia
More informationis a weak solution with the a ij,b i,c2 C 1 ( )
Thus @u @x i PDE 69 is a weak solution with the RHS @f @x i L. Thus u W 3, loc (). Iterating further, and using a generalized Sobolev imbedding gives that u is smooth. Theorem 3.33 (Local smoothness).
More informationSEPARABILITY AND COMPLETENESS FOR THE WASSERSTEIN DISTANCE
SEPARABILITY AND COMPLETENESS FOR THE WASSERSTEIN DISTANCE FRANÇOIS BOLLEY Abstract. In this note we prove in an elementary way that the Wasserstein distances, which play a basic role in optimal transportation
More informationAPMA 2811Q. Homework #1. Due: 9/25/13. 1 exp ( f (x) 2) dx, I[f] =
APMA 8Q Homework # Due: 9/5/3. Ill-posed problems a) Consider I : W,, ) R defined by exp f x) ) dx, where W,, ) = f W,, ) : f) = f) = }. Show that I has no minimizer in A. This problem is not coercive
More informationWeek 6 Notes, Math 865, Tanveer
Week 6 Notes, Math 865, Tanveer. Energy Methods for Euler and Navier-Stokes Equation We will consider this week basic energy estimates. These are estimates on the L 2 spatial norms of the solution u(x,
More informationat time t, in dimension d. The index i varies in a countable set I. We call configuration the family, denoted generically by Φ: U (x i (t) x j (t))
Notations In this chapter we investigate infinite systems of interacting particles subject to Newtonian dynamics Each particle is characterized by its position an velocity x i t, v i t R d R d at time
More information