arXiv ScienceSearch

arXiv · 2507.04418

Non-convergence of the principal eigenvalue of elliptic operators for large advection

Abstract

This paper investigates the limit of the principal eigenvalue $λ(s)$ as $s\to+\infty$ for the following elliptic equation \begin{align*} -Δφ(x)-2s\mathbf{v}\cdot\nablaφ(x)+c(x)φ(x)=λ(s)φ(x), \quad x\in Ω \end{align*} in a bounded domain $Ω\subset \mathbb{R}^d (d\geq 1)$ with the Neumann boundary condition. Previous studies have shown that under certain conditions on $\mathbf{v}$, $λ(s)$ converges as $s\to\infty$ (including cases where $\lim\limits_{s \to\infty }λ(s)=\pm\infty$). This work constructs an example such that $λ(s)$ is divergent as $s\to+\infty$. This seems to be the first rigorous result demonstrating the non-convergence of the principal eigenvalue for second-order linear elliptic operators with some strong advection. As an application, we demonstrate that for the classical advection-reaction-diffusion model with advective velocity field $\mathbf{v}=\nabla m$, where $m$ is a potential function with infinite oscillations, the principal eigenvalue changes sign infinitely often along a subsequence of $s\to\infty$. This leads to solution behaviors that differ significantly from those observed when $m$ is non-oscillatory.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Xueli Bai, Zhi-An Wang, Xin Xu, Kexin Zhang, Maolin Zhou. 2025-07-06. Non-convergence of the principal eigenvalue of elliptic operators for large advection. https://arxiv.org/abs/2507.04418

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Two-layers neural networks for Schr{ö}dinger eigenvalue problems

The aim of this article is to analyze numerical schemes using two-layer neural networks with infinite width for the resolution of high-dimensional Schr{ö}dinger eigenvalue problems with smooth interaction potentials and Neumann boundary condition on the unit cube in any dimension. More precisely, any eigenfunction associated to the lowest eigenvalue of the Schr{ö}dinger operator is a unit L 2 norm minimizer of the associated energy. Using Barron's representation of the solution with a probability measure defined on the set of parameter values and following the approach initially suggested by Bach and Chizat [1], the energy is minimized thanks to a constrained gradient curve dynamic on the 2-Wasserstein space of the set of parameter values defining the neural network. We prove the existence of solutions to this constrained gradient curve. Furthermore, we prove that, if it converges, the represented function is then an eigenfunction of the considered Schr{ö}dinger operator. At least up to our knowledge, this is the first work where this type of analysis is carried out to deal with the minimization of non-convex functionals.

math.AP

Validity of Prandtl Expansion for Steady Compressible Navier-Stokes-Fourier Flows

Assume no-slip boundary conditions for the velocity field and either insulated or Dirichlet boundary conditions for the temperature field in a steady compressible fluid. In the inviscid limit $\v \rightarrow 0$, we develop a mathematical framework for the uniform-in-$\v$ remainder estimate for the linear steady compressible Navier-Stokes-Fourier equations around a Prandtl layer profile with both velocity and thermal layers, which leads to the validity of the Prandtl layer expansion.

math.AP

Long time behaviour of Mean Field Games with fractional diffusion

In this paper we study the long time behaviour of mean field games systems with fractional diffusion, modeling the case that the individual dynamics of the players is driven by independent jump processes and controlled through the drift term, while being confined by an external field in order to guarantee ergodicity. In the case of globally Lipschitz, locally uniformly convex Hamiltonian, and weakly coupled costs satisfying the Lasry-Lions monotonicity condition, we prove that there is a unique solution $(u_T,m_T)$ to the mean field game problem in $(0,T)$ and we show that, if $T$ is sufficiently large, $(u_T,m_T)$ satisfies the so-called turnpike property, namely it is exponentially close to the (unique) stationary ergodic state for any proportionally long intermediate time.

math.AP