Gradient estimates for the eigenfunctions on compact manifolds with boundary and Hörmander multiplier Theorem
|
|
- Jewel Robinson
- 5 years ago
- Views:
Transcription
1 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:
2 Abstract On compact Riemannian manifolds (, g) of dimension n 2 with boundary, the gradient estimates for the eigenfunctions of the Dirichlet Laplacian are proved. Using the L estimates and gradient estimates, the Hörmander multiplier theorem is showed for the Dirichlet Laplacian on compact manifolds with boundary. Keywords: gradient estimate, unit band spectral projection operator, Dirichlet Laplacian, Hörmander multiplier theorem 2
3 1 Introduction Let (, g) be a compact Riemannian manifold (, g) of dimension n 2 with smooth boundary. The purpose of this paper is to give a proof of sharp gradient estimates for eigenfunctions of the Dirichlet Laplacian on and then to use these estimates to prove Hörmander multiplier theorem in this setting. Thus, we shall 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 is discrete and tends to infinity. Let 0 < λ 2 1 λ 2 2 λ 2 3 denote the eigenvalues, so that {λ j } is the spectrum of the first order operator P =. Let {e j (x)} L 2 () be an associated real orthogonormal basis, and let e j (f)(x) = e j (x) f(y)e j (y)dy be the projection onto the j-th eigenspace. Here and in what follows dy denotes the volume element associated with the metric g. And define the unit band spectral projection operators, χ λ f = λ j [λ,λ+1) Then any function f L 2 () can be written as e j (f). f = e j (f) = χ k f, j=1 k=1 where the partial sums converge in L 2 (), and, moreover, f 2 L 2 () = e j (f) 2 L 2 () = χ k f 2 L 2 (). 3
4 The study for L p estimates for the eigenfunctions on compact manifolds has a long history. In the case of manifolds without boundary, the most general results of the form where χ λ f p Cλ σ(p) f 2, λ 1, p 2, (2) σ(p) = max{ n 1 2 n p, n 1 ( p )} were proved in [13]. These estimates cannot be improved since one can show that the operator norm satisfy lim sup λ λ σ(p) χ λ L 2 Lp > 0. (see [14]). The special case of (2) where p = can be proved using the estimates of Hörmander [5] that proved the sharp Weyl formula for general self-adjoint elliptic operators on manifolds without boundary. Recently, in case of manifolds without boundary, Sogge and Zelditch [16] proved estimates that imply that for generic metrics on any manifold one has the bounds e j = o(λ (n 1)/2 j ) for L 2 -normalized eigenfunctions. In case of manifolds with boundary, for the unit band spectral projection operators, Grieser [3], and Smith and Sogge [11] showed that the bounds (2) hold under the assumption that the manifold has geodesically concave boundary. The two dimensional case was handled in [3], and higher dimensional in [11]. Recently, without assuming the geodesically concave boundary, Grieser [4] proved the L estimates for single eigenfunction e j (f) Cλ (n 1)/2 j f 2, and Sogge [15] proved the following L estimate for χ λ f, χ λ f Cλ (n 1)/2 f 2, λ 1, 4
5 for a uniform constant C, which is equivalent to e j (x) 2 Cλ n 1, x, λ j [λ,λ+1) which are sharp for instance when is the upper hemisphere of S n with standard metric. Grieser [4] and Sogge [15] first showed that one has the uniform bounds for the interior point x when the distance from x to is bounded from below by λ 1, using the proof of estimates for the local Weyl low which are due to Seeley [10], Pham The Lai [7] and Hörmander [6]. They then used those bounds and a form of the maximum principle ([8], Theorem 10, p73) for solutions of Dirichlet eigenvalue problem (1) to obtain the bounds in the λ 1 neighborhood of the boundary. One of our main results is on the gradient estimates on χ λ f for f L 2 (), Theorem 1.1 Fix a compact Riemannian manifold (, g) of dimension n 2 with boundary, there is a uniform constant C so that χ λ f Cλ (n+1)/2 f 2, λ 1, which is equivalent to e j (x) 2 Cλ n+1, x. λ j [λ,λ+1) The motivation to study the gradient estimates as Theorem 1.1 is that one cannot get the gradient estimates on the eigenfunctions of Dirichlet Laplacian from standard calculus of pseudo-differential operators as done for the Laplacian on the manifolds without boundary, since P = g for the Dirichlet Laplacian is not a pseudodifferential operator any more and one cannot get good estimates on L bounds on 5
6 χ λ and χ λ near the boundary only by studying the Hadamard parametrix of the wave kernel as for compact manifolds without boundary in [9] and [14]. Here we shall prove Theorem 1.1 using the ideas of interior and boundary gradient estimates for Poisson s equation in [2] and a maximum principle argument as in [4] and [15]. Our other main result will be Hörmander ultiplier Theorem for eigenfunction expansions on compact Riemannian manifolds with boundary. Given a bounded function m(λ) L (R), we can define a multiplier operator, m(p ), by m(p )f = m(λ j )e j (f) (3) j=1 such an operator is always bounded on L 2 (). However, if one considers on any other space L p (), it is known that some smoothness assumptions on the function m(λ) are needed to ensure the boundedness of m(p ) : L p () L p (). (4) When m(λ) is C and, moreover, in the symbol class S 0, i.e., ( d dλ )α m(λ) C α (1 + λ ) α, α = 0, 1, 2, It has been known for some time that (4) holds for all 1 < p < on compact manifolds without boundary(see [18]). One assumes the following regularity assumption: Suppose that m L (R), let L 2 s(r) denote the usual Sobolev space and fix β C 0 ((1/2, 2)) satisfying β(2 j t) = 1, t > 0, for s > n/2, there is sup λ>0 λ 1+s β( /λ)m( ) 2 L = sup β( )m(λ ) 2 2 s L <. (5) 2 s λ>0 6
7 Hörmander [6] first proved the boundedness of the multiplier operator m(p ) on R n under the assumption (5), using the Calderón-Zygmund decomposition and the estimates on the kernel of the multiplier operator. Stein and Weiss [17] studied the Hörmander multiplier Theorem for multiple Fourier series, which can be regarded as the case on the flat torus T n. Seeger and Sogge [9] and Sogge [14] proved the boundedness of m(p ) on L p () for compact manifolds without boundary under the assumption (5), where the authors used the paramatrix of the wave kernel of m(p ) to get the required estimates on the integral kernel of m(p ), and applying these estimates, proved the weak-type (1,1) estimates on m(p ). As people know, the the paramatrix construction of the wave equation does not work well for general compact manifolds with boundary unless one assumes that the boundary is geodesically concave. For an important class of special multiplier, Riesz means: Sλf(x) δ = (1 λ2 j λ 2 )δ e j (f)(x), (6) λ j λ of the spectral expansion. Stein and Weiss [17] studied the Riesz means for multiple Fourier series, which can be regarded as the case on the flat torus T n. Sogge [12] and Christ and Sogge [1] proved the sharp results for manifolds without boundary, which the Riesz means (6) are uniformly bounded on all L p () spaces, provided that δ > n 1 2 n 1, but no such result can hold when δ. Recently, Sogge [15] proved 2 the same results on Riesz means of the spectral expansion for Dirichlet Laplacian on compact manifolds with boundary. Since the multipliers (1 λ2 j λ 2 ) δ + satisfy (5) if s < δ + 1, but not when s > δ + 1, one can see the Hörmander multiplier Theorem 2 2 generalizes the results for the Riesz means. 7
8 Using the L estimates on χ λ f and χ λ f and the ideas in [9], [12]- [15], we have the following Hömander multiplier Theorem for compact manifolds with boundary: Theorem 1.2 Let m L (R) satisfy (5), then there are constants C p such that m(p )f L p () C p f L p (), 1 < p <. (7) Since the complex conjugate of m satisfies the same hypotheses (5), we need only to prove Theorem 1.2 for exponents 1 < p 2. This will allow us to exploit orthogonality, and since m(p ) is bounded on L 2 (), also reduce Theorem 1.2 to show that m(p ) is weak-type (1, 1) by the arcinkiewicz Interpolation Theorem. The weak-type (1,1) estimates of m(p ) will involve a splitting of m(p ) into two pieces m(p ) = m(p ) + r(p ). For the remainder r(p ), one can obtain the strong (1,1) estimates by the L estimates on χ λ f as done for compact manifolds without boundary in [14]. For the main term m(p ), we make a second decomposition {K λ,l (x, y)} l= for each term K λ (x, y), which comes from the dyadic decomposition of the integral kernel K(x, y) of m(p ) K(x, y) = K 2 k(x, y) + K 0 (x, y), ( ) k=1 such that K λ (x, y) = l= K λ,l (x, y) and m(p )f(x) = T 2,l(P )f(x), where T k λ,l (P )f(x) = k=0 l= K λ,l (x, y)f(y)dy. We shall give the definitions of K λ,l (x, y) in the proof of Theorem 1.2. And for each operator T λ,l (P ), we shall prove the L 1 L 2 estimates by a rescaling argument of the proof for the remainder r(p ) using the L estimates and gradient estimates on χ λ f which we obtained in Theorem 1.1. With the support properties and the finite 8
9 propagation speed properties, in each of the second sum of (*), there are uniform constants c, C > 0, such that cλdist(x, y) 2 l Cλ ( ) holds for each λ = 2 k, which is one key observation when we apply the Calderón- Zygmund decomposition to show the weak-type (1,1) estimates on m(p ). In what follows we shall use the convention that C will denote a constant that is not necessarily the same at each occurrence. Acknowledgement: This paper is part of the Ph.D. thesis [21] of Xiangjin Xu at Johns Hopkins University. The author would like to thank his advisor, Professor C.D. Sogge, brings the problems to him and a number helpful conversations on these problems and his research. Thanks also to Professor J. Spruck to show the author the proofs of Lemma 2.2 and Lemma 2.4 for a single eigenfunction, and Professor S. Zelditch for helpful conversations on the related problems. 2 Gradient estimates For Dirichlet Laplacian In this section, as said in Introduction, 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. For the unit band spectral projection operators χ λ of Dirichlet Laplacian on (, g) with smooth boundary, Sogge [15] proved the L estimates χ λ f Cλ (n 1)/2 f 2, λ 1, 9
10 for a uniform constant C, which is equivalent to λ j [λ,λ+1) e j (x) 2 Cλ n 1, x, Here we need to show that one has the uniform bounds χ λ f(x) Cλ (n+1)/2 f 2, λ 1, (8) Note that χ λ f(x) = λ j [λ,λ+1) e j (x)e j (y)f(y)dy, therefore, by the converse to Schwarz s inequality and orthogonality, one has the bounds (8) at a given point x if and only if ( e j (x)) 2 C 2 λ n+1. λ j [λ,λ+1) First we show the gradient estimate for the interior points with dist(x, ) bounded below by λ 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 where the 0 < ɛ < 1 will be determined later. Proof. We shall show this Lemma following the ideas for the following interior gradient estimates for Poisson s equation u = f, u(x 0 ) C d sup B u + Cd sup f, B 10
11 by using maximum principle in a cube B centered at x 0 with length d. Now we fix an ɛ and x 0 with dist(x 0, ) ɛ(λ + 1) 1. We shall use the 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 orthogonormal basis {v i } n i=1 T x0, identity x = (x 1,, x n ) R n with the point exp x0 ( n i=1 x i v i ). In some small neighborhood of x 0, we can write the metric g with the form n i,j=1 and the Laplacian can be written as g = n i,j=1 g ij (x)dx i dx j, 2 g ij (x) + x i x j n i=1 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) = λ j [λ,λ+1) λ 2 je j (f) := h(x; f). From the L estimate in [15], and Cauchy-Schwarz inequality, we have h(x; f) 2 = ( λ j [λ,λ+1) (λ 2 je j (x))( 11 e j (y)f(y)dy)) 2
12 λ j [λ,λ+1) (λ + 1) 4 ( λ 4 je 2 j(x) λ j [λ,λ+1) ( λ j [λ,λ+1) C(λ + 1) n+3 χ λ f 2 L 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, and 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.}, 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 sees that ϕ(x, 0; f) = 0, sup Q ϕ sup Q u := A, and g ϕ sup Q h := N in Q. For 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, where α 1 and β 1 will be determined below, one has ψ(x, x n ) 0 on x n = 0 and ψ(x, x n ) A in the remaining portion of Q, and g ψ(x) = A n d 2 [2tr(gij (x)) (2nα 2α + 1) + 2 b i (x)x i + b n (x) i=1 (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 uniformly bounded and g nn (x) is positive, then for a large α, one has 2tr(g ij (x)) (2nα 2α + 1) 1, 12
13 Fix such a α, since d = ɛ(λ + 1) 1 / n, for large λ, one has n 2 b i (x)x i + b n (x)(nαd (2nα 2α + 1)x n ) < 1. i=1 Then the first term in g ψ(x) is negative, and for the second term, let β large enough, one has β[ 2g nn (x) + b n (x)(d 2x n )] < 1. Hence one has g ψ(x) N in Q. Now one has 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. Hence one has 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 χ λ f 2, and N C(λ + 1) (n+3)/2 χ λ f 2, then one has the estimate D n u(0; f) C ɛ (λ + 1) (n+1)/2 χ λ f 2. The same estimate holds for D i u(0), i = 1,, n 1. Hence we have u(0) C ɛ (λ + 1) (n+1)/2 χ λ f 2. Since the estimate is true for any x 0 with dist(x 0, ) ɛ(λ + 1) 1 and the constant C ɛ is independent of the choice of x 0, the Lemma is proved. Q.E.D. As done in proof of Proposition 2.2 in [15], we shall use the geodesic coordinates with respect to the boundary below to study the gradient estimates on the the ɛλ 1 strip of the boundary. We can find a small constant c > 0 so that the map (x, x n ) 13
14 [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 g has the form n i,j=1 g ij (x)dx i dx j = (dx n ) 2 + and the Laplacian can be written as g = n i,j=1 2 g ij (x) + x i x j n i,j=1 n i=1 g ij (x)dx i dx j, 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. Now 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, and g u(x) C 2 λ (n+3)/2, then we have u(x) Cλ (n+1)/2, x. Proof. Fix a point x 0, choose a local coordinate so that x 0 = (0,, 0, R), with R = λ 1. Without loss the generality, we may assume that at the point x 0, g(x0 ) =, the Euclidean Laplacian, since we can transfer g(x0 ) to by a suitable nonsingular linear transformation as was done in Chapter 6 at [2]. 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 in the λ 1 strip of the boundary. 14
15 We first assume n = dim 3. For n = 2, we need define another comparing function v(x). 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 R n, B r (0) = {x = (x 1,, x n ) R n x < r}, and α 1 and β 1 will be determined below. Here we assume B R (0) tangent to at point x 0 from outside. We shall compare v(x) and u(x) in A R. For any x A R, we have g v(x) = [ (n 2)tr(gij (x)) r n n(n 2) g ij (x)x i x j r n+2 + (n 2) b i (x)x i r n ]αλ (3 n)/2 [tr(g ij (x)) + 2 b i (x)x i ]βλ (n+3)/2, 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 A R, we have λ 1 < r < 2λ 1 and b i (x)x i < θ/4 for large λ. Hence g v(x) n(n + 1)Λdist(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 where the first inequality comes from that one looks g(x) as the perturbation of g(x0 ) =, the Euclidean Laplacian, and (1/ x n 2 ) = 0, and the second inequality comes from dist(x, x 0 ) 3R = 3λ 1. Now let 3n(n + 1)Λαλ 1 θ 2 β C 2, (9) 15
16 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. Now let 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, then we have v(x) u(x) for x (A R ) A R. Case II, x (A R ). α 2 3β C 1, (10) 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 h(r) = 0, Now let h (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, (11) Then h(r) h(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 (9), (10), (11), we have the range of α as max{ 2n β n 2, 6β + 2C 1} α 16 C 2 λ 3n(n + 1)Λ.
17 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 χ λ f(x) satisfies the conditions of above Lemma, since χ λ f(x) 2 = e j (f) 2 ( e j (x) 2 ) 2 χ λ f 2 L 2 Cλn 1 χ λ f 2 L 2, λ j [λ,λ+1) λ j [λ,λ+1) and g χ λ f(x) ( λ 2 je j (x) 2 ) 1 2 χλ f 2 Cλ (n+3)/2 χ λ f 2. λ j [λ,λ+1) From Lemma 2.2, we have the gradient estimates for χ λ f on the boundary points. Lemma 2.3 For the compact Riemannian manifold (, g) with smooth boundary, we have the gradient estimates χ λ f(x) Cλ (n+1)/2 χ λ f 2, x. 17
18 Now we deal with the gradient estimates on 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 is determined its value in the Proof. Proof. Here we shall apply the maximum principle to λ l [λ,λ+1) e j (x) 2 on the λ 1 boundary strip. We use the geodesic coordinates with respect to the boundary. First from the Bochner formulas, we have = 1 2 g λ l [λ,λ+1) λ l [λ,λ+1) e j (x) 2 [ Hessian(e j ) 2 + ( e l (x), ( e l (x))) + Ric( e l (x), e l (x))] Since is a compact manifold, the Ricci curvature is bounded below in whole. Then for large λ, 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 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, and w(x) = 2a(λ + 1) 2 2ab n (x)x n (λ + 1) 2 a(λ + 1) 2, 18
19 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 g λ l [λ,λ+1) e j (x) 2 = w(x) g h(x) + h(x) w(x) + 2( h(x), w(x)) 2(λ + 2) 2 e j (x) 2 λ l [λ,λ+1) = 2(λ + 2) 2 w(x)h(x). Divide by w(x) both sides, and apply the estimate on 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, by maximum principle, h(x) achieves its maximum on {x 0 x n ɛ(λ + 1) 1 }. Since we have the gradient estimates both boundary point and interior points, we have sup {x 0 x n ɛ(λ+1) 1 } λ l [λ,λ+1) e j (x) 2 Cλ n+1. Finally we shall determine the constants 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. If we combine above Lemmas, we get the gradient estimates for eigenfunctions of compact Riemannian manifolds with boundary. Since here our proof only involve the L estimate of the eigenfunctions. For compact Riemannian manifolds without boundary, by Lemma 2.1 and the L estimates on χ λ for a second-order elliptic differential operator on compact manifolds without boundary in [14], we have the following gradient estimates 19
20 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 [16], 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. 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 [16], Sogge and Zelditch proved the following results L (λ, g) = o(λ (n 1)/2 j ) for a generic metric on any manifold without boundary. Here we have the following estimates on the gradient growth rate 20
21 Theorem 2.2 L (, λ, g) = o(λ (n+1)/2 j ) for a generic metric on any manifold without boundary. And the bounds are uniform if there is a uniformly bound on the norm of tr(g ij (x)) for (, g). Proof. For a compact Riemannian manifold (, g) without boundary, we can apply our Lemma 2.1 to any point in. From Theorem 1.4 in [16], we have L (λ, g) = o(λ (n 1)/2 j ) for a generic metric on any compact 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 d + βdn. where α and β are constants depending on the norm of tr(g ij (x)) at only, which can been seen in the proof of Lemma 2.1, and A = sup Q u = o(λ (n 1)/2 j ), and N = sup Q λ 2 u = (λ (n+3)/2 j ), where the cube Q = {x = (x 1,, x n ) R n x i < d, i = 1,, n}, we choose d = (λ + 1) 1 / n. Hence we have 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. 21
22 3 Hörmander ultiplier Theorem In this section, we shall see how the L estimates and gradients estimates for χ λ imply Hörmander multiplier Theorem. As discussed in Introduction, we reduce Theorem 1.2 to show that m(p ) is weak-type (1, 1), i.e., µ{x : m(p )f(x) > α} α 1 f L 1, (12) where µ(e) denotes the dx measure of E. Since the all eigenvalues of Dirichlet Laplacian are positive, we may assume m(t) is an even function on R. Then we have m(p )f(x) = 1 2π R ˆm(t)e itp f(x)dt = 1 π R + ˆm(t) cos(tp )f(x)dt, Here P =, and the cosine transform u(t, x) = cos(tp )f(x) is the solution of the following Dirichlet-Cauchy problem: ( 2 t 2 L)u(t, x) = 0, u(0, x) = f(x), u t(0, x) = 0. We shall use the finite propagation speed of solutions of the wave equation in Part 2 of the proof to get the key observation (**). Proof of Theorem 1.2. The proof of the weak-type (1,1) estimate will involve a splitting of m(p ) into two pieces: a main piece which one need carefully study, plus a remainder which has strong (1,1) estimate by using the L estimates for the unit spectral projection operators as done in [14]. Specifically, define ρ C 0 (R) as ρ(t) = 1, for t ɛ, ρ(t) = 0, for t ɛ. (13) 2 22
23 where ɛ > 0 is a given small constant related to the manifold, which will be specified later. Write m(p ) = m(p ) + r(p ), where m(p ) = (m ˇρ)(P ) = 1 e itp ρ(t) ˆm(t)dt 2π r(p ) = (m (1 ρ)ˇ)(p ) = 1 e itp (1 ρ(t)) ˆm(t)dt 2π To estimate the main term and remainder, we define for λ = 2 j, j = 1, 2,, Part 1: Estimate on the remainder We first show m λ (τ) = β( τ )m(τ). (14) λ r(p )f L 1 C f L 1. r(p )f L 2 C f L 1. Here we follow the first part in proof of Theorem in [14] to estimate the remainder. Define r λ (P ) = (m λ (1 ρ)ˇ)(p ) = 1 2π e itp (1 ρ(t)) ˆm λ (t)dt Notice that r 0 (P ) = r(p ) j 1 r 2 j(p ) is a bounded and rapidly decreasing function of P. Hence r 0 (P ) is bounded from L 1 to any L p space. We need only to show r λ (P )f L 2 Cλ n/2 s f L 1, λ = 2 j, j = 1, 2,. Using the L asymptotic estimate for the unit spectral projection operator χ k on compact manifold (, g) with smooth boundary, see [15], we have r λ (P )f 2 L r 2 λ (P )χ k f 2 L C 2 k=1 sup k=1 τ [k,k+1] 23 r λ (τ) 2 (1 + k) n 1 f 2 L 1
24 Hence we need only to show sup k=1 τ [k,k+1] r λ (τ) 2 (1 + k) n 1 Cλ n 2s Notice since m λ (τ) = 0, for τ / [λ/2, 2λ], we have m λ (τ) = O((1 + τ + λ ) N ) r λ (τ) = O((1 + τ + λ ) N ) for any N when τ / [λ/4, 4λ]. Hence we need only to show that is 4λ sup k=λ/4 τ [k,k+1] 4λ k=λ/4 τ [k,k+1] r λ (τ) 2 (1 + k) n 1 Cλ n 2s sup r λ (τ) 2 Cλ 1 2s Using the fundamental theorem of calculus and the Cauchy-Schwartz inequality, we have 4λ sup k=λ/4 τ [k,k+1] C( = C( R R r λ (τ) 2 r λ (τ) 2 dτ + r λ(τ) 2 dτ) R ˆm λ (t)(1 ρ(t)) 2 dt + t ˆm λ (t)(1 ρ(t)) 2 dt) Recall that ρ(t) = 1, for t ɛ, by a change variables shows that this is 2 R dominated by λ 1 2s R t s ˆm λ (t/λ) 2 dt = λ 1 2s λβ( )m(λ ) 2 L 2 s = λ 1 2s β( )m(λ ) 2 L 2 s Cλ 1 2s 24
25 Here the first equality comes from a change variables, the second equality comes from the definition of Sobolev norm of L 2 s() and the third inequality comes from our condition (7). Hence we have the estimate for the remainder r(p )f L 2 C f L 1. And since our manifold is compact, we have r(p )f L 1 V ol() 1/2 r(p )f L 2 C f L 1. that is, we have the strong-type (1, 1) estimate on the remainder r(p ). Part 2: weak-type (1, 1) estimate on the main term µ{x : m(p )f(x) > α} α 1 f L 1. In [9] and [14], for compact manifold without boundary, the above estimate on m(p ) could be estimated by computing its kernel explicitly via the Hadamard parametrix and then estimating the resulting integral operator using straightforward adaptations of the arguments for the Euclidean case. But now for manifolds with boundary, this approach does not seem to work since the known parametrix for the wave equation do not seem strong enough unless one assumes that the boundary is geodesically concave. Here we shall get around this fact by following the ideas in [15], where deals with the Riesz means on compact manifolds with smooth boundary by using the finite propagation speed of solutions of the Dirichlet wave equation. Now if we argue as [9], [14] and [15], The weak-type (1, 1) estimate on m(p ) would follow from the integral operator m(p )f(x) = 1 2π R ˆm(t)ρ(t)e itp f(x)dt 25
26 = 1 2π R = 1 2π ˆm(t)ρ(t) e itλ k e λk (x) e λk (y)f(y)dydt k 1 { R ˆm(t)ρ(t) k 1 e itλ k e λk (x)e λk (y)dt}f(y)dy with the kernel K(x, y) = ˆm(t)ρ(t) e itλ k e λk (x)e λk (y)dt R k 1 = k 1(m ˇρ)(λ k )e λk (x)e λk (y) is weak-type (1,1). Now define the dyadic decomposition K λ (x, y) = R ˆm λ (t)ρ(t) k 1 e itλ k e λk (x)e λk (y)dt We have K(x, y) = K 2 j(x, y) + K 0 (x, y) j=1 where K 0 is bounded and vanishes when dist(x, y) is larger than a fixed constant. In order to estimate K λ (x, y), we make a second dyadic decomposition as follows K λ,l (x, y) = R ˆm λ (t)β(2 l λ t )ρ(t) k 1 e itλ k e λk (x)e λk (y)dt We have K λ (x, y) = K λ,l (x, y) l= Define T λ,l (P )f(x) = K λ,l (x, y)f(y)dy. 26
27 From above two dyadic decompositions, we have m(p )f(x) = T 2,l(P )f(x). (15) k k=0 l= Note that, because of the support properties of ρ(t), K λ,l (x, y) vanishes if l is larger than a fixed multiple of logλ. Now we exploit the fact that the finite propagation speed of the wave equation mentioned before implies that the kernels of the operators T λ,l, K λ,l must satisfy K λ,l (x, y) = 0, if dist(x, y) C(2 l λ 1 ), since cos(tp ) will have a kernel that vanishes on this set when t belongs to the support of the integral defining K λ,l (x, y). Hence in each of the second sum of (15), there are uniform constants c, C > 0 such that cλdist(x, y) 2 l Cλ (16) must be satisfied for each λ = 2 k, we will use this key observation later. Now for T λ,l (P )s, we have the following estimates: (a). (b). T λ,l (P )f L 2 () C(2 l ) s λ n/2 f L 1 () T λ,l (P )g L 2 () C(2 l ) s 0 λ n/2 [λ max y,y 0 Ω dist(y, y 0)] g L 1 (Ω) where Ω = support(g), Ω g(y)dy = 0 and n/2 < s 0 < min{s, n/2 + 1}. Now we first show estimate (a). Notice that β(2 l λ t )ρ(t) = 0 when t 2 l 1 λ 1, we can use the same idea to prove estimate (a) as we prove the estimate on the remainder r(p ) in Part 1. Now we use orthogonality of χ k for k N, and 27
28 the L estimates on χ k in [15], we have T λ,l (P )f 2 L T 2 λ,l (P )χ k f 2 L 2 Hence we need only to show sup k=1 τ [k,k+1] k=1 C sup k=1 τ [k,k+1] T λ,l (τ) 2 (1 + k) n 1 f 2 L 1 T λ,l (τ) 2 (1 + k) n 1 C(2 l ) 2s λ n Notice since m λ (τ) = 0, for τ / [λ/2, 2λ], we have T λ,l (τ) = O((1 + τ + λ ) N ) for any N when τ / [λ/4, 4λ]. Then we have sup k / [λ/4,4λ] τ [k,k+1] C C k / [λ/4,4λ] x>1,x/ [λ/4,4λ] C(1 + λ) n 2N T λ,l (τ) 2 (1 + k) n 1 (1 + k + λ) 2N (1 + k) n 1 x n 1 dx (x + λ) 2N that is Since 2 l Cλ from our observation (16) above, we need only to show 4λ sup k=λ/4 τ [k,k+1] 4λ k=λ/4 τ [k,k+1] T λ,l (τ) 2 (1 + k) n 1 C(2 l ) 2s λ n sup T λ,l (τ) 2 C(2 l ) 2s λ 28
29 Using the fundamental theorem of calculus and the Cauchy-Schwartz inequality, we have 4λ sup k=λ/4 τ [k,k+1] C( = C( R R T λ,l (τ) 2 T λ,l (τ) 2 dτ + T λ,l(τ) 2 dτ) R ˆm λ (t)β(2 l λ t )ρ(t) 2 dt + t ˆm λ (t)β(2 l λ t )ρ(t) 2 dt) Recall that β(2 l λ t )ρ(t) = 0 when t 2 l 1 λ 1, by a change variables shows that this is dominated by (2 l ) 2s λ 1 t s ˆm λ (t/λ) 2 dt + (2 l ) 2s+2 λ 2 R = (2 l ) 2s (1 + λ 2 2 2l )λ 1 λβ( )m(λ ) 2 L 2 s R R t s ˆm λ (t/λ) 2 dt = (2 l ) 2s λ(1 + λ 2 2 2l ) β( )m(λ ) 2 L 2 s C(2 l ) 2s λ(1 + λ 2 2 2l ) C(2 l ) 2s λ Here the first equality comes from a change variables, the second equality comes from the definition of Sobolev norm of L 2 s(), the third inequality comes from our condition (7), and the last inequality comes from the observation (16). Hence we proved the estimate (a), T λ,l (P )f L 2 () C(2 l ) s λ n/2 f L 1 () Next we prove the estimate (b). We will use the orthogonality of {e j } j N, e λk (x)e λj (x)dx = δ kj, 29
30 and the L estimates on χ k for all k N as in Theorem 1.1. Now for function g L 1 () such that Ω = support(g) and Ω g(y)dy = 0. For some fixed point y 0 Ω, we have = = = T λ,l (P )g 2 L 2 K λ,l (x, y)g(y)dy 2 dx Ω [K λ,l (x, y) K λ,l (x, y 0 )]g(y)dy 2 dx Ω (here use the cancellation of g) T λ,l (λ k )e λk (x)[e λk (y) e λk (y 0 )]g(y)dy 2 dx = k 1 Ω k 1 Ω λ j [k,k+1) {T λ,l (λ j )e λj (x)[e λj (y) e λj (y 0 )]}g(y)dy 2 dx (here use the orthogonality) max {T λ,l (λ j )e λj (x)[e λj (y) e λj (y 0 )]} 2 dx k 1 y Ω λ j [k,k+1) = g 2 L {T 1 λ,l (λ j )e λj (x)[e λj (y 1 ) e λj (y 0 )]} 2 dx k 1 λ j [k,k+1) (where the maximum achieves at y 1 ) = g 2 L ( 1 y T λ,l (λ j )e λj (x)e λj (ȳ), y 1 y 0 ) 2 dx = g 2 L 1 k 1 k 1 = g 2 L 1 { λ j [k,k+1) λ j [k,k+1) k 1 λ j [k,k+1) g 2 L max T λ,l(τ) 2 { 1 τ [k,k+1) k 1 (here use the orthogonality) T λ,l (λ j )e λj (x)( e λj (ȳ), y 1 y 0 )} 2 dx T λ,l (λ j )( e λj (ȳ), y 1 y 0 ) 2 λ j [k,k+1) g 2 L1[ max dist(y, y 0)] 2 max T λ,l(τ) 2 { y,y 0 Ω τ [k,k+1) k 1 e λj (ȳ) 2 dist(y 1, y 0 ) 2 } λ j [k,k+1) Ω e λj (ȳ) 2 } g(y) dy 2 30
31 C g 2 L1[ max dist(y, y 0)] 2 max T λ,l(τ) 2 (1 + k) n+1 y,y 0 Ω τ [k,k+1) k 1 Now using the same computation as to the estimate (a), for some constant s 0 satisfying n/2 < s 0 < min{s, n/2 + 1}, we have max T λ,l(τ) 2 (1 + k) n+1 C(2 l ) 2s 0 λ n+2. τ [k,k+1) k 1 Combine above two estimates, we proved the estimate (b), T λ,l (P )g L 2 () C(2 l ) s 0 λ n/2 [λ max y,y 0 Ω dist(y, y 0)] g L 1 (Ω) Now we use the estimates (a) and (b) to show m(p )f(x) = K(x, y)f(y)dy is weak-type (1,1). We let f(x) = g(x) + k=1 b k (x) := g(x) + b(x) be the Calderón- Zygmund decomposition of f L 1 () at the level α using the same idea as Lemma in [14]. Let Q k supp(b k ) be the cube associated to b k on, and we have g L 1 + b k L 1 3 f L 1 k=1 g(x) 2 n α almost everywhere, and for certain non-overlapping cubes Q k, b k (x) = 0 for x / Q k and µ Q k α 1 f L 1. k=1 b k (x)dx = 0 Now we show the weak-type (1, 1) estimate for m(p ). Since {x : m(p )f(x) > α} {x : m(p )g(x) > α/2} {x : m(p )b(x) > α/2} 31
32 Notice g 2 dx 2 n α g dx. Hence we use the L 2 boundedness of m(p ) and Tchebyshev s inequality to get µ{x : m(p )g(x) > α/2} Cα 2 g 2 L 2 C α 1 f L 1. Let Q k be the cube with the same center as Q k but twice the side-length. After possibly making a translation, we may assume that Q k = {x : max x j R}. Let O = Q k, we have µ O 2 n α 1 f L 1. and Hence we need only to show µ{x / O : m(p )b(x) > α/2} 2α x/ O 1 m(p )b(x) dx 2α 1 k=1 x/ Q k m(p )b k (x) dx = x/ Q k x/ Q k C m(p )b k (x) dx K(x, y)b k (y)dy dx Q k b k dx. 32
33 From the double dyadic decomposition (15), we show two estimates of T λ,l (P )b k (x) on set {x : x / O }, (I) T λ,l (P )b k L 1 (x/ O ) C(2 l ) n/2 s b k L 1 (Q k ) (II) T λ,l (P )b k L 1 (x/ O ) C(2 l ) n/2 s 0 [λ max y,y 0 Q k dist(y, y 0 )] b k L 1 (Q k ) Since our observation (16), as was done in [15], in order to prove (I), (II), it suffices to show that for all geodesic balls B Rλ,l of radius R λ,l = 2 l λ 1, one has the bounds (I) T λ,l (P )b k L 1 ({x/ O } B Rλ,l ) C(2 l ) n/2 s b k L 1 (Q k ) (II) T λ,l (P )b k L 1 ({x/ O } B Rλ,l ) C(2 l ) n/2 s 0 [λ max y,y 0 Q k dist(y, y 0 )] b k L 1 (Q k ) To show (I), using the estimate (a), and Hölder inequality, we get T λ,l (P )b k L 1 ({x/ O } B Rλ,l ) V ol(b Rλ,l ) 1/2 T λ,l (P )b k L 2 C(2 l λ 1 ) n/2 (2 l ) s λ n/2 b k L 1 = C(2 l ) n/2 s b k L 1 To show (II), using the cancellation property Q k b k (y)dy = 0, the estimate (b), and Hölder inequality, we have T λ,l (P )b k L 1 ({x/ O } B Rλ,l ) V ol(b Rλ,l ) 1/2 T λ,l (P )b k L 2 C(2 l λ 1 ) n/2 (2 l ) s 0 λ n/2 [λ max y,y 0 Q k dist(y, y 0 )] bk L 1 (Q k ) = C(2 l ) n/2 s 0 [λ max y,y 0 Q k dist(y, y 0 )] b k L 1 (Q k ) 33
34 From our observation (16), and estimates (I), we have T λ,l (P )b k L 1 (x/ O ) l= C (2 l ) n/2 s b k L 1 (Q k ) 2 l cλdist(x,y) C s (λdist(x, y)) n/2 s b k L 1 (Q k ) C s (λr) n/2 s b k L 1 (Q k ), and from max y,y0 Q k dist(y, y 0 ) CR, estimate (II), and n/2 < s 0 < min{s, n/2 + 1}, we have l= C T λ,l (P )b k L 1 (x/ O ) 2 l cλdist(x,y) (2 l ) n/2 s 0 [λ max dist(y, y 0 )] b k L y,y 0 Q 1 (Q k ) k C s0 (λdist(x, y)) n/2 s 0 [λ max y,y 0 Q k dist(y, y 0 )] b k L 1 (Q k ) C s0 (λr) n/2+1 s 0 b k L 1 (Q k ). Therefore, we combine the above two estimate we conclude that x/ Q k j=0 l= m(p )b k (x) dx T 2 j,l(p )b k L 1 (x/ O ) C s ( (λr) n/2 s b k L 1 + C s0 2 j R>1 2 j R 1 (λr) n/2+1 s 0 b k L 1 C s b k L 1 Hence we have the weak-type (1, 1) estimate on the main term µ{x : m(p )f(x) > α} α 1 f L 1. 34
35 Combine Case 1 and Case 2, we have the weak-type estimate of m(p ) and we finish the proof of Theorem 1.2. Q.E.D. Remark 3.1 In [20], for a second-order elliptic differential operator on compact Riemannian manifolds without boundary, by the L estimates on χ λ in [14] and the gradient estimates on χ λ from Theorem 2.1, using the same ideas in this section, we shall give a new Proof of Hörmander ultiplier Theorem on Compact manifolds without boundary, which is first proved in [9]. References [1]. Christ and C.D. Sogge, The weak type L 1 convergence of eigenfunction expansions for pseudo-differential operators. Inv. ath. 94 (1988), [2] D. Gilbarg, N. S. Trudinger, Elliptic partial differential equations of second order, Springer-Verlag, 2001 [3] D. Grieser, L p bounds for eigenfunctions and spectral projections of the Laplacian near concave boundaries, PhD thesis, UCLA, [4] D. Grieser, Uniform bounds for eigenfunctions of the Laplacian on manifolds with boundary. Comm. P.D.E., 27 (7-8), (2002). [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, Springer- Verlag,
36 [7] 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, [8].H. Protter and H.F. Weinberger, aximum principles in differential equations, Springer Verlag [9] A. Seeger and C. D. Sogge, On the boundedness of functions of pseudodifferential operators on compact manifolds. Duke ath. J. 59 (1989), [10] Seeley, R. An estimate near the boundary for the spectral function of the Laplace operator. Amer. J. ath. 102 (1980), no. 5, [11] H.F. Smith and C.D. Sogge, On the critical semilinear wave equation outside of convex obstacles, J. Amer. ath. Soc. 8 (1995), No. 4, [12] C. D. Sogge, On the convergence of Riesz means on compact manifolds. Ann. of ath. 126 (1987), [13] C. D. Sogge, Concerning the L p norm of spectral clusters for second-order elliptic operators on compact manifolds, J. Funct. Anal. 77 (1988), no. 1, [14] C. D. Sogge, Fourier integrals in classical analysis. Cambridge Tracts in athematics, 105. Cambridge University Press, Cambridge, [15] C. D. Sogge, Eigenfunction and Bochner Riesz estimates on manifolds with boundary. athematical Research Letter 9, (2002). 36
37 [16] C. D. Sogge, S. Zelditch, Riemannian manifolds with maximal eigenfunction growth. Duke ath. J. Vol. 114, No. 3, (2002). [17] E.. Stein and G. Weiss, Introduction to Fourier analysis on Euclidean spaces. Princeton Uniersity Press, Princeton, [18]. Taylor, Pseudo-differential Operators. Princeton Univ. Press, Princeton N.J., [19] Xiangjin Xu, Gradient estimate for eigenfunction of Riemannian manifolds with boundary. (preprint) [20] Xiangjin Xu, New Proof of Hörmander ultiplier Theorem on Compact manifolds without boundary. (preprint) [21] Xiangjin Xu, Eigenfunction Estimates on Compact anifolds with Boundary and Hörmander ultiplier Theorem. PhD Thesis, Johns Hopkins University, ay,
New 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 informationGradient estimates for eigenfunctions on compact Riemannian manifolds with boundary
Gradient estimates for eigenfunctions on compact Riemannian manifolds with boundary Xiangjin Xu Department of athematics Johns Hopkins University Baltimore, D 21218 Abstract The purpose of this paper is
More informationEigenfunction 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 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 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 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 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 informationarxiv: v1 [math.ap] 18 May 2017
Littlewood-Paley-Stein functions for Schrödinger operators arxiv:175.6794v1 [math.ap] 18 May 217 El Maati Ouhabaz Dedicated to the memory of Abdelghani Bellouquid (2/2/1966 8/31/215) Abstract We study
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 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 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 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 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 informationAlgebras of singular integral operators with kernels controlled by multiple norms
Algebras of singular integral operators with kernels controlled by multiple norms Alexander Nagel Conference in Harmonic Analysis in Honor of Michael Christ This is a report on joint work with Fulvio Ricci,
More informationSingular Integrals. 1 Calderon-Zygmund decomposition
Singular Integrals Analysis III Calderon-Zygmund decomposition Let f be an integrable function f dx 0, f = g + b with g Cα almost everywhere, with b
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 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 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 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 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 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 informationSharp estimates for a class of hyperbolic pseudo-differential equations
Results in Math., 41 (2002), 361-368. Sharp estimates for a class of hyperbolic pseudo-differential equations Michael Ruzhansky Abstract In this paper we consider the Cauchy problem for a class of hyperbolic
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 informationHERMITE MULTIPLIERS AND PSEUDO-MULTIPLIERS
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 124, Number 7, July 1996 HERMITE MULTIPLIERS AND PSEUDO-MULTIPLIERS JAY EPPERSON Communicated by J. Marshall Ash) Abstract. We prove a multiplier
More informationThe oblique derivative problem for general elliptic systems in Lipschitz domains
M. MITREA The oblique derivative problem for general elliptic systems in Lipschitz domains Let M be a smooth, oriented, connected, compact, boundaryless manifold of real dimension m, and let T M and T
More informationGlobal Harmonic Analysis and the Concentration of Eigenfunctions, Part II:
Global Harmonic Analysis and the Concentration of Eigenfunctions, Part II: Toponogov s theorem and improved Kakeya-Nikodym estimates for eigenfunctions on manifolds of nonpositive curvature Christopher
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 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 informationMAXIMAL AVERAGE ALONG VARIABLE LINES. 1. Introduction
MAXIMAL AVERAGE ALONG VARIABLE LINES JOONIL KIM Abstract. We prove the L p boundedness of the maximal operator associated with a family of lines l x = {(x, x 2) t(, a(x )) : t [0, )} when a is a positive
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 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 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 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 informationA new class of pseudodifferential operators with mixed homogenities
A new class of pseudodifferential operators with mixed homogenities Po-Lam Yung University of Oxford Jan 20, 2014 Introduction Given a smooth distribution of hyperplanes on R N (or more generally on a
More informationWeighted norm inequalities for singular integral operators
Weighted norm inequalities for singular integral operators C. Pérez Journal of the London mathematical society 49 (994), 296 308. Departmento de Matemáticas Universidad Autónoma de Madrid 28049 Madrid,
More informationSharp Global Bounds for the Hessian on Pseudo-Hermitian Manifolds
Sharp Global Bounds for the Hessian on Pseudo-Hermitian anifolds Sagun Chanillo 1 and Juan J. anfredi 1 Department of athematics, Rutgers University, 110 Frelinghuysen Rd., Piscataway, NJ 08854, chanillo@math.rutgers.edu
More informationThe Calderon-Vaillancourt Theorem
The Calderon-Vaillancourt Theorem What follows is a completely self contained proof of the Calderon-Vaillancourt Theorem on the L 2 boundedness of pseudo-differential operators. 1 The result Definition
More informationChapter One. The Calderón-Zygmund Theory I: Ellipticity
Chapter One The Calderón-Zygmund Theory I: Ellipticity Our story begins with a classical situation: convolution with homogeneous, Calderón- Zygmund ( kernels on R n. Let S n 1 R n denote the unit sphere
More informationarxiv: v1 [math.ca] 29 Dec 2018
A QUANTITATIVE WEIGHTED WEAK-TYPE ESTIMATE FOR CALDERÓN-ZYGMUND OPERATORS CODY B. STOCKDALE arxiv:82.392v [math.ca] 29 Dec 208 Abstract. The purpose of this article is to provide an alternative proof of
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 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 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 informationEigenfunction L p Estimates on Manifolds of Constant Negative Curvature
Eigenfunction L p Estimates on Manifolds of Constant Negative Curvature Melissa Tacy Department of Mathematics Australian National University melissa.tacy@anu.edu.au July 2010 Joint with Andrew Hassell
More informationStrichartz Estimates for the Schrödinger Equation in Exterior Domains
Strichartz Estimates for the Schrödinger Equation in University of New Mexico May 14, 2010 Joint work with: Hart Smith (University of Washington) Christopher Sogge (Johns Hopkins University) The Schrödinger
More informationMultilinear local Tb Theorem for Square functions
Multilinear local Tb Theorem for Square functions (joint work with J. Hart and L. Oliveira) September 19, 2013. Sevilla. Goal Tf(x) L p (R n ) C f L p (R n ) Goal Tf(x) L p (R n ) C f L p (R n ) Examples
More informationMultivariable Calculus
2 Multivariable Calculus 2.1 Limits and Continuity Problem 2.1.1 (Fa94) Let the function f : R n R n satisfy the following two conditions: (i) f (K ) is compact whenever K is a compact subset of R n. (ii)
More informationDispersive Equations and Hyperbolic Orbits
Dispersive Equations and Hyperbolic Orbits H. Christianson Department of Mathematics University of California, Berkeley 4/16/07 The Johns Hopkins University Outline 1 Introduction 3 Applications 2 Main
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 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 informationClassical Fourier Analysis
Loukas Grafakos Classical Fourier Analysis Second Edition 4y Springer 1 IP Spaces and Interpolation 1 1.1 V and Weak IP 1 1.1.1 The Distribution Function 2 1.1.2 Convergence in Measure 5 1.1.3 A First
More informationLOW ENERGY BEHAVIOUR OF POWERS OF THE RESOLVENT OF LONG RANGE PERTURBATIONS OF THE LAPLACIAN
LOW ENERGY BEHAVIOUR OF POWERS OF THE RESOLVENT OF LONG RANGE PERTURBATIONS OF THE LAPLACIAN JEAN-MARC BOUCLET Abstract. For long range perturbations of the Laplacian in divergence form, we prove low frequency
More informationOn a class of pseudodifferential operators with mixed homogeneities
On a class of pseudodifferential operators with mixed homogeneities Po-Lam Yung University of Oxford July 25, 2014 Introduction Joint work with E. Stein (and an outgrowth of work of Nagel-Ricci-Stein-Wainger,
More informationTD M1 EDP 2018 no 2 Elliptic equations: regularity, maximum principle
TD M EDP 08 no Elliptic equations: regularity, maximum principle Estimates in the sup-norm I Let be an open bounded subset of R d of class C. Let A = (a ij ) be a symmetric matrix of functions of class
More informationHardy spaces associated to operators satisfying Davies-Gaffney estimates and bounded holomorphic functional calculus.
Hardy spaces associated to operators satisfying Davies-Gaffney estimates and bounded holomorphic functional calculus. Xuan Thinh Duong (Macquarie University, Australia) Joint work with Ji Li, Zhongshan
More informationESTIMATES FOR MAXIMAL SINGULAR INTEGRALS
ESTIMATES FOR MAXIMAL SINGULAR INTEGRALS LOUKAS GRAFAKOS Abstract. It is shown that maximal truncations of nonconvolution L -bounded singular integral operators with kernels satisfying Hörmander s condition
More informationPARTIAL DIFFERENTIAL EQUATIONS. Lecturer: D.M.A. Stuart MT 2007
PARTIAL DIFFERENTIAL EQUATIONS Lecturer: D.M.A. Stuart MT 2007 In addition to the sets of lecture notes written by previous lecturers ([1, 2]) the books [4, 7] are very good for the PDE topics in the course.
More informationPseudo-Poincaré Inequalities and Applications to Sobolev Inequalities
Pseudo-Poincaré Inequalities and Applications to Sobolev Inequalities Laurent Saloff-Coste Abstract Most smoothing procedures are via averaging. Pseudo-Poincaré inequalities give a basic L p -norm control
More informationStrichartz estimates for the Schrödinger equation on polygonal domains
estimates for the Schrödinger equation on Joint work with Matt Blair (UNM), G. Austin Ford (Northwestern U) and Sebastian Herr (U Bonn and U Düsseldorf)... With a discussion of previous work with Andrew
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 informationCourse Description for Real Analysis, Math 156
Course Description for Real Analysis, Math 156 In this class, we will study elliptic PDE, Fourier analysis, and dispersive PDE. Here is a quick summary of the topics will study study. They re described
More informationMATH6081A Homework 8. In addition, when 1 < p 2 the above inequality can be refined using Lorentz spaces: f
MATH68A Homework 8. Prove the Hausdorff-Young inequality, namely f f L L p p for all f L p (R n and all p 2. In addition, when < p 2 the above inequality can be refined using Lorentz spaces: f L p,p f
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 informationTopics in Harmonic Analysis Lecture 6: Pseudodifferential calculus and almost orthogonality
Topics in Harmonic Analysis Lecture 6: Pseudodifferential calculus and almost orthogonality Po-Lam Yung The Chinese University of Hong Kong Introduction While multiplier operators are very useful in studying
More informationESTIMATES FOR ELLIPTIC HOMOGENIZATION PROBLEMS IN NONSMOOTH DOMAINS. Zhongwei Shen
W,p ESTIMATES FOR ELLIPTIC HOMOGENIZATION PROBLEMS IN NONSMOOTH DOMAINS Zhongwei Shen Abstract. Let L = div`a` x, > be a family of second order elliptic operators with real, symmetric coefficients on a
More informationResearch Statement. Yakun Xi
Research Statement Yakun Xi 1 Introduction My research interests lie in harmonic and geometric analysis, and in particular, the Kakeya- Nikodym family of problems and eigenfunction estimates on compact
More informationChanging sign solutions for the CR-Yamabe equation
Changing sign solutions for the CR-Yamabe equation Ali Maalaoui (1) & Vittorio Martino (2) Abstract In this paper we prove that the CR-Yamabe equation on the Heisenberg group has infinitely many changing
More informationSOLUTION OF POISSON S EQUATION. Contents
SOLUTION OF POISSON S EQUATION CRISTIAN E. GUTIÉRREZ OCTOBER 5, 2013 Contents 1. Differentiation under the integral sign 1 2. The Newtonian potential is C 1 2 3. The Newtonian potential from the 3rd Green
More 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 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 informationA NOTE ON THE HEAT KERNEL ON THE HEISENBERG GROUP
A NOTE ON THE HEAT KERNEL ON THE HEISENBERG GROUP ADAM SIKORA AND JACEK ZIENKIEWICZ Abstract. We describe the analytic continuation of the heat ernel on the Heisenberg group H n (R. As a consequence, we
More informationLow frequency resolvent estimates for long range perturbations of the Euclidean Laplacian
Low frequency resolvent estimates for long range perturbations of the Euclidean Laplacian Jean-Francois Bony, Dietrich Häfner To cite this version: Jean-Francois Bony, Dietrich Häfner. Low frequency resolvent
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 informationCUTOFF RESOLVENT ESTIMATES AND THE SEMILINEAR SCHRÖDINGER EQUATION
CUTOFF RESOLVENT ESTIMATES AND THE SEMILINEAR SCHRÖDINGER EQUATION HANS CHRISTIANSON Abstract. This paper shows how abstract resolvent estimates imply local smoothing for solutions to the Schrödinger equation.
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 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 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 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 informationUniversal inequalities for eigenvalues. of elliptic operators in divergence. form on domains in complete. noncompact Riemannian manifolds
Theoretical athematics & Applications, vol.3, no., 03, 39-48 ISSN: 79-9687 print, 79-9709 online Scienpress Ltd, 03 Universal inequalities for eigenvalues of elliptic operators in divergence form on domains
More informationCalderón-Zygmund inequality on noncompact Riem. manifolds
The Calderón-Zygmund inequality on noncompact Riemannian manifolds Institut für Mathematik Humboldt-Universität zu Berlin Geometric Structures and Spectral Invariants Berlin, May 16, 2014 This talk is
More informationAnalytic families of multilinear operators
Analytic families of multilinear operators Mieczysław Mastyło Adam Mickiewicz University in Poznań Nonlinar Functional Analysis Valencia 17-20 October 2017 Based on a joint work with Loukas Grafakos M.
More informationBoundedness of Fourier integral operators on Fourier Lebesgue spaces and related topics
Boundedness of Fourier integral operators on Fourier Lebesgue spaces and related topics Fabio Nicola (joint work with Elena Cordero and Luigi Rodino) Dipartimento di Matematica Politecnico di Torino Applied
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 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 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 informationA NEW PROOF OF THE ATOMIC DECOMPOSITION OF HARDY SPACES
A NEW PROOF OF THE ATOMIC DECOMPOSITION OF HARDY SPACES S. DEKEL, G. KERKYACHARIAN, G. KYRIAZIS, AND P. PETRUSHEV Abstract. A new proof is given of the atomic decomposition of Hardy spaces H p, 0 < p 1,
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 informationfor all subintervals I J. If the same is true for the dyadic subintervals I D J only, we will write ϕ BMO d (J). In fact, the following is true
3 ohn Nirenberg inequality, Part I A function ϕ L () belongs to the space BMO() if sup ϕ(s) ϕ I I I < for all subintervals I If the same is true for the dyadic subintervals I D only, we will write ϕ BMO
More informationFunctional Analysis. Franck Sueur Metric spaces Definitions Completeness Compactness Separability...
Functional Analysis Franck Sueur 2018-2019 Contents 1 Metric spaces 1 1.1 Definitions........................................ 1 1.2 Completeness...................................... 3 1.3 Compactness......................................
More informationDETERMINATION OF THE BLOW-UP RATE FOR THE SEMILINEAR WAVE EQUATION
DETERMINATION OF THE LOW-UP RATE FOR THE SEMILINEAR WAVE EQUATION y FRANK MERLE and HATEM ZAAG Abstract. In this paper, we find the optimal blow-up rate for the semilinear wave equation with a power nonlinearity.
More informationDuality of multiparameter Hardy spaces H p on spaces of homogeneous type
Duality of multiparameter Hardy spaces H p on spaces of homogeneous type Yongsheng Han, Ji Li, and Guozhen Lu Department of Mathematics Vanderbilt University Nashville, TN Internet Analysis Seminar 2012
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 informationNonlinear aspects of Calderón-Zygmund theory
Ancona, June 7 2011 Overture: The standard CZ theory Consider the model case u = f in R n Overture: The standard CZ theory Consider the model case u = f in R n Then f L q implies D 2 u L q 1 < q < with
More informationRIESZ BASES AND UNCONDITIONAL BASES
In this paper we give a brief introduction to adjoint operators on Hilbert spaces and a characterization of the dual space of a Hilbert space. We then introduce the notion of a Riesz basis and give some
More informationLEGENDRE POLYNOMIALS AND APPLICATIONS. We construct Legendre polynomials and apply them to solve Dirichlet problems in spherical coordinates.
LEGENDRE POLYNOMIALS AND APPLICATIONS We construct Legendre polynomials and apply them to solve Dirichlet problems in spherical coordinates.. Legendre equation: series solutions The Legendre equation is
More informationEXISTENCE AND REGULARITY RESULTS FOR SOME NONLINEAR PARABOLIC EQUATIONS
EXISTECE AD REGULARITY RESULTS FOR SOME OLIEAR PARABOLIC EUATIOS Lucio BOCCARDO 1 Andrea DALL AGLIO 2 Thierry GALLOUËT3 Luigi ORSIA 1 Abstract We prove summability results for the solutions of nonlinear
More informationarxiv:math/ v2 [math.ap] 3 Oct 2006
THE TAYLOR SERIES OF THE GAUSSIAN KERNEL arxiv:math/0606035v2 [math.ap] 3 Oct 2006 L. ESCAURIAZA From some people one can learn more than mathematics Abstract. We describe a formula for the Taylor series
More 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 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 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 information