対数のルート積分
\[
\int\log^{\frac{1}{2}}xdx=x\log^{\frac{1}{2}}x-\frac{\sqrt{\pi}}{2}erfi\left(\log^{\frac{1}{2}}x\right)+C
\]
\begin{align*}
\int\log^{\frac{1}{2}}xdx & =x\log^{\frac{1}{2}}x-\frac{1}{2}\int\log^{-\frac{1}{2}}xdx\\
& =x\log^{\frac{1}{2}}x-\int e^{t^{2}}dt+C\cmt{t=\log^{\frac{1}{2}}x}\\
& =x\log^{\frac{1}{2}}x-\frac{\sqrt{\pi}}{2}erfi(t)+C\\
& =x\log^{\frac{1}{2}}x-\frac{\sqrt{\pi}}{2}erfi\left(\log^{\frac{1}{2}}x\right)+C
\end{align*}
ページ情報
タイトル | 対数のルート積分 |
URL | https://www.nomuramath.com/dvl6t0gy/ |
SNSボタン |
sinの3乗をxの2乗で割った定積分
\[
\int_{0}^{\infty}\frac{\sin^{3}x}{x^{2}}dx=?
\]
ガンマ関数を2つ含む定積分でカタラン定数が出てきます
\[
\int_{0}^{\frac{1}{2}}\Gamma\left(1-x\right)\Gamma\left(1+x\right)dx=?
\]
tanの立方根の積分
\[
\int\sqrt[3]{\tan x}dx=\frac{1}{4}\log\left(\tan^{\frac{4}{3}}x-\tan^{\frac{2}{3}}x+1\right)+\frac{\sqrt{3}}{2}\tan^{\bullet}\left(\frac{2\tan^{\frac{2}{3}}x-1}{\sqrt{3}}\right)-\frac{1}{2}\log\left(\tan^{\frac{2}{3}}x+1\right)+C
\]
イータ関数の導関数がでてきます
\[
\int_{0}^{\infty}\frac{\log x}{1+e^{x}}dx=?
\]