The harmonic-analysis tag has no wiki summary.

**3**

votes

**2**answers

105 views

### Root of positive function in Fourier algebra

Let $G$ be a locally compact group, let $A(G)$ be the Fourier algebra of $G$. We think of $A(G)$ as a subalgebra of $C_0(G)$.
Question 1: Let $f\in A(G)$ be a function that is pointwise positive. ...

**0**

votes

**1**answer

68 views

### Boundedness of a singular integral operator on $L^p(\mathbb{R})$, $1<p<\infty$

My singular integral operator is defined by
\begin{align}
Sf(x)=-\int_{-\infty}^{\infty}f(t-x) \frac{dt}{2\sinh\frac{\pi}{2}t},
\end{align}
that is, a convolution $-\frac{1 }{2\sinh\frac{\pi}2x}\ast ...

**0**

votes

**0**answers

76 views

### Explicit formula for Bergman kernel on the unit ball

On page 173 in Krantz's book "Explorations in Harmonic analysis" in the proof of Lemma 7.1.21 there is a part that I really don't understand. What I don't understand is why is ...

**0**

votes

**0**answers

65 views

### Condition for boundedness in stationary phase theorem

I am trying to understand theorem 7.7.1 in Hormander's Analysis of linear partial differential operators, vol.1.
Let $K \subset \mathbb{R}^n$ be a compact set, $X$ an open neighborhood of $K$ and ...

**1**

vote

**0**answers

74 views

### How do functions operates in a Fourier algebra $A^{q}(\mathbb T)$?

We put , $A^{q}(\mathbb T)= \{ f\in L^{q}(\mathbb T): \hat{f}\in \ell^{q}(\mathbb Z) \}.$
By Helson-Kahane-Katznelson-Rudin Theorem, it follows that,
"Let $F$ be a function on $\mathbb C$ and if ...

**2**

votes

**1**answer

79 views

### Approximation of subharmonic functions

Let $u$ be an (upper semi-continuous) locally bounded subharmonic function in a domain in $\mathbb{R}^n$. Let $\chi_\epsilon$ be a standard smoothing kernel, namely
...

**3**

votes

**1**answer

166 views

### Which group algebras in analysis are “true group algebras”?

Let $G$ be a group, $A$ a unital associative algebra over ${\mathbb C}$, and let us call a representation of $G$ in $A$ an arbitrary map $\pi:G\to A$ such that
$$
\pi(1)=1,\qquad \pi(a\cdot ...

**3**

votes

**2**answers

182 views

### Fourier transform of compactly supported distribution is smooth

My advisor made the comment that if $u\in \mathcal{E}'$ is a compactly supported distribution, then $\hat{u}(\xi)\in C^{\infty}(\mathbb{R}^n)$ is actually a smooth function (not merely a distribution ...

**0**

votes

**1**answer

104 views

### Does Trudinger inequality implies this critical Sobolev embedding?

Let $1<p<\infty$, $\mathrm{L}^p_s(\mathbb{R}^n)=J_s(\mathrm{L}^p(\mathbb{R}^n))$, where $J_s=(I-\Delta)^{-\frac{s}{2}}$, or $\mathscr{F}(J_sf)(\xi)=(1+|\xi|^2)^{-\frac{s}{2}}\hat{f}(\xi)$. And ...

**0**

votes

**1**answer

101 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

**0**answers

83 views

### Can we conclude that $\varphi(L_xf_0)\neq0$ for every $x\in G$?

Let $H$ be a compact subgroup of locally compact topological group $G$ and $A=\{f\in L^1(G); R_hf=f(a,e)\forall h\in H\}$ as a subalgebra of $L^1(G)$ by convolution of $L^1(G)$. If $\varphi \in ...

**0**

votes

**0**answers

76 views

### Is each multiplicative linear functional on $L^1(SL(2,R):SO(2,R))$ is triviall?

We know that if $G=SL(2,R)$ and $H=SO(2,R)$ as a compact subgroup of $G$, then $\{\xi \in \hat{G}; \xi|_H=1\}$is triviall. Can we conclude that each multiplicative linear functional on $\{f\in ...

**1**

vote

**0**answers

164 views

### What is the spectrum of $L^1(G:H)$?

Let $H$ be a compact subgroup of a locally compact topological group $G$ and
$$ L^1(G:H)=\{f\in L^1(G): R_h f=f\;\text{ a.e. }\; \forall h \in H\}$$ and $\widehat{(G:H)}=\{\xi\in ...

**5**

votes

**1**answer

187 views

### Can we extend a multiplicative linear functional of a closed left ideal on whole of the algebra?

Let B be a closed left ideal of a Banach algebra A. Also, B has a right approximate identity (in B).
If g is a nonzero multiplicative linear functional on B, can we always extend g to a ...

**2**

votes

**1**answer

79 views

### Is a matrix element of a norm continuous representation always a trigonometric polynomial?

I asked a similar question for the case of compact groups not long ago in math.stackexchange. Now I understand that the answer was "yes", and I want to modify that question. This is also related to my ...

**6**

votes

**1**answer

131 views

### Trigonometric polynomials on non-compact and non-abelian groups

I asked this initially in math.stackexchange, but it disappeared almost immediately, so I hope it will be proper to aks this here.
Hewitt and Ross define trigonometric polynomial on a locally compact ...

**12**

votes

**2**answers

373 views

### Does the Legendre-Hadamard condition imply a generalized Gårding inequality?

For simplicity, we restrict to constant coefficients. Let $A^{ij}_{ab} \in \mathbb{R}$, $1 \le i, j \le n$ and $1 \le a, b\le m$, satisfy the Legendre-Hadamard condition:
$$
...

**0**

votes

**1**answer

37 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 ...

**5**

votes

**2**answers

267 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

**0**answers

63 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 ...

**1**

vote

**0**answers

51 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 ...

**6**

votes

**1**answer

198 views

### Fractional Laplacian and stereographic projection

The ordinary Laplacian on $\mathbb{R}^N$ behaves nicely under a stereographic projection onto $\mathbb{S}^N\setminus\{P\}$. (Here $P$ is either the north or south pole of the unit sphere ...

**0**

votes

**1**answer

108 views

### Heat Equation on LCA Group

I am reading The Laplacian on A Riemannian Manifold. In the book, author defines the heat equation on manifold. In the situation $\mathbb R$ and $\mathbb S$, people often use Fourier transformation ...

**-1**

votes

**1**answer

141 views

### What is the advantage of the knowledge of jumps for approximating a function with trigonometric polynomials?

Let $f:(a,b)\to\mathbb{R}$ be square integrable, bounded variation and piecewise continuous function. Let the points of jump be $\{x_i/a<x_i<b,i = 1,2,3,...n\}$. The goal is to approximate the ...

**1**

vote

**0**answers

55 views

### Eigenvalues of the Casimir (Laplace) operator on noncompact semi simple Lie groups

Let $G$ denote a noncompact semi-simple Lie group of real rank $1$ and let $K$ be a maximal compact subgroup.
The Casimir (Laplace-Beltrami) operator acts by scalar on every irreducible representation ...

**2**

votes

**1**answer

242 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
$$
...

**1**

vote

**0**answers

90 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 ...

**7**

votes

**1**answer

392 views

### Tate's thesis for Artin L-functions

As far as I know, Tate's thesis has been successfully applied in two fronts:
Hecke L-functions, by Tate and Iwasawa (and Teichmüller, Witt, Schmid)
Automorphic L-functions, by Jacquet, Shalika, ...

**1**

vote

**0**answers

58 views

### Is there an elliptic Harnack equality for directed graphs?

The elliptic Harnack inequality for undirected graphs was proven by Delmotte in the paper "Inegalite de Harnack elliptique sur les graphes" (French, ...

**3**

votes

**3**answers

212 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}} ...

**1**

vote

**0**answers

67 views

### Is the isomorphism between $BMO/\mathbb{R}$ and $(H^1(\mathbb{R}^n))^{\star}$ isometric?

Let $BMO$ the space of bounded mean oscillation functions on $\mathbb{R}^n$ equipped with the Lebesgue measure. If $Q\subset \mathbb{R}^n$ a cube, let $m_Q f$ the average of a function $f\in ...

**0**

votes

**0**answers

72 views

### faithful action of Hecke algebra

Let $G$ be a connected reductive group split over a number field $F$, $\mathbb{A}$ the adeles.
Let $v$ be a finite place and $\mathcal{H}_{v}$ the spherical hecke algebra at palce $v$.
...

**2**

votes

**0**answers

106 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 ...

**4**

votes

**1**answer

229 views

### Isomorphisms between spaces of test functions and sequence spaces

I am in the process of writing some self-contained notes on probability theory in spaces of distributions, for the purposes of statistical mechanics and quantum field theory. Perhaps the simplest ...

**1**

vote

**0**answers

52 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 ...

**1**

vote

**1**answer

135 views

### Wendel Theorem for center of group algebra

Let $G$ be a locally compact SIN-group. Then $ZL^{1}(G)$ has a bounded approximate identity. I want to prove that the multiplier algebra of $ZL^{1}(G)$ is equal to $ZM(G)$ (center of measure algebra). ...

**-3**

votes

**1**answer

435 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 ...

**5**

votes

**2**answers

261 views

### Regularity of random Fourier series

The following two statements appear to be true (but do correct me if I am wrong):
The coefficients of a $C^k$ function on the torus $T^n$ decay at least as fast as $x^{-k}$ (where $x$ is some norm ...

**4**

votes

**0**answers

110 views

### Pseudodifferential operators on compact manifolds with boundary

I have heard that the square root of the Dirichlet (or the Neumann) Laplacian is not a pseudodifferential operator on compact manifolds with boundary. The context in which this was said was that ...

**3**

votes

**1**answer

170 views

### Is this inequality true?

Let $\Omega$ be a bounded domain with smooth boundary. Let $$ S=\{u\in C^2(\overline \Omega): \frac{\partial u}{\partial n}=0 \text{ on } \partial\Omega \}.$$ Fix $\Phi\in S$ with $\Phi(x)>0$ for ...

**0**

votes

**1**answer

119 views

### how to compute bergman kernel

i have a question to determin if the asyptotic expansion of Bergman kernel has a log term. Is there anyone can show me is there any general way to tell?

**5**

votes

**1**answer

359 views

### Green's function of the Ornstein-Uhlenbeck operator

The Ornstein-Uhlenbeck operator $L$ is given by
$$
Lu = \Delta u- \frac{1}{2}x\cdot \nabla u.
$$
Is there a known closed form expression of the Green's function of $L$ on $\mathbb R^d$ (for $d\geq 2$ ...

**2**

votes

**0**answers

102 views

### A topological space extracting from a group action

Let $G$ be a compact abelian topological group with invariant measure $\mu$ which acts on a compact Hausdorff space $X$. A $G$-odd function is a continuous function $f:X\to ...

**1**

vote

**1**answer

130 views

### $L^2$ boundedness of the Hilbert transform via Cotlar-Stein Lemma

Can anyone outline Cotlar's original proof of the $L^2$ boundedness of the Hilbert transform. I cannot locate the original paper on the web. I know the Cotlar-Stein lemma but I don't see how to make ...

**0**

votes

**1**answer

141 views

### Relationship between LlogL and Hardy spaces

I think that for positive, one-dimensional, periodic functions, the following statement is true:
$$
f\in L log L(\mathbb{T})\Leftrightarrow f\in H^1(\mathbb{T}),
$$
where
$$
LlogL=\{f\in ...

**1**

vote

**0**answers

113 views

### Non invertibility of certain integral arising from group action

Let a compact topological group $G$ with invariant measure $\mu,$ acts on a simply connected compact topological space $X$ and $\rho$ is a $n$-dimensional unitary representation of $G$. ...

**1**

vote

**1**answer

96 views

### Fourier transform (their inverse)

Assume that $D$ is the unit ball in $\mathbb{R}^n$ and let $f\in C_0^\infty(D)$. Let $a>0$ and let $F$ be the Fourier transform. Define $$g(x)= F^{-1} (|x|^{-2a} \cdot (F f)(x)).$$ My question is ...

**7**

votes

**0**answers

210 views

### Reciprocal polynomials with roots off the unit circle

A polynomial is called reciprocal if its coefficients read forwards are the same as those read backward - there is an obvious translation of reciprocal polynomials into cosine polynomials (since a ...

**2**

votes

**0**answers

81 views

### A question on Plancherel measure for $p$-adic group

Let $G$ be a reductive group over a $p$-adic field. My understanding is that the Plancherel measure on $G$ is a measure on the unitary dual $\hat{G}$.
But at the same time, for example, in his famous ...

**0**

votes

**0**answers

45 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 ...