-
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.
-
On solitary waves for the Korteweg--de Vries equation on metric star graphs
Authors:
Delio Mugnolo,
Diego Noja,
Christian Seifert
Abstract:
We study the Korteweg--de Vries equation on a metric star graph and investigate existence of solitary waves on the metric graph in terms of the coefficients of the equation on each edge, the coupling condition at the central vertex of the star and the speeds of the travelling wave. We show that, with a continuity condition at the vertex, solitary waves can occur exactly when the parameters are cho…
▽ More
We study the Korteweg--de Vries equation on a metric star graph and investigate existence of solitary waves on the metric graph in terms of the coefficients of the equation on each edge, the coupling condition at the central vertex of the star and the speeds of the travelling wave. We show that, with a continuity condition at the vertex, solitary waves can occur exactly when the parameters are chosen in a fairly special manner. We also consider coupling conditions beyond continuity.
△ Less
Submitted 13 February, 2024;
originally announced February 2024.
-
On the $p$-torsional rigidity of combinatorial graphs of finite measure
Authors:
Patrizio Bifulco,
Delio Mugnolo
Abstract:
We study the $p$-\emph{torsion function} and the corresponding $p$-\emph{torsional rigidity} associated with $p$-Laplacians and, more generally, $p$-Schrödinger operators, for $1<p<\infty$, on possibly infinite combinatorial graphs of finite measure. We present sufficient criteria for the existence of a summable $p$-torsion function and we derive several upper and lower bounds for the $p$-torsiona…
▽ More
We study the $p$-\emph{torsion function} and the corresponding $p$-\emph{torsional rigidity} associated with $p$-Laplacians and, more generally, $p$-Schrödinger operators, for $1<p<\infty$, on possibly infinite combinatorial graphs of finite measure. We present sufficient criteria for the existence of a summable $p$-torsion function and we derive several upper and lower bounds for the $p$-torsional rigidity. Our methods are mostly based on novel surgery principles. As an application, we also find some new estimates on the bottom of the spectrum of the $p$-Laplacian with Dirichlet conditions, thus complementing some results recently obtained in: José M. Mazón, Julian Toledo, Torsional rigidity in random walk spaces, in a more general setting. Finally, we prove a Kohler-Jobin inequality for combinatorial graphs.
△ Less
Submitted 23 January, 2024; v1 submitted 21 December, 2023;
originally announced December 2023.
-
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.
-
On the Lipschitz continuity of the heat kernel
Authors:
Patrizio Bifulco,
Delio Mugnolo
Abstract:
We study integral kernels of strongly continuous semigroups on Lebesgue spaces over metric measure spaces. Based on semigroup smoothing properties and abstract Morrey-type inequalities, we give sufficient conditions for Hölder or Lipschitz continuity of the kernels. We apply our results to (pseudo)differential operators on domains and quantum graphs, to Laplacians on a class of fractals including…
▽ More
We study integral kernels of strongly continuous semigroups on Lebesgue spaces over metric measure spaces. Based on semigroup smoothing properties and abstract Morrey-type inequalities, we give sufficient conditions for Hölder or Lipschitz continuity of the kernels. We apply our results to (pseudo)differential operators on domains and quantum graphs, to Laplacians on a class of fractals including the Sierpiński gasket, and to structurally damped wave equations. An extension to non-autonomous problems is also discussed.
△ Less
Submitted 17 January, 2024; v1 submitted 17 July, 2023;
originally announced July 2023.
-
Sturm-Liouville Problems And Global Bounds By Small Control Sets And applications to quantum graphs
Authors:
Michela Egidi,
Delio Mugnolo,
Albrecht Seelmann
Abstract:
We develop a Logvinenko--Sereda theory for one-dimensional vector-valued self-adjoint operators. We thus deliver upper bounds on $L^2$-norms of eigenfunctions -- and linear combinations thereof -- in terms of their $L^2$- and $W^{1,2}$-norms on small control sets that are merely measurable and suitably distributed along each interval. An essential step consists in proving a Bernstein-type estimate…
▽ More
We develop a Logvinenko--Sereda theory for one-dimensional vector-valued self-adjoint operators. We thus deliver upper bounds on $L^2$-norms of eigenfunctions -- and linear combinations thereof -- in terms of their $L^2$- and $W^{1,2}$-norms on small control sets that are merely measurable and suitably distributed along each interval. An essential step consists in proving a Bernstein-type estimate for Laplacians with rather general vertex conditions. Our results carry over to a large class of Schrödinger operators with magnetic potentials; corresponding results are unknown in higher dimension. We illustrate our findings by discussing the implications in the theory of quantum graphs.
△ Less
Submitted 20 April, 2023;
originally announced April 2023.
-
Pointwise eigenvector estimates by landscape functions: some variations on the Filoche--Mayboroda--van den Berg bound
Authors:
Delio Mugnolo
Abstract:
Landscape functions are a popular tool used to provide upper bounds for eigenvectors of Schrödinger operators on domains. We review some known results obtained in the last ten years, unify several approaches used to achieve such bounds, and extend their scope to a large class of linear and nonlinear operators. We also use landscape functions to derive lower estimates on the principal eigenvalue --…
▽ More
Landscape functions are a popular tool used to provide upper bounds for eigenvectors of Schrödinger operators on domains. We review some known results obtained in the last ten years, unify several approaches used to achieve such bounds, and extend their scope to a large class of linear and nonlinear operators. We also use landscape functions to derive lower estimates on the principal eigenvalue -- much in the spirit of earlier results by Donsker-Varadhan and Bañuelos-Carrol -- as well as upper bounds on heat kernels. Our methods solely rely on order properties of operators: we devote special attention to the case where the relevant operators enjoy various forms of elliptic or parabolic maximum principles. Additionally, we illustrate our findings with several examples, including p-Laplacians on domains and graphs as well as Schrödinger operators with magnetic and electric potential, also by means of elementary numerical experiments.
△ Less
Submitted 21 December, 2023; v1 submitted 15 January, 2023;
originally announced January 2023.
-
Distinguishing co-spectral quantum graphs by scattering
Authors:
Delio Mugnolo,
Vyacheslav Pivovarchik
Abstract:
We propose a simple method for resolution of co-spectrality of Schrödinger operators on metric graphs. Our approach consists of attaching a lead to them and comparing the $S$-functions of the corresponding scattering problems on these (non-compact) graphs.
We show that in several cases -- including general graphs on at most 6 vertices, general trees on at most 9 vertices, and general fuzzy balls…
▽ More
We propose a simple method for resolution of co-spectrality of Schrödinger operators on metric graphs. Our approach consists of attaching a lead to them and comparing the $S$-functions of the corresponding scattering problems on these (non-compact) graphs.
We show that in several cases -- including general graphs on at most 6 vertices, general trees on at most 9 vertices, and general fuzzy balls -- eigenvalues and scattering data are together sufficient to distinguish co-spectral metric graphs.
△ Less
Submitted 10 November, 2022;
originally announced November 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.
-
On torsional rigidity and ground-state energy of compact quantum graphs
Authors:
Delio Mugnolo,
Marvin Plümer
Abstract:
We develop the theory of torsional rigidity -- a quantity routinely considered for Dirichlet Laplacians on bounded planar domains -- for Laplacians on metric graphs with at least one Dirichlet vertex. Using a variational characterization that goes back to Pólya, we develop surgical principles that, in turn, allow us to prove isoperimetric-type inequalities: we can hence compare the torsional rigid…
▽ More
We develop the theory of torsional rigidity -- a quantity routinely considered for Dirichlet Laplacians on bounded planar domains -- for Laplacians on metric graphs with at least one Dirichlet vertex. Using a variational characterization that goes back to Pólya, we develop surgical principles that, in turn, allow us to prove isoperimetric-type inequalities: we can hence compare the torsional rigidity of general metric graphs with that of intervals of the same total length. In the spirit of the Kohler-Jobin Inequality, we also derive sharp bounds on the ground-state energy of a quantum graph in terms of its torsional rigidity: this is particularly attractive since computing the torsional rigidity reduces to inverting a matrix whose size is the number of the graph's vertices and is, thus, much easier than computing eigenvalues.
△ Less
Submitted 19 August, 2022; v1 submitted 1 December, 2021;
originally announced December 2021.
-
Ornstein--Uhlenbeck Semigroups on Star Graphs
Authors:
Delio Mugnolo,
Abdelaziz Rhandi
Abstract:
We prove first existence of a classical solution to a class of parabolic problems with unbounded coefficients on metric star graphs subject to Kirchhoff-type conditions. The result is applied to the Ornstein--Uhlenbeck and the harmonic oscillator operators on metric star graphs. We give an explicit formula for the associated Ornstein--Uhlenbeck semigroup and give the unique associated invariant me…
▽ More
We prove first existence of a classical solution to a class of parabolic problems with unbounded coefficients on metric star graphs subject to Kirchhoff-type conditions. The result is applied to the Ornstein--Uhlenbeck and the harmonic oscillator operators on metric star graphs. We give an explicit formula for the associated Ornstein--Uhlenbeck semigroup and give the unique associated invariant measure. We show that this semigroup inherits the regularity properties of the classical Ornstein--Uhlenbeck semigroup on $\mathbb R$.
△ Less
Submitted 25 September, 2021;
originally announced September 2021.
-
The wave equation with acoustic boundary conditions on non-locally reacting surfaces
Authors:
Delio Mugnolo,
Enzo Vitillaro
Abstract:
The aim of the paper is to study the problem
$u_{tt}-c^2Δu=0$ in $\mathbb{R}\timesΩ$,
$μv_{tt}- \text{div}_Γ(σ\nabla_Γv)+δv_t+κv+ρu_t =0$ on $\mathbb{R}\times Γ_1$,
$v_t =\partial_νu$ on $\mathbb{R}\times Γ_1$,$\partial_νu=0$ on $\mathbb{R}\times Γ_0$,
$u(0,x)=u_0(x)$ and $u_t(0,x)=u_1(x)$ in $Ω$,
$v(0,x)=v_0(x)$ and $v_t(0,x)=v_1(x)$ on $Γ_1$, where $Ω$ is a open domain of…
▽ More
The aim of the paper is to study the problem
$u_{tt}-c^2Δu=0$ in $\mathbb{R}\timesΩ$,
$μv_{tt}- \text{div}_Γ(σ\nabla_Γv)+δv_t+κv+ρu_t =0$ on $\mathbb{R}\times Γ_1$,
$v_t =\partial_νu$ on $\mathbb{R}\times Γ_1$,$\partial_νu=0$ on $\mathbb{R}\times Γ_0$,
$u(0,x)=u_0(x)$ and $u_t(0,x)=u_1(x)$ in $Ω$,
$v(0,x)=v_0(x)$ and $v_t(0,x)=v_1(x)$ on $Γ_1$, where $Ω$ is a open domain of $\mathbb{R}^N$ with uniformly $C^r$ boundary ($N\ge 2$, $r\ge 1$), $Γ=\partialΩ$, $(Γ_0,Γ_1)$ is a relatively open partition of $Γ$ with $Γ_0$ (but not $Γ_1$) possibly empty. Here $\text{div}_Γ$ and $\nabla_Γ$ denote the Riemannian divergence and gradient operators on $Γ$, $ν$ is the outward normal to $Ω$, the coefficients $μ,σ,δ, κ, ρ$ are suitably regular functions on $Γ_1$ with $ρ,σ$ and $μ$ uniformly positive while $c$ is a positive constant. This problem have been proposed long time ago by Beale and Rosencrans, when $N=3$, $σ=0$, $r=\infty$, $ρ$ is constant, $κ,δ\ge 0$, to model acoustic wave propagation with locally reacting boundary.
In this paper we first study well-posedness in the natural energy space and give regularity results. Hence we give precise qualitative results for solutions when $Ω$ is bounded and $r=2$, $ρ$ is constant, $κ,δ\ge 0$. These results motivate a detailed discussion of the derivation of the problem in Theoretical Acoustics and the consequent proposal of adding to the model the integral condition $\int_Ωu_t=c^2\int_{Γ_1}v$.
△ Less
Submitted 11 June, 2022; v1 submitted 19 May, 2021;
originally announced May 2021.
-
Gradient flow formulation of diffusion equations in the Wasserstein space over a metric graph
Authors:
Matthias Erbar,
Dominik Forkert,
Jan Maas,
Delio Mugnolo
Abstract:
This paper contains two contributions in the study of optimal transport on metric graphs. Firstly, we prove a Benamou-Brenier formula for the Wasserstein distance, which establishes the equivalence of static and dynamical optimal transport. Secondly, in the spirit of Jordan-Kinderlehrer-Otto, we show that McKean-Vlasov equations can be formulated as gradient flow of the free energy in the Wasserst…
▽ More
This paper contains two contributions in the study of optimal transport on metric graphs. Firstly, we prove a Benamou-Brenier formula for the Wasserstein distance, which establishes the equivalence of static and dynamical optimal transport. Secondly, in the spirit of Jordan-Kinderlehrer-Otto, we show that McKean-Vlasov equations can be formulated as gradient flow of the free energy in the Wasserstein space of probability measures. The proofs of these results are based on careful regularisation arguments to circumvent some of the difficulties arising in metric graphs, namely, branching of geodesics and the failure of semi-convexity of entropy functionals in the Wasserstein space.
△ Less
Submitted 29 April, 2022; v1 submitted 12 May, 2021;
originally announced May 2021.
-
Hubs-biased resistance distances on graphs and networks
Authors:
Ernesto Estrada,
Delio Mugnolo
Abstract:
We define and study two new kinds of "effective resistances" based on hubs-biased -- hubs-repelling and hubs-attracting -- models of navigating a graph/network. We prove that these effective resistances are squared Euclidean distances between the vertices of a graph. They can be expressed in terms of the Moore-Penrose pseudoinverse of the hubs-biased Laplacian matrices of the graph. We define the…
▽ More
We define and study two new kinds of "effective resistances" based on hubs-biased -- hubs-repelling and hubs-attracting -- models of navigating a graph/network. We prove that these effective resistances are squared Euclidean distances between the vertices of a graph. They can be expressed in terms of the Moore-Penrose pseudoinverse of the hubs-biased Laplacian matrices of the graph. We define the analogous of the Kirchhoff indices of the graph based of these resistance distances. We prove several results for the new resistance distances and the Kirchhoff indices based on spectral properties of the corresponding Laplacians. After an intensive computational search we conjecture that the Kirchhoff index based on the hubs-repelling resistance distance is not smaller than that based on the standard resistance distance, and that the last is not smaller than the one based on the hubs-attracting resistance distance. We also observe that in real-world brain and neural systems the efficiency of standard random walk processes is as high as that of hubs-attracting schemes. On the contrary, infrastructures and modular software networks seem to be designed to be navigated by using their hubs.
△ Less
Submitted 1 December, 2021; v1 submitted 18 January, 2021;
originally announced January 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.
-
Dynamic Transmission Conditions for Linear Hyperbolic Systems on Networks
Authors:
Marjeta Kramar Fijavž,
Delio Mugnolo,
Serge Nicaise
Abstract:
We study evolution equations on networks that can be modeled by means of hyperbolic systems. We extend our previous findings in \cite{KraMugNic20} by discussing well-posedness under rather general transmission conditions that might be either of stationary or dynamic type - or a combination of both. Our results rely upon semigroup theory and elementary linear algebra. We also discuss qualitative pr…
▽ More
We study evolution equations on networks that can be modeled by means of hyperbolic systems. We extend our previous findings in \cite{KraMugNic20} by discussing well-posedness under rather general transmission conditions that might be either of stationary or dynamic type - or a combination of both. Our results rely upon semigroup theory and elementary linear algebra. We also discuss qualitative properties of solutions.
△ Less
Submitted 16 July, 2020;
originally announced July 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.
-
Random evolution equations: well-posedness, asymptotics, and applications to graphs
Authors:
Stefano Bonaccorsi,
Francesca Cottini,
Delio Mugnolo
Abstract:
We study diffusion-type equations supported on structures that are randomly varying in time. After settling the issue of well-posedness, we focus on the asymptotic behavior of solutions: our main result gives sufficient conditions for pathwise convergence in norm of the (random) propagator towards a (deterministic) steady state. We apply our findings in two environments with randomly evolving feat…
▽ More
We study diffusion-type equations supported on structures that are randomly varying in time. After settling the issue of well-posedness, we focus on the asymptotic behavior of solutions: our main result gives sufficient conditions for pathwise convergence in norm of the (random) propagator towards a (deterministic) steady state. We apply our findings in two environments with randomly evolving features: ensembles of difference operators on combinatorial graphs, or else of differential operators on metric graphs.
△ Less
Submitted 27 April, 2020;
originally announced April 2020.
-
Schrödinger and polyharmonic operators on infinite graphs: Parabolic well-posedness and p-independence of spectra
Authors:
Simon Becker,
Federica Gregorio,
Delio Mugnolo
Abstract:
We analyze properties of semigroups generated by Schrödinger operators $-Δ+V$ or polyharmonic operators $-(-Δ)^m$, on metric graphs both on $L^p$-spaces and spaces of continuous functions. In the case of spatially constant potentials, we provide a semi-explicit formula for their kernel. Under an additional sub-exponential growth condition on the graph, we prove analyticity, ultracontractivity, and…
▽ More
We analyze properties of semigroups generated by Schrödinger operators $-Δ+V$ or polyharmonic operators $-(-Δ)^m$, on metric graphs both on $L^p$-spaces and spaces of continuous functions. In the case of spatially constant potentials, we provide a semi-explicit formula for their kernel. Under an additional sub-exponential growth condition on the graph, we prove analyticity, ultracontractivity, and pointwise kernel estimates for these semigroups; we also show that their generators' spectra coincide on all relevant function spaces and present a Kreĭn-type dimension reduction, showing that their spectral values are determined by the spectra of generalized discrete Laplacians acting on various spaces of functions supported on combinatorial graphs.
△ Less
Submitted 26 March, 2020;
originally announced March 2020.
-
Linear Hyperbolic Systems on Networks
Authors:
Marjeta Kramar Fijavž,
Delio Mugnolo,
Serge Nicaise
Abstract:
We study hyperbolic systems of one-dimensional partial differential equations under general, possibly non-local boundary conditions. A large class of evolution equations, either on individual 1-dimensional intervals or on general networks, can be reformulated in our rather flexible formalism, which generalizes the classical technique of first-order reduction. We study forward and backward well-pos…
▽ More
We study hyperbolic systems of one-dimensional partial differential equations under general, possibly non-local boundary conditions. A large class of evolution equations, either on individual 1-dimensional intervals or on general networks, can be reformulated in our rather flexible formalism, which generalizes the classical technique of first-order reduction. We study forward and backward well-posedness; furthermore, we provide necessary and sufficient conditions on both the boundary conditions and the coefficients arising in the first-order reduction for a given subset of the relevant ambient space to be invariant under the flow that governs the system. Several examples are studied.
△ Less
Submitted 19 December, 2020; v1 submitted 18 March, 2020;
originally announced March 2020.
-
If time were a graph, what would evolution equations look like?
Authors:
Amru Hussein,
Delio Mugnolo
Abstract:
Linear evolution equations are considered usually for the time variable being defined on an interval where typically initial conditions or time-periodicity of solutions are required to single out certain solutions. Here we would like to make a point of allowing time to be defined on a metric graph or network where on the branching points coupling conditions are imposed such that time can have rami…
▽ More
Linear evolution equations are considered usually for the time variable being defined on an interval where typically initial conditions or time-periodicity of solutions are required to single out certain solutions. Here we would like to make a point of allowing time to be defined on a metric graph or network where on the branching points coupling conditions are imposed such that time can have ramifications and even loops. This not only generalizes the classical setting and allows for more freedom in the modeling of coupled and interacting systems of evolution equations, but it also provides a unified framework for initial value and time-periodic problems. For these time-graph Cauchy problems questions of well-posedness and regularity of solutions for parabolic problems are studied along with the question of which time-graph Cauchy problems cannot be reduced to an iteratively solvable sequence of Cauchy problems on intervals. Based on two different approaches - an application of the Kalton-Weis theorem on the sum of closed operators and an explicit computation of a Green's function - we present the main well-posedness and regularity results. We further study some qualitative properties of solutions. While we mainly focus on parabolic problems we also explain how other Cauchy problems can be studied along the same lines. This is exemplified by discussing coupled systems with constraints that are non-local in time akin to periodicity.
△ Less
Submitted 26 March, 2021; v1 submitted 19 January, 2020;
originally announced January 2020.
-
Eventual Domination for Linear Evolution Equations
Authors:
Jochen Glück,
Delio Mugnolo
Abstract:
We consider two $C_0$-semigroups on function spaces or, more generally, Banach lattices and give necessary and sufficient conditions for the orbits of the first semigroup to dominate the orbits of the second semigroup for large times. As an important special case we consider an $L^2$-space and self-adjoint operators $A$ and $B$ which generate $C_0$-semigroups; in this situation we give criteria fo…
▽ More
We consider two $C_0$-semigroups on function spaces or, more generally, Banach lattices and give necessary and sufficient conditions for the orbits of the first semigroup to dominate the orbits of the second semigroup for large times. As an important special case we consider an $L^2$-space and self-adjoint operators $A$ and $B$ which generate $C_0$-semigroups; in this situation we give criteria for the existence of a time $t_1 \ge 0$ such that $e^{tB} \ge e^{tA}$ for all subsequent times $t\ge t_1$.
As a consequence of our abstract theory, we obtain many surprising insights into the behaviour of various second and fourth order differential operators.
△ Less
Submitted 6 January, 2021; v1 submitted 30 December, 2019;
originally announced December 2019.
-
What is actually a metric graph?
Authors:
Delio Mugnolo
Abstract:
Metric graphs are often introduced based on combinatorics, upon "associating" each edge of a graph with an interval; or else, casually "gluing" a collection of intervals at their endpoints in a network-like fashion. Here we propose an abstract, self-contained definition of metric graph. Being mostly topological, it doesn't require any knowledge from graph theory and already determines uniquely sev…
▽ More
Metric graphs are often introduced based on combinatorics, upon "associating" each edge of a graph with an interval; or else, casually "gluing" a collection of intervals at their endpoints in a network-like fashion. Here we propose an abstract, self-contained definition of metric graph. Being mostly topological, it doesn't require any knowledge from graph theory and already determines uniquely several concepts that are commonly and unnecessarily \textit{defined} in the literature. Nevertheless, many ideas mentioned here are folklore in the quantum graph community: we discuss them for later reference.
△ Less
Submitted 15 March, 2021; v1 submitted 16 December, 2019;
originally announced December 2019.
-
Higher order operators on networks: hyperbolic and parabolic theory
Authors:
Federica Gregorio,
Delio Mugnolo
Abstract:
We study higher-order elliptic operators on one-dimensional ramified structures (networks). We introduce a general variational framework for fourth-order operators that allows us to study features of both hyperbolic and parabolic equations driven by this class of operators. We observe that they extend to the higher-order case and discuss well-posedness and conservation of energy of beam equations,…
▽ More
We study higher-order elliptic operators on one-dimensional ramified structures (networks). We introduce a general variational framework for fourth-order operators that allows us to study features of both hyperbolic and parabolic equations driven by this class of operators. We observe that they extend to the higher-order case and discuss well-posedness and conservation of energy of beam equations, along with regularizing properties of polyharmonic heat kernels. A noteworthy finding is the discovery of a new class of well-posed evolution equations with Wentzell-type boundary conditions.
△ Less
Submitted 18 October, 2020; v1 submitted 6 December, 2019;
originally announced December 2019.
-
Self-adjoint and Markovian extensions of infinite quantum graphs
Authors:
Aleksey Kostenko,
Delio Mugnolo,
Noema Nicolussi
Abstract:
We investigate the relationship between one of the classical notions of boundaries for infinite graphs, \emph{graph ends}, and self-adjoint extensions of the minimal Kirchhoff Laplacian on a metric graph. We introduce the notion of \emph{finite volume} for ends of a metric graph and show that finite volume graph ends is the proper notion of a boundary for Markovian extensions of the Kirchhoff Lapl…
▽ More
We investigate the relationship between one of the classical notions of boundaries for infinite graphs, \emph{graph ends}, and self-adjoint extensions of the minimal Kirchhoff Laplacian on a metric graph. We introduce the notion of \emph{finite volume} for ends of a metric graph and show that finite volume graph ends is the proper notion of a boundary for Markovian extensions of the Kirchhoff Laplacian. In contrast to manifolds and weighted graphs, this provides a transparent geometric characterization of the uniqueness of Markovian extensions, as well as of the self-adjointness of the Gaffney Laplacian -- the underlying metric graph does not have finite volume ends.
If however finitely many finite volume ends occur (as is the case of edge graphs of normal, locally finite tessellations or Cayley graphs of amenable finitely generated groups), we provide a complete description of Markovian extensions upon introducing a suitable notion of traces of functions and normal derivatives on the set of graph ends.
△ Less
Submitted 19 February, 2022; v1 submitted 12 November, 2019;
originally announced November 2019.
-
Parabolic equations with dynamic boundary conditions and drift terms
Authors:
A. Khoutaibi,
L. Maniar,
D. Mugnolo,
A. Rhandi
Abstract:
The aim of this paper is to study the wellposedness and $L^2$-regularity, firstly for a linear heat equation with dynamic boundary conditions by using the approach of sesquilinear forms, and secondly for its backward adjoint equation using the Galerkin approximation and the extension semigroup to a negative Sobolev space.
The aim of this paper is to study the wellposedness and $L^2$-regularity, firstly for a linear heat equation with dynamic boundary conditions by using the approach of sesquilinear forms, and secondly for its backward adjoint equation using the Galerkin approximation and the extension semigroup to a negative Sobolev space.
△ Less
Submitted 12 November, 2021; v1 submitted 5 September, 2019;
originally announced September 2019.
-
Lower Estimates on Eigenvalues of Quantum Graphs
Authors:
Delio Mugnolo,
Marvin Plümer
Abstract:
A method for estimating the spectral gap along with higher eigenvalues of nonequilateral quantum graphs has been introduced by Amini and Cohen-Steiner recently: it is based on a new transference principle between discrete and continuous models of a graph. We elaborate on it by develo** a more general transference principle and by proposing alternative ways of applying it. To illustrate our findi…
▽ More
A method for estimating the spectral gap along with higher eigenvalues of nonequilateral quantum graphs has been introduced by Amini and Cohen-Steiner recently: it is based on a new transference principle between discrete and continuous models of a graph. We elaborate on it by develo** a more general transference principle and by proposing alternative ways of applying it. To illustrate our findings, we present several spectral estimates on planar metric graphs that are oftentimes sharper than those obtained by isoperimetric inequalities and further previously known methods.
△ Less
Submitted 5 June, 2020; v1 submitted 31 July, 2019;
originally announced July 2019.
-
Matrix methods for wave equations
Authors:
Delio Mugnolo
Abstract:
In analogy to a characterisation of operator matrices generating $C_0$-semigroups due to R. Nagel (\cite{[Na89]}), we give conditions on its entries in order that a $2\times 2$ operator matrix generates a cosine operator function. We apply this to systems of wave equations, to second order initial-boundary value problems, and to overdamped wave equations.
In analogy to a characterisation of operator matrices generating $C_0$-semigroups due to R. Nagel (\cite{[Na89]}), we give conditions on its entries in order that a $2\times 2$ operator matrix generates a cosine operator function. We apply this to systems of wave equations, to second order initial-boundary value problems, and to overdamped wave equations.
△ Less
Submitted 2 June, 2019;
originally announced June 2019.
-
Laplacians with point interactions -- expected and unexpected spectral properties
Authors:
Amru Hussein,
Delio Mugnolo
Abstract:
We study the one-dimensional Laplace operator with point interactions on the real line identified with two copies of the half-line $[0,\infty)$. All possible boundary conditions that define generators of $C_0$-semigroups on $L^2\big([0,\infty)\big)\oplus L^2\big([0,\infty)\big)$ are characterized. Here, the Cayley transform of the boundary conditions plays an important role and using an explicit r…
▽ More
We study the one-dimensional Laplace operator with point interactions on the real line identified with two copies of the half-line $[0,\infty)$. All possible boundary conditions that define generators of $C_0$-semigroups on $L^2\big([0,\infty)\big)\oplus L^2\big([0,\infty)\big)$ are characterized. Here, the Cayley transform of the boundary conditions plays an important role and using an explicit representation of the Green's functions, it allows us to study invariance properties of semigroups.
△ Less
Submitted 2 June, 2019;
originally announced June 2019.
-
Analytic solutions for stochastic hybrid models of gene regulatory networks
Authors:
Pavel Kurasov,
Delio Mugnolo,
Verena Wolf
Abstract:
Discrete-state stochastic models are a popular approach to describe the inherent stochasticity of gene expression in single cells. The analysis of such models is hindered by the fact that the underlying discrete state space is extremely large. Therefore hybrid models, in which protein counts are replaced by average protein concentrations, have become a popular alternative.
The evolution of the c…
▽ More
Discrete-state stochastic models are a popular approach to describe the inherent stochasticity of gene expression in single cells. The analysis of such models is hindered by the fact that the underlying discrete state space is extremely large. Therefore hybrid models, in which protein counts are replaced by average protein concentrations, have become a popular alternative.
The evolution of the corresponding probability density functions is given by a coupled system of hyperbolic PDEs. This system has Markovian nature but its hyperbolic structure makes it difficult to apply standard functional analytical methods. We are able to prove convergence towards the stationary solution and determine such equilibrium explicitly by combining abstract methods from the theory of positive operators and elementary ideas from potential analysis.
△ Less
Submitted 27 January, 2021; v1 submitted 19 December, 2018;
originally announced December 2018.
-
Ultracontractivity and Gaussian bounds for evolution families associated with non-autonomous forms
Authors:
Hafida Laasri,
Delio Mugnolo
Abstract:
We develop a variational approach in order to study the qualitative properties of non-autonomous parabolic equations. Based on the method of product integrals, we discuss long-time behavior, invariance properties, and ultracontractivity of evolution families in Hilbert space. Our main results give sufficient conditions for the heat kernel of the evolution family to satisfy Gaussian-type bounds. Al…
▽ More
We develop a variational approach in order to study the qualitative properties of non-autonomous parabolic equations. Based on the method of product integrals, we discuss long-time behavior, invariance properties, and ultracontractivity of evolution families in Hilbert space. Our main results give sufficient conditions for the heat kernel of the evolution family to satisfy Gaussian-type bounds. Along the way, we study examples of non-autonomous equations on graphs, metric graphs, and domains.
△ Less
Submitted 2 June, 2019; v1 submitted 8 November, 2018;
originally announced November 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.
-
Stochastic Hybrid Models of Gene Regulatory Networks - A PDE Approach
Authors:
Pavel Kurasov,
Alexander Lück,
Delio Mugnolo,
Verena Wolf
Abstract:
A widely used approach to describe the dynamics of gene regulatory networks is based on the chemical master equation, which considers probability distributions over all possible combinations of molecular counts. The analysis of such models is extremely challenging due to their large discrete state space. We therefore propose a hybrid approximation approach based on a system of partial differential…
▽ More
A widely used approach to describe the dynamics of gene regulatory networks is based on the chemical master equation, which considers probability distributions over all possible combinations of molecular counts. The analysis of such models is extremely challenging due to their large discrete state space. We therefore propose a hybrid approximation approach based on a system of partial differential equations, where we assume a continuous-deterministic evolution for the protein counts. We discuss efficient analysis methods for both modeling approaches and compare their performance. We show that the hybrid approach yields accurate results for sufficiently large molecule counts, while reducing the computational effort from one ordinary differential equation for each state to one partial differential equation for each mode of the system. Furthermore, we give an analytical steady-state solution of the hybrid model for the case of a self-regulatory gene.
△ Less
Submitted 20 September, 2018; v1 submitted 29 March, 2018;
originally announced March 2018.
-
Bi-Laplacians on graphs and networks
Authors:
Federica Gregorio,
Delio Mugnolo
Abstract:
We study the differential operator $A=\frac{d^4}{dx^4}$ acting on a connected network $\mathcal{G}$ along with $\mathcal L^2$, the square of the discrete Laplacian acting on a connected discrete graph $\mathsf{G}$. For both operators we discuss well-posedness of the associated {linear} parabolic problems \[
\frac{\partial u}{\partial t}=-Au,\qquad\frac{df}{dt}=-\mathcal L^2 f, \] on…
▽ More
We study the differential operator $A=\frac{d^4}{dx^4}$ acting on a connected network $\mathcal{G}$ along with $\mathcal L^2$, the square of the discrete Laplacian acting on a connected discrete graph $\mathsf{G}$. For both operators we discuss well-posedness of the associated {linear} parabolic problems \[
\frac{\partial u}{\partial t}=-Au,\qquad\frac{df}{dt}=-\mathcal L^2 f, \] on $L^p(\mathcal{G})$ or $\ell^p(\mathsf{V})$, respectively, for $1\leq p\leq\infty$. In view of the well-known lack of parabolic maximum principle for all elliptic differential operators of order $2N$ for $N>1$, our most surprising finding is that, after some transient time, the parabolic equations driven by $-A$ may display Markovian features, depending on the imposed transmission conditions in the vertices. Analogous results seem to be unknown in the case of general domains and even bounded intervals. Our analysis is based on a detailed study of bi-harmonic functions complemented by simple combinatorial arguments. We elaborate on analogous issues for the discrete bi-Laplacian; a characterization of complete graphs in terms of the Markovian property of the semigroup generated by $-\mathcal L^2$ is also presented.
△ Less
Submitted 18 March, 2019; v1 submitted 20 December, 2017;
originally announced December 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.
-
Dynamical systems associated with adjacency matrices
Authors:
Delio Mugnolo
Abstract:
We develop the theory of linear evolution equations associated with the adjacency matrix of a graph, focusing in particular on infinite graphs of two kinds: uniformly locally finite graphs as well as locally finite line graphs. We discuss in detail qualitative properties of solutions to these problems by quadratic form methods. We distinguish between backward and forward evolution equations: the l…
▽ More
We develop the theory of linear evolution equations associated with the adjacency matrix of a graph, focusing in particular on infinite graphs of two kinds: uniformly locally finite graphs as well as locally finite line graphs. We discuss in detail qualitative properties of solutions to these problems by quadratic form methods. We distinguish between backward and forward evolution equations: the latter have typical features of diffusive processes, but cannot be well-posed on graphs with unbounded degree. On the contrary, well-posedness of backward equations is a typical feature of line graphs. We suggest how to detect even cycles and/or couples of odd cycles on graphs by studying backward equations for the adjacency matrix on their line graph.
△ Less
Submitted 12 October, 2017; v1 submitted 17 February, 2017;
originally announced February 2017.
-
Airy-type evolution equations on star graphs
Authors:
Delio Mugnolo,
Diego Noja,
Christian Seifert
Abstract:
In the present paper the Airy operator on star graphs is defined and studied. The Airy operator is a third order differential operator arising in different contexts, but our main concern is related to its role as the linear part of the Korteweg-de Vries equation, usually studied on a line or a half-line. The first problem treated and solved is its correct definition, with different characterizatio…
▽ More
In the present paper the Airy operator on star graphs is defined and studied. The Airy operator is a third order differential operator arising in different contexts, but our main concern is related to its role as the linear part of the Korteweg-de Vries equation, usually studied on a line or a half-line. The first problem treated and solved is its correct definition, with different characterizations, as a skew-adjoint operator on a star graph, a set of lines connecting at a common vertex representing, for example, a network of branching channels. A necessary condition turns out to be that the graph is balanced, i.e. there is the same number of ingoing and outgoing edges at the vertex. The simplest example is that of the line with a point interaction at the vertex. In these cases the Airy dynamics is given by a unitary or isometric (in the real case) group. In particular the analysis provides the complete classification of boundary conditions giving momentum (i.e., $L^2$-norm of the solution) preserving evolution on the graph. A second more general problem here solved is the characterization of conditions under which the Airy operator generates a contraction semigroup. In this case unbalanced star graphs are allowed. In both unitary and contraction dynamics, restrictions on admissible boundary conditions occur if conservation of mass (i.e., integral of the solution) is further imposed. The above well posedness results can be considered preliminary to the analysis of nonlinear wave propagation on branching structures.
△ Less
Submitted 4 August, 2016;
originally announced August 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.
-
Schroedinger operators on exterior domains with Robin boundary conditions: heat kernel estimates
Authors:
Hynek Kovarik,
Delio Mugnolo
Abstract:
We study Schroedinger operators with Robin boundary conditions on exterior domains in $\R^d$. We prove sharp point-wise estimates for the associated semi-groups which show, in particular, how the boundary conditions affect the time decay of the heat kernel in dimensions one and two. Applications to spectral estimates are discussed as well.
We study Schroedinger operators with Robin boundary conditions on exterior domains in $\R^d$. We prove sharp point-wise estimates for the associated semi-groups which show, in particular, how the boundary conditions affect the time decay of the heat kernel in dimensions one and two. Applications to spectral estimates are discussed as well.
△ Less
Submitted 8 April, 2016;
originally announced April 2016.
-
General Cheeger inequalities for p-Laplacians on graphs
Authors:
Matthias Keller,
Delio Mugnolo
Abstract:
We prove Cheeger inequalities for p-Laplacians on finite and infinite weighted graphs. Unlike in previous works, we do not impose boundedness of the vertex degree, nor do we restrict ourselves to the normalized Laplacian and, more generally, we do not impose any boundedness assumption on the geometry. This is achieved by a novel definition of the measure of the boundary which is using the idea of…
▽ More
We prove Cheeger inequalities for p-Laplacians on finite and infinite weighted graphs. Unlike in previous works, we do not impose boundedness of the vertex degree, nor do we restrict ourselves to the normalized Laplacian and, more generally, we do not impose any boundedness assumption on the geometry. This is achieved by a novel definition of the measure of the boundary which is using the idea of intrinsic metrics. For the non-normalized case, our bounds on the spectral gap of p-Laplacians are already significantly better for finite graphs and for infinite graphs they yield non-trivial bounds even in the case of unbounded vertex degree. We, furthermore, give upper bounds by the Cheeger constant and by the exponential volume growth of distance balls.
△ Less
Submitted 20 September, 2015;
originally announced September 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.
-
Epidemic Outbreaks in Networks with Equitable or Almost-Equitable Partitions
Authors:
Stefano Bonaccorsi,
Stefania Ottaviano,
Delio Mugnolo,
Francesco De Pellegrini
Abstract:
We study the diffusion of epidemics on networks that are partitioned into local communities. The gross structure of hierarchical networks of this kind can be described by a quotient graph. The rationale of this approach is that individuals infect those belonging to the same community with higher probability than individuals in other communities. In community models the nodal infection probability…
▽ More
We study the diffusion of epidemics on networks that are partitioned into local communities. The gross structure of hierarchical networks of this kind can be described by a quotient graph. The rationale of this approach is that individuals infect those belonging to the same community with higher probability than individuals in other communities. In community models the nodal infection probability is thus expected to depend mainly on the interaction of a few, large interconnected clusters. In this work, we describe the epidemic process as a continuous-time individual-based susceptible-infected-susceptible (SIS) model using a first-order mean-field approximation. A key feature of our model is that the spectral radius of this smaller quotient graph (which only captures the macroscopic structure of the community network) is all we need to know in order to decide whether the overall healthy-state defines a globally asymptotically stable or an unstable equilibrium. Indeed, the spectral radius is related to the epidemic threshold of the system. Moreover we prove that, above the threshold, another steady-state exists that can be computed using a lower-dimensional dynamical system associated with the evolution of the process on the quotient graph. Our investigations are based on the graph-theoretical notion of equitable partition and of its recent and rather flexible generalization, that of almost equitable partition.
△ Less
Submitted 13 November, 2015; v1 submitted 12 December, 2014;
originally announced December 2014.
-
Time regularity and long-time behavior of parabolic $p$-Laplace equations on infinite graphs
Authors:
Bobo Hua,
Delio Mugnolo
Abstract:
We consider the so-called \emph{discrete $p$-Laplacian}, a nonlinear difference operator that acts on functions defined on the nodes of a possibly infinite graph. We study the associated nonlinear Cauchy problem and identify the generator of the associated nonlinear semigroups. We prove higher order time regularity of the solutions. We investigate the long-time behavior of the solutions and discus…
▽ More
We consider the so-called \emph{discrete $p$-Laplacian}, a nonlinear difference operator that acts on functions defined on the nodes of a possibly infinite graph. We study the associated nonlinear Cauchy problem and identify the generator of the associated nonlinear semigroups. We prove higher order time regularity of the solutions. We investigate the long-time behavior of the solutions and discuss in particular finite extinction time and conservation of mass. Namely, on one hand, for small $p$ if an infinite graph satisfies some isoperimetric inequality, then the solution to the parabolic $p$-Laplace equation vanishes in finite time; on the other hand, for large $p,$ these parabolic $p$-Laplace equations always enjoy conservation of mass.
△ Less
Submitted 6 October, 2014;
originally announced October 2014.
-
A new Gershgorin-type result for the localisation of the spectrum of matrices
Authors:
Anna Dall'Acqua,
Delio Mugnolo,
Michael Schelling
Abstract:
We present a Gershgorin's type result on the localisation of the spectrum of a matrix. Our method is elementary and relies upon the method of Schur complements, furthermore it outperforms the one based on the Cassini ovals of Ostrovski and Brauer. Furthermore, it yields estimates that hold without major differences in the cases of both scalar and operator matrices. Several refinements of known res…
▽ More
We present a Gershgorin's type result on the localisation of the spectrum of a matrix. Our method is elementary and relies upon the method of Schur complements, furthermore it outperforms the one based on the Cassini ovals of Ostrovski and Brauer. Furthermore, it yields estimates that hold without major differences in the cases of both scalar and operator matrices. Several refinements of known results are obtained.
△ Less
Submitted 17 September, 2014;
originally announced September 2014.
-
Laplacians on quantum hypergraphs
Authors:
Delio Mugnolo
Abstract:
We introduce quantum hypergraphs, in analogy with the theory of quantum graphs developed over the last 15 years by many authors. We emphasize some problems that arise when one tries to define a Laplacian on a hypergraph.
We introduce quantum hypergraphs, in analogy with the theory of quantum graphs developed over the last 15 years by many authors. We emphasize some problems that arise when one tries to define a Laplacian on a hypergraph.
△ Less
Submitted 16 May, 2014;
originally announced May 2014.
-
Some remarks on the Krein--von Neumann extension of different Laplacians
Authors:
Delio Mugnolo
Abstract:
We discuss the Krein--von Neumann extensions of three Laplacian-type operators -- on discrete graphs, quantum graphs, and domains. In passing we present a class of one-dimensional elliptic operators such that for any $n\in \mathbb N$ infinitely many elements of the class have $n$-dimensional null space.
We discuss the Krein--von Neumann extensions of three Laplacian-type operators -- on discrete graphs, quantum graphs, and domains. In passing we present a class of one-dimensional elliptic operators such that for any $n\in \mathbb N$ infinitely many elements of the class have $n$-dimensional null space.
△ Less
Submitted 26 February, 2014;
originally announced February 2014.
-
The heat equation under linear conditions on the moments in higher dimensions
Authors:
Delio Mugnolo,
Serge Nicaise
Abstract:
We consider the heat equation on the $N$-dimensional cube $(0,1)^N$ and impose different classes of integral conditions, instead of usual boundary ones. Well-posedness results for the heat equation under the condition that the moments of order 0 and 1 are conserved had been known so far only in the case of N=1 -- for which such conditions can be easily interpreted as conservation of mass and baryc…
▽ More
We consider the heat equation on the $N$-dimensional cube $(0,1)^N$ and impose different classes of integral conditions, instead of usual boundary ones. Well-posedness results for the heat equation under the condition that the moments of order 0 and 1 are conserved had been known so far only in the case of N=1 -- for which such conditions can be easily interpreted as conservation of mass and barycenter. In this paper we show that in the case of general $N$ the heat equation with such integral conditions is still well-posed, upon suitably relax the notion of solution.
Existence and uniqueness of solutions with general initial data in a suitable space of distibutions over $(0,1)^N$ are proved by introducing two appropriate realizations of the Laplacian and checking by form methods that they generate analytic semigroups. The solution thus obtained does however solve the heat equation only in a certain distributional sense.
However, it turns out that one of these realizations is tightly related to a well-known object of operator theory, the Krein--von Neumann extension of the Laplacian. This connection also establishes well-posedness in a classical sense, as long as the initial data are $L^2$-functions.
△ Less
Submitted 22 October, 2013; v1 submitted 22 February, 2013;
originally announced February 2013.
-
Construction of exact travelling waves for the Benjamin-Bona-Mahony equation on networks
Authors:
Delio Mugnolo,
Jean-François Rault
Abstract:
We are interested in the existence of travelling waves for the Benjamin-Bona-Mahony equation on a network. First we construct an explicit wave, defined in $\mathbb{R}$. Then, we use this wave to derive some conditions on the coefficients appearing in the equations and on the geometry of the network to ensure the existence of travelling waves on the network.
We are interested in the existence of travelling waves for the Benjamin-Bona-Mahony equation on a network. First we construct an explicit wave, defined in $\mathbb{R}$. Then, we use this wave to derive some conditions on the coefficients appearing in the equations and on the geometry of the network to ensure the existence of travelling waves on the network.
△ Less
Submitted 8 February, 2013;
originally announced February 2013.