Showing 1–19 of 19 results for author: Bandara, L

Geometric singularities and Hodge theory

Authors: Lashi Bandara, Georges Habib

Abstract: We consider smooth vector bundles over smooth manifolds equipped with non-smooth geometric data. For nilpotent differential operators acting on these bundles, we show that the kernels of induced Hodge-Dirac-type operators remain isomorphic under uniform perturbations of the geometric data. We consider applications of this to the Hodge-Dirac operator on differential forms induced by so-called rough… ▽ More We consider smooth vector bundles over smooth manifolds equipped with non-smooth geometric data. For nilpotent differential operators acting on these bundles, we show that the kernels of induced Hodge-Dirac-type operators remain isomorphic under uniform perturbations of the geometric data. We consider applications of this to the Hodge-Dirac operator on differential forms induced by so-called rough Riemannian metrics, which can be of only measurable coefficient in regularity, on both compact and non-compact settings. As a consequence, we show that the kernel of the associated non-smooth Hodge-Dirac operator with respect to a rough Riemannian metric remains isomorphic to smooth and singular cohomology when the underlying manifold is compact. △ Less

Submitted 1 July, 2024; originally announced July 2024.

MSC Class: Primary: 47B02; 46C07; 58A14; 57R57; Secondary: 47A08; 58A10

First-order elliptic boundary value problems on manifolds with non-compact boundary

Authors: Christian Baer, Lashi Bandara

Abstract: We consider first-order elliptic differential operators acting on vector bundles over smooth manifolds with smooth boundary, which is permitted to be noncompact. Under very mild assumptions, we obtain a regularity theory for sections in the maximal domain. Under additional geometric assumptions, and assumptions on an adapted boundary operator, we obtain a trace theorem on the maximal domain. This… ▽ More We consider first-order elliptic differential operators acting on vector bundles over smooth manifolds with smooth boundary, which is permitted to be noncompact. Under very mild assumptions, we obtain a regularity theory for sections in the maximal domain. Under additional geometric assumptions, and assumptions on an adapted boundary operator, we obtain a trace theorem on the maximal domain. This allows us to systematically study both local and nonlocal boundary conditions. In particular, the Atiyah-Patodi-Singer boundary condition occurs as a special case. Furthermore, we study contexts which induce semi-Fredholm and Fredholm extensions. △ Less

Submitted 15 February, 2024; v1 submitted 31 January, 2024; originally announced January 2024.

Comments: Reference added, condition (G1) made more precise, minor changes

MSC Class: Primary 35J56; 47A53; 58J05; 58J32; Secondary 46E35; 53C21

The relative index theorem for general first-order elliptic operators

Authors: Lashi Bandara

Abstract: The relative index theorem is proved for general first-order elliptic operators that are complete and coercive at infinity over measured manifolds. This extends the original result by Gromov-Lawson for generalised Dirac operators as well as the result of Bär-Ballmann for Dirac-type operators. The theorem is seen through the point of view of boundary value problems, using the graphical decompositio… ▽ More The relative index theorem is proved for general first-order elliptic operators that are complete and coercive at infinity over measured manifolds. This extends the original result by Gromov-Lawson for generalised Dirac operators as well as the result of Bär-Ballmann for Dirac-type operators. The theorem is seen through the point of view of boundary value problems, using the graphical decomposition of elliptically regular boundary conditions for general first-order elliptic operators due to Bär-Bandara. Splitting, decomposition and the Phi-relative index theorem are proved on route to the relative index theorem. △ Less

Submitted 5 August, 2022; v1 submitted 24 November, 2021; originally announced November 2021.

MSC Class: 58J20; 58J32; 58J90

Realisations of elliptic operators on compact manifolds with boundary

Authors: Lashi Bandara, Magnus Goffeng, Hemanth Saratchandran

Abstract: This paper investigates realisations of elliptic differential operators of general order on manifolds with boundary following the approach of Bär-Ballmann to first order elliptic operators. The space of possible boundary values of elements in the maximal domain is described as a Hilbert space densely sandwiched between two mixed order Sobolev spaces. The description uses Calderón projectors which,… ▽ More This paper investigates realisations of elliptic differential operators of general order on manifolds with boundary following the approach of Bär-Ballmann to first order elliptic operators. The space of possible boundary values of elements in the maximal domain is described as a Hilbert space densely sandwiched between two mixed order Sobolev spaces. The description uses Calderón projectors which, in the first order case, is equivalent to results of Bär-Bandara using spectral projectors of an adapted boundary operator. Boundary conditions that induce Fredholm as well as regular realisations, and those that admit higher order regularity, are characterised. In addition, results concerning spectral theory, homotopy invariance of the Fredholm index, and well-posedness for higher order elliptic boundary value problems are proven. △ Less

Submitted 22 July, 2021; v1 submitted 5 April, 2021; originally announced April 2021.

MSC Class: 35J58; 35J56; 58J05; 58J32

Journal ref: Advances in Mathematics 420 (2023)

Boundary value problems for general first-order elliptic differential operators

Authors: Christian Baer, Lashi Bandara

Abstract: We study boundary value problems for first-order elliptic differential operators on manifolds with compact boundary. The adapted boundary operator need not be selfadjoint and the boundary condition need not be pseudo-local. We show the equivalence of various characterisations of elliptic boundary conditions and demonstrate how the boundary conditions traditionally considered in the literature fit… ▽ More We study boundary value problems for first-order elliptic differential operators on manifolds with compact boundary. The adapted boundary operator need not be selfadjoint and the boundary condition need not be pseudo-local. We show the equivalence of various characterisations of elliptic boundary conditions and demonstrate how the boundary conditions traditionally considered in the literature fit in our framework. The regularity of the solutions up to the boundary is proven. We show that imposing elliptic boundary conditions yields a Fredholm operator if the manifold is compact. We provide examples which are conveniently treated by our methods. △ Less

Submitted 14 March, 2021; v1 submitted 20 June, 2019; originally announced June 2019.

Comments: Link to video abstract and material on the Fredholm property added

MSC Class: 35J56; 58J05; 58J32

Functional calculus and harmonic analysis in geometry

Authors: Lashi Bandara

Abstract: In this short survey article, we showcase a number of non-trivial geometric problems that have recently been resolved by marrying methods from functional calculus and real-variable harmonic analysis. We give a brief description of these methods as well as their interplay. This is a succinct survey that hopes to inspire geometers and analysts alike to study these methods so that they can be further… ▽ More In this short survey article, we showcase a number of non-trivial geometric problems that have recently been resolved by marrying methods from functional calculus and real-variable harmonic analysis. We give a brief description of these methods as well as their interplay. This is a succinct survey that hopes to inspire geometers and analysts alike to study these methods so that they can be further developed to be potentially applied to a broader range of questions. △ Less

Submitted 17 September, 2019; v1 submitted 31 December, 2018; originally announced December 2018.

Comments: Fixed some typos, added some extra text, added references

MSC Class: 97-02; 58J05; 58J32; 58J37; 58J30; 42B37; 47A60; 35J46

Journal ref: São Paulo Journal of Mathematical Sciences, Special Section: An Homage to Manfredo P. do Carmo, 2019

Eigenvalue asymptotics for weighted Laplace equations on rough Riemannian manifolds with boundary

Authors: Lashi Bandara, Medet Nursultanov, Julie Rowlett

Abstract: Our topological setting is a smooth compact manifold of dimension two or higher with smooth boundary. Although this underlying topological structure is smooth, the Riemannian metric tensor is only assumed to be bounded and measurable. This is known as a rough Riemannian manifold. For a large class of boundary conditions we demonstrate a Weyl law for the asymptotics of the eigenvalues of the Laplac… ▽ More Our topological setting is a smooth compact manifold of dimension two or higher with smooth boundary. Although this underlying topological structure is smooth, the Riemannian metric tensor is only assumed to be bounded and measurable. This is known as a rough Riemannian manifold. For a large class of boundary conditions we demonstrate a Weyl law for the asymptotics of the eigenvalues of the Laplacian associated to a rough metric. Moreover, we obtain eigenvalue asymptotics for weighted Laplace equations associated to a rough metric. Of particular novelty is that the weight function is not assumed to be of fixed sign, and thus the eigenvalues may be both positive and negative. Key ingredients in the proofs were demonstrated by Birman and Solomjak nearly fifty years ago in their seminal work on eigenvalue asymptotics. In addition to determining the eigenvalue asymptotics in the rough Riemannian manifold setting for weighted Laplace equations, we also wish to promote their achievements which may have further applications to modern problems. △ Less

Submitted 3 December, 2018; v1 submitted 20 November, 2018; originally announced November 2018.

MSC Class: Primary 58J50; Secondary 58B20

Heat kernels and regularity for rough metrics on smooth manifolds

Authors: Lashi Bandara, Paul Bryan

Abstract: We consider rough metrics on smooth manifolds and corresponding Laplacians induced by such metrics. We demonstrate that globally continuous heat kernels exist and are Hölder continuous locally in space and time. This is done via local parabolic Harnack estimates for weak solutions of operators in divergence form with bounded measurable coefficients in weighted Sobolev spaces. We consider rough metrics on smooth manifolds and corresponding Laplacians induced by such metrics. We demonstrate that globally continuous heat kernels exist and are Hölder continuous locally in space and time. This is done via local parabolic Harnack estimates for weak solutions of operators in divergence form with bounded measurable coefficients in weighted Sobolev spaces. △ Less

Submitted 20 July, 2018; v1 submitted 26 December, 2017; originally announced December 2017.

MSC Class: 58J35; 35K10; 58B20

Riesz continuity of the Atiyah-Singer Dirac operator under perturbations of local boundary conditions

Authors: Lashi Bandara, Andreas Rosén

Abstract: On a smooth complete Riemannian spin manifold with smooth compact boundary, we demonstrate that the Atiyah-Singer Dirac operator $\mathrm{D}_{\mathcal B}$ in $\mathrm{L}^{2}$ depends Riesz continuously on $\mathrm{L}^{\infty}$ perturbations of local boundary conditions ${\mathcal B}$. The Lipschitz bound for the map… ▽ More On a smooth complete Riemannian spin manifold with smooth compact boundary, we demonstrate that the Atiyah-Singer Dirac operator $\mathrm{D}_{\mathcal B}$ in $\mathrm{L}^{2}$ depends Riesz continuously on $\mathrm{L}^{\infty}$ perturbations of local boundary conditions ${\mathcal B}$. The Lipschitz bound for the map ${\mathcal B} \to {\mathrm{D}}_{\mathcal B}(1 + {\mathrm{D}}_{\mathcal B}^2)^{-\frac{1}{2}}$ depends on Lipschitz smoothness and ellipticity of ${\mathcal B}$ and bounds on Ricci curvature and its first derivatives as well as a lower bound on injectivity radius. More generally, we prove perturbation estimates for functional calculi of elliptic operators on manifolds with local boundary conditions. △ Less

Submitted 3 July, 2019; v1 submitted 19 March, 2017; originally announced March 2017.

Comments: Final version

MSC Class: 58J05; 58J32; 58J37; 58J30; 42B37; 35J46; 35J56

Essential self-adjointness of powers of first-order differential operators on non-compact manifolds with low-regularity metrics

Authors: Lashi Bandara, Hemanth Saratchandran

Abstract: We consider first-order differential operators with locally bounded measurable coefficients on vector bundles with measurable coefficient metrics. Under a mild set of assumptions, we demonstrate the equivalence between the essential self-adjointness of such operators to a negligible boundary property. When the operator possesses higher regularity coefficients, we show that higher powers are essent… ▽ More We consider first-order differential operators with locally bounded measurable coefficients on vector bundles with measurable coefficient metrics. Under a mild set of assumptions, we demonstrate the equivalence between the essential self-adjointness of such operators to a negligible boundary property. When the operator possesses higher regularity coefficients, we show that higher powers are essentially self-adjoint if and only if this condition is satisfied. In the case that the low-regularity Riemannian metric induces a complete length space, we demonstrate essential self-adjointness of the operator and its higher powers up to the regularity of its coefficients. We also present applications to Dirac operators on Dirac bundles when the metric is non-smooth. △ Less

Submitted 13 September, 2017; v1 submitted 20 June, 2016; originally announced June 2016.

MSC Class: 58J60; 47F05; 46E40; 58J05

Journal ref: J. Funct. Anal., Volume 273, Issue 12, 2017, Pages 3719-3758

Riesz continuity of the Atiyah-Singer Dirac operator under perturbations of the metric

Authors: Lashi Bandara, Alan McIntosh, Andreas Rosén

Abstract: We prove that the Atiyah-Singer Dirac operator ${\mathrm D}_{\mathrm g}$ in ${\mathrm L}^2$ depends Riesz continuously on ${\mathrm L}^{\infty}$ perturbations of complete metrics ${\mathrm g}$ on a smooth manifold. The Lipschitz bound for the map ${\mathrm g} \to {\mathrm D}_{\mathrm g}(1 + {\mathrm D}_{\mathrm g}^2)^{-\frac{1}{2}}$ depends on bounds on Ricci curvature and its first derivatives as… ▽ More We prove that the Atiyah-Singer Dirac operator ${\mathrm D}_{\mathrm g}$ in ${\mathrm L}^2$ depends Riesz continuously on ${\mathrm L}^{\infty}$ perturbations of complete metrics ${\mathrm g}$ on a smooth manifold. The Lipschitz bound for the map ${\mathrm g} \to {\mathrm D}_{\mathrm g}(1 + {\mathrm D}_{\mathrm g}^2)^{-\frac{1}{2}}$ depends on bounds on Ricci curvature and its first derivatives as well as a lower bound on injectivity radius. Our proof uses harmonic analysis techniques related to Calderón's first commutator and the Kato square root problem. We also show perturbation results for more general functions of general Dirac-type operators on vector bundles. △ Less

Submitted 11 October, 2017; v1 submitted 11 March, 2016; originally announced March 2016.

MSC Class: 58J05; 58J37; 58J30; 35J46; 42B37

Journal ref: Math. Ann. (2018) 370: 863

Continuity of solutions to space-varying pointwise linear elliptic equations

Authors: Lashi Bandara

Abstract: We consider pointwise linear elliptic equations of the form $\mathrm{L}_x u_x = η_x$ on a smooth compact manifold where the operators $\mathrm{L}_x$ are in divergence form with real, bounded, measurable coefficients that vary in the space variable $x$. We establish $\mathrm{L}^{2}$-continuity of the solutions at $x$ whenever the coefficients of $\mathrm{L}_x$ are $\mathrm{L}^{\infty}$-continuous a… ▽ More We consider pointwise linear elliptic equations of the form $\mathrm{L}_x u_x = η_x$ on a smooth compact manifold where the operators $\mathrm{L}_x$ are in divergence form with real, bounded, measurable coefficients that vary in the space variable $x$. We establish $\mathrm{L}^{2}$-continuity of the solutions at $x$ whenever the coefficients of $\mathrm{L}_x$ are $\mathrm{L}^{\infty}$-continuous at $x$ and the initial datum is $\mathrm{L}^{2}$-continuous at $x$. This is obtained by reducing the continuity of solutions to a homogeneous Kato square root problem. As an application, we consider a time evolving family of metrics $\mathrm{g}_t$ that is tangential to the Ricci flow almost-everywhere along geodesics when starting with a smooth initial metric. Under the assumption that our initial metric is a rough metric on $\mathcal{M}$ with a $\mathrm{C}^{1}$ heat kernel on a "non-singular" nonempty open subset $\mathcal{N}$, we show that $x \mapsto \mathrm{g}_t(x)$ is continuous whenever $x \in \mathcal{N}$. △ Less

Submitted 22 May, 2015; originally announced May 2015.

MSC Class: 58J05; 58J60; 47J35; 58D25

Journal ref: Publ. Mat. 61 (2017), no. 1, 239-258

Geometric singularities and a flow tangent to the Ricci flow

Authors: Lashi Bandara, Sajjad Lakzian, Michael Munn

Abstract: We consider a geometric flow introduced by Gigli and Mantegazza which, in the case of smooth compact manifolds with smooth metrics, is tangen- tial to the Ricci flow almost-everywhere along geodesics. To study spaces with geometric singularities, we consider this flow in the context of smooth manifolds with rough metrics with sufficiently regular heat kernels. On an appropriate non- singular open… ▽ More We consider a geometric flow introduced by Gigli and Mantegazza which, in the case of smooth compact manifolds with smooth metrics, is tangen- tial to the Ricci flow almost-everywhere along geodesics. To study spaces with geometric singularities, we consider this flow in the context of smooth manifolds with rough metrics with sufficiently regular heat kernels. On an appropriate non- singular open region, we provide a family of metric tensors evolving in time and provide a regularity theory for this flow in terms of the regularity of the heat kernel. When the rough metric induces a metric measure space satisfying a Riemannian Curvature Dimension condition, we demonstrate that the distance induced by the flow is identical to the evolving distance metric defined by Gigli and Mantegazza on appropriate admissible points. Consequently, we demonstrate that a smooth compact manifold with a finite number of geometric conical singularities remains a smooth manifold with a smooth metric away from the cone points for all future times. Moreover, we show that the distance induced by the evolving metric tensor agrees with the flow of RCD(K, N) spaces defined by Gigli-Mantegazza. △ Less

Submitted 5 April, 2017; v1 submitted 19 May, 2015; originally announced May 2015.

Comments: Fixed proof of Lemma 5.4, updated references to published works

MSC Class: 53C44; 58J05; 35J15; 58J60

Journal ref: Annali della Scuola Normale Superiore di Pisa, Classe di Scienze 17, no. 2, 763 - 804 (2017)

Self-adjointness of the Gaffney Laplacian on vector bundles

Authors: Lashi Bandara, Ognjen Milatovic

Abstract: We study the Gaffney Laplacian on a vector bundle equipped with a compatible metric and connection over a Riemannian manifold that is possibly geodesically incomplete. Under the hypothesis that the Cauchy boundary is polar, we demonstrate the self-adjointness of this Laplacian. Furthermore, we show that negligible boundary is a necessary and sufficient condition for the self-adjointness of this op… ▽ More We study the Gaffney Laplacian on a vector bundle equipped with a compatible metric and connection over a Riemannian manifold that is possibly geodesically incomplete. Under the hypothesis that the Cauchy boundary is polar, we demonstrate the self-adjointness of this Laplacian. Furthermore, we show that negligible boundary is a necessary and sufficient condition for the self-adjointness of this operator. △ Less

Submitted 25 May, 2015; v1 submitted 18 September, 2014; originally announced September 2014.

Comments: Sharpened/strengthened Lemma 3.1, fixed typos, added some additional and relevant definitions to the preliminaries

MSC Class: 58J60; 46E35; 46E40; 47F05

Journal ref: Math. Phys. Anal. Geom. 18 (2015), no. 1

Rough metrics on manifolds and quadratic estimates

Authors: Lashi Bandara

Abstract: We study the persistence of quadratic estimates related to the Kato square root problem across a change of metric on smooth manifolds by defining a class of Riemannian-like metrics that are permitted to be of low regularity and degenerate on sets of measure zero. We also demonstrate how to transmit quadratic estimates between manifolds which are homeomorphic and locally bi-Lipschitz. As a conseque… ▽ More We study the persistence of quadratic estimates related to the Kato square root problem across a change of metric on smooth manifolds by defining a class of Riemannian-like metrics that are permitted to be of low regularity and degenerate on sets of measure zero. We also demonstrate how to transmit quadratic estimates between manifolds which are homeomorphic and locally bi-Lipschitz. As a consequence, we demonstrate the invariance of the Kato square root problem under Lipschitz transformations of the space and obtain solutions to this problem on functions and forms on compact manifolds with a continuous metric. Furthermore, we show that a lower bound on the injectivity radius is not a necessary condition to solve the Kato square root problem. △ Less

Submitted 10 March, 2014; v1 submitted 9 February, 2014; originally announced February 2014.

Comments: 1 figure, v2: Slight change to Section 4.4 v3: Submitted version, corrected a few typos, changed Prop 5.5 from "geodesic" to "minimising geodesic", changed Thm 6.10 from inj(M,g) to inj(M\{x_0},g), changed remarks following Thm 6.10

MSC Class: 58J05; 58J60; 47B44; 46E35

Journal ref: Math. Z. 283 (2016), no. 3-4, 1245-1281

Density problems on vector bundles and manifolds

Authors: Lashi Bandara

Abstract: We study some canonical differential operators on vector bundles over smooth, complete Riemannian manifolds. Under very general assumptions, we show that smooth, compactly supported sections are dense in the domains of these operators. Furthermore, we show that smooth, compactly supported functions are dense in second order Sobolev spaces on such manifolds under the sole additional assumption that… ▽ More We study some canonical differential operators on vector bundles over smooth, complete Riemannian manifolds. Under very general assumptions, we show that smooth, compactly supported sections are dense in the domains of these operators. Furthermore, we show that smooth, compactly supported functions are dense in second order Sobolev spaces on such manifolds under the sole additional assumption that the Ricci curvature is uniformly bounded from below. △ Less

Submitted 27 July, 2012; originally announced July 2012.

MSC Class: 46E35; 53C21; 58J60

Journal ref: Proc. Amer. Math. Soc. 142 (2014), no. 8

Square roots of perturbed subelliptic operators on Lie groups

Authors: Lashi Bandara, A. F. M. ter Elst, Alan McIntosh

Abstract: We solve the Kato square root problem for bounded measurable perturbations of subelliptic operators on connected Lie groups. The subelliptic operators are divergence form operators with complex bounded coefficients, which may have lower order terms. In this general setting we deduce inhomogeneous estimates. In case the group is nilpotent and the subelliptic operator is pure second order, then we p… ▽ More We solve the Kato square root problem for bounded measurable perturbations of subelliptic operators on connected Lie groups. The subelliptic operators are divergence form operators with complex bounded coefficients, which may have lower order terms. In this general setting we deduce inhomogeneous estimates. In case the group is nilpotent and the subelliptic operator is pure second order, then we prove stronger homogeneous estimates. Furthermore, we prove Lipschitz stability of the estimates under small perturbations of the coefficients. △ Less

Submitted 14 August, 2012; v1 submitted 23 April, 2012; originally announced April 2012.

Journal ref: Studia Math. 216 (2013), no. 3

The Kato square root problem on vector bundles with generalised bounded geometry

Authors: Lashi Bandara, Alan McIntosh

Abstract: We consider smooth, complete Riemannian manifolds which are exponentially locally doubling. Under a uniform Ricci curvature bound and a uniform lower bound on injectivity radius, we prove a Kato square root estimate for certain coercive operators over the bundle of finite rank tensors. These results are obtained as a special case of similar estimates on smooth vector bundles satisfying a criterion… ▽ More We consider smooth, complete Riemannian manifolds which are exponentially locally doubling. Under a uniform Ricci curvature bound and a uniform lower bound on injectivity radius, we prove a Kato square root estimate for certain coercive operators over the bundle of finite rank tensors. These results are obtained as a special case of similar estimates on smooth vector bundles satisfying a criterion which we call generalised bounded geometry. We prove this by establishing quadratic estimates for perturbations of Dirac type operators on such bundles under an appropriate set of assumptions. △ Less

Submitted 24 December, 2014; v1 submitted 2 March, 2012; originally announced March 2012.

Comments: Slight technical modification of the notion of "GBG constant section" on page 7, and a few technical modifications to Proposition 8.4, 8.6, 8.9

MSC Class: 58J05; 47F05; 47B44; 47A60

Journal ref: J. Geom. Anal. 26 (2016), no. 1

Quadratic estimates for perturbed Dirac type operators on doubling measure metric spaces

Authors: Lashi Bandara

Abstract: We consider perturbations of Dirac type operators on complete, connected metric spaces equipped with a doubling measure. Under a suitable set of assumptions, we prove quadratic estimates for such operators and hence deduce that these operators have a bounded functional calculus. In particular, we deduce a Kato square root type estimate. We consider perturbations of Dirac type operators on complete, connected metric spaces equipped with a doubling measure. Under a suitable set of assumptions, we prove quadratic estimates for such operators and hence deduce that these operators have a bounded functional calculus. In particular, we deduce a Kato square root type estimate. △ Less

Submitted 1 December, 2012; v1 submitted 20 July, 2011; originally announced July 2011.

Comments: To appear in Proceedings of the AMSI International Conference on Harmonic Analysis and Applications, Proc. Centre Math. Appl. Austral. Nat. Univ

MSC Class: 47B44

Journal ref: AMSI International Conference on Harmonic Analysis and Applications, Proc. Centre Math. Appl. Austral. Nat. Univ., vol. 45, Austral. Nat. Univ., Canberra, 2011,