The tag has no wiki summary.

learn more… | top users | synonyms

0
votes
0answers
11 views

What is the AAN algorithm for computing the fast DCT, and does it work for arbitrary or even-sized input vectors?

I'm trying to implement a faster DCT algorithm for an image perceptual hashing library I maintain in Rust. I based my original implementation on listing2.c from ...
0
votes
1answer
78 views

Uniform $L^p-L^{p'}$ bound of a Fourier multiplier

Let $(\tau,\xi)\in\mathbb{R}\times \mathbb{R}^n$, and consider the function $$ m_{\epsilon}(\tau,\xi)=\frac{1}{\tau+|\xi|^4+\epsilon|\xi|^2+i} $$ in $\mathbb{R}^{n+1}$. My first question is that does ...
0
votes
0answers
88 views

How do I prove this statement about the operator norm? [on hold]

I stumbled across this equation in a paper, but I can't find the paper any more and I'm not sure if I remember it correctly. By definition of an operator norm, $$\left[(D^*D)^{-1} - ...
-3
votes
0answers
55 views

Calculation of Fourier Transform [migrated]

I am trying to calculate the Fourier Transform (with respect to k) of the following function: $\frac{1}{\sqrt{k^2 + 1} - C}$ where $C$ is some complex number. Does anyone knows how to do that? ...
1
vote
0answers
159 views
+50

Killing vector fields on sphere and nodal sets

Let $u$ be a smooth function on $S^2$ such that $\int_{S^2} ux_j =0$, for $j=1,2,3$. Does there exist a killing vector field $V$ on $S^2$ such that the nodal line of $\varphi=V(u)$ ($\{x\in S^2: ...
0
votes
0answers
13 views

separating two parameters in an oscillatory integral

Consider the following oscillatory integral with two parameters: $$I(a,b)=\int_{\mathbb{R}}e^{i(ax^2+bx)}\psi(x)\,dx$$ where $\psi$ is smooth and supported in $\{x:|x|\in[1/2,2]\}$. Can we write ...
3
votes
2answers
253 views

Number of critical points of smooth functions on $S^1$

Let $u$ be a smooth function on the unit circle $S^1$ such that $\int_{S^1}ux_j=0$, for $j=1,2$. Is the number of critical points of $u$ strictly bigger than 2?
0
votes
0answers
280 views

What is the Fourier transform of this function?

Consider the function $$ f(x_1,x_2)=|x_1x_2|^{-\alpha/2}\int_{\mathbb{R}} \frac{e^{it(x_1+u)}-1}{i(x_1+u)} \frac{e^{it(x_2-u)}-1}{i(x_2-u)} |u|^{-\beta}du. $$ It is known that $f(x_1,x_2)\in ...
5
votes
2answers
251 views

Conditions for positivity of Fourier transform

Assume you are given a non-negative, continuous, radial function $f\in L^q(\mathbb{R}^3)$ (for any $q\geq 1$). Are there any conditions which would guarantee that the Fourier transform of $f$, that ...
0
votes
0answers
58 views

variation norm of a Fourier transform

Motivated by certain uniform estimate in oscillatory integrals, I am now trying to calculate the Fourier transform of the function ${\large e^{i|t|^{\epsilon}}/t}$ on $\mathbb{R}$, where $\epsilon\in ...
4
votes
1answer
75 views

Abstract stationary phase

I have been reading Semi-classical analysis by Guillemin and Sternberg. At the end of Chapter 8, they gave an abstract version of the stationary phase method. I have a hard time figuring out what ...
1
vote
1answer
169 views

A calculus question related to the nonnegative definite functions

I am looking for some sufficient conditions for an even, continuous, nonnegative, non increasing function $f(x)$ on $R$ such that $$ \int_0^\infty \cos(xz) f(z) d z \ge 0 \qquad\text{for all $x\ge ...
1
vote
0answers
48 views

symbol $m\in L^{\infty}$ implies any boundedness of a bilinear operator?

For a linear multiplier operator $T(f)(x)=\int_{\mathbb{R}} m(\xi)\hat{f}(\xi)e^{2\pi ix\xi}d\xi$, we know that $\|m\|_{\infty}$ gives the operator norm of $T$ from $L^2$ to itself immediately. What ...
2
votes
1answer
230 views

Connection between the Fourier transform of f and |f|

If $f\in L^p(R)$ with $1\leq p\leq 2$, then Hausdorff-Young inequality implies that the Fourier transform $\widehat{f}\in L^{p'}$, $p'$ is the dual exponent of $p$, and $$ ...
0
votes
0answers
74 views

The functional $L(\varphi)=\int_0^{2\pi}\frac{\sqrt{1-\varphi^2-(\varphi')^2}}{1-\varphi^2}d\theta$

Consider the $2\pi$-periodic inner product space $L^2[0,2\pi]$. Let $F\triangleq\{f\in L^2[0,2\pi]|f(\theta)>0,(f(\theta),\cos\theta)=(f(\theta),\sin\theta)=0\}$. Let $G\triangleq\{\varphi\in ...
0
votes
0answers
26 views

Multidimensional Filters

Say you want to design a LP FIR filter with low pass cutoff $fc$, transition band $fc$ to $fs$ and ripple factor $dp$ at passband and $ds$ at stop band. If one divides the frequencies by $\pi$, then ...
1
vote
0answers
88 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 ...
0
votes
1answer
164 views

How to solve this differential equation with an infinite sum?

I would like to find solutions of the following differential equation: $ \sum_{1}^{\infty} a_n f(nx) + f''(x)+ x^2 f(x)=\lambda f(x)$ For example in space of function from $\mathbb R^*$ to $\mathbb ...
2
votes
1answer
185 views

Fourier transform of $sin(\frac{1}{x})$ for $x > 0 (x > 1)$

Please, give me the cue: does exist analytical representation of Fourier Transform of $sin(\frac{1}{x})$ for$ x>0$ (or $x>1$). Maybe exist an approximation of $FT(sin(\frac{1}{x}))$ by Bessel ...
0
votes
1answer
124 views

A kind of Discrete Fourier Transform

Given a $z\in \mathbb{C}^N$, the DFT of $z$ is given for every $k\in [0,N-1]_\mathbb{N}$ by $$DFT_z(k)=\frac{1}{N} \sum_{j=0}^{N-1} z_j\, \omega^{-k j}$$ where I have denoted by $\omega$ the $N$-th ...
3
votes
3answers
203 views

Is there a compactly supported function that its Fourier transfrom vanishes at given n real points?

My question is as follows: Given ${{\lambda }_{1}},\,{{\lambda }_{2}},...,{{\lambda }_{n}}\in \mathbb{R}$ where $\underset{1\le j\le n-1}{\mathop{\min }}\,\left| {{\lambda }_{j+1}}-{{\lambda }_{j}} ...
2
votes
0answers
76 views

Do position and momentum measurements determine a wave function?

Suppose we have a function $f\in L^2(\mathbb R^n)$ and we know the functions $x\mapsto|f(x)|$ and $p\mapsto|\hat f(p)|$, where $\hat f$ is the Fourier transform of $f$. Can we reconstruct the function ...
1
vote
0answers
44 views

decomposition of tempered distributions by entire analytic functions

Let $\phi$ be a $C^{\infty}$ function on $\mathbb R^{n}$ with $$ \operatorname{supp} \phi \subset \{\xi \in \mathbb R^{n}: |\xi|\leq 2, \phi(\xi)=1~~\text{if}~|\xi|\leq 1\}$$ Let $j\in \mathbb N$ ...
2
votes
0answers
100 views

What's the idea behind various equivalent norms on Besov spaces $B^{s}_{p,q}$?

I am trying to understand Besov spaces; and I am eager to see why the various norms are equivalent on it. Let $\phi$ be a $C^{\infty}$ function on $\mathbb R^{n}$ with $ \operatorname{supp} \phi ...
5
votes
1answer
124 views

Jackson's theorem for partial sum of Fourier series

There is a classical theorem of Jackson stating that the $N$-th partial sum $S_N f$ of the Fourier series of a Lipschitz continuous function $f$ (which is periodic with period 1) satisfies $$ |f(x) - ...
1
vote
0answers
50 views

request for any expository works in pointwise convergence of double Fourier series and especially a paper by Hardy

Quart. J. Math. Volume 37, Issue 1, Pages 53-79 On double Fourier series, and especially those which represent the double zeta-function with real and incommensurable parameters. Hardy, G.H. I am not ...
5
votes
1answer
153 views

Largest area of a compactly supported positive definite function

Consider a continuous function $f: \mathbb{R} \rightarrow \mathbb{R}$, supported on $[-1,1]$, of positive type. Assume $f(0) = 1$; what is the "largest area" $\int f\,dx$ that can be achieved? To be ...
0
votes
2answers
167 views

“Convolution” for Multiplying Random Variables

The following situation arises frequently in probability. Suppose we have two independent continuous random variables $X$ and $Y$ and we consider their sum, $Z=X+Y$. Then the pdf of $Z$ is the ...
0
votes
1answer
41 views

Degree of polynomial approximating characeristic function of finte set

Given $C \geq 1$ and $\epsilon > 0$, is there a number $N = N(C,\, \epsilon)$ such that the following holds: For every set $S \subseteq S^1$ of cardinality $C$, there is a function $f: S^1 \to ...
-3
votes
1answer
420 views

A question about pointwise convergence of Fourier transform in $N$-dimensions

I am retreating back on this statement, after some explorations and calculation Bow to Willie and others who were skeptical on this. Main difficulty can be seen in this reference. But I must mention ...
3
votes
0answers
153 views

An upper bound for a average of a function in $L_{p}([0,1))$

Suppose that $ f $ is $ 1 $-periodic and that $ f \in {L^{p}}([0,1) $, where $ p > 1 $. Let $$ (D_{n})_{n \in \mathbb{N}_{0}} = \left( \left\{ I^{n}_{j},~ 1\leq j \leq 2^{n} \} \right\} \right)_{n ...
4
votes
3answers
402 views

Textbook request for class field theory [duplicate]

I am studying class field theory. I need good reference books, notes, or other materials which explain the following topics: ideles and ideals, Haar measure and integration on local fields, Fourier ...
0
votes
3answers
88 views

On the existence of compactly supported functions whose its Fourier transform satisfies a given condition

My question is concerned with the existence of compactly supported functions whose its Fourier transform satisfies a given condition: For $\gamma\ge 1$, one can prove that there is no compactly ...
5
votes
1answer
444 views

Is fourier analysis necessary to prove this?

I have a couple of inequalities that I want to prove. The proof is easy using fourier analysis but I am wondering whether there is a proof that does not use fourier analysis. 1) For any $c, s > ...
0
votes
0answers
154 views

Establishing an upper bound for a dyadic average of a function in $ {L^{p}}([0,1)) $

Suppose that $ f $ is $ 1 $-periodic and that $ f \in {L^{p}}([0,1)) $, where $ p > 1 $. Let $$ (D_{n})_{n \in \mathbb{N}_{0}} = \left( \left\{ I^{n}_{j} \stackrel{\text{df}}{=} \left[ ...
6
votes
2answers
181 views

Reverse Hausdorff Young for nonnegative functions

The classical Hausdorff-Young inequality states that $$ \Vert \widehat{f} \Vert_{p'} \leq \Vert f \Vert_p \text{ for } 1 \leq p \leq 2. $$ For $p=2$, we even have equality due to Plancherel. If we ...
1
vote
1answer
129 views

Fourier approximation error in L^2 for piecewise continuous functions

Let $u:[0,2\pi)\to \mathbb{R}$ be the step function $$u(x) = \begin{cases} 1 & \text{if } x \in [0,\pi), \\ 0 & \text{if } x \in [\pi,2\pi) \end{cases}$$ By a direct computation, one ...
0
votes
0answers
43 views

computational question concerning singular integral theory

Let $m\in C^\infty(\mathbb{R}^d-\{0\})$ be homogeneous of degree zero and has mean zero on the sphere$(S^{d-1})$. Then $m$ defines a tempered distribution and $\partial_j^dm\in S'(\mathbb{R}^d)$ is ...
1
vote
1answer
89 views

Can we count isospectral graphs?

On n-vertices, how many isospectral graphs exist? [..I saw this previous "historic" discussion between two of the stalwarts in this field - Operation on Isospectral graphs ] Given a graph are ...
5
votes
0answers
104 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
1answer
115 views

Convergence of complex series that are not absolutely convergent?

Does anyone know of a convergence test for a complex series of the form $$\sum_n a_n \cdot \exp(i \cdot b_n)$$ ? The particular series I need to understand has a_n going to zero as n goes ...
1
vote
0answers
169 views

Davenport's proof that almost all integers are the sum of 4 cubes

Where can I find a pdf that describes Davenport's proof that almost all integers are the sum of $4$ cubes?
5
votes
2answers
211 views

Eigenstates of Fourier transformation

Let $\gamma$ be defined on $\mathbb R^n$ by $\gamma (x)=e^{-π x^2}$. With $\mathcal F$ standing for the Fourier transformation defined on the Schwartz space by $$ (\mathcal F u)(\xi)=\int e^{-2iπ ...
2
votes
1answer
170 views

Is a polynomial decay sufficient for a smooth function to be in $\mathcal{F}(L^1)$?

Background: I have a function $g(\omega)\in C^{\infty}(\mathbb{R})$, which vanishes like $O(|\omega|^{-\beta})$ at infinity for some $\beta>0$. This answer states that functions that decays "too ...
0
votes
2answers
189 views

A book about almost periodic functions [closed]

Can anyone give me suggestions for new books about Besicovitch's almost periodic functions? Thanks a lot.
0
votes
0answers
65 views

Where the following interpolation method converges?

In this question about discrete-analytic functions (that is functions, who equal to their Newton series) I asked for a solution for the following problem: Is there a method to extend the notion ...
4
votes
1answer
235 views

Are Besov spaces $B^{s}_{p,q}$ invariant under Fourier transform?

(This may be very easy question for MO; as I am just trying to understand Besov spaces) Let $\phi \in C^{\infty}(\mathbb R^{n})$ with $ \operatorname{supp} \phi \subset \{\xi \in \mathbb R^{n}: ...
2
votes
0answers
89 views

“Direct” proof (without hypercontractivity) of equivalence of moments?

Let $(x_i)_{i \in \mathbb{N}}$ be a family of independent $\pm 1$ centered Bernoulli random variables, and let $p, q > 1$. There exists a constant C such that for every (finite) linear combination ...
2
votes
2answers
388 views

Exponential Sum Bound

In http://131.220.77.52/files/preprints/diophantine/bruedern/wpminicubefinal.pdf, Bruedern and Wooley mention the following fact on the bottom of page 6: Let ...
5
votes
0answers
207 views

Inverse Function Theorem on Zygmund Spaces, is the inverse in the same Zygmund Space?

Preliminary Definitions Let $\Omega \subset \mathbb{R}^n$ be open. We define the Zygmund spaces $C^r_{*}(\Omega)$ with $r>0$, $r \in \mathbb{R}$ in the following way: (all the functions are ...