English

A Faber-Krahn inequality with drift

Analysis of PDEs 2007-05-23 v1

Abstract

Let Ω\Omega be a bounded C2,αC^{2,\alpha} domain in Rn\R^n (n1n\geq 1, 0<α<10<\alpha<1), Ω\Omega^{\ast} be the open Euclidean ball centered at 0 having the same Lebesgue measure as Ω\Omega, τ0\tau\geq 0 and vL(Ω,Rn)v\in L^{\infty}(\Omega,\R^n) with v_τ\left\Vert v\right\Vert\_{\infty}\leq \tau. If λ_1(Ω,τ)\lambda\_{1}(\Omega,\tau) denotes the principal eigenvalue of the operator Δ+v-\Delta+v\cdot\nabla in Ω\Omega with Dirichlet boundary condition, we establish that λ_1(Ω,v)λ_1(Ω,τe_r)\lambda\_{1}(\Omega,v)\geq \lambda\_{1}(\Omega^{\ast},\tau e\_{r}) where e_r(x)=x/xe\_{r}(x)=x/| x|. Moreover, equality holds only when, up to translation, Ω=Ω\Omega=\Omega^{\ast} and v=τe_rv=\tau e\_{r}. This result can be viewed as an isoperimetric inequality for the first eigenvalue of the Dirichlet Laplacian with drift. It generalizes the celebrated Rayleigh-Faber-Krahn inequality for the first eigenvalue of the Dirichlet Laplacian.

Keywords

Cite

@article{arxiv.math/0607585,
  title  = {A Faber-Krahn inequality with drift},
  author = {Francois Hamel and Nikolai Nadirashvili and Emmanuel Russ},
  journal= {arXiv preprint arXiv:math/0607585},
  year   = {2007}
}
R2 v1 2026-07-22T17:39:28.123Z