Realisations of Elliptic Operators on Compact Manifolds with Boundary 3
Total Page:16
File Type:pdf, Size:1020Kb
REALISATIONS OF ELLIPTIC OPERATORS ON COMPACT MANIFOLDS WITH BOUNDARY LASHI BANDARA, MAGNUS GOFFENG, AND HEMANTH SARATCHANDRAN Abstract. This paper investigates realisations of elliptic differential operators of general order on manifolds with boundary following the approach of B¨ar-Ballmann to first order elliptic opera- tors. 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´on projectors which, in the first order case, is equivalent to results of B¨ar-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. Contents 1. Introduction 1 2. Elliptic differential operators and boundary conditions 9 3. Calder´on projectors and the Douglis-Nirenberg calculus 21 4. The Cauchy data space of an elliptic differential operator 33 5. Characterisations of regularity via graphical decompositions 39 6. Higher order boundary regularity 50 7. Differential operators with positive principal symbols and their Weyl laws 55 8. Rigidity results for the index of elliptic differential operators 59 9. Symbol computations with Calder´on projectors in the first order case 63 Appendix A. Lemmas on dimensions and subspaces 70 Appendix B. B¨ar-Ballmann’s approach from an abstract perspective 72 References 83 1. Introduction Elliptic boundary value problems have a long history emerging from classical problems in physics and engineering. Their mathematical description dates back to classical works such as [32, 34, arXiv:2104.01919v2 [math.AP] 22 Jul 2021 36, 37, 50, 57, 61, 69]. Elliptic operators – their index theory and spectral theory – is broadly used in mathematics connecting seemingly disjoint areas of mathematics, for instance through noncommutative geometry and geometric analysis. The spectral theory of elliptic boundary value problems has primarily been focused on Laplace type operators (for an overview see [52]) or Dirac type operators (see for instance [15, 18, 19, 44]), but has also been studied in larger generality (e.g. in [29, 36, 38, 40, 42]). The index theory of elliptic boundary value problems is also a well studied area. For instance, the index theory of Dirac operators with the spectral APS boundary condition was computed by Atiyah-Patodi-Singer [4], and has since been well studied, see for instance [15,18,41,43,59]. The index theory for boundary value problems in the Boutet de Monvel calculus was computed by [16] relating to ideas of Agranovich-Dynin. This formula covers the case of local elliptic boundary conditions. Boutet de Monvel’s results have been extensively studied, see Date: July 23, 2021. 2010 Mathematics Subject Classification. 35J58, 35J56, 58J05, 58J32. Key words and phrases. Elliptic differential operator, Fredholm boundary conditions, boundary regularity, Calder´on projector. 1 2 LASHIBANDARA, MAGNUS GOFFENG, ANDHEMANTHSARATCHANDRAN [26, 27, 58, 60], and were generalised to an extended Boutet de Monvel calculus by Schulze-Seiler [63]. In this paper we take a new approach to higher order elliptic operators on manifolds with boundary. The approach is based on work of B¨ar-Ballmann [5]. The paper [5] consists of a coherent overview of first order boundary value problems (admitting a self-adjoint adapted boundary operator) based on an analytic description of the Cauchy data space as well as a novel graphical decomposition of regular realisations of first order operators. The results were later extended to general first order problems by the first listed author and B¨ar in [6]. Although this approach was first fully utilised and made explicit in [5], the ideas have been around since the ’60s and was implicitly contained in a paper by Seeley [65, top of page 782]. They were visible already in Agranovich-Dynin’s classical works on index theory for elliptic boundary value problems of general order. Similar approaches predating B¨ar-Ballmann’s have been studied in the abstract in [13], been applied to Dirac-Schr¨odinger operators in [8] as well as having been used in the study of Maxwell’s equations on Lipschitz domains [20, 48]. Related ideas can also be seen in for instance [4, 19, 34, 37, 41, 43]. Since its appearance, the coherence of B¨ar-Ballmann’s work [5] has paved the way for numerous applications [7, 9, 17, 21, 66]. The aim of this paper is to present a perspective similar to [5], providing an overview of the theory for general order elliptic boundary value problems from the vantage point of the Cauchy data space. As such, the main novelty lies in the framework and the methods. Indeed, several of the results in this paper are, as stand alone results, at best mild generalisations of known results and are unlikely to surprise experts in the field of boundary value problems. A key feature in several of the results is that they can treat all (or at least the regular extensions with the occasional restriction to the pseudo-local case) closed extensions of an elliptic differential operator on an equal footing with the special classes of boundary conditions studied classically. We have attempted to the best of our abilities to indicate where the results we are generalising can be found in the abundance of literature on boundary value problems. The approach we take lies close in spirit to the ideas of noncommutative geometry [22] whose methods have proven their worth in index theory, relating to recent work on boundaries in non- commutative geometry [28]. It takes a more abstract perspective than the semiclassical methods ordinarily deployed to study boundary value problems, e.g. in [32, 37, 50, 57, 61, 69], and lies closer to methods for order one elliptic operators seen in [5, 6, 13, 15, 18, 41, 43] rather than the abstract methods of, for instance, [10,23,34,36]. The level of abstraction makes the method feasible for further development of index theory and applications to a larger class of problems than elliptic differential operators on manifolds with boundary. We anticipate this in- cludes elliptic operators on singular manifolds, hypoelliptic operators (cf. the subelliptic boundary conditions in [25]) or geometric operators in Lorentzian geometry (cf. [7]). These facts raises opti- mism for demystifying the general index formulas appearing in the (extended) Boutet de Monvel calculus relying on abstract homotopies [16,60], non-explicit inverses to isomorphisms in K-theory [58] or Chern characters of operator valued symbols [26, 27]. The method of B¨ar-Ballmann for first order operators can be summarised as describing boundary value problems by means of the Cauchy data space, i.e. the range of the corresponding trace map onto a mixed Sobolev space on the boundary. For higher order operators we apply the same ideas to the full trace map (taking into account all boundary traces up to the order of the operator) into a mixed Sobolev space on the boundary. The range of the full trace map – the Cauchy data space – characterises the realisation defining the boundary value problem when topologising it so that the full trace map is a quotient. The analytic details involved in this procedure produces precise information about regularity and Fredholm properties of the realisations in terms of properties of the boundary condition relative to the range of the full trace mapping on the maximal domain of the elliptic operator. The general theme in this framework is to reduce properties of realisations, and their proofs, to neat functional analysis arguments and Fredholm theory. REALISATIONS OF ELLIPTIC OPERATORS ON COMPACT MANIFOLDS WITH BOUNDARY 3 The description of the possible realisations of an elliptic operator as subspaces of a Hilbert space of functions on the boundary relies on a precise description of the Cauchy data space. Abstractly, the Cauchy data space is isomorphic to the quotient of the maximal domain by the minimal domain. By classical results of Lions-Magenes [56, 57] the Cauchy data space is a concrete subspace of a mixed order Sobolev space on the boundary. For an elliptic first order differential operator this is described in detail in [6] using an adapted boundary operator. To describe the Cauchy data space of a general order elliptic differential operator, we employ the Calder´on projection of Seeley [65]. Although our setup is based on the work of B¨ar-Ballmann, similar ideas date back much further as discussed above. We emphasise that this paper, despite allowing for elliptic differential operators of general order, by no means supersedes [5, 6]. A significant novelty distinguishing [6] from this paper is that [6] links analysis on the Cauchy data space to the H∞-functional calculus, which in [6] forms the key to obtaining the estimates required to topologise the Cauchy data space. In contrast, in this paper we use Seeley’s work on Calder´on projectors to analyse the Cauchy data space. 1.1. Main results and overview of paper. Let M be a compact manifold with boundary Σ := ∂M. We fix a smooth measure µ on M. In our convention, Σ M and the interior of M ⊂ is denoted by M˚ = M Σ. We also choose a smooth interior pointing vectorfield T~ transversal to \ Σ= ∂M. The smooth measure on Σ induced by µ and T~ will be denoted by ν. In this paper, we are mainly concerned with elliptic differential operators D : C∞(M; E) C∞(M; F ) acting between hermitian vector bundles (E,hE ) M and (F,hF ) M. The hermit-→ ian metric will be implicit in the notations. We let m denote→ the order of D.