Intereting Posts

Calculate average angle after crossing 360 degrees
Convergence/Divergence of $\int_{0}^{1/e} \frac{\log \left(\frac{1}{x}\right)}{(\log^2 (x)-1)^{3/2}} \mathrm{dx}$
Hilbert spaces and unique extensions of linear functions.
Fibonacci Recurrence Relations
Algebraic Problem. Cant Get It. Help Please
Bijection between an ideal class group and a set of classes of binary quadratic forms.
Conjugacy classes of the nonabelian group of order 21
Evaluate the integral $\int_{0}^{+\infty}\left(\frac{x^2}{e^x-1}\right)^2dx$
Can anyone tell me why the arclength integral is an uppersemicontinuous function on the set of continuously differentiable real-valued functions?
Find all positive integers $n$ such that $n+2008$ divides $n^2 + 2008$ and $n+2009$ divides $n^2 + 2009$
Distance of two lines in $\mathbb{R}^3$
A Sine integral: problem I
If $f$ is Lebesgue integrable on $$ and $\int_E fdx=0$ for all measurable set E such that $m(E)=\pi/2$. Prove or disprove that $f=0$ a.e.
Finding $\lim_{x\to \pm\infty}f(x)$ where $a,b>0$
Representing IF … THEN … ELSE … in math notation

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 compactly supported real functions on $G$. I’m stumped by a step in a proof where the following equality is asserted :

$$\int_H \Delta_H(\zeta^{-1}) \Bigg[\int_G f(x\zeta^{-1})g(x)d\mu(x)\Bigg]d\zeta = \int_G g(x)\Bigg[ \int_H f(x\zeta) d\zeta\Bigg] d\mu (x).$$

I can only make the left hand side look like $$\int_G g(x) \Bigg[\int_H \Delta_H(\zeta^{-1})f(x\zeta^{-1})d\zeta \Bigg]d\mu (x)$$

- Is Thomae's function Riemann integrable?
- Rudin Theorem 2.41 - Heine-Borel Theorem
- Let $(s_n)$ be a sequence of nonnegative numbers, and $\sigma_n=\frac{1}{n}(s_1+s_2+\cdots +s_n)$. Show that $\liminf s_n \le \liminf \sigma_n$.
- Question about Feller's book on the Central Limit Theorem
- How to show that $\int_0^\infty\frac{\ln x}{1+x^2}\mathrm dx=0$?
- Convergence of the integral $\int_0^{\pi/2}\ln(\cos(x))dx$

Clearly I’m supposed to use the properties of the modular function $\Delta_H$, but I don’t know what to do when the argument for $\Delta_H$ is the variable I’m integrating over. Any help would be greatly appreciated. Thanks!

- Limit of a summation, using integrals method
- How prove this $f(a)\le f(b)$
- Riemann sum on infinite interval
- Spivak's Calculus - Chapter 1 Question 23
- Generalized Hölder inequality
- Continuity and the Axiom of Choice
- Evaluation of $\lim_{n\rightarrow \infty}\sum_{k=1}^n\sin \left(\frac{n}{n^2+k^2}\right)$
- borel-measurable function is pointwise limit of a sequence of continuous functions, wich is uniformly bounded
- a Fourier transform (sinc)
- Limit of convolution

Define a measure $d\zeta^{-1}$ on $H$ by the condition

$$

\int f(\zeta)\,d\zeta^{-1}=\int f(\zeta^{-1})\,d\zeta.

$$

I claim that there is an equality of measures

$$

\Delta_H(\zeta)\,d\zeta^{-1} = d\zeta.

$$

Integrating $f(x\zeta)$ against both these measures shows the inner integral on the right hand side of the original equality is equal to the inner integral in your transformation of the left hand side.

To prove the equality of measures: first one checks that $\Delta_H(\zeta)\,d\zeta^{-1}$ is a left Haar measure (this is basically equivalent to Lucien’s observation that $\Delta_H(\zeta^{-1})\,d\zeta$ is a right Haar measure). This means there is a constant $C>0$ such that $\Delta_H(\zeta)\,d\zeta^{-1}=C\,d\zeta$. Making the substitution $\zeta\leftrightarrow\zeta^{-1}$ shows that $C^2=1$, so that $C=1$.

Let us call $d\lambda(\zeta)$ your left Haar measure on $H$. Notice that, as already pointed out by Lucien, $\Delta_H(\zeta^{-1})d\lambda(\zeta)$ is a right Haar measure on $H$. Actually, it is exactly the measure $d\lambda(\zeta^{-1})$ (e.g. see Folland, “A course in abstract harmonic analysis”, p.48), i.e. the measure $\rho$ defined by $\rho(E)=\lambda(E^{-1})$. So your left hand side square bracket becomes

$$\int_H f(x\zeta^{-1})d\lambda(\zeta^{-1})$$

Now apply the general formula for the push-forward measure under the map $(\cdot)^{-1}\colon H\to H$ to get

$$\int_H f(x\zeta^{-1})d\lambda(\zeta^{-1})=\int_H f(x(\zeta^{-1})^{-1})d\lambda (\zeta)=\int_H f(x\zeta)d\lambda(\zeta)$$

and we’re done.

- where does the term “integral domain” come from?
- Fourier Series for $|\cos(x)|$
- Simplify result of $\int_0^{\infty} \frac{1}{1+x^n}dx$
- $G$ conservative iff counit components are extremal epi.
- Mean Value Property of Harmonic Function on a Square
- Determine if the following series are convergent or divergent?
- Covariant derivative of (1,1)-tensor
- Suppose every subsequence of X converges to 0. Show that lim(X)=0
- How many sets can we get by taking interiors and closures?
- Three normals of a hyperbola passing through the same point on the curve
- Random solving of a Rubik cube .
- Is there any trivial reason for $2$ is irreducible in $\mathbb{Z},\omega=e^{\frac{2\pi i}{23}}$?
- Prove that $f$ is a polynomial if one of the coefficients in its Taylor expansion is 0
- $M$ be a finitely generated module over commutative unital ring $R$ , $N,P$ submodules , $P\subseteq N \subseteq M$ and $M\cong P$ , is $M\cong N$?
- $\ln(y-3) = \ln(3-y)$? How?…