지수함수

• 관련 항목 : 수학 관련 정보

파일:지수함수.jpg
위 사진은 [math]y=2^x[/math]의 그래프이다.

1 개요

지수함수(指数函数), Exponential function

지수에 미지수 [math]x[/math]가 있는 함수, 즉 [math]f\left(x\right) = a^x \left(a\gt0\right)[/math] 꼴로 나타낼 수 있는 함수를 말한다. 대략적으로 일반적인 다항식으로 표현할 수 없기 때문에 초월함수에 속한다. 대한민국의 수학 교육과정에서는 고등학교 미적분Ⅱ(2009개정교육과정)에서 이과생만 배운다.

지수함수는 지수 법칙을 실수 범위로 확장한 뒤에 배우게 되는데 실수에서의 지수 법칙을 만족하기 위해 밑 [math]a\gt0[/math]을 전제로 깔고 간다. 따라서 아래 문단에서 특별한 설명이 없으면, [math]a\gt0[/math]을 전제로 한다.

2 그래프의 특징

• [math]a^0 = 1[/math]이기 때문에 [math]\left(0, 1\right)[/math]을 반드시 지난다.
• [math]a^1 = a[/math]이기 때문에 [math]\left(1, a\right)[/math]를 반드시 지난다.
• [math]\displaystyle a^{-1} = {1 \over a}[/math]이기 때문에 [math]\displaystyle \left(-1, {1 \over a}\right)[/math]를 반드시 지난다.
• [math]a\gt1[/math]인 경우, [math]x[/math]값이 증가하면 [math]y[/math]값도 증가하는 증가함수이다.
• [math]0\lta\lt1[/math]인 경우, [math]x[/math]값이 증가하면 [math]y[/math]값은 감소하는 감소함수이다.
• 상수항이 없는 경우 절대로 3, 4사분면을 지나가지 않는다.
• 로그함수 [math]f\left(x\right) = \log_{a}{x}[/math]의 그래프와 서로 역함수 관계이다. 즉, [math]y=x[/math]에 대칭이다. (단. 이 때의 정의역은 당연히 x는 0보다 큰 실수로 바뀐다.)

정의역의 역수를 취한 지수함수 [math]\displaystyle y = a^{1 \over x}[/math]의 특징은 다음과 같다.

• [math]a^1 = a[/math]이기 때문에 [math]\left(1, a\right)[/math]를 반드시 지난다.
• [math]\displaystyle a^{-1} = {1 \over a}[/math]이기 때문에 [math]\displaystyle \left(-1, {1 \over a}\right)[/math]를 반드시 지난다.
• [math]x=0, y=1[/math]을 점근선으로 갖는 쌍곡선이다.

한편, 밑과 정의역이 같은 특수한 지수함수인 [math]y = x^{x}[/math]의 특징은 다음과 같다.

• [math]1^1 = 1[/math]이기 때문에 [math]\left(1, 1\right)[/math]을 반드시 지난다.
• [math]\displaystyle \lim_{x \rightarrow 0+}{x^x} = 1[/math]이므로 [math]\left(0, 1\right)[/math]에서 출발하도록 그린다.( 단, [math]0^0[/math]은 정의하지 않으므로 [math]\left(0, 1\right)[/math]은 뻥 뚫어놓는다.)
• [math]x\gt1[/math]인 경우, [math]x[/math]값이 증가하면 [math]y[/math]값도 증가하는 증가함수이다.
• [math]0\ltx\lt1[/math]인 경우, 비뚤어진 U자형을 그린다. 이 구간에서 임계점(=최솟값)은 [math]\displaystyle x = {1 \over e}[/math] 이다.
• [math]x\lt0[/math]은 그래프가 불연속이다. 이거 하나 때문에 아래에 서술하듯 [math]x^{x}[/math]의 부정적분이 없다.

위 함수의 변형인 [math]y = x^{1 \over x}[/math]의 특징은 다음과 같다.

• [math]1^1 = 1[/math]이기 때문에 [math]\left(1, 1\right)[/math]을 반드시 지난다.
• [math]\displaystyle \lim_{x \rightarrow 0+}{x^{1 \over x}} = 0[/math]이므로 [math]\left(0, 0\right)[/math]에서 출발하도록 그린다.( 단, [math]0[/math]으로 나누기는 정의하지 않으므로 [math]\left(0, 0\right)[/math]은 뻥 뚫어놓는다.)
• [math]x\gt0[/math]인 경우, 완만한 곡선을 그린다. 임계점(=최댓값)은 [math]\displaystyle x = e[/math] 이다. [math]x\lte[/math]인 경우 [math]x[/math]값이 증가하면 [math]y[/math]값도 증가하는 증가함수이며, [math]x\gte[/math]인 경우 [math]x[/math]값이 증가하면 [math]y[/math]값은 감소하는 감소함수이다.
• [math]x\lt0[/math]은 그래프가 불연속이다. 이거 하나 때문에 아래에 서술하듯 [math]x^{1 \over x}[/math]의 부정적분이 없다.

3 극한값

• [math]a\gt1[/math]의 경우
  • [math]\displaystyle \lim_{x \rightarrow \infty}{a^x} = \infty[/math]
  • [math]\displaystyle \lim_{x \rightarrow -\infty}{a^x} = 0[/math]
• [math]0\lta\lt1[/math]의 경우
  • [math]\displaystyle \lim_{x \rightarrow \infty}{a^x} = 0[/math]
  • [math]\displaystyle \lim_{x \rightarrow -\infty}{a^x} = \infty[/math]

극한을 모르는 이를 위해 설명하자면, [math]a\gt1[/math]이면 x값이 증가할 수록 그래프가 하늘을 뚫을 그래프 위로 올라가고, x값이 감소할 수록 x축에 점점 가까워진다는 뜻.
[math]0\lta\lt1[/math]이면 반대로 x값이 증가할 수록 그래프가 x축에 점점 가까워지고, x값이 감소할 수록 그래프가 위로 올라간다 뜻.
이때 어느 경우든 함수의 그래프가 x축에 점점 가까워지므로 x축을 점근선으로 갖는다고 볼 수 있다.

4 미적분

• 미분 : [math] \displaystyle \frac{d}{dx} a^{x} = a^{x} {\ln a}[/math]
  • [math] \displaystyle \frac{d}{dx} a^{1 \over x} = -a^{1 \over x} {\ln a \over x^2} [/math]
  • [math]a \lt 0[/math]인 경우 : [math] \displaystyle \frac{d}{dx} a^{x} = a^{x} ({\ln |a| + i \pi})[/math]
  • [math] \displaystyle \frac{d}{dx} e^{x} =e^{x}[/math]
    • [math] \displaystyle \frac{d}{dx} e^{ix} = i \cos x - \sin x[/math]
  • [math] \displaystyle \frac{d}{dx} i^{x} = {i \pi \over 2} \cos ({\pi x \over 2}) - {\pi \over 2} \sin ({\pi x \over 2})[/math]
  • [math] \displaystyle \frac{d}{dx} a^{\ln x} = {a^{\ln x} \ln a \over x}[/math]
  • [math] \displaystyle \frac{d}{dx} x^{x} = x^{x}({1 + \ln x})[/math]
    • [math] \displaystyle \frac{d}{dx} x^{x^{x}} = x^{x^{x} + x - 1} (x \ln^{2} x + x \ln x + 1)[/math]
    • [math] \displaystyle \frac{d}{dx} x^{1 \over x} = x^{-2x +1 \over x}({-1 + \ln x})[/math]
• 적분 : [math] \displaystyle \int a^{x}dx=\frac{a^{x}}{\ln a}+C[/math]
  • [math] \displaystyle \int a^{1 \over x} dx[/math]는 초등함수로 적분이 불가능하다.
  • [math]a \lt 0[/math]인 경우 : [math] \displaystyle \int a^{x}dx = {a^{x} \over \ln |a| + i \pi} + C[/math]
  • [math] \displaystyle \int e^{x}dx = e^{x} + C[/math]
    • [math] \displaystyle \int e^{ix} dx = \sin x - i \cos x + C[/math]
  • [math] \displaystyle \int i^{x} dx = {2 \over \pi} \sin ({\pi x \over 2}) - {2i \over \pi} \cos ({\pi x \over 2}) + C[/math]
  • [math] \displaystyle \int a^{\ln x}dx = {x a^{\ln x} \over \ln a + 1} + C[/math]
    • [math] \displaystyle \int e^{\ln x}dx = {x^2 \over 2} + C[/math]
  • [math] \displaystyle \int x^{x} dx[/math], [math] \displaystyle \int x^{x^{x}} dx[/math], [math] \displaystyle \int x^{1 \over x} dx[/math]는 초등함수로 적분이 불가능하다.

5 여담

• 어떤 현상이나 수치가 갑자기 늘어나는 양상을 영어로는 Exponential growth라고 한다. 이걸 직역하면 '지수(함수)적 성장'이다. 한국어로는 보통 '기하급수적'이라고 표현하는데 같은 의미.

복소함수론에서 지수 함수를 정의할 때에는, 밑이 [math]a[/math]인 지수함수를 먼저 정의하는 게 아니라 먼저 자연상수 [math]e[/math]를 밑으로 가지는 지수함수 [math]e^z = \exp{z} \left(z \in \mathbb{C}\right)[/math]를 정의하고 그 다음에 밑이 [math]e[/math]가 아니라 [math]a[/math]인 경우를 정의하기도 한다.

[math]e^z = \exp{z}[/math]을 [math]\displaystyle \sum_{n=0}^{\infty}{\frac{z^n}{n!}} = 1 + z + \frac{z^2}{2!} + \frac{z^3}{3!} + \frac{z^4}{4!} + \cdots[/math]이라고 정의한 다음, [math]a^z[/math]을 [math]a^z = \exp\left(z \cdot \log{a}\right) = e ^ {z \cdot \log{a}}[/math]로 정의하는 식.