[논문 리뷰] Note on Löwner's theorem on matrix monotone functions in several commuting variables of Agler, McCarthy and Young

J. E. Pascoe|arXiv (Cornell University)|2014. 09. 09.

Holomorphic and Operator Theory참고 문헌 2인용 수 4

한 줄 요약

이 논문은 C¹ 미분 가능성 조건이 필요 없도록, 데르블로우의 행렬 단조 함수에 관한 고전적 정리를 다변수로 확장한다. 미온화 기법을 사용하여, 열린 부분집합 ℝᵈ 위에서 국소적으로 행렬 단조적인 함수가 반드시 해석적임을 증명하고, 복소수 상반평면 ℂᵈ₊로의 해석적 확장을 갖게 된다. 이는 아글러, 매킨지, 영의 결과를 미분 가능성이 없는 함수로 일반화한다.

ABSTRACT

In this brief note, we show that the hypotheses of Löwner's theorem on matrix monotonicity in several commuting variables as proved by Agler, McCarthy and Young can be significantly relaxed. Specifically, we extend their theorem from continuously differentiable locally matrix monotone functions to arbitrary locally matrix monotone functions using mollification techniques.

연구 동기 및 목표

• 국소적으로 행렬 단조적인 함수에 대한 C¹ 미분 가능성 조건을 완화함으로써, 아글러, 매킨지, 영의 다변수 데르블로우 정리를 일반화하는 것.
• 다음의 서로 가환하는 변수들에서 국소적 행렬 단조성만으로도 해석성이 유도됨을 확립하는 것.
• 근사 기법을 사용하여, 비미분 가능한 함수로도 행렬 단조 함수의 해석적 확장 성질을 확장하는 것.
• 연속성 가정 없이도 복소수 상반평면 ℂᵈ₊로의 해석적 연장이 유지됨을 보이는 것.

제안 방법

• 매끄럽고 컴actsupport된 커널 φₜ를 사용하여 국소적으로 행렬 단조적인 함수 f를 미온화하여, fₜ = φₜ * f 형태의 매끄러운 근사 함수들의 수열을 생성한다.
• 함수 fₜ가 충분히 작은 t에 대해 국소적으로 행렬 단조적이며, 서로 가환하는 자기수반 행렬 공간 내의 비감소 경로를 따라 단조성의 성질을 유지함을 증명한다.
• 자료 [4]의 정리 2.2를 사용하여 fₜ의 도함수 성장률을 유계로 제한하고, t → 0일 때 정상 가족(normal family)을 형성함을 보인다.
• 미온화 수열 fₜ가 컴acts집합 위에서 균일 수렴하고, 정상 가족을 통해 해석성을 유지하므로, 극한 함수 f가 해석적임을 증명한다.
• 측도의 밀도가 존재하는 점들에서, 차분 몰입 ρ_ε = (f(x+ε₁)−f(x))/ε의 약한 극한을 활용하여 fₜ의 도함수를 제어한다.
• 복소수 상반평면 ℂᵈ₊의 구조와 C¹ 함수에 대한 기존의 확장 결과를 활용하여, f의 해석적 확장을 유도한다.

실험 결과

연구 질문

• RQ1 아글러, 매킨지, 영의 다변수 데르블로우 정리에서 C¹ 미분 가능성 조건을 제거할 수 있는가?
• RQ2 다음의 서로 가환하는 변수들에서 국소적 행렬 단조성이, 도함수 가정 없이도 해석성을 유도하는가?
• RQ3 미온화 기법을 사용하여, 비미분 가능한 행렬 단조 함수로도 해석적 확장 결과를 확장할 수 있는가?
• RQ4 매끄러운 함수로의 근사화 과정에서도 f의 ℂᵈ₊로의 해석적 연장이 유지되는가?

주요 결과

• 아글러, 매킨지, 영의 정리에서 C¹ 가정을 제거할 수 있다: 국소적 행렬 단조성만으로도 해석성이 유도된다.
• 열린 부분집합 E ⊂ ℝᵈ 위에서 정의된 국소적으로 행렬 단조적인 함수 f: E → ℝ는, 미온화와 정상 가족을 통해 해석적임을 보였다.
• 작은 t에 대해 미온화된 함수 fₜ는 국소적으로 행렬 단조적이며, 컨볼루션을 통한 단조성 성질을 유지한다.
• 미온화 수열 fₜ가 정상 가족을 형성하고 도함수들이 균일 유계이므로, 극한 함수 f는 해석성을 상속받는다.
• 내부 컴acts집합에 속한 점들에서 fₜ의 도함수는 차분 몰입의 약한 극한을 통해 제어되며, 방향 도함수의 상한이 유한함을 보장한다.
• 보조정리로서, 함수 f: E → ℝ가 국소적으로 행렬 단조적임과 동시에 복소수 상반평면 ℂᵈ₊로 해석적으로 확장되고, 닫힌 상반평면에 값을 갖는 것은 필요충분조건이다.