
We consider the problem of geometric optimization for the lowest eigenvalue
of the twodimensional Schr\"odinger operator with an attractive
$\delta$interaction of a fixed strength, the support of which is a star graph
with finitely many edges of an equal length $L \in (0,\infty]$. Under the
constraint of fixed number of the edges and fixed length of them, we prove that
the lowest eigenvalue is maximized by the fully symmetric star graph. The proof
relies on the BirmanSchwinger principle, properties of the Macdonald function,
and on a geometric inequality for polygons circumscribed into the unit circle.

The spectral properties of nonselfadjoint extensions $A_{[B]}$ of a
symmetric operator in a Hilbert space are studied with the help of ordinary and
quasi boundary triples and the corresponding Weyl functions. These extensions
are given in terms of abstract boundary conditions involving an (in general
nonsymmetric) boundary operator $B$. In the abstract part of this paper,
sufficient conditions for sectoriality and msectoriality as well as sufficient
conditions for $A_{[B]}$ to have a nonempty resolvent set are provided in
terms of the parameter $B$ and the Weyl function. Special attention is paid to
Weyl functions that decay along the negative real line or inside some sector in
the complex plane, and spectral enclosures for $A_{[B]}$ are proved in this
situation. The abstract results are applied to elliptic differential operators
with local and nonlocal Robin boundary conditions on unbounded domains, to
Schr\"odinger operators with $\delta$potentials of complex strengths supported
on unbounded hypersurfaces or infinitely many points on the real line, and to
quantum graphs with nonselfadjoint vertex couplings.

We propose a unique way how to choose a new inner product in a Hilbert space
with respect to which an originally nonselfadjoint operator similar to a
selfadjoint operator becomes selfadjoint. Our construction is based on
minimising a 'HilbertSchmidt distance' to the original inner product among the
entire class of admissible inner products. We prove that either the minimiser
exists and is unique, or it does not exist at all. In the former case we derive
a system of EulerLagrange equations by which the optimal inner product is
determined. A sufficient condition for the existence of the unique minimally
anisotropic metric is obtained. The abstract results are supplied by examples
in which the optimal inner product does not coincide with the most popular
choice fixed through a chargelike symmetry.

We consider the problem of geometric optimization for the lowest eigenvalue
of the twodimensional Schr\"odinger operator with an attractive
$\delta$interaction supported on an open arc with two free endpoints. Under a
constraint of fixed length of the arc, we prove that the maximizer is a line
segment, the respective spectral isoperimetric inequality being strict. We also
show that in the optimization problem for the same spectral quantity, but with
the constraint of fixed endpoints, the optimizer is the line segment connecting
them. As a consequence of the result for $\delta$interaction, we obtain that a
line segment is also the maximizer in the optimization problem for the lowest
eigenvalue of the Robin Laplacian on a plane with a slit along an open arc of
fixed length.

In this paper we consider the threedimensional Schr\"{o}dinger operator with
a $\delta$interaction of strength $\alpha > 0$ supported on an unbounded
surface parametrized by the mapping $\mathbb{R}^2\ni x\mapsto (x,\beta f(x))$,
where $\beta \in [0,\infty)$ and $f\colon \mathbb{R}^2\rightarrow\mathbb{R}$,
$f\not\equiv 0$, is a $C^2$smooth, compactly supported function. The surface
supporting the interaction can be viewed as a local deformation of the plane.
It is known that the essential spectrum of this Schr\"odinger operator
coincides with $[\frac14\alpha^2,+\infty)$. We prove that for all sufficiently
small $\beta > 0$ its discrete spectrum is nonempty and consists of a unique
simple eigenvalue. Moreover, we obtain an asymptotic expansion of this
eigenvalue in the limit $\beta \rightarrow 0+$. In particular, this eigenvalue
tends to $\frac14\alpha^2$ exponentially fast as $\beta\rightarrow 0+$.

We consider the resonances of the selfadjoint threedimensional
Schr\"odinger operator with point interactions of constant strength supported
on the set $X = \{ x_n \}_{n=1}^N$. The size of $X$ is defined by $V_X =
\max_{\pi\in\Pi_N} \sum_{n=1}^N x_n  x_{\pi(n)}$, where $\Pi_N$ is the
family of all the permutations of the set $\{1,2,\dots,N\}$. We prove that the
number of resonances counted with multiplicities and lying inside the disc of
radius $R$ behaves asymptotically linear $\frac{W_X}{\pi} R + \mathcal{O}(1)$
as $R \to \infty$, where the constant $W_X \in [0,V_X]$ can be seen as the
effective size of $X$. Moreover, we show that there exist configurations of any
number of points such that $W_X = V_X$. Finally, we construct an example for $N
= 4$ with $W_X < V_X$, which can be viewed as an analogue of a quantum graph
with nonWeyl asymptotics of resonances.

We consider the problem of geometric optimisation of the lowest eigenvalue of
the Laplacian in the exterior of a compact planar set, subject to attractive
Robin boundary conditions. Under either a constraint of fixed perimeter or
area, we show that the maximiser within the class of exteriors of convex sets
is always the exterior of a disk. We also argue why the results fail without
the convexity constraint and in higher dimensions.

We consider the problem of geometric optimisation of the lowest eigenvalue of
the Laplacian in the exterior of a compact set in any dimension, subject to
attractive Robin boundary conditions.
As an improvement upon our previous work (arXiv:1608.04896, to appear in J.
Convex Anal.), we show that under either a constraint of fixed perimeter or
area, the maximiser within the class of exteriors of simply connected planar
sets is always the exterior of a disk, without the need of convexity
assumption. Moreover, we generalise the result to disconnected compact planar
sets. Namely, we prove that under a constraint of fixed average value of the
perimeter over all the connected components, the maximiser within the class of
disconnected compact planar sets, consisting of finitely many simply connected
components, is again a disk.
In higher dimensions, we prove a completely new result that the lowest point
in the spectrum is maximised by the exterior of a ball among all sets exterior
to bounded convex sets satisfying a constraint on the integral of a dimensional
power of the mean curvature of their boundaries. Furthermore, it follows that
the critical coupling at which the lowest point in the spectrum becomes a
discrete eigenvalue emerging from the essential spectrum is minimised under the
same constraint by the critical coupling for the exterior of a ball.

In this note semibounded selfadjoint extensions of symmetric operators are
investigated with the help of the abstract notion of quasi boundary triples and
their Weyl functions. The main purpose is to provide new sufficient conditions
on the parameters in the boundary space to induce selfadjoint realizations,
and to relate the decay of the Weyl function to estimates on the lower bound of
the spectrum. The abstract results are illustrated with uniformly elliptic
second order PDEs on domains with noncompact boundaries.

In this paper we address the question how to design photonic crystals that
have photonic band gaps around a finite number of given frequencies. In such
materials electromagnetic waves with these frequencies can not propagate; this
makes them interesting for a large number of applications. We focus on crystals
made of periodically ordered thin rods with high contrast dielectric
properties. We show that the material parameters can be chosen in such a way
that transverse magnetic modes with given frequencies can not propagate in the
crystal. At the same time, for any frequency belonging to a predefined range
there exists a transverse electric mode that can propagate in the medium. These
results are related to the spectral properties of a weighted Laplacian and of
an elliptic operator of divergence type both acting in $L^2(\mathbb{R}^2)$. The
proofs rely on perturbation theory of linear operators, FloquetBloch analysis,
and properties of Schroedinger operators with point interactions.

In this note we investigate threedimensional Schr\"odinger operators with
$\delta$interactions supported on $C^2$smooth cones, both finite and
infinite. Our main results concern a FaberKrahntype inequality for the
principal eigenvalue of these operators. The proofs rely on the
BirmanSchwinger principle and on the fact that circles are unique minimizers
for a class of energy functionals. The main novel idea consists in the way of
constructing test functions for the BirmanSchwinger principle.

We analyze the Hamiltonian proposed by Smilansky to describe irreversible
dynamics in quantum graphs and studied further by Solomyak and others. We
derive a weakcoupling asymptotics of the ground state and add new insights by
finding the discrete spectrum numerically. Furthermore, we show that the model
has a rich resonance structure.

We consider the selfadjoint Smilansky Hamiltonian $\mathsf{H}_\varepsilon$
in $L^2(\mathbb{R}^2)$ associated with the formal differential expression
$\partial_x^2  \frac12\big(\partial_y^2 + y^2)  \sqrt{2}\varepsilon y
\delta(x)$ in the subcritical regime, $\varepsilon \in (0,1)$. We demonstrate
the existence of resonances for $\mathsf{H}_\varepsilon$ on a countable
subfamily of sheets of the underlying Riemann surface whose distance from the
physical sheet is finite. On such sheets, we find resonance free regions and
characterise resonances for small $\varepsilon > 0$. In addition, we refine the
previously known results on the bound states of $\mathsf{H}_\varepsilon$ in the
weak coupling regime ($\varepsilon\rightarrow 0+$). In the proofs we use
BirmanSchwinger principle for $\mathsf{H}_\varepsilon$, elements of spectral
theory for Jacobi matrices, and the analytic implicit function theorem.

The main objective of this paper is to systematically develop a spectral and
scattering theory for selfadjoint Schr\"odinger operators with
$\delta$interactions supported on closed curves in $\mathbb R^3$. We provide
bounds for the number of negative eigenvalues depending on the geometry of the
curve, prove an isoperimetric inequality for the principal eigenvalue, derive
Schattenvon Neumann properties for the resolvent difference with the free
Laplacian, and establish an explicit representation for the scattering matrix.

Inequalities for the eigenvalues of the (negative) Laplacian subject to mixed
boundary conditions on polyhedral and more general bounded domains are
established. The eigenvalues subject to a Dirichlet boundary condition on a
part of the boundary and a Neumann boundary condition on the remainder of the
boundary are estimated in terms of either Dirichlet or Neumann eigenvalues. The
results complement several classical inequalities between Dirichlet and Neumann
eigenvalues due to P\'{o}lya, Payne, Levine and Weinberger, Friedlander, and
others.

In this paper the spectral properties of Dirac operators $A_\eta$ with
electrostatic $\delta$shell interactions of constant strength $\eta$ supported
on compact smooth surfaces in $\mathbb{R}^3$ are studied. Making use of
boundary triple techniques a Krein type resolvent formula and a
BirmanSchwinger principle are obtained. With the help of these tools some
spectral, scattering, and asymptotic properties of $A_\eta$ are investigated.
In particular, it turns out that the discrete spectrum of $A_\eta$ inside the
gap of the essential spectrum is finite, the difference of the third powers of
the resolvents of $A_\eta$ and the free Dirac operator $A_0$ is trace class,
and in the nonrelativistic limit $A_\eta$ converges in the norm resolvent sense
to a Schr\"odinger operator with an electric $\delta$potential of strength
$\eta$.

We consider the Laplace operator in a tubular neighbourhood of a conical
surface of revolution, subject to an AharonovBohm magnetic field supported on
the axis of symmetry and Dirichlet boundary conditions on the boundary of the
domain. We show that there exists a critical total magnetic flux depending on
the aperture of the conical surface for which the system undergoes an abrupt
spectral transition from infinitely many eigenvalues below the essential
spectrum to an empty discrete spectrum. For the critical flux we establish a
Hardytype inequality. In the regime with infinite discrete spectrum we obtain
sharp spectral asymptotics with refined estimate of the remainder and
investigate the dependence of the eigenvalues on the aperture of the surface
and the flux of the magnetic field.

Let $\Lambda\subset\mathbb{R}^2$ be a nonclosed piecewise$C^1$ curve, which
is either bounded with two free endpoints or unbounded with one free endpoint.
Let $u_\pm_\Lambda \in L^2(\Lambda)$ be the traces of a function $u$ in the
Sobolev space $H^1({\mathbb R}^2\setminus \Lambda)$ onto two faces of
$\Lambda$. We prove that for a wide class of shapes of $\Lambda$ the
Schr\"odinger operator $\mathsf{H}_\omega^\Lambda$ with
$\delta^\prime$interaction supported on $\Lambda$ of strength $\omega \in
L^\infty(\Lambda;\mathbb{R})$ associated with the quadratic form \[
H^1(\mathbb{R}^2\setminus\Lambda)\ni u \mapsto \int_{\mathbb{R}^2}\big\nabla u
\big^2 \mathsf{d} x
 \int_\Lambda \omega \big u_+_\Lambda  u__\Lambda \big^2 \mathsf{d} s
\] has no negative spectrum provided that $\omega$ is pointwise majorized by a
strictly positive function explicitly expressed in terms of $\Lambda$. If,
additionally, the domain $\mathbb{R}^2\setminus\Lambda$ is quasiconical, we
show that $\sigma(\mathsf{H}_\omega^\Lambda) = [0,+\infty)$. For a bounded
curve $\Lambda$ in our class and nonvarying interaction strength
$\omega\in\mathbb{R}$ we derive existence of a constant $\omega_* > 0$ such
that $\sigma(\mathsf{H}_\omega^\Lambda) = [0,+\infty)$ for all $\omega \in
(\infty, \omega_*]$; informally speaking, bound states are absent in the weak
coupling regime.

We develop an abstract method to identify spectral points of definite type in
the spectrum of the operator $T_1\otimes I_2 + I_1\otimes T_2$. The method is
applicable in particular for nonselfadjoint waveguide type operators with
symmetries. Using the remarkable properties of the spectral points of definite
type, we obtain new results on realness of weakly coupled bound states and of
low lying essential spectrum in the $\mathcal{P}\mathcal{T}$symmetric
waveguide. Moreover, we show that the pseudospectrum has a normal tame behavior
near the low lying essential spectrum and exclude the accumulation of nonreal
eigenvalues to this part of the essential spectrum. The advantage of our
approach is particularly visible when the resolvent of the unperturbed operator
cannot be explicitly expressed and most of the mentioned spectral conclusions
are extremely hard to prove using direct methods.

We show that a Schr\"odinger operator $A_{\delta, \alpha}$ with a
$\delta$interaction of strength $\alpha$ supported on a bounded or unbounded
$C^2$hypersurface $\Sigma \subset \mathbb{R}^d$, $d\ge 2$, can be approximated
in the norm resolvent sense by a family of Hamiltonians with suitably scaled
regular potentials. The differential operator $A_{\delta, \alpha}$ with a
singular interaction is regarded as a selfadjoint realization of the formal
differential expression $\Delta  \alpha \langle \delta_{\Sigma}, \cdot
\rangle \delta_{\Sigma}$, where $\alpha\colon\Sigma\rightarrow \mathbb{R}$ is
an arbitrary bounded measurable function. We discuss also some spectral
consequences of this approximation result.

Let $\Sigma\subset\mathbb{R}^d$ be a $C^\infty$smooth closed compact
hypersurface, which splits the Euclidean space $\mathbb{R}^d$ into two domains
$\Omega_\pm$. In this note selfadjoint Schr\"odinger operators with $\delta$
and $\delta'$interactions supported on $\Sigma$ are studied. For large enough
$m\in\mathbb{N}$ the difference of $m$th powers of resolvents of such a
Schr\"odinger operator and the free Laplacian is known to belong to the trace
class. We prove trace formulae, in which the trace of the resolvent power
difference in $L^2(\mathbb{R}^d)$ is written in terms of NeumanntoDirichlet
maps on the boundary space $L^2(\Sigma)$.

In dimension greater than or equal to three, we investigate the spectrum of a
Schr{\"o}dinger operator with a $\delta$interaction supported on a cone whose
cross section is the sphere of codimension two. After decomposing into fibers,
we prove that there is discrete spectrum only in dimension three and that it is
generated by the axisymmetric fiber. We get that these eigenvalues are
nondecreasing functions of the aperture of the cone and we exhibit the precise
logarithmic accumulation of the discrete spectrum below the threshold of the
essential spectrum.

We consider selfadjoint realizations of a secondorder elliptic differential
expression on ${\mathbb R}^n$ with singular interactions of $\delta$ and
$\delta^\prime$type supported on a compact closed smooth hypersurface in
${\mathbb R}^n$. In our main results we prove spectral asymptotics formulae
with refined remainder estimates for the singular values of the resolvent
difference between the standard selfadjoint realizations and the operators
with a $\delta$ and $\delta^\prime$interaction, respectively. Our technique
makes use of general pseudodifferential methods, classical results on spectral
asymptotics of $\psi$do's on closed manifolds and Kreintype resolvent
formulae.

We consider selfadjoint Schr\"odinger operators in $L^2 (\mathbb{R}^d)$ with
a $\delta$interaction of strength $\alpha$ and a $\delta'$interaction of
strength $\beta$, respectively, supported on a hypersurface, where $\alpha$ and
$\beta^{1}$ are bounded, realvalued functions. It is known that the
inequality $0 < \beta \leq 4/\alpha$ implies inequality of the eigenvalues of
these two operators below the bottoms of the essential spectra. We show that
this eigenvalue inequality is strict whenever $\beta < 4 / \alpha$ on a
nonempty, open subset of the hypersurface. Moreover, we point out special
geometries of the interaction support, such as broken lines or infinite cones,
for which strict inequality of the eigenvalues even holds in the borderline
case $\beta = 4 / \alpha$.

The spectrum of the selfadjoint Schr\"odinger operator associated with the
KronigPenney model on the halfline has a bandgap structure: its absolutely
continuous spectrum consists of intervals (bands) separated by gaps. We show
that if one changes strengths of interactions or locations of interaction
centers by adding an oscillating and slowly decaying sequence which resembles
the classical Wignervon Neumann potential, then this structure of the
absolutely continuous spectrum is preserved. At the same time in each spectral
band precisely two critical points appear. At these points "instable" embedded
eigenvalues may exist. We obtain locations of the critical points and discuss
for each of them the possibility of an embedded eigenvalue to appear. We also
show that the spectrum in gaps remains discrete.