We give sufficient conditions on a Banach space $X$ which ensure that $\ell_{\infty}$ embeds in $\mathcal{L}(X)$, the space of all operators on $X$. We say that a basic sequence $(e_n)$ is quasisubsymmetric if for any two increasing sequences $(k_n)$ and $(\ell_n)$ of positive integers with $k_n \leq \ell_n$ for all $n$, we have that $(e_{k_n})$ dominates $(e_{\ell_n})$. We prove that if a Banach space $X$ has a seminormalized quasisubsymmetric basis then $\ell_{\infty}$ embeds in $\mathcal{L}(X)$.
We present versions of ergodic theorems for $L_1$--$L_\infty$ contractions in Banach--Kantorovich $L_p$-lattices associated with the Maharam measure taking values in the algebra of measurable functions.
In this note we study Banach spaces of traces of real polynomials on $\mathbb R^n$ to compact subsets equipped with supremum norms from the point of view of Geometric Functional Analysis.
We construct Zachary space in $\R^\infty$ and find that this is a Banach space of functions of bounded mean oscillation with order $p, 1\leq p \leq \infty$ containing the function of bounded mean oscillation $BMO[\R_I^\infty]$ as a dense continuous embedding. As an application of $\R_I^\infty$ we construction $\mcB,$ where $\mcB $ is separable Banach space and finally we construct $\mcZ^p[\mcB]$.
See title. (A Banach space is said to be L-embedded if it is complemented in its bidual such that the norm between the two complementary subspaces is additive.)
We study the Bishop-Phelps-Bollobás property for operators from $\ell_\infty ^4 $ to a Banach space. For this reason we introduce an appropiate geometric property, namely the AHSp-$\ell_\infty ^4$. We prove that spaces $Y$satisfying AHSp-$\ell_\infty ^4$ are precisely those spaces $Y$ such that $(\ell_\infty^4,Y)$ has the Bishop-Phelps-Bollobás property. We also provide classes of Banach spaces satisfying this condition. For instance, finite-dimensional spaces, uniformly convex spaces, $C_0(L)$ and $L_1 (μ)$ satisfy AHSp-$\ell_\infty ^4 $.
In this paper we first show that if $X$ is a Banach space and $α$ is a left invariant crossnorm on $\ell_\infty\otimes X$, then there is a Banach lattice $L$ and an isometric embedding $J$ of $X$ into $L$, so that $I\otimes J$ becomes an isometry of $\ell_\infty\otimes_αX$ onto $\ell_\infty\otimes_m J(X)$. Here $I$ denotes the identity operator on $\ell_\infty$ and $\ell_\infty\otimes_m J(X)$ the canonical lattice tensor product. This result is originally due to G. Pisier (unpublished), but our proof is different. We then use this to characterize the Gordon-Lewis property $\GL$ in terms of emb…
Several new characterizations of Banach spaces containing a subspace isomorphic to $\ell^1$, are obtained. These are applied to the question of when $\ell^1$ embeds in the injective tensor product of two Banach spaces.
R.M. Aron et al. proved that the Cluster Value Theorem in the infinite dimensional Banach space setting holds for the Banach algebra $\mathcal{H}^\infty (B_{c_0})$. On the other hand, B.J. Cole and T.W. Gamelin showed that $\mathcal{H}^\infty (\ell_2 \cap B_{c_0})$ is isometrically isomorphic to $\mathcal{H}^\infty (B_{c_0})$ in the sense of an algebra. Motivated by this work, we are interested in a class of open subsets $U$ of a Banach space $X$ for which $\mathcal{H}^\infty (U)$ is isometrically isomorphic to $\mathcal{H}^\infty (B_{c_0})$. We prove that there exist polydisk type domains $U$…
A well known argument of James yields that if a Banach space $X$ contains $\ell_1^n$'s uniformly then $X$ contains $\ell_1^n$'s almost isometrically. In the first half of the paper we extend this idea to the ordinal $\ell_1$-indices of Bourgain. In the second half we use our results to calculate the $\ell_1$-index of certain Banach spaces. Furthermore we show that the $\ell_1$-index of a separable Banach space not containing $\ell_1$ must be of the form $ω^α$ for some countable ordinal $α$.
A Hereditarily Indecomposable asymptotic $\ell_2$ Banach space is constructed. The existence of such a space answers a question of B. Maurey and verifies a conjecture of W.T. Gowers.
The class of countably intersected families of sets is defined. For any such family we define a Banach space not containing $\ell^{1}(\NN )$. Thus we obtain counterexamples to certain questions related to the heredity problem for W.C.G. Banach spaces. Among them we give a subspace of a W.C.G. Banach space not containing $\ell^{1}(\NN )$ and not being itself a W.C.G. space.
We introduce and investigate a class of non-separable tree-like Banach spaces. As a consequence, we prove that we can not achieve a satisfactory extension of Rosenthal's $\ell_1$-theorem to spaces of the type $\ell_1(κ)$, for $κ$ an uncountable cardinal.
Motivated by a problem stated by S.A.Argyros and Th. Raikoftsalis, we introduce a new class of Banach spaces. Namely, for a sequence of separable Banach spaces $(X_n,\|\cdot\|_n)_{n\in\mathbb{N}}$, we define the Bourgain Delbaen $\mathcal{L}^{\infty}$-sum of the sequence $(X_n,\|\cdot\|_n)_{n\in\mathbb{N}}$ which is a Banach space $\mathcal{Z}$ constructed with the Bourgain-Delbaen method. In particular, for every $1\leq p<\infty$, taking $X_n=\ell_p$ for every $n\in\mathbb{N}$ the aforementioned space $\mathcal{Z}_p$ is strictly quasi prime and admits $\ell_p$ as a complemented subspace. We s…
Nonatomic bounded sequences in $\ell_1$, that is, those giving rise to nonatomic submeasures on $\mathbb N$ are introduced and shown to form a closed subspace nonat$(\ell_1)$ of $\ell_\infty(\ell_1)$, and some spaces of relevant operators in $\ell_1$ are considered.
We prove that, when $2<p<\infty$, in the free Banach lattice generated by $\ell_p$ (respectively by $c_0$), the absolute values of the canonical basis form an $\ell_r$-sequence, where $\frac{1}{r} = \frac{1}{2} + \frac{1}{p}$ (respectively an $\ell_2$-sequence). In particular, in any Banach lattice, the absolute values of any $\ell_p$ sequence always have an upper $\ell_r$-estimate. Quite surprisingly, this implies that the free Banach lattices generated by the nonseparable $\ell_p(Γ)$ for $2<p<\infty$, as well as $c_0(Γ)$, are weakly compactly generated whereas this is not the case for $1\leq…
We present condition on higher order asymptotic behaviour of basic sequences in a Banach space ensuring the existence of bounded non-compact strictly singular operator on a subspace. We apply it in asymptotic $\ell_p$ spaces, $1\leq p<\infty$, in particular in convexified mixed Tsirelson spaces and related asymptotic $\ell_p$ HI spaces.
Two examples of asymptotic $\ell_{1}$ Banach spaces are given. The first, $X_{u}$, has an unconditional basis and is arbitrarily distortable. The second, $X$, does not contain any unconditional basic sequence. Both are spaces of the type of Tsirelson. We thus answer a question raised by W.T.Gowers.
Let $E$ and $F$ be complex Banach spaces, $U$ be an open subset of $E$ and $1\leq p\leq\infty$. We introduce and study the notion of a Cohen strongly $p$-summing holomorphic mapping from $U$ to $F$, a holomorphic version of a strongly $p$-summing linear operator. For such mappings, we establish both Pietsch domination/factorization theorems and analyse their linearizations from $\mathcal{G}^\infty(U)$ (the canonical predual of $\mathcal{H}^\infty(U)$) and their transpositions on $\mathcal{H}^\infty(U)$. Concerning the space $\mathcal{D}_p^{\mathcal{H}^\infty}(U,F)$ formed by such mappings and …
We characterize $k-$smoothness of an element on the unit sphere of a finite-dimensional polyhedral Banach space. Then we study $k-$smoothness of an operator $T \in \mathbb{L}(\ell_{\infty}^n,\mathbb{Y}),$ where $\mathbb{Y}$ is a two-dimensional Banach space with the additional condition that $T$ attains norm at each extreme point of $B_{\ell_{\infty}^{n}}.$ We also characterize $k-$smoothness of an operator defined between $\ell_{\infty}^3$ and $\ell_{1}^3.$
We consider weighted banach spaces of holomorphic functions on the upper half plane that are determined by $ \|f\|=\sup_{y>0,-\infty<x<\infty}p(y)|f(x+iy)|<\infty $ for a very large class of weight functions p. We completely solve the problem whether such banach spaces are trivial or not by giving necessary and sufficient conditions stated in terms of some simple properties of the weight function. Further, we investigate the behaviour at infinity of some functions that belong to some of the banach spaces under consideration.
Using upper $\ell_p$-estimates for normalized weakly null sequence images, we describe a new family of operator ideals $\mathcal{WD}_{\ell_p}^{(\infty,ξ)}$ with parameters $1\leq p\leq\infty$ and $1\leqξ\leqω_1$. These classes contain the completely continuous operators, and are distinct for all choices $1\leq p\leq\infty$ and, when $p\neq 1$, for all choices $ξ\neqω_1$. For the case $ξ=1$, there exists an ideal norm $\|\cdot\|_{(p,1)}$ on the class $\mathcal{WD}_{\ell_p}^{(\infty,1)}$ under which it forms a Banach ideal.
The main purpose of this paper is to study some geometric and topological properties on $ c_0$ sum of the finite dimensional Banach lattice $\ell_2^n$, its dual and its bidual. Among other results, we show that the Banach lattices $c_0(\ell_2^n)$ has the strong Gelfand-Philips property, but does not have the positive Grothendieck property. We also prove that the closed unit ball of $l_{\infty}(\ell_2^n)$ is an almost limited set.
Extending recent results by Cascales, Kadets, Orihuela and Wingler (2016), Kadets and Zavarzina (2017), and Zavarzina (2017) we demonstrate that for every Banach space $X$ and every collection $Z_i, i\in I$ of strictly convex Banach spaces every non-expansive bijection from the unit ball of $X$ to the unit ball of sum of $Z_i$ by $\ell_1$ is an isometry.
Krivine and Maurey proved in 1981 that every stable Banach space contains almost isometric copies of $\ell_p$, for some $p\in[1,\infty)$. In 1983, Raynaud showed that if a Banach space uniformly embeds into a superstable Banach space, then $X$ must contain an isomorphic copy of $\ell_p$, for some $p\in[1,\infty)$. In these notes, we show that if a Banach space coarsely embeds into a superstable Banach space, then $X$ has a spreading model isomorphic to $\ell_p$, for some $p\in[1,\infty)$. In particular, we obtain that there exist reflexive Banach spaces which do not coarsely embed into any sup…
For $1<p\le \infty$, we show the existence of a Banach space which is both injectively and surjectively universal for the class of all separable Banach spaces with an equivalent $p$-asymptotically uniformly smooth norm. We prove that this class is analytic complete in the class of separable Banach spaces. These results extend previous works by Kalton, Werner and Kurka in the case $p=\infty$.
We introduce a notion of p-orthogonality in a general Banach space $1 \le p \le \infty$. We use this concept to characterize $\ell_p$-spaces among Banach spaces and also among complete order smooth p-normed spaces. We further introduce a notion of $p$-orthogonal decomposition in order smooth p-normed spaces. We prove that if the $\infty$-orthogonal decomposition holds in an order smooth $\infty$-normed space, then the 1-orthogonal decomposition holds in the dual space. We also give an example to show that the above said decomposition may not be unique.
We construct a class of minimal trees and use these trees to establish a number of coloring theorems on general trees. Among the applications of these trees and coloring theorems are quantification of the Bourgain $\ell_p$ and $c_0$ indices, dualization of the Bourgain $c_0$ index, establishing sharp positive and negative results for constant reduction, and estimating the Bourgain $\ell_p$ index of an arbitrary Banach space $X$ in terms of a subspace $Y$ and the quotient $X/Y$.
In this paper we show the weak Banach-Saks property of the Banach vector space $(L_μ^p)^m$ generated by $m$ $L_μ^p$-spaces for $1\leq p<+\infty,$ where $m$ is any given natural number. When $m=1,$ this is the famous Banach-Saks-Szlenk theorem. By use of this property, we also present inequalities for integrals of functions that are the composition of nonnegative continuous convex functions on a convex set of a vector space ${\bf R}^m$ and vector-valued functions in a weakly compact subset of the space $(L_μ^p)^m$ for $1\leq p<+\infty$ and inequalities when these vector-valued functions are in …
We show that the dual of every infinite-dimensional Lipschitz-free Banach space contains an isometric copy of $\ell_\infty$ and that it is often the case that a Lipschitz-free Banach space contains a $1$-complemented subspace isometric to $\ell_1$. Even though we do not know whether the latter is true for every infinite-dimensional Lipschitz-free Banach space, we show that the space is never rotund. Further, in the last section we survey the relations between "isometric embedding of~$\ell_\infty$ into the dual" and "containing as good copy of~$\ell_1$ as possible" in a general Banach space.
We classify the closed ideals of bounded operators acting on the Banach spaces $\left(\bigoplus_{n \in \mathbb{N}} \ell_2^n\right)_{c_0} \oplus c_0(Γ)$ and $\left(\bigoplus_{n \in \mathbb{N}} \ell_2^n\right)_{\ell_1} \oplus \ell_1(Γ)$ for every uncountable cardinal $Γ$.
Let $E$ and $G$ be two Banach function spaces, let $T \in \mathcal{L}(E,Y)$, and let ${\langle X,Y \rangle}$ be a Banach dual pair. In this paper we give conditions for which there exists a (necessarily unique) bounded linear operator $T_{Y} \in \mathcal{L}(E(Y),G(Y))$ with the property that \[ {\langle x,T_{Y}e \rangle} = T{\langle x,e \rangle}, \quad\quad\quad e \in E(Y), x \in X. \] Our first main result states that, in case ${\langle X,Y \rangle} = {\langle Y^{*}, Y \rangle}$ with $Y$ a reflexive Banach space, for the existence of $T_{Y}$ it sufficient that $T$ is dominated by a positive o…
Generalizing results by Halperin et al., Grivaux recently showed that any linearly independent sequence $\{f_k\}_{k=1}^\infty$ in a separable Banach space $X$ can be represented as a suborbit $\{T^{α(k)}φ\}_{k=1}^\infty$ of some bounded operator $T: X\to X.$ In general, the operator $T$ and the powers $α(k)$ are not known explicitly. In this paper we consider approximate representations $\{f_k\}_{k=1}^\infty \approx \{T^{α(k)}φ\}_{k=1}^\infty$ of certain types of sequences $\{f_k\}_{k=1}^\infty.$ In contrast to the results in the literature we are able to be very explicit about the operator $T…
A recent result of Leung (Proceedings of the American Mathematical Society, to appear) states that the Banach algebra $\mathscr{B}(X)$ of bounded, linear operators on the Banach space $X=\bigl(\bigoplus_{n\in\mathbb{N}}\ell_\infty^n\bigr)_{\ell_1}$ contains a unique maximal ideal. We show that the same conclusion holds true for the Banach spaces $X=\bigl(\bigoplus_{n\in\mathbb{N}}\ell_\infty^n\bigr)_{\ell_p}$ and $X=\bigl(\bigoplus_{n\in\mathbb{N}}\ell_1^n\bigr)_{\ell_p}$ whenever $p\in(1,\infty)$.
In this paper we deal with those Banach spaces $Z$ which satisfy the Mazur--Ulam property, namely that every surjective isometry $Δ$ from the unit sphere of $Z$ to the unit sphere of any Banach space $Y$ admits an unique extension to a surjective real-linear isometry from $Z$ to $Y$. We prove that for every countable set $Γ$ with $\vert Γ\vert \geq 2$, the Banach space $\bigoplus_{γ\in Γ}^{c_0} X_γ$ satisfies the Mazur--Ulam property, whenever the Banach space $X_γ$ is strictly convex with dim$((X_γ)_{\mathbb{R}})\geq 2$ for every $γ$. Moreover we prove that the Banach space $C_0(K,X)$ satisfi…
We prove that a WLD subspace of the space $\ell_\infty^c(Γ)$ consisting of all bounded, countably supported functions on a set $Γ$ embeds isomorphically into $\ell_\infty$ if and only if it does not contain isometric copies of $c_0(ω_1)$. Moreover, a subspace of $\ell_\infty^c(ω_1)$ is constructed that has an unconditional basis, does not embed into $\ell_\infty$, and whose every weakly compact subset is separable (in particular, it cannot contain any isomorphic copies of $c_0(ω_1)$).
In the first part of our paper, we show that $\ell_\infty$ has a dense linear subspace which admits an equivalent real analytic norm. As a corollary, every separable Banach space, as well as $\ell_1(\mathfrak{c})$, also has a dense linear subspace which admits an analytic renorming. By contrast, no dense subspace of $c_0(ω_1)$ admits an analytic norm. In the second part, we prove (solving in particular an open problem of Guirao, Montesinos, and Zizler) that every Banach space with a long unconditional Schauder basis contains a dense subspace that admits a $C^{\infty}$-smooth norm. Finally, we …
We prove that no ultraproduct of Banach spaces via a countably incomplete ultrafilter can contain $c_0$ complemented. This shows that a "result" widely used in the theory of ultraproducts is wrong. We then amend a number of results whose proofs had been infected by that statement. In particular we provide proofs for the following statements: (i) All $M$-spaces, in particular all $C(K)$-spaces, have ultrapowers isomorphic to ultrapowers of $c_0$, as well as all their complemented subspaces isomorphic to their square. (ii) No ultrapower of the Gurari\u ı space can be complemented in any $M$-spac…
Let $λ$ be an infinite cardinal number and let $\ell_\infty^c(λ)$ denote the subspace of $\ell_\infty(λ)$ consisting of all functions that assume at most countably many non-zero values. We classify all infinite dimensional complemented subspaces of $\ell_\infty^c(λ)$, proving that they are isomorphic to $\ell_\infty^c(κ)$ for some cardinal number $κ$. Then we show that the Banach algebra of all bounded linear operators on $\ell_\infty^c(λ)$ or $\ell_\infty(λ)$ has the unique maximal ideal consisting of operators through which the identity operator does not factor. Using similar techniques, we …
We prove that every Banach space, not necessarily separable, can be isometrically embedded into a $\mathcal L_{\infty}$-space in a way that the corresponding quotient has the Radon-Nikodym and the Schur properties. As a consequence, we obtain $\mathcal L_\infty$ spaces of arbitrary large densities with the Schur and the Radon-Nikodym properties. This extents the a classical result by J. Bourgain and G. Pisier.
The maximum of the Banach-Mazur distance $d_{BM}^M(X,\ell_\infty^n)$, where $X$ ranges over the set of all $n$-dimensional real Banach spaces, is difficult to compute. In fact, it is already not easy to get the maximum of $d_{BM}^M(\ell_p^n,\ell_\infty^n)$ for all $p\in [1,\infty]$. We prove that $d_{BM}^M(\ell_p^3,\ell_\infty^3)\leq 9/5,~\forall p\in[1,\infty]$. As an application, the following result related to Borsuk's partition problem in Banach spaces is obtained: any subset $A$ of $\ell_p^3$ having diameter $1$ is the union of $8$ subsets of $A$ whose diameters are at most $0.9$.
We consider the question whether there exists a Banach space $X$ of density continuum such that every Banach space of density not bigger than continuum isomorphically embeds into $X$ (called a universal Banach space of density $\cc$). It is well known that $\ell_\infty/c_0$ is such a space if we assume the continuum hypothesis. However, some additional set-theoretic assumption is needed, as we prove in the main result of this paper that it is consistent with the usual axioms of set-theory that there is no universal Banach space of density $\cc$. Thus, the problem of the existence of a universa…
We prove that a non ergodic Banach space must be near Hilbert. In particular, $\ell_p$ ($2<p<\infty$) is ergodic. This reinforces the conjecture that $\ell_2$ is the only non ergodic Banach space. As an application of our criterion for ergodicity, we prove that there is no separable Banach space which is complementably universal for the class of all subspaces of $\ell_p$, for $1\leq p <2$. This solves a question left open by W. B. Johnson and A. Szankowski in 1976.
This paper is concerned with the isomorphic structure of the Banach space $\ell_\infty/c_0$ and how it depends on combinatorial tools whose existence is consistent but not provable from the usual axioms of ZFC. Our main global result is that it is consistent that $\ell_\infty/c_0$ does not have an orthogonal \break $\ell_\infty$-decomposition that is, it is not of the form $\ell_\infty(X)$ for any Banach space $X$. The main local result is that it is consistent that $\ell_\infty(c_0(\mathfrak{c}))$ does not embed isomorphically into $\ell_\infty/c_0$, where $\mathfrak{c}$ is the cardinality of…
Let $\mathcal A$, $\mathcal B$ be Banach $\mathfrak A$-modules with compatible actions and $\mathcal M$ be a left Banach $\mathcal A$-$\mathfrak A$-module and a right Banach $\mathcal B$-$\mathfrak A$-module. In the current paper, we study module amenability, $n$-weak module amenability and module Arens regularity of the triangular Banach algebra $\mathcal T=[ {cc} \mathcal A & \mathcal M & \mathcal B ]$ (as an $\mathfrak T:=\Big{[ {cc} α& & α ] | α\in\mathfrak A\Big}$-module). We employ these results to prove that for an inverse semigroup $S$ with subsemigroup $E$ of idempotents, the triangul…
In this note we examine the connection between the stable rank one and Dedekind-finite property of the algebra of operators on a Banach space $X$. We show that for the indecomposable but not hereditarily indecomposable Banach space $X_{\infty}$ constructed by Tarbard (Ph.D. Thesis, University of Oxford, 2013), the algebra of operators $B(X_{\infty})$ is Dedekind-finite but does not have stable rank one. While this sheds some light on the Banach space structure of $X_{\infty}$ itself, we observe that the indecomposable but not hereditarily indecomposable Banach space constructed by Gowers and M…
The main result of this paper states that if a Banach space X has the property that every bounded operator from an arbitrary subspace of X into an arbitrary Banach space of cotype 2 extends to a bounded operator on X, then $B(\ell_{\infty},X^*)=Π_2(\ell_{\infty},X^*)$. If in addition X has the Gaussian average property, then it is of type 2. This implies that the same conclusion holds if X has the Gordon-Lewis property (in particular X could be a Banach lattice) or if X is isomorphic to a subspace of a Banach lattice of finite cotype, thus solving the Maurey extension property for these classe…
We shall develop two notions of pointwise amenability, namely pointwise Connes amenability and pointwise $w^*$-approximate Connes amenability, for dual Banach algebras which take the $w^*$-topology into account. We shall study these concepts for the Banach sequence algebras $\ell^1(ω)$ and the weighted semigroup algebras $ \ell^{1}(\mathbb{N}_{\wedge},ω)$. For a weight $ω$ on a discrete semigroup $S$, we shall investigate pointwise amenability/Connes amenability of $\ell^1(S,ω)$ in terms of diagonals.
It is shown that a separable Banach space $X$ can be given an equivalent norm $|\!|\!|\cdot |\!|\!|$ with the following properties:\quad If $(x_n)\subseteq X$ is relatively weakly compact and $\lim_{m\to\infty} \lim_{n\to\infty}\break |\!|\!| x_m + x_n |\!|\!| = 2\lim_{m\to\infty} |\!|\!| x_m|\!|\!|$ then $(x_n)$ converges in norm. This yields a characterization of reflexivity once proposed by V.D.~Milman. In addition it is shown that some spreading model of a sequence in $(X, |\!|\!|\cdot |\!|\!|)$ is 1-equivalent to the unit vector basis of $\ell_1$ (respectively, $c_0$) implies that $X$ con…
We construct for each $0<p\le 1$ an infinite collection of subspaces of $\ell_p$ that extend the example from [J. Lindenstrauss, On a certain subspace of $\ell_{1}$, Bull. Acad. Polon. Sci. Sér. Sci. Math. Astronom. Phys. 12 (1964), 539-542] of a subspace of $\ell_{1}$ with no unconditional basis. The structure of this new class of $p$-Banach spaces is analyzed and some applications to the general theory of $\mathcal{L}_{p}$-spaces for $0<p<1$ are provided. The introduction of these spaces serves the purpose to develop the theory of conditional quasi-greedy bases in $p$-Banach spaces for $p<1$…
We prove that the spaces $\ell_p$, $1<p<\infty, p\ne 2$, and all infinite-dimensional subspaces of their quotient spaces do not admit equivalent almost transitive renormings. This is a step towards the solution of the Banach-Mazur rotation problem, which asks whether a separable Banach space with a transitive norm has to be isometric or isomorphic to a Hilbert space. We obtain this as a consequence of a new property of almost transitive spaces with a Schauder basis, namely we prove that in such spaces the unit vector basis of $\ell_2^2$ belongs to the two-dimensional asymptotic structure and w…
Let $F:X\to X$ be a $C^2_\loc$ map in a Banach space $X$, and $A$ be its Frèchet derivative at the element $w:=w_\ve$, which solves the problem $(\ast) \dotw=-A^{-1}_\ve(F(w)+\ve w)$, $w(0)=w_0$, where $A_\ve:=A+\ve I$. Assume that $\|A^{-1}_\ve\|\leq c \ve^{-k}$, $0<k\leq 1$, $0<\ve>\ve_0$. Then $(\ast)$ has a unique global solution, $w(t)$, there exists $w(\infty)$, and $(\ast\ast) F(w(\infty))+\ve w(\infty)=0$. Thus the DSM (Dynamical Systems Method) is justified for equation $(\ast\ast)$. The limit of $w_\ve$ as $\ve\to 0$ is studied.