Intereting Posts

Does $\int_{1}^{\infty}\sin(x\log x)dx $ converge?
show that the solution is a local martingale iff it has zero drift
How to reverse digits of an integer mathematically?
How does $cos(x) = \frac{\vec{v} \cdot \vec{w}}{|\vec{v}| \cdot |\vec{w}|}$ make sense?
Fractional Derivative Implications/Meaning?
Proving the exponential inequality: $x^y+y^x\gt1$
Possible road-maps for proving $\lim_{x\to 0}\frac{\sin x}{x}=1$ in a non-circular way
Contour integral of $\int_0^{2\pi} \frac{1}{A – cos \theta} d\theta$
Spectrum of Laplace operator with potential acting on $L^2(\mathbb R)$ is discrete
The correspondence theorem for groups
Existence of an operation $\cdot$ such that $(a*(b*c))=(a\cdot b)*c$
All $k$-regular subgraphs of $K_{n,n}$ have a perfect matching: a proof without Hall's Marriage Theorem?
Writing a Polar Equation for the Graph of an Implicit Cartesian Equation
Show that $\lim_{n \to \infty}\prod_{k = n}^{2n}\dfrac{\pi}{2\tan^{-1}k} = 4^{1/\pi}$
Book recommendation for network theory

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)$$

- Asymptotics of sum of binomials
- Closure of a connected set is connected
- Tensor products of functions generate dense subspace?
- Showing that $\Omega$ is of class $C^1$
- Some properties of capacity
- Uniform continuity on (0,1) implies boundedness

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!

- Which $f \in L^\infty$ are the Fourier transform of a bounded complex measure?
- What's the relationship between a measure space and a metric space?
- Does the proof of Bolzano-Weierstrass theorem require axiom of choice?
- Mathematical Analysis advice
- Computation of $\int _{-\pi} ^\pi \frac {e^{in\theta} - e^{i(n-1)\theta}} {\mid \sin {\theta} \mid} d\theta .$
- Arbitrary non-integer power of a matrix
- Cartesian Product of Two Complete Metric Spaces is Complete
- ELI5: Riemann-integrable vs Lebesgue-integrable
- Prob. 3 (b), Chap. 6, in Baby Rudin: If $\beta_j(x)=0$ if $x<0$ and $\beta_j(x)=1$ if $x>0$, then . . .
- $\int_{\mathbb R^{2}} |\int_{\mathbb R} (f_{r}(t-y)- f_{r}(t)) g(t-x) e^{-2\pi i w\cdot t} dt|dx dw \to 0 $ as $ r\to \infty $?

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.

- Find a sequence $(x_n)$ such that $(x_n)$ is monotonic, $\lim x_n=0$, $\sum_{n=1}^{\infty} ( 1-\frac{x_n}{x_{n+1}})$ converges
- Sum : $\sum_{n=0}^\infty \frac{(-1)^n}{(2n+1)^3}$
- Prove that if d is a common divisor of a and b, then $d=\gcd(a,b)$ if and only if $\gcd(a/d,b/d)=1$
- Determinant value of a square matrix whose each entry is the g.c.d. of row and column position
- Is this lot drawing fair?
- Proving that $\lim_{n\rightarrow \infty} \frac{n^k}{2^n}=0$
- Killing form on $\mathfrak{sp}(2n)$
- Given the permutation $\sigma=\left(\begin{array}{ccccc} 1&2&3&4&5\\ 3&1&2&5&4 \end{array}\right)$
- Bezout in $\mathbb C $
- Are points on the complex plane sufficient to solve every solvable equation composed of the hyperoperators, their inverses, and complex numbers?
- Definite Integral of the following term with $e^e$
- Show that $|f'(x)| \le \frac{2M_0}{h} +\frac{hM_2}{2}$ and $M_1 \le 2\sqrt{M_0M_2}$
- Binary quadratic forms – Equivalence and repressentation of integers
- Why do we need to learn integration techniques?
- $A$ closed in $Y$ and $Y$ closed in $X$ , then $A$ is closed in $X$