[论文解读] On a general similarity boundary layer equation

Bernard Brighi, Jean-David Hoernel|ArXiv.org|Jan 16, 2006

Differential Equations and Numerical Methods参考文献 34被引用 3

一句话总结

本文研究一个广义的三阶非线性边值问题，$ f''' + f f'' + g(f') = 0 $，边界条件为 $ f(0) = \alpha $，$ f'(0) = \beta \geq 0 $，$ f'(\infty) = \lambda $，其中 $ g $ 是一个给定的连续函数。在 $ g $ 的适当条件下，作者证明了凹解或凸解的存在性与唯一性，建立了渐近行为，并推导出非存在性结果，推广了经典模型如Falkner-Skan方程以及多孔介质中的自由对流与混合对流模型。

ABSTRACT

In this paper we are concerned with the solutions of the differential equation $f'''+ff''+g(f')=0$ on $[0,\infty)$, satisfying the boundary conditions $f(0)=α$, $f'(0)=β\geq 0$, $f'(\infty)=ł$, and where $g$ is some given continuous function. This general boundary value problem includes the Falkner-Skan case, and can be applied, for example, to free or mixed convection in porous medium, or flow adjacent to stretching walls in the context of boundary layer approximation. Under some assumptions on the function $g$, we prove existence and uniqueness of a concave or a convex solution. We also give some results about nonexistence and asymptotic behaviour of the solution.

研究动机与目标

• 建立边界层理论中出现的广义三阶非线性常微分方程的凹解或凸解的存在性与唯一性。
• 将Falkner-Skan、自由对流、混合对流以及拉伸壁面流等现有模型统一并推广至单一分析框架下。
• 分析解在 $ t \to \infty $ 时的渐近行为，特别是当解具有凸性与正性假设时，$ f(t) - (\lambda t + \mu) \to 0 $ 的收敛性。
• 推导凸解非存在的充分条件，扩展已知特定物理解释下的结果。

提出的方法

• 作者在 $[0, \infty)$ 上分析三阶非线性常微分方程 $ f''' + f f'' + g(f') = 0 $，边界条件为 $ f(0) = \alpha $，$ f'(0) = \beta \geq 0 $，$ f'(\infty) = \lambda $。
• 通过变换 $ v(y) = f''(t) $，其中 $ y = f'(t) $，将问题转化为关于 $ v $ 的二阶常微分方程，从而能够研究单调性与符号行为。
• 关键技术包括将方程乘以 $ f'' $ 后积分，导出能量型估计，并利用 $ g $ 与 $ f $ 的反导数分析长期行为。
• 通过反证法证明唯一性：假设存在两个不同的解，并在 $ g > 0 $ 于 $[\beta, \lambda) $ 且 $ g(\lambda) = 0 $ 的严格条件下，证明二者必须重合。
• 非存在性结果通过反证法推导：假设存在凸解，证明在给定的 $ g $ 约束下，所得积分表达式无法为非正。
• 分析依赖于比较原理与 $ g $ 的符号分析，特别关注 $ g $ 在 $ \lambda $ 处是否为零，且在 $[\beta, \lambda) $ 上是否不为零。

实验结果

研究问题

• RQ1 在何种 $ g $ 的条件下，广义边界层方程允许存在唯一的凸解或凹解？
• RQ2 当 $ t \to \infty $ 时，解的渐近行为如何，特别是差值 $ f(t) - (\lambda t + \mu) $ 的行为？
• RQ3 能否在 $ g $ 的特定有界条件下（如 $ g(x) \leq x^2 - \lambda x $）建立凸解的非存在性？
• RQ4 结果如何推广已知情形，如Falkner-Skan、自由对流与多孔介质中的混合对流？
• RQ5 $ g $ 的符号与单调性在决定解的存在性与形状方面起何作用？

主要发现

• 在假设 $ g > 0 $ 于 $[\beta, \lambda) $ 且 $ g(\lambda) = 0 $ 的条件下，边值问题存在唯一的凸解。
• 对于此类凸解，有 $ \lim_{t \to \infty} \{ f(t) - (\lambda t + \mu) \} = 0 $，其中 $ \mu > \alpha $，且对所有 $ t \geq 0 $，满足 $ \lambda t + \alpha \leq f(t) \leq \lambda t + \mu $。
• 建立了非存在性结果：若 $ g(x) \leq x^2 - \lambda x $ 且 $ -\alpha + \max_{x \in [\beta, \lambda]} \{ x^2 - \lambda x - g(x) \} > 0 $，则不存在凸解。
• 结果恢复并扩展了已知的非存在性结论：对于Falkner-Skan情形（$ g(x) = m(1 - x)(1 + x) $，$ \lambda = 1 $），当 $ m \leq -\frac{1}{2} $ 时无凸解；对于混合对流情形（$ g(x) = \frac{2m}{m+1}x(1 - x) $，$ \lambda = 1 $），当 $ -1 < m \leq -\frac{1}{3} $ 时无凸解。
• 解的凹凸性与 $ g $ 的符号直接相关，若 $ g(\mu) = 0 $ 且在某点 $ t_0 $ 满足 $ f'(t_0) = \mu $，$ f''(t_0) = 0 $，则 $ f'' $ 恒为零。
• 该方法证实，当 $ f $ 在无穷远处为定号时，有 $ f''(t) \to 0 $ 作为 $ t \to \infty $，这在 $ f $ 在无穷远处为凸或凹，或 $ l = f'(\infty) \neq 0 $ 时成立。