For all x>0x > 0x>0, let y1(x)y_1(x)y1(x), y2(x)y_2(x)y2(x), and y3(x)y_3(x)y3(x) be the functions satisfying
dy1dx−(sinx)2 y1=0,y1(1)=5,dy2dx−(cosx)2 y2=0,y2(1)=13,dy3dx−(2−x3x3)y3=0,y3(1)=35e,\begin{aligned} &\frac{dy_1}{dx} - (\sin x)^2\,y_1 = 0, & y_1(1) &= 5,\\ &\frac{dy_2}{dx} - (\cos x)^2\,y_2 = 0, & y_2(1) &= \frac13,\\ &\frac{dy_3}{dx} - \left(\frac{2 - x^3}{x^3}\right)y_3 = 0, & y_3(1) &= \frac{3}{5e}, \end{aligned}dxdy1−(sinx)2y1=0,dxdy2−(cosx)2y2=0,dxdy3−(x32−x3)y3=0,y1(1)y2(1)y3(1)=5,=31,=5e3,
respectively. Then
limx→0+y1(x) y2(x) y3(x)+2xe3xsinx\lim_{x\to0^+}\frac{y_1(x)\,y_2(x)\,y_3(x) + 2x}{e^{3x}\sin x}x→0+lime3xsinxy1(x)y2(x)y3(x)+2x
is equal to _____.
Official answer: 2
y1y2y_1y_2y1y2. Each equation is separable:
Since sin2+cos2=1\sin^2+\cos^2=1sin2+cos2=1, multiplying gives y1y2=53ex−1y_1y_2=\frac53e^{x-1}y1y2=35ex−1.
y3y_3y3. y3′y3=2x3−1\frac{y_3'}{y_3}=\frac{2}{x^3}-1y3y3′=x32−1, so lny3=−1x2−x+c\ln y_3=-\frac1{x^2}-x+clny3=−x21−x+c. The condition y3(1)=35ey_3(1)=\frac3{5e}y3(1)=5e3 gives y3=35e1−x−1/x2y_3=\frac35e^{1-x-1/x^2}y3=53e1−x−1/x2.
Product. y1y2y3=e−1/x2y_1y_2y_3=e^{-1/x^2}y1y2y3=e−1/x2, which tends to 0 faster than any power of xxx.
limx→0+e−1/x2+2xe3xsinx=lim2xx=2.\lim_{x\to0^+}\frac{e^{-1/x^2}+2x}{e^{3x}\sin x}=\lim\frac{2x}{x}=2.x→0+lime3xsinxe−1/x2+2x=limx2x=2.