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šų: 1201–1230 iš 1709

InformacijaFLP: deterministinio asinchroninio konsensuso riba

Fischer, Lynch ir Paterson įrodo, kad deterministinis konsensuso protokolas jų visiškai asinchroniniame pranešimų perdavimo modelyje gali turėti leidžiamą vykdymą be sprendimo, kai įvyksta ne daugiau kaip vienas sustojimo gedimas.

Matematinis teiginysInformacijaRaft žurnalo replikavimas, patvarioji būsena ir gyvybingumas

Raft naudoja numeruotomis kadencijomis grindžiamus lyderio rinkimus, daugumos balsavimą ir žurnalų atitiktį būsenų mašinai replikuoti esant mazgų sustojimo gedimams.

MetodasInformacijaLinearizuojamumas ir operacijos realiuoju laiku

Linearizuojamo objekto veikimą galima aprašyti nuoseklia operacijų seka, kurioje kiekviena užbaigta operacija atrodo įsigaliojanti tarp jos iškvietimo ir atsakymo, išlaikant laike nepersidengiančių operacijų pirmumo tvarką realiuoju laiku.

ApibrėžimasInformacijaCAP esant tinklo skaidymui: tikslus nuoseklumo kompromisas

Gilberto ir Lynch asinchroniniame skaitymo ir rašymo modelyje realizacija negali užtikrinti ir atominio nuoseklumo, ir kiekvienos užklausos užbaigimo pateikiant atsakymą kiekviename nesugedusiame mazge, kai tinklas gali būti skaidomas bet kaip.

Matematinis teiginysInformacijaBizantiškasis susitarimas ir autentifikavimo prielaidos

Sinchroniniame Bizantijos generolų modelyje su žodiniais pranešimais, kai yra ne daugiau kaip f klaidingai veikiančių dalyvių, susitarimui reikia bent 3f+1 dalyvių; siuntėjai turi būti atpažįstami, o pristatymas – patikimas, tačiau nėra perduodamos nesuklastojamų parašų grandinės.

Matematinis teiginysMatematika ir logikaBanacho erdvės ir pilnumo vaidmuo

Normuotoji realioji arba kompleksinė vektorinė erdvė yra Banacho erdvė, jei kiekviena Koši seka normos atžvilgiu konverguoja toje erdvėje.

ApibrėžimasMatematika ir logikaAprėžtieji operatoriai ir tolydžiosios dualiosios erdvės

Tiesinis atvaizdis T:X→Y tarp normuotųjų erdvių yra tolydus tada ir tik tada, kai ||Tx|| ≤ C||x|| su tam tikra baigtine konstanta C.

ApibrėžimasMatematika ir logikaHilberto erdvės ir ortonormalieji skleidiniai

Hilberto erdvė yra pilna realiosios arba kompleksinės skaliarinės sandaugos indukuotos normos atžvilgiu.

ApibrėžimasMatematika ir logikaProjekcija į uždarą Hilberto poerdvį

Kai M yra uždaras tiesinis Hilberto erdvės H poerdvis, kiekvienas x turi vienintelį skaidinį x=P-M x+z, kuriame P-M x priklauso M, o z yra ortogonalus M.

Matematinis teiginysMatematika ir logikaRieszo atvaizdavimo teorema Hilberto erdvės funkcionalams

Kiekvienas tolydusis tiesinis funkcionalas ell Hilberto erdvėje turi vienintelį jį vaizduojantį vektorių y, kuriam ell(x)=<x,y> ir ||ell||=||y||.

Matematinis teiginysMatematika ir logikaSilpnasis konvergavimas ir konvergavimas pagal normą

Silpnasis konvergavimas x-n→x Hilberto erdvėje reiškia, kad <x-n,y>→<x,y> kiekvienam fiksuotam y.

ApibrėžimasMatematika ir logikaBandomųjų funkcijų topologija ir skirstiniai

Skirstinys atviroje R-n aibėje U yra tolydus tiesinis funkcionalas, apibrėžtas glodžiųjų bandomųjų funkcijų su kompaktiška laikmena erdvėje.

ApibrėžimasMatematika ir logikaSkirstinių išvestinės ir šuolių šaltiniai

Skirstinių išvestinės perkelia diferencijavimą bandomajai funkcijai su integravimo dalimis nulemtu ženklu.

MetodasMatematika ir logikaDaugdaros, suderinti žemėlapiai ir liestinės erdvės

Glodžioji n-matė daugdara turi lokaliai euklidinius žemėlapius su glodžiais apgręžiamais perėjimo atvaizdžiais, o jos topologija yra Hausdorfo ir turi skaičiąją bazę.

ApibrėžimasMatematika ir logikaKoliestiniai vektoriai, tenzoriai ir atitraukimas

Kovektorius yra tiesinis funkcionalas liestinės erdvės vektoriams, o tenzorius yra daugialinijinis liestinių ir koliestinių argumentų atžvilgiu.

ApibrėžimasMatematika ir logikaIšorinės formos ir išorinė išvestinė

Diferencialinės k-formos yra glodūs alternuojantys kovariantiniai tenzoriai.

ApibrėžimasMatematika ir logikaApibendrintoji Stokso teorema su krašto orientacija

Kompaktiškoje orientuotoje glodžioje n-matėje daugdaroje su kraštu glodžios (n−1)-formos omega išorinės išvestinės d-omega integralas lygus omega integralui per kraštą su indukuota orientacija.

Matematinis teiginysMatematika ir logikaDe Rhamo kohomologija ir netiksli uždaroji forma

De Rhamo kohomologija yra uždarųjų k-formų erdvės faktorerdvė tiksliųjų k-formų erdvės atžvilgiu.

Matematinis teiginysMatematika ir logikaHodžo teorija: topologija ir elipsinė analizė

Kompaktiškoje glodžioje Rymano daugdaroje be krašto kiekviena de Ramo klasė turi vienintelį harmoninį atstovą.

Matematinis teiginysMatematika ir logikaGalua sprendžiamumo radikalais kriterijus

Virš nulinės charakteristikos lauko daugianaris yra išsprendžiamas radikalais tada ir tik tada, kai jo skaidymo lauko Galua grupė yra išsprendžiamoji.

Matematinis teiginysMatematika ir logikaKonkretus radikalusis plėtinys su grupe S3

Polinomo x³−2 virš Q skaidymo laukas yra Q(kubinė šaknis iš 2,zeta-3); jo laipsnis yra šeši, o Galois grupė – S3.

Matematinis teiginysMatematika ir logikaCiklotominiai laukai ir abelinės Galois grupės

Primityviajai n-tojo laipsnio vieneto šakniai zeta-n grupė Gal(Q(zeta-n)/Q) yra izomorfiška apverčiamųjų liekanų modulo n grupei pagal atvaizdį a↦(zeta-n↦zeta-n^a), o plėtinio laipsnis yra Eulerio phi(n).

Matematinis teiginysMatematika ir logikaTiesinės reprezentacijos ir Maschke skaidymas

Baigtinės grupės G reprezentacija yra homomorfizmas G→GL(V).

Matematinis teiginysMatematika ir logikaCharakterių ortogonalumas ir S3 lentelė

Kompleksinėms baigtinių grupių reprezentacijoms chi(g)=tr rho(g) yra pastovus jungtinumo klasėse, o neredukuojamieji charakteriai yra ortonormuoti pagal grupės vidurkiu apibrėžtą skaliarinę sandaugą.

Matematinis teiginysMatematika ir logikaSąlyginis vidurkis σ-algebros atžvilgiu

Kai X yra integruojamas, o G yra σ-poalgebris, E[X|G] yra G-matus integruojamas atsitiktinis dydis, kurio integralas per kiekvieną G įvykį lygus X integralui per tą įvykį.

ApibrėžimasMatematika ir logikaFiltracijos, adaptuoti procesai ir martingalai

Diskretusis martingalas M-n yra adaptuotas didėjančios sigma algebrų F-n sekos atžvilgiu, yra integruojamas kiekvienu laiko momentu ir tenkina E[M-(n+1)|F-n]=M-n.

ApibrėžimasMatematika ir logikaMartingalų konvergencija ir tolygus integruojamumas

Diskrečiojo laiko neneigiamas supermartingalas konverguoja beveik tikrai į baigtinę integruojamą ribą. Jo matematiniai vidurkiai taip pat konverguoja, tačiau jų riba gali skirtis nuo to ribinio atsitiktinio dydžio matematinio vidurkio.

Matematinis teiginysMatematika ir logikaPasirenkamasis stabdymas ir jo svarba

Martingalui ir aprėžtiems stabdymo momentams S≤T galioja E[M-T|F-S]=M-S.

Matematinis teiginysMatematika ir logikaSobolevo erdvės ir silpnieji kraštiniai duomenys

W^(k,p)(Omega) sudaro L-p funkcijos, kurių skirstinių (apibendrintų funkcijų) prasme apibrėžtos išvestinės iki k eilės imtinai taip pat priklauso L-p; H^k žymi atvejį p=2.

ApibrėžimasMatematika ir logikaSilpnieji Puasono lygties sprendiniai ir Laxo–Milgramo teorema

Aprėžtoje srityje Puasono lygties uždavinyje su homogenine Dirichlė kraštine sąlyga ieškoma u iš H0^1, tokio, kad grad-u·grad-v integralas srityje būtų lygus <f,v> kiekvienam v iš H0^1, kai f priklauso H−1.

Matematinis teiginys
MetodasPatikrinta pagal šaltinius

Skirstinių išvestinės ir šuolių šaltiniai

Matematika ir logika

Tyrimų kontekstas

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

Skirstinių išvestinės perkelia diferencijavimą bandomajai funkcijai su integravimo dalimis nulemtu ženklu.

Esminės žinios

Skirstinių išvestinės perkelia diferencijavimą bandomajai funkcijai su integravimo dalimis nulemtu ženklu. Šia prasme kiekvienas skirstinys turi visų eilių išvestines. Aibėje R Hevisaido laiptinės funkcijos išvestinė yra delta nulio taške, o |x| antroji išvestinė yra 2 delta nulio taške. Šios tapatybės aprašo šuolius ir taškinius šaltinius, nelaikant delta baigtinių reikšmių tankiu.

Vertės ir lygtys

<D-alpha T,phi>=(-1)^|alpha| <T,D-alpha phi>; H'=delta_0

T
Skirstinys
alpha
Išvestinės multiindeksas
phi
Bandomoji funkcija
H
Hevisaido laiptinė funkcija

Sąlygos ir taikymo ribos

  • Bandomosios funkcijos turi kompaktinį nešiklį, todėl kraštiniai nariai išnyksta.
  • Silpnosios išvestinės priklausymas L-p erdvei yra stipresnė sąlyga nei išvestinės egzistavimas skirstinių prasme.
Šaltiniai · 1

Š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į

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 teiginio, kuriam jis taikomas, apimtį. Patikra apsiriboja užfiksuotais teiginiais; neteigiama, kad atlikta visa įrodymo rekonstrukcija, programinis įrodymo pakartojimas ar užtikrinta visos literatūros aprėptis.

2026-10-10 · Autoriaus atlikta šaltinio pagrindinio teksto, teiginio, lygties ir apibrėžimo srities patikra; kiekvieno grafo ryšio aprėptis nustatyta atskirai. Prieš užbaigiant šaką būtina atskira nepriklausoma turinio, šaltinių ir inventoriaus peržiūra.

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

    • Skirstinių išvestinės perkelia diferencijavimą bandomajai funkcijai su integravimo dalimis nulemtu ženklu. Šia prasme kiekvienas skirstinys turi visų eilių išvestines. Aibėje R Hevisaido laiptinės funkcijos išvestinė yra delta nulio taške, o |x| antroji išvestinė yra 2 delta nulio taške. Šios tapatybės aprašo šuolius ir taškinius šaltinius, nelaikant delta baigtinių reikšmių tankiu.

    Derivatives are defined by dual action.

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

    Susieti teiginiai

    • Skirstinių išvestinės perkelia diferencijavimą bandomajai funkcijai su integravimo dalimis nulemtu ženklu. Šia prasme kiekvienas skirstinys turi visų eilių išvestines. Aibėje R Hevisaido laiptinės funkcijos išvestinė yra delta nulio taške, o |x| antroji išvestinė yra 2 delta nulio taške. Šios tapatybės aprašo šuolius ir taškinius šaltinius, nelaikant delta baigtinių reikšmių tankiu.

    The sign convention extends integration by parts.

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

    Susieti teiginiai

    • W^(k,p)(Omega) sudaro L-p funkcijos, kurių skirstinių (apibendrintų funkcijų) prasme apibrėžtos išvestinės iki k eilės imtinai taip pat priklauso L-p; H^k žymi atvejį p=2. H0^1 yra glodžiųjų funkcijų su kompaktinėmis atramomis uždarinys H1 erdvėje ir išreiškia nulinius Dirichlė duomenis. Interpretacijai per pėdsaką krašte reikia tinkamos srities, pavyzdžiui, su Lipšico kraštu; savavališka L2 ekvivalentiškumo klasė nenusako reikšmių atskiruose krašto taškuose.

    Weak derivatives are distribution derivatives represented by L-p functions.

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

    Susieti teiginiai

    • 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. Todėl glodi dešinioji pusė lemia glodų sprendinį srities viduje. Šis lokalus reguliarumo padidėjimas nėra reguliarumo ties kraštu rezultatas; charakteristiniai bangų operatoriai ir išsigimę koeficientai neatitinka šių prielaidų.

    The equation and regularity can be posed distributionally.

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