Déterminants et intégrales de Fresnel
Annales de l'Institut Fourier, Volume 49 (1999) no. 3, pp. 861-881.

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] R. Balian, C. Bloch, 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] R. Balian, C. Bloch, Solution of the Schrödinger Equation in Terms of classical Paths, Ann. Phys., 85 (1974), 514-.... | MR | Zbl

[3] D. Burghelea, L. Friedlander et T. Kappeler, Meyer-Vietoris type Formula for Determinants of elliptic differential Operators, J. Funct. Anal., 107, No. 1 (1992), 34-65. | MR | Zbl

[4] D. Burghelea, L. Friedlander et T. Kappeler, On the determinant of elliptic differential and difference finite operators in vector bundles over S1, Commun. Math. Phys., 138 (1991), 1-18. | MR | Zbl

[5] D. Burghelea, L. Friedlander et T. Kappeler, On the determinant of elliptic boundary value problems on a line segment, Proc. AMS, 123 (1995), 3027-3038. | MR | Zbl

[6] J. Chazarain, Formule de Poisson pour les variétés riemanniennes, Invent. Math., 24 (1974), 65-82. | MR | Zbl

[7] Yves Colin De Verdière, I. Gitler, D. Vertigan, Réseaux électriques planaires II, Comment. Math. Helvetici, 71 (1996), 144-167. | MR | Zbl

[8] Y. Colin De Verdière, 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] Y. Colin De Verdière, Paramétrix de l'équation des ondes et intégrales sur l'espace des chemins, Séminaire Goulaouic-Schwartz (1974-1975). | Numdam | Zbl

[10] Y. Colin De Verdière, Réseaux électriques planaires I, Commentarii Math. Helv., 69 (1994), 351-374. | MR | Zbl

[11] Y. Colin De Verdière, Multiplicities of Eigenvalues and Tree-width of Graphs, J. Comb. Theory, ser. B, 74 (1998), 121-146. | MR | Zbl

[12] T. Dreyfus et H. Dym, Product formulas for the eigenvalues of a class of boundary problems, Duke Math. Journal, 45 (1978), 15-37. | MR | Zbl

[13] J. Duistermaat, L. Hörmander, Fourier Integral Operators II, Acta Math., 128 (1972), 183-269. | MR | Zbl

[14] J. Duistermaat, Fourier Integral Operators, Birkhäuser, 1996. | MR | Zbl

[15] J. Duistermaat, Oscillatory Integrals,..., Comm. Pure Appl. Math., 27 (1974), 207-281. | Zbl

[16] J. Duistermaat, V. Guillemin, The Spectrum of Positiv Elliptic Operators and Periodic Geodesics, Invent. Math., 29 (1975), 39-79. | MR | Zbl

[17] R. Feynman, A. Hibbs, Quantum Mechanics and Path Integrals, McGraw-Hill, New-York, 1965. | Zbl

[18] G. Folland, Harmonic Analysis in Phase Space, Princeton, 1989. | MR | Zbl

[19] R. Forman, Determinants, Finite-Difference Operators and Boundary Value Problems, Commun. Math. Phys., 147 (1992), 485-526. | MR | Zbl

[20] R. Forman, Functional Determinants and Geometry, Invent. Math., 88 (1987), 447-493. | MR | Zbl

[21] C. Grosche, F. Steiner, Handbook of Feynman Path Integrals, Springer, 1997. | Zbl

[22] V. Guillemin, S. Sternberg, Symplectic Techniques in Physics, Cambridge University Press, 1984. | MR | Zbl

[23] M. Gutzwiller, Chaos in Classical and Quantum Mechanics, Springer, New-York, 1990. | MR | Zbl

[24] M.J. Giannoni, A. Voros, J. Zinn-Justin, Chaos and Quantum Physics (école des Houches 1989), North-Holland, 1991.

[25] D. Hejhal, The Selberg Trace Formula and the Riemann ζ Function, Duke Math. J., 43 (1976), 441-482. | MR | Zbl

[26] L. Hörmander, Fourier Integral Operators I, Acta Math., 127 (1971), 79-183. | MR | Zbl

[27] L. Landau, E. Lifshitz, Mécanique quantique non relativiste, Mir, Moscou, 1974.

[28] J. Leray, Analyse lagrangienne et mécanique quantique, IRMA, Strasbourg, 1978.

[29] S. Levit, U. Smilansky, A Theorem on infinite Products of Eigenvalues of Sturm Type Operators, Proc. AMS, 65 (1977), 299-303. | MR | Zbl

[30] G. Mackey, The Mathematical Foundations of Quantum Mechanics, Benjamin, 1963. | Zbl

[31] V. Maslov, Théorie des perturbations et méthodes asymptotiques, Dunod, Gauthiers-Villars, Paris, 1972. | Zbl

[32] E. Meinrenken, Semi-classical principal Symbols and Gutzwiller's Trace Formula, Rep. Math. Phys., 31 (1992), 279-295. | MR | Zbl

[33] C. Morette-De Witt, On the Definition and Approximation of Feynman's Path Integrals, Phys. Rev., 81 (1951), 848-852. | MR | Zbl

[34] D.B. Ray et I.M. Singer, R-torsion and the Laplacian on Riemannian Manifolds, Advances Math., 7 (1971), 145-210. | MR | Zbl

[35] J. Sylvester, G. Uhlmann, A global uniqueness Theorem for an inverse boundary Value Problem, Ann. Math., 125 (1987), 153-169. | MR | Zbl

[36] A. Voros, 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] A. Voros, Spectral function, special functions and Selberg zeta function, Commun. Math. Phys., 110 (1987), 439-465. | MR | Zbl

[38] A. Weinstein, 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: