Kneading sequences for unimodal expanding maps of the interval

LetP andAC be two primary sequences with min{P, AC}≥RLR ^∞,ρ(P) and ρ(AC) be the eigenvalues ofP andAC, respectively. Letf∈C ⁰ (I, I) be a unimodal expanding map with expanding constant λ and m be a nonegative integer. It is proved thatf has the kneading sequenceK(f)≥(RC) ^*m *P if λ≥(ρ(P))^1/2m, andK(f)>(RC) ^*m*AC*E for any shift maximal sequenceE if λ>(ρ(AC))^1/2m. The value of (ρ(P))^1/2m or (ρ(AC))^1/2m is the best possible in the sense that the related conclusion may not be true if it is replaced by any smaller one. Project supported by the National Natural Science Foundation of China     

Escaping points of meromorphic functions with a finite number of poles

We establish several new properties of the escaping setI(f)={z∶f ⁿ (z)→∞ andf ⁿ(z)⇑∞ for eachn∈N} of a transcendental meromorphic functionf with a finite number of poles. By considering a subset ofI(f) where the iterates escape about as fast as possible, we show thatI(f) always contains at least one unbounded component. Also, iff has no Baker wandering domains, then the setI(f)⊂J(f), whereJ(f) is the Julia set off, has at least one unbounded component. These results are false for transcendental meromorphic functions with infinitely many poles.     

The convergence of padé approximants and the size of the power series coefficients

Let f be a power series ∑a_izⁱ with complex coefficients. The (n. n) Pade approximant to f is a rational function P/Q where P and Q are polynomials, Q(z) ? 0, of degree ≦ n such that f(z)Q(z)-P(z) = Az²ⁿ⁺¹ + higher degree terms. It is proved that if the coefficients a_i satisfy a certain growth condition, then a corresponding subsequence of the sequence of (n, n) Pade approximants converges to f in the region where the power series f converges, except on an exceptional set E having a certain Hausdorff measure 0. It is also proved that the result is best possible in the sense that we may have divergence on E. In particular,there exists an entire function f such that the sequence of (ny n) Pade approximants diverges everywhere (except at 0)     

Extraneous fixed points,basin boundaries and chaotic dynamics for Schröder and König rational iteration functions

Summary The Schröder and König iteration schemes to find the zeros of a (polynomial) functiong(z) represent generalizations of Newton's method. In both schemes, iteration functionsf _m (z) are constructed so that sequencesz _n+1 =f _m (z _n ) converge locally to a rootz ^* ofg(z) asO(|z _n –z ^*|^m). It is well known that attractive cycles, other than the zerosz ^*, may exist for Newton's method (m=2). Asm increases, the iteration functions add extraneous fixed points and cycles. Whether attractive or repulsive, they affect the Julia set basin boundaries. The König functionsK _m (z) appear to minimize such perturbations. In the case of two roots, e.g.g(z)=z ²–1, Cayley's classical result for the basins of attraction of Newton's method is extended for allK _m (z). The existence of chaotic {z _n } sequences is also demonstrated for these iteration methods.     

Complete positivity,tensor products and C*-nuclearity for inverse limits of C*-algebras

The paper aims at developing a theory of nuclear (in the topological algebraic sense) pro-C^*-algebras (which are inverse limits of C^*-algebras) by investigating completely positive maps and tensor products. By using the structure of matrix algebras over a pro-C^*-algebra, it is shown that a unital continuous linear map between pro-C^*-algebrasA andB is completely positive iff by restriction, it defines a completely positive map between the C^*-algebrasb(A) andb(B) consisting of all bounded elements ofA andB. In the metrizable case,A andB are homeomorphically isomorphic iff they are matricially order isomorphic. The injective pro-C^*-topology α and the projective pro-C^*-topology v on A⊗B are shown to be minimal and maximal pro-C^*-topologies; and α coincides with the topology of biequicontinous convergence iff eitherA orB is abelian. A nuclear pro-C^*-algebraA is one that satisfies, for any pro-C^*-algebra (or a C^*-algebra)B, any of the equivalent requirements; (i) α =v onA ⊗B (ii)A is inverse limit of nuclear C^*-algebras (iii) there is only one admissible pro-C^*-topologyon A⊗B (iv) the bounded partb(A) ofA is a nuclear C⊗-algebra (v) any continuous complete state map A→B^* can be approximated in simple weak^* convergence by certain finite rank complete state maps. This is used to investigate permanence properties of nuclear pro-C^*-algebras pertaining to subalgebras, quotients and projective and inductive limits. A nuclearity criterion for multiplier algebras (in particular, the multiplier algebra of Pedersen ideal of a C^*-algebra) is developed and the connection of this C^*-algebraic nuclearity with Grothendieck’s linear topological nuclearity is examined. A σ-C^*-algebraA is a nuclear space iff it is an inverse limit of finite dimensional C^*-algebras; and if abelian, thenA is isomorphic to the algebra (pointwise operations) of all scalar sequences.     

On the dynamics of entire functions on the Julia set

Let f be an entire function and ?ⁿ its n-th iterate. Let P(?) denote the postcritical set of ? and J(?) the Julia set of ?. Suppose that the set E of all z ∈ J(?) with limsup_n→∞ dist (?ⁿ(z), P(?) U {∞}) > 0 has positive measure. It is proved that for a given set A ? ? of positive measure the set {n ∈ ?; ?ⁿ(z) ∈ A} is infinite for almost all z in the plane. From this follows that the forward orbit of almost all z ∈ ? is dense in the plane if E has positive measure.     

Caratheodory inequality for analytic operator function

Abstract. Suppose H is a complex Hilbert space, AH (△) denotes the set of all analytic operator functions on     

Differential subordinations concerning starlike functions

Denote byS ^* (⌕), (0≤⌕<1), the family consisting of functionsf(z)=z+a ₂z²+...+a_nzⁿ+... that are analytic and starlike of order ⌕, in the unit disc ⋎z⋎<1. In the present article among other things, with very simple conditions on μ, ⌕ andh(z) we prove the f’(z) (f(z)/z)^μ−1<h(z) implies f∈S^*(⌕). Our results in this direction then admit new applications in the study of univalent functions. In many cases these results considerably extend the earlier works of Miller and Mocanu [6] and others.     

New associative and nonassociative Gelfand-Naimark theorems

We prove that, ifA is a complex Banach algebra with a unit 1 and a conjugate-linear vector space involution^* such that 1^*=1 and‖a ^*a‖=‖a^*‖ ‖a‖ for alla inA, and ifdim(A)≥3, thenA is a C^*-algebra. The two-dimensional case is also considered and described.     

泛函方程组的解析解

§ 1　IntroductionThe Feigenbaum functional equation plays an importantrole in the theory concerninguniversal properties of one-parameter families of maps of the interval that has the formf2 (λx) +λf(x) =0 ,0 <λ=-f(1 ) <1 ,f(0 ) =1 ,(1 .1 )where f is a map ofthe interval[-1 ,1 ] into itself.Lanford[1 ] exhibited a computer-assist-ed proof for the existence of an even analytic solution to Eq.(1 .1 ) .It was shown in[2 ]that Eq.(1 .1 ) does not have an entire solution.Si[3] discussed the it…     

On intertwining operators

LetB(H) denote the algebra of operators on the Hilbert spaceH into itself. GivenA,BB(H), defineC (A, B) andR (A, B):B(H)B(H) byC (A, B) X=AX–XB andR(A, B) X=AXB–X. Our purpose in this note is a twofold one. we show firstly that ifA andB ^*B (H) are dominant operators such that the pure part ofB has non-trivial kernel, thenC ⁿ (A, B) X=0, n some natural number, implies thatC (A, B)X=C(A ^*,B ^*)X=0. Secondly, it is shown that ifA andB ^* are contractions withC ₀ completely non-unitary parts, thenR ⁿ (A, B) X=0 for some natural numbern implies thatR (A, B) X=R (A ^*,B ^*)X=C (A, B ^*)X=C (A ^*,B) X=0. In the particular case in whichX is of the Hilbert—Schmidt class, it is shown that his result extends to all contractionsA andB.     

A geometrical property ofC(K) spaces

We introduce a geometrical property of norm one complemented subspaces ofC(K) spaces which is useful for computing lower bounds on the norms of projections onto subspaces ofC(K) spaces. Loosely speaking, in the dual of such a space ifx* is a w* limit of a net (x _a ^* ) andx*=x*₁+x*₂ with ‖x*‖=‖x*₁‖ + ‖x*₂‖, then we measure how efficiently thex _a ^* 's can be split into two nets converging tox*₁ andx*₂, respectively. As applications of this idea we prove that if for everyε>0,X is a norm (1+ε) complemented subspace of aC(K) space, then it is norm one complemented in someC(K) space, and we give a simpler proof that a slight modification of anl ₁-predual constructed by Benyamini and Lindenstrauss is not complemented in anyC(K) space. Research partially supported by a grant of the U.S.-Israel Binational Science Foundation. Research of the first-named author is supported in part by NSF grant DMS-8602395. Research of the second-named author was partially supported by the Fund for the Promotion of Research at the Technion, and by the Technion VPR-New York Metropolitan Research Fund.     

Unique ergodicity of flows on the torus and the rotation number

We prove in this paper that any flow on the 2- torus with no singular points and periodic orbits which is generated by a vector fieldV=(P, Q) satisfyingV∈C ¹ orV∈C ⁰ andP≠0 is uniquely ergodic. Then we give an expression of the rotation number by using an invariant measure of a flow.     

On a modification of the Koenig theorem

We present a modified Koenig theorem for the simultaneous determination of all distinct poles ofG(z)/F(z), whereG(z) is an analytic function inside a simple smooth closed contourC, F(z) is an analytic function inside and onC, with a known numbern of simple zeros insideC, andF(z), G(z) have no common zeros insideC. It turns out that complex and interval iterations of higher order can be constructed, and several algorithms are available for doing this. Some of them are well known and discussed in many papers.The author is grateful to the referees for their valuable comments and suggestions. Also, she would like to thank Andrey Andreev and Nikolay Kjurkchiev for their helpful discussions.     

The number of nearest and farthest points to a compactum in Euclidean space

A typical (in the sense of Baire category) compactA inE, whereE is either the Euclidean spaceE ⁸,s≧2, or the separable Hilbert space ℍ, generates a dense subsetC ^n,m(A) of the underlying space, such that everyx∈C ^n,m(A) has exactlyn nearest andm farthest points fromA, whenevern andm are positive integers satisfyingn+m≦ dimE+2. Research of this author is in part supported by Consiglio Nazionale delle Ricerche, G.N.A.F.A., Italy.     

On factors ofC([0, 1]) with non-separable dual

LetC denote the Banach space of scalar-valued continuous functions defined on the closed unit interval. It is proved that ifX is a Banach space andT:C→X is a bounded linear operator withT ^* X ^* non-separable, then there is a subspaceY ofC, isometric toC, such thatT|Y is an isomorphism. An immediate consequence of this and a result of A. Pelczynski, is that every complemented subspace ofC with non-separable dual is isomorphic (linearly homeomorphic) toC. The research for this paper was partially supported by NSF-GP-30798X. An erratum to this article is available at .     

Indices, characteristic numbers and essential commutants of Toeplitz operators

For an essentially normal operatorT, it is shown that there exists a unilateral shift of multiplicitym inC ^* (T) if and only if γ(T)≠0 and γ(T)/m. As application, we prove that the essential commutant of a unilateral shift and that of a bilateral shift are not isomorphic asC ^* -algebras. Finally, we construct a naturalC ^* -algebra ε + ε_* on the Bergman spaceL _a ² (B _n ), and show that its essential commutant is generated by Toeplitz operators with symmetric continuous symbols and all compact operators. Supported by NSFC and Laboratory of Mathematics for Nonlinear Science at Fudan University.     

Некоторые точные инт егральные оценки про изводных рациональных и алгеб раических функций. Пр иложения

Exact estimates are obtained for integrals of absolute values of derivatives and gradients, for integral moduli of continuity and for major variations of piecewise algebraic functions (in particular, for polynomials, rational functions, splines, etc.). These results are applied to the problems of approximation theory and to the estimates of Laurent and Fourier coefficients. Typical results:

1. IfE is a measurable subset of the circle or of a line in thez-plane andR(z) is a rational function of degree ≦n, ¦R(z)¦≦ (z∈E), then ∝_E ¦R′(z)¦dz¦≦ 2πn; the latter estimate is exact forn=0, 1, ... and everyE with positive measure;
2. Iff(x ₁,x ₂, ...,x _m) is a real valued piecewise algebraic function of order (n, k) on the unit ballD?R ^m (in particular, a real valued rational function of order ≦n), and ¦f¦≦1 onD, then ∝_D¦gradf¦dx≦2π ^m/2n/Π(m/2); herem≧1, n≧0, 1≦k<∞;
3. LetE=Π={z∶¦z¦=1}, and letc _m(R) be the mth Laurent coefficient ofR onΠ,C _m(n)=sup{¦cm(R)¦}, where sup is taken over allR from 1), then 1/7 min {n/¦m¦, 1} ≦C _m(n) ≦ min {n/¦m¦, 1}.

     

On generalised Putnam—Fuglede theorems

LetB(H) denote the algebra of operators on the Hilbert spaceH, and letP denote the class ofAB(H) which are such that the restriction ofA to an invariant subspace is inP wheneverAP and which satisfy the property, henceforth called property (P 2), that if the restriction ofA to an invariant subspace is normal, then the subspace reducesA. GivenP-classesP ₁ andP ₂, the pair (P ₁,P ₂) is said to satisfy the (PF)-property if givenAP ₁ andB ^* P ₂ such thatAB=XB for someXB(H), we haveA ^* X=XB ^* . Generalising the (classical) Putnam—Fuglede theorem, it is shown here that the pair (P ₁,P ₂) has the (PF)-property if and only if, givenAP ₁ andB ^*P ₂ such thatAX=XB for some quasi-affinityXB(H), the following conditions hold: (i)B ^* is normal impliesA is normal; (ii)A has a normal direct summand impliesB ^* has a normal direct summand; (iii)A andB ^* pure impliesX is non-existent. An interestingP-class is the classC ₀ of contractions withC ₀ completely non-unitary parts which satisfy property (P 2). AssumingH to be separable, it is shown that ifC ₁ denotes thoseA C ₀ for which the defect operatorsD _A =(1–A^*A)^1/2 is of Hilbert—Schmidt class and for which either the pure part ofA has empty point spectrum or the eigen-values ofA are all simple, then the pair (C ₀,C ₁) has the (PF)-property. The classC ₁ defines aP-class; a crucial role in the proof of this statement is played by the interesting result that aC ₀ contraction with spectrum on the unit circle can not satisfy property (P 2). Applications of these results are considered, amongst them that ifA andB are quasi-similar hyponormal contractions such that the pure part ofA has finite multiplicity andD _B is of Hilbert —Schmidt class, then their normal parts are unitarily equivalent and their pure parts are quasi-similar.     

Enveloping Σ-C *-algebra of a smooth Frechet algebra crossed product by ℝ,K-theory and differential structure inC *-algebras

Given anm-tempered strongly continuous action α of ℝ by continuous^*-automorphisms of a Frechet^*-algebraA, it is shown that the enveloping ↡-C ^*-algebraE(S(ℝ, A^∞, α)) of the smooth Schwartz crossed productS(ℝ,A ^∞, α) of the Frechet algebra A^∞ of C^∞-elements ofA is isomorphic to the Σ-C ^*-crossed productC ^*(ℝ,E(A), α) of the enveloping Σ-C ^*-algebraE(A) ofA by the induced action. WhenA is a hermitianQ-algebra, one getsK-theory isomorphismRK _*(S(ℝ, A^∞, α)) =K ^*(C ^*(ℝ,E(A), α) for the representableK-theory of Frechet algebras. An application to the differential structure of aC ^*-algebra defined by densely defined differential seminorms is given.