What Does It Mean to Solve a Differential Equation?

For an ordinary equation like x2+1=0x^2 + 1 = 0 or sin⁡2x−cos⁡x=0\sin^2 x - \cos x = 0, a solution is a number that satisfies it. For a differential equation like

d2ydx2+y=0\frac{d^2y}{dx^2} + y = 0

a solution is a function y=ϕ(x)y = \phi(x): substituting ϕ\phi and its derivatives for yy makes L.H.S. == R.H.S. for every xx. The graph y=ϕ(x)y = \phi(x) is called the solution curve (or integral curve) of the equation.

General versus particular

Consider y=ϕ(x)=asin⁡(x+b)y = \phi(x) = a\sin(x + b), with a,b∈Ra, b \in \mathbb{R}. Substituting into y′′+y=0y'' + y = 0 gives L.H.S. == R.H.S. — a solution for every choice of aa and bb. This two-parameter family is the general solution (also called the primitive).

Now fix the parameters — say a=2a = 2, b=π4b = \frac{\pi}{4} — to get y=ϕ1(x)=2sin⁡(x+π4)y = \phi_1(x) = 2\sin\left(x + \frac{\pi}{4}\right): still a solution, but with no arbitrary constants. That is a particular solution.

Definitions: The solution containing arbitrary constants is the general solution. A solution free from arbitrary constants — obtained by giving the constants particular values — is a particular solution.

Family of parabola solution curves with one particular curve highlighted

Counting the constants

The general solution of an nnth order differential equation contains exactly nn arbitrary constants — one integration per order. So a fourth-order equation's general solution carries 44 constants, while any particular solution carries 00 (that is what "particular" means).

Key Point: One differential equation ↔ one family of curves. Extra information — "the curve passes through (1,2)(1, 2)" — pins down the constants and selects one member of the family. This is exactly how the solving methods of the next three sections will be used in exams: general solution first, then apply the condition.

[JEE Tip] Constant-counting is a free-marks MCQ: general solution of order nn → nn constants; particular solution of any order → 00 constants. No computation, just the definitions.

Verifying a Solution — the Substitution Recipe

Verification questions hand you a function and an equation and ask you to check the fit. No solving techniques needed — just careful differentiation.

The recipe:

  1. Differentiate the given function as many times as the order of the equation demands.
  2. Substitute the function and its derivatives into the L.H.S.
  3. Simplify and confirm L.H.S. == R.H.S. identically (for all xx in the domain, not just at one point).

Worked template

Verify that y=e−3xy = e^{-3x} solves d2ydx2+dydx−6y=0\dfrac{d^2y}{dx^2} + \dfrac{dy}{dx} - 6y = 0:

  1. dydx=−3e−3x\frac{dy}{dx} = -3e^{-3x}, and differentiating again, d2ydx2=9e−3x\frac{d^2y}{dx^2} = 9e^{-3x}.
  2. Substitute: L.H.S. =9e−3x+(−3e−3x)−6e−3x=9e−3x−9e−3x=0== 9e^{-3x} + \left(-3e^{-3x}\right) - 6e^{-3x} = 9e^{-3x} - 9e^{-3x} = 0 = R.H.S. ✓

Implicit solutions

Solutions sometimes arrive as implicit relations, like xy=log⁡y+Cxy = \log y + C. Differentiate the relation implicitly:

y+xy′=y′y  ⇒  y′(x−1y)=−y  ⇒  y′=y21−xyy + xy' = \frac{y'}{y} \;\Rightarrow\; y'\left(x - \frac1y\right) = -y \;\Rightarrow\; y' = \frac{y^2}{1 - xy}

which is exactly the differential equation to be verified. Implicit verification = implicit differentiation + algebra to isolate y′y'.

Key Point: Verification is differentiation running forward — no integrals anywhere. If the check leaves a leftover term, either the differentiation slipped or the function genuinely isn't a solution; both are findable by redoing step 1 slowly.

[JEE Tip] When a verification involves square roots (like y=xsin⁡xy = x\sin x against xy′=y+xx2−y2xy' = y + x\sqrt{x^2 - y^2}), the identity may hold only on a stated domain (here where cos⁡x≥0\cos x \geq 0) — quote the domain restriction; both boards and JEE include it in the full-credit answer.

Solved Examples

Example 1: Second-order verification

Verify that y=e−3xy = e^{-3x} is a solution of d2ydx2+dydx−6y=0\dfrac{d^2y}{dx^2} + \dfrac{dy}{dx} - 6y = 0.

Solution:

  1. Differentiate twice: y′=−3e−3xy' = -3e^{-3x}; y′′=9e−3xy'' = 9e^{-3x}.
  2. Substitute: L.H.S. =9e−3x−3e−3x−6e−3x=0== 9e^{-3x} - 3e^{-3x} - 6e^{-3x} = 0 = R.H.S.

Final Answer: Verified — y=e−3xy = e^{-3x} is a solution.

Example 2: A two-parameter family

Verify that y=acos⁡x+bsin⁡xy = a\cos x + b\sin x (with a,b∈Ra, b \in \mathbb{R}) solves d2ydx2+y=0\dfrac{d^2y}{dx^2} + y = 0.

Solution:

  1. Differentiate twice: y′=−asin⁡x+bcos⁡xy' = -a\sin x + b\cos x; y′′=−acos⁡x−bsin⁡xy'' = -a\cos x - b\sin x.
  2. Substitute: L.H.S. =(−acos⁡x−bsin⁡x)+(acos⁡x+bsin⁡x)=0= (-a\cos x - b\sin x) + (a\cos x + b\sin x) = 0.

Final Answer: Verified for every aa and bb — and with two arbitrary constants matching the order 22, this is the general solution.

Example 3: A root function

Verify that y=1+x2y = \sqrt{1 + x^2} is a solution of y′=xy1+x2y' = \dfrac{xy}{1 + x^2}.

Solution:

  1. Differentiate: y′=2x21+x2=x1+x2y' = \frac{2x}{2\sqrt{1 + x^2}} = \frac{x}{\sqrt{1+x^2}}.
  2. Compute the R.H.S.: xy1+x2=x1+x21+x2=x1+x2\frac{xy}{1+x^2} = \frac{x\sqrt{1+x^2}}{1+x^2} = \frac{x}{\sqrt{1+x^2}}.
  3. Compare: L.H.S. == R.H.S. ✓

Final Answer: Verified.

Takeaway: When both sides are computed independently and meet in the middle, the verification is airtight — rearranging one side into the other risks circular algebra.

Example 4: An implicit solution

Verify that xy=log⁡y+Cxy = \log y + C is a solution of y′=y21−xyy' = \dfrac{y^2}{1 - xy} (where xy≠1xy \neq 1).

Solution:

  1. Differentiate implicitly: ddx(xy)=ddx(log⁡y+C)\frac{d}{dx}(xy) = \frac{d}{dx}(\log y + C) gives y+xy′=y′yy + xy' = \frac{y'}{y}.
  2. Collect y′y': y′(1y−x)=yy'\left(\frac1y - x\right) = y, so y′⋅1−xyy=yy'\cdot\frac{1 - xy}{y} = y.
  3. Isolate: y′=y21−xyy' = \frac{y^2}{1 - xy} — exactly the given equation.

Final Answer: Verified.

Example 5: A domain-sensitive verification

Verify that y=xsin⁡xy = x\sin x is a solution of xy′=y+xx2−y2xy' = y + x\sqrt{x^2 - y^2} (for x≠0x \neq 0 and x>yx > y or x<−yx < -y).

Solution:

  1. Differentiate: y′=sin⁡x+xcos⁡xy' = \sin x + x\cos x, so xy′=xsin⁡x+x2cos⁡x=y+x2cos⁡xxy' = x\sin x + x^2\cos x = y + x^2\cos x.
  2. Compute the root: x2−y2=x2−x2sin⁡2x=x2cos⁡2x=∣xcos⁡x∣\sqrt{x^2 - y^2} = \sqrt{x^2 - x^2\sin^2x} = \sqrt{x^2\cos^2x} = |x\cos x|.
  3. Compare: on the stated domain (where xcos⁡x≥0x\cos x \geq 0), xx2−y2=x2cos⁡xx\sqrt{x^2 - y^2} = x^2\cos x, so R.H.S. =y+x2cos⁡x== y + x^2\cos x = L.H.S. ✓

Final Answer: Verified on the stated domain.

Takeaway: u2=∣u∣\sqrt{u^2} = |u|, not uu — the domain restriction in the problem statement is exactly what turns the modulus into a plain factor. Quote it.

Example 6: From general to particular

The general solution of dydx=2x\dfrac{dy}{dx} = 2x is y=x2+Cy = x^2 + C. Find the particular solution whose curve passes through (1,2)(1, 2).

Solution:

  1. Apply the condition: substitute x=1x = 1, y=2y = 2: 2=1+C2 = 1 + C.
  2. Solve for the constant: C=1C = 1.
  3. Write the particular solution: y=x2+1y = x^2 + 1.

Final Answer: y=x2+1y = x^2 + 1 — one curve selected from the one-parameter family.

Takeaway: This two-step move — solve generally, then impose the condition — is the closing move of nearly every solving problem in the rest of the chapter.