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

Similar documents
Heat kernels of some Schrödinger operators

Heat kernels on metric measure spaces

Stochastic completeness of Markov processes

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

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

RIEMANNIAN GEOMETRY COMPACT METRIC SPACES. Jean BELLISSARD 1. Collaboration:

Heat kernels on metric spaces with doubling measure

Heat kernels and function theory on metric measure spaces

ON THE REGULARITY OF SAMPLE PATHS OF SUB-ELLIPTIC DIFFUSIONS ON MANIFOLDS

Poisson Equation on Closed Manifolds

LAPLACIANS COMPACT METRIC SPACES. Sponsoring. Jean BELLISSARD a. Collaboration:

A local time scaling exponent for compact metric spaces

Random walks on ultra-metric spaces

CMS winter meeting 2008, Ottawa. The heat kernel on connected sums

Heat kernels on metric spaces with doubling measure

Linear Analysis Lecture 5

Heat Kernel and Analysis on Manifolds Excerpt with Exercises. Alexander Grigor yan

COMPARISON INEQUALITIES FOR HEAT SEMIGROUPS AND HEAT KERNELS ON METRIC MEASURE SPACES

Lower estimates for a perturbed Green function

Continuity. Matt Rosenzweig

HESSIAN MEASURES III. Centre for Mathematics and Its Applications Australian National University Canberra, ACT 0200 Australia

Laplace s Equation. Chapter Mean Value Formulas

OBTAINING UPPER BOUNDS OF HEAT KERNELS FROM LOWER BOUNDS

Pseudo-Poincaré Inequalities and Applications to Sobolev Inequalities

The spectral decimation of the Laplacian on the Sierpinski gasket

Pavel Gyrya Laurent Saloff-Coste NEUMANN AND DIRICHLET HEAT KERNELS IN INNER UNIFORM DOMAINS

Harnack inequalities and Gaussian estimates for random walks on metric measure spaces. Mathav Murugan Laurent Saloff-Coste

Equilibria with a nontrivial nodal set and the dynamics of parabolic equations on symmetric domains

Function spaces and stochastic processes on fractals I. Takashi Kumagai. (RIMS, Kyoto University, Japan)

Existence of Positive Solutions to a Nonlinear Biharmonic Equation

UPPER BOUNDS FOR EIGENVALUES OF THE DISCRETE AND CONTINUOUS LAPLACE OPERATORS

CUTOFF RESOLVENT ESTIMATES AND THE SEMILINEAR SCHRÖDINGER EQUATION

The oblique derivative problem for general elliptic systems in Lipschitz domains

ESTIMATES FOR THE MONGE-AMPERE EQUATION

LECTURE 15: COMPLETENESS AND CONVEXITY

Volume comparison theorems without Jacobi fields

On the approximation of the principal eigenvalue for a class of nonlinear elliptic operators

ASYMPTOTIC ANALYSIS FOR FOURTH ORDER PANEITZ EQUATIONS WITH CRITICAL GROWTH

AFFINE MAXIMAL HYPERSURFACES. Xu-Jia Wang. Centre for Mathematics and Its Applications The Australian National University

On some weighted fractional porous media equations

(1) Consider the space S consisting of all continuous real-valued functions on the closed interval [0, 1]. For f, g S, define

Notes on Partial Differential Equations. John K. Hunter. Department of Mathematics, University of California at Davis

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

Heat Kernels on Manifolds, Graphs and Fractals

NONCOMMUTATIVE. GEOMETRY of FRACTALS

Heat kernel asymptotics on the usual and harmonic Sierpinski gaskets. Cornell Prob. Summer School 2010 July 22, 2010

ON THE STATIC METRIC EXTENSION PROBLEM

Nonlinear elliptic systems with exponential nonlinearities

Hamburger Beiträge zur Angewandten Mathematik

M. T. Barlow, M. Murugan. January 14, Abstract

Logarithmic Harnack inequalities

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

On semilinear elliptic equations with measure data

McGill University Math 354: Honors Analysis 3

ON THE GROUND STATE OF QUANTUM LAYERS

Resistance forms, quasisymmetric maps and heat kernel estimates

THE HODGE DECOMPOSITION

Lectures on. Sobolev Spaces. S. Kesavan The Institute of Mathematical Sciences, Chennai.

POINTWISE BOUNDS ON QUASIMODES OF SEMICLASSICAL SCHRÖDINGER OPERATORS IN DIMENSION TWO

Numerical Solutions of Geometric Partial Differential Equations. Adam Oberman McGill University

2 (Bonus). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure?

INTRODUCTION TO TOPOLOGY, MATH 141, PRACTICE PROBLEMS

Partial Differential Equations

Integral Jensen inequality

Existence, stability and instability for Einstein-scalar field Lichnerowicz equations by Emmanuel Hebey

Oblique derivative problems for elliptic and parabolic equations, Lecture II

Definition 6.1. A metric space (X, d) is complete if every Cauchy sequence tends to a limit in X.

Analysis in weighted spaces : preliminary version

Perturbation of the Laplace operator

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

Generalized Lax-Milgram theorem in Banach spaces and its application to the mathematical fluid mechanics.

DOMAINS OF DIRICHLET FORMS AND EFFECTIVE RESISTANCE ESTIMATES ON P.C.F. FRACTALS. 1. Introduction

Liouville Properties for Nonsymmetric Diffusion Operators. Nelson Castañeda. Central Connecticut State University

Densely defined non-closable curl on topologically one-dimensional Dirichlet metric measure spaces

Notes on Partial Differential Equations. John K. Hunter. Department of Mathematics, University of California at Davis

u( x) = g( y) ds y ( 1 ) U solves u = 0 in U; u = 0 on U. ( 3)

Compact operators on Banach spaces

arxiv: v1 [math.co] 14 Apr 2012

Homogeneous para-kähler Einstein manifolds. Dmitri V. Alekseevsky

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

WEAK UNCERTAINTY PRINCIPLE FOR FRACTALS, GRAPHS AND METRIC MEASURE SPACES

SYMPLECTIC GEOMETRY: LECTURE 1

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

The continuity method

SOLUTION OF POISSON S EQUATION. Contents

Recovery of anisotropic metrics from travel times

Quasi-conformal minimal Lagrangian diffeomorphisms of the

CHAPTER 2. Laplace s equation

On the Intrinsic Differentiability Theorem of Gromov-Schoen

Local and Non-Local Dirichlet Forms on the Sierpiński Carpet

Wave equation on manifolds and finite speed of propagation

Introduction to Functional Analysis

AN EIGENVALUE PROBLEM FOR THE SCHRÖDINGER MAXWELL EQUATIONS. Vieri Benci Donato Fortunato. 1. Introduction

NOTE ON A REMARKABLE SUPERPOSITION FOR A NONLINEAR EQUATION. 1. Introduction. ρ(y)dy, ρ 0, x y

SOME QUESTIONS FOR MATH 766, SPRING Question 1. Let C([0, 1]) be the set of all continuous functions on [0, 1] endowed with the norm

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

On m-accretive Schrödinger operators in L p -spaces on manifolds of bounded geometry

BOUNDARY VALUE PROBLEMS ON A HALF SIERPINSKI GASKET

Existence of 1-harmonic map flow

Transcription:

On positive solutions of semi-linear elliptic inequalities on Riemannian manifolds Alexander Grigor yan University of Bielefeld University of Minnesota, February 2018

Setup and problem statement Let (M, g) be a connected Riemannian manifold, Δ the Laplace-Beltrami operator on M. In local coordinates x 1,..., x n it has the form Δ = 1 D n ( ) xi aij (x) xj, i,j=1 where D = det (g ij ) and (a ij ) = D (g ij ) 1. Consider the equation (or inequality) Δu + Φ (x) u σ = f (or Δu + Φ (x) u σ f ) where Φ, f C (M), f 0, σ > 0. Solution u should be non-negative and in C 2 (M). Our goal is obtaining pointwise estimates of u. Assume that Δ has a positive Green function G (x, y) on M. Set Gf(x) = G(x, y)f(y)dμ(y). M It is known that if Gf is finite then Δ (Gf) = f. 1

Linear case σ = 1 W. Hansen Z.Ma 1990, AG W.Hansen 2008: if Δu + Φ (x) u f on M where Φ 0 and the function h = Gf is positive and finite, then u h exp ( 1h ) G (hφ). This implies the lower bound for the Green function G Φ of Δ + Φ: G (x, z) G (z, y) Φ (z) dμ (z) G Φ (x, y) G (x, y) exp M G (x, y). In the case Φ 0 a similar estimate under additional assumptions was obtained by N.Kalton I.Verbitsky 1999. 2

Main result Theorem 1 (AG I.Verbitsky, 2015) Let u 0 solve Δu + Φu σ f in M. Set h = Gf and assume that 0 < h <. Assume also that G (h σ Φ) be well defined. (i) If σ = 1 then u h exp ( 1h ) G (hφ). (1) (ii) If σ > 1 then u h [ 1 + (σ 1) 1 ] 1, (2) h G σ 1 (hσ Φ) where the expression in square brackets is necessarily positive, that is, (iii) If 0 < σ < 1 then (σ 1)G(h σ Φ) < h. (3) u h [1 (1 σ) 1h G ( 1 {u>0} h σ Φ )] 1 1 σ + 3. (4)

Estimates with boundary condition Let Ω be a relatively compact domain in M with smooth boundary. Let G Ω (x, y) be the Green function of Δ in Ω with the Dirichlet boundary condition. It suffices to prove (1)-(4) in Ω with G Ω instead of G and with h = G Ω f instead of Gf. Consider the following problem. Let h C 2 (Ω) C ( Ω ) be positive and superharmonic in Ω. Set f := Δh 0. Assume that u C 2 (Ω) C ( Ω ), u 0, satisfies { Δu + Φu σ f in Ω (5) u h on Ω Theorem 2 (i) If σ = 1 then u h exp ( 1 h G Ω (hφ) ). (ii) If σ > 1 then u where necessarily (σ 1)G Ω (h σ Φ) < h. (iii) If 0 < σ < 1 then u h [ 1 (1 σ) 1 h G Ω h [ 1 + (σ 1) 1 G h Ω (h σ Φ) ], 1 σ 1 4 ( 1{u>0} h σ Φ )] 1 1 σ +.

Approach to the proof of Theorem 2 Assume for simplicity that u > 0 and h > 0 in Ω. Assume first h 1. Then f = Δh = 0 and (5) becomes { Δu + Φu σ 0 in Ω u 1 on Ω Fix a C 2 function ϕ on (a interval of) R with ϕ > 0 and make the following change: By the chain rule we have whence v = ϕ 1 (u). Δu = Δϕ (v) = ϕ (v)δv + ϕ (v) v 2, Δv = ϕ v 2 ϕ Δu ϕ Choose ϕ to solve the following initial value problem ϕ (s) = ϕ σ (s), ϕ (0) = 1. ϕ ϕ v 2 Φ ϕ(v)σ ϕ (v). (6) 5

If σ = 1 then ϕ (s) = e s. If σ 1 then ϕ (s) = [(1 σ)s + 1] 1 1 σ. The inverse function ϕ 1 is always defined on (0, + ). 6

The function ϕ is convex, and we obtain from (6) Δv Φ in Ω. (7) Since on Ω we have v = ϕ 1 (u) ϕ 1 (1) = 0, it follows that v G Ω Φ in Ω and, hence, u ϕ ( G Ω Φ) in Ω. This yields the cases (i) (iii) of Theorem 2 in the case h = 1. Indeed, in the case σ = 1 we have ϕ (s) = e s and, hence, u exp ( G Ω Φ). In the case σ > 1 we have ϕ (s) = [(1 σ)s + 1] 1 σ 1, which gives the estimate of (ii) u 1 [1 + (σ 1)G Ω Φ] 1 σ 1. Similarly one treats the case 0 < σ < 1. 7

For a general h > 0, we use the h-transform of Δ in Ω: Δ h := 1 Δ h. That is, h Δ h u = 1 h (Δ (hu)) = 1 h (hδu + 2 h h + (Δh) u) = 1 h div ( h 2 u ) + Δh Δh u = Lu+ 2 h h u where L = 1 h 2 div ( h 2 ) is the weighted Laplacian associated with measure d μ = h 2 dμ. For function ũ = u h we have Δ h ũ = 1 h Δu 1 h ( Φuσ + f) = h σ 1 Φũ σ Δh h. Setting Φ = h σ 1 Φ, we obtain that ũ satisfies Δ h ũ + Φũ σ Δh h in Ω, ũ 1 on Ω. Now we use the same approach as in the case h = 1, but for operator Δ h in place of Δ. Set v = ϕ 1 (ũ) = ϕ 1 (u/h) and compute Δ h v as in (6). For the part L = 1 h 2 div (h 2 ) of the operator Δ h, computation is the same as for Δ. 8

The part Δh h gives in the end an additional term so that instead of (7) we obtain ( ϕ(v) 1 Δ h v Φ + ϕ (v) ) Δh v h. Multiplying by h, we obtain ( ϕ(v) 1 Δ (hv) h σ Φ + ϕ (v) ) v Δh. (8) The convexity of ϕ implies ϕ(s) 1 ϕ (s) s 0, (9) for any s in the domain of ϕ. Indeed, if s > 0 then ξ [0, s] such that It follows that which yields (9). ϕ (ξ) = ϕ (s) ϕ (0). s ϕ (s) ϕ (ξ) = ϕ (s) 1, s 9

If s < 0 then ξ [s, 0] such that ϕ (s) 1 s which again implies (9) since s < 0. = ϕ (s) ϕ (0) s = ϕ (ξ) ϕ (s), 10

Since Δh 0 and ϕ(v) 1 ϕ (v) we obtain ( ϕ(v) 1 ϕ (v) and therefore by (8) v 0, ) v Δh 0 Δ (hv) h σ Φ in Ω. On Ω we have v = ϕ 1 (u/h) ϕ 1 (1) = 0, which implies hv G Ω (h σ Φ) in Ω. Dividing by h and applying ϕ, we conclude that ( u h ϕ 1 ) h G Ω (h σ Φ) in Ω. 11

Existence of positive solutions Let us ask for which values σ > 1 the inequality Δu + u σ 0 (10) has a positive solution u on M (the case of Φ 1). For example, in R n with n 2 any non-negative solution of (10) is 0 while in the case n > 2, the inequality (10) has a positive solution in R n if and only if σ > n n 2 (Mitidieri and Pohozaev, 1998). Hence, σ crit = n. n 2 Let d (x, y) be a distance function on M, not necessarily geodesic, but such that the metric balls B(x, r) = {y M : d(x, y) < r}. are precompact open subsets of M. Set V (x, r) = μ (B (x, r)). 12

Theorem 3 (AG Yuhua Sun, 2017) Assume that, for some x 0 M, and where α > γ > 0. Then, for any σ satisfying the inequality V (x 0, r) r α for large r (V ) G (x, y) d (x, y) γ for large d (x, y), (G) 1 < σ α γ, has no positive solution in any exterior domain of M. Δu + u σ 0 (11) If in addition d is the geodesic distance, M has bounded geometry, and (V ) holds for all x 0 M, then, for any σ > α γ, the inequality (11) has a positive solution on M. Hence, σ crit = α γ. 13

Example 1 Let Γ be an infinite connected graph with a uniformly bounded degree. Let d (x, y) be the graph distance on Γ and V (x, r) the volume function. Assume that the discrete Laplace operator on Γ has a positive Green function G (x, y). If Γ satisfies conditions (V ) and (G) for some α and γ then we construct a manifold M satisfying (V ) and (G) inflating the edges of Γ into 2-dim tubes. Since M has bounded geometry, both parts of Theorem 3 apply in this case. M.Barlow constructed in 2004 a family of fractal-like graphs such that each graph satsfies (V ) with some α and has the walk dimension β, where α, β can be any real numbers satisfying 2 β α + 1. 14

For the graphical Sierpinski gasket we have α = log 2 3 and β = log 2 5 so that β > α. However, for higher dimensional constructions one can achieve β < α. In this case the graph has a positive Green function satysying (G) with γ = α β. Since γ can be arbitrarily small, the critical value σ crit = α can be arbitrarily large, unlike γ the Euclidean critical value n. n 2 15

Example 2 Assume that G(x, y) satisfies the following 3G-inequality ( ) 1 1 G(x, y) C G(x, z) + 1 G(z, y) for all x, y, z M and some C > 1. Then the function ρ (x, y) = 1 is a quasi-metric G(x,,y) on M. For any quasi-metric ρ, there exists γ > 0 and a distance function d(x, y) such that ρ(x, y) d(x, y) γ. Hence, G(x, y) d(x, y) γ, that is, M satisfies (G). Assume that (M, ρ) satisfies (V ), that is, for ρ-balls centered at x 0, Then, for d-balls, we obtain μ (B ρ (x 0, r)) r α. μ(b d (x 0, r)) r αγ. Hence, (M, d) satisfies (V ) with α := αγ. Assuming in addition that all balls are precompact, we obtain by Theorem 3 that, for any σ α γ = α, the inequality Δu + uσ 0 has no positive solution in any exterior domain of M. 16

Idea of the proof of Theorem 3 Assume that u is a positive solution in M \ K of Δu + u σ 0. It follows that, for any precompact open set U K, we have u G U c u σ in U c. Since inf U u > 0 and u is superharmonic, it follows that for some c > 0. Hence, for any x U c, u (y) cg (y, x 0 ) for y U c, u (x) c σ U c G U c (x, y) G σ (y, x 0 ) dμ (y). (12) On the other hand, one can prove that, for any precompact open set Ω M, sup(δu + λ 1 (Ω)u) 0, Ω where λ 1 (Ω) is the first Dirichlet eigenvalue of Δ in Ω. It follows that λ 1 (Ω) inf Ω uσ 1. (13) 17

Assuming Ω U c and combining (13) with (12) we obtain λ 1 (Ω) 1 σ 1 c σ inf G c U (x, y) G σ (y, x 0 ) dμ (y). x Ω U c If σ α then we bring this inequality to contradiction by choosing Ω large enough and γ by applying the hypotheses (V ), (G) to estimate all the quantities involved. For the proof of the second part of Theorem 3, we construct a positive solution of the equation Δu + u σ + λ σ f σ = 0 in M, where f is a specifically chosen decreasing function and λ > 0 is small enough. This differential equation amounts to the integral equation u(x) = G(x, y) (u σ (y) + λ σ f(y) σ ) dμ(y), M and the latter is solved in a certain closed subset of L (M) by observing that the operator in the right hand side is a contraction for small enough λ. Next, we improve the regularity properties of u in two steps: first show that u is Hölder and then that u C 2. 18