-
The sharp constants in the real anisotropic Littlewood's $\boldsymbol{4 / 3}$ inequality and applications
Authors:
Nicolás Caro-Montoya,
Daniel Núñez-Alarcón,
Diana Serrano-Rodríguez
Abstract:
The real anisotropic Littlewood's $4 / 3$ inequality is an extension of a famous result obtained in 1930 by J. E. Littlewood. It asserts that, for $a , b \in ( 0 , \infty )$, the following conditions are equivalent:
$\bullet$ There is an optimal constant $\mathsf{L}_{ a , b }^{ \mathbb{R} } \in [ 1 , \infty )$ such that
\[ \Biggl ( \, \sum_{ k = 1 }^{ \infty } \biggl ( \, \sum_{ j = 1 }^{ \inf…
▽ More
The real anisotropic Littlewood's $4 / 3$ inequality is an extension of a famous result obtained in 1930 by J. E. Littlewood. It asserts that, for $a , b \in ( 0 , \infty )$, the following conditions are equivalent:
$\bullet$ There is an optimal constant $\mathsf{L}_{ a , b }^{ \mathbb{R} } \in [ 1 , \infty )$ such that
\[ \Biggl ( \, \sum_{ k = 1 }^{ \infty } \biggl ( \, \sum_{ j = 1 }^{ \infty } \bigl \lvert A \bigl ( \boldsymbol{e}^{ (k) } , \boldsymbol{e}^{ (j) } \bigr ) \bigr \rvert^a \biggr )^{ \frac{b}{a} } \Biggr )^{ \frac{1}{b} } \leq \mathsf{L}_{ a , b }^{ \mathbb{R} } \cdot \lVert A \rVert \]
for every continuous bilinear form $A \colon c_0 \times c_0 \to \mathbb{R}$.
$\bullet$ The values $a , b$ satisfy $a , b \geq 1$ and $\frac{1}{a} + \frac{1}{b} \leq \frac{3}{2}$.
Several authors have obtained the values of $\mathsf{L}_{ a , b }^{ \mathbb{R} }$ for diverse pairs $( a , b )$. In this paper we provide the complete list of such optimal values, as well as new estimates for $\mathsf{L}_{ a , b }^{ \mathbb{C} }$ (the analog for continuous $\mathbb{C}$-bilinear forms), which are exact in several cases. As an application we prove, in terms of the values $\mathsf{L}_{ 1 , r }^{ \mathbb{C} }$, a variant of Khinchin's inequality for Steinhaus variables, and we determine all the optimal $( q , s )$-cotype constants of the spaces $\ell_1 ( \mathbb{K} )$ (with $\mathbb{K} = \mathbb{R}$ or $\mathbb{C}$) in terms of the values $\mathsf{L}_{ 1 , q }^{ \mathbb{R} }$.
△ Less
Submitted 24 September, 2024; v1 submitted 9 July, 2024;
originally announced July 2024.
-
Unified Grothendieck's and Kwapień's theorems for multilinear operators
Authors:
Daniel Núñez-Alarcón,
Joedson Santos,
Diana Serrano-Rodríguez
Abstract:
Kwapień's theorem asserts that every continuous linear operator from $\ell_{1}$ to $\ell_{p}$ is absolutely $\left( r,1\right) $-summing for $1/r=1-\left\vert 1/p-1/2\right\vert .$ When $p=2$ it recovers the famous Grothendieck's theorem. In this paper investigate multilinear variants of these theorems and related issues. Among other results we present a unified version of Kwapień's and Grothendie…
▽ More
Kwapień's theorem asserts that every continuous linear operator from $\ell_{1}$ to $\ell_{p}$ is absolutely $\left( r,1\right) $-summing for $1/r=1-\left\vert 1/p-1/2\right\vert .$ When $p=2$ it recovers the famous Grothendieck's theorem. In this paper investigate multilinear variants of these theorems and related issues. Among other results we present a unified version of Kwapień's and Grothendieck's results that encompasses the cases of multiple summing and absolutely summing multilinear operators.
△ Less
Submitted 9 February, 2022;
originally announced February 2022.
-
The Orlicz inequality for multilinear forms
Authors:
D. Núñez-Alarcón,
D. Pellegrino,
D. Serrano-Rodríguez
Abstract:
The Orlicz $\left( \ell_{2},\ell_{1}\right) $-mixed inequality states that $$ \left( \sum_{j_{1}=1}^{n}\left( \sum_{j_{2}=1}^{n}\left\vert A(e_{j_{1} },e_{j_{2}})\right\vert \right) ^{2}\right) ^{\frac{1}{2}}\leq\sqrt {2}\left\Vert A\right\Vert $$ for all bilinear forms $A:\mathbb{K}^{n}\times\mathbb{K}^{n}\rightarrow \mathbb{K}$ and all positive integers $n$, where $\mathbb{K}^{n}$ denotes…
▽ More
The Orlicz $\left( \ell_{2},\ell_{1}\right) $-mixed inequality states that $$ \left( \sum_{j_{1}=1}^{n}\left( \sum_{j_{2}=1}^{n}\left\vert A(e_{j_{1} },e_{j_{2}})\right\vert \right) ^{2}\right) ^{\frac{1}{2}}\leq\sqrt {2}\left\Vert A\right\Vert $$ for all bilinear forms $A:\mathbb{K}^{n}\times\mathbb{K}^{n}\rightarrow \mathbb{K}$ and all positive integers $n$, where $\mathbb{K}^{n}$ denotes $\mathbb{R}^{n}$ or $\mathbb{C}^{n}$ endowed with the supremum norm. In this paper we extend this inequality to multilinear forms, with $\mathbb{K}^{n}$ endowed with $\ell_{p}$ norms for all $p\in\lbrack1,\infty].$
△ Less
Submitted 30 June, 2020;
originally announced July 2020.
-
Super-critical Hardy--Littlewood inequalities for multilinear forms
Authors:
D. Nunez-Alarcon,
D. Paulino,
D. Pellegrino
Abstract:
The multilinear Hardy--Littlewood inequalities provide estimates for the sum of the coefficients of multilinear forms $T:\ell_{p_{1}}^{n}\times\cdots \times\ell_{p_{m}}^{n}\rightarrow\mathbb{R}$ (or $\mathbb{C}$) when $1/p_{1}+\cdots+1/p_{m}<1.$ In this paper we investigate the critical and super-critical cases; i.e., when $1/p_{1}+\cdots+1/p_{m}\geq1.$
The multilinear Hardy--Littlewood inequalities provide estimates for the sum of the coefficients of multilinear forms $T:\ell_{p_{1}}^{n}\times\cdots \times\ell_{p_{m}}^{n}\rightarrow\mathbb{R}$ (or $\mathbb{C}$) when $1/p_{1}+\cdots+1/p_{m}<1.$ In this paper we investigate the critical and super-critical cases; i.e., when $1/p_{1}+\cdots+1/p_{m}\geq1.$
△ Less
Submitted 20 February, 2020;
originally announced February 2020.
-
Optimal constants of classical inequalities in complex sequence spaces
Authors:
Wasthenny Cavalcante,
Daniel Núñez-Alarcón,
Daniel Pellegrino,
Pilar Rueda
Abstract:
In this paper we obtain the optimal constants of some classical inequalities, such as the multiple Khinchine inequality for Steinhaus variables and the mixed Littlewood inequality for complex scalars.
In this paper we obtain the optimal constants of some classical inequalities, such as the multiple Khinchine inequality for Steinhaus variables and the mixed Littlewood inequality for complex scalars.
△ Less
Submitted 21 December, 2019;
originally announced December 2019.
-
The best constants in the Multiple Khintchine Inequality
Authors:
Daniel Núñez-Alarcón,
Diana M. Serrano-Rodríguez
Abstract:
In this work we provide the best constants of the multiple Khintchine inequality. This allows us, among other results, to obtain the best constants of the mixed $\left( \ell_{\frac{p}{p-1}},\ell_{2}\right) $-Littlewood inequality, thus ending completely a work started by Pellegrino in \cite{pell}.
In this work we provide the best constants of the multiple Khintchine inequality. This allows us, among other results, to obtain the best constants of the mixed $\left( \ell_{\frac{p}{p-1}},\ell_{2}\right) $-Littlewood inequality, thus ending completely a work started by Pellegrino in \cite{pell}.
△ Less
Submitted 24 February, 2018; v1 submitted 4 April, 2017;
originally announced April 2017.
-
Optimal constants for a mixed Littlewood type inequality
Authors:
Tony Nogueira,
Daniel Núñez-Alarcón,
Daniel Pellegrino
Abstract:
For $p\in\lbrack2,\infty]$ a mixed Littlewood-type inequality asserts that there is a constant $C_{(m),p}\geq1$ such that \[ \left( \sum_{i_{1}=1}^{\infty}\left( \sum_{i_{2},...,i_{m}=1}^{\infty }|T(e_{i_{1}},...,e_{i_{m}})|^{2}\right) ^{\frac{1}{2}\frac{p}{p-1}}\right) ^{\frac{p-1}{p}}\leq C_{(m),p}\Vert T\Vert \] for all continuous real-valued $m$-linear forms on…
▽ More
For $p\in\lbrack2,\infty]$ a mixed Littlewood-type inequality asserts that there is a constant $C_{(m),p}\geq1$ such that \[ \left( \sum_{i_{1}=1}^{\infty}\left( \sum_{i_{2},...,i_{m}=1}^{\infty }|T(e_{i_{1}},...,e_{i_{m}})|^{2}\right) ^{\frac{1}{2}\frac{p}{p-1}}\right) ^{\frac{p-1}{p}}\leq C_{(m),p}\Vert T\Vert \] for all continuous real-valued $m$-linear forms on $\ell_{p}\times c_{0} \times\dots\times c_{0}$ (when $p=\infty$, $\ell_{p}$ is replaced by $c_{0})$. We prove that for $p>2.18006$ the optimal constants $C_{(m),p}$ are $\left( 2^{\frac{1}{2}-\frac{1}{p}}\right) ^{m-1}.$ When $p=\infty,$ we recover the best constants of the mixed $\left( \ell_{1},\ell_{2}\right) $-Littlewood inequality.
△ Less
Submitted 18 July, 2016; v1 submitted 21 April, 2016;
originally announced April 2016.
-
Optimal exponents for Hardy--Littlewood inequalities for $m$-linear operators
Authors:
R. M. Aron,
D. Núñez-Alarcón,
D. Pellegrino,
D. M. Serrano-Rodríguez
Abstract:
The Hardy--Littlewood inequalities on $\ell _{p}$ spaces provide optimal exponents for some classes of inequalities for bilinear forms on $\ell _{p}$ spaces. In this paper we investigate in detail the exponents involved in Hardy--Littlewood type inequalities and provide several optimal results that were not achieved by the previous approaches. Our first main result asserts that for…
▽ More
The Hardy--Littlewood inequalities on $\ell _{p}$ spaces provide optimal exponents for some classes of inequalities for bilinear forms on $\ell _{p}$ spaces. In this paper we investigate in detail the exponents involved in Hardy--Littlewood type inequalities and provide several optimal results that were not achieved by the previous approaches. Our first main result asserts that for $q_{1},...,q_{m}>0$ and an infinite-dimensional Banach space $Y$ attaining its cotype $\cot Y$, if \begin{equation*} \frac{1}{p_{1}}+...+\frac{1}{p_{m}}<\frac{1}{\cot Y}, \end{equation*} then the following assertions are equivalent:
(a) There is a constant $C_{p_{1},...,p_{m}}^{Y}\geq 1$ such that \begin{equation*} \left( \sum_{j_{1}=1}^{\infty }\left( \sum_{j_{2}=1}^{\infty }\cdots \left( \sum_{j_{m}=1}^{\infty }\left\Vert A(e_{j_{1}},...,e_{j_{m}})\right\Vert ^{q_{m}}\right) ^{\frac{q_{m-1}}{q_{m}}}\cdots \right) ^{\frac{q_{1}}{q_{2}} }\right) ^{\frac{1}{q_{1}}}\leq C_{p_{1},...,p_{m}}^{Y}\left\Vert A\right\Vert \end{equation*} for all continuous $m-$linear operators $A:\ell _{p_{1}}\times \cdots \times \ell _{p_{m}}\rightarrow Y.$
(b) The exponents $q_{1},...,q_{m}$ satisfy \begin{equation*} q_{1}\geq λ_{m,\cot Y}^{p_{1},...,p_{m}},q_{2}\geq λ_{m-1,\cot Y}^{p_{2},...,p_{m}},...,q_{m}\geq λ_{1,\cot Y}^{p_{m}}, \end{equation*} where, for $k=1,...,m,$ \begin{equation*} λ_{m-k+1,\cot Y}^{p_{k},...,p_{m}}:=\frac{\cot Y}{1-\left( \frac{1}{ p_{k}}+...+\frac{1}{p_{m}}\right) \cot Y}. \end{equation*} As an application of the above result we generalize to the $m$-linear setting one of the classical Hardy--Littlewood inequalities for bilinear forms. Our result is sharp in a very strong sense: the constants and exponents are optimal, even if we consider mixed sums.
△ Less
Submitted 27 June, 2016; v1 submitted 30 January, 2016;
originally announced February 2016.
-
Some applications of the Hölder inequality for mixed sums
Authors:
Nacib Albuquerque,
Tony Nogueira,
Daniel Nunez-Alarcon,
Daniel Pellegrino,
Pilar Rueda
Abstract:
We use the Hölder inequality for mixed exponents to prove some optimal variants of the generalized Hardy--Littlewood inequality for $m$-linear forms on $\ell _{p}$ spaces with mixed exponents. Our results extend recent results of Araujo et al.
We use the Hölder inequality for mixed exponents to prove some optimal variants of the generalized Hardy--Littlewood inequality for $m$-linear forms on $\ell _{p}$ spaces with mixed exponents. Our results extend recent results of Araujo et al.
△ Less
Submitted 4 October, 2016; v1 submitted 30 September, 2015;
originally announced September 2015.
-
The optimal constants for the real Hardy--Littlewood inequality for bilinear forms on $c_{0}\times\ell_{p}$
Authors:
Daniel Nunez-Alarcon,
Daniel Pellegrino
Abstract:
For $p,q\geq2$, the Hardy and Littlewood inequalities for real bilinear forms, in its unified formulation, assert that there is a constant $C_{p,q}\geq1$ such that \begin{equation} \left(\sum\limits_{j=1}^{\infty}\left(\sum\limits_{k=1}^{\infty}\left\vert A(e_{j},e_{k})\right\vert ^{2}\right) ^{\fracλ{2}}\right) ^{\frac {1}λ}\leq C_{p,q}\left\Vert A\right\Vert, \end{equation} with sharp exponent…
▽ More
For $p,q\geq2$, the Hardy and Littlewood inequalities for real bilinear forms, in its unified formulation, assert that there is a constant $C_{p,q}\geq1$ such that \begin{equation} \left(\sum\limits_{j=1}^{\infty}\left(\sum\limits_{k=1}^{\infty}\left\vert A(e_{j},e_{k})\right\vert ^{2}\right) ^{\fracλ{2}}\right) ^{\frac {1}λ}\leq C_{p,q}\left\Vert A\right\Vert, \end{equation} with sharp exponent $λ=\frac{pq}{pq-p-q},$ for all continuous bilinear forms $A:\ell_{p}\times\ell_{q}\rightarrow\mathbb{R}$ (as usual, $c_{0}$ replaces $\ell_{p}$ or $\ell_{q}$ when $p=\infty$ or $q=\infty$)$.$ In this note, among other results, we show that the sharp constants $C_{p,\infty}$ are precisely \[ C_{p,\infty}=2^{\frac{1}{2}-\frac{1}{p}}% \] whenever $p\geq\frac{p_{0}}{p_{0}-1}\approx2.18.$ The number $p_{0}\in(1,2)$ is the unique real number satisfying \[ Γ\left(\frac{p_{0}+1}{2}\right) =\frac{\sqrtπ}{2}. \] In the remaining case, i.e., for $2<p<\frac{p_{0}}{p_{0}-1}\approx 2.18,$ we obtain almost optimal constants, with better precision than $4\cdot10^{-4}$. This last result extends a result from Diniz et al. giving the sharp constant of the famous Littlewood's $4/3$ theorem for real scalars.
△ Less
Submitted 18 July, 2016; v1 submitted 10 August, 2015;
originally announced August 2015.
-
Remarks on the Hardy--Littlewood inequality for $m$-homogeneous polynomials and $m$-linear forms
Authors:
W. Cavalcante,
D. Nunez-Alarcon,
D. Pellegrino
Abstract:
The Hardy--Littlewood inequality for $m$-homogeneous polynomials on $\ell_{p}$ spaces is valid for $p>m.$ In this note, among other results, we present an optimal version of this inequality for the case $p=m.$ We also show that the optimal constant, when restricted to the case of $2$-homogeneous polynomials on $\ell_{2}(\mathbb{R}^{2})$ is precisely $2$. In an Appendix we justify why, curiously, t…
▽ More
The Hardy--Littlewood inequality for $m$-homogeneous polynomials on $\ell_{p}$ spaces is valid for $p>m.$ In this note, among other results, we present an optimal version of this inequality for the case $p=m.$ We also show that the optimal constant, when restricted to the case of $2$-homogeneous polynomials on $\ell_{2}(\mathbb{R}^{2})$ is precisely $2$. In an Appendix we justify why, curiously, the optimal exponents of the Hardy--Littlewood inequality do not behave smoothly.
△ Less
Submitted 26 August, 2015; v1 submitted 22 July, 2015;
originally announced July 2015.
-
The optimal Hardy--Littlewood constants for $2$-homogeneous polynomials on $\ell_{p}(\mathbb{R}^{2})$ for $2<p\leq4$ are $2^{2/p}$
Authors:
W. Cavalcante,
D. Nunez-Alarcon,
D. Pellegrino
Abstract:
We show that the optimal constants for the Hardy--Littlewood inequalities for $2$-homogeneous polynomials on $\ell_{p}(\mathbb{R}^{2})$ are precisely $2^{2/p}$ for all $2<p<4.$
We show that the optimal constants for the Hardy--Littlewood inequalities for $2$-homogeneous polynomials on $\ell_{p}(\mathbb{R}^{2})$ are precisely $2^{2/p}$ for all $2<p<4.$
△ Less
Submitted 17 November, 2015; v1 submitted 10 July, 2015;
originally announced July 2015.
-
New lower bounds for the constants in the real polynomial Hardy--Littlewood inequality
Authors:
W. Cavalcante,
D. Nunez-Alarcon,
D. Pellegrino
Abstract:
In this short note we obtain new lower bounds for the constants of the real Hardy--Littlewood inequality for $m$-linear forms on $\ell_{p}^{2}$ spaces when $p=2m$ and for certain values of $m$. The real and complex cases for the general case $\ell_{p}^{n}$ were recently investigated by G. Araujo et al. When $n=2$ our results improve the best known estimates for these constants.
In this short note we obtain new lower bounds for the constants of the real Hardy--Littlewood inequality for $m$-linear forms on $\ell_{p}^{2}$ spaces when $p=2m$ and for certain values of $m$. The real and complex cases for the general case $\ell_{p}^{n}$ were recently investigated by G. Araujo et al. When $n=2$ our results improve the best known estimates for these constants.
△ Less
Submitted 5 June, 2015; v1 submitted 30 May, 2015;
originally announced June 2015.
-
Polynomial and multilinear Hardy--Littlewood inequalities: analytical and numerical approaches
Authors:
J. Campos,
W. Cavalcante,
V. Fávaro,
D. Nuñez-Alarcón,
D. Pellegrino,
D. M. Serrano-Rodríguez
Abstract:
We investigate the growth of the polynomial and multilinear Hardy--Littlewood inequalities. Analytical and numerical approaches are performed and, in particular, among other results, we show that a simple application of the best known constants of the Clarkson inequality improves a recent result of Araujo et al. We also obtain the optimal constants of the generalized Hardy--Littlewood inequality i…
▽ More
We investigate the growth of the polynomial and multilinear Hardy--Littlewood inequalities. Analytical and numerical approaches are performed and, in particular, among other results, we show that a simple application of the best known constants of the Clarkson inequality improves a recent result of Araujo et al. We also obtain the optimal constants of the generalized Hardy--Littlewood inequality in some special cases.
△ Less
Submitted 20 April, 2015; v1 submitted 2 March, 2015;
originally announced March 2015.
-
On summability of multilinear operators and applications
Authors:
N. Albuquerque,
G. Araujo,
W. V. Cavalcante,
T. Nogueira,
D. Nunez-Alarcon,
D. Pellegrino,
P. Rueda
Abstract:
This paper has two clear motivations: a technical and a practical. The technical motivation unifies in a single and crystal clear formulation a huge family of inequalities that have been produced separately in the last 90 years in different contexts. But we do not just join inequalities; our method also create a family of inequalities invisible by previous approaches. The practical motivation is t…
▽ More
This paper has two clear motivations: a technical and a practical. The technical motivation unifies in a single and crystal clear formulation a huge family of inequalities that have been produced separately in the last 90 years in different contexts. But we do not just join inequalities; our method also create a family of inequalities invisible by previous approaches. The practical motivation is to show that our deeper approach has strength to attack various problems. We provide new applications of our family of inequalities, continuing the recent work by Maia et al., that, by using our main theorem, substantially improved an inequality of Carando et al. which seemed impossible to be achieved by their original method.
△ Less
Submitted 2 April, 2018; v1 submitted 23 September, 2014;
originally announced September 2014.
-
On the polynomial Hardy--Littlewood inequality
Authors:
G. Araujo,
P. Jimenez-Rodriguez,
G. Munoz-Fernandez,
D. Nunez-Alarcon,
D. Pellegrino,
J. B. Seoane-Sepulveda,
D. M. Serrano-Rodriguez
Abstract:
We investigate the growth of the constants of the polynomial Hardy-Littlewood inequality.
We investigate the growth of the constants of the polynomial Hardy-Littlewood inequality.
△ Less
Submitted 19 June, 2014; v1 submitted 8 June, 2014;
originally announced June 2014.
-
A subexponential vector-valued Bohnenblust-Hille type inequality
Authors:
N. Albuquerque,
D. Núñez-Alarcón,
D. M. Serrano-Rodríguez
Abstract:
Bayart, Pellegrino and Seoane recently proved that the polynomial Bohnenblust--Hille inequality for complex scalars is subexponential. We show that a vector valued polynomial Bohnenblust-Hille inequality on complex Banach lattices is also subexponential for some special cases. Our main result result recovers the best known constants of the classical polynomial inequality provided in \cite{bps}.
Bayart, Pellegrino and Seoane recently proved that the polynomial Bohnenblust--Hille inequality for complex scalars is subexponential. We show that a vector valued polynomial Bohnenblust-Hille inequality on complex Banach lattices is also subexponential for some special cases. Our main result result recovers the best known constants of the classical polynomial inequality provided in \cite{bps}.
△ Less
Submitted 12 May, 2015; v1 submitted 6 May, 2014;
originally announced May 2014.
-
Absolutely summing multilinear operators via interpolation
Authors:
N. Albuquerque,
D. Núñez-Alarcón,
J. Santos,
D. M. Serrano-Rodríguez
Abstract:
We use an interpolative technique from \cite{abps} to introduce the notion of multiple $N$-separately summing operators. Our approach extends and unifies some recent results; for instance we recover the best known estimates of the multilinear Bohnenblust-Hille constants due to F. Bayart, D. Pellegrino and J. Seoane-Sepúlveda. More precisely, as a consequence of our main result, for $1\leq t<2$ and…
▽ More
We use an interpolative technique from \cite{abps} to introduce the notion of multiple $N$-separately summing operators. Our approach extends and unifies some recent results; for instance we recover the best known estimates of the multilinear Bohnenblust-Hille constants due to F. Bayart, D. Pellegrino and J. Seoane-Sepúlveda. More precisely, as a consequence of our main result, for $1\leq t<2$ and $m\in \mathbb{N}$ we prove that $$ \left(\sum_{i_{1},\dots,i_{m}=1}^{\infty}\left\vert U\left(e_{i_{1}},\dots,e_{i_{m}}\right) \right\vert^{\frac{2tm}{2+(m-1)t}}\right)^{\frac{2+(m-1)t}{2tm}} \leq \left[\prod_{j=2}^{m}Γ\left(2-\frac{2-t}{jt-2t+2}\right) ^{\frac{t(j-2)+2}{2t-2jt}}\right] \left\Vert U\right\Vert $$ for all complex $m$-linear forms $U:c_{0}\times \cdot \cdot \cdot \times c_{0}\rightarrow \mathbb{C}$.
△ Less
Submitted 30 June, 2015; v1 submitted 19 April, 2014;
originally announced April 2014.
-
On the multilinear Bohnenblust--Hille constants: complex versus real case
Authors:
J. R. Campos,
D. Nunez-Alarcon,
D. Pellegrino,
J. B. Seoane-Sepulveda,
D. M. Serrano-Ridriguez
Abstract:
The results of this note arise a rupture between the behavior of the real and complex best known constants for the multilinear Bohnenblust--Hille inequality; in one side, for real scalars, we show that new upper bounds for the real Bohnenblust--Hille inequality (the best up to now) can be obtained via a somewhat "chaotic" combinatorial approach, while in the complex case the combinatorial approach…
▽ More
The results of this note arise a rupture between the behavior of the real and complex best known constants for the multilinear Bohnenblust--Hille inequality; in one side, for real scalars, we show that new upper bounds for the real Bohnenblust--Hille inequality (the best up to now) can be obtained via a somewhat "chaotic" combinatorial approach, while in the complex case the combinatorial approach giving the best known constants seems to be fully controlled. We believe that the understanding of this fact is a challenging problem that may shed some new light to the subject. As a byproduct of our results we present new estimates for the constants of the Bohnenblust--Hille inequality as well as new closed formulas.
△ Less
Submitted 7 October, 2013; v1 submitted 13 February, 2013;
originally announced February 2013.
-
On the optimal multilinear Bohnenblust--Hille constants
Authors:
D. Nunez-Alarcon,
D. Pellegrino,
J. B. Seoane-Sepulveda,
D. M. Serrano-Rodriguez
Abstract:
The upper estimates for the optimal constants of the multilinear Bohnenblust--Hille inequality obtained in [J. Funct. Anal. 264 (2013), 429--463] are here improved to: {0.1cm}
{enumerate} For real scalars: $K_{n}\leq\sqrt{2}(n-1)^{0.526322}$. For complex scalars: $K_{n}\leq\frac{2}{\sqrtπ}(n-1)^{0.304975}$.{enumerate} {0.1cm} \noindent We also obtain sharper estimates for higher values of $n$. F…
▽ More
The upper estimates for the optimal constants of the multilinear Bohnenblust--Hille inequality obtained in [J. Funct. Anal. 264 (2013), 429--463] are here improved to: {0.1cm}
{enumerate} For real scalars: $K_{n}\leq\sqrt{2}(n-1)^{0.526322}$. For complex scalars: $K_{n}\leq\frac{2}{\sqrtπ}(n-1)^{0.304975}$.{enumerate} {0.1cm} \noindent We also obtain sharper estimates for higher values of $n$. For instance, \[ K_{n}<1.30379(n-1) ^{0.526322}\] for real scalars and $n>2^{8}$ and \[ K_{n}<0.99137(n-1) ^{0.304975}\] for complex scalars and $n > 2^{15}.$
△ Less
Submitted 3 February, 2013;
originally announced February 2013.
-
A note on the polynomial Bohnenblust-Hille inequality
Authors:
Daniel Nuñez-Alarcón
Abstract:
Recently, in paper published in the Annals of Mathematics, it was shown that the Bohnenblust-Hille inequality for (complex) homogeneous polynomials is hypercontractive. However, and to the best of our knowledge, there is no result providing (nontrivial) lower bounds for the optimal constants for n-homogeneous polynomials (n > 2). In this short note we provide lower bounds for these famous constant…
▽ More
Recently, in paper published in the Annals of Mathematics, it was shown that the Bohnenblust-Hille inequality for (complex) homogeneous polynomials is hypercontractive. However, and to the best of our knowledge, there is no result providing (nontrivial) lower bounds for the optimal constants for n-homogeneous polynomials (n > 2). In this short note we provide lower bounds for these famous constants.
△ Less
Submitted 30 August, 2012;
originally announced August 2012.
-
A simple proof that the power $\frac{2m}{m+1}$ in the Bohnenblust--Hille inequalities is sharp
Authors:
Daniel Nuñez-Alarcón,
Daniel Pellegrino
Abstract:
The power $\frac{2m}{m+1}$ in the polynomial (and multilinear) Bohnenblust--Hille inequality is optimal. This result is well-known but its proof highly nontrivial. In this note we present a quite simple proof of this fact.
The power $\frac{2m}{m+1}$ in the polynomial (and multilinear) Bohnenblust--Hille inequality is optimal. This result is well-known but its proof highly nontrivial. In this note we present a quite simple proof of this fact.
△ Less
Submitted 11 July, 2012;
originally announced July 2012.
-
There exist multilinear Bohnenblust-Hille constants $(C_{n})_{n=1}^{\infty}$ with $\displaystyle \lim_{n\rightarrow \infty}(C_{n+1}-C_{n}) =0.$
Authors:
Daniel Nunez-Alarcon,
Daniel Pellegrino,
Juan Seoane-Sepulveda,
Diana M. Serrano-Rodriguez
Abstract:
The $n$-linear Bohnenblust-Hille inequality asserts that there is a constant $C_{n}\in\lbrack1,\infty)$ such that the $\ell_{\frac{2n}{n+1}}$-norm of $(U(e_{i_{^{1}}},...,e_{i_{n}}))_{i_{1},...i_{n}=1}^{N}$is bounded above by $C_{n}$ times the supremum norm of $U,$ regardless of the $n$-linear form $U:\mathbb{C}^{N}\times...\times\mathbb{C}^{N}% \rightarrow\mathbb{C}$ and the positive integer $N$…
▽ More
The $n$-linear Bohnenblust-Hille inequality asserts that there is a constant $C_{n}\in\lbrack1,\infty)$ such that the $\ell_{\frac{2n}{n+1}}$-norm of $(U(e_{i_{^{1}}},...,e_{i_{n}}))_{i_{1},...i_{n}=1}^{N}$is bounded above by $C_{n}$ times the supremum norm of $U,$ regardless of the $n$-linear form $U:\mathbb{C}^{N}\times...\times\mathbb{C}^{N}% \rightarrow\mathbb{C}$ and the positive integer $N$ (the same holds for real scalars). The power $2n/(n+1)$ is sharp but the values and asymptotic behavior of the optimal constants remain a mystery. The first estimates for these constants had exponential growth. Very recently, a new panorama emerged and the importance, for many applications, of the knowledge of the optimal constants (denoted by $(K_{n})_{n=1}^{\infty}$) was stressed. The title of this paper is part of our Fundamental Lemma, one of the novelties presented here. It brings surprising new (and precise) information on the optimal constants (for both real and complex scalars). For instance, [K_{n+1}-K_{n}<\frac{0.87}{n^{0.473}}] for infinitely many $n$'s. In the case of complex scalars we present a curious formula, where $π,e$ and the famous Euler--Mascheroni constant $γ$ appear together: [K_{n}<1+(\frac{4}{\sqrtπ}(1-e^{γ/2-1/2}) {\sum\limits_{j=1}^{n-1}}j^{^{\log_{2}(e^{-γ/2+1/2}) -1}%})] for all $n\geq2$. Numerically, the above formula shows a surprising low growth, [K_{n}<1.41(n-1)^{0.305}-0.04] for every integer $n \geq2$. We also provide a brief discussion on the interplay between the Kahane-Salem-Zygmund and the Bohnenblust-Hille (polynomial and multilinear) inequalities.
△ Less
Submitted 14 September, 2012; v1 submitted 30 June, 2012;
originally announced July 2012.
-
On the growth of the optimal constants of the multilinear Bohnenblust--Hille inequality
Authors:
Daniel Nuñez-Alarcón,
Daniel Pellegrino
Abstract:
Let $(K_{n})_{n=1}^{\infty}$ be the optimal constants satisfying the multilinear (real or complex) Bohnenblust--Hille inequality. The exact values of the constants $K_{n}$ are still waiting to be discovered since eighty years ago; recently, it was proved that $(K_{n})_{n=1}^{\infty}$ has a subexponential growth. In this note we go a step further and address the following question: Is it true that…
▽ More
Let $(K_{n})_{n=1}^{\infty}$ be the optimal constants satisfying the multilinear (real or complex) Bohnenblust--Hille inequality. The exact values of the constants $K_{n}$ are still waiting to be discovered since eighty years ago; recently, it was proved that $(K_{n})_{n=1}^{\infty}$ has a subexponential growth. In this note we go a step further and address the following question: Is it true that \[ \lim_{n\rightarrow\infty}(K_{n}-K_{n-1}) =0? \] Our main result is a Dichotomy Theorem for the constants satisfying the Bohnenblust--Hille inequality; in particular we show that the answer to the above problem is essentially positive in a sense that will be clear along the note. Another consequence of the dichotomy proved in this note is that $(K_{n})_{n=1}^{\infty}$ has a kind of subpolynomial growth: if $p(n)$ is any non-constant polynomial, then $K_{n}$ \textit{is} \textit{not} asymptotically equal to $p(n).$ Moreover, if \[ q>\log_{2}(\frac{e^{1-1/2γ}}{\sqrt{2}}) \approx0.526, \] then \[ K_{n}\nsim n^{q}. \]
△ Less
Submitted 10 May, 2012;
originally announced May 2012.
-
On the Bohnenblust-Hille inequality and a variant of Littlewood's 4/3 inequality
Authors:
D. Nunez-Alarcon,
D. Pellegrino,
J. B. Seoane-Sepulveda
Abstract:
The search for sharp constants for inequalities of the type Littlewood's 4/3 and Bohnenblust-Hille, besides its pure mathematical interest, has shown unexpected applications in many different fields, such as Analytic Number Theory, Quantum Information Theory, or (for instance) in deep results on the $n$-dimensional Bohr radius. The recent estimates obtained for the multilinear Bohnenblust-Hille in…
▽ More
The search for sharp constants for inequalities of the type Littlewood's 4/3 and Bohnenblust-Hille, besides its pure mathematical interest, has shown unexpected applications in many different fields, such as Analytic Number Theory, Quantum Information Theory, or (for instance) in deep results on the $n$-dimensional Bohr radius. The recent estimates obtained for the multilinear Bohnenblust-Hille inequality (in the case of real scalars) have been recently used, as a crucial step, by A. Montanaro in order to solve problems in the theory of quantum XOR games. Here, among other results, we obtain new upper bounds for the Bohnenblust-Hille constants in the case of complex scalars. For bilinear forms, we obtain the optimal constants of variants of Littlewood's 4/3 inequality (in the case of real scalars) when the exponent 4/3 is replaced by any $r\geq4/3.$ As a consequence of our estimates we show that the optimal constants for the real case are always strictly greater than the constants for the complex case.
△ Less
Submitted 1 October, 2012; v1 submitted 14 March, 2012;
originally announced March 2012.
