The continuity method

Similar documents
TD M1 EDP 2018 no 2 Elliptic equations: regularity, maximum principle

Some lecture notes for Math 6050E: PDEs, Fall 2016

Lecture Notes for LG s Diff. Analysis

Regularity for Poisson Equation

S 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.

COMPLETE METRIC SPACES AND THE CONTRACTION MAPPING THEOREM

The Dirichlet s P rinciple. In this lecture we discuss an alternative formulation of the Dirichlet problem for the Laplace equation:

Boundary regularity of solutions of degenerate elliptic equations without boundary conditions

Lecture 17. Higher boundary regularity. April 15 th, We extend our results to include the boundary. Let u C 2 (Ω) C 0 ( Ω) be a solution of

Laplace s Equation. Chapter Mean Value Formulas

The De Giorgi-Nash-Moser Estimates

SHARP BOUNDARY TRACE INEQUALITIES. 1. Introduction

Theory of PDE Homework 2

Maximum Principles for Parabolic Equations

LECTURE OCTOBER, 2016

Variational Formulations

Equilibria with a nontrivial nodal set and the dynamics of parabolic equations on symmetric domains

Analysis in weighted spaces : preliminary version

1. Introduction Boundary estimates for the second derivatives of the solution to the Dirichlet problem for the Monge-Ampere equation

Boundary problems for fractional Laplacians

Notes for Functional Analysis

LECTURE # 0 BASIC NOTATIONS AND CONCEPTS IN THE THEORY OF PARTIAL DIFFERENTIAL EQUATIONS (PDES)

Minimal Surface equations non-solvability strongly convex functional further regularity Consider minimal surface equation.

Functional Analysis. Franck Sueur Metric spaces Definitions Completeness Compactness Separability...

Lecture Notes on PDEs

A metric space X is a non-empty set endowed with a metric ρ (x, y):

Oblique derivative problems for elliptic and parabolic equations, Lecture II

ON WEAKLY NONLINEAR BACKWARD PARABOLIC PROBLEM

Course Description for Real Analysis, Math 156

Tools from Lebesgue integration

The Dirichlet problem for non-divergence parabolic equations with discontinuous in time coefficients in a wedge

LOWER AND UPPER SOLUTIONS TO SEMILINEAR BOUNDARY VALUE PROBLEMS: AN ABSTRACT APPROACH. Alessandro Fonda Rodica Toader. 1.

Elliptic Partial Differential Equations of Second Order

Perron method for the Dirichlet problem.

ERRATUM TO AFFINE MANIFOLDS, SYZ GEOMETRY AND THE Y VERTEX

P(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:

= 2 x y 2. (1)

Propagation of Smallness and the Uniqueness of Solutions to Some Elliptic Equations in the Plane

Stationary mean-field games Diogo A. Gomes

arxiv: v1 [math.ap] 25 Jul 2012

LECTURE 15: COMPLETENESS AND CONVEXITY

Finite Elements. Colin Cotter. January 15, Colin Cotter FEM

MINIMAL GRAPHS PART I: EXISTENCE OF LIPSCHITZ WEAK SOLUTIONS TO THE DIRICHLET PROBLEM WITH C 2 BOUNDARY DATA

The Arzelà-Ascoli Theorem

at 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))

Sobolev Spaces. Chapter 10

SYMMETRY OF POSITIVE SOLUTIONS OF SOME NONLINEAR EQUATIONS. M. Grossi S. Kesavan F. Pacella M. Ramaswamy. 1. Introduction

FUNCTIONAL ANALYSIS LECTURE NOTES: COMPACT SETS AND FINITE-DIMENSIONAL SPACES. 1. Compact Sets

(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 ε

THE L 2 -HODGE THEORY AND REPRESENTATION ON R n

MATH 263: PROBLEM SET 1: BUNDLES, SHEAVES AND HODGE THEORY

Economics 204 Fall 2011 Problem Set 2 Suggested Solutions

Green s Functions and Distributions

Module 7: The Laplace Equation

Linear Analysis Lecture 5

A BOUNDARY VALUE PROBLEM FOR MINIMAL LAGRANGIAN GRAPHS. Simon Brendle & Micah Warren. Abstract. The associated symplectic structure is given by

LECTURE 1: SOURCES OF ERRORS MATHEMATICAL TOOLS A PRIORI ERROR ESTIMATES. Sergey Korotov,

Landesman-Lazer type results for second order Hamilton-Jacobi-Bellman equations

MAS3706 Topology. Revision Lectures, May I do not answer enquiries as to what material will be in the exam.

NOTES ON SCHAUDER ESTIMATES. r 2 x y 2

FIXED POINT ITERATIONS

APPLICATIONS OF DIFFERENTIABILITY IN R n.

is a weak solution with the a ij,b i,c2 C 1 ( )

Remarks on the analysis of finite element methods on a Shishkin mesh: are Scott-Zhang interpolants applicable?

NONTRIVIAL SOLUTIONS TO INTEGRAL AND DIFFERENTIAL EQUATIONS

Chapter 7: Bounded Operators in Hilbert Spaces

Partial regularity for fully nonlinear PDE

A generalised Ladyzhenskaya inequality and a coupled parabolic-elliptic problem

Deforming conformal metrics with negative Bakry-Émery Ricci Tensor on manifolds with boundary

ξ,i = x nx i x 3 + δ ni + x n x = 0. x Dξ = x i ξ,i = x nx i x i x 3 Du = λ x λ 2 xh + x λ h Dξ,

THE INVERSE FUNCTION THEOREM FOR LIPSCHITZ MAPS

Krein-Rutman Theorem and the Principal Eigenvalue

Finite difference method for elliptic problems: I

Lecture 11 Hyperbolicity.

Elementary Theory and Methods for Elliptic Partial Differential Equations. John Villavert

ELLIPTIC PARTIAL DIFFERENTIAL EQUATIONS EXERCISES I (HARMONIC FUNCTIONS)

Implicit Functions, Curves and Surfaces

Economics 204 Summer/Fall 2011 Lecture 5 Friday July 29, 2011

Hamburger Beiträge zur Angewandten Mathematik

NONLINEAR SCHRÖDINGER ELLIPTIC SYSTEMS INVOLVING EXPONENTIAL CRITICAL GROWTH IN R Introduction

Navier Stokes and Euler equations: Cauchy problem and controllability

THE INVERSE FUNCTION THEOREM

1 Definition of the Riemann integral

Maximum Principles for Elliptic and Parabolic Operators

Chapter 2 Metric Spaces

The oblique derivative problem for general elliptic systems in Lipschitz domains

Lecture Notes: African Institute of Mathematics Senegal, January Topic Title: A short introduction to numerical methods for elliptic PDEs

Université de Metz. Master 2 Recherche de Mathématiques 2ème semestre. par Ralph Chill Laboratoire de Mathématiques et Applications de Metz

Second Order Elliptic PDE

Euler Equations: local existence

Functional Analysis Exercise Class

New Helmholtz-Weyl decomposition in L r and its applications to the mathematical fluid mechanics

REGULARITY RESULTS FOR THE EQUATION u 11 u 22 = Introduction

DIRECT ERROR BOUNDS FOR SYMMETRIC RBF COLLOCATION

PARTIAL DIFFERENTIAL EQUATIONS. Lecturer: D.M.A. Stuart MT 2007

It follows from the above inequalities that for c C 1

Continuity of convex functions in normed spaces

It follows from the above inequalities that for c C 1

Solution Sheet 3. Solution Consider. with the metric. We also define a subset. and thus for any x, y X 0

Partial Differential Equations

Transcription:

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 ingredient of the method relies on global a priori estimates of solutions (see the Schauder estimates and the L p regularity theory and this provides one important application of the regularity theory for such equations. 1. The general framework Theorem 1.1. Let B be a Banach space and let T : B B. Assume that there exists θ (0, 1 such that T u T v θ u v. Then there is a unique fixed point u B such that T u = u. Proof. For any u 0 B, define the sequence {u i } by We have that for j > i u j u i j k=i+1 j k=i+1 u i = T u i 1. u k u k 1 = θ k 1 u 1 u 0 θi 1 θ u 1 u 0. j k=i+1 T u k 1 T u k 2 Thus the sequence {u i } is a Cauchy sequence and hence it converges to some u B. By the continuity of T, we have that u = T u. To show the uniqueness, suppose that there exists two solutions u = T u and v = T v. Then, u v = T u T v θ u v < u v and it follows that u = v. Theorem 1.2. Let B be a Banach spaces and V be a normed vector space. Let L 0, L 1 : B V be two bounded linear operators. Set L t := (1 tl 0 + tl 1 for t [0, 1]. 1

Assume that there exists a constant C > 0 such that for all u B and t [0, 1], we have u B C L t u V. Then L 0 is surjective if and only if L 1 is surjective. Proof. Suppose that L 0 is surjective. Then L 0 is a bijection, hence the inverse L 1 0 : V B exists. For t [0, 1] and f V, the equation is equivalent to L t u = f L 0 u = f + L 0 u L t u = f + t(l 0 L 1 (u. By the invertibility of L s, it is also equivalent to u = L 1 0 (f + t(l 0 L 1 (u := T u. Hence solving L t u = f is equivalent to find a fixed point to the operator T : B B defined by T u := L 1 0 (f + t(l 0 L 1 (u. We claim that T is a contraction mapping. Indeed T u T v B = L 1 0 (f + t(l 0 L 1 (u L 1 0 (f + t(l 0 L 1 (v B = t L 1 0 (L 0 L1(u v B tc (L 0 L 1 (u v B tc( L 0 + L 1 u v B 1 and hence if tc( L 0 + L 1 < 1 that is if t < 2δ = C( L 0 + L 1, then T is a contraction. Hence for t δ = t 1, T admits a fixed point. Then starting from t 1, we get t 2 and so forth. So we can divide the interval [0, 1] into subintervals of length less than δ until we rich 1. Also L 1 u = f is solvable. This completes the proof of the theorem. 2. Existence of classical solutions Schauder estimates for general equations. Theorem 2.1. Let be a bounded C 2,α domain, f C α ( and g C 2,α ( for some α (0, 1. Then, the Dirichlet problem { u = f in (1 u = g on. posses a unique solution u of class C 2,α (. 2

Proof. The uniqueness follows from the maximum principle. The existence follows from approximating f by smooth functions, using the regularity for C rhs and the a priori estimates of Schauder which gives a compactness result. Let be a bounded domain, let a ij, b i and c be defined in with a ij symmetric. Consider the second-order elliptic operator (2 Lu = ij and assume L is uniformly elliptic a ij (xd i D j u + i λ ξ 2 ij a ij ξ i ξ j Λ ξ 2 b i D i u + cu a ij, b i, c C α ( and a ij C α ( + i ij b i C α ( + c C α ( M. Our aim is to prove a general existence result for solutions of Dirichlet boundary value problem with C 2,α boundary values involving the operator L with C α coefficients. First we need a priori estimates (we suppose that a solution exists. Theorem 2.2 (Weak maximum principle. Let u C 2 ( C( be a solution to (2 with c 0. Then u L ( C( f L ( + sup u where C = depends on n, λ, Λ, and the L norm of the coefficients. Proof. First we prove that sup u sup u + + C f L (. First we suppose that c(x c 0 > 0 and consider v := u u +. We have that v satisfies Lv = f csup u + f in and v 0 on the boundary. If v attains a positive maximum at an interior point x 0, then c 0 v(x 0 c(x 0 v(x 0 f(x 0 f L (. It follows that sup v f L (, and hence c 0 sup u sup u + + f L ( c 0. 3

In the general case c 0, we write v = z v = zw for an appropriate z z > 0 to be determined. We have that w satisfies a ij D ij w + ( b i 2 a ij D j z D i w z ij i j ( + c + 1 z ( b i D i z a ij D ij z w f z. i i,j Choosing z bounded and such that z > 0 and 1 z ( i b id i z a ij D ij z > i,j c 0, we see that w satisfies and equation with c > 0. Hence we can aplly the previous arguments to show that sup w C f/z L i nfty( and recalling that w = v/z we get the desired result for v and consequently sup u sup u + + C f L (. Applying this for u and u we get the result. Proposition 2.3. Let be a C 2,α domain and let u C 2,α (. Then given ε > 0 there exists a constant C(ε, such that for k = 0, 1 and β (0, 1 and k = 2 and β < α, we have u C k,β ( ε D2 u C 2,α ( + C u L (. We now try to extend our results on the Poisson equation to the case of non-constant coefficients, which was in fact our original goal. Theorem 2.4 (Schauder estimates for general elliptic equations. Let α (0, 1. Let be a bounded C 2,α domain and let L be a uniformly elliptic operator of the form (2 with C α coefficients. Assume also that f C α ( and g C 2,α (. If u C 2,α ( is a solution to (2, then we have the estimate u C 2,α ( ( f C C α ( + g C 2,α ( + u L (, where the constant C depends on n, λ, Λ,, α and the Hölder norms of a ij, b i and c. Proof. Thanks to the interpolation proposition we only need to bound the C 2,α semi-norm with the above rhs. Without loss of generality we can assume that g = 0 (convider v = u g which solves Lv = f Lg = f. We can also reduce the problem by dropping the lower order term. Indeed we can write (2 as ij a ij (xd ij u = f 4

where f := f i b id i u cu. If we can show that u C 2,α ( C f then using the interpolation inequality: for all ε > 0 and C α ( u C 2,α ( we have we get that u C 1,α ( ε u C 2,α ( + C(n,,, ε u L ( u C 2,α ( C ( f C α ( + u L ( and using the maximum principle (u = 0 on the boundary u L ( C f L (, we have u C 2,α ( ( f C C α (, Hence the problem is reduced to prove the estimate for the special case, (3 ij a ij (xd ij u = f We use the so called method of freezing coefficients. Th idea is to fix a point x 0 and to rewrite (3 as ij a ij (x 0 D ij u(x = f(x + (a ij (x a ij (x 0 D ij u(x =: h(x. Now a ij (x 0 is positive definite matrix with constant coefficients. After a change of variable, we can reduce the equation to a Poisson equation û = ĥ and use the result of the previous chapter concerning Schauder estimates for the Poisson equation. Note B R a ball centered at x 0 and suppose that u is supported in B R. First we have ĥ C α (B R C( f C α (B R + R α D 2 u C α (B R + u C 2 (B R. Using that a ij (x a ij (x 0 CR α (coefficients are Hölder continuous and the interpolation proposition, we have ĥ C α (B R C( f C α (B R + R α D 2 u C α (B R + u L (B R. ĥ L (B R C( f L (B R + R α D 2 u L (B R + u L (B R. From Theorem 5.13 in the lecture notes, we have ( D 2 u C α (B R C ĥ C α (B R + 1 ĥ + 1 R α L (B R R u 2+α L (B R 5

( 1/α 1 So if we take R 0 =, then for 0 < R R 0, 2C ( D 2 u C α (B R C f C α (B R + u L (B R. The interpolation proposition gives the estimate for the full norm. This Theorem gives still just an interior Schauder type estimate by taking a cut-off function and covering any subdomain by finitely many balls of radius R 0 /2. Next we extend it to the boundary (proof omitted see the books of Wu, Yin, Wang. Existence of classical solutions. Idea: we can solve Dirichlet problems for general elliptic operators with Hölder continuous coefficients, provided that we can solve the equation for the Laplacian. Theorem 2.5. Let be a bounded C 2,α domain and let L be a uniformly elliptic operator of the form (2 with C α coefficients and c 0. Then for any f C α ( and g C 2,α (, there exists a unique solution u C 2,α ( of the Dirichlet problem { Lu = f in (4 u = g in We shall prove the solvability of the boundary value problem (4 if the same is true for the boundary value problem with L 0 = i.e., for Poisson s equation. Of course, the latter is a basic known result and so Theorem follows accordingly. Proof. Since the problems are linear, without loss of generality, we assume g = 0; otherwise, we consider Lv = f Lg with v = 0 on the boundary. Consider the family of equations: L t u := (1 t( u + (1 tlu. We note that L 0 = and L 1 = L. If we write L t u = ij we can easily verify that a t ijd i D j u + i b t id i u + c t u max(1, Λ ξ 2 ij a t ijξ i ξ j min(1, λ ξ 2 for all x and ξ R n and that a t ij C α (, b t i C α (, c t C α ( M 6

independently of t. Thus, L t u C α ( C u C 2,α (, where C is a positive constant depending only on n, α, λ, Λ and M. Then for each t [0, 1], L t : B V is a bounded linear operator, where B := { u C 2,α ( u = 0 on } is a Banach space and V := C α ( is a normed vector space. We know that L 0 is solvable (L 0 is surjective, thus if we show the a priori estimates u B = u C 2,α ( C L tu V = C L t u C α ( we are done since the existence of a classical solution (the surjectivity of L 1 is a direct consequence of Theorem 1.2. The uniqueness can be proved by the maximum principle. Since u = 0 on the boundary, the maximum principle implies that u L ( L tu L ( and the global Schauder estimates implies that (since u solves the equation with L t u as a right hand term u C 2,α ( C L tu C α (. 7