Home » Posts tagged 'Semigroup Theory'

Tag Archives: Semigroup Theory

Deriving Corrective Permeability from the Cumulative Deviation Functional; Robert Galida (June 2026) [F]

Abstract

The attractor framework defines κκ (corrective permeability) as the rate at which a system returns to its attractor after perturbation. Historically, κκ has been treated as an empirical parameter — fitted to data rather than derived from first principles. This paper derives κκ from the framework’s foundational object: the cumulative deviation functional DT(x)=0Tδ(ϕt(x))dtDT​(x)=∫0Tδ(ϕt​(x))dt, where δ(x)=d(x,A)δ(x)=d(x,A).

We define:κ=infxBAδ(x)D(x)κ=x∈B∖Ainf​D∞​(x)δ(x)​

We prove that for linear systems x˙=Axx˙=−Ax with AA symmetric positive definite, this definition recovers the slowest eigenvalue λmin(A)λmin​(A) — the conventional notion of corrective permeability. We establish a sharp universal persistence bound D(x)δ(x)/κD∞​(x)≤δ(x)/κ, show homogeneity and scale invariance of the variational ratio, and demonstrate consistency with Koopman spectral theory and resolvent poles for finite-dimensional linear systems. A comparison theorem links κκ to classical exponential stability constants. A Hamilton-Jacobi-type transport equation for DD∞​ is derived. A finite-horizon estimator κT=infxδ(x)DT(x)κT​=infxDT​(x)δ(x)​ is provided with exponential convergence under explicit assumptions.

The derivation is rigorous for linear systems and testable. Open questions for nonlinear, multiscale, and stochastic systems are identified.

Keywords: corrective permeability, cumulative deviation functional, attractor framework, Koopman operator, trajectory functional


1. Introduction

The attractor framework has been applied across physics, biology, cognition, and social systems. Its central variable — corrective permeability κκ — measures the rate at which a system returns to its attractor after perturbation. Historically, κκ has been defined empirically as κ=1/τκ=1/τ, where ττ is a measured recovery time constant.

This paper derives κκ from a single foundational object: the cumulative deviation functional DT(x)DT​(x). Within the present framework, κκ is defined variationally rather than introduced as an empirical fitting parameter. We show that κκ is a consequence of the trajectory geometry — specifically, the ratio of initial distance to total cumulative deviation.

The derivation is rigorous for linear systems, connects to established theory (Koopman operators, resolvent poles), and provides a finite-horizon estimator for empirical use. Open questions for nonlinear and stochastic systems are identified.


2. The Cumulative Deviation Functional

Let XX be a metric space with distance function ∥⋅∥. Let ϕt(x)ϕt​(x) be the flow of a dynamical system starting from state xXx∈X at time t=0t=0. Let AXA⊆X be an attractor set (a compact, invariant set to which trajectories converge). Let BB be the basin of attraction of AA.

Define the distance from a point to the attractor:δ(x)=d(x,A)=infaAxaδ(x)=d(x,A)=a∈Ainf​∥xa

Definition 1 (Cumulative Deviation Functional): For a finite horizon T>0T>0, define:DT(x)=0Tδ(ϕt(x))dtDT​(x)=∫0Tδ(ϕt​(x))dt

For TT→∞, define:D(x)=0δ(ϕt(x))dtD∞​(x)=∫0∞​δ(ϕt​(x))dt

Proposition 1 (Finiteness of D∞D∞​): Assume there exist constants C<C<∞ and μ>0μ>0 such that:δ(ϕt(x))Ceμtδ(x)δ(ϕt​(x))≤Ceμtδ(x)

for all xBx∈B. Then D(x)<D∞​(x)<∞ for every xBx∈B.

Proof:D(x)=0δ(ϕt(x))dt0Ceμtδ(x)dt=Cμδ(x)<D∞​(x)=∫0∞​δ(ϕt​(x))dt≤∫0∞​Ceμtδ(x)dt=μCδ(x)<∞

Properties (from Galida, 2026a):

PropertyStatement
Non-negativityDT(x)0DT​(x)≥0
MonotonicityDT2(x)DT1(x)DT2​​(x)≥DT1​​(x) for T2T1T2​≥T1​
AdditivityDT+S(x)=DT(x)+DS(ϕT(x))DT+S​(x)=DT​(x)+DS​(ϕT​(x))
Instantaneous growthddTDT(x)=δ(ϕT(x))dTdDT​(x)=δ(ϕT​(x))
Occupation measureDT(x)=δ(y)dμT(y)DT​(x)=∫δ(y)dμT​(y), where μTμT​ is the occupation measure

3. Derivation of Corrective Permeability (κκ)

3.1 Variational Definition

Definition 2 (Corrective Permeability):κ=infxBAδ(x)D(x)κ=x∈B∖Ainf​D∞​(x)δ(x)​

Interpretation: κκ is the effective recovery rate — the smallest ratio of initial distance to total cumulative deviation. It serves as a global measure of the slowest recovery mode in the basin.

Remark on κκ: The definition allows κ=0κ=0 if D(x)D∞​(x) diverges or if the ratio δ(x)/D(x)δ(x)/D∞​(x) can be made arbitrarily small. Throughout the remainder of this paper, we assume hypotheses (such as the exponential stability in Proposition 1) that guarantee κ>0κ>0.

Remark on attainment: The infimum in the definition of κκ need not be attained; minimizing sequences may exist without a minimizing state. For linear systems, the infimum is attained on the slow eigenspace.


3.2 Homogeneity and Scale Invariance

Theorem 1 (Homogeneity and Scale Invariance): Suppose the flow satisfies ϕt(αx)=αϕt(x)ϕt​(αx)=αϕt​(x) for all tt and all α>0α>0, and the distance function satisfies δ(αx)=αδ(x)δ(αx)=αδ(x). Then:δ(αx)D(αx)=δ(x)D(x)D∞​(αx)δ(αx)​=D∞​(x)δ(x)​

Proof:D(αx)=0δ(ϕt(αx))dt=0δ(αϕt(x))dt=α0δ(ϕt(x))dt=αD(x)D∞​(αx)=∫0∞​δ(ϕt​(αx))dt=∫0∞​δ(αϕt​(x))dt=α∫0∞​δ(ϕt​(x))dt=αD∞​(x)

Corollary: For linear systems, the infimum over all x0x=0 reduces to an infimum over the unit sphere:κ=infx=1δ(x)D(x)κ=∥x∥=1inf​D∞​(x)δ(x)​


3.3 Sharp Universal Persistence Bound

Theorem 2 (Sharp Universal Persistence Bound): For any xBAx∈B∖A:D(x)δ(x)κD∞​(x)≤κδ(x)​

Moreover, the constant 1/κ1/κ is optimal: it is the smallest constant such that this inequality holds for all xx in the basin.

Proof: By definition of κκ as the infimum of δ(x)/D(x)δ(x)/D∞​(x), we have δ(x)/D(x)κδ(x)/D∞​(x)≥κ for all xx. Rearranging gives:D(x)δ(x)κD∞​(x)≤κδ(x)​

Optimality follows from Theorem 3: for the slow eigenvector v1v1​, D(v1)=δ(v1)/κD∞​(v1​)=δ(v1​)/κ, so no smaller constant can work.


3.4 Consistency with Linear Systems

Consider a linear system x˙=Axx˙=−Ax, with AA symmetric positive definite. Let its eigenvalues be 0<λ1λ2λn0<λ1​≤λ2​≤⋯≤λn​, with corresponding orthonormal eigenvectors v1,v2,,vnv1​,v2​,…,vn​.

The flow is ϕt(x)=eAtxϕt​(x)=eAtx. The attractor is A={0}A={0}, and the distance to the attractor is δ(x)=xδ(x)=∥x∥.

Theorem 3 (Linear Consistency): For x˙=Axx˙=−Ax with AA symmetric positive definite,infx0xD(x)=λmin(A)x=0inf​D∞​(x)∥x∥​=λmin​(A)

Proof:

Since AA is symmetric positive definite, eAteAt is symmetric positive definite with eigenvalues eλiteλit. Hence its operator norm is eAt=eλ1teAt∥=eλ1​t. For any x0x=0:D(x)=0eAtxdt0xeλ1tdt=xλ1D∞​(x)=∫0∞​∥eAtxdt≤∫0∞​∥xeλ1​tdt=λ1​∥x∥​

Therefore:xD(x)λ1D∞​(x)∥x∥​≥λ1​

To show equality is achieved, take x=v1x=v1​ (the eigenvector corresponding to λ1λ1​). Then:eAtv1=v1eλ1teAtv1​∥=∥v1​∥eλ1​t

and:D(v1)=0v1eλ1tdt=v1λ1D∞​(v1​)=∫0∞​∥v1​∥eλ1​tdt=λ1​∥v1​∥​

Thus:v1D(v1)=λ1D∞​(v1​)∥v1​∥​=λ1​

Hence:infx0xD(x)=λ1x=0inf​D∞​(x)∥x∥​=λ1​

Corollary: For linear systems, the variational definition of κκ recovers the slowest eigenvalue — the conventional notion of corrective permeability.


3.5 Transport Equation

Theorem 4 (Transport Equation): Assume the vector field ff is C1C1, the flow ϕtϕt​ is C1C1, and DD∞​ is continuously differentiable on BAB∖A. Then:D(x)f(x)=δ(x)D∞​(x)⋅f(x)=−δ(x)

Proof: From the definition:D(ϕs(x))=D(x)Ds(x)D∞​(ϕs​(x))=D∞​(x)−Ds​(x)

Differentiating with respect to ss at s=0s=0:ddsD(ϕs(x))s=0=δ(x)dsdD∞​(ϕs​(x))​s=0​=−δ(x)

By the chain rule:D(x)f(x)=δ(x)D∞​(x)⋅f(x)=−δ(x)

Interpretation: This is a first-order transport equation, fD=δf⋅∇D=−δ, which belongs to the broader Hamilton-Jacobi family but lacks a Hamiltonian in the usual sense. It may serve as a foundation for numerical computation and further theoretical development.


3.6 Local vs. Global Interpretation

The variational definition κ=infxδ(x)D(x)κ=infxD∞​(x)δ(x)​ is global — it is the slowest recovery rate over the entire basin. This is not necessarily the same as the local recovery rate near the attractor (the slowest eigenvalue of the linearization). For linear systems, they coincide. For nonlinear systems, they may differ if transient excursions produce slower effective recovery than the local linearization predicts.

This distinction is important: κκ is a global invariant of the basin, not merely a local property of the attractor. The relationship between the global κκ and the local Lyapunov exponent is an open question (see §6).


3.7 Non-Symmetric Linear Systems

For a general linear system x˙=Axx˙=Ax (where AA is stable, i.e., all eigenvalues have negative real parts), the same principle holds in the diagonalizable case. The slowest mode corresponds to the eigenvalue with the largest real part (closest to zero).

Conjecture: An analogous result holds for non-normal linear systems under additional assumptions on the semigroup, such as a uniformly exponentially stable semigroup satisfying suitable norm bounds. This remains an open question.


3.8 Comparison with Exponential Stability

Theorem 5 (Comparison with Exponential Stability): Suppose the system satisfies the exponential stability bound:δ(ϕt(x))Ceμtδ(x)δ(ϕt​(x))≤Ceμtδ(x)

for all xBx∈B, with constants C<C<∞ and μ>0μ>0. Then:κμCκCμ

Proof: From the stability bound:D(x)=0δ(ϕt(x))dt0Ceμtδ(x)dt=Cμδ(x)D∞​(x)=∫0∞​δ(ϕt​(x))dt≤∫0∞​Ceμtδ(x)dt=μCδ(x)

Therefore:δ(x)D(x)μCD∞​(x)δ(x)​≥Cμ

Taking the infimum over xx:κ=infxδ(x)D(x)μCκ=xinf​D∞​(x)δ(x)​≥Cμ

Interpretation: The variational constant κκ is bounded below by the exponential stability constant μ/Cμ/C.


4. Connections to Existing Theory

4.1 Koopman Operator

The Koopman operator KtKt acts on observables as:(Ktf)(x)=f(ϕt(x))(Ktf)(x)=f(ϕt​(x))

For linear systems x˙=Axx˙=−Ax, the Koopman eigenvalues are eλiteλit. The dominant nontrivial eigenvalue (largest less than 1) is eλ1teλ1​t, corresponding to the slowest decay rate.

For finite-dimensional linear systems, ρ=eλmintρ=eλmin​t, and therefore:1tlogρ=λmin=κt1​logρ=λmin​=κ

Thus, under the hypotheses of Theorem 3, the variational constant equals the exponential decay rate associated with the dominant Koopman eigenvalue.


4.2 Resolvent Poles

For finite-dimensional stable linear systems, the resolvent (sI+A)1(sI+A)−1 has poles at s=λis=−λi​. The pole closest to the imaginary axis is s=λ1s=−λ1​.

Since Theorem 3 identifies κ=λminκ=λmin​, and the resolvent poles are si=λisi​=−λi​, we obtain:κ=mini(si)κ=imin​∣ℜ(si​)∣

for finite-dimensional linear systems.


5. Finite-Horizon Estimation

In practice, we can only measure finite trajectories. Define the finite-horizon estimator:κT=infxKδ(x)DT(x)κT​=x∈Kinf​DT​(x)δ(x)​

where KBK⊂B is compact and KA=K∩A=∅.

Proposition 2 (Finite-Horizon Estimation): Assume:

  1. The flow ϕt(x)ϕt​(x) is jointly continuous in (t,x)(t,x).
  2. δ(x)δ(x) is continuous.
  3. The exponential stability bound δ(ϕt(x))Ceμtδ(x)δ(ϕt​(x))≤Ceμtδ(x) holds uniformly for all xKx∈K, with μ>0μ>0.

Then the variational constant κκ (from Definition 2) satisfies κμ/Cκμ/C by Theorem 5, and:κTκas TκT​→κas T→∞

with error:κTκ=O(eμT)κT​−κ∣=O(eμT)

Proof: For any xKx∈K, the tail bound gives:D(x)DT(x)=Tδ(ϕt(x))dtCeμTδ(x)μD∞​(x)−DT​(x)∣=∫T∞​δ(ϕt​(x))dtμCeμTδ(x)​

Since δ(x)δ(x) is bounded on the compact set KK, let M=supxKδ(x)<M=supx∈K​δ(x)<∞. Then:D(x)DT(x)CMeμTμD∞​(x)−DT​(x)∣≤μCMeμT

The right-hand side is independent of xx and tends to zero as TT→∞. Hence DTDDT​→D∞​ uniformly on KK.

Moreover, since KK is compact and KA=K∩A=∅, continuity of δδ gives infxKδ(x)>0infx∈K​δ(x)>0. Since DT(x)DT​(x) is continuous (by assumptions 1–2) and monotonically non-decreasing in TT (from §2), for any fixed finite T0>0T0​>0, D(x)DT0(x)D∞​(x)≥DT0​​(x), and DT0DT0​​ is continuous and strictly positive on KK. A continuous, strictly positive function on a compact set has a positive infimum:m=infxKDT0(x)>0m=x∈Kinf​DT0​​(x)>0

Thus:infxKD(x)m>0x∈Kinf​D∞​(x)≥m>0

Uniform convergence of DTDT​ to DD∞​ on KK therefore implies uniform convergence of δ(x)/DT(x)δ(x)/DT​(x) to δ(x)/D(x)δ(x)/D∞​(x). Consequently, the infima converge.


6. Open Questions

QuestionStatusDifficulty
Q1: Nonlinear systemsDoes infδDinfD∞​δ​ equal the local Lyapunov exponent?Hard
Q2: Local vs. global consistencyDoes limxAδ(x)D(x)=κlimx→A​D∞​(x)δ(x)​=κ hold for general nonlinear systems?Hard
Q3: Non-normal systemsDoes the infimum equal the slowest eigenvalue for non-normal AA?Moderate
Q4: Multiple timescalesDoes the infimum isolate the slowest timescale?Hard
Q5: Stochastic systemsHow does noise affect the finite-horizon estimator?Hard
Q6: Multiple attractorsHow does κκ behave in basins with multiple attractors?Moderate

7. Conclusion

This paper derives corrective permeability κκ from the cumulative deviation functional DT(x)DT​(x). The variational definition:κ=infxδ(x)D(x)κ=xinf​D∞​(x)δ(x)​

is shown to recover the slowest eigenvalue for linear systems, consistent with the conventional empirical definition κ=1/τκ=1/τ. A sharp universal persistence bound D(x)δ(x)/κD∞​(x)≤δ(x)/κ is established. A comparison theorem links κκ to classical exponential stability constants. A Hamilton-Jacobi-type transport equation for DD∞​ is derived. Connections to Koopman theory and resolvent theory are established for finite-dimensional linear systems. A finite-horizon estimator κTκT​ is provided with exponential convergence under explicit assumptions.

Key contribution: Within the present framework, κκ is defined variationally rather than introduced as an empirical fitting parameter — at least for the class of systems analyzed here.

Next steps: Extend the derivation to nonlinear systems (Q1–Q2), non-normal systems (Q3), multiple timescales (Q4), and stochastic dynamics (Q5).


References

Crandall, M. G., Ishii, H., & Lions, P. L. (1992). “User’s Guide to Viscosity Solutions of Second Order Partial Differential Equations.” Bulletin of the American Mathematical Society, 27(1), 1-67.

Evans, L. C. (2010). Partial Differential Equations. American Mathematical Society.

Galida, R. (2026a). “The Persistence Functional: A Candidate Formal Foundation for the Attractor Framework.” Fantasy Attractor.

Hale, J. K. (1988). Asymptotic Behavior of Dissipative Systems. American Mathematical Society.

Hirsch, M. W., Smale, S., & Devaney, R. L. (2004). Differential Equations, Dynamical Systems, and an Introduction to Chaos (2nd ed.). Elsevier Academic Press.

Khalil, H. K. (2002). Nonlinear Systems (3rd ed.). Prentice Hall.

Koopman, B. O. (1931). “Hamiltonian Systems and Transformations in Hilbert Space.” Proceedings of the National Academy of Sciences, 17(5), 315-318.

Lyapunov, A. M. (1892). The General Problem of the Stability of Motion. (English translation: 1992, Taylor & Francis).

Mezić, I. (2005). “Spectral Properties of Dynamical Systems, Model Reduction and Decompositions.” Nonlinear Dynamics, 41(1-3), 309-325.

Pazy, A. (1983). Semigroups of Linear Operators and Applications to Partial Differential Equations. Springer.

Vidyasagar, M. (1993). Nonlinear Systems Analysis (2nd ed.). Prentice Hall.


Suggested citation: Galida, R. S. (2026). Deriving Corrective Permeability from the Cumulative Deviation Functional. Fantasy Attractor.

image_pdfimage_print