Skip to main content
1 of 2
Iosif Pinelis
  • 127.7k
  • 8
  • 107
  • 229

$\newcommand\Z{\mathbb Z}\newcommand\R{\mathbb R}\newcommand\N{\mathbb N}\newcommand\C{\mathbb C}$Suppose indeed that $A=c\mathbb Z$ for some $c>0$. By rescaling, the problem reduces to the following: for given real $a$ and $b$ such that $a<b$, recover the (say continuous) function $f\colon[a,b]\to\C$ given the numbers $$\alpha_k:=\int_a^b dy\, f(y) e^{-(Ck-y)^2/2}$$ for some real $C>0$ and all $k\in\Z$. Note that $$\alpha_k=e^{-(Ck)^2/2}\int_a^b dy\, f(y) e^{-y^2/2}e^{Cky}.$$ So, with the substitution $x=e^{Cy}$, the problem reduces to the following inverse moment problem: for given real $s$ and $t$ such that $s<t$, recover the continuous function $h\colon[s,t]\to\C$ given the power moments $$\mu_k:=\int_s^t dx\, h(x) x^k$$ for all $k\in\N_0$. Further, using the substitution $x=s+z$ and the binomial formula, we may assume that here $s=0$.

The resulting inverse moment problem can be solved by an explicit formula, as explained e.g. in the paragraph containing formula (2.2): $$\sum_{0\le j\le ux}\sum_{k=j}^\infty\frac{(-1)^{k-j}u^k}{(k-j)!j!}\,\mu_k\underset{u\to\infty}\longrightarrow\int_0^x dv\,h(v)$$ for all $x\in[0,t]=[s,t]$, as desired. (This formula is stated in the linked paper only for nonnegative $h$. However, this inversion formula holds for complex-valued $h$ by linearity and in view of the decomposition of a real-valued function into its positive and negative parts.)

Iosif Pinelis
  • 127.7k
  • 8
  • 107
  • 229