On the lower bound and upper bound of the Sum of Eigenvalues of the Fractional-Logarithmic Laplacian

Titel: Onder- en bovengrenzen voor de som van eigenwaarden van de Fractional-Logarithmische Laplaciaan

Auteur: Hichem Hajaieja (California State University at Los Angeles)
Trefwoorden: Fractional-Logarithmische Laplaciaan, Dirichlet-eigenwaarden, ondergrens, bovengrens, spectrale theorie.

---

1. Probleemstelling en Context

Het artikel richt zich op het spectrale probleem voor de Fractional-Logarithmische Laplaciaan, aangeduid als $(-\Delta)^{s+\ln}$, gedefinieerd op een begrensd domein $\Omega \subset \mathbb{R}^n$. Deze operator is een relatief nieuw concept, geïntroduceerd als de afgeleide van de fractionele Laplaciaan met betrekking tot de ordeparameter $s$.

De kern van het probleem is het begrijpen van de asymptotische groei en het vinden van scherpe onder- en bovengrenzen voor de som van de eerste $k$ Dirichlet-eigenwaarden:
$$\sum_{j=1}^k \lambda_j^{s+\ln}(\Omega)$$
waarbij $0 < \lambda_1 \leq \lambda_2 \leq \dots \uparrow +\infty$.

Achtergrond:

• Voor de klassieke Laplaciaan ($-\Delta$) en de fractionele Laplaciaan ($(-\Delta)^s$) zijn dergelijke grenzen (zoals de Berezin-Li-Yau ongelijkheid en de Kröger-type bovengrens) goed bestudeerd.
• Voor de logaritmische Laplaciaan ($(-\Delta)^{\ln}$) is de groei logaritmisch in plaats van machtsvormig.
• De operator $(-\Delta)^{s+\ln}$ heeft een Fourier-symbool $|\xi|^{2s} \ln |\xi|^2$. Een fundamentele uitdaging in dit onderzoek is dat dit symbool niet monotoon is in de radiale variabele bij lage frequenties (vanwege het logaritmische gedrag), terwijl het bij hoge frequenties wel voldoende stijf is. Dit maakt de toepassing van standaard spectrale technieken complexer dan bij zuivere fractionele of logaritmische gevallen.

De verwachte asymptotische gedrag (gebaseerd op Weyl-wetten) is:
$$\sum_{j=1}^k \lambda_j^{s+\ln}(\Omega) \sim \frac{2}{n+2s} (2\pi)^{2s} (\omega_n |\Omega|)^{-2s/n} k^{1+2s/n} \ln k$$
waarbij $\omega_n$ het volume van de eenheidsbol is. Het doel van het artikel is om deze asymptotische gedrag rigoureus te bewijzen door zowel een onder- als een bovengrens te construeren die de leidende orde term exact reproduceren.

---

2. Methodologie

De auteur hanteert een combinatie van klassieke spectrale methoden en aangepaste technieken om de niet-monotoonheid van het symbool te overwinnen.

A. Ondergrens (Lower Bound)

De methode voor de ondergrens is gebaseerd op de Berezin-Li-Yau aanpak, een semiclassical argument dat vaak wordt gebruikt voor Laplaciaan-achtige operatoren.

1. Fourier-transformatie en Bessel-ongelijkheid: De auteur definieert een functie $f(\xi)$ als de som van de kwadraten van de Fourier-getransformeerde eigenfuncties. Door Bessel's ongelijkheid wordt een bovengrens voor $f(\xi)$ afgeleid.
2. Variatierekening: Het probleem wordt gereduceerd tot het minimaliseren van een integraal van de vorm $\int |\xi|^{2s} \ln |\xi|^2 f(\xi) d\xi$ onder de beperkingen dat $\int f = k$ en $0 \leq f \leq M_1$.
3. Hulpstelling (Lemma 2.4): Een cruciaal technisch lemma wordt bewezen dat een ondergrens geeft voor het moment $M_2$ van een functie met een logaritmisch gewicht, afhankelijk van de totale massa $A$ en de maximale waarde $M_1$. Dit lemma neemt expliciet rekening met het gedrag van het symbool bij lage frequenties (waar het negatief kan zijn) en hoge frequenties.
4. Optimalisatie: Door de parameter $R$ (de straal van een bol in de frequentieruimte) te optimaliseren, wordt de scherpst mogelijke ondergrens verkregen.

B. Bovengrens (Upper Bound)

De methode voor de bovengrens volgt de Kröger-type aanpak, maar dan aangepast voor niet-lokale operatoren.

1. Testfuncties en Cutoffs: Er worden geteste functies geconstrueerd die bestaan uit een "cutoff" functie $w_\sigma$ (die 1 is in het bulk van het domein en 0 aan de rand) vermenigvuldigd met vlakke golven $e^{-ix \cdot z}$.
2. Rayleigh-Ritz Principe: De eigenwaarden worden begrensd door de Rayleigh-kwotienten van deze geteste functies, geprojecteerd op de orthogonale complementen van de eerste $k$ eigenfuncties.
3. Scheiding van termen: De kern van het bewijs ligt in het schatten van de numerator (de energie van de geteste functie) en de denominator.
   • De hoofdterm wordt geschat met behulp van een integraal over een bol $B_r$ in de frequentieruimte, wat leidt tot het symbool $M_{s,\ln}(r)$.
   • De resterende termen (fouten door de cutoff aan de rand) worden gecontroleerd via een randlaag-estimatie ($|\Omega_\sigma| \leq C \sigma$).
4. Asymptotische Analyse: Door de parameters $r$ en $\sigma$ slim te kiezen als functies van $k$, wordt aangetoond dat de leidende term overeenkomt met de verwachte asymptotische wet, terwijl de resttermen van een lagere orde zijn.

---

3. Belangrijkste Resultaten

Het artikel levert twee hoofdtheorema's op die de som van de eigenwaarden begrenzen met de correcte leidende orde.

Resultaat 1: Ondergrens (Theorema 2.5)

Voor elke $k \geq 1$ geldt:
$$\sum_{j=1}^k \lambda_j^{s+\ln}(\Omega) \geq -C_1 |\Omega|$$
en voor voldoende grote $k$ (specifiek $k \geq (2\pi)^{-n}\omega_n|\Omega|$):
$$\sum_{j=1}^k \lambda_j^{s+\ln}(\Omega) \geq \frac{2}{n+2s}(2\pi)^{2s} (\omega_n |\Omega|)^{-2s/n} k^{1+2s/n} \left( \ln \frac{(2\pi)^n k}{\omega_n |\Omega|} - \frac{n}{n+2s} \right)$$
Dit impliceert dat de leidende term is:
$$\frac{2}{n+2s}(2\pi)^{2s} (\omega_n |\Omega|)^{-2s/n} k^{1+2s/n} \ln k$$
Deze ondergrens is scherp en bevestigt de verwachte asymptotische groei.

Resultaat 2: Bovengrens (Theorema 3.2)

Onder de aanname dat het domein $\Omega$ voldoet aan een bepaalde randlaag-estimatie (wat geldt voor veel gladde domeinen), bestaat er een constante $C$ zodanig dat voor grote $k$:
$$\sum_{j=1}^k \lambda_j^{s+\ln}(\Omega) \leq \frac{2}{n+2s}(2\pi)^{2s} (\omega_n |\Omega|)^{-2s/n} k^{1+2s/n} \ln k + C k^{1+2s/n}$$

Conclusie over de Asymptotiek

Samen tonen deze resultaten aan dat:
$$\sum_{j=1}^k \lambda_j^{s+\ln}(\Omega) \sim \frac{2}{n+2s}(2\pi)^{2s} (\omega_n |\Omega|)^{-2s/n} k^{1+2s/n} \ln k \quad \text{als } k \to \infty$$
Dit bevestigt dat de spectrale structuur van de Fractional-Logarithmische Laplaciaan een multiplicatieve combinatie is van de fractionele groei ($k^{1+2s/n}$) en de logaritmische correctie ($\ln k$).

---

4. Betekenis en Bijdrage

De bijdragen van dit artikel zijn significant voor de spectrale theorie van niet-lokale operatoren:

1. Rigoureusheid voor een nieuwe operator: Het artikel vult een gat in de literatuur door de spectrale eigenschappen van de Fractional-Logarithmische Laplaciaan (een operator die recent is geïntroduceerd) volledig te analyseren.
2. Overcoming Non-Monotonicity: Het bewijst dat de Berezin-Li-Yau en Kröger-methoden, hoewel oorspronkelijk ontwikkeld voor monotoon symbool-operatoren, kunnen worden aangepast voor operatoren met complexe, niet-monotoon gedrag bij lage frequenties. Dit is een belangrijke technische doorbraak.
3. Universele Structuur: Het resultaat toont aan dat de asymptotische wet voor deze operator een elegante factorisatie vertoont: de som van eigenwaarden is het product van de schaal van de fractionele Laplaciaan en de logaritmische correctie. Dit suggereert een diepere eenheid in de spectrale theorie van gemengde niet-lokale operatoren.
4. Toepassingsgebied: De resultaten zijn relevant voor het begrip van fysische systemen die worden gemodelleerd door dergelijke operatoren, zoals in de kwantummechanica of diffusieprocessen met zware staarten en logaritmische correcties.

Kortom, het artikel levert de eerste scherpe onder- en bovengrenzen voor de som van eigenwaarden van de Fractional-Logarithmische Laplaciaan, bevestigt de verwachte Weyl-asymptotiek en biedt een robuust wiskundig raamwerk voor toekomstig onderzoek naar deze klasse van operatoren.