∵y=e^x
∴y'=e^x
∵y=e^x是微分方程xy'+p(x)y=x的一個(gè)解
∴x*(e^x)+p(x)*(e^x)=x
=>p(x)=x*[(1-e^x)/(e^x)]
∴微分方程xy'+p(x)y=x就是微分方程xy'+x*[(1-e^x)/(e^x)]*y=x即y'+[(1-e^x)/(e^x)]*y=1
設(shè)微分方程y'+[(1-e^x)/(e^x)]*y=1相應(yīng)的齊次微分方程為
y'+[(1-e^x)/(e^x)]*y=0
=>dy/dx=-[(1-e^x)/(e^x)]*y
=>dy/y=-[(1-e^x)/(e^x)]*dx
=>∫dy/y=∫-[(1-e^x)/(e^x)]*dx
=>lnlyl=∫-[e^(-x)-1]*dx
=>lnlyl=e^(-x)+x+C
=>y=C*[e^(e^(-x))]*(e^x)
設(shè)微分方程y'+[(1-e^x)/(e^x)]*y=1的通解為y=C(x)*[e^(e^(-x))]*(e^x)
則y'=C'(x)*[e^(e^(-x))]*(e^x)+C(x)*[(e^(e^(-x)))*(-e^(-x))*(e^x)+ (e^(e^(-x)))*(e^x)]
=C'(x)*[e^(e^(-x))]*(e^x)+C(x)*[e^(e^(-x))]*[(e^x)-1]
代入微分方程y'+[(1-e^x)/(e^x)]*y=1得
C'(x)*[e^(e^(-x))]*(e^x)+C(x)*[e^(e^(-x))]*[(e^x)-1]+[(1-e^x)/(e^x)]*C(x)*[e^(e^(-x))]*(e^x)=1
=>C'(x)*[e^(e^(-x))]*(e^x)=1
=>C'(x)=e^[-e^(-x)]*e^(-x)
=>C(x)=∫e^[-e^(-x)]*e^(-x)dx
=>C(x)=-∫e^[-e^(-x)]d(-e^(-x))
=>C(x)=-e^[-e^(-x)]+C
∴微分方程y'+[(1-e^x)/(e^x)]*y=1的通解為y=[-e^[-e^(-x)]+C]*[e^(e^(-x))]*(e^x)
即y=-e^x+C*[e^(e^(-x))]*(e^x)
當(dāng)x=ln2,y=0時(shí)
0=-2+C*(e^(1/2))*2
=>C=e^(-1/2)
∴滿足條件y(ln2)=0的特解為y=-e^x+[e^(-1/2)]*[e^(e^(-x))]*(e^x)
好久沒(méi)做了,都不太會(huì)了.