The fourier-analysis tag has no wiki summary.

**0**

votes

**0**answers

88 views

### book suggestion in fourier analysis and differential topology [on hold]

I am at present following Vinberg and Onischik's Lie Groups and Algebraic Groups and I find it a fantastic book with theory developed through a series of problems left to the reader. I would like to ...

**0**

votes

**0**answers

56 views

### How $f$ is approximated, in the $L^{p}-$ norm, by a function $f+h$ whose Fourier transform is constant in some nbhd of the point?

Fact.Suppose $f\in L^{1}(\mathbb R), x_{0}\in \mathbb R,$ and $\epsilon >0.$ Then there exists $h\in L^{1}(\mathbb R)$ with $\|h\|_{L^{1}}< \epsilon,$ such that
$$\hat{h}(x)= ...

**0**

votes

**0**answers

48 views

### approximation of $L^{1}-$ function in the $L^{1}-$norm in some particular way [closed]

Fact: Suppose $f\in L^{1}(\mathbb R), \gamma_{0}\in \mathbb R, \hat{f}(\gamma_{0})=0, W$ is a some neighbourhood of $\gamma_{0},$ and $\epsilon >0.$ Then there exists $k\in L^{1}(\mathbb R)$ such ...

**0**

votes

**1**answer

116 views

### $\widehat{f\ast g}= \hat{f} \cdot \hat{g}$ for $f, \hat{f} \in L^{p}(\mathbb R)\cap C(\mathbb R) (1<p<\infty, p\neq 2), g\in \mathcal{S}(\mathbb R)$? [closed]

(This may be very simple question for MO; I had post it to math stack exchange few days back but I could not get any answer(or comment) to it)
It is well-known that, for $f,g \in L^{1}(\mathbb R).$ ...

**5**

votes

**0**answers

66 views

### Heuristic interpretation of the 'third index' for Besov and Triebel-Lizorkin spaces

For $p,q \in (0,\infty)$ and $s \in \mathbb{R}$, one can define certain function spaces, $B_s^{p,q}(\mathbb{R}^n)$ and $F_s^{p,q}(\mathbb{R}^n)$, the Besov and Triebel-Lizorkin spaces respectively. ...

**4**

votes

**2**answers

98 views

### Approximate Moment Conditions

It is known in classical probability that if two random variables $X$ and $Y$ obeys
$$\mathbb{E} X^k = \mathbb{E}Y^k, \ \forall \ k \geq 1$$
with additional condition that $\mathbb{E}X^k$ does not ...

**0**

votes

**0**answers

112 views

### $L^{p}(\mathbb R)\subset L^{1}(\mathbb R) \ast L^{p}(\mathbb R), (1< p< \infty)$?

Let $\mathbb T$ be a circle group.
In 1939, Salem, has shown that, every member of $L^{1}(\mathbb T)$ can written as a product(convolution) some other two members of $L^{1}(\mathbb T),$ that is, ...

**4**

votes

**0**answers

76 views

### Why is the density function of a sum of many iid random variables (i.e., the Gaussian) self-dual?

In the usual proof of the central limit theorem via characteristic functions, we note that if $X_1, \dots, X_n$ are independent and identically distributed, with probability density function $f(x)$, ...

**2**

votes

**0**answers

103 views

### seek another proof of a result in Fourier analysis

It was proved on page 26 of this note the following result:
Let $\xi$ be an algebraic number that is not a root of unity, then there exists an $n_0\geq 0$ with the property that ...

**0**

votes

**0**answers

61 views

### Paley-Wiener type theorem for integral functions with compact support

If $f\in L^{1}(\mathbb{R}^n)$, and $f$ has compact support, then how can I show that $\hat{f}$ cannot satisfy $\hat{f}(x)=O(e^{-\epsilon|x|})$ for any $\epsilon>0$?
This is similar in the spirit ...

**0**

votes

**0**answers

56 views

### A function sequence converge to a Fourier series implies point-wise converge? [migrated]

Assume $f(x)$ is a smooth $2\pi$ periodic function and can be decomposed as
$$f(x)=\sum_{n=-\infty}^\infty a_ne^{inx}$$
A function sequence $f_m(x)$ satisfies
$$\int_0^{2\pi}f_m(x)e^{-inx}dx\to ...

**1**

vote

**0**answers

102 views

### Uniform bound for an alternating series of functions

I have mainly two questions, the first one being motivated by the second one.
1) Is there a way to prove that $F(x) = \sum_{k=1}^\infty \frac{(-1)^{k+1} x^{2k}}{(2k)!}$ is bounded on $\mathbb{R}_+$ ...

**0**

votes

**0**answers

32 views

### Godement-Jacquet and L-functions

Let $M_{r}(F)$ be the matrices with coefficients in a local nonarchimedean field $F$ and $q$ the cardinal of the residue field.
We have a Fourier tansform on $M_{r}(F)$ with kernel ...

**4**

votes

**1**answer

127 views

### A Fourier series that does not converge in $L^1$

I'm reading Katznelson's book "Harmonic Analysis" and there is an exercise that I can't solve :
Show that if the sequence $\left\{ N_j \right\} $ tends to infinity
fast enough, then the Fourier ...

**9**

votes

**1**answer

243 views

### Is a Bessel function larger than all other Bessel functions when evaluated at its first maximum?

Let $\mathcal{J}_{n+1/2}$ be the Bessel function of order $n+1/2$. Let $x_n$ denote the first zero of its derivative, which is also the location of the first maximum of $\mathcal{J}_{n+1/2}$.
My ...

**2**

votes

**0**answers

133 views

### A decomposition of a representation via characters of a normal compact subgroup

This is connected to my question here. Let $K$ be a normal compact subgroup in a locally compact group $G$, $\widehat{K}$ the dual object for $K$, and $\mu_K$ the normed Haar measure on $K$ ...

**6**

votes

**1**answer

198 views

### Shortcut from discrete Fourier transform F{x} to zero-padded F{x:0…0}

Summary:
Given $X$ (the discrete Fourier transform of some unknown vector $x$ of length $N$), is there any shortcut to computing $X'$ (the Fourier transform of $x$ after padding it with $N$ zeros)?
...

**3**

votes

**0**answers

101 views

### Estimates of a bilinear oscillatory integral

Consider the operator $T_\lambda f(x)= \int_{\mathbb{R}^3}{\frac{\sin\lambda|x-y|}{|x-y|}\phi(x-y) f(y) dy}$, where $\phi\in C_0^{\infty}$, $\phi(x)=1$, when $|x|<1$ . My question is that do we ...

**13**

votes

**2**answers

245 views

### Can a continuous function on a compact group $G$ be interpreted as the sum in $C(G)$ of its Fourier series?

I asked this in math.stackexchange, but it disappeared from the "main list" almost immediately, so I hope it will be appropriate as a separate question in MO.
For a given function $f\in C(G)$ on a ...

**2**

votes

**1**answer

126 views

### Solvability of a Fredholm system in $L^2$

Suppose $\lambda\not=0\in\mathbb{C}$. Does the following system have a non trivial solution in $L^2 [0,1]$?
\begin{array} {lcl} \int_0 ^1 f(y)\log|x-y|dy=\lambda f(x) \\\int_0 ^1f(x)dx=0& ...

**2**

votes

**1**answer

123 views

### To understand integral :$\lambda (x) = \int_{0}^{\infty} \frac{\sin^{2} \alpha x}{\alpha^{2}} d\mu(\alpha), (\mu(0)=0)$

I wants to understand the integrals of the form
$$\lambda (x) = \int_{0}^{\infty} \frac{\sin^{2} \alpha x}{\alpha^{2}} d\mu(\alpha), (\mu(0)=0)$$
where $\mu(\alpha)$ is a non decreasing function ...

**7**

votes

**1**answer

391 views

### Major arcs in the proof that every odd number is the sum of at most 5 primes

In his proof that all odd numbers greater than 1 are the sum of at most 5 primes, Terence Tao uses one large major arc around 0 rather than small ones around the rationals, which I am more accustomed ...

**18**

votes

**2**answers

1k views

### Is this statement which relates the Fourier transform of a function to its singularities correct?

I am working on a problem, which would possibly relate the Fourier transform/series with the jump singularities of the function where the function itself or one of its derivatives jump. ((some kind of ...

**2**

votes

**0**answers

124 views

### pointwise limit of uniformly bounded sequence in $A(\mathbb T)$ is again in $A(\mathbb T)$?

Let $\mathbb T$ be a circle group, and $\hat{f}(n)= \frac{1}{2\pi}\int_{0}^{2\pi} f(t) e^{-int} dt;$ $(n\in \mathbb Z, f\in L^{1} (\mathbb T)).$
Put $A(\mathbb T)= \{f\in C(\mathbb T): \hat{f}\in ...

**3**

votes

**1**answer

227 views

### Can the Fourier series of a continuous function diverge on an uncountable set of measure zero?

I know that there exist continuous function $f: [0,2\pi]\rightarrow\mathbb{R}$ whose Fourier series diverges at all rational points of $[0,2\pi]$(c.f. Katznelson).We also know that the set of ...

**17**

votes

**2**answers

597 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 ...

**7**

votes

**1**answer

198 views

### Absolute continuity reflected in Fourier coefficients?

Imagine $\mu$ and $\nu$ are two Borel probabilty measures in the interval $[0,1]$.
We say that $\mu$ is absolutely continuous with respect to $\nu$, if for every measurable set $A$ such that ...

**5**

votes

**5**answers

253 views

### Characterizing and counting boolean functions with all influences 1/2

Is there a characterization of boolean functions $f:\{-1,1\}^n \longrightarrow \{-1,1\}$,
so that $\mathbf{Inf_i}[f]=\frac{1} {2}$, for all $1\leq i\leq n$? Is it known how many such functions there ...

**2**

votes

**0**answers

98 views

### $f, \hat{f} \in L^{p}\cap L^{\infty} \implies f\in B(\mathbb R)$ (algebra of Fourier- Stieltjes transforms )?

For a bounded complex Borel measure $\mu$ on $\mathbb R$, we define, its Fourier-Stieltjes transform, $\hat{\mu}(y)= \int_{\mathbb R} e^{-2\pi ix\cdot y} d\mu(x); (y\in \mathbb R).$
Let $1\leq p \leq ...

**29**

votes

**1**answer

629 views

### For which maps $S^1\to S^1$ is the winding number defined?

There are two classes of maps $S^1\to S^1$ for which I know how to define the winding number:
• Continuous maps:
Using the unique path lifting property of the universal covering map $\mathbb R\to ...

**0**

votes

**0**answers

61 views

### Under condition of Zygmund is the following inequality true?

Let $f:R\rightarrow R$ be a continuous function and satisfies the following Zygmund condition
$$
|f(x+\delta)+f(x-\delta)-2f(x)|\leq \text{const} \frac{|\delta|}{(\log\frac{1}{|\delta|})^{\alpha}}, ...

**4**

votes

**1**answer

226 views

### Fourier series of functions on compact groups

Let $G$ be a compact, second countable, Hausdorff topological group with the normalized Haar measure $\mu$. From Peter-Weyl's theorem we now that for any $f\in \mathrm{L}^2(G)$ the Fourier series of ...

**1**

vote

**1**answer

68 views

### Is the fractional integral of order 1/2 of an L_2 function continuous

Let $R_\alpha f(t) = \int_0^t (t-s)^{-\alpha} f(s)\,ds$ the fractional integration operator. If $f \in L_q(0,1)$ for some $q>2$ then $R_{1/2} f$ is (even Hölder) continuous on $[0,1]$.
My ...

**0**

votes

**0**answers

50 views

### Discrete Fourier tranform on $L^2(\mathbb{R})$

I'm studying on the following construction:
For $\lambda\in\mathbb{R}$, denote
$$Y_{\lambda}=\left\{g\in L^{2,loc}(\mathbb{R})\,:\,g(t+2\pi)=e^{2\pi i\lambda}g(t)\right\}$$
We give to $Y_{\lambda}$ ...

**0**

votes

**0**answers

31 views

### properties of frequency-uniform decomposition operator $\square_{k}^{\sigma}$

Let $\rho \in S(\mathbb R^{n})= \text{Schwartz space}, \ \rho:\mathbb R^{n}\to [0,1]$ be smooth radial function verifying $\rho(\xi)=1$ for $|\xi|_{\infty}\leq \frac{1}{2}$ and $\rho(\xi)=0$ for ...

**18**

votes

**1**answer

804 views

### Is this Riemann zeta function product equal to the Fourier transform of the von Mangoldt function?

Mathematica knows that:
$$\log(n) = \lim\limits_{s \rightarrow 1} \zeta(s)\left(1 - \frac{1}{n^{(s - 1)}}\right)\;\;\;\;\;\;\;\;\;\;\;\; (1)$$
The von Mangoldt function should then be:
...

**2**

votes

**1**answer

313 views

### Modulus of of continuity of a convolution operator with respect to Wasserstein metric

For a (discrete) measure $G$ on some reasonable metric space $\Theta$, consider the map $G \mapsto f_G$ defined as
$$
f_G := f*G(dx) := \int f(dx|\theta) G(d\theta)
$$
for some nice kernel function ...

**0**

votes

**1**answer

164 views

### Closed sets in the space of Fourier transforms $\mathcal{F}L^{1}$

Consider the space of all Fourier transforms of $L^{1}(\mathbb R),$ that is,
$$\mathcal{F}L^{1}=\mathcal{F}L^{1}(\mathbb R):= \{f\in L^{\infty}(\mathbb R):\hat{f}\in L^{1}(\mathbb R)\},$$
with the ...

**0**

votes

**0**answers

72 views

### when does this identity hold?

When I compute some Fourier series, I find the following interesting identity:
$$
\sum_{n\in\mathbb{Z}}\left(\frac{\sin((n+a)x)}{(n+a)x}\right)^k
=\frac{1}{|x|}\int_{y\in\mathbb{R}}\left(\frac{\sin ...

**2**

votes

**0**answers

49 views

### Random square submatrices of a Hadamard matrix

Question: For $N$ be a power of $2$, let $A$ be a random $d \times d$ submatrix of the $N \times N$ Hadamard matrix (the matrix of the Hadamard/Walsh-Fourier transform). What is the best known upper ...

**14**

votes

**2**answers

401 views

### What geometric information is carried by the Fourier coefficients of the components of a closed curve?

Let $\gamma$ be a smooth closed curve in the plane and let $(x(t), y(t))$ be a parametrization. The functions $x(t)$ and $y(t)$ are smooth and periodic, so each has a uniformly convergent Fourier ...

**0**

votes

**1**answer

123 views

### Is $\int_0^\infty \sin(Kx)f_K(x)\,dx$ of larger order than $\int_0^\infty \cos(Kx)f_K(x)\,dx$?

Suppose we have a function $f$, such that $f$ is of some smoothness degree $m$, and $f,f^{(k)} \in L_1[0,\infty)$ $k=1,...,m$. Now if $f^{(k)}(0) = \lim_{x\rightarrow\infty}f^{(k)}(x) = 0$ for ...

**3**

votes

**1**answer

114 views

### Error of Discrete Fourier Transform on Finite Domain (vs. Continuous FT) in terms of Sobolev order

My question is about quantifying the error that occurs by approximating the continuous Fourier transform on a finite domain by using a discretised version with resolution $N$ for a function of a given ...

**4**

votes

**0**answers

142 views

### $f,g , |f|f, |g|g \in A(\mathbb R) \ \text{(Banach algebra)} \implies \left\|f|f|- g|g|\right\|\leq C \left \|f-g\right \|$?

Let $f\in L^{1}(\mathbb R)$ and it Fourier transform, $\hat{f} (y) : = \int _ {\mathbb R} f(x) e^{-2\pi i x\cdot y} dx ; y \in \mathbb R ;$ and consider Fourier algebra
$$A(\mathbb R):= \{f\in ...

**1**

vote

**0**answers

129 views

### Bounding the norm of the Dirichlet kernel as a matrix function

Consider the Dirichlet kerel:
$f(x) = 1+2\sum_{k=1}^{N}\cos(kx)$.
Now, given a diagonalizable real matrix $A$, one can consider $f(A)$, using the standard notation of matrix functions. Namely, $f(A) ...

**1**

vote

**2**answers

96 views

### Numerical calculation of Fourier transform with a nice error bound

I'd like to have an algorithm for a numerical calculation of Fourier transform with a nice error bound. To be precise, if $f$ is a function from $L_1(R)$, $F[f]$ is it's exact Fourier transform and ...

**2**

votes

**0**answers

94 views

### Positive Fourier coefficients for a function $f:\{+1,-1\}^n \to \mathbb R$

This is from my research in computer science where the Fourier transform over $GF(2)^n$ is a tool to study functions on the Boolean hypercube.
For example, the majority function on 3 variables is ...

**5**

votes

**1**answer

202 views

### Fourier expansion of Takagi-function (everywhere non differentiable function).

Let us consider Takagi-function defined by
$T(x) \colon\!= \sum_{n=0}^{\infty}s(2^nx)/2^n$,
where $s(x) \colon\!\!= \underset{n \in {\Bbb Z}}{\mathrm{min}} \,|x-n|$.
$T(x)$ has its period $1$, so ...

**0**

votes

**1**answer

166 views

### Can we expect $\left\||f|^{2}f-|g|^{2}g\right\|\leq C ||f-g||$ in the Banach algebra $A(\mathbb T)$ ?

Let $f\in L^{1}(\mathbb T)$ and define the Fourier coefficient of $f$ : $\hat{f}(n)=\frac{1}{2\pi} \int _{-\pi}^{\pi} f(t) e^{-int} dt; (n\in \mathbb Z)$.Consider the space,
$$A(\mathbb T):= \{f\in ...

**1**

vote

**0**answers

91 views

### How to use, $(|u|^{2}u - |v|^{2}v)(s)= (u-v)|u|^{2}(s)+ v(|u|^{2}-|v|^{2}) (s)$; to prove contraction in a Banach space $C([0,T]; M^{p,1})$?

(May be this is very basic question for MO)
(For details or this question you may see the paper page no. 9, MR2506839, Local well-posedness of nonlinear dispersive equations on modulation spaces; ...