Ž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ų
Diferencialinės lygtys
Rodoma įrašų: 1–28 iš 28
Lokalus Lipšico tolydumas užtikrina vienintelę lokalią trajektoriją.
Matematinis teiginysMatematika ir logikaTiesinių paprastųjų diferencialinių lygčių sistemos su pastoviais koeficientaisMatricos eksponentė išsprendžia baigtinę tiesinę sistemą.
Matematinis teiginysMatematika ir logikaLaplaso, šilumos ir bangų lygčių uždaviniaiDalinė diferencialinė lygtis tampa sprendimo uždaviniu tik nurodžius sritį ir duomenis.
ModelisMatematika ir logikaPirmosios eilės lygtys su atskiriamaisiais kintamaisiaisLygties y′=f(t)g(y) srityje, kurioje g(y)≠0, integruojant dy/g(y)=f(t)dt gaunamas neišreikštinis sprendinys.
MetodasMatematika ir logikaIntegruojančiojo daugiklio metodasKai p ir q yra tolydžios funkcijos, μ(t)=exp(∫p(t)dt) lygtį y′+p(t)y=q(t) paverčia lygtimi (μy)′=μq.
MetodasMatematika ir logikaAntrosios eilės lygtys su pastoviais koeficientaisLygties ay″+by′+cy=0, kai a≠0, sprendinių pavidalus nusako lygties ar²+br+c=0 šaknys: skirtingas realiąsias šaknis atitinka eʳ¹ᵗ,eʳ²ᵗ; kartotinę šaknį atitinka eʳᵗ,teʳᵗ; jungtines šaknis α±iβ atitinka eᵅᵗcos βt,eᵅᵗsin βt.
MetodasMatematika ir logikaVienalytės lygties ir atskirasis sprendiniaiTiesinės lygties Ly=f bet kurio vieno atskirojo sprendinio yₚ ir bendrojo vienalytės lygties sprendinio y_c suma duoda visus sprendinius y=y_c+yₚ.
MetodasMatematika ir logikaVietinės pusiausvyros ir linearizuotas stabilumasC¹ klasės plokštuminėje autonominėje sistemoje pusiausvyros yra vektorinio lauko nuliai.
MetodasMatematika ir logikaFurjė koeficientai ir taškinis konvergavimas2L periodinei dalimis glodžiai realiajai funkcijai f: aₙ=L⁻¹∫₋ᴸᴸf(t)cos(nπt/L)dt ir bₙ=L⁻¹∫₋ᴸᴸf(t)sin(nπt/L)dt.
Matematinis teiginysMatematika ir logikaVienpusė Laplaso transformacija ir išvestinėsVienpusė Laplaso transformacija yra F(s)=∫₀∞e⁻ˢᵗf(t)dt.
MetodasMatematika ir logikaŠilumos lygtis intervale: kintamųjų atskyrimasLygties u_t=κu_xx intervale 0<x<L, kai temperatūra intervalo galuose lygi nuliui, kintamųjų atskyrimas duoda modas sin(nπx/L)e⁻κ⁽ⁿπ/L⁾²ᵗ.
MetodasMatematika ir logikaD’Alembert’o sprendinys su įtvirtintais galaisLygties u_tt=c²u_xx intervale [0,L], kai poslinkis galuose lygus nuliui, pradinį poslinkį f ir greitį g pratęskite iki nelyginių 2L periodo funkcijų F,G.
MetodasMatematika ir logikaŠvarco funkcijų Furjė transformacija ir jos inversijaGlodžiai sparčiai mažėjančiai funkcijai f, kurios išvestinės taip pat mažėja sparčiau už bet kurį laipsnį, apibrėžkime f̂(ξ)=∫Rⁿe⁻ⁱˣ·ξf(x)dx.
Matematinis teiginysMatematika ir logikaKonstantų variavimas nehomogeninėms lygtimsLygties y″+p(x)y′+q(x)y=f(x) atveju naudokite tiesiškai nepriklausomus homogeninės lygties sprendinius y₁,y₂ ir pasirinkite yₚ=u₁y₁+u₂y₂.
MetodasMatematika ir logikaReguliariojo Sturm–Liouville uždavinio tikrinės reikšmėsLygties −(py′)′+qy=λwy intervale [a,b], esant vienalytėms Dirichlet’o kraštinėms sąlygoms, kai realiosios funkcijos p,p′,q,w yra tolydžios, p,w>0 ir q≥0, tikrinės reikšmės didėja iki begalybės, o tikrinės funkcijos yra vienintelės iki dauginimo pastoviu daugikliu.
Matematinis teiginysMatematika ir logikaSkleidiniai pagal tikrines funkcijas su svoriuNurodytam reguliariajam Šturmo–Liuvilio uždaviniui ir tolydžiai, dalimis glodžiai funkcijai f koeficientai cₙ=∫f yₙw dx/∫yₙ²w dx duoda f=Σcₙyₙ vidiniuose taškuose.
MetodasMatematika ir logikaPuasono integralas skrituliuiKai kraštiniai duomenys g yra tolydūs, realieji ir 2π periodiniai, u(r,θ)=(2π)⁻¹∫₋π^π[(1−r²)/(1−2r cos(θ−α)+r²)]g(α)dα yra harmoninė funkcija srityje 0≤r<1 ir tolydžiai pratęsiama iki u(1,θ)=g(θ).
MetodasMatematika ir logikaFurjė eilučių konvergavimas vidutinio kvadrato prasme ir Parsevalio tapatybėKai f yra kompleksinė 2π periodinė funkcija, integruojama Rymano prasme, cₙ=(2π)⁻¹∫₋π^πf(x)e⁻ⁱⁿˣdx ir s_N=Σ|n|≤N cₙeⁱⁿˣ tenkina ∫|f−s_N|²→0.
Matematinis teiginysMatematika ir logikaNilpotentinių matricų ir Žordano blokų eksponentėsJei Nʳ=0 ir A=λI+N, tai eᵗᴬ=e^(λt)Σₖ₌₀ʳ⁻¹tᵏNᵏ/k!.
MetodasMatematika ir logikaNetiesinė egzistavimo teorema: subkritinė NLSLygties i u-t=−Delta-u−lambda|u|^alpha u erdvėje R-n, kai lambda realusis ir 0<alpha<4/n, kiekvieniems pradiniams duomenims iš L2 egzistuoja vienintelis lokalus mild tipo sprendinys erdvių C([0,T];L2) ir L-q(0,T;L^(alpha+2)) sankirtoje, kur q=4(alpha+2)/(n alpha).
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 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 logikaNeaprėžtieji operatoriai: išraiška ir apibrėžimo sritisNeaprėž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ėtiniaiUž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čiavimasSavaime 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ų klaseiJei 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 alternatyvaGlodus 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 ribaNespū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 klausimas