[论文解读] Sufficient and Necessary Conditions for the fractional Gagliardo-Nirenberg Inequalities and applications to Navier-Stokes and generalized boson equations

Hichem Hajaiej, Luc Molinet+2 more|arXiv (Cornell University)|Apr 24, 2010

Nonlinear Partial Differential Equations参考文献 24被引用 22

一句话总结

本文通过调和分析与 dyadic 分解，建立了齐次 Besov 空间与 Triebel-Lizorkin 空间中分数阶 Gagliardo-Nirenberg 不等式成立的必要与充分条件。主要贡献在于对嵌入参数的完整刻画，该结果被应用于证明 Navier-Stokes 解在爆破时刻于临界 $ L^3(\bbR^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.

研究动机与目标

• 推导齐次 Besov 空间与 Triebel-Lizorkin 空间中分数阶 Gagliardo-Nirenberg 不等式成立的必要与充分条件。
• 阐明第三指标 $ q $ 在不等式有效性中的作用，特别是其与尺度变换和嵌入结构的关系。
• 将不等式应用于分析 Navier-Stokes 方程在临界 $ L^3(\bbR^3) $ 空间中有限时间爆破时解的集中行为。
• 求解广义玻色子方程系统的一个变分极小化问题，证明在 $ s $、$ G $ 与 $ V $ 满足特定假设时，存在径向、径向递减的极小化子。

提出的方法

• 通过频率投影算子 $ \triangle_k $ 与光滑截断函数 $ \rho_k $ 进行 dyadic 分解，分析 $ \tilde{B}^{s}_{p,q} $ 与 $ \tilde{F}^{s}_{p,q} $ 空间中范数的尺度性与齐次性。
• 通过尺度分析与齐次性论证推导必要条件，并在齐次函数空间的背景下，利用插值理论与原子分解技术证明充分性。
• 通过分析 $ L^3(\bbR^3) $ 中的爆破轮廓，将不等式应用于 Navier-Stokes 系统，利用反证法与最大时间延拓论证证明集中性。
• 利用变分方法与紧致性论证（通过径向约化与弱下半连续性）证明在约束 $ \norm{u_i}_2^2 = c_i $ 下能量泛函 $ E(u) $ 的极小化子存在性。
• 通过反证法与能量估计，建立广义玻色子问题中非平凡极小化子存在的必要条件 $ C^*c < 1/2 $。
• 利用已知的热传播子 $ H(t) = e^{t\triangle} $ 与算子 $ \nabla \tilde{\rm A} $ 的估计，控制 Navier-Stokes 有限点法中的非线性项。

实验结果

研究问题

• RQ1 在齐次 Besov 空间中，分数阶 Gagliardo-Nirenberg 不等式 $ \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 第三指标 $ q, q_0, q_1 $ 如何影响不等式的有效性，特别是在 $ s = (1-\theta)s_0 + \theta s_1 $ 的情形下？
• RQ3 Navier-Stokes 方程的解在有限时间爆破时是否在临界空间 $ L^3(\bbR^3) $ 中表现出集中现象？
• RQ4 在何种条件下，能量泛函 $ E(u) = \frac{1}{2}\norm{u}_{\tilde{H}^s}^2 - \norm{G(u)V*G(u)}_{L^1} $ 在 $ L^2 $-范数约束下 admits 径向、径向递减的极小化子？

主要发现

• 不等式 $ \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 $ 时，或 $ \frac{1}{q} \triangleq \frac{1-\theta}{q_0} + \frac{\theta}{q_1} $，当 $ p_0 = p_1 $ 时。
• 在 $ \bbR^3 $ 中，Navier-Stokes 方程的解在有限爆破时间 $ T_m $ 处于临界空间 $ L^3(\bbR^3) $ 中表现出集中现象，该结论通过最大时间延拓论证中的反证法得以证明。
• 在条件 $ C^*c < 1/2 $ 下，能量 $ E(u) $ 的极小化问题在约束 $ \norm{u_i}_2^2 = c_i > 0 $ 下于 $ (H^s)^L $ 中 admits 径向、径向递减的极小化子，其中 $ C^* $ 是依赖于 $ G $ 与 $ V $ 的常数。
• 条件 $ C^*c < 1/2 $ 是非平凡极小化子存在的必要条件；若 $ C^*c \triangleq 1/2 $，则下确界能量为零，与能量泛函的正性矛盾。
• 定理 1.2 中的分数阶 Gagliardo-Nirenberg 不等式推广了文献中所有已知的整数与分数阶版本，包括 [5, 9, 10, 16, 17, 18, 23, 26, 30, 31, 40, 44, 52, 54, 57] 中的结果。
• 该不等式作为 Besov 空间刻画的推论，蕴含了相应的分数阶 Sobolev 空间 $ \tilde{H}^s_p $ 中的结果。