해석 함수와 고립 특이점

국소 해석 전개의 범위

복소 함수라는 이름만으로 임의의 범위에서 Taylor 전개를 쓸 수 있는 것은 아닙니다. 해석적 함수의 국소 전개와 고립 특이점을 구분해야 합니다.

정칙 함수는 각 점의 충분히 작은 원판에서 수렴하는 멱급수로 표현됩니다. 가장 가까운 복소 특이점은 전개 반지름을 제한할 수 있으므로 실수축에서 매끄러워 보인다는 사실만으로 전체 복소평면의 급수 수렴을 결론내릴 수 없습니다.

제거 가능한 특이점

sin z의 멱급수를 z로 나누면

0으로 접근하는 모든 복소 방향에서 극한이 1이므로 그 점을 1로 정의해 정칙으로 확장할 수 있습니다. 실습은 0에서 원래 나눗셈을 수행하지 않고 이 연속 확장값을 사용합니다. |z|≤1의 작은 영역에서 충분한 항의 멱급수로 안정적으로 계산합니다.

극과 본질적 특이점

Laurent 전개의 음수 차수 항이 유한 개이고 가장 낮은 차수가 −m이면 m차 극입니다. 1/z가 기본 예제입니다. 반대로 음수 차수가 무한히 계속되면 본질적 특이점입니다.

양의 실수축에서 z→0이면 크기가 급증하고, 음의 실수축에서는 0으로 갑니다. 허수축에서는 크기 1로 계속 진동합니다. 어느 한 경로의 값만으로 복소 극한을 정할 수 없다는 점이 중요합니다.

exp(1/z)의 본질적 특이점에서도 유수는 1입니다. “본질적”이라는 분류와 유수 계수의 값은 별도 정보입니다.

세 사례의 분류 기준

고립 특이점의 제거 가능·극·본질적이라는 구분은 점의 이름이 아니라 주변 함수의 Laurent 구조에 대한 성질입니다. 이 단원은 세 명시적 예제를 분류하며 모든 가능한 특이점을 수치 표본으로 자동 판정한다고 주장하지 않습니다.

정칙 함수가 특정 구간에서 유계인 것과 특이점의 전체 뚫린 근방에서 유계인 것은 다릅니다. 제거 가능성 정리에 쓰는 유계 조건은 후자입니다. exp(1/z)가 음의 실수축에서 작다고 제거 가능한 것은 아닙니다.

표시 범위와 기계 수의 한계

그림은 선택한 각도를 따라 r=0.1,…,1에서 Re f,Im f를 보여 줍니다. 별도 검사점은 r=0도 허용합니다. 1/z와 exp(1/z)의 0값은 —입니다. 반면 r>0의 exp(1/z)가 너무 커 기계 표현 범위를 넘으면 수학적 정의 부재와 구분해 표시합니다.

이 사례의 유한한 큰 값을 수학적 ∞로 확정하지 마세요. overflow는 수치 표현의 사건이고 특이점은 함수의 성질입니다. 작은 복소수의 역수는 x²+y²의 불필요한 underflow를 줄이도록 크기 조정해서 계산합니다.

확인 문제와 답

1. sin z/z의 확장 0값과 유수는? 1과 0입니다.
2. exp(1/z)의 유수는? 1입니다.
3. 같은 함수가 한 경로에서 0에 가면 복소 극한도 0인가요? 아니요. 모든 접근을 확인해야 합니다.

추가 읽기: MIT Complex Variables with Applications. 공식 강좌 범위를 확인해 보충 자료로 연결합니다. 본문의 작은 계산과 예제는 직접 구성했습니다.