I'm interested in a criterion that determines whether a linear scalar PDE (arbitrary order) has a unique solution given vanishing boundary conditions at spatial infinity. I'll try to formulate the question more precisely below.

Consider a PDE of the form $L[u]=0$ where $u(t,x,y,z)$ is a scalar function of one time $(t)$ and three spatial variables $(x,y,z)$, though this choice of dimensionality is not central to the question. The function $u$ is required to vanish "sufficiently" fast if the $(x,y,z)$ variables are taken to infinity, keeping $t$ fixed. [If that's not enough, it can also be required to vanish at infinity along any hyperplane that is space-like with respect to the Lorentzian metric $\mathrm{diag}(-1,1,1,1)$.] However, no requirements are put on the behavior of $u$ as $t\to\pm\infty$ for fixed $(x,y,z)$. The linear differential operator $L$ can be assumed to have constant coefficients, but could by of any order. Though, I'd also like to know how the answer generalizes to the case when the coefficients and the background Lorentzian metric are no longer constant.

So, my question is this: for which operators $L$ does the equation $L[u]=0$ have a unique solution?

Let me give some examples.

• Equation $\partial_z u=0$ has a unique solution. An arbitrary solution comes from integrating the rhs wrt to $z$ and adding any function that's constant wrt to $z$. From the boundary conditions, it is easy to see that both pieces must be zero. Hence, $u=0$ is the unique solution.

• The same argument does not work for $\partial_t u=0$. For any given solution, I can get another solution by adding a function of $(x,y,z)$ only that vanishes at infinity, and there are plenty of those.

• The equation $(\partial_x^2+\partial_y^2+\partial_z^2)u=0$ is uniquely solvable: ignore $t$ dependence and invert the Laplacian, with uniqueness given by the same argument as in the first example.

• The equation $(-\partial_t^2+\partial_x^2+\partial_y^2+\partial_z^2)u=0$ is not uniqely solvable: solutions are parametrized by Cauchy data on, say, the $t=0$ hyperplane, and so are definitely not unique.

These examples make me think that the answer is some version of an ellipticity condition. Unfortunately, I'm only aware of how to formulate this condition for second order systems. Any help appreciated!