Introduction to Partial Differential Equations
Exercise Sheet 12

Ross Ogilvie      18th November, 2024
______________________________________________________________________________________________________________________________

35.
Some like it hot

Find the solution u : (0,π) × + of the initial and boundary value problem: (6 points)

{ u˙ 7𝑥𝑥u = 0 for x (0,π),t > 0 u(0,t) = u(π,t) = 0 for t > 0 u(x,0) = 3sin(2x) 6sin(5x)for x (0,π).
36.
Out of the frying pan, into the fire

Find the solution u : (0,π) × + of the initial and boundary value problem:

{ u˙ 𝑥𝑥u = 0 for x (0,π),t > 0 u(0,t) = u(π,t) = 0for t > 0 u(x,0) = x2(π x) for x (0,π).

Further, show that your solution obeys 0πu(x,t)dx = 8 k odd 1 k4ek2t. (7 points)

37.
Method of images for the heat kernel on [0,1]
(a)
Show the following formula for theta functions
Θ(z 2,𝜋𝑖𝑡) = 1 + k=1eπ2tk2 2cos(𝜋𝑘𝑧),

and therefore that

H[0,1](x,y,t) = 1 2Θ(xy 2 ,𝜋𝑖𝑡) 1 2Θ(x+y 2 ,𝜋𝑖𝑡)

as claimed in the script. (2 points)

(b)
Let 𝒜 be the space of all continuous functions on with the following properties: f(n+x) = { f(x)  for even n 2 and x f(1 x) for odd n 2 + 1 and x .

Show that the functions in 𝒜 vanish at and that 𝒜 contains all continuous odd and periodic functions with period 2. (1 point)

(c)
Show that for any Schwartz function f on the following series converges to a smooth function f~ in 𝒜: (2 points)
f~(x) = nf(2n + x) nf(2n x).
(d)
Conclude that the following sum is a heat kernel of [0,1]: (2 points) nΦ(x + 2n y,t) nΦ(x + 2n + y,t).

(e)
Using Poisson’s summation formula
nf(x + n) = nf^(n)e2𝜋𝑖𝑛𝑥

and part (a), show the relation

H[0,1](x,y,t) = nΦ(x + 2n y,t) nΦ(x + 2n + y,t),

where the left hand side the heat kernel in terms of theta functions as given in the lecture script. Thus the method of images gives the same heat kernel as the Fourier series method (of course, the heat kernel is unique). (2 bonus points)