9

【抜粋】記事番号3433「ナビエ-ストークス方程式の弱解の存在と一意性と滑らかさの初等的方法」における予想

759
0

本記事は、 記事番号3433 (以下、当該記事)の予想の抜粋になります。

[本記事の目的]
私の環境ですと当該記事の表示に数分の時間を要します。また、予想に対して付されている議論は、当該記事のコメント欄で議論が長らく続いている通り修正箇所が多いものになっております。そこで、他の方の便宜も兼ねて予想を抜粋した記事を作成いたしました。

[関連情報]
論理の流れを整理した記事を別途用意いたしました。 こちら も参考になりましたら幸いです。

[本記事の削除条件]
大類昌俊さん自身が当該記事を削除/作成され、かつ予想に対する未完成の証明を取り下げて一つずつ完成させていくような様子だと認識した時点で、本記事の存在意義がなくなったとみなし、本記事を削除いたします。

[本記事の状態]
予想部分の引用をおおよそ終え、引用に誤りがないかを確かめております。
以下、記事からの抜粋になります。

この研究は未完成です. 少しずつ完成させられたらいいなと思っています. Twitterやコメント欄での多くのご指摘を参考にしています. この場を借りて感謝申し上げます. この記事における主張は全て予想です. 多数コメントが寄せられておりデータが重いのでこのページを開いたらスクロールせず3分ほどお待ちください.

直観的議論

数学最大の難問, ミレニアム懸賞問題にあるナビエ-ストークス方程式(連立偏微分方程式)の弱解(超関数の意味での解)の存在について考えた. 外力にはきつめの仮定を課したが, 定数係数線型偏微分方程式についての大好きな定理が使えた.

おそらく最も初等的な解の存在についての議論である. ミレニアム懸賞問題 の解決ではなく, また議論は数学的に不完全だが, 長い計算も複雑な計算も無く, 発展方程式の理論は全く用いていない, という意味で初等的である. 解の存在は実は既知であり, 既にある証明は, とてもすばらしいが(例えば, 藤田-加藤理論, 柴田理論: 小川卓克(Takayoshi Ogawa)『非線型発展方程式の実解析的方法』278ページ-281ページ, 柴田良弘(Yoshihiro Shibata)『流体数学の基礎 下』29ページ-41ページ, 柴田良弘-久保隆徹(Yoshihiro Shibata-Takayuki Kubo)『非線形偏微分方程式』184ページ-204ページ, 垣田高夫-柴田良弘(Takao Kakita-Yoshihiro Shibata)『ベクトル解析から流体へ』234ページ-263ページ, 岡本久(Hisashi Okamoto)『ナヴィエ-ストークス方程式の数理』 220ページ-235ページ), 初等的ではないと考えている. また, 私は複雑な計算が苦手なので, なんとかあまり計算せずに解の存在が言えないか, 具体的には 『台がコンパクトな超関数の基本定理』

RN上の任意の定数係数線型偏微分作用素Pの基本解、すなわち
PE=δ
を満たすEDを取ると、台がコンパクトな超函数fEまたは台がコンパクトなC-級函数fC0について、方程式
Pu=f
の解uのひとつはu=EfDまたはu=EfCで与えられる.

ここでfEならば
Ef,φ=E(x),f(y),φ(x+y),,
fC0ならば
(Ef)(x)=E(y),f(xy)

を用いて解の存在が言えないか, 試行錯誤していた.

ルレイ-ホップの弱解は一意性と滑らかさが未解決である. 私のこの記事については, つまり「ナビエ-ストークス方程式の弱解は一意的で滑らかではないか?」という予想である. 藤田-加藤の強解( 積分方程式に直した方程式 の解)は弱解でもあり, 初期値に対して一意的であり, 初期値のノルムが充分小さければ時間大域的である.

実解析や『台がコンパクトな超関数の基本定理』の応用として考えた. ただし, 多少厳密性は犠牲にしてある.

方針は, ナビエ-ストークス方程式

tuΔu=fp(u)u
においてPを熱作用素tuΔとし,
圧力pを消去し非線型項(u)uを台がコンパクトで滑らかな関数の列で近似し, 外力fと近似項の差に基本定理を使い, ソボレフ空間において極限を取ったものが解となることを示すことである.

『台がコンパクトな超関数の基本定理』は通常『定数係数線型偏微分作用素の局所可解性』と呼ばれるが, 今は大域的な話なので, こう呼んでいる.

なお, よくある誤解だが, ナビエ-ストークス方程式のミレニアム懸賞問題で問われている解は, 初期条件や境界条件を考慮せず任意関数を含む「一般解」ではなく, 初期条件や境界条件を考慮した「初期値(-境界値問題)の解」である. 常微分方程式を求積法で解く時でもわかるように, 初期値(-境界値)問題は任意定数(任意関数)を含まない.

記号の定義

「関数空間」「空間」は(関数の成す)「線型位相空間」の略, 圧力p以外の(超)関数はR3-値とする. 通常の関数空間のノルムにおける関数の絶対値を, R3-値関数の空間のノルムにおいては数ベクトルの長さ(R3の絶対値)と解釈する. 実数値関数の空間とR3-値関数の空間を, 記号を簡単にするため同じ記号で書く. R×R3上の関数空間X(R×R3)Xと略記する.

任意の自然数m>4, p=1,2に対して
V0,σm,p={uC0:uWm,p<,divu=0},
Wσm,pV0,σm,pWm,p-ノルムによる完備化で定義されたソボレフ空間: Wσm,p=V0,σm,pWm,pとする. Dは試験関数の空間(集合としてはC0), Dは空間変数について発散が0であるような試験関数φの成す空間とする([補足1]参照). Bkk階までの全ての偏導関数が有界かつ連続な関数の成す空間とする(0階偏導関数は自分自身とする). Bkのノルムはk階までの導関数の絶対値の上限の和とする.

後の都合上, ベクトルの成分の添え字を右上に書く.

弱解の存在

任意のfDに対して, 関数(u,p)で, 次の意味でナビ-ストークス方程式の弱解となる物が存在する: 任意の自然数m>4に対して,
uWσm,1Wσm,2,pL2
tuΔの基本解をEとする.
すなわちR3-値超関数の意味で
(tuΔ)E(t,x)=δ(t,x)=δ(t)δ(x)
とするとき
ui(t,x)=R×R3Ei(s,y)(fi(ts,xy)(u)ui(ts,xy))dsdy,
ui(0,x)=R×R3Ei(s,y)(fi(s,xy)(u)ui(s,xy))dsdy,
任意のφDに対して,
tu+(u)uΔu+pf,φ=0,divu,φ=0.
ただし
(u)ui=j=13ujxjui
であり, w=(w1,w2,w3),φ=(φ1,φ2,φ3)とするとき
w,φ=(w,φ)L2=R×R3i=13wi(t,x)φi(t,x)dtdx=R×R4w(t,x)φ(t,x)dtdx
である. f0ならばu0となるuが存在する.

一般にバナッハ空間X,Yに対して位相空間としてX,YZとなる線型ハウスドルフ空間Zが存在するときXYはバナッハ空間でノルムがuX+uYまたはmax{uX+uY}で定義されている.
max{uX,uY}uX+uY2max{uX,uY}
だからこれらは同値である. Wσm,1, Wσm,2Bk(k>max{m+4,m+2}=m+4)である.

2つの弱解が一致する十分条件

上の予想の直観的議論の中の解をu, vとする. (u)u=(v)vならばu=v.

弱解の滑らかさと有界性

(u,p)C-級である.

正当化を目指す議論

[(引用者による補足開始)]予想1における等式[(引用者による補足終了)]
ui(t,x)=R×R3Ei(s,y)(fi(ts,xy)(u)ui(ts,xy))dsdy,
は以下の議論が正しければ数学的に正当化できるだろう, と考えた.


外力fは以下に述べる関数空間Wと定数Mと任意の正数ϵと任意の(s,y)R×R3に対して
f(ts,xy)Wt,x(R×R3Uϵ(0,0))M2e|s|2|y|2,
fWM2を満たすとする.
Φ[u](t,x)=\(R×R3Ei(s,y)(fi(ts,xy)tuΔui(ts,xy)dsdy)\)
と定める. 定義域と値域はSである. S,W,Mの定義は以下に述べる.

関数空間Wは以下のように完備化の概念を用いて定義する.
X={uD:uW=m5uWm,1m4+m5uWm,2m4<}W,
Wt,x(R×R3Uϵ(0,0))={u(t,x)D:u(t,x)W(R×R3Uϵ(0,0))=m5u(t,x)Wm,1(R×R3Uϵ(0,0))m4+m5uWm,2(R×R3Uϵ(0,0))m4<}W(R×R3Uϵ(0,0))
とおく. (e|t|2|x|2,e|t|2|x|2,e|t|2|x|2)X. Xはバナッハ空間である. この時, 或る定数
C>1 が存在し、(積の分離)と(微分の吸収)
が成り立つ:
(uivi)i=1,2,3CuWvW,
xjuWCuW.

Wは, Xの部分空間で, 任意のϵ>0に対して可積分性
u(ts,xy)Wt,x(R×R3Uϵ(0,0))Ls,y1<
を満たすとする. このような性質でWを定義する. 可積分性が成り立つ時
(R×R3Ei(s,y)ui(ts,xy)dsdy)i=1,2,3WCuW
が成り立つ.

或る定数Mに対してSXの部分空間:
S={uX:uWM,ts,xyWt,x(R×R3Uϵ(0,0))Me|s|2|y|2}
とする. M6C3M<1,C(1+C2)M1を満たすうち小さいほうを取る. ゼロでないuが存在してuSである.

連続写像Φ:SSが定義できる. Xが完備な距離空間ならば
Sは空でない閉部分空間だから完備であり, Φが縮小写像であることが言えれば, バナッハの不動点定理(縮小写像の原理, 北田均『新訂版 数理解析学概論』261ページ-263ページ目)により, Φの不動点の一意存在, すなわち或る
uSが一意に存在してΦ[u]=uが言える. すると, 上の記事の後半と同様の議論により,
uが一意的弱解であることが言えるであろう.

予想

uSならばf(u)uWが成り立つ. よってΦ[S]S

u,vWが或る意味で近ければ, (u)u(v)vは近いかもしれない. そこで,

φ:SSはリプシッツ連続

或る定数L>0が存在して, 任意のu,vSに対して
(R×R3Ei(s,y)((v)vi(ts,xy)(u)ui(ts,xy))dsdy)i=1,2,3WLuvW

が成り立つかもしれない. 非線型項のリプシッツ連続性が成り立てば,

φ[u]φ[v]W(R×R3Ei(s,y)((v)vi(ts,xy)(u)ui(ts,xy))dsdy)i=1,2,3WLuvWLuvW
が従う. ここで

φが縮小写像である可能性

L<1

が成り立てば, 議論は正当化される.

参考文献

[1]俣野-神保, 熱・波動と微分方程式
[2]金子晃, 偏微分方程式入門
[3]垣田高夫-柴田良弘, ベクトル解析から流体へ
[4]谷島賢二, 数理物理入門 改訂改題
[5]柴田良弘, ルベーグ積分論
[6]谷島賢二, 新版 ルベーグ積分と関数解析
[7]コルモゴロフ他, 函数解析の基礎 上
[8]北田均, 新訂版 数理解析学概論
[9]猪狩, 実解析入門
[10]岡本久-中村周, 関数解析
[11]黒田, 関数解析
[12]藤田-黒田-伊藤, 関数解析
[13]吉田耕作, Functional Analysis
[14]増田他, 応用解析ハンドブック
[15]溝畑, 偏微分方程式論
[16]小薗英雄他, これからの非線型偏微分方程式
[17]垣田高夫, シュワルツ超関数入門
[18]宮島静雄, ソボレフ空間の基礎と応用
[19]澤野嘉宏, べゾフ空間論
[20]岡本久, ナヴィエ-ストークス方程式の数理 新装版
[21]田良弘, 流体数学の基礎 上
[22]柴田良弘, 流体数学の基礎 下
[23]ヘルマンダー, The Analysis of Linear Partial Differential Operators I: Distribution Theory And Fourier Analysis
[24]柴田良弘-久保隆徹, 非線形偏微分方程式
[25]八木, 放物型発展方程式とその応用(上) 可解性の理論
[26]小川卓克, 非線型発展方程式の実解析的方法
[27]高橋渉, 非線形関数解析学 不動点定理とその周辺
[28]G. de Rham, Differentiable Manifolds: Forms, Currents, Harmonic Forms
[29]小薗英雄, Navier-Stokes方程式, 閲覧日 2022年10月7日, https://www.jstage.jst.go.jp/article/sugaku1947/54/2/54_2_178/_pdf/-char/ja
[30]小薗英雄, ナビエーストークス方程式 クレイ懸賞問題のいま, 閲覧日 2022年8月19日, https://www.fluid.sci.waseda.ac.jp/crest/KozonoSeminar.pdf
[31]大類昌俊(Masatoshi Ohrui)
大類昌俊(Masatoshi Ohrui), 測度論抜きで学ぶユークリッド空間におけるルベーグ積分超入門 (12月24日 14:55 最終推敲), Mathlog, Sun Dec 18 2022, アクセス日: Wed Jul 19 2023
[32]大類昌俊(Masatoshi Ohrui)
大類昌俊(Masatoshi Ohrui), 熱作用素の基本解が局所可積分関数であることの証明 (2023年4月16日 最終推敲), Mathlog, Thu Sep 22 2022, アクセス日: Wed Jul 19 2023

投稿日:2023720
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

真・数学を愛する会はあなたに数学(主に大学数学)の面白さを伝えます.

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中