Type a command or search the notes. Tab cycles completions. Up and down recall history when blank. Escape dismisses, then leaves the prompt.
MATH
[1251]

Second-order constant-coefficient equations

Characteristic modes, forcing, resonance and mechanical applications.

This page solves second-order linear equations with constant coefficients,

ay′′+by′+cy=0oray′′+by′+cy=f(x),ay''+by'+cy=0 \qquad\text{or}\qquad ay''+by'+cy=f(x),

where a,b,ca,b,c are constants and a≠0a\neq0. Constant coefficients turn differentiation into algebra: an exponential trial reduces the homogeneous equation to a characteristic polynomial, whose roots are the system's modes. A forcing term then adds one particular response to those modes.

In the method-selection workflow, this test comes after the first-order structures. The linear-operator facts behind it are set out in existence, uniqueness and linear operators.

Homogeneous equations and modes

[DEFINITION]

Constant-coefficient equation

A second-order constant-coefficient linear ODE has the form

ay′′+by′+cy=f(x),a≠0,ay''+by'+cy=f(x), \qquad a\neq0,

where aa, bb and cc are constants. It is homogeneous when f(x)≡0f(x)\equiv0.

The same idea extends to an nnth-order equation: each derivative has a constant coefficient and the corresponding characteristic polynomial has degree nn.

[THEOREM]

Superposition of homogeneous solutions

For a homogeneous linear equation, 00 is a solution, scalar multiples of solutions are solutions and sums of solutions are solutions. For a second-order equation, two linearly independent solutions generate every homogeneous solution:

yh=Ay1+By2.y_h=Ay_1+By_2.

The two arbitrary constants are what allow two initial conditions to be imposed. If the proposed solutions are scalar multiples, they provide only one mode and cannot represent all possible initial data.

[DEFINITION]

Characteristic equation

For the homogeneous equation

ay′′+by′+cy=0,ay''+by'+cy=0,

the exponential trial function y=erxy=e^{rx} gives the characteristic equation

ar2+br+c=0.ar^2+br+c=0.

The trial is useful because

y′=rerx,y′′=r2erx,y'=re^{rx},\qquad y''=r^2e^{rx},

so substitution gives

(ar2+br+c)erx=0.(ar^2+br+c)e^{rx}=0.

Since erx≠0e^{rx}\neq0, the differential equation reduces to an algebraic equation. For an nnth-order constant-coefficient equation, replace y(j)y^{(j)} by rjr^j to obtain the corresponding degree-nn polynomial.

[METHOD]

Read the characteristic roots

Solve the characteristic equation and choose the real homogeneous modes according to the roots:

  • If r1≠r2r_1\neq r_2 are distinct real roots, use yh=Aer1x+Ber2x.y_h=Ae^{r_1x}+Be^{r_2x}.
  • If rr is a repeated real root, use yh=(A+Bx)erx.y_h=(A+Bx)e^{rx}.
  • If the roots are r=α±iβr=\alpha\pm i\beta with β≠0\beta\neq0, use yh=eαx(Acos⁡(βx)+Bsin⁡(βx)).y_h=e^{\alpha x} \bigl(A\cos(\beta x)+B\sin(\beta x)\bigr).

For a repeated root, erxe^{rx} and xerxxe^{rx} are independent; the factor xx is required. The extra mode comes from writing y=erxv(x)y=e^{rx}v(x), where rr is the repeated root. Since b=−2arb=-2ar and c=ar2c=ar^2, substitution reduces the ODE to aerxv′′=0ae^{rx}v''=0, so v=A+Bxv=A+Bx.

For a complex pair, α\alpha controls exponential growth or decay and β\beta controls oscillation, as with the modulus and argument in polar form. For real coefficients, a non-real root always occurs with its complex conjugate. Since e(α+iβ)x=eαx(cos⁡βx+isin⁡βx)e^{(\alpha+i\beta)x}=e^{\alpha x}(\cos\beta x+i\sin\beta x), its real and imaginary parts give the two real modes in the last row and the final solution needs no complex constants.

[EXAMPLE]

Two distinct real roots

For

y′′−2y′−15y=0,y''-2y'-15y=0,

the characteristic polynomial factors as

r2−2r−15=(r−5)(r+3).r^2-2r-15=(r-5)(r+3).

The roots are 55 and −3-3, so

y=Ae5x+Be−3x.y=Ae^{5x}+Be^{-3x}.
[EXAMPLE]

A repeated real root

For

y′′−6y′+9y=0,y''-6y'+9y=0,

the characteristic polynomial is (r−3)2(r-3)^2. The homogeneous solution is

y=(A+Bx)e3x.y=(A+Bx)e^{3x}.

Using only Ae3xAe^{3x} would lose one arbitrary constant because the two proposed modes would be scalar multiples.

[EXAMPLE]

Initial data for distinct modes

For

y′′−4y′−5y=0,y(0)=2,y′(0)=10,y''-4y'-5y=0,\qquad y(0)=2,\qquad y'(0)=10,

the roots are 55 and −1-1, so

y=Ae5x+Be−x.y=Ae^{5x}+Be^{-x}.

The initial conditions give

A+B=2,5A−B=10.A+B=2,\qquad 5A-B=10.

Thus A=2A=2, B=0B=0 and

y=2e5x.y=2e^{5x}.

The root classification also predicts qualitative behaviour: a negative real part gives exponential decay, a positive real part gives exponential growth and a nonzero imaginary part produces oscillation. Repeated roots also contribute polynomial factors, so a zero real part can produce a constant or polynomially growing mode rather than decay. The broader discrete and continuous stability criteria are collected in stability of systems.

These modes match the exponential modes used for linear ODE systems. The polynomial ar2+br+car^2+br+c plays the same role as the characteristic polynomial of a matrix and the distinct, repeated and complex cases behave alike in both settings.

Non-homogeneous equations

Once the homogeneous modes are known, a forcing term adds one particular response to them. Undetermined coefficients finds that response for the polynomial, exponential and trigonometric forcing below. When no method covered here applies, use numerical solutions.

[THEOREM]

Homogeneous part plus particular part

Write a linear equation as

L[y]=f(x),L[y]=ay′′+by′+cy.L[y]=f(x), \qquad L[y]=ay''+by'+cy.

If ypy_p is one particular solution and yhy_h is any homogeneous solution, then the complete solution is

y=yh+yp.y=y_h+y_p.

The homogeneous part contains the arbitrary constants. The particular part accounts for the forcing and contains no new arbitrary constants.

[PROOF]

Linearity gives

L[yh+yp]=L[yh]+L[yp]=0+f=f,L[y_h+y_p]=L[y_h]+L[y_p]=0+f=f,

so yh+ypy_h+y_p is a solution. Conversely, if yy is another solution, then

L[y−yp]=L[y]−L[yp]=f−f=0.L[y-y_p]=L[y]-L[y_p]=f-f=0.

Thus y−ypy-y_p is homogeneous, which means every solution has the stated form.

[METHOD]

Undetermined coefficients

For suitable forcing functions:

  • a polynomial of degree nn suggests a general polynomial of degree nn;
  • eβxe^{\beta x} suggests CeβxCe^{\beta x};
  • pn(x)eβxp_n(x)e^{\beta x} suggests qn(x)eβxq_n(x)e^{\beta x}, where qnq_n has degree nn;
  • sin⁡(βx)\sin(\beta x) or cos⁡(βx)\cos(\beta x) suggests C1cos⁡(βx)+C2sin⁡(βx);C_1\cos(\beta x)+C_2\sin(\beta x);
  • eαxsin⁡(βx)e^{\alpha x}\sin(\beta x) or eαxcos⁡(βx)e^{\alpha x}\cos(\beta x) suggests eαx(C1cos⁡(βx)+C2sin⁡(βx)).e^{\alpha x} \bigl(C_1\cos(\beta x)+C_2\sin(\beta x)\bigr).

Substitute the trial into the equation and match coefficients. If the trial overlaps with a homogeneous mode whose characteristic root has multiplicity ss, multiply the whole trial by xsx^s (so a simple overlap requires one factor of xx, while a repeated root requires x2x^2).

The trial families work because differentiating a polynomial, exponential or sinusoidal expression keeps it within the same finite-dimensional family, so substitution reduces the problem to algebraic coefficient matching. The correction accounts for resonance: a trial that already lies in the homogeneous solution space cannot produce the forcing after applying LL. Oscillation by itself is not resonance; resonance requires a forcing term whose trial shape overlaps a natural homogeneous mode.

[EXAMPLE]

Constant forcing

For

y′′−3y′+2y=4,y''-3y'+2y=4,

the homogeneous solution is Aex+Be2xAe^x+Be^{2x}. A constant trial yp=Cy_p=C gives 2C=42C=4, so C=2C=2. Hence

y=Aex+Be2x+2.y=Ae^x+Be^{2x}+2.
[EXAMPLE]

Linear forcing

For

y′′−5y′+6y=6x,y''-5y'+6y=6x,

the homogeneous roots are 22 and 33. Use yp=ax+by_p=ax+b. Substitution gives

6a x+(−5a+6b)=6x.6a\,x+(-5a+6b)=6x.

Thus a=1a=1 and b=5/6b=5/6, so

y=Ae2x+Be3x+x+56.y=Ae^{2x}+Be^{3x}+x+\frac56.
[EXAMPLE]

Forcing at a repeated root

For

y′′+4y′+4y=e−2x,y''+4y'+4y=e^{-2x},

the homogeneous equation has the repeated root −2-2 and homogeneous solution (A+Bx)e−2x(A+Bx)e^{-2x}. The trial Ce−2xCe^{-2x} and the corrected trial Cxe−2xCxe^{-2x} both overlap with this solution space, so use

yp=Cx2e−2x.y_p=Cx^2e^{-2x}.

Here the operator factors as (D+2)2(D+2)^2, where D=d/dxD=d/dx. For yp=e−2xv(x)y_p=e^{-2x}v(x), applying this operator gives e−2xv′′(x)e^{-2x}v''(x). With v=Cx2v=Cx^2, the left side is 2Ce−2x2Ce^{-2x}; matching the forcing gives C=1/2C=1/2. Therefore

y=(A+Bx)e−2x+12x2e−2x.y=(A+Bx)e^{-2x}+\frac12x^2e^{-2x}.
[EXAMPLE]

Trigonometric resonance

For

y′′+y=cos⁡x,y''+y=\cos x,

the homogeneous modes are cos⁡x\cos x and sin⁡x\sin x, so the forcing overlaps with the homogeneous solution. Use

yp=Cxsin⁡x.y_p=Cx\sin x.

Since

(xsin⁡x)′′+xsin⁡x=2cos⁡x,(x\sin x)''+x\sin x=2\cos x,

we have C=1/2C=1/2. With y(0)=3y(0)=3 and y′(0)=0y'(0)=0,

y=3cos⁡x+x2sin⁡x.y=3\cos x+\frac{x}{2}\sin x.
[EXAMPLE]

Polynomial forcing

For

y′′+y=x2+x,y''+y=x^2+x,

take yp=ax2+bx+cy_p=ax^2+bx+c. Matching coefficients gives a=1a=1, b=1b=1 and c=−2c=-2. Thus

y=Acos⁡x+Bsin⁡x+x2+x−2.y=A\cos x+B\sin x+x^2+x-2.
[EXAMPLE]

Exponential-polynomial forcing

For

y′′−3y′+2y=x2e3x,y''-3y'+2y=x^2e^{3x},

the homogeneous roots are 11 and 22, so there is no overlap with e3xe^{3x}. Set

yp=e3x(Ax2+Bx+C).y_p=e^{3x}(Ax^2+Bx+C).

Writing v=Ax2+Bx+Cv=Ax^2+Bx+C, direct differentiation gives

(D2−3D+2)(e3xv)=e3x(v′′+3v′+2v).(D^2-3D+2)(e^{3x}v)=e^{3x}(v''+3v'+2v).

Matching this with x2e3xx^2e^{3x} gives 2A=12A=1, 6A+2B=06A+2B=0 and 2A+3B+2C=02A+3B+2C=0. Hence

yp=e3x(12x2−32x+74).y_p=e^{3x}\left(\frac12x^2-\frac32x+\frac74\right).

The general solution is

y=C1ex+C2e2x+e3x(12x2−32x+74).y=C_1e^x+C_2e^{2x} +e^{3x}\left(\frac12x^2-\frac32x+\frac74\right).

The linear operators page states the same homogeneous-plus-particular structure for any linear ODE.

An integral equation as an IVP

[METHOD]

Recover an IVP from an integral equation

Differentiate an integral equation with a variable limit, record the initial values obtained at the endpoint and solve the resulting differential equation subject to those values. Finally, check the original integral equation because differentiation can enlarge the solution set.

[EXAMPLE]

A Volterra integral equation

For

x(t)=−∫0t(t−s)x(s) ds,x(t)=-\int_0^t(t-s)x(s)\,ds,

setting t=0t=0 gives x(0)=0x(0)=0. Differentiate using the Leibniz rule:

x′(t)=−∫0tx(s) ds,x'(t)=-\int_0^t x(s)\,ds,

so x′(0)=0x'(0)=0. Differentiating again gives

x′′(t)=−x(t).x''(t)=-x(t).

The integral equation therefore implies the IVP

x′′+x=0,x(0)=0,x′(0)=0.x''+x=0,\qquad x(0)=0,\qquad x'(0)=0.

The unique solution is

x(t)=0.x(t)=0.

The initial conditions are essential. Solving only the differentiated equation would introduce nonzero sine and cosine solutions that need not satisfy the original integral equation.

Mechanical applications

[DEFINITION]

Spring-mass-damper model

For a mass attached to a spring with spring constant kk and viscous friction coefficient cc, Newton's law gives

mx¨+cx˙+kx=0.m\ddot{x}+c\dot{x}+kx=0.

The characteristic roots determine whether the motion is non-oscillatory or oscillatory and whether its amplitude grows or decays.

With an external force, the right side becomes a forcing term. The solution then has a transient homogeneous response and a particular forced response. In the usual mechanical units, mm is mass, cc has mass/time units and kk has mass/time2^2 units.

[EXAMPLE]

Damped oscillation

For m=1m=1, c=0.2c=0.2 and k=1.01k=1.01,

x¨+0.2x˙+1.01x=0\ddot{x}+0.2\dot{x}+1.01x=0

has characteristic roots

r=−0.1±i.r=-0.1\pm i.

Therefore

x(t)=e−0.1t(Acos⁡t+Bsin⁡t).x(t)=e^{-0.1t}(A\cos t+B\sin t).

With x(0)=2x(0)=2 and x˙(0)=−0.2\dot{x}(0)=-0.2, we obtain A=2A=2 and B=0B=0, so

x(t)=2e−0.1tcos⁡t.x(t)=2e^{-0.1t}\cos t.

The cosine describes the oscillation, while e−0.1te^{-0.1t} is the decaying amplitude. Hence x(t)→0x(t)\to0.

[EXAMPLE]

Periodic forcing

If an external periodic force is applied,

x¨+0.2x˙+1.01x=1.5sin⁡(ωt)+1.8cos⁡(ωt),\ddot{x}+0.2\dot{x}+1.01x =1.5\sin(\omega t)+1.8\cos(\omega t),

the solution has a transient part, which decays and a steady periodic part at frequency ω\omega. Take ω=2\omega=2 and the same initial conditions. For the particular response, set

xp=asin⁡(2t)+bcos⁡(2t).x_p=a\sin(2t)+b\cos(2t).

Substitution gives

−2.99a−0.4b=1.5,0.4a−2.99b=1.8,-2.99a-0.4b=1.5, \qquad 0.4a-2.99b=1.8,

so a≈−0.4137a\approx-0.4137 and b≈−0.6574b\approx-0.6574. Adding the homogeneous part e−0.1t(Ccos⁡t+Dsin⁡t)e^{-0.1t}(C\cos t+D\sin t) and imposing x(0)=2x(0)=2, x′(0)=−0.2x'(0)=-0.2 gives C≈2.657C\approx2.657 and D≈0.893D\approx0.893.

Therefore the response is approximately

x(t)≈0.8932e−0.1tsin⁡t+2.657e−0.1tcos⁡t−0.4137sin⁡(2t)−0.6574cos⁡(2t).x(t)\approx 0.8932e^{-0.1t}\sin t +2.657e^{-0.1t}\cos t -0.4137\sin(2t)-0.6574\cos(2t).

As tt increases, only the forced periodic terms remain. The choice ω=2\omega=2 shows a forced response away from the peak. The response is largest when the forcing frequency is near the undamped natural frequency,

km≈1.\sqrt{\frac{k}{m}}\approx1.

This is the near-resonant peak of the damped frequency response. Damping prevents the ideal undamped amplitude from growing without bound, but still produces a pronounced finite peak near that frequency.

On this page