[논문 리뷰] Exponential stability of systems of vector delay differential equations with applications to second order equations

Leonid Berezansky, Elena Braverman|arXiv (Cornell University)|2021. 01. 12.

Numerical methods for differential equations참고 문헌 25인용 수 6

한 줄 요약

이 논문은 벡터 지연 미분방정식 시스템에 대해 행렬 계수와 분포 지연을 가진 새로운 명시적 지수 안정성 조건을 제시한다. Bohl-Perron 정리, 행렬 노름, M-행렬 등의 기법을 사용하여, 2차 벡터 지연 미분방정식에 대한 최초의 명시적 안정성 테스트를 유도하며, 제어 이론과 시간 지연을 가진 동역학계에서의 안정성 분석에 기초를 마련한다.

ABSTRACT

Various results and techniques, such as Bohl-Perron theorem, a priori solution estimates, M-matrices and the matrix measure, are applied to obtain new explicit exponential stability conditions for the system of vector functional differential equations $$ \dot{x_i}(t)=A_i(t)x_i(h_i(t)) +\sum_{j=1}^n \sum_{k=1}^{m_{ij}} B_{ij}^k(t)x_j(h_{ij}^k(t)) + \sum_{j=1}^n\int\limits_{g_{ij}(t)}^t K_{ij}(t,s)x_j(s)ds,~i=1,\dots,n. $$ Here $x_i$ are unknown vector functions, $A_i, B_{ij}^k, K_{ij}$ are matrix functions, $h_i,h_{ij}^k, g_{ij}$ are delayed arguments. Using these results, we deduce explicit exponential stability tests for second order vector delay differential equations.

연구 동기 및 목표

• 행렬 계수와 분포 지연을 가진 1차 벡터 지연 미분방정식 시스템에 대해 명시적 지수 안정성 기준이 부족한 문제를 해결하기 위해.
• 실제 제어 이론에서의 응용이 있는 바람직한 2차 벡터 지연 미분방정식에 대해 안정성 분석을 확장하기 위해.
• 시간 변화 지연과 분포 지연을 가진 선형 및 비선형 2차 시스템에 모두 적용 가능한 일반적인 프레임워크를 개발하기 위해.
• 행렬 노름, M-행렬, 사전 추정치에 기반한 명시적이고 검증 가능한 안정성 조건을 제공하기 위해.
• 집중 지연과 분포 지연 모두에 적용 가능한 체계적인 접근법을 제시하여 功能 미분방정식 이론의 안정성 이론 격차를 메우기 위해.

제안 방법

• 해의 성장률을 적분 부등식을 통해 제한하기 위해 행렬 노름(Logarithmic norm)을 사용한다.
• 비동차 시스템의 해의 $ L^\infty $ 유계성과 동차 시스템의 지수 안정성 간의 연결을 위해 Bohl-Perron 정리를 적용한다.
• 시간 지연 항의 거동를 제어하기 위해 해의 도함수에 대한 사전 추정치를 활용한다.
• 안정성 분석에 필수적인 양성 및 가역성 조건을 확보하기 위해 M-행렬 이론을 활용한다.
• 선형 시스템과의 비교를 통해 안정성 조건을 도출하고, 등가의 1차 시스템으로 변환한다.
• Coppel의 부등식을 적용하여 행렬 노름을 사용해 관련 동차 시스템의 기본 행렬을 추정한다.

실험 결과

연구 질문

• RQ1 행렬 계수와 분포 지연을 가진 1차 벡터 지연 미분방정식 시스템에 대해 어떤 명시적 지수 안정성 조건을 도출할 수 있는가?
• RQ2 시간 변화 지연과 분포 항을 가진 시스템에서 Bohl-Perron 정리는 어떻게 적용되어 지수 안정성을 확립하는가?
• RQ3 분포 지연을 가진 2차 벡터 지연 미분방정식에 대해 지수 안정성의 필수 및 필요 조건은 무엇인가?
• RQ4 기존 문헌의 결과와 비교할 때 제안된 안정성 기준은 강도와 적용 가능성 면에서 어떻게 다른가?
• RQ5 이 프레임워크는 도함수에 지연이 있는 비선형 또는 중립형 2차 시스템으로 확장될 수 있는가?

주요 결과

• 논문은 분포 지연을 가진 2차 벡터 지연 미분방정식에 대해 새로운 지수 안정성 테스트를 수립하였으며, 이 분류에 대해 최초로 명시적이고 검증 가능한 조건을 제공한다.
• 선형 2차 방정식 $ \ddot{x}(t) + A(t)\dot{x}(t) + B(t)x(h(t)) = 0 $ 에 대해, 행렬 노름 $ \mu(-\tilde{A}) < 0 $ 과 $ 2\tilde{A}A - \tilde{A}^2 - 4B $의 노름에 대한 유계 조건을 포함하는 안정성 조건을 도출하였다. 이 조건은 해의 지수 감쇠를 보장한다.
• 정리 4.12의 안정성 조건은 일부 이전 결과와 달리 차원 $ d $ 와 독립적이며, $ d \to \infty $ 로 갈수록 유리해지므로 고차원 시스템에 더 유리하다.
• 스칼라 경우($ d=1 $)에서는 조건이 $ |A^2 - 4B| < A^2 - 4AB\tau $ 로 단순화되며, $ d > 16 $ 일 때 기존 결과의 $ B\tau < A $ 보다 더 날카롭게 작용한다.
• Bohl-Perron 정리와 행렬 노름을 기반으로 한 방법은 비자기 시스템의 경우 르아프노프 함수 방법보다 더 강력하고 일반적인 결과를 도출한다.
• 결과는 다중 유계 지연과 분포 지연을 가진 시스템으로 확장되었으며, 이는 이 프레임워크의 일반성과 더 넓은 지연 미분방정식 클래스에 대한 적용 가능성임을 보여준다.