Searcharxiv⌕ Search

arXiv subjects

Daniel Pellegrino

Publications and source records attributed to Daniel Pellegrino.

At least 73 records · Page 4Linked to original sources

There exist multilinear Bohnenblust-Hille constants $(C_{n})_{n=1}^{\infty}$ with $\displaystyle \lim_{n\rightarrow \infty}(C_{n+1}-C_{n}) =0.$

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.

math.FA↗

On multi-ideals and polynomial ideals of Banach spaces: a new approach to coherence and compatibility

What is an adequate extension of an operator ideal I to the polynomial and multilinear settings? This question motivated the appearance of the concepts of coherent sequences of polynomial ideals and compatibility of a polynomial ideal with an operator ideal, introduced by D. Carando el al. We propose a different approach by considering pairs (U_{k},M_{k})_{k=1}^{\infty}, where (U_{k})_{k=1}^{\infty} is a polynomial ideal and (M_{k})_{k=1}^{\infty} is a multi-ideal, instead of considering just polynomial ideals. Our approach ends a discomfort caused by the previous theory: for real scalars the canonical sequence (P_{k})_{k=1}^{\infty} of continuous k-homogeneous polynomials is not coherent according to the definition of Carando et al.

math.FA↗

On the growth of the optimal constants of the multilinear Bohnenblust--Hille inequality

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}. \]

math.FA↗

Sharp coincidences for absolutely summing multilinear operators

In this note we prove the optimality of a family of known coincidence theorems for absolutely summing multilinear operators. We connect our results with the theory of multiple summing multilinear operators and prove the sharpness of similar results obtained via the complex interpolation method.

math.FA↗

Absolutely summing operators revisited: new directions in the nonlinear theory

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.

math.FA↗

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

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}$.

math.FA↗

Maximal spaceability in topological vector spaces

In this paper we introduce a new technique to prove the existence of closed subspaces of maximal dimension inside sets of topological vector sequence spaces. The results we prove cover some sequence spaces not studied before in the context of spaceability and settle some questions on classical sequence spaces that remained open.

math.FA↗

Algebrability, non-linear properties, and special functions

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.

math.FA↗

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

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$.

math.FA↗

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

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.

math.FA↗

Lineability and spaceability for the weak form of Peano's theorem and vector-valued sequence spaces

Two new applications of a technique for spaceability are given in this paper. For the first time this technique is used in the investigation of the algebraic genericity property of the weak form of Peano's theorem on the existence of solutions of the ODE $u'=f(u)$ on $c_0$. The space of all continuous vector fields $f$ on $c_0$ is proved to contain a closed $\mathfrak{c}$-dimensional subspace formed by fields $f$ for which -- except for the null field -- the weak form of Peano's theorem fails to be true. The second application generalizes known results on the existence of closed $\mathfrak{c}$-dimensional subspaces inside certain subsets of $\ell_p(X)$-spaces, $0 < p < \infty$, to the existence of closed subspaces of maximal dimension inside such subsets.

math.FA↗

Bounded and unbounded polynomials and multilinear forms: Characterizing continuity

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.

math.FA↗

Almost Summing Polynomials: A Coherent and Compatible Approach the from the Infinite-Dimensional Holomorphy Viewpoint

In this note we explore the notion of everywhere almost summing polynomials and define a natural norm which makes this class a Banach multi-ideal which is a holomorphy type (in the sense of L.Nachbin) and also coherent and compatible (in the sense of D. Carando, V. Dimant and S. Muro) with the notion of almost summing linear operators. Similar results are not valid for the original concept of almost summing polynomials, due to G. Botelho.

math.FA↗

Some remarks on absolutely summing multilinear operators

This short note has a twofold purpose: (i) to solve the question that motivates a recent paper of D. Popa on multilinear variants of Pietsch's composition theorem for absolutely summing operators. More precisely, we remark that there is a natural perfect extension of Pietsch's composition theorem to the multilinear and polynomial settings. This fact was overlooked in the aforementioned paper; (ii) to investigate extensions of some results of the aforementioned paper for particular situations, mainly by exploring cotype properties of the spaces involved.

math.FA↗

Absolutely summing multilinear operators: a panorama

This paper has a twofold purpose: to present an overview of the theory of absolutely summing operators and its different generalizations for the multilinear setting, and to sketch the beginning of a research project related to an objective search of \textquotedblleft perfect\textquotedblright \ multilinear extensions of the ideal of absolutely summing operators. The final section contains some open problems that may indicate lines for future investigation.

math.FA↗