Porisma

Worked solution

Separate variables and integrate by parts

Find the particular solution of (e2y−y)cos⁡x dydx=eysin⁡2x(e^{2y}-y)\cos x\,\dfrac{dy}{dx}=e^y\sin2x, given y=0y=0 when x=0x=0.

CJC · Discussion · Question 5

Answer

ey+ye−y+e−y=4−2cos⁡xe^y+ye^{-y}+e^{-y}=4-2\cos x.

Separate near the initial point

Near x=0x=0, cos⁡x≠0\cos x\ne0. Dividing and using sin⁡2x=2sin⁡xcos⁡x\sin2x=2\sin x\cos x gives (ey−ye−y) dy=2sin⁡x dx(e^y-ye^{-y})\,dy=2\sin x\,dx.

How did this part go?

Integrate the y term by parts

For ∫−ye−y dy\int-ye^{-y}\,dy, take u=yu=y, dv=−e−ydydv=-e^{-y}dy, so du=dydu=dy and v=e−yv=e^{-y}. Hence ∫−ye−y dy=ye−y−∫e−ydy=ye−y+e−y\int-ye^{-y}\,dy=ye^{-y}-\int e^{-y}dy=ye^{-y}+e^{-y}. Integrating both sides gives ey+ye−y+e−y=−2cos⁡x+Ce^y+ye^{-y}+e^{-y}=-2\cos x+C.

How did this part go?

Apply the initial condition and check the implicit solution

At x=0,y=0x=0,y=0, 2=−2+C2=-2+C, so C=4C=4. Thus ey+(y+1)e−y=4−2cos⁡xe^y+(y+1)e^{-y}=4-2\cos x. Differentiating gives (ey−ye−y)y′=2sin⁡x(e^y-ye^{-y})y^\prime=2\sin x; multiplying by eycos⁡xe^y\cos x recovers the original equation, including points where cos⁡x=0\cos x=0 when the implicit branch extends smoothly.

How did this part go?

Common mistakes

Check any cancelled factor when extending an implicit solution beyond the initial neighbourhood.

Read the hint