Differential Equations II

Besides being nonlinear, last quiz's equation systems had one other thing in common: their only independent variable was time t.t.

The other part of our course looks at problems where the situation is reversed: nonlinear section    {several equationssingle independent variablepde section    {single equationseveral independent variables. \begin{aligned} \textcolor{#D61F06}{\text{nonlinear section}} & \implies \textcolor{#D61F06}{\begin{cases} \text{several equations} \\ \text{single independent variable} \end{cases}} \\ \textcolor{#3D99F6}{\text{pde section}} & \implies \textcolor{#3D99F6}{\begin{cases} \text{single equation} \\ \text{several independent variables}. \end{cases}}\end{aligned} When the unknown function depends on several variables, it necessarily involves partial derivatives, hence the name partial differential equation, or PDE for short.

Let's take a look at some of the PDEs we'll encounter and how we'll go about solving them!

PDEs in a Nutshell


You'll probably recognize our first PDE not from the equation itself but from its solutions: Tie a rope to a post and wiggle it up and down. The wiggles reflect back when they hit the post; the reflections and incoming wiggles combine and eventually form a standing wave.

The amount by which the rope is displaced depends on where we look and when, i.e. u(x,t) u(x,t) (see figure) depends on xx and t.t.

For reasons we'll get into later, the rope's wave equation is given by utt=v2uxx, u_{tt} = v^2 u_{xx}, where v v is the constant wave speed and utt (uxx) u_{tt} \ (u_{xx}) is the second partial derivative with respect to time (space).

Select all options solving this wave equation. Since we don't know how to solve a PDE from scratch yet, take the second partials of each and find those where utt u_{tt} equals v2uxx. v^2 u_{xx}.

PDEs in a Nutshell


Select one or more

The last problem not only shows us that a PDE can have more than one solution, but it also gives us a clue about how we can start making our own from scratch.

Notice that both solutions cos(vt)sin(x) \cos(v t) \sin(x) and sin(vt)cos(x)\sin(v t) \cos(x) “split” into tt and xx parts. Let's see if we can make a similar split u(x,y,t)=X(x)Y(y)T(t) u(x,y,t) = X(x) Y(y) T(t) for the 2D wave equation 2ut2=v2[2ux2+2uy2],\frac{\partial^2 u}{\partial t^2 } = v^2 \left[ \frac{\partial^2 u}{\partial x^2 }+\frac{\partial^2 u}{\partial y^2 } \right], which describes the vibrations of the rectangular drumhead (blue) graphed below:

(The graph is touch interactive, so be sure to practice changing the perspective and zooming; we'll see many more graphs like this in the future!)

Plug X(x)Y(y)T(t)X(x) Y(y) T(t) into the 2D wave equation, and then divide both sides by X(x)Y(y)T(t) X(x) Y(y) T(t) after you're done taking derivatives. What can you say about the result?

PDEs in a Nutshell


This method of variable separation is our first line of attack when it comes to PDEs. It won't always work, but when it does, it reduces a difficult PDE problem to something easier.

For example, the 2D wave equation splits as T(t)T(t)=v2[X(x)X(x)+Y(y)Y(y)]; \frac{T''(t)}{T(t)} = v^2 \left[ \frac{X''(x)}{X(x)} + \frac{Y''(y)}{Y(y)} \right]; since x,y,x,y, and t t are all independent variables, this equation can only be true if each individual piece is constant: X(x)X(x)=4π2,  Y(y)Y(y)=16π2,  T(t)T(t)=20π2v2 \frac{X''(x)}{X(x)} = - 4 \pi^2,\ \ \frac{Y''(y)}{Y(y)} = - 16 \pi^2,\ \ \frac{T''(t)}{T(t)} = -20 \pi^2 v^2 are the choices that make the example defined on the rectangle [0,1]×[0,12][0,1] \times \left[ 0, \frac{1}{2} \right] below.

Each of these equations can be solved separately; what option solves the XX equation?

PDEs in a Nutshell


Waves on bounded domains like our drum are all infinite sums (called Fourier series) of “split” solutions like the ones we just found in the 2D case.

We'll also encounter another kind of infinite sum: power series. They're needed in a wide variety of real-world engineering and physics problems. Besides describing vibrations on a circular drumhead, they come up in fluid problems and even quantum theory.

In the finale of our course, we'll use power series together with separation of variables to solve the hydrogen atom, one of the most important scientific achievements of the 20th^\text{th} century.

We'll even use our solutions to sketch an iconic image from basic chemistry: an electron orbital!

PDEs in a Nutshell


Separating the variables can be a useful thing to try when the domain has a simple shape like a rectangle or a circle, but even then we might need some advanced technique like power series.

Things are different for infinite domains, like that of the 3D compression wave we'll study later:

This wave obeys the 3D wave equation utt=v2[uxx+uyy+uzz] u_{tt} = v^2 [ u_{xx}+ u_{yy}+u_{zz} ] or utt=v22u u_{tt} = v^2 \nabla^2 u for short. (\big(The Laplacian 2 \nabla^2 will be a recurring feature of our course!)\big)

Here, u(x,y,z,t) u(x,y,z,t) measures the compression/expansion of air at position (x,y,z)(x,y,z) at time t.t.

A 2D slice is shown below; to solve for u,u, we'll need a new tool, the Fourier transform.

PDEs in a Nutshell


The Fourier transform turns a PDE into an easier problem, like an ordinary differential equation. It works best when the domain is all of space, or Rn, \mathbb{R}^{n}, and the unknown uu “vanishes at infinity.”

For example, consider the classic Drunkard's walk problem in probability.

Jack's trying to make his way home after a night at the pub, but in his current state he moves left or right in a random way.

If x=0x = 0 is his starting point, then u(x,t) u(x,t) measures the probability of locating Jack on the xx-axis running along the sidewalk at time t.t.

It obeys the diffusion equation ut=2ux2   and x=x=u(x,t)dx=1, \frac{\partial u}{\partial t} = \frac{\partial^2 u}{\partial x^2}\ \ \ \text{and} \ \int\limits_{x = - \infty}^{x=\infty} u(x,t) dx = 1, where the integral means we're certain to find Jack somewhere on the sidewalk at any given t.t.

Assuming the sidewalk is really really long, what “boundary conditions” do we need for this diffusion equation?

PDEs in a Nutshell


Since u0 u \to 0 as x, |x| \to \infty, the diffusion equation is a perfect candidate for a Fourier transform.

The details will have to wait until later, but for now we can treat the transform F \mathcal{F} like a magic wand that turns a “x \frac{\partial}{\partial x} ” into a constant iω=1ω i \omega = \sqrt{-1} \omega according to F[fx]=iωF[f]. \mathcal{F}\left[ \frac{\partial f}{\partial x} \right] = i \omega \mathcal{F}[f]. Here, F[f] \mathcal{F}[f] is called the Fourier transform of f,f, which depends on ω\omega now and not x.x. For example, an important Fourier transform we'll prove later and use in the next problem is F[Aeax22]=12πaAeω22a. \mathcal{F}\left[ A e^{-\frac{a x^2}{2}} \right] = \sqrt{\frac{1}{2 \pi a } } A e^{-\frac{\omega^2}{2a}}. If the Fourier transform doesn't affect tt at all, what differential equation does F[u] \mathcal{F}[u] obey if u u satisfies the diffusion equation ut=uxx? u_{t} = u_{xx} ?

PDEs in a Nutshell


The Fourier transform really is magical: it turned the difficult diffusion problem ut=uxxu_{t} = u_{xx} into the simpler first-order ordinary differential equation ddtF[u]=ω2F[u]    F[u]=(constant)eω2t. \frac{d}{dt} \mathcal{F}[u] = - \omega^2 \mathcal{F}[u] \implies \mathcal{F}[u] =\text{(constant)} \cdot e^{-\omega^2 t}. But with all magic, there's a price: reversing the Fourier transform to get u u is normally tough.

Jack's random walk is an exception, though. Since we're certain he sets off from x=0,x=0, F[u]=12πeω2t; \mathcal{F}[u] = \frac{1}{2\pi} e^{-\omega^2 t}; we'll work out the 12π \frac{1}{2 \pi} later. In the last problem, we quoted a specific Fourier transform: F[Aeax22]=12πaAeω22a. \mathcal{F}\left[ A e^{-\frac{a x^2}{2}} \right] = \sqrt{\frac{1}{2 \pi a } } A e^{-\frac{\omega^2}{2a}}. Use this to find u(x,t).u(x,t).

PDEs in a Nutshell


Jack's drunken stagger is a fun way to introduce the diffusion equation, one of the most important PDEs for many random processes appearing in physics, chemistry, and finance.

For example, atoms and molecules in a gas are jostled about unpredictably due to thermal motion, but a particle's trajectory is very much a 3D random walk with probabilities given by ut=2u;u_t = \nabla^2u; u(x,t) u(\vec{x},t) measures the likelihood it has diffused from its starting point to x\vec{x} in time t.t.

The Fourier transform can help us solve this higher-dimensional problem, too, but we first need to take the time to develop it and its inverse transform as triple integrals. More on this later!

PDEs in a Nutshell


In a nutshell, a partial differential equation (PDE) has several independent variables.

There are many methods for approaching such an equation: separation of variables, power series, and the Fourier transform are just a few we touched on in this intro quiz.

Full mastery of PDEs and nonlinear equations takes time to develop, so let's begin!

PDEs in a Nutshell


Problem Loading...

Note Loading...

Set Loading...