Solve initial value problem for $u_{tt} - u_{xx} - u = 0$ using characteristics

Consider $$u_{tt} - u_{xx} - u = 0$$ with initial condition $u(x, t=0) = c$, $c \in \mathbb{R}.$

How do you solve the problem using characteristics, without separation of variables?


Solution 1:

Approach $1$: power series method

Similar to PDE - solution with power series:

$u_{tt}-u_{xx}-u=0$

$u_{tt}=u+u_{xx}$

Consider $u_t(x,0)=f(x)$ ,

Let $u(x,t)=\sum\limits_{n=0}^\infty\dfrac{t^n}{n!}\dfrac{\partial^nu(x,0)}{\partial t^n}$ ,

Then $u(x,t)=\sum\limits_{n=0}^\infty\dfrac{t^{2n}}{(2n)!}\dfrac{\partial^{2n}u(x,0)}{\partial t^{2n}}+\sum\limits_{n=0}^\infty\dfrac{t^{2n+1}}{(2n+1)!}\dfrac{\partial^{2n+1}u(x,0)}{\partial t^{2n+1}}$

$u_{tttt}=u_{tt}+u_{xxtt}=u+u_{xx}+u_{xx}+u_{xxxx}=u+2u_{xx}+u_{xxxx}$

Similarly, $\dfrac{\partial^{2n}u}{\partial t^{2n}}=\sum\limits_{k=0}^nC_k^n\dfrac{\partial^{2k}u}{\partial x^{2k}}$

$u_{ttt}=u_t+u_{xxt}$

$u_{ttttt}=u_{ttt}+u_{xxttt}=u_t+u_{xxt}+u_{xxt}+u_{xxxxt}=u_t+2u_{xxt}+u_{xxxxt}$

Similarly, $\dfrac{\partial^{2n+1}u}{\partial t^{2n+1}}=\sum\limits_{k=0}^nC_k^n\dfrac{\partial^{2k+1}u}{\partial x^{2k}\partial t}$

$\therefore u(x,t)=\sum\limits_{n=0}^\infty\dfrac{ct^{2n}}{(2n)!}+\sum\limits_{n=0}^\infty\sum\limits_{k=0}^n\dfrac{C_k^nf^{(2k)}(x)t^{2n+1}}{(2n+1)!}=c\cosh t+\sum\limits_{n=0}^\infty\sum\limits_{k=0}^n\dfrac{C_k^nf^{(2k)}(x)t^{2n+1}}{(2n+1)!}$

Approach $2$:

Let $\begin{cases}p=\dfrac{t+x}{2}\\q=\dfrac{t-x}{2}\end{cases}$ ,

Then $u_t=u_pp_t+u_qq_t=\dfrac{u_p+u_q}{2}$

$u_x=u_pp_x+u_qq_x=\dfrac{u_p-u_q}{2}$

$u_{tt}=\left(\dfrac{u_p+u_q}{2}\right)_t=\left(\dfrac{u_p+u_q}{2}\right)_pp_t+\left(\dfrac{u_p+u_q}{2}\right)_qq_t=\dfrac{u_{pp}+u_{pq}}{4}+\dfrac{u_{pq}+u_{qq}}{4}=\dfrac{u_{pp}+2u_{pq}+u_{qq}}{4}$

$u_{xx}=\left(\dfrac{u_p-u_q}{2}\right)_x=\left(\dfrac{u_p-u_q}{2}\right)_pp_x+\left(\dfrac{u_p-u_q}{2}\right)_qq_x=\dfrac{u_{pp}-u_{pq}}{4}-\dfrac{u_{pq}-u_{qq}}{4}=\dfrac{u_{pp}-2u_{pq}+u_{qq}}{4}$

$\therefore\dfrac{u_{pp}+2u_{pq}+u_{qq}}{4}-\dfrac{u_{pp}-2u_{pq}+u_{qq}}{4}-u=0$

$u_{pq}-u=0$

According to Method of charactersitics and second order PDE.,

$u(p,q)=\int_0^pf(s)I_0\left(2\sqrt{q(p-s)}\right)~ds+\int_0^qg(s)I_0\left(2\sqrt{p(q-s)}\right)~ds$

$u(x,t)=\int_0^\frac{t+x}{2}f(s)I_0\left(2\sqrt{\dfrac{t-x}{2}\left(\dfrac{t+x}{2}-s\right)}\right)~ds+\int_0^\frac{t-x}{2}g(s)I_0\left(2\sqrt{\dfrac{t+x}{2}\left(\dfrac{t-x}{2}-s\right)}\right)~ds$

$u(x,t)=\int_0^{t+x}F(s)I_0\left(\sqrt{(t-x)(t+x-s)}\right)~ds+\int_0^{t-x}G(s)I_0\left(\sqrt{(t+x)(t-x-s)}\right)~ds$