Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Let $\phi : \mathbb R \rightarrow \mathbb R$ be a continuous function such that whenever $f_n \rightarrow f$ weakly in $L^2[0,1]$, we have $\phi\circ f_n \rightarrow \phi\circ f$ weakly in $L^2[0,1]$. I am trying to prove that $\phi$ must be an affine map, $\phi(x) = ax+b$ for some $a,b \in \mathbb R$. So far I've tried proving the contrapositive, or trying to show that $\phi'$ exists and is constant, but have had no success. Any suggestions?

share|improve this question
    
What kind of convergence in $\phi\circ f_n\to\phi\circ f$ do you mean? –  no identity Jun 14 '12 at 8:27
    
$\phi \circ f_n \rightarrow \phi\circ f$ weakly –  user15464 Jun 14 '12 at 12:30
1  
First, $\phi$ has to be such that if $f\in L^2$ then $\varphi\circ f\in L^2$. –  Davide Giraudo Jun 14 '12 at 21:30

1 Answer 1

up vote 3 down vote accepted

Suppose there exist $t,s\in\mathbb R$ such that $\phi((s+t)/2)\ne (\phi(s)+\phi(t))/2$. Let $f_n$ take the values $s$ and $t$ in an alternating fashion: for example, $f_n=s$ on $[k/2^n,(k+1)/2^n)$ if $k$ is even, and $f_n=t$ if $k$ is odd. Observe that $f_n$ converge weakly to the constant function $(s+t)/2$, while $\phi\circ f_n$ converge weakly to the constant function $(\phi(s)+\phi(t))/2$.

share|improve this answer

Your Answer

 
discard

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

Not the answer you're looking for? Browse other questions tagged or ask your own question.