Refine
Year of publication
Document Type
- Monograph/Edited Volume (120)
- Preprint (114)
- Article (101)
- Conference Proceeding (1)
- Postprint (1)
Language
- English (337) (remove)
Keywords
- Fredholm property (6)
- boundary value problems (6)
- elliptic operators (6)
- manifolds with singularities (6)
- Pseudo-differential operators (5)
- index (5)
- pseudodifferential operators (5)
- Boundary value problems (4)
- ellipticity (4)
- relative index (4)
As is known from Kondratyev's work, boundary value problems for elliptic operators on a manifold with conical singularities and boundary are controlled by a principal symbolic hierarchy, where the conormal symbols belong to the typical new components, compared with the smooth case, with interior and boundary symbols. A similar picture may be expected on manifolds with corners when the base of the cone itself is a manifold with conical or edge singularities. This is a natural situation in a number of applications, though with essential new difficulties. We investigate here corresponding conormal symbols in terms of a calculus of holomorphic parameter-dependent edge boundary value problems on the base. We show that a certain kernel cut-off procedure generates all such holomorphic families, modulo smoothing elements, and we establish conormal symbols as an algebra as is necessary for a parametrix constructions in the elliptic case.
By edge algebra we understand a pseudo-differential calculus on a manifold with edge. The operators have a two-component principal symbolic hierarchy which determines operators up to lower order terms. Those belong to a filtration of the corresponding operator spaces. We give a new characterisation of this structure, based on an alternative representation of edge amplitude functions only containing holomorphic edge-degenerate Mellin symbols.
Contents: Introduction 1 Edge calculus with parameters 1.1 Cone asymptotics and Green symbols 1.2 Mellin edge symbols 1.3 The edge symbol algebra 1.4 Operators on a manifold with edges 2 Corner symbols and iterated asymptotics 2.1 Holomorphic corner symbols 2.2 Meromorphic corner symbols and ellipicity 2.3 Weighted corner Sobolev spaces 2.4 Iterated asymptotics 3 The edge corner algebra with trace and potential conditions 3.1 Green corner operators 3.2 Smoothing Mellin corner operators 3.3 The edge corner algebra 3.4 Ellipicity and regularity with asymptotics 3.5 Examples and remarks
We establish a new calculus of pseudodifferential operators on a manifold with smooth edges and study ellipticity with extra trace and potential conditions (as well as Green operators) at the edge. In contrast to the known scenario with conditions of that kind in integral form we admit in this paper ‘singular’ trace, potential and Green operators, which are related to the corresponding operators of positive type in Boutet de Monvel’s calculus for boundary value problems.
We establish elements of a new approch to ellipticity and parametrices within operator algebras on a manifold with higher singularities, only based on some general axiomatic requirements on parameter-dependent operators in suitable scales of spaces. The idea is to model an iterative process with new generations of parameter-dependent operator theories, together with new scales of spaces that satisfy analogous requirements as the original ones, now on a corresponding higher level. The “full” calculus is voluminous; so we content ourselves here with some typical aspects such as symbols in terms of order reducing families, classes of relevant examples, and operators near the conical exit to infinity.
We construct elliptic elements in the algebra of (classical pseudo-differential) operators on a manifold M with conical singularities. The ellipticity of any such operator A refers to a pair of principal symbols (σ0, σ1) where σ0 is the standard (degenerate) homogeneous principal symbol, and σ1 is the so-called conormal symbol, depending on the complex Mellin covariable z. The conormal symbol, responsible for the conical singularity, is operator-valued and acts in Sobolev spaces on the base X of the cone. The σ1-ellipticity is a bijectivity condition for all z of real part (n + 1)/2 − γ, n = dimX, for some weight γ. In general, we have to rule out a discrete set of exceptional weights that depends on A. We show that for every operator A which is elliptic with respect to σ0, and for any real weight γ there is a smoothing Mellin operator F in the cone algebra such that A + F is elliptic including σ1. Moreover, we apply the results to ellipticity and index of (operator-valued) edge symbols from the calculus on manifolds with edges.
We study (pseudo-)differential operators on a manifold with edge Z, locally modelled on a wedge with model cone that has itself a base manifold W with smooth edge Y . The typical operators A are corner degenerate in a specific way. They are described (modulo ‘lower order terms’) by a principal symbolic hierarchy σ(A) = (σ ψ(A), σ ^(A), σ ^(A)), where σ ψ is the interior symbol and σ ^(A)(y, η), (y, η) 2 T*Y \ 0, the (operator-valued) edge symbol of ‘first generation’, cf. [15]. The novelty here is the edge symbol σ^ of ‘second generation’, parametrised by (z, Ϛ) 2 T*Z \ 0, acting on weighted Sobolev spaces on the infinite cone with base W. Since such a cone has edges with exit to infinity, the calculus has the problem to understand the behaviour of operators on a manifold of that kind. We show the continuity of corner-degenerate operators in weighted edge Sobolev spaces, and we investigate the ellipticity of edge symbols of second generation. Starting from parameter-dependent elliptic families of edge operators of first generation, we obtain the Fredholm property of higher edge symbols on the corresponding singular infinite model cone.
Problems for elliptic partial differential equations on manifolds M with singularities M' (here with piece-wise smooth geometry)are studied in terms of pseudo-differential algebras with hierarchies of symbols that consist of scalar and operator-valued components. Classical boundary value problems (with or without the transmission property) belong to the examples. They are a model for operator algebras on manifolds M with higher "polyhedral" singularities. The operators are block matrices that have upper left corners containing the pseudo-differential operators on the regular M\M' (plus certain Mellin and Green summands) and are degenerate (in streched coordinates) in a typical way near M'. By definition M' is again a manifold with singularities. The same is true of M'', and so on. The block matrices consist of trace, potential and Mellin and Green operators, acting between weighted Sobolev spaces on M(j) and M(k), with 0 ≤ j, k ≤ ord M; here M(0) denotes M, M(1) denotes M', etc. We generate these algebras, including their symbol hierarchies, by iterating so-called "edgifications" and "conifications" os algebras that have already been constructed, and we study ellipicity, parametrics and Fredholm property within these algebras.
We consider general parabolic systems of equations on the infinite time interval in case of the underlying spatial configuration is a closed manifold. The solvability of equations is studied both with respect to time and spatial variables in exponentially weighted anisotropic Sobolev spaces, and existence and maximal regularity statements for parabolic equations are proved. Moreover, we analyze the long-time behaiour of solutions in terms of complete asymptotic expansions. These results are deduced from a pseudodifferential calculus that we construct explicitly. This algebra of operators is specifically designed to contain both the classical systems of parabolic equations of general form and their inverses, parabolicity being reflected purely on symbolic level. To this end, we assign t = ∞ the meaning of an anisotropic conical point, and prove that this interprtation is consistent with the natural setting in the analysis of parabolic PDE. Hence, major parts of this work consist of the construction of an appropriate anisotropiccone calculus of so-called Volterra operators. In particular, which is the most important aspect, we obtain the complete characterization of the microlocal and the global kernel structure of the inverse of parabolicsystems in an infinite space-time cylinder. Moreover, we obtain perturbation results for parabolic equations from the investigation of the ideal structure of the calculus.
We consider general parabolic systems of equations on the infinite time interval in case of the underlying spatial configuration is a closed manifold. The solvability of equations is studied both with respect to time and spatial variables in exponentially weighted anisotropic Sobolev spaces, and existence and maximal regularity statements for parabolic equations are proved. Moreover, we analyze the long-time behaiour of solutions in terms of complete asymptotic expansions. These results are deduced from a pseudodifferential calculus that we construct explicitly. This algebra of operators is specifically designed to contain both the classical systems of parabolic equations of general form and their inverses, parabolicity being reflected purely on symbolic level. To this end, we assign t = ∞ the meaning of an anisotropic conical point, and prove that this interprtation is consistent with the natural setting in the analysis of parabolic PDE. Hence, major parts of this work consist of the construction of an appropriate anisotropiccone calculus of so-called Volterra operators. In particular, which is the most important aspect, we obtain the complete characterization of the microlocal and the global kernel structure of the inverse of parabolicsystems in an infinite space-time cylinder. Moreover, we obtain perturbation results for parabolic equations from the investigation of the ideal structure of the calculus.
We consider general parabolic systems of equations on the infinite time interval in case of the underlying spatial configuration is a closed manifold. The solvability of equations is studied both with respect to time and spatial variables in exponentially weighted anisotropic Sobolev spaces, and existence and maximal regularity statements for parabolic equations are proved. Moreover, we analyze the long-time behaiour of solutions in terms of complete asymptotic expansions. These results are deduced from a pseudodifferential calculus that we construct explicitly. This algebra of operators is specifically designed to contain both the classical systems of parabolic equations of general form and their inverses, parabolicity being reflected purely on symbolic level. To this end, we assign t = ∞ the meaning of an anisotropic conical point, and prove that this interprtation is consistent with the natural setting in the analysis of parabolic PDE. Hence, major parts of this work consist of the construction of an appropriate anisotropiccone calculus of so-called Volterra operators. In particular, which is the most important aspect, we obtain the complete characterization of the microlocal and the global kernel structure of the inverse of parabolicsystems in an infinite space-time cylinder. Moreover, we obtain perturbation results for parabolic equations from the investigation of the ideal structure of the calculus.
In the paper we study the possibility to represent the index formula for spectral boundary value problems as a sum of two terms, the first one being homotopy invariant of the principal symbol, while the second depends on the conormal symbol of the problem only. The answer is given in analytical, as well as in topological terms.
Necessary and sufficient conditions for the representation of the index of elliptic operators on manifolds with edges in the form of the sum of homotopy invariants of symbols on the smooth stratum and on the edge are found. An index formula is obtained for elliptic operators on manifolds with edges under symmetry conditions with respect to the edge covariables
The paper contains the proof of the index formula for manifolds with conical points. For operators subject to an additional condition of spectral symmetry, the index is expressed as the sum of multiplicities of spectral points of the conormal symbol (indicial family) and the integral from the Atiyah-Singer form over the smooth part of the manifold. The obtained formula is illustrated by the example of the Euler operator on a two-dimensional manifold with conical singular point.
In the preceding paper we proved an explicit index formula for elliptic pseudodifferential operators on a two-dimensional manifold with conical points. Apart from the Atiyah-Singer integral, it contains two additional terms, one of the two being the 'eta' invariant defined by the conormal symbol. In this paper we clarify the meaning of the additional terms for differential operators.
On the existence of smooth solutions of the Dirichlet problem for hyperbolic differential equations
(1998)
We construct a theory of general boundary value problems for differential operators whose symbols do not necessarily satisfy the Atiyah-Bott condition [3] of vanishing of the corresponding obstruction. A condition for these problems to be Fredholm is introduced and the corresponding finiteness theorems are proved.
We discuss the Cauchy problem for the Dolbeault cohomology in a domain of C n with data on a part of the boundary. In this setting we introduce the concept of a Carleman function which proves useful in the study of uniqueness. Apart from an abstract framework we show explicit Carleman formulas for the Dolbeault cohomology.
On a method for solution of the ordinary differential equations connected with Huygens' equations
(2010)
We construct a class of elliptic operators in the edge algebra on a manifold M with an embedded submanifold Y interpreted as an edge. The ellipticity refers to a principal symbolic structure consisting of the standard interior symbol and an operator-valued edge symbol. Given a differential operator A on M for every (sufficiently large) s we construct an associated operator A(s) in the edge calculus. We show that ellipticity of A in the usual sense entails ellipticity of A(s) as an edge operator (up to a discrete set of reals s). Parametrices P of A then correspond to parametrices P-s of A(s) interpreted as Mellin-edge representations of P. Copyright (c) 2005 John Wiley & Sons, Ltd
We construct a class of elliptic operators in the edge algebra on a manifold M with an embedded submanifold Y interpreted as an edge. The ellipticity refers to a principal symbolic structure consisting of the standard interior symbol and an operator-valued edge symbol. Given a differential operator A on M for every (sufficiently large) s we construct an associated operator As in the edge calculus. We show that ellipticity of A in the usual sense entails ellipticity of As as an edge operator (up to a discrete set of reals s). Parametrices P of A then correspond to parametrices Ps of As, interpreted as Mellin-edge representations of P.
A manifold M with smooth edge Y is locally near Y modelled on X-Delta x Omega for a cone X-Delta := ( (R) over bar (+) x X)/({0} x X) where Xis a smooth manifold and Omega subset of R-q an open set corresponding to a chart on Y. Compared with pseudo-differential algebras, based on other quantizations of edge-degenerate symbols, we extend the approach with Mellin representations on the r half-axis up to r = infinity, the conical exit of X-boolean AND = R+ x X (sic) (r, x) at infinity. The alternative description of the edge calculus is useful for pseudo-differential structures on manifolds with higher singularities.
Content: Introduction 1 Anisotropic operators in a cylinder with a conical base 1.1 Manifolds with conical singularities and opertors of Fuchs type 1.2 Typical operators and symbol structures 2 Weighted wedge Sobolev spaces and edge asymptotics 2.1 Discrete edge asymptotics 2.2 Continuos edge asymptotics with discrete limit at infinity 2.3 Calculus with operator valued symbols 3 Corner asymptotics at infinity 3.1 The structure of singular functions 3.2 Operators with trace and potential conditions 3.3 Asymptotics and (anisotropic) elliptic regularity
This is a survey of recent results concerning the general index locality principle, associated surgery, and their applications to elliptic operators on smooth manifolds and manifolds with singularities as well as boundary value problems. The full version of the paper is submitted for publication in Russian Mathematical Surveys.
The aim of this book is to develop the Lefschetz fixed point theory for elliptic complexes of pseudodifferential operators on manifolds with edges. The general Lefschetz theory contains the index theory as a special case, while the case to be studied is much more easier than the index problem. The main topics are: - The calculus of pseudodifferential operators on manifolds with edges, especially symbol structures (inner as well as edge symbols). - The concept of ellipticity, parametrix constructions, elliptic regularity in Sobolev spaces. - Hodge theory for elliptic complexes of pseudodifferential operators on manifolds with edges. - Development of the algebraic constructions for these complexes, such as homotopy, tensor products, duality. - A generalization of the fixed point formula of Atiyah and Bott for the case of simple fixed points. - Development of the fixed point formula also in the case of non-simple fixed points, provided that the complex consists of diferential operarators only. - Investigation of geometric complexes (such as, for instance, the de Rham complex and the Dolbeault complex). Results in this direction are desirable because of both purely mathe matical reasons and applications in natural sciences.
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.
We prove the existence of a limit in Hm(D) of iterations of a double layer potential constructed from the Hodge parametrix on a smooth compact manifold with boundary, X, and a crack S ⊂ ∂D, D being a domain in X. Using this result we obtain formulas for Sobolev solutions to the Cauchy problem in D with data on S, for an elliptic operator A of order m ≥ 1, whenever these solutions exist. This representation involves the sum of a series whose terms are iterations of the double layer potential. A similar regularisation is constructed also for a mixed problem in D.