Showing 1–46 of 46 results for author: Seoane-Sepúlveda, J

Geometry of homogeneous polynomials in ${\mathbb R}^2$

Authors: Domingo García, Mingu Jung, Manuel Maestre, Gustavo A. Muñoz-Fernández, Juan B. Seoane-Sepúlveda

Abstract: This work is a thorough and detailed study on the geometry of the unit sphere of certain Banach spaces of homogeneous polynomials in ${\mathbb{R}}^2$. Specifically, we provide a complete description of the unit spheres, identify the extreme points of the unit balls, derive explicit formulas for the corresponding polynomial norms, and describe the techniques required to tackle these questions. To e… ▽ More This work is a thorough and detailed study on the geometry of the unit sphere of certain Banach spaces of homogeneous polynomials in ${\mathbb{R}}^2$. Specifically, we provide a complete description of the unit spheres, identify the extreme points of the unit balls, derive explicit formulas for the corresponding polynomial norms, and describe the techniques required to tackle these questions. To enhance the comprehensiveness of this work, we complement the results and their proofs with suitable diagrams and figures. The new results presented here settle some open questions posed in the past. For the sake of completeness of this work, we briefly discuss previous known results and provide directions of research and applications of our results. △ Less

Submitted 3 August, 2024; originally announced August 2024.

Comments: 46 pages, 18 figures

New Results in Analysis of Orlicz-Lorentz spaces

Authors: Luis Bernal-González, Daniel L. Rodríguez-Vidanes, Juan B. Seoane-Sepúlveda, Hyung-Joon Tag

Abstract: In this article, we investigate the existence of closed vector subspaces (i.e.spaceability) in various nonlinear subsets of Orlicz-Lorentz spaces $Λ_{\varphi,w}$, equipped with the Luxemburg norm. If a family of Orlicz functions $(\varphi_n)_{n=1}^{\infty}$ satisfies certain order relations with respect to a given Orlicz function $\varphi$, the subset of the order-continuous subspace… ▽ More In this article, we investigate the existence of closed vector subspaces (i.e.spaceability) in various nonlinear subsets of Orlicz-Lorentz spaces $Λ_{\varphi,w}$, equipped with the Luxemburg norm. If a family of Orlicz functions $(\varphi_n)_{n=1}^{\infty}$ satisfies certain order relations with respect to a given Orlicz function $\varphi$, the subset of the order-continuous subspace $(Λ_{\varphi,w})_a$ whose elements do not belong to $\bigcup_{n=1}^{\infty}Λ_{\varphi_n,w}$ is spaceable, and even maximal-spaceable when $\varphi$ satisfies the $Δ_2$-condition. We also show that this subset is either residual or empty. In addition, sufficient conditions for this subset not being $(α, β)$-spaceable are provided. A similar analysis is also performed on the subset $Λ_{\varphi,w} \setminus (Λ_{\varphi,w})_a$ when $\varphi$ does not satisfy the $Δ_2$-condition. The comparison between different Orlicz-Lorentz spaces is characterized via the generating pairs $(\varphi,w)$. For a fixed Orlicz function that satisfies the $Δ_2^{\infty}$-condition, we provide a characterization of disjointly strictly singular inclusion operators between Orlicz-Lorentz spaces with different weights. As a consequence, there are certain subsets of Orlicz-Lorentz spaces on $[0,1]$ for which lineability problem is not valid. Moreover, various types of $(α,β)$-lineability and pointwise lineability properties on other nonlinear subsets of Orlicz-Lorentz spaces are examined. These results extend a number of previously known results in Orlicz and Lorentz spaces. △ Less

Submitted 27 May, 2024; v1 submitted 21 December, 2023; originally announced December 2023.

Comments: 38 pages

Some properties of differentiable p-adic functions

Authors: Juan Fernández-Sánchez, Saeid Maghsoudi, Daniel L. Rodríguez-Vidanes, Juan B. Seoane-Sepúlveda

Abstract: In this paper, using the tools from the lineability theory, we distinguish certain subsets of $p$-adic differentiable functions. Specifically, we show that the following sets of functions are large enough to contain an infinite dimensional algebraic structure: (i) continuously differentiable but not strictly differentiable functions, (ii) strictly differentiable functions of order $r$ but not stri… ▽ More In this paper, using the tools from the lineability theory, we distinguish certain subsets of $p$-adic differentiable functions. Specifically, we show that the following sets of functions are large enough to contain an infinite dimensional algebraic structure: (i) continuously differentiable but not strictly differentiable functions, (ii) strictly differentiable functions of order $r$ but not strictly differentiable of order $r+1$, (iii) strictly differentiable functions with zero derivative that are not Lipschitzian of any order $α>1$, (iv) differentiable functions with unbounded derivative, and (v) continuous functions that are differentiable on a full set with respect to the Haar measure but not differentiable on its complement having cardinality the continuum. △ Less

Submitted 15 April, 2022; originally announced April 2022.

Similarities and differences between real and complex Banach spaces: an overview and recent developments

Authors: M. S. Moslehian, G. A. Muñoz-Fernández, A. M. Peralta, J. B. Seoane-Sepúlveda

Abstract: There are numerous cases of discrepancies between results obtained in the setting of real Banach spaces and those obtained in the complex context. This article is a modern exposition of the subtle differences between key results and theories for complex and real Banach spaces and the corresponding linear operators between them. We deeply discuss some aspects of the complexification of real Banach… ▽ More There are numerous cases of discrepancies between results obtained in the setting of real Banach spaces and those obtained in the complex context. This article is a modern exposition of the subtle differences between key results and theories for complex and real Banach spaces and the corresponding linear operators between them. We deeply discuss some aspects of the complexification of real Banach spaces and give several examples showing how drastically different can be the behavior of real Banach spaces versus their complex counterparts. △ Less

Submitted 24 February, 2022; v1 submitted 8 July, 2021; originally announced July 2021.

Comments: In this second version we added some new materials and some new proofs for well-known results, 106 pages

Dichotomy between operators acting on finite and infinite dimensional Hilbert spaces

Authors: L. Bernal-González, M. S. Moslehian, J. B. Seoane-Sepúlveda

Abstract: In this expository article, we give several examples showing how drastically different can be the behavior of operators acting on finite versus infinite dimensional Hilbert spaces. This essay is written as in such a friendly-reader to show that the situation in the infinite dimensional setting is trickier than the finite one. In this expository article, we give several examples showing how drastically different can be the behavior of operators acting on finite versus infinite dimensional Hilbert spaces. This essay is written as in such a friendly-reader to show that the situation in the infinite dimensional setting is trickier than the finite one. △ Less

Submitted 1 March, 2022; v1 submitted 9 August, 2020; originally announced August 2020.

Comments: 11 pages, some materials are added

MSC Class: 47B02; 15A15

Multiplicative structures of hypercyclic functions for convolution operators

Authors: Luis Bernal-González, J. Alberto Conejero, George Costakis, Juan B. Seoane-Sepúlveda

Abstract: In this note, it is proved the existence of an infinitely generated multiplicative group consisting of entire functions that are, except for the constant function 1, hypercyclic with respect to the convolution operator associated to a given entire function of subexponential type. A certain stability under multiplication is also shown for compositional hypercyclicity on complex domains. In this note, it is proved the existence of an infinitely generated multiplicative group consisting of entire functions that are, except for the constant function 1, hypercyclic with respect to the convolution operator associated to a given entire function of subexponential type. A certain stability under multiplication is also shown for compositional hypercyclicity on complex domains. △ Less

Submitted 28 October, 2017; originally announced October 2017.

Comments: 12 pages

MSC Class: 46E10; 47A16; 22A05; 30E10; 30K20

On inequalities for convex functions

Authors: Luis Bernal-González, Pablo Jiménez-Rodríguez, Gustavo Adolfo Muñoz-Fernández, Juan Benigno Seoane-Sepúlveda

Abstract: We study some properties convex functions fulfill. Among the conclusions we obtain from such result, we are able to prove some nontrivial inequalities among real numbers, and we give an improvement of the reverse triangle inequality in the particular case where three aligned points are considered in a normed space. We study some properties convex functions fulfill. Among the conclusions we obtain from such result, we are able to prove some nontrivial inequalities among real numbers, and we give an improvement of the reverse triangle inequality in the particular case where three aligned points are considered in a normed space. △ Less

Submitted 17 October, 2017; v1 submitted 14 October, 2017; originally announced October 2017.

MSC Class: 26A30

Lineability in sequence and function spaces

Authors: G. Araújo, L. Bernal-González, G. A. Muñoz-Fernández, J. A. Prado-Bassas, J. B. Seoane-Sepúlveda

Abstract: It is proved the existence of large algebraic structures \break --including large vector subspaces or infinitely generated free algebras-- inside, among others, the family of Lebesgue measurable functions that are surjective in a strong sense, the family of nonconstant differentiable real functions vanishing on dense sets, and the family of non-continuous separately continuous real functions. Line… ▽ More It is proved the existence of large algebraic structures \break --including large vector subspaces or infinitely generated free algebras-- inside, among others, the family of Lebesgue measurable functions that are surjective in a strong sense, the family of nonconstant differentiable real functions vanishing on dense sets, and the family of non-continuous separately continuous real functions. Lineability in special spaces of sequences is also investigated. Some of our findings complete or extend a number of results by several authors. △ Less

Submitted 16 July, 2015; originally announced July 2015.

Comments: 18 pages, 1 figure

MSC Class: 28A20

Journal ref: Studia Math. 237 (2) (2017) 119--136

Estimates on the norm of polynomials and applications

Authors: Gustavo Araújo, Pablo Jiménez-Rodríguez, Gustavo A. Muñoz-Fernández, Juan B. Seoane-Sepúlveda

Abstract: In this paper, equivalence constants between various polynomial norms are calculated. As an application, we also obtain sharp values of the Hardy--Littlewood constants for $2$-homogeneous polynomials on $\ell_p^2$ spaces, $2<p\leq\infty$ and lower estimates for polynomials of higher degrees. In this paper, equivalence constants between various polynomial norms are calculated. As an application, we also obtain sharp values of the Hardy--Littlewood constants for $2$-homogeneous polynomials on $\ell_p^2$ spaces, $2<p\leq\infty$ and lower estimates for polynomials of higher degrees. △ Less

Submitted 6 July, 2015; originally announced July 2015.

Linear chaos for the Quick-Thinking-Driver model

Authors: J. A. Conejero, M. Murillo Arcila, J. B. Seoane-Sepúlveda

Abstract: In recent years, the topic of car-following has experimented an increased importance in traffic engineering and safety research. This has become a very interesting topic because of the development of driverless cars \cite{google_driverless_cars}. Driving models which describe the interaction between adjacent vehicles in the same lane have a big interest in simulation modeling, such as the Quick-Th… ▽ More In recent years, the topic of car-following has experimented an increased importance in traffic engineering and safety research. This has become a very interesting topic because of the development of driverless cars \cite{google_driverless_cars}. Driving models which describe the interaction between adjacent vehicles in the same lane have a big interest in simulation modeling, such as the Quick-Thinking-Driver model. A non-linear version of it can be given using the logistic map, and then chaos appears. We show that an infinite-dimensional version of the linear model presents a chaotic behavior using the same approach as for studying chaos of death models of cell growth. △ Less

Submitted 24 March, 2015; originally announced March 2015.

Comments: To Appear in Semigroup Forum

Polynomial inequalities on the $π/4$-circle sector

Authors: G. Araújo, P. Jiménez-Rodríguez, G. A. Muñoz-Fernández, J. B. Seoane-Sepúlveda

Abstract: A number of sharp inequalities are proved for the space ${\mathcal P}\left(^2D\left(\fracπ{4}\right)\right)$ of 2-homogeneous polynomials on ${\mathbb R}^2$ endowed with the supremum norm on the sector $D\left(\fracπ{4}\right):=\left\{e^{iθ}:θ\in \left[0,\fracπ{4}\right]\right\}$. Among the main results we can find sharp Bernstein and Markov inequalities and the calculation of the polarization con… ▽ More A number of sharp inequalities are proved for the space ${\mathcal P}\left(^2D\left(\fracπ{4}\right)\right)$ of 2-homogeneous polynomials on ${\mathbb R}^2$ endowed with the supremum norm on the sector $D\left(\fracπ{4}\right):=\left\{e^{iθ}:θ\in \left[0,\fracπ{4}\right]\right\}$. Among the main results we can find sharp Bernstein and Markov inequalities and the calculation of the polarization constant and the unconditional constant of the canonical basis of the space ${\mathcal P}\left(^2D\left(\fracπ{4}\right)\right)$. △ Less

Submitted 23 March, 2015; originally announced March 2015.

Sharp values for the constants in the polynomial Bohnenblust-Hille inequality

Authors: P. Jiménez-Rodríguez, G. A. Muñoz-Fernández, M. Murillo-Arcila, J. B. Seoane-Sepúlveda

Abstract: In this paper we prove that the complex polynomial Bohnenblust-Hille constant for $2$-homogeneous polynomials in ${\mathbb C}^2$ is exactly $\sqrt[4]{\frac{3}{2}}$. We also give the exact value of the real polynomial Bohnenblust-Hille constant for $2$-homogeneous polynomials in ${\mathbb R}^2$. Finally, we provide lower estimates for the real polynomial Bohnenblust-Hille constant for polynomials i… ▽ More In this paper we prove that the complex polynomial Bohnenblust-Hille constant for $2$-homogeneous polynomials in ${\mathbb C}^2$ is exactly $\sqrt[4]{\frac{3}{2}}$. We also give the exact value of the real polynomial Bohnenblust-Hille constant for $2$-homogeneous polynomials in ${\mathbb R}^2$. Finally, we provide lower estimates for the real polynomial Bohnenblust-Hille constant for polynomials in ${\mathbb R}^2$ of higher degrees. △ Less

Submitted 7 February, 2015; originally announced February 2015.

Comments: 16 pages

MSC Class: 46G25; 47L22; 47H60

Hölder's inequality: some recent and unexpected applications

Authors: N. Albuquerque, G. Araujo, D. Pellegrino, J. Seoane-Sepulveda

Abstract: Hölder's inequality, since its appearance in 1888, has played a fundamental role in Mathematical Analysis and it is, without any doubt, one of the milestones in Mathematics. It may seem strange that, nowadays, it keeps resurfacing and bringing new insights to the mathematical community. In this expository article we show how a variant of Hölder's inequality (although well-known in PDEs) was essent… ▽ More Hölder's inequality, since its appearance in 1888, has played a fundamental role in Mathematical Analysis and it is, without any doubt, one of the milestones in Mathematics. It may seem strange that, nowadays, it keeps resurfacing and bringing new insights to the mathematical community. In this expository article we show how a variant of Hölder's inequality (although well-known in PDEs) was essentially overlooked in Functional Analysis and has had a crucial (and in some sense unexpected) influence in very recent and major breakthroughs in Mathematics. Some of these recent advances appeared in 2012-2014 and include the theory of Dirichlet series, the famous Bohr radius problem, certain classical inequalities (such as Bohnenblust--Hille or Hardy--Littlewood), or even Mathematical Physics. △ Less

Submitted 30 March, 2015; v1 submitted 5 December, 2014; originally announced December 2014.

Comments: Two new references were addded

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.

Journal ref: Linear Algebra and its Applications, v. 465, p. 391-400, 2015

Peano curves on topological vector spaces

Authors: N. Albuquerque, L. Bernal-Gonzalez, D. Pellegrino, J. B. Seoane-Sepulveda

Abstract: The starting point of this paper is the existence of Peano curves, that is, continuous surjections mapping the unit interval onto the unit square. From this fact one can easily construct of a continuous surjection from the real line $\mathbb{R}$ to any Euclidean space $\mathbb{R}^n$. The algebraic structure of the set of these functions (as well as extensions to spaces with higher dimensions) is a… ▽ More The starting point of this paper is the existence of Peano curves, that is, continuous surjections mapping the unit interval onto the unit square. From this fact one can easily construct of a continuous surjection from the real line $\mathbb{R}$ to any Euclidean space $\mathbb{R}^n$. The algebraic structure of the set of these functions (as well as extensions to spaces with higher dimensions) is analyzed from the modern point of view of lineability, and large algebras are found within the families studied. We also investigate topological vector spaces that are continuous image of the real line, providing an optimal lineability result. △ Less

Submitted 22 April, 2014; originally announced April 2014.

Journal ref: Linear Algebra and its Applications, v. 460, p. 81-96, 2014

Optimal Hardy-Littlewood type inequalities for polynomials and multilinear operators

Authors: Nacib Albuquerque, Frédéric Bayart, Daniel Pellegrino, Juan B. Seoane-Sepúlveda

Abstract: In this paper we obtain quite general and definitive forms for Hardy-Littlewood type inequalities. Moreover, when restricted to the original particular cases, our approach provides much simpler and straightforward proofs and we are able to show that in most cases the exponents involved are optimal. The technique we used is a combination of probabilistic tools and of an interpolative approach; this… ▽ More In this paper we obtain quite general and definitive forms for Hardy-Littlewood type inequalities. Moreover, when restricted to the original particular cases, our approach provides much simpler and straightforward proofs and we are able to show that in most cases the exponents involved are optimal. The technique we used is a combination of probabilistic tools and of an interpolative approach; this former technique is also employed in this paper to improve the constants for vector-valued Bohnenblust--Hille type inequalities. △ Less

Submitted 22 June, 2014; v1 submitted 13 November, 2013; originally announced November 2013.

Comments: 16 pages

The Bohr radius of the $n$-dimensional polydisk is equivalent to $\sqrt{\frac{\log n}{n}}$

Authors: F. Bayart, D. Pellegrino, J. Seoane-Sepulveda

Abstract: We show that the Bohr radius of the polydisk $\mathbb D^n$ behaves asymptotically as $\sqrt{(\log n)/n}$. Our argument is based on a new interpolative approach to the Bohnenblust--Hille inequalities which allows us to prove that the polynomial Bohnenblust--Hille inequality is subexponential. We show that the Bohr radius of the polydisk $\mathbb D^n$ behaves asymptotically as $\sqrt{(\log n)/n}$. Our argument is based on a new interpolative approach to the Bohnenblust--Hille inequalities which allows us to prove that the polynomial Bohnenblust--Hille inequality is subexponential. △ Less

Submitted 15 October, 2013; v1 submitted 10 October, 2013; originally announced October 2013.

Comments: The introduction was expanded and some misprints corrected

Journal ref: Advances in Mathematics (New York. 1965), v. 264, p. 726-746, 2014

An interpolation technique towards the subpolynomial constants in the multilinear Bohnenblust-Hille inequality

Authors: Daniel Pellegrino, Juan B. Seoane-Sepúlveda

Abstract: We show that a recent interpolative new proof of the Bohnenblust--Hille inequality, when suitably handled, recovers its best known constants. This seems to be unexpectedly surprising since the known interpolative approaches only provide constants having exponential growth. This preprint is no longer an independent submission, it is now contained in the preprint arXiv 1310.2834. We show that a recent interpolative new proof of the Bohnenblust--Hille inequality, when suitably handled, recovers its best known constants. This seems to be unexpectedly surprising since the known interpolative approaches only provide constants having exponential growth. This preprint is no longer an independent submission, it is now contained in the preprint arXiv 1310.2834. △ Less

Submitted 11 October, 2013; v1 submitted 10 September, 2013; originally announced September 2013.

Comments: This preprint is no longer an independent submission, it is now fully contained in the preprint arXiv 1310.2834

Lineability, spaceability, and additivity cardinals for Darboux-like functions

Authors: Krzysztof Chris Ciesielski, José L. Gámez-Merino, Daniel Pellegrino, Juan B. Seoane-Sepúlveda

Abstract: We introduce the concept of {\em maximal lineability cardinal number}, $\mL(M)$, of a subset $M$ of a topological vector space and study its relation to the cardinal numbers known as: additivity $A(M)$, homogeneous lineability $\HL(M)$, and lineability $\LL(M)$ of $M$. In particular, we will describe, in terms of $\LL$, the lineability and spaceability of the families of the following Darboux-like… ▽ More We introduce the concept of {\em maximal lineability cardinal number}, $\mL(M)$, of a subset $M$ of a topological vector space and study its relation to the cardinal numbers known as: additivity $A(M)$, homogeneous lineability $\HL(M)$, and lineability $\LL(M)$ of $M$. In particular, we will describe, in terms of $\LL$, the lineability and spaceability of the families of the following Darboux-like functions on $\real^n$, $n\ge 1$: extendable, Jones, and almost continuous functions. △ Less

Submitted 8 September, 2013; originally announced September 2013.

On nonlinear absolutely summing maps

Authors: D. Pellegrino, J. B. Seoane-Sepulveda

Abstract: It is shown that the ultimate version of the nonlinear Pietsch Domination Theorem remains true, even in a stronger presentation, if one of its hypotheses is removed. More precisely, we show that no trace of (sub)-homogeneity assumption is needed. Some consequences are also presented. It is shown that the ultimate version of the nonlinear Pietsch Domination Theorem remains true, even in a stronger presentation, if one of its hypotheses is removed. More precisely, we show that no trace of (sub)-homogeneity assumption is needed. Some consequences are also presented. △ Less

Submitted 4 November, 2013; v1 submitted 25 July, 2013; originally announced July 2013.

Comments: This paper has been withdrawn by the authors due to a crucial gap

Grothendieck's theorem for absolutely summing multilinear operators is optimal

Authors: Daniel Pellegrino, Juan B. Seoane-Sepulveda

Abstract: Grothendieck's theorem asserts that every continuous linear operator from $\ell_{1}$ to $\ell_{2}$ is absolutely $\left( 1;1\right) $-summing. In this note we prove that the optimal constant $g_{m}$ so that every continuous $m$-linear operator from $\ell_{1}\times\cdots\times\ell_{1}$ to $\ell_{2}$ is absolutely $\left( g_{m};1\right) $-summing is $\frac{2}{m+1}$. We also show that if… ▽ More Grothendieck's theorem asserts that every continuous linear operator from $\ell_{1}$ to $\ell_{2}$ is absolutely $\left( 1;1\right) $-summing. In this note we prove that the optimal constant $g_{m}$ so that every continuous $m$-linear operator from $\ell_{1}\times\cdots\times\ell_{1}$ to $\ell_{2}$ is absolutely $\left( g_{m};1\right) $-summing is $\frac{2}{m+1}$. We also show that if $g_{m}<\frac{2}{m+1}$ there is $\mathfrak{c}$ dimensional linear space composed by continuous non absolutely $\left( g_{m};1\right) $-summing $m$-linear operators from $\ell_{1}\times\cdots\times\ell_{1}$ to $\ell_{2}.$ In particular, our result solves (in the positive) a conjecture posed by A.T. Bernardino in 2011. △ Less

Submitted 4 December, 2013; v1 submitted 17 July, 2013; originally announced July 2013.

Journal ref: Linear and Multilinear Algebra, v. 63, p. 1-5, 2013

Basic sequences and spaceability in $\ell_p$ spaces

Authors: Daniel Cariello, Juan B. Seoane-Sepúlveda

Abstract: Let $X$ be a sequence space and denote by $Z(X)$ the subset of $X$ formed by sequences having only a finite number of zero coordinates. We study algebraic properties of $Z(X)$ and show (among other results) that (for $p \in [1,\infty]$) $Z(\ell_p)$ does not contain infinite dimensional closed subspaces. This solves an open question originally posed by R. M. Aron and V. I. Gurariy in 2003 on the li… ▽ More Let $X$ be a sequence space and denote by $Z(X)$ the subset of $X$ formed by sequences having only a finite number of zero coordinates. We study algebraic properties of $Z(X)$ and show (among other results) that (for $p \in [1,\infty]$) $Z(\ell_p)$ does not contain infinite dimensional closed subspaces. This solves an open question originally posed by R. M. Aron and V. I. Gurariy in 2003 on the linear structure of $Z(\ell_\infty)$. In addition to this, we also give a thorough analysis of the existing algebraic structures within the set $X \setminus Z(X)$ and its algebraic genericity. △ Less

Submitted 9 July, 2013; originally announced July 2013.

Comments: 17 pages

Sharp generalizations of the multilinear Bohnenblust--Hille inequality

Authors: N. Albuquerque, F. Bayart, D. Pellegrino, J. Seoane-Sepulveda

Abstract: We prove that the multilinear Bohnenblust--Hille is a particular case of a quite general family of optimal inequalities. We prove that the multilinear Bohnenblust--Hille is a particular case of a quite general family of optimal inequalities. △ Less

Submitted 11 July, 2013; v1 submitted 14 June, 2013; originally announced June 2013.

Comments: This new version contains improvements to the results of the previous version

Journal ref: Journal of Functional Analysis, v. 266, p. 3726-3740, 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.

On the optimality of the hypercontractivity of the complex Bohnenblust--Hille inequality

Authors: J. R. Campos, G. A. Muñoz-Fernández, D. Pellegrino, J. B. Seoane-Sepúlveda

Abstract: The main motivation of this paper is the following open problem: Is the hypercontractivity of the \emph{complex} polynomial Bohnenblust--Hille inequality an optimal result? We show that the solution to this problem has a close connection with the searching of the optimal constants for the \emph{real} polynomial Bohnenblust--Hille inequality. So we are lead to a detailed study of the hypercontracti… ▽ More The main motivation of this paper is the following open problem: Is the hypercontractivity of the \emph{complex} polynomial Bohnenblust--Hille inequality an optimal result? We show that the solution to this problem has a close connection with the searching of the optimal constants for the \emph{real} polynomial Bohnenblust--Hille inequality. So we are lead to a detailed study of the hypercontractivity constants for real scalars. In fact we study two notions of constants of hypercontractivity: absolute ($H_{a,\mathbb{R}}$) and asymptotic ($H_{\infty,\mathbb{R}}$). Among other results, our estimates combined with recent results from \cite{CMPS} show that \[ 1.5098<H_{\infty,\mathbb{R}}<2.829 \quad \text{and} \quad 1.6561<H_{a,\mathbb{R}}<3.296. \] △ Less

Submitted 11 February, 2015; v1 submitted 8 January, 2013; originally announced January 2013.

Comments: The results in it are either obsolete or they were recently improved

MSC Class: 46G25; 30B50

On very non-linear subsets of continuous functions

Authors: G. Botelho, D. Cariello, V. V. Fávaro, D. Pellegrino, J. B. Seoane-Sepúlveda

Abstract: In this paper we continue the study initiated by Gurariy and Quarta in 2004 on the existence of linear spaces formed, up to the null vector, by continuous functions that attain the maximum only at one point. Inserting a topological flavor to the subject, we prove that results already known for functions defined on certain subsets of R are actually true for functions on quite general topological sp… ▽ More In this paper we continue the study initiated by Gurariy and Quarta in 2004 on the existence of linear spaces formed, up to the null vector, by continuous functions that attain the maximum only at one point. Inserting a topological flavor to the subject, we prove that results already known for functions defined on certain subsets of R are actually true for functions on quite general topological spaces. In the line of the original results of Gurariy and Quarta, we prove that, depending on the desired dimension, such subspaces may exist or not. △ Less

Submitted 18 December, 2012; originally announced December 2012.

MSC Class: 15A03; 26A15

On the real polynomial Bohnenblust-Hille inequality

Authors: J. R. Campos, P. Jiménez-Rodríguez, G. A. Muñoz-Fernández, D. Pellegrino, J. B. Seoane-Sepúlveda

Abstract: It was recently proved by Bayart et al. that the complex polynomial Bohnenblust--Hille inequality is subexponential. We show that, for real scalars, this does no longer hold. Moreover, we show that, if $D_{\mathbb{R},m}$ stands for the real Bohnenblust--Hille constant for $m$-homogeneous polynomials, then $\displaystyle\lim\sup_{m}D_{\mathbb{R},m}^{1/m}=2.$ It was recently proved by Bayart et al. that the complex polynomial Bohnenblust--Hille inequality is subexponential. We show that, for real scalars, this does no longer hold. Moreover, we show that, if $D_{\mathbb{R},m}$ stands for the real Bohnenblust--Hille constant for $m$-homogeneous polynomials, then $\displaystyle\lim\sup_{m}D_{\mathbb{R},m}^{1/m}=2.$ △ Less

Submitted 5 December, 2013; v1 submitted 20 September, 2012; originally announced September 2012.

Comments: 7 pages; Replaced to an improved version due to some recent advances

MSC Class: 46G25; 30B50

An undecidable case of lineability in R^R

Authors: Jose Luis Gamez-Merino, Juan B. Seoane-Sepulveda

Abstract: Recently it has been proved that, assuming that there is an almost disjoint family of cardinality (2^{\mathfrak c}) in (\mathfrak c) (which is assured, for instance, by either Martin's Axiom, or CH, or even $2^{<\mathfrak c=\mathfrak c$}) one has that the set of Sierpiński-Zygmund functions is (2^{\mathfrak{c}})-strongly algebrable (and, thus, (2^{\mathfrak{c}})-lineable). Here we prove that these… ▽ More Recently it has been proved that, assuming that there is an almost disjoint family of cardinality (2^{\mathfrak c}) in (\mathfrak c) (which is assured, for instance, by either Martin's Axiom, or CH, or even $2^{<\mathfrak c=\mathfrak c$}) one has that the set of Sierpiński-Zygmund functions is (2^{\mathfrak{c}})-strongly algebrable (and, thus, (2^{\mathfrak{c}})-lineable). Here we prove that these two statements are actually equivalent and, moreover, they both are undecidable. This would be the first time in which one encounters an undecidable proposition in the recently coined theory of lineability. △ Less

Submitted 12 July, 2012; originally announced July 2012.

Comments: 5 pages

MSC Class: 03E50; 03E75; 15A03; 26A15

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.

Comments: An Appendix was added

Journal ref: Journal of Functional Analysis, v. 264, p. 429-463, 2013

When is the Haar measure a Pietsch measure for nonlinear mappings?

Authors: G. Botelho, D. Pellegrino, P. Rueda, J. Santos, J. B. Seoane-Sepúlveda

Abstract: We show that, as in the linear case, the normalized Haar measure on a compact topological group $G$ is a Pietsch measure for nonlinear summing mappings on closed translation invariant subspaces of $C(G)$. This answers a question posed to the authors by J. Diestel. We also show that our result applies to several well-studied classes of nonlinear summing mappings. In the final section some problems… ▽ More We show that, as in the linear case, the normalized Haar measure on a compact topological group $G$ is a Pietsch measure for nonlinear summing mappings on closed translation invariant subspaces of $C(G)$. This answers a question posed to the authors by J. Diestel. We also show that our result applies to several well-studied classes of nonlinear summing mappings. In the final section some problems are proposed. △ Less

Submitted 25 April, 2012; originally announced April 2012.

Journal ref: Studia Mathematica, v. 213, p. 275-287, 2012

Subspaces of maximal dimension contained in $L_p(Ω) - \bigcup\limits_{q<p} L_q (Ω)$

Authors: G. Botelho, D. Cariello, V. V. Fávaro, D. Pellegrino, J. B. Seoane-Sepúlveda

Abstract: Let $(Ω,Σ,μ)$ be a measure space and $1< p < +\infty$. In this paper we show that, under quite general conditions, the set $L_{p}(Ω) - \bigcup\limits_{1 \leq q < p}L_{q}(Ω)$ is maximal spaceable, that is, it contains (except for the null vector) a closed subspace $F$ of $L_{p}(Ω)$ such that $\dim(F) = \dim(L_{p}(Ω))$. We also show that if those conditions are not fulfilled, then even the larger se… ▽ More Let $(Ω,Σ,μ)$ be a measure space and $1< p < +\infty$. In this paper we show that, under quite general conditions, the set $L_{p}(Ω) - \bigcup\limits_{1 \leq q < p}L_{q}(Ω)$ is maximal spaceable, that is, it contains (except for the null vector) a closed subspace $F$ of $L_{p}(Ω)$ such that $\dim(F) = \dim(L_{p}(Ω))$. We also show that if those conditions are not fulfilled, then even the larger set $L_p(Ω) - L_q(Ω)$, $1 \leq q < p$, may fail to be maximal spaceable. The aim of the results presented here is, among others, to generalize all the previous work (since the 1960's) related to the linear structure of the sets $L_{p}(Ω) - L_{q}(Ω)$ with $q < p$ and $L_{p}(Ω) - \bigcup\limits_{1 \leq q < p}L_{q}(Ω)$. △ Less

Submitted 19 May, 2012; v1 submitted 10 April, 2012; originally announced April 2012.

Comments: This new version contains the solution to a conjecture presented in the first version of the manuscript

Journal ref: Studia Mathematica, v. 215, p. 261-280, 2013

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.

Journal ref: Journal of Functional Analysis, v. 264, p. 326-336, 2013

A geometric technique to generate lower estimates for the constants in the Bohnenblust--Hille inequalities

Authors: G. A. Muñoz-Fernández, D. Pellegrino, J. Ramos Campos, J. B. Seoane-Sepúlveda

Abstract: The Bohnenblust--Hille (polynomial and multilinear) inequalities were proved in 1931 in order to solve Bohr's absolute convergence problem on Dirichlet series. Since then these inequalities have found applications in various fields of analysis and analytic number theory. The control of the constants involved is crucial for applications, as it became evident in a recent outstanding paper of Defant,… ▽ More The Bohnenblust--Hille (polynomial and multilinear) inequalities were proved in 1931 in order to solve Bohr's absolute convergence problem on Dirichlet series. Since then these inequalities have found applications in various fields of analysis and analytic number theory. The control of the constants involved is crucial for applications, as it became evident in a recent outstanding paper of Defant, Frerick, Ortega-Cerdá, Ounaïes and Seip published in 2011. The present work is devoted to obtain lower estimates for the constants appearing in the Bohnenblust--Hille polynomial inequality and some of its variants. The technique that we introduce for this task is a combination of the Krein--Milman Theorem with a description of the geometry of the unit ball of polynomial spaces on $\ell^2_\infty$. △ Less

Submitted 11 September, 2013; v1 submitted 4 March, 2012; originally announced March 2012.

Comments: This preprint does no longer exist as a single manuscript. It is now part of the preprint entitled "The optimal asymptotic hypercontractivity constant of the real polynomial Bohnenblust-Hille inequality is 2" (arXiv reference 1209.4632)

On the hypercontractivity of the Bohnenblust-Hille inequality for homogeneous polynomials

Authors: Daniel Pellegrino, Juan B. Seoane-Sepúlveda

Abstract: This paper has been withdrawn by the authors due to a crucial gap in the estimates for m>=4. This paper has been withdrawn by the authors due to a crucial gap in the estimates for m>=4. △ Less

Submitted 24 January, 2012; v1 submitted 18 January, 2012; originally announced January 2012.

Comments: This paper has been withdrawn by the authors due to a crucial gap in the estimates for m>=4

A general Extraplolation Theorem for absolutely summing operators

Authors: Daniel Pellegrino, Joedson Santos, Juan B. Seoane-Sepúlveda

Abstract: In this note we prove a general version of the Extrapolation Theorem, extending the classical linear extrapolation theorem due to B. Maurey. Our result shows, in particular, that the operators involved do not need to be linear. In this note we prove a general version of the Extrapolation Theorem, extending the classical linear extrapolation theorem due to B. Maurey. Our result shows, in particular, that the operators involved do not need to be linear. △ Less

Submitted 26 December, 2011; originally announced December 2011.

Journal ref: Bulletin of the London Mathematical Society (Print), v. 44, p. 1292-1302, 2012

Lower bounds for the constants in the Bohnenblust-Hille inequality: the case of real scalars

Authors: Diogo Diniz, Gustavo Muñoz-Fernández, Daniel Pellegrino, Juan B. Seoane-Sepúlveda

Abstract: The Bohnenblust-Hille inequality was obtained in 1931 and (in the case of real scalars) asserts that for every positive integer $N$ and every $m$-linear mapping $T:\ell_{\infty}^{N}\times...\times\ell_{\infty}^{N}\rightarrow \mathbb{R}$ one has (\sum\limits_{i_{1},...,i_{m}=1}^{N}|T(e_{i_{^{1}}},...,e_{i_{m}})|^{\frac{2m}{m+1}})^{\frac{m+1}{2m}}\leq C_{m}\VertT\Vert, for some positive constant… ▽ More The Bohnenblust-Hille inequality was obtained in 1931 and (in the case of real scalars) asserts that for every positive integer $N$ and every $m$-linear mapping $T:\ell_{\infty}^{N}\times...\times\ell_{\infty}^{N}\rightarrow \mathbb{R}$ one has (\sum\limits_{i_{1},...,i_{m}=1}^{N}|T(e_{i_{^{1}}},...,e_{i_{m}})|^{\frac{2m}{m+1}})^{\frac{m+1}{2m}}\leq C_{m}\VertT\Vert, for some positive constant $C_{m}$. Since then, several authors obtained upper estimates for the values of $C_{m}$. However, the novelty presented in this short note is that we provide lower (and non-trivial) bounds for $C_{m}$. △ Less

Submitted 18 November, 2011; v1 submitted 14 November, 2011; originally announced November 2011.

Journal ref: Proceedings of the American Mathematical Society, v. 132, p. 575-580, 2014

Absolutely summing operators revisited: new directions in the nonlinear theory

Authors: Adriano Thiago Bernardino, Daniel Pellegrino, Juan B. Seoane-Sepúlveda, Marcela L. V. Souza

Abstract: In the last decades many authors have become interested in the study of multilinear and polynomial generalizations of families of operator ideals (such as, for instance, the ideal of absolutely summing operators). However, these generalizations must keep the essence of the given operator ideal and there seems not to be a universal method to achieve this. The main task of this paper is to discuss,… ▽ More In the last decades many authors have become interested in the study of multilinear and polynomial generalizations of families of operator ideals (such as, for instance, the ideal of absolutely summing operators). However, these generalizations must keep the essence of the given operator ideal and there seems not to be a universal method to achieve this. The main task of this paper is to discuss, study, and introduce multilinear and polynomial extensions of the aforementioned operator ideals taking into account the already existing methods of evaluating the adequacy of such generalizations. Besides this subject's intrinsic mathematical interest, the main motivation is our belief (based on facts that shall be presented) that some of the already existing approaches are not adequate. △ Less

Submitted 26 December, 2011; v1 submitted 22 September, 2011; originally announced September 2011.

Journal ref: Sociedade Brasileira de Matematica. Boletim, Nova Serie, v. 46, p. 205-249, 2015

Algebrability, non-linear properties, and special functions

Authors: Artur Bartoszewicz, Szymon Glab, Daniel Pellegrino, Juan B. Seoane-Sepúlveda

Abstract: We construct uncountably generated algebras inside the following sets of special functions: Sierpiński-Zygmund functions, perfectly everywhere surjective functions and nowhere continuous Darboux functions. All conclusions obtained in this paper are improvements of some already known results. We construct uncountably generated algebras inside the following sets of special functions: Sierpiński-Zygmund functions, perfectly everywhere surjective functions and nowhere continuous Darboux functions. All conclusions obtained in this paper are improvements of some already known results. △ Less

Submitted 16 September, 2011; originally announced September 2011.

Journal ref: Proceedings of the American Mathematical Society, v. 141, p. 3391-3402, 2013

The asymptotic growth of the constants in the Bohnenblust-Hille inequality is optimal

Authors: Diogo Diniz, G. A. Muñoz-Fernández, Daniel Pellegrino, J. B. Seoane-Sepúlveda

Abstract: We provide (for both the real and complex settings) a family of constants, $% (C_{m})_{m\in \mathbb{N}}$, enjoying the Bohnenblust--Hille inequality and such that $\displaystyle\lim_{m\rightarrow \infty}\frac{C_{m}}{C_{m-1}}=1$, i.e., their asymptotic growth is the best possible. As a consequence, we also show that the optimal constants, $(K_{m})_{m\in \mathbb{N}}$, in the Bohnenblust--Hille inequ… ▽ More We provide (for both the real and complex settings) a family of constants, $% (C_{m})_{m\in \mathbb{N}}$, enjoying the Bohnenblust--Hille inequality and such that $\displaystyle\lim_{m\rightarrow \infty}\frac{C_{m}}{C_{m-1}}=1$, i.e., their asymptotic growth is the best possible. As a consequence, we also show that the optimal constants, $(K_{m})_{m\in \mathbb{N}}$, in the Bohnenblust--Hille inequality have the best possible asymptotic behavior. Besides its intrinsic mathematical interest and potential applications to different areas, the importance of this result also lies in the fact that all previous estimates and related results for the last 80 years (such as, for instance, the multilinear version of the famous Grothendieck Theorem for absolutely summing operators) always present constants $C_{m}$'s growing at an exponential rate of certain power of $m$. △ Less

Submitted 14 August, 2011; v1 submitted 7 August, 2011; originally announced August 2011.

Comments: This version have the same results of the first version

Journal ref: J. Funct. Anal. 263 (2012) 415-428

Estimates for the asymptotic behavior of the constants in the Bohnenblust--Hille inequality

Authors: G. A. Muñoz-Fernández, D. Pellegrino, J. B. Seoane-Sepúlveda

Abstract: A classical inequality due to H.F. Bohnenblust and E. Hille states that for every positive integer $n$ there is a constant $C_{n}>0$ so that $$(\sum\limits_{i_{1},...,i_{n}=1}^{N}|U(e_{i_{^{1}}},...,e_{i_{n}})|^{\frac{2n}{n+1}})^{\frac{n+1}{2n}}\leq C_{n}||U||$$ for every positive integer $N$ and every $n$-linear mapping $U:\ell_{\infty}^{N}\times...\times\ell_{\infty}^{N}\rightarrow\mathbb{C}$. T… ▽ More A classical inequality due to H.F. Bohnenblust and E. Hille states that for every positive integer $n$ there is a constant $C_{n}>0$ so that $$(\sum\limits_{i_{1},...,i_{n}=1}^{N}|U(e_{i_{^{1}}},...,e_{i_{n}})|^{\frac{2n}{n+1}})^{\frac{n+1}{2n}}\leq C_{n}||U||$$ for every positive integer $N$ and every $n$-linear mapping $U:\ell_{\infty}^{N}\times...\times\ell_{\infty}^{N}\rightarrow\mathbb{C}$. The original estimates for those constants from Bohnenblust and Hille are $$C_{n}=n^{\frac{n+1}{2n}}2^{\frac{n-1}{2}}.$$ In this note we present explicit formulae for quite better constants, and calculate the asymptotic behavior of these estimates, completing recent results of the second and third authors. For example, we show that, if $C_{\mathbb{R},n}$ and $C_{\mathbb{C},n}$ denote (respectively) these estimates for the real and complex Bohnenblust--Hille inequality then, for every even positive integer $n$, $$\frac{C_{\mathbb{R},n}}{\sqrtπ} = \frac{C_{\mathbb{C},n}}{\sqrt{2}} = 2^{\frac{n+2}{8}}\cdot r_n$$ for a certain sequence $\{r_n\}$ which we estimate numerically to belong to the interval $(1,3/2)$ (the case $n$ odd is similar). Simultaneously, assuming that $\{r_n\}$ is in fact convergent, we also conclude that $$\displaystyle \lim_{n \rightarrow \infty} \frac{C_{\mathbb{R},n}}{C_{\mathbb{R},n-1}} = \displaystyle \lim_{n \rightarrow \infty} \frac{C_{\mathbb{C},n}}{C_{\mathbb{C},n-1}}= 2^{1/8}.$$ △ Less

Submitted 24 July, 2011; originally announced July 2011.

Comments: 7 pages

Journal ref: Linear and Multilinear Algebra 60 (2012) 573-582

$L_{p}[0,1] \setminus \bigcup\limits_{q>p} L_{q}[0,1]$ is spaceable for every $p>0$

Authors: G. Botelho, V. V. Fávaro, D. Pellegrino, J. B. Seoane-Sepúlveda

Abstract: In this short note we prove the result stated in the title; that is, for every $p>0$ there exists an infinite dimensional closed linear subspace of $L_{p}[0,1]$ every nonzero element of which does not belong to $\bigcup\limits_{q>p} L_{q}[0,1]$. This answers in the positive a question raised in 2010 by R. M. Aron on the spaceability of the above sets (for both, the Banach and quasi-Banach cases).… ▽ More In this short note we prove the result stated in the title; that is, for every $p>0$ there exists an infinite dimensional closed linear subspace of $L_{p}[0,1]$ every nonzero element of which does not belong to $\bigcup\limits_{q>p} L_{q}[0,1]$. This answers in the positive a question raised in 2010 by R. M. Aron on the spaceability of the above sets (for both, the Banach and quasi-Banach cases). We also complete some recent results from \cite{BDFP} for subsets of sequence spaces. △ Less

Submitted 1 June, 2011; originally announced June 2011.

Comments: 3 pages

Journal ref: Linear Algebra and its Applications 436 (2012) 2963-2965

Bounded and unbounded polynomials and multilinear forms: Characterizing continuity

Authors: José L. Gámez-Merino, Gustavo A. Muñoz-Fernández, Daniel Pellegrino, Juan B. Seoane-Sepúlveda

Abstract: In this paper we prove a characterization of continuity for polynomials on a normed space. Namely, we prove that a polynomial is continuous if and only if it maps compact sets into compact sets. We also provide a partial answer to the question as to whether a polynomial is continuous if and only if it transforms connected sets into connected sets. These results motivate the natural question as to… ▽ More In this paper we prove a characterization of continuity for polynomials on a normed space. Namely, we prove that a polynomial is continuous if and only if it maps compact sets into compact sets. We also provide a partial answer to the question as to whether a polynomial is continuous if and only if it transforms connected sets into connected sets. These results motivate the natural question as to how many non-continuous polynomials there are on an infinite dimensional normed space. A problem on the \emph{lineability} of the sets of non-continuous polynomials and multilinear mappings on infinite dimensional normed spaces is answered. △ Less

Submitted 9 May, 2011; originally announced May 2011.

Comments: 8 pages

Journal ref: Linear Algebra and its Applications 436 (2012) 237-242

New upper bounds for the constants in the Bohnenblust-Hille inequality

Authors: Daniel Pellegrino, Juan B. Seoane-Sepúlveda

Abstract: A classical inequality due to Bohnenblust and Hille states that for every positive integer $m$ there is a constant $C_{m}>0$ so that $$(\sum\limits_{i_{1},...,i_{m}=1}^{N}|U(e_{i_{^{1}}},...,e_{i_{m}})| ^{\frac{2m}{m+1}}) ^{\frac{m+1}{2m}}\leq C_{m}| U|$$ for every positive integer $N$ and every $m$-linear mapping $U:\ell_{\infty}^{N}\times...\times\ell_{\infty}^{N}\rightarrow\mathbb{C}$, where… ▽ More A classical inequality due to Bohnenblust and Hille states that for every positive integer $m$ there is a constant $C_{m}>0$ so that $$(\sum\limits_{i_{1},...,i_{m}=1}^{N}|U(e_{i_{^{1}}},...,e_{i_{m}})| ^{\frac{2m}{m+1}}) ^{\frac{m+1}{2m}}\leq C_{m}| U|$$ for every positive integer $N$ and every $m$-linear mapping $U:\ell_{\infty}^{N}\times...\times\ell_{\infty}^{N}\rightarrow\mathbb{C}$, where $C_{m}=m^{\frac{m+1}{2m}}2^{\frac{m-1}{2}}.$ The value of $C_{m}$ was improved to $C_{m}=2^{\frac{m-1}{2}}$ by S. Kaijser and more recently H. Quéffelec and A. Defant and P. Sevilla-Peris remarked that $C_{m}=(\frac{2}{\sqrtπ})^{m-1}$ also works. The Bohnenblust--Hille inequality also holds for real Banach spaces with the constants $C_{m}=2^{\frac{m-1}{2}}$. In this note we show that a recent new proof of the Bohnenblust--Hille inequality (due to Defant, Popa and Schwarting) provides, in fact, quite better estimates for $C_{m}$ for all values of $m \in \mathbb{N}$. In particular, we will also show that, for real scalars, if $m$ is even with $2\leq m\leq 24$, then $$C_{\mathbb{R},m}=2^{1/2}C_{\mathbb{R},m/2}.$$ We will mainly work on a paper by Defant, Popa and Schwarting, giving some remarks about their work and explaining how to, numerically, improve the previously mentioned constants. △ Less

Submitted 31 July, 2011; v1 submitted 3 October, 2010; originally announced October 2010.

Comments: The present version improves the constants of the previous version

Some improvements on the constants for the real Bohnenblust-Hille inequality

Authors: Daniel Pellegrino, Juan B. Seoane-Sepúlveda

Abstract: A classical inequality due to Bohnenblust and Hille states that for every $N \in \mathbb{N}$ and every $m$-linear mapping $U:\ell_{\infty}^{N}\times...\times\ell_{\infty}^{N}\rightarrow\mathbb{C}$ we have \[(\sum\limits_{i_{1},...,i_{m}=1}^{N}| U(e_{i_{^{1}}},...,e_{i_{m}})| ^{\frac{2m}{m+1}}) ^{\frac{m+1}{2m}}\leq C_{m}| U|] where $C_{m}=2^{\frac{m-1}{2}}$. The result is also true for real Banach… ▽ More A classical inequality due to Bohnenblust and Hille states that for every $N \in \mathbb{N}$ and every $m$-linear mapping $U:\ell_{\infty}^{N}\times...\times\ell_{\infty}^{N}\rightarrow\mathbb{C}$ we have \[(\sum\limits_{i_{1},...,i_{m}=1}^{N}| U(e_{i_{^{1}}},...,e_{i_{m}})| ^{\frac{2m}{m+1}}) ^{\frac{m+1}{2m}}\leq C_{m}| U|] where $C_{m}=2^{\frac{m-1}{2}}$. The result is also true for real Banach spaces. In this note we show that an adequate use of a recent new proof of Bohnenblust-Hille inequality, due to Defant, Popa and Schwarting, combined with the optimal constants of Khinchine's inequality (due to Haagerup) provides quite better estimates for the constants involved in the real Bohnenblust-Hille inequality. For instance, for $2\leq m\leq 14,$ we show that the constants $C_{m}=2^\frac{m-1}{2}$ can be replaced by $2^{\frac{m^{2}+6m-8}{8m}}$ if $m$ is even and by $2^{\frac{m^{2}+6m-7}{8m}}$ if $m$ is odd, which substantially improve the known values of $C_{m}$. We also show that the new constants present a better asymptotic behavior. △ Less

Submitted 3 October, 2010; v1 submitted 14 September, 2010; originally announced September 2010.

Comments: 9 pages. This note is an improvement of a previous version registered on arXiv

Some techniques on nonlinear analysis and applications

Authors: Daniel Pellegrino, Joedson Santos, Juan B. Seoane-Sepúlveda

Abstract: In this paper we present two different results in the context of nonlinear analysis. The first one is essentially a nonlinear technique that, in view of its strong generality, may be useful in different practical problems. The second result, more technical, but also connected to the first one, is an extension of the well-known Pietsch Domination Theorem. The last decade witnessed the birth of diff… ▽ More In this paper we present two different results in the context of nonlinear analysis. The first one is essentially a nonlinear technique that, in view of its strong generality, may be useful in different practical problems. The second result, more technical, but also connected to the first one, is an extension of the well-known Pietsch Domination Theorem. The last decade witnessed the birth of different families of Pietsch Domination-type results and some attempts of unification. Our result, that we call "full general Pietsch Domination Theorem" is potentially a definitive Pietsch Domination Theorem which unifies the previous versions and delimits what can be proved in this line.The connections to the recent notion of weighted summability are traced. △ Less

Submitted 28 October, 2010; v1 submitted 2 June, 2010; originally announced June 2010.

Comments: 24 pages

Journal ref: Advances in Mathematics (New York. 1965), v. 229, p. 1235-1265, 2012