Verify that $H(x-ct)$ is a weak solution of wave equation $u_{tt}=c^2u_{xx}$ The problem is in Strauss, Partial Diferential Equations 2nd edition, 12.1 Ex.5.
I want to verify by direct substitution that Heaviside DISTRIBUTION $H(x-ct)$ is a weak solution of wave equation $u_{tt}=c^2u_{xx}$.
I found almost identical question at weak solution of wave equation here but I think my problem is slightly different from this, since I considered that $(x,t)\in\mathbb R\times(\mathbb R^+\cup\{0\})$.
$$\int_{\infty}^{\infty} \int_0^{\infty} H(x-ct)(\phi_{tt}-c^2\phi_{xx})dtdx=0$$
should be true for all $\phi\in\mathcal D(\mathbb R\times(\mathbb R^+))$.
Using $\phi$ is a $\mathcal C^\infty$ function with compact support, I found it can be reduced to
$$
\begin{align}
& \int_{0}^{\infty}\int_{0}^{x/c} \phi_{tt}dtdx - c^2\int_{0}^{\infty}\int_{ct}^{\infty} \phi_{xx}dxdt \\
= & \int_{0}^{\infty} (\phi_t (x, \dfrac{x}{c}) - \phi_t (x, 0))dx + c\int_{0}^{\infty}\phi_x(t,\dfrac{t}{c})dt \\
= & \int_{0}^{\infty} c\dfrac{d\phi}{ds}(s,\dfrac{s}{c})ds-\int_{0}^{\infty} \phi_t (x, 0)dx \\
= & -c\phi(0,0) - \int_{0}^{\infty} \phi_t (x, 0)dx.
\end{align}$$
Since the second term cannot be integrated explicitly, I considered a closed curve on $\mathbb R\times(\mathbb R^+\cup\{0\})$ which connects $(0,0),(X,0),(X,T),(0,T)$ by line segments, then send $X$ and $T$ to $+\infty$. Since $\phi$ and its derivatives vanish over some radius R, the second term would be $-\phi(0,0)$, not $-c\phi(0,0)$.
Maybe I has made a mistake on integration, but can't find that. Could anyone give me some help?
 A: If you want your test functions to have support containing $t=0$, your definition of a weak solution should be adjusted since if $u\in C^2$,
$$ \int_{\mathbb R}\int_0^\infty u_{tt}(\tau)  \phi(\tau) d\tau dx = \int_{\mathbb R} \left(  -u_t(0)\phi(0) +u(0)\phi_t(0) +\int_0^\infty u(\tau)\phi_{tt}(\tau) d\tau \right)dx$$
So for test functions $\mathfrak D:=\mathcal D(\mathbb R \times [0,\infty))$,  we should say that $u\in\mathfrak D'$ is a weak solution of the IVP for $u_0,u_1\in\mathcal D(\mathbb R)'$,
$$ u_{tt} = c^2 u_{xx}\\ u(0)=u_0\\
u_t(0)=u_1$$
if
$$ -\int_\mathbb R  u_1(x)\phi(x,0)dx + \int_\mathbb R  u_0(x)\phi_t(x,0)dx +\int_{\mathbb R} \int_0^\infty u(x,t) (\phi_{tt}(x,t)-c^2\phi_{xx}(x,t)) dxdt = 0$$
When $u(x,t)=H(x-ct)$, then $u(x,0)= H(x),\ u_t(x,0) = -c\delta_0(x),$ so we should use
$$u_0(x) = H(x),\\ u_1(x) = -c\delta_0(x).  $$
This causes the two extra terms you found to exactly cancel.
For the definition of a weak solution you suggested, you should use the fact that functions in $\mathcal D(\mathbb R \times (0,\infty))$ vanish at $t=0$.
