Skip to main content
Notice removed Authoritative reference needed by CommunityBot
Bounty Ended with no winning answer by CommunityBot
edited title
Link
J. Swail
  • 437
  • 2
  • 9

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

Notice added Authoritative reference needed by Muzi
Bounty Started worth 150 reputation by Muzi
edited body
Source Link
J. Swail
  • 437
  • 2
  • 9

Let $S \subset \mathbb R$ be a uniform gridset of sampling points, say $S = \alpha \mathbb Z, \alpha >0$. Let $k$ be a square integrable functionsome convolution kernel and $A$ the operator which maps some $f \in L^2(\mathbb R)$$f$ 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$$L^1$-functions on $[0,1]$, i.e. $L^2[0,1]$$L^1[0,1]$. For which $k$ can we choosedoes there exist 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). $$$$ \forall f,g \in L^1[0,1] : (k*f(x)=k*g(x) \ \forall x \in S \implies f=g). $$ There are obvious candidates for $k$ where this is notnot 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$ equalsis equal to $L^2(\mathbb R)$$L^p(\mathbb R)$. Here, I'm intersted in functions with compact support.

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.

Let $S \subset \mathbb R$ be a set of sampling points, say $S = \alpha \mathbb Z, \alpha >0$. Let $k$ be some convolution kernel and $A$ the operator which maps some $f$ 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^1$-functions on $[0,1]$, i.e. $L^1[0,1]$. For which $k$ does there exist a set $S=\alpha \mathbb Z$ such that the resulting operator $A$ is injective? In formulas: $$ \forall f,g \in L^1[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$ is equal to $L^p(\mathbb R)$. Here, I'm intersted in functions with compact support.

Notice removed Authoritative reference needed by CommunityBot
Bounty Ended with no winning answer by CommunityBot
Notice added Authoritative reference needed by J. Swail
Bounty Started worth 200 reputation by J. Swail
Notice removed Authoritative reference needed by CommunityBot
Bounty Ended with no winning answer by CommunityBot
Notice added Authoritative reference needed by J. Swail
Bounty Started worth 100 reputation by J. Swail
deleted 23 characters in body
Source Link
J. Swail
  • 437
  • 2
  • 9

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

Let $S \subset \mathbb R$ be a separated subset of the real line (meaning that $\inf_{x \neq y \in S} |x-y| > 0$) such as a uniform grid, say $S = \alpha \mathbb Z$$S = \alpha \mathbb Z, \alpha >0$. Let $K$$k$ be a square integrable function and $A$ the operator which maps $f \in L^2(\mathbb R)$ to the sequence $$ Af = (K*f(x))_{s \in S} $$$$ Af = (k*f(s))_{s \in S} $$ I.e. $A$ maps $f$ to the samples of the convolution of $f$ with $K$$k$.

Problem:

Restrict $A$ to the space of compactly supported $L^2$-functions on $[0,1]$, sayi.e. $L^2[0,1]$. For which $K$$k$ can we choose a separated sampling set $S$$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). $$ $$ \forall f,g \in L^2[0,1] : (K*f(x)=K*g(x) \ \forall x \in S \implies f=g). $$

ThereThere are obvious candidates offor $K$$k$ where this is not true, e.g. compactly supported $K$$k$.

I was wondering if anyone of you came accross such problems or, knows if there's a characterization of such functions $K$$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.

Injectivity of the covolution operator $f \mapsto (K*f(x))_{s \in S}$ via sampling at $S \subset \mathbb R$

Let $S \subset \mathbb R$ be a separated subset of the real line (meaning that $\inf_{x \neq y \in S} |x-y| > 0$) such as a uniform grid, $S = \alpha \mathbb Z$. 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(x))_{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, say $L^2[0,1]$. For which $K$ can we choose a separated sampling set $S$ 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 of $K$ where this is not true, e.g. compactly supported $K$.

I was wondering if anyone of you came accross such problems or knows if there's a characterization of such functions $K$. 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.

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.

Source Link
J. Swail
  • 437
  • 2
  • 9
Loading