Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Inspired by a question I asked here, I am rethinking about a question:

Why heat equation is not time-reversible?

I don't know too much about PDE and physics but I guess there should be some "time arrow" in mathematics.

Consider the following initial value problem:

$$ \begin{cases} \Omega: (x,t) \in \mathbb{R} \times (0,+\infty) \\ u(x,0) = \delta(x) \\ u_t - u_{xx} = 0 \end{cases} $$

The solution is given by $$ u(x,t) = \frac{1}{\sqrt{4 \pi t}} \exp \Big( \frac{-x^2}{4t} \Big) $$

I remember from my undergraduate PDE course, it is different from elliptic equation which is time-reversible.

If I substitute $t \mapsto -t$ and change the domain $\Omega$ to $\mathbb{R} \times (-\infty,0)$, the above solution will not satisfy the PDE $u_t - u_{xx}$.

I know that we may recall second law of thermodynamics, but it is a physical law, not a mathematical theorem (or axioms). For a mathematical reason, there should be logical deduction from axioms to a "structure" that make heat equation different.

What is the reason behind that?

I also recall a second-order PDE on a domain $\Omega$:

$$ A(x,y) u_{xx} + 2B(x,y) u_{xy} + C(x,y) u_{yy} = W(u,u_x,u_y,x,y) $$

We say it is

(i) parabolic if for all $x,y \in \Omega$, $B^2 - AC = 0$

(ii) hyperbolic if for all $x,y \in \Omega$, $B^2 - AC > 0$

(iii) elliptic if for all $x,y \in \Omega$, $B^2 - AC < 0$

Is it a pure analogy to conic section or there should be some structure behind that?

share|improve this question
    
for some initial conditions you can run the heat equation backwards and get a solution. I'm looking forward to a good answer to your question. –  Stefan Smith Jan 6 at 4:16
    
I have a feeling that information theory are going to come in somewhere here. I don't know much about it, but this sounds like precisely the kind of thing it answers: after all, information are essentially lost. –  Gina Jan 6 at 7:31
add comment

2 Answers 2

up vote 6 down vote accepted

The heat equation $u_t-u_{xx}=0$ is not time-reversible because it involves an odd-order derivative of $t$. Under time reversal $t\mapsto-t$, we get $u_t\mapsto-u_t$. So if $u(x,t)$ is a solution to the heat equation, then $u(x,-t)$ is a solution to a different equation, namely $-u_t-u_{xx}=0$. The only way for $u$ to solve both equations is if $u_{xx}=0$ everywhere, which is not the case for most initial conditions of interest, such as your $\delta(x)$.

By contrast, the wave equation $u_{tt}-u_{xx}$ is time-reversible because it involves only even-order derivatives of $t$. Under time reversal $t\mapsto-t$, we get $u_{tt}\mapsto u_{tt}$. So if $u(x,t)$ is a solution to the wave equation, then $u(x,-t)$ is also a solution to the wave equation.

share|improve this answer
add comment

If you start with a spatial heat distribution $u(x)$ at $t=0$, then the solution at $t > 0$ is infinitely-differentiable because it is averaged by a Gaussian, and the Gaussian couldn't be more smooth. You shouldn't expect to be able to undo such a process. This is a diffusion equation, and the speed of propagation is, essentially, infinite, which makes it physically unrealistic. Even with added viscosity, the process is irreversible.

If you solve the heat equation numerically, then you can ask how the solution at a point on the grid depends on time. As you begin to answer this question, you find yourself looking at the paths back to the initial data, through the numerical algorithm, which can be thought of as the density of paths that refer to the initial data. In the limit of large number of grid points, this begins to look like a central limit problem and, hence, the Gaussian weighting of the initial data. This is definitely not a process you'd expect to reverse. Brownian motion can be used to look at this process of solution.

Heat flow is a diffusion process, and the averaging should not be expeced to be reversible. Entropy is increasing.

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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