Institut für Mathematik
Refine
Year of publication
- 2024 (3)
- 2023 (15)
- 2022 (44)
- 2021 (49)
- 2020 (90)
- 2019 (60)
- 2018 (67)
- 2017 (63)
- 2016 (71)
- 2015 (65)
- 2014 (54)
- 2013 (63)
- 2012 (60)
- 2011 (38)
- 2010 (44)
- 2009 (43)
- 2008 (25)
- 2007 (24)
- 2006 (78)
- 2005 (102)
- 2004 (86)
- 2003 (72)
- 2002 (79)
- 2001 (103)
- 2000 (94)
- 1999 (122)
- 1998 (129)
- 1997 (122)
- 1996 (73)
- 1995 (102)
- 1994 (77)
- 1993 (16)
- 1992 (19)
- 1991 (5)
- 1990 (1)
- 1980 (1)
Document Type
- Article (1086)
- Monograph/Edited Volume (427)
- Preprint (378)
- Doctoral Thesis (152)
- Other (46)
- Postprint (32)
- Review (16)
- Conference Proceeding (9)
- Master's Thesis (8)
- Part of a Book (3)
Language
- English (1884)
- German (265)
- French (7)
- Italian (3)
- Multiple languages (1)
Keywords
- random point processes (19)
- statistical mechanics (19)
- stochastic analysis (19)
- index (14)
- Fredholm property (12)
- boundary value problems (12)
- cluster expansion (10)
- data assimilation (10)
- regularization (10)
- elliptic operators (9)
Institute
- Institut für Mathematik (2160) (remove)
Contents: Introduction 1 Operators with the transmission property 1.1 Operators on a manifold with boundary 1.2 Conditions with pseudodifferential projections 1.3 Projections and Fredholm families 2 Boundary value problems not requiring the transmission property 2.1 Interior operators 2.2 Edge amplitude functions 2.3 Boundary value problems 3 Operators with global projection conditions 3.1 Construction for boundary symbols 3.2 Ellipticity of boundary value problems with projection data 3.3 Operators of order zero
Given an algebra of pseudo-differential operators on a manifold, an elliptic element is said to be a reduction of orders, if it induces isomorphisms of Sobolev spaces with a corresponding shift of smoothness. Reductions of orders on a manifold with boundary refer to boundary value problems. We consider smooth symbols and ellipticity without additional boundary conditions which is the relevant case on a manifold with boundary. Starting from a class of symbols that has been investigated before for integer orders in boundary value problems with the transmission property we study operators of arbitrary real orders that play a similar role for operators without the transmission property. Moreover, we show that order reducing symbols have the Volterra property and are parabolic of anisotropy 1; analogous relations are formulated for arbitrary anisotropies. We finally investigate parameter-dependent operators, apply a kernel cut-off construction with respect to the parameter and show that corresponding holomorphic operator-valued Mellin symbols reduce orders in weighted Sobolev spaces on a cone with boundary.
In this paper, we discuss the viscosity solutions of the weakly coupled systems of fully nonlinear second order degenerate parabolic equations and their Cauchy-Dirichlet problem. We prove the existence, uniqueness and continuity of viscosity solution by combining Perron's method with the technique of coupled solutions. The results here generalize those in [2] and [3].
We introduce the Volterra calculus of pseudodifferential operators with an anisotropic analytic parameter based on "twisted" operator-valued Volterra symbols. We establish the properties of the symbolic and operational calculi, and we give and make use of explicit oscillatory integral formulas on the symbolic side. In particular, we investigate the kernel cut-off operator via direct oscillatory integral techniques purely on symbolic level. We discuss the notion of parabolic for the calculus of Volterra operators, and construct Volterra parametrices for parabolic operators within the calculus.
Function spaces with asymptotics is a usual tool in the analysis on manifolds with singularities. The asymptotics are singular ingredients of the kernels of pseudodifferential operators in the calculus. They correspond to potentials supported by the singularities of the manifold, and in this form asymptotics can be treated already on smooth configurations. This paper is aimed at describing refined asymptotics in the Dirichlet problem in a ball. The beauty of explicit formulas highlights the structure of asymptotic expansions in the calculi on singular varieties.
We introduce the calculus of Mellin pseudodifferential operators parameters based on "twisted" operator-valued Volterra symbols as well aas the abstract Mellin calclus with holomorphic symbols. We establish the properties of the symblic and operational calculi, and we give and make use of explicit oscillatory integral formulas on the symbolic side, e. g., for the Leibniz-product, kernel cut-off, and Mellin quantization. Moreover, we introduce the notion of parabolicity for the calculi of Volterra Mellin operators, and construct Volterra parametrices for parabolic operators within the calculi.
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.
We consider the norm closure A of the algebra of all operators of order and class zero in Boutet de Monvel's calculus on a manifold X with boundary ∂X. We first describe the image and the kernel of the continuous extension of the boundary principal symbol homomorphism to A. If X is connected and ∂X is not empty, we then show that the K-groups of A are topologically determined. In case the manifold, its boundary, and the cotangent space of its interior have torsion free K-theory, we get Ki(A,k) congruent Ki(C(X))⊕Ksub(1-i)(Csub(0)(T*X)),i = 0,1, with k denoting the compact ideal, and T*X denoting the cotangent bundle of the interior. Using Boutet de Monvel's index theorem, we also prove that the above formula holds for i = 1 even without this torsion-free hypothesis. For the case of orientable, two-dimensional X, Ksub(0)(A) congruent Z up(2g+m) and Ksub(1)(A) congruent Z up(2g+m-1), where g is the genus of X and m is the number of connected components of ∂X. We also obtain a composition sequence 0 ⊂ k ⊂ G ⊂ A, with A/G commutative and G/k isomorphic to the algebra of all continuous functions on the cosphere bundle of ∂X with values in compact operators on L²(R+).
The paper deals with elliptic theory on manifolds with boundary represented as a covering space. We compute the index for a class of nonlocal boundary value problems. For a nontrivial covering, the index defect of the Atiyah-Patodi-Singer boundary value problem is computed. We obtain the Poincaré duality in the K-theory of the corresponding manifolds with singularities.
This work is an introduction to anisotropic spaces, which have an ω-weight of analytic functions and are generalizations of Lipshitz classes in the polydisc. We prove that these classes form an algebra and are invariant with respect to monomial multiplication. These operators are bounded in these (Lipshitz and Djrbashian) spaces. As an application, we show a theorem about the division by good-inner functions in the mentioned classes is proved.
Adiabatic vacuum states are a well-known class of physical states for linear quantum fields n Robertson-Walker spacetimes. We extend the definition of adiabatic vacua to general spacetime manifolds by using the notion of the Sobolev wavefront set. This definition is also applicable to interacting field theories. Hadamard states form a special subclass of the adiabatic vacua. We analyze physical properties of adiabatic vacuum representations of the Klein-Gordon field on globally hyperbolic spacetme manifolds (factoriality, quasiequivalence, local definteness, Haag duality) and construct them explicitly, if the manifold has a compact Cauchy surface.
Let A be a determined or overdetermined elliptic differential operator on a smooth compact manifold X. Write Ssub(A)(D) for the space of solutions to thesystem Au = 0 in a domain D ⊂ X. Using reproducing kernels related to various Hilbert structures on subspaces of Ssub(A)(D) we show explicit identifications of the dual spaces. To prove the "regularity" of reproducing kernels up to the boundary of D we specify them as resolution operators of abstract Neumann problems. The matter thus reduces to a regularity theorem for the Neumann problem, a well-known example being the ∂-Neumann problem. The duality itself takes place only for those domains D which possess certain convexity properties with respect to A.
Contents: 1 Introduction 2 Statement of the problem and definitions 3 The main results 4 Proof of theorem 2 4.1 Reduction of problem (2) to functional - integral equations 4.2 The uniqueness of a solution of equation (2) 4.3 The existence of a solution of equation (2) 5 Proof of theorem 1 6 Proof of theorem 3 7 First boundary problem for hyperbolic differential equations 7.1 Statement of the problem 7.2 The formulation of the result and a sketch of the proof
Asymptotic algebras
(2001)
Contents: 1 Introduction 2 Main result 3 Construction of the asymptotic solutions 3.1 Derivation of the equations for the profiles 3.2 Exsistence of the principal profile 3.3 Determination of Usub(2) and the remaining profiles 4 Stability of the samll global solutions. Justification of One Phase Nonlinear Geometric Optics for the Kirchhoff-type equations 4.1 Stability of the global solutions to the Kirchhoff-type symmetric hyperbolic systems 4.2 The nonlinear system of ordinary differential equations with the parameter 4.3 Some energies estimates 4.4 The dependence of the solution W(t, ξ) on the function s(t) 4.5 The oscillatory integrals of the bilinear forms of the solutions 4.6 Estimates for the basic bilinear form Γsub(s)(t) 4.7 Contraction mapping 4.8 Stability of the global solution 4.9 Justification of One Phase Nonlinear Geometric Optics for the Kirchhoff-type equations
Boundary value problems for (pseudo-) differential operators on a manifold with edges can be characterised by a hierarchy of symbols. The symbol structure is responsible or ellipicity and for the nature of parametrices within an algebra of "edge-degenerate" pseudo-differential operators. The edge symbol component of that hierarchy takes values in boundary value problems on an infinite model cone, with edge variables and covariables as parameters. Edge symbols play a crucial role in this theory, in particular, the contribution with holomorphic operatot-valued Mellin symbols. We establish a calculus in s framework of "twisted homogenity" that refers to strongly continuous groups of isomorphisms on weighted cone Sobolev spaces. We then derive an equivalent representation with a particularly transparent composition behaviour.
In this paper, we study the existence of positive solutions of a one-parameter family of logistic equations on R+ or on R. These equations are stationary versions of the Fisher equations and the KPP equations. We also study the blow up region of a sequence of the solutions when the parameter approachs a critical value and the nonexistence of positive solutions beyond the critical value. We use the direct method and the sub and super solution method.
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.
The inhomogeneous ∂-equations is an inexhaustible source of locally unsolvable equations, subelliptic estimates and other phenomena in partial differential equations. Loosely speaking, for the anaysis on complex manifolds with boundary nonelliptic problems are typical rather than elliptic ones. Using explicit integral representations we assign a Fredholm complex to the Dolbeault complex over an arbitrary bounded domain in C up(n).
We study the minimal and maximal closed extension of a differential operator A on a manifold B with conical singularities, when A acts as an unbounded operator on weighted Lp-spaces over B,1 < p < ∞. Under suitable ellipticity assumptions we can define a family of complex powers A up(z), z ∈ C. We also obtain sufficient information on the resolvent of A to show the boundedness of the pure imaginary powers. Examples concern unique solvability and maximal regularity of the solution of the Cauchy problem u' - Δu = f, u(0) = 0, for the Laplacian on conical manifolds.
Boundary value problems for pseudodifferential operators (with or without the transmission property) are characterised as a substructure of the edge pseudodifferential calculus with constant discrete asymptotics. The boundary in this case is the edge and the inner normal the model cone of local wedges. Elliptic boundary value problems for non-integer powers of the Laplace symbol belong to the examples as well as problems for the identity in the interior with a prescribed number of trace and potential conditions. Transmission operators are characterised as smoothing Mellin and Green operators with meromorphic 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
A function has vanishing mean oscillation (VMO) on R up(n) if its mean oscillation - the local average of its pointwise deviation from its mean value - both is uniformly bounded over all cubes within R up(n) and converges to zero with the volume of the cube. The more restrictive class of functions with vanishing lower oscillation (VLO) arises when the mean value is replaced by the minimum value in this definition. It is shown here that each VMO function is the difference of two functions in VLO.
It is shown that bounded solutions to semilinear elliptic Fuchsian equations obey complete asymptoic expansions in terms of powers and logarithms in the distance to the boundary. For that purpose, Schuze's notion of asymptotic type for conormal asymptotics close to a conical point is refined. This in turn allows to perform explicit calculations on asymptotic types - modulo the resolution of the spectral problem for determining the singular exponents in the asmptotic expansions.
We continue the investigation of the calculus of Fourier Integral Operators (FIOs) in the class of symbols with exit behaviour (SG symbols). Here we analyse what happens when one restricts the choice of amplitude and phase functions to the subclass of the classical SG symbols. It turns out that the main composition theorem, obtained in the environment of general SG classes, has a "classical" counterpart. As an application, we study the Cauchy problem for classical hyperbolic operators of order (1, 1); for such operators we refine the known results about the analogous problem for general SG hyperbolic operators. The material contained here will be used in a forthcoming paper to obtain a Weyl formula for a class of operators defined on manifolds with cylindrical ends, improving the results obtained in [9].
We prove a general theorem on the behavior of the relative index under surgery for a wide class of Fredholm operators, including relative index theorems for elliptic operators due to Gromov-Lawson, Anghel, Teleman, Booß-Bavnbek-Wojciechowski, et al. as special cases. In conjunction with additional conditions (like symmetry conditions), this theorem permits one to compute the analytical index of a given operator. In particular, we obtain new index formulas for elliptic pseudodifferential operators and quantized canonical transformations on manifolds with conical singularities.
For a domain D subset of IRn with singular points on the boundary and a weight function ω infinitely differentiable away from the singularpoints in D, we consider a C*-algebra G (D; ω) of operators acting in the weighted space L² (D, ω). It is generated by the operators XD F-¹ σ F XD where σ is a homogeneous function. We show that the techniques of limit operators apply to define a symbol algebra for G (D; ω). When combined with the local principle, this leads to describing the Fredholm operators in G (D; ω).
The problem of analytic representation of integrable CR functions on hypersurfaces with singularities is treated. The nature o singularities does not matter while the set of singularities has surface measure zero. For simple singularities like cuspidal points, edges, corners, etc., also the behaviour of representing analytic functions near singular points is studied.
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
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.
Content: 0.1 Preliminary Remarks Chapter 1: Noncommutative Analysis: Main Ideas, Definitions, and Theorems 1.1 Functions of One Operator (Functional Calculi) 1.2 Functions of Several Operators 1.3 Main Formulas of Operator Calculus 1.4 Main Tools of Noncommutative Analysis 1.5 Composition Laws and Ordered Representations
Crack problems are regarded as elements in a pseudo-differential algbra, where the two sdes int S± of the crack S are treated as interior boundaries and the boundary Y of the crack as an edge singularity. We employ the pseudo-differential calculus of boundary value problems with the transmission property near int S± and the edge pseudo-differential calculus (in a variant with Douglis-Nirenberg orders) to construct parametrices od elliptic crack problems (with extra trace and potential conditions along Y) and to characterise asymptotics of solutions near Y (expressed in the framework of continuous asymptotics). Our operator algebra with boundary and edge symbols contains new weight and order conventions that are necessary also for the more general calculus on manifolds with boundary and edges.
The topological significance of the spectral Atiyah-Patodi-Singer η-invariant is investigated. We show that twice the fractional part of the invariant is computed by the linking pairing in K-theory with the orientation bundle of the manifold. The Pontrjagin duality implies the nondegeneracy of the linking form. An example of a nontrivial fractional part for an even-order operator is presented.
We construct a new calculus of boundary value problems with the transmission property on a non-compact smooth manifold with boundary and conical exits to infinity. The symbols are classical both in covariables and variables. The operators are determined by principal symbol tuples modulo operators of lower orders and weights (such remainders are compact in weighted Sobolev spaces). We develop the concept of ellipticity, construct parametrices within the algebra and obtain the Fredholm property. For the existence of Shapiro-Lopatinskij elliptic boundary conditions to a given elliptic operator we prove an analogue of the Atiyah-Bott condition.
We prove the existence of Hp(D)-limit of iterations of double layer potentials constructed with the use of Hodge parametrix on a smooth compact manifold X, D being an open connected subset of X. This limit gives us an orthogonal projection from Sobolev space Hp(D) to a closed subspace of Hp(D)-solutions of an elliptic operator P of order p ≥ 1. Using this result we obtain formulae for Sobolev solutions to the equation Pu = f in D whenever these solutions exist. This representation involves the sum of a series whose terms are iterations of double layer potentials. Similar regularization is constructed also for a P-Neumann problem in D.
We study the approach to the theory of hypergeometric functions in several variables via a generalization of the Horn system of differential equations. A formula for the dimension of its solution space is given. Using this formula we construct an explicit basis in the space of holomorphic solutions to the generalized Horn system under some assumptions on its parameters. These results are applied to the problem of describing the complement of the amoeba of a rational function, which was posed in [12].
Using the Riemannian connection on a compact manifold X, we show that the algebra of classical pseudo-differential operators on X generates a canonical deformation quantization on the cotangent manifold T*X. The corresponding Abelian connection is calculated explicitly in terms of the of the exponential mapping. We prove also that the index theorem for elliptic operators may be obtained as a consequence of the index theorem for deformation quantization.
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 prove a theorem on analytic representation of integrable CR functions on hypersurfaces with singular points. Moreover, the behaviour of representing analytic functions near singular points is investigated. We are aimed at explaining the new effect caused by the presence of a singularity rather than at treating the problem in full generality.
Given a manifold B with conical singularities, we consider the cone algebra with discrete asymptotics, introduced by Schulze, on a suitable scale of Lp-Sobolev spaces. Ellipticity is proven to be equivalent to the Fredholm property in these spaces, it turns out to be independent of the choice of p. We then show that the cone algebra is closed under inversion: whenever an operator is invertible between the associated Sobolev spaces, its inverse belongs to the calculus. We use these results to analyze the behaviour of these operators on Lp(B).
Pseudodifferential analysis on manifolds with boundary - a comparison of b-calculus and cone algebra
(1999)
We establish a relation between two different approaches to a complete pseudodifferential analysis of totally characteristic or Fuchs type operators on compact manifolds with boundary respectively conical singularities: Melrose's (overblown) b-calculus and Schulze's cone algebra. Though quite different in their definition, we show that these two pseudodifferential calculi basically contain the same operators.
The Green formula is proved for boundary value problems (BVPs), when "basic" operator is arbitrary partial differential operator with variable matrix coefficients and "boundary" operators are quasi-normal with vector-coeficients. If the system possesses the fundamental solution, representation formula for a solution is derived and boundedness properties of participating layer potentials from function spaces on the boundary (Besov, Zygmund spaces) into appropriate weighted function spaces on the inner and the outer domains are established. Some related problems are discussed in conclusion: traces of functions from weighted spaces, traces of potential-type functions, Plemelji formulae,Calderón projections, restricted smoothness of the underlying surface and coefficients. The results have essential applications in investigations of BVPs by the potential method, in apriori estimates and in asymptotics of solutions.
We construct an algebra of pseudo-differential boundary value problems that contains the classical Shapiro-Lopatinskij elliptic problems as well as all differential elliptic problems of Dirac type with APS boundary conditions, together with their parametrices. Global pseudo-differential projections on the boundary are used to define ellipticity and to show the Fredholm property in suitable scales of spaces.
Quantization methods in differential equations : Chapter 2: Quantization of Lagrangian modules
(1999)
In this chapter we use the wave packet transform described in Chapter 1 to quantize extended classical states represented by so-called Lagrangian sumbanifolds of the phase space. Functions on a Lagrangian manifold form a module over the ring of classical Hamiltonian functions on the phase space (with respect to pointwise multiplication). The quantization procedure intertwines this multiplication with the action of the corresponding quantum Hamiltonians; hence we speak of quantization of Lagrangian modules. The semiclassical states obtained by this quantization procedure provide asymptotic solutions to differential equations with a small parameter. Locally, such solutions can be represented by WKB elements. Global solutions are given by Maslov's canonical operator [2]; also see, e.g., [3] and the references therein. Here the canonical operator is obtained in the framework of the universal quantization procedure provided by the wave packet transform. This procedure was suggested in [4] (see also the references there) and further developed in [5]; our exposition is in the spirit of these papers. Some further bibliographical remarks can be found in the beginning of Chapter 1.
The homotopy classification and the index of boundary value problems for general elliptic operators
(1999)
We give the homotopy classification and compute the index of boundary value problems for elliptic equations. The classical case of operators that satisfy the Atiyah-Bott condition is studied first. We also consider the general case of boundary value problems for operators that do not necessarily satisfy the Atiyah-Bott condition.
In 1914 Bohr proved that there is an r ∈ (0, 1) such that if a power series converges in the unit disk and its sum has modulus less than 1 then, for |z| < r, the sum of absolute values of its terms is again less than 1. Recently analogous results were obtained for functions of several variables. The aim of this paper is to comprehend the theorem of Bohr in the context of solutions to second order elliptic equations meeting the maximum principle.
We prove a general theorem on the local property of the relative index for a wide class of Fredholm operators, including relative index theorems for elliptic operators due to Gromov-Lawson, Anghel, Teleman, Booß-Bavnbek-Wojciechowski, et al. as special cases. In conjunction with additional conditions (like symmetry conditions) this theorem permits one to compute the analytical index of a given operator. In particular, we obtain new index formulas for elliptic pseudodifferential operators and quantized canonical transformations on manifolds with conical singularities as well as for elliptic boundary value problems with a symmetry condition for the conormal symbol.
The paper deals with the calculation of the fractional part of the η-invariant for elliptic self-adjoint operators in topological terms. The method used to obtain the corresponding formula is based on the index theorem for elliptic operators in subspaces obtained in [1], [2]. It also utilizes K-theory with coefficients Zsub(n). In particular, it is shown that the group K(T*M,Zsub(n)) is realized by elliptic operators (symbols) acting in appropriate subspaces.
An elliptic theory is constructed for operators acting in subspaces defined via even pseudodifferential projections. Index formulas are obtained for operators on compact manifolds without boundary and for general boundary value problems. A connection with Gilkey's theory of η-invariants is established.
An elliptic theory is constructed for operators acting in subspaces defined via even pseudodifferential projections. Index formulas are obtained for operators on compact manifolds without boundary and for general boundary value problems. A connection with Gilkey's theory of η-invariants is established.
We consider edge-degenerate families of pseudodifferential boundary value problems on a semi-infinite cylinder and study the behavior of their push-forwards as the cylinder is blown up to a cone near infinity. We show that the transformed symbols belong to a particularly convenient symbol class. This result has applications in the Fredholm theory of boundary value problems on manifolds with edges.
It is prooved that mermorphic, parameter-dependet elliptic Mellin symbols can be factorized in a particular way. The proof depends on the availability of logarithms of pseudodifferential operators. As a byproduct, we obtain a characterization of the group generated by pseudodifferential operators admitting a logarithm. The factorization has applications to the theory os pseudodifferential operators on spaces with conical singularities, e.g., to the index theory and the construction of various sub-calculi of the cone calculus.
Let Hsub(0), Hsub(1) be Hilbert spaces and L : Hsub(0) -> Hsub(1) be a linear bounded operator with ||L|| ≤ 1. Then L*L is a bounded linear self-adjoint non-negative operator in the Hilbert space Hsub(0) and one can use the Neumann series ∑∞sub(v=0)(I - L*L)v L*f in order to study solvability of the operator equation Lu = f. In particular, applying this method to the ill-posed Cauchy problem for solutions to an elliptic system Pu = 0 of linear PDE's of order p with smooth coefficients we obtain solvability conditions and representation formulae for solutions of the problem in Hardy spaces whenever these solutions exist. For the Cauchy-Riemann system in C the summands of the Neumann series are iterations of the Cauchy type integral. We also obtain similar results 1) for the equation Pu = f in Sobolev spaces, 2) for the Dirichlet problem and 3) for the Neumann problem related to operator P*P if P is a homogeneous first order operator and its coefficients are constant. In these cases the representations involve sums of series whose terms are iterations of integro-differential operators, while the solvability conditions consist of convergence of the series together with trivial necessary conditions.
We construct a deformation quantization on an infinite-dimensional symplectic space of regular connections on an SU(2)-bundle over a Riemannian surface of genus g ≥ 2. The construction is based on the normal form thoerem representing the space of connections as a fibration over a finite-dimensional moduli space of flat connections whose fibre is a cotangent bundle of the infinite-dimensional gauge group. We study the reduction with respect to the gauge groupe both for classical and quantum cases and show that our quantization commutes with reduction.
The paper is devoted to pseudodifferential boundary value problems in domains with cuspidal wedges. Concerning the geometry we even admit a more general behaviour, namely oscillating cuspidal wedges. We show a criterion for the Fredholm property of a boundary value problem and derive estimates of solutions close to edges.
Generalizing an idea of I. Vekua [1] who, in order to construct theory of plates and shells, fields of displacements, strains and stresses of threedimensional theory of linear elasticity expands into the orthogonal Fourier-series by Legendre Polynomials with respect to the variable along thickness, and then leaves only first N + 1, N = 0, 1, ..., terms, in the bar model under consideration all above quantities have been expanded into orthogonal double Fourier-series by Legendre Polynomials with respect to the variables along thickness, and width of the bar, and then first (Nsub(3) + 1)(Nsub(2) + 1), Nsub(3), Nsub(2) = 0, 1,..., terms have been left. This case will be called (Nsub(3), Nsub(2)) approximation. Both in general (Nsub(3), Nsub(2)) and in particular (0,0) (1,0) cases of approximation, the question of wellposedness of initial and boundary value problems, existence and uniqueness of solutions have been investigated. The cases when variable cross-section turns into segments of straight line, and points have been also considered. Such bars will be called cusped bars (see also [2]).
The paper deals with a non-linear singular partial differential equation: (E) t∂/∂t = F(t, x, u, ∂u/∂x) in the holomorphic category. When (E) is of Fuchsian type, the existence of the unique holomorphic solution was established by Gérard-Tahara [2]. In this paper, under the assumption that (E) is of totally characteristic type, the authors give a sufficient condition for (E) to have a unique holomorphic solution. The result is extended to higher order case.
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.
The quantization of contact transformations of the cosphere bundle over a manifold with conical singularities is described. The index of Fredholm operators given by this quantization is calculated. The answer is given in terms of the Epstein-Melrose contact degree and the conormal symbol of the corresponding operator.
Peter Jones' theorem on the factorization of Ap weights is sharpened for weights with bounds near 1, allowing the factorization to be performed continuously near the limiting, unweighted case. When 1 < p < infinite and omega is an Ap weight with bound Ap(omega) = 1 + epsilon, it is shown that there exist Asub1 weights u, v such that both the formula omega = uv(1-p) and the estimates A1 (u), A1 (v) = 1 + Omikron (√epsilon) hold. The square root in these estimates is also proven to be the correct asymptotic power as epsilon -> 0.
On a compact closed manifold with edges live pseudodifferential operators which are block matrices of operators with additional edge conditions like boundary conditions in boundary value problems. They include Green, trace and potential operators along the edges, act in a kind of Sobolev spaces and form an algebra with a wealthy symbolic structure. We consider complexes of Fréchet spaces whose differentials are given by operators in this algebra. Since the algebra in question is a microlocalization of the Lie algebra of typical vector fields on a manifold with edges, such complexes are of great geometric interest. In particular, the de Rham and Dolbeault complexes on manifolds with edges fit into this framework. To each complex there correspond two sequences of symbols, one of the two controls the interior ellipticity while the other sequence controls the ellipticity at the edges. The elliptic complexes prove to be Fredholm, i.e., have a finite-dimensional cohomology. Using specific tools in the algebra of pseudodifferential operators we develop a Hodge theory for elliptic complexes and outline a few applications thereof.
Parabolic equations on manifolds with singularities require a new calculus of anisotropic pseudo-differential operators with operator-valued symbols. The paper develops this theory along the lines of sn abstract wedge calculus with strongly continuous groups of isomorphisms on the involved Banach spaces. The corresponding pseodo-diferential operators are continuous in anisotropic wedge Sobolev spaces, and they form an alegbra. There is then introduced the concept of anisotropic parameter-dependent ellipticity, based on an order reduction variant of the pseudo-differential calculus. The theory is appled to a class of parabolic differential operators, and it is proved the invertibility in Sobolev spaces with exponential weights at infinity in time direction.
Soit (A, H, F) un module de Fredholm p-sommable, où l'algèbre A = CT est engendrée par un groupe discret Gamma d'éléments unitaires de L(H) qui est de croissance polynomiale r. On construit alors un triplet spectral (A, H, D) sommabilité q pour tout q > p + r + 1 avec F = signD. Dans le cas où (A, H, F) est (p, infini)-sommable on obtient la (q, infini)-sommabilité de (A, H, D)pour tout q > p + r + 1.
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.
We consider a homogeneous pseudodifferential equation on a cylinder C = IR x X over a smooth compact closed manifold X whose symbol extends to a meromorphic function on the complex plane with values in the algebra of pseudodifferential operators over X. When assuming the symbol to be independent on the variable t element IR, we show an explicit formula for solutions of the equation. Namely, to each non-bijectivity point of the symbol in the complex plane there corresponds a finite-dimensional space of solutions, every solution being the residue of a meromorphic form manufactured from the inverse symbol. In particular, for differential equations we recover Euler's theorem on the exponential solutions. Our setting is model for the analysis on manifolds with conical points since C can be thought of as a 'stretched' manifold with conical points at t = -infinite and t = infinite.