Is there a theory of differential equations for smooth correspondences? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-24T13:38:29Z http://mathoverflow.net/feeds/question/7106 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/7106/is-there-a-theory-of-differential-equations-for-smooth-correspondences Is there a theory of differential equations for smooth correspondences? Theo Johnson-Freyd 2009-11-29T03:14:32Z 2009-12-02T17:51:19Z <p>This question is very closely related to <a href="http://mathoverflow.net/questions/7099/how-should-i-think-about-correspondences" rel="nofollow">another one I just asked</a>. The general question is to what extent there is a theory of differential equations for smooth correspondences (between a smooth manifold and $\mathbb R$, say). But I'm wondering about a specific well-studied case.</p> <h2>Background</h2> <p>Let $N$ be a compact smooth manifold with tangent bundle $TN$ and cotangent bundle $T^*N$. In the usual way, pick a <em>Lagrangian</em> $L: TN \to \mathbb R$, and suppose that it is <em>nondegenerate</em> in the sense that $\frac{\partial L}{\partial v}$, thought of as a map $TN \to T^*N$, is a fiber bundle isomorphism, where $v$ is a (vector of) fiber coordinate(s). Then, in the usual way, we can define a <em>Hamiltonian</em> $H: T^*N \to \mathbb R$ by $H = pv - L$, where $pv$ is the canonical pairing between a cotangent vector and a tangent vector, and I use $\frac{\partial L}{\partial v}$ to identify $TN$ with $T^*N$. In the usual way, define on $N$ the second-order ordinary differential equation $\frac{d}{dt}\bigl[ \frac{\partial L}{\partial v}\bigr] = \frac{\partial L}{\partial q}$ and $v = \frac{dq}{dt}$, or equivalently $\frac{dq}{dt} = \frac{\partial H}{\partial p}$ and $\frac{dp}{dt} = -\frac{\partial H}{\partial q}$. (These are all written in local coordinates, where $q$ is a local coordinate on $N$ and $v = dq$ and $p = \frac{\partial}{\partial q}$ are the corresponding coordinates on $TN$ and $T^*N$. But the ODE is coordinate-invariant.)</p> <p>Since $N$ is compact and $L$ is nondegenerate, the ODE has global solutions, and each solution is determined by its <em>initial conditions</em>, which are given equivalently by a point in $TN$ and a point in $T^*N$. In the usual way, define an <em>action</em> map $S: TN \times \mathbb R \to \mathbb R$ by $S(v,q,t) = \int_0^t L(\phi(v,q,s))ds$, where $\phi: TN \times \mathbb R \to TN$ is the "flow" map for the ODE.</p> <p>Let $\pi$ be the projection $TN \to N$, so that $\pi(v,q) = q$, and using the flow map $\phi$, define a map $TN \times \mathbb R$ to $N \times N \times \mathbb R$ via $(v,q,t) \mapsto (q,\pi(\phi(v,q,t)),t)$. Generically, this map is a local isomorphism, in the following sense: for generic $(v,q,t)$ (say, a dense open subset of $TN\times \mathbb R$ when $\frac{\partial^2 L}{\partial v^2}$ is positive-definite), there is a small open neighborhood such that the map to $N\times N \times \mathbb R$ takes the neighborhood diffeomorphically to its image. Pick one such small neighborhood, and use it to push forward the action function $S$. Abusing notation, I will call this pushforward $S$. Then $S(q_1,q_2,t)$ satisfies the <em>Hamilton-Jacobi</em> equation: $\frac{\partial S}{\partial t} = - H(\frac{\partial S}{\partial q_2},q_2) = - H(-\frac{\partial S}{\partial q_1},q_1)$.</p> <h2>My question</h2> <p>Above, I defined a local function $S: U \to \mathbb R$, where $U$ is a small neighborhood of $N\times N\times \mathbb R$, and it satisfied a partial differential equation. But really I should have talked about the <em>correspondence</em></p> <p>$$N\times N\times \mathbb R \overset{(\pi, \pi\circ \phi, t)}{\longleftarrow} TN \times \mathbb R \overset{S}{\longrightarrow} \mathbb R$$</p> <p>Is there language with which one can say that this correspondence satisfies the Hamilton-Jacobi equations? For example, what happens near non-generic (sometimes called "focal") points?</p> <h2>Bonus questions</h2> <p>(If $N$ is not compact, then the flow map does not have global-time solutions. But I can still do everything; I just have to replace the space $TN \times \mathbb R$ by an open subspace. In fact, $\phi$ still defines on $TN \times \mathbb R$ the structure of an <em>action groupoid</em>, and both $(\pi, \pi\circ \phi, t)$ and $S$ are groupoid homomorphisms, so that the above correspondence is a span of groupoids. Does this enter the discussion in any interesting way?)</p> <p>If $\frac{\partial L}{\partial v}$ does not define a bundle isomorphism, then the Hamiltonian is not well-defined as a function $H: T^*N\to \mathbb R$. But it does make sense as a correspondence, by:</p> <p>$$T^*N \overset{ \frac{\partial L}{\partial v}}{\longleftarrow} TN \overset{ v\frac{\partial L}{\partial v} - L}{\longrightarrow} \mathbb R$$</p> <p>Imposing the condition that $\frac{\partial^2 L}{\partial v^2}(v,q)$ is an invertible matrix for each $(v,q)$, so that the ODE is still nondegenerate second-order, does the language of correspondences allow me to talk about the Hamilton-Jacobi equations when the Hamiltonian is not a function but the above correspondence?</p> <p>Alternately, I could start with a <em>function</em> $H: T^*N \to \mathbb R$, and construct a correspondence $L$, etc. The Legendre transform should really be thought of as a transformation of correspondences, not of functions.</p> <p>Finally, when $\frac{\partial^2 L}{\partial v^2}$ is sometimes degenerate, then the ODE degenerates, sometimes in complicated ways. Can this be accommodated by making the flow $\phi$ into a correspondence rather than a function?</p> http://mathoverflow.net/questions/7106/is-there-a-theory-of-differential-equations-for-smooth-correspondences/7597#7597 Answer by David Treumann for Is there a theory of differential equations for smooth correspondences? David Treumann 2009-12-02T17:51:19Z 2009-12-02T17:51:19Z <p>In complex analysis, it happens all the time that solutions to a differential equation exist locally as functions but globally only as correspondences. For instance z d/dz f = 1 is solved by log z, which you can think of as the correspondence $$\mathbf{C} \stackrel{\mathrm{exp}}{\leftarrow} \mathbf{C} \stackrel{=}{\to} \mathbf{C}$$ In general for a correspondence X &lt;-- Z --> Y to "exist locally as a function" means that the map X &lt;-- Z is a local homeomorphism. </p> <p>I don't understand it that well but your situation is definitely more complicated, for example your map N x N x R &lt;-- TN x R has positive-dimensional fibers when t = 0. But that log z exists only locally as a function is usually expressed in terms of sheaves not correspondences (i.e. the sheaf of solutions to the differential equation is locally constant but not constant). Can you formulate your Hamilton-Jacobi conditions that way?</p>