MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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|cite|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

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|cite|improve this answer
Thanks! Could you please give an idea of the proof? – Mercy King 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

Your Answer


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.