초월 다항식 해법 지도 연속성 연구

초록

이 논문은 차수 d 인 초월(모노식 실근) 다항식의 계수와 실근 사이의 해법 지도(solution map)의 연속성을 조사한다. Bronshtein 정리에 의해 C^{d‑1,1} 계수를 가진 경우 실근은 국소적으로 Lipschitz 연속이지만, 목표 공간을 W^{1,q} (1 ≤ q < ∞) 위에 두면 C^{d} 계수를 가진 초월 다항식에 대해 해법 지도가 연속함을 보인다. q=∞인 경우는 연속성이 깨진다. 결과는 근의 표면적 연속성, 영집합의 하위반연속성, 그리고 Hermitian 행렬의 고유값·특이값에 대한 응용을 포함한다.

상세 분석

논문은 먼저 초월 다항식의 정의와 계수 공간 Hyp(d) 를 소개하고, 실근을 오름차순으로 정렬한 함수 λ↑: Hyp(d)→ℝ^d 가 연속임을 알려진 사실을 바탕으로 시작한다. 기존의 Bronshtein 정리(1979, 1980)는 C^{d‑1,1} 정규성의 계수에 대해 실근이 C^{0,1} (즉, Lipschitz) 함수로 매개변수화될 수 있음을 보이며, 이때 해법 지도 S: C^{d‑1,1}(U, Hyp(d))→C^{0,1}(U,ℝ^d) 는 유계이지만 연속성은 성립하지 않는다. 저자들은 목표 공간의 위상을 C^{0,1} 그 자체가 아니라 Sobolev 공간 W^{1,q}_{loc} (1≤q<∞) 에 대한 추적 위상으로 약화함으로써 연속성을 회복한다. 핵심 정리인 Theorem 1.1은 C^{d} 계수를 가진 초월 다항식 가족에 대해 S가 C^{0,1}_q (즉, W^{1,q} 위에 대한 위상) 에 연속임을 증명한다.

기술적 핵심은 1차원 매개변수 경우(Theorem 1.3)를 먼저 증명하고, 다변수 경우는 파라미터 공간을 적절히 분할해 적용한다. 증명 과정에서 Bronshtein 정리의 점별 버전(Theorem 4.7)을 활용해 각 점에서 실근의 미분이 존재하고, 이를 지배함수와 결합해 지배 수렴 정리를 적용한다. 또한, 근들의 최대 중복도 p 에 따라 C^{p} 정규성만 필요함을 보이는 정밀화도 제시한다.

연속성 결과는 여러 파생 효과를 낳는다. 첫째, 근들의 제이코비안 절댓값이 L^{q}_{loc} 에 수렴하므로, 근 그래프의 표면적이 연속적으로 변한다(Section 7.2). 둘째, 영집합 Z={ (x,y) | P_a(x)(y)=0 } 의 m‑차원 Hausdorff 측정이 하위반연속성을 갖는다(Corollary 1.9). 셋째, 초월 다항식을 단순근을 가진 초월 다항식으로 근사할 수 있음을 보이며, 이때 근의 연속성 및 영집합의 측정 하위반연속성이 유지된다(Section 7.3).

또한, Hermitian 행렬의 고유값 지도와 일반 복소 행렬의 특이값 지도에 대한 직접적인 응용을 제시한다. Hermitian 행렬 공간 Herm(d) 에 대해 고유값을 오름차순으로 정렬한 지도 λ↑는 C^{0,1} 정규성을 갖고, 계수가 C^{d} 인 경우 고유값 지도 E: C^{d}(U, Herm(d))→C^{0,1}_q(U,ℝ^d) 가 연속함을 보인다(Theorem 1.10). 특이값에 대해서도 유사한 결과가 얻어지며, 차수 d≤D 인 경우 C^{2d} 정규성에서 C^{0,1}_q 연속성을 확보한다(Section 7.5).

마지막으로 연속성의 최적성을 논의한다. 예시 1.12는 C^{d} 정규성은 만족하지만 C^{0,1} 위상에서는 연속성이 깨지는 경우를 보여, q=∞(즉, C^{0,1} 그 자체)에서는 연속성이 일반적으로 성립하지 않음을 확인한다. 또한, C^{d‑1,1} 정규성에서 연속성을 얻기 위한 추가 조건(예: 판별식 전위가 측정 가능한 집합에만 존재) 등에 대한 열린 질문을 제시한다.

전반적으로 이 논문은 초월 다항식의 실근 매개변수화 문제에 대한 정밀한 정규성 및 연속성 이론을 확립하고, 이를 다양한 선형대수적 구조(고유값, 특이값)와 기하학적 측정(표면적, 영집합)으로 확장함으로써, 기존의 Bronshtein 정리와 그 변형들을 한 단계 끌어올린 중요한 기여를 한다.