# Why don't elliptic PDE's have a time coordinate?

Usually second-order linear PDE's are classified as elliptic, parabolic, or hyperbolic (or ultrahyperbolic) depending on the eigenvalues of the coefficient matrix. The three cases correspond to the three most famous second-order PDE's:

In the general study of such equations, it is common to refer to one of the coordinates as time in the parabolic and hyperbolic case, but in the elliptic case all of the coordinates are usually thought of as spatial (at least in the treatments I have seen).

My question is -- is there a good theoretical reason for this? Or is this just a tradition, based on the fact that the main application of Laplace's equation in physics are spatial? Is the equation $$u_{tt} = -\nabla^2 u$$ useful for modeling any physical situations?

• Isn't that just $-\Delta u=0$ in the space $(t,x)$? Jan 31, 2014 at 17:11
• Can it be related to the fact that elliptic PDEs have complex characteristics? I have no idea, sincerely... Jan 31, 2014 at 17:24
• @Siminore I've reworded the last part to make it more clear what I'm asking. Jan 31, 2014 at 17:24
• The reason for this is that in physics we usually have to deal not only with the equation, but also with initial-boundary problem. And some of the initial and boundary conditions lead to a well posed problem, whereas others do not. When we talk about the "time" variable, it usually means for mathematicians that natural initial conditions can be set. However, if you consider your example for the "Laplace" equation with a "time" variable, your initial condition+equation will not constitute a well-posed problem. Jan 31, 2014 at 17:50
• The question is philosophically interesting, but its formulation looks mathematically incorrect. In Mathematical Pysics there are mathematically rigourous definitions of elliptic, hyperbolic, parabolic PDEs and even systems of PDEs. To tell the time variable from the spatial one, a more or less comprehensible definition of time is required. Jan 31, 2014 at 18:44

The reason for this is that in physics we usually have to deal not only with the equation, but also with initial-boundary problem. And some of the initial and boundary conditions lead to a well posed problem, whereas others do not. When we talk about the "time" variable, it usually means for mathematicians that natural initial conditions can be set. However, if you consider your example for the "Laplace" equation with a "time" variable, your initial condition+equation will not constitute a well-posed problem.

For example for the Laplace equation the initial value problem is not well-posed, since small perturbation in the "initial" conditions leads to very large difference for finite t. You should google Hadamard's example of an ill posed problem. In general, Laplace equation does not go good with "initial-value" problems.

This question is right to the money and very deep mathematically. Note that distinction between "initial" and "boundary" comes from the physical interpretation of our equations. Nothing prohibits to set the initial conditions for an arbitrary manifold in the space. However, for some initial conditions the problems will be well-posed, for others --- ill posed. It is a very complicated question in general: How to set the initial conditions for a given system of PDE of order $n$ to guarantee the existence, uniqueness, and continuous dependence on the initial conditions. The well known examples of heat, wave, and Laplace equations how we treat them in undergraduate courses come from physical intuition, not from carefully chosen mathematical conditions.
• This is a quite interesting point of view. Let me add some more, if you have no inconvenient. You can see this clearly, for example, in the case of the 1-D heat equation without addition of heat, so $u_t = u_{xx}$. Then, if you choose $t_c$ as a characteristic time of the problem you are considering, then $\partial u / \partial t |_{t = t_c} \approx 0$ if $t_c \gg 1$, so it yields $0 = u_{xx}$. This characteristic time is related to the thermal (or viscous, or masic, ...) diffusivity coefficient (and also to the initial conditions). Cheers! Jan 31, 2014 at 17:47