정칙성과 Cauchy–Riemann 조건

실수 미분보다 강한 극한

복소 도함수는 복소 증분 h가 모든 방향에서 0으로 접근할 때 같은 몫 극한을 요구합니다. f=u+iv로 쓰고 실수 방향과 허수 방향을 비교하면 필요한 Cauchy–Riemann 조건을 얻습니다.

위 수식의 u를 실수부로 읽습니다. 편미분이 있다는 사실만으로 충분하지는 않습니다. 실수 미분 가능성 또는 편미분의 근방 연속성과 함께 CR 조건을 사용해야 충분성을 얻습니다. 이 단원의 세 예제는 실수 C¹ 함수라 해당 조건을 충족합니다.

두 방향의 몫을 직접 비교하기

실수 방향의 극한은 uₓ+ivₓ이고 허수 증분 방향의 극한은 vᵧ−iuᵧ입니다. 두 값이 다르면 복소 도함수는 없습니다.

z²에서는 u=x²−y²,v=2xy라 두 방향 모두 2z입니다. 켤레 함수에서는 u=x,v=−y이므로 1과 −1로 달라 어느 점에서도 복소 미분 가능하지 않습니다. 실수 선형사상으로는 완전히 미분 가능한 함수라는 점과 대조하세요.

한 점의 미분과 정칙 근방

|z|²은 u=x²+y²,v=0입니다. CR은 x=y=0에서만 성립합니다. 원점에서는 |h|²/h=conj(h)→0이므로 실제 복소 도함수가 0입니다. 그러나 어떤 열린 근방도 원점 외 점을 포함하고 거기서 복소 미분이 실패합니다. 따라서 원점 주변에서 정칙이지 않습니다.

정칙은 열린 집합의 모든 점에서 복소 미분 가능한 성질입니다. “도함수가 한 점에서 존재한다”를 “그 주변에서 해석적이다”로 바꾸면 안 됩니다. 복소 해석의 강한 결론들은 열린 영역의 가정을 사용합니다.

실수 Jacobian의 제한된 모양

CR이 성립하는 점의 실수 Jacobian은 복소수 곱셈의 형태입니다.

f′≠0이면 국소적으로 회전과 균일 확대의 일차 근사를 줍니다. f′=0인 임계점에서 같은 각도 보존 설명을 그대로 적용하지 마세요. 일반 실수 2×2 선형층은 이 구조를 만족하지 않을 수 있습니다.

그림과 AI 해석

그림은 기준점을 지나는 수평·수직 입력선의 출력상입니다. 출력 복소평면의 Re/Im 축이며 입력 격자 자체가 아닙니다. 유한 선분의 모양만으로 정칙성을 증명하지 않고 정확한 편미분·CR 잔차·근방 판정을 제공합니다.

복소 신경망의 활성화나 손실이 모두 정칙일 필요는 없습니다. 특히 실수값 비상수 손실은 열린 영역에서 정칙일 수 없으므로 Wirtinger 미분이나 R² 미분으로 최적화합니다.

확인 문제와 답

1. z²의 z=i 도함수는? 2i입니다.
2. conj(z)는 실수 미분 가능한가요? 예. 하지만 복소 미분은 아닙니다.
3. |z|²의 원점 도함수가 0이면 정칙 근방이 있나요? 없습니다.

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