Embeddings and frames of function spaces

For every Tychonoff space X we denote by Cp(X) the set of all continuous real-valued functions on X with the pointwise convergence topology, i.e., the topology of subspace of RX. A set P is a frame for the space Cp(X) if Cp(X)⊂P⊂RX. We prove that if Cp(X) embeds in a σ-compact space of countable tightness then X is countable. This shows that it is natural to study when Cp(X) has a frame of countable tightness with some compactness-like property. We prove, among other things, that if X is compact and the space Cp(X) has a Lindelöf frame of countable tightness then t(X)?ω. We give some generalizations of this result for the case of frames as well as for embeddings of Cp(X) in arbitrary spaces.     

A monotone version of the Sokolov property and monotone retractability in function spaces

We introduce the monotone Sokolov property and show that it is dual to monotone retractability in the sense that X   is monotonically retractable if and only if _Cp(X)$C_p(X)$ is monotonically Sokolov. Besides, a space X   is monotonically Sokolov if and only if _Cp(X)$C_p(X)$ is monotonically retractable. Monotone retractability and monotone Sokolov property are shown to be preserved by R$\mathbb{R}$-quotient images and _Fσ$F_{\sigma }$-subspaces. Furthermore, every monotonically retractable space is Sokolov so it is collectionwise normal and has countable extent. We also establish that if X   and _Cp(X)$C_p(X)$ are Lindelöf Σ-spaces then they are both monotonically retractable and have the monotone Sokolov property. An example is given of a space X   such that _Cp(X)$C_p(X)$ has the Lindelöf Σ-property but neither X   nor _Cp(X)$C_p(X)$ is monotonically retractable. We also establish that every Lindelöf Σ-space with a unique non-isolated point is monotonically retractable. On the other hand, each Lindelöf space with a unique non-isolated point is monotonically Sokolov.     

On asymptotics of the q-exponential and q-gamma functions

In this work we present a derivation for the complete asymptotic expansions of Euler?s q-exponential function and Jackson?s q-gamma function via Mellin transform. These formulas are valid everywhere, uniformly on any compact subset of the complex plane.     

On the cohomology of Witt vectors of p-adic integers and a conjecture of Hesselholt

Let K be a complete discrete valued field of characteristic zero with residue field kK of characteristic p>0. Let L/K be a finite Galois extension with Galois group G such that the induced extension of residue fields kL/kK is separable. Hesselholt (2004) [2] conjectured that the pro-abelian group {H¹(G,Wn(OL))}_n∈N is zero, where OL is the ring of integers of L and W(OL) is the ring of Witt vectors in OL w.r.t. the prime p. He partially proved this conjecture for a large class of extensions. In this paper, we prove Hesselholt?s conjecture for all Galois extensions.     

On a family of symmetric hypergeometric functions of several variables and their Euler type integral representation

This paper is devoted to the family {_Gn}$\{G_n\}$ of hypergeometric series of any finite number of variables, the coefficients being the square of the multinomial coefficients (_?1+?+_?n)!/(_?1!…_?n!)$({?}_1+?+{?}_n)!/({?}_1!\dots {?}_n!)$, where n∈_Z?1$n\in {\mathbb{Z}}_{?1}$. All these series belong to the family of the general Appell–Lauricella?s series. It is shown that each function _Gn$G_n$ can be expressed by an integral involving the previous one, _Gn−1$G_{n-1}$. Thus this family can be represented by a multidimensional Euler type integral, what suggests some explicit link with the Gelfand–Kapranov–Zelevinsky?s theory of A  -hypergeometric systems or with the Aomoto?s theory of hypergeometric functions. The quasi-invariance of each function _Gn$G_n$ with regard to the action of a finite number of involutions of C^?n${\mathbb{C}}^{?n}$ is also established. Finally, a particular attention is reserved to the study of the functions _G2$G_2$ and _G3$G_3$, each of which is proved to be algebraic or to be expressed by the Legendre?s elliptic function of the first kind.     

Compact covers and function spaces

For a Tychonoff space X  , we denote by _Cp(X)$C_p(X)$ and _Cc(X)$C_c(X)$ the space of continuous real-valued functions on X equipped with the topology of pointwise convergence and the compact-open topology respectively. Providing a characterization of the Lindelöf Σ-property of X   in terms of _Cp(X)$C_p(X)$, we extend Okunev?s results by showing that if there exists a surjection from _Cp(X)$C_p(X)$ onto _Cp(Y)$C_p(Y)$ (resp. from _Lp(X)$L_p(X)$ onto _Lp(Y)$L_p(Y)$) that takes bounded sequences to bounded sequences, then υY is a Lindelöf Σ-space (respectively K-analytic) if υX has this property. In the second part, applying Christensen?s theorem, we extend Pelant?s result by proving that if X is a separable completely metrizable space and Y   is first countable, and there is a quotient linear map from _Cc(X)$C_c(X)$ onto _Cc(Y)$C_c(Y)$, then Y   is a separable completely metrizable space. We study also a non-separable case, and consider a different approach to the result of J. Baars, J. de Groot, J. Pelant and V. Valov, which is based on the combination of two facts: Complete metrizability is preserved by _?p${?}_p$-equivalence in the class of metric spaces (J. Baars, J. de Groot, J. Pelant). If X   is completely metrizable and _?p${?}_p$-equivalent to a first-countable Y, then Y is metrizable (V. Valov). Some additional results are presented.     

The t-coefficient method II: A new series expansion formula of theta function products and its implications

By means of Jacobi?s triple product identity and the t  -coefficient method, we establish a general series expansion formula with five free parameters for the product of arbitrary two Jacobi theta functions. It embodies the triple, quintuple, sextuple and septuple theta function product identities and the generalized Schröter formula. As further applications, we also set up a series expansion formula for the product of three theta functions. It not only generalizes Ewell?s and Chen–Chen–Huang?s octuple product identities, but also contains three cubic theta function identities due to Farkas–Kra and Ramanujan respectively and the Macdonald identity for the root system _A2$A_2$ as special cases. In the meantime, many other new identities including a new short expression of the triple theta series of Andrews are also presented.     

On extension of isometries and approximate isometries between unit spheres

In this paper, we will study the isometric extension problem for L¹-spaces and prove that every surjective isometry from the unit sphere of L¹(μ) onto that of a Banach space E can be extended to a linear surjective isometry from L¹(μ) onto E. Moreover, we introduce the approximate isometric extension problem and show that, if E and F are Banach spaces and E satisfies the property (m) (special cases are L^∞(Γ), C₀(Ω) and L^∞(μ)), then every bijective ?-isometry between the unit spheres of E and F can be extended to a bijective 5?-isometry between their closed unit balls. At last, we will give an example to show that the surjectivity assumption cannot be omitted. Using this, we solve the non-surjective isometric extension problem in the negative.     

On localization properties of Fourier transforms of hyperfunctions

In [A.G. Smirnov, Fourier transformation of Sato's hyperfunctions, Adv. Math. 196 (2005) 310-345] the author introduced a new generalized function space U(Rk) which can be naturally interpreted as the Fourier transform of the space of Sato's hyperfunctions on Rk. It was shown that all Gelfand-Shilov spaces (α>1) of analytic functionals are canonically embedded in U(Rk). While the usual definition of support of a generalized function is inapplicable to elements of and U(Rk), their localization properties can be consistently described using the concept of carrier cone introduced by Soloviev [M.A. Soloviev, Towards a generalized distribution formalism for gauge quantum fields, Lett. Math. Phys. 33 (1995) 49-59; M.A. Soloviev, An extension of distribution theory and of the Paley-Wiener-Schwartz theorem related to quantum gauge theory, Comm. Math. Phys. 184 (1997) 579-596]. In this paper, the relation between carrier cones of elements of and U(Rk) is studied. It is proved that an analytic functional is carried by a cone K⊂Rk if and only if its canonical image in U(Rk) is carried by K.     

On operator valued sequences of multipliers and R-boundedness

In recent papers (cf. [J.L. Arregui, O. Blasco, (p,q)-Summing sequences, J. Math. Anal. Appl. 274 (2002) 812-827; J.L. Arregui, O. Blasco, (p,q)-Summing sequences of operators, Quaest. Math. 26 (2003) 441-452; S. Aywa, J.H. Fourie, On summing multipliers and applications, J. Math. Anal. Appl. 253 (2001) 166-186; J.H. Fourie, I. Röntgen, Banach space sequences and projective tensor products, J. Math. Anal. Appl. 277 (2) (2003) 629-644]) the concept of (p,q)-summing multiplier was considered in both general and special context. It has been shown that some geometric properties of Banach spaces and some classical theorems can be described using spaces of (p,q)-summing multipliers. The present paper is a continuation of this study, whereby multiplier spaces for some classical Banach spaces are considered. The scope of this research is also broadened, by studying other classes of summing multipliers. Let E(X) and F(Y) be two Banach spaces whose elements are sequences of vectors in X and Y, respectively, and which contain the spaces c₀₀(X) and c₀₀(Y) of all X-valued and Y-valued sequences which are eventually zero, respectively. Generally spoken, a sequence of bounded linear operators (un)⊂L(X,Y) is called a multiplier sequence from E(X) to F(Y) if the linear operator from c₀₀(X) into c₀₀(Y) which maps (xi)∈c₀₀(X) onto (unxn)∈c₀₀(Y) is bounded with respect to the norms on E(X) and F(Y), respectively. Several cases where E(X) and F(Y) are different (classical) spaces of sequences, including, for instance, the spaces Rad(X) of almost unconditionally summable sequences in X, are considered. Several examples, properties and relations among spaces of summing multipliers are discussed. Important concepts like R-bounded, semi-R-bounded and weak-R-bounded from recent papers are also considered in this context.     

On the topology of the Kasparov groups and its applications

In this paper we establish a direct connection between stable approximate unitary equivalence for *-homomorphisms and the topology of the KK-groups which avoids entirely C^*-algebra extension theory and does not require nuclearity assumptions. To this purpose we show that a topology on the Kasparov groups can be defined in terms of approximate unitary equivalence for Cuntz pairs and that this topology coincides with both Pimsner's topology and the Brown-Salinas topology. We study the generalized Rørdam group , and prove that if a separable exact residually finite dimensional C^*-algebra satisfies the universal coefficient theorem in KK-theory, then it embeds in the UHF algebra of type 2^∞. In particular such an embedding exists for the C^*-algebra of a second countable amenable locally compact maximally almost periodic group.     

On the regularity and stability of Pritchard-Salamon systems

Let Σ(S(⋅),B,−) be a Pritchard-Salamon system for (W,V), where W and V are Hilbert spaces. Suppose U is a Hilbert space and F∈L(W,U) is an admissible output operator, SBF(⋅) is the corresponding admissible perturbation C₀-semigroup. We show that the C₀-semigroup SBF(⋅) persists norm continuity, compactness and analyticity of C₀-semigroup S(⋅) on W and V, respectively. We also characterize the compactness and norm continuity of ΔBF(t)=SBF(t)−S(t) for t>0. In particular, we unexpectedly find that ΔBF(t) is norm continuous for t>0 on W and V if the embedding from W into V is compact. Moreover, from this we give some relations between the spectral bounds and growth bounds of SBF(⋅) and S(⋅), so we obtain some new stability results.     

On the base dimension I and the property of universality

In Iliadis (2005) [13] for an ordinal α the notion of the so-called (bn-Ind?α)-dimensional normal base C for the closed subsets of a space X was introduced. This notion is defined similarly to the classical large inductive dimension Ind. In this case we shall write here I(X,C)?α and say that the base dimension I of the space X by the normal base C is less than or equal to α. The classical large inductive dimension Ind of a normal space X, the large inductive dimension Ind₀ of a Tychonoff space X defined independently by Charalambous and Filippov, as well as, the relative inductive dimension defined by Chigogidze for a subspace X of a Tychonoff space Y may be considered as the base dimension I of X by normal bases Z(X) (all closed subsets of X), Z(X) (all functionally closed subsets of X), and , respectively.In the present paper, we shall consider normal bases of spaces consisting of functionally closed subsets. In particular, we introduce new dimension invariant : for a space X, is the minimal element α of the class O∪{−1,∞}, where O is the class of all ordinals, for which there exists a normal base C on X consisting of functionally closed subsets such that I(X,C)?α. We prove that in the class of all completely regular spaces X of weight less than or equal to a given infinite cardinal τ such that there exist universal spaces. However, the following questions are open.(1) Are there universal elements in the class of all normal (respectively, of all compact) spaces X of weight ?τ with ?(2) Are there universal elements in the class of all Tychonoff (respectively, of all normal) spaces X of weight ?τ with Ind₀(X)?n∈ω? (Note that for a compact space X.)     

On the complexity of the multicut problem in bounded tree-width graphs and digraphs

Given an edge- or vertex-weighted graph or digraph and a list of source-sink pairs, the minimum multicut problem consists in selecting a minimum weight set of edges or vertices whose removal leaves no path from each source to the corresponding sink. This is a classical NP-hard problem, and we show that the edge version becomes tractable in bounded tree-width graphs if the number of source-sink pairs is fixed, but remains NP-hard in directed acyclic graphs and APX-hard in bounded tree-width and bounded degree unweighted digraphs. The vertex version, although tractable in trees, is proved to be NP-hard in unweighted cacti of bounded degree and bounded path-width.     

On upper and lower bounds of higher order derivatives for solutions to the 2D micropolar fluid equations

The present paper is concerned with asymptotic behaviours of the solutions to the micropolar fluid motion equations in R². Upper and lower bounds are derived for the L² decay rates of higher order derivatives of solutions to the micropolar fluid flows. The findings are mainly based on the basic estimates of the linearized micropolar fluid motion equations and generalized Gronwall type argument.     

On the work of Basil Gordon

A review is given of several aspects of the work of Basil Gordon. These include: Rogers-Ramanujan identities, plane partitions, the method of weighted words, modular forms and partition congruences, and the asymptotics of partitions and related q-series.     

Existence and multiplicity of semiclassical solutions for a Schrödinger equation

We establish the existence and multiplicity of solutions for the semiclassical nonlinear Schrödinger equation

     

Endomorphisms of the shift dynamical system, discrete derivatives, and applications

All continuous endomorphisms f_∞ of the shift dynamical system S on the 2-adic integers Z₂ are induced by some , where n is a positive integer, B_n is the set of n-blocks over {0, 1}, and f_∞(x)=y₀y₁y₂… where for all i∈N, y_i=f(x_ix_i+1…x_i+n−1). Define D:Z₂→Z₂ to be the endomorphism of S induced by the map {(00,0),(01,1),(10,1),(11,0)} and V:Z₂→Z₂ by V(x)=−1−x. We prove that D, V°D, S, and V°S are conjugate to S and are the only continuous endomorphisms of S whose parity vector function is solenoidal. We investigate the properties of D as a dynamical system, and use D to construct a conjugacy from the 3x+1 function T:Z₂→Z₂ to a parity-neutral dynamical system. We also construct a conjugacy R from D to T. We apply these results to establish that, in order to prove the 3x+1 conjecture, it suffices to show that for any m∈Z⁺, there exists some n∈N such that R⁻¹(m) has binary representation of the form or .