免費論壇 繁體 | 簡體
Sclub交友聊天~加入聊天室當版主
分享
返回列表 发帖
从战巡那里学来的招式:令
\[f(x)=(1-e^x)^{10}=\sum_{k=0}^{10}C_{10}^k(-1)^ke^{kx},\]则
\[f'''(x)=\sum_{k=0}^{10}C_{10}^k(-1)^kk^3e^{kx},\]所以
\[\text{所求式}=f'''(0),\]而由 `f(x)=(1-e^x)^{10}` 易知 `f'''(x)` 含有因式 `(1-e^x)`,故必有 `f'''(0)=0`,所以所求式为 `0`。

PS、事实上 9 阶以下导数依然含有因式 `(1-e^x)`,一般地
\[\sum_{k=0}^mC_m^k(-1)^kk^n=0,\quad n=1,2,\ldots,m-1.\]

TOP

引理:设多项式\(\,f(x)=a_0x^n+a_1x^{n-1}+\cdots+a_{n-1}x+a_n\,\),\(\,b_k=b_1+(k-1)d\,\) ...
青青子衿 发表于 2019-9-3 07:37
引理的 `b_k` 没写好,开头交待的 `b_k` 从 `b_1` 开始,但和式中的 `k` 却是从 0 开始,`b_0` 就缺定义了,显然应该改为:`b_k=b_0+kd` 其中 `0\leqslant k\leqslant n`。

TOP

回复 5# 青青子衿

次数再高一点也可以用战巡的方法,就是有点难算。


\[S(m)=\sum_{k=0}^nC_n^k(-1)^k(b_0+kd)^m,\]令
\[g(x)=e^{b_0x}(1-e^{dx})^n=\sum_{k=0}^nC_n^k(-1)^ke^{(b_0+kd)x},\]则
\[g^{(m)}(x)=\sum_{k=0}^nC_n^k(-1)^k(b_0+kd)^me^{(b_0+kd)x},\]所以
\[S(m)=g^{(m)}(0),\]然后考虑 `g(x)` 的展开式,一方面
\begin{align*}
g(x)&=g(0)+g'(0)x+\frac{g''(0)}{2!}x^2+\cdots+\frac{g^{(m)}(0)}{m!}x^m+\cdots\\
&=S(0)+S(1)x+\frac{S(2)}{2!}x^2+\cdots+\frac{S(m)}{m!}x^m+\cdots,
\end{align*}另一方面,记 `A=b_0/n`, `B=A+d`,则
\begin{align*}
g(x)&=(e^{Ax}-e^{Bx})^n\\
&=\left( (A-B)x+\frac{A^2-B^2}{2!}x^2+\frac{A^3-B^3}{3!}x^3+\frac{A^4-B^4}{4!}x^4+\cdots \right)^n\\
&=(-d)^nx^n\left( 1+\frac{A+B}{2!}x+\frac{A^2+AB+B^2}{3!}x^2+\frac{A^3+A^2B+AB^2+B^3}{4!}x^3+\cdots \right)^n\\
&=(-d)^nx^n\Biggl(
1+C_n^1\frac{A+B}{2!}x+\left( C_n^2\left( \frac{A+B}{2!} \right)^2+C_n^1\frac{A^2+AB+B^2}{3!} \right)x^2\\
&\phantom{{}=(-d)^nx^n\Biggl(}+\left( C_n^3\left( \frac{A+B}{2!} \right)^3+C_n^1\frac{A+B}{2!}C_{n-1}^1\frac{A^2+AB+B^2}{3!}+C_n^1\frac{A^3+A^2B+AB^2+B^3}{4!} \right)x^3+\cdots
\Biggr),
\end{align*}将 `A=b_0/n`, `B=A+d` 代回去化简为
\begin{align*}
g(x)=(-d)^nx^n\biggl( &
1+\frac{2b_0+dn}2x+\frac{12b_0^2+12b_0dn+3d^2n^2+d^2n}{24}x^2\\
&+\frac{(2b_0+dn)(4b_0^2+4b_0dn+d^2n^2+d^2n)}{48}x^3+\cdots
\biggr),
\end{align*}由此得到
\begin{align*}
S(0)&=S(1)=\cdots=S(n-1)=0,\\
S(n)&=n!(-d)^n,\\
S(n+1)&=(n+1)!(-d)^n\frac{2b_0+dn}2,\\
S(n+2)&=(n+2)!(-d)^n\frac{12b_0^2+12b_0dn+3d^2n^2+d^2n}{24},\\
S(n+3)&=(n+3)!(-d)^n\frac{(2b_0+dn)(4b_0^2+4b_0dn+d^2n^2+d^2n)}{48},
\end{align*}由此也就得出了那引理,以及你最后想求的,即当 `b_0=n`, `d=-1` 时,代入化简得
\begin{align*}
\sum_{k=0}^n{(-1)^k}C_n^k(n-k)^{n+1}&=(n+1)!\frac n2,\\
\sum_{k=0}^n{(-1)^k}C_n^k(n-k)^{n+2}&=(n+2)!\frac{n(3n+1)}{24},\\
\sum_{k=0}^n{(-1)^k}C_n^k(n-k)^{n+3}&=(n+3)!\frac{n^2(n+1)}{48},
\end{align*}想要更高次数的话,就要对上面的展开式写出更多的项来展开求和,计算是相当麻烦的。

TOP

回复 8# 青青子衿


\[f(x)=\left( e^{2x}-\frac12 \right)^n=\sum_{k=0}^n(-1)^kC_n^ke^{2(n-k)x}2^{-k},\]求 `n` 阶导数为
\[f^{(n)}(x)=\sum_{k=0}^n(-1)^kC_n^ke^{2(n-k)x}(n-k)^n2^{n-k},\]所以所求式为 `f^{(n)}(0)`,也就是求 `(e^{2x}-1/2)^n` 的 `n` 阶导数的常数项,这咋求求??

仿 7# 考虑展开式的话,只需计算 `\bigl( \frac12+2x+\frac{(2x)^2}{2!}+\frac{(2x)^3}{3!}+\cdots \bigr)^n` 的展开的 `x^n` 的系数,这……似乎走不通……

TOP

一般地,令
\[h(x)=e^{bx}(1+ae^{dx})^n=\sum_{k=0}^nC_n^ka^ke^{(b+kd)x},\]求 `m` 阶导数有
\[h^{(m)}(x)=\sum_{k=0}^nC_n^ka^k(b+kd)^me^{(b+kd)x},\]所以
\[\sum_{k=0}^nC_n^ka^k(b+kd)^m=h^{(m)}(0),\]但也和楼上一样没什么卵用,`m` 阶导数是复杂的,只有 `a=-1` 才会是前面一堆零,一般情况只能算小的 `m`。

TOP

返回列表 回复 发帖