[논문 리뷰] Characterisation for Exponential Stability of port-Hamiltonian Systems

Sascha Trostorff, Marcus Waurick|arXiv (Cornell University)|2022. 01. 25.

Control and Stability of Dynamical Systems인용 수 6

한 줄 요약

이 논문은 해밀턴 밀도의 강한 정규성 가정(예: 유계 변동성)에 의존하지 않도록, 비자율 상미분방정식 가족의 기본 해에 대한 균일 유계 조건을 도입하여 포트-해밀토니안 시스템의 지수 안정성에 대한 새로운 특성화를 제공한다. 주요 결과는 미약한 조건 하에서 지수 안정성을 확립하며, 기존 기준을 일반화하고 해밀턴 밀도가 $L_\infty$에 속할 경우에도 안정성 분석이 가능하게 한다.

ABSTRACT

Given an energy-dissipating port-Hamiltonian system, we characterise the exponential decay of the energy via the model ingredients under mild conditions on the Hamiltonian density $\mathcal{H}$. In passing, we obtain generalisations for sufficient criteria in the literature by making regularity requirements for the Hamiltonian density largely obsolete. The key assumption for the characterisation (and thus the sufficient critera) to work is a uniform bound for a family of fundamental solutions for some non-autonomous, finite-dimensional ODEs. Regularity conditions on $\mathcal{H}$ for previously known criteria such as bounded variation are shown to imply the key assumption. Exponentially stable port-Hamiltonian systems with irregular $L_{\infty}$-densities are provided.

연구 동기 및 목표

• 해밀턴 밀도 $\mathcal{H}$ 에 대한 강한 정규성 조건을 요구하지 않고 포트-해밀토니안 시스템의 지수 안정성을 특성화하는 것.
• 정규성 요구 조건을 거의 필요로 하지 않는 방식으로 기존의 지수 안정성에 대한 충분조건을 일반화하는 것.
• 에너지의 지수 감쇠를 보장하는 핵심 가정인 비자율 상미분방정식 시스템의 기본 해에 대한 균일 유계성 조건을 규명하는 것.
• 해밀턴 밀도 $\mathcal{H}$ 가 오직 $L_\infty$에 속할 뿐만 아니라 연속성이나 유계 변동성도 갖지 않을 경우에도 지수 안정성 시스템이 존재함을 보여주는 것.

제안 방법

• 초기 조건 $ \Phi_t(a) = I_d $ 와 함께 $ u'(x) = -\mathrm{i}t P_1^{-1}(\mathcal{H}(x)^{-1} + P_0)u(x) $ 로 정의된 비자율 상미분방정식 시스템을 도입한다.
• 기본 해 $ \Phi_t $ 를 정의하고, 안정성에 대한 핵심 가정으로서 $ t \in \mathbb{R} $ 에서의 $ \Phi_t $ 의 균일 유계성을 요구한다.
• $ C_0 $-반군 이론과 Lumer–Phillips 정리를 활용하여 생성자 $ \mathcal{A} $ 를 통해 지수 안정성을 특성화한다.
• 일반화된 그론발라 타입 부등식(정리 6.12)을 적용하여 상미분방정식의 해 성장률을 추정하고, 이는 $ \mathcal{H}^{-1} $ 의 총 변동성과 연결된다.
• 저정규성 $ \mathcal{H} $ 를 다루기 위해 $ \mathrm{D}_x \mathcal{O} $, 즉 $ \mathcal{O} = \mathcal{H}^{-1} $ 의 분포 도함수 개념을 활용한다.
• 유계 변동성의 존재가 핵심 균일 유계 조건을 유도함을 증명함으로써 이전 결과를 복원하고 확장한다.

실험 결과

연구 질문

• RQ1 해밀턴 밀도 $ \mathcal{H} $ 가 어떤 조건을 만족할 경우 포트-해밀토니안 시스템이 지수 안정성이 되는가?
• RQ2 해밀턴 밀도 $ \mathcal{H} $ 에 대해 유계 변동성 또는 리프시츠 연속성 조건을 안정성 기준에서 완화할 수 있는가?
• RQ3 특정 해밀턴 밀도의 형태에 의존하지 않고 시스템의 구조적 특성에만 기반한 지수 안정성의 특성화가 가능한가?
• RQ4 비자율 상미분방정식 시스템의 기본 해에 대한 균일 유계성이 지수 안정성에 대한 충분조건이자 특성화 조건이 될 수 있는가?
• RQ5 연속성이나 유계 변동성 조건 없이도 $ \mathcal{H} \in L_\infty $ 인 경우에 지수 안정성을 확보할 수 있는가?

주요 결과

• 포트-해밀토니안 시스템의 지수 안정성은 관련 비자율 상미분방정식의 기본 해 가족 $ \Phi_t $ 의 균일 유계성에 의해 특성화된다.
• 핵심 가정인 $ \Phi_t $ 의 균일 유계성은 $ \mathcal{H}^{-1} $ 의 유계 변동성에 의해 유도됨을 보여주어 이전 결과를 일반화한다.
• 논문은 $ \mathcal{H} \in L_\infty $ 이지만 정규성 조건이 매우 약한 포트-해밀토니안 시스템의 예를 구성하여 정규성 조건을 상당히 약화시킬 수 있음을 보여준다.
• 해결 기법은 분포 도함수 표현과 정밀화된 그론발라 타입 부등식을 활용하여 해의 성장률을 통제하는 데 기반한다.
• 기본 해가 균일 유계일 경우에만 해당 특성화가 성립하며, 이는 $ \mathcal{H} $ 의 구체적 형태와는 독립적이다.
• 논문은 [16]의 정리 1.1을 일반화하여 $ \mathcal{H} $ 의 유계 변동성 조건을 제거하고, 이를 더 구조적인 조건인 ODE 흐름 조건으로 대체한다.