[논문 리뷰] Regularity of Leray-Hopf solutions to Navier-Stokes equations (I)-Critical interior regularity in weak spaces

Jian Zhai|ArXiv.org|2006. 11. 30.

Navier-Stokes equation solutions참고 문헌 10인용 수 3

한 줄 요약

이 논문은 3차원 비압축성 나비에-스토크스 방정식의 레일리-호프 솔루션의 임계 정칙성을 약한-L^2(0,T;L^∞(R^3)) 노름에서의 소형 조건 하에 확립한다. 로렌츠 공간에서의 새로운 임bedding 부등식을 도입하고, 디adic 분해와 최대 함수 추정을 통해 회전율 방정식을 분석함으로써, 이 정칙성 조건이 충분히 작은 초기 자료를 가진 경우 전역 정칙성을 보장함을 증명하며, [8]에서 제기된 열린 문제를 해결한다.

ABSTRACT

We consider the interior regularity of Leray-Hopf solutions to Navier-Stokes equations on critical case L^2_w(0,T;L^\infty(R^3)). Particularly, an open problem proposed in [KK] was solved.

연구 동기 및 목표

• 3차원 비압축성 나비에-스토크스 방정식의 레일리-호프 솔루션에 대한 약한 공간에서의 임계 정칙성에 관한 열린 문제를 해결하기 위해.
• 약한-L^2(0,T;L^∞(R^3)) 노름에서의 소형 조건이 솔루션의 전역 정칙성을 보장함을 확립하기 위해.
• 비선형 항을 회전율 방정식에서 제어할 수 있는 새로운 로렌츠 공간 내 임베딩 부등식을 개발하기 위해.
• 이전의 로렌츠 공간 내 정칙성 결과를 약한-L^∞(R^3)과 약한-L^2(0,T)를 포함하는 임계 케이스로 확장하기 위해.

제안 방법

• 로렌츠 공간 내에서 새로운 임베딩 부등식을 도입하여, 특히 $ L^{2,∞}(0,1) \times V(Q) $ 에서 비선형 상호작용을 제어한다.
• 리틀우드-파일즈 디adic 분해를 사용하여 속도 및 회전율 장의 주파수 성분을 국소화한다.
• 최대 함수 추정과 하디-영 부등식을 적용하여 디adic 주파수 상호작용의 합을 제어한다.
• 비선형 항을 속도의 약한-L^∞ 노름을 사용하여 제어하는 방식으로 회전율 방정식을 분석한다.
• 주파수 국소화된 $ L^2 $-노름과 $ L^2(0,T;H^1) $-제어를 통해 정의된 $ \|v\|_{Q} $-노름을 사용하여 정칙성을 정량화한다.
• 초기 조건에 대한 유계성 추정을 유도하기 위해 $ \|v\|_{Q}^2 $ 를 $ \|u\|_{L^{2,\infty}(0,1;L^\infty)}\|v\|_{Q}^2 + \|v_0\|_{L^2}^2 $ 에 대해 유계함을 구하여 소형 조건에 도달한다.

실험 결과

연구 질문

• RQ1 약한-L^2(0,T;L^∞(R^3)) 노름에서의 소형 조건 하에 레일리-호프 솔루션의 임계 정칙성을 확립할 수 있는가?
• RQ2 비선형 항을 회전율 방정식에서 제어할 수 있는 새로운 로렌츠 공간 내 임베딩 부등식이 존재하는가?
• RQ3 논문 [8]에서 제기된 약한 공간 내 국소 정칙성에 관한 열린 문제를 해결할 수 있는가?
• RQ4 만약 $ \|u\|_{L^{2,\infty}(0,T;L^\infty)} $ 가 소형이라면, 레일리-호프 솔루션의 전역 정칙성이 보장되는가?
• RQ5 논문 [T]에서 사용된 방법이 임계 국소 케이스로 확장될 수 있는가? 만약 그렇지 않다면, 새로운 도구가 필요한가?

주요 결과

• 논문은 $ \|u\|_{L^{2,\infty}(0,T;L^\infty(\mathbb{R}^3))} \leq \epsilon $ 를 만족하는 작은 $ \epsilon > 0 $ 이 존재할 경우, 레일리-호프 솔루션 $ u $ 가 $ \mathbb{R}^3 \times (0,T] $ 에서 정칙임을 증명하며, [8]에서 제기된 열린 문제를 해결한다.
• 새로운 로렌츠 공간 내 임베딩 부등식이 확립된다: $ f \in L^{2,\infty}(0,1) $ 과 $ v \in V(Q) $ 에 대해, 합 $ \sum_{q \geq -1} \sum_{j \sim q} \int_0^1 |f(t)| \|\Delta_j v(t)\|_{L^2} \|\nabla \Delta_q v(t)\|_{L^2} dt \leq C \|f\|_{L^{2,\infty}} \|v\|_Q^2 $ 이 성립한다.
• 정칙성 결과는 전체 스케일링 임계 클래스로 확장된다: $ r \in [3,\infty] $ 이고 $ \|u\|_{L^{s}_{w}(0,T;L^{r}_{w}(\mathbb{R}^3))} \leq \epsilon $ 이며 $ \frac{2}{s} + \frac{3}{r} = 1 $ 이면, $ u $ 는 정칙이다.
• 증명은 $ \|v\|_Q^2 \leq C \|u\|_{L^{2,\infty}(0,1;L^\infty)} \|v\|_Q^2 + \|v_0\|_{L^2}^2 $ 를 통해 $ \|v\|_Q $-노름의 사전 추정을 확립하며, 이는 $ \|u\|_{L^{2,\infty}(0,1;L^\infty)} < 1/(2C) $ 일 때 정칙성을 유도한다.
• 결과는 $ |u(x,t)| \leq C / (T-t)^{1/2} $ 가 우측 닫힌 시간 간격에서 성립할 경우, $ u $ 가 $ \mathbb{R}^3 \times (T-R,T] $ 에서 유계이고 정칙임을 시사한다.
• 이전의 접근 방식의 한계를 극복하기 위해 로렌츠 공간 기법과 주파수 국소화를 사용함으로써, 이전 방법이 실패한 임계 국소 케이스를 다룰 수 있게 되었다.