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 University August 13, 2012 POSTI/Mprime Seminar University of Calgary Lashi Bandara (ANU) Square roots of operators on Lie groups August 13, 2012 1 / 28 Lie groups Let G be a Lie group of dimension n and g is Lie algebra. Lashi Bandara (ANU) Square roots of operators on Lie groups August 13, 2012 2 / 28 Lie groups Let G be a Lie group of dimension n and g is Lie algebra. We let dµ denote the left invariant Haar measure. Lashi Bandara (ANU) Square roots of operators on Lie groups August 13, 2012 2 / 28 Algebraic basis and vectorfields A set {a1 , . . . , ak } ⊂ g is an algebraic basis if we can recover a basis for g by multi-commutation. Lashi Bandara (ANU) Square roots of operators on Lie groups August 13, 2012 3 / 28 Algebraic basis and vectorfields A set {a1 , . . . , ak } ⊂ g is an algebraic basis if we can recover a basis for g by multi-commutation. We assume that the {ai } are linearly independent. Lashi Bandara (ANU) Square roots of operators on Lie groups August 13, 2012 3 / 28 Algebraic basis and vectorfields A set {a1 , . . . , ak } ⊂ g is an algebraic basis if we can recover a basis for g by multi-commutation. We assume that the {ai } are linearly independent. Let Ai denote the left translation of ai . Lashi Bandara (ANU) Square roots of operators on Lie groups August 13, 2012 3 / 28 Algebraic basis and vectorfields A set {a1 , . . . , ak } ⊂ g is an algebraic basis if we can recover a basis for g by multi-commutation. We assume that the {ai } are linearly independent. Let Ai denote the left translation of ai . The vectorfields {Ai } are linearly independent and global. Lashi Bandara (ANU) Square roots of operators on Lie groups August 13, 2012 3 / 28 Distance Theorem of Carathéodory-Chow tells us that for any two points x, y ∈ G, we can find a curve γ : [0, 1] → G such that X γ̇(t) = γ̇ i (t)Ai (γ(t)) ∈ span {Ai (γ(t))} . i Lashi Bandara (ANU) Square roots of operators on Lie groups August 13, 2012 4 / 28 Distance Theorem of Carathéodory-Chow tells us that for any two points x, y ∈ G, we can find a curve γ : [0, 1] → G such that X γ̇(t) = γ̇ i (t)Ai (γ(t)) ∈ span {Ai (γ(t))} . i The length of such a curve then is given by ˆ 1 X i 2 1 γ̇ (t) ) 2 dt `(γ) = ( 0 Lashi Bandara (ANU) i Square roots of operators on Lie groups August 13, 2012 4 / 28 Distance Theorem of Carathéodory-Chow tells us that for any two points x, y ∈ G, we can find a curve γ : [0, 1] → G such that X γ̇(t) = γ̇ i (t)Ai (γ(t)) ∈ span {Ai (γ(t))} . i The length of such a curve then is given by ˆ 1 X i 2 1 γ̇ (t) ) 2 dt `(γ) = ( 0 i Define distance d(x, y) as the infimum over the length of all such curves. Lashi Bandara (ANU) Square roots of operators on Lie groups August 13, 2012 4 / 28 Distance Theorem of Carathéodory-Chow tells us that for any two points x, y ∈ G, we can find a curve γ : [0, 1] → G such that X γ̇(t) = γ̇ i (t)Ai (γ(t)) ∈ span {Ai (γ(t))} . i The length of such a curve then is given by ˆ 1 X i 2 1 γ̇ (t) ) 2 dt `(γ) = ( 0 i Define distance d(x, y) as the infimum over the length of all such curves. The measure dµ is Borel-regular with respect to d and we consider (G, d, dµ) as a measure metric space. Lashi Bandara (ANU) Square roots of operators on Lie groups August 13, 2012 4 / 28 Sub-Laplacian Define an associated sub-Laplacian by: X ∆=− A2i . i Lashi Bandara (ANU) Square roots of operators on Lie groups August 13, 2012 5 / 28 Sub-Laplacian Define an associated sub-Laplacian by: X ∆=− A2i . i This is a densely-defined, self-adjoint operator on L2 (G). Lashi Bandara (ANU) Square roots of operators on Lie groups August 13, 2012 5 / 28 We say that a Lie group is nilpotent if g1 = [g, g], g2 = [g, g1 ], g3 = [g1 , g2 ], . . . is eventually 0. That is, there is a k such that gk = 0. Lashi Bandara (ANU) Square roots of operators on Lie groups August 13, 2012 6 / 28 We say that a Lie group is nilpotent if g1 = [g, g], g2 = [g, g1 ], g3 = [g1 , g2 ], . . . is eventually 0. That is, there is a k such that gk = 0. On such spaces, we consider the uniformly elliptic second order operator X Ai bij Aj DH = −b i,j where b, bij ∈ L∞ (G). Lashi Bandara (ANU) Square roots of operators on Lie groups August 13, 2012 6 / 28 The main theorem for nilpotent Lie groups Theorem (B.-E.-Mc) Let G be a connected nilpotent and suppose there exist κ1 , κ2 > 0 such that ˆ X X Re b(x) ≥ κ1 and Re bij Ai uAj u ≥ κ2 kAi uk2 G i,j i for almost all x ∈ G and u ∈ H1 (G). Then, √ D(Ai ) = H1 (G), and (i) D( DH ) = ∩m √ Pi=1 m (ii) k DH uk ' i=1 kAi uk for all u ∈ H1 (G). Lashi Bandara (ANU) Square roots of operators on Lie groups August 13, 2012 7 / 28 Stability Theorem (B.-E.-Mc) Let 0 < ηi < κi and suppose that b̃, b̃ij ∈ L∞ (G) such that kb̃k∞ ≤ η1 and k(b̃ij )k∞ ≤ η2 . Then, q k X p k DH u − D̃H uk . (kb̃k∞ + k(b̃ij )k∞ ) kAi uk, i=1 for u ∈ H1 (G) and where D̃H = (b + b̃) k X Ai (bij + b̃ij )Aj . i,j=1 Lashi Bandara (ANU) Square roots of operators on Lie groups August 13, 2012 8 / 28 Operator theory Procedure in [AKMc]. Lashi Bandara (ANU) Square roots of operators on Lie groups August 13, 2012 9 / 28 Operator theory Procedure in [AKMc]. Let H be a Hilbert space. Lashi Bandara (ANU) Square roots of operators on Lie groups August 13, 2012 9 / 28 Operator theory Procedure in [AKMc]. Let H be a Hilbert space. (H1) The operator Γ : D(Γ) ⊂ H → H is closed, densely-defined and nilpotent (Γ2 = 0). Lashi Bandara (ANU) Square roots of operators on Lie groups August 13, 2012 9 / 28 Operator theory Procedure in [AKMc]. Let H be a Hilbert space. (H1) The operator Γ : D(Γ) ⊂ H → H is closed, densely-defined and nilpotent (Γ2 = 0). (H2) The operators B1 , B2 ∈ L(H ) satisfy Re hB1 u, ui ≥ κ1 kuk whenever u ∈ R(Γ∗ ) Re hB2 u, ui ≥ κ2 kuk whenever u ∈ R(Γ) where κ1 , κ2 > 0 are constants. Lashi Bandara (ANU) Square roots of operators on Lie groups August 13, 2012 9 / 28 Operator theory Procedure in [AKMc]. Let H be a Hilbert space. (H1) The operator Γ : D(Γ) ⊂ H → H is closed, densely-defined and nilpotent (Γ2 = 0). (H2) The operators B1 , B2 ∈ L(H ) satisfy Re hB1 u, ui ≥ κ1 kuk whenever u ∈ R(Γ∗ ) Re hB2 u, ui ≥ κ2 kuk whenever u ∈ R(Γ) where κ1 , κ2 > 0 are constants. (H3) The operators B1 , B2 satisfy B1 B2 (R(Γ)) ⊂ N (Γ) and B2 B1 (R(Γ∗ )) ⊂ N (Γ∗ ). Lashi Bandara (ANU) Square roots of operators on Lie groups August 13, 2012 9 / 28 Operator theory Procedure in [AKMc]. Let H be a Hilbert space. (H1) The operator Γ : D(Γ) ⊂ H → H is closed, densely-defined and nilpotent (Γ2 = 0). (H2) The operators B1 , B2 ∈ L(H ) satisfy Re hB1 u, ui ≥ κ1 kuk whenever u ∈ R(Γ∗ ) Re hB2 u, ui ≥ κ2 kuk whenever u ∈ R(Γ) where κ1 , κ2 > 0 are constants. (H3) The operators B1 , B2 satisfy B1 B2 (R(Γ)) ⊂ N (Γ) and B2 B1 (R(Γ∗ )) ⊂ N (Γ∗ ). Let Γ∗B = B1 Γ∗ B2 , ΠB = Γ + Γ∗B , and Π = Γ + Γ∗ . Lashi Bandara (ANU) Square roots of operators on Lie groups August 13, 2012 9 / 28 Harmonic analysis and Kato square root type estimates Theorem (Kato square root type estimate) Suppose that (Γ, B1 , B2 ) satisfy (H1)-(H3) and ˆ ∞ dt ' kuk2 ktΠB (1 + t2 Π2B )−1 uk2 t 0 for all u ∈ R(ΠB ) ⊂ H . Then, + − (i) There is a spectral decomposition H = N (ΠB ) ⊕ EB ⊕ EB , where ± EB are spectral subspaces and the sum is in general non-orthogonal, and q (ii) D(Γ) ∩ D(Γ∗B ) = D(ΠB ) = D( Π2B ) with q kΓuk + kΓB uk ' kΠB uk ' k Π2B uk for all u ∈ D(ΠB ). Lashi Bandara (ANU) Square roots of operators on Lie groups August 13, 2012 10 / 28 Homogeneous conditions Lashi Bandara (ANU) Square roots of operators on Lie groups August 13, 2012 11 / 28 Homogeneous conditions (H4) Let X be a complete, connected metric space and µ a Borel-regular measure on X that is doubling. Then set H = L2 (X , CN ; dµ). Lashi Bandara (ANU) Square roots of operators on Lie groups August 13, 2012 11 / 28 Homogeneous conditions (H4) Let X be a complete, connected metric space and µ a Borel-regular measure on X that is doubling. Then set H = L2 (X , CN ; dµ). (H5) The operators Bi are matrix-valued pointwise multiplication operators such that the function x 7→ Bi (x) are L∞ (X , L(CN )). Lashi Bandara (ANU) Square roots of operators on Lie groups August 13, 2012 11 / 28 Homogeneous conditions (H4) Let X be a complete, connected metric space and µ a Borel-regular measure on X that is doubling. Then set H = L2 (X , CN ; dµ). (H5) The operators Bi are matrix-valued pointwise multiplication operators such that the function x 7→ Bi (x) are L∞ (X , L(CN )). (H6) For every bounded Lipschitz function ξ : X → C, multiplication by ξ preserves D(Γ) and Mξ = [Γ, ξI] is a multiplication operator. Furthermore, there exists a constant m > 0 such that |Mξ (x)| ≤ m |Lip ξ(x)| for almost all x ∈ X . Lashi Bandara (ANU) Square roots of operators on Lie groups August 13, 2012 11 / 28 Homogeneous conditions (H4) Let X be a complete, connected metric space and µ a Borel-regular measure on X that is doubling. Then set H = L2 (X , CN ; dµ). (H5) The operators Bi are matrix-valued pointwise multiplication operators such that the function x 7→ Bi (x) are L∞ (X , L(CN )). (H6) For every bounded Lipschitz function ξ : X → C, multiplication by ξ preserves D(Γ) and Mξ = [Γ, ξI] is a multiplication operator. Furthermore, there exists a constant m > 0 such that |Mξ (x)| ≤ m |Lip ξ(x)| for almost all x ∈ X . (H7) For each open ball B, we have ˆ Γu dµ = 0 and B ˆ Γ∗ v dµ = 0 B for all u ∈ D(Γ) with spt u ⊂ B and for all v ∈ D(Γ∗ ) with spt v ⊂ B. Lashi Bandara (ANU) Square roots of operators on Lie groups August 13, 2012 11 / 28 (H8) -1 (Poincaré hypothesis) There exists C 0 > 0, c > 0 and an operator Ξ : D(Ξ) ⊂ L2 (X , CN ) → L2 (X , CM ) such that D(Π) ∩ R(Π) ⊂ D(Ξ) and ˆ ˆ 2 2 |u − uB | dµ ≤ C 0 r2 |Ξu| dµ B B for all balls B = B(x, r) and u ∈ D(Π) ∩ R(Π). Lashi Bandara (ANU) Square roots of operators on Lie groups August 13, 2012 12 / 28 (H8) -1 (Poincaré hypothesis) There exists C 0 > 0, c > 0 and an operator Ξ : D(Ξ) ⊂ L2 (X , CN ) → L2 (X , CM ) such that D(Π) ∩ R(Π) ⊂ D(Ξ) and ˆ ˆ 2 2 |u − uB | dµ ≤ C 0 r2 |Ξu| dµ B B for all balls B = B(x, r) and u ∈ D(Π) ∩ R(Π). -2 (Coercivity hypothesis) There exists C̃ > 0 such that for all u ∈ D(Π) ∩ R(Π), kΞuk ≤ C̃kΠuk. Lashi Bandara (ANU) Square roots of operators on Lie groups August 13, 2012 12 / 28 (H8) -1 (Poincaré hypothesis) There exists C 0 > 0, c > 0 and an operator Ξ : D(Ξ) ⊂ L2 (X , CN ) → L2 (X , CM ) such that D(Π) ∩ R(Π) ⊂ D(Ξ) and ˆ ˆ 2 2 |u − uB | dµ ≤ C 0 r2 |Ξu| dµ B B for all balls B = B(x, r) and u ∈ D(Π) ∩ R(Π). -2 (Coercivity hypothesis) There exists C̃ > 0 such that for all u ∈ D(Π) ∩ R(Π), kΞuk ≤ C̃kΠuk. This is slightly different from (H8) in [Bandara]. Lashi Bandara (ANU) Square roots of operators on Lie groups August 13, 2012 12 / 28 Theorem (B.) Let X , (Γ, B1 , B2 ) satisfy (H1)-(H8). Then, ΠB satisfies the quadratic estimate ˆ ∞ dt ktΠB (1 + t2 Π2B )−1 uk2 ' kuk2 t 0 for all u ∈ R(ΠB ) ⊂ L2 (X , CN ). Lashi Bandara (ANU) Square roots of operators on Lie groups August 13, 2012 13 / 28 Geometric setup Lashi Bandara (ANU) Square roots of operators on Lie groups August 13, 2012 14 / 28 Geometric setup Define the bundle W = span {Ai } ⊂ TG and complexify it. Lashi Bandara (ANU) Square roots of operators on Lie groups August 13, 2012 14 / 28 Geometric setup Define the bundle W = span {Ai } ⊂ TG and complexify it. Equip W with the inner product h(Ai , Aj ) = δij . Lashi Bandara (ANU) Square roots of operators on Lie groups August 13, 2012 14 / 28 Geometric setup Define the bundle W = span {Ai } ⊂ TG and complexify it. Equip W with the inner product h(Ai , Aj ) = δij . Equip G with the sub-connection ∇f = Ak f Ak where Ak = Ak ∗ ∈ W ∗ . Lashi Bandara (ANU) Square roots of operators on Lie groups August 13, 2012 14 / 28 Geometric setup Define the bundle W = span {Ai } ⊂ TG and complexify it. Equip W with the inner product h(Ai , Aj ) = δij . Equip G with the sub-connection ∇f = Ak f Ak where Ak = Ak ∗ ∈ W ∗ . Equip W with the sub-connection ˜ i Ai ) = (∇ui ) ⊗ Ai ∇(u Lashi Bandara (ANU) Square roots of operators on Lie groups August 13, 2012 14 / 28 Geometric setup Define the bundle W = span {Ai } ⊂ TG and complexify it. Equip W with the inner product h(Ai , Aj ) = δij . Equip G with the sub-connection ∇f = Ak f Ak where Ak = Ak ∗ ∈ W ∗ . Equip W with the sub-connection ˜ i Ai ) = (∇ui ) ⊗ Ai ∇(u We have that W ∼ = Ck and L2 (G) ⊕ L2 (W) ∼ = L2 (Ck+1 ). Lashi Bandara (ANU) Square roots of operators on Lie groups August 13, 2012 14 / 28 Operator setup Define: Γ : D(Γ) ⊂ L2 (G) ⊕ L2 (W ∗ ) → L2 (G) ⊕ L2 (W ∗ ) by 0 0 Γ= . ∇ 0 Lashi Bandara (ANU) Square roots of operators on Lie groups August 13, 2012 15 / 28 Operator setup Define: Γ : D(Γ) ⊂ L2 (G) ⊕ L2 (W ∗ ) → L2 (G) ⊕ L2 (W ∗ ) by 0 0 Γ= . ∇ 0 Then, 0 − div Γ = 0 0 ∗ and Π = 0 − div , ∇ 0 where we define div = −∇ ∗ . Lashi Bandara (ANU) Square roots of operators on Lie groups August 13, 2012 15 / 28 Operator setup Define: Γ : D(Γ) ⊂ L2 (G) ⊕ L2 (W ∗ ) → L2 (G) ⊕ L2 (W ∗ ) by 0 0 Γ= . ∇ 0 Then, 0 − div Γ = 0 0 ∗ and Π = 0 − div , ∇ 0 where we define div = −∇ ∗ . Let B = (bij ). Then, define b 0 B1 = 0 0 Lashi Bandara (ANU) and B2 = 0 0 . 0 B Square roots of operators on Lie groups August 13, 2012 15 / 28 Proof of the homogeneous problem Set X = G and H = L2 (G) ⊕ L2 (W). Lashi Bandara (ANU) Square roots of operators on Lie groups August 13, 2012 16 / 28 Proof of the homogeneous problem Set X = G and H = L2 (G) ⊕ L2 (W). (H1) The sub-connection ∇ is densely-defined and closed and so is Γ. Nilpotency is by construction. Lashi Bandara (ANU) Square roots of operators on Lie groups August 13, 2012 16 / 28 Proof of the homogeneous problem Set X = G and H = L2 (G) ⊕ L2 (W). (H1) The sub-connection ∇ is densely-defined and closed and so is Γ. Nilpotency is by construction. (H2) By accretivity assumptions. Lashi Bandara (ANU) Square roots of operators on Lie groups August 13, 2012 16 / 28 Proof of the homogeneous problem Set X = G and H = L2 (G) ⊕ L2 (W). (H1) The sub-connection ∇ is densely-defined and closed and so is Γ. Nilpotency is by construction. (H2) By accretivity assumptions. (H3) By construction. Lashi Bandara (ANU) Square roots of operators on Lie groups August 13, 2012 16 / 28 Proof (cont.) Lashi Bandara (ANU) Square roots of operators on Lie groups August 13, 2012 17 / 28 Proof (cont.) (H4) The measure dµ is Borel-regular and the nilpotency of G implies that it is doubling. Lashi Bandara (ANU) Square roots of operators on Lie groups August 13, 2012 17 / 28 Proof (cont.) (H4) The measure dµ is Borel-regular and the nilpotency of G implies that it is doubling. (H5) By assumption. Lashi Bandara (ANU) Square roots of operators on Lie groups August 13, 2012 17 / 28 Proof (cont.) (H4) The measure dµ is Borel-regular and the nilpotency of G implies that it is doubling. (H5) By assumption. (H6) It is an easy fact that for all bounded Lipschitz ξ : G → C, |Mξ (x)| = |[Γ, ξ(x)I]| = |∇ξ(x)| ≤ k Lip ξ(x) for for almost all x ∈ G. Lashi Bandara (ANU) Square roots of operators on Lie groups August 13, 2012 17 / 28 Proof (cont.) (H4) The measure dµ is Borel-regular and the nilpotency of G implies that it is doubling. (H5) By assumption. (H6) It is an easy fact that for all bounded Lipschitz ξ : G → C, |Mξ (x)| = |[Γ, ξ(x)I]| = |∇ξ(x)| ≤ k Lip ξ(x) for for almost all x ∈ G. (H7) By the left invariance of the measure dµ. Lashi Bandara (ANU) Square roots of operators on Lie groups August 13, 2012 17 / 28 Proof (cont.) Lashi Bandara (ANU) Square roots of operators on Lie groups August 13, 2012 18 / 28 Proof (cont.) (H8) -1 The nilpotency of G implies the following Poincaré inequality ˆ ˆ 2 2 |f − fB | dµ . r2 |∇f | dµ B B ∞ for all balls B, and f ∈ C (B). See [SC, (P.1), p118]. Lashi Bandara (ANU) Square roots of operators on Lie groups August 13, 2012 18 / 28 Proof (cont.) (H8) -1 The nilpotency of G implies the following Poincaré inequality ˆ ˆ 2 2 |f − fB | dµ . r2 |∇f | dµ B B ∞ for all balls B, and f ∈ C (B). See [SC, (P.1), p118]. ˜ 2 ). Define Ξu = (∇u1 , ∇u Lashi Bandara (ANU) Square roots of operators on Lie groups August 13, 2012 18 / 28 Proof (cont.) (H8) -1 The nilpotency of G implies the following Poincaré inequality ˆ ˆ 2 2 |f − fB | dµ . r2 |∇f | dµ B B ∞ for all balls B, and f ∈ C (B). See [SC, (P.1), p118]. ˜ 2 ). Define Ξu = (∇u1 , ∇u -2 The crucial fact needed here is the regularity result [ERS, Lemma 4.2] which gives kAi Aj f k . k∆f k for f ∈ H2 (G) = D(∆). Lashi Bandara (ANU) Square roots of operators on Lie groups August 13, 2012 18 / 28 Inhomogeneous problem For general Lie groups, we need to consider operators with lower order terms. Lashi Bandara (ANU) Square roots of operators on Lie groups August 13, 2012 19 / 28 Inhomogeneous problem For general Lie groups, we need to consider operators with lower order terms. Let b, bij , ck , dk , e ∈ L∞ (G). Define the following uniformly elliptic second order operator DI = −b m X ij=1 Lashi Bandara (ANU) Ai bij Aj u − b m X Ai ci u − b i=1 Square roots of operators on Lie groups m X di Ai u − beu. i=1 August 13, 2012 19 / 28 Theorem (B.-E.-Mc) Let G be a connected Lie group and suppose there exists κ1 , κ2 > 0 such that Re b(x) ≥ κ1 , ! ˆ m m m X X X ci u + bij Aj u Ai u dµ Re eu + di Ai u u + G i=1 i=1 j=1 ≥ κ2 2 kuk + m X ! 2 kAi uk i=1 for almost all x ∈ G and u ∈ H1 (G). Then, √ 1 (i) D( DI ) = ∩m i=1 D(Ai ) = H (G), and √ Pm (ii) k DI uk ' kuk + i=1 kAi uk for all u ∈ H1 (G). Lashi Bandara (ANU) Square roots of operators on Lie groups August 13, 2012 20 / 28 Spaces of exponential growth (X , d, µ) an exponentially locally doubling measure metric space. That is: there exist κ, λ ≥ 0 and constant C ≥ 1 such that 0 < µ(B(x, tr)) ≤ Ctκ eλtr µ(B(x, r)) for all x ∈ X , r > 0 and t ≥ 1. Lashi Bandara (ANU) Square roots of operators on Lie groups August 13, 2012 21 / 28 Changes to (H7) and (H8) The following (H7) from [Morris]: (H7) There exist c > 0 such that for all open balls B ⊂ X with r ≤ 1, ˆ ˆ Γu dµ ≤ cµ(B) 21 kuk and Γ∗ v dµ ≤ cµ(B) 21 kvk B B for all u ∈ D(Γ), v ∈ D(Γ∗ ) with spt u, spt v ⊂ B. Lashi Bandara (ANU) Square roots of operators on Lie groups August 13, 2012 22 / 28 We introduce the following local (H8): (H8) -1 (Local Poincaré hypothesis) There exists C 0 > 0, c > 0 and an operator Ξ : D(Ξ) ⊂ L2 (X , CN ) → L2 (X , CM ) such that D(Π) ∩ R(Π) ⊂ D(Ξ) and ˆ ˆ 2 2 2 |u − uB | dµ ≤ C 0 r2 (|Ξu| + |u| ) dµ B B for all balls B = B(x, r) and for u ∈ D(Π) ∩ R(Π). -2 (Coercivity hypothesis) There exists C̃ > 0 such that for all u ∈ D(Π) ∩ R(Π), kΞuk + kuk ≤ C̃kΠuk. Lashi Bandara (ANU) Square roots of operators on Lie groups August 13, 2012 23 / 28 Theorem (Morris) Let X , (Γ, B1 , B2 ) satisfy (H1)-(H8). Then, ΠB satisfies the quadratic estimate ˆ ∞ dt ktΠB (1 + t2 Π2B )−1 uk2 ' kuk2 t 0 for all u ∈ R(ΠB ) ⊂ L2 (X , CN ). Lashi Bandara (ANU) Square roots of operators on Lie groups August 13, 2012 24 / 28 Setup Set X = G and H = L2 (G) ⊕ L2 (G) ⊕ L2 (W) ∼ = L2 (Ck+2 ). Lashi Bandara (ANU) Square roots of operators on Lie groups August 13, 2012 25 / 28 Setup Set X = G and H = L2 (G) ⊕ L2 (G) ⊕ L2 (W) ∼ = L2 (Ck+2 ). Let S = (I, ∇), S ∗ = [I − div]. Lashi Bandara (ANU) Square roots of operators on Lie groups August 13, 2012 25 / 28 Setup Set X = G and H = L2 (G) ⊕ L2 (G) ⊕ L2 (W) ∼ = L2 (Ck+2 ). Let S = (I, ∇), S ∗ = [I − div]. Let Γ= 0 0 0 S∗ 0 S∗ ∗ ∗ , Γ = , and Π = . S 0 0 0 S 0 Lashi Bandara (ANU) Square roots of operators on Lie groups August 13, 2012 25 / 28 Setup Set X = G and H = L2 (G) ⊕ L2 (G) ⊕ L2 (W) ∼ = L2 (Ck+2 ). Let S = (I, ∇), S ∗ = [I − div]. Let Γ= 0 0 0 S∗ 0 S∗ ∗ ∗ , Γ = , and Π = . S 0 0 0 S 0 Let B̃00 = e, B̃10 = (c1 , . . . , cm ), B̃01 = (d1 , . . . , dm )tr , B̃11 = (bij ), and B = (B̃ij ). Then, we can write B1 = Lashi Bandara (ANU) b 0 0 0 0 0 and B2 = . 0 B Square roots of operators on Lie groups August 13, 2012 25 / 28 Proof The proofs of (H1)-(H6) are similar to the homogeneous situation. (H7) The proof is the same as the homogeneous situation except the lower 1 order term introduces the term µ(B) 2 kuk on the right. Lashi Bandara (ANU) Square roots of operators on Lie groups August 13, 2012 26 / 28 Proof The proofs of (H1)-(H6) are similar to the homogeneous situation. (H7) The proof is the same as the homogeneous situation except the lower 1 order term introduces the term µ(B) 2 kuk on the right. (H8) -1 The existence of a local Poincaré inequality is guaranteed by [ER2, Proposition 2.4]: ˆ ˆ 2 |f − fB | dµ . r B 2 2 2 (|∇f | + |f | ) dµ B for all balls B = B(x, r) and where f ∈ C∞ (B). Lashi Bandara (ANU) Square roots of operators on Lie groups August 13, 2012 26 / 28 Proof The proofs of (H1)-(H6) are similar to the homogeneous situation. (H7) The proof is the same as the homogeneous situation except the lower 1 order term introduces the term µ(B) 2 kuk on the right. (H8) -1 The existence of a local Poincaré inequality is guaranteed by [ER2, Proposition 2.4]: ˆ ˆ 2 |f − fB | dµ . r B 2 2 2 (|∇f | + |f | ) dµ B for all balls B = B(x, r) and where f ∈ C∞ (B). ˜ 3 ). Define Ξu = (∇u1 , ∇u2 , ∇u Lashi Bandara (ANU) Square roots of operators on Lie groups August 13, 2012 26 / 28 Proof The proofs of (H1)-(H6) are similar to the homogeneous situation. (H7) The proof is the same as the homogeneous situation except the lower 1 order term introduces the term µ(B) 2 kuk on the right. (H8) -1 The existence of a local Poincaré inequality is guaranteed by [ER2, Proposition 2.4]: ˆ ˆ 2 |f − fB | dµ . r B 2 2 2 (|∇f | + |f | ) dµ B for all balls B = B(x, r) and where f ∈ C∞ (B). ˜ 3 ). Define Ξu = (∇u1 , ∇u2 , ∇u -2 The crucial fact needed here is the regularity result in [ER, Theorem 7.2], kAi Aj uk2 . k∆uk2 + kuk2 for u ∈ H2 (G) = D(∆). Lashi Bandara (ANU) Square roots of operators on Lie groups August 13, 2012 26 / 28 References I [AKMc] Andreas Axelsson, Stephen Keith, and Alan McIntosh, Quadratic estimates and functional calculi of perturbed Dirac operators, Invent. Math. 163 (2006), no. 3, 455–497. [Bandara] L. Bandara, Quadratic estimates for perturbed Dirac type operators on doubling measure metric spaces, ArXiv e-prints (2011). [Morris] Andrew Morris, Local hardy spaces and quadratic estimates for Dirac type operators on Riemannian manifolds, Ph.D. thesis, Australian National University, 2010. [SC] L. Saloff-Coste and D. W. Stroock, Opérateurs uniformément sous-elliptiques sur les groupes de Lie, J. Funct. Anal. 98 (1991), no. 1, 97–121. MR 1111195 (92k:58264) [ER] A. F. M. ter Elst and Derek W. Robinson, Subelliptic operators on Lie groups: regularity, J. Austral. Math. Soc. Ser. A 57 (1994), no. 2, 179–229. MR 1288673 (95e:22019) Lashi Bandara (ANU) Square roots of operators on Lie groups August 13, 2012 27 / 28 References II [ER2] A. F. M. Ter Elst and Derek W. Robinson, Second-order subelliptic operators on Lie groups. I. Complex uniformly continuous principal coefficients, Acta Appl. Math. 59 (1999), no. 3, 299–331. MR 1744755 (2001a:35043) [ERS] A. F. M. ter Elst, Derek W. Robinson, and Adam Sikora, Heat kernels and Riesz transforms on nilpotent Lie groups, Colloq. Math. 74 (1997), no. 2, 191–218. MR 1477562 (99a:35029) Lashi Bandara (ANU) Square roots of operators on Lie groups August 13, 2012 28 / 28
© Copyright 2024 Paperzz