nLab
differential operator

Contents

Definition

We define general non-linear differential operators.

In differential geometry

Depending on which definition of differential operators one regards as fundamental, the following are either definitions or are propositions.

Definition/Proposition

For XX a smooth manifold and (EX)(E\to X) a smooth bundle over XX, write (Jet(E)X)(Jet(E)\to X) for its jet bundle.

For (E 1X)(E_1 \to X), (E 2X)(E_2 \to X) two bundles over XX, then a differential operator

D:Γ X(E 1)Γ X(E 2) D \colon \Gamma_X(E_1) \to \Gamma_X(E_2)

between their spaces of sections is equivalently a map of the form

ϕD˜j (ϕ) \phi \mapsto \tilde D \circ j_\infty(\phi)

where j (ϕ)Γ X(Jet(E 1))j_\infty(\phi) \in \Gamma_X(Jet(E_1)) is the jet prolongation of the section ϕΓ X(E 1)\phi \in \Gamma_X(E_1), and where

D˜:Jet(E 1)E 2 \tilde D \colon Jet(E_1) \to E_2

is a bundle morphism from the jet bundle of E 1E_1 to the bundle E 2E_2.

In this form this appears for instance as (Saunders 89, def. 6.2.22). Discussion showing the equivalence of this definition with the maybe more traditional definition is in (Krasil’shchikVerbovetsky 98, def. 1.1, prop. 1.1, prop. 1.9, Krasilshchik 99, theorem 10).

Remark

The jet bundle construction Jet:H /XH /XJet \colon \mathbf{H}_{/X} \to \mathbf{H}_{/X} is (by the discussion there) a comonad on the category of bundles over XX. In terms of this def. 1 says that a differential operators from a bundle E 1E_1 to a bundle E 2E_2 is a morphism from E 1E_1 to E 2E_2 in the co-Kleisli category of the jet comonad.

Indeed, also the composition of differential operators is the composition in this co-Kleisli category (e.g. Marvan 93, section 1.1):

Proposition

The composition D 2D 1:Γ X(E 1)Γ X(E 3)D_2 \circ D_1 \colon \Gamma_X(E_1) \to \Gamma_X(E_3) of two differential operators D 1:Γ X(E 1)Γ X(E 2)D_1 \colon \Gamma_X(E_1) \to \Gamma_X(E_2) and D 2:Γ X(E 2)Γ X(E 3)D_2 \colon \Gamma_X(E_2)\to \Gamma_X(E_3) , def. 1, is given,under the identification of def. 1, by the composite

D 2D 1˜:Jet(E 1)Jet(Jet(E 1))Jet(D˜ 1)Jet(E 2)D˜ 2E 3, \widetilde{D_2 \circ D_1} \;\colon\; Jet(E_1) \longrightarrow Jet(Jet(E_1)) \stackrel{Jet(\tilde D_1)}{\longrightarrow} Jet(E_2) \stackrel{\tilde D_2}{\longrightarrow} E_3 \,,

where the first morphism is the counit of the jet bundle comonad.

Proof

Abbreviating P iΓ X(E i)P_i \coloneqq \Gamma_X(E_i) and J (P i)=Γ X(Jet(E i))J^\infty(P_i) = \Gamma_X(Jet(E_i)), consider the following pasting diagram:

P 1 id P 1 D 1 P 2 D 2 P 3 id j j id P 1 j J (P 1) J (D 1) J (P 2) j j id id J (P 1) c , J (J (P 1)) J (D˜ 1) J (P 2) D˜ 2 P 3. \array{ P_1 &\stackrel{id}{\longrightarrow}& P_1 &\stackrel{D_1}{\longrightarrow}& P_2 &\stackrel{D_2}{\longrightarrow}& P_3 \\ \downarrow^{\mathrlap{id}} && \downarrow^{\mathrlap{j_\infty}} && \downarrow^{\mathrlap{j_\infty}} && \downarrow^{\mathrlap{id}} \\ P_1 &\stackrel{j_\infty}{\longrightarrow}& J^\infty(P_1) &\stackrel{J^\infty(D_1)}{\longrightarrow}& J^\infty(P_2) \\ \downarrow^{\mathrlap{j_\infty}} && \downarrow^{\mathrlap{j_\infty}} && \downarrow^{\mathrlap{id}} && \downarrow^{\mathrlap{id}} \\ J^\infty (P_1) &\stackrel{c^{\infty,\infty}}{\longrightarrow}& J^\infty(J^\infty(P_1)) &\stackrel{J^\infty (\tilde D_1)}{\longrightarrow}& J^\infty(P_2) &\stackrel{\tilde D_2}{\longrightarrow}& P_3 } \,.

Here all the nontrivial squares are as in (Krasil’shchik-Verbovetsky 98, p. 12-13), with the bottom middle square being the image under J J^\infty of the square defining D˜ 1\tilde D_1. The bottom horizontal fillers of these squares are unique by (Krasil’shchik 99, theorem 10) (which is just our def/prop. 1), hence the identification of the middle bottom morphism as displayed in the diagram.

With this, the morphism that our proposition claims is the correct composite is the total bottom morphism, and the differential operator that this defines by def. 1 is the further composite with the left vertical morphism. Therefore the commutativity of the total diagram gives that this is equal to the total top morphisms, which is the composite of the two differential operators as claimed.

The co-Kleisli-like composition for finite order differential operators also appears in (Kock 10, section 7.3), from a perspective of synthetic differential geometry.

In differential cohesion

In view of the above one may axiomatize the category of differential operators in any context H\mathbf{H} of differential cohesion with infinitesimal shape modality \Im as being the co-Kleisli category of the jet comonad

Jet Xi *i * Jet_X \coloneqq i^\ast i_\ast

induced by base change along the unit i:XXi \colon X \to \Im X, for any choice of base space XHX \in \mathbf{H}.

In algebraic geometry / D-geometry

For the case of algebraic geometry, where X\Im X is known as the de Rham stack of a scheme XX, and the quasicoherent sheaves on i *i *Xi^\ast i_\ast X are the D-modules over XX (see at jet bundle for more on this), this statement is implicit in (Saito 89, def. 1.3).

Entries

References

  • Michal Marvan, A note on the category of partial differential equations, in Differential geometry and its applications, Proceedings of the Conference August 24-30, 1986, Brno (pdf)

    (notice that prop. 1.3 there holds only when the equalizer exists in the first place)

  • David Saunders, The geometry of jet bundles, London Mathematical Society Lecture Note Series 142, Cambridge Univ. Press 1989.

  • Morihiko Saito, Induced D-modules and differential complexes, Bull. Soc. Math. France 117 (1989), 361–387, pdf

  • Michal Marvan, On Zero-Curvature Representations of Partial Differential Equations, (1993) (web)

  • Joseph Krasil'shchik, Alexander Verbovetsky, Homological Methods in Equations of Mathematical Physics, Lectures given in August 1998 at the International Summer School in Levoca, Slovakia (arXiv:math/9808130)

  • Joseph Krasil'shchik in collaboration with Barbara Prinari, Lectures on Linear Differential Operators over Commutative Algebras (pdf)

Discussion from a point of view of synthetic differential geometry is in

  • Anders Kock, Synthetic geometry of manfiolds, Cambridge Tracts in Mathematics 180 (2010). (pdf)

Revised on November 7, 2016 10:14:30 by Urs Schreiber (195.37.209.183)