Nonlinear Preserver Problems on B（H）

Let H be a complex Hilbert space of dimension greater than 2, and B(H) denote the Banach algebra of all bounded linear operators on H. For A, B ∈ B(H), define the binary relation A ≤* B by A*A = A*B and AA* = AB*. Then (B(H), “≤*”) is a partially ordered set and the relation “≤*” is called the star order on B(H). Denote by Bs(H) the set of all self-adjoint operators in B(H). In this paper, we first characterize nonlinear continuous bijective maps on B _s (H) which preserve the star order in both directions. We characterize also additive maps (or linear maps) on B(H) (or nest algebras) which are multiplicative at some invertible operator.     

Sharp bounds for the number of 3‐independent partitions and the chromaticity of bipartite graphs

Given a graph G and an integer k ≥ 1, let α(G, k) denote the number of k‐independent partitions of G. Let ??^?s(p,q) (resp., ??₂^?s(p,q)) denote the family of connected (resp., 2‐connected) graphs which are obtained from the complete bipartite graph K_p,q by deleting a set of s edges, where p ≥ q ≥ 2. This paper first gives a sharp upper bound for α(G,3), where G ∈ ?? ^?s(p,q) and 0 ≤ s ≤ (p ? 1)(q ? 1) (resp., G ∈ ?? ₂^?s(p,q) and 0 ≤ s ≤ p + q ? 4). These bounds are then used to show that if G ∈ ?? ^?s(p,q) (resp., G ∈ ?? ₂^?s (p,q)), then the chromatic equivalence class of G is a subset of the union of the sets ??^?s_i(p+i,q?i) where max and s_i = s ? i(p?q+i) (resp., a subset of ??₂^?s(p,q), where either 0 ≤ s ≤ q ? 1, or s ≤ 2q ? 3 and p ≥ q + 4). By applying these results, we show finally that any 2‐connected graph obtained from K_p,q by deleting a set of edges that forms a matching of size at most q ? 1 or that induces a star is chromatically unique. © 2001 John Wiley & Sons, Inc. J Graph Theory 37: 48–77, 2001     

Interior numerical approximation of boundary value problems with a distributional data

We study the approximation properties of a harmonic function u ∈ H^1?k(Ω), k > 0, on a relatively compact subset A of Ω, using the generalized finite element method (GFEM). If Ω = ??, for a smooth, bounded domain ??, we obtain that the GFEM‐approximation u_S ∈ S of u satisfies ‖u ? u_S‖ ≤ Ch^γ‖u‖, where h is the typical size of the “elements” defining the GFEM‐space S and γ ≥ 0 is such that the local approximation spaces contain all polynomials of degree k + γ. The main technical ingredient is an extension of the classical super‐approximation results of Nitsche and Schatz (Applicable Analysis 2 (1972), 161–168; Math Comput 28 (1974), 937–958). In addition to the usual “energy” Sobolev spaces H¹(??), we need also the duals of the Sobolev spaces H^m(??), m ∈ ?₊. © 2005 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq, 2006     

On the supercyclicity and hypercyclicity of the operator algebra

Let B（X） be the operator algebra for a separable infinite dimensional Hilbert space H, endowed with the strong operator topology or ＊-strong topology. We give sufficient conditions for a continuous linear mapping L ： B（X） →B（X） to be supercyclic or ,-supercyclic. In particular our condition implies the existence of an infinite dimensional subspace of supercyclic vectors for a mapping T on H. Hypercyclicity of the operator algebra with strong operator topology was studied＇ by Chan and here we obtain an analogous result in the case of ＊-strong operator topology.     

Forelli-Rudin type theorem in pluriharmonic Bergman spaces with small index

It is proved that the Bergman type operatorT, is a bounded projection from the pluriharmonic Bergman spaceL ^p (B)∩h(B) onto Bergman spaceL ^p (B) ∩ H(B) for 0p 1 ands (p¹-1)(n+1). As an application it is shown that the Gleason’s problem can be solved in Bergman space L^P(B)∩H(B) for 0p 1. Project supported by the National Natural Science Foundation of China (Grant No. 19871081) and the Doctoral Program Foundation of the State Education Commission of China.     

Weighted estimates for maximal multilinear commutators

Let T be a Calderón–Zygmund operator with regular kernel K and T * _b be the maximal multilinear commutator defined by . In this paper, the following weighted estimates for T * _b are discussed. Precisely, for 0 < p < ∞, ω ∈ A _∞ and b _j ∈ Osc equation/tex2gif-inf-5.gif, r_j ≥ 1, j = 1, … , m , there exists a positive constant C such that . For p = 1 and ω ∈ A ₁, the weighted weak L (log L )^1/r ‐type estimates are also established. Our theorems are parallel to the ones of the multilinear commutators of Calderón–Zygmund operators obtained in [18] and extend the main result in [14] essentially. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

An exact estimate of the boundary behavior of functions from hardy-sobolev classes in the critical case

In the critical case αp=n functions from the Hardy-Sobolev spacesH _α ^p (B ⁿ ) have a limit almost everywhere on the boundary along certain regions of exponential contact with the boundary. It is proved in the paper that the maximal operator associated with these regions is bounded as an operator fromH _α ^p (B ⁿ ) toL ^p (ϖB ⁿ ). Translated fromMatematicheskie Zametki, Vol. 62, No. 4, pp. 527–539, October, 1997. Translated by N. K. Kulman     

Global minimum and orthogonality in Cp ‐classes

In this paper we use recent results [14] to establish various characterizations of the global minimum of the map F_ψ : U → ?⁺ defined by F_ψ (X) = ‖ψ (X)‖_p (1 < p < ∞) where ψ: U → C_p is a map defined by ψ (X) = S +? (X), with ?: B (H) → B (H) a linear map and S ∈ C_p , and U = {X ∈ B (H): ? (X) ∈ C_p }. Further, we apply these results to characterize the operators which are orthogonal to the range of elementary operators. (© 2007 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

A Factorization Property of R‐Bounded Sets of Operators on Lp‐Spaces

Let T be a bounded operator on L^p‐space, with 1 ≤ p < ∞. A theorem of W. B. Johnson and L. Jones asserts that after an appropriate change of density, T actually extends to a bounded operator on L². We show that if 𝒯 ⊂ B (L^p) is an R‐bounded set of operators, then the latter result holds for any T ∈ 𝒯 with a common change of density. Then we give applications including results on R‐sectorial operators.     

Compact operators which factor through subspaces of lp

Let 1 ≤ p ≤ ∞. A subset K of a Banach space X is said to be relatively p ‐compact if there is an 〈x_n 〉 ∈ l^s _p (X) such that for every k ∈ K there is an 〈α_n 〉 ∈ l_{p ′} such that k = σ^∞_n=1 α_n x_n . A linear operator T: X → Y is said to be p ‐compact if T (Ball (X)) is relatively p ‐compact in Y. The set of all p ‐compact operators K_p (X, Y) from X to Y is a Banach space with a suitable factorization norm κ_p and (K_p , κ_p ) is a Banach operator ideal. In this paper we investigate the dual operator ideal (K^d _p , κ^d _p ). It is shown that κ^d _p (T) = π_p (T) for all T ∈ B (X, Y) if either X or Y is finite‐dimensional. As a consequence it is proved that the adjoint ideal of K^d _p is I_{p ′}, the ideal of p ′‐integral operators. Further, a composition/decomposition theorem K^d _p = Π_p K is proved which also yields that (Π^min _p )^inj = K^d _p . Finally, we discuss the density of finite rank operators in K^d _p and give some examples for different values of p in this respect. (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Nonlinear degenerate parabolic equations for Baouendi–Grushin operators

In this paper, we shall investigate the nonexistence of positive solutions for the following nonlinear parabolic partial differential equations: and Here, Ω is a Carnot–Carathéodory metric ball in R ^N and V ∈ L ¹_loc(Ω). The critical exponents m * and p * are found, and the nonexistence results are proved for m * ≤ m < 1 and p * ≤ p < 2. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

A remark on divisibility of definable groups

We show that if G is a definably compact, definably connected definable group defined in an arbitrary o‐minimal structure, then G is divisible. Furthermore, if G is defined in an o‐minimal expansion of a field, k ∈ ? and p_k : G → G is the definable map given by p_k (x ) = x^k for all x ∈ G , then we have |(p_k )^–1(x )| ≥ k^r for all x ∈ G , where r > 0 is the maximal dimension of abelian definable subgroups of G . (© 2005 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Hyers–Ulam–Rassias stability of a generalized Apollonius–Jensen type additive mapping and isomorphisms between C *‐algebras

Let X, Y be Banach modules over a C *‐algebra. We prove the Hyers–Ulam–Rassias stability of the following functional equation in Banach modules over a unital C *‐algebra: It is shown that a mapping f: X → Y satisfies the above functional equation and f (0) = 0 if and only if the mapping f: X → Y is Cauchy additive. As an application, we show that every almost linear bijection h: A → B of a unital C *‐algebra A onto a unital C *‐algebra B is a C *‐algebra isomorphism when h (2^d uy) = h (2^d u) h (y) for all unitaries u ∈ A, all y ∈ A, and all d ∈ Z . (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

On positive invertibility of operators and their decompositions

In Banach spaces ordered by a normal cone that contains interior points the positive invertibility of operators is studied. If there exists a uniformly positive functional then any positively invertible operator A possesses a B -decomposition, i.e., a positive decomposition A = U – V with the properties: U^–1 exists, VU^–1 ≥ 0, Ax ≥ 0, U x ≥ 0 imply x ≥ 0 and r (VU^–1) < 1. Earlier it was shown that the existence of a B -decomposition with r (VU^–1) < 1 is sufficient for the positive invertibility of the operator A. Peris' result is obtained as a special case of the main theorem. The decomposition is demonstrated for a positively invertible operator in a Banach space ordered by an ice cream cone (© 2009 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim)     

On the Positive Definiteness of Certain Functions

For a coinmutative senugoup (S, +, *) with involution and a function f : S → [0, ∞), the set S(f) of those p ≥ 0 such that f^P is a positive definite function on S is a closed subsemigroup of [0, ∞) containing 0. For S = (IR, +, x* = -x) it may happen that S(f) = { kd : k ∈ N₀ } for some d > 0, and it may happen that S(f) = {0} ? [d, ∞) for some d > O. If α > 2 and if S = (?, +, n* = -n) and f(n) = e^?[n]α or S = (IN₀, +, n* = n) and f(n) = e^nα, then S(f) ∪ (0, c) = ? and [d, ∞) ? S(f) for some d ≥; c > 0. Although (with c maximal and d minimal) we have not been able to show c = d in all cases, this equality does hold if S = ? and α ≥ 3.4. In the last section we give sinipler proofs of previously known results concerning the positive definiteness of x → e^?||x||α on normed spaces.     

The first eigenvalue of the p‐Laplace operator under powers of mean curvature flow

In this paper, we show the following main results. Let (Mⁿ,g(t)), t ∈ [0,T), be a solution of the unnormalized H^k ? flow on a closed manifold, and λ_1,p(t) be the first eigenvalue of the p‐Laplace operator. If there exists a nonnegative constant ε such that in M × [0,T) and in M × [0,T),then λ_1,p(t) is increasing and the differentiable almost everywhere along the unnormalized H^k ? flow on [0,T). At last, we discuss some useful monotonic quantities. Copyright © 2013 John Wiley & Sons, Ltd.     

3-(v, 4, 1) covering designs with chromatic numbers 2 and 3

A t-(v, k, λ) covering design is a pair (X, B) where X is a v-set and B is a collection of k-sets in X, called blocks, such that every t element subset of X is contained in at least λ blocks of B. The covering number, C_λ(t, k, v), is the minimum number of blocks a t-(v, k, λ) covering design may have. The chromatic number of (X, B) is the smallest m for which there exists a map φ: X → Z_m such that ∣φ((β)∣ ≥2 for all β ∈ B, where φ(β) = {φ(x): x ∈ β}. The system (X, B) is equitably m-chromatic if there is a proper coloring φ with minimal m for which the numbers ∣φ^?1(c)∣ c ∈ Z_m differ from each other by at most 1. In this article we show that minimum, (i.e., ∣B∣ = C λ (t, k, v)) equitably 3-chromatic 3-(v, 4, 1) covering designs exist for v ≡ 0 (mod 6), v ≥ 18 for v ≥ 1, 13 (mod 36), v ≡ 13 and for all numbers v = n, n + 1, where n ≡ 4, 8, 10 (mod 12), n ≥ 16; and n = 6.5^a 13^b 17^c ?4, a + b + c > 0, and n = 14, 62. We also show that minimum, equitably 2-chromatic 3-(v, 4, 1) covering designs exist for v ≡ 0, 5, 9 (mod 12), v ≥ 0, v = 2.5^a 13^b 17^c + 1, a + b + c > 0, and v = 23. © 1993 John Wiley & Sons, Inc.     

Two‐coloring random hypergraphs

A 2‐coloring of a hypergraph is a mapping from its vertex set to a set of two colors such that no edge is monochromatic. Let H=H(k, n, p) be a random k‐uniform hypergraph on a vertex set V of cardinality n, where each k‐subset of V is an edge of H with probability p, independently of all other k‐subsets. Let $ m = p{{n}\choose{k}}$ denote the expected number of edges in H. Let us say that a sequence of events ?_n holds with high probability (w.h.p.) if lim_n→∞Pr[?_n]=1. It is easy to show that if m=c2^kn then w.h.p H is not 2‐colorable for c>ln 2/2. We prove that there exists a constant c>0 such that if m=(c2^k/k)n, then w.h.p H is 2‐colorable. © 2002 Wiley Periodicals, Inc. Random Struct. Alg. 20: 249–259, 2002     

The existence of global attractors for 2D Navier-Stokes equations in <Emphasis Type="Italic">H</Emphasis><Superscript><Emphasis Type="Italic">k</Emphasis></Superscript> spaces

In this paper, we prove that the 2D Navier-Stokes equations possess a global attractor in Hk（Ω,R2） for any k ≥ 1, which attracts any bounded set of Hk（Ω,R2） in the H^k-norm. The result is established by means of an iteration technique and regularity estimates for the linear semigroup of operator, together with a classical existence theorem of global attractor. This extends Ma, Wang and Zhong＇s conclusion.