2점5차원 전자 MHD의 불안정성

초록

본 논문은 3차원 자기장이 두 평면 변수에만 의존하는 2.5차원 전자 MHD 모델을 연구한다. Sobolev 공간 (H^{\beta}\times H^{\beta-1}) ((1<\beta<4))에 초기 데이터를 구성하여, 해당 시스템의 해가 짧은 시간 내에 정규화된 Sobolev 노름을 급격히 증가시키거나 공간을 탈출함을 보인다. 이는 해당 차원에서의 전자 MHD가 초임계(quasi‑linear)이며, 드리프트 속도가 Lipschitz가 아닐 때 전송 방정식이 정규성을 잃는 현상을 이용한 새로운 불안정성 증명이다.

상세 분석

논문은 전자 자기유체역학(electron magnetohydrodynamics, EMHD)의 2.5차원 형태, 즉 자기장이 (\mathbf B(x,y,t)=\nabla\times(a(x,y,t)\mathbf e_z)+b(x,y,t)\mathbf e_z) 로 표현되는 경우를 다룬다. 이 경우 (\mathbf B=(a_y,-a_x,b)) 로 쓰여 발산이 자동으로 0이 되며, 원래 3차원 비선형 시스템 (1.1)은 두 개의 스칼라 방정식 (1.3)으로 축소된다. 첫 번째 방정식은 (\partial_t a + \nabla^\perp b\cdot\nabla a =0) 로, 수직 성분 (b) 의 회전이 (a) 를 운반하는 전송 방정식이다. 두 번째 방정식은 (\partial_t b + \nabla^\perp a\cdot\nabla\Delta a =0) 로, 포아송 괄호 ({a,\Delta a}) 형태의 비선형성을 포함한다. 이 구조는 (i) 전송 방정식의 드리프트가 Lipschitz가 아니면 정규성 상실이 일어날 수 있다는 고전적인 결과와 (ii) 두 번째 방정식이 2차원 Euler 방정식의 정적 형태와 동일하다는 점을 활용한다.

주요 아이디어는 초기 데이터 ((a_0,b_0)) 를 고주파 스케일 (\lambda\gg1) 로 조절된 방사형 프로파일 (g,h) 와 각진 진동 (\cos\theta) 로 구성하는 것이다. 구체적으로 (a_0(r,\theta)=\delta\lambda^{1-\beta}g(\lambda r)\cos\theta), (b_0(r,\theta)=\delta\lambda^{2-\beta}h(\lambda r)) 로 잡아 (|a_0|{H^\beta}+|b_0|{H^{\beta-1}}\lesssim\delta) 를 만족한다. 여기서 (\delta) 는 임의로 작은 양이며, (\lambda) 는 고주파 파라미터이다. 이렇게 하면 초기 드리프트 속도 (\mathbf u_0=\nabla^\perp b_0) 가 순수히 각방향 성분만을 갖고, 크기가 (|\mathbf u_0|_{C^1}\approx\delta\lambda^{4-\beta}) 로 크게 증가한다.

그 다음, 실제 해 ((a,b)) 와 비교하기 위해 근사 해 ((\bar a,\bar u)) 를 정의한다. (\bar a) 는 고정된 드리프트 (\mathbf u_0) 아래에서 전송 방정식만 풀어 얻으며, (\bar u) 는 (\bar a) 로부터 유도된 비선형 항을 적분해 만든다. 계산을 통해 (\bar a(t)) 가 시간 (t) 에 따라 (|\bar a(t)|{\dot H^\beta}\sim\delta(1+\delta\lambda^{4-\beta}t)^\beta\lambda^{\beta-\beta}= \delta(1+\delta\lambda^{4-\beta}t)^\beta) 로 성장함을 보인다. 특히 (t_N:=\delta^{-2\beta-1}\lambda^{\beta-4}) 에서 (|\bar a(t_N)|{\dot H^\beta}\sim\delta^{-1}) 가 되므로, 매우 짧은 시간 안에 노름이 (\delta^{-1}) 만큼 팽창한다.

그 후 섹션 4에서 실제 해와 근사 해의 차이 (A=a-\bar a) 를 전송 방정식 형태로 추적한다. 비선형 항에 의해 발생하는 (\mathbf u-\mathbf u_0) 를 고주파 스케일 추정과 그라뉼라 불등을 이용해 (| \mathbf u-\mathbf u_0|{H^{s-2}}) 가 충분히 작게 유지됨을 보인다. 핵심은 (|a(t)|{H^s}) 에 대한 부트스트랩 추정을 수행해, 초기 작은 크기 (\delta\lambda^{s-\beta}) 가 시간 구간 (