The fourier-analysis tag has no wiki summary.

**2**

votes

**0**answers

82 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

412 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

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

**6**

votes

**2**answers

264 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

159 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

150 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

119 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

123 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

215 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

174 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

104 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; ...

**2**

votes

**1**answer

135 views

### Fourier inversion

I have certain doubts about a classical Fourier inversion theorem.
According to it (this is a theorem from "Panorama of Harmonic Analysis" by Krantz),
if $f$ and $\hat{f}$ are both in $L_1(R)$ and ...

**0**

votes

**0**answers

110 views

### Fourier Analysis in Kahane and Żelazko's characterization of maximal ideals in commutative Banach algebra

I've been told that Kahane and Żelazko (in A characterization of maximal ideals in commutative Banach algebra's Studia Math 29 1968) use a "non-trivial result" from Fourier analysis in their proof of ...

**1**

vote

**0**answers

63 views

### Counting frequencies of occurrence of patterns within a sequence using harmonic analysis?

Assume that we are given a sequence $\mathbf x := X_1,\dots,X_n \in \mathbb N^n$ for some $n \in \mathbb N$. I am interested in calculating the frequency of occurrence of some fixed sequence $\mathbf ...

**0**

votes

**0**answers

115 views

### Localized convolution operators

Take our favorite differential operator $\Delta$ on $\mathbb{R}^3$. Module a constant, we can represent its inverse (in some sense) by a convolution operator, namely
$$\Delta^{-1}f=f*\frac{1}{|x|}.$$
...

**5**

votes

**3**answers

494 views

### Modular form on $\Gamma_0(N)$

I recently asked this question on Math.StackExchange with no answer so far. So I thought maybe I can find an answer here.
Let $M(k,\Gamma_0(N))$ be a space of modular forms of weight $k$ on ...

**2**

votes

**2**answers

125 views

### Seeking a class of functions for which sums approximate integrals well

Is there a "natural" class of integrable functions $f: {\mathbb R} \rightarrow {\mathbb R}$ for which it is true (and, preferably, not too hard to prove!) that $\sup_{0 \leq a < h} |h S(a,h) - I|$ ...

**1**

vote

**1**answer

92 views

### norm of trigonometric polynomials under arbitrary change of signs

Let $\mathcal P$ be the collection of trigonometric polynomial with $L^p[0,1]$ norm one, $p>2$, then by changing the sign of coefficients of polynomials in $\mathcal P$ randomly, can we produce ...

**1**

vote

**1**answer

138 views

### Carleson-Hunt inequality: changing order of summation

The well-known Carleson-Hunt inequality states that for any $p>1$ and any $f \in L^p(0,2\pi)$, the $L^p$-norm of $sup_n |S_n|$, where $S_n$ is the n-th partial sum of the Fourier series of $f$, is ...

**5**

votes

**0**answers

101 views

### Error of midpoint method for differentiable functions

Is it the case that for every differentiable function $f$ on $[0,1]$ (with finite one-sided derivatives at the endpoints), the midpoint method of estimating $\int_0^1 f(x) \: dx$ has error $o(1/n)$?
...

**-3**

votes

**1**answer

169 views

### $L^{1}(\mathbb R) \cap L^{2}(\mathbb R) \cap C_{0}(\mathbb R)\subset H_{1}(\mathbb R)$?

Put, $C_{0} (\mathbb R)=\{f:\mathbb R \to \mathbb C: f \text { is continuous on} \ \mathbb R \ \text {and } \lim_{|x|\to \pm \infty}f(x)=0 \}$(= Continuous functions on $\mathbb R$ vanishing at ...

**1**

vote

**1**answer

149 views

### Result of Beurling concerning absolute convergence of Fourier series of |f|

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)$ and we put,
$$A(\mathbb T):= \{f\in ...

**1**

vote

**0**answers

108 views

### Relationship between Fourier series & DFT

Sources like http://www.dsprelated.com/dspbooks/mdft/Relation_DFT_Fourier_Series.html explain the equivalence between FS and DFT.
However, isn't there a flaw? When I integrate over the continuous ...

**1**

vote

**1**answer

272 views

### When one can expect $\widehat{(fg)} = \hat{f} \ast \hat{g}$; $f, g\in L^{1} (G)$?

Let $f, g \in L^{1}(\mathbb T)= L^{1} ([-\pi, \pi))$. We define, the Fourier transform of $f$ as follows:
$$\hat{f}(n)=\frac{1}{2\pi}\int_{-\pi}^{\pi} f(t) e^{-int} dt, \ (n\in \mathbb Z).$$
It is ...

**9**

votes

**0**answers

295 views

### Laplace Transform in the context of Gelfand/Pontryagin

Question: Do quasi-characters or some other semi-group properly generalize the Laplace transform or decompose functions in some setting in a way similar to how characters generalize the classical ...

**3**

votes

**1**answer

160 views

### What does a Zonal sphere harmonic look like?

Let $\mathcal{H}_k\subset L^2(S^n)$ be the space of sphere harmonics of degree $k$, i.e., they are the eigenfunctions of $\Delta_{S^n}$. And let $\Pi_k:L^2(S^n)\to \mathcal{H}_k$ be the orthogonal ...

**0**

votes

**1**answer

141 views

### How to get Fourier–Stieltjes transform on $\mathbb R$ from the nice function on $\mathbb T$ (periodic on $\mathbb R$)? [closed]

We put, $M(\mathbb R)= $The set of bounded complex Borel measure $\mu$ on $\mathbb R$ and for $\mu \in M(\mathbb R)$, we define $||\mu||:= |\mu| (\mathbb R) = \text {total variation of } \ \mu $; and
...

**3**

votes

**1**answer

136 views

### Real-analytic variant of theorem 4.2.5 of Duistermaat's “FIO”, 1996

Theorem 4.2.5 of Duistermaat's "Fourier Integral Operators", 1996, states:
Let $A \in I^m(X,Y,C)$ be an elliptic Fourier Integral Operator of order $m$, associated to a bijective canonical ...

**1**

vote

**1**answer

164 views

### Absolute convergence of multi-dimensional Fourier series

For a Lipschitz function $f$ defined in $[0,2\pi]^d$ for $d>1$, is that true
that the multi-dimensional Fourier series converges absolutely?
In other words, $\sum_{k\in ...

**1**

vote

**1**answer

186 views

### An L1 function whose Fourier series converges but not to itself

Do we have an $L^1$ function whose Fourier series converges almost everywhere but not to itself?

**7**

votes

**2**answers

603 views

### Are Fourier series of length 2 'asymmetric enough' to generate all crossing patterns? - A reformulation of the Fourier-(1,1,2) knot question

Given $N$ pairs of distinct real numbers $t_i, t'_i \in [0,1]$, $i = 1,\ldots,N$, we ask if there is a function $f(x) = \cos(2\pi mx+\alpha) + \gamma\cdot \cos(2\pi nx+\beta)$, with $m, n \in ...

**0**

votes

**0**answers

63 views

### Does there exists $f\in A_{\mathbb R}(\mathbb T)$ with $||f||=r$ such that $||e^{if}||=e^{r}$?

Let $\mathbb Z$, the set of integers, be a group with respect to addition and its dual group is the $\mathbb T = \{z\in \mathbb C : |z|=1\}$ , one dimensional torus. Put,
$\ell^{1}(\mathbb Z)= ...

**1**

vote

**1**answer

156 views

### A question which belongs to a class of Zygmund functions

Let $f$ be an absolutely continuous, periodic with period 1 and satisfies the condition
$$
|f(x+\delta)+f(x-\delta)-2f(x)|\leq \text{const}\frac{\delta}{(\log\frac{1}{\delta})^{\epsilon}}, ...

**2**

votes

**0**answers

67 views

### riemann mapping theorem for skew-fields of quaternions and beyond

Is there any known generalization of the riemann mapping theorem over skew-fields of quaternions and beyond or at least a conjectured formulation of it?
In a less focused way, how far does the main ...

**9**

votes

**1**answer

333 views

### Determinant of $V^* V$ where $V$ is rectangular Vandermonde matrix with nodes on unit circle

Let $z_{1},\dots,z_{k}$
be distinct complex numbers with $\left|z_{j}\right|=1,\;j=1,\dots,k$. For any natural $N\geqslant k$
consider the rectangular Vandermonde matrix
$$
V_{N}=\begin{pmatrix}1 ...

**3**

votes

**0**answers

141 views

### Fourier transform and support of a distribution

Let $T \in \mathscr D'(\mathbb R^n)$ be a distribution, such that its Fourier transform $\widehat T$ is a real analytic function on $\mathbb R^n$ but it can't be continued to an entire function on ...

**0**

votes

**0**answers

140 views

### Express measurable entropy in terms of Fourier coefficients of the measure

Let $S^1$ be the unit circle , $\mu$ be a Borel probability measure on $S^1$ and
$T:S^1\to S^1$ is a measure-preserving map (not necessarily invertible) with respect to $\mu$. The Fourier ...

**1**

vote

**0**answers

128 views

### How Fourier transform behaves if we kills the oscillation?

Let $a, b \in \mathbb R$ such that $ab> 1$ ; put
$$L^{1}_{a}(\mathbb R)= \{ f:\mathbb R\to \mathbb C \ \text {measurable} : ||(1+|x|)^{a}f||_{L^{1}(\mathbb R)}< \infty \},$$
and
...

**3**

votes

**1**answer

324 views

### Understanding Bruhat's notion of Schwartz function

I am trying to understand Bruhat's generalized Schwartz functions over (Hausforff) locally compact Abelian groups [1], following this paper [2] by Osborne. There, the Schwartz-Bruhat space ...

**0**

votes

**0**answers

58 views

### Fourier coefficients of a non-atomic measure on the unit cirle

Let $0<\lambda<1$ and $\pi:\Pi_{\mathbb{N}} \{0,1\}\to S^1$ be the continuous map from the product space of $\{0,1\}$ over the set of natural numbers $\mathbb{N}$ onto the unit circle $S^1$. Let ...

**0**

votes

**1**answer

86 views

### How Fourier-Lebsgue spaces operates functions?

Let $a, b \in \mathbb R$ such that $ab> 1$ ; put
$$L^{1}_{a}(\mathbb R)= \{ f:\mathbb R\to \mathbb C \ \text {measurable} : ||(1+|x|)^{a}f||_{L^{1}(\mathbb R)}< \infty \},$$
and
...

**3**

votes

**0**answers

173 views

### Is the Fourier transform of $\frac{1}{\mu+|\xi|^{2\alpha}}$($\mu>0$) a bounded function?

Consider $m(\xi)=\frac{1}{\mu+|\xi|^{2\alpha}}$, where $\xi\in\mathbb{R}^n$, $\mu, \alpha>0$, I want to know that if $m(\xi)$ is a multiplier of $\mathcal{M_{1}^{\infty}}$,i.e., whether the ...

**3**

votes

**2**answers

353 views

### Ultrafilter-based Fourier-Walsh-like Functions

Here is a (little wild) question about Boolean functions with countably many variables and a wild analog for Fourier-Walsh functions and analysis based on them.
Let $x_1,x_2,\dots,x_n,\dots$ be ...

**1**

vote

**1**answer

112 views

### Compactly supported smooth function with Laplace transform bounded on a cone

My question is if it is possible to find a compactly supported smooth function $\varphi:\mathbf{R}\to \mathbf{R}$ s.t. the following integration $\int_{\mathbf{R}}\varphi(t)e^{itx}e^{tx}dt$ stays ...

**1**

vote

**1**answer

344 views

### Fourier Transform of compactly supported $L^1$ functions

Background Given a (translation bounded) positive definite measure $\gamma$ lets say on $\mathbb R^d$, its Fourier transform as a tempered distribution is a positive measure $\widehat{\gamma}$.
I am ...

**0**

votes

**1**answer

158 views

### Problem with understanding an equation

I have read the article Short-wavelength Spectral Properties of the Gravity Field from a Range of Regional Data Sets and I don't know how to interpret Equation (10) on
page 630, because this equation ...

**9**

votes

**0**answers

131 views

### Decay rate of measures on Cantor set

I've read that Kahane and Salem show that if $\mu$ is any measure supported on the ternary Cantor set, then $\hat{\mu}(\xi) \not\to 0$ as $|\xi| \to \infty$, however I have been unable to find a ...

**12**

votes

**0**answers

364 views

### Correlation of Fourier transforms of characteristic functions

Let $A$ and $B$ ($A\subset B$) be subsets of a finite abelian group $G$. (For the sake of argument, you can take $G$ to be $\mathbb{Z}/p\mathbb{Z}$ for large $p$, say.) Write $1_S$ for the ...

**1**

vote

**0**answers

123 views

### Are the two functions equal? If not, what relation are they?

We have
$$A=\frac{1}{2\pi}\int_{-\infty}^{\infty}\prod_{i=1}^{\infty}\frac{\sin(v2^{-k})}{v2^{-k}}e^{ivx}dx$$
$$B=\frac{1}{2}\sum_{k=1}^{n}\cos (\pi kx)\prod_{i=1}^{m}\frac{\sin(\pi k2^{-i})}{\pi ...

**1**

vote

**1**answer

113 views

### Let $f \in M^{1,1} (\mathbb R)$ (Feichtinger's algebra /Modulation Space). Can we say $Fof\in M^{1,1}(\mathbb R)$; $F$ is an entire function?

The Modulation space ( Feichtinger's algebra),
$$S_{0} (\mathbb R) = M^{1, 1}(\mathbb R): = \{ f\in L^{2}(\mathbb R) : V_{g}(f) \in L^{1}(\mathbb R^{2}) \};$$
where $V_{g}f (x, w)$ is the short- ...