프레넬 코사인 적분이란?
프레넬 코사인 적분 \(C(x)\)는 0부터 x까지 \(\cos(\pi t^{2}/2)\)를 적분한 값으로 정의되는 특수함수입니다. 직선 모서리에서 일어나는 근거리장 회절의 강도 분포를 비롯해 광학 전반, 파동 물리학, 그리고 토목공학에서 폭넓게 등장합니다. 특히 토목 분야에서는 이와 밀접한 클로소이드(오일러 나선)가 활용되는데, 곡률이 호의 길이에 따라 선형으로 증가하는 이 곡선은 고속도로나 철도의 완만한 완화곡선(전이곡선)을 설계하는 데 쓰입니다.
계산기 사용 방법
적분 상한 x에 임의의 실수(양수, 음수, 0 모두 가능)를 입력하면 \(C(x)\) 값이 출력됩니다. x 자체가 순수한 수이므로 결과값에는 단위가 없습니다. \(|x|\)가 커질수록 \(C(x)\)는 진동하면서 \(+0.5\)(x가 양의 무한대로 갈 때) 또는 \(-0.5\)(x가 음의 무한대로 갈 때)로 수렴합니다.
공식과 규약
이 도구는 코사인 안에 \(\pi/2\) 인자를 두는 정규화(normalized) 규약을 사용합니다:
$$C(x) = \int_{0}^{x} \cos\!\left(\frac{\pi}{2}\,t^{2}\right) dt$$이는 비정규화 형태인 \(\int \cos(t^{2})\)와는 다릅니다. 닫힌 형태의 해가 존재하지 않기 때문에, 값은 x에 따라 조밀해지는 격자(부분구간 수 \(n = \max(1000, \lceil 200\cdot|x| \rceil)\))를 사용한 복합 심프슨 공식으로 구합니다. \(|x|\)가 매우 큰 경우에는 막대한 수의 진동을 일일이 적분하지 않도록 점근 전개(asymptotic expansion)를 적용합니다.
계산 예시
x = 1일 때 \(C(1) = \int_{0}^{1} \cos\!\left(\frac{\pi}{2}\,t^{2}\right) dt\)이며, 수치 적분 결과 표준값 \(C(1) \approx 0.7798934004\)를 얻습니다. x = 0.5일 때는 \(C(0.5) \approx 0.4923442275\), x = 0일 때는 \(C(0) = 0\)(정확값)입니다.
자주 묻는 질문
\(C(x)\)는 기함수인가요, 우함수인가요? 기함수(odd function)입니다. \(C(-x) = -C(x)\)가 성립하므로, 음수를 입력하면 \(C(|x|)\)의 부호를 뒤집은 값이 반환됩니다.
무한대에서의 극한은 얼마인가요? x가 양의 무한대로 갈 때 \(C(x)\)는 \(+1/2\)에, 음의 무한대로 갈 때 \(-1/2\)에 수렴합니다.
결과는 얼마나 정확한가요? 배정밀도(double-precision) 심프슨 방식은 일반적인 입력값에 대해 신뢰할 수 있는 유효숫자를 약 10자리까지 제공합니다. 진정한 50자리 출력을 얻으려면 임의 정밀도 연산이 필요합니다.
