The tag has no wiki summary.

learn more… | top users | synonyms

5
votes
0answers
81 views

Oscillatory integrals of algebraic functions

Consider an algebraic function $\phi$ on $R^{d}$. By this I mean that there exists a polynomial $P$ with coefficients in $R[x_1,...,x_d]$ (coefficients are polynomials!) such that $P(\phi) = 0$ Let ...
0
votes
0answers
110 views

An inequality for Fourier transform

Assume that $\lambda_1$ is the smallest eigenvalue of the Dirichlet Laplacean for the domain $\Omega\subset \mathbf{R}^n$ and let $0<\alpha\le 1$. Is the following statement well-known? Let $f\in ...
1
vote
0answers
56 views

Counting frequencies of occurrence of patterns within a sequence using harmonic analysis?

Assume that we are given a sequence $\mathbf x := X_1,\dots,X_n \in \mathbb N^n$ for some $n \in \mathbb N$. I am interested in calculating the frequency of occurrence of some fixed sequence $\mathbf ...
2
votes
2answers
197 views

Defining a Measure on Quotient Spaces

Let $G$ be a locally compact Hausdorff group with a left invariant Haar measure $\mu$ and a closed subgroup $H$. It is well-known (and not hard to prove) that $G/H$ possesses an invariant measure if ...
2
votes
2answers
112 views

Seeking a class of functions for which sums approximate integrals well

Is there a "natural" class of integrable functions $f: {\mathbb R} \rightarrow {\mathbb R}$ for which it is true (and, preferably, not too hard to prove!) that $\sup_{0 \leq a < h} |h S(a,h) - I|$ ...
0
votes
0answers
52 views

How to choose negative definite function $\lambda (x)$, so that $\lambda^{-1} \in L^{1}(\mathbb R)$?

We define, $$\lambda (x) =\int_{0}^{\infty} \frac{\sin^{2}x \alpha}{\alpha^{2}} d\mu (\alpha), (\mu(0)=0) $$ where $\mu (\alpha)$ is a non-decreasing function such that the integral converges for ...
-2
votes
1answer
151 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
1answer
147 views

Does Hilbert Transform commute with Function Multiplication modulo Compact on $L^p(R)$?

Define Hilbert Transform (HT) as the convolution with the function $1/x$. E. Stein proves in his book Singular Integrals and Differentiability Properties of Functions that HT, when understood as a ...
0
votes
0answers
15 views

Measurable FD for lattices in lcag

I have a locally compact Abelian group $G$ and a lattice $L \subset G$. Is it always true that we can find a pre-compact measurable fundamental domain for $L$? If $G$ is separable, the answer is ...
1
vote
1answer
128 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
1answer
250 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 ...
8
votes
0answers
174 views

Laplace Transform in the context of Gelfand/Pontryagin

Question: Do quasi-characters properly generalize the Laplace transform or decompose functions in some setting in a way similar to how characters generalize the Fourier transform and decompose $L^1$ ...
0
votes
0answers
56 views

How to get Fourier–Stieltjes transform on $\mathbb R$ from the nice function on $\mathbb T$ (periodic on $\mathbb R$)?

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 ...
1
vote
1answer
104 views

Absolute convergence of multi-dimensional Fourier series

For a Lipschitz function $f$ defined in $[0,2\pi]^d$ for $d>1$, is that true that the multi-dimensional Fourier series converges absolutely? In other words, $\sum_{k\in ...
0
votes
0answers
58 views

Does there exists $f\in A_{\mathbb R}(\mathbb T)$ with $||f||=r$ such that $||e^{if}||=e^{r}$?

Let $\mathbb Z$, the set of integers, be a group with respect to addition and its dual group is the $\mathbb T = \{z\in \mathbb C : |z|=1\}$ , one dimensional torus. Put, $\ell^{1}(\mathbb Z)= ...
0
votes
0answers
65 views

Harmonic/functional analysis question: Uniform bounds for $(1 - \varepsilon\Delta)^{-1}$ as $\varepsilon\to 0$?

Is there a space $X$, compactly embedded in $H^{-1}(R^2)$, such that the operators $(1 - \varepsilon \Delta)^{-1}$ are bounded from $L^1(R^2)$ into $X$, with operator norms that are in turn bounded by ...
2
votes
1answer
322 views

Is every distribution a linear combination of Dirac deltas?

My question is whether Dirac-type distributions over an Abelian group define a basis of the Schwartz-Bruhat space $\mathcal{S}(G)^\times$ of tempered distributions on $G$, so that any distribution ...
3
votes
1answer
83 views

Number of small projections

Suppose $X$ is a finite subset of the plane and for $0\leq \theta<\pi$, let $l_\theta$ denote the line through the origin having angle $\theta$ with the positive $x$-axis. For how many values of ...
8
votes
0answers
232 views

Carleson's Theorem on Manifolds

Let $M$ be an oriented, compact, differentiable manifold with some Riemmanian metric $g$, so that $(M,g)$ has a nice volume form and one can define $L^2(M,g)$ as the completion of $C^\infty(M)$ under ...
0
votes
0answers
53 views

Factorization in Fourier Algebra and its properties

By Schwartz-inequality and Riesz–Fischer theorem, one can deduced that, ($\ast$ stands for a usual convolution ) $$L^{2}(\mathbb T) \ast L^{2}(\mathbb T) = A(\mathbb T)(:= \{f\in L^{1}(\mathbb T): ...
3
votes
1answer
113 views

Is any finite collection of points contained in a cut and project set with $\mathbb{R}^d$ as internal space?

In "Meyer Sets and their Duals" Moody proves that any Meyer set union a finite number of points is again a Meyer set. Additionally, any Meyer set is contained in a finite union of model sets whose ...
0
votes
0answers
65 views

Better bound for Hardy-Littlewood maximal function

I have one question about Theorem 1 on page 3 in this notes http://www.cims.nyu.edu/~chou/notes/harmonic.pdf Is there any better bound $\frac{A}{\alpha^{t}}\|f\|_{1}$ for some $t>1$ in b)? What is ...
3
votes
1answer
111 views

A problem on the boundedness of maximal operator by using linearization method

We know that the maximal operator is bounded on $L^{p}(\mathbb{R}^{n})$ where $n\geq 1$ and $1<p<\infty$ and the proof would be contained in many classical harmonic analysis books. Here I find a ...
0
votes
0answers
110 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 ...
2
votes
1answer
170 views

Understanding Bruhat's notion of Schwartz function

I am trying to understand Bruhat's generalized Schwartz functions over (Hausforff) locally compact Abelian groups [1], following this paper [2] by Osborne. There, the Schwarz-Bruhat space ...
1
vote
1answer
120 views

Strong decomposition tools from Harmonic Analysis in other fields

I would like to know more about the tools in Harmonic analysis, but the ones that give a really good results in other theories. One of them are decompositions, like Whitney, Calderon-Zygmund etc...The ...
0
votes
1answer
83 views

How Fourier-Lebsgue spaces operates functions?

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 ...
3
votes
2answers
338 views

Ultrafilter-based Fourier-Walsh-like Functions

Here is a (little wild) question about Boolean functions with countably many variables and a wild analog for Fourier-Walsh functions and analysis based on them. Let $x_1,x_2,\dots,x_n,\dots$ be ...
2
votes
0answers
164 views

Does anyone know what is the right reference for the following simple lemma from harmonic analysis?

The lemma says that given $\lambda\geq 1$, $p\geq 1$, $a_j\geq 0$, for a collection of balls $\{B_j\}_{j\in\mathbb{N}}$ in $\mathbb{R}^n$, it holds $$\|\sum_j a_j\chi_{\lambda B_j}\|_p\leq ...
1
vote
2answers
95 views

When is a collection of exponentials dense in $L^2(K), |K|<\infty$

Suppose we have a relatively dense collection of points $\Lambda \subset \mathbb{R}^d$ and $K \subset \mathbb{R}^d$ where $K$ is compact and measurable. When will the linear span of the collection of ...
1
vote
1answer
95 views

Compactly supported smooth function with Laplace transform bounded on a cone

My question is if it is possible to find a compactly supported smooth function $\varphi:\mathbf{R}\to \mathbf{R}$ s.t. the following integration $\int_{\mathbf{R}}\varphi(t)e^{itx}e^{tx}dt$ stays ...
2
votes
0answers
55 views

Associated Legendre/Gegenbauer functions with complex degree at larger order

I am interested in approximating the associated Legendre function (also known as conical function) \begin{equation} P_{-1/2 + i p}^{\frac{2-N}{2}}(x) \end{equation} when $N \to \infty$. The real ...
1
vote
0answers
74 views

A bound for a product in BMO

The question: Let's consider $f\in L^\infty(\mathbb{T})$ and $g\in BMO(\mathbb{T})$. I'm trying to figure out if the following inequality is true $$ \|fg\|_{BMO}\leq C\|f\|_{L^\infty}\|g\|_{BMO}. $$ ...
0
votes
0answers
230 views

What is $p$-adic Fourier series?

Q1: Can we define Fourier series for a function $\mathbb{Z}_p\to \mathbb{Q}_p$? Q2: There are (in a real case) Bernoulli polynomials which have the most simple Fourier expansion: ...
1
vote
1answer
99 views

A small question about the necessary conditon of linear Kakeya conjecture

For $0<\delta\ll 1$ we define a $\delta$-tube to be any rectangular box $T$ in $\mathbb{R}^d$ with $d-1$ sides length $\delta$ and one side of length $1$, observe that such tubes have volume ...
2
votes
1answer
130 views

Rate of convergence of the average of an equidistributed sequence

Let $f : \mathbb R\to\mathbb C$ be an $1$-periodic and sufficiently smooth function, which has zero average, and let $\alpha$ irrational. We know the following: a. ...
4
votes
1answer
229 views

Does equidistribution of zero average, due to irrationality, imply boundedness?

Let $f:\mathbb R\to\mathbb C$ be a sufficiently smooth and $1$-periodic function of average zero (i.e., $\int_0^{1}f(x)\,dx=0$), and let $\alpha\in(0,1)\smallsetminus\mathbb Q$. We know that $$ ...
8
votes
2answers
1k 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 ...
3
votes
1answer
136 views

Sets $E$ in $\mathbb{Z}$ such that any $l^2$ function with support on $E$ comes from Fourier of a continuous function

Are there infinite sets $E\subset\mathbb{Z}$ such that any $f\in l^2(\mathbb{Z})$ with support on $E$ comes from the Fourier transform of a continuous function on $\mathbb{T}$ ? If yes, is there a ...
0
votes
0answers
115 views

Weak amenability and quasi central bounded approximate identity

Let $\cal A, \cal B$ be a non commutative Banach algebras, and $\cal A$ be weakly amenable and has a quasi central bounded approximate identity. Let $T:\cal A\to \cal B$ be an algebra ...
4
votes
1answer
165 views

eigenfunctions of the Fourier transform in the Schwartz space

Recall that $L^2(\mathbb R)$ decomposes into the direct sum of the eigenspaces of the Fourier transform corresponding to its four eigenvalues, namely the four fourth roots of unity. If $f\in ...
1
vote
0answers
84 views

Differentiability of $f*g$ on the circle, for integrable f, bounded g, and some decay of the Fourier coefficients of f

If $f\in L^1(\mathbb{T})$ and $g\in L^\infty(\mathbb{T})$ where $\mathbb{T}$ is the circle, such that $\hat{f}\in L^{p}(\mathbb{Z})$ for some $1\leq p<\infty$, do we have that $f*g$ is ...
7
votes
0answers
148 views

Why is it hard to obtain improved $L^6$ bound of eigenfunction of Laplacian on 2-dimensional compact Riemannian manifold?

Consider the $L^p$ estimate of the Laplacian on a compact boundaryless Riemannian manifold, suppose that $-\Delta_ge_{\lambda}=\lambda^2e_\lambda(x), x\in M$. C.D. Sogge proved that we have the ...
2
votes
1answer
219 views

Beurling density and interpolation

Let $\Lambda=\{\lambda_n\}_1^\infty$ a set of points on the real line. We denote by $\bar{n}(r)$ the largest number of points in any interval $[x,x+r]$, $r>0$. Define the upper uniform density ...
0
votes
1answer
355 views

Existence of Green's function and the Dirichlet problem

Let $U \subset \mathbb{R}^n$ be a bounded domain, and consider the following problem : $$\left\{ \begin{array}{lcr} -\Delta u = 0 & & \text{in } U, \\ u = g & & \text{on } \partial U, ...
1
vote
2answers
219 views

Is there a Calderon-Zygmund decomposition for $L^p$ function

The Calderon-Zygmund decomposition for a $L^1$ function is well known, which says for any $f\in L^1$, then we can decompose $f$ into a good term $f$ and a bad term $\sum b_k$, such that for any ...
1
vote
0answers
123 views

A problem concerning measures on locally compact spaces

I am stuck on a question for quite sometime now, although in the text it is said to be "apparent". The problem goes as the following : Let $X$ and $Y$ be locally compact Hausdorff spaces. Then $M(X)$ ...
0
votes
1answer
165 views

Examples of functions in $W^{k,p}(\Omega)$ with exact smoothness

Please give, explicitly, a function $f:\Omega\mapsto\mathbb{R}$ such that $f\in W^{k,p}(\Omega)$ but $f\notin W^{s,p}(\Omega)$ for $s>k$. Here $\Omega$ can be a subset of $\mathbb{R}^n$ with ...
2
votes
2answers
227 views

The Szego projector, the dual disc bundle $\overline{D}$ and representation of $S^1$ on $H^2$($\overline{D}$)

This construction arises when constructing the Szego projector. Let's consider the dual disc bundle $\overline{D}$ of a positive Hermitian line bundle ($L$,$h$) over a compact Kahler manifold $M$, ...
2
votes
2answers
355 views

$L^p$-norm of Fourier series in terms of coefficients, $p \neq 2$

It is known that the $L^2$-norm of a Fourier series equals the $l^2$-norm of the coefficients. Are there similar results in the case of $L^p$-norm for $p\neq 2$? Can it be expressed explicitly in ...