[논문 리뷰] Boundary stabilization of quasilinear hyperbolic systems of balance laws: Exponential decay for small source terms

Martin Gugat, Vincent Perrollaz외 1명|arXiv (Cornell University)|2017. 09. 28.

Stability and Controllability of Differential Equations참고 문헌 29인용 수 12

한 줄 요약

이 논문은 소스 항목 $\epsilon f$, $\epsilon g$ 가 작은 조건에서, 초기 데이터에 대한 호환 조건을 피하기 위해 동적 경계 조건을 사용하여, 균형 법칙에 대한 비선형 초진동 시스템에 대해 $\ln(\epsilon^{-1})$ 비례하는 감쇠률을 가진 지수 안정성을 확립한다. 핵심 결과는 유한 시간 안정성이 손실된 경우에도 소규모 변화에 대해 강건한 유한 시간 안정성이 유지됨을 보여주며, 유한 시간 수렴이 손실되더라도 지수 수렴이 유지됨을 보여준다.

ABSTRACT

We investigate the long-time behavior of solutions of quasilinear hyperbolic systems with transparent boundary conditions when small source terms are incorporated in the system. Even if the finite-time stability of the system is not preserved, it is shown here that an exponential convergence towards the steady state still holds with a decay rate which is proportional to the logarithm of the amplitude of the source term. The result is stated for a system with dynamical boundary conditions in order to deal with initial data that are free of any compatibility condition.

연구 동기 및 목표

• 유한 시간 안정성이 상실된 경우 비선형 초진동 시스템에 대한 장기적 행동을 조사하기 위해.
• 소스 항목이 도입될 경우 지수 안정성이 유지되는지 여부를 판단하기 위해.
• $2\times2$ 비선형 초진동 시스템이 대각형 형태일 때, 평형 상태로의 지수 수렴을 감쇠율 $\ln(\epsilon^{-1})$ 비례로 확립하기 위해.
• 동적 경계 조건을 사용하여 동일한 조건을 갖는 초기 데이터를 요구하지 않도록 하여 초기 데이터에 대한 호환 조건을 제거하기 위해.
• 선형 시스템에서의 강건성 결과를 소규모 소스 항목이 있는 비선형 초진동 시스템으로 확장하기 위해.

제안 방법

• 초기 데이터에 대한 호환 조건 없이 분석이 가능하도록 하기 위해, 동적 경계 조건을 사용하여 일반적인 초기 데이터를 허용하기 위해.
• 두하멜 공식에 기반한 가중 공간에서 고정점 원리를 적용하여 선형 변형 시스템의 감쇠 추정을 도출하기 위해.
• 선형 시스템에 소규모 변화가 있을 경우 연산자 이론적 방법을 사용하여 지수 안정성을 증명하고 감쇠율 $\sim \ln(\epsilon^{-1})$을 보여주기 위해.
• 리프시츠 공간에서의 사전 추정 및 수렴 논증을 사용하여 선형 결과를 비선형 초진동 시스템으로 확장하기 위해.
• 특성 방법과 약한 공식화 기법을 사용하여 강한 해의 존재성과 유일성을 확립하기 위해.
• 콤���턴스(아스콜리-아르젤라)와 약한-* 수렴을 사용하여 근사 해의 수열에서 극한으로 넘어가기 위해.

실험 결과

연구 질문

• RQ1 소규모 소스 항목이 유한 시간 안정성을 방해할 경우 비선형 초진동 시스템에서 지수 안정성이 유지되는가?
• RQ2 시스템이 소규모 소스 항목에 의해 변형되었을 때, 해가 평형 상태로 수렴하는 감쇠율은 무엇인가?
• RQ3 동적 경계 조건이 동일한 조건을 갖는 경계 조건을 대체하여 일반적인 초기 데이터를 허용할 수 있는가?
• RQ4 변형된 시스템의 감쇠율이 선형 경우와 마찬가지로 $\ln(\epsilon^{-1})$ 비례하는가?
• RQ5 소규모 변화에 대해 유한 시간 안정성이 강건한 성질이 선형 시스템에서 비선형 초진동 시스템으로 확장될 수 있는가?

주요 결과

• 소규모 $\epsilon > 0$ 에 대해, 동적 경계 조건을 갖는 선형 시스템 $\partial_t u + c\partial_x u = \epsilon v$, $\partial_t v - c\partial_x v = \epsilon u$ 의 해는 감쇠율이 $\ln(\epsilon^{-1})$ 비례하는 지수적으로 0으로 수렴한다.
• 감쇠율은 임의의 $\kappa > c/L$ 에 대해 $\kappa \ln(\epsilon^{-1})$ 이하로 바운드되어 있으며, 이는 로그 의존성의 정확성을 보여준다.
• 소규모 소스 항목 $\epsilon f(u,v), \epsilon g(u,v)$ 를 갖는 비선형 초진동 시스템에 대해서는, $\epsilon$ 이 충분히 작을 경우 해가 평형 상태로 감쇠율 $\ln(\epsilon^{-1})$ 비례로 지수 수렴한다.
• 초기 데이터가 평형 상태에 충분히 가까울 경우이며, 동적 경계 조건을 사용함으로써 호환 조건이 필요하지 않다.
• 해는 $\mathrm{Lip}([0,T]\times[0,L])$ 에 속하며, 데이터 노름에 대해 $\|y\|_\infty$, $\|\partial_x y\|_\infty$, $\|\partial_t y\|_\infty$ 에 대한 균일한 바운드를 만족한다.
• 약한-* 수렴과 콤팩턴스를 사용하여 근사 해의 $\mathcal{C}^0$ 수렴을 확립함으로써, 극한이 극한 시스템의 유일한 약한 해임을 보장한다.