Approximate Feedback Linearization for a Nonlinear Hyperbolic PDE Class -- Part I: Volterra Truncation

기술 요약: 비선형 쌍곡형 PDE 클래스에 대한 근사 피드백 선형화 — 제1부: 볼테라 절단(Volterra Truncation)

문제 정의
본 논문은 공간적 볼테라 비선형성을 특징으로 하는 일차원 비선형 쌍곡형 편미분방정식(PDE) 클래스의 경계 제어를 다룬다. 대상 시스템(plant)은 $u_t = u_x + F[u]$ 형태의 수송 방정식으로 정의되며, 여기서 비선형성 $F[u]$는 상태 $u$에 대한 무한 볼테라 급수이다. 이전 연구(Krudiic, 2026, [6]으로 참조됨)에서는 무한 볼테라 급수 백스테핑 변환을 통해 이 시스템에 대한 정확한 피드백 선형화가 가능하다는 것을 입증하였다. 이 정확한 제어기는 비선형 대상 시스템을 안정적인 타겟 수송 방정식으로 매핑한다. 그러나 정확한 제어기는 무한한 중첩 적분의 계산과 무한 차원의 심플렉스(simplex) 상에서의 수송 PDE 해법을 요구하므로, 디지털 하드웨어에서 구현하는 것이 불가능하다.

핵심 문제는 이 무한 볼테라 제어기의 **유한 차수 절단(finite-order truncation)**이 정확한 법칙의 안정화 특성을 유지할 수 있는지 여부를 결정하는 것이다. 구체적으로, 본 논문은 고차 항(볼테라 꼬리 부분)을 버림으로써 발생하는 "잔차(residual)" 오차가 안정적인 폐루프 안정성을 보장하기 위해 어떻게 관리될 수 있는지, 그리고 절단 차수에 따라 작용 영역(region of attraction)이 어떻게 변화하는지를 조사한다.

방법론
본 논문은 절단된 피드백 법칙의 폐루프 안정성을 확립하기 위해 sup-norm ($L^\infty$) 기반의 정량적 분석을 채택한다. 이 방법론은 [6]의 $L^2$ 기반 분석과는 다른데, 이는 볼테라 커널에 대한 점별(pointwise) 유계성이 결여되어 있기 때문이다.

1. 절단 및 잔차 분석: 정확한 제어기 $K[u]$를 $N$차 유한 합 $K_N[u]$로 대체한다. 이 절단 과정은 타겟 경계에서 비제로(non-zero) 경계 잔차 $b(t) = K_N[u] - K[u]$를 남긴다. 본 논문은 이 잔차를 특정 상태 볼(state ball) 내에서 절단 차수 $N$에 따라 기하급수적으로 감소하는 고차 항으로 규정한다.
2. 코시-슈바르츠를 통한 커널 유계성 확보: 주요 기술적 과제는 [6]에서 제공하는 커널 유계성이 성장하는 심플렉스 상의 적분 유계인 반면, 절단 잔차는 점별 양(quantity)이라는 점이다. 저자들은 심플렉스 상에서 코시-슈바르츠 부등식을 적용하여 이 간극을 메운다. 이를 통해 $L^2$ 커널 유계성을 $L^1$ 유계로 변환하며, 결과적으로 점별 커널 추정치 없이도 연산자 $K$와 그 절단 꼬리에 대한 sup-norm 유계성을 도출한다.
3. 고정점 정칙성(Fixed-Point Well-Posedness): 정확한 제어기는 대상 시스템을 자명하게 정칙한 타겟으로 매핑하는 것과 달리, 절단된 제어기는 경계 잔차로 인해 진정한 의미의 결합된 고정점 문제를 발생시킨다. 본 논문은 수축 사상(contraction mapping) 논법을 사용하여 $L^\infty([0, \tau]; L^\infty(0, 1))$ 상의 닫힌 볼 내에서 국소적 정칙성과 전방 불변성(forward invariance)을 확립한다.
4. 안정성 증명: 안정성 분석은 두 단계로 진행된다.
   • 실용적 안정성(Practical Stability): 시스템이 잔차 볼 내로 수렴함을 보인다. 이 볼의 크기는 절단 차수에 따라 결정된다.
   • 점근적 안정성(Asymptotic Stability): 잔차가 고차 항(상태가 0에 접근함에 따라 소멸함)이라는 사실을 이용하여, 저자들은 class-$\mathcal{KL}$ 추정치를 갖는 국소 점근적 안정성을 증명한다. 감쇠는 원점 근처에서 초지수적(superexponential)으로 나타난다.

주요 기여

• 절단된 제어기의 정량적 안정성: 본 논문은 초기 조건이 충분히 작을 경우, 임의의 유한 차수 $N \ge 2$에 대해 정확한 볼테라 선형기를 절단하더라도 폐루프 안정성이 유지됨을 증명한다.
• Sup-Norm 분석: 본 논문은 볼테라 백스테핑 하의 이 클래스 비선형 쌍곡형 PDE에 대한 최초의 $L^\infty$ 안정성 결과를 확립한다. 이는 $L^\infty$ 유계가 $L^2$ 유계보다 물리적 제약 조건 측면에서 더 유의미하기 때문에 중요하다.
• 작용 영역 특성화: 작용 영역에 대한 명시적인 추정치를 제공한다. 작용 영역의 크기가 절단 차수 $N$과 플랜트 비선형성의 해석적 반경(analyticity radius)에 따라 증가하며, 비선형성의 성장률이 높아짐에 따라 축소됨을 보여준다.
• 정칙성 문제 해결: 절단에 의해 도입된 잔차의 결합이 유일한 약해(mild solution)의 존재를 방해하지 않음을 보여줌으로써, 비선 nonlinear 폐루프 시스템의 정칙성을 해결한다.
• $L^2$ 대안: $L^2$ 노름에 대한 안정성 증명을 부차적 기여로 제시한다. 저자들은 $L^2$ 안정성이 성립하지만, 리프시츠(Lipschitz) 추정의 부분적 대칭화로 인해 더 보수적인 상수를 필요로 하기 때문에 sup-norm 결과가 수학적으로 더 정교하고 실용적으로 더 관련성이 높다고 설명한다.

결과
주요 결과인 **정리 1(Theorem 1)**은 절단된 피드백 $U(t) = K_N[u](1, t)$ 하에서의 폐루프 시스템에 대해 네 가지 성질을 확립한다:

1. 전방 불변성: 상태는 모든 시간 동안 고정된 sup-norm 볼 내에 머문다.
2. 실용적 안정성: 상태는 초기 조건과 절단 오차 $\varepsilon_N(r_0)$에 비례하는 잔차 항에 의해 유계된다.
3. 유한 시간 인력성(Finite-Time Attractivity): 수송 교차 시간($t=1$) 이후, 상태는 절단 차수에 의해 결정되는 잔차 볼 내로 진입하여 그 안에 머문다.
4. 점근적 안정성: 시스템은 class-$\mathcal{KL}$ 추정치를 가지며 원점으로 수렴한다. 잔차 항은 $N$에 따라 $(C_K r_0)^N$으로 기하급수적으로 감소하며, 이는 $N \to \infty$일 때 정확한 안정화 동작이 회복됨을 의미한다.

또한 **정리 2(Theorem 2)**를 제시하여 $L^2$ 노름에서도 이와 유사한 결과를 보여주되, $L^2$ 상수는 더 보수적이며(예: 리프시츠 상수에 $\sqrt{2}$ 인자가 포함됨) 잔차 유계가 최대값이 아닌 가산적(additive)임을 명시한다.

의의 및 주장
본 논문은 놀라울 정도로 단순한 유한 차수 근사가 비선형 PDE 피드백 선형화의 본질을 포착할 수 있다고 주장한다. 저자들은 정확한 피드백 선형화가 이론적으로는 우아하지만 실제로는 실행 불가능하다고 주장한다. 절단 접근법은 정확한 선형화의 상실을 더 작은, 그러나 정량화 가능한 작용 영역으로 보상함으로써 실행 가능한 구현 전략을 제공한다.

저자들은 절단 잔차의 "고차 소멸(higher-order vanishing)" 특성이 실용적 안정성과 점근적 안정성을 화해시키는 핵심 메커니즘임을 강조한다. 상태가 작아짐에 따라 잔차는 무시할 수 있는 수준이 되어, 제어기가 정확한 선형기가 아님에도 불구하고 시스템이 0으로 수렴할 수 있게 한다.

본 논문은 이 연구를 2부 구성의 연구 중 제1부로 위치시킨다. 본 논문은 절단된 제어기에 대한 분석적 보장을 확립하며, 제2부(참조 [5])의 과제는 계산 비용이 많이 드는 커널 평가를 학습된 뉴럴 오퍼레이터(neural-operator) 대리 모델로 대체하여 온라인 PDE 풀링과 중첩 적분의 필요성을 제거하는 것이다. 현재의 연구는 쌍곡형 PDE의 경계 제어에 관한 이론적 프레임워크를 넘어선 실험적 검증이나 구체적인 공학적 응용을 제안하지 않는다.