Gradient estimates for eigenfunctions on compact Riemannian manifolds with boundary
|
|
- Vivien Reynolds
- 5 years ago
- Views:
Transcription
1 Gradient estimates for eigenfunctions on compact Riemannian manifolds with boundary Xiangjin Xu Department of athematics Johns Hopkins University Baltimore, D Abstract The purpose of this paper is to prove the L gradient estimates and L gradient estimates for the unit spectral projection operators of the Dirichlet Laplacian and Neumann (or more general, Ψ 1 -Robin) Laplacian on compact Riemannian manifolds (, g) of dimension n 2 with C 2 boundary. And we also get an upper bounds for normal derivatives of the unit spectral projection operators of the Dirichlet Laplacian from L 2 () to L 2 ( ). 1 Introduction In this paper we discuss the L gradient estimates for the eigenfunctions of the Dirichlet Laplacian and Neumann (or more general, Ψ 1 -Robin) Laplacian on compact Riemannian manifolds (, g) of dimension n 2 with C 2 boundary. First we consider the Dirichlet eigenvalue problem ( + λ 2 )u(x) = 0, x, u(x) = 0, x, (1) with = g being the Laplace-Beltrami operator associated to the Riemannian metric g. Recall that the spectrum of (1) is discrete and tends to infinity. Let 0 < λ 2 1 λ 2 2 λ 2 3 denote the eigenvalues, and let {e j (x)} be an associated real orthogonal normalized basis in L 2 (), and define e j (f)(x) = e j (x) f(y)e j (y)dy, and the unit band spectral projection operators, χ λ f = e j (f), xxu@math.jhu.edu 1
2 In [13], Sogge proved that for a fixed compact Riemannian manifold (, g) with boundary, there is a uniform constant C so that which is equivalent to χ λ f Cλ (n 1)/2 f 2, λ 1, e j (x) 2 Cλ n 1, x. Using the above estimates, we obtain the L estimates for χ λ f, Theorem 1.1 Fix a compact Riemannian manifold (, g) with C 2 boundary, there is a uniform constant C so that Remark 1.1 Note that χ λ f Cλ (n+1)/2 f 2, λ 1. χ λ f(x) = e j (x)e j (y)f(y)dy, therefore, by the converse to Schwarz s inequality and orthogonality, one has the bounds at a given point x if and only if χ λ f(x) Cλ (n+1)/2 f 2, e j (x) 2 Cλ n+1. In the proof at section 2, we shall prove either one of these two kind gradient estimates. Remark 1.2 In [7], for a bounded region in R n with smooth boundary, by studying the heat kernel of the Laplacian on, Ozawa proved λ j λ e j(x) ν 2 = Cλ n+2 + o(λ n+2 ), as λ, for every x, where ν is the outward normal derivative at x. From our proof in Section 2, where we use standard gradient estimates for second order elliptic operators, we essentially prove e j (x) 2 = C(x)(λ 2 + O(λ)) e j (x) 2 2
3 for interior points with dist(x, ) ɛλ 1 and boundary points, where the constant C(x) is independent on λ. and e j (x) 2 C(λ 2 + O(λ)) e j (x) 2 for the points in the boundary strip {x : dist(x, ) ɛλ 1 }. Hence from the asymptotic estimates on we have {j : λ j λ} = λ j λ e j (x) 2 dx = C 1 λ n + C 2 λ n 1 + o(λ n 1 ), λ j λ λ 2 j = λ j λ e j (x) 2 = Cλ n+2 + O(λ n+1 ), as λ. We prove the above gradient estimates according to three different cases: for the interior points with dist(x, ) ɛλ 1, for the boundary points, and for the points on the strip near boundary with dist(x, ) ɛλ 1. For interior points, we use the idea of gradient estimates for poisson equations, and apply this idea to manifolds without boundary, we obtain the gradient estimates directly. For boundary points, we show the gradient estimates by a perturbation from a constant coefficients differential operators. For the points in the λ 1 strip near boundary, we follow the idea as used in [13] and use the maximum principle to show the gradient estimates. Next we consider the eigenvalue problem on with Neumann or Ψ 1 -Robin boundary conditions ( + λ 2 )u(x) = 0, x, n u(x) = K(x)u(x), x, (2) where n is the outward normal derivative on, K C ( ) as in [4], when K(x) = 0, (2) become Neumann boundary problem. As for Dirichlet Laplacian (1), the spectrum of (2) is also discrete and tends to infinity. Let 0 λ 2 1 λ 2 2 λ 2 3 denote the eigenvalues, and let {e j (x)} be an associated orthogonal normalized basis in L 2 (), and define e j (f)(x) and the unit band spectral projection operators, χ λ f, as for Dirichlet Laplacian. In [2], Grieser proved the L estimates e j (f) L Cλ (n 1)/2 j f L 2 for the Neumann Laplacian. Following the idea in [13], where the L estimates on χ λ is proved for Dirichlet Laplacian, and our proof for the L estimates on χ λ for Dirichlet Laplacian, we have the L estimates on χ λ and χ λ, 3
4 Theorem 1.2 Fix a compact Riemannian manifold (, g) with C 2 boundary, for Neumann Laplacian on, there is a uniform constant C so that χ λ f Cλ (n 1)/2 f 2, λ 1, χ λ f Cλ (n+1)/2 f 2, λ 1. Here We follow the idea in [2] and [13] to show the L estimates on χ λ for Ψ 1 -Robin Laplacian. Notice that since the gradient estimates for boundary points is trivial for Ψ 1 - Robin Laplacian, we need only do the gradient estimates for interior points and for points on the λ 1 strip near the boundary, as did in Section 2, to get the L gradient estimates for Neumann Laplacian, after we prove the L estimates on χ λ. Finally we study the upper bounds for normal derivatives of the unit spectral projection operators Laplacian on L 2 (). Let 0 < λ 2 1 λ 2 2 λ 2 3 denote the eigenvalues for the Dirichlet Laplacian, and {e j (x)} be an associated real orthogonal normalized basis in L 2 (), and define e j (f)(x) and the unit band spectral projection operators, χ λ f, as above. In [3], Hassell and Tao proved the following inequality for single Dirichlet eigenfunctions cλ j e j ν L 2 ( ) Cλ j, where the upper bound holds for some constant C independent of j, and the lower bound holds provided that can be embedded in the interior of a compact manifold with boundary, N, of the same dimension, such that every geodesic in eventually meets the boundary of N. Using the idea to show the Rellich-type estimates in [3] and the orthogonality of the eigenfunctions, we have the following results: Theorem 1.3 Let be a smooth compact Riemannian manifold with boundary, and function f L 2 (), then χ λ(f) L ν 2 ( ) Cλ 3/2 f L 2 (), holds for some constant C independent of λ. Remark 1.3 From the Weyl s law {j : λ j λ} C λ n as λ with C = (2π) n ω n V ol(), where ω is the volume of the unit ball in R n, we know 4
5 {j : λ j [λ, λ + 1)} nc λ n 1 as λ Here in the proof, we make use of the orthogonality of spectral projections {e j (f)}, which is one key observation to get our results. Here is the outline of this paper. In Section 2, we prove Theorem 1.1 according to three cases, and obtain the same gradient estimates for χ λ on compact manifolds without boundary. In Section 3, we deal with the L estimates on χ λ and χ λ for the Neumann or Ψ 1 -Robin boundary problem, and we prove Theorem 1.2. In Section 4, we deal with the upper bounds for normal derivatives of the unit spectral projection operators for Dirichlet eigenfunctions in L 2 sense, and we prove Theorem 1.3. In what follows we shall use the convention that C will denote a constant that is not necessarily the same at each occurrence. It is a pleasure to thank my advisor, Professor C.D. Sogge, brings the problem of L gradient estimates on χ λ to me and a number helpful conversations on this problems and my research. And I also thank Professor J. Spruck shows me the proofs of Lemma 2.2 and Lemma 2.3 for single eigenfunctions, and Professor S. Zelditch brings the reference [7] to me. 2 Gradient estimates For Dirichlet Laplacian In this section, study the eigenfunctions for the Dirichlet Laplacian, and we shall prove Theorem 1.1. by using maximum principle according to three different cases: for the interior points with dist(x, ) ɛλ 1, for the boundary points, and for the points on the strip near boundary with dist(x, ) ɛλ 1. And for the eigenfunctions for the Dirichlet Laplacian on compact boundless manifolds, we also get the gradient estimates on χ λ f applying the gradient estimates for interior points. First we show the gradient estimate for the interior points with dist(x, ) ɛ(λ + 1) 1, Lemma 2.1 For the Riemannian manifold (, g) with boundary, we have the gradient estimate χ λ f(x) C ɛ λ (n+1)/2 χ λ f 2, for dist(x, ) ɛ(λ + 1) 1 Proof. We shall show this Lemma following the ideas in [1], where for the Poisson s equation u = f, there are gradient estimates for the interior point x 0 as u(x 0 ) C d sup B u + Cd sup f, B 5
6 by using maximum principle in a cube B centered at x 0 with length d. Now we fix ɛ and x 0 with dist(x 0, ) ɛ(λ + 1) 1. We shall use maximum principle in the cube centered at x 0 with length d = ɛ(λ + 1) 1 / n to prove the same gradient estimates for χ λ f as above for Poisson s equation. Define the geodesic coordinates x = (x 1,, x n ) centered at point x 0 as following, fixed an orthonormal basis {v i } n T x0, identity x = (x 1,, x n ) R n with the point exp( n x i v i ). In small neighborhood of x 0 we take the metric with the form and the Laplacian can be written as g = n n g ij (x)dx i dx j, 2 g ij (x) + x i x j n b i (x) x i, Where (g ij (x)) 1 i,j n is the inverse matrix of (g ij (x)) 1 i,j n, and b i (x) are in C. Now define the cube Q = {x = (x 1,, x n ) R n x i < d, i = 1,, n}, where we can choose d = ɛ(λ + 1) 1 / n dist(x 0, )/ n. Denote u(x; f) = χ λ f(x), we have u C 2 (Q) C 0 ( Q), and g u(x; f) = λ 2 je j (f) := h(x; f). From the L estimate in [13], and Cauchy-Schwarz inequality, we have h(x; f) 2 = ( (λ + 1) 4 ( (λ 2 je j (x))( λ 4 je 2 j(x) ( C(λ + 1) n+3 χ λ f 2 L 2 () e j (y)f(y)dy)) 2 e 2 j(x)) χ λ f 2 L 2 () e j (y)f(y)dy) 2 We estimate D n u(0; f) = x n u(0; f) first, the same estimate holds for D i u(0; f) with i = 1,, n 1 also. Now in the half-cube Q = {x = (x 1,, x n ) R n x i < d, i = 1,, n 1, 0 < x n < d.}, 6
7 Consider the function ϕ(x, x n ; f) = 1 2 [u(x, x n ; f) u(x, x n ; f)], where we write x = (x, x n ) = (x 1,, x n 1, x n ). One see that ϕ(x, 0; f) = 0, sup Q ϕ sup Q u := A, and g ϕ sup Q h := N in Q. Consider also the function ψ(x, x n ) = A d 2 [ x 2 + αx n (nd (n 1)x n )] + βnx n (d x n ) defined on the half-cube Q and α 1 and β 1 will be determined below. Obviously ψ(x, x n ) 0 on x n = 0 and ψ(x, x n ) A in the remaining portion of Q. g ψ(x) = A n d 2 [2tr(gij (x)) (2nα 2α + 1) + 2 b i (x)x i +b n (x)(nαd (2nα 2α + 1)x n )] + Nβ[ 2g nn (x) + b n (x)(d 2x n )] Since in, tr(g ij (x)) and b i (x) are bounded uniformly and g nn (x) is positive, then for a large α, we can make 2tr(g ij (x)) (2nα 2α + 1) 1, Fix such a α, since d = ɛ(λ + 1) 1 / n, for large λ, we have n 2 b i (x)x i + b n (x)(nαd (2nα 2α + 1)x n ) < 1. Then the first term is negative. For second term, let β large enough, we have β[ 2g nn (x) + b n (x)(d 2x n )] < 1. Hence we have g ψ(x) N in Q. Now we have g (ψ ± ϕ) 0 in Q and ψ ± ϕ 0 on Q, from which it follows by the maximum principle that ϕ(x, x n ; f) ψ(x, x n ) in Q. Letting x = 0 in the expressions for ψ and ϕ, then dividing by x n and letting x n tend to zero, we obtain D n u(0; f) = lim ϕ(0, x n; f) αna xn 0 d x n + βdn. Note that d = ɛ(λ + 1) 1 / n, A C(λ + 1) (n 1)/2, and N (λ + 1) (n+3)/2, then we have the estimate D n u(0; f) C ɛ (λ + 1) (n+1)/2. The same estimate holds for D i u(0), i = 1,, n 1. Hence we have u(0) C ɛ (λ + 1) (n+1)/2. Since the estimate is for any x 0 with dist(x 0, ) ɛ(λ + 1) 1, the Lemma is proved. Q.E.D. 7
8 Remark 2.1 One can also use the parametrix for wave kernel to show local Weyl estimates for interior points, then obtain the gradient estimates as our Lemma directly by estimating the gradient of the parametrix for wave kernel. Here since we use the L estimates on χ λ f in [13], where have used the parametrix method already, we can use basic method as maximum principle to get gradient estimates here. From the proof, we can see that for interior points we essentially show which in turn implies χ λ f(x) 2 = C(x)(λ 2 + O(λ)) χ λ f 2 L, e j (x) 2 = C(x)(λ 2 + O(λ)) e j (x) 2. Next we show the following gradient estimates for the points on boundary. Lemma 2.2 Assume u(x) C 1 λ (n 1)/2 in and u(x) = 0 on C 2, and g u(x) C 2 λ (n+3)/2, then we have u(x) Cλ (n+1)/2, x. Proof. As did in proof of Proposition 2.2 in [13], we use the geodesic coordinates with respect to the boundary. We can find a small constant c > 0 so that the map (x, x n ) [0, c), sending (x, x n ) to the endpoint, x, of the geodesic of length x n which starts a x and is perpendicular to is a local diffeomorphism. In this local coordinates x = (x 1,, x n 1, x n ), the metric has the form n n g ij (x)dx i dx j = (dx n ) 2 + g ij (x)dx i dx j, and the Laplacian can be written as g = n 2 g ij (x) + x i x j n b i (x) x i, Where (g ij (x)) 1 i,j n is the inverse matrix of (g ij (x)) 1 i,j n, and g nn = 1, and g nk = g kn = 0 for k n, and b i (x) are in C and real valued. Fix a point x 0, choose a local coordinate so that x 0 = (0,, 0, 0). Without loss the generality, we may assume that at the point x 0, g (x 0 ) =, the Euclidean Laplacian, since we can transfer g (x 0 ) to by a suitable nonsingular linear transformation as did 8
9 in Chapter 6 at [1]. Since g ij (x) and b i (x) are C, we have a constant Λ > 0 such that g ij (x) < Λ and b i (x) < Λ hold for all x is the λ 1 strip of the boundary. We first assume n = dim 3. For n = 2, we need define another comparing function v(x). Now let R = λ 1, define a function v(x) = αλ (3 n)/2 1 ( R 1 n 2 r ) + n 2 βλ(n+3)/2 (R 2 r 2 ), on A R = B 2R (0) B R (0), where r = x (0,, 0, R) R n, B r (0) = {x = (x 1,, x n ) R n x (0,, 0, R) < r}, and α 1 and β 1 will be determined below. Here we assume B R (0), is tangent to at point x 0 from outside. We will compare v(x) and u(x) in A R. For any x A R, we have g v(x) = [ (n 2)tr(gij (x)) n(n 2) g ij (x)x i x j + r n r n+2 [tr(g ij (x)) + 2 b i (x)x i ]βλ (n+3)/2, (n 2) bi (x)x i ]αλ (3 n)/2 r n Since is a compact manifolds, we have 0 < θ < Θ < such that b i (x) < Θ, θ < tr(g ij (x)) < Θ and θ y 2 < g ij (x)y i y j < Θ y 2 hold for all x. And since x B R and R = λ 1, we have λ 1 < x < 2λ 1 and b i (x)x i < θ/4 for large λ. Then we have Now let g v(x) n(n + 1)Λ x x 0 αλ (3 n)/2 (θ 2 θ r n 4 )βλ(n+3)/2 3n(n + 1)ΛR αλ (3 n)/2 θ 2 βλ(n+3)/2 r n 3n(n + 1)Λαλ (n+1)/2 θ 2 βλ(n+3)/2 3n(n + 1)Λαλ 1 θ 2 β C 2, (3) where C 2 is the constant in the assumptions of this Lemma, then we have g v(x) u(x) in A R. Next we compare the values of v and u on (A R ). Case I, x (A R ) A R. v(x) = αλ (3 n)/2 1 ( R 1 n 2 (2R) ) + n 2 βλ(n+3)/2 (R 2 (2R) 2 ) ( α 2 3β)λ(n 1)/2, Now let 9
10 α 2 3β C 1, (4) then we have v(x) u(x) for x (A R ) A R. Case II, x (A R ). v(x) = αλ (3 n)/2 1 ( R 1 n 2 r ) + n 2 βλ(n+3)/2 (R 2 r 2 ) := h(r), Since B R (0) is tangent to at point x 0 from outside, we know the range of h(r) is [R, 2R] and f(r) = 0, Now let f (r) = (n 2)αλ (3 n)/2 1 r n 1 2βλ(n+3)/2 r (2 1 n (n 2)α 2β)λ (n+1)/ n (n 2)α 2β > 0, (5) Then f(r) f(r) = 0, and we have v(x) u(x) for x (A R ). Finally we need determine the values of α and β. Let β = 4C 2 /θ, then from (3), (4), (5), we have the range of α as max{ 2n β n 2, 6β + 2C 1} α C 2 λ 3n(n + 1)Λ. For large λ, the range of α is not empty set. Hence for large λ, we can find a function v(x) such that g (v(x)±u(x)) 0 in A R and v(x) ± u(x) 0 on (A R ), from which it follows by the maximum principle that v(x) ± u(x) 0 in A R. On the other hand, v(x 0 ) u(x 0 ) = 0. Hence we have u(x 0 ) v r (x 0) = [(n 2)α 2β]λ (n+1)/2 := C λ (n+1)/2 Since x 0 is an arbitrary point on, the Lemma is proved for n 3. For n = 2, we define the function v(x) = αλ 1/2 (lnr lnr) + βλ 5/2 (R 2 r 2 ), for x A R. By the same computation as above, we can show the Lemma holds also. Q.E.D. Note that from [13], we know χ λ f(x) satisfies the conditions of above Lemma, since 10
11 χ λ f(x) 2 = e j (f) 2 ( e j (x) 2 ) 2 χ λ f 2 L 2 Cλn 1 χ λ f 2 L 2, and g χ λ f(x) = (λ + 1) 2 ( λ 2 je j (f) Cλ (n+3)/2 χ λ f L 2 e j (x) 2 ) 1 2 χλ f L 2 Apply that above Lemma to χ λ f, we have the gradient estimate on the boundary points. Lemma 2.3 For the Riemannian manifold (, g) with boundary C 2, we have the gradient estimate χ λ f(x) Cλ (n+1)/2 χ λ f 2, x. Remark 2.2 One may also deal with the gradient estimate for boundary points as Lemma 2.1. Notice χ λ f(x, 0) = 0 for boundary points when we set the half cube on the boundary, then compare u(x, x n ) and ψ(x, x n ) we can get the gradient estimates for the boundary points. Now we need only to deal with the gradient estimate in the λ 1 strip of the boundary. Lemma 2.4 For the Riemannian manifold (, g) with boundary C 2, we have the gradient estimate χ λ f(x) C ɛ λ (n+1)/2 χ λ f 2, for 0 dist(x, ) ɛ(λ + 1) 1. where ɛ is the same as in Lemma 2.1 and we will determine its value here. Proof. Here we shall apply the maximum principle to λ l [λ,λ+1) e j (x) 2 on the λ 1 boundary strip as in [13], where dealt with the L estimates for χ λ f on the λ 1 boundary strip. As Lemma 2.2, we also use the geodesic coordinates with respect to the boundary. First we estimate 1 2 g λ l [λ,λ+1) e j (x) 2 = λ l [λ,λ+1) i,j,k=1 [ n g ij (x) 2 e l (x) x i x k 2 e l (x) x j x k +( e l (x), ( e l (x))) + Ric( e l (x), e l (x))] 11
12 Since (g ij (x)) is metric tensor and is a compact manifolds, we have a constant θ > 0 such that g ij (x)y i y j θ y 2 holds for all y = (y 1,, y n ) R n and all x. And Ric > B for some positive constant B in whole. Then for large λ, we have B 2λ + 3. Hence we have 1 2 g λ l [λ,λ+1) e j (x) 2 λ l [λ,λ+1) (λ + 2) 2 [λ 2 l e j (x) 2 + Ric( e l (x), e l (x))] λ l [λ,λ+1) e j (x) 2 Now we define a function w(x) = 1 a(λ + 1) 2 x 2 n for the strip {x 0 x n ɛ(λ + 1) 1 }, and the constants a and ɛ will be determined below. We have aɛ2 w(x) 1, (6) and following the computation in proof of Proposition 2.2 in [13], we have w(x) = 2a(λ + 1) 2 2ab n (x)x n (λ + 1) 2 a(λ + 1) 2, for all point in the strip, here assuming that λ is large enough so that b n (x)x n 1/2. Define h(x) = λ l [λ,λ+1) e j (x) 2 /w(x), we have w(x) g h(x) + h(x) w(x) + 2( h(x), w(x)) = g e j (x) 2 2(λ + 2) 2 e j (x) 2 = 2(λ + 2) 2 w(x)h(x). λ l [λ,λ+1) λ l [λ,λ+1) Divide w(x) both sides, and apply the estimate of g w(x), we have h(x) + 2( h(x), w(x) w(x) ) + (4 a)(λ + 1)2 h(x) 0. If we assume a > 4, h(x) achieves its maximum on {x 0 x n ɛ(λ + 1) 1 }, and we have the gradient estimates both boundary point and interior points. Hence we have sup {x 0 x n ɛ(λ+1) 1 } λ l [λ,λ+1) e j (x) 2 Cλ n+1. 12
13 Finally we determine the constant a and ɛ. From proof, we need a > 4 and aɛ 2 1/2, which is easy to satisfy, for example, we may let a = 8 and ɛ = 1/4. Q.E.D. Combine above Lemmas, we get the gradient estimates for eigenfunctions of compact Riemannian manifolds with C 2 boundary. Since here our proof only involve the L estimate of the eigenfunctions and didn t use any geometric property. Notice that for compact Riemannian manifolds without boundary, by Lemma 2.1 and the L estimates on the unit spectral projection operators χ λ for a second-order elliptic differential operator on compact manifolds without boundary [12], we have the following gradient estimates Theorem 2.1 Fix a compact Riemannian manifold (, g) of dimension n 2 without boundary, there is a uniform constant C so that χ λ f Cλ (n+1)/2 f 2, λ 1. And the bounds are uniform if there is a uniformly bound on the norm of tr(g ij (x)) for a class metrics g on. For Riemannian manifolds without boundary, in [14], the authors proved that for generic metrics on any manifold one has the bounds e j L () = o(λ (n 1)/2 j ) for L 2 normalized eigenfunctions. As Lemma 2.1, we can show the L gradient estimates e j = o(λ (n+1)/2 j ) for generic metrics on any manifold. For Laplace-Beltrami operator g, there are eigenvalues { λ 2 j}, where 0 λ 2 0 λ 2 1 are counted with multiplicity. Let {e j (x)} be an associated orthogonal basis of L 2 normalized eigenfunctions. If λ 2 is in the spectrum of g, let V λ = {u g u = λ 2 u} denote the corresponding eigenspace. We define the eigenfunction growth rate in term of L (λ, g) = and the gradient growth rate in term of sup u L. u V λ ; u L 2 =1 L (, λ, g) = sup u L. u V λ ; u L 2 =1 In [14], Sogge and Zelditch proved the following results L (λ, g) = o(λ (n 1)/2 j ) for a generic metric on any manifold. Here we apply our Lemma 2.1, we have the gradient estimates 13
14 Theorem 2.2 L (, λ, g) = o(λ (n+1)/2 j ) for a generic metric on any manifold. And the bounds are uniform if there is a uniformly bound on the norm of tr(g ij (x)) for (, g). Proof. here the manifold has no boundary, we can apply our Lemma 2.1 to any point in. From Theorem 1.4 in [14], we have L (λ, g) = o(λ (n 1)/2 j ) for a generic metric on any manifold. Fix that metric on the manifold and a L 2 normalized eigenfunction u(x), apply our Lemma 2.1 to u(x) at each point x 0, we have u(x 0 ) αna + βdn. d where α and β are constants depending on the norm of tr(g ij (x)) at only, and A = sup Q u = o(λ (n 1)/2 j ), and N = sup Q λ 2 u = (λ (n+3)/2 j ), where the cube we choose d = (λ + 1) 1 / n. Hence we have Q = {x = (x 1,, x n ) R n x i < d, i = 1,, n}, u(x 0 ) = o(λ (n+1)/2 j ) holds for all L 2 normalized eigenfunction u(x) V λ, furthermore, the bounds are uniform when those metrics of (, g) have a uniformly bound on the norm of tr(g ij (x)) from the proof. Hence we have our Theorem. Q.E.D. 3 The Neumann or Ψ 1 -Robin Problem In this section we shall prove Theorem 1.2 for Neumann or Ψ 1 -Robin Laplacian following the ideas in [2], where the same L estimates were done for single eigenfunctions of Neumann Laplacian, and [4], where the parametrix construction for Ψ 1 -Robin condition is discussed, and in [13], where the L estimates were done for χ λ f of Dirichlet Laplacian. Here we use the geodesic coordinates with respect to the boundary. We can find a small constant c > 0 so that the map (x, x n ) [0, c), sending (x, x n ) to the endpoint, x, of the geodesic of length x n which starts a x and is perpendicular to is a local diffeomorphism. In this local coordinates x = (x 1,, x n 1, x n ), the metric has the form n n g ij (x)dx i dx j = (dx n ) 2 + g ij (x)dx i dx j, and the Laplacian can be written as g = n 2 g ij (x) + x i x j n b i (x) x i, 14
15 Where (g ij (x)) 1 i,j n is the inverse matrix of (g ij (x)) 1 i,j n, and g nn = 1, and g nk = g kn = 0 for k n. Also the b i (x) are C and real valued. We first show that one has the uniform bounds for Ψ 1 -Robin boundary problem Note that χ λ f(x) Cλ (n 1)/2 f L 2, λ 1. χ λ f(x) = e j (x)e j (y)f(y)dy, therefore, by the converse to Schwarz s inequality and orthogonality, one has the above bounds at one given point x if and only if (e j (x)) 2 C 2 λ n 1. Because of this, we need only to should the following two results. Proposition 3.1 Fix (, g) as Theorem 1.2. Then, for a given small constant ɛ > 0, there is a uniform constant C so that for λ 1 (e j (x)) 2 C ɛ λ n 1, for any interior point x satisfying dist(x, ) ɛλ 1. Proposition 3.2 If (, g) as Theorem 1.2, then for large λ we have max {x : dist(x, ) 1 2 (λ+1) 1 } (e j (x)) 2 4 max {x : dist(x, )= 1 2 (λ+1) 1 } (e j (x)) 2. Proof of Proposition 3.1. We shall see that the estimate in this Proposition is an immediate consequence of the similarly results as Theorem in Hörmander [6] for Neumann or Ψ 1 -Robin boundary problem, if we replace the Dirichlet wave kernel by the Neumann wave kernel or Ψ 1 -Robin wave kernel in Chapter 17 in [6], we can modify straightforward the Hörmander s argument for Dirichlet Laplacian in his book line by line to work for the Neumann Laplacian as well (with different constants), which in turn is based on earlier work of Seeley [10] and Pham The Lai [8]. One can also see detail proof of this argument in [4]. To state this result, we let e(x, λ) = (2π) n {ξ R n ξ λ} 15 (1 e i2dist(x, )ξn) )dξ,
16 If we assume that the local coordinates have been chosen so that the Riemannian volume form is dx 1 dx n, then the result just quoted says that there is a uniform constant C so that for λ 1, (e j (x)) 2 e(x, λ) Cλ(λ + dist(x, ) 1 ) n 2. λ j λ Since λ(λ + dist(x, ) 1 ) n 2 = O(λ n 1 ) for all x satisfying dist(x, ) ɛλ 1. This yields Proposition 3.1 since e(x, λ + 1) e(x, λ) C ɛ λ n 1, x with dist(x, ) ɛλ 1. Hence we have our assertion hold. Q.E.D. Proof of Proposition 3.2. Here we use the geodesic coordinates with respect to the boundary. we use the same function H(x) as in Proof of Proposition 2.4 in [13], where the estimate for Dirichlet Laplacian is discussed, to apply the maximum principle to get bound at boundary of the λ 1 strip, and furthermore, we show the outward normal derivatives of H(x) on the boundary must be strictly positive as pointed in [2] for single eigenfunctions of Neumann Laplacian. In what follows we shall assume that λ is large enough so that λ C/c, where C is some universe constant and c is the uniform constant with respect to the local coordinates. Assume further that spec( g ) [λ, λ + 1], and consider the function where H(x) = 1 (w(x)) 2 (e j (x)) 2, w(x) = 1 (λ + 1) 2 x 2 n. Support that in the strip {x : 0 x n 1(λ + 2 1) 1 } the function H(x) has a maximum at an interior point x = x 0. Then v(x) = 1 w(x) e j (x 0 w(x 0 ) e j(x) must have a positive maximum at x = x 0. For because of our assumptions on the spectrum we then have v(x 0 ) = 2 > 0, while at other points in the strip e j (x 0 w(x 0 ) 16
17 v(x) 1 w(x) ( = (H(x)) 1/2 (H(x 0 )) 1/2 H(x 0 ) = v(x 0 ) e j (x) 2 ) 1/2 1 w(x 0 ) ( e j (x 0 ) 2 ) 1/2 Note that in the strip {x : 0 x n 1 2 (λ + 1) 1 } we have ( + λ 2 j)w = 2(λ + 1) 2 2b n (x)x n (λ + 1) 2 + λ j (1 (λ + 1) 2 x 2 n) (λ + 1)2, for λ j λ + 1, 2 assuming that λ is large enough so that 2b n (x)x n 1/2 in the strip. Also, in this strip we have that 1 w(x) 1. 2 Let us set v j (x) = e j(x) e j (x 0 ) w(x) w(x 0 ), so that v(x) = λ j [λ, λ + 1)v j (x). We also set u j (x) = e j(x 0 ) w(x 0 ) e j(x), and note that + λ 2 j)u j (x) = 0. A computation (one may see p.72, [9]) shows that for a given j we have 0 = = 1 w(x) ( + λ2 j)u 2 j(x) n n g kl (x) k l v j + k,l=1 k=1( 2 w n l=1 g kl l w + b k ) k v j + v j w ( + λ2 j)w. Therefore, if we sum over λ j [λ, λ + 1), we get n k,l=1 n g kl (x) k l v + k=1( 2 w n l=1 In particular, at point x = x 0, we have g kl v j l w + b k ) k v = sum λj [λ,λ+1) w ( + λ2 j)w. 17
18 n n g kl (x 0 ) k l v(x 0 ) + k,l=1 k=1( 2 n g kl (x 0 ) l w(x 0 ) + b k (x 0 )) k v(x 0 ) w l=1 = 1 ( e j(x 0 ) w(x 0 ) λ j w(x [λ,λ+1) 0 ) )2 ( + λ 2 j)w(x 0 ) (λ + 1)2 2w(x 0 ) ( e j(x 0 ) w(x 0 ) )2 > 0. (7) But this is impossible since v have a positive maximum at x 0, which implies that k v(x 0 ) = 0 for every k, and n k,l=1 g kl (x 0 ) k l v(x 0 ) 0. Thus, we conclude that the function H(x) cannot have a maximum at an interior point of the strip {x : 0 x n 1(λ + 2 1) 1 }. Now we shall prove the function H(x) cannot have a maximum value of the strip on. Suppose that there is a maximum at the boundary point x = (x, 0) on. Then by the same argument as above, we have v(x) must have a positive maximum at x = (x, 0) and v((x, 0)) > 0. It implies v has a positive maximum at (x, 0) on, in our local coordinates,which means that k v((x, 0)) = 0 for every k n 1, and n 1 k,l=1 gkl ((x, 0)) k l v((x, 0)) 0. And we also have n v(x) = ( n 1 w(x) ) = 2(λ + 1)2 x n w(x) 2 e j ((x, 0)) w((x, 0)) e j(x) + 1 w(x) e j ((x, 0)) w((x, 0)) e j(x) + 1 w(x) Since the Ψ 1 -Robin boundary condition, we have n v((x, 0)) = K((x, 0)) e 2 j((x, 0)). e j ((x, 0)) w((x, 0)) ne j (x) e j ((x, 0)) w((x, 0)) ne j (x). For our local coordinates, we have g nn = 1, and g nk = g kn = 0 for k n. Hence from (7), we have nv((x 2 (λ + 1)2, 0)) = [ 2 K((x, 0))] e 2 j((x, 0)) > 0, for large λ. But it cannot be true since in local coordinates, we have that v(x 0, x n ) gets its maximum at (x, 0) = (x 0, 0) from our assumption and n v(x, 0) = 0, which implies 2 nv(x, 0) 0. It is a contradiction. Because of this and our lower bound for w, we get that 18
19 max {x : dist(x, ) 1 2 (λ+1) 1 } (e j (x)) 2 4 max {x : dist(x, )= 1 2 (λ+1) 1 } (e j (x)) 2 As desired, which completes the proof of Proposition 3.2. Q.E.D. Combine Proposition 3.1 and Proposition 3.2, we proved the L estimates on χ λ for Neumann or Ψ 1 -Robin Laplacian. Notice that since the gradient estimates for boundary points is trivial because of n χ λ (x) = K(x)χ λ (x) for x and the L estimates on χ λ, we need only do the gradient estimates for interior points and for points on the λ 1 strip near the boundary, as did in Section 2, to get the L gradient estimates for Neumann or Ψ 1 -Robin Laplacian. Notice in the proofs of Lemma 2.1 and Lemma 2.4, we did not use the assumption χ λ f = 0 for Dirichlet Laplacian, hence we can apply Lemma 2.1 and Lemma 2.4 to χ λ f for Neumann or Ψ 1 -Robin Laplacian directly. Then we prove Theorem Upper bounds for normal derivatives In this section, we study the upper bounds for normal derivatives of the unit spectral projection operators of Dirichlet Laplacian on L 2 (), where (, g) is a compact Riemannian manifold of dimension n 2 with C 2 boundary. Let 0 < λ 2 1 λ 2 2 λ 2 3 denote the eigenvalues for the Dirichlet Laplacian, and {e j (x)} be an associated real orthogonal normalized basis in L 2 (), and define e j (f)(x) and the unit band spectral projection operators, χ λ f, for function f L 2 (), and we also denote (χ (1) λ f) = gχ λ f = λ 2 je j (f). Following the idea using in the proof of the Rellich-type estimates in [3], we have the following Rellich-type Lemma for χ λ f. Lemma 4.1 Let χ λ f be the operators on f L 2 () defined as above, then for any differential operator A, + (χ λ f) A((χ λ f))dσ = ((χ λ f), [ g, A]((χ λ f)))dx ν ((χ λ f), A((χ (1) λ f)))dx ((χ (1) λ f), A((χ λf)))dx, (8) where g is the Laplace-Beltrami operator associated to the Riemannian metric g, ν is the outward normal derivative on the boundary, dσ is the area element on the boundary, and dx is the volume element on. 19
20 Proof. Since χ λ f vanishes at the boundary, we apply Green s formula to get = = = (χ λ f) A((χ λ f))dσ ν ((χ λ f), g (Aχ λ f)))dx ( g ((χ λ f)), A((χ λ f)))dx ((χ λ f), g (A(χ λ f)))dx (χ λ f, A((χ λ f)))dx + ((χ λ f), [ g, A]((χ λ f)))dx ((χ λ f), A((χ (1) λ f)))dx ((χ (1) λ f), A((χ λf)))dx Here we use the fact that e j (f) satisfying the following Dirichlet boundary problem ( g + λ 2 j)u(x) = 0, x ; u(x) = 0, x. Q.E.D. To prove an upper bound for the L 2 ( ) norm of ν (χ λ f) on the boundary, we shall choose an operator A so that the left hand side of (8) is a positive form in ν (χ λ f). As before, we use the geodesic coordinates with respect to the boundary. We can find a small constant c > 0 so that the map (x, x n ) [0, c), sending (x, x n ) to the endpoint, x, of the geodesic of length x n which starts a x and is perpendicular to is a local diffeomorphism. In this local coordinates x = (x, x n ) = (x 1,, x n 1, x n ), the metric has the form n g ij (x)dx i dx j = (dx n ) 2 + and the Laplacian can be written as n 1 g ij (x )dx i dx j, g = = n n 2 g ij (x) + x i x j g ij (x), x i x j n b i (x) x i Where (g ij (x)) 1 i,j n is the inverse matrix of (g ij (x)) 1 i,j n, and g nn = 1, and g nk = g kn = 0 for k n. Also the b i (x) are C and real valued. We use the above local coordinates x = (x, x n ), then we choose the differential operator A = η(x n ) xn on this local coordinates for each χ λ f, where η C c (R) is identically 1 for x n close to 0, and vanishes for x n δ, satisfying η (x n ) C/δ and η (x n ) C/δ 2. 20
21 Here 0 < δ < c, where c is the constant above associated with the local coordinates, since the manifold is compact, the constant c has uniformly lower bound respect to the local coordinates. First we show the following result: Lemma 4.2 For above differential operator A, and for each N 0, we have (χ λf) 2 L ν 2 ( ) Cδ 1 λ 2 χ λ f 2 L 2 () + Cλ 2 χ λ f 2 L (), 2 holds for some constant C independent of f L 2, N and λ, as λ. Proof. From Lemma 4.1, we have the identity (8). Now plug the above differential operator A in (8). The left hand side of (8) is precisely the square of the L 2 norm of ν (χ λ f). Here we estimate the right hand side of (8) in two cases: Case I: Estimate on the first term of the right hand side of (8). In the local coordinates, we have the representation of [ g, A] as n 1 [ g, A] = ( n 2 n + g ij (x) i j + b i (x) i )(η(x n ) n ) n 1 +η(x n ) n ( n 2 n + g ij (x) i j + b i (x) i ) n = 2η (x n ) n 2 η (x n ) n b n (x)η (x n ) n + ( n b i (x)) i n 1 = 2η (x n ) n 2 (η (x n ) + b n (x)η (x n ) n b n (x)) n + ( n b i (x)) i Denote C = max { b n, n b i }. Plus the above representation of [ g, A] in the first term of the right hand side of (8), and integral by parts for first term, we have {2η ( n (χ λ f)) 2 (η + b n η n b n )(χ λ f) n (χ λ f) n 1 + ( n b i )(χ λ f) i (χ λ f)}dx C { η ( n (χ λ f)) 2 + ( η + η + 1) (χ λ f) n (χ λ f) n 1 + (χ λ f) i (χ λ f) }dx C {δ 1 N ( n (χ λ f)) 2 + (δ 2 + δ 1 + 1) (χ λ f) n (χ λ f) 21
22 n 1 + C C (χ λ f) i (χ λ f) }dx {(δ 1 + δ 2 ɛ)( n (χ λ f)) 2 + n 1 i (χ λ f) 2 + (ɛ 1 + 1) (χ λ f) 2 }dx {(δ 1 + δ 2 ɛ + 1)( (χ λ f)) 2 + (ɛ 1 + 1) (χ λ f) 2 }dx Here we use the geometric mean inequality and ɛ > 0 is an arbitrary constant. On the other hand, we have the following estimates χ λ f 2 L 2 () = = ((χ λ f), g ((χ λ f)))dx (((χ λ f)), e j (f))dx λ 2 j (λ + 1) 2 = (λ + 1) 2 χ λ f 2 L 2 () Hence we know that the first term is bounded by e j (f) 2 L 2 () C{(δ 1 + δ 2 ɛ)(λ + 1) 2 + ɛ 1 } f 2 L 2 () Cδ 1 (λ + 1) 2 f 2 L 2 (), Here we let ɛ = δ. Case II: Estimate on the other two terms of the right hand side of (8). For our differential operator A = η(x n ) n, by integration by parts, we have = = (χ λ f, A(χ (1) f))dx (χ (1) λ λ (χ (1) λ f, n(η N χ λ f))dx η (χ (1) λ f, χ λf)dx 2 f, A(χ λf))dx (χ (1) λ f, η n(χ λ f))dx ((χ (1) λ f), η n(χ λ f))dx Notice that χ (1) λ f L 2 (λ + 1)2 f L 2 and (χ (1) λ f)) L 2 (λ + 1)3 f L 2, then there are the following estimates η (χ (1) λ f, χ λf)dx Cδ 1 χ (1) λ f χ λf dx Cδ 1 (χ (1) λ f) L 2 (χ λf) L 2 Cδ 1 (λ + 1) 2 χ λ f 2 L 2; 22
23 (χ (1) λ f, η n(χ λ f))dx η n (χ λ f) χ λ f dx χ (1) λ f L 2 η n(χ λ f) L 2 χ (1) λ f L 2 (χ λf) L 2 (λ + 1) 3 χ λ f 2 L 2. Combine above two Cases, we have the estimates as (χ λf) 2 L ν 2 ( ) Cδ 1 (λ + 1) 2 f 2 L + 2 χ(1) λ f L 2 n(χ λ f) L 2 Cδ 1 (λ + 1) 2 χ λ f 2 L + (λ + 2 1)3 χ λ f 2 L2. (9) Now let δ 0 = λ 1 in Lemma 4.2, we prove Theorem 1.3. Q.E.D. References [1] D. Gilbarg, N. S. Trudinger, Elliptic partial differential equations of second order, Springer-Verlag, 2001 [2] D. Grieser, Uniform bounds for eigenfunctions of the Laplacian on manifolds with boundary. Comm. P.D.E., 27 (7-8), (2002). [3] A. Hassell and T. Tao, Upper and lower bounds for normal derivatives of Dirichlet eigenfunctions. (arxiv: math. AP/ ) Preprint. [4] A. Hassell and S. Zelditch, Quantum ergodicity of boundary values of eigenfunctions. preprint. [5] L. Hörmander, The spectral function of an elliptic operator, Acta ath. 88 (1968), [6] L. Hörmander, The analysis of linear partial differential operators III-IV, Springer- Verlag, [7] S. Ozawa, Asymptotic property of eigenfunction of the Laplacian at the boundary. Osaka J. ath. 30 (1993), [8] Pham The Lai eilleures estimations asymptotiques des restes de la fonction spectrale et des valeurs propres relatifs au laplacien. ath. Scand. 48 (1981), no. 1, [9].H. Protter and H.F. Weinberger, aximum principles in differential equations, Springer Verlag
24 [10] Seeley, R. An estimate near the boundary for the spectral function of the Laplace operator. Amer. J. ath. 102 (1980), no. 5, [11] C. D. Sogge, On the convergence of Riesz means on compact manifolds. Ann. of ath. 126 (1987), [12] C. D. Sogge, Fourier integrals in classical analysis. Cambridge Tracts in athematics, 105. Cambridge University Press, Cambridge, [13] C. D. Sogge, Eigenfunction and Bochner Riesz estimates on manifolds with boundary. athematical Research Letter 9, (2002). [14] C. D. Sogge, S. Zelditch, Riemannian manifolds with maximal eigenfunction growth. Duke ath. J. Vol. 114, No. 3, (2002). 24
Eigenfunction Estimates on Compact Manifolds with Boundary and Hörmander Multiplier Theorem
Eigenfunction Estimates on Compact anifolds with Boundary and Hörmander ultiplier Theorem by Xiangjin Xu A dissertation submitted to the Johns Hopkins University in conformity with the requirements for
More informationGradient estimates for the eigenfunctions on compact manifolds with boundary and Hörmander multiplier Theorem
Gradient estimates for the eigenfunctions on compact manifolds with boundary and Hörmander multiplier Theorem Xiangjin Xu Department of athematics, Johns Hopkins University Baltimore, D, 21218, USA Fax:
More informationNew Proof of Hörmander multiplier Theorem on compact manifolds without boundary
New Proof of Hörmander multiplier Theorem on compact manifolds without boundary Xiangjin Xu Department of athematics Johns Hopkins University Baltimore, D, 21218, USA xxu@math.jhu.edu Abstract On compact
More informationEigenvalues and eigenfunctions of the Laplacian. Andrew Hassell
Eigenvalues and eigenfunctions of the Laplacian Andrew Hassell 1 2 The setting In this talk I will consider the Laplace operator,, on various geometric spaces M. Here, M will be either a bounded Euclidean
More informationResearch Statement. Xiangjin Xu. 1. My thesis work
Research Statement Xiangjin Xu My main research interest is twofold. First I am interested in Harmonic Analysis on manifolds. More precisely, in my thesis, I studied the L estimates and gradient estimates
More informationWave equation on manifolds and finite speed of propagation
Wave equation on manifolds and finite speed of propagation Ethan Y. Jaffe Let M be a Riemannian manifold (without boundary), and let be the (negative of) the Laplace-Beltrami operator. In this note, we
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 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 informationVariations on Quantum Ergodic Theorems. Michael Taylor
Notes available on my website, under Downloadable Lecture Notes 8. Seminar talks and AMS talks See also 4. Spectral theory 7. Quantum mechanics connections Basic quantization: a function on phase space
More informationSPECTRAL PROPERTIES OF THE LAPLACIAN ON BOUNDED DOMAINS
SPECTRAL PROPERTIES OF THE LAPLACIAN ON BOUNDED DOMAINS TSOGTGEREL GANTUMUR Abstract. After establishing discrete spectra for a large class of elliptic operators, we present some fundamental spectral properties
More informationPOINTWISE BOUNDS ON QUASIMODES OF SEMICLASSICAL SCHRÖDINGER OPERATORS IN DIMENSION TWO
POINTWISE BOUNDS ON QUASIMODES OF SEMICLASSICAL SCHRÖDINGER OPERATORS IN DIMENSION TWO HART F. SMITH AND MACIEJ ZWORSKI Abstract. We prove optimal pointwise bounds on quasimodes of semiclassical Schrödinger
More informationWEYL S LEMMA, ONE OF MANY. Daniel W. Stroock
WEYL S LEMMA, ONE OF MANY Daniel W Stroock Abstract This note is a brief, and somewhat biased, account of the evolution of what people working in PDE s call Weyl s Lemma about the regularity of solutions
More informationON THE SPECTRUM OF THE DIRICHLET LAPLACIAN IN A NARROW STRIP
ON THE SPECTRUM OF THE DIRICHLET LAPLACIAN IN A NARROW STRIP LEONID FRIEDLANDER AND MICHAEL SOLOMYAK Abstract. We consider the Dirichlet Laplacian in a family of bounded domains { a < x < b, 0 < y < h(x)}.
More informationThe eigenvalue problem in Finsler geometry
The eigenvalue problem in Finsler geometry Qiaoling Xia Abstract. One of the fundamental problems is to study the eigenvalue problem for the differential operator in geometric analysis. In this article,
More information. A NOTE ON THE RESTRICTION THEOREM AND GEOMETRY OF HYPERSURFACES
. A NOTE ON THE RESTRICTION THEOREM AND GEOMETRY OF HYPERSURFACES FABIO NICOLA Abstract. A necessary condition is established for the optimal (L p, L 2 ) restriction theorem to hold on a hypersurface S,
More informationChapter 7: Bounded Operators in Hilbert Spaces
Chapter 7: Bounded Operators in Hilbert Spaces I-Liang Chern Department of Applied Mathematics National Chiao Tung University and Department of Mathematics National Taiwan University Fall, 2013 1 / 84
More informationInverse Scattering with Partial data on Asymptotically Hyperbolic Manifolds
Inverse Scattering with Partial data on Asymptotically Hyperbolic Manifolds Raphael Hora UFSC rhora@mtm.ufsc.br 29/04/2014 Raphael Hora (UFSC) Inverse Scattering with Partial data on AH Manifolds 29/04/2014
More informationDefinition and basic properties of heat kernels I, An introduction
Definition and basic properties of heat kernels I, An introduction Zhiqin Lu, Department of Mathematics, UC Irvine, Irvine CA 92697 April 23, 2010 In this lecture, we will answer the following questions:
More informationYAIZA CANZANI AND BORIS HANIN
C SCALING ASYMPTOTICS FOR THE SPECTRAL PROJECTOR OF THE LAPLACIAN YAIZA CANZANI AND BORIS HANIN Abstract. This article concerns new off-diagonal estimates on the remainder and its derivatives in the pointwise
More informationu xx + u yy = 0. (5.1)
Chapter 5 Laplace Equation The following equation is called Laplace equation in two independent variables x, y: The non-homogeneous problem u xx + u yy =. (5.1) u xx + u yy = F, (5.) where F is a function
More 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 informationShort note on compact operators - Monday 24 th March, Sylvester Eriksson-Bique
Short note on compact operators - Monday 24 th March, 2014 Sylvester Eriksson-Bique 1 Introduction In this note I will give a short outline about the structure theory of compact operators. I restrict attention
More informationMATH COURSE NOTES - CLASS MEETING # Introduction to PDEs, Fall 2011 Professor: Jared Speck
MATH 8.52 COURSE NOTES - CLASS MEETING # 6 8.52 Introduction to PDEs, Fall 20 Professor: Jared Speck Class Meeting # 6: Laplace s and Poisson s Equations We will now study the Laplace and Poisson equations
More informationMATH COURSE NOTES - CLASS MEETING # Introduction to PDEs, Spring 2018 Professor: Jared Speck
MATH 8.52 COURSE NOTES - CLASS MEETING # 6 8.52 Introduction to PDEs, Spring 208 Professor: Jared Speck Class Meeting # 6: Laplace s and Poisson s Equations We will now study the Laplace and Poisson equations
More informationNodal lines of Laplace eigenfunctions
Nodal lines of Laplace eigenfunctions Spectral Analysis in Geometry and Number Theory on the occasion of Toshikazu Sunada s 60th birthday Friday, August 10, 2007 Steve Zelditch Department of Mathematics
More informationRigidity and Non-rigidity Results on the Sphere
Rigidity and Non-rigidity Results on the Sphere Fengbo Hang Xiaodong Wang Department of Mathematics Michigan State University Oct., 00 1 Introduction It is a simple consequence of the maximum principle
More informationA SHARP STABILITY ESTIMATE IN TENSOR TOMOGRAPHY
A SHARP STABILITY ESTIMATE IN TENSOR TOMOGRAPHY PLAMEN STEFANOV 1. Introduction Let (M, g) be a compact Riemannian manifold with boundary. The geodesic ray transform I of symmetric 2-tensor fields f is
More informationKrein-Rutman Theorem and the Principal Eigenvalue
Chapter 1 Krein-Rutman Theorem and the Principal Eigenvalue The Krein-Rutman theorem plays a very important role in nonlinear partial differential equations, as it provides the abstract basis for the proof
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 informationLocal Asymmetry and the Inner Radius of Nodal Domains
Local Asymmetry and the Inner Radius of Nodal Domains Dan MANGOUBI Institut des Hautes Études Scientifiques 35, route de Chartres 91440 Bures-sur-Yvette (France) Avril 2007 IHES/M/07/14 Local Asymmetry
More informationFinite-dimensional spaces. C n is the space of n-tuples x = (x 1,..., x n ) of complex numbers. It is a Hilbert space with the inner product
Chapter 4 Hilbert Spaces 4.1 Inner Product Spaces Inner Product Space. A complex vector space E is called an inner product space (or a pre-hilbert space, or a unitary space) if there is a mapping (, )
More informationRADIATION FIELDS ON ASYMPTOTICALLY EUCLIDEAN MANIFOLDS
RADIATION FIELDS ON ASYMPTOTICALLY EUCLIDEAN MANIFOLDS ANTÔNIO SÁ BARRETO Abstract. F.G. Friedlander introduced the notion of radiation fields for asymptotically Euclidean manifolds. Here we answer some
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 informationAsymptotic distribution of eigenvalues of Laplace operator
Asymptotic distribution of eigenvalues of Laplace operator 23.8.2013 Topics We will talk about: the number of eigenvalues of Laplace operator smaller than some λ as a function of λ asymptotic behaviour
More informationUPPER BOUNDS FOR EIGENVALUES OF THE DISCRETE AND CONTINUOUS LAPLACE OPERATORS
UPPER BOUNDS FOR EIGENVALUES OF THE DISCRETE AND CONTINUOUS LAPLACE OPERATORS F. R. K. Chung University of Pennsylvania, Philadelphia, Pennsylvania 904 A. Grigor yan Imperial College, London, SW7 B UK
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 informationExistence theorems for some nonlinear hyperbolic equations on a waveguide
Existence theorems for some nonlinear hyperbolic equations on a waveguide by Ann C. Stewart A dissertation submitted to the Johns Hopkins University in conformity with the requirements for the degree of
More informationReal Variables # 10 : Hilbert Spaces II
randon ehring Real Variables # 0 : Hilbert Spaces II Exercise 20 For any sequence {f n } in H with f n = for all n, there exists f H and a subsequence {f nk } such that for all g H, one has lim (f n k,
More informationRecent developments in elliptic partial differential equations of Monge Ampère type
Recent developments in elliptic partial differential equations of Monge Ampère type Neil S. Trudinger Abstract. In conjunction with applications to optimal transportation and conformal geometry, there
More informationDeterminant of the Schrödinger Operator on a Metric Graph
Contemporary Mathematics Volume 00, XXXX Determinant of the Schrödinger Operator on a Metric Graph Leonid Friedlander Abstract. In the paper, we derive a formula for computing the determinant of a Schrödinger
More informationThe Dirichlet problem for non-divergence parabolic equations with discontinuous in time coefficients in a wedge
The Dirichlet problem for non-divergence parabolic equations with discontinuous in time coefficients in a wedge Vladimir Kozlov (Linköping University, Sweden) 2010 joint work with A.Nazarov Lu t u a ij
More informationMINIMAL GRAPHS PART I: EXISTENCE OF LIPSCHITZ WEAK SOLUTIONS TO THE DIRICHLET PROBLEM WITH C 2 BOUNDARY DATA
MINIMAL GRAPHS PART I: EXISTENCE OF LIPSCHITZ WEAK SOLUTIONS TO THE DIRICHLET PROBLEM WITH C 2 BOUNDARY DATA SPENCER HUGHES In these notes we prove that for any given smooth function on the boundary of
More informationApplied Math Qualifying Exam 11 October Instructions: Work 2 out of 3 problems in each of the 3 parts for a total of 6 problems.
Printed Name: Signature: Applied Math Qualifying Exam 11 October 2014 Instructions: Work 2 out of 3 problems in each of the 3 parts for a total of 6 problems. 2 Part 1 (1) Let Ω be an open subset of R
More 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 informationOptimal Transportation. Nonlinear Partial Differential Equations
Optimal Transportation and Nonlinear Partial Differential Equations Neil S. Trudinger Centre of Mathematics and its Applications Australian National University 26th Brazilian Mathematical Colloquium 2007
More informationBielefeld Course on Nonlinear Waves - June 29, Department of Mathematics University of North Carolina, Chapel Hill. Solitons on Manifolds
Joint work (on various projects) with Pierre Albin (UIUC), Hans Christianson (UNC), Jason Metcalfe (UNC), Michael Taylor (UNC), Laurent Thomann (Nantes) Department of Mathematics University of North Carolina,
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 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 informationAFFINE MAXIMAL HYPERSURFACES. Xu-Jia Wang. Centre for Mathematics and Its Applications The Australian National University
AFFINE MAXIMAL HYPERSURFACES Xu-Jia Wang Centre for Mathematics and Its Applications The Australian National University Abstract. This is a brief survey of recent works by Neil Trudinger and myself on
More informationEXPOSITORY NOTES ON DISTRIBUTION THEORY, FALL 2018
EXPOSITORY NOTES ON DISTRIBUTION THEORY, FALL 2018 While these notes are under construction, I expect there will be many typos. The main reference for this is volume 1 of Hörmander, The analysis of liner
More informationATTRACTORS FOR SEMILINEAR PARABOLIC PROBLEMS WITH DIRICHLET BOUNDARY CONDITIONS IN VARYING DOMAINS. Emerson A. M. de Abreu Alexandre N.
ATTRACTORS FOR SEMILINEAR PARABOLIC PROBLEMS WITH DIRICHLET BOUNDARY CONDITIONS IN VARYING DOMAINS Emerson A. M. de Abreu Alexandre N. Carvalho Abstract Under fairly general conditions one can prove that
More informationA class of non-convex polytopes that admit no orthonormal basis of exponentials
A class of non-convex polytopes that admit no orthonormal basis of exponentials Mihail N. Kolountzakis and Michael Papadimitrakis 1 Abstract A conjecture of Fuglede states that a bounded measurable set
More informationLiouville Properties for Nonsymmetric Diffusion Operators. Nelson Castañeda. Central Connecticut State University
Liouville Properties for Nonsymmetric Diffusion Operators Nelson Castañeda Central Connecticut State University VII Americas School in Differential Equations and Nonlinear Analysis We consider nonsymmetric
More informationPoisson Equation on Closed Manifolds
Poisson Equation on Closed anifolds Andrew acdougall December 15, 2011 1 Introduction The purpose of this project is to investigate the poisson equation φ = ρ on closed manifolds (compact manifolds without
More informationLECTURE # 0 BASIC NOTATIONS AND CONCEPTS IN THE THEORY OF PARTIAL DIFFERENTIAL EQUATIONS (PDES)
LECTURE # 0 BASIC NOTATIONS AND CONCEPTS IN THE THEORY OF PARTIAL DIFFERENTIAL EQUATIONS (PDES) RAYTCHO LAZAROV 1 Notations and Basic Functional Spaces Scalar function in R d, d 1 will be denoted by u,
More informationLECTURE 15: COMPLETENESS AND CONVEXITY
LECTURE 15: COMPLETENESS AND CONVEXITY 1. The Hopf-Rinow Theorem Recall that a Riemannian manifold (M, g) is called geodesically complete if the maximal defining interval of any geodesic is R. On the other
More informationLp Bounds for Spectral Clusters. Compact Manifolds with Boundary
on Compact Manifolds with Boundary Department of Mathematics University of Washington, Seattle Hangzhou Conference on Harmonic Analysis and PDE s (M, g) = compact 2-d Riemannian manifold g = Laplacian
More informationThe double layer potential
The double layer potential In this project, our goal is to explain how the Dirichlet problem for a linear elliptic partial differential equation can be converted into an integral equation by representing
More informationNOTES FOR CARDIFF LECTURES ON MICROLOCAL ANALYSIS
NOTES FOR CARDIFF LECTURES ON MICROLOCAL ANALYSIS JARED WUNSCH Note that these lectures overlap with Alex s to a degree, to ensure a smooth handoff between lecturers! Our notation is mostly, but not completely,
More informationEstimates on Neumann eigenfunctions at the boundary, and the Method of Particular Solutions" for computing them
Estimates on Neumann eigenfunctions at the boundary, and the Method of Particular Solutions" for computing them Department of Mathematics Australian National University Dartmouth, July 2010 Outline Introduction
More informationRecent developments in mathematical Quantum Chaos, I
Recent developments in mathematical Quantum Chaos, I Steve Zelditch Johns Hopkins and Northwestern Harvard, November 21, 2009 Quantum chaos of eigenfunction Let {ϕ j } be an orthonormal basis of eigenfunctions
More informationarxiv:math/ v1 [math.dg] 7 Jun 2004
arxiv:math/46v [math.dg] 7 Jun 4 The First Dirichlet Eigenvalue and Li s Conjecture Jun LING Abstract We give a new estimate on the lower bound for the first Dirichlet eigenvalue for the compact manifolds
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 informationSPECTRAL THEOREM FOR COMPACT SELF-ADJOINT OPERATORS
SPECTRAL THEOREM FOR COMPACT SELF-ADJOINT OPERATORS G. RAMESH Contents Introduction 1 1. Bounded Operators 1 1.3. Examples 3 2. Compact Operators 5 2.1. Properties 6 3. The Spectral Theorem 9 3.3. Self-adjoint
More informationRIGIDITY OF STATIONARY BLACK HOLES WITH SMALL ANGULAR MOMENTUM ON THE HORIZON
RIGIDITY OF STATIONARY BLACK HOLES WITH SMALL ANGULAR MOMENTUM ON THE HORIZON S. ALEXAKIS, A. D. IONESCU, AND S. KLAINERMAN Abstract. We prove a black hole rigidity result for slowly rotating stationary
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 informationYour first day at work MATH 806 (Fall 2015)
Your first day at work MATH 806 (Fall 2015) 1. Let X be a set (with no particular algebraic structure). A function d : X X R is called a metric on X (and then X is called a metric space) when d satisfies
More informationHomogenization of Neuman boundary data with fully nonlinear operator
Homogenization of Neuman boundary data with fully nonlinear operator Sunhi Choi, Inwon C. Kim, and Ki-Ahm Lee Abstract We study periodic homogenization problems for second-order nonlinear pde with oscillatory
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 informationThe continuity method
The continuity method The method of continuity is used in conjunction with a priori estimates to prove the existence of suitably regular solutions to elliptic partial differential equations. One crucial
More informationON STRICHARTZ ESTIMATES FOR SCHRÖDINGER OPERATORS IN COMPACT MANIFOLDS WITH BOUNDARY. 1. Introduction
ON STRICHARTZ ESTIMATES FOR SCHRÖDINGER OPERATORS IN COMPACT MANIFOLDS WITH BOUNDARY MATTHEW D. BLAIR, HART F. SMITH, AND CHRISTOPHER D. SOGGE 1. Introduction Let (M, g) be a Riemannian manifold of dimension
More informationLogarithmic Harnack inequalities
Logarithmic Harnack inequalities F. R. K. Chung University of Pennsylvania Philadelphia, Pennsylvania 19104 S.-T. Yau Harvard University Cambridge, assachusetts 02138 1 Introduction We consider the relationship
More informationCHAPTER 2. Laplace s equation
18 CHAPTER 2 Laplace s equation There can be but one option as to the beauty and utility of this analysis by Laplace; but the manner in which it has hitherto been presented has seemed repulsive to the
More informationR. M. Brown. 29 March 2008 / Regional AMS meeting in Baton Rouge. Department of Mathematics University of Kentucky. The mixed problem.
mixed R. M. Department of Mathematics University of Kentucky 29 March 2008 / Regional AMS meeting in Baton Rouge Outline mixed 1 mixed 2 3 4 mixed We consider the mixed boundary value Lu = 0 u = f D u
More informationMaximum Principles for Elliptic and Parabolic Operators
Maximum Principles for Elliptic and Parabolic Operators Ilia Polotskii 1 Introduction Maximum principles have been some of the most useful properties used to solve a wide range of problems in the study
More informationRobustness for a Liouville type theorem in exterior domains
Robustness for a Liouville type theorem in exterior domains Juliette Bouhours 1 arxiv:1207.0329v3 [math.ap] 24 Oct 2014 1 UPMC Univ Paris 06, UMR 7598, Laboratoire Jacques-Louis Lions, F-75005, Paris,
More informationON THE FOLIATION OF SPACE-TIME BY CONSTANT MEAN CURVATURE HYPERSURFACES
ON THE FOLIATION OF SPACE-TIME BY CONSTANT MEAN CURVATURE HYPERSURFACES CLAUS GERHARDT Abstract. We prove that the mean curvature τ of the slices given by a constant mean curvature foliation can be used
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 informationGradient Estimate of Mean Curvature Equations and Hessian Equations with Neumann Boundary Condition
of Mean Curvature Equations and Hessian Equations with Neumann Boundary Condition Xinan Ma NUS, Dec. 11, 2014 Four Kinds of Equations Laplace s equation: u = f(x); mean curvature equation: div( Du ) =
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 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 informationThreshold behavior and non-quasiconvergent solutions with localized initial data for bistable reaction-diffusion equations
Threshold behavior and non-quasiconvergent solutions with localized initial data for bistable reaction-diffusion equations P. Poláčik School of Mathematics, University of Minnesota Minneapolis, MN 55455
More informationThe Gaussian free field, Gibbs measures and NLS on planar domains
The Gaussian free field, Gibbs measures and on planar domains N. Burq, joint with L. Thomann (Nantes) and N. Tzvetkov (Cergy) Université Paris Sud, Laboratoire de Mathématiques d Orsay, CNRS UMR 8628 LAGA,
More informationON THE REGULARITY OF SAMPLE PATHS OF SUB-ELLIPTIC DIFFUSIONS ON MANIFOLDS
Bendikov, A. and Saloff-Coste, L. Osaka J. Math. 4 (5), 677 7 ON THE REGULARITY OF SAMPLE PATHS OF SUB-ELLIPTIC DIFFUSIONS ON MANIFOLDS ALEXANDER BENDIKOV and LAURENT SALOFF-COSTE (Received March 4, 4)
More informationON THE STATIC METRIC EXTENSION PROBLEM
ON THE STATIC METRIC EXTENSION PROBLEM STEFAN CZIMEK Abstract. The subject of this Master thesis under the guidance of M. Eichmair is the following theorem of J. Corvino and R. Schoen [5]: Minimal mass
More informationGradient Estimates and Sobolev Inequality
Gradient Estimates and Sobolev Inequality Jiaping Wang University of Minnesota ( Joint work with Linfeng Zhou) Conference on Geometric Analysis in honor of Peter Li University of California, Irvine January
More informationSpectral theory of first order elliptic systems
Spectral theory of first order elliptic systems Dmitri Vassiliev (University College London) 24 May 2013 Conference Complex Analysis & Dynamical Systems VI Nahariya, Israel 1 Typical problem in my subject
More informationLegendre surfaces whose mean curvature vectors are eigenvectors of the Laplace operator
Note di Matematica 22, n. 1, 2003, 9 58. Legendre surfaces whose mean curvature vectors are eigenvectors of the Laplace operator Tooru Sasahara Department of Mathematics, Hokkaido University, Sapporo 060-0810,
More informationElliptic Regularity. Throughout we assume all vector bundles are smooth bundles with metrics over a Riemannian manifold X n.
Elliptic Regularity Throughout we assume all vector bundles are smooth bundles with metrics over a Riemannian manifold X n. 1 Review of Hodge Theory In this note I outline the proof of the following Fundamental
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 informationand finally, any second order divergence form elliptic operator
Supporting Information: Mathematical proofs Preliminaries Let be an arbitrary bounded open set in R n and let L be any elliptic differential operator associated to a symmetric positive bilinear form B
More informationASYMPTOTIC BEHAVIOR OF GENERALIZED EIGENFUNCTIONS IN N-BODY SCATTERING
ASYMPTOTIC BEHAVIOR OF GENERALIZED EIGENFUNCTIONS IN N-BODY SCATTERING ANDRAS VASY Abstract. In this paper an asymptotic expansion is proved for locally (at infinity) outgoing functions on asymptotically
More informationStability of Feedback Solutions for Infinite Horizon Noncooperative Differential Games
Stability of Feedback Solutions for Infinite Horizon Noncooperative Differential Games Alberto Bressan ) and Khai T. Nguyen ) *) Department of Mathematics, Penn State University **) Department of Mathematics,
More informationMULTIPLE SOLUTIONS FOR CRITICAL ELLIPTIC PROBLEMS WITH FRACTIONAL LAPLACIAN
Electronic Journal of Differential Equations, Vol. 016 (016), No. 97, pp. 1 11. ISSN: 107-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu MULTIPLE SOLUTIONS
More informationOn some weighted fractional porous media equations
On some weighted fractional porous media equations Gabriele Grillo Politecnico di Milano September 16 th, 2015 Anacapri Joint works with M. Muratori and F. Punzo Gabriele Grillo Weighted Fractional PME
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 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 informationLECTURE 10: THE ATIYAH-GUILLEMIN-STERNBERG CONVEXITY THEOREM
LECTURE 10: THE ATIYAH-GUILLEMIN-STERNBERG CONVEXITY THEOREM Contents 1. The Atiyah-Guillemin-Sternberg Convexity Theorem 1 2. Proof of the Atiyah-Guillemin-Sternberg Convexity theorem 3 3. Morse theory
More informationMATH 220: INNER PRODUCT SPACES, SYMMETRIC OPERATORS, ORTHOGONALITY
MATH 22: INNER PRODUCT SPACES, SYMMETRIC OPERATORS, ORTHOGONALITY When discussing separation of variables, we noted that at the last step we need to express the inhomogeneous initial or boundary data as
More informationREGULARITY FOR INFINITY HARMONIC FUNCTIONS IN TWO DIMENSIONS
C,α REGULARITY FOR INFINITY HARMONIC FUNCTIONS IN TWO DIMENSIONS LAWRENCE C. EVANS AND OVIDIU SAVIN Abstract. We propose a new method for showing C,α regularity for solutions of the infinity Laplacian
More information