정의
파비우스 함수(Fabius function)는 실수 구간 $[0,\infty)$ 위에 정의되는 무한히 미분 가능한($C^{\infty}$) 실함수 $F(x)$로, 다음의 함수 방정식을 만족한다.
$$ F'(x)=F(2x)\qquad(x>0),\qquad F(0)=0,\qquad \lim_{x\to\infty}F(x)=1. $$
위 조건에 의해 $F$는 단조 증가하며, 모든 $n\ge 1$에 대해
$$ F^{(n)}(0)=0, $$
즉, 0에서 모든 미분계수가 0임에도 불구하고 전역적으로 비자명한 값을 갖는 특징을 가진다.
개요
파비우스 함수는 1979년 프랑스 수학자 장 파비우스(J. Fabius)에 의해 소개된 예시 함수이다.
그는 무한히 미분 가능하지만 어느 점에서도 해석적(analytic)인 성질을 갖지 않는 함수를 구성하고자 하였으며, 위와 같은 자체 미분 방정식을 이용하여 이를 구현하였다.
함수는 급격히 변하는 구간이 없는 부드러운 형태를 가지고 있으면서도, 전형적인 테일러 급수 전개가 전 구간에 걸쳐 수렴하지 않는다는 점에서 함수 해석학에서 중요한 반례로 인용된다.
어원/유래
‘파비우스 함수’라는 명칭은 이를 최초로 정의하고 연구한 장 파비우스(Jacques Fabius, 1938‑)의 성을 한국어로 음차한 것이다.
해당 함수는 원문에서는 “Fabius function”이라고 표기되며, 한국어 위키백과 및 수학 서적에서는 ‘파비우스 함수’로 번역된다.
특징
| 특성 | 내용 |
|---|---|
| 무한히 미분 가능 | 모든 차수 $n$에 대해 $F^{(n)}(x)$가 존재하고 연속한다. |
| 전역 비해석성 | $F$는 어느 점에서도 테일러 급수가 원래 함수를 재구성하지 못한다(즉, 실해석적이지 않음). |
| 자체 미분 방정식 | $F'(x)=F(2x)$라는 독특한 관계를 만족한다. 이를 이용해 재귀적으로 고차 미분도 구할 수 있다. |
| 0에서의 전미분 계수 소멸 | 모든 차수 $n\ge1$에 대해 $F^{(n)}(0)=0$이며, 이는 테일러 급수가 전부 0이 되는 원인이 된다. |
| 단조 증가 및 경계값 | $F$는 0에서 0, 무한대로 갈수록 1에 수렴하는 단조 증가 함수이다. |
| 구성 방법 | 위 방정식을 이용해 급수 전개 형태 $\displaystyle F(x)=\sum_{k=0}^{\infty}\frac{x^{k}}{k!},a_{k}$ (적절한 계수 $a_k$를 재귀적으로 정의) 혹은 확률론적 해석을 통해 “이항 연산에 대한 확률분포 함수”로도 표현될 수 있다. |
관련 항목
- 칸토어 함수 – 연속이지만 거의 모든 구간에서 미분이 불가능한 전형적인 계단 함수. 파비우스 함수는 이를 부드러운 형태로 ‘스무딩’한 예시와 대비된다.
- 무한히 미분 가능한 비해석 함수 – 파비우스 함수는 이러한 함수를 대표하는 사례 중 하나이며, 이와 관련된 다른 예로는 베르누이 수를 이용한 비정칙 함수들이 있다.
- 함수 방정식 – $F'(x)=F(2x)$와 같은 자체 미분 방정식은 미분방정식 이론 및 함수론에서 특수한 연구 대상이다.
- 프랑스 수학자 장 파비우스 – 파비우스 함수의 창시자이며, 함수 해석학 및 확률론 분야에 기여한 인물.
- 해석학에서의 반례 – 파비우스 함수는 “$C^{\infty}$이지만 해석적이지 않은 함수”라는 명제를 입증하기 위한 표준 반례로 자주 인용된다.