역도함수표

1. 개요

여러 함수의 역도함수를 수록한 문서이다. 문서에서 [math(\mathsf{const.})]는 적분상수이다.[1][2] 거의 모든 미적분 관련 수학 교과서나 수학을 쓰는 대학교 전공서적에 부록으로 달려 있으며, 하도 많이 쓰이다 보니 사용하다보면 어느새 나중에는 유명한 적분들은 그냥 외우게 된다.

2. 기본 적분

2.1. 선형성(linearity)[3]

[math(\displaystyle \int \{ \alpha f( x ) + \beta g( x ) \}\,\mathrm{d}x=\alpha \int f( x )\, \mathrm{d}x + \beta \int g( x )\, \mathrm{d}x)]

2.2. f'(x)/f(x) 꼴[4]

해당 함수의 역도함수는 치환적분을 통해 도출할 수 있다. 해당 문서의 부정적분 단락 예제 1 참고.

[math(\displaystyle \int \frac{f'( x )}{f( x )}\,\mathrm{d}x=\ln{| f( x ) |}+ \mathsf{const.})]

2.3. 역함수

함수 [math(f(x))]의 역함수 [math(f^{-1}(x))]의 역도함수는 부분적분과 역함수의 미분 공식을 쓰면 유도할 수 있다.

[math(\displaystyle \int f^{-1}(x)\,\mathrm{d}x=xf^{-1}(x)-\int f(y)\,\mathrm{d}y \quad)] (단, [math(y=f^{-1}(x))])

또는,

[math(\displaystyle \int f^{-1}(x)\,\mathrm dx = xf^{-1}(x) - F(f^{-1}(x))+\mathsf{const.} \quad)] [math(\biggl( \biggr.)]단, [math(\dfrac{\mathrm dF}{\mathrm dx}=f(x))][math(\biggl. \biggr))]

2.4. 부분적분

기본꼴
[math(\displaystyle \int f(x)g'(x)\,\mathrm{d}x =f(x)g(x)-\int f'(x)g(x)\,\mathrm{d}x)]
스틸체스꼴
[math(\displaystyle \int f(x)\,\mathrm{d}g(x) =f(x)g(x)-\int g(x)\,\mathrm{d}f(x))]

곱미분에서 유도되는 공식으로, 곧바로 적분이 되지 않을 경우 쓸 수 있는 공식이다.

2.5. 다항식

유의할 것은 [math(n)]이 상수여야 한다는 점이다. [math(y=x^x)]와 같은 함수는 초등함수를 유한 번 사용한 부정적분으로 표현할 수 없다.

[math(n \ne -1)]일 때

[math(\displaystyle \int x^n\,\mathrm{d}x=\frac{x^{n+1}}{n+1}+ \mathsf{const.})]

[math(n=-1)]일 때

[math(\displaystyle \int x^{-1}\,\mathrm{d}x = \int \frac1x\,\mathrm{d}x = \ln \left| x \right|+ \mathsf{const.})]

이 두 경우를 지시함수를 이용해 하나의 식으로 나타낼 수 있다.

[math(\displaystyle \int x^n\,{\rm d}x=\dfrac{1-{\bold 1}_{\{-1\}}(n)}{{\bold 1}_{\{-1\}}(n)+n+1}x^{n+1}+{\bold 1}_{\{-1\}}(n)\ln |x|+\mathsf{const.})]

2.6. 유리함수

[math(\displaystyle \int \frac{1}{ax+b} \, \mathrm{d}x=\frac{\ln{(ax+b)}}{a}+\sf const.)]
[math(\displaystyle \int \frac{1}{ax^2+bx+c} \, \mathrm{d}x)]

[math(\boldsymbol{ D > 0})]인 경우: [math(\displaystyle \frac{-1}{\sqrt{D}} \ln\left|\frac{2ax+b+\sqrt{D}}{2ax+b-\sqrt{D}}\right|+\mathsf{const.}=\frac{-2}{\sqrt{D}}{\rm artanh}\left(\frac{2ax+b}{\sqrt{D}}\right)+\mathsf{const.} )][5]
[math(\boldsymbol{ D = 0})]인 경우: [math(\displaystyle\frac{-2}{2ax+b}+\mathsf{const.})]
[math(\boldsymbol{ D < 0})]인 경우: [math(\displaystyle\frac{2}{\sqrt{-D}}\arctan\left(\frac{2ax+b}{\sqrt{-D}}\right)+\mathsf{const.})][6]

위에서 [math(D=b^2-4ac)]이다.

2.7. 무리함수

2.7.1. 기본

[math(\displaystyle \int \sqrt {ax+b} \, \mathrm dx=\frac{2}{3a}(ax+b)\sqrt{ax+b}+\sf const.)]
[math(\displaystyle \int \sqrt {x^2\pm a^2} \, \mathrm dx= \frac{\displaystyle x\sqrt {x^2\pm a^2}\pm a^2\ln(\sqrt {x^2\pm a^2}+x)}{2}+\sf const.)][7]
[math(\displaystyle \int \sqrt{-x^2+ a^2} \, \mathrm dx=\frac12 \left[ x\sqrt{-x^2+ a^2} + a^2 \arcsin\left(\frac{x}{a}\right)\right] +\sf const.)]
[math(\displaystyle \int \sqrt{-x^2- a^2} \, \mathrm dx=\frac12 \left[ x\sqrt{-x^2+ a^2} + a^2 \arctan\left(\frac {x}{\sqrt{-x^2- a^2}}\right)\right] +\sf const.)]

2.7.2. 역수

[math(\displaystyle \int \frac 1{\displaystyle\sqrt {ax+b}} \, \mathrm dx=\frac{\displaystyle 2\sqrt{ax+b}}a +\sf const.)]
[math(\displaystyle \int \frac 1{\displaystyle\sqrt {x^2\pm a^2}} \, \mathrm dx={\rm artanh}\left(x \over \displaystyle\sqrt{x^2\pm a^2}\right) +\sf const.)]
[math(\displaystyle \int \frac 1{\displaystyle\sqrt {-x^2+ a^2}} \, \mathrm dx=\arcsin\left(\frac{x}{a}\right) +\sf const.)]
[math(\displaystyle \int \frac 1{\displaystyle\sqrt {-x^2- a^2}} \, \mathrm dx=\arctan\left(\frac {x}{\sqrt{-x^2- a^2}}\right) +\sf const.)]

2.8. 지수함수

[math(a > 0)]인 경우

[math(\displaystyle \int a^x\,\mathrm{d}x=\frac{a^x}{\ln a}+ \mathsf{const.})]

[math(a < 0)]인 경우, [math(\ln\left(-1\right)=i\pi)] 즉 복소수 [math(z = a)]에 대해, [math(-\pi<\arg z\le\pi)]일 때[8][9]

[math(\displaystyle \int a^x\,\mathrm{d}x = \frac{a^x}{\operatorname{Log}|a| + i\pi}+ \mathsf{const.})][10]

[math(i^x)]인 경우, 복소수 [math(z = i)]에 대해, [math(-\pi<\arg z\le\pi)]일 때

[math(\displaystyle \int i^x\,\mathrm{d}x = \frac2\pi \sin \frac{\pi x}2 - i\frac2\pi \cos \frac{\pi x}2 + \mathsf{const.} = -i\frac2\pi \operatorname{cis}\left(\frac{\pi x}2 \right) + \mathsf{const.})][11]

[math(\displaystyle xa^{x})]인 경우

[math(\displaystyle\int xa^x\,\mathrm{d}x=\frac{a^x(x\ln a-1)}{\ln^2 a}+ \mathsf{const.})]

부분적분을 이용한다.

[math(\displaystyle \begin{aligned} \int xa^{x}\mathrm{d}x&=\frac{x}{\ln a}a^{x}-\int \frac{a^{x}}{\ln a}\mathrm{d}x \\ &=\frac{x}{\ln a}a^x-\frac{1}{(\ln a)^{2}}a^{x}+ \mathsf{const.} \\ &=\frac{a^{x}(x\ln a-1)}{(\ln a)^2}+ \mathsf{const.} \end{aligned} )]

}}} ||

[math(\displaystyle x^n e^{-cx})] 꼴인 경우 (단, [math(n)]은 자연수)

[math(\displaystyle\int x^n e^{-cx}\,\mathrm{d}x=-\frac{n!}{c^{n+1}}\sum_{j=0}^n\frac{(cx)^j}{j!}e^{-cx}+\mathsf{const.})]

2.8.1. 허수지수함수

[math(\displaystyle\int \operatorname{cis}(z) \,{\rm d}z = -i \operatorname{cis}(z)+\mathsf{const.})]
[math(\displaystyle\int \overline{\operatorname{cis}}(z) \,{\rm d}z = i \, \overline{\operatorname{cis}}(z)+\mathsf{const.})]

2.9. 로그함수

밑이 [math(\displaystyle a)]인 로그함수

[math(\displaystyle \int \log_ax \,{\rm d}x = \frac{x\ln x-x}{\ln a} +\mathsf{const.})]

특히, [math(a=)] [math(e)]일 때

[math(\displaystyle \int \ln x \,{\rm d}x = x\ln x -x +\mathsf{const.})]

일차함수와 합성된 로그함수

[math(\displaystyle \int \ln(ax+b) \,{\rm d}x = \dfrac1a (ax+b)\ln(ax+b) -x +\mathsf{const.})]

[math(\displaystyle \begin{aligned}
\int \ln(ax+b) \,{\rm d}x &= x\ln(ax+b) -\int x \cdot \frac a{ax+b} \,{\rm d}x \\
&= x\ln(ax+b) -\int \frac{ax+b-b}{ax+b} \,{\rm d}x \\
&= x\ln(ax+b) -\int \biggl( 1-\frac b{ax+b} \biggr) {\rm d}x \\
&= x\ln(ax+b) -\biggl( x -\frac ba\ln(ax+b) \biggr) \!+\mathsf{const.} \\
&= \!\biggl( x +\frac ba \biggr) \!\ln(ax+b) -x +\mathsf{const.} \\
&= \dfrac1a (ax+b)\ln(ax+b) -x +\mathsf{const.}
\end{aligned} )]

}}}||

2.10. 삼각함수

2.10.1. 기본

[math(\displaystyle \int \sin x\,\mathrm{d}x=-\cos x+ \mathsf{const.})]
[math(\displaystyle \int \cos x\,\mathrm{d}x=\sin x+ \mathsf{const.})]
[math(\displaystyle \int \sec^2x\,\mathrm{d}x=\tan x+ \mathsf{const.})]
[math(\displaystyle \int \csc^2x\,\mathrm{d}x=-\cot x+ \mathsf{const.})]
[math(\displaystyle \int \sec x\tan x\,\mathrm{d}x=\sec x+ \mathsf{const.})]
[math(\displaystyle \int \csc x\cot x\,\mathrm{d}x=-\csc x+ \mathsf{const.})]

2.10.2. 사인 함수 및 코사인 함수의 거듭제곱 꼴

[math(\displaystyle \int \sin^nx\,\mathrm{d}x=\frac{-\sin^{n-1}x\cos x}n+\frac{n-1}n\int \sin^{n-2}x\,\mathrm{d}x \quad (n\in\mathbb N,\,n\ge2))]
[math(\displaystyle \int \cos^nx\,\mathrm{d}x=\frac{\cos^{n-1}x\sin x}n+\frac{n-1}n\int \cos^{n-2}x\,\mathrm{d}x \quad (n \in\mathbb N,\,n\ge2))]
[math(\displaystyle \int \sin^mx\cos^nx \mathrm{d}x=\frac{\sin^{m+1}x \cos^{n-1} x}{m+n}+\frac{n-1}{m+n}\int \sin^mx \cos^{n-2}x\,\mathrm{d}x \ \quad (m\ge0,\,n\ge1,\,n,\,m\in\mathbb N))]

2.10.3. 탄젠트 함수

[math(\displaystyle \int \tan x\,\mathrm{d}x=-\ln\left| \cos x \right|+ \mathsf{const.}=\ln\left| \sec x \right|+ \mathsf{const.})]
[math(\displaystyle \int \tan^nx\,\mathrm{d}x=\frac{\tan^{n-1}x}{n-1}-\int \tan^{n-2}x\,\mathrm{d}x \quad (n\in\mathbb N,\,n\ge2))]

2.10.4. 코탄젠트 함수

[math(\displaystyle \int \cot x\,\mathrm{d}x=\ln\left| \sin x \right|+ \mathsf{const.})]
[math(\displaystyle \int \cot^nx\,\mathrm{d}x=\frac{-\cot^{n-1}x}{n-1}-\int \cot^{n-2}x\,\mathrm{d}x \quad (n\in\mathbb N,\,n\ge2))]

2.10.5. 시컨트 함수

[math(\displaystyle \int \sec x\,\mathrm{d}x=\frac12\ln \left| \frac{\sin x+1}{\sin x-1} \right|+ \mathsf{const.}=\ln \left|\tan x+\sec x\right|+ \mathsf{const.}=\ )] [math(text{igd}(x)+mathsf{const.})]
[math(\displaystyle \int \sec^nx\,\mathrm{d}x=\frac{\sec^{n-2}x\tan x}{n-1}+\frac{n-2}{n-1}\int \sec^{n-2}x\,\mathrm{d}x \quad (n\in\mathbb N,\,n\ge2))]

2.10.6. 코시컨트 함수

[math(\displaystyle \int \csc x\,\mathrm{d}x=-\frac12\ln\left| \frac{\cos x+1}{\cos x-1} \right|+ \mathsf{const.}=-\ln \left|\cot x+\csc x\right|+ \mathsf{const.}=\ln\left| \cot x-\csc x\right|+ \mathsf{const.})]
[math(\displaystyle \int \csc^nx\,\mathrm{d}x=\frac{-\csc^{n-2}x\cot x}{n-1}-\frac{n-2}{n-1}\int \csc^{n-2}x\,\mathrm{d}x \quad (n\in\mathbb N,\,n\ge2))]

2.11. 쌍곡선 함수

2.11.1. 기본

[math(\displaystyle \int \sinh x \,\mathrm{d}x=\cosh x +\mathsf{const.})]
[math(\displaystyle \int \cosh x \,\mathrm{d}x=\sinh x +\mathsf{const.})]
[math(\displaystyle \int \tanh x \,\mathrm{d}x=(\ln\circ\cosh)( x) +\mathsf{const.})]

2.11.2. 역수 꼴

[math(\displaystyle \int \mathrm{csch} x \,\mathrm{d}x=(\ln \circ \tanh)\biggl(\frac{x}{2}\biggr)+\mathsf{const.})]
[math(\displaystyle \int \mathrm{sech} x \,\mathrm{d}x=2(\arctan\circ\tanh)\biggl(\frac{x}{2}\biggr)+\mathsf{const.}=\,)] [math(mathrm{gd}(x)+mathsf{const.})]
[math(\displaystyle \int {\rm coth}\,x \,\mathrm{d}x=\ln{|\sinh(x)|} +\mathsf{const.})]

3. 특수 적분

적분의 결과로 특수함수가 나오는 식이다.

3.1. 절댓값 함수

[math(\displaystyle \int |x|\,\mathrm{d}x = \frac{1}2x^{2}\, \mathrm{sgn}\,x + \mathsf{const.})]

일반적인 일차함수 적분과 비슷해 보이지만, [math(x < 0)] 구간이 음수 방향으로 뒤집어져 있다는 차이가 존재한다. [math(\mathrm{sgn}\,x)]는 부호 함수이다.

[math(\displaystyle \int | f(x) |\,\mathrm{d}x = (\mathrm{sgn} \circ f)(x) \int f(x)\,\mathrm{d}x)]

3.1.1. 부호 함수

[math(\displaystyle \int \operatorname{sgn} x\, \mathrm{d}x = |x| + \mathsf{const.})]

3.1.2. 삼각함수와의 합성함수

[math(\displaystyle \int \sin |x|\,\mathrm{d}x = \left(1- \cos x\right)\mathrm{sgn}\,x + \mathsf{const.})]
[math(\displaystyle \int \cos |x|\,\mathrm{d}x = \sin x+ \mathsf{const.})]
[math(\displaystyle \int \tan |x|\,\mathrm{d}x = \left(\ln \left| \sec x \right|\right) \mathrm{sgn}\,x + \mathsf{const.})]
[math(\displaystyle \int \sec |x|\,\mathrm{d}x = \ln \left| \tan x + \sec x \right| + \mathsf{const.})]
[math(\displaystyle \int \csc |x|\,\mathrm{d}x = \left(\ln \left| \cot x - \csc x \right|\right)\mathrm{sgn}\,x + \mathsf{const.})]
[math(\displaystyle \int \cot |x|\,\mathrm{d}x = \left(\ln \left| \sin x \right|\right)\mathrm{sgn}\,x + \mathsf{const.})]
[math(\displaystyle \int \left|\sin x\right|\,\mathrm{d}x = 2\left\lfloor\frac x\pi\right\rfloor -\cos\left(x - \left\lfloor\frac x\pi \right\rfloor\pi\right) + \mathsf{const.})][A]
[math(\displaystyle \int \left|\cos x\right|\,\mathrm{d}x = 2\left\lfloor\frac x\pi + \frac12\right\rfloor + \sin\left(x - \left\lfloor\frac x\pi + \frac12 \right\rfloor\pi\right) + \mathsf{const.})][A]
[math(\displaystyle \int \left| \tan x \right|\,\mathrm{d}x = -(\mathrm{sgn} \circ \tan)(x) \ln \left| \cos x \right| + \mathsf{const.} \quad )][math(\biggl( \biggr.)]단, [math(|x| < n \pi - \dfrac{\pi}{2})] [math(\biggl. \biggr))]
[math(\displaystyle \int \left| \sec x \right| \, \mathrm{d}x = \mathrm{sgn}\left(\sec x\right) \ln \left|\sec x + \tan x\right| + \mathsf{const.})]
[math(\displaystyle \int \left| \csc x \right| \, \mathrm{d}x = -\mathrm{sgn}\left(\csc x\right) \ln \left|\csc x + \cot x\right| + \mathsf{const.} = \mathrm{sgn}\left(\csc x\right) \ln \left|\csc x - \cot x\right| + \mathsf{const.})]
[math(\displaystyle \int \left| \cot x \right| \, \mathrm{d}x = \mathrm{sgn}\left(\cot x\right) \ln \left|\sin x\right| + \mathsf{const.} \quad)][math(\biggl( \biggr.)]단, [math(|x| < n \pi - \dfrac{\pi}{2})] [math(\biggl. \biggr))]

위 식에서 [math(\lfloor \cdot \rfloor)]는 바닥함수이다.

3.2. 역삼각함수

[math(\displaystyle \int \arcsin x\,\mathrm{d}x = x \arcsin x + \sqrt{1-x^2}+ \mathsf{const.})]
[math(\displaystyle \int \arccos x\,\mathrm{d}x = x \arccos x - \sqrt{1-x^2}+ \mathsf{const.})]
[math(\displaystyle \int \arctan x\,\mathrm{d}x = x \arctan x - \frac12\ln(x^2+1)+ \mathsf{const.})]
[math(\displaystyle \int \mathrm{arcsec}\,x\,\mathrm{d}x = x\,\mathrm{arcsec}\,x - \mathrm{sgn}\,x \ln(x+\sqrt{x^2-1})+ \mathsf{const.})]
[math(\displaystyle \int \mathrm{arccsc}\,x\,\mathrm{d}x = x\,\mathrm{arccsc}\,x + \mathrm{sgn}\,x \ln(x+\sqrt{x^2-1})+ \mathsf{const.})]
[math(\displaystyle \int \mathrm{arccot}\,x\,\mathrm{d}x = x\,\mathrm{arccot}\,x + \frac12\ln(x^2+1)+ \mathsf{const.})]

3.3. 역쌍곡선 함수

[math(\displaystyle \int \mathrm{arsinh}\,x\,\mathrm{d}x =\frac{1}{\sqrt{1+x^2}} +\mathsf{const.})]
[math(\displaystyle \int \mathrm{arcosh}\,x\,\mathrm{d}x = \frac{1}{\sqrt{1+x}\sqrt{1-x}}+\mathsf{const.})]
[math(\displaystyle \int \mathrm{artanh}\,x\,\mathrm{d}x = \frac{1}{1-x^2}+\mathsf{const.})]
[math(\displaystyle \int \mathrm{arcsch}\,x\,\mathrm{d}x =- \frac{1}{\sqrt{1+\dfrac{1}{x^2} }+1} +\mathsf{const.})]
[math(\displaystyle \int \mathrm{arsech}\,x\,\mathrm{d}x = -\frac{1}{x\sqrt{\dfrac{1-x}{x+1}}} (x+1) +\mathsf{const.})]
[math(\displaystyle \int \mathrm{arcoth}\,x\,\mathrm{d}x =\frac{1}{1-x^2}+\mathsf{const.})]

3.4. 오차함수

[math(\displaystyle \int e^{-x^2}\,\mathrm{d}x=\frac{\sqrt\pi}2\mathrm{erf}( x )+ \mathsf{const.})]

3.5. 지수 적분 함수

[math(\displaystyle \int \frac{e^x}x\,\mathrm{d}x = \mathrm{Ei}(x) + \mathsf{const.} = -\int_{-x}^\infty\frac{e^{-t}}t\,\mathrm{d}t + \mathsf{const.})]

대표적인 초월함수 중 하나다. 해당 함수는 [math(x>0)]에서 역시 코시 주요값 문서의 예처럼 정의된다.

[math(\displaystyle \int a^{1/x}\,\mathrm{d}x = xa^{1/x} - \mathrm{Ei}\left(\frac{\ln a}x\right) \ln a + \mathsf{const.} = x a^{1/x} + \ln a \int_{-{\ln a}/x}^\infty\frac{e^{-t}}t\,\mathrm{d}t + \mathsf{const.})]
[math(\displaystyle \int e^x \ln x \,\mathrm{d}x = e^x \ln x - \mathrm{Ei}(x) + \mathsf{const.} = \int_{-x}^\infty\frac{e^{-t}}t\,\mathrm{d}t + e^x \ln x + \mathsf{const.})]
[math(\displaystyle \int \operatorname{Ei}(x)\, \mathrm{d}x = x\operatorname{Ei}(x) - e^x + \sf const.)]
[math(\displaystyle \int e^{e^x}\, \mathrm{d}x = \operatorname{Ei}(e^x) + \sf const.)]

3.6. 로그 적분 함수

[math(\displaystyle \int \frac1{\ln x}\,\mathrm{d}x = \mathrm{li}(x) + \mathsf{const.} = \mathcal P\int_0^x \frac{\mathrm{d}t}{\ln t} + \mathsf{const.}=\lim_{a \to 0+} \left[\int_{0}^{1-a} \frac{1}{\ln t} \mathrm{d}t + \int_{1+a}^x \frac{1}{\ln t} \mathrm{d}t\right]=\int_\mu^x \frac{1}{\ln t} \mathrm{d}t +\mathsf{const.})][14]

이것도 역시 초월함수다. [math(x>1)]일 때 [math( \mathrm{li}(x)=\int_0^x (\ln{t})^{-1}\,{\rm d}t)]에 대해서는 코시 주요값 참고하라.

로그 적분 함수를 다시 적분한 함수는 지수 적분 함수와 로그함수, 로그 적분 함수로 나타내어진다.

[math(\displaystyle \int \operatorname{li}(x)\mathrm{d}x = x\,\mathrm{li}(x) - \mathrm{Ei}(2\ln x) + \sf const.)]

3.7. 삼각 적분 함수

[math(\displaystyle \int \frac{\sin x}x\,\mathrm{d}x = \mathrm{Si}(x) + \mathsf{const.} = \int_0^x\frac{\sin t}t\,\mathrm{d}t + \mathsf{const.})]
[math(\displaystyle \int \frac{\cos x}x\,\mathrm{d}x = \mathrm{Ci}(x) + \mathsf{const.} = -\int_x^\infty\frac{\cos t}t\,\mathrm{d}t + \mathsf{const.})]

이외에도 삼각함수와 지수함수를 합성한 꼴, 로그함수와 삼각함수의 곱 꼴, 정의역에 역수를 취한 꼴에서도 이 초월함수가 나온다.

[math(\displaystyle \int \sin e^x\,\mathrm{d}x = \mathrm{Si}(e^x) + \mathsf{const.})]
[math(\displaystyle \int \cos e^x\,\mathrm{d}x = \mathrm{Ci}(e^x) + \mathsf{const.})]
[math(\displaystyle \int \sin x \ln x\,\mathrm{d}x = \mathrm{Ci}(x) - \cos x \ln x + \mathsf{const.})]
[math(\displaystyle \int \cos x \ln x\,\mathrm{d}x = -\mathrm{Si}(x)+ \sin x \ln x + \mathsf{const.})]
[math(\displaystyle \int \sin(x^{-1})\,\mathrm{d}x = -\mathrm{Ci}(x^{-1}) + x \sin(x^{-1}) + \mathsf{const.})]
[math(\displaystyle \int \cos(x^{-1})\,\mathrm{d}x = \mathrm{Si}(x^{-1}) + x \cos(x^{-1}) + \mathsf{const.})]

3.8. 프레넬 적분 함수

[math(\displaystyle \int \sin x^2 \,\mathrm{d}x = S(x) + \mathsf{const.} )]
[math(\displaystyle \int \cos x^2 \,\mathrm{d}x = C(x) + \mathsf{const.} )]

[math(S(x))], [math(C(x))]에 대한 정보는 프레넬 적분 함수 문서를 참조하라.

제곱이 아닌 경우는 불완전 감마 함수로 표현되는 복잡한 꼴로 정리된다.

[math(\displaystyle \int \sin x^n \, \mathrm{d}x = - \dfrac{ix((ix^n)^{-1/p}Γ(n^{-1},ix^n)}{2n}+ \dfrac{ix(-ix^n)^{-1/p}Γ(n^{-1},-ix^n)}{2n} + \sf const.)]
[math(\displaystyle \int \cos x^n \, \mathrm{d}x = - \dfrac{x (x^{2n})^{-1/n} ((-ix^n)^{-1/n}Γ(n^{-1},ix^n)}{2n} - \dfrac {x (x^{2n})^{-1/n}(ix^n)^{-1/n}Γ(n^{-1},-ix^n) )}{2n} + \sf const.)]

3.9. 삼각함수와 다항함수의 곱

[math(\displaystyle \int x \sin x\,\mathrm{d}x = \sin x - x \cos x + \mathsf{const.})]
[math(\displaystyle \int x \cos x\,\mathrm{d}x = x \sin x + \cos x + \mathsf{const.})]
[math(\displaystyle \int x \tan x\,\mathrm{d}x = \frac i2[\mathrm{Li}_2(-e^{2ix})+x\{x+2i \ln(1+e^{2ix})\}]+ \mathsf{const.})]
[math(\displaystyle \int x \csc x\,\mathrm{d}x = -2i\,\mathrm{Li}_2(e^{ix}) + \frac i2\mathrm{Li}_2(e^{2ix}) - 2x\,\mathrm{artanh}\,e^{ix} + \mathsf{const.})]
[math(\displaystyle \int x \sec x\,\mathrm{d}x = i\{\mathrm{Li}_2(-ie^{ix}) - \mathrm{Li}_2(ie^{ix}) - 2x\arctan e^{ix}\} + \mathsf{const.})]
[math(\displaystyle \int x \cot x\,\mathrm{d}x = x\ln(1-e^{2ix}) - \frac12i\{x^2+\mathrm{Li}_2(e^{2ix})\}+ \mathsf{const.})]

탄젠트, 코시컨트, 시컨트, 코탄젠트는 조금만 조작이 가해져도 적분이 다소 어려워진다.

위 식에서 [math(\mathrm{Li}_2)]는 폴리로그함수, [math(\arctan)]는 역탄젠트, [math(\mathrm{artanh})]는 역쌍곡선 탄젠트이다.

3.10. 삼각함수와 지수함수의 곱

[math(\displaystyle \int e^x \sin x\,\mathrm{d}x = \frac{\sin x - \cos x}2 e^x + \mathsf{const.})]
[math(\displaystyle \int e^x \cos x\,\mathrm{d}x = \frac{\sin x + \cos x}2 e^x + \mathsf{const.})]
[math(\displaystyle \int e^x \tan x\,\mathrm{d}x = ie^x{}_2F_1\biggl(-\frac i2,~1;~1-\frac i2;~-e^{2ix}\biggr) - \frac{2 + i}5 e^{(1+2i)x}{}_2F_1\biggl(1,~1-\frac i2;~2-\frac i2;~-e^{2ix}\biggr) + \mathsf{const.})]
[math(\displaystyle \int e^x \csc x\,\mathrm{d}x = -(1+i) e^{(1+i)x} {}_2F_1\biggl(\frac{1-i}2,~1;~\frac{3-i}2;~e^{2ix}\biggr) + \mathsf{const.})]
[math(\displaystyle \int e^x \sec x\,\mathrm{d}x = (1-i) e^{(1+i)x} {}_2F_1\biggl(\frac{1-i}2,~1;~\frac{3-i}2;~-e^{2ix}\biggr) + \mathsf{const.})]
[math(\displaystyle \int e^x \cot x\,\mathrm{d}x = -ie^x {}_2F_1\biggl(-\frac i2,~1;~1-\frac i2;~e^{2ix}\biggr) - \frac{2+i}5 e^{(1+2i)x} {}_2 F_1\biggl(1,~1-\frac i2;~2-\frac i2;~e^{2ix}\biggr) + \mathsf{const.})]

위 식에서 [math({}_2 F_1)]은 초기하함수이다.

3.11. 타원 적분

[math(\displaystyle \int \frac{1}{\sqrt{1-k^{2}\sin^{2}{\theta} }}\,\mathrm{d}\theta=F(\phi,\,k)+\mathsf{const.} \qquad (0 \leq k \leq 1) )]
[math(\displaystyle \int \sqrt{1-k^{2}\sin^{2}{\theta}}\,\mathrm{d}\theta =E(\phi,k)+\mathsf{const.} \qquad (0 \leq k \leq 1) )]

3.12. 디랙 델타 함수

[math(\displaystyle \int \delta(x)\, \mathrm{d}x = \frac{1}{2}\mathrm{sgn}\,x+\mathsf{const.}=\mathbf{1}_{\mathbb N_0}+\sf const.)]

3.13. 헤비사이드 계단 함수

[math(\displaystyle \int \theta (x)\, \mathrm{d} x = x\theta (x)+\mathsf{const.} = \frac{x + |x|}{2} + \mathsf{const.}=x\mathbf{1}_{[0,\infty)}+\sf const.)]

3.14. 최대, 최소 정수 함수

[math(\displaystyle \int \lfloor x \rfloor \mathrm{d}x = \dfrac{\lfloor x-1 \rfloor(\lfloor x-1 \rfloor+1)}{2}+\lfloor x \rfloor \{ x \} + \mathsf{const.})]
[math(\displaystyle \int \lceil x \rceil \mathrm{d}x = \dfrac{\lfloor x \rfloor(\lfloor x \rfloor+1)}{2}+ \{ x \}(\lfloor x \rfloor+1) + \mathsf{const.})]
[math(\displaystyle \int \dfrac 1{\lfloor x \rfloor} \mathrm{d}x = H_{\lfloor x \rfloor})][math(+\dfrac 1{\lfloor x \rfloor} (\{x\} -1)+\mathsf{const.})]
[math(\displaystyle \int \dfrac 1{\lceil x \rceil} \mathrm{d}x = H_{\lfloor x \rfloor+1})][math(+\dfrac 1{\lfloor x+1 \rfloor} (\{x+1\} -1)+\mathsf{const.})]

[math({x}=x-lfloor x rfloor)]이며 [math(H_x)]는 조화수이다.

3.15. 브링 근호

[math(\displaystyle \int \operatorname{BR}(x)\,{\rm d}x = - \frac{[ \operatorname{BR}(x) ]^6 + 3 [ \operatorname{BR}(x) ]^2}{6} + x \operatorname{BR}(x) + x + {\sf const.})]

3.16. 람베르트 W 함수

[math(\displaystyle \int W(x)\,{\rm d}x = x\left[ W(x)-1+\frac1{W(x)} \right]+{\sf const.})]

4. 기타

[math(\displaystyle\int\{f(x) \pm f'(x)\}e^{ \pm x}\;{\rm d}x=\pm f(x)e^{\pm x}+\mathsf{const.}\quad)] ( 복부호 동순)
[math(\displaystyle\int{}f(ax+b)\;{\rm d}x=\frac{1}{a}F(ax+b)+\mathsf{const.})]
[math(\displaystyle\int{}f'(x) \cdot e^{f(x)}\;{\rm d}x=e^{f(x)}+\mathsf{const.})]

5. 관련 문서

[1] 이런 표기를 쓰는 이유는 아래의 프레넬 코사인 함수의 이름자가 적분상수로 자주 쓰이는 표기인 [math(C)]와 겹치기 때문. [2] 어차피 역도함수인 걸 아니까 일부 서적에서는 상수는 빼고 적어 놓는 경우도 있다. [3] 어떤 연산자가 분배 법칙 및 상수배 성질을 만족시키는 경우 선형성이 있다고 하며, 이런 형태의 결합을 선형결합(linear combination)이라고 한다. [4] 탄젠트 함수, 코탄젠트 함수, 쌍곡 탄젠트 함수, 쌍곡 코탄젠트 함수의 적분이 여기서 유도된다. [5] [math(\rm artanh)] 함수의 정의역은 [math((-1,1))]이므로, 일반적인 경우에는 자연로그가 포함된 전자의 공식을 써야 한다. 혹은 [math(\mathbb R \setminus [-1,\,1] )] 부분을 [math(\rm arcoth)]로 해서 조각적으로 정의하는 방법도 있다. [6] 처음의 [math(D>0)]인 경우 공식과 이 공식이 같은 공식이라 생각하면, [math(i\arctan(x)={\rm artanh}(ix))]를 얻을 수 있고, 여기서 [math(\tanh(i\theta)=i\tan\theta)]를 유도할 수 있다. [math(\tanh)] 함수의 정의를 활용하면 여기서 오일러 공식까지 얻어낼 수 있다. 요한 베르누이가 1702년경 이 방법으로 해당 공식을 얻을 뻔했으나, 복소 로그에 대한 이해 부족으로 공식 완성까지는 못 한 것으로 여겨진다. [7] [math(+)]인 경우 한정으로 [math(\displaystyle \int \sqrt{x^2+ a^2} \, \mathrm dx=\frac12 \left[ x\sqrt{x^2+ a^2} + a^2\,{\rm arsinh}\left(\frac{x}{a}\right)\right] +\sf const.)]로도 계산 가능하다. [8] 복소로그함수의 성질로부터 유도된 식인데, 복소수 [math(z)]의 편각 [math(\arg z)]가 다가함수, 그러니까 엄밀히는 [math(e^{\left(\pi+2n\pi\right)i}=-1)]이기 때문에 이렇게 정의하지 않으면 부정적분이 하나로 정의되지 않는다. [9] 이 편각의 범위를 주요값(principal value)이라고 하고 이렇게 정의된 복소로그함수는 [math(\mathrm{Log})]로, 편각은 [math(\text{Arg})]로 나타낸다. [math(\mathrm{Ln})]이 아닌 이유는 복소로그함수 참조. [10] 그런데 [math(a <0)]일 때 [math(\operatorname{Log} a = \ln|a| + i\pi)]라서 [math(a>0)]일 때의 식과 다를 게 없다. 사실 [math(\operatorname {Log})] 자체를 그렇게 정의하기도 했고. [11] 이 역시 [math(\operatorname{Log}i = \dfrac \pi2)]와 [math(e^\frac {i\pi}2=i)]에 의하면 [math( -i\dfrac2\pi \operatorname{cis}\left(\dfrac{\pi x}2 \right)=\dfrac {i^x}{\operatorname{Log}i})]이다. [A] 단순히 부호 함수를 이용해서 나타낼 수도 있겠으나, 이럴 경우 [math(x=n\pi \; (n \in \mathbb{N}))]에서 미분이 불가능하다는 문제가 생긴다. [A] [14] [math(\mu)]는 [math(x)]절편인 라마누잔-졸트너 상수로 [math(-\Gamma(0,\ln 2)-i\pi)]이다.

해석학· 미적분학 Analysis · Calculus
{{{#!wiki style="margin: 0 -10px -5px; min-height: calc(1.5em + 5px)" {{{#!folding [ 펼치기 · 접기 ] {{{#!wiki style="margin: -5px -1px -11px"	<colbgcolor=#26455A>실수와 복소수		실수( 실직선 · 아르키메데스 성질) · 복소수( 복소평면 · 극형식 · 편각) · 근방 · 유계 · 콤팩트성 · 완비성
함수		함수 · 조각적 정의 · 항등함수 · 역함수 · 멱함수 · 다변수함수( 동차함수 · 음함수) · 다가 함수 · 함수의 그래프 · 좌표계 · 닮은꼴 함수 · 극값 · 볼록/오목 · 증감표
함수		초등함수( 대수함수 · 초월함수 · 로그함수 · 지수함수 · 삼각함수) · 특수함수 · 범함수( 변분법 · 오일러 방정식) · 병리적 함수
극한·연속		함수의 극한 · 수열의 극한 · 연속함수 · ε-δ 논법 · 수렴( 균등수렴) · 발산 · 부정형 · 점근선 · 무한대 · 무한소 · 특이점 · 0.999…=1
극한·연속		중간값 정리 · 최대·최소 정리 · 부동점 정리 · 스털링 근사 · 선형근사( 어림)
수열· 급수		수열( 규칙과 대응) · 급수( 멱급수 · 테일러 급수( /목록) · 조화급수 · 그란디 급수( 라마누잔합) · 망원급수( 부분분수분해)) · 그물
		오일러 수열 · 베르누이 수열 · 월리스 곱
		단조 수렴 정리 · 슈톨츠-체사로 정리 · 축소구간정리 · 급수의 수렴 판정 · 리만 재배열 정리 · 바젤 문제 · 파울하버의 공식 · 오일러-매클로린 공식 · 콜라츠 추측^미해결
미분		미분 · 도함수( 이계도함수 · 도함수 일람) · 곱미분 · 몫미분 · 연쇄 법칙 · 임계점( 변곡점 · 안장점) · 매끄러움
		평균값 정리( 롤의 정리) · 테일러 정리 · 역함수 정리 · 다르부 정리 · 로피탈 정리
		립시츠 규칙 · 뉴턴-랩슨 방법 · 유율법 · 경사하강법
적분		적분 · 정적분( /예제) · 스틸체스 적분 · 부정적분( 부정적분 일람) · 부분적분( LIATE 법칙 · 도표적분법 · /예제) · 치환적분 · 이상적분( 코시 주요값)
		미적분의 기본정리 · 적분의 평균값 정리
		리시 방법 · 2학년의 꿈
다변수· 벡터 미적분		편도함수 · 미분형식 · ∇ · 중적분( 선적분 · 면적분 · 야코비안) · 야코비 공식
다변수· 벡터 미적분		라그랑주 승수법 · 오일러 동차함수 정리 · 선적분의 기본정리 · 스토크스 정리( 발산 정리 · 그린 정리)· 변분법
미분방정식		미분방정식( /풀이) · 라플라스 변환
측도론		측도 · 가측함수 · 곱측도 · 르베그 적분 · 절대 연속 측도 · 라돈-니코딤 도함수
측도론		칸토어 집합 · 비탈리 집합
복소해석		코시-리만 방정식 · 로랑 급수( 주부) · 유수 · 해석적 연속 · 오일러 공식( 오일러 등식 · 드 무아브르 공식) · 리우빌의 정리 · 바이어슈트라스 분해 정리 · 미타그레플레르 정리
함수해석	공간	위상 벡터 공간 · 국소 볼록 공간 · 거리공간 · 프레셰 공간 · 노름공간 · 바나흐 공간 · 내적공간 · 힐베르트 공간 · L^p 공간
	작용소	수반 작용소 · 에르미트 작용소 · 정규 작용소 · 유니터리 작용소 · 컴팩트 작용소
	대수	C*-대수 · 폰 노이만 대수
	정리	한-바나흐 정리 · 스펙트럼 정리 · 베르 범주 정리
	이론	디랙 델타 함수( 분포이론)
조화해석		푸리에 해석( 푸리에 변환 · 아다마르 변환)
관련 분야		해석 기하학 · 미분 기하학 · 해석적 정수론( 1의 거듭제곱근 · 가우스 정수 · 아이젠슈타인 정수 · 소수 정리 · 리만 가설^미해결) · 확률론( 확률 변수 · 중심극한정리) · 수치해석학 · 카오스 이론 · 분수계 미적분학 · 수리물리학( 양-밀스 질량 간극 가설^미해결 · 나비에 스토크스 방정식의 해 존재 및 매끄러움^미해결) · 수리경제학^{( 경제수학)} · 공업수학
기타		퍼지 논리 · 합성곱