Maison Périphériques technologiques IA Le problème de l'équation N-S est-il résolu ? Juxtaposé à l'hypothèse de Riemann, le puzzle mathématique du millénaire est en vue de la victoire

Le problème de l'équation N-S est-il résolu ? Juxtaposé à l'hypothèse de Riemann, le puzzle mathématique du millénaire est en vue de la victoire

Apr 08, 2024 pm 06:34 PM
工程 Formule hamiltonienne régulière mécanique des fluides

C’est l’un des problèmes non résolus les plus connus en mathématiques. Le nouveau travail a été évalué par des pairs et le texte intégral est disponible.

C’est en plein essor. La mécanique des fluides inaugure-t-elle son propre moment supraconducteur ?
Le problème de léquation N-S est-il résolu ? Juxtaposé à lhypothèse de Riemann, le puzzle mathématique du millénaire est en vue de la victoire
Ces derniers jours, les gens dans les cercles mathématiques discutent activement du fait que la formule hamiltonienne régulière du problème de Navier-Stokes est enfin apparue - ce problème non résolu de l'histoire des mathématiques pourrait avoir une réponse. Dans le passé, cela était même généralement considéré comme impossible.

Quelle est l'importance de cela ? L'équation de Navier-Stokes, comme l'hypothèse de Riemann, a été répertoriée comme l'un des « sept problèmes mathématiques du millénaire » en 2000.

Ces sept problèmes de classe mondiale sont : le problème NP-complet, la conjecture de Hodge, la conjecture de Poincaré, l'hypothèse de Riemann, l'existence de Yang-Mills et l'écart de masse, l'équation de Navier-Stokes, la conjecture de BSD. Chacun des sept problèmes est récompensé d'un million de dollars américains. En plus de 20 ans, seule la « conjecture de Poincaré » a été résolue par le talentueux mathématicien russe Perelman.

La plupart d'entre eux sont familiers, mais "l'équation de Navier-Stokes" (équation N-S) semble être moins mentionnée parmi eux. La raison peut être que ce problème est trop difficile à comprendre (les étudiants ayant suivi le cours « Mécanique des Fluides » au collège auront certainement une idée). Certains pensent même qu’il s’agit de la formule la plus complexe de l’histoire des mathématiques.

Pour faire simple, le mathématicien du XVIIIe siècle Euler a dérivé un ensemble d'équations dans "Principes généraux du mouvement des fluides" basées sur les changements de force et d'impulsion subis par le fluide lorsque le fluide non visqueux se déplace.
Le problème de léquation N-S est-il résolu ? Juxtaposé à lhypothèse de Riemann, le puzzle mathématique du millénaire est en vue de la victoire
La description de l’équation d’Euler stipule le mouvement du fluide dans un monde idéalisé, mais il existe une friction à l’intérieur du fluide réel. Les fluides dans la nature sont visqueux et sont collectivement appelés fluides visqueux ou fluides réels. Par exemple, lorsque nous remuons du miel, nous ressentons l'effet de viscosité, et la résistance du vol de l'avion dépend également en grande partie de la viscosité de l'air.

En raison de la viscosité des fluides réels, notre étude du mouvement des fluides devient très compliquée.
Le problème de léquation N-S est-il résolu ? Juxtaposé à lhypothèse de Riemann, le puzzle mathématique du millénaire est en vue de la victoire
Au 19ème siècle, l'ingénieur et physicien français Claude-Louis Navit et le physicien et mathématicien irlandais George Stokes ont établi l'équilibre et le mouvement des fluides en considérant les forces intermoléculaires et décrivent la forme composante du mouvement en coordonnées cartésiennes. .

C'est ce que les générations suivantes ont appelé l'équation de Navier-Stokes. L’une des équations aux dérivées partielles les plus effrayantes de tous les temps.
Le problème de léquation N-S est-il résolu ? Juxtaposé à lhypothèse de Riemann, le puzzle mathématique du millénaire est en vue de la victoire
Les équations de Navier-Stokes sont utilisées pour décrire des substances fluides comme les liquides et l'air. Ces équations relient la vitesse à laquelle l'élan des particules d'un fluide change (la force) aux changements de pression et aux forces visqueuses dissipatives (analogues au frottement) et à la gravité agissant à l'intérieur du fluide. Ces forces visqueuses résultent des interactions des molécules et nous indiquent la viscosité d’un liquide. De cette manière, les équations de Navier-Stokes décrivent l'équilibre dynamique des forces agissant sur une région donnée d'un liquide.

Cela est crucial pour de nombreux problèmes d'ingénierie.

S'il existe une solution globale au problème Navier-Stokes, de nombreuses technologies liées à la mécanique des fluides connaîtront des percées, notamment l'aérospatiale, les moteurs de fusée, la prévision météorologique, le transport par pipeline et la construction de flux sanguins médicaux. Module et ainsi de suite.

La difficulté avec cet ensemble d'équations est la suivante : comment l'expliquer en utilisant la théorie mathématique. Même la théorie mathématique qui explique les équations de champ d'Einstein décrivant les trous noirs exotiques est plus simple que la formulation des équations de Navier-Stokes.

L'avancée importante mentionnée par les personnes provient de l'article "Une formulation canonique hamiltonienne du problème Navier-Stokes", qui a été publié dans la revue de premier plan "Journal of Fluid Mechanics" dans le domaine de la mécanique des fluides le 1er avril :
Le problème de léquation N-S est-il résolu ? Juxtaposé à lhypothèse de Riemann, le puzzle mathématique du millénaire est en vue de la victoire
Lien papier : https://www.cambridge.org/core/journals/journal-of-fluid-mechanics/article/canonical-hamiltonian-formulation-of-the-navierstokes-problem/B3EB9389AE700867A6A3EA63A45E69C6

Cet article propose une nouvelle formule hamiltonienne pour le problème isotrope de Navier-Stokes basée sur le principe de moindre action dérivé du principe des moindres carrés. La formule utilise la vitesse Le problème de léquation N-S est-il résolu ? Juxtaposé à lhypothèse de Riemann, le puzzle mathématique du millénaire est en vue de la victoire et la pression Le problème de léquation N-S est-il résolu ? Juxtaposé à lhypothèse de Riemann, le puzzle mathématique du millénaire est en vue de la victoire comme quantités de champ variables, ainsi que l'impulsion conjuguée canonique dérivée de l'analyse. Sur cette base, cette étude construit une fonction hamiltonienne conservée H* qui satisfait l'équation canonique hamiltonienne et formule les équations hamiltoniennes-jacobiennes associées pour les écoulements compressibles et incompressibles. Cette équation hamiltonienne-jacobienne réduit le problème de la recherche de quatre quantités de champ indépendantes Le problème de léquation N-S est-il résolu ? Juxtaposé à lhypothèse de Riemann, le puzzle mathématique du millénaire est en vue de la victoire à la recherche d'une seule fonctionnelle scalaire parmi ces champs - la fonctionnelle principale de Hamilton Le problème de léquation N-S est-il résolu ? Juxtaposé à lhypothèse de Riemann, le puzzle mathématique du millénaire est en vue de la victoire De plus, les transformations hamiltonienne et jacobienne La théorie fournit une méthode prescrite pour résoudre le problème de Navier-Stokes : trouver S*.

Si l'expression analytique de S * peut être obtenue, alors elle obtiendra un nouvel ensemble de champs par transformation canonique, donnant les expressions analytiques des champs de vitesse et de pression d'origine. Ces champs seront simplement équivalents à leurs champs initiaux. valeur. A défaut, on ne peut que prouver qu’une solution complète de l’équation de Hamilton-Jacobian existe ou n’existe pas, ce qui résoudrait également le problème de l’existence de la solution.

Y a-t-il un prix d'un million de dollars pour cette nouvelle recherche ? Pour gagner, les chercheurs doivent démontrer qu’il existe des solutions aux équations tridimensionnelles incompressibles de Navier-Stokes et que, s’il existe des solutions, ces solutions sont lisses.

Le mathématicien Terence Tao pensait un jour que c'était difficile.
Le problème de léquation N-S est-il résolu ? Juxtaposé à lhypothèse de Riemann, le puzzle mathématique du millénaire est en vue de la victoire
À en juger par les progrès actuels, de nouvelles recherches ont facilité la résolution de problèmes ouverts, et nous avons fait un grand pas en avant - nous avons réalisé la formule hamiltonienne régulière de l'équation de Navier-Stokes, cela pourrait signifier que nous peut contourner les limites du lagrangien standard et réduire le problème à la recherche d'une seule fonction scalaire.

Peut-être ne sommes-nous pas loin de résoudre la deuxième question du puzzle du millénaire.

Contenu de référence :
https://www1.grc.nasa.gov/beginners-guide-to-aeronautics/navier-strokes-equation/
https : //zhuanlan.zhihu.com/p/263628141
https://terrytao.wordpress.com/2007/03/18/why-global-regularity-for-navier-stokes-is-hard/

Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!

Déclaration de ce site Web
Le contenu de cet article est volontairement contribué par les internautes et les droits d'auteur appartiennent à l'auteur original. Ce site n'assume aucune responsabilité légale correspondante. Si vous trouvez un contenu suspecté de plagiat ou de contrefaçon, veuillez contacter admin@php.cn

Outils d'IA chauds

Undresser.AI Undress

Undresser.AI Undress

Application basée sur l'IA pour créer des photos de nu réalistes

AI Clothes Remover

AI Clothes Remover

Outil d'IA en ligne pour supprimer les vêtements des photos.

Undress AI Tool

Undress AI Tool

Images de déshabillage gratuites

Clothoff.io

Clothoff.io

Dissolvant de vêtements AI

AI Hentai Generator

AI Hentai Generator

Générez AI Hentai gratuitement.

Article chaud

R.E.P.O. Crystals d'énergie expliqués et ce qu'ils font (cristal jaune)
4 Il y a quelques semaines By 尊渡假赌尊渡假赌尊渡假赌
R.E.P.O. Meilleurs paramètres graphiques
4 Il y a quelques semaines By 尊渡假赌尊渡假赌尊渡假赌
R.E.P.O. Comment réparer l'audio si vous n'entendez personne
4 Il y a quelques semaines By 尊渡假赌尊渡假赌尊渡假赌
WWE 2K25: Comment déverrouiller tout dans Myrise
1 Il y a quelques mois By 尊渡假赌尊渡假赌尊渡假赌

Outils chauds

Bloc-notes++7.3.1

Bloc-notes++7.3.1

Éditeur de code facile à utiliser et gratuit

SublimeText3 version chinoise

SublimeText3 version chinoise

Version chinoise, très simple à utiliser

Envoyer Studio 13.0.1

Envoyer Studio 13.0.1

Puissant environnement de développement intégré PHP

Dreamweaver CS6

Dreamweaver CS6

Outils de développement Web visuel

SublimeText3 version Mac

SublimeText3 version Mac

Logiciel d'édition de code au niveau de Dieu (SublimeText3)

L'auteur de ControlNet a encore un succès ! L'ensemble du processus de génération d'une peinture à partir d'une image, gagnant 1,4k étoiles en deux jours L'auteur de ControlNet a encore un succès ! L'ensemble du processus de génération d'une peinture à partir d'une image, gagnant 1,4k étoiles en deux jours Jul 17, 2024 am 01:56 AM

Il s'agit également d'une vidéo Tusheng, mais PaintsUndo a emprunté une voie différente. L'auteur de ControlNet, LvminZhang, a recommencé à vivre ! Cette fois, je vise le domaine de la peinture. Le nouveau projet PaintsUndo a reçu 1,4kstar (toujours en hausse folle) peu de temps après son lancement. Adresse du projet : https://github.com/lllyasviel/Paints-UNDO Grâce à ce projet, l'utilisateur saisit une image statique et PaintsUndo peut automatiquement vous aider à générer une vidéo de l'ensemble du processus de peinture, du brouillon de ligne au suivi du produit fini. . Pendant le processus de dessin, les changements de lignes sont étonnants. Le résultat vidéo final est très similaire à l’image originale : jetons un coup d’œil à un dessin complet.

Du RLHF au DPO en passant par TDPO, les algorithmes d'alignement des grands modèles sont déjà « au niveau des jetons » Du RLHF au DPO en passant par TDPO, les algorithmes d'alignement des grands modèles sont déjà « au niveau des jetons » Jun 24, 2024 pm 03:04 PM

La colonne AIxiv est une colonne où ce site publie du contenu académique et technique. Au cours des dernières années, la rubrique AIxiv de ce site a reçu plus de 2 000 rapports, couvrant les meilleurs laboratoires des principales universités et entreprises du monde entier, favorisant efficacement les échanges et la diffusion académiques. Si vous souhaitez partager un excellent travail, n'hésitez pas à contribuer ou à nous contacter pour un rapport. Courriel de soumission : liyazhou@jiqizhixin.com ; zhaoyunfeng@jiqizhixin.com Dans le processus de développement de l'intelligence artificielle, le contrôle et le guidage des grands modèles de langage (LLM) ont toujours été l'un des principaux défis, visant à garantir que ces modèles sont à la fois puissant et sûr au service de la société humaine. Les premiers efforts se sont concentrés sur les méthodes d’apprentissage par renforcement par feedback humain (RL

En tête de liste des ingénieurs logiciels d'IA open source, la solution sans agent de l'UIUC résout facilement les problèmes de programmation réels du banc SWE. En tête de liste des ingénieurs logiciels d'IA open source, la solution sans agent de l'UIUC résout facilement les problèmes de programmation réels du banc SWE. Jul 17, 2024 pm 10:02 PM

La colonne AIxiv est une colonne où ce site publie du contenu académique et technique. Au cours des dernières années, la rubrique AIxiv de ce site a reçu plus de 2 000 rapports, couvrant les meilleurs laboratoires des principales universités et entreprises du monde entier, favorisant efficacement les échanges et la diffusion académiques. Si vous souhaitez partager un excellent travail, n'hésitez pas à contribuer ou à nous contacter pour un rapport. Courriel de soumission : liyazhou@jiqizhixin.com ; zhaoyunfeng@jiqizhixin.com Les auteurs de cet article font tous partie de l'équipe de l'enseignant Zhang Lingming de l'Université de l'Illinois à Urbana-Champaign (UIUC), notamment : Steven Code repair ; doctorant en quatrième année, chercheur

Travail posthume de l'équipe OpenAI Super Alignment : deux grands modèles jouent à un jeu et le résultat devient plus compréhensible Travail posthume de l'équipe OpenAI Super Alignment : deux grands modèles jouent à un jeu et le résultat devient plus compréhensible Jul 19, 2024 am 01:29 AM

Si la réponse donnée par le modèle d’IA est incompréhensible du tout, oseriez-vous l’utiliser ? À mesure que les systèmes d’apprentissage automatique sont utilisés dans des domaines de plus en plus importants, il devient de plus en plus important de démontrer pourquoi nous pouvons faire confiance à leurs résultats, et quand ne pas leur faire confiance. Une façon possible de gagner confiance dans le résultat d'un système complexe est d'exiger que le système produise une interprétation de son résultat qui soit lisible par un humain ou un autre système de confiance, c'est-à-dire entièrement compréhensible au point que toute erreur possible puisse être trouvé. Par exemple, pour renforcer la confiance dans le système judiciaire, nous exigeons que les tribunaux fournissent des avis écrits clairs et lisibles qui expliquent et soutiennent leurs décisions. Pour les grands modèles de langage, nous pouvons également adopter une approche similaire. Cependant, lorsque vous adoptez cette approche, assurez-vous que le modèle de langage génère

Les articles arXiv peuvent être publiés sous forme de 'barrage', la plateforme de discussion alphaXiv de Stanford est en ligne, LeCun l'aime Les articles arXiv peuvent être publiés sous forme de 'barrage', la plateforme de discussion alphaXiv de Stanford est en ligne, LeCun l'aime Aug 01, 2024 pm 05:18 PM

acclamations! Qu’est-ce que ça fait lorsqu’une discussion sur papier se résume à des mots ? Récemment, des étudiants de l'Université de Stanford ont créé alphaXiv, un forum de discussion ouvert pour les articles arXiv qui permet de publier des questions et des commentaires directement sur n'importe quel article arXiv. Lien du site Web : https://alphaxiv.org/ En fait, il n'est pas nécessaire de visiter spécifiquement ce site Web. Il suffit de remplacer arXiv dans n'importe quelle URL par alphaXiv pour ouvrir directement l'article correspondant sur le forum alphaXiv : vous pouvez localiser avec précision les paragraphes dans. l'article, Phrase : dans la zone de discussion sur la droite, les utilisateurs peuvent poser des questions à l'auteur sur les idées et les détails de l'article. Par exemple, ils peuvent également commenter le contenu de l'article, tels que : "Donné à".

La formation Axiom permet au LLM d'apprendre le raisonnement causal : le modèle à 67 millions de paramètres est comparable au niveau de mille milliards de paramètres GPT-4. La formation Axiom permet au LLM d'apprendre le raisonnement causal : le modèle à 67 millions de paramètres est comparable au niveau de mille milliards de paramètres GPT-4. Jul 17, 2024 am 10:14 AM

Montrez la chaîne causale à LLM et il pourra apprendre les axiomes. L'IA aide déjà les mathématiciens et les scientifiques à mener des recherches. Par exemple, le célèbre mathématicien Terence Tao a partagé à plusieurs reprises son expérience de recherche et d'exploration à l'aide d'outils d'IA tels que GPT. Pour que l’IA soit compétitive dans ces domaines, des capacités de raisonnement causal solides et fiables sont essentielles. La recherche présentée dans cet article a révélé qu'un modèle Transformer formé sur la démonstration de l'axiome de transitivité causale sur de petits graphes peut se généraliser à l'axiome de transitivité sur de grands graphes. En d’autres termes, si le Transformateur apprend à effectuer un raisonnement causal simple, il peut être utilisé pour un raisonnement causal plus complexe. Le cadre de formation axiomatique proposé par l'équipe est un nouveau paradigme pour l'apprentissage du raisonnement causal basé sur des données passives, avec uniquement des démonstrations.

Une avancée significative dans l'hypothèse de Riemann ! Tao Zhexuan recommande fortement les nouveaux articles du MIT et d'Oxford, et le lauréat de la médaille Fields, âgé de 37 ans, a participé Une avancée significative dans l'hypothèse de Riemann ! Tao Zhexuan recommande fortement les nouveaux articles du MIT et d'Oxford, et le lauréat de la médaille Fields, âgé de 37 ans, a participé Aug 05, 2024 pm 03:32 PM

Récemment, l’hypothèse de Riemann, connue comme l’un des sept problèmes majeurs du millénaire, a réalisé une nouvelle avancée. L'hypothèse de Riemann est un problème mathématique non résolu très important, lié aux propriétés précises de la distribution des nombres premiers (les nombres premiers sont les nombres qui ne sont divisibles que par 1 et par eux-mêmes, et jouent un rôle fondamental dans la théorie des nombres). Dans la littérature mathématique actuelle, il existe plus d'un millier de propositions mathématiques basées sur l'établissement de l'hypothèse de Riemann (ou sa forme généralisée). En d’autres termes, une fois que l’hypothèse de Riemann et sa forme généralisée seront prouvées, ces plus d’un millier de propositions seront établies sous forme de théorèmes, qui auront un impact profond sur le domaine des mathématiques et si l’hypothèse de Riemann s’avère fausse, alors parmi eux ; ces propositions qui en font partie perdront également de leur efficacité. Une nouvelle percée vient du professeur de mathématiques du MIT, Larry Guth, et de l'Université d'Oxford

Le premier MLLM basé sur Mamba est là ! Les poids des modèles, le code de formation, etc. sont tous open source Le premier MLLM basé sur Mamba est là ! Les poids des modèles, le code de formation, etc. sont tous open source Jul 17, 2024 am 02:46 AM

La colonne AIxiv est une colonne où ce site publie du contenu académique et technique. Au cours des dernières années, la rubrique AIxiv de ce site a reçu plus de 2 000 rapports, couvrant les meilleurs laboratoires des principales universités et entreprises du monde entier, favorisant efficacement les échanges et la diffusion académiques. Si vous souhaitez partager un excellent travail, n'hésitez pas à contribuer ou à nous contacter pour un rapport. Courriel de soumission : liyazhou@jiqizhixin.com ; zhaoyunfeng@jiqizhixin.com. Introduction Ces dernières années, l'application de grands modèles de langage multimodaux (MLLM) dans divers domaines a connu un succès remarquable. Cependant, en tant que modèle de base pour de nombreuses tâches en aval, le MLLM actuel se compose du célèbre réseau Transformer, qui

See all articles