本記事は、 記事番号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ページ), 初等的ではないと考えている. また, 私は複雑な計算が苦手なので, なんとかあまり計算せずに解の存在が言えないか, 具体的には 『台がコンパクトな超関数の基本定理』
を満たす
の解
ここで
を用いて解の存在が言えないか, 試行錯誤していた.
ルレイ-ホップの弱解は一意性と滑らかさが未解決である. 私のこの記事については, つまり「ナビエ-ストークス方程式の弱解は一意的で滑らかではないか?」という予想である. 藤田-加藤の強解( 積分方程式に直した方程式 の解)は弱解でもあり, 初期値に対して一意的であり, 初期値のノルムが充分小さければ時間大域的である.
実解析や『台がコンパクトな超関数の基本定理』の応用として考えた. ただし, 多少厳密性は犠牲にしてある.
方針は, ナビエ-ストークス方程式
において
圧力
『台がコンパクトな超関数の基本定理』は通常『定数係数線型偏微分作用素の局所可解性』と呼ばれるが, 今は大域的な話なので, こう呼んでいる.
なお, よくある誤解だが, ナビエ-ストークス方程式のミレニアム懸賞問題で問われている解は, 初期条件や境界条件を考慮せず任意関数を含む「一般解」ではなく, 初期条件や境界条件を考慮した「初期値(-境界値問題)の解」である. 常微分方程式を求積法で解く時でもわかるように, 初期値(-境界値)問題は任意定数(任意関数)を含まない.
「関数空間」「空間」は(関数の成す)「線型位相空間」の略, 圧力
任意の自然数
後の都合上, ベクトルの成分の添え字を右上に書く.
任意の
すなわち
とするとき
任意の
ただし
であり,
である.
一般にバナッハ空間
だからこれらは同値である.
上の予想の直観的議論の中の解を
解
[(引用者による補足開始)]予想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