Motivation for and history of pseudo-differential operators - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-18T23:40:04Z http://mathoverflow.net/feeds/question/59086 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/59086/motivation-for-and-history-of-pseudo-differential-operators Motivation for and history of pseudo-differential operators Martin 2011-03-21T17:20:25Z 2013-04-09T20:58:47Z <p>Suppose you start from partial differential equations and functional analysis (on $\mathbb R^n$ and on real manifolds, which prominent example problems lead you to work with Pseudo-differential operators?</p> <p>I would appreciate any good examples, as well as some historical outlines on the topics development (Shubins classical book spends a few lines on history and motivation in the preface, but no "natural" examples. I am not aware of any historical outlines in literature.).</p> http://mathoverflow.net/questions/59086/motivation-for-and-history-of-pseudo-differential-operators/59096#59096 Answer by Anatoly Kochubei for Motivation for and history of pseudo-differential operators Anatoly Kochubei 2011-03-21T19:03:57Z 2011-03-21T19:03:57Z <p>Many applications of pseudo-differential operators, especially to boundary value problems for elliptic and hyperbolic equations, can be found in the book by F. Treves, Introduction to Pseudodifferential and Fourier Integral Operators, Vols 1 and 2, Plenum Press, New York, 1982.</p> <p>A different kind of pseudo-differential operators, typically with non-smooth (e.g. homogeneous) symbols, appears in probabilistic applications - such operators emerge as generators of Markov processes with jumps. See </p> <p>S. D. Eidelman, S. D. Ivasyshen, and A. N. Kochubei, Analytic Methods in the Theory of Differential and Pseudo-Differential Equations of Parabolic Type, Birkh\"auser, Basel, 2004, </p> <p>and </p> <p>N. Jacob, Pseudo-differential operators and Markov processes, Vols 1-3, Imperial College Press, London, 2001-2005.</p> http://mathoverflow.net/questions/59086/motivation-for-and-history-of-pseudo-differential-operators/59174#59174 Answer by Paul Siegel for Motivation for and history of pseudo-differential operators Paul Siegel 2011-03-22T11:53:23Z 2011-03-22T11:53:23Z <p>I don't know the history at all, but I have to imagine that the language was invented to provide a context for talking about solution operators for differential equations. Consider, for example, the PDE $D f = f_0$ where $D$ is a nice differential operator. Taking Fourier transforms, this says that $P(\xi)\hat{f} = \hat{f}_0$, where $P$ is the principal symbol of $D$ (a polynomial). Everyone in the world just wants to write $\hat{f} = \frac{1}{P(\xi)}\hat{f}_0$ and take inverse Fourier transforms. In other words, solving the PDE is the same thing as finding an operator $S$ whose Fourier multiplier is $\frac{1}{P(\xi)}$. This most likely fails to be a polynomial, so $S$ is evidently not a differential operator. As far as I can tell, many of those big fat books on pseudodifferential operator theory are all about how to invert as many operators as possible in this sense while salvaging as much regularity as you can. It gets extremely subtle, but I think the motivation is fairly close to the surface.</p> <p>Aside from that, you might also be led to invent pseudodifferential operators if you cared deeply about the spectral theory of differential operators. The spectral theorem for an operator $T$ is more or less equivalent to the existence of a "functional calculus", i.e. a sensible way to form operators $f(T)$ out of various classes of functions $f$ on the spectrum of $T$. For differential operators (especially on non-compact domains where there need not be a nice eigenspace decomposition), the functional calculus is often obtained via the Fourier transform, and the pseudodifferential calculus manifests itself.</p> http://mathoverflow.net/questions/59086/motivation-for-and-history-of-pseudo-differential-operators/59190#59190 Answer by Piero D'Ancona for Motivation for and history of pseudo-differential operators Piero D'Ancona 2011-03-22T15:04:21Z 2011-03-22T15:04:21Z <p>Let me put it this way. Many natural objects in PDE theory are pseudodifferential operators. Just a few examples (besides, obviously, differential operators):</p> <p>1) singular integral operators in the sense of harmonic analysis;</p> <p>2) the spectral measure projectors associated to a s.a. constant coefficient differential operator, and hence all functions of that operator, in the sense of spectral theory;</p> <p>3) the inverse of an elliptic operator;</p> <p>4) solution operators to wave, Schrodinger, heat, younameit evolution equations.</p> <p>And this list is quite incomplete. Now, pseudodifferential calculus is essentially a framework which shows the underlying common structure of all the previous examples, unifies their properties, and shows that many computations from different theories are just special cases of general theorems. To accommodate more and more interesting examples, the theory has been tweaked and enlarged several times, while keeping the same abstract structure. Thus there does not exist a single calculus, but several calculi following similar guidelines.</p> <p>In addition, the procedure associating a symbol to an operator, which is at the heart of pseudodifferential calculus, is very close to the procedure of quantization in physics, and I understand it can be used to give a mathematical framework to that procedure (but I'd better leave further comments on this to the experts).</p> http://mathoverflow.net/questions/59086/motivation-for-and-history-of-pseudo-differential-operators/59191#59191 Answer by Deane Yang for Motivation for and history of pseudo-differential operators Deane Yang 2011-03-22T15:23:17Z 2011-03-22T15:23:17Z <p>My vague memories of this:</p> <p>As others have mentioned, pseudodifferential operators arose from trying to establish existence and regularity theorems for a variable coefficient linear PDE using Fourier transform, extending known results for constant coefficient PDE's. I believe the earliest work in this direction, mainly for hyperbolic PDE's, is by Leray and Petrovskii. Another important early paper is by Lax, "Asymptotic solutions of oscillatory initial value problems", DMJ 1957. The first paper that explicitly defines a pseudodifferential operator was, I believe, the paper of Kohn and Nirenberg in CPAM 1965. Unlike the earlier work, I believe their focus was on elliptic PDE's.</p> <p>The extension to and use on manifolds was, I believe, done by Atiyah and Singer in their original work on the index theorem, as well as Seeley.</p> http://mathoverflow.net/questions/59086/motivation-for-and-history-of-pseudo-differential-operators/97591#97591 Answer by Uday for Motivation for and history of pseudo-differential operators Uday 2012-05-21T18:52:48Z 2012-05-21T19:50:19Z <p>A slightly different motivation for fourier integral operators and pseudo-differential operators is given in the first chapter of this <a href="http://books.google.co.in/books?id=Zi1UzHg64xsC&amp;pg=PA1&amp;lpg=PA1&amp;dq=mathematics+past+and+present+fourier+integral+operators&amp;source=bl&amp;ots=uuKfr0Seuj&amp;sig=Oz86sY8Ow8GdCQw7A5Dp_kslIII&amp;hl=en&amp;sa=X&amp;ei=S4q6T6S7F4nMrQfQiNXYBw&amp;ved=0CGMQ6AEwAg#v=onepage&amp;q=mathematics%2520past%2520and%2520present%2520fourier%2520integral%2520operators&amp;f=false" rel="nofollow">book</a>. In this chapter, V.Guillemin presents this subject from the conormal bundles point of view and then shows how pseudo-differential operators are a special case of operators coming out of the Fourier distributions. </p> <p>Section 3 of this chapter also provides a historic outline of this theory. </p> <p>Interesting, Guillemin also shows here that pseudo-differential operators can be used to fine tune the theory of conormal distributions themselves -- giving a natural but unexpected application of pseudo-differential operators. </p> http://mathoverflow.net/questions/59086/motivation-for-and-history-of-pseudo-differential-operators/97604#97604 Answer by Bazin for Motivation for and history of pseudo-differential operators Bazin 2012-05-21T21:43:47Z 2012-05-23T20:19:07Z <p>Let us follow the history of classical PDE with a few (hopefully) well-chosen examples illustrating the rôle of pseudodifferential operators in classical analysis.</p> <p>(1) Before 1950. Prehistory. A long tradition of the russian school of Mikhlin introduced singular integrals, to be developed considerably by Calderon and Zygmund. In the late fifties and early sixties, it is quite clear that approximate inverses of elliptic operators are pseudodifferential operators and that it is a good way to prove that elliptic operators are hypoelliptic in the primitive sense that singsupp$u=$singsupp$Pu$ for $P$ elliptic.</p> <p>(2) 1959. The true beginning of pseudodifferential methods in PDE: Calderon's proof in 1959 of Cauchy uniqueness for a large class of principal type operators, using a pseudodifferential factorization to prove a Carleman estimate. The first resolution of a classical analysis problem by a microlocal method.</p> <p>(3) 1968. After R.T. Seeley proved the invariance of classical pseudodifferential operators by diffeomorphism, M. Atiyah and I. Singer prove the index theorem for elliptic operators.</p> <p>(4) 1971. Microellipticity: introduction in 1971 by Sato and then Hormander of the wave-front-set, proof that $WF u= WF Pu$ for $P$ elliptic and more generally $WF u\subset WF Pu\cup char P$ (elliptic microlocal regularity).</p> <p>(5) 1971, the apex. Proof by Sato and Hormander of the Huygens principle, formulated in the seventieth century. Although the final proof will involve Fourier integral operators, it is possible to prove the propagation of singularity theorem by a multiplier method, and for a real principal type operator $P$ and a distribution $u$ such that $Pu\in C^\infty$, $WF u$ is invariant by the flow of $H_p$, exactly as predicted by Huygens who lacked correct definitions.</p> <p>(6) 1973: Proof by R. Beals and C. Fefferman of local solvability of principal type differential operators satisfying Nirenberg-Treves condition (P). A problem of local analysis solved by the introduction of nonhomegeneous class of pseudodifferential operators.</p> <p>(7) 1978: subelliptic estimates. Characterization by Egorov, Hormander of operators $P$ of order $m$ such that $Pu\in H^s$ implies $u\in H^{s+m-\frac{k}{k+1}}$. The case $k=0$ is the elliptic case and the cases $k\ge 1$ involve iterated Poisson brackets of the real and imaginary part of the principal symbol of $P$.</p> <p>(8) 1981: paradifferential calculus. Introduction by J.-M. Bony of pseudodifferential operators with limited regularity, proof of propagation of weak singularities for classes of nonlinear PDE.</p> http://mathoverflow.net/questions/59086/motivation-for-and-history-of-pseudo-differential-operators/127017#127017 Answer by Marcelo for Motivation for and history of pseudo-differential operators Marcelo 2013-04-09T20:58:47Z 2013-04-09T20:58:47Z <p>I suggest this introduction of M.W. Wong, see <a href="https://dl.dropbox.com/u/10205668/frontmatter.pdf" rel="nofollow">1</a>.</p>