EDIT: if you wish, assume all partial derivatives (of all orders) to exist and be continuous also [in the interior]; I expect this doesn't actually make much difference, by elliptic regularity arguments.

Theorem There exists a null temperature function satisfying $ |u(x,t)| < \exp(A/t)$ with $A>0$, such that $u(x,t) \not\equiv 0$ for some $t>0$.

Theorem Let $u$ be a null temperature function satisfying $|u(x,t)| \leq A \exp(B t^{-\delta})$, for some $A,B>0$ and $\delta<1$. Then $u \equiv 0$.

Also discussed briefly, with connections to the uniqueness problem for the Laplace transform, in my paper "Laplace transform representations and Paley–Wiener theorems for functions on vertical strips"]

Vague Questions Besides the results above, what is known about the class of null temperature functions? Clearly it is a vector space; can it be given a "natural" Banach space norm? Can we represent it (or nice subspaces of it) in any nice way? What kind of growth rates are possible?

EDITPrecise question - maximal growth rates Is there some universal function $\varphi : (0,1) \to \mathbb{R}$ with the following property?

For every non-trivial Null Temperature Function $u$ such that $M(t) = \sup_x |u(x,t)| < \infty$ for each $t>0$, there is some $C < \infty$ such that $M(t) \leq C \varphi(t)$ for all $t \in (0,1)$.

Zen, I am going to betray my immense ignorance of non-soft analysis here, and ask: if your function $u$ is a priori only continuous, in what sense are the partial derivatives in the heat equation being interpreted? Are these distributional (partial) derivatives?
–
Yemon ChoiFeb 22 '11 at 8:59

A very good question, Yemon: I don't know what is the best interpretation, since that might depend on the answer! But assuming them to be $C^\infty$ probably doesn't make the question significantly easier (but I might be wrong). I think we even have a kind of elliptic regularity, so that distributional derivatives implies $C^\infty$ classical partial derivatives (and we might even, if we're very lucky, get this just by assuming pointwise derivatives exist) - but I might be very wrong!
–
Zen HarperFeb 22 '11 at 9:30

Thanks very much, CJ, for that link. I'm having computer problems right now, but I'll look at it as soon as this evil metal monster allows me to.
–
Zen HarperApr 13 '11 at 9:11

Thanks again, CJ. Although that paper is interesting, it only seems to consider bounds on $|u(x,t)|$ depending on $x$, but independent of $t$, i.e. $|u(x,t)| \leq V(x)$ for all $t>0$ and some $V$; whereas I am looking for bounds $|u(x,t)| \leq W(t)$ depending on $t$, not $x$. [Although it's possible my understanding of French is too poor]. I shall re-edit my question to try to make it more clear.
–
Zen HarperApr 14 '11 at 7:53