For each part, we verify the given function satisfies the differential equation by computing the required derivatives, substituting them into the equation, and simplifying to an identity (0 = 0). The key is careful differentiation — product rule, chain rule, and implicit differentiation where needed.
(i) xy=aex+be−x+x2 : xdx2d2y+2dxdy−xy+x2−2=0
Concept: The given relation is implicit in y. We can either solve for y explicitly or differentiate the equation as it stands. Since y appears multiplied by x, solving explicitly is straightforward: y=xaex+be−x+x2. Then we compute y′ and y′′ and substitute.
- Write y explicitly:
y=xaex+xbe−x+x
- First derivative (using quotient rule on the first two terms, or rewrite as aexx−1 and differentiate):
y′=a(xex−x2ex)+b(−xe−x−x2e−x)+1
Factor common terms:
y′=x2aex(x−1)−x2be−x(x+1)+1
-
Second derivative: Differentiate y′ term by term. For the first term, use quotient rule on x2aex(x−1):
- Let u=aex(x−1), v=x2. Then u′=aex(x−1)+aex=aexx, and v′=2x.
- So derivative = x4(aexx)(x2)−(aex(x−1))(2x)=x4aexx3−2aexx(x−1)=x3aex(x2−2x+2)
For the second term, −x2be−x(x+1):
- u=−be−x(x+1), v=x2. u′=−b[−e−x(x+1)+e−x]=−be−x(−x)=be−xx (careful: derivative of e−x(x+1) is −e−x(x+1)+e−x=−xe−x, so u′=−b(−xe−x)=bxe−x).
- Derivative = x4(bxe−x)(x2)−(−be−x(x+1))(2x)=x4be−xx3+2be−xx(x+1)=x3be−x(x2+2x+2)
The derivative of 1 is 0. So:
y′′=x3aex(x2−2x+2)+x3be−x(x2+2x+2)
-
Substitute into the differential equation: xy′′+2y′−xy+x2−2=0
Compute xy′′:
xy′′=x2aex(x2−2x+2)+x2be−x(x2+2x+2)
Compute 2y′:
2y′=x22aex(x−1)−x22be−x(x+1)+2
Compute −xy:
−xy=−x(xaex+xbe−x+x)=−aex−be−x−x2
Now sum everything:
xy′′+2y′−xy+x2−2=[x2aex(x2−2x+2)+x2be−x(x2+2x+2)]+[x22aex(x−1)−x22be−x(x+1)+2]+[−aex−be−x−x2]+x2−2
Combine the aex terms: factor x2aex:
x2aex[(x2−2x+2)+2(x−1)]−aex=x2aex[x2−2x+2+2x−2]−aex=x2aex[x2]−aex=aex−aex=0
Combine the be−x terms: factor x2be−x:
x2be−x[(x2+2x+2)−2(x+1)]−be−x=x2be−x[x2+2x+2−2x−2]−be−x=x2be−x[x2]−be−x=be−x−be−x=0
The constant terms: +2−x2+x2−2=0.
Everything cancels. Hence the given function satisfies the differential equation.
A common mistake is forgetting the +x term when writing y explicitly from xy=... — that x comes from x2/x=x, not from the exponential terms. Also, when differentiating be−x/x, the sign of the derivative of e−x is −e−x, so handle with care.
(ii) y=ex(acosx+bsinx) : dx2d2y−2dxdy+2y=0
Concept: This is a linear combination of excosx and exsinx, which are known to satisfy the second-order linear ODE y′′−2y′+2y=0. We verify by direct differentiation.
- First derivative: Use product rule. Let u=ex, v=acosx+bsinx.
y′=ex(acosx+bsinx)+ex(−asinx+bcosx)=ex[(a+b)cosx+(b−a)sinx]
- Second derivative: Differentiate y′ again. Write y′=ex[(a+b)cosx+(b−a)sinx]. Apply product rule:
y′′=ex[(a+b)cosx+(b−a)sinx]+ex[−(a+b)sinx+(b−a)cosx]
Simplify:
y′′=ex[(a+b+b−a)cosx+(b−a−a−b)sinx]=ex[2bcosx−2asinx]
- Substitute into y′′−2y′+2y:
y′′−2y′+2y=ex[2bcosx−2asinx]−2ex[(a+b)cosx+(b−a)sinx]+2ex[acosx+bsinx]
Factor ex and collect cosx and sinx terms:
For cosx: 2b−2(a+b)+2a=2b−2a−2b+2a=0
For sinx: −2a−2(b−a)+2b=−2a−2b+2a+2b=0
Hence the expression is identically zero.
Notice that y=ex(acosx+bsinx) is the general solution of y′′−2y′+2y=0. The characteristic equation is r2−2r+2=0, with roots r=1±i, giving exactly this form. So verification is essentially checking that the function matches the known solution form.
(iii) y=xsin3x : dx2d2y+9y−6cos3x=0
Concept: Here y is a product of x and sin3x. We compute two derivatives and substitute. The presence of −6cos3x in the equation suggests that after substitution, the sin terms will cancel and leave a cos term that matches.
- First derivative: Using product rule:
y′=sin3x+x⋅3cos3x=sin3x+3xcos3x
- Second derivative: Differentiate y′:
y′′=3cos3x+3cos3x+3x⋅(−3sin3x)=6cos3x−9xsin3x
- Substitute into y′′+9y−6cos3x:
y′′+9y−6cos3x=(6cos3x−9xsin3x)+9(xsin3x)−6cos3x
The 6cos3x and −6cos3x cancel. The −9xsin3x+9xsin3x also cancel. Result is 0.
A common error: forgetting the factor of 3 when differentiating sin3x (chain rule). Also, when differentiating 3xcos3x, the derivative of cos3x is −3sin3x, giving −9xsin3x, not −3xsin3x.
(iv) x2=2y2logy : (x2+y2)dxdy−xy=0
Concept: This relation is implicit. We differentiate both sides with respect to x, treating y as a function of x, then solve for dxdy and substitute into the given equation.
- Differentiate the given relation implicitly:
dxd(x2)=dxd(2y2logy)
Left side: 2x.
Right side: 2⋅dxd(y2logy). Use product rule: derivative of y2 is 2ydxdy, derivative of logy is y1dxdy.
So:
dxd(y2logy)=2ydxdy⋅logy+y2⋅y1dxdy=2ylogydxdy+ydxdy=y(2logy+1)dxdy
Hence:
2x=2⋅y(2logy+1)dxdy⇒2x=2y(2logy+1)dxdy
- Solve for dxdy:
dxdy=y(2logy+1)x
- Substitute into (x2+y2)dxdy−xy:
(x2+y2)⋅y(2logy+1)x−xy
Factor x:
=x[y(2logy+1)x2+y2−y]
Combine inside the bracket over a common denominator:
=x[y(2logy+1)x2+y2−y2(2logy+1)]=x[y(2logy+1)x2+y2−2y2logy−y2]=x[y(2logy+1)x2−2y2logy]
- Use the original relation: x2=2y2logy. Substitute x2:
x2−2y2logy=2y2logy−2y2logy=0
Hence the numerator is zero, so the entire expression is zero.
The key insight: the differential equation is designed so that after substituting dxdy from the implicit relation, the numerator simplifies to x2−2y2logy, which is exactly zero by the given relation. So the verification reduces to recognizing that the given equation is used to eliminate the numerator.
✓Final answer
All four given functions are verified to be solutions of their respective differential equations.