KOZONO, Hideo

写真a

Affiliation

Faculty of Science and Engineering, School of Fundamental Science and Engineering

Job title

Professor

Concurrent Post 【 display / non-display

  • Faculty of Science and Engineering   Graduate School of Fundamental Science and Engineering

Research Institute 【 display / non-display

  • 2020
    -
    2022

    理工学術院総合研究所   兼任研究員

Degree 【 display / non-display

  • 博士

 

Papers 【 display / non-display

  • Existence of strong solutions and decay of turbulent solutions of Navier-Stokes flow with nonzero Dirichlet boundary data

    Reinhard Farwig, Hideo Kozono, David Wegmann

    JOURNAL OF MATHEMATICAL ANALYSIS AND APPLICATIONS   453 ( 1 ) 271 - 286  2017.09  [Refereed]

     View Summary

    Recently, Leray's problem of the L-2-decay of a special weak solution to the Navier Stokes equations with nonhomogeneous boundary values was studied by the authors, exploiting properties of the approximate solutions converging to this solution. In this paper this result is generalized to the case of an arbitrary weak solution satisfying the strong energy inequality. (C) 2017 Elsevier Inc. All rights reserved.

    DOI

  • Hadamard variational formula for eigenvalues of the Stokes equations and its application

    Shuichi Jimbo, Hideo Kozono, Yoshiaki Teramoto, Erika Ushikoshi

    MATHEMATISCHE ANNALEN   368 ( 1-2 ) 877 - 884  2017.06  [Refereed]

     View Summary

    Based on the explicit representation of the Hadamard variational formula [1] for eigenvalues of the Stokes equations, we investigate the geometry of the domain in R-3. It turns out that if the first variation of some eigenvalue of the Stokes equations for all volume preserving perturbations vanishes, then the domain is necessarily diffeomorphic to the 2-dimensional torus T-2.

    DOI

  • Asymptotic behavior of radially symmetric solutions for a quasilinear hyperbolic fluid model in higher dimensions

    Itsuko Hashimoto, Hideo Kozono

    JOURNAL OF DIFFERENTIAL EQUATIONS   262 ( 10 ) 5133 - 5159  2017.05  [Refereed]

     View Summary

    We consider the large time behavior of the radially symmetric solution to the equation for a quasilinear hyperbolic model in the exterior domain of a ball in general space dimensions. In the previous paper [2], we proved the asymptotic stability of the stationary wave of the Burgers equations in the same exterior domain when the solution is also radially symmetric. On the other hand, in the 1D-case, a similar asymptotic structure as above to the damped wave equation with a convection term has been established by Ueda [10] and Ueda Kawashima [11]. Assuming a certain condition on the boundary data on the ball and the behavior at infinity of the fluid, we shall prove that the stationary wave of our quasilinear hyperbolic model is asymptotically stable. The weighted L-2-energy method plays a crucial role in removing such a restriction on the sub-characteristic condition on the stationary wave. (C) 2017 Elsevier Inc. All rights reserved.

    DOI

  • A remark on Liouville-type theorems for the stationary Navier-Stokes equations in three space dimensions

    Hideo Kozono, Yutaka Terasawa, Yuta Wakasugi

    JOURNAL OF FUNCTIONAL ANALYSIS   272 ( 2 ) 804 - 818  2017.01  [Refereed]

     View Summary

    Consider the 3D homogeneous stationary Navier-Stokes equations in the whole space R-3 We deal with solutions vanishing at infinity in the class of the fmite Dirichlet integral. By means of quantities having the same scaling property as the Dirichlet integral, we establish new a priori estimates. As an application, we prove the Liouville theorem in the marginal case of scaling invariance. (C) 2016 Elsevier Inc. All rights reserved.

    DOI

  • Existence and uniqueness theorem on mild solutions to the Keller-Segel system coupled with the Navier-Stokes fluid

    Hideo Kozono, Masanari Miura, Yoshie Sugiyama

    JOURNAL OF FUNCTIONAL ANALYSIS   270 ( 5 ) 1663 - 1683  2016.03  [Refereed]

     View Summary

    We consider the Keller Segel system coupled with the Navier Stokes fluid in the whole space, and prove the existence of global mild solutions with the small initial data in the scaling invariant space. Our method is based on the implicit function theorem which yields necessarily continuous dependence of solutions for the initial data. As a byproduct, we show the asymptotic stability of solutions as the time goes to infinity. Since we may deal with the initial data in the weak LP-spaces, the existence of self-similar solutions provided the initial data are small homogeneous functions. (C) 2015 Elsevier Inc. All rights reserved.

    DOI

display all >>

Research Projects 【 display / non-display

  • Modern Mathematical Analysis for the Fluid Dynamics

    Project Year :

    2019.02
    -
    2023.03
     

  • New development of mathematical theory of turbulence by collaboration of the nonlinear analysis and computational fluid dynamics

    Project Year :

    2016.05
    -
    2021.03
     

  • Research of Navier-Stokes equations in undounded domains by real analysis and the energy method

    Project Year :

    2013.04
    -
    2017.03
     

     View Summary

    For the Boussinesq equations, we established the unique existence of the solutions, and obtained the asymptotic behavior up to the second order.Besides, for the stationary Navier-Stokes euqations on two-dimensional whole plane and exterior domains, we introduced a new assumption on the symmetry of domains, external force and the boundary value, and showed the existence of solutions which decay at infinity.Further, under a weaker assumption on the symmetry, we showed the global asymptotic stability of the stationary solutions under arbitrary perturbations in the L2-space, together with the speed of decay measured by various norms

  • 変分的手法による非線形楕円型方程式の大域的解析

    基盤研究(B)

    Project Year :

    2013
    -
    2016
     

     View Summary

    非線形楕円型方程式 (系) に対する特異摂動問題を中心に研究を実施した. 非線形シュレディンガー方程式に対する特異摂動問題に関しては, 局所的な変分法によるアプローチを研究代表者田中は J. Byeon 氏と共に開発し, ポテンシャル関数の極大点, 鞍点に凝集する解の構成に成功した. この構成法は非常に広いクラスの非線形項に対して適用可能であり, 従来の Lyapunov-Schmidt
    法による極限方程式の解の一意性, 非退化性を要求する存在結果を大きく拡張するものである. なお, 本年度の研究において 1 点に与えられた数のピークが凝集する multi-peak 解の存在の構成にも成功している. このようなmulti-peak 解の存在は非退化条件なしには証明されていなかったものである.
    常微分方程式の Lagrange 系に対する特異摂動問題に関しては, 高振動解の adiabatic invariant を用いたプロファイルの決定および与えられた admissible なプロファイルをもつ解の構成を P. Felmer 氏, S. Martinez 氏らと共に行い成功した.
    また 2 次の相互作用をもつ非線形シュレディンガー方程式系について研究代表者は分担者小澤および林氏と共に研究に取り組み, 初期値問題の局所および大域可解性, さらには定在波解の存在を様々な設定の下で行った. また研究分担者小薗は Lax-Milgram 定理の一般化およびその楕円型方程式系への応用を, また連携研究者足達, 佐藤は準線形楕円型方程式, 非線形シュレディンガー方程式系の解の漸近挙動の研究等を行い, 塩路は非線形楕円型方程式の球対称解の研究を行い, 既存の結果をほぼすべて含む, 球対称解の一意性定理を導いた.

  • 現代解析学と計算科学の手法による乱流の数学的理論の構築

    基盤研究(S)

    Project Year :

    2012
    -
    2016
     

     View Summary

    まず,多重連結領域において,与えられた非斉次境界値の全流量がゼロである場合,定常Navier-Stokes方程式の可解性は未解決である.この問題には領域の位相幾何学的な性質と方程式の非線形構造が深く関係している.実際,境界値のソレノイダル拡張から一意的に定まる領域の第2Betti数に関連する調和ベクトル場と,定常Euler方程式の非自明解との直交関係が可解性の鍵を握る.ここで方程式が可解であるための様々な十分条件を導出し,有名なLerayの不等式と領域の位相幾何学的な性質との関係を明らかにした.
    次に,3次元空間において障害物が回転し,かつ回転軸と同じ方向に並進運動する場合に,その外部領域においてNavier-Stokes 方程式の定常解の存在と一意性を考察した.
    また乱流の情報縮約手法の開発に関しては,直交ウェーブレット解析を応用して, 三次元一様電磁流体乱流の情報縮約手法を開発した. 非線形ウェーブレットフィルタリングにより渦度場及び電流密度場からそれぞれ秩序渦度場と秩序電流密度場を抽出した. 抽出された場の時間発展を捉えるために, 秩序場を構成するウェーブレット基底の近傍にセーフティゾーンを設定した. この一連の操作を各時刻で行った. 開発手法は元の乱流場の約6% の自由度を用いるだけで,エネルギー, エネルギースペクトル, 渦度場及び電流密度場の確率密度関数など乱流場の統計量の時間発展を十分再現する.
    せん断乱流における統計的普遍性については,小さなスケールにおける乱流の統計に対する平均流の影響についての理論を導いた,その理論は熱平衡系に対する線型応答理論と良く似た理論構造を持つものである.その結果を検証するため,壁レイノルズ数Reが5120におよぶ世界最高レベルのレイノルズ数を持つ壁乱流のDNSデータを用いて乱流のエネルギースペクトルの等方成分,非等方成分を解析した.

display all >>

Specific Research 【 display / non-display

  • 発展方程式の最大正則性定理

    2020  

     View Summary

    Navier-Stoes 方程式の強解の存在のための初期値に関する斉次Besov 空間による特徴づけNavier-Stokes 方程式の古典解あるいは強解としてよく知られているSerrin クラスを,空間方向に斉次Besov 空間,時間方向にLorentz 空間なる関数空間を導入した.まず,初期値aに対してする線形Stokes 流上記の関数空間に属するための必要十分条件を明らかにした.次に非線形のNavier-Stokes 方程式に関しては,a がこの斉次Besov 空間で小さければ,Stokes 方程式から導かれる関数空間解u が一意的に存在することを示した.逆については,解の小ささを仮定することなく,成立することを証明した.これらはすべてNavier-Stokes 方程式に関するスケール不変な関数空間となっている.特に,初期値が属する斉次Besov 空間の3番目の指数q(数列級数の空間 スモールlq に相当) は,解の時間方向のLorentz 空間の第2 指数に反映されることが明らかにされた.更に,このような強解u(x; t) は,空間変数xに関して解析的であり,その収束半径はx に関して一様にtの平方根 に比例して取れることを証明した.証明の手法は,解の時間方向の高階の偏導関数u(x, t) をLr-値の関数としてt に関するヘルダー評価式を導出することに依る.

  • 流体力学の近代数学解析

    2019  

     View Summary

    1. 時間方向にLorentz 空間を採用した最大正則性定理によるNavier-Stoes方程式の強解最大正則性定理において,基礎となるBanach空間として斉次Besov空間$B^s_{p, γ}と取り,時間区(0, T) における可積分空間としてはLorentz 空間L^{α,q}(0, T) を採用した.すなわち,L^{α, q}(0,T; B^s_{p, γ})なるBochner時空間の最大正則定理の基礎空間として,熱方程式初期値問題を考察した.初期値属する斉次Besov空間 B^k_{r, q} としては,k= 2+n/r -(2/α+ n/p - s), n/p <n/r <α/2 + n/pなる関係式が自然であることを証明した.2. 境界が時間に依存する外部領域におけるStokes 方程式に関する最大正則性定理とそのNavier-Stokes方程式への応用3次元空間内のおけるコンパクトな曲面が時間に依存して動く時,その外部領域であるを非柱状時空間領域において,Stokes方程式に対する時間大域的なL^p-最大正則性定理を証明した.ただし,$1< q < 3/2$ である.応用として,非柱状時空間領域がある固定された柱状領域に十分近いとき,小さなデータに対するNavier-Stokes 方程式の古典解の一意的存在を証明した.3.尺度不変な斉次Besov空間における定常Navier-Stokes 方程式の解の存在と正則性n次元空間において,与えられた外力が斉次ベゾフ空間 B^{-3+ n/p}_{p, q}$ で十分小さければ,B^{-1+n/p}_{p,q}に属する定常Navier-Stokes 方程式の解が一意的に存在することを証明した.ただし,$1 <p < n,  1 < q< ∞ である.応用として,定常Navier-Stokes 方程式に対する自己相似解が得られる.

  • ナビエ・ストークス方程式の数理解析

    2018  

     View Summary

    Caffarelli-Kohn-Nirenbergによって提唱されたNavier-Stoes 方程式の適切な弱解を,より広い局所的なエネルギー不等式を満たすものに拡張し,一般化された適切な弱解と名付け,無限遠方で弱い増大度を仮定するならば.初期値のエネルギー有限性が,時間発展後も運動エネルギーとその散逸が有限に留まること証明した.更にエネルギー等式が成り立たしめ得ることも示した.特に2 次元平面においては,一般の非有界領域においても,渦度の遠方での減衰度と,領域の境界におけるある種の積分量の符号を仮定するならば,時間発展後も解の渦とその一階偏導関数は領域全体で自乗可積分であることを証明示した.応用として,Navier-Stoes 方程式に対するLiouvile型定理を確立した. 

  • 非線形偏微分方程式の大域的理論の新展開

    2013  

     View Summary

    (i) 一般領域におけるStoeks 作用素の最大正則性Stokes 作用素のq-乗可積分空間理論はq=2 の場合を除き、一般の領域では定義が出来ないことが知られている。そこで、反例が構成されている非コンパクトな境界をもつn 次元空間内の非有界領域を取り扱った。通常のq-乗可積分空間に代わるものとして、2乗可積分空間とq-乗可積分指数の和および共通部分からなる関数空間を導入した。これらの関数空間はともに、関数自身の無限遠方では減衰の速度が2乗可積分関数と同程度であることを要請したものである。その結果、領域の境界が一様にC1-級であれば、非コンパクト領域においてもStokes 作用素はこれらの関数空間において定義可能であり、正則半群を生成するとともに最大正則性定理を満たすことが明らかにされた。(ii) Navier-Stokes 方程式の弱解の正則性に関する新たな指標3次元有界領域におけるNavier-Stokes 方程式の弱解で強エネルギー不等式満たすクラスの正則性を考察した。従来はSerrin によって提唱された時空間におけるスケール不変な可積分空間において正則性の指標が確立されていたが、本研究では運動エネルギーとエネルギー散逸量に着目した。すなわち、前者に対しては指数が1/2 より大きな時間変数のヘルダー連続関数であり、また後者に対しては積分量の時間爆発レートが-1/2 より遅ければ、弱解が滑らかであることを証明した。これら2つの指標は、時空間の関数のセミノルムと見なすとき、スケール変換則に関して不変であることに注意が必要である。

  • 現代解析学の手法による乱流理論の研究

    2012  

     View Summary

    1. 回転する障害物の周りの定常Navier-Stokes 方程式の解の存在と一意性3次元空間において障害物が回転し,かつ回転軸と同じ方向に並進運動する場合に,その外部領域 $\Omega$ において非圧縮性粘性流体のNavier-Stokes 方程式の定常解の存在と一意性を考察した.実際,回転の角速度を$\omega$,並進速度を$u_{\infty}$かつ外力$f = \dive F$ が条件$|\omega| + |u_{\infty}| + \|F\|_{L^{\frac32, \infty}} << 1$ であれば,$\nabla u \in L^{\frac32, \infty}(\Omega)$ であって,$u\in L^{3,\infty}(\Omega)$ である小さい解 $u$ が一意的に存在することを証明した.より一般的な一意性定理として,与えられデータ$\omega\in \re^3$, $u_{\infty}\in \re^3$, $F \in L^{\frac32,\infty}(\Omega)$ が十分小さく,かつ$F\in L^{\frac32,\infty}(\Omega) \cap L^{q,\infty}(\Omega)$, $3/2 < r < 3$ であれば,我々の構成した解 $u$ は$\nabla u \in L^{\frac32,\infty}(\Omega) \cap L^{q,\infty}(\Omega)$ なるクラスで一意的であることを証明した.さらに,これらのデータが小さい限りにおいては,データーに関する解の連続依存性が成立する.2. 外部領域における定常Navier-Stokes 方程式の弱解の一意性とエネルギー不等式の関係3次元外部領域$\Omega$においては,Leray により任意の外力$\dive F$, $F\in L^2(\Omega)$ に対して,$\nabla u\in L^2(\Omega)$ でエネルギー不等式 $\|\nabla u\|^2_{L^2(\Omega)} \le \dis{-\int_{\Omega}F\cdot\nabla u}dx$を満たす弱解 $u$ の存在が示されている.しかし,そのような弱解については,空間 $L^{3, \infty}(\Omega)$ における小ささを仮定する必要があった.本研究では,弱解そのものに対する小ささではなく,与えられた外力$F\in L^2(\Omega)\cap L^{\frac32,\infty}(\Omega)$ が空間$L^{\frac32,\infty}(\Omega)$ において十分小さければ,$\nabla u \in L^2(\Omega)$ であってエネルギー不等式を満たす弱解$u$ は一意的に存在することを証明した.この結果は期待できる定常Navier-Stokes 方程式の弱解の存在と一意性に関しては,最良の結果と言える.

 

Syllabus 【 display / non-display

display all >>