1

I need to find a sequence for real $p>1$ so it is in $l^p$ but not in any of the space $l^q$ with $1 \leq q <p$.

I tried the sequence $(1/n)^{1/q}$ which is in $l^p\setminus l^q$. However, this depends on $q$. I need one sequence that works for all $q<p$.

George
  • 390
  • 2
    Can you share what you've tried? Perhaps start with a simple example: Find an $\ell^{\infty}$ sequence that this not $\ell^1$. Then find an $\ell^2$ sequence that is not $\ell^1$. This is a standard result discussed in many functional or real analysis books. –  Jan 17 '16 at 18:15
  • http://math.stackexchange.com/questions/480807/question-about-sum-of-lp-spaces/480843#480843 – Jochen Jan 18 '16 at 12:56

2 Answers2

2

Hint: Think about

$$\sum_{n=2}^{\infty}\frac{1}{n^a (\ln)^b}$$

for $a, b> 0.$ This diverges for all $a, 0< a <1,$ but converges for $a= 1,b>1.$

zhw.
  • 105,693
2

Consider that if $a_n<p$ for each $n$ with $\lim_{n\to \infty}a_n=0$, and $x=(x_n)_{n\in N}=(n^{-1/(p-a_n)})_{n\in N}$ then $x\notin l_q$ for any $q<p.$ I tried putting $(x_n)^p=n^{-1}(\log n)^{-2}$ for all sufficienly large $n$, to get $x\in lp.$ For $n>1$, I got $a_n=p y_n/(1+y_n)$ where $y_n=2(\log (\log n))/\log n.$ And $n\geq 4\implies a_n<p.$ So for $1<p<\infty$ we have $\cup_{1\leq q<p}l_q\ne l_p.$

DanielWainfleet
  • 57,985