Skip to main content

All Questions

Filter by
Sorted by
Tagged with
22 votes
2 answers
2k views

When are Fourier coefficients monotonic?

Given some sufficiently smooth function $f$ what conditions would be sufficient for its Fourier coefficients, as defined by $$ \hat{f}(n) := \int_{0}^{2\pi}\cos(nx)f(x)\ dx, \quad \text{for } n = 1,2,\...
spaceman's user avatar
  • 595
7 votes
2 answers
455 views

On a monotonicity property of Fourier coefficients of truncated power functions

Is it true that $$a_{k,n}:=\int_0^{2\pi}x^k\cos(nx)\,dx$$ is nonincreasing in natural $n$ for each $k\in\{0,1,\dots\}$? This question is related to this previous one. Twice integrating by parts, one ...
Iosif Pinelis's user avatar
5 votes
2 answers
202 views

Monotonicity of a parametric integral

For real $x>0$, let $$f(x):=\frac1{\sqrt x}\,\int_0^\infty\frac{1-\exp\{-x\, (1-\cos t)\}}{t^2}\,dt.$$ How to prove that $f$ is increasing on $(0,\infty)$? Here is the graph $\{(x,f(x))\colon0<...
Iosif Pinelis's user avatar
2 votes
1 answer
433 views

bounding the absolute value of a trigonometric polynomial

Consider a function $f:[0,1]\rightarrow \mathbb{C}$ and points $t_0,t_1,\ldots,t_n\in[0,1]$ \begin{equation*} f(t)=\prod_{k=1}^n\frac{(e^{2\pi i t}-e^{2\pi i t_k})}{(e^{2\pi i t_0}-e^{2\pi i t_k})} \...
mohi's user avatar
  • 859
1 vote
1 answer
307 views

Convexity of discrete Fourier transform

Let $f : [0,2\pi] \to \mathbb{R}$ be a continuous convex function on $(0,2\pi)$ which is singular about $0$ and $2\pi$ but finite when evaluated at the boundaries. Assume also that $f$ is symmetric ...
spaceman's user avatar
  • 595
1 vote
2 answers
140 views

Extending a discrete singular kernel

Let $\{\phi(n)\}_{n\in\mathbb Z}$ be a sequence of complex numbers with the following properties: $\phi(0)=0$ and $|\phi(n)|\leq \frac{C_1}{|n|}$ for all $n\neq 0$ and $C_1>0$ is independent of $n....
A beginner mathmatician's user avatar
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