The tag has no wiki summary.

learn more… | top users | synonyms

1
vote
1answer
264 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
0answers
275 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
1answer
150 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
1answer
128 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
1answer
132 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
1answer
148 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
1answer
184 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
2answers
575 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
0answers
59 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
1answer
150 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
0answers
65 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
1answer
303 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
0answers
133 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
0answers
57 views

Factorization in Fourier Algebra and its properties

By Schwartz-inequality and Riesz–Fischer theorem, one can deduced that, ($\ast$ stands for a usual convolution ) $$L^{2}(\mathbb T) \ast L^{2}(\mathbb T) = A(\mathbb T)(:= \{f\in L^{1}(\mathbb T): ...
0
votes
0answers
137 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
0answers
119 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
1answer
215 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 Schwarz-Bruhat space ...
0
votes
0answers
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
1answer
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
0answers
170 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
2answers
351 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
1answer
104 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
1answer
314 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
1answer
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
0answers
128 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
0answers
358 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
0answers
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
1answer
103 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- ...
2
votes
1answer
235 views

Let $f \in S(\mathbb R)$. Can we say $\widehat{|f|} \in L^{1}(\mathbb R)$?

Let $f\in L^{1} (\mathbb R) := \{f:\mathbb R \rightarrow \mathbb C \ \text {measurable functions} : \int_{\mathbb R} | f(x)| dx < \infty \}$ and the Fourier transform of $f$, $\hat{f} (y) : = ...
1
vote
1answer
109 views

convolution algebra on a compact surface in $\mathbb{R}^3$

Can one construct for all/any compact Surfaces in $\mathbb{R}^3$ a Schwartz space like object in a way so that the space can be given a structure analogous to the convolution algebra structure it is ...
3
votes
1answer
138 views

Sets $E$ in $\mathbb{Z}$ such that any $l^2$ function with support on $E$ comes from Fourier of a continuous function

Are there infinite sets $E\subset\mathbb{Z}$ such that any $f\in l^2(\mathbb{Z})$ with support on $E$ comes from the Fourier transform of a continuous function on $\mathbb{T}$ ? If yes, is there a ...
1
vote
0answers
214 views

Proof of an inequality for a linear combination of three trigonometric functions

Given a function $$f(t) = k_{1} \sin(t+\alpha) + k_{3} \sin(3t+\beta) + k_{5} \sin(5t+\gamma)$$ where $k_{1}, k_{3}$ and $k_{5}$ are all positive parameters, and the three phase angles, $ ...
6
votes
0answers
922 views

Questions on de Branges' work on the Riemann hypothesis

According to Wikipedia, Louis de Branges de Bourcia has obtained some notable results, such as a proof of the Bieberbach conjecture in 1985, which is now known as de Branges' theorem. Initially, his ...
5
votes
0answers
110 views

Fourier analysis for the discrete cube in CAT(0) spaces?

Is there a meaningful Fourier analysis of mappings from the discrete cube into CAT(0) spaces? Examples for what I have in mind: Fix a CAT(0) space $X$, a mapping $f:\{-1,1\}^n \to X$, and ...
5
votes
0answers
266 views

converse of Weyl criterion

Let $f∈L^1([0,1))$,suppose for all equi-distributed sequence $\{a_n\}^∞_{n=1}$ in $[0,1)$,we have $$\lim_{N\rightarrow \infty} \frac{1}{N}\sum_{k=1}^Nf(a_k)=\int_0^1f.$$ Do we have that $f$ is Riemann ...
2
votes
0answers
135 views

Quantifying the “flatness” of functions which are the Fourier transforms of positive functions

Short version of question: I'm trying to understand the extent to which a function is prevented from being "flat" as a result of being the Fourier transform of a positive function. That is, the extent ...
2
votes
0answers
183 views

Is $f$ an absolutely continuous function? [closed]

Let $$ f(x)=\sum_{n=1}^{\infty}\frac{\sin(2^{n}\pi x)}{n\cdot2^{n}}, \,\,\,\,\,\, x\in [-1, 1]. $$ Is $f$ an absolutely continuous function? If yes how can I show it? If not how about on total ...
-2
votes
1answer
254 views

Inverse Laplace transform in a signal that is a sum of exponentials - MATLAB [closed]

I want to analyze a discrete signal in time, that is sum of exponentials distributed around two distinct values (T1, T2). My goal is to calculate these two different distributions, T1, T2, weights and ...
1
vote
0answers
88 views

Differentiability of $f*g$ on the circle, for integrable f, bounded g, and some decay of the Fourier coefficients of f

If $f\in L^1(\mathbb{T})$ and $g\in L^\infty(\mathbb{T})$ where $\mathbb{T}$ is the circle, such that $\hat{f}\in L^{p}(\mathbb{Z})$ for some $1\leq p<\infty$, do we have that $f*g$ is ...
5
votes
2answers
463 views

What is the translation in Fourier transform for a function to have exp. decay at $x\to -\infty$

It is known that smooth functions with exponential decay at $\pm\infty$ are functions whose Fourier transform have analytic continuation in some suited complex strip. I was wondering what happens if ...
4
votes
1answer
175 views

If $f$ is non-prime, can we say $|f|$ is also a non-prime; in convolution algebra?

By Schwartz-inequality and Riesz–Fischer theorem, one can deduced that, $$L^{2}(\mathbb T) \ast L^{2}(\mathbb T) = A(\mathbb T)(:= \{f\in L^{1}(\mathbb T): \sum_{n\in \mathbb Z} |\hat{f}(n)| < ...
1
vote
2answers
182 views

Behavior of the Fourier transform (FT) of a function and FT of its absolute function

Let $f\in L^{1} (\mathbb R) := \{f:\mathbb R \rightarrow \mathbb C \ \text {measurable functions} : \int_{\mathbb R} | f(x)| dx < \infty \}.$ We define the Fourier transform of $f$ as follows: ...
1
vote
0answers
133 views

Constructing an $\epsilon$-net for a Lipschitz subspace of $L^2$

Let $X$ be a subset of $L^2([0,1])$ which contains only Lipschitz function. Also, the member of $X$ are uniformly bounded $$ |x(t)| < M, \text{ for all $x \in X$ and $t \in [0,1]$}. $$ Let $F: X ...
3
votes
2answers
536 views

Extension of Poisson Summation formula

Under the condition f continuous, integrable and: $|f(t)| + |\hat{f}(t)| \le C (1+|t|)^{-1-a}$ (with a>0) we have the twisted Poisson formula that holds (where $\chi(n)$ is a primitive Dirichlet ...
2
votes
1answer
272 views

Fourier transforms of finitely additive bounded measures

Given a finitely additive positive regular bounded measure $\mu$ on ${\mathbb R}^n$ (i.e. a positive linear functional on $C_b({\mathbb R}^n)$), I wonder what can be said about its Fourier transform. ...
2
votes
2answers
405 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 ...
1
vote
1answer
213 views

Bandwidth approximation for a nonlinear problem

Can anyone please help me with this problem. I must let you know from the beginning that it's not an easy one. "Two functions are given: $u, y \in L^{2}(-\infty,\infty), y(t)=\frac{u(t)}{u(t)+b}$ , ...
4
votes
1answer
93 views

A Laplacian semi-group estimation

Let $S(t)$ be the semi-group generated by the Dirichlet Laplacian in $L^2(0,1)$, which is given, for $y\in L^2(0,1)$, by $$S(t)y=\displaystyle\sum_{n=1}^\infty e^{-n^2\pi^2 t} \langle y,\sin(n\pi x) ...
1
vote
0answers
78 views

The $d$-dimension extension of Bernoulli Polynomial

It is known that Bernoulli polynomial has the following Fourier expansion: \begin{equation*} B_{2n}(x) = \frac{(-1)^{n-1}2(2n)!}{(2\pi)^{2n}}\sum_{k=1}^{\infty}\frac{\cos(2k\pi x)}{k^{2n}}. ...
-23
votes
1answer
2k views

Can Poisson Summation formula break?

The Poisson summation formula states if $f: \mathbb{R} \to \mathbb{R}$ then $\displaystyle \sum_{n \in \mathbb{Z}} f(n) = \sum_{n \in \mathbb{Z}} \hat{f}(n) $ where $$\hat{f}(\xi) = ...