We present two new forms in which the Frechet differential of a power series in a Banach algebra can be expressed in terms of absolutely convergent series involving the commutant $C(T):A\mapsto [A,T]$.Then we apply the results to the analytic functional calculus in a complex Banach space.
A class of commutative Banach algebras which satisfy a Bochner-Schoenberg-Eberlein-type inequality was introduced by Takahasi and Hatori. We generalize this property for the commutative Frechet algebra A. Furthermore, some of the main results in the class of Banach algebras, will be verified and generalized for the Frechet case.
Amenability modulo an ideal of a Banach algebra have been defined and studied. In this paper we introduce the concept of amenability modulo an ideal of a Frechet algebra and investigate some known results about amenability modulo an ideal of a Frechet algebra. Also we show that a Frechet algebra A is amenable modulo an ideal if and only if A is isomorphic to a reduced limit of amenable modulo an ideal of Banach algebras.
Takahasi and Hatori introduced a class of commutative Banach algebras which satisfy a Bochner-Schoenberg-Eberlein-type inequality. Baised on their results we introduced a class of commutative Fréchet algebras which satisfy this property. We show that Fréchet C*-algebras and uniform Fréchet algebras are BSE-algebras.
The Banach-Mazur problem, which asks if every infinite-dimensional Banach space has an infinite-dimensional separable quotient space, has remained unsolved for 85 years, but has been answered in the affirmative for special cases such as reflexive Banach spaces. It is also known that every infinite-dimensional non-normable Fréchet space has an infinite-dimensional separable quotient space, namely $\mathbb{R}^ω$. It is proved in this paper that every infinite-dimensional Fréchet space (including every infinite-dimensional Banach space), indeed every locally convex space which has a subspace whic…
Let $X_1, \dots, X_n$ be Banach spaces and $f$ a real function on $X=X_1 \times\dots \times X_n$. Let $A_f$ be the set of all points $x \in X$ at which $f$ is partially Fr\' echet differentiable but is not Fr\' echet differentiable. Our results imply that if $X_1, \dots, X_{n-1}$ are Asplund spaces and $f$ is continuous (resp. Lipschitz) on $X$, then $A_f$ is a first category set (resp. a $σ$-upper porous set). We also prove that if $X$, $Y$ are separable Banach spaces and $f:X \to Y$ is a Lipschitz mapping, then the set of all points $x \in X$ at which $f$ is G\^ ateaux differentiable, is Fr\…
We construct two Frechet algebras admitting countably many mutually inequivalent Frechet algebra topologies. The second example is a modification of the maiden (and first) example of a non-Banach Frechet algebra with two inequivalent Frechet algebra topologies, considered by Read to show that the famous Singer-Wermer conjecture does not hold in the Frechet case. However the conjecture does hold by the second example which also admits countably many mutually equivalent Frechet algebra topologies.
We provide a survey of the similarities and differences between Banach and Frechet algebras including some known results and examples. We also collect some important generalizations in abstract harmonic analysis; for example, the generalization of the concepts of vector-valued Lipschitz algebras, abstract Segal algebras, Arens regularity, amenability, weak amenability, ideal amenability, etc.
In 1952, Michael posed a question about the functional continuity of commutative Frechet algebras in his memoir, known as Michael problem in the literature. We settle this in the affirmative along with its various equivalent forms, even for the non-commutative case. Indeed, we continue our recent works, and develop two approaches to directly attack these problems. The first approach is to show that the test case for this problem, the Frechet algebra of all entire functions on the Banach space of all bounded complex sequences, is, in fact, a Frechet algebra of all complex formal power series in…
In this paper, we introduce and study some notations of amenability such as $n$-ideal amenability and $n$-weak amenability for Frechet algebra and we examine how these concepts in Banach algebra can be generalized and defined for Frechet algebra. We will also examine some inherited properties of $n$-ideal and $n$-weak amenable Frechet algebra and determine the relations between $m$ and $n$-weak amenability and $m$ and $n$-ideal amenability for Frechet algebra. Also, the relation of these new concepts of amenability of a Frechet algebra and its unitization is investigated.
For a Banach algebra A and a closed ideal I, the notion of bounded approximate diagonal modulo I has been studied and investigated. In this paper we define the notion of locally bounded approximate diagonal modulo an ideal I for a Frechet algebra A and obtain the relation between amenability modulo an ideal I and the existence of locally bounded approximate diagonals modulo I.
Inspired by a recent article on Fréchet spaces of ordinary Dirichlet series $\sum a_n n^{-s}$ due to J.~Bonet, we study topological and geometrical properties of certain scales of Fréchet spaces of general Dirichlet spaces $\sum a_n e^{-λ_n s}$. More precisely, fixing a frequency $λ= (λ_n)$, we focus on the Fréchet space of $λ$-Dirichlet series which have limit functions bounded on all half planes strictly smaller than the right half plane $[\mathrm{Re} >0]$. We develop an abstract setting of pre-Fréchet spaces of $λ$-Dirichlet series generated by certain admissible normed spaces of $λ$-Dirich…
In 1978, Dales posed a question about the uniqueness of the (F)-algebra topology for (F)-algebras of power series in k indeterminates. We settle this in the affirmative for Frechet algebras of power series in k indeterminates. The proof goes via first completely characterizing these algebras; in particular, it is shown that the Beurling-Frechet algebras of semiweight type do not satisfy a certain equicontinuity condition due to Loy. Some applications to the theory of automatic continuity are also given, in particular the case of Frechet algebras of power series in infinitely many indeterminate…
The diametral dimension, $Δ(E)$, and the approximate diametral dimension, $δ(E)$ of an element $E$ of a large class of nuclear Fréchet spaces are set theoretically between the corresponding invariant of power series spaces $Λ_{1}(\varepsilon)$ and $Λ_{\infty}(\varepsilon)$ for some exponent sequence $\varepsilon$. Aytuna et al., \cite{AKT2}, proved that $E$ contains a complemented subspace which is isomorphic to $Λ_{\infty}(\varepsilon)$ provided $Δ(E)=Δ( Λ_{\infty}(\varepsilon))$ and $\varepsilon$ is stable. In this article, we will consider the other extreme case and we proved that in this l…
In this paper, we give conditions under which we can compute the conjugate of a convex function on the product of two Frechet spaces defined in terms of another convex function on the product of two (possibly different) Frechet spaces. We use this result to give simple proofs of some (both old and new) results for Banach spaces, and deduce some (both old and new) stability results for strongly representable multifunctions. We take as our starting point a result on closed convex cones in the product of two Frechet spaces.
We introduce global wave-front sets $\operatorname{WF}_{\mathcal B} (f)$, $f\in {\mathscr S}^\prime(\textbf{R}^d)$, with respect to suitable Banach or Fréchet spaces ${\mathcal B}$. An important special case is given by the modulation spaces ${\mathcal B}=M(ω,\mathscr B)$, where $ω$ is an appropriate weight function and $\mathscr B$ is a translation invariant Banach function space. We show that the standard properties for known notions of wave-front set extend to $\operatorname{WF}_{\mathcal B} (f)$. In particular, we prove that micro locality and microellipticity hold for a class of globally …
The abscissas of convergence, uniform convergence and absolute convergence of vector valued Dirichlet series with respect to the original topology and with respect to the weak topology $σ(X,X')$ of a locally convex space $X$, in particular of a Banach space $X$, are compared. The relation of their coincidence with geometric or topological properties of the underlying space $X$ is investigated. Cotype in the context of Banach spaces, and nuclearity and certain topological invariants for Fréchet spaces play a relevant role.
We study some properties of the randomized series and their applications to the geometric structure of Banach spaces. For $n\ge 2$ and $1<p<\infty$, it is shown that $\ell_\infty^n$ is representable in a Banach space $X$ if and only if it is representable in the Lebesgue-Bochner $L_p(X)$. New criteria for various convexity properties in Banach spaces are also studied. It is proved that a Banach lattice $E$ is uniformly monotone if and only if its $p$-convexification $E^{(p)}$ is uniformly convex and that a Köthe function space $E$ is upper locally uniformly monotone if and only if its $p$-conv…
A mathematical framework is developed for the analysis of causal fermion systems in the infinite-dimensional setting. It is shown that the regular spacetime point operators form a Banach manifold endowed with a canonical Fréchet-smooth Riemannian metric. The so-called expedient differential calculus is introduced with the purpose of treating derivatives of functions on Banach spaces which are differentiable only in certain directions. A chain rule is proven for Hölder continuous functions which are differentiable on expedient subspaces. These results are made applicable to causal fermion syste…
In this paper we study the Lie theoretic properties of a class of topological groups which carry a Banach manifold structure but whose multiplication is not smooth. If $G$ and $N$ are Banach-Lie groups and $π: G \to \mathrm{Aut}(N)$ is a homomorphism defining a continuous action of $G$ on $N$, then $H := N \rtimes_πG$ is a Banach manifold with a topological group structure for which the left multiplication maps are smooth, but the right multiplication maps need not to be. We show that these groups share surprisingly many properties with Banach-Lie groups: (a) for every regulated function $ξ: […
We present a sufficient condition for a Banach space to have the approximate hyperplane series property (AHSP) which actually covers all known examples. We use this property to get a stability result to vector-valued spaces of integrable functions. On the other hand, the study of a possible Bishop-Phelps-Bollobás version of a classical result of V. Zizler leads to a new characterization of the AHSP for dual spaces in terms of $w^*$-continuous operators and other related results.
We give examples showing that the usual Artin Approximation theorems valid for convergent series over a field are no longer true for convergent series over a commutative Banach algebra. In particular we construct an example of a commutative integral Banach algebra $R$ such that the ring of formal power series over $R$ is not flat over the ring of convergent power series over $R$.
We study the Bishop-Phelps-Bollobás property for operators between Banach spaces. Sufficient conditions are given for generalized direct sums of Banach spaces with respect to a~uniformly monotone Banach sequence lattice to have the approximate hyperplane series property. This result implies that Bishop-Phelps-Bollobás theorem holds for operators from $\ell_1$ into such direct sums of Banach spaces. We also show that the direct sum of two spaces with the approximate hyperplane series property has such property whenever the norm of the direct sum is absolute.
Suppose that $X$ is a Banach space. We will show that $X$ does not contain a copy of $c_0$ if and only if for each series which is not unconditionally convergent in $X$ respective sets coding all bounded subseries and rearrangements are meager. We use Bessaga-Pełczy{ń}ski $c_0-$Theorem and concept of uniformly unconditionally bounded series. Moreover we prove similar result for the ideal boundedness for a class of Baire ideals using Talagrand's characterisation.
The Hardy spaces of Dirichlet series denoted by ${\cal H}^p$ ($p\ge1$) have been studied in [12] when p = 2 and in [3] for the general case. In this paper we study some Lp-generalizations of spaces of Dirichlet series, particularly two families of Bergman spaces denoted ${\cal A}^p$ and ${\cal B}^p$. We recover classical properties of spaces of analytic functions: boundedness of point evaluation, embeddings between these spaces and "Littlewood-Paley" formulas when p = 2. We also show that the ${\cal B}^p$ spaces have properties similar to the classical Bergman spaces of the unit disk while the…
We study linear and algebraic structures in sets of Dirichlet series with maximal Bohr's strip. More precisely, we consider a set $\mathscr M$ of Dirichlet series which are uniformly continuous on the right half plane and whose strip of uniform but not absolute convergence has maximal width, i.e., $\frac{1}{2}$. Considering the uniform norm, we show that $\mathscr M$ contains an isometric copy of $\ell_1$ (except zero) and is strongly $\aleph_0$-algebrable. Also, there is a dense $G_δ$ set such that any of its elements generates a free algebra contained in $\mathscr M\cup \{0\}$. Furthermore, …
As objects of study in functional analysis, Hilbert spaces stand out as special objects of study as do nuclear spaces in view of a rich geometrical structure they possess as Banach and Frechet spaces, respectively. On the other hand, there is the class of Banach spaces including certain function spaces and sequence spaces which are distinguished by a poor geometrical structure and are subsumed under the class of so-called Hilbert-Schmidt spaces. It turns out that these three classes of spaces are mutually disjoint in the sense that they intersect precisely in finite dimensional spaces. However…
In this paper we establish some new results concerning the Cauchy-Peano problem in Banach spaces. Firstly, we prove that if a Banach space $E$ admits a fundamental biorthogonal system, then there exists a continuous vector field $f\colon E\to E$ such that the autonomous differential equation $u'=f(u)$ has no solutions at any time. The proof relies on a key result asserting that every infinite-dimensional Fréchet space with a fundamental biorthogonal system possesses a nontrivial separable quotient. The later, is the byproduct of a mixture of known results on barrelledness and two fundamental r…
The Bohr-Bohnenblust-Hille Theorem states that the width of the strip in the complex plane on which an ordinary Dirichlet series $\sum_n a_n n^{-s}$ converges uniformly but not absolutely is less than or equal to 1/2, and this estimate is optimal. Equivalently, the supremum of the absolute convergence abscissas of all Dirichlet series in the Hardy space $\mathcal{H}_\infty$ equals 1/2. By a surprising fact of Bayart the same result holds true if $\mathcal{H}_\infty$ is replaced by any Hardy space $\mathcal{H}_p$, $1 \le p < \infty$, of Dirichlet series. For Dirichlet series with coefficients i…
We prove that weakly unconditionally Cauchy (w.u.C.) series and unconditionally converging (u.c.) series are preserved under the action of polynomials or holomorphic functions on Banach spaces, with natural restrictions in the latter case. Thus it is natural to introduce the unconditionally converging polynomials, defined as polynomials taking w.u.C. series into u.c.\ series, and analogously, the unconditionally converging holomorphic functions. We show that most of the classes of polynomials which have been considered in the literature consist of unconditionally converging polynomials. Then w…
We strengthen the property $Δ$ of a function $f:[ω_2]^2\rightarrow [ω_2]^{\leq ω}$ considered by Baumgartner and Shelah. This allows us to consider new types of amalgamations in the forcing used by Rabus, Juhász and Soukup to construct thin-very tall compact scattered spaces. We consistently obtain spaces $K$ as above where $K^n$ is hereditarily separable for each $n\in\N$. This serves as a counterexample concerning cardinal functions on compact spaces as well as having some applications in Banach spaces: the Banach space $C(K)$ is an Asplund space of density $\aleph_2$ which has no Fréchet sm…
In this paper we provide a complete study of the spectrum of a constant coefficients differential operator on a scale of localized Sobolev spaces, $H^{s}_{loc}(I),$ which are Fréchet spaces. This is quite different from what we find in the literature, where all the relevant results are concerned with spectrum on Banach spaces. Our aim is to understand the behavior of all the three types of spectrum (point, residual and continuous) and the relation between them and those of the dual operator. The main result we present shows that there is no complex number in the resolvent set of such operators…