Geometry and the Kato square root problem
|
|
- Job Maxwell
- 5 years ago
- Views:
Transcription
1 Geometry and the Kato square root problem Lashi Bandara Centre for Mathematics and its Applications Australian National University 29 July 2014 Geometric Analysis Seminar Beijing International Center for Mathematical Research Lashi Bandara Geometry and the Kato problem 1/34
2 History of the problem In the 1960 s, Kato considered the following abstract evolution equation t u(t) + A(t)u(t) = f(t), t [0, T ]. on a Hilbert space H. Lashi Bandara Geometry and the Kato problem 2/34
3 History of the problem In the 1960 s, Kato considered the following abstract evolution equation t u(t) + A(t)u(t) = f(t), t [0, T ]. on a Hilbert space H. This has a unique strict solution u = u(t) if D(A(t) α ) = const for some 0 < α 1 and A(t) and f(t) satisfy certain smoothness conditions. Lashi Bandara Geometry and the Kato problem 2/34
4 Typically A(t) is defined by an associated sesquilinear form where W H. J t : W W C Lashi Bandara Geometry and the Kato problem 3/34
5 Typically A(t) is defined by an associated sesquilinear form J t : W W C where W H. Suppose 0 ω π/2. Then J t is ω-sectorial means that Lashi Bandara Geometry and the Kato problem 3/34
6 Typically A(t) is defined by an associated sesquilinear form J t : W W C where W H. Suppose 0 ω π/2. Then J t is ω-sectorial means that (i) W H is dense, Lashi Bandara Geometry and the Kato problem 3/34
7 Typically A(t) is defined by an associated sesquilinear form J t : W W C where W H. Suppose 0 ω π/2. Then J t is ω-sectorial means that (i) W H is dense, (ii) J t [u, u] S ω+ = {ζ C : arg ζ ω} {0}, Lashi Bandara Geometry and the Kato problem 3/34
8 Typically A(t) is defined by an associated sesquilinear form J t : W W C where W H. Suppose 0 ω π/2. Then J t is ω-sectorial means that (i) W H is dense, (ii) J t [u, u] S ω+ = {ζ C : arg ζ ω} {0}, and (iii) W is complete under the norm u 2 W = u 2 + Re J t [u, u]. Lashi Bandara Geometry and the Kato problem 3/34
9 T : D(T ) H is called ω-accretive if (i) T is densely-defined and closed, Lashi Bandara Geometry and the Kato problem 4/34
10 T : D(T ) H is called ω-accretive if (i) T is densely-defined and closed, (ii) T u, u S ω+ for u D(T ), Lashi Bandara Geometry and the Kato problem 4/34
11 T : D(T ) H is called ω-accretive if (i) T is densely-defined and closed, (ii) T u, u S ω+ for u D(T ), and (iii) σ(t ) S ω+. Lashi Bandara Geometry and the Kato problem 4/34
12 T : D(T ) H is called ω-accretive if (i) T is densely-defined and closed, (ii) T u, u S ω+ for u D(T ), and (iii) σ(t ) S ω+. A 0-accretive operator is non-negative and self-adjoint. Lashi Bandara Geometry and the Kato problem 4/34
13 Let A(t) : D(A(t)) H be defined as the operator with largest domain such that J t [u, v] = A(t)u, v u D(A(t)), v W. Lashi Bandara Geometry and the Kato problem 5/34
14 Let A(t) : D(A(t)) H be defined as the operator with largest domain such that J t [u, v] = A(t)u, v u D(A(t)), v W. The theorem of Lax-Milgram guarantees that J t is ω-sectorial = A(t) is ω-accretive. Lashi Bandara Geometry and the Kato problem 5/34
15 Let A(t) : D(A(t)) H be defined as the operator with largest domain such that J t [u, v] = A(t)u, v u D(A(t)), v W. The theorem of Lax-Milgram guarantees that J t is ω-sectorial = A(t) is ω-accretive. In 1962, Kato showed in [Kato] that for 0 α < 1/2 and 0 ω π/2, D(A(t) α ) = D(A(t) α ) = D = const, and A(t) α u A(t) α u, u D. (K α ) Lashi Bandara Geometry and the Kato problem 5/34
16 Let A(t) : D(A(t)) H be defined as the operator with largest domain such that J t [u, v] = A(t)u, v u D(A(t)), v W. The theorem of Lax-Milgram guarantees that J t is ω-sectorial = A(t) is ω-accretive. In 1962, Kato showed in [Kato] that for 0 α < 1/2 and 0 ω π/2, D(A(t) α ) = D(A(t) α ) = D = const, and A(t) α u A(t) α u, u D. (K α ) Counter examples were known for α > 1/2 and for α = 1/2 when ω = π/2. Lashi Bandara Geometry and the Kato problem 5/34
17 Kato asked two questions. For ω < π/2, (K1) Does (K α ) hold for α = 1/2? Lashi Bandara Geometry and the Kato problem 6/34
18 Kato asked two questions. For ω < π/2, (K1) Does (K α ) hold for α = 1/2? (K2) For the case ω = 0, we know D( A(t)) = W and (K1) is true, but is t A(t)u u for u W? Lashi Bandara Geometry and the Kato problem 6/34
19 Kato asked two questions. For ω < π/2, (K1) Does (K α ) hold for α = 1/2? (K2) For the case ω = 0, we know D( A(t)) = W and (K1) is true, but is t A(t)u u for u W? In 1972, McIntosh provided a counter example in [Mc72] demonstrating that (K1) is false in such generality. Lashi Bandara Geometry and the Kato problem 6/34
20 Kato asked two questions. For ω < π/2, (K1) Does (K α ) hold for α = 1/2? (K2) For the case ω = 0, we know D( A(t)) = W and (K1) is true, but is t A(t)u u for u W? In 1972, McIntosh provided a counter example in [Mc72] demonstrating that (K1) is false in such generality. In 1982, McIntosh showed that (K2) also did not hold in general in [Mc82]. Lashi Bandara Geometry and the Kato problem 6/34
21 The Kato square root problem then became the following. Lashi Bandara Geometry and the Kato problem 7/34
22 The Kato square root problem then became the following. Set J[u, v] = A u, v u, v W 1,2 (R n ), Lashi Bandara Geometry and the Kato problem 7/34
23 The Kato square root problem then became the following. Set J[u, v] = A u, v u, v W 1,2 (R n ), where A L is a pointwise matrix multiplication operator Lashi Bandara Geometry and the Kato problem 7/34
24 The Kato square root problem then became the following. Set J[u, v] = A u, v u, v W 1,2 (R n ), where A L is a pointwise matrix multiplication operator satisfying the following ellipticity condition: Re J[u, u] κ u, for some κ > 0. Lashi Bandara Geometry and the Kato problem 7/34
25 The Kato square root problem then became the following. Set J[u, v] = A u, v u, v W 1,2 (R n ), where A L is a pointwise matrix multiplication operator satisfying the following ellipticity condition: Re J[u, u] κ u, for some κ > 0. Under these conditions, is it true that D( div A ) = W 1,2 (R n ) div A u u. (K1) Lashi Bandara Geometry and the Kato problem 7/34
26 The Kato square root problem then became the following. Set J[u, v] = A u, v u, v W 1,2 (R n ), where A L is a pointwise matrix multiplication operator satisfying the following ellipticity condition: Re J[u, u] κ u, for some κ > 0. Under these conditions, is it true that D( div A ) = W 1,2 (R n ) div A u u. (K1) This was answered in the positive in 2002 by Pascal Auscher, Steve Hofmann, Michael Lacey, Alan McIntosh and Phillipe Tchamitchian in [AHLMcT]. Lashi Bandara Geometry and the Kato problem 7/34
27 Kato square root problem for functions and forms Let M be a smooth, complete Riemannian manifold with metric g, Levi-Civita connection, and volume measure µ g. Lashi Bandara Geometry and the Kato problem 8/34
28 Kato square root problem for functions and forms Let M be a smooth, complete Riemannian manifold with metric g, Levi-Civita connection, and volume measure µ g. Write div g = in L 2. Lashi Bandara Geometry and the Kato problem 8/34
29 Kato square root problem for functions and forms Let M be a smooth, complete Riemannian manifold with metric g, Levi-Civita connection, and volume measure µ g. Write div g = in L 2. Let Ω(M) denote the algebra of differential forms over M. Lashi Bandara Geometry and the Kato problem 8/34
30 Kato square root problem for functions and forms Let M be a smooth, complete Riemannian manifold with metric g, Levi-Civita connection, and volume measure µ g. Write div g = in L 2. Let Ω(M) denote the algebra of differential forms over M. Let d be the exterior derivative as an operator on L 2 (Ω(M)) and d its adjoint, both of which are nilpotent operators. Lashi Bandara Geometry and the Kato problem 8/34
31 Kato square root problem for functions and forms Let M be a smooth, complete Riemannian manifold with metric g, Levi-Civita connection, and volume measure µ g. Write div g = in L 2. Let Ω(M) denote the algebra of differential forms over M. Let d be the exterior derivative as an operator on L 2 (Ω(M)) and d its adjoint, both of which are nilpotent operators. The Hodge-Dirac operator is then the self-adjoint operator D = d +d. Lashi Bandara Geometry and the Kato problem 8/34
32 Kato square root problem for functions and forms Let M be a smooth, complete Riemannian manifold with metric g, Levi-Civita connection, and volume measure µ g. Write div g = in L 2. Let Ω(M) denote the algebra of differential forms over M. Let d be the exterior derivative as an operator on L 2 (Ω(M)) and d its adjoint, both of which are nilpotent operators. The Hodge-Dirac operator is then the self-adjoint operator D = d +d. The Hodge-Laplacian is then D 2 = d d + d d. Lashi Bandara Geometry and the Kato problem 8/34
33 Let S = (I, ). Lashi Bandara Geometry and the Kato problem 9/34
34 Let S = (I, ). Assume a L (M) and A = (A ij ) L (M, L(L 2 (M) L 2 (T M)). Lashi Bandara Geometry and the Kato problem 9/34
35 Let S = (I, ). Assume a L (M) and A = (A ij ) L (M, L(L 2 (M) L 2 (T M)). Consider the following second order differential operator L A : D(L A ) L 2 (M) L 2 (M) defined by: L A u = as ASu = a div(a 11 u) a div(a 10 u)+aa 01 u+aa 00 u. Lashi Bandara Geometry and the Kato problem 9/34
36 Let S = (I, ). Assume a L (M) and A = (A ij ) L (M, L(L 2 (M) L 2 (T M)). Consider the following second order differential operator L A : D(L A ) L 2 (M) L 2 (M) defined by: L A u = as ASu = a div(a 11 u) a div(a 10 u)+aa 01 u+aa 00 u. The Kato square root problem for functions is then to determine: D( L A ) = W 1,2 (M) and L A u u + u = u W 1,2 for all u W 1,2 (M). Lashi Bandara Geometry and the Kato problem 9/34
37 For an invertible A L (L(Ω(M))), we consider perturbing D to obtain the operator D A = d +A 1 d A. Lashi Bandara Geometry and the Kato problem 10/34
38 For an invertible A L (L(Ω(M))), we consider perturbing D to obtain the operator D A = d +A 1 d A. The Kato square root problem for forms is then to determine the following whenever 0 β C: D( D 2 A + β 2 ) = D(D A ) = D(d) D(d A) and D 2 A + β 2 u D A u + u. Lashi Bandara Geometry and the Kato problem 10/34
39 Axelsson (Rosén)-Keith-McIntosh framework (H1) The operator Γ : D(Γ) H H is a closed, densely-defined and nilpotent operator, by which we mean R(Γ) N (Γ), Lashi Bandara Geometry and the Kato problem 11/34
40 Axelsson (Rosén)-Keith-McIntosh framework (H1) The operator Γ : D(Γ) H H is a closed, densely-defined and nilpotent operator, by which we mean R(Γ) N (Γ), (H2) B 1, B 2 L(H ) and there exist κ 1, κ 2 > 0 satisfying the accretivity conditions Re B 1 u, u κ 1 u 2 and Re B 2 v, v κ 2 v 2, for u R(Γ ) and v R(Γ), and Lashi Bandara Geometry and the Kato problem 11/34
41 Axelsson (Rosén)-Keith-McIntosh framework (H1) The operator Γ : D(Γ) H H is a closed, densely-defined and nilpotent operator, by which we mean R(Γ) N (Γ), (H2) B 1, B 2 L(H ) and there exist κ 1, κ 2 > 0 satisfying the accretivity conditions Re B 1 u, u κ 1 u 2 and Re B 2 v, v κ 2 v 2, for u R(Γ ) and v R(Γ), and (H3) B 1 B 2 R(Γ) N (Γ) and B 2 B 1 R(Γ ) N (Γ ). Lashi Bandara Geometry and the Kato problem 11/34
42 Axelsson (Rosén)-Keith-McIntosh framework (H1) The operator Γ : D(Γ) H H is a closed, densely-defined and nilpotent operator, by which we mean R(Γ) N (Γ), (H2) B 1, B 2 L(H ) and there exist κ 1, κ 2 > 0 satisfying the accretivity conditions Re B 1 u, u κ 1 u 2 and Re B 2 v, v κ 2 v 2, for u R(Γ ) and v R(Γ), and (H3) B 1 B 2 R(Γ) N (Γ) and B 2 B 1 R(Γ ) N (Γ ). Let us now define Π B = Γ + B 1 Γ B 2 with domain D(Π B ) = D(Γ) D(B 1 Γ B 2 ). Lashi Bandara Geometry and the Kato problem 11/34
43 Quadratic estimates To say that Π B satisfies quadratic estimates means that ˆ 0 tπ B (I + t 2 Π 2 B) 1 u 2 dt t u 2, (Q) for all u R(Π B ). Lashi Bandara Geometry and the Kato problem 12/34
44 Quadratic estimates To say that Π B satisfies quadratic estimates means that ˆ 0 tπ B (I + t 2 Π 2 B) 1 u 2 dt t u 2, (Q) for all u R(Π B ). This implies that D( Π 2 B ) = D(Π B) = D(Γ) D(Γ B 2 ) Π 2 B u Π Bu Γu + Γ B 2 u Lashi Bandara Geometry and the Kato problem 12/34
45 The main theorem on manifolds Theorem (B.-Mc, 2012) Let M be a smooth, complete Riemannian manifold with Ric C and inj(m) κ > 0. Suppose the following ellipticity condition holds: there exists κ 1, κ 2 > 0 such that Re av, v κ 1 v 2 Re ASu, Su κ 2 u 2 W 1,2 for v L 2 (M) and u W 1,2 (M). Then, D( L A ) = D( ) = W 1,2 (M) and L A u u + u = u W 1,2 for all u W 1,2 (M). Lashi Bandara Geometry and the Kato problem 13/34
46 Lipschitz estimates Since we allow the coefficients a and A to be complex, we obtain the following stability result as a consequence: Theorem (B.-Mc, 2012) Let M be a smooth, complete Riemannian manifold with Ric C and inj(m) κ > 0. Suppose that there exist κ 1, κ 2 > 0 such that Re av, v κ 1 v 2 and Re ASu, Su κ 2 u 2 W for v L 2 (M) 1,2 and u W 1,2 (M). Then for every η i < κ i, whenever ã η 1, Ã η 2, the estimate L A u L A+ Ã u ( ã + Ã ) u W 1,2 holds for all u W 1,2 (M). The implicit constant depends in particular on A, a and η i. Lashi Bandara Geometry and the Kato problem 14/34
47 Curvature endomorphism for forms Let { θ i} be an orthonormal frame at x for Ω 1 (M) = T M. Lashi Bandara Geometry and the Kato problem 15/34
48 Curvature endomorphism for forms Let { θ i} be an orthonormal frame at x for Ω 1 (M) = T M. Denote the components of the curvature tensor in this frame by Rm ijkl. Lashi Bandara Geometry and the Kato problem 15/34
49 Curvature endomorphism for forms Let { θ i} be an orthonormal frame at x for Ω 1 (M) = T M. Denote the components of the curvature tensor in this frame by Rm ijkl. The curvature endomorphism is then the operator for ω Ω x (M). R ω = Rm ijkl θ i (θ j (θ k (θ l ω))) Lashi Bandara Geometry and the Kato problem 15/34
50 Curvature endomorphism for forms Let { θ i} be an orthonormal frame at x for Ω 1 (M) = T M. Denote the components of the curvature tensor in this frame by Rm ijkl. The curvature endomorphism is then the operator for ω Ω x (M). R ω = Rm ijkl θ i (θ j (θ k (θ l ω))) This can be seen as an extension of Ricci curvature for forms, since g(r ω, η) = Ric(ω, η ) whenever ω, η Ω 1 x(m) and where : T M TM is the flat isomorphism through the metric g. Lashi Bandara Geometry and the Kato problem 15/34
51 Curvature endomorphism for forms Let { θ i} be an orthonormal frame at x for Ω 1 (M) = T M. Denote the components of the curvature tensor in this frame by Rm ijkl. The curvature endomorphism is then the operator for ω Ω x (M). R ω = Rm ijkl θ i (θ j (θ k (θ l ω))) This can be seen as an extension of Ricci curvature for forms, since g(r ω, η) = Ric(ω, η ) whenever ω, η Ω 1 x(m) and where : T M TM is the flat isomorphism through the metric g. The Weitzenböck formula then asserts that D 2 = tr R. Lashi Bandara Geometry and the Kato problem 15/34
52 Theorem (B., 2012) Let M be a smooth, complete Riemannian manifold and let β C \ {0}. Suppose there exist η, κ > 0 such that Ric η and inj(m) κ. Furthermore, suppose there is a ζ R satisfying g(r u, u) ζ u 2, for u Ω x (M) and A L (L(Ω(M))) and κ 1 > 0 satisfying Re Au, u κ 1 u 2. Then, D( D 2 A + β 2 ) = D(D A ) = D(d) D(d A) and D 2 A + β 2 u D A u + u. Lashi Bandara Geometry and the Kato problem 16/34
53 The Kato problem for functions are captured in the AKM framework on letting H = L 2 (M) (L 2 (M) L 2 (T M)) and letting Γ = ( ) 0 0, Γ = S 0 ( 0 S 0 0 ), B 1 = ( ) a 0, B = ( ) A Lashi Bandara Geometry and the Kato problem 17/34
54 The Kato problem for functions are captured in the AKM framework on letting H = L 2 (M) (L 2 (M) L 2 (T M)) and letting Γ = ( ) 0 0, Γ = S 0 ( 0 S 0 0 ), B 1 = ( ) a 0, B = ( ) A For the case of forms, the setup takes the form, H = L 2 (Ω(M)) L 2 (Ω(M)) and ( ) d 0 Γ =, Γ = β d ( ) ( ) δ β A 1 0, B 0 δ 1 = 0 A 1, B 2 = ( ) A 0. 0 A Lashi Bandara Geometry and the Kato problem 17/34
55 Geometry and harmonic analysis Harmonic analytic methods are used to prove quadratic estimates (Q). Lashi Bandara Geometry and the Kato problem 18/34
56 Geometry and harmonic analysis Harmonic analytic methods are used to prove quadratic estimates (Q). The idea is to reduce the quadratic estimate (Q) to a Carleson measure estimate. Lashi Bandara Geometry and the Kato problem 18/34
57 Geometry and harmonic analysis Harmonic analytic methods are used to prove quadratic estimates (Q). The idea is to reduce the quadratic estimate (Q) to a Carleson measure estimate. This is achieved via a local T (b) argument. Lashi Bandara Geometry and the Kato problem 18/34
58 Geometry and harmonic analysis Harmonic analytic methods are used to prove quadratic estimates (Q). The idea is to reduce the quadratic estimate (Q) to a Carleson measure estimate. This is achieved via a local T (b) argument. Geometry enters the picture precisely in the harmonic analysis. Lashi Bandara Geometry and the Kato problem 18/34
59 Geometry and harmonic analysis Harmonic analytic methods are used to prove quadratic estimates (Q). The idea is to reduce the quadratic estimate (Q) to a Carleson measure estimate. This is achieved via a local T (b) argument. Geometry enters the picture precisely in the harmonic analysis. We need to perform harmonic analysis on vector fields, not just functions. Lashi Bandara Geometry and the Kato problem 18/34
60 Geometry and harmonic analysis Harmonic analytic methods are used to prove quadratic estimates (Q). The idea is to reduce the quadratic estimate (Q) to a Carleson measure estimate. This is achieved via a local T (b) argument. Geometry enters the picture precisely in the harmonic analysis. We need to perform harmonic analysis on vector fields, not just functions. One can show that this is not artificial - the Kato problem on functions immediately provides a solution to the dual problem on vector fields. Lashi Bandara Geometry and the Kato problem 18/34
61 Elements of the proofs Similar in structure to the proof of [AKMc] which is inspired from the proof in [AHLMcT]. Lashi Bandara Geometry and the Kato problem 19/34
62 Elements of the proofs Similar in structure to the proof of [AKMc] which is inspired from the proof in [AHLMcT]. A dyadic decomposition of the space Lashi Bandara Geometry and the Kato problem 19/34
63 Elements of the proofs Similar in structure to the proof of [AKMc] which is inspired from the proof in [AHLMcT]. A dyadic decomposition of the space A notion of averaging (in an integral sense) Lashi Bandara Geometry and the Kato problem 19/34
64 Elements of the proofs Similar in structure to the proof of [AKMc] which is inspired from the proof in [AHLMcT]. A dyadic decomposition of the space A notion of averaging (in an integral sense) Poincaré inequality - on both functions and vector fields Lashi Bandara Geometry and the Kato problem 19/34
65 Elements of the proofs Similar in structure to the proof of [AKMc] which is inspired from the proof in [AHLMcT]. A dyadic decomposition of the space A notion of averaging (in an integral sense) Poincaré inequality - on both functions and vector fields Control of 2 in terms of. Lashi Bandara Geometry and the Kato problem 19/34
66 Rough metrics Definition (Rough metric) Let g be a (2, 0) symmetric tensor field with measurable coefficients and that for each x M, there is some chart (U, ψ) near x and a constant C 1 such that C 1 u ψ δ(y) u g(y) C u ψ δ(y), for almost-every y U and where δ is the Euclidean metric in ψ(u). Then we say that g is a rough metric, and such a chart (U, ψ) is said to satisfy the local comparability condition. Lashi Bandara Geometry and the Kato problem 20/34
67 Metric perturbations Definition We say that two rough metrics g and g are C-close if C 1 u g(x) u g(x) C u g(x) for almost-every x M where C 1. Two such metrics are said to be C-close everywhere if this inequality holds for every x M. Lashi Bandara Geometry and the Kato problem 21/34
68 Metric perturbations Definition We say that two rough metrics g and g are C-close if C 1 u g(x) u g(x) C u g(x) for almost-every x M where C 1. Two such metrics are said to be C-close everywhere if this inequality holds for every x M. We also say that g and g are close if there exists some C 1 for which they are C-close. Lashi Bandara Geometry and the Kato problem 21/34
69 Metric perturbations Definition We say that two rough metrics g and g are C-close if C 1 u g(x) u g(x) C u g(x) for almost-every x M where C 1. Two such metrics are said to be C-close everywhere if this inequality holds for every x M. We also say that g and g are close if there exists some C 1 for which they are C-close. For two continuous metrics, C-close and C-close everywhere coincide. Lashi Bandara Geometry and the Kato problem 21/34
70 Proposition Let g and g be two rough metrics that are C-close. Then, there exists B Γ(T M TM) such that it is symmetric, almost-everywhere positive and invertible, and g x (B(x)u, v) = g x (u, v) for almost-every x M. Furthermore, for almost-every x M, C 2 u g(x) B(x)u g(x) C 2 u g(x), and the same inequality with g and g interchanged. If g C k and g C l (with k, l 0), then the properties of B are valid for all x M and B C min{k,l} (T M TM). Lashi Bandara Geometry and the Kato problem 22/34
71 The measure µ g (x) = θ(x) dµ g (x), where θ(x) = det B(x). Lashi Bandara Geometry and the Kato problem 23/34
72 The measure µ g (x) = θ(x) dµ g (x), where θ(x) = det B(x). Consequently, (i) whenever p [1, ), L p (T (r,s) M, g) = L p (T (r,s) M, g) with ( ) C r+s+ n 2p u p, g u p,g C r+s+ n 2p u p, g, Lashi Bandara Geometry and the Kato problem 23/34
73 The measure µ g (x) = θ(x) dµ g (x), where θ(x) = det B(x). Consequently, (i) whenever p [1, ), L p (T (r,s) M, g) = L p (T (r,s) M, g) with ( ) C r+s+ n 2p u p, g u p,g C r+s+ n 2p u p, g, (ii) for p =, L (T (r,s) M, g) = L (T (r,s) M, g) with C (r+s) u, g u,g C r+s u, g, Lashi Bandara Geometry and the Kato problem 23/34
74 (iii) the Sobolev spaces W 1,p (M, g) = W 1,p (M, g) and (M, g) = W1,p(M, g) with W 1,p 0 0 ( ) C 1+ n 2p u W 1,p, g u W 1,p,g C 1+ n 2p u W 1,p, g, Lashi Bandara Geometry and the Kato problem 24/34
75 (iii) the Sobolev spaces W 1,p (M, g) = W 1,p (M, g) and (M, g) = W1,p(M, g) with W 1,p 0 0 ( ) C 1+ n 2p u W 1,p, g u W 1,p,g C 1+ n 2p u W 1,p, g, (iv) the Sobolev spaces W d,p (M, g) = W d,p (M, g) and (M, g) = Wd,p(M, g) with W d,p 0 0 ( ) C n+ n 2p u W d,p, g u W d,p,g C n+ n 2p u W d,p, g, Lashi Bandara Geometry and the Kato problem 24/34
76 (iii) the Sobolev spaces W 1,p (M, g) = W 1,p (M, g) and (M, g) = W1,p(M, g) with W 1,p 0 0 ( ) C 1+ n 2p u W 1,p, g u W 1,p,g C 1+ n 2p u W 1,p, g, (iv) the Sobolev spaces W d,p (M, g) = W d,p (M, g) and (M, g) = Wd,p(M, g) with W d,p 0 0 ( ) C n+ n 2p u W d,p, g u W d,p,g C n+ n 2p u W d,p, g, (v) the divergence operators satisfy div D,g = θ 1 div D, g θb and div N,g = θ 1 div N, g θb. Lashi Bandara Geometry and the Kato problem 24/34
77 Case of functions Theorem (B, 2014) Let g be a smooth, complete metric and suppose that there exists κ > 0 and η > 0 such that (i) inj(m, g) κ and, (ii) Ric( g) η. Then, for any rough metric g that is close, the Kato square root problem for functions has a solution on (M, g). Lashi Bandara Geometry and the Kato problem 25/34
78 Case of forms Theorem (B, 2014) Let g be a rough metric close to g, a smooth, complete metric, and suppose that: (i) there exists κ > 0 such that inj(m, g) κ, (ii) there exists η > 0 such that Ric( g) η, and (iii) there exists ζ R such that g(r ω, ω) ζ ω 2 g. Then, the Kato square root problem for forms has a solution on (M, g). Lashi Bandara Geometry and the Kato problem 26/34
79 Compact manifolds with rough metrics Theorem (B, 2014) Let M be a smooth, compact manifold and g a rough metric. Then, the Kato square root problem (on functions and forms, respectively) has a solution. Lashi Bandara Geometry and the Kato problem 27/34
80 Cones and induced metrics Let Cr,h n be the n-cone of height h > 0 and radius r > 0. Lashi Bandara Geometry and the Kato problem 28/34
81 Cones and induced metrics Let Cr,h n be the n-cone of height h > 0 and radius r > 0. The cone can be realised as the image of the graph function ( ( F r,h (x) = x, h 1 x )). r Lashi Bandara Geometry and the Kato problem 28/34
82 Cones and induced metrics Let Cr,h n be the n-cone of height h > 0 and radius r > 0. The cone can be realised as the image of the graph function ( ( F r,h (x) = x, h 1 x )). r Let U be an open set in R n such that B r (0) U. Then, define G r,h : U R n+1 as the map F r,h whenever x B r (0) and (x, 0) otherwise. Lashi Bandara Geometry and the Kato problem 28/34
83 Cones and induced metrics Let Cr,h n be the n-cone of height h > 0 and radius r > 0. The cone can be realised as the image of the graph function ( ( F r,h (x) = x, h 1 x )). r Let U be an open set in R n such that B r (0) U. Then, define G r,h : U R n+1 as the map F r,h whenever x B r (0) and (x, 0) otherwise. Then we obtain that the map G r,h satisfies x y G r,h (x) G r,h (y) 1 + (hr 1 ) 2 x y. Lashi Bandara Geometry and the Kato problem 28/34
84 Proposition Let γ : I U be a smooth curve such that γ(0) {0} B r (0). Then, γ (0) (G r,h γ) (0) 1 + h2 r 2 γ (0). Moreover, for u T x U, x {0} B r (0) (and in particular for almost-every x), u δ u g 1 + h2 r 2 u δ, where δ is the usual inner product on U induced by R n. Lashi Bandara Geometry and the Kato problem 29/34
85 Proposition Let γ : I U be a smooth curve such that γ(0) {0} B r (0). Then, γ (0) (G r,h γ) (0) 1 + h2 r 2 γ (0). Moreover, for u T x U, x {0} B r (0) (and in particular for almost-every x), u δ u g 1 + h2 r 2 u δ, where δ is the usual inner product on U induced by R n. A particular consequence is that the metrics g = G r,h δ R n+1 are 1 + (hr 1 ) 2 -close on U. and δ R n Lashi Bandara Geometry and the Kato problem 29/34
86 Lemma Given ε > 0, there exists two points x, x and distinct minimising smooth geodesics γ 1,ε and γ 2,ε between x and x of length ε. Furthermore, there are two constants C 1,r,h,ε, C 2,r,h,ε > 0 depending on h, r and ε such that the geodesics γ 1,ε and γ 2,ε are contained in G r,h (A ε ) where A ε is the Euclidean annulus {x B r (0) : C 1,r,h,ε < x < C 2,r,h,ε }. Lashi Bandara Geometry and the Kato problem 30/34
87 Theorem (B., 2014) For any C > 1, there exists a smooth metric g which is C-close to the Euclidean metric δ for which inj(r 2, g) = 0. Furthermore, the Kato square root problem for functions can be solved for (R 2, g) under the. Lashi Bandara Geometry and the Kato problem 31/34
88 In higher dimensions, we obtain a similar result since the 2-dimensional cone can be realised as a totally geodesic submanifold. Lashi Bandara Geometry and the Kato problem 32/34
89 In higher dimensions, we obtain a similar result since the 2-dimensional cone can be realised as a totally geodesic submanifold. Theorem (B., 2014) Let M be a smooth manifold of dimension at least 2 and g a continuous metric. Given C > 1, and a point x 0 M, there exists a rough metric h such that: (i) it induces a length structure and the metric d g preserves the topology of M, (ii) it is smooth everywhere except x 0, (iii) the geodesics through x 0 are Lipschitz, (iv) it is C-close to g, (v) inj(m \ {x 0 }, h) = 0. Lashi Bandara Geometry and the Kato problem 32/34
90 References I [AHLMcT] Pascal Auscher, Steve Hofmann, Michael Lacey, Alan McIntosh, and Ph. Tchamitchian, The solution of the Kato square root problem for second order elliptic operators on R n, Ann. of Math. (2) 156 (2002), no. 2, [AKMc-2] Andreas Axelsson, Stephen Keith, and Alan McIntosh, The Kato square root problem for mixed boundary value problems, J. London Math. Soc. (2) 74 (2006), no. 1, [AKMc], Quadratic estimates and functional calculi of perturbed Dirac operators, Invent. Math. 163 (2006), no. 3, [Christ] Michael Christ, A T (b) theorem with remarks on analytic capacity and the Cauchy integral, Colloq. Math. 60/61 (1990), no. 2, Lashi Bandara Geometry and the Kato problem 33/34
91 References II [Kato] Tosio Kato, Fractional powers of dissipative operators, J. Math. Soc. Japan 13 (1961), MR (25 #1453) [Mc72] Alan McIntosh, On the comparability of A 1/2 and A 1/2, Proc. Amer. Math. Soc. 32 (1972), MR (44 #7354) [Mc82], On representing closed accretive sesquilinear forms as (A 1/2 u, A 1/2 v), Nonlinear partial differential equations and their applications. Collège de France Seminar, Vol. III (Paris, 1980/1981), Res. Notes in Math., vol. 70, Pitman, Boston, Mass., 1982, pp MR (84k:47030) Lashi Bandara Geometry and the Kato problem 34/34
Geometry and the Kato square root problem
Geometry and the Kato square root problem Lashi Bandara Centre for Mathematics and its Applications Australian National University 7 June 2013 Geometric Analysis Seminar University of Wollongong Lashi
More informationGeometry and the Kato square root problem
Geometry and the Kato square root problem Lashi Bandara Centre for Mathematics and its Applications Australian National University 7 June 2013 Geometric Analysis Seminar University of Wollongong Lashi
More informationThe Kato square root problem on vector bundles with generalised bounded geometry
The Kato square root problem on vector bundles with generalised bounded geometry Lashi Bandara (Joint work with Alan McIntosh, ANU) Centre for Mathematics and its Applications Australian National University
More informationThe Kato square root problem on vector bundles with generalised bounded geometry
The Kato square root problem on vector bundles with generalised bounded geometry Lashi Bandara (Joint work with Alan McIntosh, ANU) Centre for Mathematics and its Applications Australian National University
More informationL coefficient operators and non-smooth Riemannian metrics
L coefficient operators and non-smooth Riemannian metrics Lashi Bandara Centre for Mathematics and its Applications Australian National University 17 October 2012 Geometric Analysis Seminar Stanford University
More informationRough metrics, the Kato square root problem, and the continuity of a flow tangent to the Ricci flow
Rough metrics, the Kato square root problem, and the continuity of a flow tangent to the Ricci flow Lashi Bandara Mathematical Sciences Chalmers University of Technology and University of Gothenburg 22
More informationSquare roots of perturbed sub-elliptic operators on Lie groups
Square roots of perturbed sub-elliptic operators on Lie groups Lashi Bandara (Joint work with Tom ter Elst, Auckland and Alan McIntosh, ANU) Centre for Mathematics and its Applications Australian National
More informationSquare roots of operators associated with perturbed sub-laplacians on Lie groups
Square roots of operators associated with perturbed sub-laplacians on Lie groups Lashi Bandara maths.anu.edu.au/~bandara (Joint work with Tom ter Elst, Auckland and Alan McIntosh, ANU) Mathematical Sciences
More informationQuadratic estimates and perturbations of Dirac type operators on doubling measure metric spaces
Quadratic estimates and perturbations of Dirac type operators on doubling measure metric spaces Lashi Bandara maths.anu.edu.au/~bandara Mathematical Sciences Institute Australian National University February
More informationCONTINUITY OF SOLUTIONS TO SPACE-VARYING POINTWISE LINEAR ELLIPTIC EQUATIONS. Lashi Bandara
Publ. Mat. 61 (2017), 239 258 DOI: 10.5565/PUBLMAT 61117 09 CONTINUITY OF SOLUTIONS TO SPACE-VARYING POINTWISE LINEAR ELLIPTIC EQUATIONS Lashi Bandara Abstract: We consider pointwise linear elliptic equations
More informationLocal Hardy Spaces and Quadratic Estimates for Dirac Type Operators on Riemannian Manifolds
Local Hardy Spaces and Quadratic Estimates for Dirac Type Operators on Riemannian Manifolds Andrew J. Morris June 2010 A thesis submitted for the degree of Doctor of Philosophy. of The Australian National
More information1. Geometry of the unit tangent bundle
1 1. Geometry of the unit tangent bundle The main reference for this section is [8]. In the following, we consider (M, g) an n-dimensional smooth manifold endowed with a Riemannian metric g. 1.1. Notations
More informationDifferential Geometry MTG 6257 Spring 2018 Problem Set 4 Due-date: Wednesday, 4/25/18
Differential Geometry MTG 6257 Spring 2018 Problem Set 4 Due-date: Wednesday, 4/25/18 Required problems (to be handed in): 2bc, 3, 5c, 5d(i). In doing any of these problems, you may assume the results
More informationarxiv: v1 [math.dg] 31 Dec 2018
FUNCTIONAL CALCULUS AND HARMONIC ANALYSIS IN GEOMETRY LASHI BANDARA arxiv:1812.11795v1 [math.dg] 31 Dec 218 Abstract. In this short survey article, we showcase a number of non-trivial geometric problems
More informationLecture 4: Harmonic forms
Lecture 4: Harmonic forms Jonathan Evans 29th September 2010 Jonathan Evans () Lecture 4: Harmonic forms 29th September 2010 1 / 15 Jonathan Evans () Lecture 4: Harmonic forms 29th September 2010 2 / 15
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 informationarxiv: v2 [math.dg] 5 Apr 2017
GEOETRIC SINGULARITIES AND A FLOW TANGENT TO THE RICCI FLOW LASHI BANDARA, SAJJAD LAKZIAN, AND ICHAEL UNN arxiv:1505.05035v2 [math.dg] 5 Apr 2017 Abstract. We consider a geometric flow introduced by Gigli
More informationOrientation transport
Orientation transport Liviu I. Nicolaescu Dept. of Mathematics University of Notre Dame Notre Dame, IN 46556-4618 nicolaescu.1@nd.edu June 2004 1 S 1 -bundles over 3-manifolds: homological properties Let
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 informationExercises in Geometry II University of Bonn, Summer semester 2015 Professor: Prof. Christian Blohmann Assistant: Saskia Voss Sheet 1
Assistant: Saskia Voss Sheet 1 1. Conformal change of Riemannian metrics [3 points] Let (M, g) be a Riemannian manifold. A conformal change is a nonnegative function λ : M (0, ). Such a function defines
More informationInequalities of Babuška-Aziz and Friedrichs-Velte for differential forms
Inequalities of Babuška-Aziz and Friedrichs-Velte for differential forms Martin Costabel Abstract. For sufficiently smooth bounded plane domains, the equivalence between the inequalities of Babuška Aziz
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 informationBERGMAN KERNEL ON COMPACT KÄHLER MANIFOLDS
BERGMAN KERNEL ON COMPACT KÄHLER MANIFOLDS SHOO SETO Abstract. These are the notes to an expository talk I plan to give at MGSC on Kähler Geometry aimed for beginning graduate students in hopes to motivate
More informationRiemannian Curvature Functionals: Lecture III
Riemannian Curvature Functionals: Lecture III Jeff Viaclovsky Park City Mathematics Institute July 18, 2013 Lecture Outline Today we will discuss the following: Complete the local description of the moduli
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 informationOpen Questions in Quantum Information Geometry
Open Questions in Quantum Information Geometry M. R. Grasselli Department of Mathematics and Statistics McMaster University Imperial College, June 15, 2005 1. Classical Parametric Information Geometry
More informationLet F be a foliation of dimension p and codimension q on a smooth manifold of dimension n.
Trends in Mathematics Information Center for Mathematical Sciences Volume 5, Number 2,December 2002, Pages 59 64 VARIATIONAL PROPERTIES OF HARMONIC RIEMANNIAN FOLIATIONS KYOUNG HEE HAN AND HOBUM KIM Abstract.
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 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 informationThe Cheeger-Müller theorem and generalizations
Presentation Universidade Federal de São Carlos - UFSCar February 21, 2013 This work was partially supported by Grant FAPESP 2008/57607-6. FSU Topology Week Presentation 1 Reidemeister Torsion 2 3 4 Generalizations
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 informationNormally hyperbolic operators & Low Regularity
Roland Steinbauer Faculty of Mathematics University of Vienna Summerschool Generalised Functions in PDE, Geometry, Stochastics and Microlocal Analysis Novi Sad, Serbia, September 2010 1 / 20 1 Non-smooth
More informationSpacelike surfaces with positive definite second fundamental form in 3-dimensional Lorentzian manifolds
Spacelike surfaces with positive definite second fundamental form in 3-dimensional Lorentzian manifolds Alfonso Romero Departamento de Geometría y Topología Universidad de Granada 18071-Granada Web: http://www.ugr.es/
More informationWELL-POSEDNESS OF THE LAPLACIAN ON MANIFOLDS WITH BOUNDARY AND BOUNDED GEOMETRY
WELL-POSEDNESS OF THE LAPLACIAN ON MANIFOLDS WITH BOUNDARY AND BOUNDED GEOMETRY BERND AMMANN, NADINE GROSSE, AND VICTOR NISTOR Abstract. Let M be a Riemannian manifold with a smooth boundary. The main
More informationOLIVIA MILOJ March 27, 2006 ON THE PENROSE INEQUALITY
OLIVIA MILOJ March 27, 2006 ON THE PENROSE INEQUALITY Abstract Penrose presented back in 1973 an argument that any part of the spacetime which contains black holes with event horizons of area A has total
More informationGeometric and Spectral Properties of Hypoelliptic Operators
Geometric and Spectral Properties of Hypoelliptic Operators aster Thesis Stine. Berge ay 5, 017 i ii Acknowledgements First of all I want to thank my three supervisors; Erlend Grong, Alexander Vasil ev
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 informationLECTURE 10: THE PARALLEL TRANSPORT
LECTURE 10: THE PARALLEL TRANSPORT 1. The parallel transport We shall start with the geometric meaning of linear connections. Suppose M is a smooth manifold with a linear connection. Let γ : [a, b] M be
More informationL 2 Geometry of the Symplectomorphism Group
University of Notre Dame Workshop on Innite Dimensional Geometry, Vienna 2015 Outline 1 The Exponential Map on D s ω(m) 2 Existence of Multiplicity of Outline 1 The Exponential Map on D s ω(m) 2 Existence
More informationTitle: Localized self-adjointness of Schrödinger-type operators on Riemannian manifolds. Proposed running head: Schrödinger-type operators on
Title: Localized self-adjointness of Schrödinger-type operators on Riemannian manifolds. Proposed running head: Schrödinger-type operators on manifolds. Author: Ognjen Milatovic Department Address: Department
More informationBIHARMONIC WAVE MAPS INTO SPHERES
BIHARMONIC WAVE MAPS INTO SPHERES SEBASTIAN HERR, TOBIAS LAMM, AND ROLAND SCHNAUBELT Abstract. A global weak solution of the biharmonic wave map equation in the energy space for spherical targets is constructed.
More informationThe Dirichlet-to-Neumann operator
Lecture 8 The Dirichlet-to-Neumann operator The Dirichlet-to-Neumann operator plays an important role in the theory of inverse problems. In fact, from measurements of electrical currents at the surface
More informationUniversität Regensburg Mathematik
Universität Regensburg Mathematik Harmonic spinors and local deformations of the metric Bernd Ammann, Mattias Dahl, and Emmanuel Humbert Preprint Nr. 03/2010 HARMONIC SPINORS AND LOCAL DEFORMATIONS OF
More information1 First and second variational formulas for area
1 First and second variational formulas for area In this chapter, we will derive the first and second variational formulas for the area of a submanifold. This will be useful in our later discussion on
More informationHeat Kernel and Analysis on Manifolds Excerpt with Exercises. Alexander Grigor yan
Heat Kernel and Analysis on Manifolds Excerpt with Exercises Alexander Grigor yan Department of Mathematics, University of Bielefeld, 33501 Bielefeld, Germany 2000 Mathematics Subject Classification. Primary
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 informationA REMARK ON AN EQUATION OF WAVE MAPS TYPE WITH VARIABLE COEFFICIENTS
A REMARK ON AN EQUATION OF WAVE MAPS TYPE WITH VARIABLE COEFFICIENTS DAN-ANDREI GEBA Abstract. We obtain a sharp local well-posedness result for an equation of wave maps type with variable coefficients.
More informationCALCULUS ON MANIFOLDS. 1. Riemannian manifolds Recall that for any smooth manifold M, dim M = n, the union T M =
CALCULUS ON MANIFOLDS 1. Riemannian manifolds Recall that for any smooth manifold M, dim M = n, the union T M = a M T am, called the tangent bundle, is itself a smooth manifold, dim T M = 2n. Example 1.
More informationLocalizing solutions of the Einstein equations
Localizing solutions of the Einstein equations Richard Schoen UC, Irvine and Stanford University - General Relativity: A Celebration of the 100th Anniversary, IHP - November 20, 2015 Plan of Lecture The
More informationA brief introduction to Semi-Riemannian geometry and general relativity. Hans Ringström
A brief introduction to Semi-Riemannian geometry and general relativity Hans Ringström May 5, 2015 2 Contents 1 Scalar product spaces 1 1.1 Scalar products...................................... 1 1.2 Orthonormal
More informationHARNACK INEQUALITY FOR NONDIVERGENT ELLIPTIC OPERATORS ON RIEMANNIAN MANIFOLDS. Seick Kim
HARNACK INEQUALITY FOR NONDIVERGENT ELLIPTIC OPERATORS ON RIEMANNIAN MANIFOLDS Seick Kim We consider second-order linear elliptic operators of nondivergence type which are intrinsically defined on Riemannian
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 Concise Course on Stochastic Partial Differential Equations
A Concise Course on Stochastic Partial Differential Equations Michael Röckner Reference: C. Prevot, M. Röckner: Springer LN in Math. 1905, Berlin (2007) And see the references therein for the original
More informationL19: Fredholm theory. where E u = u T X and J u = Formally, J-holomorphic curves are just 1
L19: Fredholm theory We want to understand how to make moduli spaces of J-holomorphic curves, and once we have them, how to make them smooth and compute their dimensions. Fix (X, ω, J) and, for definiteness,
More informationMotivation towards Clifford Analysis: The classical Cauchy s Integral Theorem from a Clifford perspective
Motivation towards Clifford Analysis: The classical Cauchy s Integral Theorem from a Clifford perspective Lashi Bandara November 26, 29 Abstract Clifford Algebras generalise complex variables algebraically
More informationL -uniqueness of Schrödinger operators on a Riemannian manifold
L -uniqueness of Schrödinger operators on a Riemannian manifold Ludovic Dan Lemle Abstract. The main purpose of this paper is to study L -uniqueness of Schrödinger operators and generalized Schrödinger
More informationHyperkähler geometry lecture 3
Hyperkähler geometry lecture 3 Misha Verbitsky Cohomology in Mathematics and Physics Euler Institute, September 25, 2013, St. Petersburg 1 Broom Bridge Here as he walked by on the 16th of October 1843
More informationStochastic calculus of variations on the diffeomorphisms group
Title Stochastic calculus of variations on the diffeomorphisms group Warwick, April 2012 Ana Bela Cruzeiro Dep. Mathematics IST (TUL) Grupo de Física-Matemática Univ. Lisboa ( ) 1 / 19 The diffeomorphisms
More informationInvariant Nonholonomic Riemannian Structures on Three-Dimensional Lie Groups
Invariant Nonholonomic Riemannian Structures on Three-Dimensional Lie Groups Dennis I. Barrett Geometry, Graphs and Control (GGC) Research Group Department of Mathematics, Rhodes University Grahamstown,
More informationOn the Convergence of a Modified Kähler-Ricci Flow. 1 Introduction. Yuan Yuan
On the Convergence of a Modified Kähler-Ricci Flow Yuan Yuan Abstract We study the convergence of a modified Kähler-Ricci flow defined by Zhou Zhang. We show that the modified Kähler-Ricci flow converges
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 informationSectorial Forms and m-sectorial Operators
Technische Universität Berlin SEMINARARBEIT ZUM FACH FUNKTIONALANALYSIS Sectorial Forms and m-sectorial Operators Misagheh Khanalizadeh, Berlin, den 21.10.2013 Contents 1 Bounded Coercive Sesquilinear
More informationExercise 1 (Formula for connection 1-forms) Using the first structure equation, show that
1 Stokes s Theorem Let D R 2 be a connected compact smooth domain, so that D is a smooth embedded circle. Given a smooth function f : D R, define fdx dy fdxdy, D where the left-hand side is the integral
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 informationRiemannian geometry of surfaces
Riemannian geometry of surfaces In this note, we will learn how to make sense of the concepts of differential geometry on a surface M, which is not necessarily situated in R 3. This intrinsic approach
More informationLECTURE 9: MOVING FRAMES IN THE NONHOMOGENOUS CASE: FRAME BUNDLES. 1. Introduction
LECTURE 9: MOVING FRAMES IN THE NONHOMOGENOUS CASE: FRAME BUNDLES 1. Introduction Until now we have been considering homogenous spaces G/H where G is a Lie group and H is a closed subgroup. The natural
More informationSurvey of Taubes P SL(2, C) connections on 3-manifolds with L 2 bounds on curvature
Survey of Taubes P SL(2, C) connections on 3-manifolds with L 2 bounds on curvature Laura Fredrickson January 8, 2015 Taubes paper P SL(2, C) connections on 3-manifolds is the first paper in a series 1
More informationSection 2. Basic formulas and identities in Riemannian geometry
Section 2. Basic formulas and identities in Riemannian geometry Weimin Sheng and 1. Bianchi identities The first and second Bianchi identities are R ijkl + R iklj + R iljk = 0 R ijkl,m + R ijlm,k + R ijmk,l
More informationMATH 263: PROBLEM SET 1: BUNDLES, SHEAVES AND HODGE THEORY
MATH 263: PROBLEM SET 1: BUNDLES, SHEAVES AND HODGE THEORY 0.1. Vector Bundles and Connection 1-forms. Let E X be a complex vector bundle of rank r over a smooth manifold. Recall the following abstract
More informationThe spectral action for Dirac operators with torsion
The spectral action for Dirac operators with torsion Christoph A. Stephan joint work with Florian Hanisch & Frank Pfäffle Institut für athematik Universität Potsdam Tours, ai 2011 1 Torsion Geometry, Einstein-Cartan-Theory
More informationHodge de Rham decomposition for an L 2 space of differfential 2-forms on path spaces
Hodge de Rham decomposition for an L 2 space of differfential 2-forms on path spaces K. D. Elworthy and Xue-Mei Li For a compact Riemannian manifold the space L 2 A of L 2 differential forms decomposes
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 informationElements of differential geometry
Elements of differential geometry R.Beig (Univ. Vienna) ESI-EMS-IAMP School on Mathematical GR, 28.7. - 1.8. 2014 1. tensor algebra 2. manifolds, vector and covector fields 3. actions under diffeos and
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 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 informationNumerical Solutions to Partial Differential Equations
Numerical Solutions to Partial Differential Equations Zhiping Li LMAM and School of Mathematical Sciences Peking University Sobolev Embedding Theorems Embedding Operators and the Sobolev Embedding Theorem
More informationRIEMANNIAN GEOMETRY COMPACT METRIC SPACES. Jean BELLISSARD 1. Collaboration:
RIEMANNIAN GEOMETRY of COMPACT METRIC SPACES Jean BELLISSARD 1 Georgia Institute of Technology, Atlanta School of Mathematics & School of Physics Collaboration: I. PALMER (Georgia Tech, Atlanta) 1 e-mail:
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 informationThe Hopf argument. Yves Coudene. IRMAR, Université Rennes 1, campus beaulieu, bat Rennes cedex, France
The Hopf argument Yves Coudene IRMAR, Université Rennes, campus beaulieu, bat.23 35042 Rennes cedex, France yves.coudene@univ-rennes.fr slightly updated from the published version in Journal of Modern
More informationThe spectral zeta function
The spectral zeta function Bernd Ammann June 4, 215 Abstract In this talk we introduce spectral zeta functions. The spectral zeta function of the Laplace-Beltrami operator was already introduced by Minakshisundaram
More informationA Remark on the Regularity of Solutions of Maxwell s Equations on Lipschitz Domains
A Remark on the Regularity of Solutions of Maxwell s Equations on Lipschitz Domains Martin Costabel Abstract Let u be a vector field on a bounded Lipschitz domain in R 3, and let u together with its divergence
More informationRICCI SOLITONS ON COMPACT KAHLER SURFACES. Thomas Ivey
RICCI SOLITONS ON COMPACT KAHLER SURFACES Thomas Ivey Abstract. We classify the Kähler metrics on compact manifolds of complex dimension two that are solitons for the constant-volume Ricci flow, assuming
More informationTopic: First Chern classes of Kähler manifolds Mitchell Faulk Last updated: April 23, 2016
Topic: First Chern classes of Kähler manifolds itchell Faulk Last updated: April 23, 2016 We study the first Chern class of various Kähler manifolds. We only consider two sources of examples: Riemann surfaces
More informationA Remark on -harmonic Functions on Riemannian Manifolds
Electronic Journal of ifferential Equations Vol. 1995(1995), No. 07, pp. 1-10. Published June 15, 1995. ISSN 1072-6691. URL: http://ejde.math.swt.edu or http://ejde.math.unt.edu ftp (login: ftp) 147.26.103.110
More informationWEIGHTED NORM INEQUALITIES, OFF-DIAGONAL ESTIMATES AND ELLIPTIC OPERATORS PASCAL AUSCHER AND JOSÉ MARÍA MARTELL
Proceedings of the 8th International Conference on Harmonic Analysis and Partial Differential Equations, El Escorial, June 16-2, 28 Contemporary Mathematics 55 21), 61--83 WEIGHTED NORM INEQUALITIES, OFF-DIAGONAL
More informationTHE HODGE DECOMPOSITION
THE HODGE DECOMPOSITION KELLER VANDEBOGERT 1. The Musical Isomorphisms and induced metrics Given a smooth Riemannian manifold (X, g), T X will denote the tangent bundle; T X the cotangent bundle. The additional
More informationLogarithmic Sobolev Inequalities
Logarithmic Sobolev Inequalities M. Ledoux Institut de Mathématiques de Toulouse, France logarithmic Sobolev inequalities what they are, some history analytic, geometric, optimal transportation proofs
More informationOrigin, Development, and Dissemination of Differential Geometry in Mathema
Origin, Development, and Dissemination of Differential Geometry in Mathematical History The Borough of Manhattan Community College -The City University of New York Fall 2016 Meeting of the Americas Section
More informationInvariant Nonholonomic Riemannian Structures on Three-Dimensional Lie Groups
Invariant Nonholonomic Riemannian Structures on Three-Dimensional Lie Groups Dennis I. Barrett Geometry, Graphs and Control (GGC) Research Group Department of Mathematics (Pure and Applied) Rhodes University,
More informationAn observation concerning uniquely ergodic vector fields on 3-manifolds. Clifford Henry Taubes
/24/08 An observation concerning uniquely ergodic vector fields on 3-manifolds Clifford Henry Taubes Department of athematics Harvard University Cambridge, A 0238 Supported in part by the National Science
More informationHyperbolic Geometric Flow
Hyperbolic Geometric Flow Kefeng Liu Zhejiang University UCLA Page 1 of 41 Outline Introduction Hyperbolic geometric flow Local existence and nonlinear stability Wave character of metrics and curvatures
More informationMetrics and Holonomy
Metrics and Holonomy Jonathan Herman The goal of this paper is to understand the following definitions of Kähler and Calabi-Yau manifolds: Definition. A Riemannian manifold is Kähler if and only if it
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 informationMinimal timelike surfaces in a certain homogeneous Lorentzian 3-manifold II
Minimal timelike surfaces in a certain homogeneous Lorentzian 3-manifold II Sungwook Lee Abstract The 2-parameter family of certain homogeneous Lorentzian 3-manifolds which includes Minkowski 3-space and
More informationIsometries of Riemannian and sub-riemannian structures on 3D Lie groups
Isometries of Riemannian and sub-riemannian structures on 3D Lie groups Rory Biggs Geometry, Graphs and Control (GGC) Research Group Department of Mathematics, Rhodes University, Grahamstown, South Africa
More informationON MATRIX VALUED SQUARE INTEGRABLE POSITIVE DEFINITE FUNCTIONS
1 2 3 ON MATRIX VALUED SQUARE INTERABLE POSITIVE DEFINITE FUNCTIONS HONYU HE Abstract. In this paper, we study matrix valued positive definite functions on a unimodular group. We generalize two important
More informationHeat kernels of some Schrödinger operators
Heat kernels of some Schrödinger operators Alexander Grigor yan Tsinghua University 28 September 2016 Consider an elliptic Schrödinger operator H = Δ + Φ, where Δ = n 2 i=1 is the Laplace operator in R
More informationHopf-Rinow and Hadamard Theorems
Summersemester 2015 University of Heidelberg Riemannian geometry seminar Hopf-Rinow and Hadamard Theorems by Sven Grützmacher supervised by: Dr. Gye-Seon Lee Prof. Dr. Anna Wienhard Contents Introduction..........................................
More informationComplex manifolds, Kahler metrics, differential and harmonic forms
Complex manifolds, Kahler metrics, differential and harmonic forms Cattani June 16, 2010 1 Lecture 1 Definition 1.1 (Complex Manifold). A complex manifold is a manifold with coordinates holomorphic on
More informationA NOTE ON FISCHER-MARSDEN S CONJECTURE
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 125, Number 3, March 1997, Pages 901 905 S 0002-9939(97)03635-6 A NOTE ON FISCHER-MARSDEN S CONJECTURE YING SHEN (Communicated by Peter Li) Abstract.
More information