The tag has no wiki summary.

learn more… | top users | synonyms

3
votes
0answers
309 views
+50

Best known bounds on certain exponential sums

What are the best bounds currently known for the following exponential sum: $$\sum_{x < p \le 2x} e(\alpha p^k)$$ for values of $\alpha$ far from a rational with small denominator. ($p$ refers ...
6
votes
0answers
826 views
+50

Eliminating Gibb's phenomenon, and approximating with jumping functions in Fourier Analysis : An attempt and a question in this regard

Physical Motivation : Hear to these audio files S_f and P_f. S_f is Fourier partial sum and P_f is the new reconstruction, both use spectrum only in the region (0,4KHz) for reconstructing the ...
-1
votes
0answers
25 views

Fast Algorithm to compute the Discrete Fourier Transform with a constraint on the summation index

I really appreciate if anyone can help me with this problem. Problem: Let $W_n=e^{\frac{2\pi i}{N}}$ which is the $N$th root of unity. The backward Discrete Fourier Transform of a complex vector ...
6
votes
2answers
285 views

Can phase significantly concentrate a function's spectrum?

Let $F$ denote the Fourier transform over some group. What is known about the following quantity? $$\gamma:=\inf_{x\neq 0}\frac{\|Fx\|_1}{\|F|x|\|_1}$$ Here, $|x|$ denotes the pointwise absolute ...
22
votes
6answers
4k views

Do convolution and multiplication satisfy any nontrivial algebraic identities?

For (suitable) real- or complex-valued functions f and g on a (suitable) abelian group G, we have two bilinear operations: multiplication - (f.g)(x) = f(x)g(x), and convolution - (f*g)(x) = ...
5
votes
3answers
376 views

Efficient computation of “discrete infimal convolution”

This question arises from an application to graphical models in probability theory, but I have abstracted that part out so only algebra remains. Let $\mathbb{R}$ denote standard field of real numbers ...
2
votes
0answers
52 views

Is this similarity to the Fourier transform of the von Mangoldt function real? [duplicate]

This question proposed in SEM but no answer and it's interesting to know connection between Fourier analysis and number theory . Mathematica knows that the logarithm of $n$ is: $$\log(n) = ...
0
votes
0answers
88 views

Central Limit theorem: Taylor series diverges for harmonics with higher number and those harmonics can't be neglected [migrated]

Edit: I'm currently revising the question, due to suggestions in comments. There's a mistake in my discussion of Parseval's identity. I've read several proofs of Central Limit Theorem and they all ...
0
votes
1answer
86 views

Fourier series and transform related to Epicycles

Let $\gamma:\mathbb{R}\to\mathbb{C}$ be a continuous periodic curve having a bounded variation. 1) Is it true that one can find a sequence of numbers $(r_n)_{n\in\mathbb{N}}\subset (0,\infty)$ and ...
-1
votes
0answers
46 views

A theorem on epicycles

Can somebody help me understanding the theorem on the last page of that article about Fourier Series and Epicyles? ...
3
votes
0answers
51 views

Fourier coefficients of positive polynomials

Let $p(x) \geq 0$ be a positive polynomial on the hypersphere ($x \in S^{n-1}$) satisfying $\int_{S^{n-1}} p(x) = 1$. Writing $p(x) = \sum_{j=0}^s p_j(x)$ where $p_j(x) = \sum_m p_{jm} s_{jm}(x)$ with ...
4
votes
0answers
217 views

Is $f(x,y)=\sum_{n\in\mathbb{Z}\backslash\{0\}}\frac{1}{n}e^{2\pi i(xn+yn^2)}$ essentially bounded?

Let $$f(x,y)=\sum_{n\in\mathbb{Z}\backslash\{0\}}\frac{1}{n}e^{2\pi i(xn+yn^2)} $$ Is it true that $\|f\|_{L^{\infty}(\mathbb{R}^2)}<\infty$? i.e. is $f$ essentially bounded?
10
votes
2answers
867 views

Analogues of the Riemann-Roch Theorem

In his thesis, Tate derives a Poisson formula on the adeles and a theorem which he calls the "Riemann-Roch Theorem". More specifically, given a continuous, $L^1$ function $f$ on the adeles such that ...
7
votes
1answer
1k views

The large sieve for primes

Let $\Lambda(n)$ be the von Mangoldt function, i.e., $\Lambda(n) = \log p$ for $n$ a prime power $p^k$ and $\Lambda(n) = 0$ for all $n$ that not prime powers. Let $$S(\alpha) = \sum_{n \leq N} ...
2
votes
1answer
131 views

an analogue of Littlewood-Paley-Rubio de Francia theory

For any function $f$ defined on the set of integer $\mathbb{Z}$, we define its Fourier transform as the following periodic function: $$ \mathbb{F}f(\xi)=\sum_{n\in\mathbb{Z}}f(n)e^{-2\pi i n\xi} $$ ...
0
votes
0answers
40 views

Fourier transform of the realization of a stationary process in the space of tempered distributions?

A path of a stationary sequence of random variables $y_t$ does not have a discrete-time Fourier transform in the classical sense because it is not summable. This leads to considering the spectral ...
5
votes
1answer
223 views

Fourier expansion of Eisenstein Series

I have been reading a bit about the Fourier expansion of Eisenstein series (weight 1/2). I came across the fact that the coefficients contain Modified Bessel functions. Further reading I found ...
1
vote
1answer
116 views

Ask the validity of Tauberian lemma in Sogge's book

In C.D.Sogge's Fourier Integrals in Classical Analysis pp.128-129, he proved Lemma4.2.3(Tauberian Lemma): Lemma. Let$g(\lambda)$ be a piece-wise continuous tempered function of $\mathbb{R}$. Assume ...
6
votes
2answers
354 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
0answers
109 views

the (2,2,1) boundedness of a “product” operator

Let $\{E_j\}_{j\in\mathbb{Z}}$ and $\{F_k\}_{k\in\mathbb{Z}}$ be two collections of pairwise disjoint sets in $\mathbb{R}$. Let $C(j,k)$ be a bounded function (e.g. $|C(j,k)|<1$) defined on ...
1
vote
1answer
252 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
21 views

Fourier transform of a rational function with spike at origin [migrated]

Consider a rational function $f(x) = \frac{p(x)}{q(x)}$, where both $p(x)$ and $q(x)$ are polynomial functions of the multivariate $x = (x_1, x_2,..., x_n) \in \mathbb{R}^n$. Also, let us say that the ...
0
votes
0answers
92 views

Inverse Fourier transform of $\frac{1}{\sqrt{\xi_1} + \xi_2}$

Consider the inverse Fourier transform of $\frac{1}{\sqrt{\xi_1} + \xi_2}$. My question is, how can we conclude about the decay properties, support and smoothness of the inverse Fourier transform? I ...
1
vote
0answers
62 views

Does the Total variation of the Fourier partial sum of a bv function with jumps converge to TV of the function as $N\to\infty$

Does the total variation of the Fourier partial sum of a piecewise continuous bv function converge to the total variation of the function as $N\to\infty$. To explain briefly, Let $f$ be a periodic ...
3
votes
1answer
543 views

Is the integral always nonzero?

Let $$I_{n,p,a}:=\int_0^{\infty-} \frac{g_{n,a}(t)}{t^{p+1}} \, dt,$$ where $$(*)\qquad\qquad\qquad n\in\mathbb N,\quad -\infty<a<\infty,\quad p_{n,a} < p < ...
0
votes
0answers
43 views

Non interacting complex unit

How to work with two non interacting complex units say i and j. These two imaginary complex unit represent different quantities. For example i is for periodicity in theta and j is for frequency or ...
9
votes
1answer
277 views

$L^1$ norm of exponential sum of $n^2 x$

What is the asymptotic order of $$ \int_0^1 \left| \sum_{n=1}^N e^{2 \pi i n^2 x} \right| ~dx $$ as $N \to \infty$. This should be known, but I cannot find it in the literature.
2
votes
0answers
59 views

Dominated convergence to characteristic function

Let $\phi_m(x):=\chi_{[0,1]} * \chi_{[0,1]} *...* \chi_{[0,1]}$ be the m -times convolution (so $m+1$ characteristic functions are involved). Then the Fourier transform of this function is given by ...
1
vote
1answer
150 views

Finite trigonometric polynomial

I noticed by numerical and some explicit calculations for a few examples that for real-valued finitely supported functions $\phi \in L^2(\mathbb{R})$ we have that $T(x):= \sum_{n \in \mathbb{Z}} ...
3
votes
0answers
172 views

The ring of modular forms for $\Gamma_0(11)$

Let $\mathcal M(11) = \oplus \mathcal M_k(11)$ be a graded algebra of modular forms for congruence group $\Gamma_0(11)$. I want to find generators and relations between them. I proved that $\dim ...
4
votes
0answers
44 views

Value of prolate speroidal wave function at 0

I have a very basic question about prolate speroidal wave functions that can be defined as eigenfunctions to the following integral equation: $$ \lambda\cdot \psi(x) = \int_{-1}^{1}\frac{\sin ...
0
votes
0answers
111 views

Problem with operator and Fourier transform

I am currently dealing with a problem in functional analysis where I want to show the following. Let $\phi_{k+1}(x):=\sqrt{2} \sum_{n \in \mathbb{Z}} h(n) \phi_k(2x-n)$ and $\phi_0= \chi_{[0,1]},$ if ...
8
votes
2answers
277 views

Radial limit does not exist almost everywhere

Problem 4 in Chapter 4 of Stein's book "Real Analysis" says $\sum_{n\geqslant 0}z^{2^n}$ doesn't have radial limit as $z$ approaches the unit circle from inside almost everywhere. It's fairly easy ...
0
votes
0answers
32 views

Is Wiener amalgam spaces $W^{2,1}(\mathbb R)\subset C_0(\mathbb R)$?

I have been learning Wiener amalgam spaces. In Wiener amalgam spaces $W(X, L^2)$, I am taking $X=\mathcal{F}L^{1}=\{f\in L^{\infty}(\mathbb R):\hat{f}\in L^{1}\},$ and $m(x)=1.$ Take $f(x)= ...
0
votes
0answers
47 views

$A_n \not \rightharpoonup A$ in $L_1[-\pi; \pi] $ ( $A_n$ is partial fourier sum )

Let \begin{equation*} (A_n x)(t) = \frac{a_0}{2} + \sum\limits_{k=1}^n a_k cos(kt) + b_k sin(kt), \\ a_k = \frac{1}{\sqrt{\pi}} \int_{-\pi}^{\pi} x(t) cos(kt) dt, \\ b_k = \frac{1}{\sqrt{\pi}} ...
2
votes
2answers
130 views

Are there examples of functions in $L_1$ and $L_\infty$ whose Fourier series divergent (“weakly”)?

It is wellknown that there is a convergence in norm for Fourier series in $L_p$, if $1<p<\infty$, but are there some examples for pointwise divergence if $p=1,\infty$ in books, or somewhere? I ...
1
vote
0answers
93 views

Transformation of kernel

I have the following problem at hand. Define the kernel $$K(x_1,x_2) = \int_{-1}^1\int_{-1}^1 \exp(-2\pi\jmath x_1 y_1)R(y_1,y_2)\exp(2\pi\jmath x_2 y_2)\mathrm{d}y_1\mathrm{d_2}.$$ Now, if ...
3
votes
1answer
189 views

Variations on the Mellin and Dirichlet transforms

There are a number of variations on the Laplace transform that turn up all over math. Some examples: $\int_{-\infty}^{\infty} f(t)e^{-st} dt$ - The Laplace transform $\sum_{-\infty}^{\infty} ...
0
votes
0answers
63 views

prove that a function is approximatively three dimensional

Let $D_n(x)$ be a diagonal matrix of size $N\times N$ where the $k$th element is $\exp(2\pi\jmath x(n+(k-1)/N)$. Let $P_n$ be a random diagonal $N\times N$ matrix where each diagonal element is a ...
2
votes
0answers
139 views

Largest Fourier coefficient of sparse boolean function

Consider a Boolean function $f: GF(2)^n \rightarrow \{0, 1 \}$. I would like to show that if $f$ is sparse, i.e. $\sum f(i) \leq t$, then $f$ must have a large Fourier coefficient. (A Fourier ...
2
votes
1answer
589 views

Constructing an L2-space with a given orthonormal basis

Coming from a completely different world, I am trying to learn some very basic Fourier analysis, and have been scratching my head around this (it may be a very stupid question with an obvious answer): ...
10
votes
1answer
327 views

Is a Bessel function larger than all other Bessel functions when evaluated at its first maximum?

Let $\mathcal{J}_{n+1/2}$ be the Bessel function of order $n+1/2$. Let $j'_{n+1/2,1}$ denote the first zero of its derivative, which is also the location of the first maximum of $\mathcal{J}_{n+1/2}$. ...
22
votes
6answers
6k views

Learning roadmap for harmonic analysis

In short, I am interested to know of the various approaches one could take to learn modern harmonic analysis in depth. However, the question deserves additional details. Currently, I am reading Loukas ...
2
votes
0answers
81 views

Nonlinear Schrödinger blow-up for non radial solutions

I am studying a paper of Frank Merle and Pierre Raphaël, http://math.unice.fr/~praphael/Publications/blow-up-norme-critique.pdf. The equations are $$ i\partial_tu+\Delta u=-|u|^{p-1}u $$ on ...
6
votes
1answer
209 views

Reference request: Optimal $L^p$-decay for nonhomogenous heat equation in $\mathbb R^d$

Let $u$ be a classical solution for the nonhomogeneous heat equation in $\mathbb R_+ \times\mathbb R^d$: $$ \begin{cases} \partial_tu(t,x)-\Delta u(t,x) = f(t,x), \\ u(0,x)=u_0(x). \end{cases} $$ ...
0
votes
0answers
29 views

Gaussian gabor frame

It is widely known that $\phi(x)=e^{-\frac{x^2}{2}}$ does not define a Gabor frame if we consider translations by units of $1$ and multiplication by $e^{2 \pi inx}$for $n \in \mathbb{N}.$ A way to ...
1
vote
0answers
77 views

Is my particular finite dimension Toeplitz matrix always strictly positive?

Let $H(\omega), \; -\pi \leq \omega \leq \pi$ be a real-valued function with a continuous band of zeros, that is (for simplicity) $H(\omega)=0, \; |\omega|\geq \beta \pi$. Define a sequence of banded ...
3
votes
1answer
119 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 ...
4
votes
1answer
256 views

Is there a name for this space?

I'm just asking if there is a name for the space of functions on $\mathbb R^n$ whose norm is defined by $$ \|f\|=\|\hat f\|_{L^p} $$ for $p\in [1,\infty]$. I find it handy to give it a name when ...
1
vote
1answer
163 views

Fourier coefficients of real analytic functions on an n-dimension torus

Let $(\mathbf{R}^n,\langle\;,\; \rangle)$ be the n-dimensional euclidean space endowed with the standard inner product. For a lattice $L\subseteq \mathbf{R}^n$ we let $cov(L)$ denote the covolume of ...