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, ...
1
vote
0answers
50 views
Fourier analysis questions
Can anyone give me a hand with the proof of this properties?
Prove that:
a) The linear span of the set $\left\{T_bh/b\in\mathbb{R}\right\}$ is dense in $L_2(\mathbb{R})$, where $h(x)=e^{-\pi x^2}$. ...
3
votes
1answer
29 views
Are the continuous functions on $G$ dense in $L^{1}(G)$?
If $G$ is a locally compact group, is the set $C_{c}(G)$ of all continuous functions on $G$ with compact support dense in $L^{1}(G)$?
3
votes
1answer
32 views
Why are Haar measures finite on compact sets?
I'm working through the answer by t.b. to another user's question here:
A net version of dominated convergence?
because I am trying to work through a related problem and I think it will be ...
3
votes
0answers
20 views
Are Haar measures complete?
If $G$ is a locally compact group and $\mu$ is a left Haar measure for $G$, then is the measure space $(G,B(G),\mu)$ complete (where $B(G)$ is the set of Borel subsets of $G$)?
Or do we have to take ...
1
vote
1answer
66 views
Why is logarithm in BMO
I read that $\log|x|$ is supposedly a typical example of a BMO function. How do I see that it is in BMO actually?
1
vote
0answers
15 views
Convergence of an Integral in a locally compact group
I'm trying to finish an exercise which I asked about earlier here:
Mapping $G$ into its group algebra as left multiplication. Continuous?
$\bf{\text{The setting:}}$
Let $G$ be a locally compact ...
0
votes
0answers
16 views
Bounding the partial derivatives of $\left(\dfrac{1+ |\xi + \tau|^2}{1 + |\xi|^2}\right)^{s/2}$.
Let $\tau = (\tau_1,\ldots,\tau_n) \in \mathbf{R}^n$, $s\geq 0$, and define the function $f : \mathbf{R}^n \to \mathbf{R}$ by
$$
f(\xi) = \left(\dfrac{1+ |\xi + \tau|^2}{1 + |\xi|^2}\right)^{s/2}.
$$
...
2
votes
0answers
35 views
A few questions about Measure Algebras
I've written up some of my understanding as well as I can of the Measure Algebra, trying to see the details behind a very brief treatment. There a couple places where I cannot make see how to make ...
4
votes
1answer
67 views
Involution in $L^{1}(G)$ is isometric.
(Sorry for asking so many questions of the same type. There is an underlying issue that I think once resolved will allow me to understand them all at once.)
Let $G$ be a locally compact group, and ...
2
votes
1answer
35 views
How to use the modular function of a locally compact group?
Let $G$ be a locally compact group with left Haar measure $\mu$.
Let $\delta:G\to(0,\infty)$ the unique modular function such that $\delta(x)\mu(E) = \mu(Ex)$ for all Borel sets $E$ and $x\in G$.
...
1
vote
3answers
52 views
Introduction to Abstract Harmonic Analysis, reference suggestions?
I'm looking for a good starting book on the subject which only assumes standard undergraduate background.
In particular, I need to gain some confidence working with properties of Haar measures, so I ...
2
votes
2answers
52 views
An integral$\frac{1}{2\pi}\int_0^{2\pi}\log|\exp(i\theta)-a|\text{d}\theta=0$ which I can calculate but can't understand it.
I have encountered this integral:$$\frac{1}{2\pi}\int_0^{2\pi}\log|\exp(i\theta)-a|\text{d}\theta=0$$ where $|a|<1$ in proving Jensen's formula. because I am stupid, I don't know why it is equal ...
0
votes
0answers
25 views
Higher dimensional integration by parts, specific case.
Suppose $\sigma$ is $C^\infty$ function on $(\mathbf{R}^n)^2\backslash \{(0,0)\}$ that is supported in the cube $[-1/4,1/4]^{2n}$ which satisfies
$$
|\partial_{y_1}^{\alpha_1}\partial_{y_2}^{\alpha_2} ...
1
vote
3answers
36 views
Fourier transform of a compactly supported function
In which space does the Fourier transform of a smooth compactly supported function $\phi$ lie?
I would not say it lies in $\mathcal{S}$, heuristically as one can approximate the step function which is ...
0
votes
1answer
20 views
Characterisation of the spectrum of certain unitary representations on $L^2(G)$
I have been informed of the existence of theorems in harmonic analysis that will allow me to calculate the spectrum of given unitary operators $L^2(G)$ where $G$ is a locally compact group. So far I ...
0
votes
0answers
22 views
Laplacian on Reductive coset spaces
Let us consider the sphere $S^n$ (embedded in $\mathbb{R}^{n+1}$) and let $X_i$ denote the vector fields which generate rotations about the $x_i$-axis. My questions are:
(a) Is it true that ...
3
votes
1answer
39 views
number of zeros of the superposition/interference of sine oscillations
There is a tricky problem to solve and we ask for your kind help.
In a rather simple version of the problem, we have a set of oscillations of type $f(x)=\sin (\omega x + \phi)$ with different phases ...
-1
votes
0answers
27 views
How to perform decomposition of voiced sound of speech singal into harmonic components [closed]
Hello i have problem with 1)performing the decomposition of voiced sounds of speech signal into harmonic components.
2)Re-synthesizing signal by using the harmonic components.
3)Performing scrambling ...
1
vote
1answer
44 views
Harmonic Measure & Brownian Excursion
I have a disk of radius R removed from the plane. Brownian excursions are emanated from infinity. I am tasked to find a probability that the brownian motion impacts an arc of the disk boundary. I am ...
2
votes
0answers
35 views
$H^s(\mathbb{T})$ space is a Banach algebra with pointwise product
I have ran across the following theorem but the given proof does not convince me.
Theorem Let $u, v \in H^s(\mathbb{T})$ with $s>1/2$. Then the pointwise product $uv$ is in $H^s(\mathbb{T})$ and ...
1
vote
1answer
24 views
Measure of the boundary of a union of cubes.
Suppose that we are given a collection of dyadic, mutually disjoint, open cubes in $\mathbf{R}^n$ in which the the union of all the cubes has finite measure. Is it necessary that the boundary of the ...
0
votes
0answers
25 views
Harmonics of a rectangular cuboid [closed]
What are the harmonics, or normal modes, of a rectangular cuboid (brick, or sheet, if it's thin)? Which material constants?
7
votes
2answers
103 views
Mean Value Property of Harmonic Function on a Square
A friend of mine presented me the following problem a couple days ago:
Let $S$ in $\mathbb{R}^2$ be a square and $u$ a continuous harmonic function on the closure of $S$. Show that the average of ...
0
votes
0answers
20 views
DFT in complex form and Trigonometric Polynomial Interpolation: why different dimensions of basis vectors set?
I'm trying to figure out, how coefficients of Discrete Fourier Transform in complex form are converted into coefficients of Trigonometric Polynomials Interpolation:
Say, I have a function vector with ...
0
votes
1answer
15 views
An approximation of lengths dealing with elements of cubes. Show $|x-y| \approx \ell(Q) + |x - c_Q|$.
So the problem I have at hand should be rather elementary, but I can't figure out. It's in a proof I'm trying to understand completely. Here's what I need to do exactly:
Show that $|x-y| \approx ...
1
vote
1answer
24 views
Extracting Harmonic series components
I have a number which is made up of a Harmonic series.
1/2 + 1/3 + 1/4 etc.
Some of the components may not be in the number..
1/2 + 1/7 + 1/11 etc.
Is it possible to recover the individual ...
2
votes
1answer
51 views
Why does this inequality for all characteristic functions imply it for simple functions?
This question is probably obvious, but I'm not seeing how to obtain it.
A simple function is said to be finitely simple if its support is of finite measure. Let $(X_1,\mu_1)$, $(X_2,\mu_2)$, and ...
0
votes
0answers
16 views
Limit of integrals of a sequence of locally integrable continuous functions.
Suppose that $\sigma$ is locally integrable and continuous on $(\mathbf{R}^n)^m$. Fix $\vec a \in (\mathbf{R}^n)^m$ and let $f_1,\ldots,f_m$ be Schwartz functions on $\mathbf{R}^n$. In the proof I'm ...
1
vote
1answer
34 views
Showing a Schwartz Function Bound
I have a question on how to get the correct upper bound of a Schwartz function. Unfortunately, I've never understood this even though I've seen my professors do it a thousand times. I figured it's ...
2
votes
1answer
37 views
Does $|T(f) - T(g)| \leq |T(f-g)|$ hold for a sublinear operator $T$?
Let $X,Y$ be function spaces with functions taking values in $\mathbf{C}$. An operator $T:X\to Y$ is called sublinear if for all $f,g \in X$ and all $\lambda \in \mathbf{C}$, we have
$$
|T(\lambda f)| ...
1
vote
1answer
38 views
Lorentz Space property: $\left\| f \right\|_{L^{q,s}} \leq \lim\limits_{n\to\infty} \| f_n \|_{L^{q,s}}$
I would like to understand a statement similar to Fatou's Lemma in the Lorentz space setting. It is as follows.
Suppose $0 < q,s < \infty$ and $f_n,f$ are measurable functions on a
...
3
votes
2answers
73 views
Identity involving partial sums of Fourier series
Suppose $f$ is a continuous periodic function and $S_Nf(x) = \sum^N_{n=−N} \hat f(n) e^{inx}$, where $$\hat f(n)= \frac{1}{2\pi}\int_0^{2\pi}f(x)e^{-inx} dx.$$
How can I show that ...
2
votes
1answer
23 views
Given $\widehat{\varphi} = \chi_{[-1/2,1/2]}$, show the system $\{\varphi(2^v x)\}_{v \in \mathbb{Z}}$ is not orthogonal
If $$\widehat{\varphi} = \chi_{[-\frac{1}{2},\frac{1}{2}]}$$ then it is not hard to compute via the inverse Fourier transform that $$\varphi(x) = \frac{\sin(\pi x)}{\pi x}$$ so we need to show ...
0
votes
1answer
65 views
Imaginary complex numbers
Let $z=x+iy$ and $v=2xy$, show that $v=Im[z^2]$ and find a harmonic conjugate of $v$ on domain $D$. Also find the largest domain $D$ on which $v$ is harmonic.
1
vote
0answers
47 views
Fourier algebra and multipliers of a finite discrete group
Let $G$ be a finite discrete group. We denote by $A(G)$ the Fourier algebra of $G$ and $M_{cb}A(G)$ the space of completely bounded multipliers of $A(G)$.
Is is true that $A(G)=M_{cb}A(G)$ ...
0
votes
1answer
43 views
Which spherical harmonic function will correspond to such a representation?
On Wiki there's a figure displaying "visual representations of the first few spherical harmonics."
I was wondering exactly which spherical harmonic function will generate a representation like this ...
1
vote
0answers
73 views
Another aspect of Heisenberg uncertainty principle
In fourier transformation theory, we have the Heisenberg uncertainty principle, i.e.
Suppose $\phi$ is a function in [Schwarz space][1] which satisfies the normalizing condition ...
6
votes
2answers
83 views
Recovering a group from its C*-algebras and group algebra
Let $G$ and $H$ be locally compact groups. Does anyone know the answers to these questions?
Is it true that:
if $C^*(G)$ and $C^*(H)$ are $*$-isomorphic, then $G\cong H$?
if $C_r^*(G)$ and ...
1
vote
0answers
32 views
How to show that $ν(z)$ is Carleson measure
If $ν(z)=|1+z|^ β dμ(z)$, $β\in \!\ R^-$. How to show that $ν(z)$ is Carleson?
I know that $ν$ is Carleson measure if $ν(Q_I)\leqq \!\ c.I$
But how to apply this?
0
votes
2answers
47 views
Harmonic function, existence of a constant
May i ask you for a little help about a problem with harmonic function? It seems to be not that difficult, in a way even intiutively obvious but i don't really know how to show this explicitly.
We ...
2
votes
1answer
74 views
Are nilpotent Lie groups unimodular?
The continuous homomorphism $\Delta:G \rightarrow \mathbb{R}^{\times}_+$ is defined by
\begin{equation*}
\int_G f(xy)dx = \Delta(y)\int_Gf(x)dx
\end{equation*}
where $dx$ is a left Haar measure on ...
1
vote
1answer
38 views
$\int_{-\infty}^{\infty}f '\bar{f}'+x^2 f\bar{f}dx\geq \int_{-\infty}^{\infty}|f|^2 dx$?
Suppose complex function $f$ in the Schwartz Space, its definition see http://en.wikipedia.org/wiki/Schwartz_space how can we argue that
$$\int_{-\infty}^{\infty}f '\bar{f}'+x^2 f\bar{f}dx\geq ...
1
vote
1answer
18 views
$(y^2+2iy)^{m-\frac{1}{2}}=y^{m-\frac{1}{2}}(2i)^{m-\frac{1}{2}}+O(y^{m+\frac{1}{2}})(0\leq y \leq 1)?$
This question comes from stein's book Introduction to fourier analysis on euclidean space,page 159.
when $m > 1/2$,
...
11
votes
2answers
240 views
A series involves harmonic number
How do we get a closed form for
$$\sum_{n=1}^\infty\frac{H_n}{(2n+1)^2}$$
1
vote
1answer
83 views
Orthonormal basis in Hilbert spaces
I have a general question but I'm going got ask it in a very restrictive setup.
It is known that an equivalent condition for a system $\left\{e^{i\lambda t}\right\} _{\lambda\in\Lambda}$ being an ONB ...
14
votes
4answers
359 views
About a harmonic series problem : How to prove that $\sum_{n=1}^{\infty}\frac{H_n}{n^3}=\frac{\pi^4}{72}$
How to prove that
$$\sum_{n=1}^{\infty}\frac{H_n}{n^3}=\frac{\pi^4}{72}$$
$H_n$ is the n th harmonic number
5
votes
0answers
74 views
Can we do some scaling argument in the presence of inhomogeneous norms?
Notation:
$B^n_R$ stands for the ball of radius $R$ in $\mathbb{R}^n$.
$\hat{f}$ stands for the Fourier transform of $f$.
Question. The following inequality holds true for all $f\in ...
1
vote
1answer
67 views
Fourier transform of a function is square integrable
Is there a result stating that if a function $f:\mathbb{R} \rightarrow \mathbb{R}$ is square integrable and decays at infinity, then its Fourier transform is also square integrable?
1
vote
1answer
33 views
$L$ elliptic diff op $\implies$ singsupp$(u)\subseteq$singsupp$(Lu)$ for distributions $u$?
If $L:D'(\mathbb{R}^n)\to D'(\mathbb{R}^n),n\in\mathbb{N}$ is a weakly elliptic, linear differential operator with constant coefficients then for every $\Omega\subseteq\mathbb{R}^n$, and for all $u\in ...
2
votes
1answer
138 views
Prove partial derivatives of uniformly convergent harmonic functions converge to the partial derivative of the limit of the sequence.
I think the title says it all.
If you have a sequence of harmonic functions from a bounded complex domain to the real numbers, show that on a subset at a positive distance from the boundary of the ...
