그래프 위 열방정식의 제어·관측·안정성 연구

초록

본 논문은 가중 그래프의 라플라시안 H에 의해 정의되는 열방정식 (\dot f(t)=-Hf(t)+\mathbf 1_D u(t)) 에 대해, 제어 집합 (D)가 길이 거리 (d_L)에 대해 상대적으로 조밀하면 임의의 (\alpha>0)에 대해 비용 균일 ((\alpha,T,r,K))-제어 가능성을 보이고, 약한 관측 추정식과 불확실성 원리를 이용해 증명한다. 또한 (0)-제어가 일반적으로 불가능함을 예시와 커버링 그래프 이론으로 보여주고, 상대적 조밀성의 필요조건과 열린 루프 및 폐쇄 루프 안정화 결과를 도출한다.

상세 분석

논문은 먼저 가중 그래프 ((X,b,m))와 그 위에 정의되는 비음수 자기수반 연산자 (H)를 소개한다. (H)는 (\displaystyle Hf(x)=\frac1{m(x)}\sum_{y\in X}b(x,y)\bigl(f(x)-f(y)\bigr)) 로 정의되며, 이는 그래프 라플라시안의 표준 형태이다. 이 연산자는 (B)와 (M) 조건(정점 차수와 정점 가중치가 유계) 하에 유계이며, 반강제성 (C_0)-반군 ((S_t){t\ge0}=e^{-tH}) 를 생성한다. 제어 문제는 (\dot f(t)=-Hf(t)+\mathbf1_D u(t)) 로 설정되며, (\mathbf1_D)는 제어 집합 (D\subset X)에 대한 삽입 연산자이다. 목표는 주어진 시간 (T>0)와 비용 상수 (K)에 대해, 초기 상태 (f_0)에 대해 제어 입력 (u)를 선택해 (|u|{L^r(0,T;\ell^2(D))}\le K|f_0|) 이면서 (|f(T)|\le\alpha|f_0|) 를 만족하도록 하는 것이다.

핵심 기법은 듀얼 관측 문제 (\dot\phi(t)=-H\phi(t)), (\psi(t)=\phi(t)|D) 에 대한 약한 관측 부등식이다. 저자들은 기존의 Lebeau–Robbiano 방법을 변형하여, 전 에너지 구간이 아니라 작은 에너지 구간에서만 성립하는 불확실성 원리(스펙트럴 부등식)를 이용한다. 구체적으로, (D)가 길이 거리 (d_L)에 대해 상대적으로 조밀하면 (\operatorname{Inr}(\Omega))와 (\operatorname{vol}(\operatorname{Inr}(\Omega))) 를 이용해 (\lambda)와 (\kappa)를 정의하고, (|S_T\phi_0|\le K|\psi|{L^r(\delta T,T)}+\alpha|\phi_0|) 형태의 관측 추정식을 얻는다. 여기서 (\alpha=(\kappa+1)e^{-\delta\lambda T}) 로, (\delta\in