# Eigenvalues for a bounded operator

## Homework Statement

Let $C$ be the composition operator on the Hilbert space $L_{2}(\mathbb{R})$ with the usual inner product. Let $f\in L_{2}(\mathbb{R})$, then $C$ is defined by

$(Cf)(x) = f(2x-1)$, $\hspace{9pt}x\in\mathbb{R}$

give a demonstration, which shows that $C$ does not have any eigenvalues.

## Homework Equations

$C$ is a unitary operator.

Let $\mathcal{F}$ denote the Fourier Transformation on $L_{2}(\mathbb{R})$, then
$(\mathcal{F}C\mathcal{F}^{\ast}f)(p) = \frac{\exp\big(-i\tfrac{1}{2}p\big)}{\sqrt{2}}\hspace{1pt}f\big(\tfrac{1}{2}p\big)$

## The Attempt at a Solution

Direct application of the eigenvalue equation of course yields Schröders equation, that is
$f(2x-1) = \lambda f(x)$

I don't have a slightest idea on how to proceed from here.

Any good suggestions are more than welcome!

RUber
Homework Helper
If C were to have any eigenvalues, they would apply to any choice of f in your space.
Consdider a function that is has the property f(0)=0 and f(-1) ##\neq## 0.
Such a function clearly exists in your space.

If C were to have any eigenvalues, they would apply to any choice of f in your space.
Consdider a function that is has the property f(0)=0 and f(-1) ##\neq## 0.
Such a function clearly exists in your space.
I still don't see how this implies that $C$ doesn't have any eigenvalues ?

I mean, does i not only show that there doesn't exist an eigenfunction having these properties?

Is this a valid argument ?
Assume that $f:\mathbb{R}\rightarrow\mathbb{R}$ is non vanishing almost everywhere and $\lambda$ is an eigenvalue of $C$, then
$f(2x-1) = \lambda f(x)$
$2f'(2x-1) = \lambda f'(x)$

For x=1 the first of the equations yields : $\hspace{3pt} f(1) = \lambda f(1) \hspace{12pt}\Rightarrow\hspace{12pt} \lambda=1$.
While the second of the equations yields : $\hspace{3pt} 2f'(1) = \lambda f'(1) \hspace{12pt}\Rightarrow\hspace{12pt} \lambda=2$.
This is obvious a contradiction, therefore $\lambda$ can't be a eigenvalue.

Of course $f$ must behave properly around $x=1$, but this is guaranteed by $f \in L_{2}(\mathbb{R})$.

Ray Vickson
Homework Helper
Dearly Missed
If C were to have any eigenvalues, they would apply to any choice of f in your space.
Consdider a function that is has the property f(0)=0 and f(-1) ##\neq## 0.
Such a function clearly exists in your space.

No, the eigenvalue equation ##f(2x-1) = \lambda f(x) \; \forall x## need apply only to an eigenfunction ##f = f_{\lambda}##.

• Wuberdall
RUber
Homework Helper
Thanks, Ray. I must have been operating without caffeine when I posted that.

LCKurtz
Homework Helper
Gold Member
But ##f\in \mathbb L^2## doesn't give you that ##f## is differentiable.

RUber
Homework Helper
LCKurtz makes a good point. The goal should be to contradict your assumptions.
As it stands, 1 is the only potential eigenvalue, as long as f(x) is defined at x=1.
So if f(x) is defined at ##x = 1+ \delta##, ##f(1+ \delta) = f(1+ 2\delta)=f(1+2^k \delta) ## for any delta and integer k .
You may be able to show that this sort of function is either the zero function (trivial) or not in ##L^2##.

Ray Vickson
Homework Helper
Dearly Missed
Thanks, Ray. I must have been operating without caffeine when I posted that.