Rumah Peranti teknologi AI Adakah masalah persamaan N-S diselesaikan? Disandingkan dengan Hipotesis Riemann, Teka-teki Matematik Milenium sedang menanti kemenangan

Adakah masalah persamaan N-S diselesaikan? Disandingkan dengan Hipotesis Riemann, Teka-teki Matematik Milenium sedang menanti kemenangan

Apr 08, 2024 pm 06:34 PM
projek Formula Hamiltonian biasa mekanik bendalir

Ini adalah salah satu masalah yang tidak dapat diselesaikan paling terkenal dalam matematik. Kerja baharu telah disemak bersama dan teks penuh tersedia.

Ia sedang berkembang pesat. Adakah mekanik bendalir memulakan momen superkonduktornya sendiri?
Adakah masalah persamaan N-S diselesaikan? Disandingkan dengan Hipotesis Riemann, Teka-teki Matematik Milenium sedang menanti kemenangan
Dalam beberapa hari kebelakangan ini, orang dalam kalangan matematik sedang giat membincangkan bahawa formula Hamiltonian biasa bagi masalah Navier-Stokes akhirnya muncul - masalah yang tidak dapat diselesaikan dalam sejarah matematik ini mungkin ada jawapannya. Pada masa lalu, ini secara amnya dianggap mustahil.

Seberapa penting ini? Persamaan Navier-Stokes, seperti Hipotesis Riemann, telah disenaraikan sebagai salah satu daripada "Masalah Matematik Tujuh Milenium" pada tahun 2000.

Tujuh masalah bertaraf dunia ini ialah: Masalah NP-lengkap, tekaan Hodge, tekaan Poincaré, hipotesis Riemann, kewujudan Yang-Mills dan jurang jisim, persamaan Navier-Stokes , tekaan BSD. Setiap satu daripada tujuh masalah mempunyai ganjaran sebanyak satu juta dolar AS Dalam lebih daripada 20 tahun, hanya "Poincaré Conjecture" telah diselesaikan oleh ahli matematik Rusia yang berbakat, Perelman.

Kebanyakan mereka sudah biasa, tetapi "persamaan Navier-Stokes" (persamaan N-S) nampaknya kurang disebut di kalangan mereka. Sebabnya mungkin masalah ini terlalu sukar untuk difahami (pelajar yang telah mengikuti kursus "Mekanik Bendalir" di kolej pasti ada idea). Malah ada yang percaya bahawa ia adalah formula paling kompleks dalam sejarah matematik.

Ringkasnya, ahli matematik abad kelapan belas Euler telah memperoleh satu set persamaan dalam "Prinsip Umum Pergerakan Bendalir" berdasarkan perubahan daya dan momentum yang dialami oleh bendalir apabila bendalir inviscid bergerak.
Adakah masalah persamaan N-S diselesaikan? Disandingkan dengan Hipotesis Riemann, Teka-teki Matematik Milenium sedang menanti kemenangan
Penerangan persamaan Euler menetapkan pergerakan bendalir dalam dunia yang ideal, tetapi terdapat geseran di dalam bendalir sebenar. Bendalir dalam alam semula jadi adalah likat dan secara kolektif dipanggil cecair likat atau cecair sebenar. Sebagai contoh, apabila kita mengacau madu, kita akan merasakan kesan kelikatan, dan rintangan pesawat terbang juga sebahagian besarnya berasal daripada kelikatan udara.

Disebabkan oleh kelikatan cecair sebenar, kajian kita tentang pergerakan bendalir menjadi sangat rumit.
Adakah masalah persamaan N-S diselesaikan? Disandingkan dengan Hipotesis Riemann, Teka-teki Matematik Milenium sedang menanti kemenangan
Pada abad ke-19, jurutera dan ahli fizik Perancis Claude-Louis Navit dan ahli fizik dan matematik Ireland George Stokes mewujudkan keseimbangan dan gerakan bendalir dengan mempertimbangkan daya antara molekul Persamaan asas bagi , dan menerangkan bentuk komponen gerakan dalam Cartesian .

Inilah yang dipanggil oleh generasi kemudian sebagai persamaan Navier-Stokes. Salah satu persamaan pembezaan separa yang paling menakutkan sepanjang masa.
Adakah masalah persamaan N-S diselesaikan? Disandingkan dengan Hipotesis Riemann, Teka-teki Matematik Milenium sedang menanti kemenangan
Persamaan Navier-Stokes digunakan untuk menerangkan bahan bendalir seperti cecair dan udara. Persamaan ini mengaitkan kadar perubahan momentum zarah bendalir (daya) kepada perubahan tekanan dan daya likat dissipative (bersamaan dengan geseran) dan graviti yang bertindak ke atas bahagian dalam bendalir. Daya likat ini timbul daripada interaksi molekul dan memberitahu kita betapa likat cecair. Dengan cara ini, persamaan Navier-Stokes menerangkan keseimbangan dinamik daya yang bertindak pada mana-mana kawasan cecair.

Ini penting untuk banyak masalah kejuruteraan.

Jika ada penyelesaian global untuk masalah Navier-Stokes, akan ada kejayaan dalam banyak teknologi yang berkaitan dengan mekanik bendalir, termasuk tetapi tidak terhad kepada aeroangkasa, enjin roket, ramalan cuaca, pengangkutan saluran paip dan aliran darah perubatan pembinaan modul dan sebagainya.

Perkara yang sukar tentang set persamaan ini ialah: bagaimana kita menerangkannya menggunakan teori matematik. Malah teori matematik yang menerangkan persamaan medan Einstein yang menggambarkan lubang hitam eksotik adalah lebih mudah daripada merumuskan persamaan Navier-Stokes.

Penemuan penting yang disebutkan orang-orang yang disebutkan berasal dari makalah "Formulasi Hamiltonian kanonik masalah Navier–Stokes", yang diterbitkan dalam jurnal teratas "Journal of Fluid Mechanics" dalam bidang mekanik bendalir pada 1 April:
Adakah masalah persamaan N-S diselesaikan? Disandingkan dengan Hipotesis Riemann, Teka-teki Matematik Milenium sedang menanti kemenangan
Pautan kertas: https://www.cambridge.org/core/journals/journal-of-fluid-mechanics/article/canonical-hamiltonian-formulation-of-the-navierstokes-problem/B6EB960A889EB760A889EB96AEA

Kertas kerja ini mencadangkan formula Hamiltonian baharu untuk masalah Navier-Stokes isotropik berdasarkan prinsip tindakan terkecil yang diperoleh daripada prinsip kuasa dua terkecil. Formula menggunakan halaju Adakah masalah persamaan N-S diselesaikan? Disandingkan dengan Hipotesis Riemann, Teka-teki Matematik Milenium sedang menanti kemenangan dan tekanan Adakah masalah persamaan N-S diselesaikan? Disandingkan dengan Hipotesis Riemann, Teka-teki Matematik Milenium sedang menanti kemenangan sebagai kuantiti medan berubah-ubah, serta momentum konjugat kanonik yang diperoleh daripada analisis. Berdasarkan ini, kajian ini membina fungsi Hamiltonian terpelihara H* yang memenuhi persamaan kanonik Hamiltonian, dan merumuskan persamaan Hamiltonian-Jacobian yang berkaitan untuk aliran boleh mampat dan tidak boleh mampat. Persamaan Hamiltonian-Jacobian ini mengurangkan masalah mencari empat kuantiti medan bebas Adakah masalah persamaan N-S diselesaikan? Disandingkan dengan Hipotesis Riemann, Teka-teki Matematik Milenium sedang menanti kemenangan kepada mencari fungsi skalar tunggal antara medan ini - fungsi utama Hamilton Adakah masalah persamaan N-S diselesaikan? Disandingkan dengan Hipotesis Riemann, Teka-teki Matematik Milenium sedang menanti kemenangan Selain itu, transformasi Hamiltonian dan Jacobian Teori ini menyediakan kaedah yang ditetapkan untuk menyelesaikan masalah Navier-Stokes : cari S*.

Jika ungkapan analisis S * boleh diperolehi, maka ia akan memperoleh satu set medan baharu melalui transformasi kanonik, memberikan ungkapan analitik medan halaju dan tekanan asalnya nilai. Jika gagal, seseorang hanya boleh membuktikan bahawa penyelesaian lengkap kepada persamaan Hamilton-Jacobian wujud atau tidak wujud, yang juga akan menyelesaikan masalah kewujudan penyelesaian itu.

Adakah terdapat hadiah sejuta dolar untuk penyelidikan baharu ini? Untuk menang, penyelidik mesti menunjukkan bahawa terdapat penyelesaian kepada persamaan Navier-Stokes tidak boleh mampat tiga dimensi dan, jika terdapat penyelesaian, penyelesaian tersebut adalah lancar.

Ahli matematik Terence Tao pernah berfikir bahawa ini adalah sukar.
Adakah masalah persamaan N-S diselesaikan? Disandingkan dengan Hipotesis Riemann, Teka-teki Matematik Milenium sedang menanti kemenangan
Berdasarkan kemajuan semasa, penyelidikan baharu telah memudahkan untuk menyelesaikan masalah terbuka, dan kami telah mengambil langkah besar ke hadapan - kami telah merealisasikan formula Hamiltonian biasa bagi persamaan Navier-Stokes, Ini mungkin bermakna kami boleh mengatasi batasan Lagrangian standard dan mengurangkan masalah untuk mencari fungsi skalar tunggal.

Mungkin kita tidak jauh untuk menyelesaikan persoalan kedua Teka-teki Milenium. Kandungan

Reference:
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/

Atas ialah kandungan terperinci Adakah masalah persamaan N-S diselesaikan? Disandingkan dengan Hipotesis Riemann, Teka-teki Matematik Milenium sedang menanti kemenangan. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!

Kenyataan Laman Web ini
Kandungan artikel ini disumbangkan secara sukarela oleh netizen, dan hak cipta adalah milik pengarang asal. Laman web ini tidak memikul tanggungjawab undang-undang yang sepadan. Jika anda menemui sebarang kandungan yang disyaki plagiarisme atau pelanggaran, sila hubungi admin@php.cn

Alat AI Hot

Undresser.AI Undress

Undresser.AI Undress

Apl berkuasa AI untuk mencipta foto bogel yang realistik

AI Clothes Remover

AI Clothes Remover

Alat AI dalam talian untuk mengeluarkan pakaian daripada foto.

Undress AI Tool

Undress AI Tool

Gambar buka pakaian secara percuma

Clothoff.io

Clothoff.io

Penyingkiran pakaian AI

AI Hentai Generator

AI Hentai Generator

Menjana ai hentai secara percuma.

Artikel Panas

R.E.P.O. Kristal tenaga dijelaskan dan apa yang mereka lakukan (kristal kuning)
3 minggu yang lalu By 尊渡假赌尊渡假赌尊渡假赌
R.E.P.O. Tetapan grafik terbaik
3 minggu yang lalu By 尊渡假赌尊渡假赌尊渡假赌
R.E.P.O. Cara Memperbaiki Audio Jika anda tidak dapat mendengar sesiapa
3 minggu yang lalu By 尊渡假赌尊渡假赌尊渡假赌
WWE 2K25: Cara Membuka Segala -galanya Di Myrise
3 minggu yang lalu By 尊渡假赌尊渡假赌尊渡假赌

Alat panas

Notepad++7.3.1

Notepad++7.3.1

Editor kod yang mudah digunakan dan percuma

SublimeText3 versi Cina

SublimeText3 versi Cina

Versi Cina, sangat mudah digunakan

Hantar Studio 13.0.1

Hantar Studio 13.0.1

Persekitaran pembangunan bersepadu PHP yang berkuasa

Dreamweaver CS6

Dreamweaver CS6

Alat pembangunan web visual

SublimeText3 versi Mac

SublimeText3 versi Mac

Perisian penyuntingan kod peringkat Tuhan (SublimeText3)

Pengarang ControlNet mendapat satu lagi kejayaan! Seluruh proses menghasilkan lukisan daripada gambar, memperoleh 1.4k bintang dalam masa dua hari Pengarang ControlNet mendapat satu lagi kejayaan! Seluruh proses menghasilkan lukisan daripada gambar, memperoleh 1.4k bintang dalam masa dua hari Jul 17, 2024 am 01:56 AM

Ia juga merupakan video Tusheng, tetapi PaintsUndo telah mengambil laluan yang berbeza. Pengarang ControlNet LvminZhang mula hidup semula! Kali ini saya menyasarkan bidang lukisan. Projek baharu PaintsUndo telah menerima 1.4kstar (masih meningkat secara menggila) tidak lama selepas ia dilancarkan. Alamat projek: https://github.com/lllyasviel/Paints-UNDO Melalui projek ini, pengguna memasukkan imej statik, dan PaintsUndo secara automatik boleh membantu anda menjana video keseluruhan proses mengecat, daripada draf baris hingga produk siap . Semasa proses lukisan, perubahan garisan adalah menakjubkan Hasil akhir video sangat serupa dengan imej asal: Mari kita lihat lukisan lengkap.

Daripada RLHF kepada DPO kepada TDPO, algoritma penjajaran model besar sudah pun 'peringkat token' Daripada RLHF kepada DPO kepada TDPO, algoritma penjajaran model besar sudah pun 'peringkat token' Jun 24, 2024 pm 03:04 PM

Lajur AIxiv ialah lajur di mana tapak ini menerbitkan kandungan akademik dan teknikal. Dalam beberapa tahun kebelakangan ini, lajur AIxiv laman web ini telah menerima lebih daripada 2,000 laporan, meliputi makmal terkemuka dari universiti dan syarikat utama di seluruh dunia, mempromosikan pertukaran dan penyebaran akademik secara berkesan. Jika anda mempunyai kerja yang sangat baik yang ingin anda kongsikan, sila berasa bebas untuk menyumbang atau hubungi kami untuk melaporkan. E-mel penyerahan: liyazhou@jiqizhixin.com; zhaoyunfeng@jiqizhixin.com Dalam proses pembangunan kecerdasan buatan, kawalan dan bimbingan model bahasa besar (LLM) sentiasa menjadi salah satu cabaran utama, bertujuan untuk memastikan model ini adalah kedua-duanya. berkuasa dan selamat untuk masyarakat manusia. Usaha awal tertumpu kepada kaedah pembelajaran pengukuhan melalui maklum balas manusia (RL

Mendahului senarai jurutera perisian AI sumber terbuka, penyelesaian tanpa ejen UIUC dengan mudah menyelesaikan masalah pengaturcaraan sebenar SWE-bench Mendahului senarai jurutera perisian AI sumber terbuka, penyelesaian tanpa ejen UIUC dengan mudah menyelesaikan masalah pengaturcaraan sebenar SWE-bench Jul 17, 2024 pm 10:02 PM

Lajur AIxiv ialah lajur di mana tapak ini menerbitkan kandungan akademik dan teknikal. Dalam beberapa tahun kebelakangan ini, lajur AIxiv laman web ini telah menerima lebih daripada 2,000 laporan, meliputi makmal terkemuka dari universiti dan syarikat utama di seluruh dunia, mempromosikan pertukaran dan penyebaran akademik secara berkesan. Jika anda mempunyai kerja yang sangat baik yang ingin anda kongsikan, sila berasa bebas untuk menyumbang atau hubungi kami untuk melaporkan. E-mel penyerahan: liyazhou@jiqizhixin.com; zhaoyunfeng@jiqizhixin.com Semua pengarang kertas kerja ini adalah daripada pasukan guru Zhang Lingming di Universiti Illinois di Urbana-Champaign (UIUC), termasuk: Steven Code repair; pelajar kedoktoran tahun empat, penyelidik

Kerja selepas kematian Pasukan Penyelarasan Super OpenAI: Dua model besar bermain permainan, dan output menjadi lebih mudah difahami Kerja selepas kematian Pasukan Penyelarasan Super OpenAI: Dua model besar bermain permainan, dan output menjadi lebih mudah difahami Jul 19, 2024 am 01:29 AM

Jika jawapan yang diberikan oleh model AI tidak dapat difahami sama sekali, adakah anda berani menggunakannya? Memandangkan sistem pembelajaran mesin digunakan dalam bidang yang lebih penting, menjadi semakin penting untuk menunjukkan sebab kita boleh mempercayai output mereka, dan bila tidak mempercayainya. Satu cara yang mungkin untuk mendapatkan kepercayaan dalam output sistem yang kompleks adalah dengan menghendaki sistem menghasilkan tafsiran outputnya yang boleh dibaca oleh manusia atau sistem lain yang dipercayai, iaitu, difahami sepenuhnya sehingga apa-apa ralat yang mungkin boleh dilakukan. dijumpai. Contohnya, untuk membina kepercayaan dalam sistem kehakiman, kami memerlukan mahkamah memberikan pendapat bertulis yang jelas dan boleh dibaca yang menjelaskan dan menyokong keputusan mereka. Untuk model bahasa yang besar, kita juga boleh menggunakan pendekatan yang sama. Walau bagaimanapun, apabila mengambil pendekatan ini, pastikan model bahasa menjana

Latihan aksiomatik membolehkan LLM mempelajari penaakulan kausal: model 67 juta parameter adalah setanding dengan trilion tahap parameter GPT-4 Latihan aksiomatik membolehkan LLM mempelajari penaakulan kausal: model 67 juta parameter adalah setanding dengan trilion tahap parameter GPT-4 Jul 17, 2024 am 10:14 AM

Tunjukkan rantai sebab kepada LLM dan ia mempelajari aksiom. AI sudah pun membantu ahli matematik dan saintis menjalankan penyelidikan Contohnya, ahli matematik terkenal Terence Tao telah berulang kali berkongsi pengalaman penyelidikan dan penerokaannya dengan bantuan alatan AI seperti GPT. Untuk AI bersaing dalam bidang ini, keupayaan penaakulan sebab yang kukuh dan boleh dipercayai adalah penting. Penyelidikan yang akan diperkenalkan dalam artikel ini mendapati bahawa model Transformer yang dilatih mengenai demonstrasi aksiom transitiviti sebab pada graf kecil boleh digeneralisasikan kepada aksiom transitiviti pada graf besar. Dalam erti kata lain, jika Transformer belajar untuk melakukan penaakulan sebab yang mudah, ia boleh digunakan untuk penaakulan sebab yang lebih kompleks. Rangka kerja latihan aksiomatik yang dicadangkan oleh pasukan adalah paradigma baharu untuk pembelajaran penaakulan sebab berdasarkan data pasif, dengan hanya demonstrasi

Kertas arXiv boleh disiarkan sebagai 'bertubi-tubi', platform perbincangan Stanford alphaXiv dalam talian, LeCun menyukainya Kertas arXiv boleh disiarkan sebagai 'bertubi-tubi', platform perbincangan Stanford alphaXiv dalam talian, LeCun menyukainya Aug 01, 2024 pm 05:18 PM

sorakan! Bagaimana rasanya apabila perbincangan kertas adalah perkataan? Baru-baru ini, pelajar di Universiti Stanford mencipta alphaXiv, forum perbincangan terbuka untuk kertas arXiv yang membenarkan soalan dan ulasan disiarkan terus pada mana-mana kertas arXiv. Pautan laman web: https://alphaxiv.org/ Malah, tidak perlu melawati tapak web ini secara khusus. Hanya tukar arXiv dalam mana-mana URL kepada alphaXiv untuk terus membuka kertas yang sepadan di forum alphaXiv: anda boleh mencari perenggan dengan tepat dalam. kertas itu, Ayat: Dalam ruang perbincangan di sebelah kanan, pengguna boleh menyiarkan soalan untuk bertanya kepada pengarang tentang idea dan butiran kertas tersebut Sebagai contoh, mereka juga boleh mengulas kandungan kertas tersebut, seperti: "Diberikan kepada

Satu kejayaan ketara dalam Hipotesis Riemann! Tao Zhexuan amat mengesyorkan kertas kerja baharu daripada MIT dan Oxford, dan pemenang Fields Medal berusia 37 tahun mengambil bahagian Satu kejayaan ketara dalam Hipotesis Riemann! Tao Zhexuan amat mengesyorkan kertas kerja baharu daripada MIT dan Oxford, dan pemenang Fields Medal berusia 37 tahun mengambil bahagian Aug 05, 2024 pm 03:32 PM

Baru-baru ini, Hipotesis Riemann, yang dikenali sebagai salah satu daripada tujuh masalah utama milenium, telah mencapai kejayaan baharu. Hipotesis Riemann ialah masalah yang tidak dapat diselesaikan yang sangat penting dalam matematik, berkaitan dengan sifat tepat taburan nombor perdana (nombor perdana ialah nombor yang hanya boleh dibahagikan dengan 1 dan dirinya sendiri, dan ia memainkan peranan asas dalam teori nombor). Dalam kesusasteraan matematik hari ini, terdapat lebih daripada seribu proposisi matematik berdasarkan penubuhan Hipotesis Riemann (atau bentuk umumnya). Dalam erti kata lain, sebaik sahaja Hipotesis Riemann dan bentuk umumnya dibuktikan, lebih daripada seribu proposisi ini akan ditetapkan sebagai teorem, yang akan memberi kesan yang mendalam terhadap bidang matematik dan jika Hipotesis Riemann terbukti salah, maka antara cadangan ini sebahagian daripadanya juga akan kehilangan keberkesanannya. Kejayaan baharu datang daripada profesor matematik MIT Larry Guth dan Universiti Oxford

Penjanaan video tanpa had, perancangan dan membuat keputusan, penyebaran paksa penyepaduan ramalan token seterusnya dan penyebaran jujukan penuh Penjanaan video tanpa had, perancangan dan membuat keputusan, penyebaran paksa penyepaduan ramalan token seterusnya dan penyebaran jujukan penuh Jul 23, 2024 pm 02:05 PM

Pada masa ini, model bahasa berskala besar autoregresif menggunakan paradigma ramalan token seterusnya telah menjadi popular di seluruh dunia Pada masa yang sama, sejumlah besar imej dan video sintetik di Internet telah menunjukkan kepada kami kuasa model penyebaran. Baru-baru ini, pasukan penyelidik di MITCSAIL (salah seorang daripadanya ialah Chen Boyuan, pelajar PhD di MIT) berjaya menyepadukan keupayaan berkuasa model resapan jujukan penuh dan model token seterusnya, dan mencadangkan paradigma latihan dan pensampelan: Diffusion Forcing (DF). ). Tajuk kertas: DiffusionForcing:Next-tokenPredictionMeetsFull-SequenceDiffusion Alamat kertas: https:/

See all articles