[논문 리뷰] The generalized Caffarelli-Kohn-Nirenberg Theorem for the hyperdissipative Navier-Stokes system

Maria Colombo, Camillo De Lellis외 1명|arXiv (Cornell University)|2017. 12. 19.

Navier-Stokes equation solutions참고 문헌 23인용 수 39

한 줄 요약

이 논문은 $1 < \alpha \leq \frac{5}{4}$ 인 분수 미분 $(-\Delta)^\alpha$ 를 갖는 초분산성 라우리-나비에-스토크스 방정식에 대해 Caffarelli-Kohn-Nirenberg 정규성 정리의 일반화된 형태를 확립한다. 적절한 약한 해의 개념을 도입하고 초과 감쇠 추정을 증명함으로써, 이러한 해의 특이점 집합이 차원 $5 - 4\alpha$ 에서 파라볼릭 하우스도르프 측도가 0임을 보여주며, 고전적 결과를 초분산성 영역으로 확장한다.

ABSTRACT

We introduce a notion of suitable weak solution of the hyperdissipative Navier-Stokes equations and we achieve a corresponding extension of the regularity theory of Caffarelli-Kohn-Nirenberg.

연구 동기 및 목표

• 분수 미분 $1 < \alpha \leq \frac{5}{4}$ 를 갖는 초분산성 나비에-스토크스 방정식에 대해 Caffarelli-Kohn-Nirenberg 정규성 이론을 확장한다. 이 경우 전역적으로 존재하는 고전적 해의 존재성 문제는 여전히 열려 있다.
• 초분산성 설정에 적합한 약한 해의 개념을 정의함으로써, 약한-강한 유일성 보장 및 콤팩턴스와 감쇠 기법의 적용 가능성을 확보한다.
• 이러한 해의 특이점 집합이 차원 $5 - 4\alpha$ 에서 파라볼릭 하우스도르프 측도가 0임을 증명함으로써, 고전적 결과 $\mathcal{H}^1$ 을 초분산성 영역으로 일반화한다.
• 초분산성 영역에서 고전적 해의 폭발 시간에 대한 특이점 집합 크기 문제를 해결하며, $\alpha \in (1, \frac{5}{4}]$ 에서 $\mathcal{H}^{5-4\alpha}$-측도로 0임을 보인다.

제안 방법

• 분수 미분 $(-\Delta)^\alpha$ 를 갖는 초분산성 나비에-스토크스 시스템에 대해 새로운 약한 해의 개념을 도입하여, 약한-강한 유일성과 에너지 추정과의 호환성을 보장한다.
• 적절한 약한 해에 대해 파라볼릭 에너지 부등식을 확립하며, 이는 콤팩턴스와 감쇠 추론에 핵심적이다.
• 특이점 집합이 상대적으로 닫혀 있고, 파라볼릭 하우스도르프 구성에 따라 측도가 통제됨을 보이기 위해 콤팩턴스 추론을 적용한다.
• 파라볼릭 실린더 $Q_r(x_0,t_0)$ 에서 해의 초과 감쇠 추정을 유도하며, 이는 $\varepsilon$-정규성 정리 증명의 핵심이다.
• 확장 문제에서 선형화된 방정식 추정과 파르티션형 부등식을 사용하여, 잠재적 특이점 근처에서 해의 행동을 통제한다.
• 조화 확장 기법과 파oisson 커널 표현을 활용하여 분수 라플라스 연산자와 한 차원 높은 공간에서의 조화 함수 경계 행동을 연결함으로써, 소산항에 대한 정밀한 추정이 가능해진다.

실험 결과

연구 질문

• RQ1 분수 미분 $1 < \alpha \leq \frac{5}{4}$ 를 갖는 초분산성 나비에-스토크스 시스템에 대해 Caffarelli-Kohn-Nirenberg 정규성 정리가 확장될 수 있는가?
• RQ2 초분산성 영역에서 적절한 약한 해에 대해 특이점 집합의 정확한 파라볼릭 하우스도르프 차원은 무엇인가?
• RQ3 고전적 해의 첫 번째 폭발 시간에 대한 특이점 집합이 $\alpha \in (1, \frac{5}{4}]$ 에서 $\mathcal{H}^{5-4\alpha}$-측도로 0인가?
• RQ4 약한-강한 유일성과 콤팩턴스 및 감쇠 기법의 적용을 유지하는 초분산성 시스템에 대해 적절한 약한 해 이론을 구성할 수 있는가?
• RQ5 파라볼릭 스케일링 $r^{2\alpha}$ 가 실린더 $Q_r(x_0,t_0)$ 에서 특이점 집합의 정규성과 측도 이론적 성질에 어떤 영향을 미치는가?

주요 결과

• 논문은 임의의 발산이 없는 초기 자료 $u_0 \in L^2$ 에 대해, $1 < \alpha \leq \frac{5}{4}$ 인 초분산성 나비에-스토크스 시스템에 대해 레일리-호프 약한 해 $(u,p)$ 가 존재하며, 그 특이점 집합 $\mathrm{Sing}\,u$ 가 차원 $5 - 4\alpha$ 에서 파라볼릭 하우스도르프 측도가 0임을 증명한다. 즉, $\mathcal{P}^{5-4\alpha}(\mathrm{Sing}\,u) = 0$ 이다.
• 이 결과는 고전적 Caffarelli-Kohn-Nirenberg 정리($\alpha = 1$) 를 초분산성 경우로 일반화하며, 특이점 집합에 대한 날카로운 차원을 제공한다.
• 이 정리에 따르면, 고전적 해의 첫 번째 폭발 시간에 특이점 집합이 $\mathcal{H}^{5-4\alpha}$-측도로 0임을 의미하며, 이는 $\alpha \in (1, \frac{5}{4}]$ 영역에서 핵심적인 열린 문제를 해결한다.
• $\alpha = \frac{5}{4}$ 인 경우, 결과는 특이점 집합이 최대 가산 집합임을 시사한다 (왜냐하면 $\mathcal{P}^0$ 는 수세기 측도이기 때문이다). 이는 이 경우 전역 정규성 가능성을 시사한다.
• 증명은 초과 감쇠 추정에 기반한 새로운 $\varepsilon$-정규성 정리에 의존하며, 이는 파라볼릭 실린더에서 속도 장의 진동을 통제한다.
• 저자는 분수 라플라스 연산자 $(-\Delta)^\alpha$ 와 상반평면에서 조화 함수의 경계 도함수 사이의 정밀한 연결을 확립하며, 파oisson 커널과 운동량 조건을 통해 정밀한 추정이 가능해진다.