skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.


This content will become publicly available on January 1, 2026

Title: An upper bound for the first nonzero Steklov eigenvalue
Let (Mn,g) be a complete simply connectedn-dimensional Riemannian manifold with curvature bounds Sectg≤ κ for κ ≤ 0 and Ricg≥ (n− 1)KgforK≤ 0. We prove that for any bounded domain Ω ⊂Mnwith diameterdand Lipschitz boundary, if Ω* is a geodesic ball in the simply connected space form with constant sectional curvature κ enclosing the same volume as Ω, then σ1(Ω) ≤Cσ1(Ω*), where σ1(Ω) and σ1(Ω*) denote the first nonzero Steklov eigenvalues of Ω and Ω* respectively, andC=C(n, κ,K,d) is an explicit constant. When κ =K, we haveC= 1 and recover the Brock–Weinstock inequality, asserting that geodesic balls uniquely maximize the first nonzero Steklov eigenvalue among domains of the same volume, in Euclidean space and the hyperbolic space.  more » « less
Award ID(s):
2405257 2316659
PAR ID:
10616521
Author(s) / Creator(s):
; ;
Publisher / Repository:
EDP Sciences
Date Published:
Journal Name:
ESAIM: Control, Optimisation and Calculus of Variations
Volume:
31
ISSN:
1292-8119
Page Range / eLocation ID:
5
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. null (Ed.)
    Recently Fraser and Schoen showed that the solution of a certain extremal Steklov eigenvalue problem on a compact surface with boundary can be used to generate a free boundary minimal surface, i.e. , a surface contained in the ball that has (i) zero mean curvature and (ii) meets the boundary of the ball orthogonally (doi: 10.1007/s00222-015-0604-x ). In this paper, we develop numerical methods that use this connection to realize free boundary minimal surfaces. Namely, on a compact surface, Σ, with genus γ and b boundary components, we maximize σ j (Σ, g )  L ( ∂ Σ, g ) over a class of smooth metrics, g , where σ j (Σ, g ) is the j th nonzero Steklov eigenvalue and L ( ∂ Σ, g ) is the length of ∂ Σ. Our numerical method involves (i) using conformal uniformization of multiply connected domains to avoid explicit parameterization for the class of metrics, (ii) accurately solving a boundary-weighted Steklov eigenvalue problem in multi-connected domains, and (iii) developing gradient-based optimization methods for this non-smooth eigenvalue optimization problem. For genus γ = 0 and b = 2, …, 9, 12, 15, 20 boundary components, we numerically solve the extremal Steklov problem for the first eigenvalue. The corresponding eigenfunctions generate a free boundary minimal surface, which we display in striking images. For higher eigenvalues, numerical evidence suggests that the maximizers are degenerate, but we compute local maximizers for the second and third eigenvalues with b = 2 boundary components and for the third and fifth eigenvalues with b = 3 boundary components. 
    more » « less
  2. Abstract Collisionless systems often exhibit nonthermal power-law tails in their distribution functions. Interestingly, collisionless plasmas in various physical scenarios (e.g., the ion population of the solar wind) feature av−5tail in their velocity (v) distribution, whose origin has been a long-standing puzzle. We show this power-law tail to be a natural outcome of the collisionless relaxation of driven electrostatic plasmas. Using a quasi-linear analysis of the perturbed Vlasov–Poisson equations, we show that the coarse-grained mean distribution function (DF),f0, follows a quasi-linear diffusion equation with a diffusion coefficientD(v) that depends onvthrough the plasma dielectric constant. If the plasma is isotropically forced on scales larger than the Debye length with a white-noise-like electric field,D(v) ∼v4forσ<v<ωP/k, withσthe thermal velocity,ωPthe plasma frequency, andkthe characteristic wavenumber of the perturbation; the corresponding quasi-steady-statef0develops av−(d+ 2)tail inddimensions (v−5tail in 3D), while the energy (E) distribution develops anE−2tail independent of dimensionality. Any redness of the noise only alters the scaling in the highvend. Nonresonant particles moving slower than the phase velocity of the plasma waves (ωP/k) experience a Debye-screened electric field, and significantly less (power-law suppressed) acceleration than the near-resonant particles. Thus, a Maxwellian DF develops a power-law tail, while its core (v<σ) eventually also heats up but over a much longer timescale. We definitively show that self-consistency (ignored in test-particle treatments) is crucial for the emergence of the universalv−5tail. 
    more » « less
  3. Abstract We present theAemulusνsimulations: a suite of 150 (1.05 h-1Gpc)3N-body simulations with a mass resolution of 3.51 × 1010Ωcb/0.3  h-1Min awνCDM cosmological parameter space. The simulations have been explicitly designed to span a broad range inσ8to facilitate investigations of tension between large scale structure and cosmic microwave background cosmological probes. Neutrinos are treated as a second particle species to ensure accuracy to 0.5 eV, the maximum neutrino mass that we have simulated. By employing Zel'dovich control variates, we increase the effective volume of our simulations by factors of 10-105depending on the statistic in question. As a first application of these simulations, we build new hybrid effective field theory and matter power spectrum surrogate models, demonstrating that they achieve ≤ 1% accuracy fork≤ 1hMpc-1and 0 ≤z≤ 3, and ≤ 2% accuracy fork≤ 4hMpc-1for the matter power spectrum. We publicly release the trained surrogate models, and estimates of the surrogate model errors in the hope that they will be broadly applicable to a range of cosmological analyses for many years to come. 
    more » « less
  4. Abstract A classical result of Erdős and, independently, of Bondy and Simonovits [3] says that the maximum number of edges in ann-vertex graph not containingC2k, the cycle of length 2k, isO(n1+1/k). Simonovits established a corresponding supersaturation result forC2k’s, showing that there exist positive constantsC,cdepending only onksuch that everyn-vertex graphGwithe(G)⩾Cn1+1/kcontains at leastc(e(G)/v(G))2kcopies ofC2k, this number of copies tightly achieved by the random graph (up to a multiplicative constant). In this paper we extend Simonovits' result to a supersaturation result ofr-uniform linear cycles of even length inr-uniform linear hypergraphs. Our proof is self-contained and includes ther= 2 case. As an auxiliary tool, we develop a reduction lemma from general host graphs to almost-regular host graphs that can be used for other supersaturation problems, and may therefore be of independent interest. 
    more » « less
  5. The ranked (or top-k) document retrieval problem is defined as follows: preprocess a collection{T1,T2,… ,Td}ofdstrings (called documents) of total lengthninto a data structure, such that for any given query(P,k), wherePis a string (called pattern) of lengthp ≥ 1andk ∈ [1,d]is an integer, the identifiers of thosekdocuments that are most relevant toPcan be reported, ideally in the sorted order of their relevance. The seminal work by Hon et al. [FOCS 2009 and Journal of the ACM 2014] presented anO(n)-space (in words) data structure withO(p+klogk)query time. The query time was later improved toO(p+k)[SODA 2012] and further toO(p/logσn+k)[SIAM Journal on Computing 2017] by Navarro and Nekrich, whereσis the alphabet size. We revisit this problem in the external memory model and present three data structures. The first one takesO(n)-space and answer queries inO(p/B+ logBn + k/B+log*(n/B)) I/Os, whereBis the block size. The second one takesO(nlog*(n/B)) space and answer queries in optimalO(p/B+ logBn + k/B)I/Os. In both cases, the answers are reported in the unsorted order of relevance. To handle sorted top-kdocument retrieval, we present anO(nlog(d/B))space data structure with optimal query cost. 
    more » « less