Let $\Omega$ be a bounded region in $\mathbb{R}^n$ and $\Gamma \subset \subset \partial \Omega$, assume $u$ solves the wave equation

$$u_{tt}-c(x)\Delta u=0, \ \ u(x,0)=f(x),$$

where $f$ and $1-c$ are compactly supported in $\Omega$. Suppose $u(x,t)=0$ on $\Gamma \times (0,\infty)$. Can one guarantee that $u(x,t)=0$ in some open subset of $\mathbb{R}^n$ for all time (under some suitable assumptions on $\Gamma$)?


1 Answer 1


Try $u(x,t) = x_1 t$ with $\Gamma = \{x:\; x_1 = 0\}$.

  • $\begingroup$ Thank you Robert. I just edited the question. I had an additional assumption that $u(x,0)$ has compact support which I had forgot to mention. $\endgroup$
    – User4966
    May 10, 2018 at 20:14
  • $\begingroup$ My $u(x,0) = 0$ and $1 - c(x) = 0$ have compact support. $\endgroup$ May 11, 2018 at 7:01
  • $\begingroup$ I think the condition MathStudent wants is $u(\cdot,0)$ and $\partial_t u(\cdot,0)$ both have compact support. Then $u(\cdot,t)$ will have compact support at all times $t$. $\endgroup$ May 18, 2018 at 20:57

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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