対数関数のn回積分
対数関数のn回積分
\[ \left(\log x\right)^{(-n)}=\left(\log x-H_{n}\right)\frac{x^{n}}{n!} \]
\[ \left(\log x\right)^{(-n)}=\left(\log x-H_{n}\right)\frac{x^{n}}{n!} \]
\(n=0\)のとき
明らかに成立。\(n=k\)のとき成立すると仮定する
\begin{align*} \left(\log x\right)^{(-(k+1))} & =\int\left(\log x-H_{k}\right)\frac{x^{k}}{k!}dx\\ & =\left(\log x-H_{k}\right)\frac{x^{k+1}}{(k+1)!}-\int\frac{1}{x}\frac{x^{k+1}}{(k+1)!}dx\\ & =\left(\log x-H_{k}\right)\frac{x^{k+1}}{(k+1)!}-\frac{x^{k+1}}{(k+1)(k+1)!}\\ & =\left(\log x-H_{k}-\frac{1}{k+1}\right)\frac{x^{k+1}}{(k+1)!}\\ & =\left(\log x-H_{k+1}\right)\frac{x^{k+1}}{(k+1)!} \end{align*} となるので\(n=k+1\)でも成立(*)
故に与式は成り立つ。
ページ情報
| タイトル | 対数関数のn回積分 |
| URL | https://www.nomuramath.com/kgwgsfey/ |
| SNSボタン |
ブロック対角行列の最小多項式
\[
m\left(x\right)=\lcm\left(m_{1}\left(x\right),m_{2}\left(x\right),\cdots,m_{r}\left(x\right)\right)
\]
ブロック対角行列の固有空間と広義固有空間
\[
W\left(\lambda\right)=\prod_{k\in\left\{ 1,2,\cdots,r\right\} }W_{k}\left(\lambda\right)
\]
ブロック対角行列の固有多項式と固有値
\[
p_{A}\left(\lambda\right)=\prod_{k\in\left\{ 1,2,\cdots,r\right\} }p_{A_{k}}\left(\lambda\right)
\]
ブロック対角行列の逆行列
\[
\left(\begin{array}{cccc}
A_{1,1} & O & \cdots & O\\
O & A_{2,2} & \ddots & O\\
\vdots & \ddots & \ddots & \vdots\\
O & O & \cdots & A_{p,p}
\end{array}\right)^{-1}=\left(\begin{array}{cccc}
A_{1,1}^{-1} & O & \cdots & O\\
O & A_{2,2}^{-1} & \ddots & O\\
\vdots & \ddots & \ddots & \vdots\\
O & O & \cdots & A_{p,p}^{-1}
\end{array}\right)
\]