ホームページ テクノロジー周辺機器 AI N-S 方程式の問題は解決されましたか?リーマン予想と並べると、ミレニアム数学パズルは勝利が見えてきます

N-S 方程式の問題は解決されましたか?リーマン予想と並べると、ミレニアム数学パズルは勝利が見えてきます

Apr 08, 2024 pm 06:34 PM
プロジェクト 通常のハミルトニアン公式 流体力学

これは数学における最も有名な未解決問題の 1 つです。新しい作品は査読されており、全文が入手可能です。

#とても興味深いですね、流体力学は独自の超伝導の瞬間をもたらしているのでしょうか?
N-S 方程式の問題は解決されましたか?リーマン予想と並べると、ミレニアム数学パズルは勝利が見えてきます
ここ数日、数学界の人々は、数学史上の未解決の問題であるナビエ・ストークス問題の正規ハミルトニアン公式がついに登場したことについて熱心に議論しています。答えがあるかもしれません。以前は、これは一般的に不可能であるとさえ考えられていました。

#これはどのくらい重要ですか?ナビエ・ストークス方程式は、リーマン予想と同様に、2000 年に「数学の 7 つのミレニアム問題」の 1 つとしてリストされました。

7 つの世界クラスの問題は次のとおりです: NP 完全問題、ホッジ予想、ポアンカレ予想、リーマン予想、ヤン-ミルズの存在と質量ギャップ、ナビエ-ストークス方程式、 BSD 予想。 7 つの問題にはそれぞれ 100 万ドルの賞金がかけられており、20 年以上の中でロシアの天才数学者ペレルマンによって唯一解決されたのは「ポアンカレ予想」だけです。

それらのほとんどはよく知られていますが、その中で「ナビエ・ストークス方程式」(N-S 方程式)についてはあまり言及されないようです。その理由は、この問題が難しすぎるからかもしれません(大学で「流体力学」の授業を履修した学生なら絶対に想像できるでしょう)。これは数学史上最も複雑な公式であると信じている人さえいます。

簡単に言うと、18 世紀の数学者オイラーは、「流体運動の一般原理」の中で、流体が受ける力と運動量の変化に基づいて次のことを導き出しました。非粘性流体が動き、一連の方程式が生成されました。
N-S 方程式の問題は解決されましたか?リーマン予想と並べると、ミレニアム数学パズルは勝利が見えてきます
オイラー方程式の説明は、理想化された世界における流体の動きを規定していますが、実際の流体の内部には摩擦が存在します。自然界の流体は粘性があり、総称して粘性流体または実流体と呼ばれます。たとえば、蜂蜜をかき混ぜると粘性の影響を感じますが、飛行機の飛行抵抗も空気の粘性に大きく依存します。

実際の流体の粘性により、流体運動の研究は非常に複雑になります。
N-S 方程式の問題は解決されましたか?リーマン予想と並べると、ミレニアム数学パズルは勝利が見えてきます
19 世紀、フランスの技術者で物理学者のクロード・ルイ・ナビットとアイルランドの物理学者で数学者のジョージ・ストークスが分子を考察し、流体のバランスと運動の基本方程式が確立され、直交座標における運動の成分形式が記述されます。

これは、後の世代でナビエ・ストークス方程式と呼ばれるものです。史上最も恐ろしい偏微分方程式の 1 つ。
N-S 方程式の問題は解決されましたか?リーマン予想と並べると、ミレニアム数学パズルは勝利が見えてきます
ナビエ・ストークス方程式は、液体や空気などの流体物質を記述するために使用されます。これらの方程式は、流体の粒子運動量の変化率 (力) を、流体の内部に作用する圧力および散逸粘性力 (摩擦に類似) および重力の変化に関連付けます。これらの粘性力は分子の相互作用から発生し、液体の粘度を示します。このように、ナビエ・ストークス方程式は、液体の任意の領域に作用する力の動的バランスを記述します。
#これは、多くのエンジニアリング上の問題にとって重要です。

ナビエ・ストークス問題に対する世界的な解決策があれば、航空宇宙、ロケットエンジン、天気予報、パイプライン輸送、医療血流モデリングなど。

この一連の方程式に関わる難しい問題は、数学理論を使ってどのように説明するかということです。エキゾチックなブラック ホールを記述するアインシュタインの場方程式を説明する数学理論でさえ、ナビエ・ストークス方程式を定式化するよりも簡単です。

人々が言及した重要なブレークスルーは、流体力学の分野でトップジャーナルに掲載された論文「ナビエ・ストークス問題の標準ハミルトニアン定式化」に由来しています。 Journal of Fluid Mechanics」:
N-S 方程式の問題は解決されましたか?リーマン予想と並べると、ミレニアム数学パズルは勝利が見えてきます
論文リンク: https://www.cambridge.org/core/journals/journal-of -fluid -mechanics/article/canonical-hamiltonian-formulation-of-the-navierstokes-problem/B3EB9389AE700867A6A3EA63A45E69C6

N-S 方程式の問題は解決されましたか?リーマン予想と並べると、ミレニアム数学パズルは勝利が見えてきますこの論文では、次のような手法を提案しています。最小二乗原理 最小作用原理に基づく等方性ナビエ・ストークス問題の新しいハミルトニアン定式化の導出。この式では、速度 N-S 方程式の問題は解決されましたか?リーマン予想と並べると、ミレニアム数学パズルは勝利が見えてきます と圧力 N-S 方程式の問題は解決されましたか?リーマン予想と並べると、ミレニアム数学パズルは勝利が見えてきます が可変場の量として使用されるほか、解析から得られる正準共役運動量も使用されます。これに基づいて、本研究では、ハミルトニアン正準方程式を満たす保存ハミルトニアン関数 H* を構築し、圧縮性および非圧縮性流れに関連するハミルトニアン・ヤコビアン方程式を定式化します。このハミルトニアン ヤコビ方程式は、4 つの独立した場の量を見つける問題を、これらの場の中で 1 つのスカラー汎関数 (ハミルトンの主関数) を見つけることに帰着させます。さらに、ハミルトンとヤコビの変換理論は、ナビエ ストークス問題を解くための所定の方法を提供します: S* を見つける。 N-S 方程式の問題は解決されましたか?リーマン予想と並べると、ミレニアム数学パズルは勝利が見えてきます

S * の解析式が得られる場合、正規変換を通じて新しいフィールドのセットが取得され、元の速度フィールドと圧力フィールドの解析式が得られます。 , これらのフィールドは単に初期値と等価になります。それができない場合は、ハミルトン・ヤコビアン方程式の完全な解が存在するか存在しないことを証明することしかできず、これにより解の存在の問題も解決されます。

この新しい研究は100万ドルの賞金につながるでしょうか?研究者が勝つためには、3 次元の非圧縮性ナビエ・ストークス方程式の解が存在すること、そして解が存在する場合、それらの解は滑らかであることを示さなければなりません。

数学者のテレンス・タオはかつて、これは難しいと考えていました。
N-S 方程式の問題は解決されましたか?リーマン予想と並べると、ミレニアム数学パズルは勝利が見えてきます
現在の進捗状況から判断すると、新しい研究により未解決の問題の解決が容易になり、私たちは大きな前進を遂げました - Navier-Storカース方程式は、標準的なラグランジアンの制限を回避し、問題を単一のスカラー関数を見つけることに縮小できることを意味する可能性があります。

おそらく、ミレニアム パズルの 2 番目の質問を解決するのもそう遠くないでしょう。

参考コンテンツ:
https://www1.grc. nasa.gov/beginners-guide-to-aeronautics/navier-bloods-equation/
https://zhuanlan.zhihu.com/p/263628141
#https://terrytao.wordpress.com/2007/03/18/why-global-regulatory-for-navier-stokes-is-hard/#

以上がN-S 方程式の問題は解決されましたか?リーマン予想と並べると、ミレニアム数学パズルは勝利が見えてきますの詳細内容です。詳細については、PHP 中国語 Web サイトの他の関連記事を参照してください。

このウェブサイトの声明
この記事の内容はネチズンが自主的に寄稿したものであり、著作権は原著者に帰属します。このサイトは、それに相当する法的責任を負いません。盗作または侵害の疑いのあるコンテンツを見つけた場合は、admin@php.cn までご連絡ください。

ホットAIツール

Undresser.AI Undress

Undresser.AI Undress

リアルなヌード写真を作成する AI 搭載アプリ

AI Clothes Remover

AI Clothes Remover

写真から衣服を削除するオンライン AI ツール。

Undress AI Tool

Undress AI Tool

脱衣画像を無料で

Clothoff.io

Clothoff.io

AI衣類リムーバー

AI Hentai Generator

AI Hentai Generator

AIヘンタイを無料で生成します。

ホットツール

メモ帳++7.3.1

メモ帳++7.3.1

使いやすく無料のコードエディター

SublimeText3 中国語版

SublimeText3 中国語版

中国語版、とても使いやすい

ゼンドスタジオ 13.0.1

ゼンドスタジオ 13.0.1

強力な PHP 統合開発環境

ドリームウィーバー CS6

ドリームウィーバー CS6

ビジュアル Web 開発ツール

SublimeText3 Mac版

SublimeText3 Mac版

神レベルのコード編集ソフト(SublimeText3)

ControlNet の作者がまたヒット作を出しました!写真から絵画を生成し、2 日間で 1.4,000 個のスターを獲得する全プロセス ControlNet の作者がまたヒット作を出しました!写真から絵画を生成し、2 日間で 1.4,000 個のスターを獲得する全プロセス Jul 17, 2024 am 01:56 AM

これも Tusheng のビデオですが、PaintsUndo は別の道を歩んでいます。 ControlNet 作者 LvminZhang が再び生き始めました!今回は絵画の分野を目指します。新しいプロジェクト PaintsUndo は、開始されて間もなく 1.4kstar を獲得しました (まだ異常なほど上昇しています)。プロジェクトアドレス: https://github.com/lllyasviel/Paints-UNDO このプロジェクトを通じて、ユーザーが静止画像を入力すると、PaintsUndo が線画から完成品までのペイントプロセス全体のビデオを自動的に生成するのに役立ちます。 。描画プロセス中の線の変化は驚くべきもので、最終的なビデオ結果は元の画像と非常によく似ています。完成した描画を見てみましょう。

RLHF から DPO、TDPO に至るまで、大規模なモデル アライメント アルゴリズムはすでに「トークンレベル」になっています RLHF から DPO、TDPO に至るまで、大規模なモデル アライメント アルゴリズムはすでに「トークンレベル」になっています Jun 24, 2024 pm 03:04 PM

AIxivコラムは、当サイトが学術的・技術的な内容を掲載するコラムです。過去数年間で、このサイトの AIxiv コラムには 2,000 件を超えるレポートが寄せられ、世界中の主要な大学や企業のトップ研究室がカバーされ、学術交流と普及を効果的に促進しています。共有したい優れた作品がある場合は、お気軽に寄稿するか、報告のために当社までご連絡ください。提出メール: liyazhou@jiqizhixin.com; zhaoyunfeng@jiqizhixin.com 人工知能の開発プロセスにおいて、大規模言語モデル (LLM) の制御とガイダンスは常に中心的な課題の 1 つであり、これらのモデルが両方とも確実に機能することを目指しています。強力かつ安全に人類社会に貢献します。初期の取り組みは人間のフィードバックによる強化学習手法に焦点を当てていました (RL

オープンソース AI ソフトウェア エンジニアのリストのトップに立つ UIUC のエージェントレス ソリューションは、SWE ベンチの実際のプログラミングの問題を簡単に解決します オープンソース AI ソフトウェア エンジニアのリストのトップに立つ UIUC のエージェントレス ソリューションは、SWE ベンチの実際のプログラミングの問題を簡単に解決します Jul 17, 2024 pm 10:02 PM

AIxivコラムは、当サイトが学術的・技術的な内容を掲載するコラムです。過去数年間で、このサイトの AIxiv コラムには 2,000 件を超えるレポートが寄せられ、世界中の主要な大学や企業のトップ研究室がカバーされ、学術交流と普及を効果的に促進しています。共有したい優れた作品がある場合は、お気軽に寄稿するか、報告のために当社までご連絡ください。提出電子メール: liyazhou@jiqizhixin.com; zhaoyunfeng@jiqizhixin.com この論文の著者は全員、イリノイ大学アーバナ シャンペーン校 (UIUC) の Zhang Lingming 教師のチームのメンバーです。博士課程4年、研究者

OpenAI Super Alignment チームの遺作: 2 つの大きなモデルがゲームをプレイし、出力がより理解しやすくなる OpenAI Super Alignment チームの遺作: 2 つの大きなモデルがゲームをプレイし、出力がより理解しやすくなる Jul 19, 2024 am 01:29 AM

AIモデルによって与えられた答えがまったく理解できない場合、あなたはそれをあえて使用しますか?機械学習システムがより重要な分野で使用されるにつれて、なぜその出力を信頼できるのか、またどのような場合に信頼してはいけないのかを実証することがますます重要になっています。複雑なシステムの出力に対する信頼を得る方法の 1 つは、人間または他の信頼できるシステムが読み取れる、つまり、考えられるエラーが発生する可能性がある点まで完全に理解できる、その出力の解釈を生成することをシステムに要求することです。見つかった。たとえば、司法制度に対する信頼を築くために、裁判所に対し、決定を説明し裏付ける明確で読みやすい書面による意見を提供することを求めています。大規模な言語モデルの場合も、同様のアプローチを採用できます。ただし、このアプローチを採用する場合は、言語モデルが

arXiv 論文は「弾幕」として投稿可能、スタンフォード alphaXiv ディスカッション プラットフォームはオンライン、LeCun は気に入っています arXiv 論文は「弾幕」として投稿可能、スタンフォード alphaXiv ディスカッション プラットフォームはオンライン、LeCun は気に入っています Aug 01, 2024 pm 05:18 PM

乾杯!紙面でのディスカッションが言葉だけになると、どんな感じになるでしょうか?最近、スタンフォード大学の学生が、arXiv 論文のオープン ディスカッション フォーラムである alphaXiv を作成しました。このフォーラムでは、arXiv 論文に直接質問やコメントを投稿できます。 Web サイトのリンク: https://alphaxiv.org/ 実際、URL の arXiv を alphaXiv に変更するだけで、alphaXiv フォーラムの対応する論文を直接開くことができます。この Web サイトにアクセスする必要はありません。その中の段落を正確に見つけることができます。論文、文: 右側のディスカッション エリアでは、ユーザーは論文のアイデアや詳細について著者に尋ねる質問を投稿できます。たとえば、次のような論文の内容についてコメントすることもできます。

公理的トレーニングにより、LLM は因果推論を学習できます。6,700 万個のパラメータ モデルは、1 兆個のパラメータ レベル GPT-4 に匹敵します。 公理的トレーニングにより、LLM は因果推論を学習できます。6,700 万個のパラメータ モデルは、1 兆個のパラメータ レベル GPT-4 に匹敵します。 Jul 17, 2024 am 10:14 AM

LLM に因果連鎖を示すと、LLM は公理を学習します。 AI はすでに数学者や科学者の研究を支援しています。たとえば、有名な数学者のテレンス タオは、GPT などの AI ツールを活用した研究や探索の経験を繰り返し共有しています。 AI がこれらの分野で競争するには、強力で信頼性の高い因果推論能力が不可欠です。この記事で紹介する研究では、小さなグラフでの因果的推移性公理の実証でトレーニングされた Transformer モデルが、大きなグラフでの推移性公理に一般化できることがわかりました。言い換えれば、Transformer が単純な因果推論の実行を学習すると、より複雑な因果推論に使用できる可能性があります。チームが提案した公理的トレーニング フレームワークは、デモンストレーションのみで受動的データに基づいて因果推論を学習するための新しいパラダイムです。

リーマン予想の大きな進歩!陶哲軒氏はMITとオックスフォードの新しい論文を強く推薦し、37歳のフィールズ賞受賞者も参加した リーマン予想の大きな進歩!陶哲軒氏はMITとオックスフォードの新しい論文を強く推薦し、37歳のフィールズ賞受賞者も参加した Aug 05, 2024 pm 03:32 PM

最近、2000年代の7大問題の一つとして知られるリーマン予想が新たなブレークスルーを達成した。リーマン予想は、数学における非常に重要な未解決の問題であり、素数の分布の正確な性質に関連しています (素数とは、1 とそれ自身でのみ割り切れる数であり、整数論において基本的な役割を果たします)。今日の数学文献には、リーマン予想 (またはその一般化された形式) の確立に基づいた 1,000 を超える数学的命題があります。言い換えれば、リーマン予想とその一般化された形式が証明されれば、これらの 1,000 を超える命題が定理として確立され、数学の分野に重大な影響を与えることになります。これらの命題の一部も有効性を失います。 MIT数学教授ラリー・ガスとオックスフォード大学から新たな進歩がもたらされる

最初の Mamba ベースの MLLM が登場しました!モデルの重み、トレーニング コードなどはすべてオープンソースです 最初の Mamba ベースの MLLM が登場しました!モデルの重み、トレーニング コードなどはすべてオープンソースです Jul 17, 2024 am 02:46 AM

AIxivコラムは、当サイトが学術的・技術的な内容を掲載するコラムです。過去数年間で、このサイトの AIxiv コラムには 2,000 件を超えるレポートが寄せられ、世界中の主要な大学や企業のトップ研究室がカバーされ、学術交流と普及を効果的に促進しています。共有したい優れた作品がある場合は、お気軽に寄稿するか、報告のために当社までご連絡ください。提出電子メール: liyazhou@jiqizhixin.com; zhaoyunfeng@jiqizhixin.com。はじめに 近年、さまざまな分野でマルチモーダル大規模言語モデル (MLLM) の適用が目覚ましい成功を収めています。ただし、多くの下流タスクの基本モデルとして、現在の MLLM はよく知られた Transformer ネットワークで構成されています。

See all articles