[논문 리뷰] Well-posedness and exponential decay estimates for a Korteweg-de Vries-Burgers equation with time-delay

Vilmos Komornik, Cristina Pignotti|arXiv (Cornell University)|2019. 06. 06.

Stability and Controllability of Differential EquationsEngineering참고 문헌 22인용 수 19

한 줄 요약

이 논문은 리아푸노프 함수 방법과 셀레그룹 이론을 사용하여 시간 지연 피드백이 있는 코르테웨그–데브리스–버거스 방정식에 대해 잘 정의됨과 동시에 지수 감쇠를 확립한다. 감쇠 계수 $λ_0$와 $λ$에 대한 명시적인 조건—예를 들어 $ \|\beta + \beta_0\|_p < \left(\frac{\alpha_0 - \alpha}{c_p}\right)^{1 - \frac{1}{2p}}$—을 유도하여, 비정상적인 감쇠가 존재하는 경우에도 지수 안정성을 보장하며, 이는 이전 연구에서 요구하던 소형성 가정을 초월한다.

ABSTRACT

We consider the KdV-Burgers equation and its linear version in presence of a delay feedback. We prove well-posedness of the models and exponential decay estimates under appropriate conditions on the damping coefficients. Our arguments rely on a Lyapunov functional approach combined with a step by step procedure and semigroup theory.

연구 동기 및 목표

• 시간 지연 피드백이 있는 코르테웨그–데브리스–버거스 방정식의 잘 정의됨과 장기적 행동을 분석하기 위해.
• 지연 계수 $\lambda$에 대한 소형성 가정이 필요한 이전 방법의 한계를 극복하기 위해.
• 시간 지연이 있는 선형 및 비선형 코르테웨그–데브리스–버거스 방정식에 대해 지수 감쇠 추정을 수립하기 위해.
• 비정상적인 감쇠 계수 $\lambda_0$를 갖는 경우에도 안정성 결과를 일반화하기 위해, 즉 $\lambda_0$가 양수 상한선에 의해 아래로 유계가 아니어도 된다는 점을 고려하여.
• 시간 지연의 불안정성 잠재력에도 불구하고 지수 안정성을 보장하는 $\lambda_0$와 $\lambda$에 대한 명시적이고 정량적인 조건을 제공하기 위해.

제안 방법

• 시간 지연된 항과 지연되지 않은 감쇠 항을 모두 포함하는 에너지 추정을 도출하기 위해 리아푸노프 함수 방법을 사용하였다.
• 초기 자료가 $C([- au,0]; L^2(\mathbb{R}))$에 속할 경우, 공간 $C([- au, +∞); L^2(\mathbb{R}))$에서 잘 정의됨을 입증하기 위해 단계적 절차를 적용하였다.
• 선형화된 모델에 대해 시간 지연이 없는 경우, 강한 연속 셀레그룹의 생성을 확립하기 위해 셀레그룹 이론을 활용하였다.
• 에너지 함수 $\mathcal{E}(t)$는 $\|u(t)\|_{L^2}^2$와 $\|u_x(t)\|_{L^2}^2$의 합으로 정의되며, 이는 감쇠 추적에 사용된다.
• 비선형 항과 지연된 항을 제어하기 위해 헬더 부등식과 얀 부등식을 적용하였으며, 특히 $\|\beta + \beta_0\|_p$와 $\|u\|_{L^{2q}}^2$에 초점을 맞추었다.
• 지수 감쇠를 보장하기 위해 핵심 조건 $\|\beta + \beta_0\|_p < \left(\frac{\alpha_0 - \alpha}{c_p}\right)^{1 - \frac{1}{2p}}$를 도출하였으며, 여기서 $c_p$는 소볼레프 포함 상수이다.

실험 결과

연구 질문

• RQ1 감쇠 계수 $\lambda_0$와 $\lambda$에 대해 어떤 조건이 시간 지연이 있는 코르테웨그–데브리스–버거스 방정식이 유일한 전역 해를 갖는가?
• RQ2 지연되지 않은 감쇠가 비정상적인 경우에도, 시간 지연이 있는 선형 모델에서 $L^2$-노름의 지수 감쇠를 보장할 수 있는가?
• RQ3 시간 지연의 불안정성 효과를 어떻게 상쇄하여 안정성을 확보할 수 있으며, 피드백 계수에 대한 명시적 상한은 무엇인가?
• RQ4 선형 모델에서의 안정성 결과를 비선형 코르테웨그–데브리스–버거스 방정식으로 확장할 수 있는가?
• RQ5 지연 영향의 $L^p$-노름과 관련하여 정확한 정량적 감쇠 속도 $\tilde{\gamma}$는 계수 $\lambda_0$, $\lambda$에 대해 어떻게 표현되는가?

주요 결과

• 초기 자료가 $C([- au,0]; L^2(\mathbb{R}))$에 속할 경우, $\lambda_0, \lambda \in L^\infty(\mathbb{R})$ 조건 하에서 문제 (1.2)는 단계적 셀레그룹 추론을 통해 $C([- au, +∞); L^2(\mathbb{R}))$에서 잘 정의됨을 보였다.
• 조건 $\|\beta + \beta_0\|_p < \left(\frac{\alpha_0 - \alpha}{c_p}\right)^{1 - \frac{1}{2p}}$ 하에서 에너지 $\mathcal{E}(t)$의 지수 감쇠가 확립되었으며, 여기서 $\alpha_0 > \alpha \geq 0$이므로 $\tilde{\gamma} > 0$이 보장된다.
• 감쇠 속도는 명시적으로 $\tilde{\gamma} = \min\left\{2\left(\alpha_0 - \alpha - \frac{2p-1}{2p}\left(\frac{2}{p}\right)^{\frac{1}{2p-1}}\|\beta + \beta_0\|_p^{\frac{2p}{2p-1}}\right), 1\right\}$로 주어지며, 여기서 $p > 1$이다.
• 모든 $t \geq 0$에 대해 에너지 추정 $\mathcal{E}(t) \leq C(u_0)e^{-\tilde{\gamma}t}$이 성립하며, 여기서 $C(u_0)$는 초기 자료에 따라 달라진다.
• 비선형 모델 (1.1)로의 결과 확장이 가능하며, 동일한 조건 하에서 같은 지수 감쇠 추정이 성립한다. 이는 미약한 해 프레임워크를 통해 이루어졌다.
• 이 방법은 이전 연구에서 요구하던 $\|\lambda\|_\infty$의 소형성 가정을 피함으로써, 이를 다른 연구들과 구별한다.