삼각함수 · 쌍곡선함수 Trigonometric Functions · Hyperbolic Functions
|
|
프레넬 적분 함수(Fresnel integral)는
특수함수의 일종으로, 각각 [math(S(x))], [math(C(x))] 두 종류가 있다. 정의는 다음과 같다.
[1] 단, [math(\displaystyle \int_{0}^{x} \sin{t^2}\,{\rm d}t \equiv S(x))], [math(\displaystyle \int_{0}^{x} \cos{t^2}\,{\rm d}t \equiv C(x))]로 정의하는 경우도 있다.
[math(\displaystyle \begin{aligned} S(x)& \equiv\int_{0}^{x} \sin{\left( \frac{\pi t^{2}}{2} \right)}\,{\rm d}t \\ C(x)&\equiv\int_{0}^{x} \cos{\left( \frac{\pi t^{2}}{2} \right)}\,{\rm d}t\end{aligned} )]
|
친척인
삼각 적분 함수와 비슷하게 [math(\sin)]과 [math(\cos)]만 적분이 정의된다.
두 함수는 모두
무한급수로 나타낼 수 있으며, 각각 나타내면 아래와 같다.
[math(\displaystyle \begin{aligned} S(x)&=\sum_{n=0}^{\infty} \frac{(-1)^{n} \pi^{2n+1} x^{4n+3}}{2^{2n+1}(2n+1)!\cdot(4n+3)} \\ C(x)&=\sum_{n=0}^{\infty} \frac{(-1)^{n} \pi^{2n} x^{4n+1}}{2^{2n}(2n)!\cdot(4n+1)} \end{aligned} )]
|
또한 두 함수로 부터
[math(\displaystyle \begin{aligned} \frac{{\rm d}S(x)}{{\rm d}x}&=\sin{\left( \frac{\pi x^{2}}{2} \right)} \Leftrightarrow \ \int \sin{\left( \frac{\pi x^{2}}{2} \right)}\,{\rm d}x=S(x)+\mathsf{const.} \\ \frac{{\rm d}C(x)}{{\rm d}x}&=\cos{\left( \frac{\pi x^{2}}{2} \right)} \Leftrightarrow \ \int \cos{\left( \frac{\pi x^{2}}{2} \right)}\,{\rm d}x=C(x)+\mathsf{const.} \end{aligned} )]
|
또한 얻을 수 있다. 여기서 [math(\mathsf{const.})]는 적분 상수이다.
둘 다
홀함수로써
[math(\displaystyle \begin{aligned} S(x)&=-S(-x) \\ C(x)&=-C(-x) \end{aligned} )]
|
가 성립하며,
[math(\displaystyle \lim_{x \to \pm\infty} S(x)=\lim_{x \to \pm\infty} C(x)=\pm\frac{1}{2} )]
|
임이 알려져있다. (단,
복부호 동순)
아래는 본 함수의 그래프 개형을 나타낸 것이다.
[math(S(x))]의 최댓값은 [math(x=\sqrt{2})]에서
[math(\dfrac{1+i}{4} \left[ \mathrm{erf} \left( \dfrac{1+i}{2} \sqrt{2 \pi} \right) -i\, \mathrm{erf}\left( \dfrac{1-i}{2} \sqrt{2 \pi} \right)\right] )]
|
이며, [math(C(x))]의 최댓값은 [math(x=1)]에서
[math(\dfrac{1-i}{4} \left[ \mathrm{erf} \left( \dfrac{1+i}{2} \sqrt{\pi} \right) +i\, \mathrm{erf}\left( \dfrac{1-i}{2} \sqrt{\pi} \right)\right] )]
|
이다. 홀함수이므로 최댓값의
반수가 최솟값이 된다. 이 두 수는
환원 불능(casus irreducibilis)이므로
[math(i \triangleq \sqrt{-1})] 없이 표기할 수 없다.
위에서 [math(\mathrm{erf})]는
오차함수(Error function)이다.
여담으로,
오일러 나선이라는 특수한 나선을 그릴 때 사용된다.
이 문서의 내용 중 전체 또는 일부는 2023-12-24 10:15:31에 나무위키
프레넬 적분 함수 문서에서 가져왔습니다.