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
1answer
17 views

Number of copies of irreducible unitary representation in $L^2(G)$ for compact group $G$?

Peter-Weyl Theorem is concerned with expressing $L^2(G)$ as closure of direct sum of subspace generated by irreducible unitary representation. Every irreducible representation on a compact group is ...
1
vote
0answers
18 views

references for abstract harmonic analysis

I am currently studying a basic course in abstract harmonic analysis. I do have a good background in abstract algebra and functional analysis but I have not done a course in Fourier analysis. Is it ...
4
votes
1answer
119 views

Technical question about Strichartz estimate's proof.

I was studying the proof of Strichartz estimates from the book "Semilinear Schrödinger equation" of T. Cazenave. The proof is divided in several steps. Here we can assume ...
1
vote
0answers
12 views

Strichartz Estimate with Fourier Transform

Let $f$ be a Schwartz function. Prove that, whenever $2\le r < \infty,$ $$\| e^{it \Delta} f\|_{L^{3r}(\mathbb{R}^2_{xt})} \le c \| \widehat{f}\|_{r'},$$ Where $1/r + 1/r' = 1.$ My Attempt My ...
3
votes
2answers
59 views

Estimate of a Fourier Multiplier Operator

Let $m_t (\xi) = \cos (2\pi |\xi| t).$ Define the operators, for $t>0,$ $$ T_t f = ( m_t \widehat{f} )^{\vee}.$$ It is asked to prove that, whenever $f$ is sufficiently regular, $$ \| T_t ...
0
votes
2answers
21 views

Harmonic Motion - Fourier Approximation What does this mean below?

There is a method to solve systems under harmonic loading, harmonic balance method, which is basically obtaining fourier expansions of unknown response quantities and solving for coefficients of ...
0
votes
0answers
13 views

Some problems about symmetric convolution semigroup on the unit circle

These are problems from Example 1.4.2 of Fukushima's book "Dirichlet forms and symmetric Markov processes". Let $\Lambda$ be the set of all real sequences $\left\{\lambda_n\right\}_{n\in\mathbf{Z}}$ ...
18
votes
1answer
718 views

Motivation for abstract harmonic analysis

I am reading Folland's A Course in Abstract Harmonic Analysis and find this book extremely exciting. However it seems Folland does not give many examples to illustrate the motivation behind much of ...
2
votes
0answers
22 views

Multiplier operators on anisotropic weighted $L^2$ spaces

Suppose $\mathcal{M}$ is a multiplier operator on $L^2(\mathbb{R})$, in the sense that, for any $u(x)\in L^2(\mathbb{R})$, $\widehat{\mathcal{M}u}(k)=m(k)\hat{u}(k),$ where the scalar complex function ...
0
votes
1answer
26 views

$L^{p}$ identity for the maximal operator.

This is probably a very easy question, but I'm failing to understand it. Given a function $f \in L^{p}(\mathbb{R}^n)$, $1<p\leq \infty$, we define the uncentered maximal function of $f$ as $$ ...
-1
votes
0answers
25 views

Is the composition of an harmonic function with an analytic function an harmonic function in any dimension?

I was wondering if it is true or not that, given a function $f:\mathbb{R}^n\rightarrow \mathbb{R}$ and $g:\Omega\subset\mathbb{R}^n\rightarrow \mathbb{R}^n$ such that $f$ is harmonic and $g$ real ...
2
votes
0answers
27 views

Examples of non unimodular groups

I'm looking for criteria to know if a (lie) group is unimodular, the thing is that I only know one non unimodualr group that arrises naturaly, the affine group ax+b, and their direct generalizations. ...
3
votes
1answer
49 views

Could characters in harmonic analysis be generalized into $S^2$?

Consider a locally compact abelian (LCA) group $G$. The start of commutative harmonic analysis is the fact that the collection of characters $\chi : G \to S^1$ (thought of as $S^1 = \mathbb{T} ...
5
votes
0answers
234 views

Fourier dimension of a measure restricted to an open set

Suppose that the measure $\mu$ on $\mathbb{R}^n$ has Fourier dimension $\beta$, which is to say that \begin{equation*} \beta= \sup\left\{\gamma \leq n : |\hat{\mu}(x)| \leq ...
0
votes
0answers
21 views

Does this transformation(harmonic analysis) exist?

Assuming that there are two disjoint sets(A and B) of high dimensional $N^d$ integers. Each point $V$ can be expressed by a periodic function: $f(t)=v_1*cos(t) + v_2*sin(2t) + ...
0
votes
0answers
10 views

Commutator Characterization of $BMO(\mathbb{R})$

Let $a:\mathbb{R}\rightarrow\mathbb{C}$ be a locally integrable function, and let $H$ denote the Hilbert transform. Suppose that the commutator operator $[a,H]$ defined by $[a,H]f:=aH(f)-H(af)$ is ...
0
votes
1answer
12 views

Invariance of noneuclidean laplacian

In a book I'm reading it says: Putting $f(x,y)=F(u,v)$ with $\gamma(x+yi)=u+iv$ and using Cauchy-Riemann equation for $\gamma(z)$, we have $$\Delta f(x,y) ...
0
votes
1answer
35 views

How to prove that $f(x) = \int_{0}^{\infty} f_{\lambda} (x) \, d\lambda$ where $f_{\lambda} $ is the eigenfunctions of $\Delta$

On Euclidean space $\mathbb R^n$, how to prove that $$f(x) = \int_{0}^{\infty} f_{\lambda} (x) \, d\lambda ,$$ where $\Delta f_{\lambda} (x) = -\lambda^2 f_{\lambda}(x) $, whith $\Delta$ is the ...
1
vote
1answer
33 views

Non-compactness of support of linear KdV equation solution

The last question in Linares and Ponce's 'Introduction to Nonlinear Dispersive Equations's first chapter asks the reader to prove that, if the following IVP is given: $$\begin{cases} \partial_t u + ...
-2
votes
0answers
22 views

An operator is linear and bounded on a hilbert space

an operator linear and bounded on a hilbert space Let H be the Hilbert space L^2(R), and assume that the continuous function g satisfies 0
0
votes
1answer
23 views

Foundation Semigroups Examples

I recently started looking into the subject of foundation semi-groups and I'm trying to find simple (none-trivial) examples of foundations semi-groups. I know that every locally compact group is ...
0
votes
0answers
21 views

Extension to a continuous linear functional

Extension to a continuous linear functional May this functional be extended to a continuous linear functional on these Hilbert spaces?
0
votes
0answers
25 views

Laplacian on the sphere (proof of a proposition)

$$ Let \;f:U \to \mathbb{R}\;be\;a\;function\;on\;an\;open\;subset\;of\;S^{m-1}\;which\;is\;the\;restriction\;of\;a\;smooth\;function\;F:U{'} \to ...
0
votes
0answers
31 views

Scale resolution and frequency resolution in continuous wavelet transform

I'm reading the well known wavelets tutorial by Robi Polikar here. In part 3, about figure 3.7 and 3.8, it says "lower scales (higher frequencies) have better scale resolution (narrower in scale, ...
0
votes
0answers
48 views

How come $ce^{-\frac{\phi_i-\phi_j}{\rho}}$ has the form of $e^{-in\phi_i}$ and how to calculate it's eigenvalues

How to prove Euler's Formula $e^{i\theta} = (cos\theta + isin\theta)$? I know this is kind of basic and I am familiar with this equality for a long time. But, how do I prove it? And another ...
2
votes
0answers
29 views

A question about general Marcinkiewicz interpolation theorem

The general Marcinkiewicz interpolation theorem states as following: If $T$ is a linear operator of weak type $(p_0,q_0)$ and of weak type $(p_1,q_1)$ where $q_0\neq q_1$, then for each ...
0
votes
2answers
60 views

Questions about delta function.

Let $z \neq 1$ be a complex number. Then \begin{align} \frac{1}{1-z} = \sum_{n=0}^{\infty} z^n. \end{align} We have \begin{align} \frac{z^{-1}}{1-z^{-1}} = \sum_{n=1}^{\infty} z^{-n}. \end{align} ...
0
votes
0answers
25 views

Equivalence of $H^{1/2}(S^{1})$ norm with integral

I've been attempting to show that the Sobolev space norm $$\|f\|^{2}_{H^{1/2}} := |\hat{f}(0)|^{2} + \sum_{n \neq 0} n |\hat{f}(n)|^{2}, $$ for $f$ on the circle, is equivalent to the integral $$I(f) ...
1
vote
0answers
14 views

Proving Div-Curl Lemma through Paraproducts

I want to to prove the classical div-curl lemma of Coifman-Lions-Meyer-Semmes in the following form: Div-Curl Lemma. Let $f:\mathbb{R}^{n}\rightarrow\mathbb{R}^{n}$ be a Schwartz function such ...
1
vote
0answers
28 views

Eigenvalues for correlation matrix which have the form of an harmonic function

As a continuation to this question, I took the matrix $C_{2 \times 2}$ which is: $$C=\left[ \begin{array}{} a& ace^{-\frac{|\phi_1-\phi_2|}{2}}\\ ace^{-\frac{|\phi_1-\phi_2|}{2}} ...
2
votes
1answer
424 views

Convolution on group with measure

I was wondering about the generalization of the concept of convolution from the familiar one on real spaces and how many properties still remain. For convolution on Lebesgue-integrable real-valued ...
1
vote
0answers
28 views

Fourier series calculation

I had an exam question today that stated something along the lines of the following: "Let $f$ be an even function given by $f(x)=x$ on $[0,\pi]$ and extend $f$ to $\mathbb{R}$ by $2\pi$-periodicity. ...
0
votes
1answer
22 views

Prove the uniqueness of poisson equation with robin boundary condition

We have $\Delta u=f$ in $D$, and $\dfrac{\partial u}{\partial n}+au=h$ on boundary of D, where $D$ is a domain in three dimension and $a$ is a positive constant. $\dfrac{\partial u}{\partial ...
1
vote
1answer
870 views

Proof of strong maximum principle for harmonic functions

Let $u\in\mathscr C^2(U)\cap\mathscr C(\bar U)$ be harmonic in the non-empty open and connected set $U\subset\mathbb R^n$. If there exists a Point $x_0\in U$, so that $u$ has a local Maximum at $x_0$, ...
0
votes
0answers
12 views

Laplacian of a radial function on a riemannienne symmetric space

I would like to know : Is that the Laplacian $L$ of any radial function $f$ on a riemannienne symmetric space $X$ is a radial function? Thank you in advance.
1
vote
0answers
14 views

The decay rate of Hormander lemma is optimal or not?

The Hormander lemma about oscillatory integral operators states that $T_\lambda f(x)=\int e^{i\lambda S(x,y)}a(x,y)f(y)dy$, while the Hessian of $S(x,y)$ is nondegenerate, then $||T_\lambda||_2 \leq ...
117
votes
5answers
8k views

What do modern-day analysts actually do?

In an abstract algebra class, one learns about groups, rings, and fields, and (perhaps naively) conceives of a modern-day algebraist as someone who studies these sorts of structures. One learns about ...
3
votes
2answers
957 views

Proof of the classical div-curl-lemma

let $1 = \frac{1}{p} + \frac{1}{q}$ as usual. Let $f \in L^p, g \in L^q$ be vector fields from $\mathbb R^n$ to itself. Assume $div f = 0$ and there exists a function $G$ s.t. $\nabla G = g$. Then $f ...
0
votes
1answer
29 views

Parition of unity argument in a Fourier analysis paper

I am currently reading a paper "The proof of the $\ell^2$ decoupling conjecture" by Bourgain and Demeter. I was wondering if someone could explain me one of the arguments in their paper. First I will ...
0
votes
0answers
14 views

How does the weighted superposition of irreps make the Fourier transform of a finite group unitary?

This is supplementary to this question. In the lecture note of Andrew Childs on Nonabelian Fourier analysis, it is said that the Fourier transform of a finite group is the weighted superposition of ...
1
vote
1answer
30 views

Why is the Fourier transform of a non-Abelian finite group the weighted superposition over all irreps?

I am going through the lecture note of Andrew Childs on Nonabelian Fourier analysis. I would like to quote from the note: My question: Why does it have to be weighted superposition and not equal ...
2
votes
1answer
27 views

On a property of $(Mf)^{\delta}$

For each positive $C$, define a set $$A_C=\left\{g\ge0: \frac{1}{|I|}\int_Ig\le C\inf_{x\in I}g(x) \text{ for any interval } I\right\}$$ In other words, elements in $A_C$ are non-negative functions ...
0
votes
1answer
46 views

The support of $f(x)= \cos(x)$

The support of a function is the closure of the set of points where the function has non zero values. The function $f(x)=\cos(x)$ is zero only at the points $x=\frac{(2k+1)\pi}{2}$, $k \in ...
1
vote
1answer
24 views

Properties of the Fejer kernel

The Fejer kernel $k_m : \mathbb{R} \to \mathbb{C}$ is defined by $k_m (t) = \frac{1}{2\pi (m+1)} \sum^m_{n=0} \sum^n _{k=-n} e^{ikt}$ One of the properties of the Fejer kernel is For any $\delta ...
1
vote
0answers
20 views

Gradient Estimate for Logarithmic Cutoff Function

In Notes 4 on regularity of harmonic maps, T. Tao asserts the following lemma, which in short, allows us to localize a map $u:\Omega\rightarrow S^{m-1}$ (here, $\Omega\subset\mathbb{R}^{2}$ is a ...
0
votes
0answers
25 views

Strong period of self-convolution of a strongly periodic cyclic function

Let $f : \mathbb{Z}_N \to F$ be a function with a $F$ a field. We say that $f$ has maximum period if the smallest positive integer $r$ (with $r \mid N$) such that $f(j) = f(j + r)$ for all $j \in ...
3
votes
1answer
97 views

Inverse short time Fourier transform

The short time Fourier transform $S: L^2(\mathbb{R})^2 \rightarrow L^2(\mathbb{R}^2)$ can be defined as $$S(g,f)(a,b):=\int_{\mathbb{R}}f(x) \overline{g(x-a)} e^{-i b x} dx.$$ Now a natural question ...
0
votes
0answers
42 views

Interpretation of $L_2 ([-\pi , \pi])$

What is the interpretation of $L_2 ([-\pi , \pi])$ in laymans terms? How is $L_2 ([-\pi , \pi])$ different to $L_1 ([-\pi , \pi])$? Does $L_2 ([-\pi , \pi])$ just mean that the function is twice ...
1
vote
1answer
38 views

Interpolation of a linear operator acting on a sequence of functions

Let $\mathbf{f} = \{f_{n}\}$ be a sequence of Schwarz functions and suppose $T$ is a linear operator which sends a given sequence of Schwarz functions to a given function in $L^{p}(\mathbb{R}^n)$ for ...
0
votes
1answer
39 views

Is $\|\widehat{f}\|_{L^{p}(\mathbb{R}^d)}$ comparable to $\|\widehat{f}\|_{L^{p}(B_{1/R})}$?

Suppose $f$ is a smooth function compactly supported in some ball of radius $R$. Is $\|\widehat{f}\|_{L^{p}(\mathbb{R}^d)}$ comparable to $\|\widehat{f}\|_{L^{p}(B_{1/R})}$ where $B_{1/R}$ is any ball ...