Preserving maximal monotonicity with applications in sum and composition rules

In this paper, we study maximal monotonicity preserving mappings on the Banach space X × X ^*. Indeed, for a maximal monotone set ${M \subset X\times X^*}$ and for a multifunction ${T: X \times X^* \multimap Y \times Y^*}$ , under some sufficient conditions on M and T we show that T(M) is maximal monotone. As two consequences of this result we get sum and composition rules for maximal monotone operators.     

A new topological degree theory for perturbations of the sum of two maximal monotone operators

Let X be an infinite dimensional real reflexive Banach space with dual space X^∗ and G⊂X, open and bounded. Assume that X and X^∗ are locally uniformly convex. Let T:X⊃D(T)→2^X∗ be maximal monotone and strongly quasibounded, S:X⊃D(S)→X^∗ maximal monotone, and C:X⊃D(C)→X^∗ strongly quasibounded w.r.t. S and such that it satisfies a generalized (S₊)-condition w.r.t. S. Assume that D(S)=L⊂D(T)∩D(C), where L is a dense subspace of X, and 0∈T(0),S(0)=0. A new topological degree theory is introduced for the sum T+S+C, with degree mapping d(T+S+C,G,0). The reason for this development is the creation of a useful tool for the study of a class of time-dependent problems involving three operators. This degree theory is based on a degree theory that was recently developed by Kartsatos and Skrypnik just for the single-valued sum S+C, as above.     

Examples of discontinuous maximal monotone linear operators and the solution to a recent problem posed by B.F. Svaiter

In this paper, we give two explicit examples of unbounded linear maximal monotone operators. The first unbounded linear maximal monotone operator S on ?² is skew. We show its domain is a proper subset of the domain of its adjoint S^∗, and −S^∗ is not maximal monotone. This gives a negative answer to a recent question posed by Svaiter. The second unbounded linear maximal monotone operator is the inverse Volterra operator T on L²[0,1]. We compare the domain of T with the domain of its adjoint T^∗ and show that the skew part of T admits two distinct linear maximal monotone skew extensions. These unbounded linear maximal monotone operators show that the constraint qualification for the maximality of the sum of maximal monotone operators cannot be significantly weakened, and they are simpler than the example given by Phelps-Simons. Interesting consequences on Fitzpatrick functions for sums of two maximal monotone operators are also given.     

A new condition for maximal monotonicity via representative functions

In this paper we give a weaker sufficient condition for the maximal monotonicity of the operator S+A^∗TA$S+A^{\ast }TA$, where S:X?X^∗$S:X?X^{\ast }$, T:Y?Y^∗$T:Y?Y^{\ast }$ are two maximal monotone operators, A:X→Y$A:X\to Y$ is a linear continuous mapping and X,Y$X,Y$ are reflexive Banach spaces. We prove that our condition is weaker than the generalized interior-point conditions given so far in the literature. This condition is formulated using the representative functions of the operators involved. In particular, we rediscover some sufficient conditions given in the past using the so-called Fitzpatrick function for the maximal monotonicity of the sum of two maximal monotone operators and for the precomposition of a maximal monotone operator with a linear operator, respectively.     

Strongly quasibounded maximal monotone perturbations for the Berkovits-Mustonen topological degree theory

Let X be a real reflexive Banach space with dual X^∗. Let L:X⊃D(L)→X^∗ be densely defined, linear and maximal monotone. Let T:X⊃D(T)→X^∗2, with 0∈D(T) and 0∈T(0), be strongly quasibounded and maximal monotone, and C:X⊃D(C)→X^∗ bounded, demicontinuous and of type (S₊) w.r.t. D(L). A new topological degree theory has been developed for the sum L+T+C. This degree theory is an extension of the Berkovits-Mustonen theory (for T=0) and an improvement of the work of Addou and Mermri (for T:X→X^∗2 bounded). Unbounded maximal monotone operators with are strongly quasibounded and may be used with the new degree theory.     

On IP-graphs of association schemes and applications to group theory

Let G be a group acting transitively on a set X such that all subdegrees are finite. Isaacs and Praeger (1993) [5] studied the common divisor graph of (G,X). For a group G and its subgroup A, based on the results in Isaacs and Praeger (1993) [5], Kaplan (1997) [6] proved that if A is stable in G and the common divisor graph of (A,G) has two components, then G has a nice structure. Motivated by the notion of the common divisor graph of (G,X), Camina (2008) [3] introduced the concept of the IP-graph of a naturally valenced association scheme. The common divisor graph of (G,X) is the IP-graph of the association scheme arising from the action of G on X. Xu (2009) [8] studied the properties of the IP-graph of an arbitrary naturally valenced association scheme, and generalized the main results in Isaacs and Praeger (1993) [5] and Camina (2008) [3]. In this paper we first prove that if the IP-graph of a naturally valenced association scheme (X,S) is stable and has two components (not including the trivial component whose only vertex is 1), then S has a closed subset T such that the thin residue O?(T) and the quotient scheme (X/O?(T),S//O?(T)) have very nice properties. Then for an association scheme (X,S) and a closed subset T of S such that S//T is an association scheme on X/T, we study the relations between the closed subsets of S and those of S//T. Applying these results to schurian schemes and common divisor graphs of groups, we obtain the results of Kaplan [6] as direct consequences.     

On the degree theory for general mappings of monotone type

Degree theory has been developed as a tool for checking the solution existence of nonlinear equations. In his classic paper published in 1983, Browder developed a degree theory for mappings of monotone type f+T, where f is a mapping of class ₊(S) from a bounded open set Ω in a reflexive Banach space X into its dual X^∗, and T is a maximal monotone mapping from X into X^∗. This breakthrough paved the way for many applications of degree theoretic techniques to several large classes of nonlinear partial differential equations. In this paper we continue to develop the results of Browder on the degree theory for mappings of monotone type f+T. By enlarging the class of maximal monotone mappings and pseudo-monotone homotopies we obtain some new results of the degree theory for such mappings.     

A necessary and sufficient condition for the existence of a spanning tree with specified vertices having large degrees

Let G be a connected simple graph, let X?V (^G) and let f be a mapping from X to the set of integers. When X is an independent set, Frank and Gyárfás, and independently, Kaneko and Yoshimoto gave a necessary and sufficient condition for the existence of spanning tree T in G such that d _T (x) for all x ∈ X, where d _T (x) is the degree of x and T. In this paper, we extend this result to the case where the subgraph induced by X has no induced path of order four, and prove that there exists a spanning tree T in G such that d _T (x) ≥ f(x) for all x ∈ X if and only if for any nonempty subset S ? X, |N _G (S) ? S| ? f(S) + 2|S| ? ω _G (S) ≥, where ω _G (S) is the number of components of the subgraph induced by S.     

Tychonoff expansions with prescribed resolvability properties

The recent literature offers examples, specific and hand-crafted, of Tychonoff spaces (in ZFC) which respond negatively to these questions, due respectively to Ceder and Pearson (1967) [3] and to Comfort and García-Ferreira (2001) [5]: (1) Is every ω-resolvable space maximally resolvable? (2) Is every maximally resolvable space extraresolvable? Now using the method of KID expansion, the authors show that every suitably restricted Tychonoff topological space (X,T) admits a larger Tychonoff topology (that is, an “expansion”) witnessing such failure. Specifically the authors show in ZFC that if (X,T) is a maximally resolvable Tychonoff space with S(X,T)?Δ(X,T)=κ, then (X,T) has Tychonoff expansions U=Ui (1?i?5), with Δ(X,Ui)=Δ(X,T) and S(X,Ui)?Δ(X,Ui), such that (X,Ui) is: (i=1) ω-resolvable but not maximally resolvable; (i=2) [if κ^′ is regular, with S(X,T)?κ^′?κ] τ-resolvable for all τ<κ^′, but not κ^′-resolvable; (i=3) maximally resolvable, but not extraresolvable; (i=4) extraresolvable, but not maximally resolvable; (i=5) maximally resolvable and extraresolvable, but not strongly extraresolvable.     

The regular part of a semigroup of transformations with restricted range

Let T(X) be the full transformation semigroup on the set X and let T(X,Y) be the semigroup consisting of all total transformations from X into a fixed subset Y of X. It is known that $$F(X, Y)=\{\alpha\in T(X, Y): X\alpha\subseteq Y\alpha\},$$ is the largest regular subsemigroup of T(X,Y) and determines Green??s relations on T(X,Y). In this paper, we show that F(X,Y)?T(Z) if and only if X=Y and |Y|=|Z|; or |Y|=1=|Z|, and prove that every regular semigroup S can be embedded in F(S ¹,S). Then we describe Green??s relations and ideals of F(X,Y) and apply these results to get all of its maximal regular subsemigroups when Y is a nonempty finite subset of X.     

Eigenvalue results for pseudomonotone perturbations of maximal monotone operators

Let X be an infinite-dimensional real reflexive Banach space such that X and its dual X* are locally uniformly convex. Suppose that T: X?D(T) → 2 ^X * is a maximal monotone multi-valued operator and C: X?D(C) → X* is a generalized pseudomonotone quasibounded operator with L ? D(C), where L is a dense subspace of X. Applying a recent degree theory of Kartsatos and Skrypnik, we establish the existence of an eigensolution to the nonlinear inclusion 0 ∈ T _x + λ C _x , with a regularization method by means of the duality operator. Moreover, possible branches of eigensolutions to the above inclusion are discussed. Furthermore, we give a surjectivity result about the operator λT + C when λ is not an eigenvalue for the pair (T, C), T being single-valued and densely defined.     

Conjecture of Li and Praeger concerning the isomorphisms of Cayley graphs of A5

LetG be a finite group, andS a subset ofG \ |1| withS =S ^?1. We useX = Cay(G,S) to denote the Cayley graph ofG with respect toS. We callS a Cl-subset ofG, if for any isomorphism Cay(G,S) ≈ Cay(G,T) there is an α∈ Aut(G) such thatS ^α =T. Assume that m is a positive integer.G is called anm-Cl-group if every subsetS ofG withS =S ^?1 and | S | ≤m is Cl. In this paper we prove that the alternating groupA ₅ is a 4-Cl-group, which was a conjecture posed by Li and Praeger.     

Simultaneous block diagonalization of two real symmetric matrices

The simultaneous diagonalization of two real symmetric (r.s.) matrices has long been of interest. This subject is generalized here to the following problem (this question was raised by Dr. Olga Taussky-Todd, my thesis advisor at the California Institute of Technology): What is the first simultaneous block diagonal structure of a nonsingular pair of r.s. matrices ? For example, given a nonsingular pair of r.s. matrices S and T, which simultaneous block diagonalizations X′SX = diag(A₁, , A_k), X′TX = diag(B₁,, B_k) with dim A_i = dim B_i and X nonsingular are possible for 1 ? k ? n; and how well defined is a simultaneous block diagonalization for which k, the number of blocks, is maximal? Here a pair of r.s. matrices S and T is called nonsingular if S is nonsingular.If the number of blocks k is maximal, then one can speak of the finest simultaneous block diagonalization of S and T, since then the sizes of the blocks A_i are uniquely determined (up to permutations) by any set of generators of the pencil P(S, T) = {aS + bT|a, tb ε R} via the real Jordan normal form of S^?1T. The proof uses the canonical pair form theorem for nonsingular pairs of r.s. matrices. The maximal number k and the block sizes dim A_i are also determined by the factorization over C of ? (λ, μ) = det(λS + μT) for λ, μ ε R.     

Products of longitudinal pseudodifferential operators on flag varieties

Associated to each set S of simple roots of SL(n,C) is an equivariant fibration X→XS of the complete flag variety X of Cn. To each such fibration we associate an algebra JS of operators on L²(X), or more generally on L²-sections of vector bundles over X. This ideal contains, in particular, the longitudinal pseudodifferential operators of negative order tangent to the fibres. Together, they form a lattice of operator ideals whose common intersection is the compact operators. Thus, for instance, the product of negative order pseudodifferential operators along the fibres of two such fibrations, X→XS and X→XT, is a compact operator if S∪T is the full set of simple roots. The construction of the ideals uses noncommutative harmonic analysis, and hinges upon a representation theoretic property of subgroups of SU(n), which may be described as ‘essential orthogonality of subrepresentations’.     

Operators whose dual has non-separable range

Let X and Y be separable Banach spaces and T:X→Y be a bounded linear operator. We characterize the non-separability of T^?(Y^?) by means of fixing properties of the operator T.     

Perturbations of maximal monotone random operators

Let X be a Banach space, X¹ its dual, and Ω a measurable space. We study the solvability of nonlinear random equations involving operators of the form L + T, where L is a maximal monotone random operator from Ω × X into X¹ and T : Ω × X → X¹ a random operator of monotone type.     

Normal operators and multipliers on complex Banach spaces and a symmetry property ofL 1-predual spaces

An operatorT on a complex Banach spaceX is callednormal if there exists an operatorS such that (1/2)(T+S) and (1/2i)(T?S) are hermitian, andTS=ST. We show thatT: X→X is normal iffT′: X ^′ » X^′ is normal. Using a generalization of the principle of local reflexivity this result enables us to prove that multipliers on complexL ¹-predual spaces are always normal.     

Extremal integral representations

Let X be a closed bounded convex subset with the Radon-Nikodym property of a Banach space. For tight Borel probability measures μ, v on X, define μ ? v iff there is a dilation T on X such that T(μ) = v. Then, for every x?X, there is a measure μ on X which is maximal in the partial order ? and which has barycenter x. If X is separable, then μ(ex X) = 1 for all maximal measures μ. In general, a maximal measure need not be “on” ex X in this strong sense. If X is weakly compact, then a maximal measure is “on” ex X in the looser sense that μ(B) = 1 for all weak Baire sets B ? ex X.     

Projections on spaces of invariant functions

Let (X, ∑, μ) be a measure space and S be a semigroup of measure-preserving transformations T:X → X. In case μ(X) < ∞, Aribaud [1] proved the existence of a positive contractive projection P of L¹(μ) such that for every $\text{? ? L}{}^1\text{(μ), Pf}$ belongs to the closure $\text{C}{}_1\text{(?)}\text{in}\text{L}{}^1\text{(μ)}$ of the convex hull $\text{C(?)}$ of the set {$\text{? ○ T:T ? S}$}. In this paper we extend this result in three directions: we consider infinite measure spaces, vector-valued functions, and L^p spaces with 1 ? p < ∞, and prove that P is in fact the conditional expectation with respect to the σ-algebra Λ of sets of ∑ which are invariant with respect to all T?S.     

Vanishing theorem for sheaves of microfunctions at the boundary on cr–manifolds

Let X be a complex analytic manifold. Consider S?M?Xreal analytic submonifolds with codium ^R _MS=1,and let ω be a connected component of M\S. Let p∈S X_MT_M ^*X where T^* _Xdenotes the conormal bundle to M in X, and denote by ν(p) the complex radial Euler field at p. Denote by μ*(Ox) (for * = M, ω) the microlocalization of the sheaf of holomorphic functions along *.

Under the assumption dim^R(T_pT_M ^*X? ν(p)) = 1, a theorem of vanishing for the cohomology groups H^jμM(Ox)p is proved in [K-S 1, Prop. 11.3.1], j being related to the number of positive and negative eigenvalue for the Levi form of M.

Under the hypothesis dim^R(T_pT_S ^*X∩ν(p))=1, a similar result is proved here for the cohomology groups of the complex of microfunctions at the boundary μω(Ox).Stating this result in terms of regularity at the boundary for CR–hyperfunctions a local Bochner–type theorem is then obtained.