Logo
ScienceStack
Table of Contents
Fetching ...
Sign In

If time were a graph, what would evolution equations look like?

Amru Hussein, Delio Mugnolo

TL;DR

This work extends evolution equations to time variables living on metric graphs, formulating time-graph Cauchy problems with vertex transmission via a matrix $\\mathbb B$ and edgewise operators $A_j$. It develops two complementary solvability frameworks: (i) the Kalton–Weis sum theorem for commuting operator pairs $(D_t(\\mathbb B),A_{\\mathcal E})$ and (ii) an explicit Green's-function representation that yields a generalized variation-of-constants formula and clear mapping properties. The main contributions are (a) well-posedness and regularity results for parabolic time-graph problems under compatibility conditions on $\\mathbb B$ and the edge operators, (b) a detailed Green's-function approach that handles inhomogeneous boundary data and nonlocal constraints, and (c) a broad discussion of iterative solvability, examples, and non-parabolic extensions including Schrödinger and mixed-order dynamics. The framework unifies initial-value and time-periodic problems on networks of time, enables modeling of coupled, nonlocal-in-time dynamics, and provides a mathematical lens for speculative time-graph interpretations (e.g., phase shifts, loops, and time travel) with rigorous solvability guarantees.

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

If time were a graph, what would evolution equations look like?

TL;DR

This work extends evolution equations to time variables living on metric graphs, formulating time-graph Cauchy problems with vertex transmission via a matrix and edgewise operators . It develops two complementary solvability frameworks: (i) the Kalton–Weis sum theorem for commuting operator pairs and (ii) an explicit Green's-function representation that yields a generalized variation-of-constants formula and clear mapping properties. The main contributions are (a) well-posedness and regularity results for parabolic time-graph problems under compatibility conditions on and the edge operators, (b) a detailed Green's-function approach that handles inhomogeneous boundary data and nonlocal constraints, and (c) a broad discussion of iterative solvability, examples, and non-parabolic extensions including Schrödinger and mixed-order dynamics. The framework unifies initial-value and time-periodic problems on networks of time, enables modeling of coupled, nonlocal-in-time dynamics, and provides a mathematical lens for speculative time-graph interpretations (e.g., phase shifts, loops, and time travel) with rigorous solvability guarantees.

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

Paper Structure

This paper contains 38 sections, 15 theorems, 151 equations, 4 figures.

Table of Contents

  1. Introduction
  2. From initial conditions to boundary conditions in time
  3. Time-graph Cauchy problem
  4. First examples, results and outlook
  5. Organization of the paper
  6. Classical Cauchy problems
  7. Finite metric graphs
  8. Finite graphs
  9. Function spaces on metric graphs
  10. Operators on metric graphs
  11. Derivative operators on graphs
  12. Accretive coupling conditions for the first derivative
  13. Spatial operators
  14. The Kalton and Weis sum theorem and the parabolic operator
  15. Solvability of the inhomogeneous problem with homogeneous boundary conditions
  16. ...and 23 more sections

Key Result

Theorem 2.1

Suppose that $A\in {\mathcal{H}}^{\infty}(X)$ and $B\in {\mathcal{R}}{\mathcal{S}}(X)$ are commuting operators such that $\phi_A^{\infty}+\phi_B^R<\pi$. Then $A+B$ is closed with domain $D(A+B)=D(A)\cap D(B)$, $A+B\in {\mathcal{R}}{\mathcal{S}}(X)$ with $\phi_{A+B}\leq \max\{\phi_A^{\infty},\phi_B^R The operator $A+B$ is invertible if $A$ or $B$ is invertible.

Figures (4)

  • Figure 1: Classical time domains for evolution equations
  • Figure 2: Phase shifts
  • Figure 3: Evolution equations on graphs
  • Figure 4: Time travel with and without parallel universes, and time-loop

Theorems & Definitions (37)

  • Theorem 2.1: Sum theorem of Kalton and Weis
  • Lemma 4.1
  • proof
  • Lemma 4.2: Adjoint operator and numerical range
  • proof
  • Remark 4.3: Spectral inclusion
  • Proposition 4.4: M-accretivity and invertibility of $D_t(\mathbb{B})$
  • proof
  • Corollary 4.5: Bounded $H^{\infty}$-calculus for $D_t(\mathbb{B})$
  • Lemma 4.6: Spectrum of induced operators
  • ...and 27 more