English

The topology of the monodromy map of the second order ODE

Classical Analysis and ODEs 2007-05-23 v1 Functional Analysis

Abstract

We consider the following question: given ASL(2,R)A \in SL(2,R), which potentials qq for the second order Sturm-Liouville problem have AA as its Floquet multiplier? More precisely, define the monodromy map μ\mu taking a potential qL2([0,2π])q \in L^2([0,2\pi]) to μ(q)=Φ~(2π)\mu(q) = \tilde\Phi(2\pi), the lift to the universal cover G=SL(2,R)~G = \widetilde{SL(2,R)} of SL(2,R)SL(2,R) of the fundamental matrix map Φ:[0,2π]SL(2,R)\Phi: [0,2\pi] \to SL(2,R), Φ(0)=I,Φ(t)=(01q(t)0)Φ(t). \Phi(0) = I, \quad \Phi'(t) = \begin{pmatrix} 0 & 1 q(t) & 0 \end{pmatrix} \Phi(t). Let HH be the real infinite dimensional separable Hilbert space: we present an explicit diffeomorphism Ψ:G0×HH0([0,2π])\Psi: G_0 \times H \to H^0([0,2\pi]) such that the composition μΨ\mu \circ \Psi is the projection on the first coordinate. The key ingredient is the correspondence between potentials qq and the image in the plane of the first row of Φ\Phi, parametrized by polar coordinates, which we call the Kepler transform. As an application among others, let C1L2([0,2π])C_1 \subset L^2([0,2\pi]) be the set of potentials qq for which the equation u+qu=0-u'' + qu = 0 admits a nonzero periodic solution: C1C_1 is diffeomorphic to the disjoint union of a hyperplane and cartesian products of the usual cone in R3R^3 with HH.

Keywords

Cite

@article{arxiv.math/0507120,
  title  = {The topology of the monodromy map of the second order ODE},
  author = {Dan Burghelea and Nicolau C. Saldanha and Carlos Tomei},
  journal= {arXiv preprint arXiv:math/0507120},
  year   = {2007}
}

Comments

19 pages, 3 figures