초등 함수: 해석과 복소 성질

복소해석학에서의 초등함수: 엄밀한 공리적 구성

지수함수는 무한한 수렴 반경을 갖는 멱급수로 정의됩니다:

\exp(z) = \sum_{k=0}^\infty \frac{z^k}{k!}, \quad z = t + i\tau \in \mathbb{C}

이는 전해석 함수로, 복소 인수를 복소 값으로 매핑합니다. 직접 검증을 통해 코시 문제를 만족함을 확인할 수 있습니다:

\frac{dw}{dz} = w, \quad w(0) = 1, \quad w(z) = \exp(z)

상미분방정식 해의 군 성질로부터 곱셈성을 얻습니다:

\exp(z_1 + z_2) = \exp(z_1) \exp(z_2)

지수함수는 \mathbb{C}의 어떤 점에서도 영점을 갖지 않으며, 그렇지 않으면 항등적으로 0이 됩니다. 실수축에서 \exp(t) > 0이며 단조 증가합니다.

e := \exp(1) > 1로 정의합니다. 곱셈성으로부터 다음이 성립합니다:

\exp(m/n) = \sqrt[n]{e^m}, \quad m \in \mathbb{Z}, \quad n \in \mathbb{N}

따라서 극한값: \lim_{t \to \infty} \exp(t) = \infty, \lim_{t \to -\infty} \exp(t) = 0. 이는 표기법 e^z := \exp(z)를 정당화합니다.

로그함수와 일반화

자연로그는 지수함수의 역함수입니다:

\ln: (0, \infty) \to \mathbb{R}, \quad \ln \exp t = t, \quad \exp \ln \xi = \xi, \quad \xi > 0

일반 로그와 거듭제곱:

\log_a \xi := \frac{\ln \xi}{\ln a}, \quad a^t := \exp(t \ln a), \quad a > 0, \ a \ne 1

이러한 정의는 주분지를 사용할 때 복소평면에서 대수적 성질을 보존합니다.

복소 삼각함수

코사인과 사인은 지수함수를 통해 정의됩니다:

\cos z := \frac{e^{iz} + e^{-iz}}{2}, \quad \sin z := \frac{e^{iz} - e^{-iz}}{2i}

이는 피타고라스 항등식과 도함수를 제공합니다:

\cos^2 z + \sin^2 z = 1, \quad \frac{d}{dz} \cos z = -\sin z, \quad \frac{d}{dz} \sin z = \cos z

오일러 공식:

e^{iz} = \cos z + i \sin z

단위원 위의 기하학적 해석

\mathbb{R}^2의 매개변수 곡선:

x(t) = \cos t, \quad y(t) = \sin t

다음을 만족합니다:

x^2(t) + y^2(t) = 1, \quad \dot{x}^2 + \dot{y}^2 = 1, \quad \begin{vmatrix} x(t) & y(t) \\ \dot{x}(t) & \dot{y}(t) \end{vmatrix} = 1

정리. 함수 (x(t), y(t))는 원점을 중심으로 한 단위원의 매개변수 방정식을 제공합니다. 매개변수 t는 자연스러운 매개변수입니다: 속도 \sqrt{\dot{x}^2 + \dot{y}^2} = 1. t가 증가함에 따라 반시계 방향으로 이동합니다.

주기성: \cos(t + 2\pi) = \cos t, \sin(t + 2\pi) = \sin t, 여기서 \pi는 원주의 절반입니다.

자연 매개변수와 호의 길이

매끄러운 곡선 \gamma(t) = (x(t), y(t)), x, y \in C^1[t_1, t_2], \dot{\gamma} \ne 0에 대해:

\ell = \int_{t_1}^{t_2} \sqrt{\dot{x}^2(t) + \dot{y}^2(t)} \, dt

매개변수가 자연스러운 경우 근호 표현식이 1과 같습니다. 그러면 t는 단위원의 경우처럼 호의 길이에 비례합니다.

해석학을 위한 핵심 성질:

• 지수함수는 코시 문제 dw/dz = w, w(0)=1의 유일한 전해석 해입니다.
• 곱셈성은 영점이 불가능함을 보장합니다.
• 삼각법은 지수함수로 환원되며 미분 성질을 보존합니다.
• 원의 매개변수화는 유클리드 기하학과의 연결을 보여줍니다.
• 자연 매개변수는 미분기하학에서 길이 개념을 통합합니다.

핵심 요약

• 지수함수는 무한 수렴 반경을 갖는 테일러 급수로 정의된 전해석 함수입니다.
• 곱셈성 \exp(z_1 + z_2) = \exp(z_1)\exp(z_2)는 상미분방정식으로부터 도출됩니다.
• 삼각함수는 지수함수를 통해 정의되며 고전적 항등식을 만족합니다.
• 매개변수 곡선 (\cos t, \sin t)는 자연 매개변수를 갖는 단위원입니다.
• 호의 길이는 속도의 적분으로 계산되며, 자연 매개변수는 계산을 단순화합니다.

— Editorial Team