미분은 함수의 변화율을 정밀하게 측정할 수 있는 강력한 도구이지만, 모든 함수가 항상 미분 가능한 것은 아닙니다. 어떤 함수들은 특정한 점에서, 어떤 함수들은 전체 구간에서 미분이 불가능하기도 합니다. 이번 글에서는 다양한 유형의 미분 불가능한 함수들을 살펴보며, 왜 미분이 불가능한지를 수학적·시각적으로 분석하고, 실생활 및 이론적 맥락에서 어떻게 활용되는지도 알아보겠습니다.
뾰족점이 있는 함수: 절댓값 함수
가장 대표적인 예는 절댓값 함수입니다:
\[ f(x) = |x| \]
이 함수는 \( x = 0 \)에서 뾰족한 형태를 가지며, 이 지점에서는 좌미분계수와 우미분계수가 서로 다릅니다.
- 좌극한: \( \lim_{h \to 0^-} \frac{|0 + h| – |0|}{h} = -1 \)
- 우극한: \( \lim_{h \to 0^+} \frac{|0 + h| – |0|}{h} = 1 \)
극한값이 일치하지 않기 때문에 \( x = 0 \)에서는 미분 불가능합니다.
수직 접선을 갖는 함수: \( f(x) = \sqrt[3]{x} \)
함수 \( f(x) = \sqrt[3]{x} \)는 전 구간에서 연속이고 정의되어 있지만, \( f'(x) \)는 \( x = 0 \)에서 다음과 같은 형태를 가집니다:
\[ f'(x) = \frac{1}{3x^{2/3}} \]
이 함수는 \( x \to 0 \)에서 무한대로 발산하기 때문에, \( x = 0 \)에서 수직 접선을 가지며 미분 불가능합니다.
계단 함수: 정수 부분 함수
정수 부분 함수 \( f(x) = \lfloor x \rfloor \)는 다음과 같이 정의됩니다:
\[ f(x) = \text{가장 큰 정수 } n \leq x \]
이 함수는 각 정수점에서 불연속적인 도약(jump discontinuity)을 가지며, 이러한 지점에서는 당연히 미분이 불가능합니다. 연속성이 없기 때문에 미분 가능성도 없습니다.
진동이 너무 심한 함수: 와이어스트라스 함수
와이어스트라스 함수는 극한을 이용해 정의된 함수로, 다음과 같은 형태를 가집니다:
\[ f(x) = \sum_{n=0}^{\infty} a^n \cos(b^n \pi x) \quad (0 < a < 1, \, b \in \mathbb{N}, \, ab > 1+\frac{3\pi}{2}) \]
이 함수는 모든 실수에서 연속이지만, 어느 지점에서도 미분 불가능합니다. 이는 함수의 그래프가 무한한 진동과 세밀한 구조를 가지기 때문입니다. 즉, 아무리 작게 확대해도 접선을 정의할 수 없을 만큼 불규칙합니다.
이 함수는 프랙탈 구조의 대표적인 예로, 수학적으로 매우 흥미로운 존재입니다.
절댓값의 거듭제곱 함수: \( f(x) = |x|^n \), \( 0 < n < 1 \)
이 함수는 다음과 같은 형태로 표현됩니다:
\[ f(x) = |x|^{0.5} \]
이 경우, \( x = 0 \) 근처에서 기울기가 무한대로 발산합니다. 수식적으로는 도함수가 다음과 같이 주어집니다:
\[ f'(x) = \frac{1}{2\sqrt{|x|}} \cdot \text{sgn}(x) \]
\( x = 0 \)에서는 좌우 극한이 무한대로 발산하거나 방향이 달라서 도함수가 존재하지 않습니다. 이러한 함수는 그래프에서 뾰족하게 급격히 꺾이는 특징을 가집니다.
부분 정의 함수: 조각 함수
다음과 같은 조각 함수도 미분 불가능할 수 있습니다:
\[ f(x) = \begin{cases} x^2, & x < 1 \\ 2x – 1, & x \geq 1 \end{cases} \]
이 함수는 \( x = 1 \)에서 연속이지만, 미분은 다음과 같습니다:
- 좌미분계수: \( \lim_{h \to 0^-} \frac{(1 + h)^2 – 1}{h} = 2 \)
- 우미분계수: \( \lim_{h \to 0^+} \frac{2(1 + h) – 1 – 1}{h} = 2 \)
이 경우는 미분 가능하지만, 조각이 매끄럽지 않은 형태에서는 극한값이 일치하지 않아 미분이 불가능한 사례가 자주 등장합니다.
결론
절댓값 함수
뾰족한 지점에서 좌우 기울기가 달라 미분 불가능하다.
수직 접선
기울기가 무한대로 발산하면 접선을 정의할 수 없어 미분이 불가능하다.
계단 함수
불연속적인 점프가 있어 연속조차 성립하지 않아 미분도 불가능하다.
와이어스트라스 함수
연속이지만 어느 곳에서도 미분이 불가능한 특이한 함수이다.
거듭제곱 절댓값 함수
지수값이 1보다 작으면 접선 기울기가 무한대로 발산해 미분 불가능하다.
조각 함수
두 함수가 만나는 지점에서 기울기가 일치하지 않으면 미분이 불가능하다.