Projectively bounded Fréchet measures

A scalar valued set function on a Cartesian product of -algebras is a Fréchet measure if it is a scalar measure independently in each coordinate. A basic question is considered: is it possible to construct products of Fréchet measures that are analogous to product measures in the classical theory? A Fréchet measure is said to be projectively bounded if it satisfies a Grothendieck type inequality. It is shown that feasibility of products of Fréchet measures is linked to the projective boundedness property. All Fréchet measures in a two dimensional framework are projectively bounded, while there exist Fréchet measures in dimensions greater than two that are projectively unbounded. A basic problem is considered: when is a Fréchet measure projectively bounded? Some characterizations are stated. Applications to harmonic and stochastic analysis are given.

     

Workshop lecture on products of Fréchet spaces

The general question, “When is the product of Fréchet spaces Fréchet?” really depends on the questions of when a product of α₄ Fréchet spaces (also known as strongly Fréchet or countably bisequential spaces) is α₄, and when it is Fréchet. Two subclasses of the class of strongly Fréchet spaces shed much light on these questions. These are the class of α₃ Fréchet spaces and its subclass of ℵ₀-bisequential spaces. The latter is closed under countable products, the former not even under finite products. A number of fundamental results and open problems are recalled, some further highlighting the difference between being α₃ and Fréchet and being ℵ₀-bisequential.     

Hypercyclic subspaces for Fréchet space operators

A continuous linear operator is hypercyclic if there is an x∈X such that the orbit {Tnx} is dense, and such a vector x is said to be hypercyclic for T. Recent progress show that it is possible to characterize Banach space operators that have a hypercyclic subspace, i.e., an infinite dimensional closed subspace H⊆X of, except for zero, hypercyclic vectors. The following is known to hold: A Banach space operator T has a hypercyclic subspace if there is a sequence (ni) and an infinite dimensional closed subspace E⊆X such that T is hereditarily hypercyclic for (ni) and Tni→0 pointwise on E. In this note we extend this result to the setting of Fréchet spaces that admit a continuous norm, and study some applications for important function spaces. As an application we also prove that any infinite dimensional separable Fréchet space with a continuous norm admits an operator with a hypercyclic subspace.     

Tightness and distinguished Fréchet spaces

Valdivia invented a nondistinguished Fréchet space whose weak bidual is quasi-Suslin but not K-analytic. We prove that Grothendieck/Köthe's original nondistinguished Fréchet space serves the same purpose. Indeed, a Fréchet space is distinguished if and only if its strong dual has countable tightness, a corollary to the fact that a (DF)-space is quasibarrelled if and only if its tightness is countable. This answers a Cascales/K?kol/Saxon question and leads to a rich supply of (DF)-spaces whose weak duals are quasi-Suslin but not K-analytic, including the spaces Cc(κ) for κ a cardinal of uncountable cofinality. Our level of generality rises above (DF)- or even dual metric spaces to Cascales/Orihuela's class G. The small cardinals b and d invite a novel analysis of the Grothendieck/Köthe example, and are useful throughout.     

Productive local properties of function spaces

We characterize the spaces X for which the space Cp(X) of real valued continuous functions with the topology of pointwise convergence has local properties related to the preservation of countable tightness or the Fréchet property in products. In particular, we use the methods developed to construct an uncountable subset W of the real line such that the product of Cp(W) with any strongly Fréchet space is Fréchet. The example resolves an open question.     

The space of scalarly integrable functions for a Fréchet-space-valued measure

The space of all scalarly integrable functions with respect to a Fréchet-space-valued vector measure ν is shown to be a complete Fréchet lattice with the σ-Fatou property which contains the (traditional) space L¹(ν), of all ν-integrable functions. Indeed, L¹(ν) is the σ-order continuous part of . Every Fréchet lattice with the σ-Fatou property and containing a weak unit in its σ-order continuous part is Fréchet lattice isomorphic to a space of the kind .     

The property (DN) and the exponential representation of holomorphic functions

It is shown that a nuclear Fréchet spaceE has the property (DN) if and only if every holomorphic function onE ^*, the strongly dual space ofE, with values in the strongly dual space of a Fréchet spaceF having the property ( ) can be represented in the exponential form. Moreover, it is shown that the space of holomorphic functions onC , the space of all complex number sequences, has a linearly absolutely exponential representation system. But the space of holomorphic functions onE ^* does not have such a system whenE is a nuclear Fréchet space that does not have the property (DN).Supported by the State Program for Fundamental Researches in Natural Sciences     

Attainment and (sub)differentiability of the infimal convolution of a function and the square of the norm

Let X be a Banach space whose norm is simultaneously LUR and Gateaux (Fréchet) smooth. Under some assumptions, it is shown that the infimal convolution of a fairly general function on X and the square of the norm is generically strongly attained and hence is Gateaux (Fréchet) differentiable. This contains a result of S. Dutta on distance functions.     

Block sequences in nuclear Fréchet spaces with basis

It is shown that a block sequence in a nuclear Fréchet space with a basis has a block extension if and only if the subspace it generates is complemented. In addition, a short proof is given of the following result of Dubinsky and Robinson: a nuclear Fréchet space is isomorphic to = R^N, N = {1,2,...} if it has a basis such that any block sequence with blocks of length 2 of any permutation of this basis has a block extension. It is shown that a similar result holds without considering permutations of the basis if the length of the blocks is arbitrary.Translated from Matematicheskie Zametki, Vol. 17, No. 6, pp. 899–908, June, 1975.The author wishes to thank B. S. Mityagin for calling his attention to this problem and for his valuable suggestions.     

An inverse function theorem in Fréchet spaces

I present an inverse function theorem for differentiable maps between Fréchet spaces which contains the classical theorem of Nash and Moser as a particular case. In contrast to the latter, the proof does not rely on the Newton iteration procedure, but on Lebesgue's dominated convergence theorem and Ekeland's variational principle. As a consequence, the assumptions are substantially weakened: the map F to be inverted is not required to be C², or even C¹, or even Fréchet-differentiable.     

Differentiability of C0-semigroups with respect to parameters and its application

In this paper we discuss some continuous dependency between a C₀-semigroup and its parameter. We first get the following results: if the infinitesimal generator of a C₀-semigroup is continuous in the generalized sense, strongly (or weakly) Fréchet continuously differentiable, or strongly (or weakly) Gâteaux continuously differentiable with respect to the parameter, respectively, so is the corresponding C₀-semigroup. We then obtain corresponding expressions for the differential operators. Finally, the obtained results are applied to a mixed initial-boundary value problem of a semi-linear parabolic equation, and it is proved that the solution of the equation is Fréchet continuously differentiable with respect to the leading variable coefficient of the equation.     

On Topological Classification of Non-Archimedean Fréchet Spaces

We prove that any infinite-dimensional non-archimedean Fréchet space E is homeomorphic to where D is a discrete space with card(D) = dens(E). It follows that infinite-dimensional non-archimedean Fréchet spaces E and F are homeomorphic if and only if dens(E) = dens(F). In particular, any infinite-dimensional non-archimedean Fréchet space of countable type over a field is homeomorphic to the non-archimedean Fréchet space .     

On closed subspaces with Schauder bases in non-archimedean Fréchet spaces

The main purpose of this paper is to prove that a non-archimedean Fréchet space of countable type is normable (respectively nuclear; reflexive; a Montel space) if and only if any its closed subspace with a Schauder basis is normable (respectively nuclear; reflexive; a Montel space). It is also shown that any Schauder basis in a non-normable non-archimedean Fréchet space has a block basic sequence whose closed linear span is nuclear. It follows that any non-normable non-archimedean Fréchet space contains an infinite-dimensional nuclear closed subspace with a Schauder basis. Moreover, it is proved that a non-archimedean Fréchet space E with a Schauder basis contains an infinite-dimensional complemented nuclear closed subspace with a Schauder basis if and only if any Schauder basis in E has a subsequence whose closed linear span is nuclear.     

The density condition and distinguishedness for weighted Fréchet spaces of holomorphic functions

We consider weighted Fréchet spaces of holomorphic functions which are defined as countable intersections of weighted Banach spaces of type H^∞. We study when these spaces have Stefan Heinrich's density condition and when they are distinguished.     

Conditional Fredholm determinant for the S-periodic orbits in Hamiltonian systems

For S being a symplectic orthogonal matrix on R2n, the S-periodic orbits in Hamiltonian systems are a solution which satisfies x(0)=Sx(T) for some period T. This paper is devoted to establishing the theory of conditional Fredholm determinant in studying the S-periodic orbits in Hamiltonian systems. First, we study the property of the conditional Fredholm determinant, such as the Fréchet differentiability, the splittingness for the cyclic type symmetric solutions. Also, we generalize the Hill formula originally gotten by Hill and Poincaré. More precisely, let M be the monodromy matrix of the S-periodic orbits, then we get the formula relating the characteristic polynomial of the matrix SM and the conditional Fredhom determinant. Moreover, we study the relation of the conditional Fredholm determinant and the relative Morse index. Applications to the problem of linear stability for the S-periodic orbits are given.     

Metrizability of spaces of holomorphic functions with the Nachbin topology

In this paper we prove, among other things, that the space of all holomorphic functions on an open subset U of a complex metrizable space E, endowed with the Nachbin ported topology, is metrizable only if E has finite dimension. This answers a question by Mujica in [J. Mujica, Gérmenes holomorfos y funciones holomorfas en espacios de Fréchet, Publicaciones del Departamento de Teoría de Funciones, Universidad de Santiago, Spain, 1978].     

Spectral invariance of smooth crossed products, and rapid decay locally compact groups

We show that all rapid-decay locally compact groups are unimodular and that the set of rapid-decay functions on a locally compact rapidly decaying group forms a dense and spectral invariant Fréchet *-subalgebra of the reduced group C ^*-algebra. In general, the set of rapid-decay functions on a locally compact strongly rapid-decay group with values in a commutative C ^*-algebra forms a dense and spectral invariant Fréchet *-subalgebra of the twisted crossed product C ^*-algebra. The spectral invariance property implies that the K-theories of both algebras are naturally isomorphic under inclusion.This project is supported in part by the National Science Foundation Grant #DMS 92-04005.     

Second-order subdifferentials and convexity of real-valued functions

In this paper we show that the positive semi-definiteness (PSD) of the Fréchet and/or Mordukhovich second-order subdifferentials can recognize the convexity of C¹ functions. However, the PSD is insufficient for ensuring the convexity of a locally Lipschitz function in general. A complete characterization of strong convexity via the second-order subdifferentials is also given.     

Proper forcing axiom and selective separability

We continue the study of Selectively Separable (SS) and, a game-theoretic strengthening, strategically selectively separable spaces (SS⁺) (see Barman, Dow (2011) [1]). The motivation for studying SS⁺ is that it is a property possessed by all separable subsets of Cp(X) for each σ-compact space X. We prove that the winning strategy for countable SS⁺ spaces can be chosen to be Markov. We introduce the notion of being compactlike for a collection of open sets in a topological space and with the help of this notion we prove that there are two countable SS⁺ spaces such that the union fails to be SS⁺, which contrasts the known result about SS spaces. We also prove that the product of two countable SS⁺ spaces is again countable SS⁺. One of the main results in this paper is that the proper forcing axiom, PFA, implies that the product of two countable Fréchet spaces is SS, a statement that was shown in Barman, Dow (2011) [1] to consistently fail. An auxiliary result is that it is consistent with the negation of CH that all separable Fréchet spaces have π-weight at most ω₁.