Ville Uski

Alexander Strohmaier, Ville Uski

We present a rigorous scheme that makes it possible to compute eigenvalues of the Laplace operator on hyperbolic surfaces within a given precision. The method is based on an adaptation of the method of particular solutions to the case of locally symmetric spaces and on explicit estimates for the approximation of eigenfunctions on hyperbolic surfaces by certain basis functions. It can be applied to check whether or not there is an eigenvalue in an ε-neighborhood of a given number λ>0. This makes it possible to find all the eigenvalues in a specified interval, up to a given precision with rigorous error estimates. The method converges exponentially fast with the number of basis functions used. Combining the knowledge of the eigenvalues with the Selberg trace formula we are able to compute values and derivatives of the spectral zeta function again with error bounds. As an example we calculate the spectral determinant and the Casimir energy of the Bolza surface and other surfaces.

Eugenie Hunsicker, Hengguang Li, Victor Nistor et al.

Let $V$ be a potential on $\RR^3$ that is smooth everywhere except at a discrete set $\maS$ of points, where it has singularities of the form $Z/ρ^2$, with $ρ(x) = |x - p|$ for $x$ close to $p$ and $Z$ continuous on $\RR^3$ with $Z(p) > -1/4$ for $p \in \maS$. Also assume that $ρ$ and $Z$ are smooth outside $\maS$ and $Z$ is smooth in polar coordinates around each singular point. We either assume that $V$ is periodic or that the set $\maS$ is finite and $V$ extends to a smooth function on the radial compactification of $\RR^3$ that is bounded outside a compact set containing $\maS$. In the periodic case, we let $Λ$ be the periodicity lattice and define $\TT := \RR^3/ Λ$. We obtain regularity results in weighted Sobolev space for the eigenfunctions of the Schrödinger-type operator $H = -Δ+ V$ acting on $L^2(\TT)$, as well as for the induced $\vt k$--Hamiltonians $\Hk$ obtained by restricting the action of $H$ to Bloch waves. Under some additional assumptions, we extend these regularity and solvability results to the non-periodic case. We sketch some applications to approximation of eigenfunctions and eigenvalues that will be studied in more detail in a second paper.

Eugenie Hunsicker, Hengguang Li, Victor Nistor et al.

Let $V$ be a {\em periodic} potential on $\RR^3$ that is smooth everywhere except at a discrete set $\maS$ of points, where it has singularities of the form $Z/ρ^2$, with $ρ(x) = |x - p|$ for $x$ close to $p$ and $Z$ is continuous, $Z(p) > -1/4$ for $p \in \maS$. We also assume that $ρ$ and $Z$ are smooth outside $\maS$ and $Z$ is smooth in polar coordinates around each singular point. Let us denote by $Λ$ the periodicity lattice and set $\TT := \RR^3/ Λ$. In the first paper of this series \cite{HLNU1}, we obtained regularity results in weighted Sobolev space for the eigenfunctions of the Schrödinger-type operator $H = -Δ+ V$ acting on $L^2(\TT)$, as well as for the induced $\vt k$--Hamiltonians $\Hk$ obtained by resticting the action of $H$ to Bloch waves. In this paper we present two related applications: one to the Finite Element approximation of the solution of $(L+\Hk) v = f$ and one to the numerical approximation of the eigenvalues, $λ$, and eigenfunctions, $u$, of $\Hk$. We give optimal, higher order convergence results for approximation spaces defined piecewise polynomials. Our numerical tests are in good agreement with the theoretical results.