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

Résumé Technique : Bornes Supérieures et Inférieures pour la Somme des Valeurs Propres du Laplacien Fractionnaire-Logarithmique

1. Problématique et Contexte

L'article se concentre sur l'étude spectrale de l'opérateur Laplacien Fractionnaire-Logarithmique, noté $(-\Delta)^{s+\ln}$, défini sur un domaine borné $\Omega \subset \mathbb{R}^n$. Cet opérateur, introduit récemment, est défini par son symbole de Fourier :
$$m(\xi) = |\xi|^{2s} \ln |\xi|^2$$
où $s > 0$. Il représente une limite singulière des opérateurs fractionnaires et sert de pont entre les opérateurs locaux (Laplacien classique) et non locaux (Laplacien fractionnaire $(-\Delta)^s$).

Le problème central est d'établir des bornes inférieures et supérieures rigoureuses pour la somme partielle des premières $k$ valeurs propres de Dirichlet, notées :
$$\sum_{j=1}^k \lambda_j^{s+\ln}(\Omega)$$
où $0 < \lambda_1^{s+\ln} \le \lambda_2^{s+\ln} \le \dots \to +\infty$.

Contrairement au Laplacien classique ou fractionnaire où le symbole est monotone radialement, le symbole $|\xi|^{2s} \ln |\xi|^2$ n'est pas globalement monotone en raison de son comportement aux basses fréquences (il devient négatif pour $|\xi| < 1$). Cette non-monotonie constitue le défi technique majeur de l'étude, car elle empêche l'application directe des méthodes classiques de type Berezin-Li-Yau ou Kröger sans adaptations significatives.

2. Méthodologie

L'auteur adapte les méthodes variationnelles classiques aux spécificités de l'opérateur non local et non monotone.

• Pour la borne inférieure (Section 2) :

  • L'approche s'inspire de la méthode de Berezin-Li-Yau.
  • L'auteur définit une fonction de densité spectrale $f(\xi) = \sum_{j=1}^k |\hat{\phi}_j(\xi)|^2$ basée sur les fonctions propres $\phi_j$.
  • Un lemme clé (Lemme 2.4) est établi pour estimer l'intégrale pondérée $\int |\xi|^{2s} \ln |\xi|^2 f(\xi) d\xi$. Ce lemme utilise une optimisation variationnelle sur une fonction de seuil $R$ pour contourner la non-monotonie du symbole aux basses fréquences.
  • Le théorème de Tauberian de Karamata (Proposition 2.2) est utilisé pour déduire le comportement asymptotique de la somme des valeurs propres à partir de l'asymptotique connue du $k$-ième eigenvalue ($\lambda_k \sim k^{2s/n} \ln k$).

• Pour la borne supérieure (Section 3) :

  • L'approche suit la méthode de Kröger, adaptée aux opérateurs non locaux.
  • L'auteur construit une famille de fonctions tests $v_\sigma(z, x) = w_\sigma(x)e^{-ix\cdot z}$, où $w_\sigma$ est une fonction de coupure lisse qui vaut 1 loin de la frontière et 0 sur la frontière (dans une couche limite de largeur $\sigma$).
  • Une estimation cruciale (Lemme 3.1) est démontrée pour contrôler l'énergie de ces fonctions tests, séparant le terme principal (lié au symbole sur une boule $B_r$) d'un terme de reste $\Psi_{s,\ln}(r, \sigma)$ qui dépend de la géométrie de la frontière.
  • Le principe de Rayleigh-Ritz est appliqué sur le complément orthogonal des $k$ premières fonctions propres pour obtenir une majoration de $\lambda_{k+1}$, puis intégrée pour obtenir la somme.

3. Résultats Principaux

L'article établit des bornes asymptotiquement optimales pour la somme des valeurs propres, confirmant la structure multiplicative héritée des opérateurs fractionnaire et logarithmique.

A. Comportement Asymptotique (Proposition 2.3)
En supposant la loi de Weyl connue $\lambda_k \sim A k^{2s/n} \ln k$, la somme vérifie :
$$\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$$
où $\omega_n$ est le volume de la boule unité.

B. Borne Inférieure (Théorème 2.5)
Pour tout $k \ge 1$, la somme satisfait :
$$\sum_{j=1}^k \lambda_j^{s+\ln}(\Omega) \ge -C_1 |\Omega|$$
et pour $k$ suffisamment grand ($k \ge (2\pi)^{-n}\omega_n|\Omega|$) :
$$\sum_{j=1}^k \lambda_j^{s+\ln}(\Omega) \ge \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)$$
Cette borne possède le terme dominant correct en $k^{1+2s/n} \ln k$.

C. Borne Supérieure (Théorème 3.2)
Sous l'hypothèse que le domaine $\Omega$ admet une estimation de la couche frontière ($|\Omega_t| \le C_\Omega t$), il existe une constante $C > 0$ telle que pour $k$ grand :
$$\sum_{j=1}^k \lambda_j^{s+\ln}(\Omega) \le \frac{2}{n+2s}(2\pi)^{2s} (\omega_n |\Omega|)^{-2s/n} k^{1+2s/n} \ln k + C k^{1+2s/n}$$

4. Contributions Clés

1. Rigueur de la structure multiplicative : Le papier démontre mathématiquement que le spectre du Laplacien fractionnaire-logarithmique hérite d'une structure multiplicative simple : le terme dominant est le produit du terme de croissance fractionnaire ($k^{1+2s/n}$) et de la correction logarithmique ($\ln k$).
2. Gestion de la non-monotonie : L'article résout le problème technique posé par le symbole non monotone aux basses fréquences en développant des inégalités intégrales spécifiques (Lemme 2.4) qui permettent d'isoler la contribution positive des hautes fréquences.
3. Extension des inégalités classiques : Il généralise les célèbres inégalités de Berezin-Li-Yau (borne inférieure) et de Kröger (borne supérieure) à ce nouveau cadre d'opérateurs non locaux hybrides.
4. Conditions de positivité : Le Corollaire 2.6 fournit des conditions explicites sur le volume du domaine $|\Omega|$ et l'indice $k$ garantissant que les valeurs propres (et leur somme) sont strictement positives.

5. Signification et Impact

Ce travail est une avancée significative dans la théorie spectrale des opérateurs non locaux.

• Il comble un vide théorique entre les opérateurs fractionnaires purs et les opérateurs logarithmiques purs.
• Il fournit des outils analytiques robustes pour étudier des opérateurs dont le symbole de Fourier n'est pas monotone, une situation fréquente dans les modèles physiques complexes ou les limites singulières.
• Les bornes obtenues sont essentielles pour l'analyse asymptotique, la régularité des solutions et la compréhension de la distribution des modes propres dans des domaines géométriques complexes, avec des applications potentielles en physique mathématique et en théorie des probabilités (processus de Lévy avec sauts logarithmiques).

En résumé, Hichem Hajaiej réussit à formaliser l'intuition heuristique selon laquelle le Laplacien fractionnaire-logarithmique combine les échelles de croissance de ses composantes, en fournissant des preuves rigoureuses pour les bornes de la somme spectrale.