1. Turing Meets Shannon: Computable Sampling Type Reconstruction With Error Control
- Author
-
Holger Boche and Ullrich J. Monich
- Subjects
Discrete mathematics ,Signal processing ,Computability ,Approximation algorithm ,020206 networking & telecommunications ,02 engineering and technology ,Type (model theory) ,Discrete-time signal ,Analog signal ,Approximation error ,Signal Processing ,0202 electrical engineering, electronic engineering, information engineering ,Electrical and Electronic Engineering ,BIBO stability ,Mathematics - Abstract
The conversion of analog signals into digital signals and vice versa, performed by sampling and interpolation, respectively, is an essential operation in signal processing. When digital computers are used to compute the analog signals, it is important to effectively control the approximation error. In this paper we analyze the computability, i.e., the effective approximation of bandlimited signals in the Bernstein spaces $\mathcal {B}_{\pi }^p$ , $1 \leq p , and of the corresponding discrete-time signals that are obtained by sampling. We show that for $1 , computability of the discrete-time signal implies computability of the continuous-time signal. For $p=1$ this correspondence no longer holds. Further, we give a necessary and sufficient condition for computability and show that the Shannon sampling series provides a canonical approximation algorithm for $p>1$ . We discuss BIBO stable LTI systems and the time-domain concentration behavior of bandlimited signals as applications.
- Published
- 2020
- Full Text
- View/download PDF