Skip to main content
2 of 4
deleted 23 characters in body
J. Swail
  • 437
  • 2
  • 9

Injectivity of the covolution operator $f \mapsto (k*f(s))_{s \in S}$ via sampling at $S=\alpha \mathbb Z$

Let $S \subset \mathbb R$ be a uniform grid, say $S = \alpha \mathbb Z, \alpha >0$. Let $k$ be a square integrable function and $A$ the operator which maps $f \in L^2(\mathbb R)$ to the sequence $$ Af = (k*f(s))_{s \in S} $$ I.e. $A$ maps $f$ to the samples of the convolution of $f$ with $k$.

Problem:

Restrict $A$ to the space of compactly supported $L^2$-functions on $[0,1]$, i.e. $L^2[0,1]$. For which $k$ can we choose a set $S=\alpha \mathbb Z$ such that the resulting operator $A$ is injective? In formulas: $$ \forall f,g \in L^2[0,1] : (k*f(x)=k*g(x) \ \forall x \in S \implies f=g). $$ There are obvious candidates for $k$ where this is not true, e.g. compactly supported $k$.

I was wondering if anyone of you came accross such problems, knows if there's a characterization of such functions $k$ or can point towards papers regarding this problem. The papers I found so far mainly deal with situation where the domain of $A$ equals to $L^2(\mathbb R)$. Here, I'm intersted in functions with compact support.

J. Swail
  • 437
  • 2
  • 9