다변량 복소함수의 연속·스무스 몫을 위한 새로운 라플라스 규칙

초록

본 논문은 실함수에서 잘 알려진 라플라스(L’Hôpital) 정리를 다변량 복소값 함수로 확장한다. 공통 영점이 단순(gradient가 전사)인 두 복소함수 f, g에 대해 연속적인 몫 φ (즉 f = g φ)가 존재하려면, 영점 집합 Γ 위에서 미분 연산자 Df·(Dg)⁻¹가 “스케일된 회전”(복소수 곱셈) 형태를 가져야 함을 보인다. 이 조건을 ‘복소 선형 관계’라 정의하고, 연속 몫 존재와의 동치성을 정리 4에 제시한다. 또한 경로에 따라 달라지는 라플라스 한계식을 정리 3으로 제시하고, 연속성·스무스성 사이의 차이를 예시와 함께 설명한다. 마지막으로 스무스 몫 존재를 위한 충분조건과 현재 미해결 문제를 논의한다.

상세 분석

논문은 먼저 실함수와 다변량 실함수에 대한 기존 라플라스 정리와 그 확장을 정리 1·2로 제시한다. 여기서는 영점이 단순(즉 f′(a)≠0, ∇f(a)≠0)이고 영점 집합이 동일할 때, 두 함수는 비영점 함수 φ 으로 나누어질 수 있음을 보인다. 이때 φ 은 C^∞ 또는 C^{k‑1} 정도만 보장된다. 이러한 결과는 ‘공통 인수’를 취소한다는 직관적 해석과 일치한다.

복소값 함수의 경우, 저자는 “단순 영점”을 Df|_a : ℝⁿ→ℂ가 실선형으로서 전사(rank 2)인 경우로 정의한다. 이는 영점 집합 Γ_f 가 차원 n‑2 의 매끄러운 부분다양체가 됨을 의미한다. 두 함수 f, g가 동일한 Γ 을 공유한다면, 각 영점 a∈Γ에서 Df|_a와 Dg|_a는 ℝⁿ→ℝ²(ℂ) 사이의 전사 선형 사상이며, 따라서 고유한 2×2 실행렬 A_a 가 존재한다는 점을 이용한다. 이 행렬은 좌표 변화에 불변이며, Df|_a = A_a Dg|_a 로 표현된다.

핵심은 이 행렬 A_a 가 “스케일된 회전”(scaled rotation) 형태, 즉
\