하드리 알제브라 H∞ 위에서의 ν‑메트릭 구체화

초록

본 논문은 추상적으로 정의된 ν‑메트릭을 하드리 공간 H∞ 에 적용하기 위해, 안정한 전송함수 집합을 C_b(A_ρ) 라는 반대칭 Banach 대수로 구성하고, 그 위에 정의된 와인딩 넘버 W 가 (A1)–(A4) 조건을 만족함을 증명한다. 이를 통해 기존 Vinnicombe의 유리함수 경우와 일치함을 확인하고, ν‑메트릭이 무한 차원 시스템에서도 강건 안정성을 보장한다는 결론을 얻는다.

상세 분석

논문은 먼저 Vinnicombe가 제시한 ν‑메트릭을 일반화한 Ball‑Sasane의 추상적 프레임워크를 재정리한다. 핵심 가정은 (A1) R이 항등원을 갖는 가환 정수영역, (A2) R이 포함된 반대칭 Banach 대수 S, (A3) S의 가역원에 정의된 군동형 ι: inv S → G 가 덧셈·부호 보존 및 국소 상수성을 만족, (A4) R∩inv S 의 가역성은 ι 값이 영인 경우와 동치라는 네 가지 조건이다.

저자는 R을 Hardy 알제브라 H∞ 로 잡고, S를 원판 외부의 원환 A_ρ (ρ∈(0,1)) 위에서 연속·유계함수들의 대수 C_b(A_ρ) 로 설정한다. 먼저 C_b(A_ρ) 가 유니트, 가환, 반대칭, 반단순 Banach 대수임을 보이고, H∞ 의 원소를 제한 연산 I(f)(z)=f(z) 를 통해 S에 삽입한다.

다음으로 가역원 inv C_b(A_ρ) 에 대해 각 반지름 r∈(ρ,1) 에 대한 원주 T 위의 제한 F_r(ζ)=F(rζ) 를 정의하고, 이 제한 함수들의 와인딩 넘버 w(F_r) 가 r에 대해 일정함을 증명한다. 이를 기반으로 전체 대수 C_b(A_ρ) 에 대한 전역 와인딩 맵 W(F)=w(F_r) 을 정의하고, (I1) W(FG)=W(F)+W(G), (I2) W(F^*)=−W(F), (I3) 국소 상수성 등을 차례로 확인한다.

특히, H∞ 의 원소 f가 S 내 가역원이라면 W(I(f))=0 ⇔ f 가 H∞ 내에서 가역이라는 Nyquist‑type 정리를 증명함으로써 (A4)를 만족함을 보인다. 따라서 (A1)–(A4)가 모두 충족되어, 정의 2.2의 추상 ν‑메트릭이 구체적으로

d_ν(P₁,P₂)=‖eG₂ G₁‖_{S,∞}

(단, det(G₁^* G₂)∈inv S이고 W(det(G₁^* G₂))=0) 로 표현된다.

마지막으로, R을 유리함수 대수로 제한하면 S가 디스크 대수 A(D) 가 되고, 위 정의가 기존 Vinnicombe의 ν‑메트릭과 일치함을 확인한다. 따라서 논문은 H∞ 위에서 ν‑메트릭을 명시적으로 구성함으로써, 무한 차원 시스템에서도 강건 안정성 분석을 수행할 수 있는 실용적인 도구를 제공한다.