[논문 리뷰] On the Shinbrot's criteria for energy equality to Newtonian fluids: A simplified proof, and an extension of the range of application

H. Beirão da Veiga, Jiaqi Yang|arXiv (Cornell University)|2019. 12. 21.

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

한 줄 요약

이 논문은 레일리-호프 솔루션의 나비에-스토크스 방정식에서 에너지 등식을 위한 신브로트의 기준을 린츠-프로디의 $L^4$ 결과로 환원함으로써 단순화된 증명을 제공한다. 또한 이 기준을 $r \in (3,4)$로 확장하여, $u \in L^{r/(r-3)}(0,T; L^r(\Omega))$ 조건이 에너지 등식을 보장함을 보이며, 이 조건은 $r < 4$일 경우 고전적인 $2/p + 2/r = 1$ 조건보다 더 엄격한 조건이지만, 여전히 $r=3$와 $r=\infty$에서 정칙성을 암시한다. 증명은 보간 부등식에 기반하며, 특히 간결하고 통찰력 있는 특징을 지닌다.

ABSTRACT

We show that the classical Shinbrot's criteria to guarantee that a Leray-Hopf solution satisfies the energy equality follows trivially from the $L^4( (0\,,T) imesΩ))$ Lions-Prodi particular case. Moreover we extend Shinbrot's result to space coefficients $ r \in (3,\,4)\,.$ In this last case our condition coincides with Shinbrot condition for $r=4$, but for $r&lt;4$ it is more restrictive than the classical one, $ 2/p + 2/r = 1\,.$ It looks significant that in correspondence to the extreme values $r=3$ and $r=\infty$, and just for these two values, the conditions become respectively $u \in L^\infty(L^3)$ and $u \in L^2(L^\infty)$, which imply regularity by appealing to classical Ladyzhenskaya-Prodi-Serrin (L-P-S) type conditions. However, for values $r\in (3,\infty)$ the L-P-S condition does not apply, even for the more demanding case $\,3

연구 동기 및 목표

• 나비에-스토크스 방정식의 약한 솔루션에서 에너지 등식을 위한 신브로트의 고전적 기준에 대해 더 단순하고 명확한 증명을 제공하는 것.
• 신브로트의 결과를 $r \geq 4$를 초월하여 $r \in (3,4)$ 범위로 확장하는 것. 이 경우 고전적인 조건 $2/p + 2/r = 1$은 더 이상 충분하지 않다.
• 확장된 조건이 $r \in (3,4)$에서 고전적 조건보다 더 엄격함에도 불구하고, 레이즈헨스카야-프로디-세린 조건을 통해 $r=3$과 $r=\infty$에서 정칙성을 암시함을 보여주는 것.
• 특히 $L^\infty(L^2)$와 $L^2(L^6)$ 보간 기법의 중요성을 부각하여, 최소한의 기술적 노력으로 이러한 결과를 도출하는 데 기여한 점을 강조하는 것.

제안 방법

• 보간을 통해 $r \geq 4$인 경우 신브로트의 $L^{2r/(r-2)}(L^r)$ 조건을 $L^\infty(L^2)$와 $L^r(L^r)$ 사이에서 린츠-프로디의 $L^4$ 결과로 환원하는 것.
• 보간 부등식 $\|u\|_{L^4} \leq \|u\|_{L^6}^{3(4-r)/(2(6-r))} \|u\|_{L^r}^{r/(2(6-r))}$ 를 $r \in [3,4]$에 적용하는 것.
• 우리가 제어하고자 하는 $L^4(L^4)$ 노름을 제어하기 위해 지수 $s = (6-r)/(3(4-r))$와 $s' = (6-r)/(2(r-3))$를 사용한 허더의 부등식 적용.
• 새로운 적분 가능성 조건인 $u \in L^{r/(r-3)}(0,T; L^r(\Omega))$ 하에서 $u$의 $L^4(L^4)$ 노름이 유한함을 보여, 에너지 등식을 확립하는 것.
• 신브로트 수 $\theta(p,r) = 2/p + 2/r$ 를 통해 새로운 조건이 고전적인 레이즈헨스카야-프로디-세린 조건과 이전의 $W^{1,q}$-기반 기준과 비교되는 방식을 분석하는 것.

실험 결과

연구 질문

• RQ1 기존의 보간 기법을 활용하여 나비에-스토크스 솔루션에서 에너지 등식을 위한 신브로트의 기준을 더 단순하게 재증명할 수 있는가?
• RQ2 신브로트의 기준은 $r \geq 4$를 초월하여 $r \in (3,4)$ 범위로 확장될 수 있으며, 만약 그렇다면 정확한 적분 가능성 조건은 무엇인가?
• RQ3 새로운 조건이 $r \in (3,4)$에서 고전적인 $2/p + 2/r = 1$ 조건과 레이즈헨스카야-프로디-세린 정칙성 기준에 비해 어떤 강도를 가지는가?
• RQ4 새로운 조건에서 $r=3$과 $r=\infty$의 경계 사례가 왜 기존의 정칙성 조건과 일치하는가? 이는 해공간의 구조에 대해 어떤 의미를 갖는가?

주요 결과

• 고전적인 신브로트 기준은 $u \in L^{2r/(r-2)}(0,T; L^r(\Omega))$ 이고 $r \geq 4$일 때, $L^\infty(L^2)$와 $L^r(L^r)$ 사이의 보간을 통해 린츠-프로디의 $L^4$ 결과로부터 자명하게 유도된다.
• $r \in (3,4]$에 대해 본 논문은 새로운 충분조건을 확립한다: $u \in L^{r/(r-3)}(0,T; L^r(\Omega))$이며, 이 조건은 에너지 등식을 보장하며, $r < 4$일 경우 고전적인 $2/p + 2/r = 1$ 조건보다 더 엄격하다.
• 경계에서 이 조건은 각각 $r=3$일 때 $u \in L^\infty(L^3)$, $r=\infty$일 때 $u \in L^2(L^\infty)$로 축소되며, 이는 모두 레이즈헨스카야-프로디-세린 조건을 통해 정칙성을 암시한다.
• 신브로트 수 $\theta(p,r) = 2/p + 2/r$ 는 $r \geq 4$일 때 1이며, $r \in (3,4]$일 때는 $2 - 4/r$이다. 이는 $r$가 4 이하로 감소함에 따라 조건의 강도가 감소함을 나타낸다.
• 확장된 경우의 증명은 $L^2(L^6)$와 $L^r(L^r)$ 사이의 보간을 거쳐 허더의 부등식을 적용하는 방식이며, 이전의 접근보다 훨씬 단순하다.
• 이 결과는 $r \in (3,4)$ 범위에서 독창적이며, 이전에 $r < 4$인 $L^p(L^r)$ 적분 가능성 조건 하에서 에너지 등식이 성립한다는 것을 보장한 논문은 없었다.