Is the convolution an invertible operation?
I have a signal $f(x,y)$, which is discrete. I convolve this signal with a kernel $h(x,y)$:
$y(x,y) = f(x,y) \star h(x,y)$ (where $\star$ is the convolution operator)
Can I obtain $f(x,y)$ given only $y(x,y)$ and $h(x,y)$ ?
Note: Even though this may be a signal processing question I would like to know the answer (invertibility) from a Mathematical point of view.
Consider the convolution theorem, $\operatorname{Four}\{f\star g\}=\operatorname{Four}\{f\}\operatorname{Four}\{g\}.$ It's clear the original frequency space representation of f can only be recovered by division if the zeros of $\operatorname{Four}\{g\}$ are a subset of the zeros of $\operatorname{Four}\{f \star g\}$.
But in general, convolution of functions is almost a ring (there's no exact identity element). The linear space of compactly supported distributions forms an actual ring under convolution, and so it has a group of units. These are distributions whose convolutions are always reversible. One could consider invertibility in a neighborhood, by localizing this ring, in the same way you consider x to be invertible to 1/x in a neighborhood not containing x=0.
If convolution still makes sense with improper integrals then I believe the following shows that the answer is "No".
Consider the 1d case, with
$ f(t) = \frac{1}{1+t^2}\quad\text{and}\quad h(t) = 1,$
so then
$y(t) = f \star h = \int_{-\infty}^{\infty}\ f(\tau)h(t-\tau)\ d\tau = \int_{-\infty}^{\infty}\ f(\tau)\ d\tau = \pi $
Assume if $f$ were recoverable from $y$ and $h$, then for any $g$ such that $g \star h = y$, we must have $g=f$.
Consider,
$g(t) = \sqrt{\pi}e^{-t^2} \neq f(t) \longrightarrow g \star h = \pi = y(t)$
Contradiction!