0
votes
0answers
35 views

find an adjoint operator for operator N [closed]

I read this in a paper how to find its adjoint?
1
vote
1answer
35 views

If A has positive Haar measure then $AA^{-1}$ is a neighborhood of $e$

I read the following exercise: Prove that if $G$ is a locally compact topological group with Haar measure $\mu$ and $A \subset G, \mu (A) >0$, then $AA^{-1}$ contains an open neighborhood of the ...
5
votes
0answers
132 views

Why is the derivative of the translates of a measure measurable?

Let G be a topological group and X a measure space. Let $G \times X \rightarrow X$ be a measurable group action, $\mu$ a $\sigma$-finite measure on $X$, and $g\mu$ (for any $g \in G$) the measure ...
7
votes
1answer
32 views

If $w$ is in weak $A_{\infty}(d\mu)$ where $d\mu$ is a doubling measure, then is $w\,d\mu$ doubling?

Let $\mu$ be a positive Borel measure on $\mathbb{R}^n$ and let it be doubling i.e. there exists a a constant $C>1$ such that $\mu(B(x_0, 2r)) \leq C \mu(B(x_0,r))$ for all balls $B(x_0,r)$. Let ...
0
votes
1answer
12 views

Fourier coefficients of a measure and absolute continuity

A relative of a theorem of Peyriere (found in a 1997 paper of Klemes and Reinhold, "Rank One Transformations with Singular Spectral Type") says that if $\mu$ is a Borel probability measure on $S^1$ ...
5
votes
0answers
56 views

An inequality between integrals of series of characteristic functions of cubes

Let $1\leq p<\infty$. Prove that there exists $C>0$ such that $$ \left(\int\left|\sum_{i=1}^\infty a_i\chi_{2Q_i}\right|^p \, dx\right)^{1/p} \leq C\left(\int\left|\sum_{i=1}^\infty ...
2
votes
1answer
42 views

If the Fourier transform of a probability measure goes to zero at infinity, can the measure have a point mass?

Let $\mu$ be a probability measure on $\mathbb{R}$. Is the following implication true? $$ \widehat{\mu}(y) \rightarrow 0 \text{ as } |y| \rightarrow \infty \quad \Rightarrow \quad \mu(\{x\})=0 \quad ...
2
votes
0answers
62 views

Relation between fractional integral operator and solution of poisson equation

For $0<\alpha<d$, fractional integral operator $I_{\alpha}$ is defined by $$I_{\alpha}f(x)=\int_{\mathbb{R}^d} \frac{|f(y)|}{|x-y|^{d-\alpha}} dy$$ for any suitable function on $\mathbb{R}^d$. ...
3
votes
1answer
34 views

Application of weak $L^p$ estimate besides for proving boundedness of some linear operator

For all $1\leq p< \infty$, weak-$L^p(\mathbb{R}^d)$ space is defined as a set of all functions $f$ such that $$\gamma^p|\{x\in \mathbb{R}^d: |f(x)|>\gamma\}|<\infty$$ for every ...
2
votes
1answer
79 views

Continuity under the integral sign?

I've been reading Folland's Harmonic analysis book, in which he claims the following on page 56: Suppose $G$ is a locally compact (and of course Hausdorff) topological group G, $H$ a (closed) ...
1
vote
0answers
20 views

$|supp(v)|=0$ implies the existence of $\lim_{\epsilon \to 0}\int_{|\theta -\phi|>\epsilon}\cot{(\pi(\theta-\phi))}dv(\phi)$

Let $v$ be a complex Borel measure on $[0,1]$ and $m$ be the Lebesgue measure. We define the support of measure by $$supp(v) = [0,1]-\cup\{I \subset [0,1]: v(I)=0\}$$ where $I$ is an interval. ...
4
votes
1answer
79 views

A function $f:\mathbb{R} \to \mathbb{R}$ with infinite norm but finite weak seminorm

Let $0<q\leq p<\infty$. For $f:\mathbb{R}\to \mathbb{R}$, we define the norm \begin{equation} \|f\|_{p,q}=\sup_{a\in \mathbb{R},r>0} r^{\frac{1}{p}} \left(\frac{1}{r} \int_{a-r}^{a+r} ...
6
votes
1answer
51 views

How to determine measure from the integral equation?

Let $\{c_{n}\}_{n\in \mathbb Z}\subset \mathbb C$ and $\sum_{n\in \mathbb Z} |c_{n}| < \infty$ (that is, the series $\sum c_{n}$ is absolutely converges); we define $F:\mathbb R \to \mathbb C$ ...
0
votes
0answers
19 views

How to factorize exponential as a convolution of finite number of functions( series)?

We choose a points $x_{1},..., x_{n}$ in $\mathbb Z$ (not 0), such that $$x_{k+1}\not = x_{1}+x_{2}+...+x_{k} \ \ (k=1,2,...,n-1).$$ Let $\delta_{x}$ denote the measure of total mass $1$, ...
1
vote
0answers
43 views

How to interpret Fourier-Stieltjes transform on $\mathbb T$ (one dimesional torus)?

Let $\mu$ be a regular Borel measure on $\mathbb Z$ and we put, $$\|\mu\|:= |\mu| (\mathbb Z)= \text {total variation of} \ \mu . $$ and define $$M(\mathbb Z):= \{\mu: P(\mathbb Z)\to \mathbb C : ...
0
votes
1answer
64 views

The dual of L^1(G) for a locally compact group G

I might be missing something, but most literature on topological groups and harmonic analysis that I've encountered mention that $L^\infty(G)$ can be naturally identified with the dual of $L^1(G)$ by ...
0
votes
2answers
36 views

Determine polynomials with $n$-variables

Here is a funny problem arise from harmonic analysis: Let $E$ be a measurable subset of $\mathbb R^n$ with $m(E)>0$, where $m$ is the usual Lebesgue measure on $\mathbb R^n$. In practice, $E$ ...
2
votes
0answers
56 views

Abstract Fourier Analysis

I am trying to prove that given a locally compact abelian (Hausdorf) topological group, the characters on it parameterize the multiplicative linear functionals on the banach * algebra $L^1(G, d\mu)$ ...
0
votes
0answers
42 views

If a normal subgroup, N, contains a lattice why does G/N have finite measure?

Suppose $G$ is a locally compact Hausdorff topological group and suppose $H \leq N \leq G$ are closed subgroups with $N$ normal. Now suppose $G/H$ has a finite $G$-invariant Boreal measure (in the ...
5
votes
1answer
244 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!
3
votes
1answer
85 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
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 ...
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 ...
2
votes
0answers
94 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
76 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 ...
2
votes
1answer
59 views

Book searching in Pluripotential theory

Can anyone recommend me a book on pluripotential theory with an intuitive approach? I have some course notes on that subject, but it's really abstract and theoretical. I want to understand why ...
2
votes
1answer
132 views

Proof that $dx/|x|$ is a Haar measure on non-zero reals?

Most importantly, what is the meaning of this notation $\lambda = dx/|x|$? How do I compute say $\lambda(0,1)$ for example?
3
votes
1answer
87 views

Weak $L^{p}$ spaces are quasi-normed?

Let $(X,\mathcal{B}, \mu)$ be a measure space. Then for $0< p < \infty$ by definition $L^{p,\infty}(X,\mathcal{B}, \mu)$ is the class of all measureable functions $f$ such that ...
3
votes
1answer
57 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)$?
4
votes
1answer
139 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
53 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
0answers
20 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 ...
4
votes
1answer
94 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
96 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$. ...
2
votes
1answer
74 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 ...
1
vote
1answer
52 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 ...
4
votes
1answer
409 views

Hardy-Littlewood-Sobolev inequality for $p=1$

Let $\mu $ be a positive Borel measure on $% %TCIMACRO{\U{211d} }% %BeginExpansion \mathbb{R} %EndExpansion ^{d}$ such that $\mu \left( B\left( a,r\right) \right) \leq Cr^{n}$ for some $n\in (0,d]$ ...
6
votes
1answer
272 views

$1/|x|^n$ is not integrable

Let $\mu $ be a positive Borel measure on $% %TCIMACRO{\U{211d} }% %BeginExpansion \mathbb{R} %EndExpansion ^{d}$ such that $\mu \left( B\left( a,r\right) \right) \leq Cr^{n}$ for some $n\in (0,d]$ ...
1
vote
1answer
311 views

How to evaluate integrals with respect to Lebesgue measure on the unit sphere?

Let $\sigma$ be the "normalized Lebesgue" (Haar, really...) measure on the unit sphere $S=S^{n-1} \subset \mathbb R^n$. That is, $\sigma$ has support $S$, it is uniformly distributed, and $\int_S ...
8
votes
1answer
485 views

How to show convolution of an $L^p$ function and a Schwartz function is a Schwartz function

We have the Schwartz space $\mathcal{S}$ of $C^\infty(\mathbb{R^n})$ functions $h$ such that $(1+|x|^m)|\partial^\alpha h(x)|$ is bounded for all $m \in \mathbb{N_0}$ and all multi-indices $\alpha$. ...
4
votes
1answer
215 views

Radial limits of harmonic conjugate and Hilbert transform

Let $\mu$ be a real measure on the circle $\mathbf{T}$. Then the function $$f(z)=\int_\mathbf{T} \mathrm{Im}\left(\frac{\zeta+z}{\zeta-z}\right) d\mu(\zeta)$$ is harmonic on the unit disc and its ...
7
votes
1answer
312 views

Basics of Haar measure

Suppose $G$ is a locally compact group. Then $G$ has a left-invariant measure $dg$, say, which means that $$\int f (hg) dg = \int f(g) fg$$ for any test function integrable on $G$. The ...
4
votes
0answers
200 views

Computing the modularity function of upper triangular matrices

Put $B_p := \left\{ \begin{pmatrix} a & b \\ 0 & c \end{pmatrix} \in GL_2(Q_p) : a, b, c \in Q_p \right\}$ the subgroup of upper triangular matrices in $GL_2(Q_p)$, $Q_p$ denoting the $p$-adic ...
3
votes
1answer
87 views

Reference for: $G$ discrete iff the measure algebra $M(G)$ is weakly amenable.

I search the reference for the proof of the following theorem: Let $G$ be a locally compact group. Then the group $G$ is discrete if and only if the measure algebra $M(G)$ is weakly amenable. The ...
3
votes
2answers
191 views

Shifting a function is continuous

I'm slightly puzzled by the following: if $g(t)$ is a function in $L^q(X)$ then we can show that $g(t-x)$ is continuous function of $t$, i.e. for $\varepsilon > 0$ we can find $\delta$ such that ...
2
votes
1answer
122 views

Truncation in Lorentz spaces

I am reading a paper, whose author state the following: if $f \in L^{(q,\infty)}(\mathbb{R}^N)$, then $f_\delta \in L^p(\mathbb{R}^N)$ for every $p \in [1,q)$, where $\delta > 0$ and $$ f_\delta = ...
7
votes
1answer
501 views

A net version of dominated convergence?

Let $G$ be a locally compact Hausdorff Abelian topological group. Let $\mu$ be a Haar measure on $G$, i.e. a regular translation invariant measure. Let $f$ be fixed in $\mathcal{L}^1(G, \mu)$. ...
1
vote
0answers
217 views

A function in BMO space

Let $\psi:[0;1]\to\mathbb R$ is a nonnegative measurable function. Let $b_d(x)=1_{B(0,1)}\cdot{\rm sgn}(\sin (\pi d|x|))$, where $d\in\mathbb N$. Here $1_{B(0,1)}$ is the charateristic function of the ...
3
votes
2answers
263 views

Homogeneous function in bounded mean oscillation BMO($\mathbb R^n$) space

Let me recall some notations: The mean oscillation of a locally integrable function $u$ (i.e. a function belonging to $ L^1_{\textrm{loc}}(\mathbb{R}^n))$ over a cube Q in $\mathbb R^n$ (which has ...
4
votes
2answers
715 views

Approximation of the identity and Hardy-Littlewood maximal function

The inequality seems to be simple but I could not find the right limits of integration. $$\sup_{\delta>0} |f*K_{\delta}|(x)\leq c f^*(x)$$ Where is some positive constant, $f$ is integrable, ...