Partial Differential Equations III/IV
[6pt] Exercise Sheet 5
-
1.
Mean-value formula harmonic. Let be open. Let satisfy the mean-value formula
for all balls . Show that is harmonic in .
Hint: The proof is very similar to the proof of the converse statement.
Remark: It is actually enough to assume only that . From the solution of Q10, we see that if satisfies the mean-value formula, then . Therefore is harmonic by Q1. -
2.
Subharmonic functions. Let be open, bounded and connected. We say that is subharmonic in if
-
(i)
Prove that subharmonic functions satisfy the mean-value formula
for all balls .
-
(ii)
Prove that subharmonic functions satisfy the maximum principle
-
(iii)
Do subharmonic functions satisfy the minimum principle
Hint: Think about the one-dimensional case.
-
(i)
-
3.
Strong maximum principle weak maximum principle. Use the strong maximum principle for Laplace’s equation to prove the weak maximum principle. To be precise, let be open, bounded and connected, and let be harmonic in . The strong maximum principle asserts that if attains its maximum in , then is constant, i.e., if there exists such that
then is constant in . Use this to prove the weak maximum principle:
-
4.
The strong maximum principle is false if is not connected. Find an example of an open, bounded and disconnected set and a non-constant harmonic function , such that
for some .
Remark: The weak maximum principle, on the other hand, does hold on disconnected sets. -
5.
Minimum principles and an application: Positivity of solutions.
-
(i)
Use the maximum principles for harmonic functions to prove the corresponding minimum principles.
Hint: If is harmonic, so is . Apply the maximum principles to . -
(ii)
Let be open, bounded and connected and let . Let satisfy
Assume that for all and that there exists such that . Prove the positivity result
-
(i)
-
6.
Another application of the maximum principle: Bounds on solutions. In class we used the maximum principle to prove uniqueness for Poisson’s equation. Another application is to prove bounds on solutions, as this question demonstrates. This question appeared on the May 2010 exam.
-
(a)
If is harmonic in , , and on the boundary lines and , find lower and upper bounds for .
-
(b)
Verify that
is harmonic and that when and . Deduce that of Part (a) satisfies .
-
(a)
-
7.
Application of the maximum principle for subharmonic functions: Comparison theorems. Let be open, bounded and connected. For , let satisfy
where , , . Assume that and . Prove that . This is know as a comparison theorem or a comparison principle.
-
8.
Maximum principles for more general elliptic problems. Maximum principles hold not only for Laplace’s equation, but also for a broad class of second-order linear elliptic PDEs. In this exercise we look at some examples.
-
(i)
Consider the one-dimensional steady convection-diffusion equation
where and are constants, . Show that satisfies a maximum and minimum principle.
-
(ii)
Consider Poisson’s equation
where is a constant. Under what conditions on does satisfy a maximum principle? And a minimum principle?
-
(iii)
Consider the equation
with , . Show that . What if ?
-
(i)
-
9.
Maximum principles for 4th-order elliptic PDEs? Do 4th-order elliptic PDEs satisfy a maximum principle? Think about the differential equations and , where is a constant.
-
10.
Regularity Theorem: Harmonic functions are . Let be open. We will prove that if is harmonic, then .
-
(i)
Define by
where is the normalisation constant
For , define
Find the support of , supp. Show that for all
-
(ii)
Define
For , define
(You should recognise this as a type of convolution.) Observe that
and similarly for higher-order derivatives. It follows that since is infinitely differentiable. Use the mean-value formula
to prove that
for all . Therefore for all and hence .
Hint: Use polar coordinates to rewrite the formula for in terms ofYou will also need to use part (i) and the fact that is a radial function, which means that depends only on .
-
(i)
-
11.
analytic. Harmonic functions are analytic, which means that they are infinitely differentiable and that they have a convergent Taylor series expansion about every point in their domain. Give an example of an infinitely differentiable function that is not analytic.
Hint: Can nonzero analytic functions have compact support? -
12.
Non-negative harmonic functions on are constant. Let be harmonic and non-negative.
-
(i)
Let , , and . Use a mean-value formula to prove that
Hint: Write
-
(ii)
Choose . Show that and compute
-
(iii)
Conclude that is constant.
-
(i)
-
13.
Proof of Liouville’s Theorem. Use the previous question to prove Liouville’s Theorem.
-
14.
An application of Liouville’s Theorem: ‘Uniqueness’ for Poisson’s equation in . Let . Let be a bounded solution of Poisson’s equation in :
Prove that
for some constant , where is the fundamental solution of Poisson’s equation in . This means that bounded solutions of Poisson’s equation in are unique up to a constant.
Hint: Let and let be any bounded solution of Poisson’s equation in . Apply Liouville’s Theorem to . The same argument works in for . Why doesn’t this argument work in ? -
15.
An obstacle to uniqueness for Laplace’s equation: Unbounded domains. Let and let be open. Consider the PDE
(1) Clearly is one solution of (1). Find a nontrivial solution of (1) for
-
(i)
;
(hint: consider the fundamental solution of Poisson’s equation) -
(ii)
.
These examples are taken from Q. Han (2011) A Basic Course in Partial Differential Equations, AMS.
-
(i)
-
16.
Eigenvalues of the negative Laplacian. Consider the eigenvalue problem
where , , . Show that there are countably many eigenfunction-eigenvalue pairs , , and find them all.
Hint: We know from Exercise Sheet 4, Q11, that all the eigenvalues are positive. Therefore we can assume that from some . We also know the general form of solutions of the second-order linear ODE ; see the lecture notes, page 21.
Remark: More generally, it can be shown that second-order linear elliptic differential operators on compact sets have a countable set of eigenvalues. -
17.
Connection between holomorphic functions and harmonic functions. Let be a holomorphic (complex analytic) function with real and imaginary parts and :
Use the Cauchy-Riemann equations to show that and are harmonic functions. Several results for holomorphic functions can be extended to the broader class of harmonic functions. Complete the following table to give the names of the analogous results in complex analysis:
Harmonic Functions Holomorphic Functions Mean-Value Formula Maximum Principle Liouville’s Theorem The regularity result for harmonic functions (if is harmonic, then is analytic) also has an analogue for holomorphic functions: If is complex differentiable, then is complex analytic.