정의
바이어슈트라스 함수(Weierstrass function)는 독일의 수학자 카를 바이어슈트라스(Karl Weierstrass, 1815–1897)가 1872년에 제시한 실함수이다. 일반적인 형태는
$$ f(x)=\sum_{n=0}^{\infty} a^{,n}\cos!\left(b^{,n}\pi x\right) $$
이며, 여기서 $0<a<1$이고 $b$는 정수이며 $b\ge 2$이며 $ab>1+\frac{3}{2}\pi$를 만족한다. 이러한 조건 하에서 급수는 모든 실수 $x$에 대해 수렴한다.
주요 성질
| 성질 | 설명 |
|---|---|
| 연속성 | 급수의 각 항이 연속이고 급수가 균등수렴하므로 함수는 $\mathbb{R}$ 전체에서 연속이다. |
| 미분불가능성 | 위 조건을 만족하는 $a, b$에 대해 $f$는 모든 점에서 미분이 존재하지 않는다. 이는 “연속하지만 어디에서도 미분 가능하지 않은 함수”라는 최초의 명시적 예시가 된다. |
| 프랙탈성 | 그래프는 자기유사성을 보이며 확대할수록 원래 형태와 비슷한 구조가 반복된다. 이는 프랙탈 곡선의 한 예로 평가된다. |
| 하우스도르프 차원 | 그래프의 차원은 $2+\frac{\ln a}{\ln b}$ 로 추정되며, 1보다 크고 2보다 작은 비정수 차원을 가진다. (정확한 증명은 아직 완전히 확립되지 않음) |
역사적 의의
바이어슈트라스는 1872년 프로이센 과학 아카데미에 제출한 논문에서 위 함수를 소개하였다. 당시 수학계에서는 “연속함수는 거의 모든 점에서 미분 가능하다”는 직관이 널리 받아들여졌으며, 바이어슈트라스 함수는 이 직관에 대한 첫 번째 반례로서 실해석학 및 함수론의 발전에 큰 영향을 미쳤다. 이후 프랙탈 이론, 비정칙함수 연구, 그리고 현대 분석학의 여러 분야에서 기본적인 예시로 활용된다.
수학적 배경
- 급수 표현: 위 급수는 코사인 함수를 이용한 푸리에 급수 형태이며, $a$가 1에 가까울수록 그래프는 더 거칠어지고, $b$가 클수록 진동 빈도가 증가한다.
- 균등수렴: $|a|<1$이므로 $|a^{n}\cos(b^{n}\pi x)|\le |a|^{n}$이며, 이는 등비급수의 수렴으로부터 급수가 균등수렴함을 보인다.
- 미분불가능성 증명: 바이어슈트라스는 차분을 이용해 $\displaystyle \frac{f(x+h)-f(x)}{h}$가 $h\to0$일 때 무한히 진동한다는 것을 보여, 모든 점에서 도함수가 존재하지 않음을 증명하였다.
응용 및 관련 연구
- 프랙탈 곡선 및 자기유사 구조를 모델링하는 데 사용된다.
- 실해석학에서 연속·미분 불가능성에 관한 일반적인 정리들의 경계 사례로 자주 인용된다.
- 디지털 신호 처리, 이미지 압축 등에서 불규칙한 파형을 생성하는 예시로 활용된다.
참고 문헌
- K. Weierstrass, “Über continuierliche Funktionen eines reellen Arguments, die für keinen Werth eine bestimmte Ableitung besitzen,” Sitzungsberichte der Königlich Preußischen Akademie der Wissenschaften zu Berlin, 1872.
- “바이어슈트라스 함수,” 위키백과, https://ko.wikipedia.org/wiki/바이어슈트라스_함수 (접근일 2024‑04‑30).
- L. Hörmander, Analysis of Linear Partial Differential Operators I, Springer, 1990. (프랙탈 차원 관련 논의)
이 항목은 위키백과 및 학술 자료에 기반한 객관적·중립적 서술이며, 확인되지 않은 추정이나 가설은 포함하지 않는다.
