arXiv subjects

Emily B. Dryden

Publications and source records attributed to Emily B. Dryden.

16 recordsLinked to original sources

arXiv2026

The Steklov spectrum of convex polygonal domains II: investigating spectral determination

The extent to which the geometry of an object is determined by some associated spectral data is a longstanding problem. We investigate this problem in the context of the Steklov spectrum, focusing on convex polygons. We prove that almost all triangles are uniquely determined by their Steklov spectra within the class of all triangles; further results depending on the types of angles in the triangles are given. We examine three special classes of convex quadrilaterals--rectangles, parallelograms, and kites--and obtain results ranging from unique spectral determination to determination up to three possibilities. For regular $n$-gons, we are again able to prove spectral determination within certain classes of polygons. More generally, we investigate the extent to which the Steklov spectrum distinguishes convex polygons from simply-connected domains with smooth boundary; that is, does the Steklov spectrum detect corners? We prove that triangles and quadrilaterals are spectrally distinguished from such smoothly bounded domains; moreover, we show that having the same Steklov spectrum as such a domain imposes substantial restrictions on the edge lengths of higher-order $n$-gons. Throughout, our main tool is the characteristic polynomial developed in works by Stanislav Krymski, Michael Levitin, Leonid Parnovski, Iosif Polterovich, and David A. Sher.

math.DG↗

arXiv2024

The Steklov spectrum of convex polygonal domains I: spectral finiteness

We explore the Steklov eigenvalue problem on convex polygons, focusing mainly on the inverse Steklov problem. Our primary finding reveals that, for almost all convex polygonal domains, there exist at most finitely many non-congruent domains with the same Steklov spectrum. Moreover, we obtain explicit upper bounds for the maximum number of mutually Steklov isospectral non-congruent polygonal domains. Along the way, we obtain isoperimetric bounds for the Steklov eigenvalues of a convex polygon in terms of the minimal interior angle of the polygon.

math.SP↗

arXiv2023

Applications of possibly hidden symmetry to Steklov and mixed Steklov problems on surfaces

We consider three different questions related to the Steklov and mixed Steklov problems on surfaces. These questions are connected by the techniques that we use to study them, which exploit symmetry in various ways even though the surfaces we study do not necessarily have inherent symmetry. In the spirit of the celebrated Hersch-Payne-Schiffer and Weinstock inequalities for Steklov eigenvalues, we obtain a sharp isoperimetric inequality for the mixed Steklov eigenvalues considering the interplay between the eigenvalues of the mixed Steklov-Neumann and Steklov-Dirichlet eigenvalues. In 1980, Bandle showed that the unit disk maximizes the $k$th nonzero normalized Steklov eigenvalue on simply connected domains with rotational symmetry of order $p$ when $k\le p-1$. We discuss whether the disk remains the maximizer in the class of simply connected rotationally symmetric domains when $k\geq p$. In particular, we show that for $k$ large enough, the upper bound converges to the Hersch-Payne-Schiffer upper bound. We give full asymptotics for mixed Steklov problems on arbitrary surfaces, assuming some conditions at the meeting points of the Steklov boundary with the Dirichlet or Neumann boundary.

math.SP↗

arXiv2017

Spectral geometry of the Steklov problem on orbifolds

We consider how the geometry and topology of a compact $n$-dimensional Riemannian orbifold with boundary relates to its Steklov spectrum. In two dimensions, motivated by work of A. Girouard, L. Parnovski, I. Polterovich and D. Sher in the manifold setting, we compute the precise asymptotics of the Steklov spectrum in terms of only boundary data. As a consequence, we prove that the Steklov spectrum detects the presence and number of orbifold singularities on the boundary of an orbisurface and it detects the number each of smooth and singular boundary components. Moreover, we find that the Steklov spectrum also determines the lengths of the boundary components modulo an equivalence relation, and we show by examples that this result is the best possible. We construct various examples of Steklov isospectral Riemannian orbifolds which demonstrate that these two-dimensional results do not extend to higher dimensions. In addition, we give two-dimensional examples which show that the Steklov spectrum does \emph{not} detect the presence of interior singularities nor does it determine the orbifold Euler characteristic. In fact, a flat disk is Steklov isospectral to a cone. In another direction, we obtain upper bounds on the Steklov eigenvalues of a Riemannian orbifold in terms of the isoperimetric ratio and a conformal invariant. We generalize results of B. Colbois, A. El Soufi and A. Girouard, and the fourth author to the orbifold setting; in the process, we gain a sharpness result on these bounds that was not evident in the manifold setting. In dimension two, our eigenvalue bounds are solely in terms of the orbifold Euler characteristic and the number each of smooth and singular boundary components.

math.SP↗

arXiv2017

Exit Time Moments and Eigenvalue Estimates

We study estimates involving the principal Dirichlet eigenvalue associated to a smoothly bounded domain in a complete Riemannian manifold and L1-norms of exit time moments of Brownian motion. Our results generalize a classical inequality of Polya.

math.SP↗

arXiv2015

Recovering $S^1$-invariant metrics on $S^2$ from the equivariant spectrum

We prove an inverse spectral result for $S^1$-invariant metrics on $S^2$ based on the so-called asymptotic equivariant spectrum. This is roughly the spectrum together with large weights of the $S^1$ action on the eigenspaces. Our result generalizes an inverse spectral result of the first and last named authors, together with Victor Guillemin, concerning $S^1$-invariant metrics on $S^2$ which are invariant under the antipodal map. We use higher order terms in the asymptotic expansion of a natural spectral measure associated with the Laplacian and the $S^1$ action.

math.SP↗

arXiv2014

Semi-classical weights and equivariant spectral theory

We prove inverse spectral results for differential operators on manifolds and orbifolds invariant under a torus action. These inverse spectral results involve the asymptotic equivariant spectrum, which is the spectrum itself together with "very large" weights of the torus action on eigenspaces. More precisely, we show that the asymptotic equivariant spectrum of the Laplace operator of any toric metric on a generic toric orbifold determines the equivariant biholomorphism class of the orbifold; we also show that the asymptotic equivariant spectrum of a T^n-invariant Schrodinger operator on R^n determines its potential in some suitably convex cases. In addition, we prove that the asymptotic equivariant spectrum of an S^1-invariant metric on S^2 determines the metric itself in many cases. Finally, we obtain an asymptotic equivariant inverse spectral result for weighted projective spaces. As a crucial ingredient in these inverse results, we derive a surprisingly simple formula for the asymptotic equivariant trace of a family of semi-classical differential operators invariant under a torus action.

math.SP↗

arXiv2013

Mapping properties of the heat operator on edge manifolds

We consider the heat operator acting on differential forms on spaces with complete and incomplete edge metrics. In the latter case we study the heat operator of the Hodge Laplacian with algebraic boundary conditions at the edge singularity. We establish the mapping properties of the heat operator, recovering and extending the classical results from smooth manifolds and conical spaces. The estimates, together with strong continuity of the heat operator, yield short-time existence of solutions to certain semilinear parabolic equations. Our discussion reviews and generalizes earlier work by Jeffres and Loya.

math.AP↗

arXiv2012

Hearing Delzant polytopes from the equivariant spectrum

Let M^{2n} be a symplectic toric manifold with a fixed T^n-action and with a toric Kähler metric g. Abreu asked whether the spectrum of the Laplace operator $Δ_g$ on $\mathcal{C}^\infty(M)$ determines the moment polytope of M, and hence by Delzant's theorem determines M up to symplectomorphism. We report on some progress made on an equivariant version of this conjecture. If the moment polygon of M^4 is generic and does not have too many pairs of parallel sides, the so-called equivariant spectrum of M and the spectrum of its associated real manifold M_R determine its polygon, up to translation and a small number of choices. For M of arbitrary even dimension and with integer cohomology class, the equivariant spectrum of the Laplacian acting on sections of a naturally associated line bundle determines the moment polytope of M.

math.DG↗

arXiv2011

Equivariant inverse spectral theory and toric orbifolds

Let O be a symplectic toric 2n-dimensional orbifold with a fixed T^n-action and with a toric Kahler metric g. We previously explored whether, when O is a manifold, the equivariant spectrum of the Laplace operator acting on smooth functions on (O,g) determines the moment polytope of O, and hence by Delzant's theorem determines O up to symplectomorphism. In the setting of toric orbifolds we significantly improve upon our previous results and show that the moment polytope of a generic toric orbifold is determined by its equivariant spectrum, up to two possibilities and up to translation. This involves developing the asymptotic expansion of the heat trace on an orbifold in the presence of an isometry. We also show that the equivariant spectrum determines whether the toric Kahler metric has constant scalar curvature.

math.DG↗

arXiv2009

Bounding the eigenvalues of the Laplace-Beltrami operator on compact submanifolds

We give upper bounds for the eigenvalues of the La-place-Beltrami operator of a compact $m$-dimensional submanifold $M$ of $\R^{m+p}$. Besides the dimension and the volume of the submanifold and the order of the eigenvalue, these bounds depend on either the maximal number of intersection points of $M$ with a $p$-plane in a generic position (transverse to $M$), or an invariant which measures the concentration of the volume of $M$ in $\R^{m+p}$. These bounds are asymptotically optimal in the sense of the Weyl law. On the other hand, we show that even for hypersurfaces (i.e., when $p=1$), the first positive eigenvalue cannot be controlled only in terms of the volume, the dimension and (for $m\ge 3$) the differential structure.

math.MG↗

arXiv2008

Asymptotic expansion of the heat kernel for orbifolds

We study the relationship between the geometry and the Laplace spectrum of a Riemannian orbifold O via its heat kernel; as in the manifold case, the time-zero asymptotic expansion of the heat kernel furnishes geometric information about O. In the case of a good Riemannian orbifold (i.e., an orbifold arising as the orbit space of a manifold under the action of a discrete group of isometries), H. Donnelly proved the existence of the heat kernel and constructed the asymptotic expansion for the heat trace. We extend Donnelly's work to the case of general compact orbifolds. Moreover, in both the good case and the general case, we express the heat invariants in a form that clarifies the asymptotic contribution of each part of the singular set of the orbifold. We calculate several terms in the asymptotic expansion explicitly in the case of two-dimensional orbifolds; we use these terms to prove that the spectrum distinguishes elements within various classes of two-dimensional orbifolds.

math.DG↗

arXiv2007

Collars and partitions of hyperbolic cone-surfaces

For compact Riemann surfaces, the collar theorem and Bers' partition theorem are major tools for working with simple closed geodesics. The main goal of this paper is to prove similar theorems for hyperbolic cone-surfaces. Hyperbolic two-dimensional orbifolds are a particular case of such surfaces. We consider all cone angles to be strictly less than $π$ to be able to consider partitions.

math.DG↗

arXiv2007

Huber's theorem for hyperbolic orbisurfaces

We show that for compact orientable hyperbolic orbisurfaces, the Laplace spectrum determines the length spectrum as well as the number of singular points of a given order. The converse also holds, giving a full generalization of Huber's theorem to the setting of compact orientable hyperbolic orbisurfaces.

math.SP↗

arXiv2007

Extremal $G$-invariant eigenvalues of the Laplacian of $G$-invariant metrics

The study of extremal properties of the spectrum often involves restricting the metrics under consideration. Motivated by the work of Abreu and Freitas in the case of the sphere $S^2$ endowed with $S^1$-invariant metrics, we consider the subsequence $λ_k^G$ of the spectrum of a Riemannian manifold $M$ which corresponds to metrics and functions invariant under the action of a compact Lie group $G$. If $G$ has dimension at least 1, we show that the functional $λ_k^G$ admits no extremal metric under volume-preserving $G$-invariant deformations. If, moreover, $M$ has dimension at least three, then the functional $λ_k^G$ is unbounded when restricted to any conformal class of $G$-invariant metrics of fixed volume. As a special case of this, we can consider the standard O(n)-action on $S^n$; however, if we also require the metric to be induced by an embedding of $S^n$ in $\mathbb{R}^{n+1}$, we get an optimal upper bound on $λ_k^G$.

math.DG↗

arXiv2004

Isospectral Finiteness of Hyperbolic Orbisurfaces

We discuss questions of isospectrality for hyperbolic orbisurfaces, examining the relationship between the geometry of an orbisurface and its Laplace spectrum. We show that certain hyperbolic orbisurfaces cannot be isospectral, where the obstructions involve the number of singular points and genera of our orbisurfaces. Using a version of the Selberg Trace Formula for hyperbolic orbisurfaces, we show that the Laplace spectrum determines the length spectrum and the orders of the singular points, up to finitely many possibilities. Conversely, knowledge of the length spectrum and the orders of the singular points determines the Laplace spectrum. This partial generalization of Huber's theorem is used to prove that isospectral sets of hyperbolic orbisurfaces have finite cardinality, generalizing a result of McKean for Riemann surfaces.

math.SP↗