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