Exercises — Integrating factors for non-exact equations

$M=2xy,N=x^2$. Differentiate karo: $M_y=2x$ ($x$ ko frozen maano, $2xy$ ka $y$ mein derivative $2x$ hai), $N_x=2x$. Kyunki $M_y=N_x$, yeh exact hai.

$F$ dhundo: $F=\int 2xydx=x^{2}y+\varphi (y)$. Yahan $\varphi (y)$ woh undetermined function hai jo upar define ki gayi hai (woh "$x$-constant" jo ab bhi $y$ par depend kar sakti hai). Phir $F_y=x^2+{\varphi }^{\prime }(y)$ ko $N=x^2$ ke barabar hona chahiye, isliye ${\varphi }^{\prime }=0$, yaani $\varphi$ ek genuine constant hai, jise $C$ mein absorb kar lo. $\boxed{x^{2}y=C.}$

$M=y,N=-x$. $M_y=1$, $N_x=-1$. Exact nahi ($1\ne -1$).

$x$-test: $\frac{M_y-N_x}{N}=\frac{1-(-1)}{-x}=\frac{2}{-x}=-\frac{2}{x}$ — pure $x$. ✓ (Case 1 kaam karta hai.)

$y$-test: $\frac{N_x-M_y}{M}=\frac{-1-1}{y}=-\frac{2}{y}$ — pure $y$. ✓ (Case 2 BHI kaam karta hai.)

Dono yahan bachte hain, yeh ek rare happy case hai. Koi bhi factor solve kar dega; $x$-factor deta hai $\mu =e^{\int (-2/x)dx}=e^{-2\ln |x|}=|x{|}^{-2}=x^{-2}$ ($x=0$ se door).

$M=3x^2+y,N=x$. $M_y=1,N_x=1$. Ruko — barabar hain! Yeh pehle se hi exact hai. $F=\int (3x^2+y)dx=x^3+xy+\varphi (y)$ ($\varphi (y)$ undetermined $x$-constant ke saath); $F_y=x+{\varphi }^{\prime }(y)=x\Rightarrow {\varphi }^{\prime }=0$. $\boxed{x^3+xy=C.}$ (Lesson: factor dhundne se PEHLE hamesha test karo — kabhi kabhi kuch fix karna hi nahi hota.)

$M=x^2+y^2+x,N=xy$. $M_y=2y,N_x=y$. Exact nahi.

$x$-test: $\frac{M_y-N_x}{N}=\frac{2y-y}{xy}=\frac{y}{xy}=\frac{1}{x}$ — pure $x$. ✓

$\mu =e^{\int (1/x)dx}=e^{\ln |x|}=|x|=x$ on $x>0$ (bars hata do; sign exactness se cancel ho jaata hai).

Multiply karo: $M^{\ast }=x(x^2+y^2+x)=x^3+x{y}^2+x^2$, $N^{\ast }=x^{2}y$. Re-test: $M_y^{\ast }=2xy$, $N_x^{\ast }=2xy$. ✓

$F=\int (x^3+x{y}^2+x^2)dx=\frac{1}{4}{x}^4+\frac{1}{2}{x}^2{y}^2+\frac{1}{3}{x}^3+\varphi (y)$. $F_y=x^{2}y+{\varphi }^{\prime }(y)$ ko $N^{\ast }=x^{2}y$ ke barabar hona chahiye, isliye ${\varphi }^{\prime }=0$. $\boxed{\frac{1}{4}{x}^4+\frac{1}{3}{x}^3+\frac{1}{2}{x}^2{y}^2=C.}$

$M=2xy,N=y^2-x^2$. $M_y=2x,N_x=-2x$. Exact nahi.

$x$-test: $\frac{2x-(-2x)}{y^2-x^2}=\frac{4x}{y^2-x^2}$ — mein $y$ hai. ✗

$y$-test: $\frac{N_x-M_y}{M}=\frac{-2x-2x}{2xy}=\frac{-4x}{2xy}=\frac{-2}{y}$ — pure $y$. ✓

$\mu =e^{\int (-2/y)dy}=e^{-2\ln |y|}=|y{|}^{-2}=y^{-2}$ ($y\ne 0$ par valid; $y$ ka sign cancel ho jaata hai).

Multiply karo: $M^{\ast }=\frac{2x}{y}$, $N^{\ast }=\frac{y^2-x^2}{y^2}=1-\frac{x^2}{y^2}$. Re-test: $M_y^{\ast }=-\frac{2x}{y^2}$, $N_x^{\ast }=-\frac{2x}{y^2}$. ✓

$F=\int \frac{2x}{y}dx=\frac{x^2}{y}+\varphi (y)$; $F_y=-\frac{x^2}{y^2}+{\varphi }^{\prime }(y)=1-\frac{x^2}{y^2}$ $\Rightarrow {\varphi }^{\prime }=1\Rightarrow \varphi =y$. $\boxed{\frac{x^2}{y}+y=C.}$

$M=3xy+y^2,N=x^2+xy$. $M_y=3x+2y,N_x=2x+y$.

$x$-test: $\frac{M_y-N_x}{N}=\frac{(3x+2y)-(2x+y)}{x^2+xy}=\frac{x+y}{x(x+y)}=\frac{1}{x}$. $(x+y)$ cancel ho gaya — pure $x$. ✓ Isliye $\mu (x)=e^{\int (1/x)dx}=e^{\ln |x|}=x$ ($x>0$ par) exist karta hai.

$y$-test: $\frac{N_x-M_y}{M}=\frac{(2x+y)-(3x+2y)}{3xy+y^2}=\frac{-x-y}{y(3x+y)}$. Koi cancellation nahi: $-x-y$ over $y(3x+y)$ abhi bhi $x$ carry karta hai. ✗ Isliye koi $\mu (y)$ nahi.

Kyun: ek $y$-only factor ke liye ratio ke $x$ saare cancel hone chahiye — lekin yahan numerator ka $x$ aur denominator ka $x$ alag-alag combinations mein hain ($-x-y$ vs $3x+y$), isliye kuch bhi clean nahi hota. Yeh parent ka Worked Example 1 hai, jisme $x^{3}y+\frac{1}{2}{x}^2{y}^2=C$ milta hai.

$M=y^2+2xy,N=-x^2$. $M_y=2y+2x,N_x=-2x$. Exact nahi.

$x$-test: $\frac{(2y+2x)-(-2x)}{-x^2}=\frac{2y+4x}{-x^2}$ — mein $y$ hai. ✗

$y$-test: $\frac{N_x-M_y}{M}=\frac{-2x-(2y+2x)}{y^2+2xy}=\frac{-4x-2y}{y(y+2x)}=\frac{-2(2x+y)}{y(y+2x)}=\frac{-2}{y}$. $(2x+y)$ cancel ho gaya — pure $y$. ✓

$\mu =e^{\int (-2/y)dy}=e^{-2\ln |y|}=y^{-2}$ ($y\ne 0$ par).

Multiply karo: $M^{\ast }=\frac{y^2+2xy}{y^2}=1+\frac{2x}{y}$, $N^{\ast }=-\frac{x^2}{y^2}$. Re-test: $M_y^{\ast }=-\frac{2x}{y^2}$, $N_x^{\ast }=-\frac{2x}{y^2}$. ✓

$F=\int \left(1+\frac{2x}{y}\right)dx=x+\frac{x^2}{y}+\varphi (y)$; $F_y=-\frac{x^2}{y^2}+{\varphi }^{\prime }(y)=-\frac{x^2}{y^2}\Rightarrow {\varphi }^{\prime }=0$. $\boxed{x+\frac{x^2}{y}=C.}$

Rewrite karo: $dy=\left(x-\frac{y}{x}\right)dx$, yaani $\left(\frac{y}{x}-x\right)dx+dy=0$. Toh $M=\frac{y}{x}-x,N=1$. $M_y=\frac{1}{x},N_x=0$. Exact nahi.

$x$-test: $\frac{M_y-N_x}{N}=\frac{1/x-0}{1}=\frac{1}{x}$ — pure $x$. ✓ $\mu =e^{\int (1/x)dx}=e^{\ln |x|}=x$ ($x>0$ par).

Linear-ODE factor: $P(x)=\frac{1}{x}$, isliye $e^{\int Pdx}=e^{\ln |x|}=x$. Same factor. ✓

Multiply karo: $M^{\ast }=y-x^2,N^{\ast }=x$. Re-test: $M_y^{\ast }=1=N_x^{\ast }$. ✓ $F=\int (y-x^2)dx=xy-\frac{1}{3}{x}^3+\varphi (y)$; $F_y=x+{\varphi }^{\prime }=x\Rightarrow {\varphi }^{\prime }=0$. $\boxed{xy-\frac{1}{3}{x}^3=C⟺y=\frac{1}{3}{x}^2+\frac{C}{x}.}$

Factor. $M=y,N=2x-y{e}^y$, $M_y=1,N_x=2$; exact nahi. $x$-test $\frac{1-2}{2x-y{e}^y}$ mein $x$ bachta hai. ✗ $y$-test $\frac{N_x-M_y}{M}=\frac{2-1}{y}=\frac{1}{y}$ — pure $y$. ✓ $\mu =e^{\int (1/y)dy}=e^{\ln |y|}=y$ ($y\ne 0$ par).

Multiply karo. $M^{\ast }=y^2,N^{\ast }=2xy-y^2{e}^y$. Re-test: $M_y^{\ast }=2y=N_x^{\ast }$. ✓

$F$ banao. $F=\int y^{2}dx=x{y}^2+\varphi (y)$. $y$ mein differentiate karo aur $N^{\ast }$ se match karo: $F_y=2xy+{\varphi }^{\prime }(y)=2xy-y^2{e}^y⟹{\varphi }^{\prime }(y)=-y^2{e}^y.$

${\varphi }^{\prime }=-y^2{e}^y$ ko parts se integrate karo (parts kyun? integrand polynomial $\times$ exponential hai — parts $y$ ka ek power har pass mein peel karta hai, aur $e^y$ kabhi aur complicated nahi hota). $\int udv=uv-\int vdu$ use karo.

• Pass 1: $u=y^2,dv=e^{y}dy\Rightarrow du=2ydy,v=e^y$. $\int y^2{e}^{y}dy=y^2{e}^y-\int 2y{e}^{y}dy.$
• Pass 2: $u=2y,dv=e^{y}dy\Rightarrow du=2dy,v=e^y$. $\int 2y{e}^{y}dy=2y{e}^y-\int 2e^{y}dy=2y{e}^y-2e^y.$
• Combine karo: $\int y^2{e}^{y}dy=y^2{e}^y-(2y{e}^y-2e^y)=e^y(y^2-2y+2).$ Isliye $\varphi (y)=-\int y^2{e}^{y}dy=-e^y(y^2-2y+2).$

Assemble karo. $\boxed{x{y}^2-e^y(y^2-2y+2)=C.}$ Check karo (boxed $F$ differentiate karo): $F_x=y^2=M^{\ast }$ ✓; aur $F_y=2xy-[e^y(y^2-2y+2)+e^y(2y-2)]=2xy-y^2{e}^y=N^{\ast }$ ✓ (dono exponential pieces cancel ho ke exactly $-y^2{e}^y$ chhod jaate hain, parts computation confirm karta hai).

$M=2y-6x,N=3x-4x^2{y}^{-1}$. Compute karo $M_y=2$, $N_x=3-8x{y}^{-1}$.

Confirm karo ki dono pure tests fail hote hain: $\frac{M_y-N_x}{N}=\frac{2-3+8x{y}^{-1}}{3x-4x^2{y}^{-1}}=\frac{-1+8x/y}{\cdots }$ — mein $y$ hai. ✗ $\frac{N_x-M_y}{M}=\frac{1-8x/y}{2y-6x}$ — mein $x$ hai. ✗

$\mu =x^a{y}^b$ try karo. Phir $\mu M=x^a{y}^b(2y-6x)=2x^a{y}^{b+1}-6x^{a+1}{y}^b$ aur $\mu N=x^a{y}^b(3x-4x^2{y}^{-1})=3x^{a+1}{y}^b-4x^{a+2}{y}^{b-1}$.

Exactness ${\partial }_y(\mu M)={\partial }_x(\mu N)$: LHS $=2(b+1)x^a{y}^b-6b{x}^{a+1}{y}^{b-1}$. RHS $=3(a+1)x^a{y}^b-4(a+2)x^{a+1}{y}^{b-1}$.

Do independent power-blocks match karo:

• $x^a{y}^b$: $2(b+1)=3(a+1)$.
• $x^{a+1}{y}^{b-1}$: $-6b=-4(a+2)\Rightarrow 6b=4a+8\Rightarrow 3b=2a+4$.

Pehli se: $2b+2=3a+3\Rightarrow 2b=3a+1$. $3b=2a+4$ ke saath combine karo: pehli ko 3 se multiply karo, doosri ko 2 se: $6b=9a+3$ aur $6b=4a+8\Rightarrow 9a+3=4a+8\Rightarrow 5a=5\Rightarrow a=1$, phir $2b=3+1=4\Rightarrow b=2$. Toh $\boxed{\mu =x{y}^2}$.

Original ko $x{y}^2$ se multiply karo: $M^{\ast }=x{y}^2(2y-6x)=2x{y}^3-6x^2{y}^2$, $N^{\ast }=x{y}^2(3x-4x^2{y}^{-1})=3x^2{y}^2-4x^{3}y$. Re-test: $M_y^{\ast }=6x{y}^2-12x^{2}y$, $N_x^{\ast }=6x{y}^2-12x^{2}y$. ✓

$F=\int (2x{y}^3-6x^2{y}^2)dx=x^2{y}^3-2x^3{y}^2+\varphi (y)$; $F_y=3x^2{y}^2-4x^{3}y+{\varphi }^{\prime }(y)=3x^2{y}^2-4x^{3}y\Rightarrow {\varphi }^{\prime }=0$. $\boxed{x^2{y}^3-2x^3{y}^2=C.}$

Exactness demand karta hai ${\partial }_y(x^a{y}^{b}M)={\partial }_x(x^a{y}^{b}N)$. Product rule: $x^a{y}^b\left(b\frac{M}{y}+M_y\right)=x^a{y}^b\left(a\frac{N}{x}+N_x\right).$ $x^a{y}^b\ne 0$ cancel karo: $\frac{b}{y}M+M_y=\frac{a}{x}N+N_x⟹b\frac{M}{y}-a\frac{N}{x}=N_x-M_y.$ Jab $M,N$ polynomials hain, to $x,y$ mein har distinct monomial ek linear equation in $a,b$ deta hai. Do independent monomials ⇒ ek $2\times 2$ linear system ⇒ unique $(a,b)$ jab yeh consistent ho. Yahi woh pair of equations hai jo Ex 5.1 mein solve ki gayi. $■$