Skip to main content

All Questions

Filter by
Sorted by
Tagged with
17 votes
2 answers
5k views

Positive-Definite Functions and Fourier Transforms

Bochner's theorem states that a positive definite function is the Fourier transform of a finite Borel measure. As well, an easy converse of this is that a Fourier transform must be positive definite. ...
Alex R.'s user avatar
  • 4,952
27 votes
2 answers
5k views

What can be said about the Fourier transforms of characteristic functions?

What can be said about the Fourier transform of the characteristic function $1_A$, where $A\subset \mathbb{R}^n$ is of finite Lebesgue measure? In particular, What properties are common to ...
Joni Teräväinen's user avatar
24 votes
3 answers
3k views

Can Hölder's Inequality be strengthened for smooth functions?

Is there an $\epsilon>0$ so that for every nonnegative integrable function $f$ on the reals, $$\frac{\| f \ast f \|_\infty \| f \ast f \|_1}{\|f \ast f \|_2^2} > 1+\epsilon?$$ Of course, we ...
Kevin O'Bryant's user avatar
8 votes
2 answers
3k views

$L^p$-norm of Fourier series in terms of coefficients, $p \neq 2$

It is known that the $L^2$-norm of a Fourier series equals the $l^2$-norm of the coefficients. Are there similar results in the case of $L^p$-norm for $p\neq 2$? Can it be expressed explicitly in ...
Housen's user avatar
  • 176
1 vote
1 answer
112 views

A bilinear estimate with a simple one-dimensional oscillatory integral kernel

Let $f\in L^{p}(\mathbb{R})$, $1\leq p\leq 2$. I am trying to show that $$\int_{\mathbb{R}}\int_{\mathbb{R}} \,K(y,z)\, \frac{f(y)f(z)}{y^{\frac{1}{2\,p^{\prime}}}\,z^{\frac{1}{2\,p^{\prime}}}}\,dy\,...
Medo's user avatar
  • 852
0 votes
1 answer
245 views

Riemann-Liouville integral of $f$ is zero implies $f =0$ a.e

The Riemann-Liouville integral is defined by $$ I^\alpha f(x)=\frac{1}{\Gamma(\alpha)} \int_a^x f(t)(x-t)^{\alpha-1} d t $$ where $\Gamma$ is the gamma function and $a$ is an arbitrary but fixed base ...
Grandes Jorasses's user avatar