-
Spectral gaps of 1-D Robin Schrödinger operators with single-well potentials
Authors:
Mark S. Ashbaugh,
Derek Kielty
Abstract:
We prove sharp lower bounds on the spectral gap of 1-dimensional Schrödinger operators with Robin boundary conditions for each value of the Robin parameter. In particular, our lower bounds apply to single-well potentials with a centered transition point. This result extends work of Cheng et al. and Horváth in the Neumann and Dirichlet endpoint cases to the interpolating regime. We also build on re…
▽ More
We prove sharp lower bounds on the spectral gap of 1-dimensional Schrödinger operators with Robin boundary conditions for each value of the Robin parameter. In particular, our lower bounds apply to single-well potentials with a centered transition point. This result extends work of Cheng et al. and Horváth in the Neumann and Dirichlet endpoint cases to the interpolating regime. We also build on recent work by Andrews, Clutterbuck, and Hauer in the case of convex and symmetric single-well potentials. In particular, we show the spectral gap is an increasing function of the Robin parameter for symmetric potentials.
△ Less
Submitted 30 May, 2020;
originally announced June 2020.
-
Trace formulas applied to the Riemann $ζ$-function
Authors:
Mark S. Ashbaugh,
Fritz Gesztesy,
Lotfi Hermi,
Klaus Kirsten,
Lance Littlejohn,
Hagop Tossounian
Abstract:
We use a spectral theory perspective to reconsider properties of the Riemann zeta function. In particular, new integral representations are derived and used to present its value at odd positive integers.
We use a spectral theory perspective to reconsider properties of the Riemann zeta function. In particular, new integral representations are derived and used to present its value at odd positive integers.
△ Less
Submitted 2 December, 2018;
originally announced December 2018.
-
A bound for the eigenvalue counting function for Krein--von Neumann and Friedrichs extensions
Authors:
Mark S. Ashbaugh,
Fritz Gesztesy,
Ari Laptev,
Marius Mitrea,
Selim Sukhtaiev
Abstract:
For an arbitrary open, nonempty, bounded set $Ω\subset \mathbb{R}^n$, $n \in \mathbb{N}$, and sufficiently smooth coefficients $a,b,q$, we consider the closed, strictly positive, higher-order differential operator $A_{Ω, 2m} (a,b,q)$ in $L^2(Ω)$ defined on $W_0^{2m,2}(Ω)$, associated with the higher-order differential expression…
▽ More
For an arbitrary open, nonempty, bounded set $Ω\subset \mathbb{R}^n$, $n \in \mathbb{N}$, and sufficiently smooth coefficients $a,b,q$, we consider the closed, strictly positive, higher-order differential operator $A_{Ω, 2m} (a,b,q)$ in $L^2(Ω)$ defined on $W_0^{2m,2}(Ω)$, associated with the higher-order differential expression $$ τ_{2m} (a,b,q) := \bigg(\sum_{j,k=1}^{n} (-i \partial_j - b_j) a_{j,k} (-i \partial_k - b_k)+q\bigg)^m, \quad m \in \mathbb{N}, $$ and its Krein--von Neumann extension $A_{K, Ω, 2m} (a,b,q)$ in $L^2(Ω)$. Denoting by $N(λ; A_{K, Ω, 2m} (a,b,q))$, $λ> 0$, the eigenvalue counting function corresponding to the strictly positive eigenvalues of $A_{K, Ω, 2m} (a,b,q)$, we derive the bound $$ N(λ; A_{K, Ω, 2m} (a,b,q)) \leq C v_n (2π)^{-n} \bigg(1+\frac{2m}{2m+n}\bigg)^{n/(2m)} λ^{n/(2m)} , \quad λ> 0, $$ where $C = C(a,b,q,Ω)>0$ (with $C(I_n,0,0,Ω) = |Ω|$) is connected to the eigenfunction expansion of the self-adjoint operator $\widetilde A_{2m} (a,b,q)$ in $L^2(\mathbb{R}^n)$ defined on $W^{2m,2}(\mathbb{R}^n)$, corresponding to $τ_{2m} (a,b,q)$. Here $v_n := π^{n/2}/Γ((n+2)/2)$ denotes the (Euclidean) volume of the unit ball in $\mathbb{R}^n$.
Our method of proof relies on variational considerations exploiting the fundamental link between the Krein--von Neumann extension and an underlying abstract buckling problem, and on the distorted Fourier transform defined in terms of the eigenfunction transform of $\widetilde A_{2} (a,b,q)$ in $L^2(\mathbb{R}^n)$.
We also consider the analogous bound for the eigenvalue counting function for the Friedrichs extension $A_{F,Ω, 2m} (a,b,q)$ in $L^2(Ω)$ of $A_{Ω, 2m} (a,b,q)$.
No assumptions on the boundary $\partial Ω$ of $Ω$ are made.
△ Less
Submitted 4 May, 2016;
originally announced May 2016.
-
A Survey on the Krein-von Neumann Extension, the corresponding Abstract Buckling Problem, and Weyl-Type Spectral Asymptotics for Perturbed Krein Laplacians in Nonsmooth Domains
Authors:
Mark S. Ashbaugh,
Fritz Gesztesy,
Marius Mitrea,
Roman Shterenberg,
Gerald Teschl
Abstract:
In the first (and abstract) part of this survey we prove the unitary equivalence of the inverse of the Krein--von Neumann extension (on the orthogonal complement of its kernel) of a densely defined, closed, strictly positive operator, $S\geq \varepsilon I_{\mathcal{H}}$ for some $\varepsilon >0$ in a Hilbert space $\mathcal{H}$ to an abstract buckling problem operator.
This establishes the Krein…
▽ More
In the first (and abstract) part of this survey we prove the unitary equivalence of the inverse of the Krein--von Neumann extension (on the orthogonal complement of its kernel) of a densely defined, closed, strictly positive operator, $S\geq \varepsilon I_{\mathcal{H}}$ for some $\varepsilon >0$ in a Hilbert space $\mathcal{H}$ to an abstract buckling problem operator.
This establishes the Krein extension as a natural object in elasticity theory (in analogy to the Friedrichs extension, which found natural applications in quantum mechanics, elasticity, etc.).
In the second, and principal part of this survey, we study spectral properties for $H_{K,Ω}$, the Krein--von Neumann extension of the perturbed Laplacian $-Δ+V$ (in short, the perturbed Krein Laplacian) defined on $C^\infty_0(Ω)$, where $V$ is measurable, bounded and nonnegative, in a bounded open set $Ω\subset\mathbb{R}^n$ belonging to a class of nonsmooth domains which contains all convex domains, along with all domains of class $C^{1,r}$, $r>1/2$.
△ Less
Submitted 20 January, 2014; v1 submitted 26 March, 2012;
originally announced March 2012.
-
Spectral Theory for Perturbed Krein Laplacians in Nonsmooth Domains
Authors:
Mark S. Ashbaugh,
Fritz Gesztesy,
Marius Mitrea,
Gerald Teschl
Abstract:
We study spectral properties for $H_{K,Ω}$, the Krein--von Neumann extension of the perturbed Laplacian $-Δ+V$ defined on $C^\infty_0(Ω)$, where $V$ is measurable, bounded and nonnegative, in a bounded open set $Ω\subset\mathbb{R}^n$ belonging to a class of nonsmooth domains which contains all convex domains, along with all domains of class $C^{1,r}$, $r>1/2$. In particular, in the aforementione…
▽ More
We study spectral properties for $H_{K,Ω}$, the Krein--von Neumann extension of the perturbed Laplacian $-Δ+V$ defined on $C^\infty_0(Ω)$, where $V$ is measurable, bounded and nonnegative, in a bounded open set $Ω\subset\mathbb{R}^n$ belonging to a class of nonsmooth domains which contains all convex domains, along with all domains of class $C^{1,r}$, $r>1/2$. In particular, in the aforementioned context we establish the Weyl asymptotic formula \[ #\{j\in\mathbb{N} | λ_{K,Ω,j}\leqλ\} = (2π)^{-n} v_n |Ω| λ^{n/2}+O\big(λ^{(n-(1/2))/2}\big) {as} λ\to\infty, \] where $v_n=π^{n/2}/ Γ((n/2)+1)$ denotes the volume of the unit ball in $\mathbb{R}^n$, and $λ_{K,Ω,j}$, $j\in\mathbb{N}$, are the non-zero eigenvalues of $H_{K,Ω}$, listed in increasing order according to their multiplicities. We prove this formula by showing that the perturbed Krein Laplacian (i.e., the Krein--von Neumann extension of $-Δ+V$ defined on $C^\infty_0(Ω)$) is spectrally equivalent to the buckling of a clamped plate problem, and using an abstract result of Kozlov from the mid 1980's. Our work builds on that of Grubb in the early 1980's, who has considered similar issues for elliptic operators in smooth domains, and shows that the question posed by Alonso and Simon in 1980 pertaining to the validity of the above Weyl asymptotic formula continues to have an affirmative answer in this nonsmooth setting.
△ Less
Submitted 25 January, 2010; v1 submitted 9 July, 2009;
originally announced July 2009.
-
The Krein-von Neumann Extension and its Connection to an Abstract Buckling Problem
Authors:
Mark S. Ashbaugh,
Fritz Gesztesy,
Marius Mitrea,
Roman Shterenberg,
Gerald Teschl
Abstract:
We prove the unitary equivalence of the inverse of the Krein--von Neumann extension (on the orthogonal complement of its kernel) of a densely defined, closed, strictly positive operator, $S\geq εI_{\mathcal{H}}$ for some $ε>0$ in a Hilbert space $\mathcal{H}$ to an abstract buckling problem operator.
In the concrete case where $S=\bar{-Δ|_{C_0^\infty(Ω)}}$ in $L^2(Ω; d^n x)$ for…
▽ More
We prove the unitary equivalence of the inverse of the Krein--von Neumann extension (on the orthogonal complement of its kernel) of a densely defined, closed, strictly positive operator, $S\geq εI_{\mathcal{H}}$ for some $ε>0$ in a Hilbert space $\mathcal{H}$ to an abstract buckling problem operator.
In the concrete case where $S=\bar{-Δ|_{C_0^\infty(Ω)}}$ in $L^2(Ω; d^n x)$ for $Ω\subset\mathbb{R}^n$ an open, bounded (and sufficiently regular) domain, this recovers, as a particular case of a general result due to G. Grubb, that the eigenvalue problem for the Krein Laplacian $S_K$ (i.e., the Krein--von Neumann extension of $S$), \[ S_K v = λv, \quad λ\neq 0, \] is in one-to-one correspondence with the problem of {\em the buckling of a clamped plate}, \[ (-Δ)^2u=λ(-Δ) u \text{in} Ω, \quad λ\neq 0, \quad u\in H_0^2(Ω), \] where $u$ and $v$ are related via the pair of formulas \[ u = S_F^{-1} (-Δ) v, \quad v = λ^{-1}(-Δ) u, \] with $S_F$ the Friedrichs extension of $S$.
This establishes the Krein extension as a natural object in elasticity theory (in analogy to the Friedrichs extension, which found natural applications in quantum mechanics, elasticity, etc.).
△ Less
Submitted 25 January, 2010; v1 submitted 9 July, 2009;
originally announced July 2009.
-
On Harrell-Stubbe Type Inequalities for the Discrete Spectrum of a Self-Adjoint Operator
Authors:
Mark S. Ashbaugh,
Lotfi Hermi
Abstract:
We produce a new proof and extend results by Harrell and Stubbe for the discrete spectrum of a self-adjoint operator. An abstract approach--based on commutator algebra, the Rayleigh-Ritz principle, and an ``optimal'' usage of the Cauchy-Schwarz inequality--is used to produce ``parameter-free'', ``projection-free'' versions of their theorems. We also analyze the strength of the various inequaliti…
▽ More
We produce a new proof and extend results by Harrell and Stubbe for the discrete spectrum of a self-adjoint operator. An abstract approach--based on commutator algebra, the Rayleigh-Ritz principle, and an ``optimal'' usage of the Cauchy-Schwarz inequality--is used to produce ``parameter-free'', ``projection-free'' versions of their theorems. We also analyze the strength of the various inequalities that ensue. The results contain classical bounds for the eigenvalues. Extensions of a variety of inequalities à la Harrell-Stubbe are illustrated for both geometric and physical problems.
△ Less
Submitted 28 December, 2007;
originally announced December 2007.
-
A Sharp Bound for the Ratio of the First Two Dirichlet Eigenvalues of a Domain in a Hemisphere of S^n
Authors:
Mark S. Ashbaugh,
Rafael D. Benguria
Abstract:
For a domain $Ω$ contained in a hemisphere of the $n$-dimensional sphere $\SS^n$ we prove the optimal result $λ_2/λ_1(Ω) \le λ_2/λ_1(Ω^{\star})$ for the ratio of its first two Dirichlet eigenvalues where $Ω^{\star}$, the symmetric rearrangement of $Ω$ in $\SS^n$, is a geodesic ball in $\SS^n$ having the same $n$-volume as $Ω$. We also show that $λ_2/λ_1$ for geodesic balls of geodesic radius…
▽ More
For a domain $Ω$ contained in a hemisphere of the $n$-dimensional sphere $\SS^n$ we prove the optimal result $λ_2/λ_1(Ω) \le λ_2/λ_1(Ω^{\star})$ for the ratio of its first two Dirichlet eigenvalues where $Ω^{\star}$, the symmetric rearrangement of $Ω$ in $\SS^n$, is a geodesic ball in $\SS^n$ having the same $n$-volume as $Ω$. We also show that $λ_2/λ_1$ for geodesic balls of geodesic radius $θ_1$ less than or equal to $π/2$ is an increasing function of $θ_1$ which runs between the value $(j_{n/2,1}/j_{n/2-1,1})^2$ for $θ_1=0$ (this is the Euclidean value) and $2(n+1)/n$ for $θ_1=π/2$. Here $j_{ν,k}$ denotes the $k^{th}$ positive zero of the Bessel function $J_ν(t)$. This result generalizes the Payne-Pólya-Weinberger conjecture, which applies to bounded domains in Euclidean space and which we had proved earlier. Our method makes use of symmetric rearrangement of functions and various technical properties of special functions. We also prove that among all domains contained in a hemisphere of $\SS^n$ and having a fixed value of $λ_1$ the one with the maximal value of $λ_2$ is the geodesic ball of the appropriate radius. This is a stronger, but slightly less accessible, isoperimetric result than that for $λ_2/λ_1$. Various other results for $λ_1$ and $λ_2$ of geodesic balls in $\SS^n$ are proved in the course of our work.
△ Less
Submitted 11 August, 2000;
originally announced August 2000.
-
Isoperimetric and Universal Inequalities for Eigenvalues
Authors:
Mark S. Ashbaugh
Abstract:
This paper reviews many of the known inequalities for the eigenvalues of the Laplacian and bi-Laplacian on bounded domains in Euclidean space. In particular, we focus on isoperimetric inequalities for the low eigenvalues of the Dirichlet and Neumann Laplacians and of the vibrating clamped plate problem (i.e., the biharmonic operator with ``Dirichlet'' boundary conditions). We also discuss the kn…
▽ More
This paper reviews many of the known inequalities for the eigenvalues of the Laplacian and bi-Laplacian on bounded domains in Euclidean space. In particular, we focus on isoperimetric inequalities for the low eigenvalues of the Dirichlet and Neumann Laplacians and of the vibrating clamped plate problem (i.e., the biharmonic operator with ``Dirichlet'' boundary conditions). We also discuss the known universal inequalities for the eigenvalues of the Dirichlet Laplacian and the vibrating clamped plate and buckling problems and go on to present some new ones. Some of the names associated with these inequalities are Rayleigh, Faber-Krahn, Szego-Weinberger, Payne-Polya-Weinberger, Sperner, Hile-Protter, and H. C. Yang. Occasionally, we will also comment on extensions of some of our inequalities to bounded domains in other spaces, specifically, S^n or H^n.
△ Less
Submitted 11 August, 2000;
originally announced August 2000.
