[논문 리뷰] Regularity in time along the coarse scale flow for the incompressible Euler equations

Philip Isett|arXiv (Cornell University)|2013. 07. 02.

Navier-Stokes equation solutions인용 수 4

한 줄 요약

이 논문은 속도장이 시간에 대해 일관되게 공간에서 $C^{\alpha}$일 때, 압축성 없는 유동 방정식의 약한 해에 대한 입자 궤적의 시간에 대한 호일더 연속성 지수가 $1/(1-\bar{\alpha})$임을 증명한다. 이 결과는 $1/(1-\alpha)$가 정수일 때가 아니면 성립하며, 이는 광역 흐름을 따라 진행되는 적분 도함수와 테일러 전개의 정교한 분석에 기반한다. 이는 고전적인 정규성 결과를 경계 호일더 공간으로 확장하고, 볼록 적합성 구성에서의 제약 조건을 명확히 한다.

ABSTRACT

One of the most remarkable features of known nonstationary solutions to the incompressible Euler equations is the phenomenon known as the Taylor hypothesis, which predicts that coarse scale averages of the velocity carry the fine scale features of the flow. In this work, we develop a time regularity theory for Euler weak solutions based on quantitative expressions of this hypothesis. We assume only that our velocity field is Hölder continuous in the spatial variables, which is well-motivated by problems related to turbulence, but precludes the application of Lagrangian methods or local well-posedness theory. Despite the dramatic lack of well-posedness, we obtain a rich theory of regularity in time for solutions, especially concerning advective derivatives. In particular, any Euler flow of class $v \in L_t^\infty C_x^α$ has continuous advective derivatives of any order less than $\fracα{1-α}$, and every point has a trajectory passing through it that is $C^r$ for all $r < \frac{1}{1-α}$, and one that is $C^\infty$ if $v$ is $C^1$ or $v \in \bigcap_{α< 1} L_t^\infty C_x^α$ has borderline regularity. In a follow up work, we show that all trajectories are of class $C^{1/(1-α)}$ in time whenever $1/(1-α) otin {\mathbb Z}$, whether or not the trajectories are unique.

연구 동기 및 목표

• 최소한의 공간 정규성 가정 하에 압축성 없는 유동 방정식의 약한 해에 대해 입자 궤적의 시간 정규성을 확립하는 것.
• 기존의 궤적 정규성 결과를 $C^{1,\alpha}$ 해를 초월하여 경계에 가까운 $C^{\alpha}$ 경우로 확장하는 것.
• 적분 도함수와 광역 흐름이 궤적과 에너지 프로파일의 정규성에 미치는 영향을 명확히 하는 것.
• 볼록 적합성 구성과 온스라거 추측에 영향을 주는 시간 정규성에 대한 정량적 추정을 제공하는 것.
• 공간 호일더 지수 $\alpha$와 관련하여 에너지 프로파일 정규성의 날카로움을 조사하는 것.

제안 방법

• 세부 스케일 특징를 평균 속도에 의해 이송되는 것으로 모델링하는 타일러 가설에 기반한 시간 정규성 이론을 개발한다.
• 주파수 국소화 $P_{\leq k}$를 통한 광역 흐름 분해를 사용하여 고차 적분 도함수를 분석한다.
• 궤적을 따라 $P_{\leq k}v$의 반복 시간 도함수를 포함하는 나머지 항을 가진 수정된 테일러 전개를 적용한다.
• $k \to \infty$일 때, 잘라낸 테일러 전개의 균일 수렴성을 확립하여 궤적의 $C^{1/(1-\alpha)}$ 정규성을 증명한다.
• 시간에 대해 $C^1$인 함수에서는 약한 적분 도함수와 고전적 적분 도함수가 동치임을 이용하여, 극한에서 고전적 미적분학의 사용을 정당화한다.
• [CET94]와 [IO16]의 추정을 활용하여 궤적의 시간 정규성과 에너지 프로파일의 정규성 간의 연결을 한다.

실험 결과

연구 질문

• RQ1 시간에 대해 일관되게 공간에서만 $C^{\alpha}$인 약한 온도 방정식 해에 대해 입자 궤적의 최적 시간 정규성은 무엇인가?
• RQ2 유일성이나 고전적 해가 존재하지 않을 경우, 고차 적분 도함수가 궤적의 시간 정규성에 어떻게 제약을 가하는가?
• RQ3 볼록 적합성 구성에서 물질 도함수의 추정치가 온도 방정식 자체의 특성 때문인지, 구성의 부산물 때문인지 어느 정도까지 영향을 미치는가?
• RQ4 $\alpha < 1/3$인 온도 유동의 에너지 프로파일은 일반적으로 불규칙한가? 그리고 유계 변동성을 갖지 못할 수 있는가?
• RQ5 $1/(1-\alpha) \notin \mathbb{Z}$일 때, 궤적의 $C^{1/(1-\alpha)}$ 정규성이 날카로운가?

주요 결과

• 시간에 대해 일관되게 공간에서 $C_x^\alpha$인 해 $v \in L_t^\infty C_x^\alpha$의 입자 궤적은 $1/(1-\alpha)$가 정수가 아닐 경우 시간에 대해 $C_t^{1/(1-\alpha)}$에 속한다.
• 궤적의 시간 정규성은 공간 호일더 정규성 $\alpha$에 의해 결정되며, 주어진 조건 하에서 $C^{1/(1-\alpha)}$는 날카로운 정규성 클래스이다.
• 고차 적분 도함수의 존재성과 향상된 정규성은 증명에 필수적이며, 볼록 적합성 기법의 설계에 제약을 가한다.
• 주파수 $\lambda \approx 2^k$에 대한 자연스러운 시간 척도는 $\sim \lambda^{-(1-\alpha)}$이며, 이는 $C^\alpha$ 정규성을 갖는 모든 구성에서 존중되어야 한다.
• $\alpha < 1/3$인 온도 유동의 에너지 프로파일은 일반적으로 불규칙할 것으로 예상되며, 어떤 간격에서도 유계 변동성을 갖지 않으며, 단조적이지 않다.
• 결과는 $1/3$ 이하의 정규성에서 에너지 소산이 불안정함을 확인하며, 난류 흐름에서 속도 변동의 유일한 안정된 척도로 $1/3$이 존재함을 시사한다.