[include(틀:다른 뜻1, other1=최고차항의 차수가 5인 다항함수, rd1=다항함수, paragraph1=4.6)]
[include(틀:특수함수의 목록)]
[목차]
== 개요 ==
{{{+1 error function · [[誤]][[差]][[函]][[數]]}}}

오차함수는 특수함수와 [[초월함수]]의 한 종류로, 아래와 같은 적분식으로 정의된다. 기호는 영문명에서 따온 [math(\mathrm{erf}(x))]를 사용한다.
{{{#!wiki style="text-align: center"
[br] [math(\displaystyle \mathrm{erf}(x)\equiv\frac{2}{\sqrt{\pi}}\int_{0}^{x}e^{-t^{2}}\mathrm{d}t )] }}}

한편, 위 식의 양 변을 [math(x)]에 대해 미분하면
{{{#!wiki style="text-align: center"
[br] [math(\displaystyle \frac{\mathrm{d}}{\mathrm{d}x}\!\left[\frac{\sqrt{\pi}}{2}\mathrm{erf}(x)\right]\!=e^{-x^{2}} )] }}}
이므로 다음과 같이 쓸 수도 있다.
{{{#!wiki style="text-align: center"
[br] [math(\displaystyle \int e^{-x^{2}}\,\mathrm{d}x=\frac{\sqrt{\pi}}{2}\mathrm{erf}(x)+C )] }}}
즉, [[가우스 함수#s-2.2]]([math(e^{-x^2})])의 역도함수는 오차함수를 상수배한 것이다.

아래의 그림은 오차함수의 그래프를 나타낸 것이다. 이러한 개형을 [[시그모이드]]라고 부른다.

[[파일:namu_erf(x)_그래프.png|width=200&align=center]]

=== 특성 ===
 * [math(\left|\mathrm{erf}(x)\right|<1)]을 만족한다.
 * 피적분함수가 [[우함수]]이므로, 이를 부정적분하고 적분상수를 0으로 정한 [math(\mathrm{erf}(x))]는 [[기함수]]가 된다. 이에 다음이 성립한다.
 {{{#!wiki style="text-align: center"
 [br] [math(\displaystyle \mathrm{erf}(x)=-\mathrm{erf}(-x) )] }}}
 * [math(\displaystyle \lim_{x \to -\infty} \mathrm{erf}(x)=-1)], [math(\displaystyle \lim_{x \to 0} \mathrm{erf}(x)=0)], [math(\displaystyle \lim_{x \to \infty} \mathrm{erf}(x)=1)]이 성립한다.
 * [[선적분#s-3|복소 선적분]]을 이용하여 [[해석적 연속|오차함수의 정의역을 복소수 전체로 확장할 수 있다]]. [math(\mathrm{erf}(x))]의 정의식의 적분 위끝에 복소수 [math(z)]가 들어간다고 하면, 이는 0에서 [math(z)]로 가는 임의의 조각적으로 매끄러운(piecewise smooth) 경로를 따라 [[선적분#s-3|복소 선적분]]한 값으로 이해한다. 가우스 함수는 전해석함수(entire function)이므로 이 적분값은 시작점과 끝점이 같은 모든 경로에 대해 같은 값을 가진다. 따라서 오차함수는 복소수 범위에서 [[잘 정의됨|잘 정의]]된다.
 * 모든 복소수 [math(z)]에 대하여 다음이 성립한다. (단, [math(z^{\ast})]는 [math(z)]의 켤레 복소수이다.)
 {{{#!wiki style="text-align: center"
 [br] [math(\displaystyle \mathrm{erf}(z^{\ast})=\mathrm{erf}^{\ast}(z)  )] }}}
 * 오차함수를 테일러 전개하면 아래와 같다.
 {{{#!wiki style="text-align: center"
 [br] [math(\displaystyle \mathrm{erf}(z)= \frac{2}{\sqrt{\pi}}\sum_{n=0}^\infty\frac{\left(-1\right)^n z^{2n+1}}{n! \cdot(2n+1)} )] }}}
 * [[쌍곡선 함수]] 중 [math(y=\tanh{x})]의 그래프와 개형이 상당히 닮았고, 그 때문에 [[https://core.ac.uk/download/pdf/82669741.pdf|이걸 주제로 한 논문]]까지 나와 있을 정도다.
 {{{#!wiki style="text-align: center"
 [br] [[파일:namu_compare_erf_tanh_new.png|width=260&align=center]] }}}

== 연관된 함수 ==
=== 여오차함수 ===
{{{+1 complementary error function · [[餘]][[誤]][[差]][[函]][[數]]}}}

여오차함수는 [math(1)]에서 오차함수를 뺀 것으로 정의되는 함수로, 기호로는 [math(\mathrm{erfc}(x))]로 쓴다.
{{{#!wiki style="text-align: center"
[br] [math(\displaystyle \mathrm{erfc}(x) \equiv 1-\mathrm{erf}(x) )] }}}
식의 형태를 보면 오차함수를 [math(x)]축에 대칭 이동한 후 [math(y)]축 방향으로 [math(+1)]만큼 이동한 것이다.

한편,
{{{#!wiki style="text-align: center"
[br] [math(\displaystyle \frac{2}{\sqrt{\pi}} \int_{0}^{\infty} e^{-t^{2}}\,\mathrm{d}t=1 )] }}}
임을 이용하면 다음과 같이 위 정의를 적분으로 표현할 수 있다.
{{{#!wiki style="text-align: center"
[br] [math(\displaystyle \begin{aligned}\mathrm{erfc}(x)&=\frac{2}{\sqrt{\pi}}\int_{0}^{\infty}e^{-t^{2}}\,\mathrm{d}t-\frac{2}{\sqrt{\pi}}\int_{0}^{x}e^{-t^{2}}\,\mathrm{d}t \\&=\frac{2}{\sqrt{\pi}}\int_{0}^{\infty}e^{-t^{2}}\,\mathrm{d}t+\frac{2}{\sqrt{\pi}}\int_{x}^{0}e^{-t^{2}}\,\mathrm{d}t \\&=\frac{2}{\sqrt{\pi}}\int_{x}^{\infty}e^{-t^{2}}\,\mathrm{d}t \end{aligned} )] }}}
이상에서 여오차함수는 다음과 같다.
{{{#!wiki style="text-align: center"
[br] [math(\displaystyle \begin{aligned}\mathrm{erfc}(x)=\frac{2}{\sqrt{\pi}}\int_{x}^{\infty}e^{-t^{2}}\,\mathrm{d}t \end{aligned} )] }}}

아래의 그림은 여오차함수의 그래프를 나타낸 것이다.

[[파일:namu_erfc(x)_그래프.png|width=200&align=center]]

=== [[정규분포]]의 누적 분포 함수 ===
[include(틀:상세 내용, 문서명=정규분포, 문단=1.2)]

=== 복소오차함수 ===
{{{+1 imaginary error function · [[複]][[素]][[誤]][[差]][[函]][[數]]}}}

복소오차함수는 다음과 같이 정의되는 함수로, 기호로는 [math(\mathrm{erfi}(x))]로 쓴다.
{{{#!wiki style="text-align: center"
[br] [math(\displaystyle \mathrm{erfi}(x) \equiv -i\,\mathrm{erf}(ix)=-\frac{2i}{\sqrt{\pi}} \int_{0}^{ix} e^{-t^{2}}\,\mathrm{d}t )] }}}
이때, 적절한 변수 치환을 위해 [math(t \equiv iv)]라 놓으면 적분은
{{{#!wiki style="text-align: center"
[br] [math(\displaystyle \begin{aligned} \mathrm{erfi}(x)&=\frac{2}{\sqrt{\pi}}\int_{0}^{x}e^{-(iv)^{2}}\,\mathrm{d}v \\&=\frac{2}{\sqrt{\pi}}\int_{0}^{x}e^{v^{2}}\,\mathrm{d}v\end{aligned} )] }}}
로 쓸 수 있고, [math(t)], [math(v)]는 적분 연산 뒤 상쇄되는 더미 변수이므로 우리는 위 결과를
{{{#!wiki style="text-align: center"
[br] [math(\displaystyle \begin{aligned} \mathrm{erfi}(x)=\frac{2}{\sqrt{\pi}}\int_{0}^{x} e^{t^{2}}\,\mathrm{d}t \end{aligned} )] }}}
로 쓸 수 있다. 또한, 위 식의 양 변을 [math(x)]에 대해 미분하면
{{{#!wiki style="text-align: center"
[br] [math(\displaystyle \begin{aligned}\frac{\mathrm{d}}{\mathrm{d}x}\!\left[\frac{\sqrt{\pi}}{2}\mathrm{erfi}(x)\right]\!&=e^{x^{2}} \\ \int e^{x^{2}}\,\mathrm{d}x&=\frac{\sqrt{\pi}}{2}\mathrm{erfi}(x)+C \end{aligned} )] }}}
임을 얻는다.

아래의 그림은 복소오차함수의 그래프를 나타낸 것이다.

[[파일:namu_erfi(x)_그래프.png|width=190&align=center]]

=== [[프레넬 적분 함수]] ===
[include(틀:상세 내용, 문서명=프레넬 적분 함수)]

=== [[불완전 감마 함수]] ===
[include(틀:상세 내용, 문서명=불완전 감마 함수)]

== 여담 ==
 * 위에서 봤던 것 처럼 [math(f(x)=e^{\pm x^{2}})] 꼴의 함수는 역도함수가 초등함수로 표현되지 않기 때문에[* 즉, 고등학교 수학이나 대학 신입생 기초 미적분학 수준으로는 적분 공식으로 적분할 수 없는 함수이기 때문에][* 참고로 이 함수를 치환적분과 부분적분으로 표현하려하면 식이 무한급수 형태가 되어버린다. 그 이유는 이 함수가 지수함수와 이차함수의 합성함수라서 치환적분을 하려면 도함수가 곱해져 있어야 하는데, 없으니 직접 만들어야 하고, 여기에 치환적분을 적용하면 도함수를 표현하기 위해 곱해진 함수가 치환되면서 지수가 정수로 나눠 떨어지지 않기 때문이다. 여기에 부분적분을 계속 적용하면 항이 무한히 많아진다.], 역도함수를 직접 그려보지 않는 이상은 그래프의 형태와 성질 모두 추론하기 어렵다. 이와 관련된 문제가 나오면 적분 연산 자체나 보기에서 주어진 식들을 응용하여 문제를 해결해야 할 수밖에 없다. 그렇기 때문에 수능에서 미적분 파트의 상위권 변별 문제에서 간간이 등장하는 함수이다.[* 실제로 2017학년도 9월 모의수능 수학 영역 가형 21번에서 이 함수의 변형 형태가 나왔다. 이 식이 나온 보기는 적분이 불가능하기에, 다른 보기에 나오는 식을 변형해서 문제를 해결해야 한다.]
  * 실제로 [[지식iN]] 같은 데서 미적분 관련 질문들 중 [math(f(x)=e^{\pm x^{2}})] 꼴의 함수의 적분을 어떻게 하는지 물어보는 고등학생들의 질문이 간간이 보인다.[* [[가우스 적분|이 적분]]을 풀려면 극좌표계와 이상적분의 개념을 이해하고 있어야 한다.]
 * [[통계학]]에서는 매우 중요한 함수이다. 주로 [[정규 분포]]와 엮어서 등장하게 된다. [[물리학]]에서도 [[통계역학]] 파트에서 간간이 등장하는 함수이다.
 * 그래프 개형이 [[쌍곡선 함수]] 중 하나인 [math(\tanh x)] 와 비슷하다. 그리고 이러한 그래프에 관해 나온 [[합답형]] 문제가 2017학년도 6월 고3 모의평가 가형 21번에 출제되었다.

== 관련 문서 ==
 * [[수학 관련 정보]]
 * [[가우스 적분]]
 * [[특수함수]]

[[분류:비초등함수]][[분류:정칙함수]]