Intereting Posts

Local solutions of a Diophantine equation
A continuous bijection from the Cantor Set to
How does a Class group measure the failure of Unique factorization?
Comparing Powers of Different Bases
Is this sum related to the Gregory's limit?
A logic puzzle involving a balance.
Order of elements modulo p
Proving a relation between inradius ,circumradius and exradii in a triangle
Calculate $\int_0^{1}\frac{x^{-1 – x}\,\,\,\left(1 – x\right)^{x – 2}}{\mathrm{B}(1 – x\,, \,x)}\,\mathrm{d}x$
Power Series Solution for $e^xy''+xy=0$
Find $a, b, c, d \in \mathbb{Z}$ such that $2^a=3^b5^c+7^d$
Partition of N into infinite number of infinite disjoint sets?
Find $\frac{\mathrm d^{100}}{\mathrm d x^{100}}\frac{x^2+1}{x^3-x}=$?
Finitely many prime ideals $\Rightarrow$ cartesian product of local rings
If $\{M_i\}_{i \in I}$ is a family of $R$-modules free, then the product $\prod_{i \in I}M_i$ is free?

Let $f\in S_\infty\subset L_1(\mathbb{R},\mu)$ with $\mu$ as the Lebesgue linear measure be a Lebesgue-summable function such that $$\forall (p,q)\in\mathbb{N}^2_{\ge 0}\quad\exists C_{pq}>0: \Bigg|x^p\frac{d^q}{d x^q}f(x)\Bigg|< C_{pq}$$

I was wondering whether, if $\forall p\in\mathbb{N_{\ge 0}}\quad\int_{\mathbb{R}}x^pf(x)d\mu=0$, then $f$ is constantly, or almost everywhere, null. I cannot find a counterexample and therefore I think that the implication might well hold, but I cannot prove it either.

Since $x^p f(x)$ belongs to $S_\infty\subset L_1$, thanks to the fact that $f$ belongs to it, and is continuous I think that the Lebesgue integral and the Riemann improper integral $\mathscr{R}\int_{-\infty}^\infty t^pf(t)dt$ are the same. Please correct if I am wrong.

Nevertheless I cannot use calculus facts to prove the desired implication… I have also tried using the fact that the Fourier transform induces a bijection $S_\infty\to S_\infty$, but with no result. What do you think about it? Has anybody got a counterexample or proof? Thank you very much!

- Show that if $x,x^{'}\in C$ then $C_x=C_{x^{'}}$.
- Proving that $x_n\to L$ implies $|x_n|\to |L|$, and what about the converse?
- Help solving a limit in two parts $\lim_{t\to 0}\left(\frac{1}{t\sqrt{1+t}}-\frac{1}{t}\right)$
- Limit involving exponential functions
- Conjecture ${\large\int}_0^\infty\leftdx=\frac{\zeta(3)}{8\pi^2}$
- Why is $\frac{\operatorname dy'}{\operatorname dy}$ zero, since $y'$ depends on $y$?

- Another evaluating limit question: $\lim\frac{1\cdot3\cdot5\cdot\ldots\cdot(2n-1)}{2\cdot4\cdot6\cdot\ldots\cdot2n}$
- How to prove the function is a constant
- Show rigorously that the sum of integrals of $f$ and of its inverse is $bf(b)-af(a)$
- Dimensions of a box of maximum volume inside an ellipsoid
- What's the nth integral of $\frac1{x}$?
- Show that that $|\sqrt{x}-\sqrt{y}| \le \sqrt{|x-y|}$
- Proving a limit involved in the Lagrangian inversion of $\frac{\log\sqrt{1+x}}{\sqrt{1+x}}$
- Norm inequality for sum and difference of positive-definite matrices
- f is monotone and the integral is bounded. Prove that $\lim_{x→∞}xf(x)=0$
- Suppose that $f$ is a real valued function such that its second derivative is discontinuous.Can you give some example?

Hint: Up to a constant, you have $\int x^p f(x) \, dx = \widehat{x^p \cdot f}(0)$.

Now use that $\mathcal{F}(x^p \cdot f) = \partial^p \widehat{f}$ (again up to a constant, depending on your definition of the Fourier transform) to construct some $f$ for which $\int x^p f\, dx$ vanishes for all $p$, but $f \not \equiv 0$.

(Essentially, construct $\widehat{f} \in S_\infty$ and define $f$ as $\mathcal{F}^{-1} \widehat{f}$.)

EDIT: Further comment: The condition $\int x^p \cdot f =0$ for a range of $p$ is (at least in the theory of Wavelets) known as a **vanishing moment condition** and the above considerations imply that vanishing moments are more or less equivalent to the vanishing of a range of derivatives of the Fourier transform at the origin.

See also this: What is a "vanishing moment"?

EDIT 2: **If $f$ has compact support**, then one can show that the Fourier transform is an analytic function. Hence, if $\partial^p \widehat{f}(0) = 0$ for all $p$, then $\widehat{f} \equiv 0$ and hence $f \equiv 0$.

Hence, functions with infinitely many vanishing moments can not be compactly supported.

- Equilibrium existence proof
- find all self-complementary graphs on five vertices
- How do we know that we'll never prove a contradiction in Math
- Norm of the Resolvent
- Why is the volume of a parallelepiped equal to the square root of $\sqrt{det(AA^T)}$
- Proving a palindromic integer with an even number of digits is divisible by 11
- For x < 5 what is the greatest value of x
- Can non-linear transformations be represented as Transformation Matrices?
- Is $H^2\cap H_0^1$ equipped with the norm $\|f'\|_{L^2}$ complete?
- Metric space is totally bounded iff every sequence has Cauchy subsequence
- What can be gleaned from looking at a domain-colored graph of a complex function?
- Suppose that each of the row sums of an $n\times n$ matrix $A$ is equal to zero. Show that $A$ must be singular.
- Discriminant of a binary quadratic form and an order of a quadratic number field
- Aren't vacuous statements True and False simultaneously?
- Prove by induction that… $1+3+5+7+…+(2n+1)=(n+1)^2$ for every $n \in \mathbb N$