Around Operator Monotone Functions

We show that the symmetrized product AB + BA of two positive operators A and B is positive if and only if f(A+B) ￡ f(A)+f(B){f(A+B)\leq f(A)+f(B)} for all non-negative operator monotone functions f on [0,∞) and deduce an operator inequality. We also give a necessary and sufficient condition for that the composition f °g{f \circ g} of an operator convex function f on [0,∞) and a non-negative operator monotone function g on an interval (a, b) is operator monotone and present some applications.     

Asymptotiques d’un systeme dynamique conservatif associe a une equation elliptique non lineaire

LetM be a compact riemannian manifold,h an odd function such thath(r)/r is non-decreasing with limit 0 at 0. Letf(r)=h(r)-γr and assume there exist non-negative constantsA andB and a realp>1 such thatf(r)>Ar ^P-B. We prove that any non-negative solutionu ofu _tt+Δ_gu=f(u) onM x ℝ⁺ satisfying Dirichlet or Neumann boundary conditions on ϖM converges to a (stationary) solution of Δ _g Φ=f(Φ) onM with exponential decay of ‖u-Φ‖C ²(M). For solutions with non-constant sign, we prove an homogenisation result for sufficiently small λ; further, we show that for every λ the map (u(0,·),u _t(0,·))→(u(t,·), u _t(t,·)) defines a dynamical system onW ^1/2(M)⊂C(M)×L ²(M) which possesses a compact maximal attractor.      

Composition of fractional Orlicz maximal operators and A 1-weights on spaces of homogeneous type

For a Young function θ with 0 ≤α 〈 1, let Mα,θ be the fractional Orlicz maximal operator defined in the context of the spaces of homogeneous type （X, d, μ） by Mα,θf（x） = supx∈（B）α ｜｜f｜｜θ,B, where ｜｜f｜｜θ,B is the mean Luxemburg norm of f on a ball B. When α= 0 we simply denote it by Me. In this paper we prove that if Ф and ψare two Young functions, there exists a third Young function θ such that the composition Mα,ψ o MФ is pointwise equivalent to Mα,θ. As a consequence we prove that for some Young functions θ, if Mα,θf 〈∞a.e. and δ ∈（0,1） then （Mα,θf）δ is an A1-weight.     

Idealization of a decomposition theorem

In 1986, Tong [13] proved that a function f : (X,τ)→(Y,φ) is continuous if and only if it is α-continuous and A-continuous. We extend this decomposition of continuity in terms of ideals. First, we introduce the notions of regular-I-closed sets, A _I-sets and A _I -continuous functions in ideal topological spaces and investigate their properties. Then, we show that a function f : (X,τ,I)→(Y, φ) is continuous if and only if it is α-I-continuous and A _I-continuous. This revised version was published online in June 2006 with corrections to the Cover Date.     

Clifford martingale Φ-Equivalence betweenS(f) andf*

TheL ²-norm equivalence between a Clifford martingalef and its square functionS(f) plays an important role in the proof of theL ²-boundedness of Cauchy integral operators on Lipschitz graphs and the CliffordT(b) Theorem [2, 4]. This note generalises the result to the Φ-equivalence between the maximal functionf* andS(f), where Φ is a nondecreasing and continuous function fromIR ⁺ toIR ⁺, of the moderate growth Φ(2u)≤C ₁Φ(u) and satisfies Φ(0)=0.     

An algebraic invariant for Jordan automorphisms on β(<Emphasis Type="Italic">H</Emphasis>): The set of idempotents

Let H be an infinite dimensional complex Hilbert space. Denote by B(H) the algebra of all bounded linear operators on H, and by I(H) the set of all idempotents in B(H). Suppose that Φ is a surjective map from B(H) onto itself. If for every λ ∈ -1,1,2,3, and A, B ∈ B(H),A-λB ∈I(H) ⇔ Φ(A) -λΦ(B) ∈I(H, then Φ is a Jordan ring automorphism, i.e. there exists a continuous invertible linear or conjugate linear operator T on H such that Φ(A) = TAT ^-1 for all A ∈ B(H), or Φ(A) = TA*T ^-1 for all A ∈ B(H); if, in addition, A-iB ∈I(H)⇔ Φ(A)-iΦ(B) ∈I(H), here i is the imaginary unit, then Φ is either an automorphism or an anti-automorphism.     

A Support Theorem for the Geodesic Ray Transform on Functions

Let (M,g) be a simple Riemannian manifold. Under the assumption that the metric g is real-analytic, it is shown that if the geodesic ray transform of a function f∈L ²(M) vanishes on an appropriate open set of geodesics, then f=0 on the set of points lying on these geodesics. The approach is based on analytic microlocal analysis.     

Pseudo-Anosov extensions and degree one maps between hyperbolic surface bundles

Let F′,F be any two closed orientable surfaces of genus g′ > g≥ 1, and f:F→ F be any pseudo-Anosov map. Then we can “extend” f to be a pseudo- Anosov map f′:F′→ F′ so that there is a fiber preserving degree one map M(F′,f′)→ M(F,f) between the hyperbolic surface bundles. Moreover the extension f′ can be chosen so that the surface bundles M(F′,f′) and M(F,f) have the same first Betti numbers. Y. Ni is partially supported by a Centennial fellowship of the Graduate School at Princeton University. S.C. Wang is partially supported by MSTC     

A Lot of Quasitriangular Group-cograded Multiplier Hopf Algebras

A new method of constructing quasitriangular group-cograded multiplier Hopf algebras is provided. For a multiplier Hopf dual pairing σ between regular multiplier Hopf algebras A and B, we introduce the concept of a σ-compatible pairing (Φ, Ψ, σ ), where Φ and Ψ are actions of the twisted semi-direct group of a group G on A and B, respectively. We construct a twisted double group-cograded multiplier Hopf algbera D(A, B; σ, Φ, Ψ). Furthermore, if there is a canonical multiplier in M(B ⊗ A) we show existence of quasitriangular structure on D(A, B; σ, Φ, Ψ). As an application, special cases and examples are given.     

Generalized weighted quasi-arithmetic means

Under some natural assumptions on real functions f and g defined on a real interval I, we show that a two variable function M _f,g : I ² → I defined by

On the Cauchy difference on normed spaces

LetX be a real linear normed space, (G, +) be a topological group, andK be a discrete normal subgroup ofG. We prove that if a continuous at a point or measurable (in the sense specified later) functionf:X →G fulfils the condition:f(x +y) -f(x) -f(y) ∈K whenever ‖x‖ = ‖y‖, then, under some additional assumptions onG,K, andX, there esists a continuous additive functionA :X →G such thatf(x) -A(x) ∈K.     

Degenerate triply nonlinear problems with nonhomogeneous boundary conditions

The paper addresses the existence and uniqueness of entropy solutions for the degenerate triply nonlinear problem: b(v) _t − div α(v, ▽g(v)) = f on Q:= (0, T) × Ω with the initial condition b(v(0, ·)) = b(v ₀) on Ω and the nonhomogeneous boundary condition “v = u” on some part of the boundary (0, T) × ∂Ω”. The function g is continuous locally Lipschitz continuous and has a flat region [A ₁, A ₂,] with A ₁ ≤ 0 ≤ A ₂ so that the problem is of parabolic-hyperbolic type.     

A New Result on Alspach's Problem

Let G be a simple graph. Let g(x) and f(x) be integer-valued functions defined on V(G) with g(x)≥2 and f(x)≥5 for all x∈V(G). It is proved that if G is an (mg+m−1, mf−m+1)-graph and H is a subgraph of G with m edges, then there exists a (g,f)-factorization of G orthogonal to H. Received: January 19, 1996 Revised: November 11, 1996     

A generalized mixed type of quartic–cubic–quadratic–additive functional equations

We determine the general solution of the functional equation f(x + ky) + f(x-ky) = g(x + y) + g(x-y) + h(x) + h(y) for fixed integers with k ≠ 0; ±1 without assuming any regularity conditions for the unknown functions f, g, h, and0020[(h)\tilde] \tilde{h} . The method used for solving these functional equations is elementary but it exploits an important result due to Hosszú. The solution of this functional equation can also be obtained in groups of certain type by using two important results due to Székelyhidi.     

Hypercyclic Pairs of Coanalytic Toeplitz Operators

A pair of commuting operators, (A,B), on a Hilbert space is said to be hypercyclic if there exists a vector such that {A ⁿ B ^k x : n, k ≥ 0} is dense in . If f, g ∈H ^∞(G) where G is an open set with finitely many components in the complex plane, then we show that the pair (M ^* _f , M ^* _g ) of adjoints of multiplcation operators on a Hilbert space of analytic functions on G is hypercyclic if and only if the semigroup they generate contains a hypercyclic operator. However, if G has infinitely many components, then we show that there exists f, g ∈H ^∞(G) such that the pair (M ^* _f , M ^* _g ) is hypercyclic but the semigroup they generate does not contain a hypercyclic operator. We also consider hypercyclic n-tuples.     

Smooth and strongly smooth points in symmetric spaces of measurable operators

We investigate the relationships between smooth and strongly smooth points of the unit ball of an order continuous symmetric function space E, and of the unit ball of the space of τ-measurable operators E(M,t){E(\mathcal{M},\tau)} associated to a semifinite von Neumann algebra (M, t){(\mathcal{M}, \tau)}. We prove that x is a smooth point of the unit ball in E(M, t){E(\mathcal{M}, \tau)} if and only if the decreasing rearrangement μ(x) of the operator x is a smooth point of the unit ball in E, and either μ(∞; f) = 0, for the function f ? S_E^×{f\in S_{E^{\times}}} supporting μ(x), or s(x ^*) = 1. Under the assumption that the trace τ on M{\mathcal{M}} is σ-finite, we show that x is strongly smooth point of the unit ball in E(M, t){E(\mathcal{M}, \tau)} if and only if its decreasing rearrangement μ(x) is a strongly smooth point of the unit ball in E. Consequently, for a symmetric function space E, we obtain corresponding relations between smoothness or strong smoothness of the function f and its decreasing rearrangement μ(f). Finally, under suitable assumptions, we state results relating the global properties such as smoothness and Fréchet smoothness of the spaces E and E(M,t){E(\mathcal{M},\tau)}.     

A variational problem for pullback metrics

Let (M, g) and (N, h) be Riemannian manifolds without boundary and let f : M → N be a smooth map. Let ||f^*h||{\|f^*h\|} denote the norm of the pullback metric of h by f. In this paper, we consider the functional F(f) = ò_M ||f^*h||² dv_g{{\Phi (f) = \int_M \|f^*h\|^2 dv_g}}. We prove the existence of minimizers of the functional Φ in each 3-homotopy class of maps, where maps f ₁ and f ₂ are 3-homotopic if they are homotopic on the three dimensional skeltons of a triangulation of M. Furthermore, we give a monotonicity formula and a Bochner type formula.     

Connected Factors and Spanning Trees in Graphs

 Let G be a graph, and g, f, f′ be positive integer-valued functions defined on V(G). If an f′-factor of G is a spanning tree, we say that it is f′-tree. In this paper, it is shown that G contains a connected (g, f+f′−1)-factor if G has a (g, f)-factor and an f′-tree. Received: October 30, 2000 Final version received: August 20, 2002     

On Group Chromatic Number of Graphs

Let G be a graph and A an Abelian group. Denote by F(G, A) the set of all functions from E(G) to A. Denote by D an orientation of E(G). For f ∈ F(G,A), an (A,f)-coloring of G under the orientation D is a function c : V(G)↦A such that for every directed edge uv from u to v, c(u)−c(v) ≠ f(uv). G is A-colorable under the orientation D if for any function f ∈ F(G, A), G has an (A, f)-coloring. It is known that A-colorability is independent of the choice of the orientation. The group chromatic number of a graph G is defined to be the least positive integer m for which G is A-colorable for any Abelian group A of order ≥m, and is denoted by χ_g(G). In this note we will prove the following results. (1) Let H₁ and H₂ be two subgraphs of G such that V(H₁)∩V(H₂)=∅ and V(H₁)∪V(H₂)=V(G). Then χ_g(G)≤min{max{χ_g(H₁), max_v∈V(H2)deg(v,G)+1},max{χ_g(H₂), max_u∈V(H1) deg (u, G) + 1}}. We also show that this bound is best possible. (2) If G is a simple graph without a K_3,3-minor, then χ_g(G)≤5.     

Orthogonal factorizations of digraphs

Let G be a digraph with vertex set V(G) and arc set E(G) and let g = (g ⁻, g ⁺) and ƒ = (ƒ ⁻, ƒ ⁺) be pairs of positive integer-valued functions defined on V(G) such that g ⁻(x) ⩽ ƒ ⁻(x) and g ⁺(x) ⩽ ƒ ⁺(x) for each x ∈ V(G). A (g, ƒ)-factor of G is a spanning subdigraph H of G such that g ⁻(x) ⩽ id _H (x) ⩽ ƒ ⁻(x) and g ⁺(x) ⩽ od _H (x) ⩽ ƒ ⁺(x) for each x ∈ V(H); a (g, ƒ)-factorization of G is a partition of E(G) into arc-disjoint (g, ƒ)-factors. Let = {F ₁, F ₂,…, F _m} and H be a factorization and a subdigraph of G, respectively. is called k-orthogonal to H if each F _i , 1 ⩽ i ⩽ m, has exactly k arcs in common with H. In this paper it is proved that every (mg+m−1,mƒ−m+1)-digraph has a (g, f)-factorization k-orthogonal to any given subdigraph with km arcs if k ⩽ min{g ⁻(x), g ⁺(x)} for any x ∈ V(G) and that every (mg, mf)-digraph has a (g, f)-factorization orthogonal to any given directed m-star if 0 ⩽ g(x) ⩽ f(x) for any x ∈ V(G). The results in this paper are in some sense best possible.