The tag has no wiki summary.

learn more… | top users | synonyms

2
votes
0answers
73 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 ...
-2
votes
0answers
167 views

Is this statement which sounds like Jordan's test generalized for two dimensions and Limit of Dirichlet integral in 2 dimensions, True?

(If this question is inappropriate to MO, please move it to math.stachexchange) First a few definitions and then the question. This is related to this question. Definition-1 A function ...
5
votes
1answer
101 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
42 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
135 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
152 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
0answers
26 views

Approximation of a degenerate continuous quadratic form

Let $a(\cdot)$ be a real positive definite function and let $b(\cdot)$ be a real function in $L^2$. Consider: $$ P_T(x)=\frac{1}{\sqrt{T}}\int_0^T\int_0^T a(u-v)b(u-x)b(v-x)dudv. $$ The goal is to ...
0
votes
1answer
39 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
368 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
144 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
343 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
81 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
429 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
153 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[ ...
5
votes
2answers
130 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
118 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
37 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
87 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
94 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
114 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
163 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
198 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
152 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
182 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
57 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
216 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
88 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
383 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 ...
4
votes
0answers
182 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 ...
0
votes
1answer
234 views

Prove that these two definitions of “natural” integration constant coincide when both converge

These are two possible definitions of antiderivative (integral) incorporating a supposedly natural choice of an integration constant (see this question for further details). The first one is based on ...
-2
votes
1answer
432 views

Why calculus textbooks do not include the natural integration constants in the tables of integrals? [closed]

The formulas for integrals in the textbooks usually define indefinite integral up to a constant term. Yet the natural integration constant for antiderivative can be fixed from the following formula ...
4
votes
2answers
104 views

Inverse Fourier of $\omega^{-1+{\rm i}\alpha} u(\omega-1)$

Let $\alpha$ be an arbitrary real number and define \begin{align} \widehat{f}(\omega)=\left\{\begin{array}{ll} \omega^{-1+{\rm i}\alpha}, & \omega>1,\\ 0, & \textrm{otherwise}. \end{array} ...
0
votes
0answers
68 views

what is the best estimation for the following

Suppose a continuous $2\pi$-periodic function $f:R\rightarrow R$ satisfies $$ |f(x+\delta)+f(x-\delta)-2f(x)|\leq \mathrm{const}\frac{\delta}{\Big(\log\frac{1}{\delta}\Big)^{\gamma}}, \,\,\, ...
3
votes
2answers
179 views

How do functions operate in a Sobolev space $H^{s}$?

Let $s>\frac{1}{2};$ and define a Sobolev space as follows: $$H^{s}(\mathbb R)=\{f\in L^{2}(\mathbb R):[\int_{\mathbb R} |\hat{f}(\xi)|^{2}(1+|\xi|^{2})^{s}d\xi]^{1/2}<\infty \}.$$ Fact: Let $m$ ...
1
vote
0answers
167 views

Is there an asymptotic bound for this oscillatory integral?

I have an oscillatory integral: $$ \int u(x,y) e^{i\lambda f(x,y)} dx $$ with $f(x,y)\in \mathbb{C}^{\infty}$ a complex-valued function in a neighborhood of $(0,0)$ satisfying: $$ \text{Im} f \geq ...
1
vote
2answers
273 views

decomposition of Hilbert space into tensor product $L^2([0,\tfrac{1}{2}]) \otimes L^2([\tfrac{1}{2},1]) \simeq L^2([0,1])$

The definition of entanglement entropy in Quantum Field Theory involves decompositing a Hilbert space into a tensor product $\mathcal{H} = \mathcal{H}_A \otimes \mathcal{H}_B$. As an example, is it ...
0
votes
0answers
180 views

Non-Abelian Fourier Analysis

I'm currently thinking to generalize a known result on abelian groups to non-abelian groups. This is the problem. Fix an abelian group $G$. We know that: $\mathbb{E}_{\chi\in ...
0
votes
1answer
144 views

$\widehat{f\ast g}= \hat{f} \cdot \hat{g}$ for $f, \hat{f} \in L^{p}(\mathbb R)\cap C(\mathbb R) (1<p<\infty, p\neq 2), g\in \mathcal{S}(\mathbb R)$? [closed]

(This may be very simple question for MO; I had post it to math stack exchange few days back but I could not get any answer(or comment) to it) It is well-known that, for $f,g \in L^{1}(\mathbb R).$ ...
11
votes
2answers
216 views

Heuristic interpretation of the 'third index' for Besov and Triebel-Lizorkin spaces

For $p,q \in (0,\infty)$ and $s \in \mathbb{R}$, one can define certain function spaces, $B_s^{p,q}(\mathbb{R}^n)$ and $F_s^{p,q}(\mathbb{R}^n)$, the Besov and Triebel-Lizorkin spaces respectively. ...
4
votes
2answers
113 views

Approximate Moment Conditions

It is known in classical probability that if two random variables $X$ and $Y$ obeys $$\mathbb{E} X^k = \mathbb{E}Y^k, \ \forall \ k \geq 1$$ with additional condition that $\mathbb{E}X^k$ does not ...
0
votes
0answers
128 views

$L^{p}(\mathbb R)\subset L^{1}(\mathbb R) \ast L^{p}(\mathbb R), (1< p< \infty)$?

Let $\mathbb T$ be a circle group. In 1939, Salem, has shown that, every member of $L^{1}(\mathbb T)$ can written as a product(convolution) some other two members of $L^{1}(\mathbb T),$ that is, ...
4
votes
0answers
155 views

Why is the density function of a sum of many iid random variables (i.e., the Gaussian) self-dual?

In the usual proof of the central limit theorem via characteristic functions, we note that if $X_1, \dots, X_n$ are independent and identically distributed, with probability density function $f(x)$, ...
2
votes
0answers
113 views

seek another proof of a result in Fourier analysis

It was proved on page 26 of this note the following result: Let $\xi$ be an algebraic number that is not a root of unity, then there exists an $n_0\geq 0$ with the property that ...
0
votes
1answer
156 views

Paley-Wiener type theorem for integral functions with compact support

If $f\in L^{1}(\mathbb{R}^n)$, and $f$ has compact support, then how can I show that $\hat{f}$ cannot satisfy $\hat{f}(x)=O(e^{-\epsilon|x|})$ for any $\epsilon>0$? This is similar in the spirit ...
1
vote
0answers
108 views

Uniform bound for an alternating series of functions

I have mainly two questions, the first one being motivated by the second one. 1) Is there a way to prove that $F(x) = \sum_{k=1}^\infty \frac{(-1)^{k+1} x^{2k}}{(2k)!}$ is bounded on $\mathbb{R}_+$ ...
0
votes
0answers
42 views

Godement-Jacquet and L-functions

Let $M_{r}(F)$ be the matrices with coefficients in a local nonarchimedean field $F$ and $q$ the cardinal of the residue field. We have a Fourier tansform on $M_{r}(F)$ with kernel ...
4
votes
1answer
151 views

A Fourier series that does not converge in $L^1$

I'm reading Katznelson's book "Harmonic Analysis" and there is an exercise that I can't solve : Show that if the sequence $\left\{ N_j \right\} $ tends to infinity fast enough, then the Fourier ...
9
votes
1answer
262 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 $x_n$ denote the first zero of its derivative, which is also the location of the first maximum of $\mathcal{J}_{n+1/2}$. My ...
2
votes
0answers
135 views

A decomposition of a representation via characters of a normal compact subgroup

This is connected to my question here. Let $K$ be a normal compact subgroup in a locally compact group $G$, $\widehat{K}$ the dual object for $K$, and $\mu_K$ the normed Haar measure on $K$ ...
6
votes
1answer
237 views

Shortcut from discrete Fourier transform F{x} to zero-padded F{x:0…0}

Summary: Given $X$ (the discrete Fourier transform of some unknown vector $x$ of length $N$), is there any shortcut to computing $X'$ (the Fourier transform of $x$ after padding it with $N$ zeros)? ...