Telegraph systems on networks and port-Hamiltonians. I. Boundary conditions and well-posedness.

Part (a) of the paper proves exactly the same vertex-resolution statement as the model: Ψ_v u(v)=0 is equivalent to Φ_v Fout(v) u_out(v)+Φ_v Fin(v) u_in(v)=0, with uniqueness iff Φ_v Fout(v) is invertible and the same explicit formula for u_out; see Proposition 3.8 in the paper. For (b), the paper establishes a C0-semigroup on X1 with generator (A, D1(AB)) under B=Ξ_out^{-1}Ξ_in, and then shows invariance and strong continuity on Xp with the generator equal to the part of A, matching the model’s claims. The approaches differ: the paper uses a resolvent/positivity route together with a small-time characteristic representation, while the model constructs the semigroup globally via broken characteristics and a finite number of boundary hits. The model assumes slightly stronger regularity and sketches some steps; the paper gives a different but compatible proof.