[논문 리뷰] $L^2$ well posed Cauchy Problems and Symmetrizability of First Order Systems

Guy Métivier|arXiv (Cornell University)|2013. 10. 03.

Advanced Mathematical Physics Problems참고 문헌 17인용 수 3

한 줄 요약

이 논문은 1차 선형 연립방정식의 $L^2$ 잘 정의됨을 보장하기 위해 미세국소 대칭화자(microlocal symmetrizer)의 $(t,x,\tau)$에서의 리프시츠 연속성이 충분하다고 규명하였으며, 주어진 매끄러움 정도를 갖는 대칭화자의 존재성과 동일한 매끄러움 정도를 갖는 전체 대칭화자(full symmetrizer)의 존재성이 동치임을 증명하였다. 이 동치성은 시간 반전에 대한 대칭화자 존재성의 불변성을 보장하며, 국소 유일성과 유한 속도 전파를 보장한다.

ABSTRACT

The Cauchy problem for first order system $L(t, x, \\D_t, \\D_x)$ is known to be well posed in $L^2$ when a it admits a microlocal symmetrizer $S(t,x, \\xi)$ which is smooth in $\\xi$ and Lipschitz continuous in $(t, x)$. This paper contains three main results. First we show that a Lipsshitz smoothness globally in $(t,x, \\xi)$ is sufficient. Second, we show that the existence of symmetrizers with a given smoothness is equivalent to the existence of \\emph{full symmetrizers} having the same smoothness. This notion was first introduced in \\cite{FriLa1}. This is the key point to prove the third result that the existence of microlocal symmetrizer is preserved if one changes the direction of time, implying local uniqueness and finite speed of propagation.

연구 동기 및 목표

• 미세국소 대칭화자 $S(t,x,\tau)$의 $(t,x,\tau)$에서의 리프시츠 연속성이 1차 선형 연립방정식의 $L^2$ 잘 정의됨을 보장함을 입증하는 것.
• 주어진 매끄러움 정도를 갖는 대칭화자의 존재성과 동일한 매끄러움 정도를 갖는 전체 대칭화자의 존재성 간의 동치성을 증명하는 것.
• 미세국소 대칭화자의 존재성이 시간 반전에 대해 불변임을 보이고, 이로 인해 국소 유일성과 특이점의 유한 속도 전파가 유도됨을 밝히는 것.
• 강한 쌍곡성과 대칭화자 매끄러움 정도가 대칭이 아닌 경우의 쌍곡계의 잘 정의됨에 미치는 영향을 명확히 하는 것.

제안 방법

• 파동 패킷 국소화와 미세국소 분석을 활용하여 대칭화자 $S(t,x,\tau)$를 포함하는 주요 추정식을 통해 에너지 추정을 유도하는 것.
• 계수의 정규성에 제한이 있는 시스템을 다루기 위해 준미분법과 함수해석학적 계산을 적용하는 것.
• 스펙트럼 프로젝터와 고유값의 연속성 분석을 통해 미세국소 대칭화자와 전체 대칭화자 간의 동치성을 확립하는 것.
• $t \in [0,1]$에 대한 호를 따라 행렬 $J_t$의 경로에서 대칭화자의 양성 유지 목적으로 호 변환(homotopy) 방법을 사용하는 것.
• $\mathbf{S}(\tau,a)$의 유계성과 대칭성, 그리고 $L(\tau,a)$의 핵에 대해 $\mathrm{Re}(\mathbf{S}J u,u)$의 균일한 양성 조건에 기반하는 것.
• 스펙트럼 분해를 통해 전역 대칭화자 $S(a)$를 구성하는 것: $S(a) = \sum_{\tau \in \Sigma(a)} \Pi(\tau,a)^* \mathbf{S}(\tau,a) \Pi(\tau,a)$, 이는 대칭성과 양성을 보장한다.

실험 결과

연구 질문

• RQ1 미세국소 대칭화자 $S(t,x,\tau)$의 $(t,x,\tau)$에서의 리프시츠 연속성이 1차 선형 연립방정식의 $L^2$ 잘 정의됨을 보장하는가?
• RQ2 주어진 매끄러움 정도를 갖는 대칭화자가 존재하면, 동일한 매끄러움 정도를 갖는 전체 대칭화자가 존재하는가?
• RQ3 미세국소 대칭화자의 존재성은 시간 반전에 대해 보존되는가? 그리고 국소 유일성과 특이점의 유한 속도 전파에 어떤 영향을 미치는가?
• RQ4 비정상적 중복 고유값 또는 고유값의 다중성이 일정하지 않은 시스템으로 대칭화자 구성 방법을 확장할 수 있는가?
• RQ5 기호의 강한 쌍곡성과 제한된 정규성의 대칭화자 존재성 간의 정밀한 관계는 무엇인가?

주요 결과

• 미세국소 대칭화자 $S(t,x,\tau)$의 $(t,x,\tau)$에서의 리프시츠 연속성이 초기값 문제의 $L^2$ 잘 정의됨을 보장한다.
• 특정 매끄러움 정도(예: 연속, 리프시츠, $C^\infty$)를 갖는 대칭화자의 존재성은 동일한 매끄러움 정도를 갖는 전체 대칭화자의 존재성과 동치이다.
• 미세국소 대칭화자의 존재성은 시간 반전에 대해 불변이며, 이는 국소 유일성과 특이점의 유한 속도 전파를 의미한다.
• 일반적인 이중 고유값을 갖는 시스템에서는 강한 쌍곡성 조건 하에서 매끄러운 대칭화자가 존재하며, 리프시츠 조건은 날카로운 조건이며, 비리프시츠 대칭화자에 대해 반례가 존재한다.
• 스펙트럼 분해를 통해 구성된 대칭화자 $S(a)$는 $\mathbf{S}(\tau,a)$와 스펙트럼 프로젝터가 연속(또는 리프시츠, $C^\infty$)이면 $a$에 대해 연속(또는 리프시츠, $C^\infty$)이다.
• 핵에 대해 $\mathrm{Re}(\mathbf{S}J u,u) \geq c|u|^2$를 만족하는 양성 조건은 구성된 대칭화자 $S(a)$의 균일 유계성과 균일 양성을 보장한다.