[논문 리뷰] Nevanlinna-Pick Kernels and Localization

Jim Agler, John E. McCarthy|arXiv (Cornell University)|2016. 10. 06.

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

한 줄 요약

이 논문은 복소수 d차원에서 유계 도메인 위의 재생 커널 힐버트 공간에 대해 네바린나-피크 보간 문제를 행렬 값 함수와 승수 노름으로 일반화한 것을 특성화한다. 이러한 공간이 커널의 국소화 성질을 만족하고, 네바린나-피크 조건이 성립하는 것은 해당 블록 행렬이 양의 준정부호일 때이고, 중요한 결과로는 단위 구에서 전체 H∞ 노름에 대해 해당하는 커널이 존재하지 않으며, 유니타리 동치를 통해 가중 이동 모델에 해당하는 경우에만 가능하다는 것을 증명한다.

ABSTRACT

We describe those reproducing kernel Hilbert spaces of holomorphic functions on domains in ${\Bbb C}^d$ for which an analogue of the Nevanlinna-Pick theorem holds, in other words when the existence of a (possibly matrix-valued) function in the unit ball of the multiplier algebra with specified values on a finite set of points is equivalent to the positvity of a related matrix. Our description is in terms of a certain localization property of the kernel.

연구 동기 및 목표

• 고차원에서 행렬 값 함수와 승수 노름으로 고전적인 네바린나-피크 정리를 일반화한다.
• 보간 문제가 블록 행렬이 양의 준정부호일 때이고 그뿐일 때만 해가 존재하는 재생 커널 힐버트 공간에 대한 정확한 조건을 규명한다.
• 다변수 설정에서 네바린나-피크 성질을 판단하는 핵심 기준으로 커널의 국소화 성질을 확립한다.
• 단위 구에서 전체 H∞ 노름에 대해 네바린나-피크 조건을 만족하는 재생 커널이 존재하지 않으며, 그 경우가 특정 모델 공간과 유니타리 동치일 때에만 가능하다는 것을 보여준다.

제안 방법

• 유계 도메인 U ⊆ ℂᵈ 위에서 정칙 함수의 정규 힐버트 공간을 정의하고, 좌표 곱셈 연산자들이 주어진 스펙트럼 성질을 만족하는 유계 d-튜플을 형성하도록 한다.
• 보간이 행렬 값 데이터에 대해 성립할 조건을 블록 행렬의 양의 준정부호성과 연결하는 m-보간 공간의 개념을 도입한다.
• 커널의 국소화 성질을 활용하여 네바린나-피크 조건이 성립하는 조건을 특성화하고, 준불변 부분공간과 연산자 이론의 구조를 기반으로 한다.
• 재생 커널 이론과 승수 노름을 적용하여 r < 1일 때 ⟨(1/k)(rT)x, x⟩ ≥ 0를 이용해 압축된 연산자의 양의 준정부호성을 보여준다.
• 카라테오도리 거리와 커널 대칭성을 이용해 기능적 방정식을 유도하고, 이로 인해 커널이 kₗ(μ) = f(λ)⁻¹ f(μ)⁻¹ (1 − ⟨μ,λ⟩)⁻¹의 형태로 인수분해되어야 한다는 것을 유도한다.
• 네바린나-피크 조건이 m=1, n=2일 때 성립한다면, 커널은 kₗ(μ) = |f(λ)|² / k₀(0) ⋅ (1 − ⟨μ,λ⟩)⁻¹의 형태여야 하며, 이는 특정한 구조를 띠게 된다.

실험 결과

연구 질문

• RQ1 복소수 d차원 도메인에서 행렬 값 함수에 대해 네바린나-피크 보간 문제가 특정 블록 행렬의 양의 준정부호성과 동치가 되는 조건은 무엇인가?
• RQ2 승수 노름의 맥락에서 네바린나-피크 조건이 성립하기 위해 재생 커널 힐버트 공간이 만족해야 할 구조적 성질은 무엇인가?
• RQ3 단위 구에서 전체 H∞ 노름에 대해 임의의 재생 커널에 대해 네바린나-피크 정리를 일반화할 수 있는가?
• RQ4 커널의 국소화와 다변수 연산자 이론에서 보간 문제의 해가 존재하는 것 사이의 정확한 관계는 무엇인가?

주요 결과

• 유계 도메인 U ⊆ ℂᵈ 위의 재생 커널 힐버트 공간이 모든 m, n 및 데이터에 대해 네바린나-피크 성질을 만족할 때이고 그뿐일 때, 커널은 준불변 부분공간과 관련된 특정한 국소화 조건을 만족해야 한다.
• 단위 구 B ⊆ ℂᵈ에 대해, 전체 H∞ 노름에서 네바린나-피크 조건이 성립하는 커널이 존재하지 않으며, 그 경우는 f(λ)⁻¹ f(μ)⁻¹ (1 − ⟨μ,λ⟩)⁻¹의 형태를 띠는 비영인 정칙 함수 f가 존재할 때에만 가능하다.
• 네바린나-피크 조건이 m=1 및 n=2일 때 성립한다면, 커널은 kₗ(λ) = |k₀(λ)|² / k₀(0) ⋅ (1 − |λ|²)⁻¹을 만족해야 하며, 이는 커널의 특정한 인수분해를 강제한다.
• φ ∈ H∞ₖ에 대해 승수 노름 조건은 블록 행렬 ((1 − φ(λⱼ)φ(λᵢ)*) / (1 − ⟨λⱼ,λᵢ⟩))의 양의 준정부호성과 동치이며, 이는 커널이 정리 4.2의 모델 공간과 유니타리 동치일 때에만 성립한다.
• 일반적인 커널에 대해 단위 구에서 네바린나-피크 정리가 성립하지 않는다는 것은, ‖φ‖ₕ∞ₖ > 1 이지만 관련 블록 행렬이 여전히 양의 준정부호인 함수 φ ∈ H∞ₖ를 구성함으로써 입증된다. 이는 노름 조건을 위반한다.
• 제안 4.6에서 도출된 커널 구조는 임의의 그러한 커널가 반드시 이동 모델과 유니타리 동치여야 하며, 따라서 네바린나-피크 정리는 일반적인 커널에 대해 단위 구에서 성립할 수 없다.