The Wave Equation — Question 3

PDF ↗

Question 3

Use the whole-line wave formula u(x,t)=f(x−ct)+f(x+ct)2+12c∫x−ctx+ctg(s)ds,c>0.u(x,t)=\frac{f(x-ct)+f(x+ct)}2+ \frac 1{2c}\int_{x-ct}^{x+ct}g(s)\,ds,\qquad c>0. At an observation time t0>0t_0>0, compare two solutions with initial data (f,g)(f,g) and (f̃,g̃)(\widetilde f,\widetilde g).

Tasks

  1. Identify exactly which initial positions can influence an observation (x0,t0)(x_0,t_0) in this formula.

  2. If |f−f̃|≤ε|f-\widetilde f|\leq\varepsilon and |g−g̃|≤η|g-\widetilde g|\leq\eta on that interval, prove |u(x0,t0)−ũ(x0,t0)|≤ε+t0η|u(x_0,t_0)-\widetilde u(x_0,t_0)|\leq\varepsilon+t_0\eta. Show the two constants are sharp.

  3. Take c=1c=1, g=0g=0 and f(x)=(x−2)3(3−x)3f(x)=(x-2)^3(3-x)^3 on 2<x<32<x<3, zero elsewhere. Find the entire time trace at x=0x=0, including its first and last nonzero times and maximum.

  4. Sketch the normalized trace 128u(0,t)128u(0,t) for 0≤t≤40\leq t\leq 4. Explain why changes to initial data outside the backward interval cannot affect a given observation, however large those changes are.

Original worksheet page 1: question and worked solution for 9-2-003
Show solutionHide solution

Question 3 – Solution

Strategy. Read causality directly from the interval sampled by the solution formula.

Step 1: Identify the backward interval. Only the initial positions in [x0−ct0,x0+ct0]\boxed{[x_0-ct_0,x_0+ct_0]} enter: ff is sampled at its two endpoints, while gg is integrated across it. This interval is a sufficient domain of dependence for both types of data; interior values of ff alone do not enter this one-dimensional formula.

Step 2: Bound and attain the data error. The endpoint contribution is at most (ε+ε)/2(\varepsilon+\varepsilon)/2. The integral contribution is at most (2ct0)η/(2c)(2ct_0)\eta/(2c). Hence |u(x0,t0)−ũ(x0,t0)|≤ε+t0η.\boxed{|u(x_0,t_0)-\widetilde u(x_0,t_0)| \leq\varepsilon+t_0\eta.} Constant differences f−f̃=εf-\widetilde f=\varepsilon and g−g̃=ηg-\widetilde g=\eta attain equality. Taking either difference zero proves the corresponding coefficient cannot be improved.

Step 3: Compute the sensor trace. At x=0x=0, u(0,t)=[f(−t)+f(t)]/2u(0,t)=[f(-t)+f(t)]/2. For t≥0t\geq 0, the first term is always zero. Thus u(0,t)={12(t−2)3(3−t)3,2<t<3,0,0≤t≤2ort≥3.\boxed{u(0,t)= \begin{cases} \tfrac 12(t-2)^3(3-t)^3,&2<t<3,\\ 0,&0\leq t\leq 2\ \text{or}\ t\geq 3. \end{cases}} The trace starts to become nonzero immediately after t=2t=2 and returns to zero at t=3t=3. Since (t−2)(3−t)=1/4−(t−5/2)2(t-2)(3-t)=1/4-(t-5/2)^2, its unique maximum is 1/1281/128 at t=5/2t=5/2. The initial profile is C2C^2 even at its support edges.

Step 4: Interpret finite propagation. At times before 22, the backward interval does not reach the initial pulse, so the sensor cannot respond. No alteration outside the sampled interval changes either endpoint value or the integral in the formula. This conclusion places no bound on the magnitude of the remote alteration. It is a statement about finite propagation and dependence on initial data, not about small remote effects that have merely been neglected.

See the diagram in the original worksheet below.

Original worksheet page 2: question and worked solution for 9-2-003

Original worksheet layout. Use Enlarge or open the PDF for a closer view.