Struct ResolventData 

pub struct ResolventData {
    pub spectrum: Vec<f64>,
    pub norm_bound: f64,
    pub is_compact: bool,
    pub is_self_adjoint: bool,
}

Represents the resolvent data of a linear operator.

Fields

spectrum: Vec<f64>

Spectrum (eigenvalues for finite-dimensional).

norm_bound: f64

Operator norm bound.

is_compact: bool

Whether the operator is compact.

is_self_adjoint: bool

Whether the operator is self-adjoint.

Implementations

impl ResolventData

pub fn new(spectrum: Vec<f64>, norm_bound: f64) -> Self

Creates resolvent data.

pub fn in_resolvent_set(&self, lambda: f64, tol: f64) -> bool

Returns the resolvent set (complement of spectrum) membership check.

pub fn resolvent_norm_estimate(&self, lambda: f64) -> Option<f64>

Estimates ||(λ - A)^{-1}|| using spectral theorem for self-adjoint.

pub fn spectral_gap(&self) -> Option<f64>

Returns the spectral gap (distance between consecutive eigenvalues, min).

pub fn is_invertible(&self) -> bool

Checks if the operator is invertible (0 not in spectrum).

Trait Implementations

impl Clone for ResolventData

fn clone(&self) -> ResolventData

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ResolventData

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

Formats the value using the given formatter.