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

Similar documents
The continuity method

Regularity for Poisson Equation

Sobolev Spaces. Chapter 10

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.

Laplace s Equation. Chapter Mean Value Formulas

CHAPTER 2. Laplace s equation

i=1 α i. Given an m-times continuously

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

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

Sobolev Spaces. Chapter Hölder spaces

On the p-laplacian and p-fluids

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

SHARP BOUNDARY TRACE INEQUALITIES. 1. Introduction

SOLUTION OF POISSON S EQUATION. Contents

Oblique derivative problems for elliptic and parabolic equations, Lecture II

Boot camp - Problem set

Applied Math Qualifying Exam 11 October Instructions: Work 2 out of 3 problems in each of the 3 parts for a total of 6 problems.

Sobolevology. 1. Definitions and Notation. When α = 1 this seminorm is the same as the Lipschitz constant of the function f. 2.

Mathematical analysis of the stationary Navier-Stokes equations

Math The Laplacian. 1 Green s Identities, Fundamental Solution

In this chapter we study elliptical PDEs. That is, PDEs of the form. 2 u = lots,

Poisson Equation on Closed Manifolds

Stationary mean-field games Diogo A. Gomes

2 A Model, Harmonic Map, Problem

THE DIRICHLET PROBLEM WITH BM O BOUNDARY DATA AND ALMOST-REAL COEFFICIENTS

On positive solutions of semi-linear elliptic inequalities on Riemannian manifolds

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

CONVERGENCE THEORY. G. ALLAIRE CMAP, Ecole Polytechnique. 1. Maximum principle. 2. Oscillating test function. 3. Two-scale convergence

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

Partial Differential Equations

4 Riesz Kernels. Since the functions k i (ξ) = ξ i. are bounded functions it is clear that R

(d). Why does this imply that there is no bounded extension operator E : W 1,1 (U) W 1,1 (R n )? Proof. 2 k 1. a k 1 a k

PDEs in Image Processing, Tutorials

Singular Integrals. 1 Calderon-Zygmund decomposition

Elliptic Partial Differential Equations of Second Order

MATH COURSE NOTES - CLASS MEETING # Introduction to PDEs, Spring 2018 Professor: Jared Speck

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

UNIVERSITY OF MANITOBA

The Dirichlet boundary problems for second order parabolic operators satisfying a Carleson condition

Calculus of Variations. Final Examination

2 Two-Point Boundary Value Problems

Obstacle Problems Involving The Fractional Laplacian

Sobolev spaces. May 18

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

Regularity Theory. Lihe Wang

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

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

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

MATH COURSE NOTES - CLASS MEETING # Introduction to PDEs, Fall 2011 Professor: Jared Speck

OPTIMAL POTENTIALS FOR SCHRÖDINGER OPERATORS. 1. Introduction In this paper we consider optimization problems of the form. min F (V ) : V V, (1.

On existence theorems of nonlinear partial differential systems of Poisson type in R n

ON WEAKLY NONLINEAR BACKWARD PARABOLIC PROBLEM

g(x) = P (y) Proof. This is true for n = 0. Assume by the inductive hypothesis that g (n) (0) = 0 for some n. Compute g (n) (h) g (n) (0)

TD 1: Hilbert Spaces and Applications

On non negative solutions of some quasilinear elliptic inequalities

Week 6 Notes, Math 865, Tanveer

Regularity of the p-poisson equation in the plane

MATH 425, FINAL EXAM SOLUTIONS

n 2 xi = x i. x i 2. r r ; i r 2 + V ( r) V ( r) = 0 r > 0. ( 1 1 ) a r n 1 ( 1 2) V( r) = b ln r + c n = 2 b r n 2 + c n 3 ( 1 3)

ESTIMATES FOR ELLIPTIC HOMOGENIZATION PROBLEMS IN NONSMOOTH DOMAINS. Zhongwei Shen

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

u xx + u yy = 0. (5.1)

Sobolev Spaces 27 PART II. Review of Sobolev Spaces

Liquid crystal flows in two dimensions

The De Giorgi-Nash-Moser Estimates

Sobolev spaces, Trace theorems and Green s functions.

PART IV Spectral Methods

Course Description for Real Analysis, Math 156

The Dirichlet boundary problems for second order parabolic operators satisfying a Carleson condition

Scientific Computing WS 2018/2019. Lecture 15. Jürgen Fuhrmann Lecture 15 Slide 1

Partial Differential Equations, 2nd Edition, L.C.Evans Chapter 5 Sobolev Spaces

Fundamental Solutions and Green s functions. Simulation Methods in Acoustics

Unbounded operators on Hilbert spaces

ξ,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ξ,

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

Elliptic PDEs of 2nd Order, Gilbarg and Trudinger

Behavior of space periodic laminar flames near the extinction point

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

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

On some nonlinear parabolic equation involving variable exponents

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

Critical Point Theory 0 and applications

REGULARITY OF SUBELLIPTIC MONGE-AMPÈRE EQUATIONS IN THE PLANE

Green s Functions and Distributions

Finite difference method for elliptic problems: I

Variational Formulations

Nonlinear aspects of Calderón-Zygmund theory

2. Function spaces and approximation

Numerical Solutions to Partial Differential Equations

Linear Analysis Lecture 5

Partial Differential Equations. William G. Faris

l(y j ) = 0 for all y j (1)

SUPERCONVERGENCE PROPERTIES FOR OPTIMAL CONTROL PROBLEMS DISCRETIZED BY PIECEWISE LINEAR AND DISCONTINUOUS FUNCTIONS

WELL-POSEDNESS OF WEAK SOLUTIONS TO ELECTRORHEOLOGICAL FLUID EQUATIONS WITH DEGENERACY ON THE BOUNDARY

Some Aspects of Solutions of Partial Differential Equations

4 Divergence theorem and its consequences

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:

Mixed boundary value problems for quasilinear elliptic equations

Regularity and nonexistence results for anisotropic quasilinear elliptic equations in convex domains

Functional Analysis Exercise Class

Transcription:

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 C on satisfying the ellipticity condition A(x)ξ ξ θ ξ, x, ξ R d, (.) where θ is a positive constant. Let f L () and let u H 0 () be the weak solution to the Dirichlet problem (we use the convention of summation over repeated indices) i (a ij j u) = f in, (.) u = 0 on. (.3). We assume d 3. Show that there exists a constant C 0 depending on and d such that u L () C( f L () + u L ()). (.4). We assume = B(0, R): the open ball of center 0 and radius R, with R <. (a) Compute v when v(x) = ψ( x ) is a radial function. (b) By considering the function u(x) = ln ln x and the case A(x) = I d, discuss the validity of (.4) when d 4. Answer: by the result of regularity for (.)-(.3), we have u H () C ( f L () + u L ()), (.5) where C depends on and d only. By Sobolev Injection Theorem, we have u L () if 4 > d and, thus, u L () C u H (), (.6) where C depends on and d only, for d 3. Combining (.5) and (.6) gives (.4) with C = C C. To compute the Laplacian of radial functions, we use the formulas v = div( v), div(λφ) = λ div Φ + λ Φ, v, λ: R, Φ: R d. (.7) Let us introduce r : x x. By the chain-rule formula, we have v(x) = ψ ( x ) x r(x). To compute r(x), we note that r(x) = x, hence r(x) =. This gives v(x) = x r(x)

ψ ( x ) x r(x). Then we use repeatedly the second formula in (.7) and the fact that x x = r(x), to obtain [ ] v(x) = [ψ x x ( x )] r(x) + ψ ( x ) div r(x) = ψ ( x ) x [ r(x) x div(x) r(x) + ψ ( x ) x ] r(x) r(x) r(x) [ d = ψ ( x ) + ψ ( x ) r(x) x ] r(x) x r(x) = ψ ( x ) + d r(x) ψ ( x ), i.e. [ v(x) = ψ (r) + d ] ψ (r). (.8) r r= x For u(x) = ln(ln( x )), we compute therefore, for x 0, [ x u(x) = x ln( x ) x, u(x) = r ln(r) + ] d r. ln(r) r= x For radial functions, we have an integrand r d when integrating on B(0, R). By the usual results on Bertrand s integral, we see that: u H (), u C ( \ {0}), u = f in \ {0}, where f L (). We have also u ū H0 (), where ū = ln ln(r). Therefore, considering u ū, we will have a counterexample to (.4), provided we show that u is a weak solution to (.)-(.3). We want to establish that u vdx = fvdx, (.9) for all v H0 (). Since u H0 (), it is sufficient to prove (.9) for v Cc () smooth. Note then that we have (.9), by integration by parts, for all v Cc ( \ {0}). To get (.9) for v Cc (), we will use a cut-off function ω ε defined as follows: ω ε (x) = θ(ε x ), θ C (R + ), where θ(r) = 0 for r, θ(r) = for r. We apply (.9) to vω ε. This gives u vω ε dx + u ω ε vdx = fvω ε dx. (.0) The first and third term in (.0) converge to both sides of (.9) by the dominated convergence theorem. To conclude, we have to show that the second term in (.0) tends to zero. We estimate it, in absolute value, by v L () ε ε which gives the desired result. r ln(r) ε θ (ε r) r d dr v L () ε ε ln(ε) ε θ L (ε) d d v L () θ L ln(ε), ε d

Hölder regularity I In this exercise (in two parts), we show a gain of (almost) two derivatives in Hölder spaces for the solution u to the Laplace equation u = f. Let f C(R 3 ) be a function with compact support. Let G(x) = 4π x. We admit that the function u defined by u(x) = G f(x) = G(x y)f(y)dy = R 3 G(y)f(x y)dy, R 3 (.) is solution to the Poisson equation u = f in R 3. We assume f C α (R 3 ) for a given α (0, ). Therefore f Ċα (R 3 ) := sup f(x) f(z) x z R 3 x z α (.) is finite. Let K be a compact of R 3.. Show that u C α (K), u Ċα (K) C f Ċα (R 3 ).. Show that u C α (K), u Ċα (K) C f Ċα (R 3 ). To prove the existence of u, you may introduce a cut-off function ω ε, ω ε (x) = θ(ε x ), θ C (R + ), where θ(r) = 0 for r, θ(r) = for r, 0 θ (r), and consider the approximation u ε = (Gω ε ) f. In Question and, the constants C, C depend on K, d and α only. 3 A semi-linear elliptic equation Let be an open bounded subset of R d of class C. Let A = (a ij ) be a symmetric matrix of functions of class C on satisfying the ellipticity condition (.). We consider the Dirichlet Problem i (a ij j u) + u = G( u) + f in, (3.) u = 0 on, (3.) where f L () and G: R d R d is a Lipschitz continuous function (G( u) is the function defined pointwise as x G( u(x))). We recall the Leray-Schauder fixed-point theorem (also called Schaefer s fixed-point Theorem): Theorem 3.. Let T : X X be a continuous and compact mapping of the Banach space X. Assume that the set {u X; u = λt (u), λ [0, ]} is bounded. Then T has a fixed-point in X. Show that, if Lip(G) is small enough compared to θ, then (3.)-(3.) has a unique weak solution in H H 0 (). You may consider the mapping v = T (u) defined on X = H 0 () by the fact that v is the weak solution to the Dirichlet problem for the equation i (a ij j v) + v = f u := G( u) + f. (3.3) It is usually deduced from the Schauder fixed-point theorem, which is a generalization in infinite dimension of the Brouwer fixed-point theorem 3

4 Estimates in the sup-norm II We go on Exercise. We assume now d 4 and f L p (), where p > d. Note that f L () thus. We will show an estimate somehow analogous to (.4): u L () C( f Lp () + u L ()), (4.) for a constant C that depends on d,, p only. We recall the following Sobolev inequality: and also the interpolation inequality for all r < s < t and all v L t ().. Let q satisfy Show that for all v L (). v L () C S v L (), = d, v H 0 (), (4.) v L s () v θ L r () v θ L t (), s = θ r + θ, (4.3) t < q < q + <. (4.4) v L q+ () v θ L q () v θ L (), q + = θ q + θ, (4.5). Let q be the conjugate exponent to p. Show that q satisfies (4.4). 3. Let u be the weak solution to (.)-(.3). Let ϕ: R R be a Lipschitz function such that ϕ(0) = 0 and ϕ 0 a.e. Show that ζ(u) L () θ C S f Lp () ϕ(u) Lq (), ζ(u) := u 0 ϕ (s)ds. (4.6) 4. By considering ϕ k (u) = (min(u, k) z) + for 0 z k, show that (u z) + L () and that (u z) + L () θ C S f Lp () (u z) + Lq (). (4.7) 5. Show that (u z) + L q+ () [ θ ] C S f θ L p () (u z) + +θ L q (). (4.8) 6. We introduce the function F (z) = (u z) + q+ L q+ (). Show that F (z) (q + ) [ θ ] θ +θ C S f Lp () F (z) β, β = q q + + θ <. (4.9) 7. Prove that there exists z > 0 such that F (z) = 0 for z z. What does this imply on u? 8. Establish (4.). 4

5 Hölder regularity II We go on the exercise. We will show that, for every δ (0, α), where the constant C 3 depends on K, d, α, δ only. D u Ċδ (K) C 3 f Ċα (R 3 ), (5.). Show that u is twice differentiable, with x ix j u(x) = x ix j G(x y)(f(y) f(x))dy f(x) B(0,R ) B(0,R ) xi G(x y)ν j (y)dσ(y), (5.) where ν(y) is the outward unit normal to B(0, R ) at y B(0, R ) (you may use the same cut-off function as in Exercise, Question ).. Show (5.). 6 Comparison for the mean curvature equation Let A: R d R d be a function of class C. We set a ij (p) = ai p j (p) and we assume that for all R > 0, there exists θ(r) > 0 such that a ij (p)ξ i ξ j θ(r) ξ, ξ R d, p B(0, R). (6.) i,j Let be an open bounded subset of R d. Let u, v Lip( ) H () satisfy the inequalities in the following weak sense: for all ϕ H 0 (), and. Show that u v a.e. div(a( u)) div(a( v)) in, u v on (6.) (A( u) A( v)) ϕdx 0, (6.3) (u v) + H 0 (). (6.4). We consider the case of the mean-curvature operator: A(p) = d. + p (a) Show that (6.) is satisfied. (b) Let u Lip( ) H () be a weak solution to the mean-curvature equation ( ) d div u = 0. (6.5) + u Show that sup u = sup u. (c) We assume = B(0, ) and let r >. Let u Lip( ) H () be a weak solution to the mean-curvature equation ( ) d div u = + u r. (6.6) Show that u(x) sup u+ r x for all x. You will admit that the function w : x r x is solution to (6.6). 5

7 Maximum principle: estimates on the gradient Let be an open bounded subset of R d. Let A = (a ij ) i,j d be a symmetric definite positive d d matrix (note well that a ij is independent on x). Let f Lip( ). We will establish gradient estimates for solutions u to the equation Lu = f with Dirichlet homogeneous boundary condition, where L is the elliptic operator d Lu = a ij iju, i,j= under the assumption that there exists a function ψ Lip() C () such that Lψ f in and ψ = 0 on. For simplicity, we will consider the case f = Cst > 0 only.. Let ω. Let u, v C (ω) C( ω) satisfy Lu Lv in ω. Show that. Let u C () C( ) satisfy Lu = f in. sup(u v) sup(u v). (7.) ω (a) Show that { } { } u(x) u(y) u(x) u(y) sup ; x, y, x y = sup ; x, y. (7.) x y x y ω Hint: given x, x with τ := x x 0, compare u and u τ : x u(x + τ) in ω := ( τ + ). (b) We assume furthermore u = 0 on. Show that Lip(u) Lip(ψ). 3. A ψ as above is called a barrier function. Construct a barrier function in the case = B(0, ) (you may consider ψ(x) = γ x + C for some given constants γ > 0, C R). 6