4.5.1: Oscillation of a String
( \newcommand{\kernel}{\mathrm{null}\,}\)
Let u(x,t), x∈[a,b], t∈R1, be the deflection of a string, see Figure 1.1.1 from Chapter 1. Assume the deflection occurs in the (x,u)-plane. This problem is governed by the initial-boundary value problem
utt(x,t)=uxx(x,t) on (0,l)u(x,0)=f(x)ut(x,0)=g(x)u(0,t)=u(l,t)=0.
Assume the initial data f, g are sufficiently regular. This implies compatibility conditions f(0)=f(l)=0 and g(0)=g(l).
Fourier's method
To find solutions of differential equation (4.5.1.1) we make the separation of variables ansatz
u(x,t)=v(x)w(t).
Inserting the ansatz into (4.5.1.1) we obtain
v(x)w″(t)=v″(x)w(t),
or, if v(x)w(t)≠0,
w″(t)w(t)=v″(x)v(x).
It follows, provided v(x)w(t) is a solution of differential equation (4.5.1.1) and v(x)w(t)≠0,
w″(t)w(t)=const.=:−λ
and
v″(x)v(x)=−λ
since x, t are independent variables.
Assume v(0)=v(l)=0, then v(x)w(t) satisfies the boundary condition (4.5.1.4). Thus we look for solutions of the eigenvalue problem
−v″(x)=λv(x) in (0,l)v(0)=v(l)=0,
which has the eigenvalues
λn=(πln)2, n=1,2,…,
and associated eigenfunctions are
vn=sin(πlnx).
Solutions of
−w″(t)=λnw(t)
are
sin(√λnt), cos(√λnt).
Set
wn(t)=αncos(√λnt)+βnsin(√λnt),
where αn, βn∈R1.
It is easily seen that wn(t)vn(x) is a solution of differential equation (4.5.1.1), and, since (4.5.1.1) is linear and homogeneous, also (principle of superposition)
uN=N∑n=1wn(t)vn(x)
which satisfies the differential equation (4.5.1.1) and the boundary conditions (4.5.1.4). Consider the formal solution of (4.5.1.1), (4.5.1.4)
u(x,t)=∞∑n=1(αncos(√λnt)+βnsin(√λnt))sin(√λnx).
''Formal'' means that we know here neither that the right hand side converges nor that it is a solution of the initial-boundary value problem. Formally, the unknown coefficients can be calculated from initial conditions (4.5.1.2), (4.5.1.3) as follows. We have
u(x,0)=∞∑n=1αnsin(√λnx)=f(x).
Multiplying this equation by sin(√λkx) and integrate over (0,l), we get
αn∫l0 sin2(√λkx) dx=∫l0 f(x)sin(√λkx) dx.
We recall that
∫l0 sin(√λnx)sin(√λkx) dx=l2δnk.
Then
αk=2l∫l0 f(x)sin(πklx) dx.
By the same argument it follows from
ut(x,0)=∞∑n=1βn√λnsin(√λnx)=g(x)
that
βk=2kπ∫l0 g(x)sin(πklx) dx.
Under additional assumptions f∈C40(0,l), g∈C30(0,l) it follows that the right hand side of (4.5.1.7), where αn, βn are given by (4.5.1.8) and (4.5.1.9), respectively, defines a classical solution of (4.5.1.1)-(4.5.1.4) since under these assumptions the series for u and the formal differentiate series for ut, utt, ux, uxx converges uniformly on 0≤x≤l, 0≤t≤T, 0<T<∞ fixed, see an exercise.
Contributors and Attributions
Integrated by Justin Marshall.