2205.03735
Extension of the Partial Integral Equation Representation to GPDE Input-Output Systems
Sachin Shivakumar, Amritam Das, Siep Weiland, Matthew Peet
correctmedium confidence
- Category
- Not specified
- Journal tier
- Strong Field
- Processed
- Sep 28, 2025, 12:56 AM
- arXiv Links
- Abstract ↗PDF ↗
Audit review
The paper proves the GPDE↔PIE equivalence of internal exponential stability (Theorem 6.7) rigorously via an isometric PIE↔GPDE transformation T, norm equivalence on X0,0, and solution equivalence (Corollary 5.3). In contrast, the model’s proof sketch incorrectly sets the boundary variable v ≡ 0 under “zero input” and attempts to invert J[x; x̂] = [x; Dx̂] using only g = Dx̂, omitting the necessary Tv Cv x term required even with w = u = 0. This omission breaks the claimed bounded inverse J−1[x; g] = [x; Γg] in the general GPDE setting. While the model’s conclusion aligns with the paper, its proof is flawed by missing hypotheses and an incorrect inverse construction.
Referee report (LaTeX)
\textbf{Recommendation:} minor revisions \textbf{Journal Tier:} strong field \textbf{Justification:} The manuscript is technically solid and extends the PIE framework to a broad GPDE class, proving a strong equivalence of internal stability properties via a unitary mapping. The main claims are correct, and the appendices provide the necessary details. Minor clarifications would further streamline understanding for readers navigating the dense notation and the role of boundary variables.