Sign up ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

(Question edited according to Denis Serre comment).

While studying the action of dilating map of the circle on probability measures, I ran across the following operator: $$\mathcal{K}^* : L^2_0(\mu)\to L^2_0(\mu)\quad u\mapsto \varphi' u\circ \varphi $$ where $\varphi$ is a $C^2$ dilating map of $S^1$, of degree $d$ say, $\mu$ is the unique absolutely continuous measure fixed by $\varphi$ (it has $C^1$ density) and $L^2_0$ means the subset of $L^2$ of functions having zero mean with respect to Lebesgue measure.

In the model case $\varphi(x)=dx \mod 1$, Fourier analysis shows easily that the spectrum is the closed disc of radius $d$. In fact every $\lambda$ such that $|\lambda| < d$ is an eigenvalue of the adjoint operator $\mathcal{K}$. In the general case it seems easier to work with $\mathcal{K}^*$ since the expression of $\mathcal{K}$ involves $\mu$.

My question is the following: what can be said in general on the spectrum of $\mathcal{K}^*$? references are welcome if they exist (note that this question led me far away from my usual domain of mathematics, so that this might be a dumb or very easy question -- or might be tough).

share|cite|improve this question
When $\phi(x)=dx$, it is correct that every $\lambda$ with $|\lambda|< d$ is in the spectrum, but it is not an eigenvalue, because if $u\in L^2_0(S^1)$ and ${\mathcal K}^*u=\lambda u$, then $u=0$. – Denis Serre Oct 21 '10 at 14:05
@Denis: thanks for the correction, I mixed up things; in fact, these $\lambda$ are (in the model case) eigenvalues of the adjoint operator $\mathcal{K}$. By the way, in the general case, the space that comes up is in fact $L^2_0(\mu)$ where $\mu$ is the unique absolutely continuous measure fixed by $\varphi$ (which has $C^1$ density), and the $0$ means that $u$ has mean zero with respect to the Lebesgue measure. This is why I ask about $\mathcal{K}^*$: the expression of $\mathcal{K}$ involves $\mu$. – Benoît Kloeckner Oct 21 '10 at 16:06
@Benoit: I'm just trying to understand why your map preserves $L^2_0$ - can you briefly explain? – Ćukasz Grabowski Oct 21 '10 at 18:18
@Lukasz Grabowski: $\varphi$ is a covering map, so you can divide the interval $[0,1)$ into $d$ intervals $I_i=[a_i,a_{i+A})$ such that the restriction $\varphi_i$ of $\varphi$ to $I_i$ is a homeomorphism to $[0,1)$. Then you can cut $\int \varphi' u\circ\varphi$ into $d$ integrals on the $I_i$, perform a change of variable using $\varphi_i$, and you get what you want. – Benoît Kloeckner Oct 22 '10 at 12:14

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.