Huygens property of parabolic functions and a uniqueness theorem (Q915981)

It is well known that the zero function is the only nonnegative parabolic function (i.e., solutions of the heat equation) on \({\mathbb{R}}^ n\times (0,T)\) which vanishes continuously on \({\mathbb{R}}^ n\times \{0\}\). In this article, we give the following generalization of this fact: Let \(\Omega\) be a Lipschitz cone in \({\mathbb{R}}^ n\) (n\(\geq 1)\) and let \(0<T\leq \infty\). If u is a nonnegative parabolic function in the cylinder \(\Omega\times (0,T)\) and vanishes continuously on the parabolic boundary \(\partial \Omega \times [0,T]\cup \Omega \times \{0\}\) then \(u\equiv 0\). Here we say that a domain \(\Omega\) is a Lipschitz cone if there exists a domain E in the unit sphere such that \(\Omega =\{x\neq 0\); \(x/\| x\| \in E\}\) and \(\Omega\cap \{x\); \(\| x\| <1\}\) is a Lipschitz domain. We also remark that this assertion is valid for solutions of parabolic equations and for a slightly more general domain \(\Omega\).