8
$\begingroup$

Disclaimer: Let me apologize in advance for asking this slightly vague question

Let $M$ be a manifold and let $P$ be a partial differential operator acting on $C^{\infty}(M)$. Associated to $P$ there's the obvious linear PDE: $$P(f)=0$$

Naturally associated with $P$ we also have a hamiltonian system $$\Phi= (T^*M, \omega,H=\sigma(P))$$ where the symplectic form $\omega$ is the standard one and principal symbol $\sigma(P)$ of $P$ is taken as the hamiltonian.

Question: What does the dynamics of $\Phi$ tell us about the original differential equation?

Obviously since we are only considering the principal symbol we won't get a terrible amount of information. On the other hand we are not taking only the zero locus $\{ \sigma(P)=0\}$ (AKA the characteristic variety / set ) so one might hope that we can at least find some information in $\Phi$ which is not already present in the geometry of $\{\sigma(P)=0\}$.

$\endgroup$
  • 1
    $\begingroup$ Good question. Google “propagation of singularities” and “microlocal analysis” $\endgroup$ – Deane Yang Mar 23 '18 at 18:45
  • 1
    $\begingroup$ @DeaneYang Thanks :) Though I have googled these terms many times (in several contexts). By now I have already assimilated the idea that propagation of singularities should somehow be controlled by the symbol flow but I have never seen a precise statement. That's the motivation for this question I guess... $\endgroup$ – Saal Hardali Mar 23 '18 at 18:48
  • 4
    $\begingroup$ you can look at Michael Taylor's book Pseudodifferential Operators. Or see Theorem 4.3.1 in webusers.imj-prg.fr/~nicolas.lerner/pseudom2.pdf . $\endgroup$ – Deane Yang Mar 23 '18 at 20:03
  • $\begingroup$ @SaalHardali +1 for this very interesting question. Lets consider the particular cas that the differential operator is arising from a vector field X on a manifold. I wrote a remark at page 2 of the following note which is pointing out (and suggesting) for a relatio between integrability of X and integrability of the Hamiltonian you introduced. $\endgroup$ – Ali Taghavi May 11 '18 at 20:53
  • $\begingroup$ arxiv.org/pdf/math/0507516.pdf $\endgroup$ – Ali Taghavi May 11 '18 at 20:53
7
$\begingroup$

A bit more advanced thing: Consider a first order classical pseudodifferential operator $P$ on a compact manifold $M$, which is elliptic and self-adjoint and its principal symbol is positive. Think again $\sqrt{\Delta}$ on a compact Riemannian manifold $(M,g)$.

By Sobolev embedding it has compact resolvent, so the spectrum is purely discrete and by positivity the spectrum is bounded from below. Set $N(\lambda) = \#\{ \lambda_j \colon \lambda_j < \lambda\}$ the counting function. It is well-known (cf. Hörmander) that the counting function has asymptotic behaviour $$N(\lambda) = \gamma_1\lambda^d + O(\lambda^{d-1})$$ for a constant $\gamma_1$ depending on the principal symbol.

Duistermaat and Guillemin (1975) showed if the set of periodic orbits of the Hamiltonian flow (restricted to a energy surface) has measure zero then the Weyl asymptotic has a second term: $$N(\lambda) = \gamma_1 \lambda^d + \gamma_2 \lambda^{d-1} + o(\lambda^{d-1}).$$

This argument is based (more or less) on the propagation of singularities, which says that the wavefront set (position and direction of a singularity) of $e^{itP} u(x)$ is invariant under the Hamiltonian flow (viewed on the space $\mathbb{R}_t \times M_x$).

Edit: There lots of related results and the whole point of microlocal analysis is to relate the Hamiltonian dynamics to the PDE.

$\endgroup$
  • 1
    $\begingroup$ very useful answer for someone learning microlocal analysis. it steps back and gives a broad conceptual sweep without getting bogged down. $\endgroup$ – JohnS May 11 '18 at 20:57
5
$\begingroup$

It goes something like this (I can't promise that what I've written below is completely correct. It is only to help you read the rigorous details in more definitive reference):

The initial observation is that the smoothness of a distribution $f$ on $\mathbb{R}^n$ can be measured using the decay rate of its Fourier transform $\hat{f}(\xi)$ as a function of $|\xi|$. Microlocal analysis means to localize this idea in the cotangent bundle.

The wavefront set $WF(u) \subset T^*M$ of a distribution $u$ on $M$ has the property that $$ WF_x(U) = WF(u)\cap T^*_xM $$ is a closed conic subset of $T^*_xM$.

First, it suffices to restrict to a compactly supported distribution $u$ on a coordinate chart $O \subset M$. We can therefore assume everything is on $\mathbb{R}^n$. Then $WF_x(u)$ at $x \in \mathbb{R}^n$ is a closed cone in $\mathbb{R}^n\backslash\{0\}$, which should be viewed as $T^*_x\mathbb{R}^n\backslash\{0\}$. In particular, $\xi_0 \notin WF_x(u)$ if and only if for any neighborhood $N$ of $x$ there exists $\chi \in C^\infty_0(N)$ such that the Fourier transform $\widehat{\chi u}$ decays rapidly (faster than polynomial decay) in a conical neighborhood of $\xi_0$.

Let $\sigma$ be the symbol of a real linear differential operator $P$ and $\Sigma = \sigma^{-1}(0)$ its characteristic variety. We say that $P$ is of real principal type if the Hamiltonian vector field of $\sigma$ restricted to $\Sigma$ is everywherer nonzero.

Hormander's original propagation of singularities theorem (which has many antecedents and by now many generalizations) says that if $P$ is a real differential operator of real principal type and $u$ is a distribution on $M$ such that $Pu \in C^\infty(M)$, then $WF(u) \subset \Sigma$ and is invariant under the null bicharacteristic flow, which is the Hamiltonian flow of $\sigma$ restricted to $\Sigma$.

$\endgroup$
2
$\begingroup$

I learned the following result from Sogge's book:

Let $P$ be a first order self-adjoint elliptic operator on $M$. Let $Q\in \Psi^{m}(M)$ be a classical $\Psi DO$ of order $m$. Then there exists a one parameter family of $\Psi DO$s: $t\rightarrow E(t)\in \Psi^{m}(M)$, depending smoothly on $t\in \mathbb{R}$, satisfying $$ [\partial_{t}-iP, E(t)]=0,E(0)=Q $$ and having for each $t\in \mathbb{R}$ the principal symbol $E_{0}(t,x,\xi)=q_{0}(\Psi_{t}(x,\xi))$ with $q_0(x,\xi)$ the principal symbol of $Q$ and $\Psi_{t}$ the Hamiltonian flow associated with $P$.

I do not know if there are more refined results directly concerning the linear equation $Qu=0$, though.

$\endgroup$
  • $\begingroup$ What is $P$ here? And I can't parse the sentence: "and having for each $t\in\mathbb{R}$ the principal symbol..." What is it saying? $\endgroup$ – Michael Bächtold Mar 24 '18 at 7:54
  • 1
    $\begingroup$ The operator $P \in \Psi^1$ is a elliptic self-adjoint operator. Take for example the square root of the Laplacian $\sqrt{\Delta}$ on a compact manifold. $\endgroup$ – mcd Mar 24 '18 at 9:51
  • $\begingroup$ @mcd: thanks. So the statement holds for an arbitrary self adjoint elliptic $P$, unrelated to $Q$? $\endgroup$ – Michael Bächtold Mar 24 '18 at 11:15
  • $\begingroup$ Yes, think of $Q$ as a localization in phase space. Then the proposition is that if you evolve $Q$ according to the classical flow you obtain a solution of the equation (modulo lower order terms, but you can iterate them away). $\endgroup$ – mcd Mar 24 '18 at 12:32
  • $\begingroup$ @mcd Thanks. I think I can make of the principal symbol part now. So was $P$ meant to be the one from the OP's question? There was nothing about ellipticity and self-adjointness stated there. Is it a necessary assumption? $\endgroup$ – Michael Bächtold Mar 24 '18 at 16:55

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.