Class Meeting # 9: Poisson s Formula, Harnack s Inequality, and Liouville s Theorem
|
|
- Kristian Kelley
- 5 years ago
- Views:
Transcription
1 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 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 ( Ω) and g C( Ω ) Then the unique solution u C (Ω) C( Ω) to (0) u( x) = f( x ), x Ω n, can be represented as u( x) = g( x ), x Ω (0) u(x) = f(y)g(x, y Ω where G(x, y) is the Green function for Ω ) d n y + g( ˆN( G(x, dσ, Ω Poisson kernel Proof Applying the epresentation formula for u Proposition, we have that (0) u(x) = Φ(x y)f(y) d n y Φ(x ˆN( u( dσ + g( ˆN ( Φ( x dσ ecall also that Ω (04) G(x, y) = Φ(x y) φ(x, y), where (05) y φ(x, y) = 0, x Ω, and (06) G( x, = 0 when x Ω and σ Ω Ω The expression (0) 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 MATH 85 COUSE NOTES - CLASS MEETING # 9 u(y) Φ(x u( (07) 0 = φ(x, y) f(y) d n y φ(x, ˆNu( dσ + g( ˆNφ(x, dσ Ω Ω Ω Subtracting (07) from (0), and using (04), we deduce the formula (0) Poisson s Formula Let s compute the Green function G( x, y) and Poisson kernel P ( x, = ˆNG(x, from (0) in the case that Ω = B ( 0) 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 0 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 y = }, φ( x, y) = In a nutshell, we guess that (08) 4π x y 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 0 Note that y 4π x y = 0, which is one of the conditions necessary for constructing G( x, y) By the inition of G(x, y), we must have G(x, y) = 0 when y =, which implies that (09) Simple algebra then leads to 4π x y = q 4π x y (00) x y = q x y When y =, we use (00) to compute that (0) x x y + = x y = q x y = q ( x x y + ), where denotes the Euclidean dot product Then performing simple algebra, it follows from (0) that (0) x + q ( + x ) = y ( x q x ) Now since the left-hand side of (0) does not depend on y, it must be the case that the right-hand side is always 0 This implies that x = q x, and also leads to the equation
3 MATH 85 COUSE NOTES - CLASS MEETING # 9 (0) q 4 x q ( + x ) + = 0 Solving (0) for q, we finally have that (04) q = x, (05) Therefore, x = x x (06) φ(x, y) = 4π x x x y (07) φ( 0, y) =,, where we took a limit as x 0 in (06) to derive (07) Next, using (08), we have (08) G(x, y) = 4π x y +, 4π x x x y x 0, (09) G( 0, y ) = + 4π y For future use, we also compute that (00) y G(x, y) = x y 4π x y Now when σ B ( 0 ), (00) and (04) imply that x y + 4π x x y (0) x σ = x σ x Therefore, using (00) and (0), we compute that ( ) = x σ x x σ x σ x x x σ (0) σg x, σ + = 4π x σ 4π x σ 4π x σ + 4π x σ σ x = ( ) 4π x σ Using (0) and the fact that Nˆ ( σ ) = σ, w e deduce x (0) ˆ ˆN ( G( x, = σg( x, N( = x σ
4 4 MATH 85 COUSE NOTES - CLASS MEETING # 9 emark 0 If the ball were centered at the point p instead of the origin, then the formula (0) would be replaced with ˆ x p (04) ˆN( G( x, = σg( x, N( σ ) = x σ Let s summarize this by stating a lemma Lemma 0 The Green function for a ball B ( ) is (05a) (05b) p ( ) = + G x, y, x p, 4π x y 4π x p (x p) (y p) G( p, y ) = 4π y p + Furthermore, if x B (p) and σ B (p), then ( ) = x p (05c) ˆN( G x, σ x σ We can now easily derive a representation formula for solutions to the Laplace equation on a ball Theorem (Poisson s formula) Let B (p) be a ball of radius centered at p = ( p, p, p ), and let x = ( x x ) ( ( )) ( ( )) (,, (x denote a point in Let g C B p Then the unique solution u C B p C B p)) of the PDE { u(x) = 0, x B ( p), (06) u( x) = g( x ), x B (p), can be represented using the Poisson formula: ( ) = x p (07) u x x p B (p) g( dσ x σ emark 0 In n dimensions, the formula (07) gets replaced with x p g( (08) u(x) = ω n B ( p) x σ where as usual, ωn is the surface area of the unit ball in Proof The identity (07) follows immediately from Theorem and Lemma 0 n n dσ, 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 85 COUSE NOTES - CLASS MEETING # 9 5 Theorem (Harnack s inequality) Let B ( 0) n be the ball of radius centered at the origin, and let u C ( B( 0)) C( B ( 0)) be the unique solution to (06) Assume that u is non-negative on B ( 0 ) Then for any x B ( 0 ), we have that (09) n ( x ) + x u( 0) u(x) n ( ) u ( 0 ) ( + x ) n ( x ) n Proof We ll do the proof for n = The basic idea is to combine the Poisson representation formula with simple inequalities and the mean value property By Theorem, we have that (00) ( ) = x u x B (0) g( x σ By the triangle inequality, for σ B ( 0) (ie σ = ), we have that x x σ x + Applying the first inequality to (00), and using the non-negativity of g, we deduce that (0) u(x) + x x B (0) Now recall that by the mean value property, we have that dσ g( dσ (0) u( 0) = g σ dσ ( ) (0) B Thus, combining (0) and (0), we have that ( + x ) (0) u(x) u(0), ( x ) which implies one of the inequalities in (09) 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 0 (Liouville s theorem) Suppose that u C ( 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 = u + M Observe that v 0 is harmonic and verifies the hypotheses of Theorem Thus, by (09), if x n and is sufficiently large, we have that n ( x ) n ( + x ) (04) ( + ) v(0) v(x) v(0 ) x n ( x ) n Allowing in (04), we conclude that v( x) = v( 0) Thus, v is a constant-valued function (and therefore u is too)
6 6 MATH 85 COUSE NOTES - CLASS MEETING # 9 To handle the case u(x) M, we simply consider the function w(x) = u(x) + M in place of v( x ), and we argue as above
7 MIT OpenCourseWare 85 Introduction to Partial Differential Equations Fall 0 For information about citing these materials or our Terms of Use, visit:
Class Meeting # 9: Poisson s Formula, Harnack s Inequality, and Liouville s Theorem
MATH 8.52 COUSE NOTES - CLASS MEETING # 9 8.52 Introduction to PDEs, Fall 20 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 # 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 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 # 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 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 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 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 # 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 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 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 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 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 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 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 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 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 informationB ɛ (P ) B. n N } R. Q P
8. Limits Definition 8.1. Let P R n be a point. The open ball of radius ɛ > 0 about P is the set B ɛ (P ) = { Q R n P Q < ɛ }. The closed ball of radius ɛ > 0 about P is the set { Q R n P Q ɛ }. Definition
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 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 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 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 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 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 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 informationx = π m (a 0 + a 1 π + a 2 π ) where a i R, a 0 = 0, m Z.
ALGEBRAIC NUMBER THEORY LECTURE 7 NOTES Material covered: Local fields, Hensel s lemma. Remark. The non-archimedean topology: Recall that if K is a field with a valuation, then it also is a metric space
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 informationLecture Notes for LG s Diff. Analysis
Lecture Notes for LG s Diff. Analysis trans. Paul Gallagher Feb. 18, 2015 1 Schauder Estimate Recall the following proposition: Proposition 1.1 (Baby Schauder). If 0 < λ [a ij ] C α B, Lu = 0, then a ij
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 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 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 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 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 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 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 informationLecture Notes March 11, 2015
18.156 Lecture Notes March 11, 2015 trans. Jane Wang Recall that last class we considered two different PDEs. The first was u ± u 2 = 0. For this one, we have good global regularity and can solve the Dirichlet
More 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 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 informationFourier Transform & Sobolev Spaces
Fourier Transform & Sobolev Spaces Michael Reiter, Arthur Schuster Summer Term 2008 Abstract We introduce the concept of weak derivative that allows us to define new interesting Hilbert spaces the Sobolev
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 informationALGEBRAIC STRUCTURE AND DEGREE REDUCTION
ALGEBRAIC STRUCTURE AND DEGREE REDUCTION Let S F n. We define deg(s) to be the minimal degree of a non-zero polynomial that vanishes on S. We have seen that for a finite set S, deg(s) n S 1/n. In fact,
More informationLecture 4 (Sep. 18, 2017)
Lecture 4 8.3 Quantum Theory I, Fall 07 Lecture 4 (Sep. 8, 07) 4. Measurement 4.. Spin- Systems Last time, we said that a general state in a spin- system can be written as ψ = c + + + c, (4.) where +,
More information18.02 Multivariable Calculus Fall 2007
MIT OpenCourseWare http://ocw.mit.edu 18.02 Multivariable Calculus Fall 2007 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. V7. Laplace's Equation and
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 informationLeplace s Equations. Analyzing the Analyticity of Analytic Analysis DEPARTMENT OF ELECTRICAL AND COMPUTER ENGINEERING. Engineering Math EECE
Leplace s Analyzing the Analyticity of Analytic Analysis Engineering Math EECE 3640 1 The Laplace equations are built on the Cauchy- Riemann equations. They are used in many branches of physics such as
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 information17 The functional equation
18.785 Number theory I Fall 16 Lecture #17 11/8/16 17 The functional equation In the previous lecture we proved that the iemann zeta function ζ(s) has an Euler product and an analytic continuation to the
More informationWHY POLYNOMIALS? PART 1
WHY POLYNOMIALS? PART 1 The proofs of finite field Kakeya and joints and short and clean, but they also seem strange to me. They seem a little like magic tricks. In particular, what is the role of polynomials
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 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 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 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 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 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 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 informationON THE REGULARITY OF SAMPLE PATHS OF SUB-ELLIPTIC DIFFUSIONS ON MANIFOLDS
Bendikov, A. and Saloff-Coste, L. Osaka J. Math. 4 (5), 677 7 ON THE REGULARITY OF SAMPLE PATHS OF SUB-ELLIPTIC DIFFUSIONS ON MANIFOLDS ALEXANDER BENDIKOV and LAURENT SALOFF-COSTE (Received March 4, 4)
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 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 informationTHE HODGE DECOMPOSITION
THE HODGE DECOMPOSITION KELLER VANDEBOGERT 1. The Musical Isomorphisms and induced metrics Given a smooth Riemannian manifold (X, g), T X will denote the tangent bundle; T X the cotangent bundle. The additional
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 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 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 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 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 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 informationNow, the above series has all non-negative terms, and hence is an upper bound for any fixed term in the series. That is to say, for fixed n 0 N,
l p IS COMPLETE Let 1 p, and recall the definition of the metric space l p : { } For 1 p
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 informationCS 542G: The Poisson Problem, Finite Differences
CS 542G: The Poisson Problem, Finite Differences Robert Bridson November 10, 2008 1 The Poisson Problem At the end last time, we noticed that the gravitational potential has a zero Laplacian except at
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 informationComplex Variables. Chapter 2. Analytic Functions Section Harmonic Functions Proofs of Theorems. March 19, 2017
Complex Variables Chapter 2. Analytic Functions Section 2.26. Harmonic Functions Proofs of Theorems March 19, 2017 () Complex Variables March 19, 2017 1 / 5 Table of contents 1 Theorem 2.26.1. 2 Theorem
More informationLocal Asymmetry and the Inner Radius of Nodal Domains
Local Asymmetry and the Inner Radius of Nodal Domains Dan MANGOUBI Institut des Hautes Études Scientifiques 35, route de Chartres 91440 Bures-sur-Yvette (France) Avril 2007 IHES/M/07/14 Local Asymmetry
More informationA LOWER BOUND FOR THE GRADIENT OF -HARMONIC FUNCTIONS Edi Rosset. 1. Introduction. u xi u xj u xi x j
Electronic Journal of Differential Equations, Vol. 1996(1996) No. 0, pp. 1 7. ISSN 107-6691. URL: http://ejde.math.swt.edu (147.6.103.110) telnet (login: ejde), ftp, and gopher access: ejde.math.swt.edu
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 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 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 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 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 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 informationAn overview of key ideas
An overview of key ideas This is an overview of linear algebra given at the start of a course on the mathematics of engineering. Linear algebra progresses from vectors to matrices to subspaces. Vectors
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 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 informationPower series and Taylor series
Power series and Taylor series D. DeTurck University of Pennsylvania March 29, 2018 D. DeTurck Math 104 002 2018A: Series 1 / 42 Series First... a review of what we have done so far: 1 We examined series
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 informationGeometry and the Dirichlet Problem in Any Co-dimension
Geometry and the Dirichlet Problem in Any Co-dimension Max Engelstein (joint work with G. David (U. Paris Sud) and S. Mayboroda (U. Minn.)) Massachusetts Institute of Technology January 10, 2019 This research
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 informationAlgebraic Geometry Spring 2009
MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry
More informationCauchy Integral Formula Consequences
Cauchy Integral Formula Consequences Monday, October 28, 2013 1:59 PM Homework 3 due November 15, 2013 at 5 PM. Last time we derived Cauchy's Integral Formula, which we will present in somewhat generalized
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 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 informationThe shortest route between two truths in the real domain passes through the complex domain. J. Hadamard
Chapter 6 Harmonic Functions The shortest route between two truths in the real domain passes through the complex domain. J. Hadamard 6.1 Definition and Basic Properties We will now spend a chapter on certain
More informationRegularity estimates for the solution and the free boundary of the obstacle problem for the fractional Laplacian
Regularity estimates for the solution and the free boundary of the obstacle problem for the fractional Laplacian Luis Caffarelli, Sandro Salsa and Luis Silvestre October 15, 2007 Abstract We use a characterization
More informationHARMONIC FUNCTIONS TSOGTGEREL GANTUMUR
HARMONIC FUNCTIONS TSOGTGEREL GANTUMUR Abstract. In these notes, we explore the fundamental properties of harmonic functions, by using relatively elementary methods. Contents. Introduction 2. Green s identities
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 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