1
$\begingroup$

We denote $X_{T}$ the vector space of all $T$-periodic function with zero mean in $L^2$ ( we know that $X_{T}$ is spawn by $(e^{2i\pi nt/T})$). Let be $$X=X_{2\pi}+X_{3\pi}.$$ I think that $X_{2\pi}+X_{3\pi}$ is closed in $L^2(0,4\pi)$ but i can't prove it.

$\endgroup$
1
  • $\begingroup$ Yes, i used unclear notation. $\endgroup$
    – Flo140
    Commented Aug 30, 2016 at 9:09

1 Answer 1

1
$\begingroup$

I think that it is just a hyperplane $H$ defined by the condition $\int_0^{\pi}+2\int_{\pi}^{3\pi}+\int_{3\pi}^{4\pi}=0$. Obviously all functions in $X_{2\pi}$ and $X_{3\pi}$ lie in this hyperplane $H$. Choose any function $f\in H$. Choose functions $a(t),b(t)$ on $[0,\pi)$ so that $f(t+3\pi)-b(t)=f(t)-a(t)$ on $[0,\pi)$ and $\int_0^\pi (a+b)=0$. Let $$ u(t)=\begin{cases}a(t),t\in [0,\pi)\\b(t-\pi),t\in [\pi,2\pi)\end{cases} $$ define a function from $X_{2\pi}$, then $v(t)=f(t)-u(t)$ is $3\pi$-periodic and belongs to $X_{3\pi}$ due to $f\in H$.

$\endgroup$
0

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .