Skip to main content

All Questions

Filter by
Sorted by
Tagged with
2 votes
0 answers
113 views

Uncertainty principle: minimize $\int_{-\infty}^\infty |t| |\widehat{f}(t)|^2 dt$ for $f$ of compact support

This is a question of uncertainty-principle type stemming from Eigenvalue of a convolution and a restriction? Let $f:\mathbb{R}\to \mathbb{R}$ be even, absolutely continuous and supported in $[-\frac{...
4 votes
1 answer
279 views

Eigenvalue of a convolution and a restriction?

Let $\epsilon>0$ be small. Let $\eta(t) = \frac{2\epsilon}{\epsilon^2+(2\pi t)^2}$ (the Fourier transform of $x\mapsto e^{-\epsilon |x|}$). Let $V$ be the space of integrable, bounded functions $f:\...
2 votes
0 answers
79 views

Function that is (essentially) a self-convolution but not a multiple of a self-convolution

Call a function $F:\mathbb{R}\to C$ nice if it is of the form $F = f\ast \tilde{f}$, where $\tilde{f}(x) = \overline{f(-x)}$. (Of course nice functions are precisely those whose Fourier transform is ...
1 vote
1 answer
143 views

Operator norm of some type of discrete Fourier matrix

Let $N$ be a natural number and let $w$ be a complex number. We define the $N\times N$ matrix $C_w=(a_{k,l})_{k,l=1}^N$ as follows, $$ a_{k,l}=\begin{cases}1 & l=k+1\\ w &...
2 votes
0 answers
194 views

Functions such that the *integral* of the Fourier transform is non-negative?

Let $f:\mathbb{R}\to \mathbb{R}$ be in $L^1$, with its Fourier transform $\widehat{f}$ also in $L^1$. What is a necessary and sufficient condition on $f$ so that $$\int_{-\infty}^x \widehat{f}(t) dt \...
2 votes
0 answers
187 views

Three optimization problems of uncertainty principle/Paley-Wiener type

Let $\phi:\mathbb{R}\to\mathbb{R}$ be an even function with support on $[-1,1]$. Assume that it is in $L^1\cap L^2$ and that its Fourier transform is also in $L^1\cap L^2$. Assume as well that $|\phi|...
3 votes
0 answers
136 views

Possible gaps for a function and its Fourier transform

This is another question on the possible shape of sets $A,B\subset \mathbb{R}^d,d\geq 2,$ where resp. a non-null Schwarz function $f$ and its Fourier transform can vanish. A nice remark by Christian ...
5 votes
1 answer
1k views

Fastest decay of Fourier transform of function of (one-sided or two-sided) exponential (or faster) decay

Let $f:\mathbb{R}\to \mathbb{R}$ be a function in $L^2$ satisfying $|f(x)|\ll e^{-a_1 x}$, $a_1>0$, for $x\to \infty$. (Variant: assume as well that $|f(x)|\ll e^{a_2 x}$, $a_2>0$, for $x\to -\...
1 vote
0 answers
52 views

Sufficient conditions for boundedness of Fourier transform

This should be a well studied topic: I am looking for sufficient conditions on a function $u(x)$ on $\mathbb{R}$ ensuring that its Fourier transform is bounded. Of course one such condition is $u\in L^...
3 votes
0 answers
144 views

Minimizing vertical integral of a Mellin transform

Let $\eta:[0,\infty)\to [0,\infty)$ satisfy $\eta(0)=1$ and $\int_0^\infty \eta(x) dx = 1$ (say). Write $M\eta$ for the Mellin transform of $\eta$. Let $\epsilon>0$ be small. What is the choice of $...
6 votes
0 answers
158 views

Fourier-like transforms for a Day convolution?

The presheaf category on a monoidal category inherits the monoidal structure via the Day convolution. Moreover you can inherit (bi)closed monoidal structure. In the study of Fourier analysis we can ...
0 votes
1 answer
71 views

Asymptotic expansion inverse discrete Fourier transform

Let $\ell^1(\mathbb{Z})$ be the space of biinfinite sequences $f = (f(n))_{n \in \mathbb{Z}} \subset \mathbb{C}$ such that it is absolutely summable. The discrete Fourier transform or Fourier series ...
6 votes
1 answer
343 views

Integral convolution equation $\int_{B_n(R) } e^{- \| x - t\|} d\nu(t) = e^{- \|x \|^2/2}$ on $x \in B_n(R)$. Find measure $\nu$

Let $B_n(R)$ denote the $n$ ball centered at zero with radius $R$. We are interested in the following integral equation: given $R>0$ and $\lambda>0$, let \begin{align} \int_{B_n(R)} e^{- \...
23 votes
0 answers
1k views

Laplace Transform in the context of Gelfand/Pontryagin

Questions: Is there a class of objects (presumably related to locally compact abelian groups) for which the quasi-characters canonically generalize the Laplace transform? If not, is there a ...
3 votes
1 answer
158 views

How can discrete Fourier transform approximation prove the completeness of complex exponentials in $L^2(T)$?

I have a question about the completeness of complex exponentials in function spaces. For the discrete set $ S = \{1, 2, \ldots, n\} $, it is clear and intuitive that $ e^{2\pi ikx/n} $ for $ k = 0, 1, ...
4 votes
1 answer
295 views

Fourier coeffients of Cantor measure

For $0<\theta<\frac{1}{2}$, denote by $\mu_\theta$ the uniform Cantor measure with dissection ratio $\theta$. It is not hard to show that the Fourier–Stieltjes transform of $\mu_\theta$ is $$ \...
2 votes
0 answers
80 views

Prove uniqueness of Radon transform without using Fourier transform

The uniqueness of Radon transform can be expressed by the following claim (I assumed that the function has compact support for simplicity): If a continuous function with compact support has zero ...
5 votes
1 answer
508 views

Recent progress restriction conjecture - Problem 2.7 (Terence Tao lecture notes)

I've been tackling the following problem for some time, Problem 2.7. (a) Let $S:=\left\{(x, y) \in \mathbf{R}_{+} \times \mathbf{R}_{+}: x^2+y^2=1\right\}$ be a quarter-circle. Let $R \geq 1$, and ...
0 votes
0 answers
64 views

Calculating hyperbolic Fourier series

Question: is it possible to uniquely express functions locally as infinite sums of hyperbolic sines and cosines $f(x)=\sum\limits_{i=0}^\infty \alpha_i\sinh(i\cdot x)+\beta_i\cosh(i\cdot x)$ or even ...
0 votes
1 answer
255 views

Carleson's theorem: proof of a lemma

I am reading the paper of Michael Lacey called "Carleson's theorem: proof, complements, variations" 1, on Carleson's theorem in Fourier analysis. At the bottom of page 20 at the beginning of ...
11 votes
2 answers
8k views

About the Fourier transform of the logarithm function

I want to calculate / simplify: $$\mathcal{F} (\ln(|x|)\mathcal{F(f)}(x))=\mathcal{F} (\ln(|x|)) \star f$$ where $\mathcal{F}$ is the Fourier transform ($\mathcal[f](\xi)=\int_{\mathbb R}f(x)e^{ix\...
0 votes
1 answer
127 views

Why $\int_{S^{n-1}} |\hat{f}(w)|^2d\sigma(w) < \infty$?

Let $f\in L^p(\Bbb R^n)$ and $S^{n-1}$ be the Unit sphere. Why $\int_{S^{n-1}} |\hat{f}(w)|^2d\sigma(w)<\infty$ when $1<p<2$. $\hat{f}$ is the Fourier transform fora function f.
1 vote
0 answers
86 views

Fourier transform relation for spherical convolution

Let $f$ and $g$ be two functions defined over the 2d sphere $\mathbb{S}^2$. The convolution between $f$ and $g$ is defined as a function $f * g$ over the space $SO(3)$ of 3d rotations as $$(f*g)(R) = \...
5 votes
0 answers
169 views

Fourier dimension of radial set

In his 1967 article "Sur un theoreme de R. Salem", Gatesoupe proved that if a set $A\subset [0,1]$ has Fourier dimension $\alpha$ then the set $\tilde A:=\{x\in \mathbb{R}^n: |x| \in A\}$ has Fourier ...
0 votes
1 answer
126 views

Clarification on the Interpretation of Fourier Coefficients in the Context of Fourier Projections

I am currently studying a paper (Section 3.4.3 of Lanthaler, Mishra, and Karniadakis - Error estimates for DeepONets: a deep learning framework in infinite dimensions) where the authors define an ...
2 votes
0 answers
116 views

Construction of an analytic function whose Fourier transformation has compact support [closed]

Is there a non-constant real analytic function $f$ on $\mathbb{R^2}$ satisfying the following properties? $f$ vanishes on $x$-axis and $y$-axis; the Fourier transformation $\hat{f}$ of $f$ has a ...
6 votes
2 answers
458 views

Does the (distributional) support of the Fourier transform of an $L^p$-function with $p<\infty$ have positive measure?

Suppose that $f \in L^p(\mathbb R^n)$ such that $1\leq p < \infty$. Let $\hat f$ be the Fourier transform of $f$. Clearly, if $p=1$ or $p=2$ then the support of $\hat f$ has positive Lebesgue ...
2 votes
0 answers
204 views

Finding specific coefficients of product of high-dimensional Fourier series faster than FFT

I need a fast algorithm to perform a specific Fourier-type computation in my physics research. Suppose I have the following two Fourier series in three dimensions $$ a(t_1,t_2,t_3)=\sum_{j=-n}^{n}\...
0 votes
0 answers
88 views

Convolution of $\mathscr{F}\{ \log \}(x) * \mu$ with compactly supported measure $\mu$

As I read in this post the Fourier transform of $\psi(\lambda) = \log{|\lambda|}$ must be interpreted in distributional sense and it is given by: $$\mathscr{F}\{\psi\}(x)=-2\pi \gamma \delta(x)-\pi \...
-2 votes
1 answer
363 views

Predicting the peak "amplitude" of a damped sine wave in the frequency spectrum with FFT

In one line: Given an exponentially decaying sine wave $x(t)$, how can we predict the amplitude of the resulting peak in frequency spectrum using discrete Fourier transform. In nuclear magnetic ...
2 votes
2 answers
365 views

Is there a compactly supported differentiable function whose Fourier transform is not in L1?

In my MSE answer here, I discussed the example of compactly supported continuous function $$g(x)= \begin{cases} \dfrac{\frac12 -x}{\log(x)},&0<x\leq1/2\\ 0,&\text{otherwise} \end{cases}$$ ...
1 vote
0 answers
43 views

Looking at a frequency reassignment rule as a Möbius transform

Suppose we have some Schwartz function $h$. Denote its Fourier transform $\widehat{h}$. Let $\xi_0$, $a$, $\Delta$ be positive and fixed. I have a function $\Omega: \mathbb{R}\times \mathbb{R}^+ \to \...
0 votes
0 answers
205 views

Relationship between Fourier inversion theorem and convergence of "nested" Fourier series representations of $f(x)$

$\DeclareMathOperator\erf{erf}\DeclareMathOperator\sech{sech}\DeclareMathOperator\sgn{sgn}\DeclareMathOperator\sinc{sinc}$This is a cross-post of a question I posted on MSE a couple of weeks ago which ...
1 vote
0 answers
81 views

The Discrete Fourier Transform (DFT) decomposes any signal into four orthogonal signal components [closed]

Let $F=(w^{kl})_{k,l=0}^{n-1}$ be the discrete Fourier matrix of size $n$ where $w=\exp\left(-\frac{2\pi i}{n}\right)$. It is a well-known that $F_n^4 = I_n$ where $I_n$ represents the identity ...
2 votes
1 answer
122 views

Singular Integrals and $L^1$

Let us consider in one dimension the Fourier multiplier $\vert D\vert$ and the derivative $iD$. Both are well-defined on the Schwartz space $\mathscr S(\mathbb R)$ with the derivative sending $\...
2 votes
0 answers
156 views

Fourier multiplier on $L^1$

On the Wikipedia page, one can read that an iff condition for L1 boundedness of the Fourier multiplier m(D) is that $$ \hat m\quad\text{ is a Borel measure with finite total mass. } $$ There is no ...
2 votes
1 answer
495 views

Fourier transform of a function of bounded variation

I know if $f\in L^2(\mathbb R)$ is two times continuously differentiable, then we must have that the Fourier transform is integrable. Is there any more relaxed condition than this? For example if $f$ ...
20 votes
1 answer
1k views

Fourier transform of $f_a(x)= a^{-2}\exp(-|x|^a)$, $a \in (0,2)$, is decreasing in $a$

Can one show that Fourier transform of $$ f_a(x) = a^{-2} \exp(-|x|^a), \qquad a \in (0,2)$$ is decreasing in $a$? I have a solution for $a \in (0,1]$ which cannot be used for $a\in (1,2)$.
2 votes
1 answer
168 views

Any references for generalised square functions?

In harmonic analysis, there is a big chunk of literature studying the square function $Sf=\|\{P_jf\}_{j=1}^\infty\|_{l^2}$, where $P_jf=(\psi_j\hat f)\check{}$ and $\{\psi_j\}$ is a partition of unity,...
1 vote
0 answers
48 views

Why do we need the concept of Fourier measurability with growth function $\mathcal F$?

I'm studying the book Higher Order Fourier Analysis by Terence Tao (https://terrytao.files.wordpress.com/2011/03/higher-book.pdf). There, it defines that a function $f:[N]\to\mathbb{C}$ has Fourier ...
2 votes
2 answers
235 views

Theoretical/Practical Implications of DFT Eigenvectors

Discrete Fourier transform (DFT) has only four distinct eigenvalues: $±1$ and $±i$. For large matrices , each eigenvalue $λ$ yields a multidimensional eigenspace, allowing linear combinations of ...
4 votes
2 answers
1k views

Characterizations of Wiener algebra

The Wiener algebra $\mathcal W$ is defined as $\text{Fourier}(L^1(\mathbb R))$, i.e. the image by the Fourier transform of $L^1(\mathbb R)$. Riemann-Lebesgue's lemma ensures that $$ \mathcal W\subset ...
2 votes
0 answers
144 views

Positivity of the Fourier transform: prove or disprove that $\operatorname{Re}(\overline{\widehat{u}}(\xi) \widehat{F\circ u}(\xi))\geq0$

Let $F:[0,\infty) \to[0,\infty)$ be increasing, $C^1$ and $L-$Lipschitz with $F(0)=0$. Let $u\in L^1 (\Bbb R^d)$, $u\geq0$ so that $F\circ u\in L^1 (\Bbb R^d)$ I would like to prove (or disprove) ...
1 vote
0 answers
105 views

Poisson summation for solutions of the Burgers equation in the form 1/x

Long story short: I'm looking for a good way of showing that the Fourier transform of $1/x$ is a sign function. Motivation and why this has been a problem: I'm dealing with an equation similar to the ...
2 votes
0 answers
72 views

Fourier Transform Of Fractional Laplacian [closed]

Fourier Transform Of Fractional Laplacian I dont know why we have the last 2 inequality and why it occurs the characteristics ball B1
2 votes
3 answers
457 views

Intersection of Fourier analysis (especially on the transform) and group theory, number theory, dynamical systems, etc

I am considering a PhD research topic. I only have a math Bachelor's degree with working experience mostly in teaching and I have been working on a paper. I have deep interest in Fourier Series and ...
5 votes
4 answers
953 views

Limit of an integral vs limit of the integrand

I have a simple Fourier transform problem, originating from mathematical physics (system of linear PDEs), which reduces to taking the integral $$ I(\alpha)\equiv\int_{-\infty}^\infty e^{ikr} \cfrac{\...
1 vote
0 answers
73 views

$L^p$ norm of Fourier transform of function composed with a diffeomorphism

Suppose $f$ is a compactly supported smooth function from $\mathbb{R}^n$ to $\mathbb{C}$ and $A$ is a diffeomorphism on $\mathbb{R}^n$, do we have any theorems relating the $L^p$ norm of $\hat{f}$ and ...
2 votes
1 answer
267 views

Fourier series of an arbitrary function of a cosine function

Is there a general expression for the Fourier series of the function $f(a\cos(\omega t))$ in terms of the derivatives of $f$? Obviously, the function can be expressed as a Maclaurin series $f(0)+af'(0)...
2 votes
1 answer
254 views

Fourier transforms of homogeneous functions [closed]

Compute Fourier transforms of homogeneous functions of the form, $$ \frac{1}{|x|^{n+d}}P_d(x) $$ where $P_d$ is a homogenous harmonic polynomial of degree $d$ in $n+1$ variables.

1
2 3 4 5 6