Class Meeting # 9: Poisson s Formula, Harnack s Inequality, and Liouville s Theorem
|
|
- Clifford Craig
- 5 years ago
- Views:
Transcription
1 MATH 8.52 COUSE NOTES - CLASS MEETING # Introduction to PDEs, Fall 20 Professor: Jared Speck Class Meeting # 9: Poisson s Formula, Harnack s Inequality, and Liouville s Theorem. epresentation Formula for Solutions to Poisson s Equation We now derive our main representation formula for solution s to Poisson s equation on a domain Ω. Theorem. (epresentation formula for solutions to the boundary value Poisson equation). Let Ω be a domain with a smooth boundary, and assume that f C 2 (Ω) and g C( Ω). Then the unique solution u C 2 (Ω) C(Ω) to (.0.) u(x) = f(x), x Ω n, u(x) = g(x), x Ω. can be represented as (.0.2) where G(x, y) is the Green function for Ω. u(x) = f(y)g(x, y) d n y + Ω g(σ) ˆN(σ) G(x, σ) dσ, Ω Poisson kernel Proof. Applying the epresentation formula for u Proposition, we have that (.0.3) u(x) = Ω Φ(x y)f(y) d n y Ω Φ(x σ) ˆN(σ) u(σ) dσ + Ω g(σ) ˆN(σ) Φ(x σ) dσ. ecall also that (.0.4) G(x, y) = Φ(x y) φ(x, y), where (.0.5) y φ(x, y) = 0, x Ω, and (.0.6) G(x, σ) = 0 when x Ω and σ Ω. The expression (.0.3) is not very useful since don t know the value of ˆN(σ) u(σ) along Ω. To fix this, we will use Green s identity. Applying Green s identity to the functions u(y) and φ(x, y), and recalling that y φ(x, y) = 0 for each fixed x Ω, we have that
2 2 MATH 8.52 COUSE NOTES - CLASS MEETING # 9 (.0.7) u(y) Φ(x σ) u(σ) 0 = φ(x, y) f(y) d n y Ω φ(x, σ) ˆNu(σ) dσ + Ω g(σ) ˆNφ(x, σ) dσ. Ω Subtracting (.0.7) from (.0.3), and using (.0.4), we deduce the formula (.0.2). 2. Poisson s Formula Let s compute the Green function G(x, y) and Poisson kernel P (x, σ) def = ˆNG(x, σ) from (.0.2) in the case that Ω def = B (0) 3 is a ball of radius centered at the origin. We ll use a technique called the method of images that works for special domains. Warning Brace yourself for a bunch of tedious computations that at the end of the day will lead to a very nice expression. The basic idea is to hope that φ(x, y) from the decomposition G(x, y) = Φ(x y) φ(x, y), where φ(x, y) is viewed as a function of x that depends on the parameter y, is equal to the Newtonian potential generated by some imaginary charge q placed at a point x B c (0). To ensure that G(x, σ) = 0 when σ B (0), q and x have to be chosen so that along the boundary {y 3 y = }, φ(x, y) = 4π x y. In a nutshell, we guess that (2.0.8) G(x, y) = 4π x y + q, 4π x y φ(x,y)? and we try to solve for q and x so that G(x, y) vanishes when y =. q emark Note that y 4π x y = 0, which is one of the conditions necessary for constructing G(x, y). By the definition of G(x, y), we must have G(x, y) = 0 when y =, which implies that (2.0.9) Simple algebra then leads to 4π x y = q 4π x y. (2.0.0) When y =, we use (2.0.0) to compute that (2.0.) x y 2 = q 2 x y 2. x 2 2x y + 2 = x y 2 = q 2 x y 2 = q 2 ( x 2 2x y + 2 ), where denotes the Euclidean dot product. Then performing simple algebra, it follows from (2.0.) that (2.0.2) x q 2 ( 2 + x 2 ) = 2y (x q 2 x). Now since the left-hand side of (2.0.2) does not depend on y, it must be the case that the right-hand side is always 0. This implies that x = q 2 x, and also leads to the equation
3 MATH 8.52 COUSE NOTES - CLASS MEETING # 9 3 (2.0.3) Solving (2.0.3) for q, we finally have that q 4 x 2 q 2 ( 2 + x 2 ) + 2 = 0. (2.0.4) (2.0.5) Therefore, q = x, x = 2 x 2 x. (2.0.6) (2.0.7) φ(x, y) = 4π φ(0, y) = 4π, x 2 x x y, 2 where we took a limit as x 0 in (2.0.6) to derive (2.0.7). Next, using (2.0.8), we have (2.0.8) (2.0.9) G(x, y) = 4π x y + 4π G(0, y) = 4π y + 4π. For future use, we also compute that (2.0.20) x 2 x x y, x 0, 2 y G(x, y) = x y 4π x y + x y 3 4π x x y. 3 Now when σ B (0), (2.0.0) and (2.0.4) imply that (2.0.2) x σ = x σ. x Therefore, using (2.0.20) and (2.0.2), we compute that (2.0.22) σ G(x, σ) = x σ 4π x σ + x 2 3 4π 2 σ x 2 = ( 4π x σ 3 ). 2 Using (2.0.22) and the fact that ˆN(σ) = σ, we deduce x σ x σ = x σ 3 4π x σ + 3 4π x x 2 x σ x σ 3 (2.0.23) ˆN(σ) G(x, σ) def = σ G(x, σ) ˆN(σ) 2 x 2 = 4π x σ. 3
4 4 MATH 8.52 COUSE NOTES - CLASS MEETING # 9 emark If the ball were centered at the point p 3 instead of the origin, then the formula (2.0.23) would be replaced with (2.0.24) ˆN(σ) G(x, σ) def = σ G(x, σ) ˆN(σ) 2 x p 2 = 4π x σ. 3 Let s summarize this by stating a lemma. Lemma The Green function for a ball B (p) 3 is (2.0.25a) (2.0.25b) G(x, y) = 4π x y + 4π G(p, y) = 4π y p + 4π. Furthermore, if x B (p) and σ B (p), then (2.0.25c) x p 2 x p (x p) (y p), x p, 2 ˆN(σ) G(x, σ) = 2 x p 2 4π x σ 3. We can now easily derive a representation formula for solutions to the Laplace equation on a ball. Theorem 2. (Poisson s formula). Let B (p) 3 be a ball of radius centered at p = (p, p 2, p 3 ), and let x = (x, x 2, x 3 ) denote a point in 3. Let g C( B (p)). Then the unique solution u C 2 (B (p)) C(B (p)) of the PDE (2.0.26) can be represented using the Poisson formula: (2.0.27) { u(x) = 0, x B (p), u(x) = g(x), x B (p), u(x) = 2 x p 2 4π B (p) g(σ) x σ 3 dσ. emark In n dimensions, the formula (2.0.27) gets replaced with (2.0.28) u(x) = 2 x p 2 ω n B (p) where as usual, ω n is the surface area of the unit ball in n. g(σ) x σ n dσ, Proof. The identity (2.0.27) follows immediately from Theorem. and Lemma Harnack s inequality We will now use some of our tools to prove a famous inequality for Harmonic functions. The theorem provides some estimates that place limitations on how slow/fast harmonic functions are allowed to grow.
5 MATH 8.52 COUSE NOTES - CLASS MEETING # 9 5 Theorem 3. (Harnack s inequality). Let B (0) n be the ball of radius centered at the origin, and let u C 2 (B (0)) C(B (0)) be the unique solution to (2.0.26). Assume that u is non-negative on B (0). Then for any x B (0), we have that (3.0.29) n 2 ( x ) ( + x ) u(0) u(x) n 2 ( + x ) u(0). n ( x ) n Proof. We ll do the proof for n = 3. The basic idea is to combine the Poisson representation formula with simple inequalities and the mean value property. By Theorem 2., we have that (3.0.30) u(x) = 2 x 2 4π g(σ) B (0) x σ dσ. 3 By the triangle inequality, for σ B (0) (i.e. σ = ), we have that x x σ x +. Applying the first inequality to (3.0.30), and using the non-negativity of g, we deduce that (3.0.3) u(x) + x 2 x 2 4π g(σ) dσ. B (0) Now recall that by the mean value property, we have that (3.0.32) u(0) = Thus, combining (3.0.3) and (3.0.32), we have that (3.0.33) u(x) 4π 2 g(σ) dσ. B (0) ( + x ) ( x ) 2 u(0), which implies one of the inequalities in (3.0.29). The other one can be proved similarly using the remaining triangle inequality. We now prove a famous consequence of Harnack s inequality. The statement is also often proved in introductory courses in complex analysis, and it plays a central role in some proofs of the fundamental theorem of algebra. Corollary (Liouville s theorem). Suppose that u C 2 ( n ) is harmonic on n. Assume that there exists a constant M such that u(x) M for all x n, or such that u(x) M for all x n. Then u is a constant-valued function. Proof. We first consider the case that u(x) M. Let v def = u + M. Observe that v 0 is harmonic and verifies the hypotheses of Theorem 3.. Thus, by (3.0.29), if x n and is sufficiently large, we have that (3.0.34) n 2 ( x ) ( + x ) v(0) v(x) n 2 ( + x ) v(0). n ( x ) n Allowing in (3.0.34), we conclude that v(x) = v(0). Thus, v is a constant-valued function (and therefore u is too).
6 6 MATH 8.52 COUSE NOTES - CLASS MEETING # 9 To handle the case u(x) M, we simply consider the function w(x) def = u(x) + M in place of v(x), and we argue as above.
Class Meeting # 9: Poisson s Formula, Harnack s Inequality, and Liouville s Theorem
MATH 85 COUSE NOTES - CLASS MEETING # 9 85 Introduction to PDEs, Fall 0 Professor: Jared Speck Class Meeting # 9: Poisson s Formula, Harnack s Inequality, and Liouville s Theorem epresentation Formula
More informationMATH 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 informationMATH 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 informationClass Meeting # 1: Introduction to PDEs
MATH 18.152 COURSE NOTES - CLASS MEETING # 1 18.152 Introduction to PDEs, Spring 2017 Professor: Jared Speck Class Meeting # 1: Introduction to PDEs 1. What is a PDE? We will be studying functions u =
More informationMATH 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 information6.3 Fundamental solutions in d
6.3. Fundamental solutions in d 5 6.3 Fundamental solutions in d Since Lapalce equation is invariant under translations, and rotations (see Exercise 6.4), we look for solutions to Laplace equation having
More informationMidterm Exam, Thursday, October 27
MATH 18.152 - MIDTERM EXAM 18.152 Introduction to PDEs, Fall 2011 Professor: Jared Speck Midterm Exam, Thursday, October 27 Answer questions I - V below. Each question is worth 20 points, for a total of
More informationClass Meeting # 12: Kirchhoff s Formula and Minkowskian Geometry
MATH 8.52 COURSE NOTES - CLASS MEETING # 2 8.52 Introduction to PDEs, Spring 207 Professor: Jared Speck Class Meeting # 2: Kirchhoff s Formula and Minkowskian Geometry. Kirchhoff s Formula We are now ready
More informationClass Meeting # 2: The Diffusion (aka Heat) Equation
MATH 8.52 COURSE NOTES - CLASS MEETING # 2 8.52 Introduction to PDEs, Fall 20 Professor: Jared Speck Class Meeting # 2: The Diffusion (aka Heat) Equation The heat equation for a function u(, x (.0.). Introduction
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 informationLecture 5: Hodge theorem
Lecture 5: Hodge theorem Jonathan Evans 4th October 2010 Jonathan Evans () Lecture 5: Hodge theorem 4th October 2010 1 / 15 Jonathan Evans () Lecture 5: Hodge theorem 4th October 2010 2 / 15 The aim of
More informationSobolev 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 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 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 informationGreen 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 informationHarmonic Functions and Brownian Motion in Several Dimensions
Harmonic Functions and Brownian Motion in Several Dimensions Steven P. Lalley October 11, 2016 1 d -Dimensional Brownian Motion Definition 1. A standard d dimensional Brownian motion is an R d valued continuous-time
More information(z 0 ) = lim. = lim. = f. Similarly along a vertical line, we fix x = x 0 and vary y. Setting z = x 0 + iy, we get. = lim. = i f
. Holomorphic Harmonic Functions Basic notation. Considering C as R, with coordinates x y, z = x + iy denotes the stard complex coordinate, in the usual way. Definition.1. Let f : U C be a complex valued
More informationTHE DIRICHLET PROBLEM FOR THE LAPLACE OPERATOR
THE DIRICHLET PROBLEM FOR THE LAPLACE OPERATOR Stefano Meda Università di Milano-Bicocca c Stefano Meda 2013 ii A Francesco Contents I The Dirichlet problem via Perron s method 1 1 The classical Dirichlet
More informationCourse 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 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 informationElliptic 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 informationHarmonic Functions and Brownian motion
Harmonic Functions and Brownian motion Steven P. Lalley April 25, 211 1 Dynkin s Formula Denote by W t = (W 1 t, W 2 t,..., W d t ) a standard d dimensional Wiener process on (Ω, F, P ), and let F = (F
More informationMath The Laplacian. 1 Green s Identities, Fundamental Solution
Math. 209 The Laplacian Green s Identities, Fundamental Solution Let be a bounded open set in R n, n 2, with smooth boundary. The fact that the boundary is smooth means that at each point x the external
More informationMATH 425, HOMEWORK 3 SOLUTIONS
MATH 425, HOMEWORK 3 SOLUTIONS Exercise. (The differentiation property of the heat equation In this exercise, we will use the fact that the derivative of a solution to the heat equation again solves the
More informationHARMONIC ANALYSIS. Date:
HARMONIC ANALYSIS Contents. Introduction 2. Hardy-Littlewood maximal function 3. Approximation by convolution 4. Muckenhaupt weights 4.. Calderón-Zygmund decomposition 5. Fourier transform 6. BMO (bounded
More informationTHE GREEN FUNCTION. Contents
THE GREEN FUNCTION CRISTIAN E. GUTIÉRREZ NOVEMBER 5, 203 Contents. Third Green s formula 2. The Green function 2.. Estimates of the Green function near the pole 2 2.2. Symmetry of the Green function 3
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 informationChapter 6: Rational Expr., Eq., and Functions Lecture notes Math 1010
Section 6.1: Rational Expressions and Functions Definition of a rational expression Let u and v be polynomials. The algebraic expression u v is a rational expression. The domain of this rational expression
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 informationIn 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 informationExercise 2. Prove that [ 1, 1] is the set of all the limit points of ( 1, 1] = {x R : 1 <
Math 316, Intro to Analysis Limits of functions We are experts at taking limits of sequences as the indexing parameter gets close to infinity. What about limits of functions as the independent variable
More informationA RELATIONSHIP BETWEEN THE DIRICHLET AND REGULARITY PROBLEMS FOR ELLIPTIC EQUATIONS. Zhongwei Shen
A RELATIONSHIP BETWEEN THE DIRICHLET AND REGULARITY PROBLEMS FOR ELLIPTIC EQUATIONS Zhongwei Shen Abstract. Let L = diva be a real, symmetric second order elliptic operator with bounded measurable coefficients.
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 informationu(0) = u 0, u(1) = u 1. To prove what we want we introduce a new function, where c = sup x [0,1] a(x) and ɛ 0:
6. Maximum Principles Goal: gives properties of a solution of a PDE without solving it. For the two-point boundary problem we shall show that the extreme values of the solution are attained on the boundary.
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 informationu 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 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 informationClass Meeting # 13: Geometric Energy Estimates
MATH 18.15 COURSE NOTES - CLASS MEETING # 13 18.15 Introduction to PDEs, Fall 011 Professor: Jared Speck Class Meeting # 13: Geometric Energy Estimates 1. m, the energy-momentum tensor, and compatible
More informationMATH 425, HOMEWORK 5, SOLUTIONS
MATH 425, HOMEWORK 5, SOLUTIONS Exercise (Uniqueness for the heat equation on R) Suppose that the functions u, u 2 : R x R t R solve: t u k 2 xu = 0, x R, t > 0 u (x, 0) = φ(x), x R and t u 2 k 2 xu 2
More informationPartial regularity for fully nonlinear PDE
Partial regularity for fully nonlinear PDE Luis Silvestre University of Chicago Joint work with Scott Armstrong and Charles Smart Outline Introduction Intro Review of fully nonlinear elliptic PDE Our result
More informationMATH 51H Section 4. October 16, Recall what it means for a function between metric spaces to be continuous:
MATH 51H Section 4 October 16, 2015 1 Continuity Recall what it means for a function between metric spaces to be continuous: Definition. Let (X, d X ), (Y, d Y ) be metric spaces. A function f : X Y is
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 informationELECTROMAGNETIC SCATTERING FROM PERTURBED SURFACES. Katharine Ott Advisor: Irina Mitrea Department of Mathematics University of Virginia
ELECTROMAGNETIC SCATTERING FROM PERTURBED SURFACES Katharine Ott Advisor: Irina Mitrea Department of Mathematics University of Virginia Abstract This paper is concerned with the study of scattering of
More informationMean value properties on Sierpinski type fractals
Mean value properties on Sierpinski type fractals Hua Qiu (Joint work with Robert S. Strichartz) Department of Mathematics Nanjing University, Cornell University Department of Mathematics, Nanjing University
More informationCHAPTER 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 informationNOTES ON SCHAUDER ESTIMATES. r 2 x y 2
NOTES ON SCHAUDER ESTIMATES CRISTIAN E GUTIÉRREZ JULY 26, 2005 Lemma 1 If u f in B r y), then ux) u + r2 x y 2 B r y) B r y) f, x B r y) Proof Let gx) = ux) Br y) u r2 x y 2 Br y) f We have g = u + Br
More informationMATH 6337: Homework 8 Solutions
6.1. MATH 6337: Homework 8 Solutions (a) Let be a measurable subset of 2 such that for almost every x, {y : (x, y) } has -measure zero. Show that has measure zero and that for almost every y, {x : (x,
More informationMath 40510, Algebraic Geometry
Math 40510, Algebraic Geometry Problem Set 1, due February 10, 2016 1. Let k = Z p, the field with p elements, where p is a prime. Find a polynomial f k[x, y] that vanishes at every point of k 2. [Hint:
More informationProbability inequalities 11
Paninski, Intro. Math. Stats., October 5, 2005 29 Probability inequalities 11 There is an adage in probability that says that behind every limit theorem lies a probability inequality (i.e., a bound on
More informationBOUNDARY VALUE PROBLEMS ON A HALF SIERPINSKI GASKET
BOUNDARY VALUE PROBLEMS ON A HALF SIERPINSKI GASKET WEILIN LI AND ROBERT S. STRICHARTZ Abstract. We study boundary value problems for the Laplacian on a domain Ω consisting of the left half of the Sierpinski
More informationAPPLICATIONS OF DIFFERENTIABILITY IN R n.
APPLICATIONS OF DIFFERENTIABILITY IN R n. MATANIA BEN-ARTZI April 2015 Functions here are defined on a subset T R n and take values in R m, where m can be smaller, equal or greater than n. The (open) ball
More informationTHE INVERSE FUNCTION THEOREM
THE INVERSE FUNCTION THEOREM W. PATRICK HOOPER The implicit function theorem is the following result: Theorem 1. Let f be a C 1 function from a neighborhood of a point a R n into R n. Suppose A = Df(a)
More information= 2 x x 2 n It was introduced by P.-S.Laplace in a 1784 paper in connection with gravitational
Lecture 1, 9/8/2010 The Laplace operator in R n is = 2 x 2 + + 2 1 x 2 n It was introduced by P.-S.Laplace in a 1784 paper in connection with gravitational potentials. Recall that if we have masses M 1,...,
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 informationD-MATH Algebra I HS18 Prof. Rahul Pandharipande. Solution 1. Arithmetic, Zorn s Lemma.
D-MATH Algebra I HS18 Prof. Rahul Pandharipande Solution 1 Arithmetic, Zorn s Lemma. 1. (a) Using the Euclidean division, determine gcd(160, 399). (b) Find m 0, n 0 Z such that gcd(160, 399) = 160m 0 +
More informationConstructing Approximations to Functions
Constructing Approximations to Functions Given a function, f, if is often useful to it is often useful to approximate it by nicer functions. For example give a continuous function, f, it can be useful
More informationElementary 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 informationStrauss PDEs 2e: Section Exercise 2 Page 1 of 6. Solve the completely inhomogeneous diffusion problem on the half-line
Strauss PDEs 2e: Section 3.3 - Exercise 2 Page of 6 Exercise 2 Solve the completely inhomogeneous diffusion problem on the half-line v t kv xx = f(x, t) for < x
More informationSubharmonic functions
Subharmonic functions N.A. 07 Upper semicontinuous functions. Let (X, d) be a metric space. A function f : X R { } is upper semicontinuous (u.s.c.) if lim inf f(y) f(x) x X. y x A function g is lower semicontinuous
More informationThe Helmholtz Equation
The Helmholtz Equation Seminar BEM on Wave Scattering Rene Rühr ETH Zürich October 28, 2010 Outline Steklov-Poincare Operator Helmholtz Equation: From the Wave equation to Radiation condition Uniqueness
More informationBoot camp - Problem set
Boot camp - Problem set Luis Silvestre September 29, 2017 In the summer of 2017, I led an intensive study group with four undergraduate students at the University of Chicago (Matthew Correia, David Lind,
More 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 informationSingular 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 informationMINIMAL 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 informationApplied 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 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 informationRecall that any inner product space V has an associated norm defined by
Hilbert Spaces Recall that any inner product space V has an associated norm defined by v = v v. Thus an inner product space can be viewed as a special kind of normed vector space. In particular every inner
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 informationHandlebody Decomposition of a Manifold
Handlebody Decomposition of a Manifold Mahuya Datta Statistics and Mathematics Unit Indian Statistical Institute, Kolkata mahuya@isical.ac.in January 12, 2012 contents Introduction What is a handlebody
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 information18 Green s function for the Poisson equation
8 Green s function for the Poisson equation Now we have some experience working with Green s functions in dimension, therefore, we are ready to see how Green s functions can be obtained in dimensions 2
More informationMetric spaces and metrizability
1 Motivation Metric spaces and metrizability By this point in the course, this section should not need much in the way of motivation. From the very beginning, we have talked about R n usual and how relatively
More informationDefinition 6.1. A metric space (X, d) is complete if every Cauchy sequence tends to a limit in X.
Chapter 6 Completeness Lecture 18 Recall from Definition 2.22 that a Cauchy sequence in (X, d) is a sequence whose terms get closer and closer together, without any limit being specified. In the Euclidean
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 informationA TALE OF TWO CONFORMALLY INVARIANT METRICS
A TALE OF TWO CONFORMALLY INVARIANT METRICS H. S. BEAR AND WAYNE SMITH Abstract. The Harnack metric is a conformally invariant metric defined in quite general domains that coincides with the hyperbolic
More informationDistance in the Plane
Distance in the Plane The absolute value function is defined as { x if x 0; and x = x if x < 0. If the number a is positive or zero, then a = a. If a is negative, then a is the number you d get by erasing
More informationApplications of the Maximum Principle
Jim Lambers MAT 606 Spring Semester 2015-16 Lecture 26 Notes These notes correspond to Sections 7.4-7.6 in the text. Applications of the Maximum Principle The maximum principle for Laplace s equation is
More informationEuler Equations: local existence
Euler Equations: local existence Mat 529, Lesson 2. 1 Active scalars formulation We start with a lemma. Lemma 1. Assume that w is a magnetization variable, i.e. t w + u w + ( u) w = 0. If u = Pw then u
More informationSharp energy estimates and 1D symmetry for nonlinear equations involving fractional Laplacians
Sharp energy estimates and 1D symmetry for nonlinear equations involving fractional Laplacians Eleonora Cinti Università degli Studi di Bologna - Universitat Politécnica de Catalunya (joint work with Xavier
More informationLebesgue s Differentiation Theorem via Maximal Functions
Lebesgue s Differentiation Theorem via Maximal Functions Parth Soneji LMU München Hütteseminar, December 2013 Parth Soneji Lebesgue s Differentiation Theorem via Maximal Functions 1/12 Philosophy behind
More informationMath 342 Partial Differential Equations «Viktor Grigoryan
Math 342 Partial ifferential Equations «Viktor Grigoryan 3 Green s first identity Having studied Laplace s equation in regions with simple geometry, we now start developing some tools, which will lead
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 informationRegularity 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 informationSobolev embeddings and interpolations
embed2.tex, January, 2007 Sobolev embeddings and interpolations Pavel Krejčí This is a second iteration of a text, which is intended to be an introduction into Sobolev embeddings and interpolations. The
More informationMATH SPRING UC BERKELEY
MATH 85 - SPRING 205 - UC BERKELEY JASON MURPHY Abstract. These are notes for Math 85 taught in the Spring of 205 at UC Berkeley. c 205 Jason Murphy - All Rights Reserved Contents. Course outline 2 2.
More information2. 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 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 informationMath 328 Course Notes
Math 328 Course Notes Ian Robertson March 3, 2006 3 Properties of C[0, 1]: Sup-norm and Completeness In this chapter we are going to examine the vector space of all continuous functions defined on the
More information4.1. Dirichlet, Poisson and Neumann boundary value problems
Chapter 4 Laplace s equation 4.. Dirichlet, Poisson and Neumann boundary value problems The most commonly occurring form of problem that is associated with Laplace s equation is a boundary value problem,
More information2.4 The Extreme Value Theorem and Some of its Consequences
2.4 The Extreme Value Theorem and Some of its Consequences The Extreme Value Theorem deals with the question of when we can be sure that for a given function f, (1) the values f (x) don t get too big or
More informationFinal Exam May 4, 2016
1 Math 425 / AMCS 525 Dr. DeTurck Final Exam May 4, 2016 You may use your book and notes on this exam. Show your work in the exam book. Work only the problems that correspond to the section that you prepared.
More information(x k ) sequence in F, lim x k = x x F. If F : R n R is a function, level sets and sublevel sets of F are any sets of the form (respectively);
STABILITY OF EQUILIBRIA AND LIAPUNOV FUNCTIONS. By topological properties in general we mean qualitative geometric properties (of subsets of R n or of functions in R n ), that is, those that don t depend
More informationMath 54 - HW Solutions 5
Math 54 - HW Solutions 5 Dan Crytser August 6, 202 Problem 20.a To show that the Manhattan metric d(, y) = y +... + n y n induces the standard topology on R n, we show that it induces the same topology
More informationThe Mollifier Theorem
The Mollifier Theorem Definition of the Mollifier The function Tx Kexp 1 if x 1 2 1 x 0 if x 1, x R n where the constant K is chosen such that R n Txdx 1, is a test function on Rn. Note that Tx vanishes,
More information10.8 Further Applications of the Divergence Theorem
10.8 Further Applications of the Divergence Theorem Let D be an open subset of R 3, and let f : D R. Recall that the Laplacian of f, denoted by 2 f, is defined by We say that f is harmonic on D provided
More informationLecture 8: Boundary Integral Equations
CBMS Conference on Fast Direct Solvers Dartmouth College June 23 June 27, 2014 Lecture 8: Boundary Integral Equations Gunnar Martinsson The University of Colorado at Boulder Research support by: Consider
More informationSome physical space heuristics for Strichartz estimates
Some physical space heuristics for Strichartz estimates Felipe Hernandez July 30, 2014 SPUR Final Paper, Summer 2014 Mentor Chenjie Fan Project suggested by Gigliola Staffilani Abstract This note records
More information14 Divergence, flux, Laplacian
Tel Aviv University, 204/5 Analysis-III,IV 240 4 Divergence, flux, Laplacian 4a What is the problem................ 240 4b Integral of derivative (again)........... 242 4c Divergence and flux.................
More information= 2 x y 2. (1)
COMPLEX ANALYSIS PART 5: HARMONIC FUNCTIONS A Let me start by asking you a question. Suppose that f is an analytic function so that the CR-equation f/ z = 0 is satisfied. Let us write u and v for the real
More informationExercises - Chapter 1 - Chapter 2 (Correction)
Université de Nice Sophia-Antipolis Master MathMods - Finite Elements - 28/29 Exercises - Chapter 1 - Chapter 2 Correction) Exercise 1. a) Let I =], l[, l R. Show that Cl) >, u C Ī) Cl) u H 1 I), u DĪ).
More information