Partial Differential Equations


 

13.1 INTRODUCTION

13.1.1 Math of Motion

If we can relate the changes in one quantity with changes in an other quantity, partial differential equations come in. One of the simplest rules is that the rate of change of a function in time is related to the rate of change in space. Such a rule could be expressed for example as a rule , where is the partial derivative with respect to and is the partial derivative with respect to . You can check that is an example of a function which satisfies this differential equation. You can see even that for any function , the function satisfies . A typical situation is to be given , the situation of "now". We then can see what is for a later time . This describes the situation in the future. As you see, the differential equation describes "transport". The initial situation is translated to the left. Check this out and draw for example . We see that and especially . The graph has moved to the left.

Figure 1. A function satisfying a differential equation . This PDE is called Sin-Gordon equation, a nonlinear wave equation featuring solitons. Space is here one dimensional time goes from left to right. We see a wave going left and right, reflecting at the boundary and building up to a larger peak. A "rogue wave".

13.2 LECTURE

13.2.1 How PDEs Shape Our World

A partial differential equation is a rule which combines the rates of changes of different variables. Our lives are affected by partial differential equations: the Maxwell equations describe electric and magnetic fields and . Their motion leads to the propagation of light. The Einstein field equations relate the metric tensor with the mass tensor . The Schrödinger equation tells how quantum particles move. Laws like the Navier-Stokes equations govern the motion of fluids and gases and especially the currents in the ocean or the winds in the atmosphere. Partial differential equations appear also in unexpected places like in finance, where for example, the Black-Scholes equation relates the prices of options in dependence of time and stock prices.

13.2.2 Some Examples of PDEs and ODEs

If is a function of two variables, we can differentiate with respect to both or . We just write for . For example, for , we have and . If we first differentiate with respect to and then with respect to , we write . If we differentiate twice with respect to , we write . An equation for an unknown function for which partial derivatives with respect to at least two different variables appear is called a partial differential equation PDE. If only the derivative with respect to one variable appears, one speaks of an ordinary differential equation ODE. An example of a PDE is , an example of an ODE is . It is important to realize that it is a function we are looking for, not a number. The ordinary differential equation for example is solved by the functions . If we prescribe an initial value like , then there is a unique solution . The KdV partial differential equation is solved by (you guessed it) . This is one of many solutions. In that case they are called solitons, nonlinear waves. Korteweg-de Vries (KdV) is an icon in a mathematical field called integrable systems which leads to insight in ongoing research like about rogue waves in the ocean.

13.2.3 A Look at Clairaut’s Theorem for Mixed Derivatives

We say if both and are continuous functions of two variables and if all , , and are continuous functions. The next theorem is called the Clairaut theorem. It deals with the partial differential equation . The proof demonstrates the proof by contradiction. We will look at this technique a bit more in the proof seminar.

Theorem 1. Every solves the Clairaut equation .

Proof. We use Fubini’s theorem which will appear later in the double integral lecture: integrate by applying the fundamental theorem of calculus twice An analogous computation gives Fubini applied to assures so that . there is some , where then also for small , the function is bigger than everywhere on so that that the integral is zero. ◻

13.2.4 Why continuous differentiability Isn’t Enough for Clairaut’s Theorem

The statement is false for functions which are only . The standard counter example is which has for the property that and for has the property that . You can see the comparison of and The later function is not in . The values and , changes of slopes of tangent lines, turn differently.

Figure 2. Clairaut holds for which is in polar coordinates . It does not for the function which is in polar coordinates .

13.3 ILLUSTRATION

13.3.1 An Approach to Solving Transport Equations

In many cases, one of the variables is time for which we use the letter and keep as the space variable. The differential equation is called the transport equation. What are the solutions if ? Here is a cool derivation: if is the derivative,1 we can build operators like The transport equation is now . Now as you know from calculus, the only solution of , is . If we boldly replace the number with with the operator we get and get its solution By the Taylor formula, this is equal to . You should actually remember Taylor as . We have derived for in :

Theorem 2. is solved by .

Proof. We can ignore the derivation and verify this very quickly: the function satisfies and . ◻

13.3.2 Solving the Wave Equation with D’Alembert’s Formula

Another example of a partial differential equation is the wave equation . We can write this . One way to solve this is by looking at . This means transport and . We can also have which means leading to . We see that every combination with constants is a solution. Fixing the constants so that and gives the following d’Alembert solution. It requires .

Theorem 3. is solved by .

Proof. Just verify directly that this indeed is a solution and that and . Intuitively, if we throw a stone into a narrow water way, then the waves move to both sides. ◻

13.3.3 From Heat Flow to Normal Distribution

The partial differential equation is called the heat equation. Its solution involves the normal distribution in probability theory. The number is the average and is the standard deviation.

13.3.4 Solving the Heat Equation

If the initial heat at time is continuous and zero outside a bounded interval , then

Theorem 4. is solved by .

Proof. For every fixed , the function solves the heat equation.

Every Riemann sum approximation of defines a function which solves the heat equation. So does To check which need and for any continuous and , proven later. ◻

13.3.5 The Role of Laplace’s Equation

For functions of three variables one can look at the partial differential equation . It is called the Laplace equation and is called the Laplace operator. The operator appears also in one of the most important partial differential equations, the Schrödinger equation where is a scaled Planck constant and is the potential depending on the position and is the mass. For with , then the solution is forward translation. The operator is the momentum operator in quantum mechanics. The Taylor formula tells that generates translation.

EXERCISES

Exercise 1. Verify that for any constant , the function satisfies the driven transport equation This PDE is sometimes called the advection equation with damping .

Exercise 2. We have seen in class that solves the heat equation . Verify more generally that solves the heat equation

Exercise 3. The Eiconal equation is used in optics. Let be the distance to the circle . Show that it satisfies the eiconal equation.

Remark: the equation can be written rewritten as , where is the gradient of which is the Jacobian matrix for the map .

Exercise 4. The differential equation is a version of the Black-Scholes equation. Here is the price of a call option and is the stock price and is time. Find a function solving it which depends both on and .

Hint: look first for solutions or and then for functions of the form .

Exercise 5. The partial differential equation is called Burgers equation and describes waves at the beach. In higher dimensions, it leads to the Navier-Stokes equation which is used to describe the weather. Verify that the function is a solution of the Burgers equation. You better use technology.


  1. We usually write for derivative but tells it is an operator. D also stands for Dirac.↩︎