Heim Technologie-Peripheriegeräte KI Ist das N-S-Gleichungsproblem gelöst? Gegenübergestellt mit der Riemann-Hypothese ist der Sieg des Millennium-Mathematikrätsels in Sicht

Ist das N-S-Gleichungsproblem gelöst? Gegenübergestellt mit der Riemann-Hypothese ist der Sieg des Millennium-Mathematikrätsels in Sicht

Apr 08, 2024 pm 06:34 PM
工程 Reguläre Hamilton-Formel Strömungsmechanik

Dies ist eines der bekanntesten ungelösten Probleme der Mathematik. Das neue Werk wurde einem Peer-Review unterzogen und der vollständige Text ist verfügbar.

Es boomt. Kündigt die Strömungsmechanik ihren eigenen supraleitenden Moment an?
Ist das N-S-Gleichungsproblem gelöst? Gegenübergestellt mit der Riemann-Hypothese ist der Sieg des Millennium-Mathematikrätsels in Sicht
In den letzten Tagen wird in Mathematikkreisen aktiv darüber diskutiert, dass die reguläre Hamilton-Formel des Navier-Stokes-Problems endlich aufgetaucht ist – dieses ungelöste Problem in der Geschichte der Mathematik könnte eine Antwort haben. Früher galt dies sogar allgemein als unmöglich.

Wie wichtig ist das? Die Navier-Stokes-Gleichung wurde im Jahr 2000 wie die Riemann-Hypothese als eines der „Sieben Millenniums-Mathematikprobleme“ aufgeführt.

Diese sieben Weltklasse-Probleme sind: NP-vollständiges Problem, Hodge-Vermutung, Poincaré-Vermutung, Riemann-Hypothese, Yang-Mills-Existenz und Massenlücke, Navier-Stokes-Gleichung, BSD-Vermutung. Jedes der sieben Probleme ist mit einer Million US-Dollar dotiert. In mehr als 20 Jahren wurde nur die „Poincaré-Vermutung“ von dem talentierten russischen Mathematiker Perelman gelöst.

Die meisten von ihnen sind bekannt, aber die „Navier-Stokes-Gleichung“ (N-S-Gleichung) scheint unter ihnen seltener erwähnt zu werden. Der Grund könnte sein, dass dieses Problem zu schwer zu verstehen ist (Studenten, die an der Hochschule den Kurs „Fluidmechanik“ belegt haben, werden definitiv eine Idee haben). Manche glauben sogar, dass es sich um die komplexeste Formel in der Geschichte der Mathematik handelt.

Um es einfach auszudrücken: Der Mathematiker Euler aus dem 18. Jahrhundert leitete in „Allgemeine Prinzipien der Flüssigkeitsbewegung“ eine Reihe von Gleichungen ab, die auf den Kraft- und Impulsänderungen basieren, die die Flüssigkeit erfährt, wenn sich die dünnflüssige Flüssigkeit bewegt.
Ist das N-S-Gleichungsproblem gelöst? Gegenübergestellt mit der Riemann-Hypothese ist der Sieg des Millennium-Mathematikrätsels in Sicht
Die Beschreibung der Eulerschen Gleichung schreibt eine Flüssigkeitsbewegung in einer idealisierten Welt vor, aber es gibt Reibung innerhalb der realen Flüssigkeit. Flüssigkeiten in der Natur sind viskos und werden zusammenfassend als viskose Flüssigkeiten oder echte Flüssigkeiten bezeichnet. Wenn wir beispielsweise Honig umrühren, spüren wir den Viskositätseffekt, und auch der Widerstand des fliegenden Flugzeugs wird größtenteils von der Viskosität der Luft abgeleitet.

Aufgrund der Viskosität tatsächlicher Flüssigkeiten wird unsere Untersuchung der Flüssigkeitsbewegung sehr kompliziert.
Ist das N-S-Gleichungsproblem gelöst? Gegenübergestellt mit der Riemann-Hypothese ist der Sieg des Millennium-Mathematikrätsels in Sicht
Im 19. Jahrhundert stellten der französische Ingenieur und Physiker Claude-Louis Navit und der irische Physiker und Mathematiker George Stokes das Flüssigkeitsgleichgewicht und die Bewegung unter Berücksichtigung intermolekularer Kräfte her und beschrieben die Komponentenform der Bewegung in kartesischen Koordinaten .

So nannten spätere Generationen die Navier-Stokes-Gleichung. Eine der gruseligsten partiellen Differentialgleichungen aller Zeiten.
Ist das N-S-Gleichungsproblem gelöst? Gegenübergestellt mit der Riemann-Hypothese ist der Sieg des Millennium-Mathematikrätsels in Sicht
Die Navier-Stokes-Gleichungen werden zur Beschreibung flüssiger Substanzen wie Flüssigkeiten und Luft verwendet. Diese Gleichungen setzen die Geschwindigkeit, mit der sich der Partikelimpuls einer Flüssigkeit ändert (die Kraft), mit den Änderungen des Drucks und der dissipativen viskosen Kräfte (analog zur Reibung) und der Schwerkraft in Beziehung, die auf das Innere der Flüssigkeit wirken. Diese viskosen Kräfte entstehen durch die Wechselwirkung von Molekülen und sagen uns, wie viskos eine Flüssigkeit ist. Auf diese Weise beschreiben die Navier-Stokes-Gleichungen das dynamische Gleichgewicht der Kräfte, die auf einen bestimmten Bereich einer Flüssigkeit wirken.

Dies ist für viele technische Probleme von entscheidender Bedeutung.

Wenn es eine globale Lösung für das Navier-Stokes-Problem gibt, werden viele Technologien im Zusammenhang mit der Strömungsmechanik Durchbrüche erzielen, darunter unter anderem Luft- und Raumfahrt, Raketentriebwerke, Wettervorhersage, Pipeline-Transport und medizinischer Blutflussbau. Modul und so weiter.

Das Schwierige an diesem Gleichungssystem ist: Wie erklären wir es mithilfe der mathematischen Theorie? Selbst die mathematische Theorie, die Einsteins Feldgleichungen zur Beschreibung exotischer Schwarzer Löcher erklärt, ist einfacher als die Formulierung der Navier-Stokes-Gleichungen.

Der wichtige Durchbruch, den die genannten Personen erwähnten, stammt aus dem Aufsatz „Eine kanonische Hamiltonian-Formulierung des Navier-Stokes-Problems“, der am 1. April in der Top-Zeitschrift „Journal of Fluid Mechanics“ auf dem Gebiet der Strömungsmechanik veröffentlicht wurde:
... Ist das N-S-Gleichungsproblem gelöst? Gegenübergestellt mit der Riemann-Hypothese ist der Sieg des Millennium-Mathematikrätsels in Sicht
In diesem Artikel wird eine neue Hamilton-Formel für das isotrope Navier-Stokes-Problem vorgeschlagen, die auf dem Prinzip der kleinsten Wirkung basiert, das vom Prinzip der kleinsten Quadrate abgeleitet ist. Die Formel verwendet Geschwindigkeit und Druck
als variable Feldgrößen sowie den aus der Analyse abgeleiteten kanonischen konjugierten Impuls. Auf dieser Grundlage konstruiert diese Studie eine konservierte Hamilton-Funktion H*, die die kanonische Hamilton-Gleichung erfüllt, und formuliert die zugehörigen Hamilton-Jakobian-Gleichungen für kompressible und inkompressible Strömungen. Diese Hamilton-Jakobian-Gleichung reduziert das Problem, vier unabhängige Feldgrößen
zu finden, auf die Suche nach einer einzigen Skalarfunktion zwischen diesen Feldern – Hamiltons Hauptfunktion
Darüber hinaus liefern die Hamilton- und Jacobi-Transformationen eine vorgeschriebene Methode zur Lösung des Navier-Stokes-Problems : S* finden.
Ist das N-S-Gleichungsproblem gelöst? Gegenübergestellt mit der Riemann-Hypothese ist der Sieg des Millennium-Mathematikrätsels in SichtIst das N-S-Gleichungsproblem gelöst? Gegenübergestellt mit der Riemann-Hypothese ist der Sieg des Millennium-Mathematikrätsels in SichtIst das N-S-Gleichungsproblem gelöst? Gegenübergestellt mit der Riemann-Hypothese ist der Sieg des Millennium-Mathematikrätsels in SichtWenn der analytische Ausdruck von S * erhalten werden kann, erhält man durch kanonische Transformation einen neuen Satz von Feldern, der die analytischen Ausdrücke der ursprünglichen Geschwindigkeits- und Druckfelder ergibt. Diese Felder sind einfach äquivalent zu ihren ursprünglichen Wert. Andernfalls kann man nur beweisen, dass eine vollständige Lösung der Hamilton-Jacobian-Gleichung existiert oder nicht, was auch das Problem der Existenz der Lösung lösen würde. Ist das N-S-Gleichungsproblem gelöst? Gegenübergestellt mit der Riemann-Hypothese ist der Sieg des Millennium-Mathematikrätsels in Sicht

Gibt es einen Millionenpreis für diese neue Forschung? Um zu gewinnen, müssen Forscher zeigen, dass es Lösungen für die dreidimensionalen inkompressiblen Navier-Stokes-Gleichungen gibt und dass, wenn es Lösungen gibt, diese Lösungen glatt sind.

Der Mathematiker Terence Tao dachte einmal, dass das schwierig sei.

Den aktuellen Fortschritten nach zu urteilen, haben neue Forschungsergebnisse die Lösung offener Probleme erleichtert, und wir haben einen großen Schritt nach vorne gemacht – wir haben die reguläre Hamilton-Formel der Navier-Stokes-Gleichung erkannt. Das könnte bedeuten, dass wir kann die Einschränkungen des Standard-Lagrange-Operators umgehen und das Problem auf die Suche nach einer einzelnen Skalarfunktion reduzieren.
Ist das N-S-Gleichungsproblem gelöst? Gegenübergestellt mit der Riemann-Hypothese ist der Sieg des Millennium-Mathematikrätsels in Sicht
Vielleicht sind wir nicht mehr weit davon entfernt, die zweite Frage des Millennium-Rätsels zu lösen.

Referenzinhalt:

https://www1.grc.nasa.gov/beginners-guide-to-aeronautics/navier-Strecke-Equation/
https: //zhuanlan.zhihu.com/p/263628141
https://terrytao.wordpress.com/2007/03/18/why-global-regularity-for-navier-stokes-is-hard/

Das obige ist der detaillierte Inhalt vonIst das N-S-Gleichungsproblem gelöst? Gegenübergestellt mit der Riemann-Hypothese ist der Sieg des Millennium-Mathematikrätsels in Sicht. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!

Erklärung dieser Website
Der Inhalt dieses Artikels wird freiwillig von Internetnutzern beigesteuert und das Urheberrecht liegt beim ursprünglichen Autor. Diese Website übernimmt keine entsprechende rechtliche Verantwortung. Wenn Sie Inhalte finden, bei denen der Verdacht eines Plagiats oder einer Rechtsverletzung besteht, wenden Sie sich bitte an admin@php.cn

Heiße KI -Werkzeuge

Undresser.AI Undress

Undresser.AI Undress

KI-gestützte App zum Erstellen realistischer Aktfotos

AI Clothes Remover

AI Clothes Remover

Online-KI-Tool zum Entfernen von Kleidung aus Fotos.

Undress AI Tool

Undress AI Tool

Ausziehbilder kostenlos

Clothoff.io

Clothoff.io

KI-Kleiderentferner

AI Hentai Generator

AI Hentai Generator

Erstellen Sie kostenlos Ai Hentai.

Heißer Artikel

R.E.P.O. Energiekristalle erklärten und was sie tun (gelber Kristall)
3 Wochen vor By 尊渡假赌尊渡假赌尊渡假赌
R.E.P.O. Beste grafische Einstellungen
3 Wochen vor By 尊渡假赌尊渡假赌尊渡假赌
R.E.P.O. So reparieren Sie Audio, wenn Sie niemanden hören können
3 Wochen vor By 尊渡假赌尊渡假赌尊渡假赌
WWE 2K25: Wie man alles in Myrise freischaltet
3 Wochen vor By 尊渡假赌尊渡假赌尊渡假赌

Heiße Werkzeuge

Notepad++7.3.1

Notepad++7.3.1

Einfach zu bedienender und kostenloser Code-Editor

SublimeText3 chinesische Version

SublimeText3 chinesische Version

Chinesische Version, sehr einfach zu bedienen

Senden Sie Studio 13.0.1

Senden Sie Studio 13.0.1

Leistungsstarke integrierte PHP-Entwicklungsumgebung

Dreamweaver CS6

Dreamweaver CS6

Visuelle Webentwicklungstools

SublimeText3 Mac-Version

SublimeText3 Mac-Version

Codebearbeitungssoftware auf Gottesniveau (SublimeText3)

Der Autor von ControlNet hat einen weiteren Hit! Der gesamte Prozess der Generierung eines Gemäldes aus einem Bild, der in zwei Tagen 1,4.000 Sterne verdient Der Autor von ControlNet hat einen weiteren Hit! Der gesamte Prozess der Generierung eines Gemäldes aus einem Bild, der in zwei Tagen 1,4.000 Sterne verdient Jul 17, 2024 am 01:56 AM

Es ist ebenfalls ein Tusheng-Video, aber PaintsUndo ist einen anderen Weg gegangen. ControlNet-Autor LvminZhang begann wieder zu leben! Dieses Mal ziele ich auf den Bereich der Malerei. Das neue Projekt PaintsUndo hat nicht lange nach seinem Start 1,4.000 Sterne erhalten (die immer noch wahnsinnig steigen). Projektadresse: https://github.com/lllyasviel/Paints-UNDO Bei diesem Projekt gibt der Benutzer ein statisches Bild ein, und PaintsUndo kann Ihnen dabei helfen, automatisch ein Video des gesamten Malprozesses zu erstellen, vom Linienentwurf bis zum fertigen Produkt . Während des Zeichenvorgangs sind die Linienänderungen erstaunlich. Das Endergebnis des Videos ist dem Originalbild sehr ähnlich: Schauen wir uns eine vollständige Zeichnung an.

Von RLHF über DPO bis TDPO sind große Modellausrichtungsalgorithmen bereits auf „Token-Ebene' Von RLHF über DPO bis TDPO sind große Modellausrichtungsalgorithmen bereits auf „Token-Ebene' Jun 24, 2024 pm 03:04 PM

Die AIxiv-Kolumne ist eine Kolumne, in der diese Website akademische und technische Inhalte veröffentlicht. In den letzten Jahren sind in der AIxiv-Kolumne dieser Website mehr als 2.000 Berichte eingegangen, die Spitzenlabore großer Universitäten und Unternehmen auf der ganzen Welt abdecken und so den akademischen Austausch und die Verbreitung wirksam fördern. Wenn Sie hervorragende Arbeiten haben, die Sie teilen möchten, können Sie gerne einen Beitrag leisten oder uns für die Berichterstattung kontaktieren. Einreichungs-E-Mail: liyazhou@jiqizhixin.com; zhaoyunfeng@jiqizhixin.com Im Entwicklungsprozess der künstlichen Intelligenz war die Steuerung und Führung großer Sprachmodelle (LLM) schon immer eine der zentralen Herausforderungen, um sicherzustellen, dass diese Modelle beides sind kraftvoll und sicher dienen der menschlichen Gesellschaft. Frühe Bemühungen konzentrierten sich auf Methoden des verstärkenden Lernens durch menschliches Feedback (RL

Die agentenlose Lösung von UIUC steht ganz oben auf der Liste der Open-Source-KI-Softwareentwickler und löst problemlos echte Programmierprobleme im SWE-Bench Die agentenlose Lösung von UIUC steht ganz oben auf der Liste der Open-Source-KI-Softwareentwickler und löst problemlos echte Programmierprobleme im SWE-Bench Jul 17, 2024 pm 10:02 PM

Die AIxiv-Kolumne ist eine Kolumne, in der diese Website akademische und technische Inhalte veröffentlicht. In den letzten Jahren sind in der AIxiv-Kolumne dieser Website mehr als 2.000 Berichte eingegangen, die Spitzenlabore großer Universitäten und Unternehmen auf der ganzen Welt abdecken und so den akademischen Austausch und die Verbreitung wirksam fördern. Wenn Sie hervorragende Arbeiten haben, die Sie teilen möchten, können Sie gerne einen Beitrag leisten oder uns für die Berichterstattung kontaktieren. Einreichungs-E-Mail: liyazhou@jiqizhixin.com; zhaoyunfeng@jiqizhixin.com Die Autoren dieses Artikels stammen alle aus dem Team von Lehrer Zhang Lingming an der University of Illinois in Urbana-Champaign, darunter: Steven Code Repair; Doktorand im vierten Jahr, Forscher

Posthume Arbeit des OpenAI Super Alignment Teams: Zwei große Modelle spielen ein Spiel und die Ausgabe wird verständlicher Posthume Arbeit des OpenAI Super Alignment Teams: Zwei große Modelle spielen ein Spiel und die Ausgabe wird verständlicher Jul 19, 2024 am 01:29 AM

Wenn die Antwort des KI-Modells überhaupt unverständlich ist, würden Sie es wagen, sie zu verwenden? Da maschinelle Lernsysteme in immer wichtigeren Bereichen eingesetzt werden, wird es immer wichtiger zu zeigen, warum wir ihren Ergebnissen vertrauen können und wann wir ihnen nicht vertrauen sollten. Eine Möglichkeit, Vertrauen in die Ausgabe eines komplexen Systems zu gewinnen, besteht darin, vom System zu verlangen, dass es eine Interpretation seiner Ausgabe erstellt, die für einen Menschen oder ein anderes vertrauenswürdiges System lesbar ist, d. h. so vollständig verständlich, dass mögliche Fehler erkannt werden können gefunden. Um beispielsweise Vertrauen in das Justizsystem aufzubauen, verlangen wir von den Gerichten, dass sie klare und lesbare schriftliche Stellungnahmen abgeben, die ihre Entscheidungen erläutern und stützen. Für große Sprachmodelle können wir auch einen ähnlichen Ansatz verfolgen. Stellen Sie bei diesem Ansatz jedoch sicher, dass das Sprachmodell generiert wird

Axiomatisches Training ermöglicht es LLM, kausales Denken zu erlernen: Das 67-Millionen-Parameter-Modell ist vergleichbar mit der Billionen-Parameter-Ebene GPT-4 Axiomatisches Training ermöglicht es LLM, kausales Denken zu erlernen: Das 67-Millionen-Parameter-Modell ist vergleichbar mit der Billionen-Parameter-Ebene GPT-4 Jul 17, 2024 am 10:14 AM

Zeigen Sie LLM die Kausalkette und es lernt die Axiome. KI hilft Mathematikern und Wissenschaftlern bereits bei der Forschung. Beispielsweise hat der berühmte Mathematiker Terence Tao wiederholt seine Forschungs- und Forschungserfahrungen mit Hilfe von KI-Tools wie GPT geteilt. Damit KI in diesen Bereichen konkurrenzfähig sein kann, sind starke und zuverlässige Fähigkeiten zum kausalen Denken unerlässlich. Die in diesem Artikel vorgestellte Forschung ergab, dass ein Transformer-Modell, das auf die Demonstration des kausalen Transitivitätsaxioms für kleine Graphen trainiert wurde, auf das Transitivitätsaxiom für große Graphen verallgemeinern kann. Mit anderen Worten: Wenn der Transformer lernt, einfache kausale Überlegungen anzustellen, kann er für komplexere kausale Überlegungen verwendet werden. Der vom Team vorgeschlagene axiomatische Trainingsrahmen ist ein neues Paradigma zum Erlernen des kausalen Denkens auf der Grundlage passiver Daten, nur mit Demonstrationen

arXiv-Artikel können als „Barrage' gepostet werden, die Diskussionsplattform von Stanford alphaXiv ist online, LeCun gefällt es arXiv-Artikel können als „Barrage' gepostet werden, die Diskussionsplattform von Stanford alphaXiv ist online, LeCun gefällt es Aug 01, 2024 pm 05:18 PM

Prost! Wie ist es, wenn es bei einer Papierdiskussion auf Worte ankommt? Kürzlich haben Studenten der Stanford University alphaXiv erstellt, ein offenes Diskussionsforum für arXiv-Artikel, das es ermöglicht, Fragen und Kommentare direkt zu jedem arXiv-Artikel zu posten. Website-Link: https://alphaxiv.org/ Tatsächlich ist es nicht erforderlich, diese Website speziell zu besuchen. Ändern Sie einfach arXiv in einer beliebigen URL in alphaXiv, um den entsprechenden Artikel direkt im alphaXiv-Forum zu öffnen: Sie können die Absätze darin genau lokalisieren das Papier, Satz: Im Diskussionsbereich auf der rechten Seite können Benutzer Fragen stellen, um dem Autor Fragen zu den Ideen und Details des Papiers zu stellen. Sie können beispielsweise auch den Inhalt des Papiers kommentieren, wie zum Beispiel: „Gegeben an.“

Ein bedeutender Durchbruch in der Riemann-Hypothese! Tao Zhexuan empfiehlt dringend neue Arbeiten vom MIT und Oxford, und der 37-jährige Fields-Medaillengewinner nahm daran teil Ein bedeutender Durchbruch in der Riemann-Hypothese! Tao Zhexuan empfiehlt dringend neue Arbeiten vom MIT und Oxford, und der 37-jährige Fields-Medaillengewinner nahm daran teil Aug 05, 2024 pm 03:32 PM

Kürzlich gelang der Riemann-Hypothese, die als eines der sieben großen Probleme des Jahrtausends bekannt ist, ein neuer Durchbruch. Die Riemann-Hypothese ist ein sehr wichtiges ungelöstes Problem in der Mathematik, das sich auf die genauen Eigenschaften der Verteilung von Primzahlen bezieht (Primzahlen sind Zahlen, die nur durch 1 und sich selbst teilbar sind, und sie spielen eine grundlegende Rolle in der Zahlentheorie). In der heutigen mathematischen Literatur gibt es mehr als tausend mathematische Thesen, die auf der Aufstellung der Riemann-Hypothese (oder ihrer verallgemeinerten Form) basieren. Mit anderen Worten: Sobald die Riemann-Hypothese und ihre verallgemeinerte Form bewiesen sind, werden diese mehr als tausend Sätze als Theoreme etabliert, die einen tiefgreifenden Einfluss auf das Gebiet der Mathematik haben werden, und wenn sich die Riemann-Hypothese als falsch erweist, dann unter anderem Auch diese Sätze werden teilweise ihre Gültigkeit verlieren. Neuer Durchbruch kommt von MIT-Mathematikprofessor Larry Guth und der Universität Oxford

Unbegrenzte Videogenerierung, Planung und Entscheidungsfindung, erzwungene Verbreitung der nächsten Token-Vorhersage und vollständige Sequenzverbreitung Unbegrenzte Videogenerierung, Planung und Entscheidungsfindung, erzwungene Verbreitung der nächsten Token-Vorhersage und vollständige Sequenzverbreitung Jul 23, 2024 pm 02:05 PM

Derzeit sind autoregressive groß angelegte Sprachmodelle, die das nächste Token-Vorhersageparadigma verwenden, auf der ganzen Welt populär geworden. Gleichzeitig haben uns zahlreiche synthetische Bilder und Videos im Internet bereits die Leistungsfähigkeit von Diffusionsmodellen gezeigt. Kürzlich hat ein Forschungsteam am MITCSAIL (darunter Chen Boyuan, ein Doktorand am MIT) erfolgreich die leistungsstarken Fähigkeiten des Vollsequenz-Diffusionsmodells und des nächsten Token-Modells integriert und ein Trainings- und Sampling-Paradigma vorgeschlagen: Diffusion Forcing (DF). ). Papiertitel: DiffusionForcing:Next-tokenPredictionMeetsFull-SequenceDiffusion Papieradresse: https:/

See all articles