Entire Analytic Functions of Unbounded Type on Banach Spaces and Their Lineability

In the paper we establish some conditions under which a given sequence of polynomials on a Banach space X supports entire functions of unbounded type, and construct some counter examples. We show that if X is an infinite dimensional Banach space, then the set of entire functions of unbounded type can be represented as a union of infinite dimensional linear subspaces (without the origin). Moreover, we show that for some cases, the set of entire functions of unbounded type generated by a given sequence of polynomials contains an infinite dimensional algebra (without the origin). Some applications for symmetric analytic functions on Banach spaces are obtained.

Set-valued problems under bounded variation assumptions involving the Hausdorff excess

<p style='text-indent:20px;'>In the very general framework of a (possibly infinite dimensional) Banach space <inline-formula><tex-math id="M1">\begin{document}$ X $\end{document}</tex-math></inline-formula>, we are concerned with the existence of bounded variation solutions for measure differential inclusions</p><p style='text-indent:20px;'><disp-formula> <label/> <tex-math id="FE100"> \begin{document}$ \begin{equation} \begin{split} &amp;dx(t) \in G(t, x(t)) dg(t),\\ &amp;x(0) = x_0, \end{split} \end{equation}\;\;\;\;\;\;(1) $\end{document} </tex-math></disp-formula></p><p style='text-indent:20px;'>where <inline-formula><tex-math id="M2">\begin{document}$ dg $\end{document}</tex-math></inline-formula> is the Stieltjes measure generated by a nondecreasing left-continuous function.</p><p style='text-indent:20px;'>This class of differential problems covers a wide variety of problems occuring when studying the behaviour of dynamical systems, such as: differential and difference inclusions, dynamic inclusions on time scales and impulsive differential problems. The connection between the solution set associated to a given measure <inline-formula><tex-math id="M3">\begin{document}$ dg $\end{document}</tex-math></inline-formula> and the solution sets associated to some sequence of measures <inline-formula><tex-math id="M4">\begin{document}$ dg_n $\end{document}</tex-math></inline-formula> strongly convergent to <inline-formula><tex-math id="M5">\begin{document}$ dg $\end{document}</tex-math></inline-formula> is also investigated.</p><p style='text-indent:20px;'>The multifunction <inline-formula><tex-math id="M6">\begin{document}$ G : [0,1] \times X \to \mathcal{P}(X) $\end{document}</tex-math></inline-formula> with compact values is assumed to satisfy excess bounded variation conditions, which are less restrictive comparing to bounded variation with respect to the Hausdorff-Pompeiu metric, thus the presented theory generalizes already known existence and continuous dependence results. The generalization is two-fold, since this is the first study in the setting of infinite dimensional spaces.</p><p style='text-indent:20px;'>Next, by using a set-valued selection principle under excess bounded variation hypotheses, we obtain solutions for a functional inclusion</p><p style='text-indent:20px;'><disp-formula> <label/> <tex-math id="FE102"> \begin{document}$ \begin{equation} \begin{split} &amp;Y(t)\subset F(t,Y(t)),\\ &amp;Y(0) = Y_0. \end{split} \end{equation}\;\;\;\;(2) $\end{document} </tex-math></disp-formula></p><p style='text-indent:20px;'>It is shown that a recent parametrized version of Banach's Contraction Theorem given by V.V. Chistyakov follows from our result.</p>

M-hypercyclicity of C 0-semigroup and Svep of its generator

Let 𝒯 = (Tt ) t ≥0 be a C 0-semigroup on a separable infinite dimensional Banach space X, with generator A. In this paper, we study the relationship between the single valued extension property of generator A, and the M-hypercyclicity of the C 0-semigroup. Specifically, we prove that if A does not have the single valued extension property at λ ∈ iℝ, then there exists a closed subspace M of X, such that the C 0-semigroup 𝒯 is M-hypercyclic. As a corollary, we get certain conditions of the generator A, for the C 0-semigroup to be M-hypercyclic.

On Subspace-ergodic Operators

In this paper, we define subspace-ergodic operators and give examples of these operators. We show that by any given separable infinite-dimensional Banach space, subspace-ergodic operators can be constructed. We demonstrate that an invertible operator T is subspace-ergodic if and only if T-1 is subspace-ergodic. We prove that the direct sum of two subspace-ergodic operators is subspace-ergodic and if the direct sum of two operators is subspace-ergodic, then each of them is subspace-ergodic. Also, we investigate relations between subspace-ergodic and subspace-mixing operators. For example, we show that if T is subspace-mixing and invertible, then Tn and T-n are subspace-ergodic for n∈ℕ.

Classes of Entire Analytic Functions of Unbounded Type on Banach Spaces

In this paper we investigate analytic functions of unbounded type on a complex infinite dimensional Banach space X. The main question is: under which conditions is there an analytic function of unbounded type on X such that its Taylor polynomials are in prescribed subspaces of polynomials? We obtain some sufficient conditions for a function f to be of unbounded type and show that there are various subalgebras of polynomials that support analytic functions of unbounded type. In particular, some examples of symmetric analytic functions of unbounded type are constructed.

Remarks on retracting balls on spherical caps in \(c_{0}\), \(c\), \(l^{\infty }\) spaces

For any infinite dimensional Banach space there exists a lipschitzian retraction of the closed unit ball B onto the unit sphere S. Lipschitz constants for such retractions are, in general, only roughly estimated. The paper is illustrative. It contains remarks, illustrations and estimates concerning optimal retractions onto spherical caps for sequence spaces with the uniform norm.

Observations on the Separable Quotient Problem for Banach Spaces

The longstanding Banach–Mazur separable quotient problem asks whether every infinite-dimensional Banach space has a quotient (Banach) space that is both infinite-dimensional and separable. Although it remains open in general, an affirmative answer is known in many special cases, including (1) reflexive Banach spaces, (2) weakly compactly generated (WCG) spaces, and (3) Banach spaces which are dual spaces. Obviously (1) is a special case of both (2) and (3), but neither (2) nor (3) is a special case of the other. A more general result proved here includes all three of these cases. More precisely, we call an infinite-dimensional Banach space X dual-like, if there is another Banach space E, a continuous linear operator T from the dual space E * onto a dense subspace of X, such that the closure of the kernel of T (in the relative weak* topology) has infinite codimension in E * . It is shown that every dual-like Banach space has an infinite-dimensional separable quotient.

DENSENESS OF SETS OF CAUCHY PROBLEMS WITHHOUT SOLUTIONS AND WITH NONUNIQUE SOLUTIONS IN THE SET OF ALL CAUCHY PROBLEMS

When finding solutions of differential equations it is necessary to take into account the theorems on innovation and unity of solutions of equations. In case of non-fulfillment of the conditions of these theorems, the methods of finding solutions of the studied equations used in computational mathematics may give erroneous results. It should also be borne in mind that the Cauchy problem for differential equations may have no solutions or have an infinite number of solutions. The author presents two statements obtained by the author about the denseness of sets of the Cauchy problem without solutions (in the case of infinite-dimensional Banach space) and with many solutions (in the case of an arbitrary Banach space) in the set of all Cauchy problems. Using two examples of the Cauchy problem for differential equations, the imperfection of some methods of computational mathematics for finding solutions of the studied equations is shown.

A REMARK ON THE SEPARABLE QUOTIENT PROBLEM FOR TOPOLOGICAL GROUPS

The Banach–Mazur separable quotient problem asks whether every infinite-dimensional Banach space $B$ has a quotient space that is an infinite-dimensional separable Banach space. The question has remained open for over 80 years, although an affirmative answer is known in special cases such as when $B$ is reflexive or even a dual of a Banach space. Very recently, it has been shown to be true for dual-like spaces. An analogous problem for topological groups is: Does every infinite-dimensional (in the topological sense) connected (Hausdorff) topological group $G$ have a quotient topological group that is infinite dimensional and metrisable? While this is known to be true if $G$ is the underlying topological group of an infinite-dimensional Banach space, it is shown here to be false even if $G$ is the underlying topological group of an infinite-dimensional locally convex space. Indeed, it is shown that the free topological vector space on any countably infinite $k_{\unicode[STIX]{x1D714}}$-space is an infinite-dimensional toplogical vector space which does not have any quotient topological group that is infinite dimensional and metrisable. By contrast, the Graev free abelian topological group and the Graev free topological group on any infinite connected Tychonoff space, both of which are connected topological groups, are shown here to have the tubby torus $\mathbb{T}^{\unicode[STIX]{x1D714}}$, which is an infinite-dimensional metrisable group, as a quotient group.

On the large-scale geometry of diffeomorphism groups of 1-manifolds

We apply the framework of Rosendal to study the large-scale geometry of the topological groups {\operatorname{Diff}_{+}^{k}(M^{1})} , consisting of orientation-preserving {C^{k}} -diffeomorphisms (for {1\leq k\leq\infty} ) of a compact 1-manifold {M^{1}} ( {=I} or {\mathbb{S}^{1}} ). We characterize the relative property (OB) in such groups: {A\subseteq\operatorname{Diff}_{+}^{k}(M^{1})} has property (OB) relative to {\operatorname{Diff}_{+}^{k}(M^{1})} if and only if {\sup_{f\in A}\sup_{x\in M^{1}}\lvert\log f^{\prime}(x)|<\infty} and {\sup_{f\in A}\sup_{x\in M^{1}}|f^{(j)}(x)|<\infty} for every integer j with {2\leq j\leq k} . We deduce that {\operatorname{Diff}_{+}^{k}(M^{1})} has the local property (OB), and consequently a well-defined non-trivial quasi-isometry class, if and only if {k<\infty} . We show that the groups {\operatorname{Diff}_{+}^{1}(I)} and {\operatorname{Diff}_{+}^{1}(\mathbb{S}^{1})} are quasi-isometric to the infinite-dimensional Banach space {C[0,1]} .