Weakly sequentially continuous differentiable mappings

It is well known that a (linear) operator between Banach spaces is completely continuous if and only if its adjoint takes bounded subsets of Y^* into uniformly completely continuous subsets, often called (L)-subsets, of X^*. We give similar results for differentiable mappings. More precisely, if UX is an open convex subset, let be a differentiable mapping whose derivative is uniformly continuous on U-bounded subsets. We prove that f takes weak Cauchy U-bounded sequences into convergent sequences if and only if f^′ takes Rosenthal U-bounded subsets of U into uniformly completely continuous subsets of . As a consequence, we extend a result of P. Hájek and answer a question raised by R. Deville and E. Matheron. We derive differentiable characterizations of Banach spaces not containing ℓ₁ and of Banach spaces without the Schur property containing a copy of ℓ₁. Analogous results are given for differentiable mappings taking weakly convergent U-bounded sequences into convergent sequences. Finally, we show that if X has the hereditary Dunford–Pettis property, then every differentiable function as above is locally weakly sequentially continuous.     

Hessenberg pairs of linear transformations

Let denote a field and V denote a nonzero finite-dimensional vector space over . We consider an ordered pair of linear transformations A:V→V and A^*:V→V that satisfy (i)–(iii) below.

1. [(i)]Each of A,A^* is diagonalizable on V.

2. [(ii)]There exists an ordering of the eigenspaces of A such that

where V_-1=0, V_d+1=0.

3. [(iii)]There exists an ordering of the eigenspaces of A^* such that

where , .

We call such a pair a Hessenberg pair on V. In this paper we obtain some characterizations of Hessenberg pairs. We also explain how Hessenberg pairs are related to tridiagonal pairs.

Solutions to operator equations on Hilbert -modules

Let be a C^*-algebra, E,F and G be Hilbert -modules, , and . We generalize the Douglas theorem about the operator equation TX=T^′ from Hilbert space to Hilbert C^*-module. To the equation TX=T^′ and to the system of two equations TX=T^′ and XS=S^′, we get the forms of general solutions (in the case that there exists a solution), and give some sufficient and necessary conditions for the existence of solutions, and the existence of hermitian solutions and positive solutions (in the case G=E). In addition, the forms of general hermitian solution and general positive solution (in the case that there exists a solution and G=E) to the equation TX=T^′ are given too.     

Finitely additive representation of spaces

Let be any atomless and countably additive probability measure on the product space with the usual σ-algebra. Then there is a purely finitely additive probability measure λ on the power set of a countable subset such that can be isometrically isomorphically embedded as a closed subspace of L^p(λ). The embedding is strict. It is also ‘canonical,’ in the sense that it maps simple and continuous functions on to their restrictions to T.     

Widths of weighted Sobolev classes on the ball

We study the Kolmogorov n-widths and the linear n-widths of weighted Sobolev classes on the unit ball B^d in L_q,μ, where L_q,μ, 1≤q≤∞, denotes the weighted L_q space of functions on B^d with respect to weight . Optimal asymptotic orders of and as n→∞ are obtained for all 1≤p,q≤∞ and μ≥0.     

On the modulus of -convexity

In this paper, we prove that the moduli of W^*-convexity, introduced by Ji Gao [J. Gao, The W^*-convexity and normal structure in Banach spaces, Appl. Math. Lett. 17 (2004) 1381–1386], of a Banach space X and of the ultrapower of X itself coincide whenever X is super-reflexive. Moreover, we improve a sufficient condition for uniform normal structure of the space and its dual. This generalizes and strengthens the main results of [J. Gao, The W^*-convexity and normal structure in Banach spaces, Appl. Math. Lett. 17 (2004) 1381–1386].     

On the nonlinear wave equation with the mixed nonhomogeneous conditions: Linear approximation and asymptotic expansion of solutions

In this paper, we consider the following nonlinear wave equation

(1)

where , , μ, f, g are given functions. To problem (1), we associate a linear recursive scheme for which the existence of a local and unique weak solution is proved by applying the Faedo–Galerkin method and the weak compact method. In the case of , , μ(z)≥μ₀>0, μ₁(z)≥0, for all , and , , , a weak solution u_ε1,ε2(x,t) having an asymptotic expansion of order N+1 in two small parameters ε₁, ε₂ is established for the following equation associated to (1)_2,3:

(2)

     

Christoffel-type functions for -orthogonal polynomials for Freud weights

This paper gives upper and lower bounds of the Christoffel-type functions , for the m-orthogonal polynomials for a Freud weight W=e^-Q, which are given as follows. Let a_n=a_n(Q) be the nth Mhaskar–Rahmanov–Saff number, φ_n(x)=max{n^-2/3,1-|x|/a_n}, and d>0. Assume that QC(R) is even, , and for some A,B>1

Then for xR

and for |x|a_n(1+dn^-2/3)

     

On partial sums of certain meromophic -valent functions

In this paper, we study the ratio of meromorphic p-valent functions in the punctured disk U^*={z:0<|z|<1} of the form to its sequence of partial sums of the form . Also, we determine sharp lower bounds for and .     

The topological structure of fuzzy sets with endograph metric

For a non-degenerate convex subset Y of the n-dimensional Euclidean space Rⁿ, let be the family of all fuzzy sets ofRⁿ, which are upper-semicontinuous, fuzzy convex and normal with compact supports contained in Y. We show that the space with the topology of endograph metric is homeomorphic to the Hilbert cube Q=[-1,1]^ω iff Y is compact; and the space is homeomorphic to {(x_n)Q:sup|x_n|<1} iff Y is non-compact and locally compact.     

Existence results for -point boundary value problem of second order ordinary differential equations

This study concerns the existence of positive solutions to the boundary value problemwhere ξ_i(0,1) with 0<ξ₁<ξ₂<<ξ_n-2<1, a_i, b_i[0,∞) with and . By applying the Krasnoselskii's fixed-point theorem in Banach spaces, some sufficient conditions guaranteeing the existence of at least one positive solution or at least two positive solutions are established for the above general n-point boundary value problem.     

Strong Haagerup inequalities with operator coefficients

We prove a Strong Haagerup inequality with operator coefficients. If for an integer d, denotes the subspace of the von Neumann algebra of a free group F_I spanned by the words of length d in the generators (but not their inverses), then we provide in this paper an explicit upper bound on the norm on , which improves and generalizes previous results by Kemp–Speicher (in the scalar case) and Buchholz and Parcet–Pisier (in the non-holomorphic setting). Namely the norm of an element of the form ∑_{i=(i1,…,id)}a_iλ(g_i1g_id) is less than , where M₀,…,M_d are d+1 different block-matrices naturally constructed from the family (a_i)_iI^d for each decomposition of I^dI^l×I^d−l with l=0,…,d. It is also proved that the same inequality holds for the norms in the associated non-commutative L_p spaces when p is an even integer, pd and when the generators of the free group are more generally replaced by *-free -diagonal operators. In particular it applies to the case of free circular operators. We also get inequalities for the non-holomorphic case, with a rate of growth of order d+1 as for the classical Haagerup inequality. The proof is of combinatorial nature and is based on the definition and study of a symmetrization process for partitions.     

Construction of nonseparable dual -wavelet frames in

Suppose and are two pairs of dual M-wavelet frames and N-wavelet frames in and , respectively, where M and N are s₁×s₁ and s₂×s₂ dilation matrices with a₁(|det(M)|-1) and (2a₂+1)(|det(N)|-1). Moreover, their mask symbols both satisfy mixed extension principle (MEP). Based on the mask symbols, a family of nonseparable dual Ω-wavelet frames in are constructed, where s=s₁+s₂, and with Θ and M^-1Θ both being integer matrices. Then a convolution scheme for improving regularity of wavelet frames is given. From the nonseparable dual Ω-wavelet frames, nonseparable Ω-wavelet frames with high regularity can be constructed easily. We give an algorithm for constructing nonseparable dual symmetric or antisymmetric wavelet frames in . From the dual Ω-wavelet frames, nonseparable dual Ω-wavelet frames with symmetry can be obtained easily. In the end, two examples are given.     

Instance-optimality in probability with an -minimization decoder

Let Φ(ω), ωΩ, be a family of n×N random matrices whose entries _i,j are independent realizations of a symmetric, real random variable η with expectation and variance . Such matrices are used in compressed sensing to encode a vector by y=Φx. The information y holds about x is extracted by using a decoder . The most prominent decoder is the ℓ₁-minimization decoder Δ which gives for a given the element which has minimal ℓ₁-norm among all with Φz=y. This paper is interested in properties of the random family Φ(ω) which guarantee that the vector will with high probability approximate x in to an accuracy comparable with the best k-term error of approximation in for the range kan/log₂(N/n). This means that for the above range of k, for each signal , the vector satisfies

with high probability on the draw of Φ. Here, Σ_k consists of all vectors with at most k nonzero coordinates. The first result of this type was proved by Wojtaszczyk [P. Wojtaszczyk, Stability and instance optimality for Gaussian measurements in compressed sensing, Found. Comput. Math., in press] who showed this property when η is a normalized Gaussian random variable. We extend this property to more general random variables, including the particular case where η is the Bernoulli random variable which takes the values with equal probability. The proofs of our results use geometric mapping properties of such random matrices some of which were recently obtained in [A. Litvak, A. Pajor, M. Rudelson, N. Tomczak-Jaegermann, Smallest singular value of random matrices and geometry of random polytopes, Adv. Math. 195 (2005) 491–523].     

Index theory for boundary value problems via continuous fields of -algebras

We prove an index theorem for boundary value problems in Boutet de Monvel's calculus on a compact manifold X with boundary. The basic tool is the tangent semi-groupoid generalizing the tangent groupoid defined by Connes in the boundaryless case, and an associated continuous field of C^*-algebras over [0,1]. Its fiber in =0, , can be identified with the symbol algebra for Boutet de Monvel's calculus; for ≠0 the fibers are isomorphic to the algebra of compact operators. We therefore obtain a natural map . Using deformation theory we show that this is the analytic index map. On the other hand, using ideas from noncommutative geometry, we construct the topological index map and prove that it coincides with the analytic index map.     

Nonnegative iterations with asymptotically constant coefficients

Let A_k,k=0,1,2,…, be a sequence of real nonsingular n×n matrices which converge to a nonsingular matrix A. Suppose that A has exactly one positive eigenvalue λ and there exists a unique nonnegative vector u with properties Au=λu and u=1. Under further additional conditions on the spectrum of A, it is shown that if x₀≠0 and the iterates

are nonnegative, then converges to u and converges to λ as k→∞.     

The fixed point property in -triples and preduals of -triples

We prove that for every member X in the class of real or complex JB^*-triples or preduals of JBW^*-triples, the following assertions are equivalent:

(1) X has the fixed point property.

(2) X has the super fixed point property.

(3) X has normal structure.

(4) X has uniform normal structure.

(5) The Banach space of X is reflexive.

As a consequence, a real or complex C^*-algebra or the predual of a real or complex W^*-algebra having the fixed point property must be finite-dimensional.

Extremal fullerene graphs with the maximum Clar number

A fullerene graph is a cubic 3-connected plane graph with (exactly 12) pentagonal faces and hexagonal faces. Let F_n be a fullerene graph with n vertices. A set of mutually disjoint hexagons of F_n is a sextet pattern if F_n has a perfect matching which alternates on and off every hexagon in . The maximum cardinality of sextet patterns of F_n is the Clar number of F_n. It was shown that the Clar number is no more than . Many fullerenes with experimental evidence attain the upper bound, for instance, C₆₀ and C₇₀. In this paper, we characterize extremal fullerene graphs whose Clar numbers equal . By the characterization, we show that there are precisely 18 fullerene graphs with 60 vertices, including C₆₀, achieving the maximum Clar number 8 and we construct all these extremal fullerene graphs.     

Über ein Turánsches problem für radiale, positiv definite Funktionen, II

Turán's problem is to determine the greatest possible value of the integral for positive definite functions f(x), , supported in a given convex centrally symmetric body , . We consider the problem for positive definite functions of the form f(x)=(x₁), , with supported in [0,π], extending results of our first paper from two to arbitrary dimensions.Our two papers were motivated by investigations of Professor Y. Xu and the 2nd named author on, what they called, ℓ-1 summability of the inverse Fourier integral on . Their investigations gave rise to a pair of transformations (h_d,m_d) on which they studied using special functions, in particular spherical Bessel functions.To study the d-dimensional Turán problem, we had to extend relevant results of B. & X., and we did so using again Bessel functions. These extentions seem to us to be equally interesting as the application to Turán's problem.