[논문 리뷰] Uniform exponential stability of Galerkin approximations for damped wave systems

Herbert Egger, Thomas Kugler|arXiv (Cornell University)|2015. 11. 26.

Advanced Numerical Methods in Computational Mathematics인용 수 5

한 줄 요약

이 논문은 최소한의 정규성 가정 하에, 반감속 파동 시스템의 갈루르킨 근사에 대해 균일한 지수 안정성을 확립한다. 이를 위해, 반연속 및 완전 연속 스킴이 물리적 에너지의 지수 감쇠를 유지함을 증명한다. 분석은 수정된 에너지 추정과 혼합 유한요소 공간에 대한 일반적인 호환성 조건에 기반하며, 공간 및 시간 이산화 매개변수에 대해 균일한 안정성을 보장한다.

ABSTRACT

We consider the numerical approximation of linear damped wave systems by Galerkin approximations in space and appropriate time-stepping schemes. Based on a dissipation estimate for a modified energy, we prove exponential decay of the physical energy on the continuous level provided that the damping is effective everywhere in the domain. The methods of proof allow us to analyze also a class of Galerkin approximations based on a mixed variational formulation of the problem. Uniform exponential stability can be guaranteed for these approximations under a general compatibility condition on the discretization spaces. As a particular example, we discuss the discretization by mixed finite element methods for which we obtain convergence and uniform error estimates under minimal regularity assumptions. We also prove unconditional and uniform exponential stability for the time discretization by certain one-step methods. The validity of the theoretical results as well as the necessity of some of the conditions required for our analysis are demonstrated in numerical tests.

연구 동기 및 목표

• 감쇠 및 해에 대한 최소한의 정규성 가정 하에, 감쇠 파동 시스템의 갈루르킨 근사에 대해 균일한 지수 안정성을 확립하기 위해.
• 공간 및 시간 이산화를 포함한 반연속 및 완전 연속 스킴을 분석하여 에너지 감쇠 성질을 유지하기 위해.
• 감쇠 파동 시스템에 적용된 혼합 유한요소 방법에 대해 균일한 오차 추정 및 안정성 한계를 유도하기 위해.
• 메쉬 크기 및 시간 단계에 대해 안정성 및 수렴 결과가 균일하게 유지됨을 보여주기 위해.
• 이론적 결과를 수치 실험을 통해 검증하여 핵심 분석 조건의 필수성을 확인하기 위해.

제안 방법

• 연속 문제에 대해 소산 추정을 도출하기 위해 수정된 에너지 함수를 사용하여, 모든 에너지 $ E^k(t) $ 가 $ k \geq 0 $ 에 대해 지수 감쇠됨을 증명한다.
• 갈루르킨 근사 공간에 일반적인 호환성 조건을 적용하여, 반연속 에너지의 잘 정의됨과 함께 균일한 지수 감쇠를 보장한다.
• 공간 이산화에 대해 혼합 유한요소 방법을 사용하며, 최소한의 정규성 가정 하에 수렴성 및 균일한 오차 추정을 도출한다.
• 일단계 시간 스텝 스킴(예: 크랭크-니콜슨, 후진 오일러)을 활용하고, 완전 연속 시스템에 대해 조건부 없이 균일한 지수 안정성을 증명한다.
• 이산 에너지 추정과 이산 체계의 얀의 부등식을 활용하여 시간 도함수를 유계화하고 이산 에너지 진화의 성장을 통제한다.
• 이산 에너지 노름 간의 등가성을 확립하고, 귀납법을 사용하여 완전 연속 설정에서 수정된 에너지의 지수 감쇠를 증명한다.

실험 결과

연구 질문

• RQ1 감쇠 매개변수에 대한 최소한의 정규성 가정 하에, 감쇠 파동 시스템의 갈루르킨 근사에 대해 균일한 지수 안정성을 보장할 수 있는가?
• RQ2 속도 및 압력 유한요소 공간 간의 어떤 호환성 조건이 이산 에너지의 균일한 지수 감쇠를 보장하는가?
• RQ3 일단계 시간 적분기법을 사용하는 완전 연속 스킴이 시간 단계 및 메쉬 크기에 대해 균일하게 지수 안정성을 유지하는가?
• RQ4 이론적 오차 추정 및 안정성 한계는 감쇠 매개변수의 하한 및 상한에 어떻게 의존하는가?
• RQ5 수치 실험을 통해 안정성 및 수렴에 대한 이론적 조건이 필수적인가를 검증할 수 있는가?

주요 결과

• 감쇠 $ a(x) $ 가 균일하게 양수일 경우, 연속 감쇠 파동 시스템은 모든 에너지 $ E^k(t) $ 가 $ k \geq 0 $ 에 대해 균일하게 지수 감쇠됨을 보여주며, 이는 물리적 에너지 $ E^0(t) $ 를 포함한다.
• 갈루르킨 근사 공간에 대한 일반적인 호환성 조건은 잘 정의된 문제와 모든 $ k \geq 0 $ 에 대해 반연속 에너지의 균일한 지수 감쇠를 보장한다.
• 혼합 유한요소 방법은 최소한의 정규성 가정 하에 균일한 오차 추정 및 조건부 없이 균일한 지수 안정성을 완전 연속 스킴에 대해 보장한다.
• 일부 일단계 방법(예: 크랭크-니콜슨, 후진 오일러)에 의한 시간 이산화가 시간 단계 크기와 무관하게 균일한 지수 안정성을 유지한다.
• 이산 에너지 감쇠를 증명하기 위해 수정된 에너지 함수 $ E_{h,\varepsilon}^{1,n} $ 를 구성하였으며, 감쇠율 $ \varepsilon_0 > 0 $ 을 확보하여 $ E_{h,\varepsilon}^{1,n} \leq e^{-\varepsilon\tau/3} E_{h,\varepsilon}^{1,n-1} $ 를 도출함으로써 지수 감쇠를 보장한다.
• 수치 실험을 통해 이론적 조건의 필수성을 확인하고, 분석에서 예측한 균일한 안정성 및 수렴 속도를 검증한다.