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
ApibrėžimasPatikrinta pagal šaltinius

Dirichlė charakteriai ir L funkcijos

Matematika ir logika

Tyrimų kontekstas

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

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.

Esminės žinios

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. Kai Re(s)>1, L(s,chi)=sum chi(n)n^(−s) turi Eulerio sandaugą. Nepagrindinių charakterių L funkcijos turi holomorfinį tęsinį visoje kompleksinėje plokštumoje, o pagrindinio charakterio L funkcija išlaiko dzeta funkcijos polių ir yra dauginama iš trūkstamus pirminius skaičius atitinkančių daugiklių. Primityviojo charakterio konduktorius ir lyginumas įeina į jo funkcinę lygtį; indukuotasis charakteris taip pat turi trūkstamus pirminius skaičius atitinkančius Eulerio daugiklius.

Vertės ir lygtys

L(s,chi)=sum_n chi(n)n^(−s)=product_p (1−chi(p)p^(−s))^(−1), Re(s)>1

chi
Dirichlė charakteris moduliu q
s
Kompleksinis kintamasis
p
Pirminis skaičius

Sąlygos ir taikymo ribos

  • q yra teigiamas sveikasis skaičius, o chi modulis ir konduktorius užfiksuoti atskirai.
  • Pradinė Eulerio sandauga remiasi absoliučiuoju konvergavimu; primityviesiems ir indukuotiesiems charakteriams reikia skirtingų daugiklių. Holomorfinį tęsinį visoje kompleksinėje plokštumoje ir funkcinės lygties taikymo apimtį atskirai pagrindžia DLMF §25.15(i), neapsiribojant Lecture18 pateiktu tęsiniu srityje Re(s)>0.
Šaltiniai · 2

Šaltiniai

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

  1. 18.785 (Fall 2025), Lecture 18: Dirichlet L-functionsAndrew V. Sutherland / MITPaskaitų medžiaga · PDFmath.mit.eduSkaityti šaltinį
  2. DLMF §25.15: Dirichlet L-functionsNIST Digital Library of Mathematical Functions / chapter25 authorsŽinynasdlmf.nist.govSkaityti šaltinį

Pagrindimas ir peržiūra

Autorius patikrino šį teiginį anglų kalba, atskirai pateiktą lygtį, jei tokia yra, ir nurodytas prielaidas pagal šias šaltinių vietas: Charakteriai, Eulerio sandaugos ir pirminiai skaičiai aritmetinėse progresijose; §25.15(i): nepagrindinio charakterio funkcijos tęsinys į visą kompleksinę plokštumą kaip sveikosios funkcijos, pagrindinio charakterio funkcijos polius, Eulerio sandauga25.15.2, primityvieji ir indukuotieji daugikliai25.15.4 ir funkcinė lygtis25.15.5, įskaitant lyginumą. 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 turinio, teiginio, lygties ir apibrėžimo srities patikra; grafo sąsajų patikros apimtis nustatyta kiekvienai 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–3 iš 3 ryšių

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

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

    • 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. Kai Re(s)>1, L(s,chi)=sum chi(n)n^(−s) turi Eulerio sandaugą. Nepagrindinių charakterių L funkcijos turi holomorfinį tęsinį visoje kompleksinėje plokštumoje, o pagrindinio charakterio L funkcija išlaiko dzeta funkcijos polių ir yra dauginama iš trūkstamus pirminius skaičius atitinkančių daugiklių. Primityviojo charakterio konduktorius ir lyginumas įeina į jo funkcinę lygtį; indukuotasis charakteris taip pat turi trūkstamus pirminius skaičius atitinkančius Eulerio daugiklius.

    Dirichlet characters are one-dimensional characters of an abelian finite group.

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

    Susieti teiginiai

    • 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. Kai Re(s)>1, L(s,chi)=sum chi(n)n^(−s) turi Eulerio sandaugą. Nepagrindinių charakterių L funkcijos turi holomorfinį tęsinį visoje kompleksinėje plokštumoje, o pagrindinio charakterio L funkcija išlaiko dzeta funkcijos polių ir yra dauginama iš trūkstamus pirminius skaičius atitinkančių daugiklių. Primityviojo charakterio konduktorius ir lyginumas įeina į jo funkcinę lygtį; indukuotasis charakteris taip pat turi trūkstamus pirminius skaičius atitinkančius Eulerio daugiklius.

    Zeta is the trivial-character starting example.

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

    Susieti teiginiai

    • Pirminių skaičių skaičiavimo funkcija tenkina pi(x)~x/log x. Kai q yra fiksuotas ir gcd(a,q)=1, pirminių skaičių p≤x, kongruenčių a moduliu q, skaičius yra asimptotiškai lygus Li(x)/phi(q). Atitinkamų nepagrindinių Dirichlė L funkcijų nelygumas nuliui taške s=1 yra šio rezultato apie progresijas pagrindas. Fiksuoto modulio asimptotinis sąryšis nėra tolygi skaitinė garantija, kai q auga kartu su x.

    Character orthogonality separates residue classes.

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