積分におけるテクニック【備忘録】
ページの存在意義
積分をやるうえで使えるテクニックをすぐに見れるようにする。
必要に応じてどんどん追加していく
1.関数の定義
\begin{align} \sin{3x} &= 3\sin{x} - 4\sin^3{x} \\ \cos{3x} &= 4\cos^3{x} - 3\cos{x} \\ \sin{4x} &= 4\sin{x}\cos{x} -8\sin^3{x}\cos{x} \\ \cos{4x} &= 8\cos^4{x} - 8\cos^2{x} + 1 \\ \sin{5x} &= 16\sin^5{x} -20\sin^3{x} + 5\sin{x} \\ \cos{5x} &= 16\cos^5{x} -20\cos^3{x} + 5\cos{x} \end{align}
$\displaystyle \sin{x}$について、この逆関数を $\displaystyle \arcsin{x} ~ (-1 \le x \le 1)$
$\displaystyle \cos{x}$について、この逆関数を $\displaystyle \arccos{x} ~ (-1 \le x \le 1)$
$\displaystyle \tan{x}$について、この逆関数を $\displaystyle \arctan{x} ~ (-\infty \le x \le \infty)$ と定義する
$\displaystyle \int \frac{1}{\sqrt{1-x^2}} ~dx = \arcsin{x} + C$
$\displaystyle \int \frac{1}{x^2+1} ~dx = \arctan{x} + C$
\begin{align} \arcsin{(-x)} &= -\arcsin{x} \\ \arccos{(-x)} &= \pi - \arccos{x} \\ \arctan{(-x)} &= -\arctan{x} \\ \arccot{(-x)} &= \pi - \arccot{x} \\ \arcsec{(-x)} &= \pi - \arcsec{x} \\ \arccsc{(-x)} &= -\arccsc{x} \\ \end{align}
$\displaystyle \sinh{x} = \frac{e^{x}-e^{-x}}{2}$
$\displaystyle \cosh{x} = \frac{e^{x}+e^{-x}}{2}$
$\displaystyle \tanh{x} = \frac{e^{x}-e^{-x}}{e^{x}+e^{-x}}$ と定義する
$\displaystyle \mathrm{arsinh}{x} = \log{\left(x+\sqrt{x^2+1}\right)}$
$\displaystyle \mathrm{arcosh}{x} = \log{\left(x+\sqrt{x^2-1}\right)}$
$\displaystyle \mathrm{artanh}{x} = \frac{1}{2}\log{\left(\frac{1+x}{1-x}\right)}$
※逆双曲線関数は双曲線関数をxについて解くと得られる
$\displaystyle \int \frac{1}{\sqrt{x^2-1}} ~dx = \mathrm{arcosh}{x} + C$
$\displaystyle \int \frac{1}{\sqrt{x^2+1}} ~dx = \mathrm{arsinh}{x} + C$
$x>0$を満たす実数$x$に対し、
$\displaystyle \Gamma(x) = \int_{0}^{\infty} t^{x-1}e^{-t} ~dt$
と定義する
$x>0$を満たす実数$x$に対し、
$\displaystyle \Gamma(x+1) = x\Gamma(x)$
$\displaystyle \Gamma(x)\Gamma(1-x) = \frac{\pi}{\sin{x}}$
$x$が自然数$n$であるなら、
$\Gamma(n) = (n-1)!$
また、$\Gamma\left(\frac{1}{2}\right) = \sqrt{\pi}$
$\displaystyle \int_{-\infty}^{\infty} e^{-ax^2} ~dx = \sqrt{\frac{\pi}{a}}$
$\displaystyle \int_{0}^{\infty} e^{-ax^2} ~dx = \frac{1}{2}\sqrt{\frac{\pi}{a}}$
$\displaystyle \int_{0}^{\frac{\pi}{2}} \sin^n{x} ~dx = \int_{0}^{\frac{\pi}{2}} \cos^n{x} ~dx = \begin{cases} \frac{(n-1)!!}{n!!} \quad \quad \quad \rm{(nが奇数)}\\ \frac{(n-1)!!}{n!!} \cdot \frac{\pi}{2} \quad ~~\rm{(nが偶数)} \end{cases} $
任意の滑らかな関数$f(x)$について、
$\displaystyle \int_{-\infty}^{\infty} f(x) \delta(x) ~dx = f(0)$
を満たす関数$\delta(x)$をディラックのデルタ関数という
$\displaystyle \int_{-\infty}^{\infty} f(x) \delta(x-c) ~dx = f(c)$
$f(x)$の解を$x_i ~~ ( i \in I)$とするとき、
$\displaystyle \delta(f(x)) = \sum_{i} \frac{\delta(x - x_i)}{|f'(x_i)|}$
$\displaystyle \lim_{A \to \infty }f_A(x)$が$x=0$で$A$をとり、それ以外で$0$を取るとき、全区間で積分した値を$I$とすると、
$f_A(x)$は分布の意味で次の関係が成り立つ
$\displaystyle \lim_{A \to \infty }f_A(x) = I \delta(x)$
すべての実数$x$について、
$\displaystyle e^x = \sum_{n=0}^{\infty} \frac{x^n}{n!}$
$\displaystyle \sin{x} = \sum_{n=0}^{\infty} \frac{(-1)^n}{(2n+1)!}x^{2n+1}$
$\displaystyle \cos{x} = \sum_{n=0}^{\infty} \frac{(-1)^n}{(2n)!}x^{2n}$
$|x| < 1$となる実数$x$について
$\displaystyle \log{(1-x)} = -\sum_{n=0}^{\infty} \frac{x^n}{n}$
$\displaystyle \log{(1+x)} = \sum_{n=0}^{\infty} \frac{(-1)^{n+1}}{n}x^n$
$\displaystyle \frac{1}{1-x} = \sum_{n=0}^{\infty} x^n$
$\displaystyle \frac{1}{(1-x)^2} = \sum_{n=0}^{\infty} nx^{n-1}$
$\displaystyle \arctan{x} = \sum_{n=0}^{\infty} \frac{(-1)^n}{2n+1}x^{2n+1}$
※よく使いそうなもの、使ったものをピックアップしている
2.テクニック
$\displaystyle \int_{a}^{b} f(x) ~dx = \int_{a}^{b} f(a+b-x) ~dx$
左辺について、$y=a+b-x$と置くと、$x=a+b-y$
$ dx = -dy \quad x:a \to b \quad y:b \to a$ となり、
\begin{align}
\int_{a}^{b} f(x) ~dx &= \int_{b}^{a} f(a+b-y) (-1)~dy \\
&=\int_{a}^{b} f(a+b-y) ~dy
\end{align}
定積分は変数によらず等しいので、
$\displaystyle \int_{a}^{b} f(x) ~dx = \int_{a}^{b} f(a+b-x) ~dx$
$\displaystyle \int_{a}^{b} f(x) ~dx + \int_{f(a)}^{f(b)} f^{-1}(x) ~dx = bf(b) - af(a)$
2項目の積分について、$y=f^{-1}(x)$と置くと、$x=f(y)$
$dx = f'(y) ~dy \quad x:f(a) \to f(b) \quad y:a \to b$
\begin{align}
\int_{f(a)}^{f(b)} f^{-1}(x) ~dx &= \int_{a}^{b} yf'(y) ~dy \\
&=\left[ ~ yf(y) ~ \right]_a^b - \int_{a}^{b} f(y) ~dy \\
&=bf(b) - af(a) - \int_{a}^{b} f(y) ~dy \\
\end{align}
したがって、
$\displaystyle \int_{a}^{b} f(x) ~dx + \int_{f(a)}^{f(b)} f^{-1}(x) ~dx = bf(b) - af(a)$
$ x \notin \mathbb{Z}$を満たす$x$について、
$\displaystyle \lfloor x \rfloor - \lceil x \rceil = \lfloor x \rfloor + \lfloor -x \rfloor = -1$
まず$x$は、ある整数$n$を用いて、$n < x < n+1$と表せる。
このとき、$\lfloor x \rfloor = n \quad \lceil x \rceil = n+1$
不等式をひっくり返すと、$-(n+1) < -x < -n$
このとき、$\lfloor -x \rfloor = -(n+1)$
したがって、これらを足すと、
$\lfloor x \rfloor - \lceil x \rceil = n - (n+1) = -1$
$\lfloor x \rfloor - \lfloor -x \rfloor = n + (-(n+1)) = -1$
よって示された
$\displaystyle \int e^{ax}\cos{bx} ~dx = \frac{e^{ax}}{a^2+b^2}(a\cos{bx} + b\sin{bx}) + C$
$\displaystyle \int e^{ax}\sin{bx} ~dx = \frac{e^{ax}}{a^2+b^2}(a\sin{bx} - b\cos{bx}) + C$
\begin{align} I &= \int e^{ax}\cos{bx} ~dx \\ &= \frac{1}{a}e^{ax}\cos{bx} + \frac{b}{a} \int e^{ax}\sin{bx} ~dx \\ &=\frac{1}{a}e^{ax}\cos{bx} + \frac{b}{a^2}e^{ax}\sin{bx} -\frac{b^2}{a^2} \int e^{ax}\cos{bx} ~dx \\ a^2I &=ae^{ax}\cos{bx} + be^{ax}\sin{bx} -b^2\int e^{ax}\cos{bx} ~dx \\ (a^2+b^2)I &= e^{ax}(a\cos{bx} + b\sin{bx}) + C \\ I &= \frac{e^{ax}}{a^2+b^2}(a\cos{bx} + b\sin{bx}) + C \end{align}
\begin{align} J &= \int e^{ax}\sin{bx} ~dx \\ &= \frac{1}{a}e^{ax}\sin{bx} - \frac{b}{a} \int e^{ax}\cos{bx} ~dx \\ &=\frac{1}{a}e^{ax}\sin{bx} - \frac{b}{a^2}e^{ax}\sin{bx} -\frac{b^2}{a^2} \int e^{ax}\sin{bx} ~dx \\ a^2J &=ae^{ax}\sin{bx} - be^{ax}\cos{bx} -b^2\int e^{ax}\sin{bx} ~dx \\ (a^2+b^2)J &= e^{ax}(a\sin{bx} - b\cos{bx}) + C \\ J &= \frac{e^{ax}}{a^2+b^2}(a\sin{bx} - b\cos{bx}) + C \end{align}
任意の実数$k$について、
$\displaystyle \int_{k}^{k+1} \{ x \} ~dx = \frac{1}{2}$
まず、$\{x\}$はグラフで見ると$n \leq x < n+1 ~~(n \in \mathbb{N})$の区間では
$y=x-n$ という関数と同じグラフを描く。
$k=n$のとき、
\begin{align}
I &= \int_{n}^{n+1} x - n ~dx \\
&= \left[ \frac{1}{2}x^2 - nx \right]_{n}^{n+1} \\
&= \left( \frac{n^2+2n+1}{2} -n(n+1) \right) - \left( \frac{n^2}{2} -n^2 \right) \\
&= \frac{1}{2}
\end{align}
$k=n+s \quad ( 0 < s < 1 ~,~ s \in \mathbb{R} )$のとき、
\begin{align}
I &= \int_{n+s}^{n+1} x - n ~dx + \int_{n+1}^{n+s+1} x - (n+1) ~dx\\
&= \left[ \frac{1}{2}x^2 - nx \right]_{n+s}^{n+1} + \left[ \frac{1}{2}x^2 - (n+1)x \right]_{n+1}^{n+s+1}\\
&= \left( \frac{n^2+2n+1}{2} -n(n+1) \right) - \left( \frac{n^2+2sn+s^2}{2} -n(n+s) \right) + \left( \frac{n^2+s^2+1+2ns+2n+2s}{2} -(n+1)(n+s+1) \right) - \left( \frac{n^2+2n+1}{2} -(n+1)(n+1) \right)\\
&= \rm{〜〜式を整理する〜〜} \\
&= \frac{1}{2}
\end{align}
この記事を高評価した人
この記事に送られたバッジ
投稿者
