Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

For $a \in \mathbb{R}^N\setminus\{0\}, N \ge 2$, and $\lambda \in \mathbb{R}$ let $$ X_{\lambda,a}=\{u(\cdot+\lambda a):\, u(x)=u(|x|) \in W^{1,2}(\mathbb{R}^N)\}. $$ Denote by $X_a$ the closure of the direct sum: $$ \bigoplus_{\lambda \in \mathbb{R}}X_{\lambda,a}. $$ Question: Is $X_a$ a proper subspace of $W^{1,2}(\mathbb{R}^N)$?

share|improve this question
    
Won't elements in this subspace have radial symmetry around the line in the direction of $a$? –  Christopher A. Wong Jan 17 '12 at 21:24
add comment

1 Answer

Yes, all functions in $X_a$ are still symmetric wrto the line generated by $a$. And all traces of these functions on the affine hyperplanes orthogonal to $a$ are radially symmetric in dimension $N-1$.

edit. Consider any pair $x$ and $x'$ in $\mathbb{R}^N$ with $|x|=|x'|=1$ and $a\cdot x=a\cdot x'$. Then $|x-\lambda a |=|x'-\lambda a|\, ,$ so $u(x)=u(x')$ for all $\lambda$ and all $u\in X_{\lambda,a}$. And this symmetry is preserved taking the linear span and the closure: $u=u\circ R$ holds for any $u\in X_a$ for any orthogonal $R$ that fixes $a\, .$

share|improve this answer
    
Thanks! Could you please give an idea of the proof? –  Mercy Jan 17 '12 at 21:30
    
Imagine it geometrically. If you're summing these symmetric functions, they preserve their symmetry around the line parallel to $a$. –  Christopher A. Wong Jan 17 '12 at 21:46
add comment

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.