[논문 리뷰] Non-uniform Stability of Damped Contraction Semigroups

Ralph Chill, Lassi Paunonen외 3명|arXiv (Cornell University)|2019. 11. 12.

Stability and Controllability of Differential Equations참고 문헌 62인용 수 9

한 줄 요약

이 논문은 $A$가 수축 반군을 생성하고 $B$가 유계일 수 있는 연산자인 형태의 $A - BB^*$로 생성되는 반군에 대해 비균일 안정성을 보장하는 새로운 관측 가능성 유형 조건을 수립한다. 이러한 조건을 바탕으로 고려된 해석적 추정치를 도출함으로써, 1차원 및 2차원에서의 감쇠 파동, 클라인–고든, 비임의 방정식의 해에 대해 정확한 다항수 감쇠 속도를 확보한다.

ABSTRACT

We investigate the stability properties of strongly continuous semigroups generated by operators of the form $A-BB^\ast$, where $A$ is a generator of a contraction semigroup and $B$ is a possibly unbounded operator. Such systems arise naturally in the study of hyperbolic partial differential equations with damping on the boundary or inside the spatial domain. As our main results we present general sufficient conditions for non-uniform stability of the semigroup generated by $A-BB^\ast$ in terms of selected observability-type conditions of the pair $(B^\ast,A)$. We apply the abstract results to obtain rates of energy decay in one-dimensional and two-dimensional wave equations, a damped fractional Klein--Gordon equation and a weakly damped beam equation.

연구 동기 및 목표

• 수축 반군을 생성하는 $A$와 유계일 수 있는 $B$에 대해 $A - BB^*$로 생성되는 반군의 비균일 안정성을 특성화하는 것.
• 쌍 $(B^*, A)$의 관측 가능성 성질과 감쇠 진화 방정식 해의 감쇠 속도 사이의 격차를 메우는 것.
• 기존의 지수적 및 강한 안정성 결과를 다항수(비균일) 안정성의 맥락으로 확장하는 것.
• 정확한 감쇠 추정치를 도출하는 일반적이고 검증 가능한 조건들—예를 들어 정량화된 근사 관측 가능성과 웨이브패키트 조건—을 제공하는 것.
• 추상적 프레임워크를 실제 PDE에 적용하여 감쇠 파동, 클라인–고든, 비 방정식에 대해 명시적인 감쇠 속도를 도출하는 것.

제안 방법

• $(B^*, A)$에 대한 관측 가능성 유형 조건에 기반한 생성자 $A - BB^*$의 해석적 추정치를 도출하며, 특히 $\|B^*(1+is-A)^{-1}B\| \leq \mu(s)$를 만족하는 함수 $\mu(s)$를 사용한다.
• 비균일 하투스 테스트를 도입하며, 모든 $x \in D(A)$ 및 $s \in \mathbb{R}$에 대해 $\|x\|^2 \leq M(s)\| (is - A)x \|^2 + m(s)\|B^*x\|^2$를 만족하도록 하며, $M, m$은 가측이고 아래로 유계여야 한다.
• 웨이브패키트 조건을 적용: 스펙트럼 부분공간 $\text{WP}_{s,\delta(s)}(A)$에 속하는 모든 $x$에 대해 $\|B^*x\|_U \geq \gamma(s)\|x\|_X$를 만족하며, $\gamma, \delta$는 양수이면서 유계여야 한다.
• 스펙트럼 함수 $J_\alpha$의 역함수를 사용하여 웨이브패키트에 적절한 너비 $\delta(s)$를 결정함으로써 해석적 성장에 대한 통제를 가능하게 한다.
• 기본적인 해석적 추정치를 실제 PDE에 적용하기 위해, 기저가 되는 연산자(예: 라플라스 연산자, 비라플라스 연산자)의 스펙트럼 구조를 식별함으로써 $A$, $B$를 식별한다.
• 관계 $\|(is - A_B)^{-1}\| \lesssim (1 + |s|)^{\kappa}$를 통해 감쇠 속도를 확립하며, 이는 함수 $N$이 양의 증가성을 가지는 조건에서 다항수 감쇠 $\|x(t)\| \lesssim N^{-1}(t)$로 이어진다.

실험 결과

연구 질문

• RQ1 쌍 $(B^*, A)$에 대해 어떤 조건이 $A - BB^*$로 생성되는 반군 $T_B(t)$의 비균일 안정성을 보장하는가?
• RQ2 관측 가능성 유형 조건을 어떻게 강화하여 감쇠 PDE 해의 정확한 다항수 감쇠 속도를 도출할 수 있는가?
• RQ3 특히 웨이브패키트 국소화와 고유값 분포를 포함한 스펙트럼 구조가 감쇠 속도에 미치는 영향은 무엇인가?
• RQ4 비균일하게 분포된 고유값을 가진 시스템, 예를 들어 비 방정식과 같은 경우 웨이브패키트 조건을 효과적으로 적용할 수 있는가?
• RQ5 유도된 감쇠 속도가 얼마나 최적인지, 그리고 감쇠 계수의 푸리에 계수에 따라 어떻게 달라지는가?

주요 결과

• 함수 $M(s)$와 $m(s)$를 포함하는 비균일 하투스 테스트는 $\|(is - A_B)^{-1}\| \lesssim (1 + |s|)^{\kappa}$를 보장하며, 이는 해의 다항수 감쇠로 이어진다.
• 1차원 및 2차원 감쇠 파동 방정식의 경우, 웨이브패키트 조건이 적절한 감쇠 조건 하에서 각각 감쇠 속도 $t^{-1}$과 $t^{-1/2}$를 도출한다.
• 감쇠 분수 클라인–고든 방정식의 경우, 감쇠 계수에 대해 $|D^*\phi_n| \gtrsim f(n^2)$를 만족하고 $f^{-1}$이 양의 증가성을 가질 경우 감쇠 속도는 $t^{-1/2}$가 된다.
• 약한 감쇠 비 방정식의 경우, $|D^*\phi_n| \gtrsim f(n^2)$이고 $f^{-1}$이 양의 증가성을 가질 경우 감쇠 속도는 $t^{-1}$이며, 특히 $b(\xi) = \xi^2(1-\xi)$와 같은 특정 감쇠 프로파일에서는 감쇠 속도가 $t^{-1/3}$이 된다.
• 감쇠 계수에 대해 $|D^*\phi_n| \lesssim f(n)$을 만족하는 부분수열 $n_k$가 존재할 경우, 정리 5.5에 따르면 비 방정식의 감쇠 속도 $t^{-1}$는 최적이다.
• 분수 클라인–고든 방정식에 대해 해석적 추정치 $\|(is - A_B)^{-1}\| \lesssim (1 + |s|)^{2(\alpha^{-1} - 1)^{-1}}$가 도출되었으며, 이는 $\alpha = 1/2$일 때 감쇠 속도 $t^{-1/2}$를 유도한다.