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

Size: px
Start display at page:

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

Transcription

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

2 ψ ( 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

3 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 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 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

6 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

The continuity method

The 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 information

Regularity for Poisson Equation

Regularity for Poisson Equation Regularity for Poisson Equation OcMountain Daylight Time. 4, 20 Intuitively, the solution u to the Poisson equation u= f () should have better regularity than the right hand side f. In particular one expects

More information

Sobolev Spaces. Chapter 10

Sobolev 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 information

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.

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

Laplace s Equation. Chapter Mean Value Formulas

Laplace 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 information

CHAPTER 2. Laplace s equation

CHAPTER 2. Laplace s equation 18 CHAPTER 2 Laplace s equation There can be but one option as to the beauty and utility of this analysis by Laplace; but the manner in which it has hitherto been presented has seemed repulsive to the

More information

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

i=1 α i. Given an m-times continuously 1 Fundamentals 1.1 Classification and characteristics Let Ω R d, d N, d 2, be an open set and α = (α 1,, α d ) T N d 0, N 0 := N {0}, a multiindex with α := d i=1 α i. Given an m-times continuously differentiable

More information

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

Some 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 information

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

Solution Sheet 3. Solution Consider. with the metric. We also define a subset. and thus for any x, y X 0 Solution Sheet Throughout this sheet denotes a domain of R n with sufficiently smooth boundary. 1. Let 1 p

More information

Sobolev Spaces. Chapter Hölder spaces

Sobolev 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 information

On the p-laplacian and p-fluids

On the p-laplacian and p-fluids LMU Munich, Germany Lars Diening On the p-laplacian and p-fluids Lars Diening On the p-laplacian and p-fluids 1/50 p-laplacian Part I p-laplace and basic properties Lars Diening On the p-laplacian and

More information

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

A metric space X is a non-empty set endowed with a metric ρ (x, y): Chapter 1 Preliminaries References: Troianiello, G.M., 1987, Elliptic differential equations and obstacle problems, Plenum Press, New York. Friedman, A., 1982, Variational principles and free-boundary

More information

SHARP BOUNDARY TRACE INEQUALITIES. 1. Introduction

SHARP 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 information

SOLUTION OF POISSON S EQUATION. Contents

SOLUTION 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 information

Oblique derivative problems for elliptic and parabolic equations, Lecture II

Oblique derivative problems for elliptic and parabolic equations, Lecture II of the for elliptic and parabolic equations, Lecture II Iowa State University July 22, 2011 of the 1 2 of the of the As a preliminary step in our further we now look at a special situation for elliptic.

More information

Boot camp - Problem set

Boot 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 information

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.

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. Printed Name: Signature: Applied Math Qualifying Exam 11 October 2014 Instructions: Work 2 out of 3 problems in each of the 3 parts for a total of 6 problems. 2 Part 1 (1) Let Ω be an open subset of R

More information

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

Sobolevology. 1. Definitions and Notation. When α = 1 this seminorm is the same as the Lipschitz constant of the function f. 2. Sobolevology 1. Definitions and Notation 1.1. The domain. is an open subset of R n. 1.2. Hölder seminorm. For α (, 1] the Hölder seminorm of exponent α of a function is given by f(x) f(y) [f] α = sup x

More information

Mathematical analysis of the stationary Navier-Stokes equations

Mathematical analysis of the stationary Navier-Stokes equations Mathematical analysis of the Department of Mathematics, Sogang University, Republic of Korea The 3rd GCOE International Symposium Weaving Science Web beyond Particle Matter Hierarchy February 17-19, 2011,

More information

Math The Laplacian. 1 Green s Identities, Fundamental Solution

Math 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 information

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

In this chapter we study elliptical PDEs. That is, PDEs of the form. 2 u = lots, Chapter 8 Elliptic PDEs In this chapter we study elliptical PDEs. That is, PDEs of the form 2 u = lots, where lots means lower-order terms (u x, u y,..., u, f). Here are some ways to think about the physical

More information

Poisson Equation on Closed Manifolds

Poisson Equation on Closed Manifolds Poisson Equation on Closed anifolds Andrew acdougall December 15, 2011 1 Introduction The purpose of this project is to investigate the poisson equation φ = ρ on closed manifolds (compact manifolds without

More information

Stationary mean-field games Diogo A. Gomes

Stationary 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 information

2 A Model, Harmonic Map, Problem

2 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 information

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

THE DIRICHLET PROBLEM WITH BM O BOUNDARY DATA AND ALMOST-REAL COEFFICIENTS THE DIRICHLET PROBLEM WITH BM O BOUNDARY DATA AND ALMOST-REAL COEFFICIENTS ARIEL BARTON Abstract. It is known that a function, harmonic in a Lipschitz domain, is the Poisson extension of a BMO function

More information

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

On positive solutions of semi-linear elliptic inequalities on Riemannian manifolds On positive solutions of semi-linear elliptic inequalities on Riemannian manifolds Alexander Grigor yan University of Bielefeld University of Minnesota, February 2018 Setup and problem statement Let (M,

More information

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

Minimal 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 information

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

CONVERGENCE THEORY. G. ALLAIRE CMAP, Ecole Polytechnique. 1. Maximum principle. 2. Oscillating test function. 3. Two-scale convergence 1 CONVERGENCE THEOR G. ALLAIRE CMAP, Ecole Polytechnique 1. Maximum principle 2. Oscillating test function 3. Two-scale convergence 4. Application to homogenization 5. General theory H-convergence) 6.

More information

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

MINIMAL GRAPHS PART I: EXISTENCE OF LIPSCHITZ WEAK SOLUTIONS TO THE DIRICHLET PROBLEM WITH C 2 BOUNDARY DATA 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

More information

Partial Differential Equations

Partial 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 information

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

4 Riesz Kernels. Since the functions k i (ξ) = ξ i. are bounded functions it is clear that R 4 Riesz Kernels. A natural generalization of the Hilbert transform to higher dimension is mutiplication of the Fourier Transform by homogeneous functions of degree 0, the simplest ones being R i f(ξ) =

More information

(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

(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 Exercise For k 0,,... let k be the rectangle in the plane (2 k, 0 + ((0, (0, and for k, 2,... let [3, 2 k ] (0, ε k. Thus is a passage connecting the room k to the room k. Let ( k0 k (. We assume ε k

More information

PDEs in Image Processing, Tutorials

PDEs in Image Processing, Tutorials PDEs in Image Processing, Tutorials Markus Grasmair Vienna, Winter Term 2010 2011 Direct Methods Let X be a topological space and R: X R {+ } some functional. following definitions: The mapping R is lower

More information

Singular Integrals. 1 Calderon-Zygmund decomposition

Singular Integrals. 1 Calderon-Zygmund decomposition Singular Integrals Analysis III Calderon-Zygmund decomposition Let f be an integrable function f dx 0, f = g + b with g Cα almost everywhere, with b

More information

Elliptic Partial Differential Equations of Second Order

Elliptic Partial Differential Equations of Second Order David Gilbarg Neil S.Trudinger Elliptic Partial Differential Equations of Second Order Reprint of the 1998 Edition Springer Chapter 1. Introduction 1 Part I. Linear Equations Chapter 2. Laplace's Equation

More information

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

MATH COURSE NOTES - CLASS MEETING # Introduction to PDEs, Spring 2018 Professor: Jared Speck MATH 8.52 COURSE NOTES - CLASS MEETING # 6 8.52 Introduction to PDEs, Spring 208 Professor: Jared Speck Class Meeting # 6: Laplace s and Poisson s Equations We will now study the Laplace and Poisson equations

More information

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

SYMMETRY 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 information

UNIVERSITY OF MANITOBA

UNIVERSITY OF MANITOBA Question Points Score INSTRUCTIONS TO STUDENTS: This is a 6 hour examination. No extra time will be given. No texts, notes, or other aids are permitted. There are no calculators, cellphones or electronic

More information

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

The Dirichlet boundary problems for second order parabolic operators satisfying a Carleson condition The Dirichlet boundary problems for second order parabolic operators satisfying a Carleson condition Sukjung Hwang CMAC, Yonsei University Collaboration with M. Dindos and M. Mitrea The 1st Meeting of

More information

Calculus of Variations. Final Examination

Calculus 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 information

2 Two-Point Boundary Value Problems

2 Two-Point Boundary Value Problems 2 Two-Point Boundary Value Problems Another fundamental equation, in addition to the heat eq. and the wave eq., is Poisson s equation: n j=1 2 u x 2 j The unknown is the function u = u(x 1, x 2,..., x

More information

Obstacle Problems Involving The Fractional Laplacian

Obstacle Problems Involving The Fractional Laplacian Obstacle Problems Involving The Fractional Laplacian Donatella Danielli and Sandro Salsa January 27, 2017 1 Introduction Obstacle problems involving a fractional power of the Laplace operator appear in

More information

Sobolev spaces. May 18

Sobolev spaces. May 18 Sobolev spaces May 18 2015 1 Weak derivatives The purpose of these notes is to give a very basic introduction to Sobolev spaces. More extensive treatments can e.g. be found in the classical references

More information

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

The Dirichlet problem for non-divergence parabolic equations with discontinuous in time coefficients in a wedge The Dirichlet problem for non-divergence parabolic equations with discontinuous in time coefficients in a wedge Vladimir Kozlov (Linköping University, Sweden) 2010 joint work with A.Nazarov Lu t u a ij

More information

Regularity Theory. Lihe Wang

Regularity Theory. Lihe Wang Regularity Theory Lihe Wang 2 Contents Schauder Estimates 5. The Maximum Principle Approach............... 7.2 Energy Method.......................... 3.3 Compactness Method...................... 7.4 Boundary

More information

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

1. 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 information

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 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 7 April 5 th, 004 Higher boundary regularity We extend our results to include the boundary. Higher a priori regularity upto the boundary. Let u C () C 0 ( ) be a solution of Lu = f on, u = ϕ on.

More information

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

LECTURE # 0 BASIC NOTATIONS AND CONCEPTS IN THE THEORY OF PARTIAL DIFFERENTIAL EQUATIONS (PDES) LECTURE # 0 BASIC NOTATIONS AND CONCEPTS IN THE THEORY OF PARTIAL DIFFERENTIAL EQUATIONS (PDES) RAYTCHO LAZAROV 1 Notations and Basic Functional Spaces Scalar function in R d, d 1 will be denoted by u,

More information

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

MATH COURSE NOTES - CLASS MEETING # Introduction to PDEs, Fall 2011 Professor: Jared Speck MATH 8.52 COURSE NOTES - CLASS MEETING # 6 8.52 Introduction to PDEs, Fall 20 Professor: Jared Speck Class Meeting # 6: Laplace s and Poisson s Equations We will now study the Laplace and Poisson equations

More information

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

OPTIMAL POTENTIALS FOR SCHRÖDINGER OPERATORS. 1. Introduction In this paper we consider optimization problems of the form. min F (V ) : V V, (1. OPTIMAL POTENTIALS FOR SCHRÖDINGER OPERATORS G. BUTTAZZO, A. GEROLIN, B. RUFFINI, AND B. VELICHKOV Abstract. We consider the Schrödinger operator + V (x) on H 0 (), where is a given domain of R d. Our

More information

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

On existence theorems of nonlinear partial differential systems of Poisson type in R n On existence theorems of nonlinear partial differential systems of Poisson type in R n Yifei Pan September 1, 212 Abstract We prove some general existence theorems for nonlinear partial differential systems

More information

ON WEAKLY NONLINEAR BACKWARD PARABOLIC PROBLEM

ON 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 information

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)

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) Mollifiers and Smooth Functions We say a function f from C is C (or simply smooth) if all its derivatives to every order exist at every point of. For f : C, we say f is C if all partial derivatives to

More information

TD 1: Hilbert Spaces and Applications

TD 1: Hilbert Spaces and Applications Université Paris-Dauphine Functional Analysis and PDEs Master MMD-MA 2017/2018 Generalities TD 1: Hilbert Spaces and Applications Exercise 1 (Generalized Parallelogram law). Let (H,, ) be a Hilbert space.

More information

On non negative solutions of some quasilinear elliptic inequalities

On non negative solutions of some quasilinear elliptic inequalities On non negative solutions of some quasilinear elliptic inequalities Lorenzo D Ambrosio and Enzo Mitidieri September 28 2006 Abstract Let f : R R be a continuous function. We prove that under some additional

More information

Week 6 Notes, Math 865, Tanveer

Week 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 information

Regularity of the p-poisson equation in the plane

Regularity of the p-poisson equation in the plane Regularity of the p-poisson equation in the plane Erik Lindgren Peter Lindqvist Department of Mathematical Sciences Norwegian University of Science and Technology NO-7491 Trondheim, Norway Abstract We

More information

MATH 425, FINAL EXAM SOLUTIONS

MATH 425, FINAL EXAM SOLUTIONS MATH 425, FINAL EXAM SOLUTIONS Each exercise is worth 50 points. Exercise. a The operator L is defined on smooth functions of (x, y by: Is the operator L linear? Prove your answer. L (u := arctan(xy u

More information

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)

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) Sep. 7 The L aplace/ P oisson Equations: Explicit Formulas In this lecture we study the properties of the Laplace equation and the Poisson equation with Dirichlet boundary conditions through explicit representations

More information

ESTIMATES FOR ELLIPTIC HOMOGENIZATION PROBLEMS IN NONSMOOTH DOMAINS. Zhongwei Shen

ESTIMATES FOR ELLIPTIC HOMOGENIZATION PROBLEMS IN NONSMOOTH DOMAINS. Zhongwei Shen W,p ESTIMATES FOR ELLIPTIC HOMOGENIZATION PROBLEMS IN NONSMOOTH DOMAINS Zhongwei Shen Abstract. Let L = div`a` x, > be a family of second order elliptic operators with real, symmetric coefficients on a

More information

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

is 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 information

u xx + u yy = 0. (5.1)

u xx + u yy = 0. (5.1) Chapter 5 Laplace Equation The following equation is called Laplace equation in two independent variables x, y: The non-homogeneous problem u xx + u yy =. (5.1) u xx + u yy = F, (5.) where F is a function

More information

Sobolev Spaces 27 PART II. Review of Sobolev Spaces

Sobolev Spaces 27 PART II. Review of Sobolev Spaces Sobolev Spaces 27 PART II Review of Sobolev Spaces Sobolev Spaces 28 SOBOLEV SPACES WEAK DERIVATIVES I Given R d, define a multi index α as an ordered collection of integers α = (α 1,...,α d ), such that

More information

Liquid crystal flows in two dimensions

Liquid crystal flows in two dimensions Liquid crystal flows in two dimensions Fanghua Lin Junyu Lin Changyou Wang Abstract The paper is concerned with a simplified hydrodynamic equation, proposed by Ericksen and Leslie, modeling the flow of

More information

The De Giorgi-Nash-Moser Estimates

The De Giorgi-Nash-Moser Estimates The De Giorgi-Nash-Moser Estimates We are going to discuss the the equation Lu D i (a ij (x)d j u) = 0 in B 4 R n. (1) The a ij, with i, j {1,..., n}, are functions on the ball B 4. Here and in the following

More information

Sobolev spaces, Trace theorems and Green s functions.

Sobolev spaces, Trace theorems and Green s functions. Sobolev spaces, Trace theorems and Green s functions. Boundary Element Methods for Waves Scattering Numerical Analysis Seminar. Orane Jecker October 21, 2010 Plan Introduction 1 Useful definitions 2 Distributions

More information

PART IV Spectral Methods

PART IV Spectral Methods PART IV Spectral Methods Additional References: R. Peyret, Spectral methods for incompressible viscous flow, Springer (2002), B. Mercier, An introduction to the numerical analysis of spectral methods,

More information

Course Description for Real Analysis, Math 156

Course Description for Real Analysis, Math 156 Course Description for Real Analysis, Math 156 In this class, we will study elliptic PDE, Fourier analysis, and dispersive PDE. Here is a quick summary of the topics will study study. They re described

More information

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

The Dirichlet boundary problems for second order parabolic operators satisfying a Carleson condition The Dirichlet boundary problems for second order parabolic operators satisfying a Martin Dindos Sukjung Hwang University of Edinburgh Satellite Conference in Harmonic Analysis Chosun University, Gwangju,

More information

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

Scientific Computing WS 2018/2019. Lecture 15. Jürgen Fuhrmann Lecture 15 Slide 1 Scientific Computing WS 2018/2019 Lecture 15 Jürgen Fuhrmann juergen.fuhrmann@wias-berlin.de Lecture 15 Slide 1 Lecture 15 Slide 2 Problems with strong formulation Writing the PDE with divergence and gradient

More information

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

Partial 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 information

Fundamental Solutions and Green s functions. Simulation Methods in Acoustics

Fundamental Solutions and Green s functions. Simulation Methods in Acoustics Fundamental Solutions and Green s functions Simulation Methods in Acoustics Definitions Fundamental solution The solution F (x, x 0 ) of the linear PDE L {F (x, x 0 )} = δ(x x 0 ) x R d Is called the fundamental

More information

Unbounded operators on Hilbert spaces

Unbounded operators on Hilbert spaces Chapter 1 Unbounded operators on Hilbert spaces Definition 1.1. Let H 1, H 2 be Hilbert spaces and T : dom(t ) H 2 be a densely defined linear operator, i.e. dom(t ) is a dense linear subspace of H 1.

More information

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

ξ,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ξ, 1 PDE, HW 3 solutions Problem 1. No. If a sequence of harmonic polynomials on [ 1,1] n converges uniformly to a limit f then f is harmonic. Problem 2. By definition U r U for every r >. Suppose w is a

More information

Lecture 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 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 information

Elliptic PDEs of 2nd Order, Gilbarg and Trudinger

Elliptic PDEs of 2nd Order, Gilbarg and Trudinger Elliptic PDEs of 2nd Order, Gilbarg and Trudinger Chapter 2 Laplace Equation Yung-Hsiang Huang 207.07.07. Mimic the proof for Theorem 3.. 2. Proof. I think we should assume u C 2 (Ω Γ). Let W be an open

More information

Behavior of space periodic laminar flames near the extinction point

Behavior of space periodic laminar flames near the extinction point Behavior of space periodic laminar flames near the extinction point Sunhi Choi Abstract In this paper we study a free boundary problem, arising from a model for the propagation of laminar flames. Consider

More information

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

MATH 263: PROBLEM SET 1: BUNDLES, SHEAVES AND HODGE THEORY MATH 263: PROBLEM SET 1: BUNDLES, SHEAVES AND HODGE THEORY 0.1. Vector Bundles and Connection 1-forms. Let E X be a complex vector bundle of rank r over a smooth manifold. Recall the following abstract

More information

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

LECTURE 1: SOURCES OF ERRORS MATHEMATICAL TOOLS A PRIORI ERROR ESTIMATES. Sergey Korotov, LECTURE 1: SOURCES OF ERRORS MATHEMATICAL TOOLS A PRIORI ERROR ESTIMATES Sergey Korotov, Institute of Mathematics Helsinki University of Technology, Finland Academy of Finland 1 Main Problem in Mathematical

More information

On some nonlinear parabolic equation involving variable exponents

On some nonlinear parabolic equation involving variable exponents On some nonlinear parabolic equation involving variable exponents Goro Akagi (Kobe University, Japan) Based on a joint work with Giulio Schimperna (Pavia Univ., Italy) Workshop DIMO-2013 Diffuse Interface

More information

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

Elementary Theory and Methods for Elliptic Partial Differential Equations. John Villavert Elementary Theory and Methods for Elliptic Partial Differential Equations John Villavert Contents 1 Introduction and Basic Theory 4 1.1 Harmonic Functions............................... 5 1.1.1 Mean Value

More information

Critical Point Theory 0 and applications

Critical Point Theory 0 and applications Critical Point Theory 0 and applications Introduction This notes are the result of two Ph.D. courses I held at the University of Florence in Spring 2006 and in Spring 2010 on Critical Point Theory, as

More information

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

REGULARITY OF SUBELLIPTIC MONGE-AMPÈRE EQUATIONS IN THE PLANE REGULARITY OF SUBELLIPTIC MONGE-AMPÈRE EQUATIONS IN THE PLANE PENGFEI GUAN AND ERIC SAWYER (.). Introduction There is a vast body of elliptic regularity results for the Monge-Ampère equation det D u (x)

More information

Green s Functions and Distributions

Green s Functions and Distributions CHAPTER 9 Green s Functions and Distributions 9.1. Boundary Value Problems We would like to study, and solve if possible, boundary value problems such as the following: (1.1) u = f in U u = g on U, where

More information

Finite difference method for elliptic problems: I

Finite difference method for elliptic problems: I Finite difference method for elliptic problems: I Praveen. C praveen@math.tifrbng.res.in Tata Institute of Fundamental Research Center for Applicable Mathematics Bangalore 560065 http://math.tifrbng.res.in/~praveen

More information

Variational Formulations

Variational Formulations Chapter 2 Variational Formulations In this chapter we will derive a variational (or weak) formulation of the elliptic boundary value problem (1.4). We will discuss all fundamental theoretical results that

More information

Nonlinear aspects of Calderón-Zygmund theory

Nonlinear 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 information

2. Function spaces and approximation

2. Function spaces and approximation 2.1 2. Function spaces and approximation 2.1. The space of test functions. Notation and prerequisites are collected in Appendix A. Let Ω be an open subset of R n. The space C0 (Ω), consisting of the C

More information

Numerical Solutions to Partial Differential Equations

Numerical Solutions to Partial Differential Equations Numerical Solutions to Partial Differential Equations Zhiping Li LMAM and School of Mathematical Sciences Peking University Sobolev Embedding Theorems Embedding Operators and the Sobolev Embedding Theorem

More information

Linear Analysis Lecture 5

Linear Analysis Lecture 5 Linear Analysis Lecture 5 Inner Products and V Let dim V < with inner product,. Choose a basis B and let v, w V have coordinates in F n given by x 1. x n and y 1. y n, respectively. Let A F n n be the

More information

Partial Differential Equations. William G. Faris

Partial Differential Equations. William G. Faris Partial Differential Equations William G. Faris May 17, 1999 Contents 1 The Laplace equation 5 1.1 Gradient and divergence....................... 5 1.2 Equilibrium conservation laws....................

More information

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

l(y j ) = 0 for all y j (1) Problem 1. The closed linear span of a subset {y j } of a normed vector space is defined as the intersection of all closed subspaces containing all y j and thus the smallest such subspace. 1 Show that

More information

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

SUPERCONVERGENCE PROPERTIES FOR OPTIMAL CONTROL PROBLEMS DISCRETIZED BY PIECEWISE LINEAR AND DISCONTINUOUS FUNCTIONS SUPERCONVERGENCE PROPERTIES FOR OPTIMAL CONTROL PROBLEMS DISCRETIZED BY PIECEWISE LINEAR AND DISCONTINUOUS FUNCTIONS A. RÖSCH AND R. SIMON Abstract. An optimal control problem for an elliptic equation

More information

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

WELL-POSEDNESS OF WEAK SOLUTIONS TO ELECTRORHEOLOGICAL FLUID EQUATIONS WITH DEGENERACY ON THE BOUNDARY Electronic Journal of Differential Equations, Vol. 2017 (2017), No. 13, pp. 1 15. ISSN: 1072-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu WELL-POSEDNESS OF WEAK SOLUTIONS TO ELECTRORHEOLOGICAL

More information

Some Aspects of Solutions of Partial Differential Equations

Some Aspects of Solutions of Partial Differential Equations Some Aspects of Solutions of Partial Differential Equations K. Sakthivel Department of Mathematics Indian Institute of Space Science & Technology(IIST) Trivandrum - 695 547, Kerala Sakthivel@iist.ac.in

More information

4 Divergence theorem and its consequences

4 Divergence theorem and its consequences Tel Aviv University, 205/6 Analysis-IV 65 4 Divergence theorem and its consequences 4a Divergence and flux................. 65 4b Piecewise smooth case............... 67 4c Divergence of gradient: Laplacian........

More information

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:

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: 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 information

Mixed boundary value problems for quasilinear elliptic equations

Mixed boundary value problems for quasilinear elliptic equations Graduate Theses and Dissertations Graduate College 2013 Mixed boundary value problems for quasilinear elliptic equations Chunquan Tang Iowa State University Follow this and additional works at: http://lib.dr.iastate.edu/etd

More information

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

Regularity 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 information

Functional Analysis Exercise Class

Functional Analysis Exercise Class Functional Analysis Exercise Class Week 9 November 13 November Deadline to hand in the homeworks: your exercise class on week 16 November 20 November Exercises (1) Show that if T B(X, Y ) and S B(Y, Z)

More information