[論文レビュー] 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(0) = \alpha $, $ f'(0) = \beta \geq 0 $, $ f'(\infty) = \lambda $ を満たす一般化された3階非線形境界値問題 $ f''' + f f'' + g(f') = 0 $ を検討する。ここで $ 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.

研究の動機と目的

• 境界層理論に現れる一般化された3階非線形常微分方程式に対して、凹型または凸型解の存在および一意性を確立すること。
• Falkner-Skan、自由対流、混合対流、ストレッチング壁流れといった既存のモデルを、統一的かつ一般化された解析的枠組みで統合すること。
• 解の $ t \to \infty $ における漸近的挙動を分析すること。特に、凸性および正値性の仮定の下で $ f(t) - (\lambda t + \mu) \to 0 $ の収束を特定すること。
• 特定の境界条件を満たす $ g $ に対して、凸型解の非存在を示す十分条件を導出すること。

提案手法

• 著者らは、区間 $[0, \infty)$ 上で定義された3階非線形常微分方程式 $ 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 $ を変数とする2階常微分方程式に帰着させ、単調性および符号の振る舞いを解析可能にする。
• 方程式に $ f'' $ を乗じて積分するというキーテクニックを用い、エネルギー型推定を導出し、$ g $ および $ f $ の逆微分を用いて長期的挙動を分析する。
• 一意性は、2つの異なる解が存在すると仮定し、$ g $ に厳しい条件（特に $ g > 0 $ on $[\beta, \lambda) $ かつ $ g(\lambda) = 0 $）が課された場合にそれらが一致することを示す背理法により証明される。
• 非存在結果は、背理法により導出され、凸型解が存在すると仮定した場合、与えられた $ g $ の制約下で得られる積分式が非正であることは不可能であることを示す。
• 解析は、比較原理および $ g $ の符号解析に依存しており、特に $ g $ が $ \lambda $ で消えるか、$[\beta, \lambda) $ でゼロでないかに注目している。

実験結果

リサーチクエスチョン

• RQ1 関数 $ g $ にどのような条件を課すと、一般化された境界層方程式が一意な凸型または凹型解をもつのか？
• RQ2 解の $ t \to \infty $ における漸近的挙動は何か？特に、差 $ f(t) - (\lambda t + \mu) $ の振る舞いはどうなるか？
• RQ3 $ g(x) \leq x^2 - \lambda x $ といった特定の境界を満たす $ g $ の下で、凸型解の非存在を示せるか？
• RQ4 Falkner-Skan や多孔質媒体内での自由対流・混合対流といった既知のケースは、本結果によってどのように一般化されるか？
• RQ5 $ g $ の符号および単調性は、解の存在および形状にどのように寄与するか？

主な発見

• 関数 $ g $ が $[\beta, \lambda) $ で正であり、$ g(\lambda) = 0 $ であると仮定すると、境界値問題に対して一意な凸型解が存在する。
• このような凸型解に対しては、ある $ \mu > \alpha $ に対して $ \lim_{t \to \infty} \{ f(t) - (\lambda t + \mu) \} = 0 $ が成り立ち、すべての $ 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 $ が無限遠で凸または凹であるか、または $ l = f'(\infty) \neq 0 $ ならば、$ f''(t) \to 0 $ であることが確認される。