[Paper Review] Superstability and Finite Time Extinction For C_0-Semigroups

Darren Creutz, Jr . M. Mazo+1 more|arXiv (Cornell University)|Jul 28, 2009

Stability and Controllability of Differential Equations9 references3 citations

TL;DR

This paper introduces a unified framework for analyzing superstability and finite time extinction in $C_0$-semigroups using entry times into shrinking balls around the origin. It establishes Pazy-type integral conditions for these properties, proves that finite time extinction implies superstability but not conversely, and constructs explicit counterexamples—answering Balakrishnan's open question with a differential operator-based superstable system that does not extinguish in finite time.

ABSTRACT

A new approach to superstability and finite time extinction of strongly continuous semigroups is presented, unifying known results and providing new criteria for these conditions to hold analogous to the well-known Pazy condition for stability. That finite time extinction implies superstability which is in turn equivalent to several (both known and new) conditions follow from this new approach in a consistent fashion. Examples showing that the converse statements fail are constructed, in particular, an answer to a question of Balakrishnan on superstable systems not exhibiting finite time extinction.

Motivation & Objective

• To unify and extend existing results on superstability and finite time extinction in $C_0$-semigroups using a novel entry time-based approach.
• To provide new, analogous criteria for superstability and finite time extinction similar to Pazy’s condition for exponential stability.
• To resolve Balakrishnan’s open question regarding the existence of superstable systems with differential operator generators that do not exhibit finite time extinction.
• To clarify the strict hierarchy: finite time extinction ⇒ superstability ⇒ stability, with counterexamples showing each implication is strict.

Proposed method

• Define the relative entry time $u_r = \sup\{t_{r+1}(x) - t_r(x) : \|x\| \leq 1\}$, where $t_r(x)$ is the infimum time such that $\|T(t')x\| \leq e^{-r}$ for all $t' \geq t$.
• Establish equivalence between stability, superstability, and finite time extinction and the asymptotic behavior of $u_r$: $\limsup u_r < \infty$, $\lim u_r = 0$, and $\sum u_r < \infty$, respectively.
• Derive Pazy-type integral conditions using the logarithm of the operator norm: $\int_a^\infty |\log \|T(t)\||^{-p} dt < \infty$ for various $p$ values.
• Construct counterexamples in $L^2$ spaces with Gaussian and Lebesgue measures to demonstrate strictness of the hierarchy between the three stability types.
• Use semigroups of translation and fractional integration operators (e.g., $J^{it}$) to generate examples with empty spectrum but non-superstable behavior.
• Apply functional analytic tools, including spectral theory and properties of the gamma function, to analyze the growth and decay of operator norms.

Experimental results

Research questions

• RQ1 Can a unified characterization of superstability and finite time extinction in $C_0$-semigroups be developed using entry times?
• RQ2 Do Pazy-type integral conditions exist for superstability and finite time extinction, analogous to those for exponential stability?
• RQ3 Is there a superstable $C_0$-semigroup with a differential operator generator that does not exhibit finite time extinction?
• RQ4 What is the precise relationship between the three stability types: stability, superstability, and finite time extinction?
• RQ5 Can examples be constructed to show that finite time extinction is strictly stronger than superstability, and superstability strictly stronger than stability?

Key findings

• Finite time extinction holds if and only if $\sum_{r=0}^\infty u_r < \infty$, where $u_r$ is the relative entry time for level $r$.
• Superstability is equivalent to $\lim_{r \to \infty} u_r = 0$, and this condition is strictly stronger than stability.
• The paper constructs a superstable $C_0$-semigroup on $L^2(\mathbb{R}^+, \mu)$ with generator $-\frac{d}{ds}$ that does not exhibit finite time extinction, answering Balakrishnan’s question affirmatively.
• The semigroup defined by $T(t)f(s) = f(s+t)$ for $s+t \leq 1$ and zero otherwise has finite time extinction at $t=1$, with $u_r = 0$ for $r > 0$.
• An example with empty spectrum but non-superstable semigroup is constructed using analytic continuation of fractional integration semigroups $J^{it}$.
• The Pazy-type condition for superstability is $\int_a^\infty |\log \|T(t)\||^{-p} dt < \infty$ for $1 < p < \infty$, and for finite time extinction, the limit as $p \downarrow 0$ of the same integral must be finite.