2
$\begingroup$

Consider heat equation on the domain $\Omega = (0,1)\times (0,1)$ in the form of $$ \partial_{t} u = \frac 1 2 x^{3} (1-x) \partial_{xx} u, \quad (x,t) \in \Omega$$ with initial data $u(x,0) = x$ for all $x\in (0,1)$ and boundary data $u(0,t) = 0$ for all $t\in (0,1)$.

Note that, $u(x,t) = x$ is a trivial classical solution of the above PDE, which implies solvability in $C^{2,1}(\Omega) \cap C(\bar \Omega)$.

[Q1.] Is there different classical solution in $C^{2,1}(\Omega) \cap C(\bar \Omega)$ other than the trivial one?

In general, let's consider above PDE with $x^{3} (1-x)$ being replaced by a function $a(x)$, which satisfying $a(0) = 0$ and $0< \inf_{x\in [l,r]} a(x) \le \sup_{x\in [l,r]}a(x) <\infty$ for all $0< l < r <\infty.$

[Q2.] For the above general problem, what is the necessary and sufficient condition to have uniqueness of the classical solution?

Note that uniqueness holds if $a(x) = x^{2}(1-x)^{2}$, while does not hold if $a(x) = x^{4}$.

$\endgroup$

1 Answer 1

1
$\begingroup$

This kind of problem can be managed using a Fourier series for $x \in (0,1)$ and writing the general solution $$ u(x,t)=\sum_{n=-\infty}^{+\infty}c_n(t)e^{i2\pi nx} $$ and $u(x,0)=\sum_{n=-\infty}^{+\infty}c_n(0)e^{i2\pi nx}$. So, consider the equation $$ \partial_tu(x,t)=D(x)\partial_{xx}u(x,t) $$ and insert the given solution into the equation. You will get a set of ODEs for the coefficients $c_n(t)$ as $$ \dot c_n(t)=\sum_{m}c_m(t)(-4\pi^2m^2)D_{nm} $$ where I have put $$ D_{nm} = \int_0^1dxD(x)e^{i2\pi(m-n)x}. $$ The problem is then reduced to a proof of existence and uniqueness of a set of ODEs making it somewhat more manageable and reducing to conditions for the matrix of the diffusion coefficient.

Proof of uniqueness: Let us consider a generic matrix $D_{mn}$, we write $c_n(t)=c_n(0)e^{\lambda_nt}$ and substitute into the equations for the coefficients $c_n$. We get the eigenvalue problem $$ (D-\lambda I)\bar c=0. $$ being $D$ the matrix formed by the elements $-4\pi m^2D_{mn}$ and $\bar c$ the vector formed by the $c_n$ coefficients. Then we can state the following:

Theorem: If the given eigenvalue problem has a solution with all distinct eigenvalues, this is unique given the initial condition $u(x,0)=f(x)$ that fixes the coefficients $c_n(0)$ unequivocally.

This is true, provided the function $f(x)$ admits a Fourier series expansion $f(x)=\sum_nc_n(0)e^{i2\pi nx}$.

This theorem does not give an existence proof. This can be obtained by perturbation theory. So, let us turn back to the set of ODEs we started from. We can rewrite them as $$ \dot c_n(t)=c_n(t)\epsilon_n+\sum_{m\ne n}c_m(t)(-4\pi^2m^2)D_{nm} $$ where I have set $\epsilon_n=-4\pi^2n^2D_{nn}$. We can rewrite this as $$ \dot b_n(t)=\sum_{m\ne n}b_m(t)e^{(\epsilon_m-\epsilon_n)t}(-4\pi^2m^2)D_{nm}. $$ Now, one has $u(x,0)=f(x)=\sum_nc_n(0)e^{i2\pi nx}$ and using $c_n(0)=b_n(0)$ one can iterate the above set of equations to get $$ b_n(t)=c_n(0)+\sum_{m\ne n}(-4\pi^2m^2)D_{nm}c_m(0)\int_0^te^{(\epsilon_m-\epsilon_n)t'}dt' $$ $$ +\sum_{m\ne n}(-4\pi^2m^2)D_{nm}\sum_{k\ne m}(-4\pi^2k^2)D_{mk}c_k(0)\int_0^tdt'e^{(\epsilon_m-\epsilon_n)t'}\int_0^{t'}dt''e^{(\epsilon_k-\epsilon_m)t''}+\ldots $$ It is worth nothing the following: 1) If this series converges then the solution exists and is unique in agreement with the theorem provided above. 2) For $t\rightarrow\infty$ this series contains polynomial terms in $t$, starting from second order, that can harm it. The point 2) shows that secular terms can be present and need to be resummed: they just give higher order corrections to the eigenvalues giving a series for them that must converge to the eigenvalue $\lambda_n$ introduced in the uniqueness theorem.

When $D$ is just a constant, we recover from all this the ordinary solution of this parabolic equation as it should and all converges nicely. This means that, for any $D(x)$ a check for convergence must be performed using the above series and also that degeneracies are not present in the eigenvalue problem.

$\endgroup$
4
  • $\begingroup$ @Jon, Thanks. Sure it does reduce PDE into a set of ODEs. But I could not see the answer from it. $\endgroup$
    – kenneth
    May 29, 2013 at 3:16
  • $\begingroup$ @kenneth I will expand the answer to improve this argument. $\endgroup$
    – Jon
    May 29, 2013 at 7:31
  • $\begingroup$ @Jon, Thanks for the nice writing. I agree with you. However, does it give definite answer for question [Q1] in the original problem, as far as the convergence is concerned? $\endgroup$
    – kenneth
    May 30, 2013 at 2:01
  • $\begingroup$ @kenneth I think so, wherever you are working with at least $\mathbb{C}^2$ functions for $D$ and $f$. $\endgroup$
    – Jon
    May 30, 2013 at 9:38

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.