28
$\begingroup$

My question is: usually, a partial differential equation, for example, those coming from physics, is written in a language of vector calculus in a local coordinate. Is there any way (or any algorithm) that we can use to rewrite it using language of differential forms, tensor, exterior calculus, Hodge star and other operators which are coordinate independent? An example, the Grad f can be rewritten as a geometric form: (df)#, where # is a sharp operator turning a one-form into a vector. I am currently facing this problem to turn a partial differential equation into its coordinate-independent form, which involves forms, tensors, exterior calculus and other operators.

Thank you for anyone who help me about this problem!

$\endgroup$
3
  • 1
    $\begingroup$ An example are maxwells equations, see en.wikipedia.org/wiki/Maxwell%27s_equations. $\endgroup$
    – jjcale
    May 23, 2013 at 17:32
  • $\begingroup$ Could you be more precise by what you mean by "co-ordinate-free"? I can think of at least two ways of doing this. One is to write the system of PDE's in terms of connections and sections of, as well as maps between, the appropriate vector bundles. Another way is to write the system purely in terms of differential forms (this is called an "exterior differential system"). $\endgroup$
    – Deane Yang
    May 23, 2013 at 23:01
  • $\begingroup$ I might be curious in the opposite direction, is there an easy way to go form intrinsic to extrinsic. The whitney embedding theorem states any smooth $n$ manifold can me embedded into $2n$ dimensional euclidean space so there ought to be for example a purely extrinsic presentation of general relativity in $\mathbb{R}^8$ $\endgroup$ Nov 12, 2023 at 18:44

4 Answers 4

39
$\begingroup$

This is rather standard, though, unfortunately this knowledge is confined to a rather narrow segment of mathematicians working on PDEs. The main reason is that, most of the time, this is not necessary for practical problems. In fact there are multiple ways converting a PDE into invariant form.

In mathematical physics, this question comes up when trying to generalized equations from flat space to curved space. The main technical device is to introduce explicit dependence on a metric $g$ and use covariant differentiation, with respect to $g$, to replace ordinary derivatives. The invariant form of the original flat space equations is then obtained by simply replacing $g$ by the Euclidean metric. This method is sometimes colloquially known as the comma goes to semicolon rule, where the punctuation signs represent notation for ordinary and covariant derivatives. More on this can be found in textbooks on GR. For instance, Gravitation by Misner, Thorne & Wheeler would definitely discuss this.

I would guess that you might be happy to stop here. But if you are looking for more generality and mathematical sophistication, read on.

Another method is to repeatedly introduce auxiliary dependent variables, until the PDE system becomes first order and this can be done in such a way that all dependent variables are actually differential forms and differentiations are only effected through the exterior derivative. Once in this form, the PDE system is manifestly invariant. This approach was pioneered by Cartan and is explained in depth in the well known book Exterior Differential Systems by Bryant et al.

Yet another way, which does not involve reduction to a first order system, is to notice that derivatives of arbitrary order are mathematically described in an invariant way by jets. An arbitrary PDE can then be described in terms of jets. Once one unwinds all the relevant definitions, this kind of description is manifestly invariant, but not necessarily always helpful, since all it really does is bundle up the complicated rules for transforming higher derivatives under coordinate changes into the language of jets. Nevertheless, I think it is important to learn about it, as it provides the tools to study PDE systems in a very deep way. An elementary treatment of PDEs in the context of jets can be found in the book Applications of Lie Groups to Differential Equations by Olver. A much more sophisticated treatment can also be found in the aforementioned book by Bryant et al. Another very helpful reference is Natural Operations in Differential Geometry by Kolar, Michor & Slovak.

$\endgroup$
4
  • $\begingroup$ Is the jet description usually about linear PDEs? What I know is about $\mathcal D$-modules, which is essentially describing linear systems. I am struggling to understand the relation between this and exterior differential systems. $\endgroup$
    – user20948
    Jun 11, 2020 at 17:58
  • $\begingroup$ @Yai0Phah No, any relation on derivatives can be expressed in terms of jets (linear, non-linear, inequality, etc.). In the PDE--$\mathcal{D}$-module dictionary, given a linear PDE (represented as a linear sub-bundle of the infinite jet bundle) the smooth functions on this sub-bundle (linear on the fibers) constitute a $\mathcal{D}$-module. It is a module over the ring of smooth functions of the independent variables, and the $\mathcal{D}$ operator is just the total coordinate derivative (extended to jets). $\endgroup$ Jun 11, 2020 at 21:48
  • $\begingroup$ Sorry that I failed to articulate the question. I was asking the relation between $\mathcal D$-modules and exterior differential systems (it could be related through PDEs, but unsatisfactory). What I have in my mind is that, given a smooth complex variety $X$, we have the Spencer resolution $D_X\otimes_{\mathcal O_X}\bigwedge^*T_X\to\mathcal O_X$. Does that have something to do with a differential ideal of the de Rham complex? $\endgroup$
    – user20948
    Jun 12, 2020 at 10:09
  • $\begingroup$ @Yai0Phah I think it is best to articulate this as a new question. $\endgroup$ Jun 12, 2020 at 10:11
8
$\begingroup$

Let $\mathcal M$ be a smooth manifold. A linear PDE on $\mathcal M$ is a sum of terms $$ X_1\dots X_N u,\quad\text{where the $X_j$ are smooth vector fields.} $$ We may use the convention that if $N=0$, this is just the multliplication by a smooth function. In other words a linear PDE on $\mathcal M$ is a (non-commutative) polynomial with constant coefficients of vector fields. This PDE is said to be of order $m$ when the polynomial is of degree $m$. A general PDE on $\mathcal M$ is a function $F(u,P_1 u,\dots, P_m u)$ where $P_j$ is a linear differential operator of order $j$ defined above.

Let me give a simple celebrated example. Euler system describing non-viscous incompressible fluids is usually written as $$ \partial_t u+u\cdot \nabla u=-\nabla p,\quad \text{div}u=0,\quad u_{\vert t=0}=u_0. $$ The function $u$ is defined on $\mathbb R_t\times\mathbb R^3_x$ and valued in $\mathbb R^3_x$. A geometric version on a $3D$ manifold is shedding light on this system of equations. In the first place $u$ should be considered as a 1-form, the pressure $p$ is a function and $dp$ is its differential, also a 1-form. Now suppose that we have on our manifold an additional structure, such as a Riemannian structure allowing to identify 1-forms to vector fields. In the case of a Riemannian structure given by a metric tensor $g$, we may identify a 1-from $u$ with a vector field $v$ through the pairing $$ g(v,w)=\langle u,w\rangle,\quad \text{for any vector field $w$. We write this as $gv=u$}. $$ We may then consider the Lie derivative $\mathcal L_v$ and in coordinates in $\mathbb R^3$ $$ \sum_{1\le j\le 3}\mathcal L_v(u_j) dx_j=\mathcal L_v(u)-\sum_{1\le j\le 3}u_j \mathcal L_v(dx_j)=\mathcal L_v(u)-\sum_{1\le j\le 3}u_j dv_j=\mathcal L_v(u)-\frac12 d(\vert v\vert^2). $$ Euler system expresses the exactness of a 1-form and reads in a simply connected 3D Riemannian manifold $$ \partial_t u+\mathcal L_v(u)-\frac12 d(g(v,v))=-dp, gv=u, \text{div $v$=0} $$ so that (note that $\mathrm{curl}\, u$ appears simply as the exterior differential $du$: two-forms in 3D are also three dimensional), since the Lie derivative commutes with the exterior differentiation, with $\omega =du$, $$ \partial_t \omega +\mathcal L_v(\omega)=0,\quad gv=u,\omega =du,\quad \text{div $v$=0}. $$ This last expression provides a geometric view on Euler's system. Similar things could be done for the Navier-Stokes system.

$\endgroup$
2
$\begingroup$

To write the equations in invariant form you first need to define the various objects involved in invariant form. Sometime this is not so obvious and new insight is needed. Here are two examples that hopefully will illustrate ways in which things can get tricky.

1.The Euler-Lagrange equations are coordinate independent, but if the Lagrangian is a bit more sophisticated it is difficult to come-up with an invariant form. One convenient way to do this is via the Legendre transform leading to Hamiltonian equations. However, this can be used only for certain classes of Lagrangians.

2.The equations arising in gauge theory require a bit of finesse since they necessitate the introduction of a new object (e.g. a principal bundle) whose topological type hides some subtle physical quantity. The difficulties do not stop here and this topic is still being investigated from a rather sophisticated point of view. Andy Manion post, Gauge theory and the variational bicomplex is a good place to start.

$\endgroup$
1
$\begingroup$

Basic paper is Journal of Mathematical Physics , Vol. 12. New York: American Institute of Physics. (1971): 653-666 (so called "Harrison-Estabrook procedure.") This procedure is implemented in package "Liesymm" for Maple.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.