[논문 리뷰] Sufficient and Necessary Conditions for the fractional Gagliardo-Nirenberg Inequalities and applications to Navier-Stokes and generalized boson equations

Hichem Hajaiej, Luc Molinet외 2명|arXiv (Cornell University)|2010. 04. 24.

Nonlinear Partial Differential Equations참고 문헌 24인용 수 22

한 줄 요약

이 논문은 조화 분석과 이진 분해를 이용하여 동질 베소프 및 트리벨-리조르킨 공간에서 분수계 갈리아르도-니레버그 부등식에 대한 必要하고 충분한 조건을 수립한다. 주요 기여는 임베딩 매개변수의 완전한 특성화이며, 이를 통해 비압축성 나비에-스토크스 해의 폭발 시간에서 임계 $ L^3(\mathbb{R}^3) $ 공간에서의 집중 현상을 증명하고, $ s $, $ G $, $ V $에 대한 적절한 조건 하에서 일반화된 보존 방정식 변분 문제에 대해 회전대칭이고 반경 방향으로 감소하는 최소화자를 존재함을 확립한다.

ABSTRACT

Sufficient and necessary conditions for the generalized Gagliardo-Nirenberg (GN) inequality in Besov spaces and Triebel-Lizorkin spaces are obtained. Applying the GN inequality, we show that the finite-time blowup solutions have concentration phenomena in critical Lebesgue space L^3. Moreover, we consider the minimizer for a class of variational problem by applying the fractional GN inequality.

연구 동기 및 목표

• 동질 베소프 및 트리벨-리조르킨 공간에서 분수계 갈리아르도-니레버그 부등식의 유효성을 위한 필요하고 충분한 조건을 도출하는 것.
• 부등식 유효성과 관련하여 제3의 지수 $ q $ 의 역할을 명확히 하는 것, 특히 척도 및 임베딩 구조와의 관계에서.
• 부등식을 나비에-스토크스 시스템에 적용하여 유한 시간 폭발 시 임계 $ L^3(\mathbb{R}^3) $ 공간에서 해의 집중 현상을 분석하는 것.
• 특정 조건 하에서 $ s $, $ G $, $ V $ 에 대해 일반화된 보존 방정식 시스템의 변분 최소화 문제를 해결하고, 반경 방향으로 감소하는 최소화자의 존재를 증명하는 것.

제안 방법

• 주파수 프로젝터 $ \triangle_k $ 와 부드러운 컷오프 함수 $ \rho_k $ 를 이용한 이진 분해를 통해, $ \tilde{B}^{s}_{p,q} $ 와 $ \tilde{F}^{s}_{p,q} $ 공간에서 노름의 척도와 동차성 분석을 수행한다.
• 척도 분석과 동차성 논증을 통해 필요 조건을 도출하고, 동질 함수 공간의 맥락에서 보간 이론과 원자 분해 기법을 이용하여 충분성을 증명한다.
• 나비에-스토크스 시스템에 부등식을 적용하기 위해 $ L^3(\mathbb{R}^3) $ 에서의 폭발 프로파일을 분석하고, 모순과 최대 시간 연장 논증을 통해 집중을 보여준다.
• 반경 방향 축소와 약한 하향 연속성 원리를 활용한 변분 방법과 컴팩턴스 논증을 통해 제약 조건 $ \norm{u_i}_2^2 = c_i $ 하에서 에너지 함수 $ E(u) $ 의 최소화자 존재성을 증명한다.
• 일반화된 보존 문제에서 비자명한 최소화자의 존재를 위해 조건 $ C^*c < 1/2 $ 가 필수적임을 모순과 에너지 추정을 통해 입증한다.
• 열 전파자 $ H(t) = e^{t\triangle} $ 와 연산자 $ \nabla \tilde{\rm A} $ 의 알려진 추정을 활용하여 나비에-스토크스 고정점 논증에서 비선형 항을 제어한다.

실험 결과

연구 질문

• RQ1 분수계 갈리아르도-니레버그 부등식 $ \norm{u}_{\tilde{B}^s_{p,q}} \triangleq \norm{u}_{\tilde{B}^{s_0}_{p_0,q_0}}^{1-\theta} \norm{u}_{\tilde{B}^{s_1}_{p_1,q_1}}^{\theta} $ 이 동질 베소프 공간에서 성립하기 위한 매개변수 $ p, p_0, p_1, q, q_0, q_1, s, s_0, s_1, \theta $ 에 대한 필요하고 충분한 조건은 무엇인가요?
• RQ2 제3의 지수 $ q, q_0, q_1 $ 는 부등식 유효성에 어떻게 영향을 미치며, 특히 $ s = (1-\theta)s_0 + \theta s_1 $ 인 경우에 어떻게 작용합니까?
• RQ3 나비에-스토크스 방정식의 해는 유한 시간 폭발 시 임계 $ L^3(\mathbb{R}^3) $ 공간에서 집중을 보입니다만, 그렇습니까?
• RQ4 에너지 함수 $ E(u) = \frac{1}{2}\norm{u}_{\tilde{H}^s}^2 - \norm{G(u)V*G(u)}_{L^1} $ 가 $ L^2 $-노름 제약 조건 하에서 반경 방향으로 감소하는 최소화자를 가질 조건은 무엇입니까?

주요 결과

• 부등식 $ \norm{u}_{\tilde{B}^s_{p,q}} \triangleq \norm{u}_{\tilde{B}^{s_0}_{p_0,q_0}}^{1-\theta} \norm{u}_{\tilde{B}^{s_1}_{p_1,q_1}}^{\theta} $ 는 다음 조건이 성립할 때이고 그 때에만 성립한다: $ \frac{n}{p} - s = (1-\theta)\big(\frac{n}{p_0} - s_0\big) + \theta\big(\frac{n}{p_1} - s_1\big) $, $ s \neq s_0 $ 또는 $ s \neq s_1 $, 그리고 $ s \triangleq (1-\theta)s_0 + \theta s_1 $ 이면 $ \frac{1}{q} \triangleq \frac{1-\theta}{q_0} + \frac{\theta}{q_1} $ 가 성립하며, 이는 $ p_0 \neq p_1 $ 이거나 $ p_0 = p_1 $ 인 경우 모두 해당된다.
• \mathbb{R}^3 에서 나비에-스토크스 방정식의 해는 폭발 시간 $ T_m $ 에서 임계 공간 $ L^3(\mathbb{R}^3) $ 에서 집중을 보이며, 최대 시간 연장 논증에서의 모순을 통해 이를 입증하였다.
• $ \norm{u_i}_2^2 = c_i > 0 $ 제약 조건 하에서 에너지 $ E(u) $ 의 최소화 문제는 $ C^*c < 1/2 $ 조건 하에 $ (H^s)^L $ 에서 반경 방향으로 감소하는 최소화자를 가진다. 여기서 $ C^* $ 는 $ G $ 와 $ V $ 에 따라 정의되는 상수이다.
• 비자명한 최소화자의 존재를 위해 조건 $ C^*c < 1/2 $ 가 필수적이다. 만약 $ C^*c \triangleq 1/2 $ 이면, 최소 에너지가 0이 되며, 이는 에너지 함수의 양의 성질에 모순된다.
• 정리 1.2의 분수계 갈리아르도-니레버그 부등식은 문헌에 알려진 모든 정수계 및 분수계 사례를 일반화한다. 이는 [5, 9, 10, 16, 17, 18, 23, 26, 30, 31, 40, 44, 52, 54, 57] 에서의 사례를 포함한다.
• 이 부등식은 베소프 공간 특성화의 추론으로서 분수계 스오볼레프 공간 $ \tilde{H}^s_p $ 에서의 해당 결과를 함의한다.