[논문 리뷰] On Métivier's Lax-Mizohata theorem and extensions to weak defects of hyperbolicity. Part two

Karim Ndoumajoud, Benjamin Texier|arXiv (Cornell University)|2021. 03. 03.

Advanced Mathematical Physics Problems참고 문헌 13인용 수 4

한 줄 요약

이 논문은 강한 또는 약한 초월성 결함을 가진 완전 비선형 쌍곡계에 대해 날카운 불안정성 결과를 확립한다. 주어진 기호의 스펙트럼—특히 일정한 중복도를 가지며 반단순 구조를 띠는 순허수 고유값—을 분석함으로써, 초기 조건의 정(regularity)과 관계없이 $ s > s_0 + d/2 $ 인 $ H^s $ 국소 해가 존재하지 않음을 증명한다. 이는 메티에비에르 및 레너 등에 의한 연구를 파라미etric 미분 정규화 방법과 반복적 정규화 이득을 통한 모순 증명을 통해 확장한다.

ABSTRACT

We continue our study of initial-value problems for fully nonlinear systems exhibiting strong or weak defects of hyperbolicity. We prove that, regardless of the initial Sobolev regularity, the initial-value problem has no local $H^s$ solutions, for $s > s_0 + d/2,$ if the principal symbol has a strong, or even weak, defect of hyperbolicity, and the purely imaginary eigenvalues of the principal symbol are semi-simple and have constant multiplicity. The index $s_0 > 0$ depends on the severity of the defect of hyperbolicity. These results recover and extend previous work from G. Métivier [{\it Remarks on the well posedness of the nonlinear Cauchy problem,} 2005], N.Lerner, Y. Morimoto, C.-J. Xu [{\it Instability of the Cauchy-Kovalevskaya solution for a class of non-linear systems}, 2010] and N. Lerner, T. Nguyen, B. Texier, {\it The onset of instability in first-order systems}, 2018]

연구 동기 및 목표

• 강한 또는 약한 초월성 결함을 가진 시스템으로 메티에비에르의 라크스-미조하타 정리의 확장을 이룩한다.
• 주기호가 순허수 고유값을 일정한 중복도로 가지는 경우 $ H^s $ 해에 대한 날카운 불안정성 임계값을 확립한다.
• 이전의 비선형 초월성 결함 시스템에 대한 불안정성 결과를 통합하고 일반화한다.
• 초기 소볼레프 정규성이 어떤 조건이 되더라도 주기호의 스펙트럼 조건 하에서 불안정성이 발생할 수 있음을 보여준다.
• 쌍곡형, 양/음의 타원형 부분계로 분해된 시스템에서 정규화 효과를 분석하기 위한 정밀한 프레임워크를 제공한다.

제안 방법

• 주기호의 스펙트럼에 기반해 파라선형화된 시스템을 쌍곡형, 양 타원형, 음 타원형 부분계로 분해한다.
• 양 타원형 부분에는 정방향 시간 정규화, 음 타원형 부분에는 역방향 시간 정규화를 파라미etric 미분 연산자를 통해 적용한다.
• 순허수 고유값의 반단순성과 일정한 중복도를 이용해 주파수 간 일관된 스펙트럼 분해를 보장한다.
• 가르딩 부등식과 파라미etric 미분 연산자에 대한 추정을 활용해 각 부분계에서의 정규화 이득을 제어한다.
• 정규화 추론을 반복하여, 존재가 가정된 $ H^s $ 해가 $ s $ 초과의 정규화를 획득해야 하며, 이는 이전의 불안정성 정리와 모순됨을 보인다.
• 특성다항식의 구조와 $ t=0 $ 에서 고유값의 $ C^1 $ 분기 현상을 분석하여, 실수에서 복소수 고유값으로의 스펙트럼 전이를 연구한다.

실험 결과

연구 질문

• RQ1 완전 비선형 시스템의 초기값 문제에서 주기호의 스펙트럼 조건이 어떤 경우에 국소 $ H^s $ 해가 존재하지 않는가?
• RQ2 주기호의 순허수 고유값이 일정한 중복도와 반단순성을 가지면, 결함이 있는 쌍곡계에서 정규화 전파에 어떤 영향을 미치는가?
• RQ3 양 및 음 타원형 부분계에서의 정규화 효과를 체계적으로 활용하여 기존의 불안정성 임계값과의 모순을 도출할 수 있는가?
• RQ4 초기 정규성이 임의일 경우, 불안정성 임계값 $ s > s_0 + d/2 $ 는 어느 정도까지 날카롭게 개선될 수 있는가?
• RQ5 고유값이 실수축에서 분기하는 $ C^1 $ 구조는 비선형 쌍곡계의 적절성에 어떤 영향을 미치는가?

주요 결과

• 주기호가 강한 또는 약한 초월성 결함을 가진 경우, 초기 소볼레프 정규성 $ \sigma > 0 $ 와 관계없이 $ s > s_0 + d/2 $ 인 국소 $ H^s $ 해가 존재하지 않는다.
• 이 결과는 주기호의 순허수 고유값이 반단순하고 $ \mathbb{S}^{d-1} $ 전역에서 일정한 중복도를 가지는 조건 하에서 성립한다.
• $ s_0 > 0 $ 는 초월성 결함의 심각도에 따라 달라지며, 타원형 경우 $ s_0 \geq 2 $ 이다.
• 증명은 쌍곡형 및 타원형 부분계에서의 정규화 이득에 기반하며, 반복 후 [12]의 정리 1과의 모순을 이끌어낸다.
• 정규화 효과는 고유값의 실수부가 양수인 경우 정방향 시간, 음수인 경우 역방향 시간에 작용하여 반복적 정규화 향상을 가능하게 한다.
• 결과는 메티에비에르의 타원성 정리와 레너, 모리모토, 쑹, 뉴겐, 텍시에르의 이전 연구를 복원하고 확장한다.