[논문 리뷰] Instability, index theorem, and exponential trichotomy for Linear Hamiltonian PDEs

Zhiwu Lin, Chongchun Zeng|arXiv (Cornell University)|2017. 03. 11.

Advanced Mathematical Physics Problems인용 수 5

한 줄 요약

이 논문은 힐버트 공간에서 선형 해밀턴 PDE에 대한 구조적 분해를 수립하며, 진동군 $ e^{tJL} $에 대한 지수 삼분법을 증명하고, $ L $의 음의 지수를 $ JL $의 일반화된 고유공간의 차원과 연결하는 일반화된 불안정성 인덱스 정리를 도출한다. 이는 연속 스펙트럼 내에 포함된 고유값을 포함한다. 결과적으로, 비유계이고 가역이 아닌 $ J $에 대해서도 고전적 인덱스 정리를 확장하며, 해밀턴 편미분방정식에 의한 스펙트럼 불안정성에 대해 날카로운 조건을 제공한다.

ABSTRACT

Consider a general linear Hamiltonian system $\partial_{t}u=JLu$ in a Hilbert space $X$. We assume that$\ L: X o X^{*}$ induces a bounded and symmetric bi-linear form $\left\langle L\cdot,\cdot ight angle $ on $X$, which has only finitely many negative dimensions $n^{-}(L)$. There is no restriction on the anti-self-dual operator $J: X^{*} \supset D(J) o X$. We first obtain a structural decomposition of $X$ into the direct sum of several closed subspaces so that $L$ is blockwise diagonalized and $JL$ is of upper triangular form, where the blocks are easier to handle. Based on this structure, we first prove the linear exponential trichotomy of $e^{tJL}$. In particular, $e^{tJL}$ has at most algebraic growth in the finite co-dimensional center subspace. Next we prove an instability index theorem to relate $n^{-}\left( L ight) $ and the dimensions of generalized eigenspaces of eigenvalues of$\ JL$, some of which may be embedded in the continuous spectrum. This generalizes and refines previous results, where mostly $J$ was assumed to have a bounded inverse. More explicit information for the indexes with pure imaginary eigenvalues are obtained as well. Moreover, when Hamiltonian perturbations are considered, we give a sharp condition for the structural instability regarding the generation of unstable spectrum from the imaginary axis. Finally, we discuss Hamiltonian PDEs including dispersive long wave models (BBM, KDV and good Boussinesq equations), 2D Euler equation for ideal fluids, and 2D nonlinear Schrödinger equations with nonzero condition at infinity, where our general theory applies to yield stability or instability of some coherent states.

연구 동기 및 목표

• 비유계이고 비가역인 심플렉틱 연산자 $ J $를 갖는 선형 해밀턴 PDE를 분석하기 위한 일반적 프레임워크를 개발하는 것.
• 스펙트럼 분석을 위해 $ L $을 블록 대각형으로 만들고 $ JL $을 상삼각형 형태로 만드는 상태공간의 구조적 분해를 수립하는 것.
• 진동군 $ e^{tJL} $에 대한 지수 삼분법을 증명하여 중심 부분공간에서 최대 다항식 성장이 일어남을 보이는 것.
• 비가역인 $ J $인 경우와 연속 스펙트럼 내에 포함된 고유값을 포함한 경우를 고려하여 불안정성 인덱스 정리를 일반화하는 것.
• 해밀턴 편미분방정식에 의해 허수축에서 불안정 스펙트럼이 발생할 때의 구조적 불안정성에 대해 날카로운 조건을 제공하는 것.

제안 방법

• 스펙트럼 분석을 단순화하기 위해 음의 지수 $ n^-(L) $에 기반한 힐버트 공간 $ X $의 부분공간 분해 $ X_- \oplus \ker L \oplus X_+ $를 도입하는 것.
• 리즈 표현 정리와 $ L $의 유계성에 기반해 등가 내적을 정의하고, $ JL $을 유계 연산자의 변형으로 재구성하는 것.
• 순수 허수 고유값을 다루기 위해 복소화 기법을 적용하고, 복소화된 공간에서 $ \tilde{J}\tilde{L} $의 스펙트럼을 분석하는 것.
• 불변 부분공간 $ X_- $, $ \ker L $, $ X_+ $에서의 역학을 분석하여 지수 삼분법을 증명하고 중심 부분공간에서의 성장이 통제됨을 보이는 것.
• 음의 지수 $ n^-(L) $와 $ JL $의 일반화된 고유공간의 총 차원 사이의 인덱스 수식을 유도하는 것. 이는 순수 허수 고유값에 대응하는 고유공간도 포함한다.
• 해밀턴 편미분방정식에 의한 스펙트럼 안정성 분석을 위해 $ C^0 $-군 이론의 섭동 이론을 적용하여, 특히 허수축에서 불안정 고유값이 분기하는 현상을 분석하는 것.

실험 결과

연구 질문

• RQ1 비유계이거나 비가역인 $ J $를 갖는 선형 해밀턴 시스템 $ \partial_t u = JL u $의 스펙트럼 및 역학적 성질은 어떻게 분석할 수 있는가?
• RQ2 음의 지수 $ n^-(L) $와 $ JL $의 일반화된 고유공간의 차원 사이의 정확한 관계는 무엇이며, 이는 연속 스펙트럼 내에 포함된 고유값을 포함한 경우에도 성립하는가?
• RQ3 해밀턴 편미분방정식이 허수축에서 불안정 스펙트럼을 생성할 조건은 무엇이며, 이를 정확히 어떻게 특성화할 수 있는가?
• RQ4 지수 삼분법 $ e^{tJL} $는 안정, 불안정, 중심 성분으로 역학을 어떻게 분해하는가? 특히 중심 부분공간이 유한 코차원일 경우 어떻게 되는가?
• RQ5 2차형식 $ \langle Lu, v \rangle $는 해밀턴 PDE에서 일관된 상태의 스펙트럼 구조와 안정성에 어떤 역할을 하는가?

주요 결과

• 진동군 $ e^{tJL} $는 지수 삼분법을 갖는다. 중심 부분공간 $ \ker L $에서 최대 다항식 성장이 발생하나, $ \dim \ker L = \infty $인 경우에도 성립한다.
• 음의 지수 $ n^-(L) $와 $ JL $의 일반화된 고유공간의 총 차원 사이의 불안정성 인덱스 정리가 증명되었으며, 이는 연속 스펙트럼 내에 포함된 순수 허수 고유값에 대응하는 고유공간도 포함한다.
• $ L $이 $ X_+ $에서 유계 아래가 아니어도, 약화된 조건 하에서 정교화된 인덱스 공식을 얻을 수 있으며, 이는 이론의 적용 가능성을 확장한다.
• 논문은 구조적 불안정성에 대해 날카로운 조건을 제공한다: 해밀턴 편미분방정식이 허수축에서 불안정 스펙트럼을 생성하는 것은, 오직 그 편미분방정식이 순수 허수 고유값의 일반화된 고유공간 $ E_{i\mu} $에서 $ \langle L \cdot, \cdot \rangle $의 비퇴화성을 깨뜨릴 때에만 성립한다.
• KdV, BBM, 양호한 부시네스크, 2D Euler, 2D NLS와 같은 PDE 모델에 대해, 이론은 고립파나 주기적 이동파와 같은 일관된 상태의 선형 안정성 또는 불안정성에 대해 정확한 기준을 제공한다.
• 복소화된 연산자 $ \tilde{J}\tilde{L} $는 $ (\tilde{J}\tilde{L})^* = -\tilde{L}\tilde{J} $를 만족하며, 그 스펙트럼은 실수축을 중심으로 대칭이다. 이는 순수 허수 스펙트럼 점을 분석하는 데 핵심적이다.