뉴미터 거리 계산 예시 확산 방정식 경계 제어와 점 관측

초록

본 논문은 1차원 확산 방정식에 경계 입력과 점 관측을 적용한 시스템의 전달함수에 대해 ν‑거리(ν‑metric)를 직접 계산한다. Hardy 공간 H∞ 위에서의 정규화되지 않은 서로소 인수분해를 이용해 복소평면에서의 거리값을 구하고, 파라미터 a 와 ã 의 변동에 따른 연속성을 증명한다.

상세 분석

논문은 먼저 ν‑거리의 일반적인 정의를 복소함수대수 R (특히 안정 시스템의 전달함수 집합)와 그 분수체 F(R) 위에 놓고, 안정성 보강을 위한 거리 개념으로서의 필요성을 강조한다. 기존 연구에서는 정규화된 서로소 인수분해(normalised coprime factorisation)가 전제였지만, 실제 무한 차원 시스템에서는 이를 구하기가 어려워 정규화되지 않은 인수분해만을 이용하는 새로운 접근법을 제시한다.

핵심 수학적 도구는 Hardy 알제브라 H∞(D) (단위원판 D 위의 유계 전사함수)와 그 직접/귀환극한(inductive limit) 구조이다. 저자는 C∗‑대수 C_b(A_r) (반지름 r 이상의 원환형 영역 A_r 위의 연속함수)들을 연결 사상 π_R^r 으로 묶어 lim← C_b(A_r) 을 구성하고, 이 공간에 대한 위상적 인덱스 ι: inv(lim← C_b(A_r)) → ℤ 을 정의한다. ι는 곱셈에 대해 가법적이며, 복소공액에 대해 부호가 바뀌는 등 ν‑거리 정의에 필수적인 성질을 만족한다.

그 다음, 논문은 1차원 확산 방정식
∂w/∂t = ∂²w/∂x², 0<x<1, ∂w/∂x(0,t)=0, ∂w/∂x(1,t)=u(t), y(t)=w(a,t)
에 대해 라플라스 변환을 적용해 전달함수
p_a(s)=cosh(a√s)·√s / sinh(√s)
를 얻는다. 여기서 √s는 주각도 π 범위 내의 주 로그를 사용한다.

ν‑거리 계산을 위해 p_a와 p_ã에 대해
n_a(s)= (1/(√s+1))·sinh(a√s)·sinh(√s),  d_a(s)= (√s/(√s+1))·sinh(a√s)·cosh(a√s)
와 같은 서로소 인수분해를 제시한다. 논문은 복소평면의 각도 영역 Δ={z:|Arg z|<π/4} 에서 z=√s 로 치환함으로써 n_a, d_a 가 H∞에 속함을 보이고, corona 정리를 이용해 서로소임을 증명한다. 또한 n_a와 d_a 가 0이 되는 점이 C⁺(Re s>0) 안에 없음을 확인해 인수분해의 정당성을 확보한다.

연속성 분석에서는 a↦n_a, a↦d_a 가 H∞-노름에서 연속함을 보인다. 이는 R_a(z)=sinh(az)sinh z 가 Δ에서 균등 유계이며, a가 변할 때 R_a(z) 가 균등하게 수렴한다는 사실에 기반한다. 따라서 ν‑거리 d(p_a, p_ã) 가 |a-ã|에 대해 1차적으로 작아짐을 보이며, 파라미터 불확실성에 대한 강건성 반경을 정량화한다.

마지막으로, ν‑거리의 최종 식은
d(p_a, p_ã)=κ(p_a, p_ã) if n_a* n_ã + d_a* d_ã ∈ inv(lim← C_b(A_r)) and ι(…)=0,
그 외에는 1 로 정의한다. 여기서 κ는 Gelfand 변환을 통한 코르다 거리이며, 실제 계산에서는 sup_{|z|=1}|…| 형태의 L∞‑노름으로 변환된다.

이러한 일련의 과정은 무한 차원 시스템(확산 방정식)에서도 ν‑거리를 실용적으로 구할 수 있음을 보여주며, 파라미터 a의 작은 변동에 대한 시스템 안정성 보장을 정량적으로 제공한다.