오차함수

최근 수정 시각: (5년 전)
목차
1. 개요
1.1. 특성
2. 연관된 함수
2.1. 여오차함수2.2. 정규 분포의 누적 분포 함수2.3. 복소오차함수2.4. 프레넬 적분 함수
3. 여담4. 관련 문서

1. 개요 [편집]

error function ·

오차함수는 특수함수와 초월함수의 한 종류로, 아래와 같은 적분식으로 정의된다. 기호로는 erf(x)\mathrm{erf}(x)를 사용하며, 이는 영문명에서 따왔다.

erf(x)2π0xet2dt\displaystyle \mathrm{erf}(x)\equiv\frac{2}{\sqrt{\pi}}\int_{0}^{x}e^{-t^{2}}\,\mathrm{d}t


한편, 정의식 양변을 xx에 대해 미분하면

ddx[π2erf(x)]=ex2\displaystyle \frac{\mathrm{d}}{\mathrm{d}x}\left[\frac{\sqrt{\pi}}{2}\mathrm{erf}(x)\right]=e^{-x^{2}}

가 된다. 따라서 다음을 얻는다.

ex2dx=π2erf(x)+C\displaystyle \int e^{-x^{2}}\,\mathrm{d}x=\frac{\sqrt{\pi}}{2}\mathrm{erf}(x)+C

즉, 가우스 함수의 역도함수는 오차함수를 상수배한 것임을 알 수 있다.

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

파일:namu_erf(x)_그래프.png

1.1. 특성 [편집]

  • erf(x)<1\left|\mathrm{erf}(x)\right|<1을 만족한다.
  • 피적분함수가 우함수이므로, 이를 부정적분하고 적분상수를 0으로 정한 erf(x)\mathrm{erf}(x)기함수가 된다. 이에 다음이 성립한다.

    erf(x)=erf(x)\displaystyle \mathrm{erf}(x)=-\mathrm{erf}(-x)
  • limx0erf(x)=0\displaystyle \lim_{x \to 0} \mathrm{erf}(x)=0, limxerf(x)=1\displaystyle \lim_{x \to \infty} \mathrm{erf}(x)=1 , limxerf(x)=1\displaystyle \lim_{x \to -\infty} \mathrm{erf}(x)=-1이 성립한다.
  • 모든 복소수 zz에 대하여 다음이 성립한다. (단, zz^{\ast}zz의 켤레 복소수이다.)

    erf(z)=erf(z)\displaystyle \mathrm{erf}(z^{\ast})=\mathrm{erf}^{\ast}(z)
  • 오차함수를 테일러 전개하면 아래와 같다.

    erf(z)=2πn=0(1)nz2n+1n!(2n+1)\displaystyle \mathrm{erf}(z)= \frac{2}{\sqrt{\pi}}\sum_{n=0}^\infty\frac{\left(-1\right)^n z^{2n+1}}{n! \cdot(2n+1)}
  • 쌍곡선 함수y=tanhxy=\tanh{x}의 그래프와 개형이 상당히 닮았고, 그 때문에 이걸 주제로 한 논문까지 나와 있을 정도다.

2. 연관된 함수 [편집]

2.1. 여오차함수 [편집]

Complementary error function ·

여오차함수는 11에서 오차함수를 뺀 것으로 정의되는 함수로, 기호로는 erfc(x)\mathrm{erfc}(x)로 쓴다.

erfc(x)1erf(x)\displaystyle \mathrm{erfc}(x) \equiv 1-\mathrm{erf}(x)

식의 형태를 보면 오차함수를 xx축에 대칭 이동한 후 yy축 방향으로 +1+1만큼 이동한 것임을 알 수 있다.

한편,

2π0et2dt=1\displaystyle \frac{2}{\sqrt{\pi}} \int_{0}^{\infty} e^{-t^{2}}\,\mathrm{d}t=1

임을 이용하면 아래와 같이 위 정의를 적분으로 표현할 수 있다.

erfc(x)=2π0et2dt2π0xet2dt=2π0et2dt+2πx0et2dt=2πxet2dt\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}

이상에서

erfc(x)=2πxet2dt\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

2.2. 정규 분포의 누적 분포 함수 [편집]

2.3. 복소오차함수 [편집]

Imaginary error function ·

복소오차함수는 다음과 같이 정의되는 함수로, 기호로는 erfi(x)\mathrm{erfi}(x)로 쓴다.

erfi(x)ierf(ix)=2iπ0ixet2dt\displaystyle \mathrm{erfi}(x) \equiv -i\,\mathrm{erf}(ix)=-\frac{2i}{\sqrt{\pi}} \int_{0}^{ix} e^{-t^{2}}\,\mathrm{d}t

이 때, 적절한 변수 치환을 위해 ivtiv \equiv t라 놓으면 적분은

erfi(x)=2π0xe(iv)2dv=2π0xev2dv\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}

로 쓸 수 있고, tt, vv는 적분 연산 뒤 상쇄되는 더미 변수이므로 우리는 위 결과를

erfi(x)=2π0xet2dt\displaystyle \begin{aligned} \mathrm{erfi}(x)=\frac{2}{\sqrt{\pi}}\int_{0}^{x} e^{t^{2}}\,\mathrm{d}t \end{aligned}

로 쓸 수 있다. 또한, 위 식의 양변을 xx에 대해 미분하면

ddx[π2erfi(x)]=ex2ex2dx=π2erfi(x)+C\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

2.4. 프레넬 적분 함수 [편집]

3. 여담 [편집]

  • 위에서 봤던 것 처럼 f(x)=e±x2f(x)=e^{\pm x^{2}} 꼴의 함수는 역도함수가 초등함수로 표현되지 않기 때문에, 역도함수를 직접 그려보지 않는 이상은 그래프의 형태와 성질 모두 추론하기 어렵다. 이와 관련된 문제가 나오면 적분 연산 자체나 보기에서 주어진 식들을 응용하여 문제를 해결해야 할 수밖에 없다. 그렇기 때문에 수능에서 미적분 파트의 상위권 변별 문제에서 간간이 등장하는 함수이다.[1]
    • 실제로 지식iN 같은 데서 미적분 관련 질문들 중 f(x)=e±x2f(x)=e^{\pm x^{2}} 꼴의 함수의 적분을 어떻게 하는지 물어보는 고등학생들의 질문이 간간이 보인다.
  • 통계학에서는 매우 중요한 함수이다. 주로 정규 분포와 엮어서 등장하게 된다. 물리학에서도 통계역학 파트에서 간간이 등장하는 함수이다.

4. 관련 문서 [편집]

[1] 실제로 2016년 9월 모의수능 수학 영역 가형 21번에서 이 함수가 나왔다.

라이선스를 별도로 명시하지 않은 문서는 CC BY-NC-SA 2.0 KR에 따라 이용할 수 있습니다.
기여하신 문서의 저작권은 각 기여자에게 있으며, 각 기여자는 기여하신 부분의 저작권을 갖습니다.

문서의 기여자는 역사 탭에서 확인할 수 있습니다.
접두어의 N: - 나무위키 사용자, R: - 리그베다 위키의 사용자를 뜻합니다.
자세한 사항은 나무위키에서 동일한 문서의 역사를 참고하시기 바랍니다.