Source author record

Delio Mugnolo

Delio Mugnolo appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

19works
11topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

19 published item(s)

preprint2022arXiv

Gradient flow formulation of diffusion equations in the Wasserstein space over a metric graph

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.

preprint2022arXiv

Self-adjoint and Markovian extensions of infinite quantum graphs

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.

preprint2022arXiv

The wave equation with acoustic boundary conditions on non-locally reacting surfaces

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$.

preprint2021arXiv

Analytic solutions for stochastic hybrid models of gene regulatory networks

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.

preprint2021arXiv

Eventual Domination for Linear Evolution Equations

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.

preprint2020arXiv

A theory of spectral partitions of metric graphs

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.

preprint2020arXiv

Dynamic Transmission Conditions for Linear Hyperbolic Systems on Networks

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.

preprint2020arXiv

Linear Hyperbolic Systems on Networks

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.

preprint2020arXiv

Random evolution equations: well-posedness, asymptotics, and applications to graphs

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.

preprint2015arXiv

Epidemic Outbreaks in Networks with Equitable or Almost-Equitable Partitions

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.

preprint2015arXiv

On the Spectral Gap of a Quantum Graph

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.

preprint2012arXiv

Convergence of sectorial operators on varying Hilbert space

Convergence of operators acting on a given Hilbert space is an old and well studied topic in operator theory. The idea of introducing a related notion for operators acting on arying spaces is natural. However, it seems that the first results in this direction have been obtained only recently, to the best of our knowledge. Here we consider sectorial operators on scales of Hilbert spaces. We define a notion of convergence that generalises convergence of the resolvents in operator norm to the case when the operators act on different spaces and show that this kind of convergence is compatible with the functional calculus of the operator and moreover implies convergence of the spectrum. Finally, we present examples for which this convergence can be checked, including convergence of coefficients of parabolic problems. Convergence of a manifold (roughly speaking consisting of thin tubes) towards the manifold's skeleton graph plays a prominent role, being our main application.

preprint2012arXiv

On moments-preserving cosine families and semigroups in $C[0,1]$

We use the newly developed Kelvin's method of images \cite{kosinusy,kelvin} to show existence of a unique cosine family generated by a restriction of the Laplace operator in $C[0,1]$, that preserves the first two moments. We characterize the domain of its generator by specifying its boundary conditions. Also, we show that it enjoys inherent symmetry properties, and in particular that it leaves the subspaces of odd and even functions invariant. Furthermore, we provide information on long-time behavior of the related semigroup.

preprint2011arXiv

Convergence of operator-semigroups associated with generalised elliptic forms

In a recent article, Arendt and ter Elst have shown that every sectorial form is in a natural way associated with the generator of an analytic strongly continuous semigroup, even if the form fails to be closable. As an intermediate step they have introduced so-called j-elliptic forms, which generalises the concept of elliptic forms in the sense of Lions. We push their analysis forward in that we discuss some perturbation and convergence results for semigroups associated with j-elliptic forms. In particular, we study convergence with respect to the trace norm or other Schatten norms. We apply our results to Laplace operators and Dirichlet-to-Neumann-type operators.

preprint2011arXiv

Towards a gauge theory for evolution equations on vector-valued spaces

We investigate symmetry properties of vector-valued diffusion and Schrödinger equations. For a separable Hilbert space $H$ we characterize the subspaces of $L^2(Ω, H)$ that are local (i.e., defined pointwise) and discuss the issue of their invariance under the time evolution of the differential equation. In this context, the possibility of a connection between our results and the theory of gauge symmetries in mathematical physics is explored.

preprint2010arXiv

Vector-valued heat equations and networks with coupled dynamic boundary conditions

Motivated by diffusion processes on metric graphs and ramified spaces, we consider an abstract setting for interface problems with coupled dynamic boundary conditions belonging to a quite general class. Beside well-posedness, we discuss positivity, $L^\infty$-contractivity and further invariance properties. We show that the parabolic problem with dynamic boundary conditions enjoy these properties if and only if so does its counterpart with time-independent boundary conditions. Furthermore, we prove continuous dependence of the solution to the parabolic problem on the boundary conditions in the considered class.

preprint2009arXiv

Properties of Representations of Operators acting between Spaces of Vector-Valued Functions

A well-known result going back to the 1930s states that all bounded linear operators mapping scalar-valued $L^1$-spaces into $L^\infty$-spaces are kernel operators and that in fact this relation induces an isometric isomorphism between the space of such operators and the space of all bounded kernels. We extend this result to the case of spaces of vector-valued functions. A recent result due to Arendt and Thomaschewski states that the local operators acting on $L^p$-spaces of functions with values in separable Banach spaces are precisely the multiplication operators. We extend this result to non-separable dual spaces. Moreover, we relate positivity and other order properties of the operators to corresponding properties of the representations.

preprint2008arXiv

Qualitative properties of coupled parabolic systems of evolution equations

We apply functional analytical and variational methods in order to study well-posedness and qualitative properties of evolution equations on product Hilbert spaces. To this aim we introduce an algebraic formalism for matrices of sesquilinear mappings. We apply our results to parabolic problems of different nature: a coupled diffusive system arising in neurobiology, a strongly damped wave equation, a heat equation with dynamic boundary conditions, and a general semilinear Hodgkin--Huxley sytem.

preprint2007arXiv

Well-Posedness and Symmetries of Strongly Coupled Network Equations

We consider a diffusion process on the edges of a finite network and allow for feedback effects between different, possibly non-adjacent edges. This generalizes the setting that is common in the literature, where the only considered interactions take place at the boundary, i. e., in the nodes of the network. We discuss well-posedness of the associated initial value problem as well as contractivity and positivity properties of its solutions. Finally, we discuss qualitative properties that can be formulated in terms of invariance of linear subspaces of the state space, i. e., of symmetries of the associated physical system. Applications to a neurobiological model as well as to a system of linear Schroedinger equations on a quantum graph are discussed.