S. Levit and U. Smilansky founded twenty years ago a very nice formula for the (regularized-)determinant of a Sturm-Liouville operator in terms of the associated Poincaré mapping. In this paper, I present a direct approach to such formulae by computing some Fresnel integrals. The computation uses the symbolic calculus of Fourier Integral Operators.
On présente ici une approche directe et géométrique pour le calcul des déterminants d’opérateurs de type Schrödinger sur un graphe fini. Du calcul de l’intégrale de Fresnel associée, on déduit le déterminant. Le calcul des intégrales de Fresnel est grandement facilité par l’utilisation simultanée du théorème de Fubini et d’une version linéaire du calcul symbolique des opérateurs intégraux de Fourier. On obtient de façon directe une formule générale exprimant le déterminant en terme des conditions aux bords et du propagateur. Dans le cas d’un opérateur de Sturm-Liouville, le propagateur s’exprime simplement à l’aide de l’application de Poincaré. Le passage au continu permet de retrouver directement la formule de Levit-Smilansky pour le déterminant d’un opérateur de Sturm-Liouville : on introduit et on calcule une régularisation des déterminants d’opérateurs de Sturm-Liouville, appelée régularisation de Feynman, parce que c’est celle qu’on doit utiliser pour calculer la limite semi-classique à partir des intégrales de Feynman. On peut ainsi donner une preuve directe des formules de traces semi-classiques en restant proche de l’intuition des intégrales de Feynman.
@article{AIF_1999__49_3_861_0, author = {Colin De Verdi\`ere, Yves}, title = {D\'eterminants et int\'egrales de {Fresnel}}, journal = {Annales de l'Institut Fourier}, pages = {861--881}, publisher = {Association des Annales de l{\textquoteright}institut Fourier}, volume = {49}, number = {3}, year = {1999}, doi = {10.5802/aif.1696}, mrnumber = {2001k:58065}, zbl = {0920.35042}, language = {fr}, url = {http://archive.numdam.org/articles/10.5802/aif.1696/} }
TY - JOUR AU - Colin De Verdière, Yves TI - Déterminants et intégrales de Fresnel JO - Annales de l'Institut Fourier PY - 1999 SP - 861 EP - 881 VL - 49 IS - 3 PB - Association des Annales de l’institut Fourier UR - http://archive.numdam.org/articles/10.5802/aif.1696/ DO - 10.5802/aif.1696 LA - fr ID - AIF_1999__49_3_861_0 ER -
%0 Journal Article %A Colin De Verdière, Yves %T Déterminants et intégrales de Fresnel %J Annales de l'Institut Fourier %D 1999 %P 861-881 %V 49 %N 3 %I Association des Annales de l’institut Fourier %U http://archive.numdam.org/articles/10.5802/aif.1696/ %R 10.5802/aif.1696 %G fr %F AIF_1999__49_3_861_0
Colin De Verdière, Yves. Déterminants et intégrales de Fresnel. Annales de l'Institut Fourier, Volume 49 (1999) no. 3, pp. 861-881. doi : 10.5802/aif.1696. http://archive.numdam.org/articles/10.5802/aif.1696/
[1] Distribution of Eigenfrequencies for the Wave Equation in a finite Domain I, II et III, Ann. of Physics, 60, 64, 69 (1970, 1971, 1972), 401, 271, 76. | Zbl
, ,[2] Solution of the Schrödinger Equation in Terms of classical Paths, Ann. Phys., 85 (1974), 514-.... | MR | Zbl
, ,[3] Meyer-Vietoris type Formula for Determinants of elliptic differential Operators, J. Funct. Anal., 107, No. 1 (1992), 34-65. | MR | Zbl
, et ,[4] On the determinant of elliptic differential and difference finite operators in vector bundles over S1, Commun. Math. Phys., 138 (1991), 1-18. | MR | Zbl
, et ,[5] On the determinant of elliptic boundary value problems on a line segment, Proc. AMS, 123 (1995), 3027-3038. | MR | Zbl
, et ,[6] Formule de Poisson pour les variétés riemanniennes, Invent. Math., 24 (1974), 65-82. | MR | Zbl
,[7] Réseaux électriques planaires II, Comment. Math. Helvetici, 71 (1996), 144-167. | MR | Zbl
, , ,[8] Spectre du Laplacien et longueurs des géodésiques périodiques I et II, Compositio Mathematica, 27 (1973), 80-106 et 159-184. | Numdam | MR | Zbl
,[9] Paramétrix de l'équation des ondes et intégrales sur l'espace des chemins, Séminaire Goulaouic-Schwartz (1974-1975). | Numdam | Zbl
,[10] Réseaux électriques planaires I, Commentarii Math. Helv., 69 (1994), 351-374. | MR | Zbl
,[11] Multiplicities of Eigenvalues and Tree-width of Graphs, J. Comb. Theory, ser. B, 74 (1998), 121-146. | MR | Zbl
,[12] Product formulas for the eigenvalues of a class of boundary problems, Duke Math. Journal, 45 (1978), 15-37. | MR | Zbl
et ,[13] Fourier Integral Operators II, Acta Math., 128 (1972), 183-269. | MR | Zbl
, ,[14] Fourier Integral Operators, Birkhäuser, 1996. | MR | Zbl
,[15] Oscillatory Integrals,..., Comm. Pure Appl. Math., 27 (1974), 207-281. | Zbl
,[16] The Spectrum of Positiv Elliptic Operators and Periodic Geodesics, Invent. Math., 29 (1975), 39-79. | MR | Zbl
, ,[17] Quantum Mechanics and Path Integrals, McGraw-Hill, New-York, 1965. | Zbl
, ,[18] Harmonic Analysis in Phase Space, Princeton, 1989. | MR | Zbl
,[19] Determinants, Finite-Difference Operators and Boundary Value Problems, Commun. Math. Phys., 147 (1992), 485-526. | MR | Zbl
,[20] Functional Determinants and Geometry, Invent. Math., 88 (1987), 447-493. | MR | Zbl
,[21] Handbook of Feynman Path Integrals, Springer, 1997. | Zbl
, ,[22] Symplectic Techniques in Physics, Cambridge University Press, 1984. | MR | Zbl
, ,[23] Chaos in Classical and Quantum Mechanics, Springer, New-York, 1990. | MR | Zbl
,[24] Chaos and Quantum Physics (école des Houches 1989), North-Holland, 1991.
, , ,[25] The Selberg Trace Formula and the Riemann ζ Function, Duke Math. J., 43 (1976), 441-482. | MR | Zbl
,[26] Fourier Integral Operators I, Acta Math., 127 (1971), 79-183. | MR | Zbl
,[27] Mécanique quantique non relativiste, Mir, Moscou, 1974.
, ,[28] Analyse lagrangienne et mécanique quantique, IRMA, Strasbourg, 1978.
,[29] A Theorem on infinite Products of Eigenvalues of Sturm Type Operators, Proc. AMS, 65 (1977), 299-303. | MR | Zbl
, ,[30] The Mathematical Foundations of Quantum Mechanics, Benjamin, 1963. | Zbl
,[31] Théorie des perturbations et méthodes asymptotiques, Dunod, Gauthiers-Villars, Paris, 1972. | Zbl
,[32] Semi-classical principal Symbols and Gutzwiller's Trace Formula, Rep. Math. Phys., 31 (1992), 279-295. | MR | Zbl
,[33] On the Definition and Approximation of Feynman's Path Integrals, Phys. Rev., 81 (1951), 848-852. | MR | Zbl
,[34] R-torsion and the Laplacian on Riemannian Manifolds, Advances Math., 7 (1971), 145-210. | MR | Zbl
et ,[35] A global uniqueness Theorem for an inverse boundary Value Problem, Ann. Math., 125 (1987), 153-169. | MR | Zbl
, ,[36] Analyse semi-classique de la formule des traces de Selberg, Séminaire de théorie spectrale et géométrie (Grenoble), 5 (1986-1987), 57-66. | Numdam | MR | Zbl
,[37] Spectral function, special functions and Selberg zeta function, Commun. Math. Phys., 110 (1987), 439-465. | MR | Zbl
,[38] Lectures on Symplectic Manifolds, Conference Board of the Mathematical Sciences Regional Conference Series in Mathematics. No. 29, American Mathematical Society, (1977). | MR | Zbl
,Cited by Sources: