Back to search
2405.08634

Stabilization of Integral Delay Equations by solving Fredholm equations

Jean Auriol

correctmedium confidence
Category
math.DS
Journal tier
Strong Field
Processed
Sep 28, 2025, 12:56 AM

Audit review

The paper proves that, if kernels f and g are chosen so that I1=I2=I3=0 on the specified intervals, then the closed-loop characteristic equation collapses to 1 = a e^{-τ0 s}, yielding exponential stability for x and U (Theorem 1) . The candidate solution gives a consistent alternative time-domain derivation via a causal Bezout convolution identity that reduces the closed-loop to x(t)=a x(t−τ0), then establishes exponential decay and bounds in the Cpw-norms. The only substantive omission in the candidate solution is the paper’s controllability/existence hypothesis (Assumption 1) required to guarantee that such f,g exist (Lemma 3) . Aside from that, both arguments align on the main stability conclusion.

Referee report (LaTeX)

\textbf{Recommendation:} minor revisions

\textbf{Journal Tier:} strong field

\textbf{Justification:}

The approach is technically sound and significantly simplifies stabilizing IDEs with distributed actuation by avoiding a PDE comparison system. It cleanly links the controller design to solvability of Fredholm equations, supported by a spectral controllability assumption, and yields a sharply interpretable closed-loop characteristic equation. Minor clarifications would make the exposition even clearer, particularly the explicit time-domain cancellation view and a brief justification for the stability of the control signal.