On -convergence of Fourier series

In this paper we consider the trigonometric Fourier series with the β-general monotone coefficients. Necessary and sufficient conditions of L₁-convergence for such a series, that is f−S_n=o(1), are obtained in terms of coefficients.     

Norm of weighted composition operators from -Bloch spaces to weighted-type spaces

We calculate in an elegant way operator norm of the weighted composition operator from the α-Bloch space, with α(0,∞){1}, to a weighted-type space on the unit ball. This result can be regarded as a complement to our recent result regarding the same problem for the case α=1.     

Completions of -algebras

A μ-algebra is a model of a first-order theory that is an extension of the theory of bounded lattices, that comes with pairs of terms (f,μ_x.f) where μ_x.f is axiomatized as the least prefixed point of f, whose axioms are equations or equational implications.Standard μ-algebras are complete meaning that their lattice reduct is a complete lattice. We prove that any nontrivial quasivariety of μ-algebras contains a μ-algebra that has no embedding into a complete μ-algebra.We then focus on modal μ-algebras, i.e. algebraic models of the propositional modal μ-calculus. We prove that free modal μ-algebras satisfy a condition–reminiscent of Whitman’s condition for free lattices–which allows us to prove that (i) modal operators are adjoints on free modal μ-algebras, (ii) least prefixed points of Σ₁-operations satisfy the constructive relation μ_x.f=_n≥0fⁿ(). These properties imply the following statement: the MacNeille–Dedekind completion of a free modal μ-algebra is a complete modal μ-algebra and moreover the canonical embedding preserves all the operations in the class of the fixed point alternation hierarchy.     

Interlacing and spacing properties of zeros of polynomials, in particular of orthogonal and -minimal polynomials,

Let be a sequence of polynomials with real coefficients such that uniformly for [α-δ,β+δ] with G(eⁱ)≠0 on [α,β], where 0α<βπ and δ>0. First it is shown that the zeros of are dense in [α,β], have spacing of precise order π/n and are interlacing with the zeros of p_n+1(cos) on [α,β] for every nn₀. Let be another sequence of real polynomials with uniformly on [α-δ,β+δ] and on [α,β]. It is demonstrated that for all sufficiently large n the zeros of p_n(cos) and strictly interlace on [α,β] if on [α,β]. If the last expression is zero then a weaker kind of interlacing holds. These interlacing properties of the zeros are new for orthogonal polynomials also. For instance, for large n a simple criteria for interlacing of zeros of Jacobi polynomials on [-1+,1-], >0, is obtained. Finally it is shown that the results hold for wide classes of weighted L_q-minimal polynomials, q[1,∞], linear combinations and products of orthogonal polynomials, etc.     

Positive solutions for Robin problem involving the -Laplacian

Consider Robin problem involving the p(x)-Laplacian on a smooth bounded domain Ω as follows

Applying the sub-supersolution method and the variational method, under appropriate assumptions on f, we prove that there exists λ_*>0 such that the problem has at least two positive solutions if λ(0,λ_*), has at least one positive solution if λ=λ_*<+∞ and has no positive solution if λ>λ_*. To prove the results, we prove a norm on W^1,p(x)(Ω) without the part of ||_L^p(x)(Ω) which is equivalent to usual one and establish a special strong comparison principle for Robin problem.     

Nonnegative iterations with asymptotically constant coefficients

Let A_k,k=0,1,2,…, be a sequence of real nonsingular n×n matrices which converge to a nonsingular matrix A. Suppose that A has exactly one positive eigenvalue λ and there exists a unique nonnegative vector u with properties Au=λu and u=1. Under further additional conditions on the spectrum of A, it is shown that if x₀≠0 and the iterates

are nonnegative, then converges to u and converges to λ as k→∞.     

The Fréchet and limiting subdifferentials of integral functionals on the spaces

A new approach to computing the Fréchet subdifferential and the limiting subdifferential of integral functionals is proposed. Thanks to this way, we obtain formulae for computing the Fréchet and limiting subdifferentials of the integral functional , uL₁(Ω,E). Here is a measured space with an atomless σ-finite complete positive measure, E is a separable Banach space, and . Under some assumptions, it turns out that these subdifferentials coincide with the Fenchel subdifferential of F.     

Uniform Kazhdan constant for some families of linear groups

Let R be a ring generated by l elements with stable range r. Assume that the group EL_d(R) has Kazhdan constant ₀>0 for some dr+1. We prove that there exist (₀,l)>0 and , s.t. for every nd, EL_n(R) has a generating set of order k and a Kazhdan constant larger than . As a consequence, we obtain for where n3, a Kazhdan constant which is independent of n w.r.t. generating set of a fixed size.     

The topological structure of fuzzy sets with endograph metric

For a non-degenerate convex subset Y of the n-dimensional Euclidean space Rⁿ, let be the family of all fuzzy sets ofRⁿ, which are upper-semicontinuous, fuzzy convex and normal with compact supports contained in Y. We show that the space with the topology of endograph metric is homeomorphic to the Hilbert cube Q=[-1,1]^ω iff Y is compact; and the space is homeomorphic to {(x_n)Q:sup|x_n|<1} iff Y is non-compact and locally compact.     

Solvability of the -Laplacian with nonlocal boundary conditions

Rather mild sufficient conditions are provided for the existence of positive solutions of a boundary value problem of the form

which unify several cases discussed in the literature. In order to formulate these conditions one needs to know only properties of the homeomorphism and have information about the level of growth of the response operator F. No metric information concerning the linear operators L₀,L₁ in the boundary conditions is used, except that they are positive and continuous and such that L_j(1)<1 j{0,1}.     

Strong Haagerup inequalities with operator coefficients

We prove a Strong Haagerup inequality with operator coefficients. If for an integer d, denotes the subspace of the von Neumann algebra of a free group F_I spanned by the words of length d in the generators (but not their inverses), then we provide in this paper an explicit upper bound on the norm on , which improves and generalizes previous results by Kemp–Speicher (in the scalar case) and Buchholz and Parcet–Pisier (in the non-holomorphic setting). Namely the norm of an element of the form ∑_{i=(i1,…,id)}a_iλ(g_i1g_id) is less than , where M₀,…,M_d are d+1 different block-matrices naturally constructed from the family (a_i)_iI^d for each decomposition of I^dI^l×I^d−l with l=0,…,d. It is also proved that the same inequality holds for the norms in the associated non-commutative L_p spaces when p is an even integer, pd and when the generators of the free group are more generally replaced by *-free -diagonal operators. In particular it applies to the case of free circular operators. We also get inequalities for the non-holomorphic case, with a rate of growth of order d+1 as for the classical Haagerup inequality. The proof is of combinatorial nature and is based on the definition and study of a symmetrization process for partitions.     

Widths of weighted Sobolev classes on the ball

We study the Kolmogorov n-widths and the linear n-widths of weighted Sobolev classes on the unit ball B^d in L_q,μ, where L_q,μ, 1≤q≤∞, denotes the weighted L_q space of functions on B^d with respect to weight . Optimal asymptotic orders of and as n→∞ are obtained for all 1≤p,q≤∞ and μ≥0.     

Kernel estimates and -spectral independence of generators of -semigroups

After the appearance of W. Arendt's result that “Gaussian estimate of a semigroup implies the L^p-spectral independence of the generator,” various generalizations have been obtained. This paper shows that a certain kernel estimate of a semigroup implies the L^p-spectral independence of the generator, generalizing the case of upper Gaussian estimate and “Gaussian estimate of order α(0,1] [S. Miyajima, H. Shindoh, Gaussian estimates of order α and L^p-spectral independence of generators of C₀-semigroups, Positivity 11 (1) (2007) 15–39], Definition 3.1.” The proof uses S. Karrmann's result about the L^p-spectral independence and B.A. Barnes' theorem about the spectrum of integral operators. As an application, the L^p-spectral independence of −[(−Δ)^α+V] (α(0,1]) for a suitable V is proved with the help of a recent result by V. Liskevich, H. Vogt and J. Voigt [V. Liskevich, H. Vogt, J. Voigt, Gaussian bounds for propagators perturbed by potentials, J. Funct. Anal. 238 (2006) 245–277].     

Existence results for -point boundary value problem of second order ordinary differential equations

This study concerns the existence of positive solutions to the boundary value problemwhere ξ_i(0,1) with 0<ξ₁<ξ₂<<ξ_n-2<1, a_i, b_i[0,∞) with and . By applying the Krasnoselskii's fixed-point theorem in Banach spaces, some sufficient conditions guaranteeing the existence of at least one positive solution or at least two positive solutions are established for the above general n-point boundary value problem.     

Strong and uniform mean stability of cosine and sine operator functions

It is first observed that a uniformly bounded cosine operator function C() and the associated sine function S() are totally non-stable. Then, using a zero-one law for the Abel limit of a closed linear operator, we prove some results concerning strong mean stability and uniform mean stability of C(). Among them are: (1) C() is strongly (C,1)-mean stable (or (C,2)-mean stable, or Abel-mean stable) if and only if 0ρ(A)σ_c(A); (2) C() is uniformly (C,2)-mean stable if and only if S() is uniformly (C,1)-mean stable, if and only if , if and only if , if and only if C() is uniformly Abel-mean stable, if and only if S() is uniformly Abel-mean stable, if and only if 0ρ(A).     

Christoffel-type functions for -orthogonal polynomials for Freud weights

This paper gives upper and lower bounds of the Christoffel-type functions , for the m-orthogonal polynomials for a Freud weight W=e^-Q, which are given as follows. Let a_n=a_n(Q) be the nth Mhaskar–Rahmanov–Saff number, φ_n(x)=max{n^-2/3,1-|x|/a_n}, and d>0. Assume that QC(R) is even, , and for some A,B>1

Then for xR

and for |x|a_n(1+dn^-2/3)

     

Construction of nonseparable dual -wavelet frames in

Suppose and are two pairs of dual M-wavelet frames and N-wavelet frames in and , respectively, where M and N are s₁×s₁ and s₂×s₂ dilation matrices with a₁(|det(M)|-1) and (2a₂+1)(|det(N)|-1). Moreover, their mask symbols both satisfy mixed extension principle (MEP). Based on the mask symbols, a family of nonseparable dual Ω-wavelet frames in are constructed, where s=s₁+s₂, and with Θ and M^-1Θ both being integer matrices. Then a convolution scheme for improving regularity of wavelet frames is given. From the nonseparable dual Ω-wavelet frames, nonseparable Ω-wavelet frames with high regularity can be constructed easily. We give an algorithm for constructing nonseparable dual symmetric or antisymmetric wavelet frames in . From the dual Ω-wavelet frames, nonseparable dual Ω-wavelet frames with symmetry can be obtained easily. In the end, two examples are given.     

On scatteredly continuous maps between topological spaces

A map f:X→Y between topological spaces is defined to be scatteredly continuous if for each subspace AX the restriction f|A has a point of continuity. We show that for a function f:X→Y from a perfectly paracompact hereditarily Baire Preiss–Simon space X into a regular space Y the scattered continuity of f is equivalent to (i) the weak discontinuity (for each subset AX the set D(f|A) of discontinuity points of f|A is nowhere dense in A), (ii) the piecewise continuity (X can be written as a countable union of closed subsets on which f is continuous), (iii) the G_δ-measurability (the preimage of each open set is of type G_δ). Also under Martin Axiom, we construct a G_δ-measurable map f:X→Y between metrizable separable spaces, which is not piecewise continuous. This answers an old question of V. Vinokurov.     

Finitely additive representation of spaces

Let be any atomless and countably additive probability measure on the product space with the usual σ-algebra. Then there is a purely finitely additive probability measure λ on the power set of a countable subset such that can be isometrically isomorphically embedded as a closed subspace of L^p(λ). The embedding is strict. It is also ‘canonical,’ in the sense that it maps simple and continuous functions on to their restrictions to T.