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

1
vote
1answer
34 views

Definition of Left Translation of a function on a topological group

In Folland's A Course in Abstract Harmonic Analysis, he defines for a function $f$ on a topological group $G$, and $y\in G$, $$L_{y}f:x\to f(y^{-1}x)\text{ and }R_{y}f:x\to f(xy)$$ He then remarks ...
4
votes
2answers
139 views

Problem of Harmonic function.

If H is a harmonic function on an unit disk; And $H=0$ on $R_1\cup R_2$, here $R_1, R_2$ are radius of $D(0,1)$. The angle between $R_1$ and $ R_2$ is $r\pi$; here $r\in (0,1]$. If $r$ is an ...
5
votes
1answer
260 views

Haar measure on the groups SO(n) and SO(n,m)

Would you please give me some information about Haar measure on special orthogonal group SO(n) and indefinite special orthogonal group SO(n,m)? Thank you so much!
5
votes
2answers
174 views

equation involving the integral of the modular function of a topological group

Let $G$ be a locally compact topological group and $H$ a closed subgroup. Choose a left Haar measure $d\zeta$ for $H$, and let $d\mu$ be any measure for $G$. Also let $f$ and $g$ be continuous ...
0
votes
1answer
38 views

Show that $\int_{S^{n-1}}(\Delta _{S}f) gd\sigma=\int_{S^{n-1}}f( \Delta _{S}g)d\sigma$

Elias M. Stein said that by an application of Green's theorem the following equality holds $\int_{S^{n-1}}(\Delta _{S}f) gd\sigma=\int_{S^{n-1}}f( \Delta _{S}g)d\sigma$ where $\Delta _{S}$ is a ...
1
vote
1answer
78 views

Does $f(0) = +\infty$ when $\hat f \geq 0$ and $\int \hat f (s) \ ds = +\infty$?

Throughout, $f \in L^1(\mathbb{R})$ and $\hat f \in C_0(\mathbb{R})$ is its Fourier transform $s \mapsto \int e^{its} f(t) \ dt$. Motivation: If $\hat f \in L^1(\mathbb{R})$ too, then, by Fourier ...
5
votes
2answers
124 views

If $f \in L^1(\mathbb{R})$ and $\hat f \geq 0$, is $f$ continuous?

Suppose $f \in L^1(\mathbb{R})$. I am wondering what conditions on $\hat f = \left[ s \mapsto \int e^{its} f(t) \ dt \right] \in C_0(\mathbb{R})$ suffice to make $f$ continuous (or, more accurately, ...
1
vote
1answer
49 views

Relation between Schwartz space and Sobolev space $H_{1}$

The Schwartz space, $S(\mathbb R): = \{f\in C^{\infty}(\mathbb R): \sup_{x\in \mathbb R} |x^{\alpha} D^{\beta}f(x)|< \infty , \forall \alpha, \beta \in \mathbb N \cup \{0\} \}$ and $S'(\mathbb R) ...
1
vote
1answer
55 views

Solving roots of a sum of sinusoids

Suppose I have a sinusoid with fundamental frequency $f_0$ and $N$ harmonics (all with distinct amplitudes $a_k$. Each harmonic also has it's own corresponding phase $\phi_k$ and offset $c_k$. $y(t) ...
3
votes
1answer
88 views

Is there a formula for the Haar measure on a product of groups?

Let $ (G_{n})_{n \in \mathbb{N}} $ be a sequence of locally compact topological groups with a corresponding sequence $ (\mu_{n})_{n \in \mathbb{N}} $ of Haar measures. Is there a way to construct a ...
3
votes
2answers
162 views

Why isn't the parallel between the Fourier transform and the Laplace transform complete?

I mean the question in the following sense. For Fourier, we can do it on compact intervals and then we get a sequence of coefficients. We can do it continuum-style, and then we get a superposition ...
1
vote
1answer
162 views

What does the symbol $\subset\subset$ mean? [duplicate]

In some texts (mainly complex analysis or harmonic analysis) I sometimes see the following double subset symbol $\subset\subset$ for inclusion relation of two regions, e.g., $\Omega$ and $\Omega'$ are ...
1
vote
1answer
38 views

Mean Value Property for Continuous Complex Functions

Suppose I have an open set $U$ in the complex plane and a function $g$ that is continuous on $U$. Let $C(z_0$$,r)$ be a circle fully contained in $U$ of radius $r$ whose center is $z_0$. I know ...
0
votes
1answer
38 views

Harmonic and Continuous everywhere but on a curve is harmonic throughout?

Suppose u is a harmonic function everywhere in a domain $\Omega$, but on a curve inside $\Omega$ , say a segment, and is continuous throughout, i.e $u\in C(\Omega)$. Can we conclude that u is harmonic ...
1
vote
1answer
61 views

Convolution of $L^1(G)$ functions with elements of $M(G)$.

Let $G$ be a non-discrete locally compact group with left Haar measure $\mu$. There is an isometric embedding of $L^{1}(G)\to M(G), f\mapsto fd\mu$. Since $G$ is not discrete, the point-mass measure ...
2
votes
0answers
39 views

Volume of a ball for SO(n).

Let us equip the special orthogonal group $SO(n)$ with a normalized Haar measure $\theta_n$ and let $G_r$ be the subset of rotations $\Omega$ which differ from the identity by (sufficiently small) $r$ ...
3
votes
1answer
66 views

Is Steinhaus theorem ever used in topological groups?

Steinhaus theorem in $\mathbb{R}^d$ says that for $E\subset\mathbb{R}^d$ with positive measure, $E-E:=\{x-y:x,y\in E\}$ contains an open neighborhood of the origin. And for locally compact Hausdorff ...
0
votes
0answers
51 views

Admissibility condition for n-dimensional wavelet

Theorem 14.2.1 [S. T. Ali, J.- P. Antoine, J.- P. Gazeau, Coheret States, Wavelets and Their Generalization] The operator family $U:SIM(n)=\mathbb{R}^n \rtimes(\mathbb{R}_*^+ \times SO(n)) ...
1
vote
0answers
32 views

Need help with Placherel's Theorem

We know that the law of conservation of energy dictates that the energy carried by a waveform in the time domain must equal the energy contained in its power spectrum in the frequency domain. How ...
2
votes
0answers
56 views

Generalizing the ptwise or $L^1$ ergodic theorem

I was able to write a proof based on the hardy-littlewood maximal function of the following statement: Let $(X, \Sigma, \mu)$ be a $\sigma$-finite measure space, and $d=n \geq 1$ be fixed. Let ...
1
vote
0answers
36 views

The spectrum of an element of the convolution algebra of a nonabelian group

Let $G$ be a locally compact group and $L^1(G)$ its convolution algebra. If $G$ is Abelian, then the spectrum of an element $f \in L^1(G)$ is equal to the image of $\hat{f}$, the Fourier transform of ...
2
votes
1answer
116 views

Help on understanding Schwartz space

Can someone give an example of Schwartz space function that doesn't decay exponentially?
0
votes
1answer
52 views

Confustion with Fourier Transform of harmonic functions

Note: this is homework. Say we assume a time-varying momentum is of the form $p(t) = \Re \{p(w) e^{-iwt} \}$ Now we would like to know the solution of the following equation, in frequency space: $ ...
1
vote
0answers
43 views

right multiplication by elements of a discrete subgroup preserve left haar measure?

If $\Gamma$ is a discrete subgroup of a locally compact topological group, G, it is not necessarily the case that right multiplication on $G$ by elements of $\Gamma$ will preserve a left Haar ...
3
votes
0answers
38 views

Matrix-valued functions with lacunary Fourier series

This question is motivated by investigation of the operator space structure of Hankel matrices (which is surely well-known to the experts). Consider a lacunary Hankel matrix, i.e. a matrix ...
1
vote
0answers
53 views

How many terms are there in a truncated Fourier series of order $N$ for a function $f: \mathbb R^n \to R$

Let $S_N(f)$ be the truncated Fourier series of order $N$ for $$ f: \mathbb R ^n \to \mathbb R. $$ How many Fourier coefficient does $S_N(f)$ contains? I'm not clear on how multidimensional Fourier ...
0
votes
0answers
34 views

Are there orthogonal functions with continuous parameters for multivariate functions harmonic analysis?

So I was working with transforming a two-variable function $f(\theta,\phi)$ into an expansion of spherical harmonics $Y_l^m (\theta,\phi)$ such that: \begin{equation} f(\theta,\phi) = \sum_{l=0}^{L} ...
1
vote
1answer
58 views

Why p>1, $L^p$ and $H^p$ are essentially the same?

the conclusion comes from http://projecteuclid.org/DPubS?service=UI&version=1.0&verb=Display&handle=euclid.bams/1183538894 (the first page) $L^{p}$ is Lebesgue integral function space, ...
2
votes
0answers
95 views

A problem concerning measures on locally compact spaces

I am stuck on a question for quite sometime now, although in the text (http://www.latp.univ-mrs.fr/~chaabi/ARTICLES%20IMPORTANTS/Autres%20articles%20interessant/Jewett.pdf , Pg. 10, 2.3E ) it is said ...
1
vote
0answers
41 views

The Fourier Stieltjes transform is uniformly continuous

Let $G$ be a locally compact Abelian group and $\hat{G}$ be its dual group, that is the group of all complex functions $\gamma:G\to\mathbb C$ such that ...
5
votes
1answer
387 views

Open subgroup of $SO(3)$

Does $SO(3)$ have an open nontrivial subgroup?(Group $SO(3)$ with usual matrices product, is all $3\times 3$ matrices whose determinant is 1 and for every element $A\in SO(3)$ we have $A^tA=AA^t=I_3$ ...
0
votes
1answer
48 views

Existance of Haar Measure

While showing the existence of Haar measure We consider all finite sequences of positive numbers $(c_i)_{i < n}$ and all finite sets $\{x_i\mid i < n\}⊂G$ Such that $f(x)\le \sum_i c_i ...
1
vote
1answer
34 views

Existence and uniqueness of solution for an eliptic problem.

Let $\Omega \subset R^n$ be an open and bounded set with smooth boundary and $f \in C^2(\Omega)\cap C(\overline{\Omega})$. Let $ a \geq 0$ be a constant. Consider the following problem: $$ ...
1
vote
1answer
38 views

distance function is p- superharmonic?

In this article in page 3: http://arxiv.org/pdf/0904.1332.pdf says: If I consider $\Omega$ a open bounded and convex set, then the function $\delta (x) = \displaystyle\min_{y \in \partial \Omega } ...
2
votes
0answers
39 views

Exercise 1.3.3(c) of GTM249(Classical Fourier Analysis)

Exercise 1.3.3(c) Let $0<p_0<p<p_1<\infty$ and let $T$ be an operator as in Theorem 1.3.2($\|T(f)\|_{L^{p_0,\infty}(Y)}\leq A_0\|f\|_{L^{p_0}(X)}$ for all $f\in L^{p_0}(X)$ and ...
4
votes
1answer
53 views

schwarz class and $L^2(\mathbb{R})$

Schwarz and $L^2$ both have the property that the Fourier transform is defined and bijective as a self-map of these spaces. Are they related in anyway or is this coincidence? (i.e. dual in some ...
2
votes
0answers
40 views

A question about BMO

In $\mathbb{R}^n$, suppose $f \in \mathrm{BMO}$ and $\phi \in \mathrm{C}_0^\infty$, then can we show that the convolution $f * \phi \in \mathrm{BMO}$?
6
votes
1answer
110 views

Tate's Thesis: Meaning of Local Functional Equation

I am studying the development of Tate's Thesis in Lang's Algebraic Number Theory and have a conceptual question. The setting: Let $k=\mathbb{Q}_p$. Let $\mu$ be the unique Haar measure giving ...
1
vote
0answers
60 views

Locally Compact Hypergroups

I am reading a Paper by ROBERT I. JEWETT Spaces with an Abstract Convolution of Measures. On page 51, he defines $K = \{ a,b,c\}$. The convolution operations are defined as \begin{align*} p_ap_a ...
2
votes
0answers
39 views

sequence of p-harmonic functions

Consider $\Omega$ a bounded open set in $R^n$ with $ \partial \Omega$ smooth and $u_n \in C^{1,\alpha}(\Omega)$ a bounded sequence in $C^{1,\alpha}(\Omega)$. Suppose that each $u_n$ is p - harmonic ...
1
vote
0answers
77 views

Definition of $L^p(\mathbb T)$ with $\mathbb T$ the unit circle

I'm trying to define the $L^p$ spaces in the unit circle(denoted as $\mathbb T$), as Rudin's Real and Complex analysis does in page 88. I've defined a measure in $\mathbb T$ via Riesz's representation ...
3
votes
0answers
53 views

Is harmonicity preserved when taking limits (normal convergence) on the unit disk.

I'm reading Koosis's book on $H^p$ spaces and have a question. He is proving a $L^p$ version of the Dirichlet problem which states that if $F(t)$ is in $L^p$ on the unit circle then $$ ...
8
votes
1answer
232 views

Wiener's theorem in $\mathbb{R}^n$

Reading Stein's "Singular integrals and differentiability properties of functions" I came across the following statement (this is in the proof of Lemma 3.2, pages 133-134): We now invoke the ...
1
vote
0answers
64 views

Function supported on [-1,1] with arbitrary prescribed sub-exponential Fourier decay?

Given $g:[1,\infty) \rightarrow (0,\infty)$ with $g(t) = o(t)$, does there exist $f:\mathbb{R} \rightarrow [0,\infty)$ with support contained in $[-1,1]$ such that $$ \widehat{f}(y) = ...
3
votes
0answers
137 views

Fourier coefficient of $f(x)=\frac{d}{dx}(x^{\nu} \cos(\frac{1}{x})$ for $\nu \in (0,\frac{1}{2})$.

In Zygmund's Trigonometric Series, vol I, on page 19 section 2.22 they write that Riemann showed that the Fourier coeff of $f(x)=\frac{d}{dx}(x^{\nu} \cos(\frac{1}{x}))$ for $\nu \in (0,\frac{1}{2})$ ...
1
vote
1answer
56 views

To partition the unity by translating a single function

I am trying to show that there exists a (real or complex-valued) function $\psi \in C^\infty(\mathbb{R}^n)$ having the following properties: The support of $\psi$ is contained in the unit ball ...
0
votes
0answers
44 views

Haar Measure on U(n) and O(n) [duplicate]

Every locally compact group has left-invariants haar measures. In particular, the compact groups O(n) and U(n) have them. I'm referencing the Orthogonal and unitary groups of matrix. I was wondering ...
0
votes
2answers
85 views

Prove that $\log(\max(\left | z_1 \right |,\left | z_2 \right |,\ldots,\left | z_n \right |)) \in MPSH(\Omega)$

This's an example: For $u(z_1,z_1,\ldots,z_n)=\log(\max(\left | z_1 \right |,\left | z_2 \right |,\ldots,\left | z_n \right |))$, where $z=(z_1,z_1,\ldots,z_n) \in \Omega=\mathbb{C}^n \setminus\{0\} ...
1
vote
1answer
121 views

Subharmonic, Plurisubharmonic

Can you give me two examples of Subharmonic, Plurisubharmonic? (and not Subharmonic, not Plurisubharmonic) . Then prove that your examples. I'm looking forward to your help. Thanks.
0
votes
1answer
59 views

Harmonic function 1

I have had trouble when I try to prove the following: For $u: \Omega \to \mathbb{R}$ be a harmonic function iff $u \in C^2(\Omega)$ and $\Delta u=\dfrac{\partial ^2u}{\partial ...