The geometry of the critical set of nonlinear periodic Sturm-Liouville operators

We study the critical set C of the nonlinear differential operator F(u)=−u^″+f(u) defined on a Sobolev space of periodic functions Hp(S¹), p?1. Let be the plane z=0 and, for n>0, let n be the cone x²+y²=tan²z, |z−2πn|<π/2; also set . For a generic smooth nonlinearity f:R→R with surjective derivative, we show that there is a diffeomorphism between the pairs (Hp(S¹),C) and (R³,Σ)×H where H is a real separable infinite-dimensional Hilbert space.     

Orthogonally additive polynomials on spaces of continuous functions

We show that, for every orthogonally additive homogeneous polynomial P on a space of continuous functions C(K) with values in a Banach space Y, there exists a linear operator S:C(K)→Y such that P(f)=S(fn). This is the C(K) version of a related result of Sundaresam for polynomials on Lp spaces.     

Toeplitz operators in several complex variables

Let S be the unit sphere in Cⁿ. We investigate the properties of Toeplitz operators on S, i.e., operators of the form Tφf = P(φf) where φ?L^∞(S) and P denotes the projection of L²(S) onto H²(S). The aim of this paper is to determine how far the extensive one-variable theory remains valid in higher dimensions. We establish the spectral inclusion theorem, that the spectrum of T_φ contains the essential range of φ, and obtain a characterization of the Toeplitz operators among operators on H²(S) by an operator equation. Particular attention is paid to the case where φ ? H^∞(S) + C(S) where C(S) denotes the algebra of continuous functions on S. Finally we describe a class of Toeplitz operators useful for providing counterexamples—in particular, Widom's theorem on the connectedness of the spectrum fails when n > 1.     

A rough hypersingular integral operator with an oscillating factor

We study certain hypersingular integrals TΩ,α,βf defined on all test functions f∈S(Rn), where the kernel of the operator TΩ,α,β has a strong singularity |y|^−n−α(α>0) at the origin, an oscillating factor ei|y|^−β(β>0) and a distribution Ω∈Hr(Sn−1), 0<r<1. We show that TΩ,α,β extends to a bounded linear operator from the Sobolev space to the Lebesgue space Lp for β/(β−α)<p<β/α, if the distribution Ω is in the Hardy space Hr(Sn−1) with 0<r=(n−1)/(n−1+γ)(0<γ?α) and β>2α>0.     

Viscosity approximation methods for nonexpansive mappings and monotone mappings

Viscosity approximation methods for nonexpansive mappings are studied. Consider the iteration process {xn}, where x₀∈C is arbitrary and xn+1=αnf(xn)+(1−αn)SPC(xn−λnAxn), f is a contraction on C, S is a nonexpansive self-mapping of a closed convex subset C of a Hilbert space H. It is shown that {xn} converges strongly to a common element of the set of fixed points of nonexpansive mapping and the set of solutions of the variational inequality for an inverse strongly-monotone mapping which solves some variational inequality.     

On the outputs of linear control systems

This paper studies autonomous, single-input, single-output linear control systems on finite time intervals. The object of interest is the output operatorO, which associates to each input function and initial state vector the corresponding system output. Main result: If the system has relative degree r<∞, then for any “admissible” Banach space U of inputs, O is a bounded operator taking U×Cn onto the “Sobolev space” of complex functions f∈C(r−1)([0,T]) for which the (r−1)-order derivative f(r−1) is absolutely continuous, with f(r)∈U. This completes recent results of Jönsson and Martin [Ulf Jönsson, Clyde Martin, Approximation with the output of linear control systems, J. Math. Anal. Appl. 329 (2007) 798-821] who showed that if the system is minimal and U is either L²([0,T]) or C([0,T]), then has dense range.     

On the chromaticity of complete multipartite graphs with certain edges added

Let P(G,λ) be the chromatic polynomial of a graph G. A graph G is chromatically unique if for any graph H, P(H,λ)=P(G,λ) implies H is isomorphic to G. For integers k≥0, t≥2, denote by K((t−1)×p,p+k) the complete t-partite graph that has t−1 partite sets of size p and one partite set of size p+k. Let K(s,t,p,k) be the set of graphs obtained from K((t−1)×p,p+k) by adding a set S of s edges to the partite set of size p+k such that 〈S〉 is bipartite. If s=1, denote the only graph in K(s,t,p,k) by K⁺((t−1)×p,p+k). In this paper, we shall prove that for k=0,1 and p+k≥s+2, each graph G∈K(s,t,p,k) is chromatically unique if and only if 〈S〉 is a chromatically unique graph that has no cut-vertex. As a direct consequence, the graph K⁺((t−1)×p,p+k) is chromatically unique for k=0,1 and p+k≥3.     

Stable decompositions for some symmetric group characters arising in braid group cohomology

We prove that certain permutation characters for the symmetric group Σn decompose in a manner that is independent of n for large n. This result is a key ingredient in the recent work of T. Church and B. Farb, who obtain a “representation stability” theorem for the character of Σn acting on the cohomology Hp(Pn,C) of the pure braid group Pn.     

Topology of random clique complexes

In a seminal paper, Erd?s and Rényi identified a sharp threshold for connectivity of the random graph G(n,p). In particular, they showed that if p?logn/n then G(n,p) is almost always connected, and if p?logn/n then G(n,p) is almost always disconnected, as n→∞.The clique complexX(H) of a graph H is the simplicial complex with all complete subgraphs of H as its faces. In contrast to the zeroth homology group of X(H), which measures the number of connected components of H, the higher dimensional homology groups of X(H) do not correspond to monotone graph properties. There are nevertheless higher dimensional analogues of the Erd?s-Rényi Theorem.We study here the higher homology groups of X(G(n,p)). For k>0 we show the following. If p=n^α, with α<−1/k or α>−1/(2k+1), then the kth homology group of X(G(n,p)) is almost always vanishing, and if −1/k<α<−1/(k+1), then it is almost always nonvanishing.We also give estimates for the expected rank of homology, and exhibit explicit nontrivial classes in the nonvanishing regime. These estimates suggest that almost all d-dimensional clique complexes have only one nonvanishing dimension of homology, and we cannot rule out the possibility that they are homotopy equivalent to wedges of a spheres.     

Weyl's theorem for algebraically totally hereditarily normaloid operators

A Banach space operator T∈B(X) is said to be totally hereditarily normaloid, T∈THN, if every part of T is normaloid and every invertible part of T has a normaloid inverse. The operator T is said to be an H(q) operator for some integer q?1, T∈H(q), if the quasi-nilpotent part H₀(T−λ)=(T−λ)^−q(0) for every complex number λ. It is proved that if T is algebraically H(q), or T is algebraically THN and X is separable, then f(T) satisfies Weyl's theorem for every function f analytic in an open neighborhood of σ(T), and T^∗ satisfies a-Weyl's theorem. If also T^∗ has the single valued extension property, then f(T) satisfies a-Weyl's theorem for every analytic function f which is non-constant on the connected components of the open neighborhood of σ(T) on which it is defined.     

Sharp inequalities and regularity of heat semigroup on infinite dimensional spaces

This paper discusses the regularity of the heat semigroup P_t generated from the abstract Wiener measure p_t on an abstract Wiener space (H, B). It is shown that if f ϵ L^x(p_t(x, dy)) for some α > 1, then P_tf(x) is infinitely H-differentiable and DⁿP_tf(x) is a symmetric n-linear Hilbert-Schmidt operator in Lⁿ(H). A compact formula of DⁿP_tf(x) and the estimation of ∥DⁿP_tf(x)∥_HS are also given. In the course of proving the above results, we obtain some sharp integral inequalities.     

Hua operators and Poisson transform for bounded symmetric domains

Let Ω be a bounded symmetric domain of non-tube type in Cn with rank r and S its Shilov boundary. We consider the Poisson transform Psf(z) for a hyperfunction f on S defined by the Poisson kernel Ps(z,u)=s(h(z,z)^n/r/²|h(z,u)^n/r|), (z,u)×Ω×S, s∈C. For all s satisfying certain non-integral condition we find a necessary and sufficient condition for the functions in the image of the Poisson transform in terms of Hua operators. When Ω is the type I matrix domain in Mn,m(C) (n?m), we prove that an eigenvalue equation for the second order Mn,n-valued Hua operator characterizes the image.     

Every composition operator is (mean) asymptotically Toeplitz

Nazarov and Shapiro recently showed that, while composition operators on the Hardy space H² can only trivially be Toeplitz, or even “Toeplitz plus compact,” it is an interesting problem to determine which of them can be “asymptotically Toeplitz.” I show here that if “asymptotically” is interpreted in, for example, the Cesàro (C,α) sense (α>0), then every composition operator on H² becomes asymptotically Toeplitz.     

Generalized characters of the symmetric group

Normalized irreducible characters of the symmetric group S(n) can be understood as zonal spherical functions of the Gelfand pair (S(n)×S(n),diagS(n)). They form an orthogonal basis in the space of the functions on the group S(n) invariant with respect to conjugations by S(n). In this paper we consider a different Gelfand pair connected with the symmetric group, that is an “unbalanced” Gelfand pair (S(n)×S(n−1),diagS(n−1)). Zonal spherical functions of this Gelfand pair form an orthogonal basis in a larger space of functions on S(n), namely in the space of functions invariant with respect to conjugations by S(n−1). We refer to these zonal spherical functions as normalized generalized characters of S(n). The main discovery of the present paper is that these generalized characters can be computed on the same level as the irreducible characters of the symmetric group. The paper gives a Murnaghan-Nakayama type rule, a Frobenius type formula, and an analogue of the determinantal formula for the generalized characters of S(n).     

Uniqueness theorems for meromorphic mappings with few hyperplanes

Let f,g be linearly nondegenerate meromorphic mappings of Cm into CPn. Let be hyperplanes in CPn in general position, such that

(a)

f−1(Hj)=g−1(Hj), for all 1?j?q,

(b)

dim(f−1(Hi)∩f−1(Hj))?m−2 for all 1?i<j?q, and

(c)

f=g on .

It is well known that if q?3n+2, then f≡g. In this paper we show that for every nonnegative integer c there exists positive integer N(c) depending only on c in an explicit way such that the above result remains valid if q?(3n+2−c) and n?N(c). Furthermore, we also show that the coefficient of n in the formula of q can be replaced by a number which is strictly smaller than 3 for all n?0. At the same time, a big number of recent uniqueness theorems are generalized considerably.     

Unitary part of a contraction

For a contraction A on a Hilbert space H, we define the index j(A) (resp., k(A)) as the smallest nonnegative integer j (resp., k) such that ker(I−Aj∗Aj) (resp., ker(I−Ak*Ak)∩ker(I−AkAk∗)) equals the subspace of H on which the unitary part of A acts. We show that if , then j(A)?n (resp., k(A)?⌈n/2⌉), and the equality holds if and only if A is of class Sn (resp., one of the three conditions is true: (1) A is of class Sn, (2) n is even and A is completely nonunitary with ‖An−2‖=1 and ‖An−1‖<1, and (3) n is even and A=U⊕A^′, where U is unitary on a one-dimensional space and A^′ is of class Sn−1).     

Maps preserving the nilpotency of products of operators

Let B(X) be the algebra of all bounded linear operators on the Banach space X, and let N(X) be the set of nilpotent operators in B(X). Suppose ?:B(X)→B(X) is a surjective map such that A,B∈B(X) satisfy AB∈N(X) if and only if ?(A)?(B)∈N(X). If X is infinite dimensional, then there exists a map f:B(X)→C?{0} such that one of the following holds:

(a)

There is a bijective bounded linear or conjugate-linear operator S:X→X such that ? has the form A?S[f(A)A]S^-1.

(b)

The space X is reflexive, and there exists a bijective bounded linear or conjugate-linear operator S : X′ → X such that ? has the form A ? S[f(A)A′]S⁻¹.

If X has dimension n with 3 ? n < ∞, and B(X) is identified with the algebra M_n of n × n complex matrices, then there exist a map f:M_n→C?{0}, a field automorphism ξ:C→C, and an invertible S ∈ M_n such that ? has one of the following forms:

     

Functions of operators under perturbations of class Sp

This is a continuation of our paper [2]. We prove that for functions f in the Hölder class Λα(R) and 1<p<∞, the operator f(A)−f(B) belongs to Sp/α, whenever A and B are self-adjoint operators with A−B∈Sp. We also obtain sharp estimates for the Schatten-von Neumann norms ‖f(A)−f(B)Sp/α_‖ in terms of ‖A−BSp_‖ and establish similar results for other operator ideals. We also estimate Schatten-von Neumann norms of higher order differences . We prove that analogous results hold for functions on the unit circle and unitary operators and for analytic functions in the unit disk and contractions. Then we find necessary conditions on f for f(A)−f(B) to belong to Sq under the assumption that A−B∈Sp. We also obtain Schatten-von Neumann estimates for quasicommutators f(A)R−Rf(B), and introduce a spectral shift function and find a trace formula for operators of the form f(A−K)−2f(A)+f(A+K).     

Growth rate of the functions in Bergman type spaces

For 0<p,α<∞, let ‖f‖_p,α be the L^p-norm with respect the weighted measure . We define the weighted Bergman space A_α^p(D) consisting of holomorphic functions f with ‖f‖_p,α<∞. For any σ>0, let A^−σ(D) be the space consisting of holomorphic functions f in D with . If D has C² boundary, then we have the embedding A_α^p(D)⊂A^−(n+α)/p(D). We show that the condition of C²-smoothness of the boundary of D is necessary by giving a counter-example of a convex domain with C^1,λ-smooth boundary for 0<λ<1 which does not satisfy the embedding.     

Boundedness and compactness of Hankel operators on the sphere

We consider Hankel operators on the Hardy space of the unit sphere in Cn. We show that a large amount of information about the function f−Pf can be recovered from the Hankel operator Hf. For example, if Hf is compact, then the function f−Pf is necessarily in VMO.