[논문 리뷰] Liouville-type theorems for the planer stationary MHD equations with growth at infinity

Wendong Wang|arXiv (Cornell University)|2019. 03. 14.

Navier-Stokes equation solutions참고 문헌 18인용 수 4

한 줄 요약

이 논문은 속도에 대한 성장 조건과 자기장에 대한 소형 조건 하에서 2차원 정 steady 불압축 MHD 방정식에 대해 리우빌 유형 정리들을 수립한다. 자기장에 대한 감쇠 조건을 도입하고, 링형 영역에서 국소 에너지 추정을 사용하여, 이러한 조건 하에서 속도와 압력은 일정하고 자기장은 식별적으로 0이 되며, 고전적인 리우빌 결과를 비정상적인 성장 행동을 갖는 MHD 설정으로 확장한다.

ABSTRACT

For the two dimensional stationary MHD equations, we proved that Liouville type theorems hold if the velocity is growing at infinity, where the magnetic field is assumed to be bounded under a smallness condition. The key point is to overcome the nonlinear terms, since no maximum principle holds for the MHD case with respect to the Navier-Stokes equations.

연구 동기 및 목표

• 속도 성장 조건 하에서 나비에-스토크스 방정식의 리우빌 유형 정리를 2차원 정 steady MHD 방정식으로 확장하는 것.
• 비선형 결합으로 인해 최대 원리가 나비에-스토크스 경우와 같이 적용되지 않는 MHD 문제에 도전하는 것.
• 무한대에서 속도 성장이 있을 때조차도 해가 자명(일정한 속도, 0인 자기장)이 되어야 하는 조건을 설정하는 것.
• 이전의 적분 가능성 및 감쇠 조건 결과를 MHD 프레임워크로 일반화하여, 특히 $ \nabla u \in L^q(\mathbb{R}^2) $ 이며 $ 1 < q < \infty $ 인 경우를 다루는 것.

제안 방법

• 자기장에 대한 감쇠 조건 도입: $ |b(x)| \leq c_0(1+|x|)^\beta $ 이며 $ \beta < 0 $, 비선형 항을 에너지 추정에서 제어하기 위해.
• 링형 영역에서 국소 에너지 추정을 사용하여 속도 성장과 $ b \cdot \nabla w $ 및 $ H $에서 유래하는 비영인 비선형성을 다루는 것.
• 가중치가 부여된 소볼레프 및 보간 부등식을 사용하여 소용돌이와 자기장 강도의 $ L^p $ 노름을 제어하는 것.
• 에너지 추정 프레임워크 내에서 커팅함수 $ \phi $ 를 사용하여 분석을 국소화하고 감쇠 추정을 도출하는 것.
• 가가르도-니레버그 부등식과 보조정리 1.4를 활용하여 $ \nabla u \in L^{q_0}(\mathbb{R}^2) $ 에서부터 속도의 점별 감쇠를 유도하는 것.
• 비선형 항을 제어하고 극한에서 수렴을 보장하기 위해 $ \|b\|_{L^1} + \||h|^{1/3}\|_{L^1} \leq \varepsilon_0 $ 에 대한 소형 조건을 부과하는 것.

실험 결과

연구 질문

• RQ1 무한대에서 속도가 성장할 때, 2차원 정 steady MHD 시스템이 자명한 해(일정한 속도, 0인 자기장)만을 갖는 조건은 무엇인가?
• RQ2 속도가 초선형적으로 성장하고 자기장이 작을 때, 나비에-스토크스 방정식에 대한 리우빌 유형 정리는 MHD 경우로 확장될 수 있는가?
• RQ3 성장하는 속도와 유한한 자기장을 갖는 해를 분석할 때, MHD에서 최대 원리가 적용되지 않는 문제를 어떻게 해결할 수 있는가?
• RQ4 소용돌이와 자기장 강도가 무한대에서 0이 되도록 보장하기 위해 필요한 자기장의 소형성 및 감쇠 조건은 무엇인가?
• RQ5 $ \nabla u \in L^q(\mathbb{R}^2) $ 이며 $ 1 < q < \infty $ 인 조건이 MHD 설정에서 리우빌 유형 결과에 대해 날카로운가?

주요 결과

• 속도가 $ |u(x)| \leq c_0(1+|x|)^\alpha $ 를 만족하고 $ \alpha < \frac{1}{3} $ 이며, 자기장이 $ |b(x)| \leq c_0(1+|x|)^\beta $ 를 만족하고 $ \beta < -\alpha $ 이며, $ \|b\|_{L^1} + \||h|^{1/3}\|_{L^1} \leq \varepsilon_0 $ 이며 충분히 작은 $ \varepsilon_0 $ 일 경우, $ u $, $ \pi $ 는 일정하고 $ b \equiv 0 $ 이다.
• 이 결과는 2차원 나비에-스토크스 방정식에 대한 고전적인 리우빌 정리를 MHD 경우로 일반화하며, $ \nabla u \in L^q(\mathbb{R}^2) $ 이면 $ u $ 와 $ \pi $ 가 일정하다는 것을 보여주며, 이 결과는 $ \nabla u \in L^\infty(\mathbb{R}^2) $ 일 경우 성립하지 않기 때문에 날카로운 것으로 밝혀진다.
• 비선형 항 $ b \cdot \nabla w $ 와 $ H $ 를 제어하기 위해 $ \|b\|_{L^1} + \||h|^{1/3}\|_{L^1} $ 에 대한 소형 조건이 필수적이다. 이 조건이 없으면 소용돌이와 자기장 강도의 감쇠 유도가 불가능하다.
• 증명은 $ R \to \infty $ 인 극한에서 $ \nabla(|w|^{q-1}) \equiv 0 $ 과 $ \nabla(|h|^{q-1}) \equiv 0 $ 이 성립함을 보여주며, 이는 $ w \equiv C $, $ h \equiv C $ 를 의미하고, 프로포지션 2.1에 의해 $ C = 0 $ 이므로 해는 자명하다.
• $ \nabla u \in L^{q_0}(\mathbb{R}^2) $ 이며 $ 2 < q_0 < \infty $ 일 경우, 동일한 소형 조건 하에서 자기장과 속도 구배가 모든 $ p \geq q_0 $ 에 대해 $ L^p(\mathbb{R}^2) $ 에 속함을 보여준다.
• 이 결과는 반례가 존재할 때 $ \nabla u \in L^\infty(\mathbb{R}^2) $ 이면 성립하지 않기 때문에 날카로운 것으로 간주된다. 예를 들어 코우엣 흐름은 리우빌 결론을 위반한다.