Harmonic analysis is the generalisation of Fourier analysis. Use this tag for analysis on locally compact groups (e.g. Pontryagin duality), eigenvalues of the Laplacian on compact manifolds or graphs, and the abstract study of Fourier transform on Euclidean spaces (singular integrals, ...

learn more… | top users | synonyms

0
votes
0answers
11 views

Is $L^{1}(\Omega,\mu)$ only an algebra when $\Omega$ is a group?

Let $G$ be a locally compact group. Then we may snap our fingers, mention some measure theory results, and the group algebra $L^{1}(G)$ instantly appears. Is there an example of the more generalized ...
-2
votes
0answers
18 views

Analytical Fourier transform

I was told to derive the analytical expression of the Fourier transform for the following function: $f(x)=e^{-a*b}-1$ for $x \ge 0 $ and $f(x)=0$ for $x \lt 0$ where $a=1$ and $b=-1$ and the ...
0
votes
1answer
29 views

Fourier transform of exponent

I need to count the Fourier transform of the following function but it does not seem so obvious for me. $f(x)=(e^{-ab})-1$ for $x\ge0$ and $f(x)=0$ for $x<0$ where: $a=1$ and $b=-1$ I don't ...
4
votes
0answers
13 views

Finite dimensionality of some subspace of convolution Banach algebra $L^1(G)$

Let $G$ be a locally compact group (not only compact group) with the left Haar measure $\lambda$. Consider the convolution Banach algebra $L^1(G,\lambda)$. For which $f\in L^1(G,\lambda)$ the ...
0
votes
0answers
37 views

Help me to better understanding of this two pages of Folland's Harmonic Analysis book [on hold]

I am beginner in Harmonic Analysis and The professor asked me to present this two pages in class (Of course, after the corollary (3.6) until the end of the next page.). Folland's Harmonic Analysis ...
0
votes
0answers
12 views

Sunrise Lemma, left and right maximal functions

Would anyone be able to provide a proof of the following lemma: Where $| \cdot |$ is the Lebesque measure and $M_L$ and $M_R$ are the left and right maximal functions defined on $\mathbb{R}$ ...
0
votes
0answers
17 views

A convolution equation with two unknowns

I consider the following convolution-type equation with two unknowns $f_1$, $f_2$: $$ a_1 * f_1 + a_2 * f_2 = 0, $$ where $a_1$, $a_2 \in L^1(\mathbb R)$ and $*$ is the ordinary convolution. This ...
0
votes
0answers
36 views

Show the integration with a complex variable

I want to show that there exists inverse Laplace transform, $f(t)$ of the function $F(\lambda)$. In other word, given $F(\lambda)$, existence of function $f(t)$ such that $$ ...
2
votes
2answers
57 views

Replicating Kolmogorov's Counterexample for Fourier Series in Context of Fourier Transforms

It is a famous result of Kolmogorov that there exists a (Lebesgue) integrable function on the torus such that the partial sums of Fourier series of $f$ diverge almost everywhere (a.e.). More ...
1
vote
0answers
22 views

The decay of the Fourier coefficients of the disjoint union of arcs

Given $N$ disjoint arcs $\{I_{\alpha}\}_{\alpha=1}^{N}\subset\mathbb{T} $,set $f=\displaystyle\sum_{\alpha=1}^{N}\chi_{I_{\alpha}}$ show that $$\sum_{|v|>k}|\hat{f}(v)|^2\le\dfrac{CN}{k}$$ This ...
5
votes
0answers
43 views

Sets of Divergence for Fourier Partial Integals

It is a consequence of Carleson's theorem together with a transference argument that (see Section 4.3.5 in L Grafakos, Classical Fourier Analysis for proof) that the Fourier partial integrals of a ...
0
votes
0answers
26 views

Question on Littlewood-Paley trichotomy

In proving the product estimate, we need the Littlewood-Paley trichotomy. See http://www.math.ucla.edu/~tao/254a.1.01w/notes3.ps. In the decomposition $$P_k (fg)=\sum_{k',k''\in Z} P_k (P_{k'} f ...
1
vote
1answer
35 views

Fourier transform division theorem in $\mathbb R^n$

It is known that if $f \in L^1(\mathbb R)$, $\widehat f(\xi) \neq 0$ for any $\xi \in \mathbb R$, then for any $h \in L^1(\mathbb R)$ such that $\widehat h$ is compactly supported there exists $g \in ...
0
votes
0answers
73 views

Hausdorff-Young / Restriction Inequality

Let $\lambda$ denote Lebesgue measure on $\mathbb{R}^d$. The Hausdoff-Young inequality is that $$ \| \widehat{f} \|_{L^{q}(\lambda)} \leq \| f \|_{L^{p}(\lambda)}. $$ when $1 \leq p \leq 2$ and ...
0
votes
1answer
45 views
2
votes
1answer
40 views

Confusion in Ahlfors, third edition, page 210, proof of Hadamard's theorem

The context is the proof of Hadamard's theorem (Chapter 5, Theorem 8). The setup is the following: $f(z)$ is entire, $f(0) \neq 0$, $f(z)$ is of finite order $\lambda$. The paragraph that is ...
2
votes
0answers
32 views

Check smoothness at point looking at Fourier transform

Let $u \in \mathscr E'(\mathbb R^n)$ we a distribution with compact support. Then $u \in C^\infty(\mathbb R^n)$ if and only if for any $N \in \mathbb N$ there exists $C_N > 0$ such that $$ ...
1
vote
1answer
36 views

$L^1$ Estimates involving bi-Laplacian

The following inequality can be shown to be true in the cases $p>1$: If $n\ge 5$, $\frac{1}{q} = \frac{1}{p} - \frac{4}{n}$, then there exists $C_{p,q,n}>0$ such that, for every $f \in ...
1
vote
1answer
68 views

Explain this proof in more details

The following is the proposition 3.3 of folland "A Course in Abstract Harmonic Analysis" book. please Explain its proof in more details: I do not know the cause of contradiction. that is, how ...
3
votes
1answer
46 views

Fourier Uniqueness Theorem: Proof?

I need this as lemma. Given the Borel space $\mathcal{B}(\mathbb{R})$. Consider a complex measure: $$\mu:\mathcal{B}(\mathbb{R})\to\mathbb{C}$$ Then one has: ...
0
votes
0answers
22 views

From Folland Abstract Harmonic Analysis - Why is $\int f(x \xi) d\xi = \int f(x \xi^{-1}) \Delta_H(\xi^{-1}) d \xi$?

From Folland Abstract Harmonic Analysis - Why is $\int f(x \xi) d\xi = \int f(x \xi^{-1}) \Delta_H(\xi^{-1}) d \xi$? This is on page 57. Here is the notation: $H$ is a closed subgroup of a locally ...
4
votes
2answers
94 views

Estimate of a convolution from a paper by Michael Christ

I don't understand Lemma 2 of the paper Hilbert transforms along curves, II: A flat case by Michael Christ. The situation is as follows. I slightly simplified it from the exact context in the source. ...
5
votes
1answer
51 views

Schrödinger operator with delta (zero range) interaction.

I am reading the book of Albeverio named Solvable models in quantum mechanics. In the first chapter it is explained how to realize the operator $"-\Delta+\delta_0"$ as a self adjoint operator on ...
0
votes
2answers
35 views

Limit of imaginary part divided by real part of an entire function on the complex plane

Let $f\colon \mathbb{C}\to \mathbb{C}$ be holomorphic. I assume that the $lim_{z\to \infty} \frac{\Im(f(z))}{\Re(f(z))}$ should be bounded. But is this the case, and if yes, how can I prove it? Or ...
1
vote
1answer
30 views

Complex logarithm of $(1-z)$ on $\{z:\Re(z) < 1\}$

I'm not sure how to approach this question. Can someone please give me a hint? If $h(z)$ is analytic on $\Omega:=\{z:\Re(z) < 1\}$ and $\exp(h(z))=1-z$, $\forall z \in \Omega$ and $h(0) = 0$. ...
1
vote
1answer
78 views

On the Hilbert Transform of a Bounded Function

Let $f: \mathbb R \rightarrow \mathbb R$ be a bounded function that is smooth and also in $L^1(\mathbb R) \cap L^2(\mathbb R)$. I want to prove that the Cauchy transform of this function $Kf$ is in ...
2
votes
1answer
26 views

Uniform convergence for functions with jumps

We know that Fourier partial sums (integrals) do not converge uniformly for BV functions with jumps due to Gibb's phenomenon. Is there any other types of sums/procedures that use only Fourier ...
2
votes
0answers
41 views

If$f \in L_1 (R)$ so that $xf(x), x \hat{f}(x) \in L_1 (\mathbb R)$, show that $\sum|\hat{f}(n)| \le \infty$ and finally Poisson summation formula

PROBLEM (1)$f \in L_1 (\mathbb R)$ so that $xf(x), x \hat{f}(x) \in L_1 (\mathbb R)$, show that $\sum|\hat{f}(n)| \le \infty$. (2)Also, show that $\sum_{n\in \mathbb Z} f(x-2\pi n)$ converges ...
1
vote
1answer
34 views

$L^p$ boundedness of Riesz potential.

Why studying, I repeatedly see people use the following result. That is there exists $C > 0$ such that $$\|\nabla \Delta^{-1}\nabla \times u\|_p \le C \|u\|_p$$ for every $u \in ...
4
votes
1answer
40 views

Littlewood-Paley theorem on an annulus

Suppose a smooth function $f:\mathbb{R}^n\rightarrow\mathbb{R}^n$ satisfies $$\text{supp}~\hat{f}\subset \{\xi:1<|\xi|<2\}$$ and set functions $f_k$ by saying ...
3
votes
1answer
37 views

Gaussian is the only radial function which is separable

One way to characterize the Gaussian $ae^{b x^2}$ is that its a $C^1$ function $h$ that is radial $h(x,y) = h(\sqrt{x^2+y^2})$ and also separable, that is expressible as a product of one-dimensional ...
1
vote
1answer
87 views

A problem similar to $L^2$ Fourier transform, but in the setting of Borel measure.

Problem: Let $\mu$ be a finite Borel measure on the real axis, supported on a countable set $\mathbb{Q} \subset \mathbb{R}$ (I'm not sure whether here $\mathbb{Q}$ is all rational numbers ). And let ...
0
votes
1answer
36 views

Harmonic function in $\mathbb{R}^n$ is not one-to-one, for $n\geq 2.$

Le $u:\mathbb{R}^n\to\mathbb{R}$ a harmonic function. Prove that if $n\geq2$ then every $y\in Im\{u\}$ is attained infinite times, but it's not true for $n=1$. I no have idea to start, someone has a ...
0
votes
1answer
26 views

Riemann's Lemma in proof

Consider the following expression: $$s_n(x) - s = \frac{1}{2\pi} \int_{-\pi}^{\pi} h(t) \exp(i\frac{1}{2}t)\exp(int) \ dt - \frac{1}{2\pi} \int_{- \pi}^\pi h(t) \exp(-i\frac{1}{2}t)\exp(-int) \ dt $$ ...
2
votes
0answers
71 views

An exercise regarding fourier inversion formula

I have to solve an exercise which looks like a more general form of Fourier inversion formula. But, I'm having hard time attacking it... A given function f is integrable on the real line and ...
3
votes
0answers
45 views

Convergence of the integral of a product of functions.

Let $\phi:\mathbb{R^n}\to\mathbb{R}$ be a Lebesgue-measurable function, with the property that for every $n$-dimensional cube $Q$ in $\mathbb{R^n}$, we have $$ \left|\int_{Q}\phi(x)dx ...
0
votes
0answers
40 views

Nonnegative harmonic functions

Suppose $U \in \mathbb{R}^n$ is an open domain, and $u\in C^2(U) \cap C(\bar{U})$ such that $\Delta u = 0$ in $U$. I'm working on a couple of problems pertaining to the mean value formula/harmonic ...
3
votes
1answer
67 views

Example of function not Fourier Invertible in $L^1$

It is well known that, if $1 < p \le 2$, then, for every $f \in L^p$, $$ \int_{[-R,R]^n} e^{-2\pi i x \cdot y} \hat{f}(y) dy \rightarrow f(x) $$ As $R \rightarrow \infty$, in the $L^p$ sense. ...
5
votes
1answer
79 views

If $\gamma$ is irrational, then $\frac{1}{n}\sum_{k=1}^nf(2\pi k \gamma)\to \int_T f(t)\,dt$

I need to show that $$ \lim_{n\to+\infty}\frac{1}{n}\sum_{k=1}^nf(2\pi k \gamma)=\int_T f(t)\,dt. $$ Here $\gamma$ is any irrational number on the real line and $f(t)$ is any continuous periodic ...
2
votes
0answers
114 views

Behavior of a Solution to Heat equation Compactly Supported in Time

We say that a function $g\in C^{\infty}(\mathbb{R}^{n})$ is of Gevrey class $G^{\sigma}(\mathbb{R}^{n})$ if for each compact $K\subset\mathbb{R}^{n}$, there exist $C,R>0$ such that $$\sup_{x\in ...
1
vote
1answer
35 views

Eigenfunctions of $-\Delta_{S^n}$

I read somewhere that the eigenvalues of the Laplacian $-\Delta_{S^n}$ on the sphere $S^n$ consist of $k^2 + (n - 1)k$, with the corresponding eigenspace $V_k$ consisting of homogeneous harmonic ...
2
votes
1answer
31 views

Existence of Certain Locally Integrable Function Defining a Tempered Distribution

We say that a distribution $T$ is tempered if for every sequence $\left\{\phi_{n}\right\}$ in $C_{c}^{\infty}(\mathbb{R}^{n})$ tending to $0$ in the topology of the Schwartz space ...
3
votes
1answer
34 views

Partial Fourier series for $L^p$ functions, $p\ge 1$

Let $f$ be an $L^2$ function on the unit circle $f \in L^2(S^1, d \theta)$. This is equivalent to giving a Fourier series $\sum_{n \in \mathbb{Z}} a_n e^{i n \theta}$ with $\sum_{n \in \mathbb{Z}} | ...
3
votes
1answer
28 views

Continuity of Translation and Dilation on $L^p$ spaces

Let us consider any $f \in L^p(U)$, where $U \subset \mathbb R^n$ is open, and $1 < p < \infty$. We know the translation operator $f(x) \mapsto f(x+a)$ and the dilation operator $f(x) \mapsto ...
3
votes
0answers
27 views

Existence of Fourier Transform for Implicit function

Given an "explicit" function $f:\mathbb{R}^n\to\mathbb{R}^n$, (e.g $F(x_1,\dots x_n)=\cos(x_n)+x_1^2e^{x_2}$) under some assumptions one can allegedly develop a Fourier transform given by ...
0
votes
1answer
15 views

Showing a function is harmonic on a domain - Imaginary part of $(A\cosh(z)+\frac\pi z)$

How to know that $\text{Im}(A\cosh(z)+\frac\pi z)$ is harmonic on domain $\{z|0\lt\text{Im }z\lt \pi\}$ where $A\in\Bbb R$? I am not sure how I would verify Laplace's equation here(which I imagine is ...
0
votes
1answer
27 views

Neumann problem on $\Omega$. Does $U$ solving the problem imply $U+c$ does?

Let $U$ solve the Neumann${}$ problem${}$ for laplace's equation on a${}$ domain $\Omega$. Show that $U+c$ also solves this problem for any $c\in\Bbb R$. What is being asked of me? Does this mean ...
0
votes
0answers
33 views

Harmonic Analysis of Finite Groups

If I understand correctly, the basic goal of harmonic analysis on finite groups is to find isotypical subspaces of a given set. Why is it important to do so? What are the advantages of decomposing a ...
1
vote
1answer
36 views

integrating something from a partial derivative $v=\int \frac{2x}{x^2+y^2}\,dy$

i am trying to learn harmonic analysis, and i have$$\frac{\partial u}{\partial x}=\frac{2x}{x^2+y^2}=\frac{\partial v}{\partial y}$$ and i want to get $v$. so what i do is: $$v=\int ...
1
vote
2answers
18 views

An upper semicontinous function which is not subharmonic.

Let $\Delta\subset\Bbb C$ be the open unitary disk. Let $\varphi:\Delta\to\Bbb R$ defined as follows: $\varphi(z)=1$ if $\Re z\ge0$, $\varphi(z)=0$ otherwise. So $\varphi$ is upper semicontinous. In ...