Nonlinear discrete Schrödinger equations with a point defect

Technische Samenvatting: Niet-lineaire Discrete Schrödingervergelijkingen met een Puntdefect

Probleemstelling
Dit artikel onderzoekt de $d$-dimensionale discrete niet-lineaire Schrödingervergelijking (DNLS) op een oneindig rooster $\mathbb{Z}^d$ onderhevig aan een puntdefect gemodelleerd door een delta-potentiaal. Het systeem wordt beheerst door:
$$i\dot{u}_n + \kappa(\Delta u)_n + \gamma|u_n|^{2\sigma}u_n + V_0\delta_{n,0}u_n = 0, \quad n \in \mathbb{Z}^d$$
waarbij $\Delta$ de discrete Laplaciaan is, $\gamma$ de niet-lineariteit regelt (focuserend voor $\gamma > 0$, defocuserend voor $\gamma < 0$), en $V_0$ de sterkte van de delta-potentiaal voorstelt (aantrekkend voor $V_0 > 0$, afstotend voor $V_0 < 0$).

De centrale doelstelling is het analyseren van de wisselwerking tussen twee verschillende localisatiemechanismen:

1. Lineaire Localisatie: veroorzaakt door de delta-potentiaal die translatie-invariantie breekt, waardoor lineaire gebonden toestanden (defectmodi) ontstaan met energie buiten het continue spectrum van de Laplaciaan.
2. Niet-lineaire Localisatie: veroorzaakt door focuserende niet-lineariteit die leidt tot zelfopsluiting van excitatie-energie (breathers).

De studie richt zich op het bestaan van ruimtelijk exponentieel gelokaliseerde, tijd-periodieke grondtoestanden (breathers), de bepaling van excitatiedrempels (kritieke $l^2$-normen) die nodig zijn voor hun creatie, en het asymptotische verstrooiingsgedrag van oplossingen wanneer deze drempels niet worden gehaald.

Methodologie
De analyse maakt gebruik van een combinatie van variatiemethoden, spectrale theorie en dispersieve schattingen:

• Variatieve Benadering: Het bestaan van grondtoestanden wordt vastgesteld door een actiefunctionaal $J(x)$ te minimaliseren op de Nehari-maand $\mathcal{N}$. De auteurs bewijzen dat de Nehari-maand niet-leeg is en dat minimalizers bestaan, die corresponderen met kritieke punten van de actiefunctionaal.
• Equivalentie van Minimalisatieproblemen: Het artikel stelt een equivalentie vast tussen het minimaliseren van de actiefunctionaal (met vaste frequentie $\omega$) en het minimaliseren van de energiefunctionaal (met vaste massa $\nu = \|u\|_{l^2}^2$). Dit maakt de toepassing van het criterium van Weinstein mogelijk om het bestaan van excitatiedrempels te bepalen.
• Concentratie-Compactheid en Expliciete Constructie: Om expliciete excitatiedrempels af te leiden, maken de auteurs gebruik van de exponentiële localisatie van grondtoestanden. Ze benaderen oplossingen met exponentieel afnemende profielen ($x_n \sim A\eta^{|n|}$) om expliciete formules voor de energie in termen van de massa $\nu$ en de localisatieparameter $\eta$ af te leiden.
• Dispersieve Schattingen en Verstrooiing: Voor de asymptotische analyse maken de auteurs gebruik van Strichartz-schattingen die zijn aangepast aan de discrete setting. Ze analyseren de verstrooiing van oplossingen aan het lineaire probleem door het verschil tussen de niet-lineaire oplossing en de lineaire evolutiegroep te begrenzen, gebruikmakend van de afname-eigenschappen van de lineaire propagator.

Belangrijkste Bijdragen en Resultaten

1. Bestaan van Grondtoestanden (Focuserende Niet-lineariteit, $\gamma > 0$):

   • Aantrekkende Potentiaal ($V_0 > 0$): Het artikel bewijst dat voor elke frequentie $\omega < 0$ die voldoet aan $V_0 > -\omega$, een grondtoestand bestaat. Cruciaal is dat er voor aantrekkende potentialen geen excitatiedrempel is; grondtoestanden bestaan voor elke $l^2$-norm $\nu > 0$. De lineaire en niet-lineaire mechanismen werken samen om de totale energie te verlagen.
   • Afstotende Potentiaal ($V_0 < 0$): Het bestaan van grondtoestanden hangt af van de graad van niet-lineariteit $\sigma$.
     • Als $\sigma < \min\{1, 2/d\}$, bestaan grondtoestanden voor alle $\nu > 0$ (geen drempel).
     • Als $\sigma \ge \max\{1, 2/d\}$, bestaat er een excitatiedrempel $\nu_{exc}$. Grondtoestanden bestaan dan en slechts dan als $\nu > \nu_{exc}$. De expliciete drempel wordt gegeven door:
       $$\nu_{exc} = \left( \frac{(\sigma + 1)(2 - V_0)}{\gamma} \right)^{1/\sigma}$$
     • In dit regime werkt de afstotende potentieel tegen de niet-lineaire localisatie in, waardoor een minimale massa nodig is om een gebonden toestand in stand te houden.

2. Defocuserende Niet-lineariteit ($\gamma < 0$) en Persistentie van Lineaire Modi:

   • Het artikel analyseert de duurzaamheid van lineaire defectmodi onder defocuserende niet-lineariteit.
   • Voor aantrekkende potentialen ($V_0 > 0$) verzwakt defocuserende niet-lineariteit de localisatie. Als $\sigma < \min\{1, 2/d\}$, bestaan er geen gelokaliseerde toestanden voor enige $\nu > 0$. Als $\sigma \ge \max\{1, 2/d\}$, bestaat er een bovengrens; de lineaire gebonden toestand blijft alleen bestaan als de massa $\nu$ onder een kritieke waarde ligt.
   • Voor afstotende potentialen ($V_0 < 0$) bespreekt het artikel de voorwaarden waaronder gefaseerde defectmodi de impact van focuserende niet-lineariteit overleven.

3. Asymptotisch Gedrag en Verstrooiing:

   • De auteurs stellen vast dat als de initiële massa $\|u_0\|_{l^2}$ onder de excitatiedrempel $\nu_{exc}$ ligt, de oplossingen in $l^p$-ruimtes ($p > 2$) verstrooien naar het lineaire probleem.
   • Specifiek, voor $V_0 = 0$ en $\sigma \ge \max\{1, 2/d\}$, of voor $V_0 < 0$ en $\sigma \ge \max\{1, 2/d\}$, nemen oplossingen af naarmate $|t| \to \infty$ en convergeren ze naar vrije lineaire oplossingen.
   • Dit resultaat bevestigt de conjectuur van Weinstein voor de algemene macht-DNLS: oplossingen met subkritische massa nemen af, terwijl oplossingen met superkritische massa niet-verstrooiende grondtoestanden kunnen vormen.

4. Verschillen tussen Discreet en Continuüm:

   • Het artikel benadrukt een uniek kenmerk van het discrete systeem: de gelijktijdige mogelijkheid van gelokaliseerde toestanden zowel onder de onderkant als boven de bovenkant van het absoluut continue spectrum (niet-gefaseerde en gefaseerde modi, respectievelijk). Dit fenomeen wordt toegeschreven aan ruimtelijke discretisatie en is niet aanwezig in het continuüm-NLS met een puntdefect.

Betekenis en Aanspraken
Het artikel claimt eerdere studies (specifiek die in [40]) op vier significante manieren uit te breiden:

1. Oneindige Roosters: In tegenstelling tot eerder werk dat beperkt was tot eindige roosters met Dirichlet-randvoorwaarden, heeft deze analyse te maken met oneindige roosters, wat geavanceerde variatietechnieken vereist (Nehari-maandmethode) in plaats van eenvoudige bergpasstellingen.
2. Specificiteit van Grondtoestanden: De afgeleide excitatiedrempels zijn scherp voor het bestaan van grondtoestanden, terwijl eerdere drempels vaak van toepassing waren op elke oplossing in $l^2$ (inclusief multi-hump toestanden).
3. Analyse van Wisselwerking: Het werk biedt een gedetailleerde kwantitatieve analyse van de concurrentie en samenwerking tussen lineaire (defect-geïnduceerde) en niet-lineaire (zelfopsluiting) localisatiemechanismen.
4. Asymptotische Dynamica: Het artikel introduceert het onderzoek naar asymptotisch verstrooiingsgedrag voor de $\delta$-DNLS, een kenmerk dat eerder niet werd aangepakt in de context van lineaire onzuiverheden.

De auteurs benadrukken dat hun resultaten expliciete, scherpe drempels bieden voor de vorming van breathers, waarbij wordt onderscheid gemaakt tussen regime's waar localisatie voor elke amplitude gegarandeerd is en regime's waar een kritieke massa vereist is. De bevindingen worden gepresenteerd als strikte wiskundige bewijzen met betrekking tot het bestaan, de stabiliteit en het lange-termijn-gedrag van oplossingen van het discrete systeem.