Analyticity
Analyticity (해석성) 는 복소함수가 "굉장히 잘 행동한다" 는 뜻입니다 — 한 영역 전체에서 미분 가능하고, 그 결과로 매우 강한 성질들을 갖는 상태를 말합니다.
정의
복소수 z를 받아 복소수를 내놓는 함수 f(z)가 영역 D에서 analytic하다 는 것은:
D에 속하는 모든 점에서 (그리고 그 주변 작은 영역에서) 복소 미분이 가능하다
이 조건이 진짜 강력합니다. 실함수에서 "미분 가능"은 한 점에서의 기울기 존재만 의미하지만, 복소 미분은 어느 방향에서 다가가든 같은 극한값 이 나와야 합니다 (이게 Cauchy-Riemann 방정식이 강제하는 것). 이 한 조건만으로 다음이 전부 따라옵니다:
Analytic하면 자동으로 따라오는 것들
무한히 미분 가능하다 — 한 번 미분 가능하면 자동으로 모든 차수의 미분 가능 (실함수에선 절대 안 그렇습니다 — C¹이라고 C²가 보장 안 되죠).
Taylor 급수로 표현된다 — 영역의 모든 점 주변에서 수렴하는 멱급수가 존재합니다. f(z) = Σ aₙ(z−z₀)ⁿ.
Cauchy 적분 공식이 성립한다 — 영역의 경계에서의 값을 알면 내부의 모든 값 이 결정됩니다:
f(z) = (1/2πi) ∮ f(z')/(z'−z) dz'
- Analytic continuation — 작은 영역에서 함수를 알면, 그 너머로 유일하게 확장됩니다. 즉 일부 정보가 전체를 결정.
이 특성들 때문에 analytic 함수는 극히 제한된 클래스입니다. 임의의 매끄러운 함수보다 훨씬 좁은 부류죠.
왜 causality 강의에 나오나?
이게 슬라이드 6의 핵심입니다. Causality (χ(τ) = 0 for τ < 0)가 다음을 강제합니다:
χ̃(ω) = ∫₀^∞ χ(τ) e^(iωτ) dτ
여기서 ω를 복소수로 확장 — ω = ω′ + iω″ — 하고 ω″ > 0 (upper half-plane)이면, kernel이 e^(iω′τ) · e^(−ω″τ) 가 되어 τ가 양수일 때 빠르게 죽습니다. 적분이 매우 잘 수렴하고, χ̃(ω)는 upper half-plane 전체에서:
- 정의가 명확하고
- 무한히 미분 가능하고
- Pole이나 다른 특이점이 없는
상태가 됩니다. 이게 곧 "χ̃(ω)는 upper half ω-plane에서 analytic하다" 의 정확한 뜻입니다.
이 analytic 성질이 있어야 Cauchy 적분 공식을 마음대로 적용할 수 있고, contour를 윗쪽 반원으로 닫을 수 있고 — 그래서 Kramers-Kronig 관계가 도출됩니다. Causality라는 시간 도메인의 단순한 진술이 χ̃(ω)의 복소해석적 매끄러움을 통해 실부와 허부를 묶는 강력한 결과로 변환되는 것이 이 과정의 아름다움입니다.
한 줄 비유
실함수의 "smooth"가 "잘 그릴 수 있다" 정도라면, 복소함수의 "analytic"은 "하나의 점만 알면 전체가 결정될 만큼 정보가 빽빽하다" 에 가깝습니다.
이 강한 구속 때문에 causality 같은 단순한 물리적 제약이 KK 관계 같은 풍부한 결과로 발전할 수 있는 거죠. 강의에서 학생들이 막힐 수 있는 부분이라 한 슬라이드 정도 추가해서 풀어 설명하셔도 좋습니다 — 원하시면 만들어 드리겠습니다.