El estudio de formas bilineales actuando en espacios de secuencias se remonta
a los trabajos pioneros de Hilbert en su famoso teorema de series dobles y a
lo largo del siglo XX ha atraído la atención de varios matemáticos como Weyl,
Topelitz, Schur, Nehari (vea \cite{nehari, schur, toe} y referencias allí
contenidas). Un resultado de gran interés en esta área proviene de la solución
de J. E. Littlewood (\cite[$1930$]{Litt}) para el problema planteado por P. J.
Daniell (vea \cite[Pág: 164-165]{Litt}): La famosa Desigualdad $4/3$ de
Littlewood, la cual afirma que existe una constante $C>0$ tal que
\[
\left( \sum_{i,j=1}^{\infty}\left\vert T\left( e_{i},e_{j}\right)
\right\vert ^{\frac{4}{3}}\right) \leq C\left\Vert T\right\Vert
\]
para toda forma bilineal continua $T:c_{0}\times c_{0}\rightarrow\mathbb{K}$.
\bigskip
Esta fue rápidamente generalizada por F. Bohnenblust y E. Hille (\cite{jfadd}) al contexto de los formas $m$-lineales continuas en $c_{0}\times \cdots\times c_{0}$ y pocos años después el propio Littlewood en compañía de G. Hardy provaron una serie de desigualdades para formas bilineales continuas
actuando en espacios $\ell_{p}\times\ell_{q}$, con $\frac{1}{p}+\frac{1}{q}%
<1$, las cuales constituirían un nuevo y prometedor tema de estudio, hoy
conocido como \textit{Desigualdades del tipo Hardy-Littlewood}.
\bigskip
Siguiendo las ideas establecidas por Hardy y Littlewood, el objetivo principal
de estudio del presente proyecto es controlar
\begin{equation}
\left( \sum_{i=1}\left( \sum_{j=1}\left\vert T\left( e_{i},e_{j}\right)
\right\vert ^{a}\right) ^{\frac{1}{a}.b}\right) ^{\frac{1}{b}} \label{sum1}%
\end{equation}
para toda forma bilineal continua $T:\ell_{p}\times\ell_{q}\rightarrow
\mathbb{K}$, con $p,q\in(1,\infty]$, tales que $\frac{1}{p}+\frac{1}{q}<1$.
Dicho de otra forma, dados $p,q\in(1,\infty]$, tales que $\frac{1}{p}+\frac
{1}{q}<1$, queremos determinar cuáles son los valores de los exponentes
$a,b>0$, para los cuales (\ref{sum1}) es finito, para toda forma bilineal
continua $T:\ell_{p}\times\ell_{q}\rightarrow\mathbb{K}$.
La búsqueda de rangos óptimos de exponentes para la sumabilidad universal de
(\ref{sum1}) ha sido llevada a cabo por métodos directos e indirectos y
algunas respuestas parciales han sido recopiladas a lo largo de los años.
Algunas de estas se pueden encontrar por ejemplo en \cite{abps, abpsisrael,
dimant, tonge}. Sin embargo, aunque estos representaron avances importantes en
la comprensión global del problema, los resultados hasta ahora demostrados
están limitados cuando se trata de determinar toda la gama de exponentes
admisibles. \bigskip
Recientemente, en \cite{aron} y \cite{psst}, hemos avanzado en la búsqueda de
rangos admisibles de exponentes para la sumabilidad de (\ref{sum1}) y en su
versión correspondiente para formas $m$-lineales. Estos avances fueron
realizados trabajando en el ambiente de la \textit{teoría multilineal de los
operadores absolutamente sumantes}, el cual será también nuestro ambiente de
estudio en el presente proyecto. Más especificamente, los resultados que
obtuvimos en \cite{aron} y \cite{psst} estan relacionados con resultados del
tipo \textit{Teorema de Inclusión} y \textit{Resultados de Coincidencia}, de
la teoría multilineal de los operadores absolutamente sumantes, los cuales
serán \ descritos más adelante en el presente proyecto. |