Spectral analysis, maximum principles and shape optimization for nonlinear superposition operators of mixed fractional order

TL;DR

This paper studies spectral properties, maximum principles, and shape optimization for nonlinear superposition operators of mixed fractional order, revealing new insights into eigenvalues, eigenfunctions, and inequalities in nonlocal operator theory.

Contribution

It introduces a comprehensive framework for analyzing superposition operators of mixed fractional order, establishing maximum principles, spectral properties, and shape optimization results.

Findings

First eigenvalue is isolated and positive eigenfunctions are bounded.

Eigenfunctions for higher eigenvalues change sign.

Shape optimization results include a Faber--Krahn inequality.

Abstract

The main objective of this paper is to investigate the spectral properties, maximum principles, and shape optimization problems for a broad class of nonlinear ``superposition operators" defined as continuous superpositions of operators of mixed fractional order, modulated by a signed finite Borel measure on the unit interval. This framework encompasses, as particular cases, mixed local and nonlocal operators such as $-\Delta_p+(-\Delta_p)^s$, finite (possibly infinite) sums of fractional $p$-Laplacians with different orders, as well as operators involving fractional Laplacians with ``wrong" signs. The main findings, obtained through variational techniques, concern the spectral analysis of the Dirichlet eigenvalue problem associated with general superposition operators with special emphasis on various properties of the first eigenvalue and its corresponding eigenfunction. We establish weak and strong maximum principles for positive superposition operators by introducing an appropriate notion of the {\it nonlocal tail} for this class of superposition operators and deriving a logarithmic estimate, both of which are of independent interest. Utilizing these newly developed tools, we further investigate the spectral properties of such superposition operators and prove that the first eigenvalue is isolated. Moreover, we show that the eigenfunctions corresponding to positive eigenvalues are globally bounded and that they change sign when associated with higher eigenvalues. In addition, we demonstrate that the second eigenvalue is well-defined and provide the mountain pass characterization. Finally, we address shape optimization problems, in particular, the Faber--Krahn inequality associated with the principal frequency associated with the superposition operators.