The maximal (C,α,β) operator on Hp(T×T)

The two-dimensional classical Hardy space H_p(T×T) on the bidisc are introduced, and it is shown that the maximal operator of the (C,α,β) means of a distribution is bounded from the space H_p(T×T) to L_p(T²) (1/(α+1), 1/(β+1)<p≤∞), and is of weak type (H ₁ ^# (T×T), L₁(T²)), where the Hardy space H ₁ ^# (T×T) is defined by the hybrid maximal function. As a consequence we obtain that the (C, α, β) means of a function f∈H ₁ ^# (T×T)⊃LlogL(T ²) convergs a. e. to the function in question. Moreover, we prove that the (C, α, β) means are uniformly bounded on the spaces H_p(T×T) whenever 1/(α+1), 1(β+1)<p<∞. Thus, in case f∈H_p(T×T), the (C, α, β) means convergs to f in H_p(T×T) norm whenever (1/(α+1), 1/(β+1)<p<∞). The same results are proved for the conjugate (C, α, β) means, too. This research was made while the author was visiting the Humboldt University in Berlin supported by the Alexander von Humboldt Foundation.     

The maximal (C,α,β) operator on Hp(T×T)

The two-dimensional classical Hardy space H_p(T×T) on the bidisc are introduced, and it is shown that the maximal operator of the (C,α,β) means of a distribution is bounded from the space H_p(T×T) to L_p(T²) (1/(α+1), 1/(β+1)<p≤∞), and is of weak type (H ₁ ^# (T×T), L₁(T²)), where the Hardy space H ₁ ^# (T×T) is defined by the hybrid maximal function. As a consequence we obtain that the (C, α, β) means of a function f∈H ₁ ^# (T×T)⊃LlogL(T ²) convergs a. e. to the function in question. Moreover, we prove that the (C, α, β) means are uniformly bounded on the spaces H_p(T×T) whenever 1/(α+1), 1(β+1)<p<∞. Thus, in case f∈H_p(T×T), the (C, α, β) means convergs to f in H_p(T×T) norm whenever (1/(α+1), 1/(β+1)<p<∞). The same results are proved for the conjugate (C, α, β) means, too.     

Zeros in Tables of Characters for the Groups <Emphasis Type="Italic">S</Emphasis><Subscript>n</Subscript> and <Emphasis Type="Italic">A</Emphasis><Subscript>n</Subscript>. II

Let P(n) be the set of all partitions of a natural number n. In the representation theory of symmetric groups, for every partition α ∈ P(n), the partition h(α) ∈ P(n) is defined so as to produce a certain set of zeros in the character table for S_n. Previously, the analog f(α) of h(α) was obtained pointing out an extra set of zeros in the table mentioned. Namely, h(α) is greatest (under the lexicographic ordering ≤) of the partitions β of n such that χ^α(g_β) ≠ 0, and f(α) is greatest of the partitions γ of n that are opposite in sign to h(α) and are such that χ^α(g_γ) ≠ 0, where χ^α is an irreducible character of S_n, indexed by α, and g_β is an element in the conjugacy class of S_n, indexed by β. For α ∈ P(n), under some natural restrictions, here, we construct new partitions h′(α) and f′(α) of n possessing the following properties. (A) Let α ∈ P(n) and n ⩾ 3. Then h′(α) is identical is sign to h(α), χ^α(g_h′(α)) ≠ 0, but χ^α(g_γ) = 0 for all γ ∈ P(n) such that the sign of γ coincides with one of h(α), and h′(α) < γ < h(α). (B) Let α ∈ P(n), α ≠ α′, and n ⩾ 4. Then f′(α) is identical in sign to f(α), χ^α(g_f′(α)) ≠ 0, but χ^α(g_γ) = 0 for all γ ∈ P(n) such that the sign of γ coincides with one of f(α), and f′(α) < γ < f(α). The results obtained are then applied to study pairs of semiproportional irreducible characters in A_n. Supported by RFBR grant No. 04-01-00463. __________ Translated from Algebra i Logika, Vol. 44, No. 6, pp. 643–663, November–December, 2005.     

Infinite injective transformations whose centralizers have simple structure

For an infinite set X, denote by Γ(X) the semigroup of all injective mappings from X to X under function composition. For α ∈ Γ(X), let C(α) = {β ∈ g/g(X): αβ = βα} be the centralizer of α in Γ(X). The aim of this paper is to determine those elements of Γ(X) whose centralizers have simple structure. We find α ∈ (X) such that various Green's relations in C(α) coincide, characterize α ∈ Γ(X) such that the $ \mathcal{J} $ \mathcal{J} -classes of C(α) form a chain, and describe Green's relations in C(α) for α with so-called finite ray-cycle decomposition. If α is a permutation, we also find the structure of C(α) in terms of direct and wreath products of familiar semigroups.     

The maximal (C, α, β) operator of two-parameter walsh-fourier series

The two-parameter dyadic martingale Hardy spacesH _p are introduced and it is proved that the maximal operator of the (C, α, β) means of a two-dimensional Walsh-Fourier series is bounded from H_p to L_p (1/(α+1), 1/(β+1)<p<∞) and is of weak type (H ₁ ^# , L₁), where the Hardy space H ₁ ^# is defined by the hybrid maximal function. As a consequence, we obtain that the (C, α, β) means of a function f∈H ₁ ^# converge a.e. to the function in question. Moreover, we prove that the (C, α, β) means are uniformly bounded on H_p whenever 1/(α+1), 1/(β+1)<p<∞. Thus in case f∈H_p, the (C, α, β) means converge to f in H_p norm. The same results are proved for the conjugate (C, α, β) means, too.     

Stability of <Emphasis Type="Italic">C</Emphasis>-regularized Semigroups

Let T = (T(t))t≥0 be a bounded C-regularized semigroup generated by A on a Banach space X and R(C) be dense in X. We show that if there is a dense subspace Y of X such that for every x ∈ Y, σu(A, Cx), the set of all points λ ∈ iR to which (λ - A)^-1 Cx can not be extended holomorphically, is at most countable and σr(A) N iR = Ф, then T is stable. A stability result for the case of R(C) being non-dense is also given. Our results generalize the work on the stability of strongly continuous senfigroups.     

Special uniform approximations of continuous vector-valued functions. Part II: special approximations in CX(T)CY(S)

In this paper, which is a continuation of Timofte (J. Approx. Theory 119 (2002) 291–299, we give special uniform approximations of functions from C_XY(T×S) and C_∞(T×S,XY) by elements of the tensor products C_X(T)C_Y(S), respectively C₀(T,X)C₀(S,Y), for topological spaces T,S and Γ-locally convex spaces X,Y (all four being Hausdorff).     

A covering lemma for L(ℝ)

Jensen's celebrated Covering Lemma states that if 0^# does not exist, then for any uncountable set of ordinals X, there is a Y∈L such that X⊆Y and |X| = |Y|. Working in ZF + AD alone, we establish the following analog: If ℝ^# does not exist, then L(ℝ) and V have exactly the same sets of reals and for any set of ordinals X with |X| ≥Θ ^{L (ℝ)}, there is a Y∈L(ℝ) such that X⊆Y and |X| = |Y|. Here ℝ is the set of reals and Θ is the supremum of the ordinals which are the surjective image of ℝ. Received: 29 October 1999 / Published online: 12 December 2001     

An Application of a Mountain Pass Theorem

We are concerned with the following Dirichlet problem: −Δu(x) = f(x, u), x∈Ω, u∈H ¹ ₀(Ω), (P) where f(x, t) ∈C (×ℝ), f(x, t)/t is nondecreasing in t∈ℝ and tends to an L ^∞-function q(x) uniformly in x∈Ω as t→ + ∞ (i.e., f(x, t) is asymptotically linear in t at infinity). In this case, an Ambrosetti-Rabinowitz-type condition, that is, for some θ > 2, M > 0, 0 > θF(x, s) ≤f(x, s)s, for all |s|≥M and x∈Ω, (AR) is no longer true, where F(x, s) = ∫ ^s ₀ f(x, t)dt. As is well known, (AR) is an important technical condition in applying Mountain Pass Theorem. In this paper, without assuming (AR) we prove, by using a variant version of Mountain Pass Theorem, that problem (P) has a positive solution under suitable conditions on f(x, t) and q(x). Our methods also work for the case where f(x, t) is superlinear in t at infinity, i.e., q(x) ≡ +∞. Received June 24, 1998, Accepted January 14, 2000.     

Regular centralizers of idempotent transformations

Denote by T(X) the semigroup of full transformations on a set X. For ε∈T(X), the centralizer of ε is a subsemigroup of T(X) defined by C(ε)={α∈T(X):αε=εα}. It is well known that C(id _X )=T(X) is a regular semigroup. By a theorem proved by J.M. Howie in 1966, we know that if X is finite, then the subsemigroup generated by the idempotents of C(id _X ) contains all non-invertible transformations in C(id _X ).     

Punishing Factors for Finitely Connected Domains

Let Ω and Π be two finitely connected hyperbolic domains in the complex plane \Bbb C{\Bbb C} and let R(z, Ω) denote the hyperbolic radius of Ω at z and R(w, Π) the hyperbolic radius of Π at w. We consider functions f that are analytic in Ω and such that all values f(z) lie in the domain Π. This set of analytic functions is denoted by A(Ω, Π). We prove among other things that the quantities C_n(W,P) := sup_{f ? A(W,P)}sup_{z ? W}\frac|f⁽ⁿ⁾(z)| R(f(z),P)n! (R(z,W))ⁿC_n(\Omega,\Pi)\,:=\,\sup_{f\in A(\Omega,\Pi)}\sup_{z\in \Omega}\frac{\vert f^{(n)}(z)\vert\,R(f(z),\Pi)}{n!\,(R(z,\Omega))^n} are finite for all n ? \Bbb N{n \in {\Bbb N}} if and only if ∂Ω and ∂Π do not contain isolated points.     

A Property About Minimum Edge- and Minimum Clique-Cover of a Graph

 Let G be a graph with n vertices, and denote as γ(G) (as θ(G)) the cardinality of a minimum edge cover (of a minimum clique cover) of G. Let E (let C) be the edge-vertex (the clique-vertex) incidence matrix of G; write then P(E)={x∈ℜ ⁿ :Ex≤1,x≥0}, P(C)={x∈ℜ ⁿ :Cx≤1,x≥0}, α _E (G)=max{1 ^T x subject to x∈P(E)}, and α _C (G)= max{1 ^T x subject to x∈P(C)}. In this paper we prove that if α _E (G)=α _C (G), then γ(G)=θ(G). Received: May 20, 1998?Final version received: April 12, 1999     

A boundary-value problem for the biharmonic equation and the iterated Laplacian in a 3D-domain with an edge

Let Ω be a domain with piecewise smooth boundary. In general, it is impossible to obtain a generalized solution u ∈ W ₂ ² (Ω) of the equation Δ _x ² u = f with the boundary conditions u = Δ_xu = 0 by solving iteratively a system of two Poisson equations under homogeneous Dirichlet conditions. Such a system is obtained by setting v = −Δu. In the two-dimensional case, this fact is known as the Sapongyan paradox in the theory of simply supported polygonal plates. In the present paper, the three-dimensional problem is investigated for a domain with a smooth edge Γ. If the variable opening angle α ∈ C^∞(Γ) is less than π everywhere on the edge, then the boundary-value problem for the biharmonic equation is equivalent to the iterated Dirichlet problem, and its solution u inherits the positivity preserving property from these problems. In the case α ∈ (π 2π), the procedure of solving the two Dirichlet problems must be modified by permitting infinite-dimensional kernel and co-kernel of the operators and determining the solution u ∈ W ₂ ² (Ω) by inverting a certain integral operator on the contour Γ. If α(s) ∈ (3π/2,2π) for a point s ∈ Γ, then there exists a nonnegative function f ∈ L₂(Ω) for which the solution u changes sign inside the domain Ω. In the case of crack (α = 2π everywhere on Γ), one needs to introduce a special scale of weighted function spaces. In this case, the positivity preserving property fails. In some geometrical situations, the problems on well-posedness for the boundary-value problem for the biharmonic equation and the positivity property remain open. Bibliography: 46 titles. __________ Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 336, 2006, pp. 153–198.     

On a Banach space approximable by Jacobi polynomials

Let X represent either the space C[-1,1] L _p ^(α,β) (w), 1 ≦ p < ∞ on [-1, 1]. Then Xare Banach spaces under the sup or the p norms, respectively. We prove that there exists a normalized Banach subspace X ¹ _αβ of Xsuch that every f ∈ X ¹ _αβ can be represented by a linear combination of Jacobi polynomials to any degree of accuracy. Our method to prove such an approximation problem is Fourier–Jacobi analysis based on the convergence of Fourier–Jacobi expansions. This revised version was published online in June 2006 with corrections to the Cover Date.     

Convolution properties of some classes of analytic functions

Let A denote the class of functions which are analytic in |z|<1 and normalized so that f(0)=0 and f′(0)=1, and let R(α, β)⊂A be the class of functions f such thatRe[f′(z)+αzf″(z)]>β,Re α>0, β<1. We determine conditions under which (i) f ∈ R(α₁, β₁), g ∈ R(α₂, β₂) implies that the convolution f×g of f and g is convex; (ii) f ∈ R(0, β₁), g ∈ R(0, β₂) implies that f×g is starlike; (iii) f≠A such that f′(z)[f(z)/z]^μ-1 ≺ 1 + λz, μ>0, 0<λ<1, is starlike, and (iv) f≠A such that f′(z)+αzf″(z) ≺ 1 + λz, α>0, δ>0, is convex or starlike. Bibliography: 16 titles. Published inZapiski Nauchnykh Seminarov POMI, Vol. 226, 1996, pp. 138–154.     

A Gabriel Theorem for coherent twisted sheaves

The aim of this work is to give a generalization of Gabriel’s Theorem on coherent sheaves to coherent twisted sheaves on noetherian schemes. We start by showing that we can recover a noetherian scheme X from the category Coh(X, α) of coherent α-twisted sheaves over X, where α lies in the cohomological Brauer group of X. This follows from the bijective correspondence between closed subsets of X and Serre subcategories of finite type of Coh(X, α). Moreover, any equivalence between Coh(X, α) and Coh(Y, β), where X and Y are noetherian schemes, and , β Br ′(Y) induces an isomorphism between X and Y.     

Local properties of the solution set of the operator equation in Banach spaces in a neighbourhood of a bifurcation point

In this work we study the problem of the existence of bifurcation in the solution set of the equation F(x, λ)=0, where F: X×R ^k →Y is a C ²-smooth operator, X and Y are Banach spaces such that X⊂Y. Moreover, there is given a scalar product 〈·,·〉: Y×Y→R ¹ that is continuous with respect to the norms in X and Y. We show that under some conditions there is bifurcation at a point (0, λ₀)∈X×R ^k and we describe the solution set of the studied equation in a small neighbourhood of this point.     

On linear isometries of Banach lattices in <Emphasis Type="Italic">C</Emphasis><Subscript>0</Subscript>(Ω)-spaces

Consider the space C0(Ω) endowed with a Banach lattice-norm ‖ · ‖ that is not assumed to be the usual spectral norm ‖ · ‖_∞ of the supremum over Ω. A recent extension of the classical Banach-Stone theorem establishes that each surjective linear isometry U of the Banach lattice (C ₀(Ω), ‖ · ‖) induces a partition Π of Ω into a family of finite subsets S ⊂ Ω along with a bijection T: Π → Π which preserves cardinality, and a family [u(S): S ∈ Π] of surjective linear maps u(S): C(T(S)) → C(S) of the finite-dimensional C*-algebras C(S) such that

The Johnson–Lindenstrauss Lemma Almost Characterizes Hilbert Space, But Not Quite

Let X be a normed space that satisfies the Johnson–Lindenstrauss lemma (J–L lemma, in short) in the sense that for any integer n and any x ₁,…,x _n ∈X, there exists a linear mapping L:X→F, where F⊆X is a linear subspace of dimension O(log n), such that ‖x _i −x _j ‖≤‖L(x _i )−L(x _j )‖≤O(1)⋅‖x _i −x _j ‖ for all i,j∈{1,…,n}. We show that this implies that X is almost Euclidean in the following sense: Every n-dimensional subspace of X embeds into Hilbert space with distortion 2^2O(log*n)2^{2^{O(\log^{*}n)}} . On the other hand, we show that there exists a normed space Y which satisfies the J–L lemma, but for every n, there exists an n-dimensional subspace E _n ⊆Y whose Euclidean distortion is at least 2^Ω(α(n)), where α is the inverse Ackermann function.     

Exponential trichotomy and p-admissibility for evolution families on the real line

The aim of this paper is to obtain necessary and sufficient conditions for uniform exponential trichotomy of evolution families on the real line. We prove that if p ∈ (1,∞) and the pair (C_b(R,X),C_c(R,X)) is uniformly p-admissible for an evolution family ={U(t,s)}_t≥_s then is uniformly exponentially trichotomic. After that we analyze when the uniform p-admissibility of the pair (C_b(R, X), C_c(R, X)) becomes a necessary condition for uniform exponential trichotomy. As applications of these results we study the uniform exponential dichotomy of evolution families. We obtain that in certain conditions, the admissibility of the pair (C_b(R,X),L^p(R,X)) for an evolution family ={U(t,s)}_t≥_s is equivalent with its uniform exponential dichotomy.