[논문 리뷰] On the Endpoint Regularity in Onsager's Conjecture

Philip Isett|arXiv (Cornell University)|2017. 06. 05.

Navier-Stokes equation solutions참고 문헌 27인용 수 6

한 줄 요약

이 논문은 3차원 비압축성 옐러르 방정식의 약한 해를 구축하여 공간-시간 허더 연속성 정(regularity)이 임계 지수 $1/3$에 가까워지도록 하며, 온제거 추측의 끝점에서 에너지 보존이 이루어지지 않음을 보여준다. 빈도 수치 추정과 시간 스케일에서 로그 보정을 포함한 정교한 볼록 적분 기법을 사용하여 이전 결과보다 $C^{1/3}$에 더 가까운 정규성에 도달하였으며, 임계 임계값 이하의 고정된 간격을 피함으로써 성과를 달성한다.

ABSTRACT

Onsager's conjecture states that the conservation of energy may fail for $3D$ incompressible Euler flows with Hölder regularity below $1/3$. This conjecture was recently solved by the author, yet the endpoint case remains an interesting open question with further connections to turbulence theory. In this work, we construct energy non-conserving solutions to the $3D$ incompressible Euler equations with space-time Hölder regularity converging to the critical exponent at small spatial scales and containing the entire range of exponents $[0,1/3)$. Our construction improves the author's previous result towards the endpoint case. To obtain this improvement, we introduce a new method for optimizing the regularity that can be achieved by a convex integration scheme. A crucial point is to avoid power-losses in frequency in the estimates of the iteration. This goal is achieved using localization techniques of \cite{IOnonpd} to modify the convex integration scheme. We also prove results on general solutions at the critical regularity that may not conserve energy. These include a theorem on intermittency stating roughly that energy dissipating solutions cannot have absolute structure functions satisfying the Kolmogorov-Obukhov scaling for any $p > 3$ if their singular supports have space-time Lebesgue measure zero.

연구 동기 및 목표

• 임계 지수 $1/3$ 이하의 고정된 간격 없이, 3차원 비압축성 옐러르 방정식의 약한 해를 $C^{1/3}$에 임의로 가까이 오도록 구성함으로써 온제러 추측의 끝점 사례를 해결하는 것.
• 이전의 볼록 적분 구성에서 지속적으로 존재하던 정규성 간격을 제거함으로써, $1/3$ 이하의 엄밀히 양수인 지수 간격이 없는 문제를 해결하는 것.
• 반복 추정에서 빈도 기반의 파wer 손실을 최소화함으로써 정규성 지수를 최적화하는 새로운 볼록 적분 알고리즘을 개발하는 것.
• 특히 간섭성과 스케일 법칙과의 관계를 고려하여, 임계 정규성 $1/3$에서 에너지 소산 해의 구조를 분석하는 것.
• 공간-시간 측도가 0인 특이 지지 집합을 가진 해가 에너지를 소산시키는 경우, $p>3$에 대해 콜모고로프-오부하코프 스케일 법칙을 만족시킬 수 없음을 증명하는 것.

제안 방법

• 빈도 상호작용을 제어하고 반복 추정에서의 파워 손실을 제거하기 위해 [IO16b]의 국소화 기법을 활용한 수정된 볼록 적분 기법을 도입한다.
• 오차 성장 추적을 위해 가중치 노름 프레임워크 $\mathpzc{h}(t)$를 사용하며, 접합 근사에서 $(\log \widehat{\Xi})^{-1}$ 인자로 시간 스케일 추정을 개선한다.
• 표준 반발산 추정을 대체하여 대칭 반발산 공식을 도입함으로써, 커mutator 추정에서 추가적인 로그 손실을 방지한다.
• 빈도-에너지 수준 업데이트 규칙에서 로그 거듭제곱 $A$를 조정하여 정규성 지수를 최적화하고, 허더 추정에서 주요 상수 $B$를 감소시킨다.
• 반복 과정에서 고주파 수준을 제어하기 위해 리틀우드-파일리 이론을 적용하여 스케일 간 균일한 제어를 확보한다.
• 다음 형태의 정교한 정규성 추정을 유도한다: $|v(t,x+\Delta x) - v(t,x)| \leq C|\Delta x|^{1/3 - B\sqrt{\frac{\log\log|\Delta x|^{-1}}{\log|\Delta x|^{-1}}}}$ 이며, $B=4/3$.

실험 결과

연구 질문

• RQ1 볼록 적분 기법이 임계 지수 이하의 고정된 간격 없이, 3차원 비압축성 옐러르 방정식의 약한 해를 $C^{1/3}$에 임의로 가까이 오도록 구성할 수 있는가?
• RQ2 반복 과정에서 빈도 기반의 파워 손실이 제거된 경우, 볼록 적분을 통해 도달할 수 있는 최적의 정규성은 무엇인가?
• RQ3 특히 간섭성과 스케일 법칙과의 관계를 고려할 때, 임계 정규성 $1/3$에서 에너지 소산 해의 구조는 어떻게 행동하는가?
• RQ4 공간-시간 측도가 0인 특이 지지 집합을 가진 해가 에너지를 소산시키는 경우, $p>3$에 대해 콜모고로프-오부하코프 스케일 법칙을 만족시킬 수 있는가?
• RQ5 시간 스케일과 빈도-에너지 수준에서의 로그 보정은 볼록 적분 해의 정규성을 향상시키는 데 어떤 역할을 하는가?

주요 결과

• 논문은 3차원 비압축성 옐러르 방정식의 약한 해 $v$를 구성하여 $v \in \bigcap_{\alpha < 1/3} C_{t,x}^\alpha$임을 보여주며, 임계 정규성 임계값에서 에너지 보존이 이루어지지 않을 수 있음을 입증한다.
• 해는 날카운 허더 추정을 만족한다: $|v(t,x+\Delta x) - v(t,x)| \leq C|\Delta x|^{1/3 - B\sqrt{\frac{\log\log|\Delta x|^{-1}}{\log|\Delta x|^{-1}}}}$ 이며, $B = 4/3$로 이전의 $B = 2\sqrt{2/3}$보다 향상되었다.
• 개선된 시간 스케일 추정은 접합 근사에서 로그 손실을 $\log \widehat{\Xi}$ 배만큼 감소시켜 반복의 수렴성과 정규성 제어를 향상시킨다.
• 빈도-에너지 수준 업데이트 규칙이 $e_R' \sim (\log \widehat{\Xi})^{3/2} \frac{e_v^{1/2} e_R^{1/2}}{N}$ 로 개선되어 로그 거듭제곱이 증가하고 정규성 간격이 감소한다.
• 에너지 소산 해가 공간-시간 측도가 0인 특이 지지 집합을 가진 경우, 어떤 $p > 3$에 대해서도 콜모고로프-오부하코프 스케일 법칙을 만족시킬 수 없음을 증명하였다.
• 새로운 방법은 이전에 숨겨져 있던 볼록 적분의 장벽을 규명하였으며, 빈도 업데이트에서 로그 거듭제곱 $A = 3/2$가 정규성 상수 $B$를 최소화하는 데 최적임을 밝혔다.