The Laplacian and Mean and Extreme Values
|
|
- Josephine Townsend
- 6 years ago
- Views:
Transcription
1 Mathematical Assoc. of America American Mathematical Monthly 2: September 29, 205 2:9 p.m. LaplaceMeanValueFinal.tex page The Laplacian and Mean and Extreme Values Jeffrey S. Ovall Abstract. The Laplace operator is pervasive in many important mathematical models, and fundamental results such as the Mean Value Theorem for harmonic functions, and the Maximum Principle for super-harmonic functions are well-known. Less well-known is how the Laplacian and its powers appear naturally in a series expansion of the mean value of a function on a ball or sphere. This result is proven here using Taylor s Theorem and explicit values for integrals of monomials on balls and spheres. This result allows for non-standard proofs of the Mean Value Theorem and the Maximum Principle. Connections are also made with the discrete Laplacian arising from finite difference discretization.. THE SERIES EXPANSION OF THE MEAN VALUE. The Laplace operator (or Laplacian) in d dimensions, = , () x 2 x 2 d appears in a variety of important mathematical models, such as the heat/diffusion equation, the wave equation, the Schrödinger equation and some forms of the Navier-Stokes equations. The Mean Value Theorem for harmonic functions ( u = 0) on a ball or sphere, and the Maximum and Minimum Principles for super-harmonic ( u 0) and sub-harmonic ( u 0) functions on bounded domains, are well-known. It is perhaps less well-known that the Laplacian and its powers appear very naturally when the mean value of u is expanded in terms of a series with respect to the radius of the ball (or sphere). Our key result, Theorem 3, can be found, for example, in [2] for balls and spheres in R 3. The expansion given in Theorem 3 is sometimes referred to as a Pizzetti series (cf. []), in reference to its earliest known occurrence [4]. The proof given in [2] uses Green s second identity, the fundamental solution for the Laplacian, and a clever recursion. In this section we provide a more straightforward proof of the result in R d, employing Taylor s Theorem and formulas for integrals of monomials on balls and spheres. Definition (Multi-index Notation and Taylor Polynomials). Let N 0 = N {0}. For a multi-index α = (α,, α d ) [N 0 ] d, we define α = α + + α d, α! = α! α d!. (2) The α partial derivative of a function u, D α u, and the monomial (x x) α for fixed x = (x,, x d ) and variable x = (x,, x d ), are given by D α α u u = x α x α d d, (x x) α = (x x ) α (x d x d ) α d. (3) Assuming that D α u(x) is defined for all multi-indices α m, the m th -order Taylor Polynomial of u, centered at x, is T m (x) = α m D α u(x) α! (x x) α. (4) January 204] THE LAPLACIAN AND MEAN AND EXTREME VALUES
2 Mathematical Assoc. of America American Mathematical Monthly 2: September 29, 205 2:9 p.m. LaplaceMeanValueFinal.tex page 2 Theorem (Taylor s Theorem). Suppose Ω R d is open and convex, and x, x Ω. If u C m (Ω), then where T m is given by (4). u(x) = T m (x) + o( x x m ) as x x 0, (5) Here, and elsewhere, we overload the notation, using it to represent the order of a multi-index, the Euclidean norm of a point/vector in R d, and the volume of a ball,, or surface area of a sphere, S. Definition (alls and Spheres). Given a point x R d and a radius h > 0, we have the ball and sphere = (x, h) = {x R d : x x < h}, (6) S = S(x, h) = {x R d : x x = h}. (7) An elegant proof of the following result concerning integration of monomials on balls and spheres is given in [3]. Theorem 2 (Integration of Monomials). It holds that S (x x) α dx = (x x) α ds = { 2Γ(β ) Γ(β d ) Γ(β + +β d ) h α +d α +d if all α j are even, 0 otherwise, { 2Γ(β ) Γ(β d ) Γ(β + +β d ) h α +d if all α j are even, 0 otherwise, where β j = (α j + )/2, and Γ(z) = t z e t dt is the Gamma-function. 0 From the case α = (0,..., 0), we quickly obtain the well-known formulas for the volume of and the surface area of S, = 2πd/2 d Γ(d/2) hd, S = 2πd/2 Γ(d/2) hd. (0) Let α = 2σ, so all components are even, and take α = 2k. After some simplification, using Γ(z + ) = zγ(z), Γ(/2) = π and (0), we see that (x x) α dx = α! α! S (x x) α ds = (8) (9) h 2k 2 k σ! () k j= (d + 2j), S h 2k 2 k σ! (2) k j=0 (d + 2j). We are now ready to state our main result concerning the series expansion of the mean values of u on and S. Theorem 3 (Series Expansion of Mean Values). Suppose that u C 2p (Ω) for some open set Ω R d containing. It holds that u ave () = u(x) dx = k u(x) 2 k k! k j= (d + 2j) h2k + o(h 2p ), (3) 2 c THE MATHEMATICAL ASSOCIATION OF AMERICA [Monthly 2
3 Mathematical Assoc. of America American Mathematical Monthly 2: September 29, 205 2:9 p.m. LaplaceMeanValueFinal.tex page 3 as h 0. u ave (S) = u(x) ds = S S k u(x) 2 k k! k j=0 (d + 2j) h2k + o(h 2p ), (4) Proof. Since the proof for S is essentially identical, we only prove the result for. In particular, we see that T 2p (x) dx = k u(x) 2 k k! k j= (d + 2j) h2k. Here we have used three basic results: only multi-indices of the form α = 2σ survive the integration, the identity (), and the fact that ( k 2 u = x 2 ) k u = k! x 2 d σ! Dα u, (5) α =2k α=2σ which follows from the multinomial expansion of k. Noting that u dx = T 2p dx + o(h 2p ), and dividing by, completes the proof. For convenience, we give the first three terms of the series for both mean values. u ave () = u(x) + u(x) 2 u(x) 2(d + 2) h2 + 8(d + 2)(d + 4) h4 +, (6) u ave (S) = u(x) + u(x) h u(x) 8d(d + 2) h4 +. (7) The series expansions of the mean values can be used to provide a simple proof of the Mean Value Theorem for harmonic functions. More specifically, if u = 0 in some open set Ω, then k u(x) = 0 for all k > 0 (we note that u is analytic on Ω). So u ave () = u ave (S) = u(x). We have proved Theorem 4 (Mean Value Theorem for Harmonic Functions). If u = 0 in some open set Ω, then u ave () = u ave (S) = u(x). Remark. Re-expressing the results of Theorem 3 in the case p =, we see that that u(x) = lim 2(d + 2) u ave() u(x) = lim u ave(s) u(x). (8) h 0 h 2 h 0 h 2 It follows simply from this that, for u C 2 in some open set Ω, if the average value of u on any ball (sphere) in Ω is equal to the value of u at the center of the ball (sphere), then u is harmonic in Ω. January 204] THE LAPLACIAN AND MEAN AND EXTREME VALUES 3
4 Mathematical Assoc. of America American Mathematical Monthly 2: September 29, 205 2:9 p.m. LaplaceMeanValueFinal.tex page 4 2. THE MAXIMUM AND MINIMUM PRINCIPLES. We provide a proof of the Maximum Principle that applies Theorem 3 in the case p = at a key point in the argument. Theorem 5 (Maximum and Minimum Principles). Let Ω R d be a bounded domain with boundary Ω, and let u C 2 (Ω) C(Ω).. If u 0 in Ω, then max u(x) = max u(x). x Ω x Ω 2. If u 0 in Ω, then min x Ω u(x) = min x Ω u(x). Proof. We prove only the first of these, by contradiction. Let M 0 = max x Ω u(x) and M = max x Ω u(x). Suppose that M < M 0, and let x 0 Ω be a point for which u(x 0 ) = M 0. Choose R > 0 large enough so that (x 0, R) Ω, and define v = u + M 0 M R 2 x x 0 2. (9) Note that v = u + (M 0 M)/R 2 > 0; there is no need to introduce v in the argument if we assume that u > 0 in Ω. We also see that v(x 0 ) = u(x 0 ) = M 0 and v(x) u(x) + M 0 M M + M 0 M < M 0 for x Ω, (20) so v must attain is maximum over Ω at some interior point x Ω. Since v(x ) > 0, employing Theorem 3 for p = and h > 0 sufficiently small, we see that v ave () > v(x ) for = (x, h). ut this contradicts the fact that v(x ) is the maximal value of v; the mean value on any ball cannot exceed the maximal value within that ball. 3. CONNECTIONS WITH THE DISCRETE LAPLACIAN. Recalling (8), we here consider the case in which we fix some (small) h instead of taking the limit, and replace the true average on the sphere with a discrete average at the points on the sphere that intersect the cartesian axes. Letting e i denote the standard coordinate vectors in R d, a simple consequence of Taylor s Theorem in R is that u(x he i ) + u(x + he i ) = 2u(x) + 2 u(x) x 2 i h 2 + o(h 2 ), (2) as h 0, for any u C 2 in a neighborhood of x. Summing both sides for i d, and then dividing by the number of boundary points, namely, we obtain d i= [u(x he i ) + u(x + he i )] = u(x) + h2 u(x) + o(h2 ), (22) which is obviously a discrete version of (4) when p =, in which the true average is replaced by the standard discrete average of these values. The (finite difference) discrete Laplacian is defined by h u(x) = h 2 d [u(x he i ) 2u(x) + u(x + he i )], (23) i= 4 c THE MATHEMATICAL ASSOCIATION OF AMERICA [Monthly 2
5 Mathematical Assoc. of America American Mathematical Monthly 2: September 29, 205 2:9 p.m. LaplaceMeanValueFinal.tex page 5 and Taylor s Theorem guarantees that h u(x) = u(x) + o() as h 0. Denoting the lefthand-side of (22) by û ave (S), we have û ave (S) = u(x) + h2 hu(x), (24) a result that is commonly used to prove a Discrete Maximum Principle in the analysis of finite difference methods. REFERENCES. D.H. Armitage and Ü. Kuran, The convergence of the Pizzetti series in potential theory. J. Math. Anal. Appl. 7 (992) 56 53, 2. R. Courant and D. Hilbert. Methods of Mathematical Physics. Vol. II. Partial Differential Equations. Reprint of the 962 original. Wiley Classics Library. A Wiley-Interscience Publication. John Wiley & Sons, New York, G. Folland, How to integrate a polynomial over a sphere. Amer. Math. Monthly 08 (200) , 4. P. Pizzetti, Sulla media dei valori che una funzioni dei punti dello spazio assume all superficie di una sfera. Rend. reale accad. lincei, Ser. 5 a 8 (909) JEFFREY S. OVALL (jovall@pdx.edu) received his PhD in mathematics from the University of California, San Diego. He held postdoctoral positions at the Max Planck Institute for Mathematics in the Natural Sciences, in Leipzig, Germany, and the California Institute of Technology before taking his first faculty position at the University of Kentucky. He is presently a Maseeh Associate Professor of mathematics at Portland State University. Fariborz Maseeh Department of Mathematics and Statistics, Portland State University, Portland OR 9720 January 204] THE LAPLACIAN AND MEAN AND EXTREME VALUES 5
arxiv: v3 [math.ca] 20 Aug 2015
A note on mean-value properties of harmonic functions on the hypercube arxiv:506.0703v3 [math.ca] 20 Aug 205 P. P. Petrov,a a Faculty of Mathematics and Informatics, Sofia University, 5 James Bourchier
More informationMEAN VALUE EXTENSION THEOREMS AND MICROLOCAL ANALYSIS
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Number 0, Pages 000 000 S 0002-9939(XX)0000-0 MEAN VALUE EXTENSION THEOREMS AND MICROLOCAL ANALYSIS ERIC TODD QUINTO (Communicated by Andreas
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 informationBessel Functions Michael Taylor. Lecture Notes for Math 524
Bessel Functions Michael Taylor Lecture Notes for Math 54 Contents 1. Introduction. Conversion to first order systems 3. The Bessel functions J ν 4. The Bessel functions Y ν 5. Relations between J ν and
More informationASYMPTOTIC STRUCTURE FOR SOLUTIONS OF THE NAVIER STOKES EQUATIONS. Tian Ma. Shouhong Wang
DISCRETE AND CONTINUOUS Website: http://aimsciences.org DYNAMICAL SYSTEMS Volume 11, Number 1, July 004 pp. 189 04 ASYMPTOTIC STRUCTURE FOR SOLUTIONS OF THE NAVIER STOKES EQUATIONS Tian Ma Department of
More informationAN ASYMPTOTIC MEAN VALUE CHARACTERIZATION FOR p-harmonic FUNCTIONS. To the memory of our friend and colleague Fuensanta Andreu
AN ASYMPTOTIC MEAN VALUE CHARACTERIZATION FOR p-harmonic FUNCTIONS JUAN J. MANFREDI, MIKKO PARVIAINEN, AND JULIO D. ROSSI Abstract. We characterize p-harmonic functions in terms of an asymptotic mean value
More informationMultivariable Calculus
2 Multivariable Calculus 2.1 Limits and Continuity Problem 2.1.1 (Fa94) Let the function f : R n R n satisfy the following two conditions: (i) f (K ) is compact whenever K is a compact subset of R n. (ii)
More information(1.1) mo( /; R) - no(u; P, R) = f U(P')d<rP.
ON A THEOREM OF NICOLESCO AND GENERALIZED LAPLACE OPERATORS MIN-TEH CHENG1 1. Let D be a domain in the w-dimensional Euclidean space and U be a continuous function defined in D. Denote by (1.1) mo( /;
More informationA Remark on the Regularity of Solutions of Maxwell s Equations on Lipschitz Domains
A Remark on the Regularity of Solutions of Maxwell s Equations on Lipschitz Domains Martin Costabel Abstract Let u be a vector field on a bounded Lipschitz domain in R 3, and let u together with its divergence
More informationAN ASYMPTOTIC MEAN VALUE CHARACTERIZATION FOR p-harmonic FUNCTIONS
AN ASYMPTOTIC MEAN VALUE CHARACTERIZATION FOR p-harmonic FUNCTIONS JUAN J. MANFREDI, MIKKO PARVIAINEN, AND JULIO D. ROSSI Abstract. We characterize p-harmonic functions in terms of an asymptotic mean value
More informationComplex Analysis MATH 6300 Fall 2013 Homework 4
Complex Analysis MATH 6300 Fall 2013 Homework 4 Due Wednesday, December 11 at 5 PM Note that to get full credit on any problem in this class, you must solve the problems in an efficient and elegant manner,
More informationThe Dirichlet s P rinciple. In this lecture we discuss an alternative formulation of the Dirichlet problem for the Laplace equation:
Oct. 1 The Dirichlet s P rinciple In this lecture we discuss an alternative formulation of the Dirichlet problem for the Laplace equation: 1. Dirichlet s Principle. u = in, u = g on. ( 1 ) If we multiply
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 informationA Perron-type theorem on the principal eigenvalue of nonsymmetric elliptic operators
A Perron-type theorem on the principal eigenvalue of nonsymmetric elliptic operators Lei Ni And I cherish more than anything else the Analogies, my most trustworthy masters. They know all the secrets of
More informationB553 Lecture 3: Multivariate Calculus and Linear Algebra Review
B553 Lecture 3: Multivariate Calculus and Linear Algebra Review Kris Hauser December 30, 2011 We now move from the univariate setting to the multivariate setting, where we will spend the rest of the class.
More informationOn Riesz-Fischer sequences and lower frame bounds
On Riesz-Fischer sequences and lower frame bounds P. Casazza, O. Christensen, S. Li, A. Lindner Abstract We investigate the consequences of the lower frame condition and the lower Riesz basis condition
More informationASYMPTOTICALLY EXACT A POSTERIORI ESTIMATORS FOR THE POINTWISE GRADIENT ERROR ON EACH ELEMENT IN IRREGULAR MESHES. PART II: THE PIECEWISE LINEAR CASE
MATEMATICS OF COMPUTATION Volume 73, Number 246, Pages 517 523 S 0025-5718(0301570-9 Article electronically published on June 17, 2003 ASYMPTOTICALLY EXACT A POSTERIORI ESTIMATORS FOR TE POINTWISE GRADIENT
More informationfür Mathematik in den Naturwissenschaften Leipzig
Max-Planck-Institut für Mathematik in den Naturwissenschaften Leipzig A Note on the Poincaré Inequality for Convex Domains by Mario Bebendorf Preprint no.: 24 23 ANoteonthePoincaré Inequality for Convex
More informationCharacterization of half-radial matrices
Characterization of half-radial matrices Iveta Hnětynková, Petr Tichý Faculty of Mathematics and Physics, Charles University, Sokolovská 83, Prague 8, Czech Republic Abstract Numerical radius r(a) is the
More informationRolle s Theorem for Polynomials of Degree Four in a Hilbert Space 1
Journal of Mathematical Analysis and Applications 265, 322 33 (2002) doi:0.006/jmaa.200.7708, available online at http://www.idealibrary.com on Rolle s Theorem for Polynomials of Degree Four in a Hilbert
More informationarxiv: v1 [math.cv] 21 Jun 2016
B. N. Khabibullin, N. R. Tamindarova SUBHARMONIC TEST FUNCTIONS AND THE DISTRIBUTION OF ZERO SETS OF HOLOMORPHIC FUNCTIONS arxiv:1606.06714v1 [math.cv] 21 Jun 2016 Abstract. Let m, n 1 are integers and
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 informationSEVERAL PRODUCTS OF DISTRIBUTIONS ON MANIFOLDS
Novi Sad J. Math. Vol. 39, No., 2009, 3-46 SEVERAL PRODUCTS OF DISTRIBUTIONS ON MANIFOLDS C. K. Li Abstract. The problem of defining products of distributions on manifolds, particularly un the ones of
More informationv( x) u( y) dy for any r > 0, B r ( x) Ω, or equivalently u( w) ds for any r > 0, B r ( x) Ω, or ( not really) equivalently if v exists, v 0.
Sep. 26 The Perron Method In this lecture we show that one can show existence of solutions using maximum principle alone.. The Perron method. Recall in the last lecture we have shown the existence of solutions
More informationLIOUVILLE S THEOREM AND THE RESTRICTED MEAN PROPERTY FOR BIHARMONIC FUNCTIONS
Electronic Journal of Differential Equations, Vol. 2004(2004), No. 66, pp. 1 5. ISSN: 1072-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu (login: ftp) LIOUVILLE
More informationMATH. 4548, Autumn 15, MWF 12:40 p.m. QUIZ 1 September 4, 2015 PRINT NAME A. Derdzinski Show all work. No calculators. The problem is worth 10 points.
MATH. 4548, Autumn 15, MWF 12:40 p.m. QUIZ 1 September 4, 2015 PRINT NAME A. Derdzinski Show all work. No calculators. The problem is worth 10 points. 1. Let f : (, 0) IR be given by f(x) = 1/x 2. Prove
More informationSolving the 3D Laplace Equation by Meshless Collocation via Harmonic Kernels
Solving the 3D Laplace Equation by Meshless Collocation via Harmonic Kernels Y.C. Hon and R. Schaback April 9, Abstract This paper solves the Laplace equation u = on domains Ω R 3 by meshless collocation
More informationOn Smoothness of Suitable Weak Solutions to the Navier-Stokes Equations
On Smoothness of Suitable Weak Solutions to the Navier-Stokes Equations G. Seregin, V. Šverák Dedicated to Vsevolod Alexeevich Solonnikov Abstract We prove two sufficient conditions for local regularity
More informationProblem Set 6: Solutions Math 201A: Fall a n x n,
Problem Set 6: Solutions Math 201A: Fall 2016 Problem 1. Is (x n ) n=0 a Schauder basis of C([0, 1])? No. If f(x) = a n x n, n=0 where the series converges uniformly on [0, 1], then f has a power series
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 informationNotes for Functional Analysis
Notes for Functional Analysis Wang Zuoqin (typed by Xiyu Zhai) September 29, 2015 1 Lecture 09 1.1 Equicontinuity First let s recall the conception of equicontinuity for family of functions that we learned
More informationDerivatives of Harmonic Bergman and Bloch Functions on the Ball
Journal of Mathematical Analysis and Applications 26, 1 123 (21) doi:1.16/jmaa.2.7438, available online at http://www.idealibrary.com on Derivatives of Harmonic ergman and loch Functions on the all oo
More informationW 2,1 REGULARITY FOR SOLUTIONS OF THE MONGE-AMPÈRE EQUATION
W 2,1 REGULARITY FOR SOLUTIONS OF THE MONGE-AMPÈRE EQUATION GUIDO DE PHILIPPIS AND ALESSIO FIGALLI Abstract. In this paper we prove that a strictly convex Alexandrov solution u of the Monge-Ampère equation,
More informationSobolev 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 informationREMARKS ON THE MEMBRANE AND BUCKLING EIGENVALUES FOR PLANAR DOMAINS. Leonid Friedlander
REMARKS ON THE MEMBRANE AND BUCKLING EIGENVALUES FOR PLANAR DOMAINS Leonid Friedlander Abstract. I present a counter-example to the conjecture that the first eigenvalue of the clamped buckling problem
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 informationStationary isothermic surfaces and some characterizations of the hyperplane in the N-dimensional Euclidean space
arxiv:081.165v1 [math.ap] 11 Dec 008 Stationary isothermic surfaces and some characterizations of the hyperplane in the N-dimensional Euclidean space Rolando Magnanini and Shigeru Sakaguchi October 6,
More informationWhitney topology and spaces of preference relations. Abstract
Whitney topology and spaces of preference relations Oleksandra Hubal Lviv National University Michael Zarichnyi University of Rzeszow, Lviv National University Abstract The strong Whitney topology on the
More informationTakens embedding theorem for infinite-dimensional dynamical systems
Takens embedding theorem for infinite-dimensional dynamical systems James C. Robinson Mathematics Institute, University of Warwick, Coventry, CV4 7AL, U.K. E-mail: jcr@maths.warwick.ac.uk Abstract. Takens
More informationON QUALITATIVE PROPERTIES OF SOLUTIONS OF QUASILINEAR ELLIPTIC EQUATIONS WITH STRONG DEPENDENCE ON THE GRADIENT
GLASNIK MATEMATIČKI Vol. 49(69)(2014), 369 375 ON QUALITATIVE PROPERTIES OF SOLUTIONS OF QUASILINEAR ELLIPTIC EQUATIONS WITH STRONG DEPENDENCE ON THE GRADIENT Jadranka Kraljević University of Zagreb, Croatia
More informationOPERATORS WITH SINGULAR CONTINUOUS SPECTRUM, V. SPARSE POTENTIALS. B. Simon 1 and G. Stolz 2
OPERATORS WITH SINGULAR CONTINUOUS SPECTRUM, V. SPARSE POTENTIALS B. Simon 1 and G. Stolz 2 Abstract. By presenting simple theorems for the absence of positive eigenvalues for certain one-dimensional Schrödinger
More informationKUIPER S THEOREM ON CONFORMALLY FLAT MANIFOLDS
KUIPER S THEOREM ON CONFORMALLY FLAT MANIFOLDS RALPH HOWARD DEPARTMENT OF MATHEMATICS UNIVERSITY OF SOUTH CAROLINA COLUMBIA, S.C. 29208, USA HOWARD@MATH.SC.EDU 1. Introduction These are notes to that show
More informationA LOWER BOUND FOR THE FUNDAMENTAL FREQUENCY OF A CONVEX REGION
proceedings of the american mathematical society Volume 81, Number 1, January 1981 A LOWER BOUND FOR THE FUNDAMENTAL FREQUENCY OF A CONVEX REGION M. H. PROTTER1 Abstract. A lower bound for the first eigenvalue
More informationON 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 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 informationSCUOLA NORMALE SUPERIORE DI PISA Classe di Scienze
ANNALI DELLA SCUOLA NORMALE SUPERIORE DI PISA Classe di Scienze I. M. SINGER BUN WONG SHING-TUNG YAU STEPHEN S.-T. YAU An estimate of the gap of the first two eigenvalues in the Schrödinger operator Annali
More informationLARGE DEVIATIONS OF TYPICAL LINEAR FUNCTIONALS ON A CONVEX BODY WITH UNCONDITIONAL BASIS. S. G. Bobkov and F. L. Nazarov. September 25, 2011
LARGE DEVIATIONS OF TYPICAL LINEAR FUNCTIONALS ON A CONVEX BODY WITH UNCONDITIONAL BASIS S. G. Bobkov and F. L. Nazarov September 25, 20 Abstract We study large deviations of linear functionals on an isotropic
More informationSuggested Solution to Assignment 7
MATH 422 (25-6) partial diferential equations Suggested Solution to Assignment 7 Exercise 7.. Suppose there exists one non-constant harmonic function u in, which attains its maximum M at x. Then by the
More informationMATH 126 FINAL EXAM. Name:
MATH 126 FINAL EXAM Name: Exam policies: Closed book, closed notes, no external resources, individual work. Please write your name on the exam and on each page you detach. Unless stated otherwise, you
More information1 Directional Derivatives and Differentiability
Wednesday, January 18, 2012 1 Directional Derivatives and Differentiability Let E R N, let f : E R and let x 0 E. Given a direction v R N, let L be the line through x 0 in the direction v, that is, L :=
More informationCalculus 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 informationSUBELLIPTIC CORDES ESTIMATES
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Number 0, Pages 000 000 S 000-9939XX0000-0 SUBELLIPTIC CORDES ESTIMATES Abstract. We prove Cordes type estimates for subelliptic linear partial
More informationWaves on 2 and 3 dimensional domains
Chapter 14 Waves on 2 and 3 dimensional domains We now turn to the studying the initial boundary value problem for the wave equation in two and three dimensions. In this chapter we focus on the situation
More informationA LOCALIZATION PROPERTY AT THE BOUNDARY FOR MONGE-AMPERE EQUATION
A LOCALIZATION PROPERTY AT THE BOUNDARY FOR MONGE-AMPERE EQUATION O. SAVIN. Introduction In this paper we study the geometry of the sections for solutions to the Monge- Ampere equation det D 2 u = f, u
More informationA FEW REMARKS ON THE SUPREMUM OF STABLE PROCESSES P. PATIE
A FEW REMARKS ON THE SUPREMUM OF STABLE PROCESSES P. PATIE Abstract. In [1], Bernyk et al. offer a power series and an integral representation for the density of S 1, the maximum up to time 1, of a regular
More informationMath 4263 Homework Set 1
Homework Set 1 1. Solve the following PDE/BVP 2. Solve the following PDE/BVP 2u t + 3u x = 0 u (x, 0) = sin (x) u x + e x u y = 0 u (0, y) = y 2 3. (a) Find the curves γ : t (x (t), y (t)) such that that
More informationAPPROXIMATE ISOMETRIES ON FINITE-DIMENSIONAL NORMED SPACES
APPROXIMATE ISOMETRIES ON FINITE-DIMENSIONAL NORMED SPACES S. J. DILWORTH Abstract. Every ε-isometry u between real normed spaces of the same finite dimension which maps the origin to the origin may by
More information2 Definitions We begin by reviewing the construction and some basic properties of squeezed balls and spheres [5, 7]. For an integer n 1, let [n] denot
Squeezed 2-Spheres and 3-Spheres are Hamiltonian Robert L. Hebble Carl W. Lee December 4, 2000 1 Introduction A (convex) d-polytope is said to be Hamiltonian if its edge-graph is. It is well-known that
More informationAnalysis in weighted spaces : preliminary version
Analysis in weighted spaces : preliminary version Frank Pacard To cite this version: Frank Pacard. Analysis in weighted spaces : preliminary version. 3rd cycle. Téhéran (Iran, 2006, pp.75.
More informationMATH 124B Solution Key HW 05
7.1 GREEN S FIRST IENTITY MATH 14B Solution Key HW 05 7.1 GREEN S FIRST IENTITY 1. erive the 3-dimensional maximum principle from the mean value property. SOLUTION. We aim to prove that if u is harmonic
More informationd n dt n ( Laplace transform of Definition of the Laplace transform
e t t m) Objectives. Recall the definition and some basic properties of the Laplace transform. Calculate the the following function (n < m): ( e t t ). m dt n Requirements. Integration by parts, change
More informationSYMMETRY IN REARRANGEMENT OPTIMIZATION PROBLEMS
Electronic Journal of Differential Equations, Vol. 2009(2009), No. 149, pp. 1 10. ISSN: 1072-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu SYMMETRY IN REARRANGEMENT
More informationOn Tricomi and Hermite-Tricomi Matrix Functions of Complex Variable
Communications in Mathematics and Applications Volume (0), Numbers -3, pp. 97 09 RGN Publications http://www.rgnpublications.com On Tricomi and Hermite-Tricomi Matrix Functions of Complex Variable A. Shehata
More informationPhysics 6303 Lecture 11 September 24, LAST TIME: Cylindrical coordinates, spherical coordinates, and Legendre s equation
Physics 6303 Lecture September 24, 208 LAST TIME: Cylindrical coordinates, spherical coordinates, and Legendre s equation, l l l l l l. Consider problems that are no axisymmetric; i.e., the potential depends
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 informationSome aspects of vanishing properties of solutions to nonlinear elliptic equations
RIMS Kôkyûroku, 2014, pp. 1 9 Some aspects of vanishing properties of solutions to nonlinear elliptic equations By Seppo Granlund and Niko Marola Abstract We discuss some aspects of vanishing properties
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 informationOn 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 informationSELF-ADJOINTNESS OF SCHRÖDINGER-TYPE OPERATORS WITH SINGULAR POTENTIALS ON MANIFOLDS OF BOUNDED GEOMETRY
Electronic Journal of Differential Equations, Vol. 2003(2003), No.??, pp. 1 8. ISSN: 1072-6691. URL: http://ejde.math.swt.edu or http://ejde.math.unt.edu ftp ejde.math.swt.edu (login: ftp) SELF-ADJOINTNESS
More informationarxiv:math/ v2 [math.ap] 3 Oct 2006
THE TAYLOR SERIES OF THE GAUSSIAN KERNEL arxiv:math/0606035v2 [math.ap] 3 Oct 2006 L. ESCAURIAZA From some people one can learn more than mathematics Abstract. We describe a formula for the Taylor series
More informationAN EFFECTIVE METRIC ON C(H, K) WITH NORMAL STRUCTURE. Mona Nabiei (Received 23 June, 2015)
NEW ZEALAND JOURNAL OF MATHEMATICS Volume 46 (2016), 53-64 AN EFFECTIVE METRIC ON C(H, K) WITH NORMAL STRUCTURE Mona Nabiei (Received 23 June, 2015) Abstract. This study first defines a new metric with
More informationSolutions for Euler and Navier-Stokes Equations in Finite and Infinite Series of Time
Solutions for Euler and Navier-Stokes Equations in Finite and Infinite Series of Time Valdir Monteiro dos Santos Godoi valdir.msgodoi@gmail.com Abstract We present solutions for the Euler and Navier-Stokes
More informationAbstract. The connectivity of the efficient point set and of some proper efficient point sets in locally convex spaces is investigated.
APPLICATIONES MATHEMATICAE 25,1 (1998), pp. 121 127 W. SONG (Harbin and Warszawa) ON THE CONNECTIVITY OF EFFICIENT POINT SETS Abstract. The connectivity of the efficient point set and of some proper efficient
More informationOn an Approximation Result for Piecewise Polynomial Functions. O. Karakashian
BULLETIN OF THE GREE MATHEMATICAL SOCIETY Volume 57, 010 (1 7) On an Approximation Result for Piecewise Polynomial Functions O. arakashian Abstract We provide a new approach for proving approximation results
More informationMath Review for Exam Answer each of the following questions as either True or False. Circle the correct answer.
Math 22 - Review for Exam 3. Answer each of the following questions as either True or False. Circle the correct answer. (a) True/False: If a n > 0 and a n 0, the series a n converges. Soln: False: Let
More informationA VARIATIONAL METHOD FOR THE ANALYSIS OF A MONOTONE SCHEME FOR THE MONGE-AMPÈRE EQUATION 1. INTRODUCTION
A VARIATIONAL METHOD FOR THE ANALYSIS OF A MONOTONE SCHEME FOR THE MONGE-AMPÈRE EQUATION GERARD AWANOU AND LEOPOLD MATAMBA MESSI ABSTRACT. We give a proof of existence of a solution to the discrete problem
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 informationNumerical Solutions to Partial Differential Equations
Numerical Solutions to Partial Differential Equations Zhiping Li LMAM and School of Mathematical Sciences Peking University Numerical Methods for Partial Differential Equations Finite Difference Methods
More informationGeneralized Ellipsoidal and Sphero-Conal Harmonics
Symmetry, Integrability and Geometry: Methods and Applications Vol. 2 (2006), Paper 071, 16 pages Generalized Ellipsoidal and Sphero-Conal Harmonics Hans VOLKMER Department of Mathematical Sciences, University
More informationComplex Functions (1A) Young Won Lim 2/22/14
Complex Functions (1A) Copyright (c) 2011-2014 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or
More informationarxiv: v1 [math.ca] 7 Aug 2015
THE WHITNEY EXTENSION THEOREM IN HIGH DIMENSIONS ALAN CHANG arxiv:1508.01779v1 [math.ca] 7 Aug 2015 Abstract. We prove a variant of the standard Whitney extension theorem for C m (R n ), in which the norm
More informationAn Introduction to Complex Analysis and Geometry John P. D Angelo, Pure and Applied Undergraduate Texts Volume 12, American Mathematical Society, 2010
An Introduction to Complex Analysis and Geometry John P. D Angelo, Pure and Applied Undergraduate Texts Volume 12, American Mathematical Society, 2010 John P. D Angelo, Univ. of Illinois, Urbana IL 61801.
More informationTHE FORM SUM AND THE FRIEDRICHS EXTENSION OF SCHRÖDINGER-TYPE OPERATORS ON RIEMANNIAN MANIFOLDS
THE FORM SUM AND THE FRIEDRICHS EXTENSION OF SCHRÖDINGER-TYPE OPERATORS ON RIEMANNIAN MANIFOLDS OGNJEN MILATOVIC Abstract. We consider H V = M +V, where (M, g) is a Riemannian manifold (not necessarily
More informationRadial Symmetry of Minimizers for Some Translation and Rotation Invariant Functionals
journal of differential equations 124, 378388 (1996) article no. 0015 Radial Symmetry of Minimizers for Some Translation and Rotation Invariant Functionals Orlando Lopes IMECCUNICAMPCaixa Postal 1170 13081-970,
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 informationON A CHARACTERISATION OF INNER PRODUCT SPACES
Georgian Mathematical Journal Volume 8 (2001), Number 2, 231 236 ON A CHARACTERISATION OF INNER PRODUCT SPACES G. CHELIDZE Abstract. It is well known that for the Hilbert space H the minimum value of the
More informationOptimality conditions for unconstrained optimization. Outline
Optimality conditions for unconstrained optimization Daniel P. Robinson Department of Applied Mathematics and Statistics Johns Hopkins University September 13, 2018 Outline 1 The problem and definitions
More informationThe Nearest Doubly Stochastic Matrix to a Real Matrix with the same First Moment
he Nearest Doubly Stochastic Matrix to a Real Matrix with the same First Moment William Glunt 1, homas L. Hayden 2 and Robert Reams 2 1 Department of Mathematics and Computer Science, Austin Peay State
More informationA Finite Element Method for the Surface Stokes Problem
J A N U A R Y 2 0 1 8 P R E P R I N T 4 7 5 A Finite Element Method for the Surface Stokes Problem Maxim A. Olshanskii *, Annalisa Quaini, Arnold Reusken and Vladimir Yushutin Institut für Geometrie und
More informationPROPERTIES OF INFINITE HARMONIC FUNCTIONS RELATIVE TO RIEMANNIAN VECTOR FIELDS
LE MATEMATICHE Vol. LXIII (2008) Fasc. II, pp. 19 37 PROPERTIES OF INFINITE HARMONIC FUNCTIONS RELATIVE TO RIEMANNIAN VECTOR FIELDS THOMAS BIESKE We employ Riemannian jets which are adapted to the Riemannian
More informationOn the distance between homotopy classes of maps between spheres
On the distance between homotopy classes of maps between spheres Shay Levi and Itai Shafrir February 18, 214 Department of Mathematics, Technion - I.I.T., 32 Haifa, ISRAEL Dedicated with great respect
More informationProduct metrics and boundedness
@ Applied General Topology c Universidad Politécnica de Valencia Volume 9, No. 1, 2008 pp. 133-142 Product metrics and boundedness Gerald Beer Abstract. This paper looks at some possible ways of equipping
More informationWaves in a Shock Tube
Waves in a Shock Tube Ivan Christov c February 5, 005 Abstract. This paper discusses linear-wave solutions and simple-wave solutions to the Navier Stokes equations for an inviscid and compressible fluid
More informationOn John type ellipsoids
On John type ellipsoids B. Klartag Tel Aviv University Abstract Given an arbitrary convex symmetric body K R n, we construct a natural and non-trivial continuous map u K which associates ellipsoids to
More informationProgress in Several Complex Variables KIAS 2018
for Progress in Several Complex Variables KIAS 2018 Outline 1 for 2 3 super-potentials for 4 real for Let X be a real manifold of dimension n. Let 0 p n and k R +. D c := { C k (differential) (n p)-forms
More informationSECOND ORDER TIME DISCONTINUOUS GALERKIN METHOD FOR NONLINEAR CONVECTION-DIFFUSION PROBLEMS
Proceedings of ALGORITMY 2009 pp. 1 10 SECOND ORDER TIME DISCONTINUOUS GALERKIN METHOD FOR NONLINEAR CONVECTION-DIFFUSION PROBLEMS MILOSLAV VLASÁK Abstract. We deal with a numerical solution of a scalar
More informationON BOUNDEDNESS OF MAXIMAL FUNCTIONS IN SOBOLEV SPACES
Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 29, 2004, 167 176 ON BOUNDEDNESS OF MAXIMAL FUNCTIONS IN SOBOLEV SPACES Piotr Haj lasz and Jani Onninen Warsaw University, Institute of Mathematics
More informationGeometric bounds for Steklov eigenvalues
Geometric bounds for Steklov eigenvalues Luigi Provenzano École Polytechnique Fédérale de Lausanne, Switzerland Joint work with Joachim Stubbe June 20, 2017 luigi.provenzano@epfl.ch (EPFL) Steklov eigenvalues
More informationSOME NOTES ON HOTELLING TUBES
SOME NOTES ON HOTELLING TUBES ROGER KOENKER 1. Introduction We begin with the two examples of Johansen and Johnstone. The first is Hotelling s (1939) original example, and the second is closely related
More informationSOLVABILITY OF NONLINEAR EQUATIONS
SOLVABILITY OF NONLINEAR EQUATIONS PETRONELA CATANĂ Using some numerical characteristics for nonlinear operators F acting between two Banach spaces X and Y, we discuss the solvability of a linear ecuation
More information