복소 경로 적분과 Cauchy 정리

복소 경로를 매개화하기

복소 적분은 함수값을 단순히 더하는 연산이 아닙니다. 조각별 매끄러운 경로 z=γ(t)에 대해 경로의 미분도 곱합니다.

경로를 같은 방향으로 정칙 재매개화하면 값은 유지되고 방향을 반대로 돌리면 부호가 바뀝니다. 곡선 길이 적분 ∫|f|ds와 구분하세요. 복소 곱셈이 접선 방향 정보를 포함합니다.

원시함수가 주는 경로 독립성

영역에서 F′=f이면 연쇄법칙으로 적분은 F(γ(b))−F(γ(a))입니다. 따라서 닫힌 경로에서는 0입니다. f(z)=z는 F=z²/2를 전체 평면에서 가지므로 어떤 닫힌 정칙 경로에서도 적분 0입니다.

수치 구적의 작은 비영 잔차와 수학적 정확한 0은 다릅니다. 실습은 중점 합과 해석값을 별도로 계산하고 차이의 노름을 보여 줍니다.

Cauchy 정리의 영역 가정

적절한 단일 연결 열린 영역에서 정칙인 함수는 그 영역 안의 닫힌 경로 적분이 0입니다. 더 일반적인 형태는 경로의 호모토피나 호몰로지 조건을 사용합니다. 여기서는 단순한 영역 형태를 먼저 사용합니다.

경계 위에서만 함수가 매끄럽다는 사실로 충분하지 않습니다. 내부의 특이점이나 영역의 구멍 때문에 전역 원시함수가 존재하지 않을 수 있습니다. “복소 함수니까 닫힌 적분이 0”이라는 규칙은 없습니다.

1/z의 원 적분을 직접 계산하기

반지름 R>0인 반시계 원에서 γ(t)=R exp(it),γ′=iR exp(it)입니다.

반지름과 무관하지만 방향을 뒤집으면 −2πi입니다. 1/z가 원 위에서는 정칙이어도 내부 원점에서 정의되지 않으므로 앞의 Cauchy 가정을 만족하지 않습니다. 이 결과는 전역 로그 원시함수의 부재와도 연결됩니다.

실습의 방향과 퇴화 경우

파랑은 입력 복소평면의 원 경로이고 주황 화살표는 진행 방향입니다. 화살표 길이는 적분값의 크기가 아닙니다. R=0일 때 f=z의 상수 경로 적분은 0이지만 1/z는 경로 전체에서 정의되지 않아 —입니다. 보통 정칙 원의 정리와 퇴화 경로의 직접 정의를 분리합니다.

중점 구적은 정확한 γ′와 함수값을 사용합니다. 패널 수가 유한하므로 수치 값은 근사이며, 이것만으로 모든 정칙 함수의 정리를 증명하는 것은 아닙니다.

AI·물리 연결과 확인 문제

Fourier·Laplace 적분, 파동 응답, 복소 적분을 이용한 계산에 경로와 특이점의 위치가 중요합니다. 수치 알고리즘에서 적분 경로를 바꿀 때는 가로지르는 극과 정의역을 확인하세요.

1. 시계 원의 ∮dz/z는? −2πi입니다.
2. R을 1에서 2로 바꾸면 반시계 적분은? 여전히 2πi입니다.
3. f=z의 닫힌 적분이 0인 직접 이유는? 전역 원시함수 z²/2가 있기 때문입니다.

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