You are currently browsing the category archive for the ‘PDE.partial-differential-equations’ category.

In this post, we shall see the maximum principles for subharmonic ( the Laplacian is nonnegative) functions( twice differentiable with continuous second derivative). As an application, we shall see the uniqueness of a solution to the Dirichlet problem. The Dirichlet problem is:

Suppose is an open bounded subset of . Let be a continuous function defined on , the boundary of . Does there exist a function that solves

Historically, the Dirichlet problem has been important to solve PDEs that arise naturally in Physics and engineering. But as mathematicians, let us not worry about that. For us, it is important to know when a solution to the DP exists and when its unique. Curiously, a sufficient condition on the existence of a solution is how looks! For example, if then exists! In the following part, we shall show using the “Maximum Principle” that if an exists, then it must be unique.

**The Maximum Principle**

**Theorem 1 (Strong form)** Suppose is an open subset of and in . Then cannot attain a maximum in .

**Idea of proof:**

By contradiction: Suppose attains its maximum at . Find an such that and let be . Show that and . Add over all to get , a contradiction.

In the weak form, we assume the function to be subharmonic, i.e., .

**Theorem 2 ( Weak form)** Suppose is an open **bounded** subset of . (So now, both and are compact sets). If in , then

**Idea of proof:** We use the trick.

Define

Show that , and use the strong form of the maximum principle.

**Proof of uniqueness in the DP:**

Suppose that and both solve the DP equation (1). Define . Then, in and on . Hence by the weak form of the maximum principle, in . Since we could have taken to be instead, it follows that , by which in and uniqueness has been established.

“ … partial differential equations are the basis of all physical theorems. In the theory of sound in gases, liquid and solids, in the investigations of elasticity, in optics, everywhere partial differential equations formulate basic laws of nature which can be checked against experiments.”

Bernhard Riemann

And since “who said it” sometimes carries more importance than “what is said”, let me emphasize that this quote is attributed to Bernhard Riemann! The same Riemann of geometry, complex analysis, topology, number theory; the “pure” mathematician Riemann. This post is for those “pure” mathematicians who believe that applications of a mathematical result mar its aesthetic beauty. Once not very long ago, I too was of this opinion. “PDE is not mathematics”, a friend quipped and I agreed wholeheartedly. I now realize how shallow this notion was.

In what follows, I will describe a smooth PDE result that involves interesting real analysis results. The Cauchy problem asks for a solution to a PDE with initial data defined on a hypersurface. In the case we are discussing, we have a linear PDE of first order with initial data. The “transport equation” is the simplest PDE in the sense that any simplification will result in it being an ordinary differential equation (ODE). (If I were to rechristen the subject, I’d rather call PDE as EDE, extra-ordinary differential equations, not because they are NOT ODE but because when learnt properly, they can be extraordinarily amazing).

We shall take Fourier transform on both sides of both equations, convert the PDE into an ODE, use the initial data and finally prove that the solution is

The justification of taking Fourier transforms, doing some algebra with them and equating two functions whose Fourier transforms are themselves equal, was discussed in this post. There we saw that two square-integrable functions with the same FT are equal almost everywhere.

We fix the variable and take Fourier transforms on the given PDEwith respect to the variable which gives,

The Fourier transform converts an -th order derivative into a polynomial of degree , so here the PDE in and has been converted into an easy ODE in , which we know how to solve. (Say by Clairut’s method to solve the ODE – ). Its solution is given by

Here, denotes shifting by . (See the Wikipedia link for basic properties of Fourier transforms).

By taking inverse-Fourier transform, we see that

An assertion on uniqueness of the solution (which we shall not prove) shows that this solution is unique. Observe that the solution is just a shift (transport) of the initial wave with speed . If we started with a sine wave at , we would end up with a sine wave propagating in space-time. Isn’t it remarkable?

## Recent Comments