Struct StrongContSemigroup 

pub struct StrongContSemigroup {
    pub generator_spectrum: Vec<f64>,
    pub growth_bound: f64,
    pub bound_constant: f64,
    pub is_analytic: bool,
    pub is_contractive: bool,
}

Data for a strongly continuous semigroup {T(t)}_{t>=0}.

Fields

generator_spectrum: Vec<f64>

Generator A (represented as spectral data).

growth_bound: f64

Growth bound ω: ||T(t)|| <= M e^{ωt}.

bound_constant: f64

Constant M in the bound.

is_analytic: bool

Whether the semigroup is analytic.

is_contractive: bool

Whether the semigroup is contractive (ω <= 0, M = 1).

Implementations

impl StrongContSemigroup

pub fn new(generator_spectrum: Vec<f64>, growth_bound: f64) -> Self

Creates a strongly continuous semigroup.

pub fn norm_bound(&self, t: f64) -> f64

Estimates ||T(t)|| <= M e^{ωt}.

pub fn apply_at_time(&self, t: f64, initial: &[f64]) -> Vec<f64>

Computes T(t)v for a diagonal generator (eigenvalue decomposition).

pub fn check_hille_yosida(&self) -> bool

Checks Hille-Yosida condition: (ω, ∞) ⊂ resolvent set.

pub fn spectral_bound(&self) -> f64

Returns the spectral bound s(A) = sup{Re(λ) : λ ∈ σ(A)}.

Trait Implementations

impl Clone for StrongContSemigroup

fn clone(&self) -> StrongContSemigroup

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for StrongContSemigroup

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.