The Erwin Schrödinger International Boltzmanngasse 9 Institute for Mathematical Physics A-1090 Wien, Austria
|
|
- Earl Heath
- 5 years ago
- Views:
Transcription
1 ESI The Erwin Schrödinger International Boltzmanngasse 9 Institute for athematical Physics A-1090 Wien, Austria Regularity of the nodal sets of solutions to Schrödinger equations. Hoffmann-Ostenhof T. Hoffmann-Ostenhof N. Nadirashvili Vienna, Preprint ESI 36 (1993) July 9, 1993 Supported by Federal inistry of Science and Research, Austria
2 REGULARITY OF THE NODAL SETS OF SOLUTIONS TO SCHRÖDINGER EQUATIONS. Hoffmann-Ostenhof 1 T. Hoffmann-Ostenhof 2,3 N. Nadirashvili 3 Institut für athematik, Universität Wien 1 Institut für Theoretische Chemie, Universität Wien 2 International Erwin Schrödinger Institute for athematical Physics 3 1. Introduction Let Ω be an open set in R n and let V : Ω R be real valued with V L 1 loc (Ω). We consider real valued solutions u 0 which satisfy (1.1) u = V u in Ω in the distributional sense. In a recent paper two of us [HO2] investigated the local behaviour of such solutions under rather mild assumptions on the potential V, namely we assumed that V K n,δ (Ω) for some δ > 0, see e.g. [AS,S], where the class K n,δ is defined by requiring that V (y) (1.2) lim sup χ Ω dy = 0 ε 0 x R n x y n 2+δ x y <ε Here χ Ω denotes the characteristic function of Ω. One of our main results was Theorem 1.1. Suppose u 0 is a real valued solution of (1.1). Let x 0 Ω then either there is a harmonic homogenous polynomial P 0 of degree such that (1.3) u(x) = P (x x 0 ) + Φ(x) with (1.4) Φ(x) = O( x x 0 +min(1,δ ) ) δ < δ for x x 0 or u vanishes at x 0 faster than polynomially, that is lim x x 0 α u(x) = 0 x x 0 Typeset by AS-TEX Typeset by AS-TEX
3 2. Hoffmann-Ostenhof, T. Hoffmann-Ostenhof, N.Nadirashvili for every α > 0. It is known [AS,S] that V K n,δ (Ω), δ < 1 implies u C 0,δ (Ω) where C 0,δ denotes Hölder continuity. Suppose u has a zero of first order at x 0 so that u = P 1 (x x 0 ) + Φ in a neighbourhood of x 0 according to Theorem 1.1. (1.3) and (1.4) implies that for δ < δ 1 u(x) P 1 (x x 0 ) lim = 0 x x 0 x x 0 1+δ so that u is at x 0 smoother than at points for which u 0. So the question arises whether the zero sets of solutions of Schrödinger equations are in fact smoother than the corresponding solutions. Let us illustrate this with an explicit example. According to the theorem of Cauchy and Kowalewski there is a small disk B ρ = {(x, y) R 2 : x 2 + y 2 < ρ 2 } such that with v = v in B ρ v = x y x3 1 2 x2 y + higher order terms and with v(0, y) = y, v x (0, y) = 1. Now let in B ρ, u be defined by { x y for x 0 u = v for x > 0 then u = V u with { 1 x > 0 V = V (x, y) = 0 x 0 and a simple calculation shows that the nodal line of u is given by y = x for x 0 y = x 1 3 x3 + O(x 5 ) for x > 0. Hence y(x) has a second derivative and one sided third derivatives. But u itself already has a jump in the second derivative for every (x, y) with y = 0 and x 0. Results on this additional regularity of nodal sets together with some proofs will be presented in this announcement, the full paper will appear elsewhere. 2. Regularity of nodal sets Without loss of generality we consider (1.1) in B R0 we assume V K n,δ (B R0 ). Let = {x R n : x < R 0 } and (2.1) N u = {x B R0 : u = 0}
4 Nodal sets 3 and let N u (1) = {x N u : u vanishes of first order at x} so that for each x 0 N u (1) there is a P (x0) 1 (x x 0 ) 0 with (2.2) u(x) = P (x0) 1 (x x 0 ) + Φ(x) for x x 0 according to Theorem 1.1. Theorem 2.1. Pick x 0 N u (1) and assume δ 1. Then for each δ < δ and for sufficiently small ε > 0, N u (1) B ε (x 0 ) is a C 1,δ -hypersurface. Remarks. (i) By a C 1,δ hypersurface we mean that N u (1) B ε (x 0 ) can be represented as the graph of a C 1,δ (R n 1 ) function. (ii) Theorem 2.1 is sharp in the sense that δ > δ is not possible. We do not know whether δ = δ might be allowed. (iii) We shall later discuss the case of smoother potentials, say V K n,δ (Ω) for δ (1, 2) or V C k,α (Ω). C k,α denotes the usual Hölder spaces. Sketch of the proof. We first state a Lemma which is a sharpening of Theorem 1.1. Lemma 2.1. Let x 0 N u B R1 (0) with R 1 = R 0 /2 and suppose sup x BR0 u = C 1 then for every δ < δ, there is a C 2 such that for x < R 0 (2.3) u(x) P (x0) 1 (x x 0 ) C 2 x x 0 1+δ, where C 2 = C 2 (V, C 1, δ δ, n, R 0 ) Remark. The V -dependence can be made explicit via a suitable norm of V. The important fact is that C 2 does not depend on x 0. If x 0 happens to be a higher order zero of u then P (x0) 1 (x x 0 ) 0. The proof of Lemma 2.1 relies heavily on the techniques which have been developed in [HO2] in order to prove Theorem 1.1. Some additional technical complications arise, causing however no entirely new problems. Naturally a complete proof is, as already the proof of Theorem 1.1 somewhat involved. Now define for x 0, x 1 N u (2.4) ( u)(x i ) = ( P (xi) )(x i ) = a i, i = 0, 1 then it can be shown via Lemma 2.1 Lemma 2.2. Let x 0, x 1 N u B R2, R 2 = R 0 /4 then for δ < δ there is a constant C 3 such that (2.5) a 1 a 2 C 3 x 0 x 1 δ. with C 3 = C 3 (C 2 ), C 2 the constant given according to (2.3). For later purposes we prove the following more general statement.
5 4. Hoffmann-Ostenhof, T. Hoffmann-Ostenhof, N.Nadirashvili Lemma 2.2. Suppose P (0) and P (1) are polynominals of degree and that P (0) (1) (x) P (x x 1) c x 1 +δ for x 2 x 1. Then for every -th partial derivative there exists a constant C(, n) such that (P (0) (1) (x) P (x x 1)) cc(, n) x 1 δ Proof. Let Q (x) = P (0) (1) (x) P (x x 1). In the one-dimensional case Q (x) C x 1 +δ implies via a classical inequality of Chebyshev that d dx Q (x) C x 1 δ To obtain the corresponding estimate for the n-dimensional case we consider directional derivatives of -th order. There the one-dimensional estimate obviously holds. The partial derivatives can then be estimated by linear combinations of the directional derivatives [Bo]. We shall now proceed in the following way: we assume that x 0 N u (1) and that (2.6) ( u)(x 0 ) = (λ, 0,..., 0) λe 1, λ 0. We shall first show that in a neighbourhood of x 0 the nodal set u(x) = 0 can be represented as the graph of a uniquely determined continuous function such that ϕ : B γ (πx 0 ) R n 1 R (2.7) u(ϕ(y), y) = 0 y B γ (πx 0 ). thereby π denotes the orthogonal projection from R n to S := {x R n x 1 = 0} and B γ (πx 0 ) = {y S πx 0 y < γ} with γ > 0 small enough. Proposition 2.1. For sufficiently small ρ > 0 is injective. π : N u B ρ (x 0 ) S Proof. We start with some rather obvious observations and definitions. Since u(x 0 ) = 0, x 0 G where G = {x B R2 : u(x) > 0}. Let x G. We say ε x is an n 1 dimensional affine hyperplane to G at x if for every sequence of points x i G with x i x dist(x i, ε x ) = o( x i x ) for i.
6 Nodal sets 5 Let y G and d y (x) := (x y, ( u)(y)) then ε x0 = {x R n : d x0 (x) = 0}. Now define for x G N u (1) ( u)(x) = ( u)(x) ( u)(x) then by Lemma 2.2 it is straight forward to show that for small ρ (2.8) (( u)(x 0 ), ( u)(x)) > 1 2 for x N u B ρ (x 0 ) with B ρ (x 0 ) = {x R n : x x 0 ρ }. Set ρ = ρ in Proposition 2.1. Now suppose that Proposition 2.1 is wrong. Then there exist x, x B ρ (x 0 ) N u, x x such that π( x) = π(x) := x = (0, x 2, x 3,..., x n ). Let E = π 1 ( x) B ρ (x 0 ) N u. E is a closed set with cardinality 2. If E has an accumulation point y then π 1 ( x) ε y, but ε y = {x R n : (x y, ( u)(y)) = 0} and this implies (( u)(x 0 ), ( u)(y)) = 0 contradicting (2.8). So there are z 1, z 2 E where z 1, z 2 only differ in the first coordinate such that g(z 1, z 2 ) = {x R n : x = tz 1 + (1 t)z 2, t (0, 1)} satisfies g(z 1, z 2 ) N u = implying u(x) 0 and x g(z 1, z 2 ). But (( u)(x 0 ), ( u)(z j )) = u x 1 (x 0 ) u x 1 (z j ) sgn u x 1 (z 1 ) sgn u x 1 (z 2 ), j = 1, 2, hence sgn (( u)(x 0 ), ( u)(z 1 )) sgn (( u)(x 0 ), ( u)(z 2 )) again contradicting (2.8). This proves the proposition. Now we have to show the y B γ (πx 0 ), γ small enough, there is a t R such that (t, y) B ρ (x 0 ) N u. But this is an immediate consequence of the continuity of u : Denote x 0 = (x 01,..., x 0n ), let y B γ and x ± := (x 0,1 ± ε, y) such that x ± B ρ (x 0 ). Since u(x 0 ) = λe 1 and u(x 0 ) = 0, sgn u(x 0,1 + ε, x 0,2... x 0,n ) sgn u(x 0,1 ε, x 0,2... x 0n ) for ε small enough. Since u is continuous we also have y B γ, for γ sufficiently small, sgn u(x 0,1 + ε, y) sgn u(x 0,1 ε, y). Hence by the intermediate value theorem there is a t with t x 0,1 < ε such that u(t, y) = 0. This implies (2.7). Further via an implicit function theorem [H, Satz 170.1] (which is not standard but ideal for our purposes) we conclude that ϕ C 1,δ (B γ ) so that N u (1) is indeed locally the graph of a C 1,δ function. We give now a brief discussion of the higher regularity of nodal sets if V is assumed to be more regular. Theorem 2.2. (i) Suppose (1.1) holds with V K n,δ (Ω) with δ (1,2]. Then N u (1) is locally a C 2,δ -hypersurface for δ < δ 1. (ii) Suppose (1.1) holds with V C k,α (Ω) with α (0, 1) then N u (1) is locally a C k+3,α -hypersurface. The idea of the proof is basically the same as for the proof of Theorem 2.1. However we have to replace Theorem 1.1 by a more detailed result.
7 6. Hoffmann-Ostenhof, T. Hoffmann-Ostenhof, N.Nadirashvili Theorem (i) Suppose (1.1) holds and V K n,δ (Ω), δ (1, 2]. Let x 0 Ω then either there exist two harmonic homogenous polynomials P 0, P +1 of degree, + 1 respectively such that with u(x) = P (x x 0 ) + P +1 (x x 0 ) + Φ(x) Φ(x) = O( x x 0 +δ ) δ < δ for x x 0 or u vanishes at x 0 faster than polynomially. (ii) Suppose (1.1) holds and V C k,α (Ω), α (0, 1). Let x 0 Ω, then there is a polynomial of degree + k + 2 such that p(x) = P (x) + P +1 (x) + p 1 with P, P +1 again harmonic and homogenous of degree, + 1 respectively and P 0, and p 1 (x) vanishes at least of order + 2 at zero. We have then u(x) = p(x x 0 ) + Φ(x x 0 ) with Φ(x) = O( x ) +k+2+α Remarks. (a) Under the conditions of part (ii) of this theorem strong unique continuation is well known. Also (ii) is related to the classical Schauder estimates, see e.g. [GT]. (b) The proof of Theorem 2.3 again uses the techniques of [HO2] but some iterations are necessary. (c) For the coulombic case a more detailed version of Theorem 1.1 was recently shown in [HO2 S1] and [HO2 S2]. An investigation of the regularity of the nodal sets for this important case should be possible along the present lines. Starting from Theorem 2.3 the proof of Theorem 2.2 follows the same ideas as the proof of Theorem 2.1. So one first proves a suitable analog of Lemma 2.1, uses Lemma 2.2 and proceeds essentially as we did above in order to prove Theorem 2.1. References [AS]. Aizenman, B. Simon,, Brownian motion and Harnack inequality for Schrödinger operators, Commun Pure Applied athematics 35 (1982), [BO] J. Boman, Differentiability of a function and of its composition with functions of one variable, ath. Scand. 20 (1967), [GT] D.Gilbarg, N.S.Trudinger, Elliptic partial differential equations, Springer, Berlin, [HO2]. Hoffmann-Ostenhof, T. Hoffmann-Ostenhof, Local properties of solutions of Schrödinger equations, Comm. PDE 17 (1992), [HO2S1].Hoffmann-Ostenhof, T.Hoffmann-Ostenhof and H.Stremnitzer, Electronic wavefunctions near coalescence points, Phys. Rev. Letters 68 (1992), [HO2S2]. Hoffmann-Ostenhof, T. Hoffmann-Ostenhof and H. Stremnitzer, Local properties of Coulombic wavefunctions, submitted for publication.
8 Nodal sets 7 [H] H. Heuser, Lehrbuch der Analysis Teil 2, B. G. Teubner, Stuttgart, [S] B. Simon, Scrödinger semigroups, Bull. Am. ath. Soc. 7 (1982), Hoffmann-Ostenhof: Institut f ür athematik, Universit ät Wien, Strudlhofgasse 4, A-1090 Wien, Austria T. Hoffmann-Ostenhof: Institut f ür Theoretische Chemie, Universit ät Wien, Währinger Strasse 17, A-1090 Wien, Austria and International Erwin Schr ödinger Institute for athematical Physics, Pasteurgasse 6/7, A-1090 Wien, Austria address: hoho@itc.univie.ac.at N. Nadirashvili: International Erwin Schr ödinger Institute for athematical Physics, Pasteurgasse 6/7, A-1090 Wien, Austria and Institute of Earth Physics, oscow, Russia
BOUNDS ON THE MULTIPLICITY OF EIGENVALUES FOR FIXED MEMBRANES
Geom. Funct. Anal. (GAFA) Vol. 9 (1999), 1169-1188 BOUNDS ON THE MULTIPLICITY OF EIGENVALUES FOR FIXED MEMBRANES Thomas Hoffmann-Ostenhof Peter W. Michor Nikolai Nadirashvili Erwin Schrödinger Institut
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 informationSome lecture notes for Math 6050E: PDEs, Fall 2016
Some lecture notes for Math 65E: PDEs, Fall 216 Tianling Jin December 1, 216 1 Variational methods We discuss an example of the use of variational methods in obtaining existence of solutions. Theorem 1.1.
More 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 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 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 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 informationDIFFERENTIABLE PERTURBATION OF UNBOUNDED OPERATORS. Andreas Kriegl, Peter W. Michor
Math. Ann. 327, 1 (2003), 191-201 DIFFERENTIABLE PERTURBATION OF UNBOUNDED OPERATORS Andreas Kriegl, Peter W. Michor Abstract. If A(t) is a C 1,α -curve of unbounded self-adjoint operators with compact
More informationThe Erwin Schrödinger International Boltzmanngasse 9 Institute for Mathematical Physics A-1090 Wien, Austria
ESI The Erwin Schrödinger International Boltzmanngasse 9 Institute for Mathematical Physics A-090 Wien, Austria An Estimate on the Heat Kernel of Magnetic Schrödinger Operators and Unformly Elliptic Operators
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 informationThe Erwin Schrodinger International Boltzmanngasse 9. Institute for Mathematical Physics A-1090 Wien, Austria
ESI The Erwin Schrodinger International Boltzmanngasse 9 Institute for Mathematical Physics A-19 Wien, Austria The Negative Discrete Spectrum of a Class of Two{Dimentional Schrodinger Operators with Magnetic
More informationOn m-accretive Schrödinger operators in L p -spaces on manifolds of bounded geometry
On m-accretive Schrödinger operators in L p -spaces on manifolds of bounded geometry Ognjen Milatovic Department of Mathematics and Statistics University of North Florida Jacksonville, FL 32224 USA. Abstract
More informationTHE HARDY LITTLEWOOD MAXIMAL FUNCTION OF A SOBOLEV FUNCTION. Juha Kinnunen. 1 f(y) dy, B(x, r) B(x,r)
Appeared in Israel J. Math. 00 (997), 7 24 THE HARDY LITTLEWOOD MAXIMAL FUNCTION OF A SOBOLEV FUNCTION Juha Kinnunen Abstract. We prove that the Hardy Littlewood maximal operator is bounded in the Sobolev
More informationA new proof of the analyticity of the electronic density of molecules.
A new proof of the analyticity of the electronic density of molecules. Thierry Jecko AGM, UMR 8088 du CNRS, Université de Cergy-Pontoise, Département de mathématiques, site de Saint Martin, 2 avenue Adolphe
More information1 The Existence and Uniqueness Theorem for First-Order Differential Equations
1 The Existence and Uniqueness Theorem for First-Order Differential Equations Let I R be an open interval and G R n, n 1, be a domain. Definition 1.1 Let us consider a function f : I G R n. The general
More informationRegularity of the p-poisson equation in the plane
Regularity of the p-poisson equation in the plane Erik Lindgren Peter Lindqvist Department of Mathematical Sciences Norwegian University of Science and Technology NO-7491 Trondheim, Norway Abstract We
More informationS chauder Theory. x 2. = log( x 1 + x 2 ) + 1 ( x 1 + x 2 ) 2. ( 5) x 1 + x 2 x 1 + x 2. 2 = 2 x 1. x 1 x 2. 1 x 1.
Sep. 1 9 Intuitively, the solution u to the Poisson equation S chauder Theory u = f 1 should have better regularity than the right hand side f. In particular one expects u to be twice more differentiable
More informationBLOWUP THEORY FOR THE CRITICAL NONLINEAR SCHRÖDINGER EQUATIONS REVISITED
BLOWUP THEORY FOR THE CRITICAL NONLINEAR SCHRÖDINGER EQUATIONS REVISITED TAOUFIK HMIDI AND SAHBI KERAANI Abstract. In this note we prove a refined version of compactness lemma adapted to the blowup analysis
More informationRegularity Theory. Lihe Wang
Regularity Theory Lihe Wang 2 Contents Schauder Estimates 5. The Maximum Principle Approach............... 7.2 Energy Method.......................... 3.3 Compactness Method...................... 7.4 Boundary
More informationarxiv:math/ v1 [math.sp] 2 Mar 2004
Nodal Domain Theorems à la Courant. arxiv:math/0403038v1 [math.sp] 2 Mar 2004 A. Ancona 1, B. Helffer 1, and T. Hoffmann-Ostenhof 2,3, Département de Mathématiques, Université Paris-Sud 1 Institut für
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 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 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 informationINTRODUCTION TO REAL ANALYTIC GEOMETRY
INTRODUCTION TO REAL ANALYTIC GEOMETRY KRZYSZTOF KURDYKA 1. Analytic functions in several variables 1.1. Summable families. Let (E, ) be a normed space over the field R or C, dim E
More informationEugenia Malinnikova NTNU. March E. Malinnikova Propagation of smallness for elliptic PDEs
Remez inequality and propagation of smallness for solutions of second order elliptic PDEs Part II. Logarithmic convexity for harmonic functions and solutions of elliptic PDEs Eugenia Malinnikova NTNU March
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 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 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 informationOn non negative solutions of some quasilinear elliptic inequalities
On non negative solutions of some quasilinear elliptic inequalities Lorenzo D Ambrosio and Enzo Mitidieri September 28 2006 Abstract Let f : R R be a continuous function. We prove that under some additional
More informationFunctional Analysis Exercise Class
Functional Analysis Exercise Class Week 2 November 6 November Deadline to hand in the homeworks: your exercise class on week 9 November 13 November Exercises (1) Let X be the following space of piecewise
More informationAN EIGENVALUE PROBLEM FOR THE SCHRÖDINGER MAXWELL EQUATIONS. Vieri Benci Donato Fortunato. 1. Introduction
Topological Methods in Nonlinear Analysis Journal of the Juliusz Schauder Center Volume, 998, 83 93 AN EIGENVALUE PROBLEM FOR THE SCHRÖDINGER MAXWELL EQUATIONS Vieri Benci Donato Fortunato Dedicated to
More informationMINIMAL SURFACES AND MINIMIZERS OF THE GINZBURG-LANDAU ENERGY
MINIMAL SURFACES AND MINIMIZERS OF THE GINZBURG-LANDAU ENERGY O. SAVIN 1. Introduction In this expository article we describe various properties in parallel for minimal surfaces and minimizers of the Ginzburg-Landau
More informationIntegro-differential equations: Regularity theory and Pohozaev identities
Integro-differential equations: Regularity theory and Pohozaev identities Xavier Ros Oton Departament Matemàtica Aplicada I, Universitat Politècnica de Catalunya PhD Thesis Advisor: Xavier Cabré Xavier
More information1. Introduction Boundary estimates for the second derivatives of the solution to the Dirichlet problem for the Monge-Ampere equation
POINTWISE C 2,α ESTIMATES AT THE BOUNDARY FOR THE MONGE-AMPERE EQUATION O. SAVIN Abstract. We prove a localization property of boundary sections for solutions to the Monge-Ampere equation. As a consequence
More information2014:05 Incremental Greedy Algorithm and its Applications in Numerical Integration. V. Temlyakov
INTERDISCIPLINARY MATHEMATICS INSTITUTE 2014:05 Incremental Greedy Algorithm and its Applications in Numerical Integration V. Temlyakov IMI PREPRINT SERIES COLLEGE OF ARTS AND SCIENCES UNIVERSITY OF SOUTH
More informationThe Erwin Schrödinger International Boltzmanngasse 9 Institute for Mathematical Physics A-1090 Wien, Austria
ESI The Erwin Schrödinger International Boltzmanngasse 9 Institute for Mathematical Physics A-1090 Wien, Austria Isomorphisms of the Jacobi and Poisson Brackets Janusz Grabowski Vienna, Preprint ESI 5
More informationThe De Giorgi-Nash-Moser Estimates
The De Giorgi-Nash-Moser Estimates We are going to discuss the the equation Lu D i (a ij (x)d j u) = 0 in B 4 R n. (1) The a ij, with i, j {1,..., n}, are functions on the ball B 4. Here and in the following
More informationThe Erwin Schrodinger International Pasteurgasse 6/7. Institute for Mathematical Physics A-1090 Wien, Austria
ESI The Erwin Schrodinger International Pasteurgasse 6/7 Institute for Mathematical Physics A-1090 Wien, Austria On the Point Spectrum of Dirence Schrodinger Operators Vladimir Buslaev Alexander Fedotov
More information1+t 2 (l) y = 2xy 3 (m) x = 2tx + 1 (n) x = 2tx + t (o) y = 1 + y (p) y = ty (q) y =
DIFFERENTIAL EQUATIONS. Solved exercises.. Find the set of all solutions of the following first order differential equations: (a) x = t (b) y = xy (c) x = x (d) x = (e) x = t (f) x = x t (g) x = x log
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 information2 A Model, Harmonic Map, Problem
ELLIPTIC SYSTEMS JOHN E. HUTCHINSON Department of Mathematics School of Mathematical Sciences, A.N.U. 1 Introduction Elliptic equations model the behaviour of scalar quantities u, such as temperature or
More informationApplied Analysis (APPM 5440): Final exam 1:30pm 4:00pm, Dec. 14, Closed books.
Applied Analysis APPM 44: Final exam 1:3pm 4:pm, Dec. 14, 29. Closed books. Problem 1: 2p Set I = [, 1]. Prove that there is a continuous function u on I such that 1 ux 1 x sin ut 2 dt = cosx, x I. Define
More informationSplines which are piecewise solutions of polyharmonic equation
Splines which are piecewise solutions of polyharmonic equation Ognyan Kounchev March 25, 2006 Abstract This paper appeared in Proceedings of the Conference Curves and Surfaces, Chamonix, 1993 1 Introduction
More informationGeorgia Tech PHYS 6124 Mathematical Methods of Physics I
Georgia Tech PHYS 612 Mathematical Methods of Physics I Instructor: Predrag Cvitanović Fall semester 2012 Homework Set #5 due October 2, 2012 == show all your work for maximum credit, == put labels, title,
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 informationCOMPLEX SPHERICAL WAVES AND INVERSE PROBLEMS IN UNBOUNDED DOMAINS
COMPLEX SPHERICAL WAVES AND INVERSE PROBLEMS IN UNBOUNDED DOMAINS MIKKO SALO AND JENN-NAN WANG Abstract. This work is motivated by the inverse conductivity problem of identifying an embedded object in
More informationPHASE TRANSITIONS: REGULARITY OF FLAT LEVEL SETS
PHASE TRANSITIONS: REGULARITY OF FLAT LEVEL SETS OVIDIU SAVIN Abstract. We consider local minimizers of the Ginzburg-Landau energy functional 2 u 2 + 4 ( u2 ) 2 dx and prove that, if the level set is included
More informationRESTRICTION. Alex Iosevich. Section 0: Introduction.. A natural question to ask is, does the boundedness of R : L 2(r+1)
FOURIER TRANSFORM, L 2 THEOREM, AND SCALING RESTRICTION Alex Iosevich Abstract. We show, using a Knapp-type homogeneity argument, that the (L p, L 2 ) restriction theorem implies a growth condition on
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 informationOn stable inversion of the attenuated Radon transform with half data Jan Boman. We shall consider weighted Radon transforms of the form
On stable inversion of the attenuated Radon transform with half data Jan Boman We shall consider weighted Radon transforms of the form R ρ f(l) = f(x)ρ(x, L)ds, L where ρ is a given smooth, positive weight
More informationLecture No 1 Introduction to Diffusion equations The heat equat
Lecture No 1 Introduction to Diffusion equations The heat equation Columbia University IAS summer program June, 2009 Outline of the lectures We will discuss some basic models of diffusion equations and
More informationPOINCARÉ S INEQUALITY AND DIFFUSIVE EVOLUTION EQUATIONS
POINCARÉ S INEQUALITY AND DIFFUSIVE EVOLUTION EQUATIONS CLAYTON BJORLAND AND MARIA E. SCHONBEK Abstract. This paper addresses the question of change of decay rate from exponential to algebraic for diffusive
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 informationTHE HOT SPOTS CONJECTURE FOR NEARLY CIRCULAR PLANAR CONVEX DOMAINS
THE HOT SPOTS CONJECTURE FOR NEARLY CIRCULAR PLANAR CONVEX DOMAINS YASUHITO MIYAMOTO Abstract. We prove the hot spots conjecture of J. Rauch in the case that the domain Ω is a planar convex domain satisfying
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 informationOn the structure of Hardy Sobolev Maz ya inequalities
J. Eur. Math. Soc., 65 85 c European Mathematical Society 2009 Stathis Filippas Achilles Tertikas Jesper Tidblom On the structure of Hardy Sobolev Maz ya inequalities Received October, 2007 and in revised
More informationTHE TWO-PHASE MEMBRANE PROBLEM REGULARITY OF THE FREE BOUNDARIES IN HIGHER DIMENSIONS. 1. Introduction
THE TWO-PHASE MEMBRANE PROBLEM REGULARITY OF THE FREE BOUNDARIES IN HIGHER DIMENSIONS HENRIK SHAHGHOLIAN, NINA URALTSEVA, AND GEORG S. WEISS Abstract. For the two-phase membrane problem u = λ + χ {u>0}
More informationThe Dirichlet boundary problems for second order parabolic operators satisfying a Carleson condition
The Dirichlet boundary problems for second order parabolic operators satisfying a Carleson condition Sukjung Hwang CMAC, Yonsei University Collaboration with M. Dindos and M. Mitrea The 1st Meeting of
More informationFunctional Analysis Exercise Class
Functional Analysis Exercise Class Week 9 November 13 November Deadline to hand in the homeworks: your exercise class on week 16 November 20 November Exercises (1) Show that if T B(X, Y ) and S B(Y, Z)
More informationProperties of the Scattering Transform on the Real Line
Journal of Mathematical Analysis and Applications 58, 3 43 (001 doi:10.1006/jmaa.000.7375, available online at http://www.idealibrary.com on Properties of the Scattering Transform on the Real Line Michael
More informationarxiv: v2 [math.ap] 28 Nov 2016
ONE-DIMENSIONAL SAIONARY MEAN-FIELD GAMES WIH LOCAL COUPLING DIOGO A. GOMES, LEVON NURBEKYAN, AND MARIANA PRAZERES arxiv:1611.8161v [math.ap] 8 Nov 16 Abstract. A standard assumption in mean-field game
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 informationNECESSARY CONDITIONS FOR WEIGHTED POINTWISE HARDY INEQUALITIES
NECESSARY CONDITIONS FOR WEIGHTED POINTWISE HARDY INEQUALITIES JUHA LEHRBÄCK Abstract. We establish necessary conditions for domains Ω R n which admit the pointwise (p, β)-hardy inequality u(x) Cd Ω(x)
More informationDefinition 3 (Continuity). A function f is continuous at c if lim x c f(x) = f(c).
Functions of Several Variables A function of several variables is just what it sounds like. It may be viewed in at least three different ways. We will use a function of two variables as an example. z =
More informationEverywhere differentiability of infinity harmonic functions
Everywhere differentiability of infinity harmonic functions Lawrence C. Evans and Charles K. Smart Department of Mathematics University of California, Berkeley Abstract We show that an infinity harmonic
More informationRatios of harmonic functions
Ratios of harmonic functions Eugenia Malinnikova NTNU (Trondheim, Norway) joint work with A. Logunov (St.Petersburg/Tel Aviv) Harmonic Analysis, Complex Analysis, Spectral Theory and all that Bedlewo,
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 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 informationOn the size of Kakeya sets in finite vector spaces
On the size of Kakeya sets in finite vector spaces Gohar Kyureghyan Institute of Algebra and Geometry Otto-von-Guericke University Magdeburg 9106 Magdeburg, Germany gohar.kyureghyan@ovgu.de Peter Müller
More informationIntroduction to Arithmetic Geometry Fall 2013 Lecture #17 11/05/2013
18.782 Introduction to Arithmetic Geometry Fall 2013 Lecture #17 11/05/2013 Throughout this lecture k denotes an algebraically closed field. 17.1 Tangent spaces and hypersurfaces For any polynomial f k[x
More informationStolz angle limit of a certain class of self-mappings of the unit disk
Available online at www.sciencedirect.com Journal of Approximation Theory 164 (2012) 815 822 www.elsevier.com/locate/jat Full length article Stolz angle limit of a certain class of self-mappings of the
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 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 informationIntroduction to Aspects of Multiscale Modeling as Applied to Porous Media
Introduction to Aspects of Multiscale Modeling as Applied to Porous Media Part III Todd Arbogast Department of Mathematics and Center for Subsurface Modeling, Institute for Computational Engineering and
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 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 informationRegularity of flat level sets in phase transitions
Annals of Mathematics, 69 (2009), 4 78 Regularity of flat level sets in phase transitions By Ovidiu Savin Abstract We consider local minimizers of the Ginzburg-Landau energy functional 2 u 2 + 4 ( u2 )
More informationStrong uniqueness for second order elliptic operators with Gevrey coefficients
Strong uniqueness for second order elliptic operators with Gevrey coefficients Ferruccio Colombini, Cataldo Grammatico, Daniel Tataru Abstract We consider here the problem of strong unique continuation
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 informationContinuous dependence estimates for the ergodic problem with an application to homogenization
Continuous dependence estimates for the ergodic problem with an application to homogenization Claudio Marchi Bayreuth, September 12 th, 2013 C. Marchi (Università di Padova) Continuous dependence Bayreuth,
More informationCharacterisation of Accumulation Points. Convergence in Metric Spaces. Characterisation of Closed Sets. Characterisation of Closed Sets
Convergence in Metric Spaces Functional Analysis Lecture 3: Convergence and Continuity in Metric Spaces Bengt Ove Turesson September 4, 2016 Suppose that (X, d) is a metric space. A sequence (x n ) X is
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 informationPERTURBATION THEORY FOR NONLINEAR DIRICHLET PROBLEMS
Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 28, 2003, 207 222 PERTURBATION THEORY FOR NONLINEAR DIRICHLET PROBLEMS Fumi-Yuki Maeda and Takayori Ono Hiroshima Institute of Technology, Miyake,
More informationSome asymptotic properties of solutions for Burgers equation in L p (R)
ARMA manuscript No. (will be inserted by the editor) Some asymptotic properties of solutions for Burgers equation in L p (R) PAULO R. ZINGANO Abstract We discuss time asymptotic properties of solutions
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 informationThe Lusin Theorem and Horizontal Graphs in the Heisenberg Group
Analysis and Geometry in Metric Spaces Research Article DOI: 10.2478/agms-2013-0008 AGMS 2013 295-301 The Lusin Theorem and Horizontal Graphs in the Heisenberg Group Abstract In this paper we prove that
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 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 informationON PARABOLIC HARNACK INEQUALITY
ON PARABOLIC HARNACK INEQUALITY JIAXIN HU Abstract. We show that the parabolic Harnack inequality is equivalent to the near-diagonal lower bound of the Dirichlet heat kernel on any ball in a metric measure-energy
More informationImplicit Functions, Curves and Surfaces
Chapter 11 Implicit Functions, Curves and Surfaces 11.1 Implicit Function Theorem Motivation. In many problems, objects or quantities of interest can only be described indirectly or implicitly. It is then
More informationUniversität des Saarlandes. Fachrichtung 6.1 Mathematik
Universität des Saarlandes U N I V E R S I T A S S A R A V I E N I S S Fachrichtung 6.1 Mathematik Preprint Nr. 225 Estimates of the second-order derivatives for solutions to the two-phase parabolic problem
More informationHOPF S DECOMPOSITION AND RECURRENT SEMIGROUPS. Josef Teichmann
HOPF S DECOMPOSITION AND RECURRENT SEMIGROUPS Josef Teichmann Abstract. Some results of ergodic theory are generalized in the setting of Banach lattices, namely Hopf s maximal ergodic inequality and the
More informationTheorem [Mean Value Theorem for Harmonic Functions] Let u be harmonic on D(z 0, R). Then for any r (0, R), u(z 0 ) = 1 z z 0 r
2. A harmonic conjugate always exists locally: if u is a harmonic function in an open set U, then for any disk D(z 0, r) U, there is f, which is analytic in D(z 0, r) and satisfies that Re f u. Since such
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 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 informationSum rules and semiclassical limits for quantum Hamiltonians on surfaces, periodic structures, and graphs.
Sum rules and semiclassical limits for quantum Hamiltonians on surfaces, periodic structures, and graphs. Evans Harrell Georgia Tech www.math.gatech.edu/~harrell Mathematical aspects of quantum transport
More informationSCHWARTZ SPACES ASSOCIATED WITH SOME NON-DIFFERENTIAL CONVOLUTION OPERATORS ON HOMOGENEOUS GROUPS
C O L L O Q U I U M M A T H E M A T I C U M VOL. LXIII 1992 FASC. 2 SCHWARTZ SPACES ASSOCIATED WITH SOME NON-DIFFERENTIAL CONVOLUTION OPERATORS ON HOMOGENEOUS GROUPS BY JACEK D Z I U B A Ń S K I (WROC
More informationAALBORG UNIVERSITY. Third derivative of the one-electron density at the nucleus. S. Fournais, M. Hoffmann-Ostenhof and T. Østergaard Sørensem
AALBORG UNIVERSITY Third derivative of the one-electron density at the nucleus by S. Fournais, M. Hoffmann-Ostenhof and T. Østergaard Sørensem R-2006-26 July 2006 Department of Mathematical Sciences Aalborg
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 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 information