Skip to article frontmatterSkip to article content
Site not loading correctly?

This may be due to an incorrect BASE_URL configuration. See the MyST Documentation for reference.

Modern Applied Mathematics

This course focuses on the second point.

Differential equations

We motivate the need for the development of functional analysis through the ubiquitous nature of differential equations. Similar functional analytical techniques are useful when studying stochastic differential equations, and many other applications.

The Diffusion Equation

Let’s discuss the heat / diffusion equation example in a bit more detail. Suppose we have the heat equation on the interval [0,L][0, L].

{ut=duxxu(t,0)=u(t,L)=0u(x,0)=u0(x).\begin{cases} u_t &= d u_{xx} \\ u(t,0) &= u(t, L) = 0 \\ u(x, 0) &= u_0(x). \end{cases}

Using separation of variables and the principles of superposition we find a solution as a Fourier sine series:

u(x,t)=k=1aneλndtsin(nπxL)u(x, t) = \sum_{k=1}^{\infty} a_n e^{-\lambda_n d t} \sin\left(\frac{n \pi x}{L}\right)

The coefficients ana_n are determined from the initial condition i.e.:

u0(x)=k=1ansin(nπxL)u_0(x) = \sum_{k=1}^{\infty} a_n \sin\left(\frac{n \pi x}{L}\right)

and we can use the Fourier trick to solve this equation for ana_n. Now the family of functions:

L:={sin(nπxL):nN}\mathcal{L}:= \left\{ \sin\left(\frac{n \pi x }{L}\right) : n \in \mathbb{N} \right\}

forms an orthogonal set with the inner product:

(ϕn,ϕm)=0Lϕn(x)ϕm(x)dx(\phi_n, \phi_m) = \int_0^L \phi_n(x) \phi_m(x) dx

Recall that this define a norm via x=(x,x)\|x\| = \sqrt{(x, x)}. Then L\mathcal{L} can be seen as the basis of the function space L2(0,L)L^2(0, L) the square integrable functions. Since L\mathcal{L} is infinite, L2(0,L)L^2(0, L) is an infinite dimensional vector space. Thus we understand the heat equation as an infinite dimensional differential equation.

The final note is that the linear operator Δ\Delta is crucially associated with the boundary conditions. Different boundary conditions lead to different basis and thus different function spaces. Much of PDE theory is concerned with the identification of the correct basis functions and right function spaces. We will come back to this later when discussing operator theory.