Table of Contents
Fetching ...

Differential algebraic system nodes

Mehmet Erbay, Birgit Jacob, Timo Reis

TL;DR

This work extends the theory of operator and system nodes to infinite-dimensional differential-algebraic systems with noninvertible $E$, formulating DAEs of the form $E\dot{x}(t)=Ax(t)+Bu(t)$, $y(t)=Cx(t)+Du(t)$ within an extrapolation-space framework. It constructs generalized extrapolation spaces, develops solution concepts (classical, mild, weak), and uses augmented Wong sequences to address solvability of inhomogeneous DAEs, culminating in the notion of differential-algebraic operator nodes (E-operator nodes) and their port-Hamiltonian extensions. The paper then integrates energy-based structure via port-Hamiltonian $E$-system nodes on quasi-Gelfand triples, deriving a dissipation inequality and establishing bounds on complex and real resolvent indices, with an illustrative PDE-based example showing index variability. Overall, the framework provides a rigorous, transfer-function-based approach to analyze and model infinite-dimensional port-Hamiltonian DAEs with algebraic constraints, enabling robust well-posedness and energy-dissipation analysis in multi-physics and boundary-control contexts.

Abstract

Infinite-dimensional differential algebraic equations (short DAEs) with input and output are studied. The concepts of operator nodes and system nodes are extended to systems which additionally may include algebraic constraints. Extrapolation spaces are investigated for differential-algebraic equations, and solutions of the extrapolated DAE are characterized using augmented Wong sequences. The resulting theory is then applied to characterize infinite-dimensional port-Hamiltonian DAEs.

Differential algebraic system nodes

TL;DR

This work extends the theory of operator and system nodes to infinite-dimensional differential-algebraic systems with noninvertible , formulating DAEs of the form , within an extrapolation-space framework. It constructs generalized extrapolation spaces, develops solution concepts (classical, mild, weak), and uses augmented Wong sequences to address solvability of inhomogeneous DAEs, culminating in the notion of differential-algebraic operator nodes (E-operator nodes) and their port-Hamiltonian extensions. The paper then integrates energy-based structure via port-Hamiltonian -system nodes on quasi-Gelfand triples, deriving a dissipation inequality and establishing bounds on complex and real resolvent indices, with an illustrative PDE-based example showing index variability. Overall, the framework provides a rigorous, transfer-function-based approach to analyze and model infinite-dimensional port-Hamiltonian DAEs with algebraic constraints, enabling robust well-posedness and energy-dissipation analysis in multi-physics and boundary-control contexts.

Abstract

Infinite-dimensional differential algebraic equations (short DAEs) with input and output are studied. The concepts of operator nodes and system nodes are extended to systems which additionally may include algebraic constraints. Extrapolation spaces are investigated for differential-algebraic equations, and solutions of the extrapolated DAE are characterized using augmented Wong sequences. The resulting theory is then applied to characterize infinite-dimensional port-Hamiltonian DAEs.

Paper Structure

This paper contains 7 sections, 17 theorems, 81 equations.

Key Result

Lemma 2.2

Let $(E,A)$ satisfy Assumption assumption:1. Then, all norms $\Vert \cdot\Vert_{Z_{-1}}$ defined for individual $\mu\in\rho(E,A)$ are equivalent. Hence, $\Vert \cdot\Vert_{Z_{-1}}$ and $Z_{-1}$ are independent of the choice of $\mu$. Furthermore, $Z_{-1}$ is dual to $Z_1^d$ with respect to the pivot

Theorems & Definitions (48)

  • Lemma 2.2
  • proof
  • Lemma 2.3
  • proof
  • Definition 2.4: Complex resolvent index
  • Proposition 2.5
  • proof
  • Definition 2.6: Solutions
  • Lemma 2.7
  • Proposition 2.8
  • ...and 38 more