problem:
Find all solutions to the heat equation of the form
where
answer:
We have that , hence
and
and
Now
and
and
Plug in the above expressions into the PDE we obtain
But , hence the above becomes
or
Let hence the above becomes
Integrate both sides
Hence
But since , then
I think now I need to write the above in terms of again. Fix time, and change
and so we have
and the above integral becomes
for any location along the space dimension
, where
are functions that depend on the
value
problem:
Use the energy method to prove the uniqueness for the problem
Solution
First note that i.e. the Laplacian.
Proof by contradiction. Assume there is no unique solution. Let and
be 2
different solutions to the above PDE. Let
be the difference between these 2 solutions. i.e.
, hence
must satisfy the following conditions: it must be zero at the
boundaries
for all time, and also it must be zero inside
initially. Hence
Now if we can show that for
inside
, then this would imply that
,
showing a contradiction, hence completing the proof.
i.e. we need to show that yields a solution
for
Using the energy argument, we write
First we note that since
from the initial conditions above.
But from the PDE itself, hence the above becomes
![]() | (1) |
But from Green first identity which states the following
Replace by
in the above, we obtain
Comparing (1) and (2) we see that LHS of (2) is Hence the above become
But , so the above becomes
But on
for
, since this is the boundary conditions. Hence the above
becomes
Therefore we showed that is
since
So energy inside is nonincreasing with time. But since
then
(since energy can not
be negative, this is the only choice left).
Therefore, from , we conclude that
everywhere in
for
since
is continuous in both its arguments.
Hence we conclude since then
, then the PDE solution is
unique.
problem:
In absence of sources derive the diffusion equation for radial motion in the plane from first
principles. That is, take an arbitrary domain between circles
and apply conservation law for the
density
assuming the flux is
. Assume no sources.
Answer:
First note that the density is measured in quantity per unit volume.
Consider a cross sectional area through circle . This area is
where
is the width of the
strip.
Let be the flux at
at time
, measured in quantity per unit area per unit time.
Hence amount that passes though cross sectional area at
, per unit time, is
where
Similarly, amount that passes though cross sectional area at
, per unit time, is
where
Hence the net amount that flows, per unit time, between and
is
Since there is no source nor sink inside this region, then the above equal the rate at which the amount
itself changes between
and
, which is
.
Hence we have
Apply fundamental theorem of calculus on the RHS above where hence the above
becomes
But so the above becomes
Changing the limits on the integral in the RHS above to make it match the LHS, we obtain
Because the above holds for all intervals of integration and the functions involved are continuous, then we can remove the integrals and just write
Now assuming diffusion model for the flux, i.e. , then the above becomes
Hence