画像処理の数理における実解析的手法の探索

2003 年度 実績報告書

• 研究課題/領域番号: 15654023
• 研究機関: 九州大学
• 研究代表者: 小川 卓克 九州大学, 大学院・数理学研究院, 助教授 (20224107)
• 研究分担者: 後藤 俊一 金沢大学, 理学部, 助教授 (30225651) ; 長藤 かおり 九州大学, 大学院・数理学研究院, 助教授 (40326426) ; 木村 正人 九州大学, 大学院・数理学研究院, 助教授 (70263358) ; 松本 敏隆 広島大学, 理学部, 助手 (20229561) ; 石井 克幸 神戸大学, 海事科学部, 助教授 (40232227)
• キーワード: Navier-Stokes方程式 / 調和写像流 / Euler方程式 / 解の正則性条件 / Besov空間 / 対数型臨界Sobolev不等式 / 半導体素子方程式 / 複素Ginzburg-Landau方程式

研究概要

研究実績は以下のとおり.
研究代表者の小川は研究協力者の谷内と共同で臨界型の対数形Sobolevの不等式(Brezis-Gallouetの不等式)を斉次,非斉次Besov空間に拡張した。またそれを用いて非圧縮性Navier-Stokes方程式の弱解の一意性判定条件、3次元Euler方程式の解の爆発判定条件の精密化を行った。さらに有界領域のような境界を持つ場合に、これらの不等式を拡張して、Euler方程式の爆発判定条件を拡張した。また同様の不等式をLizorkin-Triebel空間のsemi-normを用いて拡張することにより、BMO-L^∞型の臨界不等式の最良形を得ることができた。これから、調和写像熱流の解に対してある正則性条件を示すことができた。また協力者の黒木場正城と共同で、半導体素子設計のための基礎放物-楕円型方程式系に対する解の適切性を示し、さらに臨界状況における、解の有限時間内の爆発を証明した。特に初期値に対する敷居値条件8πを精密に求めた。また協力者の横田智巳とともに、2次元一般領域における、複素係数を持つGinzburg-Landau型方程式の初期値境界値問題を考えて、その弱解の一意性と、粘性係数にあたる係数の実部を0に近づけたときのいわゆる粘性消滅極限を議論し、従来得られていなかった2次元一般領域の問題に対して弱解が対応する非線形Schrodinger型方程式の解に強収束することを示した。
分担者の松本は空間拡散を考慮した結婚関数を伴った両性人口モデルの弱解の一意存在および微分可能性について論じた。

研究成果

• [文献書誌] T.Ogawa: "Sharp Sobolev inequality of logarithmic type and the limiting regularity condition to the harmonic heat flow."SIAM J.Math.Anal.. 34. 1317-1329 (2003)
• [文献書誌] T.Ogawa, Y.Taniuchi: "A note on blow-up criterion to the 3-D Euler Equations in a bounded domain,"J.Math.Fluid Mech.. 5. 17-23 (2003)
• [文献書誌] T.Ogawa, Y.Taniuchi: "On blow-up criteria of smooth solutions to the 3-D Euler equations in a bounded domain.,"J.Differential Equations. 190. 36-63 (2003)
• [文献書誌] M.Kurokiba, T.Ogawa: "Finite time blow-up of the solution for the nonlinear parabolic equation of the drift diffusion type,"Diff.Integral Equations. 16. 427-452 (2003)
• [文献書誌] H.Kozono, T.Ogawa, Y.Taniuchi: "Navier-Stokes equations in the Besov space near L^∞ and BMO,"Kyushu J.Math.. 57. 303-324 (2003)
• [文献書誌] T.Ogawa, Y.Taniuchi: "The limiting uniquness criterion by vorticity to Navier-Stokes equations in Besov spaces,"Tohoku Math.J.. 56. 65-77 (2004)
• [文献書誌] T.Ogawa, T.Yokota: "Uniquness and inviscid limit to the complex Ginzburg-Landau equation in two dimensional general domain,"Comm.Math.Phys.. 245. 105-121 (2004)
• [文献書誌] K.Nagatou: "A computer-assisted proof on the stability of the Kolmogorov flows of incompressible viscous fluid."Journal of Computational and Applied Mathematics. (in press). (2003)
• [文献書誌] T.Matsumoto, S.Oharu, K.Shitaoka: "On the semigroup approach to age-dependent spatially distributed two sex models of population dynamics,"Adv.Math.Sci.Appl.. 13. 423-442 (2003)