An official website of the United States government
Sarnak’s spectral gap question
We answer in the affirmative a question of Sarnak’s from 2007, confirming that the Patterson–Sullivan base eigenfunction is the unique square-integrable eigenfunction of the hyperbolic Laplacian invariant under the group of symmetries of the Apollonian packing. Thus the latter has a maximal spectral gap. We prove further restrictions on the spectrum of the Laplacian on a wide class of manifolds coming from Kleinian sphere packings.
more »
« less
- Award ID(s):
- 1651563
- PAR ID:
- 10513732
- Publisher / Repository:
- Springer
- Date Published:
- Journal Name:
- Journal d'Analyse Mathématique
- ISSN:
- 0021-7670,1565-8538
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
Abstract The $$p$$-Laplacian has attracted more and more attention in data analysis disciplines in the past decade. However, there is still a knowledge gap about its behavior, which limits its practical application. In this paper, we are interested in its iterative behavior in domains contained in two-dimensional Euclidean space. Given a connected set $$\varOmega _0 \subset \mathbb{R}^2$$, define a sequence of sets $$(\varOmega _n)_{n=0}^{\infty }$$ where $$\varOmega _{n+1}$$ is the subset of $$\varOmega _n$$ where the first eigenfunction of the (properly normalized) Neumann $$p$$-Laplacian $$ -\varDelta ^{(p)} \phi = \lambda _1 |\phi |^{p-2} \phi $$ is positive (or negative). For $p=1$, this is also referred to as the ratio cut of the domain. We conjecture that these sets converge to the set of rectangles with eccentricity bounded by 2 in the Gromov–Hausdorff distance as long as they have a certain distance to the boundary $$\partial \varOmega _0$$. We establish some aspects of this conjecture for $p=1$ where we prove that (1) the 1-Laplacian spectral cut of domains sufficiently close to rectangles is a circular arc that is closer to flat than the original domain (leading eventually to quadrilaterals) and (2) quadrilaterals close to a rectangle of aspect ratio $$2$$ stay close to quadrilaterals and move closer to rectangles in a suitable metric. We also discuss some numerical aspects and pose many open questions.more » « less
-
We prove the existence of an open set minimizing the first Dirichlet eigenvalue of an elliptic operator with bounded, measurable coefficients, over all open sets of a given measure. Our proof is based on a free boundary approach: we characterize the eigenfunction on the optimal set as the minimizer of a penalized functional, and derive openness of the optimal set as a consequence of a Hölder estimate for the eigenfunction. We also prove that the optimal eigenfunction grows at most linearly from the free boundary, i.e., it is Lipschitz continuous at free boundary points.more » « less
-
A<sc>bstract</sc> In models with extra dimensions, matter particles can be easily localized to a ‘brane world’, but gravitational attraction tends to spread out in the extra dimensions unless they are small. Strong warping gradients can help localize gravity closer to the brane. In this note we give a mathematically rigorous proof that the internal wave-function of the massless graviton is constant as an eigenfunction of the weighted Laplacian, and hence is a power of the warping as a bound state in an analogue Schrödinger potential. This holds even in presence of singularities induced by thin branes. We also reassess the status of AdS vacuum solutions where the graviton is massive. We prove a bound on scale separation for such models, as an application of our recent results on KK masses. We also use them to estimate the scale at which gravity is localized, without having to compute the spectrum explicitly. For example, we point out that localization can be obtained at least up to the cosmological scale in string/M-theory solutions with infinite-volume Riemann surfaces; and in a known class of$$ \mathcal{N} $$ = 4 models, when the number of NS5- and D5-branes is roughly equal.more » « less
-
We consider Euler flows on two-dimensional (2-D) periodic domain and are interested in the stability, both linear and nonlinear, of a simple equilibrium given by the 2-D Taylor–Green vortex. As the first main result, numerical evidence is provided for the fact that such flows possess unstable eigenvalues embedded in the band of the essential spectrum of the linearized operator. However, the unstable eigenfunction is discontinuous at the hyperbolic stagnation points of the base flow and its regularity is consistent with the prediction of Lin (Intl Math. Res. Not., vol. 2004, issue 41, 2004, pp. 2147–2178). This eigenfunction gives rise to an exponential transient growth with the rate given by the real part of the eigenvalue followed by passage to a nonlinear instability. As the second main result, we illustrate a fundamentally different, non-modal, growth mechanism involving a continuous family of uncorrelated functions, instead of an eigenfunction of the linearized operator. Constructed by solving a suitable partial differential equation (PDE) optimization problem, the resulting flows saturate the known estimates on the growth of the semigroup related to the essential spectrum of the linearized Euler operator as the numerical resolution is refined. These findings are contrasted with the results of earlier studies of a similar problem conducted in a slightly viscous setting where only the modal growth of instabilities was observed. This highlights the special stability properties of equilibria in inviscid flows.more » « less
- Free Publicly Accessible Full Text
-
Accepted Manuscript1.0
- Journal Article:
- The DOI is not currently available.
