-
Towards a theory of eigenvalue asymptotics on infinite metric graphs: the case of diagonal combs
Authors:
James B. Kennedy,
Delio Mugnolo,
Matthias Täufer
Abstract:
We examine diagonal combs, a recently identified class of infinite metric graphs whose properties depend on one parameter. These graphs exhibit a fascinating regime where they possess infinite volume while maintaining purely discrete spectrum for the Neumann Laplacian. In this regime, we establish polynomial upper and lower bounds on the $k$-th eigenvalue, revealing that the eigenvalues grow at a…
▽ More
We examine diagonal combs, a recently identified class of infinite metric graphs whose properties depend on one parameter. These graphs exhibit a fascinating regime where they possess infinite volume while maintaining purely discrete spectrum for the Neumann Laplacian. In this regime, we establish polynomial upper and lower bounds on the $k$-th eigenvalue, revealing that the eigenvalues grow at a rate strictly slower than quadratic. However, once the diagonal combs transition to finite volume, their growth accelerates to a quadratic rate. Our methodology involves employing spectral geometric principles tailored for metric graphs, complemented by deriving estimates for the $k$-th eigenvalue on compact metric graphs.
△ Less
Submitted 15 March, 2024;
originally announced March 2024.
-
Optimizing the Fundamental Eigenvalue Gap of Quantum Graphs
Authors:
Mohammed Ahrami,
Zakaria El Allali,
Evans M Harrell II,
James B. Kennedy
Abstract:
We study the problem of minimizing or maximizing the fundamental spectral gap of Schrödinger operators on metric graphs with either a convex potential or a ``single-well'' potential on an appropriate specified subset. (In the case of metric trees, such a subset can be the entire graph.) In the convex case we find that the minimizing and maximizing potentials are piecewise linear with only a finite…
▽ More
We study the problem of minimizing or maximizing the fundamental spectral gap of Schrödinger operators on metric graphs with either a convex potential or a ``single-well'' potential on an appropriate specified subset. (In the case of metric trees, such a subset can be the entire graph.) In the convex case we find that the minimizing and maximizing potentials are piecewise linear with only a finite number of points of non-smoothness, but give examples showing that the optimal potentials need not be constant. This is a significant departure from the usual scenarios on intervals and domains where the constant potential is typically minimizing. In the single-well case we show that the optimal potentials are piecewise constant with a finite number of jumps, and in both cases give an explicit estimate on the number of points of non-smoothness, respectively jumps, the minimizing potential can have. Furthermore, we show that, unlike on domains, it is not generally possible to find nontrivial bounds on the fundamental gap in terms of the diameter of the graph alone, within the given classes.
△ Less
Submitted 8 January, 2024;
originally announced January 2024.
-
Mean distance on metric graphs
Authors:
Luís N. Baptista,
James B. Kennedy,
Delio Mugnolo
Abstract:
We introduce a natural notion of mean (or average) distance in the context of compact metric graphs, and study its relation to geometric properties of the graph. We show that it exhibits a striking number of parallels to the reciprocal of the spectral gap of the graph Laplacian with standard vertex conditions: it is maximised among all graphs of fixed length by the path graph (interval), or by the…
▽ More
We introduce a natural notion of mean (or average) distance in the context of compact metric graphs, and study its relation to geometric properties of the graph. We show that it exhibits a striking number of parallels to the reciprocal of the spectral gap of the graph Laplacian with standard vertex conditions: it is maximised among all graphs of fixed length by the path graph (interval), or by the loop in the restricted class of doubly connected graphs, and it is minimised among all graphs of fixed length and number of edges by the equilateral flower graph. We also establish bounds for the correctly scaled product of the spectral gap and the square of the mean distance which depend only on combinatorial, and not metric, features of the graph. This raises the open question whether this product admits absolute upper and lower bounds valid on all compact metric graphs.
△ Less
Submitted 31 January, 2024; v1 submitted 8 December, 2023;
originally announced December 2023.
-
Cheeger cuts and Robin spectral minimal partitions of metric graphs
Authors:
James B. Kennedy,
João P. Ribeiro
Abstract:
We study partition problems based on two ostensibly different kinds of energy functionals defined on $k$-partitions of metric graphs: Cheeger-type functionals whose minimisers are the $k$-Cheeger cuts of the graph, and the corresponding values are the $k$-Cheeger constants of the graph; and functionals built using the first eigenvalue of the Laplacian with positive, i.e. absorbing, Robin (delta) v…
▽ More
We study partition problems based on two ostensibly different kinds of energy functionals defined on $k$-partitions of metric graphs: Cheeger-type functionals whose minimisers are the $k$-Cheeger cuts of the graph, and the corresponding values are the $k$-Cheeger constants of the graph; and functionals built using the first eigenvalue of the Laplacian with positive, i.e. absorbing, Robin (delta) vertex conditions at the boundary of the partition elements. We prove existence of minimising $k$-partitions, $k \geq 2$, for both these functionals. We also show that, for each $k \geq 2$, as the Robin parameter $α\to 0$, up to a renormalisation the spectral minimal Robin energy converges to the $k$-Cheeger constant. Moreover, up to a subsequence, the Robin spectral minimal $k$-partitions converge in a natural sense to a $k$-Cheeger cut of the graph. Finally, we show that as $α\to \infty$ there is convergence in a similar sense to the corresponding Dirichlet minimal energy and partitions.
It is strongly expected that similar results hold on general (smooth, bounded) Euclidean domains and manifolds.
△ Less
Submitted 25 June, 2024; v1 submitted 4 October, 2023;
originally announced October 2023.
-
On domain monotonicity of Neumann eigenvalues of convex domains
Authors:
Pedro Freitas,
James B. Kennedy
Abstract:
Inspired by a recent result of Funano's, we provide a sharp quantitative comparison result between the first nontrivial eigenvalues of the Neumann Laplacian on bounded convex domains $Ω_{1} \subset Ω_{2}$ in any dimension $d$ greater than or equal to two, recovering domain monotonicity up to an explicit multiplicative factor. We provide upper and lower bounds for such multiplicative factors for hi…
▽ More
Inspired by a recent result of Funano's, we provide a sharp quantitative comparison result between the first nontrivial eigenvalues of the Neumann Laplacian on bounded convex domains $Ω_{1} \subset Ω_{2}$ in any dimension $d$ greater than or equal to two, recovering domain monotonicity up to an explicit multiplicative factor. We provide upper and lower bounds for such multiplicative factors for higher-order eigenvalues, and study their behaviour with respect to the dimension and order. We further consider different scenarios where convexity is no longer imposed. In a final section we formulate some related open problems.
△ Less
Submitted 13 July, 2023;
originally announced July 2023.
-
Spectral minimal partitions of unbounded metric graphs
Authors:
Matthias Hofmann,
James B. Kennedy,
Andrea Serio
Abstract:
We investigate the existence or non-existence of spectral minimal partitions of unbounded metric graphs, where the operator applied to each of the partition elements is a Schrödinger operator of the form $-Δ+ V$ with suitable (electric) potential $V$, which is taken as a fixed, underlying ``landscape'' on the whole graph.
We show that there is a strong link between spectral minimal partitions an…
▽ More
We investigate the existence or non-existence of spectral minimal partitions of unbounded metric graphs, where the operator applied to each of the partition elements is a Schrödinger operator of the form $-Δ+ V$ with suitable (electric) potential $V$, which is taken as a fixed, underlying ``landscape'' on the whole graph.
We show that there is a strong link between spectral minimal partitions and infimal partition energies on the one hand, and the infimum $Σ$ of the essential spectrum of the corresponding Schrödinger operator on the whole graph on the other. Namely, we show that for any $k\in\mathbb{N}$, the infimal energy among all admissible $k$-partitions is bounded from above by $Σ$, and if it is strictly below $Σ$, then a spectral minimal $k$-partition exists. We illustrate our results with several examples of existence and non-existence of minimal partitions of unbounded and infinite graphs, with and without potentials.
The nature of the proofs, a key ingredient of which is a version of Persson's theorem for quantum graphs, strongly suggests that corresponding results should hold for Schrödinger operator-based partitions of unbounded domains in Euclidean space.
△ Less
Submitted 14 March, 2023; v1 submitted 8 September, 2022;
originally announced September 2022.
-
Boundary Conditions Matter: On The Spectrum Of Infinite Quantum Graphs
Authors:
Marco Düfel,
James B. Kennedy,
Delio Mugnolo,
Marvin Plümer,
Matthias Täufer
Abstract:
We study the interplay between spectrum, geometry and boundary conditions for two distinguished self-adjoint realisations of the Laplacian on infinite metric graphs, the so-called Friedrichs and Neumann extensions. We introduce a new criterion for compactness of the resolvent and apply this to identify a transition from purely discrete to non-empty essential spectrum among a class of infinite metr…
▽ More
We study the interplay between spectrum, geometry and boundary conditions for two distinguished self-adjoint realisations of the Laplacian on infinite metric graphs, the so-called Friedrichs and Neumann extensions. We introduce a new criterion for compactness of the resolvent and apply this to identify a transition from purely discrete to non-empty essential spectrum among a class of infinite metric graphs, a phenomenon that seems to have no known counterpart for Laplacians on Euclidean domains of infinite volume. In the case of discrete spectrum we then prove upper and lower bounds on eigenvalues, thus extending a number of bounds previously only known in the compact setting to infinite graphs. Some of our bounds, for instance in terms of the inradius, are new even on compact graphs.
△ Less
Submitted 11 January, 2024; v1 submitted 8 July, 2022;
originally announced July 2022.
-
Impediments to diffusion in quantum graphs: geometry-based upper bounds on the spectral gap
Authors:
Gregory Berkolaiko,
James B. Kennedy,
Pavel Kurasov,
Delio Mugnolo
Abstract:
We derive several upper bounds on the spectral gap of the Laplacian with standard or Dirichlet vertex conditions on compact metric graphs. In particular, we obtain estimates based on the length of a shortest cycle (girth), diameter, total length of the graph, as well as further metric quantities introduced here for the first time, such as the avoidance diameter. Using known results about Ramanujan…
▽ More
We derive several upper bounds on the spectral gap of the Laplacian with standard or Dirichlet vertex conditions on compact metric graphs. In particular, we obtain estimates based on the length of a shortest cycle (girth), diameter, total length of the graph, as well as further metric quantities introduced here for the first time, such as the avoidance diameter. Using known results about Ramanujan graphs, a class of expander graphs, we also prove that some of these metric quantities, or combinations thereof, do not to deliver any spectral bounds with the correct scaling.
△ Less
Submitted 13 April, 2023; v1 submitted 20 June, 2022;
originally announced June 2022.
-
The Bilaplacian with Robin boundary conditions
Authors:
Davide Buoso,
James B. Kennedy
Abstract:
We introduce Robin boundary conditions for biharmonic operators, which are a model for elastically supported plates and are closely related to the study of spaces of traces of Sobolev functions. We study the dependence of the operator, its eigenvalues, and eigenfunctions on the Robin parameters. We show in particular that when the parameters go to plus infinity the Robin problem converges to other…
▽ More
We introduce Robin boundary conditions for biharmonic operators, which are a model for elastically supported plates and are closely related to the study of spaces of traces of Sobolev functions. We study the dependence of the operator, its eigenvalues, and eigenfunctions on the Robin parameters. We show in particular that when the parameters go to plus infinity the Robin problem converges to other biharmonic problems, and obtain estimates on the rate of divergence when the parameters go to minus infinity. We also analyse the dependence of the operator on smooth perturbations of the domain, computing the shape derivatives of the eigenvalues and giving a characterisation for critical domains under volume and perimeter constraints. We include a number of open problems arising in the context of our results.
△ Less
Submitted 24 May, 2021;
originally announced May 2021.
-
Interlacing and Friedlander-type inequalities for spectral minimal partitions of metric graphs
Authors:
Matthias Hofmann,
James B. Kennedy
Abstract:
We prove interlacing inequalities between spectral minimal energies of metric graphs built on Dirichlet and standard Laplacian eigenvalues, as recently introduced in [Kennedy et al, arXiv:2005.01126]. These inequalities, which involve the first Betti number and the number of degree one vertices of the graph, recall both interlacing and other inequalities for the Laplacian eigenvalues of the whole…
▽ More
We prove interlacing inequalities between spectral minimal energies of metric graphs built on Dirichlet and standard Laplacian eigenvalues, as recently introduced in [Kennedy et al, arXiv:2005.01126]. These inequalities, which involve the first Betti number and the number of degree one vertices of the graph, recall both interlacing and other inequalities for the Laplacian eigenvalues of the whole graph, as well as estimates on the difference between the number of nodal and Neumann domains of the whole graph eigenfunctions. To this end we study carefully the principle of cutting a graph, in particular quantifying the size of a cut as a perturbation of the original graph via the notion of its rank. As a corollary we obtain an inequality between these energies and the actual Dirichlet and standard Laplacian eigenvalues, valid for all compact graphs, which complements a version for tree graphs of Friedlander's inequalities between Dirichlet and Neumann eigenvalues of a domain. In some cases this results in better Laplacian eigenvalue estimates than those obtained previously via more direct methods.
△ Less
Submitted 29 June, 2021; v1 submitted 15 February, 2021;
originally announced February 2021.
-
On Pleijel's nodal domain theorem for quantum graphs
Authors:
Matthias Hofmann,
James B. Kennedy,
Delio Mugnolo,
Marvin Plümer
Abstract:
We establish metric graph counterparts of Pleijel's theorem on the asymptotics of the number of nodal domains $ν_n$ of the $n$-th eigenfunction(s) of a broad class of operators on compact metric graphs, including Schrödinger operators with $L^1$-potentials and a variety of vertex conditions as well as the $p$-Laplacian with natural vertex conditions, and without any assumptions on the lengths of t…
▽ More
We establish metric graph counterparts of Pleijel's theorem on the asymptotics of the number of nodal domains $ν_n$ of the $n$-th eigenfunction(s) of a broad class of operators on compact metric graphs, including Schrödinger operators with $L^1$-potentials and a variety of vertex conditions as well as the $p$-Laplacian with natural vertex conditions, and without any assumptions on the lengths of the edges, the topology of the graph, or the behaviour of the eigenfunctions at the vertices. {Among other things, these results characterise the accumulation points of the sequence $(\frac{ν_n}{n})_{n\in\mathbb N}$, which are shown always to form a finite subset of $(0,1]$. This} extends the previously known result that $ν_n\sim n$ \textit{generically}, for certain realisations of the Laplacian, in several directions. In particular, in the special cases of the Laplacian with natural conditions, we show that for graphs with rationally dependent edge lengths, one can find eigenfunctions thereon for which ${ν_n}\not\sim {n}$; but in this case even the set of points of accumulation may depend on the choice of eigenbasis.
△ Less
Submitted 10 December, 2020;
originally announced December 2020.
-
Asymptotics and estimates for spectral minimal partitions of metric graphs
Authors:
Matthias Hofmann,
James B. Kennedy,
Delio Mugnolo,
Marvin Plümer
Abstract:
We study properties of spectral minimal partitions of metric graphs within the framework recently introduced in [Kennedy et al, Calc. Var. 60 (2021), 61]. We provide sharp lower and upper estimates for minimal partition energies in different classes of partitions; while the lower bounds are reminiscent of the classic isoperimetric inequalities for metric graphs, the upper bounds are more involved…
▽ More
We study properties of spectral minimal partitions of metric graphs within the framework recently introduced in [Kennedy et al, Calc. Var. 60 (2021), 61]. We provide sharp lower and upper estimates for minimal partition energies in different classes of partitions; while the lower bounds are reminiscent of the classic isoperimetric inequalities for metric graphs, the upper bounds are more involved and mirror the combinatorial structure of the metric graph as well. Combining them, we deduce that these spectral minimal energies also satisfy a Weyl-type asymptotic law similar to the well-known one for eigenvalues of quantum graph Laplacians with various vertex conditions. Drawing on two examples we show that in general no second term in the asymptotic expansion for minimal partition energies can exist, but show that various kinds of behaviour are possible. We also study certain aspects of the asymptotic behaviour of the minimal partitions themselves.
△ Less
Submitted 8 April, 2021; v1 submitted 2 July, 2020;
originally announced July 2020.
-
A theory of spectral partitions of metric graphs
Authors:
James B. Kennedy,
Pavel Kurasov,
Corentin Léna,
Delio Mugnolo
Abstract:
We introduce an abstract framework for the study of clustering in metric graphs: after suitably metrising the space of graph partitions, we restrict Laplacians to the clusters thus arising and use their spectral gaps to define several notions of partition energies; this is the graph counterpart of the well-known theory of spectral minimal partitions on planar domains and includes the setting in [B…
▽ More
We introduce an abstract framework for the study of clustering in metric graphs: after suitably metrising the space of graph partitions, we restrict Laplacians to the clusters thus arising and use their spectral gaps to define several notions of partition energies; this is the graph counterpart of the well-known theory of spectral minimal partitions on planar domains and includes the setting in [Band \textit{et al}, Comm.\ Math.\ Phys.\ \textbf{311} (2012), 815--838] as a special case. We focus on the existence of optimisers for a large class of functionals defined on such partitions, but also study their qualitative properties, including stability, regularity, and parameter dependence. We also discuss in detail their interplay with the theory of nodal partitions. Unlike in the case of domains, the one-dimensional setting of metric graphs allows for explicit computation and analytic -- rather than numerical -- results. Not only do we recover the main assertions in the theory of spectral minimal partitions on domains, as studied in [Conti \textit{et al}, Calc.\ Var.\ \textbf{22} (2005), 45--72; Helffer \textit{et al}, Ann.\ Inst.\ Henri Poincaré Anal.\ Non Linéaire \textbf{26} (2009), 101--138], but we can also generalise some of them and answer (the graph counterparts of) a few open questions.
△ Less
Submitted 3 May, 2020;
originally announced May 2020.
-
On the hot spots of quantum graphs
Authors:
James B. Kennedy,
Jonathan Rohleder
Abstract:
We undertake a systematic investigation of the maxima and minima of the eigenfunctions associated with the first nontrivial eigenvalue of the Laplacian on a metric graph equipped with standard (continuity--Kirchhoff) vertex conditions. This is inspired by the famous hot spots conjecture for the Laplacian on a Euclidean domain, and the points on the graph where maxima and minima are achieved repres…
▽ More
We undertake a systematic investigation of the maxima and minima of the eigenfunctions associated with the first nontrivial eigenvalue of the Laplacian on a metric graph equipped with standard (continuity--Kirchhoff) vertex conditions. This is inspired by the famous hot spots conjecture for the Laplacian on a Euclidean domain, and the points on the graph where maxima and minima are achieved represent the generically "hottest" and "coldest" spots of the graph. We prove results on both the number and location of the hot spots of a metric graph, and also present a large number of examples, many of which run contrary to what one might naïvely expect. Amongst other results we prove the following: (i) generically, up to arbitrarily small perturbations of the graph, the points where minimum and maximum, respectively, are attained are unique; (ii) the minima and maxima can only be located at the vertices of degree one or inside the doubly connected part of the metric graph; and (iii) for any fixed graph topology, for some choices of edge lengths all minima and maxima will occur only at degree-one vertices, while for others they will only occur in the doubly connected part of the graph.
△ Less
Submitted 4 May, 2021; v1 submitted 31 March, 2020;
originally announced March 2020.
-
Disjointness-preserving operators and isospectral Laplacians
Authors:
Wolfgang Arendt,
James B. Kennedy
Abstract:
All the known counterexamples to Kac' famous question "can one hear the shape of a drum", i.e., does isospectrality of two Laplacians on domains imply that the domains are congruent, consist of pairs of domains composed of copies of isometric building blocks arranged in different ways, such that the unitary operator intertwining the Laplacians acts as a sum of overlap** "local" isometries mappin…
▽ More
All the known counterexamples to Kac' famous question "can one hear the shape of a drum", i.e., does isospectrality of two Laplacians on domains imply that the domains are congruent, consist of pairs of domains composed of copies of isometric building blocks arranged in different ways, such that the unitary operator intertwining the Laplacians acts as a sum of overlap** "local" isometries map** the copies to each other.
We prove and explore a complementary positive statement: if an operator intertwining two appropriate realisations of the Laplacian on a pair of domains preserves disjoint supports, then under additional assumptions on it generally far weaker than unitarity, the domains are congruent. We show this in particular for the Dirichlet, Neumann and Robin Laplacians on spaces of continuous functions and on $L^2$-spaces.
△ Less
Submitted 21 February, 2020;
originally announced February 2020.
-
On the eigenvalues of quantum graph Laplacians with large complex $δ$ couplings
Authors:
James B. Kennedy,
Robin Lang
Abstract:
We study the location of the spectrum of the Laplacian on compact metric graphs with complex Robin-type vertex conditions, also known as $δ$ conditions, on some or all of the graph vertices. We classify the eigenvalue asymptotics as the complex Robin parameter(s) diverge to $\infty$ in $\mathbb{C}$: for each vertex $v$ with a Robin parameter $α\in \mathbb{C}$ for which…
▽ More
We study the location of the spectrum of the Laplacian on compact metric graphs with complex Robin-type vertex conditions, also known as $δ$ conditions, on some or all of the graph vertices. We classify the eigenvalue asymptotics as the complex Robin parameter(s) diverge to $\infty$ in $\mathbb{C}$: for each vertex $v$ with a Robin parameter $α\in \mathbb{C}$ for which $\mathrm{\Re}\,α\to -\infty$ sufficiently quickly, there exists exactly one divergent eigenvalue, which behaves like $-α^2/\mathrm{deg}\,v^2$, while all other eigenvalues stay near the spectrum of the Laplacian with a Dirichlet condition at $v$; if $\mathrm{Re}\,α$ remains bounded from below, then all eigenvalues stay near the Dirichlet spectrum. Our proof is based on an analysis of the corresponding Dirichlet-to-Neumann matrices (Titchmarsh--Weyl M-functions). We also use sharp trace-type inequalities to prove estimates on the numerical range and hence on the spectrum of the operator, which allow us to control both the real and imaginary parts of the eigenvalues in terms of the real and imaginary parts of the Robin parameter(s).
△ Less
Submitted 5 October, 2020; v1 submitted 28 January, 2020;
originally announced January 2020.
-
On the eigenvalues of the Robin Laplacian with a complex parameter
Authors:
Sabine Bögli,
James B. Kennedy,
Robin Lang
Abstract:
We study the spectrum of the Robin Laplacian with a complex Robin parameter $α$ on a bounded Lipschitz domain $Ω$. We start by establishing a number of properties of the corresponding operator, such as generation properties, local analytic dependence of the eigenvalues and eigenspaces on $α\in \mathbb C$, and basis properties of the eigenfunctions. Our focus, however, is on bounds and asymptotics…
▽ More
We study the spectrum of the Robin Laplacian with a complex Robin parameter $α$ on a bounded Lipschitz domain $Ω$. We start by establishing a number of properties of the corresponding operator, such as generation properties, local analytic dependence of the eigenvalues and eigenspaces on $α\in \mathbb C$, and basis properties of the eigenfunctions. Our focus, however, is on bounds and asymptotics for the eigenvalues as functions of $α$: we start by providing estimates on the numerical range of the associated operator, which lead to new eigenvalue bounds even in the case $α\in \mathbb R$. For the asymptotics of the eigenvalues as $α\to \infty$ in $\mathbb C$, in place of the min-max characterisation of the eigenvalues and Dirichlet-Neumann bracketing techniques commonly used in the real case, we exploit the duality between the eigenvalues of the Robin Laplacian and the eigenvalues of the Dirichlet-to-Neumann map. We use this to show that every Robin eigenvalue either diverges to $\infty$ in $\mathbb C$ or converges to a point in the spectrum of the Dirichlet Laplacian, and also to give a comprehensive treatment of the special cases where $Ω$ is an interval, a hyperrectangle or a ball. This leads to the conjecture that on a general smooth domain in dimension $d\geq 2$ all eigenvalues converge to the Dirichlet spectrum if ${\rm Re}\, α$ remains bounded from below as $α\to \infty$, while if ${\rm Re}\, α\to -\infty$, then there is a family of divergent eigenvalue curves, each of which behaves asymptotically like $-α^2$.
△ Less
Submitted 30 October, 2019; v1 submitted 16 August, 2019;
originally announced August 2019.
-
A family of diameter-based eigenvalue bounds for quantum graphs
Authors:
J. B. Kennedy
Abstract:
We establish a sharp lower bound on the first non-trivial eigenvalue of the Laplacian on a metric graph equipped with natural (i.e., continuity and Kirchhoff) vertex conditions in terms of the diameter and the total length of the graph. This extends a result of, and resolves an open problem from, [J. B. Kennedy, P. Kurasov, G. Malenová and D. Mugnolo, Ann. Henri Poincaré 17 (2016), 2439--2473, Sec…
▽ More
We establish a sharp lower bound on the first non-trivial eigenvalue of the Laplacian on a metric graph equipped with natural (i.e., continuity and Kirchhoff) vertex conditions in terms of the diameter and the total length of the graph. This extends a result of, and resolves an open problem from, [J. B. Kennedy, P. Kurasov, G. Malenová and D. Mugnolo, Ann. Henri Poincaré 17 (2016), 2439--2473, Section 7.2], and also complements an analogous lower bound for the corresponding eigenvalue of the combinatorial Laplacian on a discrete graph. We also give a family of corresponding lower bounds for the higher eigenvalues under the assumption that the total length of the graph is sufficiently large compared with its diameter. These inequalities are sharp in the case of trees.
△ Less
Submitted 3 October, 2019; v1 submitted 21 July, 2018;
originally announced July 2018.
-
Surgery principles for the spectral analysis of quantum graphs
Authors:
Gregory Berkolaiko,
James B. Kennedy,
Pavel Kurasov,
Delio Mugnolo
Abstract:
We present a systematic collection of spectral surgery principles for the Laplacian on a metric graph with any of the usual vertex conditions (natural, Dirichlet or $δ$-type), which show how various types of changes of a local or localised nature to a graph impact the spectrum of the Laplacian. Many of these principles are entirely new, these include "transplantation" of volume within a graph base…
▽ More
We present a systematic collection of spectral surgery principles for the Laplacian on a metric graph with any of the usual vertex conditions (natural, Dirichlet or $δ$-type), which show how various types of changes of a local or localised nature to a graph impact the spectrum of the Laplacian. Many of these principles are entirely new, these include "transplantation" of volume within a graph based on the behaviour of its eigenfunctions, as well as "unfolding" of local cycles and pendants. In other cases we establish sharp generalisations, extensions and refinements of known eigenvalue inequalities resulting from graph modification, such as vertex gluing, adjustment of vertex conditions and introducing new pendant subgraphs.
To illustrate our techniques we derive a new eigenvalue estimate which uses the size of the doubly connected part of a metric graph to estimate the spectral gap. This quantitative isoperimetric-type inequality interpolates between two known estimates---one assuming the entire graph is doubly connected and the other making no connectivity assumption (and producing a weaker bound)---and includes them as special cases.
△ Less
Submitted 8 April, 2019; v1 submitted 21 July, 2018;
originally announced July 2018.
-
A toy Neumann analogue of the nodal line conjecture
Authors:
J. B. Kennedy
Abstract:
We introduce an analogue of Payne's nodal line conjecture, which asserts that the nodal (zero) set of any eigenfunction associated with the second eigenvalue of the Dirichlet Laplacian on a bounded planar domain should reach the boundary of the domain. The assertion here is that any eigenfunction associated with the first nontrivial eigenvalue of the Neumann Laplacian on a domain $Ω$ with rotation…
▽ More
We introduce an analogue of Payne's nodal line conjecture, which asserts that the nodal (zero) set of any eigenfunction associated with the second eigenvalue of the Dirichlet Laplacian on a bounded planar domain should reach the boundary of the domain. The assertion here is that any eigenfunction associated with the first nontrivial eigenvalue of the Neumann Laplacian on a domain $Ω$ with rotational symmetry of order two (i.e., $x\inΩ$ iff $-x\inΩ$) "should normally" be rotationally antisymmetric. We give both positive and negative results which highlight the heuristic similarity of this assertion to the nodal line conjecture, while demonstrating that the extra structure of the problem makes it easier to obtain stronger statements: it is true for all simply connected planar domains, while there is a counterexample domain homeomorphic to a disk with two holes.
△ Less
Submitted 30 June, 2017;
originally announced June 2017.
-
Edge connectivity and the spectral gap of combinatorial and quantum graphs
Authors:
Gregory Berkolaiko,
James B. Kennedy,
Pavel Kurasov,
Delio Mugnolo
Abstract:
We derive a number of upper and lower bounds for the first nontrivial eigenvalue of a finite quantum graph in terms of the edge connectivity of the graph, i.e., the minimal number of edges which need to be removed to make the graph disconnected. On combinatorial graphs, one of the bounds is the well-known inequality of Fiedler, of which we give a new variational proof. On quantum graphs, the corre…
▽ More
We derive a number of upper and lower bounds for the first nontrivial eigenvalue of a finite quantum graph in terms of the edge connectivity of the graph, i.e., the minimal number of edges which need to be removed to make the graph disconnected. On combinatorial graphs, one of the bounds is the well-known inequality of Fiedler, of which we give a new variational proof. On quantum graphs, the corresponding bound generalizes a recent result of Band and Lévy. All proofs are general enough to yield corresponding estimates for the $p$-Laplacian and allow us to identify the minimizers.
Based on the Betti number of the graph, we also derive upper and lower bounds on all eigenvalues which are "asymptotically correct", i.e. agree with the Weyl asymptotics for the eigenvalues of the quantum graph. In particular, the lower bounds improve the bounds of Friedlander on any given graph for all but finitely many eigenvalues, while the upper bounds improve recent results of Ariturk. Our estimates are also used to derive bounds on the eigenvalues of the normalized Laplacian matrix that improve known bounds of spectral graph theory.
△ Less
Submitted 17 February, 2017;
originally announced February 2017.
-
Summation formula inequalities for eigenvalues of the perturbed harmonic oscillator
Authors:
Pedro Freitas,
James B. Kennedy
Abstract:
We derive explicit inequalities for sums of eigenvalues of one-dimensional Schrödinger operators on the whole line. In the case of the perturbed harmonic oscillator, these bounds converge to the corresponding trace formula in the limit as the number of eigenvalues covers the whole spectrum.
We derive explicit inequalities for sums of eigenvalues of one-dimensional Schrödinger operators on the whole line. In the case of the perturbed harmonic oscillator, these bounds converge to the corresponding trace formula in the limit as the number of eigenvalues covers the whole spectrum.
△ Less
Submitted 6 May, 2016;
originally announced May 2016.
-
Summation formula inequalities for eigenvalues of Schrödinger operators
Authors:
Pedro Freitas,
James B. Kennedy
Abstract:
We derive inequalities for sums of eigenvalues of Schrödinger operators on finite intervals and tori. In the first of these cases, the inequalities converge to the classical trace formulae in the limit as the number of eigenvalues considered approaches infinity.
We derive inequalities for sums of eigenvalues of Schrödinger operators on finite intervals and tori. In the first of these cases, the inequalities converge to the classical trace formulae in the limit as the number of eigenvalues considered approaches infinity.
△ Less
Submitted 6 May, 2016;
originally announced May 2016.
-
The Cheeger constant of a quantum graph
Authors:
James B. Kennedy,
Delio Mugnolo
Abstract:
We review the theory of Cheeger constants for graphs and quantum graphs and their present and envisaged applications.
We review the theory of Cheeger constants for graphs and quantum graphs and their present and envisaged applications.
△ Less
Submitted 28 April, 2016; v1 submitted 25 April, 2016;
originally announced April 2016.
-
Eventually Positive Semigroups of Linear Operators
Authors:
Daniel Daners,
Jochen Glück,
James B. Kennedy
Abstract:
We develop a systematic theory of eventually positive semigroups of linear operators mainly on spaces of continuous functions. By eventually positive we mean that for every positive initial condition the solution to the corresponding Cauchy problem is positive for large enough time. Characterisations of such semigroups are given by means of resolvent properties of the generator and Perron--Frobeni…
▽ More
We develop a systematic theory of eventually positive semigroups of linear operators mainly on spaces of continuous functions. By eventually positive we mean that for every positive initial condition the solution to the corresponding Cauchy problem is positive for large enough time. Characterisations of such semigroups are given by means of resolvent properties of the generator and Perron--Frobenius type spectral conditions. We apply these characterisations to prove eventual positivity of several examples of semigroups including some generated by fourth order elliptic operators and a delay differential equation. We also consider eventually positive semigroups on arbitrary Banach lattices and establish several results for their spectral bound which were previously only known for positive semigroups.
△ Less
Submitted 29 November, 2015;
originally announced November 2015.
-
Eventually and asymptotically positive semigroups on Banach lattices
Authors:
Daniel Daners,
Jochen Glück,
James B. Kennedy
Abstract:
We develop a theory of eventually positive $C_0$-semigroups on Banach lattices, that is, of semigroups for which, for every positive initial value, the solution of the corresponding Cauchy problem becomes positive for large times. We give characterisations of such semigroups by means of spectral and resolvent properties of the corresponding generators, complementing existing results on spaces of c…
▽ More
We develop a theory of eventually positive $C_0$-semigroups on Banach lattices, that is, of semigroups for which, for every positive initial value, the solution of the corresponding Cauchy problem becomes positive for large times. We give characterisations of such semigroups by means of spectral and resolvent properties of the corresponding generators, complementing existing results on spaces of continuous functions. This enables us to treat a range of new examples including the square of the Laplacian with Dirichlet boundary conditions, the bi-Laplacian on $L^p$-spaces, the Dirichlet-to-Neumann operator on $L^2$ and the Laplacian with non-local boundary conditions on $L^2$ within the one unified theory. We also introduce and analyse a weaker notion of eventual positivity which we call "asymptotic positivity", where trajectories associated with positive initial data converge to the positive cone in the Banach lattice as $t \to \infty$. This allows us to discuss further examples which do not fall within the above-mentioned framework, among them a network flow with non-positive mass transition and a certain delay differential equation.
△ Less
Submitted 8 September, 2018; v1 submitted 17 November, 2015;
originally announced November 2015.
-
On the Spectral Gap of a Quantum Graph
Authors:
James B. Kennedy,
Pavel Kurasov,
Gabriela Malenova,
Delio Mugnolo
Abstract:
We consider the problem of finding universal bounds of "isoperimetric" or "isodiametric" type on the spectral gap of the Laplacian on a metric graph with natural boundary conditions at the vertices, in terms of various analytical and combinatorial properties of the graph: its total length, diameter, number of vertices and number of edges. We investigate which combinations of parameters are necessa…
▽ More
We consider the problem of finding universal bounds of "isoperimetric" or "isodiametric" type on the spectral gap of the Laplacian on a metric graph with natural boundary conditions at the vertices, in terms of various analytical and combinatorial properties of the graph: its total length, diameter, number of vertices and number of edges. We investigate which combinations of parameters are necessary to obtain non-trivial upper and lower bounds and obtain a number of sharp estimates in terms of these parameters. We also show that, in contrast to the Laplacian matrix on a combinatorial graph, no bound depending only on the diameter is possible. As a special case of our results on metric graphs, we deduce estimates for the normalised Laplacian matrix on combinatorial graphs which, surprisingly, are sometimes sharper than the ones obtained by purely combinatorial methods in the graph theoretical literature.
△ Less
Submitted 25 September, 2015; v1 submitted 8 April, 2015;
originally announced April 2015.
-
Nonlinear semigroups generated by $j$-elliptic functionals
Authors:
Ralph Chill,
Daniel Hauer,
James B. Kennedy
Abstract:
We generalise the theory of energy functionals used in the study of gradient systems to the case where the domain of definition of the functional cannot be embedded into the Hilbert space $H$ on which the associated operator acts, such as when $H$ is a trace space. We show that under weak conditions on the functional $\varphi$ and the map $j$ from the effective domain of $\varphi$ to $H$, which in…
▽ More
We generalise the theory of energy functionals used in the study of gradient systems to the case where the domain of definition of the functional cannot be embedded into the Hilbert space $H$ on which the associated operator acts, such as when $H$ is a trace space. We show that under weak conditions on the functional $\varphi$ and the map $j$ from the effective domain of $\varphi$ to $H$, which in opposition to the classical theory does not have to be injective or even continuous, the operator on $H$ naturally associated with the pair $(\varphi ,j)$ nevertheless generates a nonlinear semigroup of contractions on $H$. We show that this operator, which we call the $j$-subgradient of $\varphi$, is the (classical) subgradient of another functional on $H$, and give an extensive characterisation of this functional in terms of $\varphi$ and $j$. In the case where $H$ is an $L^2$-space, we also characterise the positivity, $L^\infty$-contractivity and existence of order-preserving extrapolations to $L^q$ of the semigroup in terms of $\varphi$ and $j$. This theory is illustrated through numerous examples, including the $p$-Dirichlet-to-Neumann operator, general Robin-type parabolic boundary value problems for the $p$-Laplacian on very rough domains, and certain coupled parabolic-elliptic systems.
△ Less
Submitted 3 October, 2015; v1 submitted 12 December, 2014;
originally announced December 2014.
-
Analytical aspects of isospectral drums
Authors:
W. Arendt,
A. F. M. ter Elst,
J. B. Kennedy
Abstract:
We reexamine the proofs of isospectrality of the counterexample domains to Kac' question `Can one hear the shape of a drum?' from an analytical viewpoint. We reformulate isospectrality in a more abstract setting as the existence of a similarity transform intertwining two operators associated with elliptic forms, and give several equivalent characterizations of this property as intertwining the for…
▽ More
We reexamine the proofs of isospectrality of the counterexample domains to Kac' question `Can one hear the shape of a drum?' from an analytical viewpoint. We reformulate isospectrality in a more abstract setting as the existence of a similarity transform intertwining two operators associated with elliptic forms, and give several equivalent characterizations of this property as intertwining the forms and form domains, the associated operators and operator domains, and the semigroups they generate. On a representative pair of counterexample domains, we use these criteria to show that the similarity transform intertwines not only the Laplacians with Neumann (or Dirichlet) boundary conditions but also any two appropriately defined elliptic operators on these domains, even if they are not self-adjoint. However, no such transform can intertwine these operators if Robin boundary conditions are imposed instead of Neumann or Dirichlet. We also remark on various operator-theoretic properties of such intertwining similarity transforms.
△ Less
Submitted 8 May, 2013;
originally announced May 2013.
-
The Dirichlet-to-Neumann operator via hidden compactness
Authors:
W. Arendt,
A. F. M. ter Elst,
J. B. Kennedy,
M. Sauter
Abstract:
We show that to each symmetric elliptic operator of the form \[ \mathcal{A} = - \sum \partial_k \, a_{kl} \, \partial_l + c \] on a bounded Lipschitz domain $Ω\subset \mathbb{R}^d$ one can associate a self-adjoint Dirichlet-to-Neumann operator on $L_2(\partial Ω)$, which may be multi-valued if 0 is in the Dirichlet spectrum of $\mathcal{A}$. To overcome the lack of coerciveness in this case, we em…
▽ More
We show that to each symmetric elliptic operator of the form \[ \mathcal{A} = - \sum \partial_k \, a_{kl} \, \partial_l + c \] on a bounded Lipschitz domain $Ω\subset \mathbb{R}^d$ one can associate a self-adjoint Dirichlet-to-Neumann operator on $L_2(\partial Ω)$, which may be multi-valued if 0 is in the Dirichlet spectrum of $\mathcal{A}$. To overcome the lack of coerciveness in this case, we employ a new version of the Lax--Milgram lemma based on an indirect ellipticity property that we call hidden compactness. We then establish uniform resolvent convergence of a sequence of Dirichlet-to-Neumann operators whenever their coefficients converge uniformly and the second-order limit operator in $L_2(Ω)$ has the unique continuation property. We also consider semigroup convergence.
△ Less
Submitted 3 May, 2013;
originally announced May 2013.
-
Asymptotic behaviour and numerical approximation of optimal eigenvalues of the Robin Laplacian
Authors:
Pedro R. S. Antunes,
Pedro Freitas,
James B. Kennedy
Abstract:
We consider the problem of minimising the $n^{th}-$eigenvalue of the Robin Laplacian in $\mathbb{R}^{N}$. Although for $n=1,2$ and a positive boundary parameter $α$ it is known that the minimisers do not depend on $α$, we demonstrate numerically that this will not always be the case and illustrate how the optimiser will depend on $α$. We derive a Wolf-Keller type result for this problem and show t…
▽ More
We consider the problem of minimising the $n^{th}-$eigenvalue of the Robin Laplacian in $\mathbb{R}^{N}$. Although for $n=1,2$ and a positive boundary parameter $α$ it is known that the minimisers do not depend on $α$, we demonstrate numerically that this will not always be the case and illustrate how the optimiser will depend on $α$. We derive a Wolf-Keller type result for this problem and show that optimal eigenvalues grow at most with $n^{1/N}$, which is in sharp contrast with the Weyl asymptotics for a fixed domain. We further show that the gap between consecutive eigenvalues does go to zero as $n$ goes to infinity. Numerical results then support the conjecture that for each $n$ there exists a positive value of $α_{n}$ such that the $n^{\rm th}$ eigenvalue is minimised by $n$ disks for all $0<α<α_{n}$ and, combined with analytic estimates, that this value is expected to grow with $n^{1/N}$.
△ Less
Submitted 3 April, 2012;
originally announced April 2012.
-
The nodal line of the second eigenfunction of the Robin Laplacian in $\mathbb{R}^2$ can be closed
Authors:
J. B. Kennedy
Abstract:
We construct a multiply connected domain in $\mathbb{R}^2$ for which the second eigenfunction of the Laplacian with Robin boundary conditions has an interior nodal line. In the process, we adapt a bound of Donnelly-Fefferman type to obtain a uniform estimate on the size of the nodal sets of a sequence of solutions to a certain class of elliptic equations in the interior of a sequence of domains, w…
▽ More
We construct a multiply connected domain in $\mathbb{R}^2$ for which the second eigenfunction of the Laplacian with Robin boundary conditions has an interior nodal line. In the process, we adapt a bound of Donnelly-Fefferman type to obtain a uniform estimate on the size of the nodal sets of a sequence of solutions to a certain class of elliptic equations in the interior of a sequence of domains, which does not depend directly on any boundary behaviour. This also gives a new proof of the nodal line property of the example in the Dirichlet case.
△ Less
Submitted 24 September, 2010;
originally announced September 2010.
-
Closed nodal surfaces for simply connected domains in higher dimensions
Authors:
J. B. Kennedy
Abstract:
We give an example of a domain in dimension $N \geq 3$, homeomorphic to a ball and with analytic boundary, for which the second eigenvalue of the Dirichlet Laplacian has an eigenfunction with a closed nodal surface. The domain is constructed via a sequence of perturbations of the domain of S. Fournais [J. Differential Equations \textbf{173} (2001), 145-159].
We give an example of a domain in dimension $N \geq 3$, homeomorphic to a ball and with analytic boundary, for which the second eigenvalue of the Dirichlet Laplacian has an eigenfunction with a closed nodal surface. The domain is constructed via a sequence of perturbations of the domain of S. Fournais [J. Differential Equations \textbf{173} (2001), 145-159].
△ Less
Submitted 8 September, 2010;
originally announced September 2010.
-
On the asymptotic behaviour of the eigenvalues of a Robin problem
Authors:
Daniel Daners,
James B. Kennedy
Abstract:
We prove that every eigenvalue of a Robin problem with boundary parameter $α$ on a sufficiently smooth domain behaves asymptotically like $-α^2$ as $α\to \infty$. This generalises an existing result for the first eigenvalue.
We prove that every eigenvalue of a Robin problem with boundary parameter $α$ on a sufficiently smooth domain behaves asymptotically like $-α^2$ as $α\to \infty$. This generalises an existing result for the first eigenvalue.
△ Less
Submitted 1 December, 2009;
originally announced December 2009.
-
Some remarks on the isoperimetric problem for the higher eigenvalues of the Robin and Wentzell Laplacians
Authors:
J. B. Kennedy
Abstract:
We consider the problem of minimising the $k$th eigenvalue, $k \geq 2$, of the ($p$-)Laplacian with Robin boundary conditions with respect to all domains in $\mathbb{R}^N$ of given volume $M$. When $k=2$, we prove that the second eigenvalue of the $p$-Laplacian is minimised by the domain consisting of the disjoint union of two balls of equal volume, and that this is the unique domain with this p…
▽ More
We consider the problem of minimising the $k$th eigenvalue, $k \geq 2$, of the ($p$-)Laplacian with Robin boundary conditions with respect to all domains in $\mathbb{R}^N$ of given volume $M$. When $k=2$, we prove that the second eigenvalue of the $p$-Laplacian is minimised by the domain consisting of the disjoint union of two balls of equal volume, and that this is the unique domain with this property. For $p=2$ and $k \geq 3$, we prove that in many cases a minimiser cannot be independent of the value of the constant $α$ in the boundary condition, or equivalently of the volume $M$. We obtain similar results for the Laplacian with generalised Wentzell boundary conditions $Δu + β\frac{\partial u}{\partial ν} + γu = 0$.
△ Less
Submitted 20 October, 2009;
originally announced October 2009.
