[In what follows 00= 1 by convention.]
Is there some closed infinite dimensional linear subspace F of L2(0,1)
such that left|fright|left|fright| belongs to L2(0,1)
for all f in F ?
This problem is related to the Erdos - Shapiro - Shields paper [ESS].
From this paper it follows that the answer is negative if left|fright|left|fright| is replaced by left|fright|left|fright|2.
Some thoughts. Suppose that such an F exists, and take some p>2.
Let f be in F.
Then clearly g:=(p/2)cdotf is in F, too, hence h:=left|gright|left|gright|
belongs to L2(0,1).
Next, it is easy to see that leftVertfrightVertppleq1+leftVerthrightVert22<+infty.
Therefore, F is contained in Lp(0,1) as a linear subspace
(i.e., algebraically).
Now, applying the Closed Graph Theorem to the natural linear embedding
j:(F,||.||2)rightarrowLp(0,1), it follows that j is
continuous. Consequently, the Hilbertian 2-norm and the p-norm
are equivalent on F. Moreover, it follows that F is complete
w.r.t. the p-norm, and, in turn, it is a closed subspace of Lp(0,1).
And this is true for all p>2.
No comments:
Post a Comment