The tag has no wiki summary.

learn more… | top users | synonyms

3
votes
2answers
357 views

Are there any new results on approximating Riemann $\Xi$ function by Polya-like Fourier transforms?

I posted [this question][1] at math.stackexchange.com and was told that it is more appropriate to post this research related question here at mathoverflow. So I re-post it below. Riemann $\Xi(z)$ ...
5
votes
1answer
182 views

Are functions of moderate growth a bornological space?

I was thinking a bit about distribution theory the last weeks and stumbled across the following question: There are two natural locally convex topologies on the space of smooth functions of moderate ...
1
vote
0answers
54 views

Using FFT to aproximate a fuction [closed]

I am trying to use the FFT to approximate a given function. So i have 10 points xk that are given for example, if i use the FFT that will give me Xk. So now using the inverse FFT we can get the ...
8
votes
1answer
194 views

How is the propagator computed on an elliptic curve?

I've been struggling for a while now understanding why the propagator for the action $$ S(\varphi) = \int_E \partial \varphi \bar\partial\varphi + \frac{\lambda}{6}(\partial\varphi)^3 $$ on an ...
1
vote
0answers
58 views

Bounds on functions pullbacked via exponential map

Let us assume that $M$ is a compact Riemannian manifold (without boundary). For any point $x\in M$, we can pullback $C^\infty(M)$ functions to $T_x M$ via the exponential map, by setting $$ (\exp_x^* ...
19
votes
2answers
3k 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 ...
1
vote
0answers
119 views

Is there inverse FFT algorithm for Fourier transform of a integer-valued random variable?

In many applications, it is possible to derive an explicit expression for the Fourier transform of a random variable $X$ $$\varphi (\theta ) = \sum\limits_{n = 0}^\infty {{p_n}} {e^{in\theta }}$$ ...
3
votes
0answers
144 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 ...
2
votes
3answers
152 views

tranforms that lowers the number of variables of a function

Is there any linear map that lowers the number of variables of functions, namely a map that maps a function of several variables to functions of one variable and at the same time the original ...
0
votes
1answer
187 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
1answer
129 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
2answers
366 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 ...
2
votes
1answer
589 views

Absolute convergence of logarithm of polynomial with positive coefficient ($\ln G(z) = \sum\limits_{i = 0}^\infty {{q_i}{z^i}} $)

Special problem: Let $G(z)$ be a probability generating function(pgf, the $z$ can be seen as real number or complex number), that is $$G(z) = \sum\limits_{i = 0}^\infty {{p_i}{z^i}} ,(\left| z ...
3
votes
0answers
213 views

How is the deconvolution of a fat gaussian from a polynomial derived?

We have a 2D order-2 polynomial, a Gaussian and a 'box' indicator function. Let: $\begin{eqnarray} p(x,y) &=& c_0+c_1x+c_2y+c_3xy+c_4x^2+c_5y^2+c_6xy^2 \\ G(x,y) &=& ...
2
votes
0answers
142 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 ...
-3
votes
1answer
177 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 ...
0
votes
0answers
131 views

Solvable PDEs and their Green's functions

I have a class of PDEs of the form $$ -\Box\phi(x)+\lambda\phi_0^2(x)\phi(x)=0 $$ with $\phi_0^2(x)=\sum_{n=-\infty}^\infty b_ne^{ip_n\cdot x}$. I know some exact solutions for them (see here and ...
1
vote
1answer
154 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
0answers
131 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
1answer
281 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 ...
10
votes
0answers
350 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 ...
0
votes
1answer
158 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
82 views

Generalized Radon transform (Relaxed sufficient condition for invertibility)

The generalized Radon transform maps a function $f \in L^1(\mathbb R^n)$, usually interpreted as a density of an object, to its integral value over an $(n-1)$-dimensional affine subspace. To be more ...
1
vote
0answers
140 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 ...
4
votes
2answers
225 views

Generalization of Lévy's continuity theorem for nuclear spaces

I am interested in a generalization of the following finite-dimensional results in infinite dimensional vector-space with nuclear structure, especially for the cases of the spaces of distributions ...
3
votes
0answers
102 views

Any references on infinite-dimensional Fourier-Plancherel theory?

Let $M$ be a measure on an infinite-dimensional topological vector space (in fact, only the measure type matters), such that $M$ is quasi-invariant under a dense subspace $S$ of shifts (let's assume ...
3
votes
0answers
181 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 ...
1
vote
1answer
410 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 ...
1
vote
1answer
122 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- ...
14
votes
1answer
2k views

Fourier transform of the unit sphere

The Fourier transform of the volume form of the (n-1)-sphere in $\mathbf R^n$ is given by the well-known formula $$ \int_{S^{n-1}}e^{i\langle\mathbf a,\mathbf u\rangle}d\sigma(\mathbf u) = (2\pi)^{\nu ...
10
votes
1answer
346 views

Asymptotic Weyl Character Formula

Let $G$ be a complex semi-simple group along with a chosen pair of opposite Borel subgroups (so we get all the root-theoretic data we need). Let $\lambda$ be a dominant weight, and let $V(\lambda)$ be ...
2
votes
0answers
291 views

Computing a 2D Fourier transform on a disk

I am looking for a reliable and fast way of evaluating an integral like $$ F(r, \phi)= \int_0^1 \int_0^{2\pi} f(\rho, \theta) e^{2\pi i \rho r \cos(\theta - \phi)}\rho\, d\theta\,d\rho, $$ where $f$ ...
2
votes
0answers
189 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 ...
4
votes
1answer
181 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
197 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: ...
2
votes
1answer
352 views

Decay of the Fourier transform of a function with a discontinuty at zero

Let $f \colon \mathbb R^2 \to \mathbb R^2$ be a function from the Schwartz class and $f(0) \neq 0$. Define it's projection $g(x) = \langle f(x), \frac{x}{|x|} \rangle \frac{x}{|x|}$, where $\langle a, ...
3
votes
2answers
611 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 ...
1
vote
2answers
268 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}$ , ...
0
votes
0answers
90 views

Two distribution spaces ${\mathcal S}'/{\mathcal P}$ and ${\mathcal S}_\infty'$

Let ${\mathcal S}'$ be the set of all distributions. Denote by ${\mathcal P}$ the set of all polynomials, which is embedded into ${\mathcal S}'$ as a closed subspace. Equip ${\mathcal S'}/{\mathcal ...
3
votes
0answers
107 views

Meaning of fractional Fourier transform with imaginary iteration count

(I'm reposting this from math.stackexchange as I didn't get an answer there and thought it might be "advanced" enough for this site.) As one may know, the Fourier Transform $$F[f](\nu) = ...
4
votes
0answers
378 views

Inverse Fourier Transform involving a Bessel Function, Exponential, and Power

I'm interested in this integral as a function of $r$ for various spectral densities $S(s)$: $\frac{2 \pi}{r^{p/2}-1} \int_{0}^{\infty} S(s) J_{p/2-1}(2 \pi r s) s^{p/2} ds $, where $J_{p/2-1}$ is a ...
0
votes
0answers
112 views

Min of a real-valued Fourier transform

Let $P$ be a compact, convex, symmetric, $d$-dimensional body in $\mathbb R^d$, and let $\mu$ be a (necessarily) symmetric probability measure on $P$, so that $\mu_P(x) = \mu_P(-x)$, for all $x \in ...
3
votes
1answer
309 views

Fourier transform of tempered distribution

I'm wondering whether anyone knows a reference or proof for finding the Fourier transform of $f(t):=(t+1)^{1/2}t_+^{1/2}$? (Here $t_+=\max (t,0)$.)
3
votes
1answer
396 views

Why does Fourier transform of a function give the frequency spectrum?

Coefficients of the complex Fourier series give spikes at discrete frequencies. I'd like to understand why F.T. gives us the continuous frequency spectrum?
0
votes
1answer
261 views

Littlewood-Paley theory and norm estimation

In the paper "A Convolution Inequality Concerning Cantor-Lebesgue Measures", the Littlewood-Paley theory is used to estimate the norm of multiplier operator in Lemma 1. It is claimed that Lemma 2 is ...
3
votes
1answer
683 views

Fourier transform of a bounded function

This should really be well-known, but I was not able to find a definite answer to this question: Is the Fourier transform of a bounded function always a borel measure (i.e. an order 0 distribution)? ...
1
vote
0answers
172 views

Convergence of the inverse image of a sequence of Fourier transforms

The Fourier Transform is in general terms a continuous mapping, as well as it's inverse when it exists. Is there any abstract result that translates convergence of the transforms of a sequence of ...
2
votes
2answers
551 views

Schönhage–Strassen algorithm

After brief intro to Fourier series, CFT, DFT and their basic properties I enjoyed implementing forward and backward FFT algorithm in complex numbers. I was happy to, at least, have an idea how is it ...
17
votes
2answers
756 views

Image of L^1 under the Fourier Transform

The Fourier Transform $\mathcal{F}:L^1(\mathbb{R})\to C_0(\mathbb{R})$ is an injective, bounded linear map that isn't onto. It is known (if I remember correctly) that the range isn't closed, but is ...
7
votes
0answers
319 views

Montgomery's conjecture and lower bound on certain Fourier transform.

Recently I have come across the following question, while meditating about Matt Young's answer to this question of mine, explaining the heuristic (or at least, one possible heuristic) behind ...