[논문 리뷰] Stability of an abstract-wave equation with delay and a Kelvin-Voigt damping

Kaïs Ammari, Serge Nicaise외 1명|arXiv (Cornell University)|2014. 08. 26.

Stability and Controllability of Differential Equations참고 문헌 21인용 수 20

한 줄 요약

이 논문은 주파수 도메인 접근법과 스펙트럼 분석을 사용하여 시간 지연과 켈빈-보이트 감쇠를 가진 추상 파동 방정식에 대해 지수 안정성을 확립한다. 지연 $\tau$ 가 감쇠 계수 $a$ 보다 작거나 같을 경우 지수 안정성이 성립하며, 이 조건이 최적임을 보였다.

ABSTRACT

In this paper we consider a stabilization problem for the abstract-wave equation with delay. We prove an exponential stability result for appropriate damping coefficient. The proof of the main result is based on a frequency-domain approach.

연구 동기 및 목표

• 시간 지연이 파동 방정식에서 파급되는 불안정성 영향을 다루며, 이는 매우 작은 지연이라도 해석 가능성 또는 안정성을 파괴할 수 있다.
• 감쇠 계수 $a>0$ 를 가진 켈빈-보이트 감쇠 항 $a\,BB^{*}u'$ 를 도입하여 지연이 존재하는 상황에서도 해석 가능성과 안정성을 복원한다.
• 주파수 도메인 방법을 사용하여 지연이 있는 추상 파동 방정식에 대해 $\tau \leq a$ 조건 하에서 지수 안정성을 확립한다.
• 제시된 프레임워크 내에서 지수 안정성에 대해 조건 $\tau \leq a$ 가 최적이 됨을 증명한다.
• 파동 방정식과 같은 PDE에 적용 가능한 일반적인 추상 프레임워크를 제공한다.

제안 방법

• 지연이 있는 2차 파동 방정식을 보조 변수 $z(\rho,t) = B^{*}u(t - \tau\rho)$ 를 사용하여 1차 시스템으로 변환한다. 여기서 $\rho \in (0,1)$ 이다.
• 새로운 상태 벡터 $U = (u, u', z)^T$ 를 정의하고, 힐버트 공간 $\mathcal{H}$ 에서의 추상 진화 방정식 $U' = \mathcal{A}U$ 로 시스템을 재구성한다.
• 반군 이론을 사용하여 연산자 $\mathcal{A}$ 가 $C_0$-반군을 생성함을 증명함으로써 시스템의 해석 가능성 보장한다.
• 주파수 도메인 접근법을 적용하여 $\mathcal{A}$ 의 스펙트럼을 분석하고, 리소브턴트 노름과 고유값의 행동에 중점을 둔다.
• 정밀한 스펙트럼 분석을 수행하여 $\mathcal{A}$ 의 스펙트럼이 왼쪽 반평면에 포함되어 있고, 무한대에서 리소브턴트가 느리게 증가함을 보였다.
• 정규화된 고유벡터의 수열을 기반으로 한 모순 추론을 사용하여 $\tau \leq a$ 일 때 $\mathcal{A}$ 가 지수 안정 반군을 생성함을 증명하였다.

실험 결과

연구 질문

• RQ1 파동 방정식에서 시간 지연의 불안정성 영향을 켈빈-보이트 감쇠 항을 도입함으로써 상쇄시킬 수 있는가?
• RQ2 지연 $\tau$ 와 감쇠 계수 $a$ 가 어떤 조건일 때 지연이 있는 추상 파동 방정식에서 지수 안정성이 달성되는가?
• RQ3 이 클래스의 시스템에서 지수 안정성에 대해 조건 $\tau \leq a$ 가 최적이 되는가?
• RQ4 켈빈-보이트 감쇠 항의 추가가 지연 존재 시 해석 가능성과 안정성을 어떻게 복원하는가?
• RQ5 주파수 도메인 방법이 지연과 감쇠를 가진 추상 파동 방정식의 안정성 분석에 효과적으로 적용될 수 있는가?

주요 결과

• 시스템 (1.1)–(1.3) 은 힐버트 공간 $\mathcal{H}$ 에서 $\tau \leq a$ 일 때 지수 안정하다. 여기서 $a > 0$ 은 켈빈-보이트 감쇠 계수이다.
• 시스템의 에너지는 지수적으로 감쇠된다: $E(t) \leq M e^{-\omega t} E(0)$, 여기서 $M, \omega > 0$ 이며, $\omega$ 는 $a$, $\tau$, 그리고 스펙트럼 성질에 따라 달라진다.
• 조건 $\tau \leq a$ 는 최적이며, 스펙트럼 분석과 모순 추론을 통해 $\tau > a$ 일 경우 지수 안정성이 성립하지 않음을 보였다.
• 증명은 주파수 도메인 접근법과 무한소 생성자 $\mathcal{A}$ 의 정밀한 스펙트럼 분석을 결합하여 이루어졌으며, 스펙트럼이 왼쪽 반평면에 포함되어 있음을 보였다.
• 반군 이론을 통해 $\mathcal{A} - a_*^{-1}I$ 가 적절한 $a_*$ 에 대해 최대 소산적임을 증명함으로써 해석 가능성은 확보되었다. 이는 $C_0$-반군의 존재를 보장한다.
• 결과는 유한한 영역 $\Omega$ 에서의 구체적 파동 방정식 $u_{tt} - a\Delta u_t - \Delta u(x,t - \tau) = 0$ 에 적용되었으며, 딜레르흐 경계 조건 하에서 $\tau \leq a$ 조건 하에 지수 안정성이 확인되었다.