\( \DeclareMathOperator{\tr}{tr} \newcommand\D{\mathrm{d}} \newcommand\E{\mathrm{e}} \newcommand\I{\mathrm{i}} \newcommand\bigOh{\mathcal{O}} \newcommand{\cat}[1]{\mathbf{#1}} \newcommand\curl{\vec{\nabla}\times} \newcommand{\CC}{\mathbb{C}} \newcommand{\NN}{\mathbb{N}} \newcommand{\QQ}{\mathbb{Q}} \newcommand{\RR}{\mathbb{R}} \newcommand{\ZZ}{\mathbb{Z}} % For +---- metric \newcommand{\BDpos}{} \newcommand{\BDneg}{-} \newcommand{\BDposs}{\phantom{-}} \newcommand{\BDnegg}{-} \newcommand{\BDplus}{+} \newcommand{\BDminus}{-} % For -+++ metric \newcommand{\BDpos}{-} \newcommand{\BDposs}{-} \newcommand{\BDneg}{} \newcommand{\BDnegg}{\phantom{-}} \newcommand{\BDplus}{-} \newcommand{\BDminus}{+} \)
UP | HOME

Formal Theory of PDEs

Table of Contents

1. Overview

When we describe partial differenial equations using the exterior calculus on a jet bundle, we end up with the formal theory of partial differential equations.

2. References

  • Richard Baker, Chris Doran,
    "Jet Bundles and the Formal Theory of Partial Differential Equations".
    arXiv:math/0106090, 9 pages
  • Wenyuan Wu,
    "Geometric Symbolic-Numeric Methods for Differential and Algebraic Systems."
    PhD Thesis, PDF

Last Updated: Mon, 31 May 2021 11:46:00 -0700