4.7.11 · D4Partial Differential Equations

Exercises — Solving wave equation — D'Alembert's solution

2,238 words10 min readBack to topic

Level 1 — Recognition

These ask only: can you read the ingredients off a problem and match them to the formula? No heavy computing yet.

Recall Solution — L1.1

The wave equation is . Compare : so (we take the positive root because is a speed).

  • (the shape at ),
  • (the velocity at ).

What we did: matched symbols to slots. Why: every later step needs these three named correctly.

Recall Solution — L1.2

"At rest" means everywhere. The velocity term is ; with the integrand is , so the integral is and the entire second term vanishes. What remains: Picture: the starting bump is cut into two half-height copies gliding apart at speed .

Recall Solution — L1.3

A profile keeps a fixed value where its argument is constant. For , as increases must increase → it moves in . The rule: minus sign ⇒ moves .

  • (a) : minus ⇒ moves in at speed .
  • (b) : plus ⇒ moves in at speed .
  • (c) : rewrite as ; the argument has a minus ⇒ moves at speed . (The outer minus just flips the profile upside-down; it does not change direction.)

Level 2 — Application

Now plug in and grind out closed forms.

Recall Solution — L2.1

Here and , so only the shape term survives: Check at : both fractions become , sum is , halved gives . ✓

Recall Solution — L2.2

. Only the integral survives:

=\frac{1}{8}\big[(x+2t)^2-(x-2t)^2\big].$$ Expand: $(x+2t)^2-(x-2t)^2 = 8xt$ (difference of squares $= (a-b)(a+b)$ with $a-b=4t$, $a+b=2x$). So $$u(x,t)=\frac{8xt}{8}=xt.$$ **Check:** $u(x,0)=0=f$ ✓; $u_t=x$, so $u_t(x,0)=x=g$ ✓.
Recall Solution — L2.3

First term (sum-to-product ): . Integral: . Times : . Check: ✓; → at , ✓. Neat: the answer is a single right-moving wave .


Level 3 — Analysis

Reason about behaviour — domains, values, signs — often without a full formula.

Recall Solution — L3.1

depends on at and on over . With : So the domain of dependence is . Now test each point:

  • : outside no influence.
  • : inside → yes (via ).
  • : inside → yes (via ).
  • : an endpoint → yes (it feeds both and the integral edge).

See Domain of Dependence and Influence for the geometry of these light-cone edges.

Figure — Solving wave equation — D'Alembert's solution

Recall Solution — L3.2

With : . Both -values are (given ), and is positive, so a sum of non-negatives times a positive number is . Therefore always — never negative. What this teaches: a pure-displacement, non-negative pluck can only produce non-negative displacement; you need a velocity term (or a signed ) to dip below zero.

Recall Solution — L3.3

At : .

  • At : — the full original height (the halves overlap).
  • As : . The two bumps have marched apart, leaving the origin flat.

Picture: height at the centre decays like a Gaussian in — the energy has travelled away, not vanished. This is finite propagation speed in action.


Level 4 — Synthesis

Combine tools, derive, or work backwards.

Recall Solution — L4.1

Initial shape: . Initial velocity: , so . So , . Verify the PDE: ; , so . They match ⇒ . ✓ Cross-check with D'Alembert (): by sum-to-product. Same answer. ✓

Recall Solution — L4.2

What we do: use the general solution and the two data equations from the parent note: Integrate the second (from to ): . Add to the first: . Subtract: ... wait, recompute the subtraction: , so as a constant? That signals ; let's keep it honest by rebuilding : The constants cancel, giving . Check: ✓; ✓; ✓. (Same as plugging into D'Alembert: .)

Recall Solution — L4.3

With : . Replace by : Since is even, and . Hence So is even in . Meaning: a symmetric pluck stays symmetric forever — the two travellers are mirror images and their sum is symmetric.


Level 5 — Mastery

Subtle, open, or edge-case reasoning.

Recall Solution — L5.1

D'Alembert only evaluates ; it never differentiates it. So is perfectly well-defined even where has corners — this is a weak (generalised) solution. At : two half-height tents, each of half-height at their peaks , centred at (the copy) and (the copy). Where they still overlap (near ) the values add. The corners just ride along; they do not blow up. Lesson: the wave equation propagates singularities along characteristics rather than smoothing them (unlike the Heat Equation, which instantly smooths everything).

Recall Solution — L5.2

As : both and , so the two characteristic lines collapse onto the single vertical line . The shape term — nothing travels. The velocity term is delicate: for small interval (mean-value / narrow interval). So Physical read: with zero wave speed there is no propagation; each point of the string just moves in a straight line — starting at and drifting at constant velocity , exactly like free particles. The PDE degenerates to .

Recall Solution — L5.3

Let . By linearity solves with zero data: and . Feed into D'Alembert: So , i.e. — the solution is unique. The clean fact enabling this is that D'Alembert gives an explicit formula depending only on the data; zero data forces zero solution. The wave equation is well-posed both forward and backward in time (it is time-reversible: replacing leaves unchanged). The Heat Equation is not — its backward problem is ill-posed because heat irreversibly smooths, and tiny data changes explode backward.


Connections

  • Method of Characteristics — the lines used throughout L3–L5.
  • Transport Equation — the one-way factors behind each traveller.
  • Domain of Dependence and Influence — L3.1 and the finite-speed traps.
  • Separation of Variables — Wave Equation — compare on bounded strings.
  • Classification of Second-Order PDEs — why the wave eqn is time-reversible (L5.3).
  • Heat Equation — the contrast case for smoothing and backward ill-posedness.