MINIMAL GRAPHS PART I: EXISTENCE OF LIPSCHITZ WEAK SOLUTIONS TO THE DIRICHLET PROBLEM WITH C 2 BOUNDARY DATA
|
|
- Marianna Gibson
- 5 years ago
- Views:
Transcription
1 MINIMAL GRAPHS PART I: EXISTENCE OF LIPSCHITZ WEAK SOLUTIONS TO THE DIRICHLET PROBLEM WITH C 2 BOUNDARY DATA SPENCER HUGHES In these notes we prove that for any given smooth function on the boundary of the unit ball in Euclidean space, there exists a Lipschitz weak solution of the Minimal Surface Equation in the unit ball that is equal to the given smooth function at the boundary. The approach we take here can be found in [Giu84, Chapter 12] and uses the direct method of the calculus of variations. In fact, this approach proves more. Firstly, the regularity of the boundary data need only be C 2. Secondly, the graph of the Lipschitz function that we construct is actually area minimizing in the class of Lipschitz graphs with the same boundary. And thirdly, we are able to remark that the method carries over easily to the case of a domain with mean convex, C 2 boundary. I would like to thank Larry Guth for giving me the opportunity to lecture the material here in his real analysis class at MIT. Balls whose centres are not labelled are centred at the origin in R n. For Lipschitz u : B := B1 n (0) R and Ω open B, define A(u; Ω) = Area (graph u Ω ) = 1 + Du 2, where, by area, we mean n-dimensional Hausdorff measure. The notation A(u) simply means Area (graph u). It can be established (firstly for C 1 functions using integration by parts and duality and then by approximating a Lipschitz function in the L 1 norm by a sequence of C 1 functions) that for any Lipschitz u : B R, we have (1) A(u) = sup g n+1 + u div(g 1,..., g n ). g C 1 c (B,Rn+1 ): B g 1 From here one can easily deduce that A is strictly convex on L and lower semicontinuous with respect to weak L 1 convergence. Given f C 2 (), if u C 2 (B) is such that u = f and A(u) A(ũ) for any ũ C 2 (B) with ũ = f, then u satisfies 0 = d (2) A(u + tη) dt t=0 for all η Cc (Ω), from which a short calculation gives that Du Dη (3) 0 = for every η C 1 + Du 2 c (Ω). B I have ambitiously called these notes Part I in the hope that I will eventually neaten up and upload various different notes that I have written over the last five years or so on minimal graphs. 1 Ω
2 2 SPENCER HUGHES After integrating by parts we deduce that u solves the Dirichlet problem for the Minimal Surface Equation, i.e. ( ) Du Mu := div = 0 in B 1 + Du 2 u = f on. Any function u W 1,2 (B) that satisfies (3) is called a weak solution of the minimal surface equation. Write L L for the set of all Lipschitz functions u : B R with u = f and Lip u L and write a L := infũ LL A(ũ). The symbols L and a are defined similarly, but without the condition that Lip u L. Lemma 1. If L L, then exists u L L L such that A(u L ) = a L and such that if Lip u L < L, then A(u L ) = a Proof. Since L L, we can take a sequence {u j } j=1 L L with A(u j ) a L as j. The fact that Lip u j L for every j means that {u j } j=1 is equicontinuous and, for sufficiently large j, this sequence must also be uniformly bounded (why?). Therefore the Arzela Ascoli theorem implies that there exists v L L and a subsequence {j } of {j} such that u j v uniformly as j. Setting u L := v, the first claim follows from the lower semicontinuity of A with respect to weak L 1 convergence. Now given ũ L observe that (tu L + (1 t)ũ) = f for all t (0, 1) and that if Lip u L < L, then Lip(tu L + (1 t)ũ) L for sufficiently small t > 0. Thus for sufficiently small t > 0 we have (tu L + (1 t)ũ) L L whence A(u L ) A(tu L + (1 t)ũ). The convexity of A then implies that A(u L ) ta(u L ) + (1 t)a(ũ), from which the second claim follows. For Ω open B, write L L (Ω) for the set of all Lipschitz functions u : Ω R with Lip u L. We will need more terminology for our next result: A function u L L (Ω) is called a supersolution (resp. subsolution) in L L (Ω) if for every ũ L L (Ω) with ũ Ω = u Ω and ũ u (ũ u) we have that A(ũ; Ω) A(u; Ω). In particular, a minimizer in L L (Ω) (i.e. a function the area of the graph of which is smallest among competitors with the same boundary values) is both a super- and a subsolution. Lemma 2. For Ω B, let v and u be super- and subsolutions in L L (Ω). If u v on Ω, then u v in Ω. Proof. Suppose for the sake of contradiction, that S = {x Ω : v(x) < u(x)} and write m = min{u, v}. Since m L L (Ω), m Ω = u Ω and m u in Ω, the fact that u is a subsolution in L L (Ω) means that A(u; Ω) A(m; Ω), which implies that A(u; S) A(v; S). Now, the strict convexity of the area functional tells us that (4) A( 1 2 u v; S) < 1 2 A(u; S) + 1 2A(v; S) A(v; S). But, since w = max{ 1 2 u v, v} satisfies w L L(Ω), w Ω = v Ω and w v in Ω, the fact that v is a supersolution means that A(v; Ω) A(w; Ω), which implies that A(v; S) A( 1 2 u + 1 2v; S), contradicting the strict inequality in (4).
3 MINIMAL GRAPHS PART I 3 Corollary 3. Let u and v be respectively a subsolution and supersolution in L L (Ω). Then sup[u(x) v(x)] = sup [u(x) v(x)]. x Ω x Ω Proof. For every α R, the function v(x) + α is also a supersolution and for any x Ω, we clearly have u(x) v(x) + sup y Ω [u(y) v(y)]. The result now follows from the previous lemma. We can now reduce our goal of controlling the Lipschitz constant to a boundary estimate: Lemma 4. With u L as in Lemma 1 we have u L (x) u L (y) (5) Lip u L = sup x B, y x y Proof. Let x 1, x 2 be distinct points in B = B 1 (0). Both u and the function x u L (x+x 2 x 1 ) minimize area in L L (B 1 (0) B 1 (x 1 x 2 )) and so both functions are supersolutions and subsolutions in L L (B 1 (0) B 1 (x 1 x 2 )). Applying corollary 3 in the domain B 1 (0) B 1 (x 1 x 2 ) and with u L (x+x 2 x 1 ) in place of v(x) implies that there exists z (B 1 (0) B 1 (x 1 x 2 )) for which u L (x 1 ) u L (x 2 ) u L (z) u L (z + x 2 x 1 ). At least one of z and z + x 2 x 1 belongs to, so on dividing by x 2 x 1, we get the result. Proposition 5 (Existence of Barriers). Given f C 2 (B), there exist constants c 1, c 2 and r > 0 (depending only on f and n) such that v + : B 1 (0) \ B 1 r (0) R given by v + (x) = f(x) + c 1 log(1 + c 2 dist(x, )) has the following properties. (1) v + = f. (2) v + 1 r(0) sup f. (3) v + is a supersolution in L(B 1 (0) \ B 1 r (0)). Proof. We will try a function of the form v + (x) = f(x) + ψ(d(x)), where d(x) := dist(x, ) and where ψ C 2 ([0, 1 r]) will be chosen to satisfy ψ(0) = 0, ψ 1, ψ < 0 and ψ(1 r) 2 sup Ω f. Such a v + will already automatically satisfy the first two conditions above. Now, by direct computation we have that (1 + Dv + 2 ) 3/2 Mv + is equal to: (6) (7) (8) (9) (10) (1 + Df 2 ) f D i fd j fd ij f + ψ [2D i fd i d f + (1 + Df 2 ) d 2D i dd j fd ij f D i fd j fd ij d] + ψ 2 [ f + 2D i fd i d d D ij fd i dd j d] + ψ 3 d + ψ [1 + Df 2 (D i fd i d) 2 ], where we have already used the fact that Dd 2 = 1 and therefore that D i dd ij d = 0. Since 1 ψ ψ 2 and f, d C 2 (B 1 (0) \ B 1 r (0)), we can bound the terms on lines (6), (7) and (8) by Cψ 2, for some C = C(f, n) > 0. We also see (using the fact that ψ < 0 together with (D i fd i d) 2 Df 2 ) that that the final term is at most ψ. Thus (11) (1 + Dv 2 ) 3/2 Mv + ψ + Cψ 2 + ψ 3 d.
4 4 SPENCER HUGHES Since d 0 in B 1 (0) \ B 1 r (0) (as we can check by hand), we have that (12) (1 + Dv 2 ) 3/2 Mv + ψ + Cψ 2. We will choose ψ so that this is less than or equal to 0. Set ψ(t) = c 1 log(1 + c 2 t) with c 1 = 1/C, where C is from the line above. This ensures immediately that Mv + 0, which, after multiplying by non-negative η Cc (B 1 (0) \ B 1 r (0)) and integrating by parts implies that the function g : t A(v + + tη; B 1 (0) \ B 1 r (0)) satisfies g (0) 0, whence, by convexity of A we deduce that v + is a supersolution in the sense we have defined. We now need to show that we can choose c 2 and r so that ψ 1 and ψ(1 r) 2 sup f. Since and ψ (t) = c 1c c 2 t c 1 c c 2 (1 r) ψ(1 r) = c 1 log(1 + c 2 (1 r)), we need c 2 /(1 + c 2 (1 r)) c 1 1 and c 2 (1 r) e 2c 1 1 sup f 1. Setting 1 r = c 1/2 2 means that we need c 2 /(1 + c 1/2 2 ) c 1 1 and c 1/2 2 e 2c 1 1 sup f 1. But these can both be achieved by now choosing c 2 to be large. This completes the construction. Remark 6. (i) The function v here is called an upper barrier. If one takes the negative of the function obtained by applying this Proposition with f in place of f, one gets a function v satisfying (1) v = f. (2) v 1 r(0) inf f. (3) v is a subsolution in L(B 1 (0) \ B 1 r (0)). Such a function is called a lower barrier. (ii). In more general domains, the geometry of the boundary of the domain plays an important role: For a C 2 domain Ω, the argument above requires that d C 2 ({x : d(x) < r} Ω) and that d 0 in {x : d(x) < r} Ω for sufficiently small r > 0. The first of these is always true for sufficiently small r > 0 and the second is true for sufficiently small r > 0 provided Ω is mean convex (has non-negative mean curvature). Proofs of both these facts can be found in [GT01, 14.6]. (iii). If the boundary of Ω is not mean convex, then there is smooth boundary data for which the Dirichlet problem cannot be solved (see [Giu84, Chapter 12]). Theorem 7. Given f C 2 (), there exists u L with A(u) A(ũ) for all ũ L Proof. By solving the Dirichlet problem for the Laplacian with boundary values f, we can ensure that L L is non-empty for some sufficiently large L and assume that f C 2 (B). Let us also pick L > Lip v +. As per Remark 6. (i), let v : B 1 (0) \ B 1 r (0) R be a lower barrier. Then (13) v (x) inf f u(x) sup f v + on 1 r (0). Since u L is minimizing in L L (B 1 (0) \ B 1 r (0) and since w is a subsolution in B 1 (0) \ B 1 r (0), Lemma 2 implies that v u v + on B 1 (0) \ B 1 r (0). Then, using the fact that u = v ± on 1 (0), we have (14) u(x) u(y) (Lip v) x y
5 MINIMAL GRAPHS PART I 5 for every x B 1 (0) \ B 1 r (0), y. On the other hand, if x B 1 r (0), we have that { } u(x) u(y) max sup f u(y), u(y) inf f Lip v, (using (2) in the defining properties of v ± ) which shows that (14) holds for all x B. Then, by Lemma 4 we have Lip u Lip v < L and so the conclusion follows from Lemma 1. References [Eva09] L.C. Evans, Partial differential equations (graduate studies in mathematics, vol. 19), Instructor (2009). [Giu84] E. Giusti, Minimal surfaces and functions of bounded variation, Birkhauser, [GT01] D. Gilbarg and N.S. Trudinger, Elliptic partial differential equations of second order, Springer Verlag, Massachusetts Institute of Technology, Department of Mathematics, 77 Massachusetts Avenue, Cambridge, MA , address: sthughes@mit.edu
Stationary isothermic surfaces and some characterizations of the hyperplane in the N-dimensional Euclidean space
arxiv:081.165v1 [math.ap] 11 Dec 008 Stationary isothermic surfaces and some characterizations of the hyperplane in the N-dimensional Euclidean space Rolando Magnanini and Shigeru Sakaguchi October 6,
More informationLecture Notes March 11, 2015
18.156 Lecture Notes March 11, 2015 trans. Jane Wang Recall that last class we considered two different PDEs. The first was u ± u 2 = 0. For this one, we have good global regularity and can solve the Dirichlet
More informationELLIPTIC PARTIAL DIFFERENTIAL EQUATIONS EXERCISES I (HARMONIC FUNCTIONS)
ELLIPTIC PARTIAL DIFFERENTIAL EQUATIONS EXERCISES I (HARMONIC FUNCTIONS) MATANIA BEN-ARTZI. BOOKS [CH] R. Courant and D. Hilbert, Methods of Mathematical Physics, Vol. Interscience Publ. 962. II, [E] L.
More informationCentre for Mathematics and Its Applications The Australian National University Canberra, ACT 0200 Australia. 1. Introduction
ON LOCALLY CONVEX HYPERSURFACES WITH BOUNDARY Neil S. Trudinger Xu-Jia Wang Centre for Mathematics and Its Applications The Australian National University Canberra, ACT 0200 Australia Abstract. In this
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 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 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 information1. Introduction Boundary estimates for the second derivatives of the solution to the Dirichlet problem for the Monge-Ampere equation
POINTWISE C 2,α ESTIMATES AT THE BOUNDARY FOR THE MONGE-AMPERE EQUATION O. SAVIN Abstract. We prove a localization property of boundary sections for solutions to the Monge-Ampere equation. As a consequence
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 informationVISCOSITY SOLUTIONS OF ELLIPTIC EQUATIONS
VISCOSITY SOLUTIONS OF ELLIPTIC EQUATIONS LUIS SILVESTRE These are the notes from the summer course given in the Second Chicago Summer School In Analysis, in June 2015. We introduce the notion of viscosity
More informationREARRANGEMENTS AND RADIAL GRAPHS OF CONSTANT MEAN CURVATURE IN HYPERBOLIC SPACE
REARRANGEMENTS AND RADIAL GRAPHS OF CONSTANT MEAN CURVATURE IN HYPERBOLIC SPACE D. DE SILVA AND J. SPRUCK Abstract. We investigate the problem of finding smooth hypersurfaces of constant mean curvature
More informationPERTURBATION THEORY FOR NONLINEAR DIRICHLET PROBLEMS
Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 28, 2003, 207 222 PERTURBATION THEORY FOR NONLINEAR DIRICHLET PROBLEMS Fumi-Yuki Maeda and Takayori Ono Hiroshima Institute of Technology, Miyake,
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 informationWeak Convergence Methods for Energy Minimization
Weak Convergence Methods for Energy Minimization Bo Li Department of Mathematics University of California, San Diego E-mail: bli@math.ucsd.edu June 3, 2007 Introduction This compact set of notes present
More informationPerron method for the Dirichlet problem.
Introduzione alle equazioni alle derivate parziali, Laurea Magistrale in Matematica Perron method for the Dirichlet problem. We approach the question of existence of solution u C (Ω) C(Ω) of the Dirichlet
More informationFunctional Analysis. Franck Sueur Metric spaces Definitions Completeness Compactness Separability...
Functional Analysis Franck Sueur 2018-2019 Contents 1 Metric spaces 1 1.1 Definitions........................................ 1 1.2 Completeness...................................... 3 1.3 Compactness......................................
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 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 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 informationSébastien Chaumont a a Institut Élie Cartan, Université Henri Poincaré Nancy I, B. P. 239, Vandoeuvre-lès-Nancy Cedex, France. 1.
A strong comparison result for viscosity solutions to Hamilton-Jacobi-Bellman equations with Dirichlet condition on a non-smooth boundary and application to parabolic problems Sébastien Chaumont a a Institut
More informationATTRACTORS FOR SEMILINEAR PARABOLIC PROBLEMS WITH DIRICHLET BOUNDARY CONDITIONS IN VARYING DOMAINS. Emerson A. M. de Abreu Alexandre N.
ATTRACTORS FOR SEMILINEAR PARABOLIC PROBLEMS WITH DIRICHLET BOUNDARY CONDITIONS IN VARYING DOMAINS Emerson A. M. de Abreu Alexandre N. Carvalho Abstract Under fairly general conditions one can prove that
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 informationTD M1 EDP 2018 no 2 Elliptic equations: regularity, maximum principle
TD M EDP 08 no Elliptic equations: regularity, maximum principle Estimates in the sup-norm I Let be an open bounded subset of R d of class C. Let A = (a ij ) be a symmetric matrix of functions of class
More informationBIHARMONIC WAVE MAPS INTO SPHERES
BIHARMONIC WAVE MAPS INTO SPHERES SEBASTIAN HERR, TOBIAS LAMM, AND ROLAND SCHNAUBELT Abstract. A global weak solution of the biharmonic wave map equation in the energy space for spherical targets is constructed.
More informationOn intermediate value theorem in ordered Banach spaces for noncompact and discontinuous mappings
Int. J. Nonlinear Anal. Appl. 7 (2016) No. 1, 295-300 ISSN: 2008-6822 (electronic) http://dx.doi.org/10.22075/ijnaa.2015.341 On intermediate value theorem in ordered Banach spaces for noncompact and discontinuous
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 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 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 informationContents: 1. Minimization. 2. The theorem of Lions-Stampacchia for variational inequalities. 3. Γ -Convergence. 4. Duality mapping.
Minimization Contents: 1. Minimization. 2. The theorem of Lions-Stampacchia for variational inequalities. 3. Γ -Convergence. 4. Duality mapping. 1 Minimization A Topological Result. Let S be a topological
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 WEAKLY NONLINEAR BACKWARD PARABOLIC PROBLEM
ON WEAKLY NONLINEAR BACKWARD PARABOLIC PROBLEM OLEG ZUBELEVICH DEPARTMENT OF MATHEMATICS THE BUDGET AND TREASURY ACADEMY OF THE MINISTRY OF FINANCE OF THE RUSSIAN FEDERATION 7, ZLATOUSTINSKY MALIY PER.,
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 informationTHE L 2 -HODGE THEORY AND REPRESENTATION ON R n
THE L 2 -HODGE THEORY AND REPRESENTATION ON R n BAISHENG YAN Abstract. We present an elementary L 2 -Hodge theory on whole R n based on the minimization principle of the calculus of variations and some
More informationRobustness for a Liouville type theorem in exterior domains
Robustness for a Liouville type theorem in exterior domains Juliette Bouhours 1 arxiv:1207.0329v3 [math.ap] 24 Oct 2014 1 UPMC Univ Paris 06, UMR 7598, Laboratoire Jacques-Louis Lions, F-75005, Paris,
More informationPHASE TRANSITIONS: REGULARITY OF FLAT LEVEL SETS
PHASE TRANSITIONS: REGULARITY OF FLAT LEVEL SETS OVIDIU SAVIN Abstract. We consider local minimizers of the Ginzburg-Landau energy functional 2 u 2 + 4 ( u2 ) 2 dx and prove that, if the level set is included
More informationRegularity and nonexistence results for anisotropic quasilinear elliptic equations in convex domains
Regularity and nonexistence results for anisotropic quasilinear elliptic equations in convex domains Ilaria FRAGALÀ Filippo GAZZOLA Dipartimento di Matematica del Politecnico - Piazza L. da Vinci - 20133
More informationON SOME ELLIPTIC PROBLEMS IN UNBOUNDED DOMAINS
Chin. Ann. Math.??B(?), 200?, 1 20 DOI: 10.1007/s11401-007-0001-x ON SOME ELLIPTIC PROBLEMS IN UNBOUNDED DOMAINS Michel CHIPOT Abstract We present a method allowing to obtain existence of a solution for
More informationWave equation on manifolds and finite speed of propagation
Wave equation on manifolds and finite speed of propagation Ethan Y. Jaffe Let M be a Riemannian manifold (without boundary), and let be the (negative of) the Laplace-Beltrami operator. In this note, we
More informationSYMMETRY AND REGULARITY OF AN OPTIMIZATION PROBLEM RELATED TO A NONLINEAR BVP
lectronic ournal of Differential quations, Vol. 2013 2013, No. 108, pp. 1 10. ISSN: 1072-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu SYMMTRY AND RGULARITY
More informationMinimal Surface equations non-solvability strongly convex functional further regularity Consider minimal surface equation.
Lecture 7 Minimal Surface equations non-solvability strongly convex functional further regularity Consider minimal surface equation div + u = ϕ on ) = 0 in The solution is a critical point or the minimizer
More informationarxiv: v1 [math.ap] 25 Jul 2012
THE DIRICHLET PROBLEM FOR THE FRACTIONAL LAPLACIAN: REGULARITY UP TO THE BOUNDARY XAVIER ROS-OTON AND JOAQUIM SERRA arxiv:1207.5985v1 [math.ap] 25 Jul 2012 Abstract. We study the regularity up to the boundary
More informationS chauder Theory. x 2. = log( x 1 + x 2 ) + 1 ( x 1 + x 2 ) 2. ( 5) x 1 + x 2 x 1 + x 2. 2 = 2 x 1. x 1 x 2. 1 x 1.
Sep. 1 9 Intuitively, the solution u to the Poisson equation S chauder Theory u = f 1 should have better regularity than the right hand side f. In particular one expects u to be twice more differentiable
More informationPartial Differential Equations
Part II Partial Differential Equations Year 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2015 Paper 4, Section II 29E Partial Differential Equations 72 (a) Show that the Cauchy problem for u(x,
More informationThe local equicontinuity of a maximal monotone operator
arxiv:1410.3328v2 [math.fa] 3 Nov 2014 The local equicontinuity of a maximal monotone operator M.D. Voisei Abstract The local equicontinuity of an operator T : X X with proper Fitzpatrick function ϕ T
More informationIntroduction. Christophe Prange. February 9, This set of lectures is motivated by the following kind of phenomena:
Christophe Prange February 9, 206 This set of lectures is motivated by the following kind of phenomena: sin(x/ε) 0, while sin 2 (x/ε) /2. Therefore the weak limit of the product is in general different
More informationSobolev Spaces. Chapter 10
Chapter 1 Sobolev Spaces We now define spaces H 1,p (R n ), known as Sobolev spaces. For u to belong to H 1,p (R n ), we require that u L p (R n ) and that u have weak derivatives of first order in L p
More informationVISCOSITY SOLUTIONS. We follow Han and Lin, Elliptic Partial Differential Equations, 5.
VISCOSITY SOLUTIONS PETER HINTZ We follow Han and Lin, Elliptic Partial Differential Equations, 5. 1. Motivation Throughout, we will assume that Ω R n is a bounded and connected domain and that a ij C(Ω)
More informationP(E t, Ω)dt, (2) 4t has an advantage with respect. to the compactly supported mollifiers, i.e., the function W (t)f satisfies a semigroup law:
Introduction Functions of bounded variation, usually denoted by BV, have had and have an important role in several problems of calculus of variations. The main features that make BV functions suitable
More informationOn a Fractional Monge Ampère Operator
Ann. PDE (015) 1:4 DOI 10.1007/s40818-015-0005-x On a Fractional Monge Ampère Operator Luis Caffarelli 1 Fernando Charro Received: 16 November 015 / Accepted: 19 November 015 / Published online: 18 December
More informationA LOCALIZATION PROPERTY AT THE BOUNDARY FOR MONGE-AMPERE EQUATION
A LOCALIZATION PROPERTY AT THE BOUNDARY FOR MONGE-AMPERE EQUATION O. SAVIN. Introduction In this paper we study the geometry of the sections for solutions to the Monge- Ampere equation det D 2 u = f, u
More informationarxiv: v1 [math.ap] 18 Jan 2019
manuscripta mathematica manuscript No. (will be inserted by the editor) Yongpan Huang Dongsheng Li Kai Zhang Pointwise Boundary Differentiability of Solutions of Elliptic Equations Received: date / Revised
More informationEquilibria with a nontrivial nodal set and the dynamics of parabolic equations on symmetric domains
Equilibria with a nontrivial nodal set and the dynamics of parabolic equations on symmetric domains J. Földes Department of Mathematics, Univerité Libre de Bruxelles 1050 Brussels, Belgium P. Poláčik School
More informationA PROPERTY OF SOBOLEV SPACES ON COMPLETE RIEMANNIAN MANIFOLDS
Electronic Journal of Differential Equations, Vol. 2005(2005), No.??, pp. 1 10. ISSN: 1072-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu (login: ftp) A PROPERTY
More informationSpaces with Ricci curvature bounded from below
Spaces with Ricci curvature bounded from below Nicola Gigli February 23, 2015 Topics 1) On the definition of spaces with Ricci curvature bounded from below 2) Analytic properties of RCD(K, N) spaces 3)
More informationRegularity of flat level sets in phase transitions
Annals of Mathematics, 69 (2009), 4 78 Regularity of flat level sets in phase transitions By Ovidiu Savin Abstract We consider local minimizers of the Ginzburg-Landau energy functional 2 u 2 + 4 ( u2 )
More information(convex combination!). Use convexity of f and multiply by the common denominator to get. Interchanging the role of x and y, we obtain that f is ( 2M ε
1. Continuity of convex functions in normed spaces In this chapter, we consider continuity properties of real-valued convex functions defined on open convex sets in normed spaces. Recall that every infinitedimensional
More informationSYMMETRY OF POSITIVE SOLUTIONS OF SOME NONLINEAR EQUATIONS. M. Grossi S. Kesavan F. Pacella M. Ramaswamy. 1. Introduction
Topological Methods in Nonlinear Analysis Journal of the Juliusz Schauder Center Volume 12, 1998, 47 59 SYMMETRY OF POSITIVE SOLUTIONS OF SOME NONLINEAR EQUATIONS M. Grossi S. Kesavan F. Pacella M. Ramaswamy
More informationBrunn-Minkowski inequality for the 1-Riesz capacity and level set convexity for the 1/2-Laplacian
Brunn-Minkowski inequality for the 1-Riesz capacity and level set convexity for the 1/2-Laplacian M. Novaga, B. Ruffini Abstract We prove that that the 1-Riesz capacity satisfies a Brunn-Minkowski inequality,
More informationEXISTENCE AND UNIQUENESS OF p(x)-harmonic FUNCTIONS FOR BOUNDED AND UNBOUNDED p(x)
UNIVERSITY OF JYVÄSKYLÄ DEPARTMENT OF MATHEMATICS AND STATISTICS REPORT 30 UNIVERSITÄT JYVÄSKYLÄ INSTITUT FÜR MATHEMATIK UND STATISTIK BERICHT 30 EXISTENCE AND UNIQUENESS OF p(x)-harmonic FUNCTIONS FOR
More informationREGULARITY OF POTENTIAL FUNCTIONS IN OPTIMAL TRANSPORTATION. Centre for Mathematics and Its Applications The Australian National University
ON STRICT CONVEXITY AND C 1 REGULARITY OF POTENTIAL FUNCTIONS IN OPTIMAL TRANSPORTATION Neil Trudinger Xu-Jia Wang Centre for Mathematics and Its Applications The Australian National University Abstract.
More informationCourse 212: Academic Year Section 1: Metric Spaces
Course 212: Academic Year 1991-2 Section 1: Metric Spaces D. R. Wilkins Contents 1 Metric Spaces 3 1.1 Distance Functions and Metric Spaces............. 3 1.2 Convergence and Continuity in Metric Spaces.........
More informationBoundedness, Harnack inequality and Hölder continuity for weak solutions
Boundedness, Harnack inequality and Hölder continuity for weak solutions Intoduction to PDE We describe results for weak solutions of elliptic equations with bounded coefficients in divergence-form. The
More informationERRATUM TO AFFINE MANIFOLDS, SYZ GEOMETRY AND THE Y VERTEX
ERRATUM TO AFFINE MANIFOLDS, SYZ GEOMETRY AND THE Y VERTEX JOHN LOFTIN, SHING-TUNG YAU, AND ERIC ZASLOW 1. Main result The purpose of this erratum is to correct an error in the proof of the main result
More informationA Dirichlet problem in the strip
Electronic Journal of Differential Equations, Vol. 1996(1996), No. 10, pp. 1 9. ISSN: 1072-6691. URL: http://ejde.math.swt.edu or http://ejde.math.unt.edu ftp (login: ftp) 147.26.103.110 or 129.120.3.113
More informationLecture Notes: African Institute of Mathematics Senegal, January Topic Title: A short introduction to numerical methods for elliptic PDEs
Lecture Notes: African Institute of Mathematics Senegal, January 26 opic itle: A short introduction to numerical methods for elliptic PDEs Authors and Lecturers: Gerard Awanou (University of Illinois-Chicago)
More informationMath 361: Homework 1 Solutions
January 3, 4 Math 36: Homework Solutions. We say that two norms and on a vector space V are equivalent or comparable if the topology they define on V are the same, i.e., for any sequence of vectors {x
More informationGLOBAL LIPSCHITZ CONTINUITY FOR MINIMA OF DEGENERATE PROBLEMS
GLOBAL LIPSCHITZ CONTINUITY FOR MINIMA OF DEGENERATE PROBLEMS PIERRE BOUSQUET AND LORENZO BRASCO Abstract. We consider the problem of minimizing the Lagrangian [F ( u+f u among functions on R N with given
More informationg 2 (x) (1/3)M 1 = (1/3)(2/3)M.
COMPACTNESS If C R n is closed and bounded, then by B-W it is sequentially compact: any sequence of points in C has a subsequence converging to a point in C Conversely, any sequentially compact C R n is
More informationContinuity of convex functions in normed spaces
Continuity of convex functions in normed spaces In this chapter, we consider continuity properties of real-valued convex functions defined on open convex sets in normed spaces. Recall that every infinitedimensional
More informationCalculus of Variations
Calc. Var. (2004) DOI: 10.1007/s00526-004-0275-8 Calculus of Variations Ovidiu Savin The obstacle problem for Monge Ampere equation Received: 4 February 2003 / Accepted: 3 March 2004 Published online:
More informationPARTIAL DIFFERENTIAL EQUATIONS. Lecturer: D.M.A. Stuart MT 2007
PARTIAL DIFFERENTIAL EQUATIONS Lecturer: D.M.A. Stuart MT 2007 In addition to the sets of lecture notes written by previous lecturers ([1, 2]) the books [4, 7] are very good for the PDE topics in the course.
More informationand finally, any second order divergence form elliptic operator
Supporting Information: Mathematical proofs Preliminaries Let be an arbitrary bounded open set in R n and let L be any elliptic differential operator associated to a symmetric positive bilinear form B
More informationDegenerate Monge-Ampère equations and the smoothness of the eigenfunction
Degenerate Monge-Ampère equations and the smoothness of the eigenfunction Ovidiu Savin Columbia University November 2nd, 2015 Ovidiu Savin (Columbia University) Degenerate Monge-Ampère equations November
More informationThe continuity method
The continuity method The method of continuity is used in conjunction with a priori estimates to prove the existence of suitably regular solutions to elliptic partial differential equations. One crucial
More informationThe eigenvalue problem in Finsler geometry
The eigenvalue problem in Finsler geometry Qiaoling Xia Abstract. One of the fundamental problems is to study the eigenvalue problem for the differential operator in geometric analysis. In this article,
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 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 informationSOLUTION OF THE DIRICHLET PROBLEM WITH L p BOUNDARY CONDITION. Dagmar Medková
29 Kragujevac J. Math. 31 (2008) 29 42. SOLUTION OF THE DIRICHLET PROBLEM WITH L p BOUNDARY CONDITION Dagmar Medková Czech Technical University, Faculty of Mechanical Engineering, Department of Technical
More informationINTERIOR CURVATURE BOUNDS FOR A CLASS OF CURVATURE EQUATIONS
d2321rev5.jl 2004/4/28 15:18 page 1 #1 INTERIOR CURVATURE BOUNDS FOR A CLASS OF CURVATURE EQUATIONS WEIMIN SHENG, JOHN URBAS, and XU-JIA WANG Abstract We derive interior curvature bounds for admissible
More informationON BOUNDEDNESS OF MAXIMAL FUNCTIONS IN SOBOLEV SPACES
Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 29, 2004, 167 176 ON BOUNDEDNESS OF MAXIMAL FUNCTIONS IN SOBOLEV SPACES Piotr Haj lasz and Jani Onninen Warsaw University, Institute of Mathematics
More informationu( x) = g( y) ds y ( 1 ) U solves u = 0 in U; u = 0 on U. ( 3)
M ath 5 2 7 Fall 2 0 0 9 L ecture 4 ( S ep. 6, 2 0 0 9 ) Properties and Estimates of Laplace s and Poisson s Equations In our last lecture we derived the formulas for the solutions of Poisson s equation
More informationThe main motivation of this paper comes from the following, rather surprising, result of Ecker and Huisken [13]: for any initial data u 0 W 1,
Quasilinear parabolic equations, unbounded solutions and geometrical equations II. Uniqueness without growth conditions and applications to the mean curvature flow in IR 2 Guy Barles, Samuel Biton and
More informationTHE FORM SUM AND THE FRIEDRICHS EXTENSION OF SCHRÖDINGER-TYPE OPERATORS ON RIEMANNIAN MANIFOLDS
THE FORM SUM AND THE FRIEDRICHS EXTENSION OF SCHRÖDINGER-TYPE OPERATORS ON RIEMANNIAN MANIFOLDS OGNJEN MILATOVIC Abstract. We consider H V = M +V, where (M, g) is a Riemannian manifold (not necessarily
More informationLocal Asymmetry and the Inner Radius of Nodal Domains
Local Asymmetry and the Inner Radius of Nodal Domains Dan MANGOUBI Institut des Hautes Études Scientifiques 35, route de Chartres 91440 Bures-sur-Yvette (France) Avril 2007 IHES/M/07/14 Local Asymmetry
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 informationLocal semiconvexity of Kantorovich potentials on non-compact manifolds
Local semiconvexity of Kantorovich potentials on non-compact manifolds Alessio Figalli, Nicola Gigli Abstract We prove that any Kantorovich potential for the cost function c = d / on a Riemannian manifold
More informationLandesman-Lazer type results for second order Hamilton-Jacobi-Bellman equations
Author manuscript, published in "Journal of Functional Analysis 258, 12 (2010) 4154-4182" Landesman-Lazer type results for second order Hamilton-Jacobi-Bellman equations Patricio FELMER, Alexander QUAAS,
More informationPartial Differential Equations, 2nd Edition, L.C.Evans Chapter 5 Sobolev Spaces
Partial Differential Equations, nd Edition, L.C.Evans Chapter 5 Sobolev Spaces Shih-Hsin Chen, Yung-Hsiang Huang 7.8.3 Abstract In these exercises always denote an open set of with smooth boundary. As
More informationAnalysis in weighted spaces : preliminary version
Analysis in weighted spaces : preliminary version Frank Pacard To cite this version: Frank Pacard. Analysis in weighted spaces : preliminary version. 3rd cycle. Téhéran (Iran, 2006, pp.75.
More informationHARNACK S INEQUALITY FOR GENERAL SOLUTIONS WITH NONSTANDARD GROWTH
Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 37, 2012, 571 577 HARNACK S INEQUALITY FOR GENERAL SOLUTIONS WITH NONSTANDARD GROWTH Olli Toivanen University of Eastern Finland, Department of
More informationALEKSANDROV S THEOREM: CLOSED SURFACES WITH CONSTANT MEAN CURVATURE
ALEKSANDROV S THEOREM: CLOSED SURFACES WITH CONSTANT MEAN CURVATURE ALAN CHANG Abstract. We present Aleksandrov s proof that the only connected, closed, n- dimensional C 2 hypersurfaces (in R n+1 ) of
More informationAssignment-10. (Due 11/21) Solution: Any continuous function on a compact set is uniformly continuous.
Assignment-1 (Due 11/21) 1. Consider the sequence of functions f n (x) = x n on [, 1]. (a) Show that each function f n is uniformly continuous on [, 1]. Solution: Any continuous function on a compact set
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 informationA BOUNDARY VALUE PROBLEM FOR MINIMAL LAGRANGIAN GRAPHS. Simon Brendle & Micah Warren. Abstract. The associated symplectic structure is given by
j. differential geometry 84 (2010) 267-287 A BOUNDARY VALUE PROBLEM FOR MINIMAL LAGRANGIAN GRAPHS Simon Brendle & Micah Warren Abstract Let Ω and Ω be uniformly convex domains in R n with smooth boundary.
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 informationStationary mean-field games Diogo A. Gomes
Stationary mean-field games Diogo A. Gomes We consider is the periodic stationary MFG, { ɛ u + Du 2 2 + V (x) = g(m) + H ɛ m div(mdu) = 0, (1) where the unknowns are u : T d R, m : T d R, with m 0 and
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 informationREGULARITY RESULTS FOR THE EQUATION u 11 u 22 = Introduction
REGULARITY RESULTS FOR THE EQUATION u 11 u 22 = 1 CONNOR MOONEY AND OVIDIU SAVIN Abstract. We study the equation u 11 u 22 = 1 in R 2. Our results include an interior C 2 estimate, classical solvability
More informationSOLUTION OF POISSON S EQUATION. Contents
SOLUTION OF POISSON S EQUATION CRISTIAN E. GUTIÉRREZ OCTOBER 5, 2013 Contents 1. Differentiation under the integral sign 1 2. The Newtonian potential is C 1 2 3. The Newtonian potential from the 3rd Green
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 information