유수·감김 수와 특이점

유수는 극의 차수가 아니다

고립 특이점 a 주변 Laurent 전개에서 유수는 (z−a)⁻¹의 계수입니다.

1/(z−a)는 유수 1인 단순극입니다. 1/(z−a)²는 2차 극이지만 유수는 0입니다. 극의 차수를 그대로 적분에 곱하면 틀립니다. 실습의 차수 m 컨트롤로 이 차이를 확인할 수 있습니다.

감김 수와 유수 정리

경로가 a를 지나지 않을 때 감김 수는

원점을 중심으로 한 반시계 원은 내부 점에 대해 1, 외부 점에 대해 0입니다. 경로가 한 번 이상 돌거나 방향이 바뀌면 그에 맞게 정수값이 달라집니다. 그림에서 단순히 가까워 보이는지로 판정하는 값은 아닙니다.

정칙성·고립 특이점·경로 조건을 갖춘 유수 정리는

입니다. 실습의 단순 원에서는 |a|<R인지 정확히 비교해 감김 수를 결정합니다.

내부·외부·경로 위 세 경우

a=0,R=1,m=1이면 유수 1, 감김 1이어서 2πi입니다. a=2로 옮기면 감김 0이어서 적분 0입니다. a=1이면 극이 경로 위에 있어 보통 경로 적분을 정의하지 않습니다.

유한 중점 격자가 극을 직접 찍지 않아 합이 유한하게 나오더라도 적분을 구한 것이 아닙니다. 실습은 먼저 경로 위의 극을 해석적으로 검사하여 수치 구적을 거부합니다. Cauchy 주값·작은 우회 경로 등은 별도의 규약이며 여기서 몰래 적용하지 않습니다.

고차 극을 직접 이해하기

m≥2에서 f=(z−a)⁻ᵐ은 특이점을 뺀 영역에서 원시함수 (z−a)¹⁻ᵐ/(1−m)을 가집니다. 따라서 극을 지나지 않는 닫힌 경로 적분은 0입니다. 유수 0인 계산과 일치합니다. 원시함수 자체가 특이점에서 정의되지 않는다는 사실은 닫힌 경로 적분 0과 모순되지 않습니다.

수치 구적의 조건

극이 경로에 가까워지면 함수가 급격히 변하여 고정 패널 구적의 오차가 커질 수 있습니다. 실습은 해석값, 수치값, 그 차이, 극과 원 사이의 거리를 분리합니다. 작은 수치 오차 하나를 정리의 증명으로 읽지 말고, 큰 오차가 정리의 실패인지 수치 해상도 문제인지 확인하세요.

빈 원은 입력 평면에서 제외된 극의 위치이며 그 점의 함수값을 그린 것이 아닙니다. 원의 방향은 반시계로 고정합니다.

확인 문제와 답

1. m=3인 순수 극의 유수는? 0입니다.
2. 외부 단순극의 적분은? 0입니다.
3. 극이 경로 위일 때 “오차 0”을 표시해도 되나요? 아니요. 기준 적분 자체가 정의되지 않습니다.

물리·신호 계산에서 응답 극은 안정성·공진 분석과 연결되지만, 동역학 안정성 결론에는 변환 규약과 시간 영역의 가정이 별도로 필요합니다.

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