Computability of the Spectrum of Self-Adjoint Operators and the Computable Operational Calculus

DOI10.1016/j.entcs.2008.03.026zbMath1262.03135OpenAlexW2038236204MaRDI QIDQ4918048

Ruth Dillhage

Publication date: 3 May 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2008.03.026

zbMATH Keywords

Hilbert spacesoperational calculusself-adjoint operatorscomputable functional analysisTTEspectrum and eigenvalues

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Spectrum, resolvent (47A10) Constructive operator theory (47S30)

Cites Work

• Computability in linear algebra
• Computability on subsets of metric spaces.
• The eigenvalues of an effectively determined self-adjoint operator are computable, but the sequence of eigenvalues is not
• Strong Carleman operators are of Hilbert-Schmidt type
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Computability of the Spectrum of Self-Adjoint Operators and the Computable Operational Calculus