DOCSLIB.ORG

Introductory Fredholm Theory and Computation

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Introductory Fredholm Theory and Computation Review notes Introductory Fredholm theory and computation Issa Karambal · Veerle Ledoux · Simon J.A. Malham · Jitse Niesen v1: 20th November 2010; v2: 21st August 2014 Abstract We provide an introduction to Fredholm theory and discuss using the Fred- holm determinant to compute pure-point spectra. Keywords Fredholm theory Mathematics Subject Classification (2000) 65L15, 65L10 Issa Karambal · Simon J.A. Malham Maxwell Institute for Mathematical Sciences and School of Mathematical and Computer Sciences Heriot-Watt University, Edinburgh EH14 4AS, UK Tel.: +44-131-4513200 Fax: +44-131-4513249 E-mail: [email protected] Veerle Ledoux Vakgroep Toegepaste Wiskunde en Informatica Ghent University, Krijgslaan, 281-S9 B-9000 Gent, Belgium E-mail: [email protected] Jitse Niesen School of Mathematics University of Leeds Leeds, LS2 9JT, UK E-mail: [email protected] 2 Karambal, Ledoux, Malham, Niesen 1 Trace class and Hilbert{Schmidt operators Before defining the Fredholm determinant we need to review some basic spectral and tensor algebra theory; to which this and the next sections are devoted. For this discus- n sion we suppose that H is a C -valued Hilbert space with the standard inner product h·; ·i ; linear in the second factor and conjugate linear in the first. Most of the results H in this section are collated and extended from results in Simon [24{26] and Reed and Simon [27,28]. We are interested in non-self adjoint trace class or Hilbert{Schmidt class linear operators K 2 L(H). 1.1 Absolute value and polar decomposition Definition 1 (Positive operator) An operator K 2 L( ) is called positive if hK'; 'i H H > 0 for all ' 2 H. We write K > 0 for such an operator and, for example, K1 6 K2 if K2 − K1 > 0. ∗ Note that every bounded positive operator on H is self-adjoint: K = K. For any p p 2 K > 0 there is a unique operator K such that K = ( K) . For any K 2 L(Hp), note that K∗K 0 since hK∗K'; 'i = kK'k2 0. In particular, we define jKj = K∗K. > H H > Lastly note that kjKj'k2 = kK'k2 . H H Theorem 1 (Polar decomposition) There exists a unique operator U so that: 1. K = U jKj; this is the polar decomposition of K; ? 2. kU'kH = k'kH for ' 2 Ran jKj = (ker K) ; ? 3. kU'kH = 0 for ' 2 (Ran jKj) = ker K. Note that jKj = U ∗ K. 1.2 Compact operators and canonical expansion We say that the bounded operator K 2 L(H) has finite rank if rank(K) = dim(RanK) < 1. A bounded operator K is call compact if and only if it is the norm limit of finite rank operators. More generally we have the following. Definition 2 (Compact operators, Reed and Simon [27, p. 199]) Let X and Y be two Banach spaces. An operator K 2 L(X; Y) is called compact (or completely continuous) if K takes bounded sets in X into precompact sets in Y. Equivalently, K is compact if and only if for every bounded sequence fxng ⊂ X, then fK xng has a subsequence convergent in Y. Theorem 2 (Hilbert{Schmidt; see Reed and Simon [27, p. 203]) Let K be a self- adjoint compact operator on H. Then there is a complete orthonormal basis f'mg for H so that K'm = λm'm. We use J1 = J1(H) to denote the family of compact operators. Theorem 3 (Simon [26, p. 2]) The family of compact operators J1 is a two-sided ideal closed under taking adjoints. In particular, K 2 J1 if and only if jKj 2 J1. Introductory Fredholm theory and computation 3 Theorem 4 (Canonical expansion, Simon [26, p. 2]) Suppose K 2 J1, then K has a norm convergent expansion, for any φ 2 H: N X K φ = µm(K)h'm; φi m H m=1 N N where N = N(K) is a finite non-negative integer or infinity, f'mgm=1 and f mgm=1 are orthonormal sets and the unique positive values µ1(K) > µ2(K) > ::: are known as the singular values of K. 1.3 Trace class and Hilbert{Schmidt ideals Theorem 5 (Reed and Simon [27], p. 206-7) Let H be a separable Hilbert space with 1 orthonormal basis f'mgm=1. Then for any positive operator K 2 L(H), we define 1 X tr K := h'm;K'mi : H m=1 The number tr K is called the trace of K and is independent of the orthonormal basis chosen. The trace has the following properties: 1. tr (K1 + K2) = tr K1 + tr K2; 2. tr (zK1) = z tr K1 for all z > 0; −1 3. tr (UK1U ) = tr K1 for any unitary operator U; 4. If 0 6 K1 6 K2, then tr K1 6 tr K2. Definition 3 (Trace class) An operator K 2 L(H) is called trace class if and only if tr jKj < 1. The family of all trace class operators is denoted J1 = J1(H). Theorem 6 (Reed and Simon [27], p. 207) The family of trace class operators J1(H) is a ∗-ideal in L(H), i.e. 1. J1 is a vector space; 2. If K1 2 J1 and K2 2 L(H), then K1K2 2 J1 and K2K1 2 J1; ∗ 3. If K 2 J1 then K 2 J1. We now collect some results together from Reed and Simon [27, p. 209]. Theorem 7 We have the following results: 1. The space of operators J1 is a Banach space with norm kKkJ1 := tr jKj and kKk 6 kKkJ1 . P 2. Every K 2 J1 is compact. A compact operator K is in J1 if and only if µm < 1 1 where fµmgm=1 are the singular values of K. 3. The finite rank operators are k · kJ1 -dense in J1. Definition 4 (Hilbert{Schmidt) An operator K 2 L(H) is called Hilbert{Schmidt if ∗ and only if tr K K < 1. The family of Hilbert{Schmidt operators is denoted J2 = J2(H). Theorem 8 (Hilbert{Schmidt operators, Reed and Simon [27, p. 210]) For the family of Hilbert{Schmidt operators, we have the following properties: 4 Karambal, Ledoux, Malham, Niesen 1. The family of operators J2 is a ∗-ideal; 2. If K1;K2 2 J2, then for any orthonormal basis f'mg, 1 X ∗ h'm;K K2 'mi 1 H m=1 is absolutely summable, and its limit, denoted by hK ;K i , is independent of the 1 2 J2 orthonormal basis chosen; 3. J with inner product h·; ·i is a Hilbert space; 2 J2 4. If kKk := phK; Ki = (tr K∗K)1=2, then J2 J2 ∗ kKk 6 kKkJ2 6 kKkJ1 and kKkJ2 = kK kJ2 ; 5. Every K 2 J2 is compact and a compact operator, K, is in J2, if and only if P 2 µm < 1, where the µm are the singular values of K; 6. The finite rank operators are k · kJ2 -dense in J2. Theorem 9 (Reed and Simon [27, p. 210]) Let (Ω; dν) be a measure space and H = 2 L (Ω; dν) The operator K 2 L(H) is Hilbert{Schmidt if and only if there is a function 2 G 2 L (Ω × Ω; dν ⊗ dν) with Z (KU)(x) = G(x; ξ) U(ξ) dν(ξ): Further, we have that ZZ 2 2 kKkJ2 = jG(x; ξ)j dν(x) dν(ξ): 1 Theorem 10 (Reed and Simon [27, p. 211]) If K 2 J1 and f'mgm=1 is any orthonor- mal basis, then tr K converges absolutely and the limit is independent of the choice of basis. Definition 5 (Trace, Reed and Simon [27, p. 211]) The map tr: J1 ! C given by P h'm;K'mi where f'mg is any orthonormal basis is called the trace. H 2 Multilinear algebra 2.1 Tensor product spaces The tensor product of two vector spaces V and W over a field K is a vector space V⊗W equipped with a bilinear map V × W ! V ⊗ W; v × w 7! v ⊗ w; which is universal. The bilinear map is universal in the sense that for any bilinear map β : V × W ! U to a vector space U, there is a unique linear map from V ⊗ W to U that takes v ⊗ w to β(v; w). This universality property determines the tensor product up to a canonical isomorphism. Given a Hilbert space with inner product h·; ·i , we denote by ⊗m the tensor H H H product H ⊗ · · · ⊗ H (m times). It is a vector space and if H = spanf'kg then ⊗m H = spanf'1 ⊗ · · · ⊗ 'm : '1;:::;'m 2 Hg: Introductory Fredholm theory and computation 5 ⊗0 ⊗m By convention H is the ground field K. We define an inner product on H by m Y h'; i ⊗m := h' ; i H i i H i=1 for ' = '1 ⊗ · · · ⊗ 'm and = 1 ⊗ · · · ⊗ m. It is easy to show that if f'ngn2N is an orthonormal basis for then f' ⊗ · · · ⊗ ' g m is an orthonormal H i1 im fi1;:::;img2N ⊗m basis for H with respect to the inner product above. Given K 2 L(H), there exists ⊗m ⊗m a natural linear operator K 2 L(H ) given by ⊗m K : '1 ⊗ · · · ⊗ 'm 7! K'1 ⊗ · · · ⊗ K'm: ⊗m m ^m There are two natural subspaces of H namely, Alt H or H , the vector subspace m of exterior (or alternating) powers, and Sym H, the vector subspace of symmetric pow- ers.
Load more

Recommended publications
  • On the Origin and Early History of Functional Analysis
    U.U.D.M. Project Report 2008:1 On the origin and early history of functional analysis Jens Lindström Examensarbete i matematik, 30 hp Handledare och examinator: Sten Kaijser Januari 2008 Department of Mathematics Uppsala University Abstract In this report we will study the origins and history of functional analysis up until 1918. We begin by studying ordinary and partial differential equations in the 18th and 19th century to see why there was a need to develop the concepts of functions and limits. We will see how a general theory of infinite systems of equations and determinants by Helge von Koch were used in Ivar Fredholm’s 1900 paper on the integral equation b Z ϕ(s) = f(s) + λ K(s, t)f(t)dt (1) a which resulted in a vast study of integral equations. One of the most enthusiastic followers of Fredholm and integral equation theory was David Hilbert, and we will see how he further developed the theory of integral equations and spectral theory. The concept introduced by Fredholm to study sets of transformations, or operators, made Maurice Fr´echet realize that the focus should be shifted from particular objects to sets of objects and the algebraic properties of these sets. This led him to introduce abstract spaces and we will see how he introduced the axioms that defines them. Finally, we will investigate how the Lebesgue theory of integration were used by Frigyes Riesz who was able to connect all theory of Fredholm, Fr´echet and Lebesgue to form a general theory, and a new discipline of mathematics, now known as functional analysis.
    [Show full text]
  • Floer Homology on Symplectic Manifolds
    Floer Homology on Symplectic Manifolds KWONG, Kwok Kun A Thesis Submitted in Partial Fulfillment of the Requirements for the Degree of Master of Philosophy in Mathematics c The Chinese University of Hong Kong August 2008 The Chinese University of Hong Kong holds the copyright of this thesis. Any person(s) intending to use a part or whole of the materials in the thesis in a proposed publication must seek copyright release from the Dean of the Graduate School. Thesis/Assessment Committee Professor Wan Yau Heng Tom (Chair) Professor Au Kwok Keung Thomas (Thesis Supervisor) Professor Tam Luen Fai (Committee Member) Professor Dusa McDuff (External Examiner) Floer Homology on Symplectic Manifolds i Abstract The Floer homology was invented by A. Floer to solve the famous Arnold conjecture, which gives the lower bound of the fixed points of a Hamiltonian symplectomorphism. Floer’s theory can be regarded as an infinite dimensional version of Morse theory. The aim of this dissertation is to give an exposition on Floer homology on symplectic manifolds. We will investigate the similarities and differences between the classical Morse theory and Floer’s theory. We will also explain the relation between the Floer homology and the topology of the underlying manifold. Floer Homology on Symplectic Manifolds ii ``` ½(ÝArnold øî×bÛñøÝFÝóê ×Íì§A. FloerxñÝFloer!§¡XÝ9 Floer!§¡Ú Morse§¡Ý×ÍP§îÌÍÍ¡Zº EøîÝFloer!®×Í+&ƺD¡BÎMorse§¡ Floer§¡Ý8«õ! ¬ÙÕFloer!ÍXòøc RÝn; Floer Homology on Symplectic Manifolds iii Acknowledgements I would like to thank my advisor Prof. Thomas Au Kwok Keung for his encouragement in writing this thesis. I am grateful to all my teachers.
    [Show full text]
  • Clustering and the Three-Point Function
    Clustering and the Three-Point Function Yunfeng Jianga, Shota Komatsub, Ivan Kostovc1, Didina Serbanc a Institut f¨urTheoretische Physik, ETH Z¨urich, Wolfgang Pauli Strasse 27, CH-8093 Z¨urich,Switzerland b Perimeter Institute for Theoretical Physics, Waterloo, Ontario, Canada c Institut de Physique Th´eorique,DSM, CEA, URA2306 CNRS Saclay, F-91191 Gif-sur-Yvette, France [email protected], [email protected], ivan.kostov & [email protected] Abstract We develop analytical methods for computing the structure constant for three heavy operators, starting from the recently proposed hexagon approach. Such a structure constant is a semiclassical object, with the scale set by the inverse length of the operators playing the role of the Planck constant. We reformulate the hexagon expansion in terms of multiple contour integrals and recast it as a sum over clusters generated by the residues of the measure of integration. We test the method on two examples. First, we compute the asymptotic three-point function of heavy fields at any coupling and show the result in the semiclassical limit matches both the string theory computation at strong coupling and the arXiv:1604.03575v2 [hep-th] 22 May 2016 tree-level results obtained before. Second, in the case of one non-BPS and two BPS operators at strong coupling we sum up all wrapping corrections associated with the opposite bridge to the non-trivial operator, or the \bottom" mirror channel. We also give an alternative interpretation of the results in terms of a gas of fermions and show that they can be expressed compactly as an operator- valued super-determinant.
    [Show full text]
  • Operators and Special Functions in Random Matrix Theory
    Operators and Special Functions in Random Matrix Theory Andrew McCafferty, MSci Submitted for the degree of Doctor of Philosophy at Lancaster University March 2008 Operators and Special Functions in Random Matrix Theory Andrew McCafferty, MSci Submitted for the degree of Doctor of Philosophy at Lancaster University, March 2008 Abstract The Fredholm determinants of integral operators with kernel of the form A(x)B(y) A(y)B(x) − x y − arise in probabilistic calculations in Random Matrix Theory. These were ex- tensively studied by Tracy and Widom, so we refer to them as Tracy–Widom operators. We prove that the integral operator with Jacobi kernel converges in trace norm to the integral operator with Bessel kernel under a hard edge scaling, using limits derived from convergence of differential equation coef- ficients. The eigenvectors of an operator with kernel of Tracy–Widom type can sometimes be deduced via a commuting differential operator. We show that no such operator exists for TW integral operators acting on L2(R). There are analogous operators for discrete random matrix ensembles, and we give sufficient conditions for these to be expressed as the square of a Han- kel operator: writing an operator in this way aids calculation of Fredholm determinants. We also give a new example of discrete TW operator which can be expressed as the sum of a Hankel square and a Toeplitz operator. Previously unsolvable equations are dealt with by threats of reprisals . Woody Allen 2 Acknowledgements I would like to thank many people for helping me through what has sometimes been a difficult three years.
    [Show full text]
  • Basic Theory of Fredholm Operators Annali Della Scuola Normale Superiore Di Pisa, Classe Di Scienze 3E Série, Tome 21, No 2 (1967), P
    ANNALI DELLA SCUOLA NORMALE SUPERIORE DI PISA Classe di Scienze MARTIN SCHECHTER Basic theory of Fredholm operators Annali della Scuola Normale Superiore di Pisa, Classe di Scienze 3e série, tome 21, no 2 (1967), p. 261-280 <http://www.numdam.org/item?id=ASNSP_1967_3_21_2_261_0> © Scuola Normale Superiore, Pisa, 1967, tous droits réservés. L’accès aux archives de la revue « Annali della Scuola Normale Superiore di Pisa, Classe di Scienze » (http://www.sns.it/it/edizioni/riviste/annaliscienze/) implique l’accord avec les conditions générales d’utilisation (http://www.numdam.org/conditions). Toute utilisa- tion commerciale ou impression systématique est constitutive d’une infraction pénale. Toute copie ou impression de ce fichier doit contenir la présente mention de copyright. Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques http://www.numdam.org/ BASIC THEORY OF FREDHOLM OPERATORS (*) MARTIN SOHECHTER 1. Introduction. " A linear operator A from a Banach space X to a Banach space Y is called a Fredholm operator if 1. A is closed 2. the domain D (A) of A is dense in X 3. a (A), the dimension of the null space N (A) of A, is finite 4. .R (A), the range of A, is closed in Y 5. ~ (A), the codimension of R (A) in Y, is finite. The terminology stems from the classical Fredholm theory of integral equations. Special types of Fredholm operators were considered by many authors since that time, but systematic treatments were not given until the work of Atkinson [1]~ Gohberg [2, 3, 4] and Yood [5]. These papers conside- red bounded operators.
    [Show full text]
  • Arxiv:Math/0312267V1
    (MODIFIED) FREDHOLM DETERMINANTS FOR OPERATORS WITH MATRIX-VALUED SEMI-SEPARABLE INTEGRAL KERNELS REVISITED FRITZ GESZTESY AND KONSTANTIN A. MAKAROV Dedicated with great pleasure to Eduard R. Tsekanovskii on the occasion of his 65th birthday. Abstract. We revisit the computation of (2-modified) Fredholm determi- nants for operators with matrix-valued semi-separable integral kernels. The latter occur, for instance, in the form of Green’s functions associated with closed ordinary differential operators on arbitrary intervals on the real line. Our approach determines the (2-modified) Fredholm determinants in terms of solutions of closely associated Volterra integral equations, and as a result offers a natural way to compute such determinants. We illustrate our approach by identifying classical objects such as the Jost function for half-line Schr¨odinger operators and the inverse transmission coeffi- cient for Schr¨odinger operators on the real line as Fredholm determinants, and rederiving the well-known expressions for them in due course. We also apply our formalism to Floquet theory of Schr¨odinger operators, and upon identify- ing the connection between the Floquet discriminant and underlying Fredholm determinants, we derive new representations of the Floquet discriminant. Finally, we rederive the explicit formula for the 2-modified Fredholm de- terminant corresponding to a convolution integral operator, whose kernel is associated with a symbol given by a rational function, in a straghtforward manner. This determinant formula represents a Wiener–Hopf
    [Show full text]
  • Determinants of Elliptic Pseudo-Differential Operators 3
    DETERMINANTS OF ELLIPTIC PSEUDO-DIFFERENTIAL OPERATORS MAXIM KONTSEVICH AND SIMEON VISHIK March 1994 Abstract. Determinants of invertible pseudo-differential operators (PDOs) close to positive self-adjoint ones are defined through the zeta-function regularization. We define a multiplicative anomaly as the ratio det(AB)/(det(A) det(B)) con- sidered as a function on pairs of elliptic PDOs. We obtained an explicit formula for the multiplicative anomaly in terms of symbols of operators. For a certain natural class of PDOs on odd-dimensional manifolds generalizing the class of elliptic dif- ferential operators, the multiplicative anomaly is identically 1. For elliptic PDOs from this class a holomorphic determinant and a determinant for zero orders PDOs are introduced. Using various algebraic, analytic, and topological tools we study local and global properties of the multiplicative anomaly and of the determinant Lie group closely related with it. The Lie algebra for the determinant Lie group has a description in terms of symbols only. Our main discovery is that there is a quadratic non-linearity hidden in the defi- nition of determinants of PDOs through zeta-functions. The natural explanation of this non-linearity follows from complex-analytic prop- erties of a new trace functional TR on PDOs of non-integer orders. Using TR we easily reproduce known facts about noncommutative residues of PDOs and obtain arXiv:hep-th/9404046v1 7 Apr 1994 several new results. In particular, we describe a structure of derivatives of zeta- functions at zero as of functions on logarithms of elliptic PDOs. We propose several definitions extending zeta-regularized determinants to gen- eral elliptic PDOs.
    [Show full text]
  • Spectral Theory for Polynomially Demicompact Operators
    Filomat 33:7 (2019), 2017–2030 Published by Faculty of Sciences and Mathematics, https://doi.org/10.2298/FIL1907017B University of Niš, Serbia Available at: http://www.pmf.ni.ac.rs/filomat Spectral Theory for Polynomially Demicompact Operators Fatma Ben Brahima, Aref Jeribia, Bilel Krichena aDepartment of Mathematics. Faculty of Sciences of Sfax. University of Sfax Abstract.In this article, we introduce the notion of polynomial demicompactness and we use it to give some results on Fredholm operators and to establish a fine description of some essential spectra of a closed densely defined linear operator. Our work is a generalization of many known ones in the literature. 1. Introduction Throughout this paper, X and Y denote two infinite dimensional complex Banach spaces. We denote by (X; Y) (resp. (X; Y)) the set of all closed densely defined (resp. bounded) linear operators acting fromC X into Y. TheL subspace of all compact (resp. weakly compact) operators of (X; Y) is denoted by (X; Y) ( resp. (X; Y)). For T (X; Y), we denote by α(T) the dimension ofL the kernel (T) andK by β(T) the codimensionW of the range2 C (T) in Y. The next sets of upper semi-Fredholm, lowerN semi-Fredholm, Fredholm and semi-FredholmR operators from X into Y are, respectively, defined by Φ (X; Y) = T (X; Y) such that α(T) < and (T) closed in Y , + f 2 C 1 R g Φ (X; Y) = T (X; Y) such that β(T) < and (T) closed in Y , − f 2 C 1 R g Φ(X; Y):= Φ (X; Y) Φ+(X; Y), − \ and Φ (X; Y):= Φ (X; Y) Φ+(X; Y).
    [Show full text]
  • On the Numerical Evaluation of Fredholm Determinants 1
    MATHEMATICS OF COMPUTATION Volume 79, Number 270, April 2010, Pages 871–915 S 0025-5718(09)02280-7 Article electronically published on September 24, 2009 ON THE NUMERICAL EVALUATION OF FREDHOLM DETERMINANTS FOLKMAR BORNEMANN Abstract. Some significant quantities in mathematics and physics are most naturally expressed as the Fredholm determinant of an integral operator, most notably many of the distribution functions in random matrix theory. Though their numerical values are of interest, there is no systematic numerical treat- ment of Fredholm determinants to be found in the literature. Instead, the few numerical evaluations that are available rely on eigenfunction expansions of the operator, if expressible in terms of special functions, or on alternative, nu- merically more straightforwardly accessible analytic expressions, e.g., in terms of Painlev´e transcendents, that have masterfully been derived in some cases. In this paper we close the gap in the literature by studying projection methods and, above all, a simple, easily implementable, general method for the numer- ical evaluation of Fredholm determinants that is derived from the classical Nystr¨om method for the solution of Fredholm equations of the second kind. Using Gauss–Legendre or Clenshaw–Curtis as the underlying quadrature rule, we prove that the approximation error essentially behaves like the quadrature error for the sections of the kernel. In particular, we get exponential con- vergence for analytic kernels, which are typical in random matrix theory. The application of the method to the distribution functions of the Gaussian unitary ensemble (GUE), in the bulk scaling limit and the edge scaling limit, is dis- cussed in detail.
    [Show full text]
  • Instantons on Conic 4-Manifolds: Fredholm Theory
    J. Korean Math. Soc. 44 (2007), No. 2, pp. 275{296 INSTANTONS ON CONIC 4-MANIFOLDS: FREDHOLM THEORY Weiping Li and Shuguang Wang Reprinted from the Journal of the Korean Mathematical Society Vol. 44, No. 2, March 2007 °c 2007 The Korean Mathematical Society J. Korean Math. Soc. 44 (2007), No. 2, pp. 275{296 INSTANTONS ON CONIC 4-MANIFOLDS: FREDHOLM THEORY Weiping Li and Shuguang Wang Abstract. We study the self-duality operator on conic 4-manifolds. The self-duality operator can be identi¯ed as a regular singular operator in the sense of BrÄuningand Seeley, based on which we construct its parametriza- tions and closed extensions. We also compute the indexes. 1. Introduction The main purpose of the paper is to initiate the investigation of gauge theory on a class of manifolds that have the simplest kind of singularity. Let X0 be a compact smooth manifold with boundary Y . The associated topological conical space X is by de¯nition the gluing X0 [Y N along Y , where N = [0; 1]£Y=f0g£Y , i.e., one boundary f0g£Y collapsing into a single point c. Clearly X is a compact topological space but the manifold structure at c is singular. To best suit this type of singularity, we place the (close) conic metric 2 2 of the form dt + t gY on N away from c, where gY is any smooth Riemannian metric on Y . Conical spaces and conic metrics arise naturally in many di®erent contexts. In Algebraic Geometry, a conic singular complex surface is obtained by con- tracting a curve of negative self intersection in a smooth KÄahlersurface.
    [Show full text]
  • Fredholm and Local Spectral Theory, with Applications to Multipliers
    springer.com Mathematics : Operator Theory Aiena, Pietro Fredholm and Local Spectral Theory, with Applications to Multipliers A signi?cant sector of the development of spectral theory outside the classical area of Hilbert space may be found amongst at multipliers de?ned on a complex commutative Banach algebra A. Although the general theory of multipliers for abstract Banach algebras has been widely investigated by several authors, it is surprising how rarely various aspects of the spectral theory, for instance Fredholm theory and Riesz theory, of these important classes of operators have been studied. This scarce consideration is even more surprising when one observes that the various aspects of spectral t- ory mentioned above are quite similar to those of a normal operator de?ned on a complex Hilbert space. In the last ten years the knowledge of the spectral properties of multip- ers of Banach algebras has increased considerably, thanks to the Springer researches undertaken by many people working in local spectral theory and Fredholm theory. 2004, XIV, 444 p. 1st This research activity recently culminated with the publication of the book of Laursen and edition Neumann [214], which collects almost every thing that is known about the spectral theory of multipliers. Printed book Order online at springer.com/booksellers Hardcover Springer Nature Customer Service Center LLC 233 Spring Street Printed book New York, NY 10013 Hardcover USA ISBN 978-1-4020-1830-5 T: +1-800-SPRINGER NATURE $ 139,99 (777-4643) or 212-460-1500 [email protected] Available Discount group Professional Books (2) Product category Monograph Other renditions Softcover ISBN 978-90-481-6522-3 Softcover ISBN 978-94-017-4016-6 Prices and other details are subject to change without notice.
    [Show full text]
  • Heat Kernel Asymptotics, Path Integrals and Infinite-Dimensional
    Heat Kernel Asymptotics, Path Integrals and Infinite-Dimensional Determinants Matthias Ludewig May 25, 2018 Max-Planck Institute for Mathematics Vivatgasse 7 / 53119 Bonn [email protected] Abstract We compare the short-time expansion of the heat kernel on a Riemannian mani- fold with the formal stationary phase expansion of its representing path integral and prove that these asymptotic expansions coincide at lowest order. Besides shedding light on the formal properties of quantum mechanical path integrals, this shows that the lowest order term of the heat kernel expansion is given by the Fredholm determinant of the Hessian of the energy functional on the space of finite energy paths. We also relate this to the zeta determinant of the Jacobi operator, considering both the near-diagonal asymptotics as well as the behavior at the cut locus. 1 Introduction and Main Results Feynman’s approach to quantum mechanics is based on path integrals, i.e. integrals over infinite-dimensional spaces of paths [FH65]. This concept of functional integration, i.e. integration over spaces of fields, turned out to be immensely important not only in quan- arXiv:1607.05891v3 [math.DG] 24 May 2018 tum mechanics but also in quantum field theory and many other areas of physics and mathematics [Kle09]. Mathematically however, these functional integrals are problematic to deal with at best, and this paper is part of the quest of gaining a rigorous understanding of this concept in the basic case of quantum mechanical path integrals. A guiding question is the following. Q: In the cases where a path integral can be rigorously defined, do the prop- erties of the well-defined object agree with those properties derived by formal manipulations of the path integral (i.e.
    [Show full text]