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
Matematinis teiginysPatikrinta pagal šaltinius

Elipsiniai uždaviniai kompaktiškose daugdarose ir Fredholmo alternatyva

Matematika ir logika

Tyrimų kontekstas

postgraduate concept · established · Patikros data 2026-10-10

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ą.

Esminės žinios

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ą. Išsprendžiamumui būtinas ortogonalumas jungtinio operatoriaus branduoliui. Skaliarinio Laplaso operatoriaus atveju jungioje uždaroje Rymano daugdaroje dešiniosios pusės funkcijos integralas turi būti lygus nuliui, o sprendiniai yra vieninteliai konstantos tikslumu. Ši išvada kyla iš kompaktiškumo ir elipsiškumo, o ne vien iš analogijos su baigtinio matmens atveju.

Sąlygos ir taikymo ribos

  • Daugdara yra kompaktiška ir be krašto; koeficientai ir sluoksniuotės yra glodūs.
  • Ortogonalumas apibrėžiamas naudojant tinkamą dualumo arba L2 poravimą ir tikrąjį jungtinį operatorių; kraštiniams uždaviniams reikia elipsinių kraštinių sąlygų.
Šaltiniai · 2

Šaltiniai

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

  1. 18.155 Differential Analysis (2 October 2026)Semyon Dyatlov / MITPaskaitų medžiaga · PDFmath.mit.eduSkaityti šaltinį
  2. Notes on Partial Differential EquationsJohn K. Hunter / University of California, DavisPaskaitų medžiaga · PDFmath.ucdavis.eduSkaityti šaltinį

Pagrindimas ir peržiūra

Autorius patikrino šį anglišką teiginį, atskirai pateiktą lygtį, jei tokia yra, ir nurodytas prielaidas pagal šias šaltinių vietas: §§1.2, 2.1–2.2, 3.1, 11.1–11.2, 12.1–12.2, 13.1, 15.1–15.3, 17.1–17.3; kiekvienas įrašas susiaurina jam taikomo teiginio apimtį; 4 skyrius: silpnasis Dirichlė Laplaso operatorius, Puankarė nelygybė, 4.20 teorema – Lakso–Milgramo teorema; 6 skyrius – parabolinių uždavinių energija ir Galiorkino metodas; 3 skyrius – kompaktiškumas; §5.6, teoremos 5.53/5.55 – subkritinės netiesinės Šrėdingerio lygties sprendinių egzistavimas. Patikra apsiriboja užfiksuotais teiginiais; neteigiama, kad visiškai atkurtas įrodymas, programiškai pakartotinai patikrintas įrodymas ar išsamiai aprėpta visa literatūra.

2026-10-10 · Autoriaus atlikta šaltinio pagrindinio teksto, teiginio, lygties ir apibrėžimo srities patikra; kiekvienos grafo sąsajos taikymo apimtis nustatyta atskirai. Prieš užbaigiant šaką būtina atskira nepriklausoma turinio, šaltinių ir įrašų sąrašo peržiūra.

Susiję žinyno įrašai

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

Rodomi 1–2 iš 2 ryšių

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

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

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

    Susieti teiginiai

    • 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ą. Išsprendžiamumui būtinas ortogonalumas jungtinio operatoriaus branduoliui. Skaliarinio Laplaso operatoriaus atveju jungioje uždaroje Rymano daugdaroje dešiniosios pusės funkcijos integralas turi būti lygus nuliui, o sprendiniai yra vieninteliai konstantos tikslumu. Ši išvada kyla iš kompaktiškumo ir elipsiškumo, o ne vien iš analogijos su baigtinio matmens atveju.

    Regularity gives control of elliptic mapping spaces.

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

    Susieti teiginiai

    • 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ą. Išsprendžiamumui būtinas ortogonalumas jungtinio operatoriaus branduoliui. Skaliarinio Laplaso operatoriaus atveju jungioje uždaroje Rymano daugdaroje dešiniosios pusės funkcijos integralas turi būti lygus nuliui, o sprendiniai yra vieninteliai konstantos tikslumu. Ši išvada kyla iš kompaktiškumo ir elipsiškumo, o ne vien iš analogijos su baigtinio matmens atveju.

    The scalar constant kernel is the zero-form instance.

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