Netiesinė egzistavimo teorema: subkritinė NLS
Tyrimų kontekstas
postgraduate concept · established · Patikros data 2026-10-10
Lygties 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).
Esminės žinios
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.
Vertės ir lygtys
i u_t=−Delta u−lambda |u|^alpha u; 0<alpha<4/n; q=4(alpha+2)/(n alpha)
- u
- Kompleksinių reikšmių švelnusis (mild) sprendinys erdvėje R-n
- lambda
- Realusis netiesinis koeficientas normuotose koordinatėse
- alpha
- Teigiamas subkritinis laipsnio rodiklis
- q
- Integruojamumo laiko atžvilgiu rodiklis lokaliojo sprendinio erdvėje
Sąlygos ir taikymo ribos
- n≥1, visa erdvė R-n, pradiniai L2 duomenys ir nurodytas subkritinio rodiklio apribojimas; lygtis užrašyta normuotomis matematinėmis koordinatėmis.
- Švelnusis (mild) sprendinys apibrėžiamas naudojant laisvąją Šrėdingerio grupę ir Duhamelio integralą; pats lokalus egzistavimas dar nereiškia globaliojo reguliarumo.
Šaltiniai · 1
Šaltiniai
Šaltiniai išlaiko savo taikymo ribas. Vien nuoroda nepatvirtina kiekvieno teiginio patikrinimo.
Pagrindimas ir peržiūra
Autorius patikrino šį anglišką teiginį, pateiktą lygtį, jei ji yra, ir nurodytas prielaidas pagal šias šaltinio vietas: 4 skyrius — silpnasis Dirichlė Laplaso operatorius, Poincaré nelygybė ir Lax–Milgramo teorema 4.20; 6 skyrius — parabolinių lygčių energijos metodas ir Galerkino metodas; 3 skyrius — kompaktumas; §5.6 teoremos 5.53/5.55 — subkritinės netiesinės Šrėdingerio lygties sprendinio egzistavimas. Patikra apsiriboja užfiksuotais teiginiais; neteigiama, kad visiškai atkurtas įrodymas, pakartotas programinis įrodymo tikrinimas ar išsamiai aprėpta visa literatūra.
2026-10-10 · Autoriaus atlikta šaltinio teksto, teiginio, lygties ir taikymo srities patikra; kiekvienos grafo sąsajos ribos nustatytos atskirai. Prieš užbaigiant šaką būtina atskira nepriklausoma turinio, šaltinių ir įrašų rinkinio peržiūra.
Įrašo informacija
Nuolatinė nuoroda į šį įrašą ↗- Įrašo identifikatorius
- research-math-subcritical-nls-existence
- Versija
- research.1
- Struktūruotas žinyno įrašas
- Podiplominis ir tyrimų žinynas