On the criticality and the principal eigenvalue of almost periodic elliptic operators

Technische Samenvatting: Over de kritikaliteit en de principale eigenwaarde van bijna periodieke elliptische operatoren

Probleemstelling
Het artikel onderzoekt de relatie tussen de kritikaliteitstheorie en het begrip van een gegeneraliseerde principale eigenwaarde voor elliptische operatoren gedefinieerd op onbegrensde domeinen, met een specifie-ke focus op operatoren met bijna periodieke (a.p.) coëfficiënten. Hoewel de principale eigenwaarde klassiek wel gedefinieerd is voor operatoren op begrensde domeinen of periodieke operatoren (via de Krein-Rutman-theorie), worden de definitie en eigenschappen ervan ambigu in de bijna periodieke setting. Het centrale probleem is om te bepalen of het bestaan van een a.p. principale eigenwaarde (een eigenwaarde die een a.p. positieve eigenfunctie toelaat) equivalent is aan het feit dat de operator kritiek is (het bezit van een eendimensionale ruimte van positieve oplossingen). Verder onderzoekt het artikel de stabiliteit van kritikaliteit onder de overgang naar limietoperatoren in de bijna periodieke context.

Methodologie
De auteur maakt gebruik van een combinatie van spectrale theorie, elliptische PDE-analyse en constructieve tegenvoorbeelden.

1. Definities en Kader: Het artikel maakt gebruik van het kader van gegeneraliseerde principale eigenwaarden ($\lambda_1, \lambda'_1, \lambda''_1$) geïntroduceerd door Berestycki, Hamel, Nirenberg en Varadhan voor onbegrensde domeinen. Er wordt onderscheid gemaakt tussen superkritische, kritieke en subkritieke operatoren op basis van de dimensie van de ruimte van positieve oplossingen van $Lu=0$ of het bestaan van positieve supersoluties.
2. Liouville-type Resultaten: De analyse maakt gebruik van Liouville-type stellingen (specifiek die van Nordmann en Pinchover) om voorwaarden vast te stellen waaronder het bestaan van een begrensde positieve oplossing kritikaliteit impliceert in lage dimensies ($N \le 2$).
3. Constructieve Tegenvoorbeelden: De kern van de methodologie betreft de expliciete constructie van bijna periodieke functies en operatoren om potentiële equivalenties te weerleggen. De auteur gebruikt een specifieke functie $b(x)$, geconstrueerd in een eerder werk [27], die limiet-periodiek (een deelklasse van a.p.) is, oneven is en specifieke integrale eigenschappen bezit. Deze functie wordt gebruikt om niet-zelfadjuncte en zelfadjuncte operatoren van de vorm $u'' \pm 2b(x)u'$ te definiëren.
4. Transformatie naar Zelfadjuncte Vorm: Om de spectrale eigenschappen te analyseren, worden de niet-zelfadjuncte operatoren getransformeerd naar zelfadjuncte Schrödinger-type operatoren via een exponentiële verandering van variabelen ($v = e^{\int b} u$).
5. Limietoperator-analyse: Het artikel construeert sequenties van translaties van de coëfficiënten om limietoperatoren te definiëren. De auteur analyseert het asymptotische gedrag van de geconstrueerde functies om de kritikaliteit van deze limietoperatoren te bepalen.

Belangrijkste Bijdragen en Resultaten
Het artikel presenteert drie primaire resultaten die de onderscheidende kenmerken tussen de periodieke en bijna periodieke setting verhelderen:

1. Liouville-type Resultaat voor A.P. Operatoren:
   Het artikel stelt vast dat voor een zelfadjuncte operator met regelmatige coëfficiënten die een positieve a.p. oplossing toelaat, de operator kritiek is dan en slechts dan als de ruimtelijke dimensie $N \le 2$ is (Corollary 2.4). Dit breidt bekende resultaten voor periodieke operatoren uit naar de bijna periodieke casus onder de aanname van een a.p. oplossing.

2. Niet-equivalentie van Kritikaliteit en A.P. Principale Eigenwaarde (Tegenvoorbeeld 1):
   De auteur construeert een zelfadjuncte a.p. operator in dimensie $N=1$ die kritiek is maar geen positieve a.p. eigenfunctie toelaat.

• Mechanisme: De operator $L = \partial_x^2 - 2b(x)\partial_x$ laat een begrensde positieve oplossing $\phi(x) = e^{-\int_0^x b(t)dt}$ toe die naar nul convergeert bij oneindig.
• Resultaat: Omdat $\phi$ de unieke positieve oplossing is (op scalaire veelvouden na) en niet a.p. is (vanwege de verval naar nul), is de operator kritiek maar mist deze een a.p. principale eigenfunctie. Dit demonstreert dat kritikaliteit niet de aanwezigheid van een a.p. principale eigenwaarde impliceert, zelfs niet in dimensie 1.

3. Instabiliteit van Kritikaliteit onder Limieten (Tegenvoorbeeld 2):
   Het artikel toont een zelfadjuncte a.p. operator $L$ in dimensie $N=1$ die subkritiek is met $\lambda_1 = 0$, maar een limietoperator $L^*$ toelaat die kritiek is.

• Mechanisme: Door de limiet van getransleerde coëfficiënten van de functie $b(x)$ te analyseren, wordt een limietoperator $L^*$ geconstrueerd die een positieve begrensde oplossing toelaat.
• Resultaat: Dit toont aan dat kritikaliteit geen invariante eigenschap is onder de passage naar limietoperatoren in de bijna periodieke setting. Een subkritieke operator kan een kritieke limiet hebben, en omgekeerd (zoals vermeld in Remark 1), een kritieke operator kan een subkritieke limiet hebben.

Betekenis en Claims
Het artikel claimt de "instabiele aard van de kritikaliteitseigenschap in de bijna periodieke setting" te onthullen. In tegenstelling tot de periodieke casus, waarbij de kritieke karakteristiek gedeeld wordt door alle limietoperatoren (die slechts translaties zijn), staat de bijna periodieke setting een divergentie toe tussen een operator en zijn limieten.

Specifiek benadrukt het artikel drie opvallende verschillen tussen periodieke en bijna periodieke operatoren:

1. Een a.p. operator met $\lambda_1 = 0$ is mogelijk niet kritiek (zelfs in dimensie 1), terwijl voor periodieke operatoren $L + \lambda_1$ altijd kritiek is in $N \le 2$.
2. Het bestaan van een a.p. principale eigenwaarde is niet gegarandeerd voor kritieke a.p. operatoren.
3. Kritikaliteit wordt niet behouden onder de vorming van limietoperatoren.

Het werk dient als een review en uitbreiding van de theorie van de gegeneraliseerde principale eigenwaarde, waarbij wordt verduidelijkt dat de structurele eigenschappen van periodieke operatoren (zoals de equivalentie van kritikaliteit en het bestaan van een periodieke eigenfunctie in lage dimensies) niet automatisch worden uitgebreid naar de bijna periodieke casus. De resultaten steunen op elementaire constructies en eigenschappen van limiet-periodieke functies in plaats van probabilistische instrumenten, en bieden een vanuit PDE-perspectief georiënteerde kijk op deze spectrale fenomenen.