Refine
Year of publication
- 2004 (32) (remove)
Document Type
- Monograph/Edited Volume (13)
- Preprint (11)
- Article (8)
Language
- English (32)
Keywords
Institute
Edge representations of operators on closed manifolds are known to induce large classes of operators that are elliptic on specific manifolds with edges, cf. [9]. We apply this idea to the case of boundary value problems. We establish a correspondence between standard ellipticity and ellipticity with respect to the principal symbolic hierarchy of the edge algebra of boundary value problems, where an embedded submanifold on the boundary plays the role of an edge. We first consider the case that the weight is equal to the smoothness and calculate the dimensions of kernels and cokernels of the associated principal edge symbols. Then we pass to elliptic edge operators for arbitrary weights and construct the additional edge conditions by applying relative index results for conormal symbols.
We study mixed boundary value problems for an elliptic operator A on a manifold X with boundary Y , i.e., Au = f in int X, T±u = g± on int Y±, where Y is subdivided into subsets Y± with an interface Z and boundary conditions T± on Y± that are Shapiro-Lopatinskij elliptic up to Z from the respective sides. We assume that Z ⊂ Y is a manifold with conical singularity v. As an example we consider the Zaremba problem, where A is the Laplacian and T− Dirichlet, T+ Neumann conditions. The problem is treated as a corner boundary value problem near v which is the new point and the main difficulty in this paper. Outside v the problem belongs to the edge calculus as is shown in [3]. With a mixed problem we associate Fredholm operators in weighted corner Sobolev spaces with double weights, under suitable edge conditions along Z \ {v} of trace and potential type. We construct parametrices within the calculus and establish the regularity of solutions.
Contents: Chapter 6: Elliptic Theory on Manifolds with Edges Introduction 6.1. Motivation and Main Constructions 6.1.1. Manifolds with edges 6.1.2. Edge-degenerate differential operators 6.1.3. Symbols 6.1.4. Elliptic problems 6.2. Pseudodifferential Operators 6.2.1. Edge symbols 6.2.2. Pseudodifferential operators 6.2.3. Quantization 6.3. Elliptic Morphisms and the Finiteness Theorem 6.3.1. Matrix Green operators 6.3.2. General morphisms 6.3.3. Ellipticity, Fredholm property, and smoothness Appendix A. Fiber Bundles and Direct Integrals A.1. Local theory A.2. Globalization A.3. Versions of the Definition of the Norm
Green operators on manifolds with edges are known to be an ingredient of parametrices of elliptic (edge-degenerate) operators. They play a similar role as corresponding operators in boundary value problems. Close to edge singularities the Green operators have a very complex asymptotic behaviour. We give a new characterisation of Green edge symbols in terms of kernels with discrete and continuous asymptotics in the axial variable of local model cones.
The ellipticity of operators on a manifold with edge is defined as the bijectivity of the components of a principal symbolic hierarchy σ = (σψ, σ∧), where the second component takes value in operators on the infinite model cone of the local wedges. In general understanding of edge problems there are two basic aspects: Quantisation of edge-degenerate operators in weighted Sobolev spaces, and verifying the elliptcity of the principal edge symbol σ∧ which includes the (in general not explicitly known) number of additional conditions on the edge of trace and potential type. We focus here on these queations and give explicit answers for a wide class of elliptic operators that are connected with the ellipticity of edge boundary value problems and reductions to the boundary. In particular, we study the edge quantisation and ellipticity for Dirichlet-Neumann operators with respect to interfaces of some codimension on a boundary. We show analogues of the Agranovich-Dynin formula for edge boundary value problems, and we establish relations of elliptic operators for different weights, via the spectral flow of the underlying conormal symbols.