GLOBAL KNOWLEDGE ARK

Žinynas

Žinių pagrindai

Tyrinėkite sąvokas, dėsnius, lygtis ir metodus, jų taikymą ir šaltinius. Pasirinkite pažinimo sritį arba raskite konkretų žinyno įrašą.

Daugiau filtrų

Žinyno įrašai

Rodoma įrašų: 1231–1260 iš 1709

Matematika ir logikaEnergijos įverčiai ir Galerkin aproksimacija

Šilumos lygtį u-t−kappa Delta-u=f su nulinėmis Dirichlet kraštinėmis sąlygomis testuojant funkcija u, gaunamas balansas tarp pusės L2 normos kvadrato išvestinės laiko atžvilgiu, gradiento lemiamos disipacijos ir šaltinio nario poveikio.

MetodasMatematika ir logikaAfininės daugdaros, idealai ir koordinačių žiedai

Virš algebriškai uždaro lauko k daugianarių nulių aibės V(I) koordinačių žiedas yra k[x1,...,xn]/I(V(I)).

ApibrėžimasMatematika ir logikaAfininės schemos išlaiko lokaliąją ir nilpotentinę struktūrą

Afininė schema Spec(R) sujungia pirminių idealų erdvę su struktūriniu pluoštu.

ApibrėžimasMatematika ir logikaRedukuotumas, reguliarumas ir glodumas – skirtingos savybės

Žiedas yra redukuotasis, jei jame nėra nenulinių nilpotentinių elementų.

ApibrėžimasMatematika ir logikaFundamentaliosios grupės ir homotopinis invariantiškumas

Fundamentaliąją grupę pi1(X,x0) sudaro kilpų su baziniu tašku klasės pagal homotopijas, nekeičiančias galinių taškų; grupės operacija yra kilpų sujungimas.

ApibrėžimasMatematika ir logikaHomologija, krašto atvaizdžiai ir toro homologijos skaičiavimas

Grandinių kompleksas turi krašto atvaizdžius, kurių kvadratas lygus 0, o homologija yra ciklai modulo kraštai.

MetodasMatematika ir logikaAlgebriniai, topologiniai ir diferencialiniai invariantai

Glodžiosioms kompleksinėms algebrinėms daugdaroms analizinė topologija, algebrinė koordinačių struktūra ir glodžioji de Rhamo teorija suteikia vienas kitą papildančių invariantų.

ModelisMatematika ir logikaNeaprėžtieji operatoriai: išraiška ir apibrėžimo sritis

Neaprėžtasis operatorius nusakomas tiesine apibrėžimo sritimi D(T) Hilberto erdvėje ir atvaizdžiu T:D(T)→H.

ApibrėžimasMatematika ir logikaDefekto indeksai ir savijungiai plėtiniai

Uždaro tankiai apibrėžto simetrinio operatoriaus T defekto indeksai n-plius ir n-minus yra erdvių ker(T*−iI) ir ker(T*+iI) matmenys.

Matematinis teiginysMatematika ir logikaSavaime jungtinių operatorių spektriniai matai ir funkcinis skaičiavimas

Savaime jungtinis operatorius turi projekcijomis reikšmes įgyjantį spektrinį matą E aibėje R ir gali būti išreikštas integralu lambda dE(lambda).

Matematinis teiginysMatematika ir logikaElipsinis reguliarumas nurodytai lygčių klasei

Jei P yra m eilės elipsinis diferencialinis operatorius su pastoviais koeficientais erdvėje Rⁿ, o u yra skirstinys atviroje aibėje U, tai iš Pu priklausymo lokaliajai H^s erdvei išplaukia u priklausymas lokaliajai H^(s+m) erdvei.

Matematinis teiginysMatematika ir logikaElipsiniai uždaviniai kompaktiškose daugdarose ir Fredholmo alternatyva

Glodus elipsinis operatorius kompaktiškoje daugdaroje be krašto atvaizduoja H^(s+m) į H-s, turi baigtinio matmens branduolį bei kobranduolį ir uždarą vaizdą.

Matematinis teiginysMatematika ir logikaNavjė–Stokso silpnųjų sprendinių egzistavimas ir reguliarumo riba

Nespūdaus klampaus tekėjimo atveju pradiniai duomenys, kurių divergencija lygi nuliui, ir slėgis užtikrina suvaržymo tenkinimą lygtyje u-t+(u·grad)u=nu Delta-u−grad p+f.

Atviras klausimasMatematika ir logikaKategorijos ir funktoriai su konkrečiu grupės pavyzdžiu

Kategoriją sudaro objektai, komponuojami morfizmai, asociatyvi kompozicija ir kiekvieno objekto tapatybės morfizmas.

ApibrėžimasMatematika ir logikaNatūralumas kaip suderintas funktorių palyginimas

Natūralioji transformacija eta:F⇒G kiekvienam objektui priskiria morfizmą eta-X:F(X)→G(X) taip, kad G(f) eta-X=eta-Y F(f).

ApibrėžimasMatematika ir logikaYoneda ir reprezentuojantys objektai

Lokaliai mažai kategorijai C, funktoriui F:C→Set ir objektui c natūraliosios transformacijos iš Hom(c,−) į F bijektyviai atitinka F(c) elementus, transformaciją įvertinant ties objekto c tapatybės morfizmu.

Matematinis teiginysMatematika ir logikaAdjunkcijos ir laisvosios grupės konstravimas

Adjunkcija, kurioje F yra kairysis adjunktas funktoriui U, yra natūrali bijekcija Hom-D(FX,Y)≅Hom-C(X,UY).

Matematinis teiginysMatematika ir logikaPriklausomieji tipai ir aukštesniųjų kelių struktūra

Intensionaliojoje priklausomųjų tipų teorijoje termas x:A priklauso tipui, priklausomosios sandaugos koduoja funkcijas ir įrodymus, kurių rezultatų tipai priklauso nuo kintamųjų, o tapatybės tipai koduoja sutapatinimus.

ApibrėžimasMatematika ir logikaUnivalentiškumas, aibių teorija ir mechanizuoto įrodymo ribos

Univalentiškumo principas teigia, kad kanoninis atvaizdis iš visatos tipų tapatumo į jų ekvivalentiškumą pats yra ekvivalentiškumas.

ModelisMatematika ir logikaDzeta: konverguojanti eilutė, Eulerio sandauga ir tęsinys

Kai Re(s)>1, zeta(s)=sum n^(−s)=sandauga pagal pirminius skaičius (1−p^(−s))^(−1); eilutė ir sandauga konverguoja absoliučiai.

Matematinis teiginysMatematika ir logikaUžbaigtoji dzeta funkcija ir funkcinė lygtis

Užbaigtoji funkcija xi(s)=½ s(s−1) pi^(−s/2) Gamma(s/2) zeta(s) pratęsiama iki sveikosios funkcijos, tenkinančios xi(s)=xi(1−s).

Matematinis teiginysMatematika ir logikaDirichlė charakteriai ir L funkcijos

Charakteris moduliu q yra dauginamasis apverčiamųjų liekanų moduliu q charakteris, pratęstas nuline reikšme sveikiesiems skaičiams, kurie nėra tarpusavyje pirminiai su q.

ApibrėžimasMatematika ir logikaPirminių skaičių teorema ir fiksuotos aritmetinės progresijos

Pirminių skaičių skaičiavimo funkcija tenkina pi(x)~x/log x.

Matematinis teiginysMatematika ir logikaRymano hipotezė: formuluotė, išvados ir statusas

Rymano hipotezė teigia, kad kiekvieno netrivialiojo dzeta funkcijos nulio realioji dalis lygi vienai antrajai.

Atviras klausimasMatematika ir logikaDidelės Dirichlė polinomų reikšmės kaip tyrimo metodas

Baigtinis Dirichlė polinomas D-N(t)=suma nuo N iki 2N iš b-n n^(it), kurio koeficientai aprėžti, leidžia aritmetinius klausimus suvesti į t reikšmių aibės, kurioje |D-N(t)| yra didelis, įverčius.

MetodasMatematika ir logikaGutho–Maynardo didelių reikšmių tyrimas: 2026 m. paskelbtas rezultatas

Gutho ir Maynardo darbas, paskelbtas žurnale „Annals of Mathematics“ 2026 m. kovo 1 d., pagerina didelių reikšmių įverčius ties N^(3/4) režimu.

Matematinis teiginysFizikaVeiksmo ir kampo kintamieji reguliariuose invariantiniuose toruose

Integruojamos Hamiltono sistemos su n laisvės laipsnių judėjimą reguliarioje kompaktiškoje jungioje n nepriklausomų komutuojančių integralų bendro lygio aibėje aprašo lokalūs kanoniniai veiksmo kintamieji I_i ir kampai θ_i; ši aibė yra toras.

ModelisFizikaRezonansas ir invariantinių torų išlikimas

Kai H=H₀(I)+εH₁(I,θ), sveikųjų skaičių rezonansas k·ω(I)=0 neleidžia tos Furjė modos pašalinti įprastu nerezonansiniu būdu.

ModelisFizikaAntrosios klasės ryšiai ir Dirako redukcija

Nepriklausomi antrosios rūšies ryšiai φ_a=0 turi apgręžiamą Puasono matricą C_ab={φ_a,φ_b}.

MetodasFizikaSimplektinis integravimas ir modifikuota energija

Kai Hamiltonianas H=pᵀM⁻¹p/2+V(q) yra atskiriamas, fiksuoto žingsnio Verle metodas pagal schemą „impulso pokytis–poslinkis–impulso pokytis“ yra antrosios eilės, grįžtamasis ir simplektinis.

Metodas
MetodasPatikrinta pagal šaltinius

Energijos įverčiai ir Galerkin aproksimacija

Matematika ir logika

Tyrimų kontekstas

research method · established · Patikros data 2026-10-10

Šilumos lygtį u-t−kappa Delta-u=f su nulinėmis Dirichlet kraštinėmis sąlygomis testuojant funkcija u, gaunamas balansas tarp pusės L2 normos kvadrato išvestinės laiko atžvilgiu, gradiento lemiamos disipacijos ir šaltinio nario poveikio.

Esminės žinios

Šilumos lygtį u-t−kappa Delta-u=f su nulinėmis Dirichlet kraštinėmis sąlygomis testuojant funkcija u, gaunamas balansas tarp pusės L2 normos kvadrato išvestinės laiko atžvilgiu, gradiento lemiamos disipacijos ir šaltinio nario poveikio. Baigtinių matmenų Galerkin sistemos duoda apytikslius sprendinius; tolygūs energijos įverčiai ir silpnasis kompaktiškumas leidžia pereiti prie silpnosios ribos. Funkcijų erdvės ir pradiniai bei kraštiniai duomenys yra egzistavimo teiginio dalis, o netiesinėms sandaugoms gali reikėti stipriosios konvergencijos.

Vertės ir lygtys

(1/2)d/dt ||u||_L2²+kappa||grad u||_L2²=<f,u>

u
Šilumos lygties sprendinys
kappa
Teigiamas difuzijos koeficientas, kurio vienetai yra ilgio kvadratas, padalytas iš laiko, kai koordinatės turi fizikinę prasmę
f
Šaltinio narys energijos erdvės dualiojoje erdvėje

Sąlygos ir taikymo ribos

  • kappa>0; nurodoma aprėžta sritis ir variacinė erdvė su nuline Dirichlet kraštine sąlyga.
  • Silpnųjų sprendinių išvestinė laiko atžvilgiu įgyja reikšmes dualiojoje erdvėje, o formaliai taikomą testavimo tapatybę reikia pagrįsti tinkamu reguliarumu laiko atžvilgiu.
Šaltiniai · 1

Šaltiniai

Šaltiniai išlaiko savo taikymo ribas. Vien nuoroda nepatvirtina kiekvieno teiginio patikrinimo.

  1. Notes on Partial Differential Equations, revised June18,2014; §6.1 pp177–178 heat-energy identity, §§6.3–6.5 weak formulation and Galerkin methodJohn K. Hunter / University of California, DavisPaskaitų medžiaga · PDFmath.ucdavis.eduSkaityti šaltinį

Pagrindimas ir peržiūra

Autorius patikrino šį anglišką teiginį, pateiktą lygtį, kai ji yra, ir nurodytas prielaidas pagal šias šaltinio vietas: 4 skyrius: silpnąja prasme suprantamas Dirichlet Laplaso operatorius, Poincaré, 4.20 teorema Lax–Milgram; 6 skyrius – parabolinių lygčių energija ir Galerkin metodas; 3 skyrius – kompaktiškumas; §5.6, 5.53/5.55 teoremos – subkritinės netiesinės Schrodinger lygties sprendinių egzistavimas. Patikra apsiriboja užfiksuotais teiginiais; neteigiama, kad atlikta visa įrodymo rekonstrukcija, programinis įrodymo pakartojimas ar išsami visos literatūros apžvalga.

2026-10-10 · Autoriaus šaltinio turinio, teiginio, lygties ir taikymo srities patikra; grafo ryšių apimtis nustatyta kiekvienam atskirai. Prieš užbaigiant šaką reikia atskiros nepriklausomos turinio, šaltinių ir inventoriaus peržiūros.

Susiję žinyno įrašai

Tyrinėkite ryšius šioje pažinimo srityje ir jos sąsajas su kitomis sritimis.

Rodomi 1–4 iš 4 ryšių

Mokslinių žinių ryšiai · 4 / 4

Ryšio tipas nusako santykį. Susieti teiginiai, šaltiniai ir sąlygos apibrėžia jo taikymo ribas.

  1. Susiję su
    Ryšio šaltiniai · 1

    Susieti teiginiai

    • Lygties i u-t=−Delta-u−lambda|u|^alpha u erdvėje R-n atveju, kai lambda yra realusis skaičius ir 0<alpha<4/n, kiekvienas pradinis L2 duomuo turi vienintelį lokalųjį švelnųjį (mild) sprendinį erdvių C([0,T];L2) ir L-q(0,T;L^(alpha+2)) sankirtoje, kur q=4(alpha+2)/(n alpha). Strichartzo įverčiai ir suspaudžiančio atvaizdžio argumentas kontroliuoja netiesinį integralinį atvaizdį, o lokalusis sprendinio atvaizdis lokaliai tenkina Lipšico sąlygą. Ši L2 subkritinio atvejo teorema automatiškai neišsiplečia į kritinius ar superkritinius laipsnius arba savavališkas krašto geometrijas.

    Nonlinear dispersive existence uses different estimates from a linear parabolic energy method.

  2. Susiję su
    Ryšio šaltiniai · 1

    Susieti teiginiai

    • Šilumos lygtį u-t−kappa Delta-u=f su nulinėmis Dirichlet kraštinėmis sąlygomis testuojant funkcija u, gaunamas balansas tarp pusės L2 normos kvadrato išvestinės laiko atžvilgiu, gradiento lemiamos disipacijos ir šaltinio nario poveikio. Baigtinių matmenų Galerkin sistemos duoda apytikslius sprendinius; tolygūs energijos įverčiai ir silpnasis kompaktiškumas leidžia pereiti prie silpnosios ribos. Funkcijų erdvės ir pradiniai bei kraštiniai duomenys yra egzistavimo teiginio dalis, o netiesinėms sandaugoms gali reikėti stipriosios konvergencijos.

    Uniform Hilbert bounds provide weakly convergent subsequences.

  3. Susiję su
    Ryšio šaltiniai · 1

    Susieti teiginiai

    • Šilumos lygtį u-t−kappa Delta-u=f su nulinėmis Dirichlet kraštinėmis sąlygomis testuojant funkcija u, gaunamas balansas tarp pusės L2 normos kvadrato išvestinės laiko atžvilgiu, gradiento lemiamos disipacijos ir šaltinio nario poveikio. Baigtinių matmenų Galerkin sistemos duoda apytikslius sprendinius; tolygūs energijos įverčiai ir silpnasis kompaktiškumas leidžia pereiti prie silpnosios ribos. Funkcijų erdvės ir pradiniai bei kraštiniai duomenys yra egzistavimo teiginio dalis, o netiesinėms sandaugoms gali reikėti stipriosios konvergencijos.

    The energy space carries spatial derivatives and boundary data.

  4. Susiję su
    Ryšio šaltiniai · 2

    Susieti teiginiai

    • Nespūdaus klampaus tekėjimo atveju pradiniai duomenys, kurių divergencija lygi nuliui, ir slėgis užtikrina suvaržymo tenkinimą lygtyje u-t+(u·grad)u=nu Delta-u−grad p+f. Globalių baigtinės energijos silpnųjų sprendinių egzistavimas trimatėje erdvėje savaime neįrodo globalaus glodumo ar vienaties esant glodiems duomenims; dvimačio atvejo globalus reguliarumas yra kitas, jau įrodytas rezultatas. Kaip patikrinta 2026 m. spalio 10 d., Clay matematikos institutas uždavinį žymi kaip aktyvų; šis įrašas nepatvirtina, kad neseniai paskelbtais teiginiais uždavinys išspręstas.

    Energy estimates give weak-existence tools without universal smoothness.

Įrašo informacijaNuolatinė nuoroda į šį įrašą ↗
Įrašo identifikatorius
research-math-parabolic-energy-galerkin
Versija
research.1
Struktūruotas žinyno įrašas
Podiplominis ir tyrimų žinynas