Skip to main content

Questions tagged [fourier-transform]

Filter by
Sorted by
Tagged with
2 votes
0 answers
107 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{...
H A Helfgott's user avatar
  • 20.2k
4 votes
1 answer
274 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:\...
H A Helfgott's user avatar
  • 20.2k
0 votes
1 answer
104 views

If $u \in H^2(\mathbb{R}^3)$, does $r^{-1} u \in H^{\alpha}(\mathbb{R}^3)$ for some $\alpha > 0$?

Let $u$ belong to the Sobolev space $H^1(\mathbb{R}^3)$. We have the classical Hardy inequality \begin{equation*} \int_{\mathbb{R}^3} \frac{|u|^2}{|x|^2} dx \le 4\int_{\mathbb{R}^3} |\nabla u(x)|^2 dx,...
JZS's user avatar
  • 481
2 votes
0 answers
77 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 ...
H A Helfgott's user avatar
  • 20.2k
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 \...
H A Helfgott's user avatar
  • 20.2k
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|...
H A Helfgott's user avatar
  • 20.2k
3 votes
0 answers
135 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 ...
kaleidoscop's user avatar
  • 1,352
1 vote
0 answers
51 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^...
Piero D'Ancona's user avatar
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 $...
H A Helfgott's user avatar
  • 20.2k
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 ...
Steven Schaefer's user avatar
0 votes
1 answer
70 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 ...
Scottish Questions's user avatar
1 vote
2 answers
225 views

Show that the kernel $|x -y|^{-1}$ on $\mathbb{R}^3 \times \mathbb{R}^3$ is Hilbert Schmidt with respect to a weighted $L^2$ space

Let $\langle x \rangle := (1 + |x|^2)^{1/2}$, $x \in \mathbb{R}^3$. For $s > 1$, consider the weighted convolution operator \begin{equation*} T_s \varphi = \langle x \rangle^{-s} \int_{\mathbb{R}^3}...
JZS's user avatar
  • 481
3 votes
0 answers
75 views

Non-vanishing of a "push-forward" Fourier–Harish-Chandra transform on a compact set

Let $G \subset \operatorname{GL}_d(\mathbb{R})$ be a non-compact semi-simple Lie group and $K \subset G$ a maximal compact subgroup. Let $\mathfrak{g}$ (resp. $\mathfrak{k}$) be the Lie algebra of $G$ ...
Sentem's user avatar
  • 81
0 votes
2 answers
116 views

Help on integral regarding analytical Fourier transform

To explain my problem I start with two functions to be sine transformed. This question is a problem of current research in the field of electrolyte transport theory. The first Function is given by: $$...
Alexander_Maurer's user avatar
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^{- \...
Boby's user avatar
  • 671
0 votes
2 answers
179 views

Inversion formula for discrete sine and cosine transforms

$\newcommand{\wh}[1]{{\widehat{#1}}} \newcommand{\R}{{\mathbb{R}}} $I am looking for a proof of the inversion formulas for the discrete sine and cosine transforms, i.e. a proof of the fact that these ...
Bettina's user avatar
  • 113
3 votes
1 answer
157 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, ...
Zhang Yuhan's user avatar
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 ...
Zhang Yuhan's user avatar
1 vote
0 answers
72 views

Positive eigenfunctions of the discrete Fourier transform

Let $G$ be a finite cyclic group of order $n$ ($n$ need not be prime) and $\mathcal{F}$ the normalized discrete Fourier transform defined on $G$. Is there a canonical way to construct an eigenfunction ...
Itay's user avatar
  • 549
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 ...
Manfred Weis's user avatar
  • 13.2k
1 vote
1 answer
142 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 &...
ABB's user avatar
  • 4,058
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 ...
Alexander's user avatar
1 vote
1 answer
190 views

Generalisation of Paley–Wiener type results for unbounded sets

Do you know an unbounded open set $A\subset \mathbb{R}^d$, $d\geq 2$ with the following property: if some integrable function $f$ on $\mathbb{R}^d$ has its Fourier transform vanishing on $A^c$ and all ...
kaleidoscop's user avatar
  • 1,352
0 votes
0 answers
46 views

Function samplable from the past and Hardy spaces

What I am ultimately looking for is a $L^2$ function $f$ on the real line that can be sampled from the past, i.e. for each $x<0$ there are $L^2$ coefficients $c_n(x)$, $n\in \mathbb{N}$ such that, ...
kaleidoscop's user avatar
  • 1,352
0 votes
0 answers
23 views

Is there a classification of 2D projective convolution kernels?

Is there any classification of all distributions on $\mathbb{R}^2$ such that they are equal to the convolution with themselves? i.e. given a distribution $\gamma$ under which conditions $$ \gamma\star\...
Nicolas Medina Sanchez's user avatar
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.
Edward's user avatar
  • 9
3 votes
0 answers
103 views

How wild is the maximal ideal space of the Fourier-Stieltjes algebra of the real line?

The Fourier-Stieltjes algebra of $\mathbb R$ is the set of all sufficiently nice measures on $\mathbb R$. The vector product is convolution of measures. By identifying each measure with its Fourier ...
Daron's user avatar
  • 1,955
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) = \...
Goulifet's user avatar
  • 2,306
1 vote
0 answers
69 views

Is there an generalisation of convolution theorem to integral transforms

Basic convolutions can be computed efficiently by taking fourier transforms and applying the convolution theorem. Is there something analogous for a more general transform, where we have a varying ...
nathan pannifer's user avatar
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 ...
Mohammad A's user avatar
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 ...
adobereader's user avatar
0 votes
1 answer
106 views

Spectral theory: a key to unlocking efficient insights in network datasets

In the context of directed or undirected graphs, matrices such as adjacency and Laplacian matrices are commonly used. The eigenbasis of these matrices addresses some practical implications, such as ...
ABB's user avatar
  • 4,058
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}\...
groupoid's user avatar
  • 620
11 votes
3 answers
1k views

What is the intuition behind applying the Mellin Transform to prime distribution?

I am an undergraduate student writing an expository thesis on the complex-analytic proof of the Prime Number Theorem. I understand that applying the Mellin Transform to the partial sum of the van ...
onionbread's user avatar
0 votes
2 answers
227 views

Does this distribution exist?

Assume there is a distribution in two variables $\mathcal{W}\in\mathcal{S}'(\mathbb{R}^2)$ with Fourier transform $\hat{\mathcal{W}}(\alpha,\beta)\equiv \int_{-\infty}^\infty e^{i(\alpha x+\beta y)} \...
Nicolas Medina Sanchez's user avatar
0 votes
0 answers
102 views

Is there an inner product on $\mathbb{F}_p\left[S_n\right]$ for which $\langle x, x \rangle \ne 0$ for all $x$?

Let $\mathbb{F}_p\left[S_n\right]$ be the group algebra of the symmetric group $S_n$ over the finite field $\mathbb{F}_p$. One can define an "inner product" in the usual way: $$\langle x,y \...
Jackson Walters's user avatar
0 votes
0 answers
56 views

Is it possible that a system of differential equation has a solution in time domain but not in Fourier domain? If so, why does it happen?

I have to solve \begin{align} &\frac{\partial h'_{1,1m}(t,r)}{\partial t} + \frac{2}{r} h_{1,1m}(t,r) = 0 \label{beta_0_1}\\ &\frac{\partial^2 h_{1,1m}(t,r)}{\partial t^2} = 0. \label{...
AleNekro97's user avatar
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 \...
Grandes Jorasses's user avatar
4 votes
2 answers
193 views

Is $\frac{|t|}{e^{a|t|}-e^{-b|t|}}$ the Fourier transform of a positive function

Consider the function $$\phi_{a,b}(t)=\frac{|t|}{e^{a|t|}-e^{-b|t|}}, \ \ t\in\mathbb{R},$$ where $0<a<b$. Can $\phi_{a,b}$ be the Fourier transform of a positive function for some $a<b$?
Ribhu's user avatar
  • 407
2 votes
0 answers
143 views

Information about smoothness of function from its Fourier transform

We know that if the integrable function $f\in H^\alpha(\mathbb{R}), 0<\alpha<1$ (Hölder continuous), then its Fourier transform $\hat{f}$ has the asymptotic form $ O (1/x^\alpha)$ as $x\to\infty$...
eN.meshok's user avatar
1 vote
1 answer
116 views

Examining the Hilbert transform of functions over the positive real line

$\DeclareMathOperator\supp{supp}$Let $H:L^{2}(\mathbb{R})\to L^{2}(\mathbb{R})$ be the Hilbert transform. Let suppose we have a compaclty supported function $f \in L^{2}(\mathbb{R})$ such that $\supp(...
Gabriel Palau's user avatar
2 votes
2 answers
364 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}$$ ...
D.R.'s user avatar
  • 831
-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 ...
ACR's user avatar
  • 879
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 \...
mathim1881's user avatar
2 votes
1 answer
404 views

The Fourier transform of the Liouville function?

The Liouville function in number theory is defined as: $$\lambda(n) := (-1)^{\Omega(n)} \text{ where } \Omega(n) := \sum_{p|n} v_p(n)$$ Taking the discrete time Fourier transform and then taking the ...
mathoverflowUser's user avatar
1 vote
1 answer
139 views

Function with non Riemann-integrable Fourier transform

Does there exist a compactly supported continuous function $f$ on $\mathbb R$, such that $$ \lim_{n\to\infty}\int_{-n}^n\widehat{f}(x)\ dx $$ does not exist? Here $\widehat f$ is the Fourier transform ...
Antonius's user avatar
  • 460
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 ...
ABB's user avatar
  • 4,058
1 vote
1 answer
164 views

Numerical partial differentiation of a convolution product with FFT

How can one numerically calculate the partial derivatives of a convolution function, particularly when the closed-form or analytical expressions of the derivatives are not readily available? I am ...
ACR's user avatar
  • 879
32 votes
8 answers
4k views

Motivation and physical interpretation of the Laplace transform

Concerning the one-sided Laplace transform, $$\mathcal{L}\{f\}(s) = \int_0^\infty f(t)e^{-st} dt$$ what is a motivation to come up with that formula? I am particularly interested in "physical&...
AlpinistKitten's user avatar
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 $\...
Bazin's user avatar
  • 16.2k

1
2 3 4 5
11