姚老师最爱的两招表格法与微分算子法

1姚老师最爱的两招：表格法与微分算子法，因为效率高，所以喜欢，仅此而已！录入可是字字辛苦，希望大家珍惜哦！一、分部积分的表格法分部积分主要针对被积函数为两类函数乘积的类型，主要可以归纳为反幂、对幂、幂三、幂指和三指五种，幂可以扩展为多项式函数，三主要指正弦和余弦两类三角函数，基本原则是把其中一类函数拿去凑微分，遵循“反对幂三指”、越往后越先凑微分的原则，前四种称为“终止模式”，最后一种称为“循环模式”。当涉及到幂函数（多项式函数）次数较高时，需多次用到分部积分，计算较繁且易出错，因此介绍一个推广公式：定理：设(),()uuxvvx有1n阶连续导数，则(1)()(1)(2)(3)1(1)''''''(1)nnnnnnnuvdxuvuvuvuvuvdx。（此定理及证明可略，仅告诉大家，我不是瞎编乱造，而是有理论依据的！）【证：用数学归纳法。当0n时，''uvdxuvuvdx。设1nk时，(1)()(1)(2)(3)1(1)''''''(1)kkkkkkkuvdxuvuvuvuvuvdx（*）则当1nk时，(2)(1)(1)(1)'kkkkuvdxudvuvuvdx，将上式的'u（*）式中的u，则有(1)()(1)(2)1(2)'''''''(1)kkkkkkuvdxuvuvuvuvdx，从而(2)(1)()(1)(2)2(2)''''''(1)kkkkkkkuvdxuvuvuvuvuvdx，得证。】上述式子并不好记，它的一个直观表达就是表格法，如下表。u的各阶导数(1)''''''nuuuuu(1)nv的各阶原函数(1)()(1)(2)nnnnvvvvv下面通过例子给予演示：（1）“幂三”型例1.152(325)cosxxxxdx解：252325xxx4562xx3206x260x120x1200cosxsinxcosxsinxcosxsinxcosx所以原式=52432325sin562cos206sin60cos120sin120cosxxxxxxxxxxxxxxC（2）“幂指”型例1.2432(21)xxxedx解：4321xx3246xx21212xx2412x2402xe22xe24xe28xe216xe232xe所以原式=433222214612122412242481632xxxxxxxxeC=4322123312xxxxxeC（3）“反幂”型（尤其是反三角函数次数高于1时）例1.32arcsinxxdx解：令arcsinux，则sinxu，cosdxudu所以原式=221sincossin22uuuduuudu2u2u20sin2u1cos22u1sin24u1cos28u从而原式=2111cos2sin22cos2488uuuuuC2222111(arcsin)(12)1arcsin(12)428xxxxxxC。（4）“对幂”型（尤其是对数函数次数高于1时）例1.434(ln)xxdx解：令lnxu，则uxe，udxedu，3故原式=343444(ln)uuuxxdxeueduuedu（这是幂指类型了，用表格法自己解解看吧！）=43241333(lnlnlnln)44832xxxxxC。（5）“三指”型（此为循环模式，想想与前面的有何不同？）例1.52sinxxedx解：sinxcosxsinx2xe22xe24xe所以有222111sin(sincos)sin244xxxxedxxxexedx，求解得22411sin(sincos)524xxxedxxxeC。二、求n阶常系数非齐次线性微分方程特解的微分算子法n阶常系数非齐次线性微分方程为：()(1)(2)121'()0nnnnnypypypypyfx（**）求解非齐次方程（**）的特解*()yx常有三种方法：待定系数法、常数变易法和微分算子法。常数变易法在教材中一阶非齐次线性微分方程中已有介绍，待定系数法在二阶非齐次微分方程中着重讲解，因此，在此，主要讲微分算子法。首先引进记号：222,,,nnndddDDDdxdxdx，于是22()2','',,nnnndydydyyDyyDyyDydxdxdx，（**）式变为111()()nnnnDpDpDpyfx。记111()nnnnFDDpDpDp，于是()()FDyfx，从而得特解*()1()()()fxyfxFDFD。4下面关键是要弄清楚1()FD这个算子是如何进行作用的呢？通常()fx为幂、三、指、幂三、幂指、三指和幂三指几种类型，下面分别讨论（主要采用书上的例子）。（1）幂：()fx为多项式函数，采用多项式除法进行计算，什么是多项式除法呢？例2.12''3'25yyyx解：原方程的一个特解为2*2532xyDD。22222323137+2482313112231223932447344DDDDDDDDDDDDD（后面可以继续写下去，但是想想，函数2()5fxx，还有必要吗？）从而*22137+(5)248yDDx221371317(5)22248224xxxx。（2）指：()xfxe，当不是特征方程的根时，将直接代入分母的D；当是特征方程的单根时，将分子乘以一个x，分母对D求导数，然后将代入分母；当是特征方程的二重根时，将分子乘以一个2x，分母对D求两阶导数，然后将代入分母。例2.2.12''2'3xyyye解：222*222322235xxxeeeyDD（因为2不是特征方程2230rr的根。）5例2.2.2''2'3xyyye解：*223222124xxxxexexexeyDDD（因为1是特征方程2230rr的单根。）例2.2.3''2'xyyye解：2*221222xxxexexeyDDD（因为1是特征方程2210rr的二重根。）（3）三：()fx为正弦函数或余弦函数时，由于欧拉公式连接了正、余弦函数，所以正、余弦函数可以转化为指数函数来求解，一般采用定理3.5进行求解。例2.3''2'cosyyyx解：cosRe()ixxe（实部）所以先求解方程''2'ixyyye，此时*1221(cossin)sincos21212222ixixixeeieiiyxixxxDDii，故原方程的一个特解**11Re()sin2yyx。（4）幂三、幂指、三指或幂三指，基本原则：三角函数看成复数域内指数函数的实部或虚部，从而转化成幂指类型，将指数函数提前，后面的算子中D换成D。例2.4.13''6'95(1)xyyyxe（幂指）解：3*332225(1)5(1)5(1)69(3)6(3)9xxxxexxyeeDDDDD（注：21D表示两次不定积分）2133321215()552()62xxxxceexxcxcD由于取的是一个特解，所以12,cc可以随便取，不妨取为0吧，从而得一个特解*32355()62xyxxe。6例2.4.2''sin2xyyex（三指）解：2(12)sin2Im()Im()xxixixexeee，所以先求解(12)''ixyye，解得(12)(12)*(12)1221(1)1(12)18ixixixeeyieDi1(1)cos2sin2(cos2sin2)(cos2sin2)88xxeiexixxxixx所以原方程的一个特解为**1Im()(cos2sin2)8xeyyxx。例2.4.3''sin2yyxx（幂三）解：2sin2Im()ixxxxe，所以先求解2''ixyyxe，解得2*1222221(2)154ixixixxxeeDiiDDxeyD(这里用了多项式除法)2144()(cos2sin2)()525525ixixieDxxix44cos2sin2sin2cos2525525xxxxixx所以原方程的一个特解为**14sin2coIm()s2525xxyxy。例2.4.4''2'5sin2xyyyxex（幂三指）解：2(12)sin2Im()Im()xxixixxexxeexe，所以先求解(12)''2'5ixyyyxe，解得(12)*(12)(12)(12)122225(12)2(12)54(4)ixixixixxexxxyeeeDDDiDiDiDDDi(12)(12)(12)2(12)21111()111416416()()216216ixixixixDxxiiieeexxexxDDi（注：1D表示求不定积分，且用到了多项式除法哦！）722211111(cos2sin2)()cos2sin2sin2cos216162162xxiexixxxexxxxixxxx所以原方程的一个特解为**2111Im()sin2cos162xyyxxxxe。