[논문 리뷰] Well-posedness and long time behavior in nonlinear dissipative hyperbolic-like evolutions with critical exponents

Igor Čhuešhov, Irena Lasiecka|arXiv (Cornell University)|2012. 04. 26.

Stability and Controllability of Differential Equations참고 문헌 58인용 수 13

한 줄 요약

이 논문은 소스와 진동에서 임계 및 초임계 비선형성을 가진 비선형 소산성 초구형 편미분방정식에 대해 잘 정의된 문제와 장기적 거동를 확립한다. 상쇄 효과, 조화 분석, 기하학적 방법—특히 가중 에너지 부등식과 보완된 컴팩턴스—를 활용하여 준안정성( quasi-stability)을 증명함으로써, 임계성과 기하학적으로 제약된 진동에도 불구하고 유한차원 전역 초점집합의 존재를 입증한다.

ABSTRACT

These lectures present the analysis of stability and control of long time behavior of PDE models described by nonlinear evolutions of hyperbolic type. Specific examples of the models under consideration include: (i) nonlinear systems of dynamic elasticity: von Karman systems, Berger's equations, Kirchhoff - Boussinesq equations, nonlinear waves (ii) nonlinear flow - structure and fluid - structure interactions, (iii) and nonlinear thermo-elasticity. A characteristic feature of the models under consideration is criticality or super-criticality of sources (with respect to Sobolev's embeddings) along with super-criticality of damping mechanisms which, in addition, may be also geometrically constrained. Our aim is to present several methods relying on cancelations, harmonic analysis and geometric analysis, which enable to handle criticality and also super-criticality in both sources and the damping of the underlined nonlinear PDE. It turns out that if carefully analyzed the nonlinearity can be taken "advantage of" in order to produce implementable damping mechanism. Another goal of these lectures is the understanding of control mechanisms which are geometrically constrained. The final task boils down to showing that appropriately damped system is "quasi-stable" in the sense that any two trajectories approach each other exponentially fast up to a compact term which can grow in time. Showing this property- formulated as quasi-stability estimate -is the key and technically demanding issue that requires suitable tools. These include: weighted energy inequalities, compensated compactness, Carleman's estimates and some elements of microlocal analysis.

연구 동기 및 목표

• 임계 또는 초임계 소스와 진동을 가진 비선형 초구형 편미분방정식에 대해 잘 정의된 문제와 장기적 안정성을 확립하는 것.
• 소보레프 임베딩에서의 임계성과 기하학적으로 제약된 진동에 의해 야기되는 수학적 과제를 다룰 수 있는 분석 도구를 개발하는 것.
• 비선형성이 임계 또는 초임계 영역에서 안정성이 떨어지는 시스템을 효과적이고 구현 가능한 진동 메커니즘으로 전환시킬 수 있음을 보여주는 것.
• 준안정성 프레임워크를 통해 유한차원 전역 초점집합의 존재를 증명하는 것.
• 유체-구조 상호작용, 열탄성, 양자 시스템을 포함한 다양한 모델로 이론을 확장하는 것.

제안 방법

• 고차원 노름에서의 성장과 임계 비선형성을 제어하기 위해 가중 에너지 부등식을 활용한다.
• 초임계 비선형성이 존재하는 상황에서 약한 컴팩턴스를 복원하기 위해 보완된 컴팩턴스와 카르레만 추정을 적용한다.
• 특이점과 임계 영역에서의 정규성 손실을 다루기 위해 마이크로로컬 분석 및 조화 분석 도구를 활용한다.
• 궤적들이 컴팩트 항까지 지수적으로 수렴하는 방식으로, 중심적인 분석 도구로 준안정성 개념을 도입한다.
• 존 발의 에너지 방법과 보완된 컴팩턴스 기법을 조합하여 반군의 점근적 미세성( asymptotic smoothness)을 증명한다.
• 기하학적으로 제약된 고차원 또는 비국소 항을 포함한 모델—예를 들어 기르히호프-부아지에즈 및 양자 자크하로프 시스템—에서 잘 정의된 문제를 위해 세데노의 방법을 응용한다.

실험 결과

연구 질문

• RQ1 초임계 비선형 소스와 진동을 가진 초구형 편미분방정식에 대해 잘 정의된 문제는 어떻게 확립할 수 있는가?
• RQ2 비선형성은 임계 또는 초임계 영역에서 안정성이 떨어지는 시스템을 어떻게 안정화시킬 수 있는가?
• RQ3 기하학적으로 제약된 진동과 임계 비선형성을 가진 시스템에서 전역 초점집합이 존재할 수 있는가?
• RQ4 준안정성 프레임워크는 어떻게 유한차원 장기적 역학을 증명하는 데 기여하는가?
• RQ5 개발된 방법들은 얼마나 광범위하게 유체-구조 상호작용, 열탄성, 양자 편미분방정식 시스템에 일반화될 수 있는가?

주요 결과

• 에너지 추정과 컴팩턴스 추론을 통해 임계 및 초임계 비선형성을 가진 광범위한 초구형 편미분방정식 클래스에 대해 잘 정의된 문제를 확립하였다.
• 가중 에너지 부등식과 보완된 컴팩턴스를 활용하여 준안정성 추정을 증명하였으며, 이는 궤적들이 컴팩트 항까지 지수적으로 수렴함을 보장한다.
• 반디지 플레이트, 기르히호프-부아지에즈 방정식, 임계 진동을 가진 파동 방정식을 포함한 모델에서 유한차원 전역 초점집합이 존재한다.
• 3차원 이하에서의 양자 자크하로프 시스템에 대해서도 전역 초점집합의 존재가 입증되었으며, 고차원 정규화(h²Δ² 항)가 존재하더라도 성립한다.
• 비선형 결합과 진동을 가진 샤뢰딩어-부아지에즈 시스템은 비선형성의 표준 성장 조건 하에서 유한차원 초점집합을 갖는다.
• 유체-구조 상호작용 및 마인드린-티모셴코 빔과 같은 복잡한 시스템에도 이 방법들이 이식 가능하며, 동일한 분석 프레임워크를 통해 잘 정의된 문제와 초점집합 존재성이 확인되었다.