[논문 리뷰] Existence and exponential stability of a damped wave equation with dynamic boundary conditions and a delay term

Stéphane Gerbi, Belkacem Said‐Houari|arXiv (Cornell University)|2012. 06. 05.

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

한 줄 요약

이 논문은 경계에서 동적 경계 조건, 켈빈-보이트 다짐, 지연 항을 포함하는 감쇠 파동 방정식의 해에 대해 전역 존재성과 지수 안정성을 확립한다. 새로운 리아푸노프 함수를 사용하여, 지연 항의 계수 값이 비지연 항을 초과하더라도 지수 감쇠가 성립함을 증명한다. 이는 강한 다짐 계수 α가 계수의 차이와 기하학적 상수에 따라 정해지는 임계값을 초과할 경우에 성립한다.

ABSTRACT

In this paper we consider a multi-dimensional wave equation with dynamic boundary conditions related to the Kelvin-Voigt damping and a delay term acting on the boundary. If the weight of the delay term in the feedback is less than the weight of the term without delay or if it is greater under an assumption between the damping factor, and the difference of the two weights, we prove the global existence of the solutions. Under the same assumptions, the exponential stability of the system is proved using an appropriate Lyapunov functional. More precisely, we show that even when the weight of the delay is greater than the weight of the damping in the boundary conditions, the strong damping term still provides exponential stability for the system.

연구 동기 및 목표

• 감쇠 파동 방정식에 동적 경계 조건과 경계 지연 항이 포함된 경우의 해에 대한 전역 존재성을 확립하기.
• 지연 항의 계수 값이 비지연 항을 초과할 수 있는 조건 하에서 시스템의 지수 안정성을 분석하기.
• 지연 항이 지배적일 경우에도 강한 켈빈-보이트 다짐이 시스템을 안정화시킬 수 있음을 보여주기, 단 특정한 다짐 계수 조건을 만족할 경우에 한하여.
• 경계 지연 항을 제어할 수 있도록 특화된 리아푸노프 함수를 개발하여 에너지의 지수 감쇠를 보장하기.
• 기존의 경계 지연 시스템 연구를 확장하고 개선하기 위해 추가 다짐과 다른 리아푸노프 구성 방식을 통합하기.

제안 방법

• 켈빈-보이트 다짐과 지연 항을 포함하는 다차원 감쇠 파동 방정식을 동적 경계 조건 하에 수립하기.
• 에너지, 속도, 변형률의 기울기, 그리고 경계 속도의 지연된 역사 정보를 포함하는 리아푸노프 함수를 도입하기.
• 부분 적분과 파르카레 부등식을 사용하여 리아푸노프 함수의 시간 도함수를 추정하기.
• 지연 항과 그 공간 평균을 포함하는 부등식을 적용하여 경계 기여를 제어하기.
• 리아푸노프 함수에 대한 미분 부등식을 유도하여, 지연 항 계수 값이 비지연 항 계수 값보다 작거나 같을 경우와 더불어, 더 큰 경우이지만 다짐 계수에 의해 제한되는 경우 두 가지 상황에서 지수 감쇠를 보여주기.
• ε와 δ를 통한 매개변수 선택 전략을 활용하여 리아푸노프 함수의 도함수가 음의 정부호임을 보장함으로써 지수 안정성을 입증하기.

실험 결과

연구 질문

• RQ1 감쇠 파동 방정식에 동적 경계 조건과 경계 지연 항이 포함된 경우, 어떤 조건에서 해가 전역적으로 존재하는가?
• RQ2 지연 항의 계수 값이 비지연 항의 계수 값을 초과할 경우에도 지수 안정성이 달성될 수 있는가?
• RQ3 지연 항이 지배적일 경우 켈빈-보이트 다짐 항은 시스템의 안정성에 어떻게 영향을 미치는가?
• RQ4 경계 지연이 존재하는 상황에서 지수 감쇠를 보장하는 리아푸노프 함수의 구조는 무엇인가?
• RQ5 제안된 안정성 조건은 기존 문헌, 특히 니카이즈와 피그노티의 결과와 비교해 볼 때 어떻게 다른가?

주요 결과

• 지연 항 계수 값이 비지연 항 계수 값보다 초과하지 않는 조건 하에서, 동적 경계 조건과 지연 항을 포함하는 감쇠 파동 방정식의 해에 대해 전역 존재성이 증명된다.
• 지연 항 계수 값이 비지연 항 계수 값을 초과할 경우, 다짐 계수 α가 (μ₂ − μ₁)B²를 초과할 경우에도 전역 존재성이 유지된다. 여기서 B는 파르카레 부등식과 관련된 기하학적 상수이다.
• 리아푸노프 함수를 통한 지수 안정성이 확립되며, 에너지가 E(t) ≤ C̄e⁻ᵞᵗ 형태로 감쇠됨을 보여준다. 여기서 C̄와 ḡ는 시간에 무관한 양의 상수이다.
• 지연 항이 지배적일 경우에도 강한 다짐 항이 경계 계수의 차이에 비례하여 충분히 크면 안정성 결과가 유지된다.
• 리아푸노프 함수는 지연된 항을 명시적으로 제어하도록 구성되어 있으며, 이는 이전의 구성 방식과 다름을 보이며 더 강력한 안정성 추정을 가능하게 한다.
• 조건 α > (μ₂ − μ₁)B²는 μ₁ = 0일 경우 니카이즈와 피그노티(2007)에서 구한 안정성 임계값과 일치함을 확인하여, 제한된 경우에 기존 연구와의 일致성을 입증한다.