A category analogue of the density topology non-homeomorphic with the $$\mathcal {I}$$ I -density topology

Positivity - The paper deals with the category analogue of a density point and a density topology (with respect to a Lebesgue measure) on the real line which is different from the $$\mathcal {I}$$...     

Multiple walsh series and Zygmund sets

The classical Zygmund theorem claims that, for any sequence of positive numbers {? _n } monotonically tending to zero and any δ > 0, there exists a set of uniqueness for the class of trigonometric serieswhose coefficients aremajorized by the sequence {? _n } whosemeasure is greater than 2π ?δ. In this paper, we prove the analog of Zygmund’s theorem for multiple series in the Walsh system on whose coefficients rather weak constraints are imposed.     

On Parameter Depending Differential Systems Under Carathéodory Conditions

For every λ in a complex domain G, consider on some interval I the initial value problem y′(λ,x) = A(λ,x)y(λ,x) + b(λ,x), y(λ,x₀) - y₀. If this problem satisfies the Carathéodory conditions for every A, then there exist locally absolutely continuous and almost everywhere differentiable solutions y(λ,· ) of the initial value problem. In general, the union N of the exceptional sets N _λ ? I where y(λ, ·) is not differentiate or does not fulfill the differential equation, is not of Lebesgue measure zero. It will be shown that N is of Lebesgue measure zero provided that A and b are holomorphic with respect to λ and their integrals with respect to x are locally bounded on G × I.     

A generalization of the notion of microscopic sets

We investigate families of subsets of the real line defined by nonincreasing sequences of positive real numbers. One of these families coincides with the σ-ideal of microscopic sets. We prove that the union of our families is equal to the σ-ideal of Lebesgue measure zero sets and the intersection of all such families is the σ-ideal of sets of strong measure zero. We also study other properties concerning homeomorphisms between sets of the first category and sets from our families.     

On a problem of littlewood

The theorem on the tending to zero of coefficients of a trigonometric series is proved when theL ¹-norms of partial sums of this series are bounded. It is shown that the analog of Helson's theorem does not hold for orthogonal series with respect to the bounded orthonormal system. Two facts are given that are similar to Weis' theorem on the existence of a trigonometric series which is not a Fourier series and whoseL ¹-norms of partial sums are bounded.     

A class of uniform functions and its relationship with the class of measurable functions

Borel, Lebesgue, and Hausdorff described all uniformly closed families of real-valued functions on a set T whose algebraic properties are just like those of the set of all continuous functions with respect to some open topology on T. These families turn out to be exactly the families of all functions measurable with respect to some σ-additive and multiplicative ensembles on T. The problem of describing all uniformly closed families of bounded functions whose algebraic properties are just like those of the set of all continuous bounded functions remained unsolved. In the paper, a solution of this problem is given with the help of a new class of functions that are uniform with respect to some multiplicative families of finite coverings on T. It is proved that the class of uniform functions differs from the class of measurable functions.     

On the structural properties of the weight space L p(x),ω for 0 < p(x) < 1

The main purpose of this paper is to study the weight space L _p(x),ω for 0 < p(x) < 1 as well as the topology of this space. Embeddings between different Lebesgue spaces with variable exponent of summability are established. In particular, it is proved that the set of all linear continuous functionals over L _p(x),ω for 0 < p(x) < 1 consists only of the zero functional.     

Measurability and the abstract Baire property

Within an abstract theory of point sets the author has successfully unified a substantial number of the analogous theorems concerning Lebesgue measure and Baire category. It has been shown that the Lebesgue measurable sets coincide with the sets having the abstract Baire property with respect to the family of all closed sets of positive Lebesgue measure and the question was raised in [2] whether the sets measurable with respect to certain Hausdorff measures were the same as the sets having the abstract Baire property with respect to the family of all closed sets of positive Hausdorff measure. In this article we establish a general theorem which, under the assumption of the continuum hypothesis, gives an affirmative answer to this question.     

On the divergence of polynomial interpolation

Consider a triangular interpolation scheme on a continuous piecewise C¹ curve of the complex plane, and let Γ be the closure of this triangular scheme. Given a meromorphic function f with no singularities on Γ, we are interested in the region of convergence of the sequence of interpolating polynomials to the function f. In particular, we focus on the case in which Γ is not fully contained in the interior of the region of convergence defined by the standard logarithmic potential. Let us call Γ_out the subset of Γ outside of the convergence region.In the paper we show that the sequence of interpolating polynomials, {P_n}_n, is divergent on all the points of Γ_out, except on a set of zero Lebesgue measure. Moreover, the structure of the set of divergence is also discussed: the subset of values z for which there exists a partial sequence of {P_n(z)}_n that converges to f(z) has zero Hausdorff dimension (so it also has zero Lebesgue measure), while the subset of values for which all the partials are divergent has full Lebesgue measure.The classical Runge example is also considered. In this case we show that, for all z in the part of the interval (−5,5) outside the region of convergence, the sequence {P_n(z)}_n is divergent.     

Lineability criteria,with applications

Lineability is a property enjoyed by some subsets within a vector space X. A subset A of X is called lineable whenever A contains, except for zero, an infinite dimensional vector subspace. If, additionally, X is endowed with richer structures, then the more stringent notions of dense-lineability, maximal dense-lineability and spaceability arise naturally. In this paper, several lineability criteria are provided and applied to specific topological vector spaces, mainly function spaces. Sometimes, such criteria furnish unified proofs of a number of scattered results in the related literature. Families of strict-order integrable functions, hypercyclic vectors, non-extendable holomorphic mappings, Riemann non-Lebesgue integrable functions, sequences not satisfying the Lebesgue dominated convergence theorem, nowhere analytic functions, bounded variation functions, entire functions with fast growth and Peano curves, among others, are analyzed from the point of view of lineability.     

A category Ψ-density topology

Ψ-density point of a Lebesgue measurable set was introduced by Taylor in [Taylor S.J., On strengthening the Lebesgue Density Theorem, Fund. Math., 1958, 46, 305–315] and [Taylor S.J., An alternative form of Egoroff’s theorem, Fund. Math., 1960, 48, 169–174] as an answer to a problem posed by Ulam. We present a category analogue of the notion and of the Ψ-density topology. We define a category analogue of the Ψ-density point of the set A at a point x as the Ψ-density point at x of the regular open representation of A.     

A surjection theorem and a fixed point theorem for a class of positive operators

This paper is concerned with α-convex operators on ordered Banach spaces. A surjection theorem for 1-convex operators in order intervals is established by means of the properties of cone and monotone iterative technique. It is assumed that 1-convex operator A is increasing and satisfies Ay−Ax?M(y−x) for θ?x?y?v₀, where θ denotes the zero element and v₀ is a constant. Moreover, we prove a fixed point theorem for -convex operators by using fixed point theorem of cone expansion. In the end, we apply the fixed point theorem to certain integral equations.     

On the connection between weak and strong convergencies in Cm

In this work wome connections are pursued between weak and strong convergence in the spaces C^m (m-times continuously differentiable functions on Rⁿ). Let f_n, f?C^{m + 1}, where n = 1, 2,…, and m is a nonnegative integer. Suppose that the sequence {f_n} converges to f relative to the weak topology of C^{m + 1}. It is shown that this implies the convergence of {f_n} to f with respect to the strong topology of C^m. Several corollaries to this theorem are established; among them is a sufficient condition for uniform convergence. A stronger result is shown to exist when the sequence constitutes an output sequence of a linear weakly continuous operator.     

A natural extension for the greedy β-transformation with three arbitrary digits

We construct a planar version of the natural extension of the piecewise linear transformation T generating greedy β-expansions with digits in an arbitrary set of real numbers A = {a ₀, a ₁, a ₂}. As a result, we derive in an easy way a closed formula for the density of the unique T-invariant measure µ absolutely continuous with respect to Lebesgue measure. Furthermore, we show that T is exact and weak Bernoulli with respect to µ.     

Existence and uniqueness of C0-semigroup in L∞: a new topological approachExistence et unicité de C0-semigroupe sur L∞

A sub-Markov semigroup in L^∞ is in general not strongly continuous with respect to the norm topology. We introduce a new topology on L^∞ for which the usual sub-Markov semigroups in the literature become C₀-semigroups. This is realized by a natural extension of the Phillips theorem about dual semigroup. A simplified Hille–Yosida theorem is furnished. Moreover this new topological approach will allow us to introduce the notion of L^∞-uniqueness of pre-generator. We present several important pre-generators for which we can prove their L^∞-uniqueness. To cite this article: L. Wu, Y. Zhang, C. R. Acad. Sci. Paris, Ser. I 334 (2002) 699–704.     

Random walks generated by area preserving maps with zero Lyapounov exponents

We study the asymptotic limit distributions of Birkhoff sums S_n of a sequence of random variables of dynamical systems with zero entropy and Lebesgue spectrum type. A dynamical system of this family is a skew product over a translation by an angle α. The sequence has long memory effects. It comes that when α/π is irrational the asymptotic behavior of the moments of the normalized sums S_n/f_n depends on the properties of the continuous fraction expansion of α. In particular, the moments of order k, , are finite and bounded with respect to n when α/π has bounded continuous fraction expansion. The consequences of these properties on the validity or not of the central limit theorem are discussed.     

The global decomposition theorem for Hochschild (co-)homology of singular spaces via the Atiyah-Chern character

We generalize the decomposition theorem of Hochschild, Kostant and Rosenberg for Hochschild (co-)homology to arbitrary morphisms between complex spaces or schemes over a field of characteristic zero. To be precise, we show that for each such morphism X→Y, the Hochschild complex HX/Y, as introduced in [R.-O. Buchweitz, H. Flenner, Global Hochschild (co-)homology of singular spaces, Adv. Math. (2007), doi: 10.1016/j.aim.2007.06.012], decomposes naturally in the derived category D(X) into _⊕p?0Sp(LX/Y[1]), the direct sum of the derived symmetric powers of the shifted cotangent complex, a result due to Quillen in the affine case.Even in the affine case, our proof is new and provides further information. It shows that the decomposition is given explicitly and naturally by the universal Atiyah-Chern character, the exponential of the universal Atiyah class.We further use the decomposition theorem to show that the semiregularity map for perfect complexes factors through Hochschild homology and, in turn, factors the Atiyah-Hochschild character through the characteristic homomorphism from Hochschild cohomology to the graded centre of the derived category.     

On Possible Values of Upper and Lower Derivatives with Respect to Convex Differential Bases

It is proved that if a convex density-like differential basis B is centered and invariant with respect to translations and homotheties, then the integral means of a nonnegative integrable function with respect to B can boundedly diverge only on a set of measure zero (this generalizes a theorem of Guzmán and Menarguez); it is established that both translation and homothety invariances are necessary.     

The Hardy-Littlewood theorem for trigonometric series with generalized monotone coefficients

Earlier we introduced a continuous scale of monotony for sequences (classes M _α, α ≥ 0), where, for example, M ₀ is the set of all nonnegative vanishing sequences, M ₁ is the class of all nonincreasing sequences, tending to zero, etc. In addition, we extended several results obtained for trigonometric series with monotone convex coefficients onto more general classes. The main result of this paper is a generalization of the well-known Hardy—Littlewood theorem for trigonometric series, whose coefficients belong to classes M _α, where α ∈ ( $ \tfrac{1} {2} Earlier we introduced a continuous scale of monotony for sequences (classes M _α, α ≥ 0), where, for example, M ₀ is the set of all nonnegative vanishing sequences, M ₁ is the class of all nonincreasing sequences, tending to zero, etc. In addition, we extended several results obtained for trigonometric series with monotone convex coefficients onto more general classes. The main result of this paper is a generalization of the well-known Hardy—Littlewood theorem for trigonometric series, whose coefficients belong to classes M _α, where α ∈ (, 1). Namely, the following assertion is true. Let α ∈ (, 1), < p < 2, a sequence a ∈ M _α, and . Then the series cos nx converges on (0,2π) to a finite function f(x) and f(x) ∈ L _p (0,2π). Original Russian Text ? M.I. D’yachenko, 2008, published in Izvestiya Vysshikh Uchebnykh Zavedenii, Matematika, 2008, No. 5, pp. 38–47.