Pseudospectra, critical points and multiple eigenvalues of matrix polynomials

We develop a general framework for perturbation analysis of matrix polynomials. More specifically, we show that the normed linear space L_m(C^n×n) of n-by-n matrix polynomials of degree at most m provides a natural framework for perturbation analysis of matrix polynomials in L_m(C^n×n). We present a family of natural norms on the space L_m(C^n×n) and show that the norms on the spaces C^m+1 and C^n×n play a crucial role in the perturbation analysis of matrix polynomials. We define pseudospectra of matrix polynomials in the general framework of the normed space L_m(C^n×n) and show that the pseudospectra of matrix polynomials well known in the literature follow as special cases. We analyze various properties of pseudospectra in the unified framework of the normed space L_m(C^n×n). We analyze critical points of backward errors of approximate eigenvalues of matrix polynomials and show that each critical point is a multiple eigenvalue of an appropriately perturbed polynomial. We show that common boundary points of components of pseudospectra of matrix polynomials are critical points. As a consequence, we show that a solution of Wilkinson’s problem for matrix polynomials can be read off from the pseudospectra of matrix polynomials.     

可换环上上三角矩阵李代数的局部自同构和局部导子

本文刻画了T_n(R)上的局部自同构和局部导子.利用关于T_n(R)的自同构和导子的主要结果和矩阵计算技巧,本文证明了T_n(R)上的每一个局部自同构是自同构,每一个局部导子是导子,这推广了文献关于T_n(R)的自同构和导子的主要结果.     

Poisson structures on affine spaces and flag varieties. I. Matrix affine Poisson space

The standard Poisson structure on the rectangular matrix variety Mm,n(C) is investigated, via the orbits of symplectic leaves under the action of the maximal torus T⊂GLm+n(C). These orbits, finite in number, are shown to be smooth irreducible locally closed subvarieties of Mm,n(C), isomorphic to intersections of dual Schubert cells in the full flag variety of GLm+n(C). Three different presentations of the T-orbits of symplectic leaves in Mm,n(C) are obtained: (a) as pullbacks of Bruhat cells in GLm+n(C) under a particular map; (b) in terms of rank conditions on rectangular submatrices; and (c) as matrix products of sets similar to double Bruhat cells in GLm(C) and GLn(C). In presentation (a), the orbits of leaves are parametrized by a subset of the Weyl group Sm+n, such that inclusions of Zariski closures correspond to the Bruhat order. Presentation (b) allows explicit calculations of orbits. From presentation (c) it follows that, up to Zariski closure, each orbit of leaves is a matrix product of one orbit with a fixed column-echelon form and one with a fixed row-echelon form. Finally, decompositions of generalized double Bruhat cells in Mm,n(C) (with respect to pairs of partial permutation matrices) into unions of T-orbits of symplectic leaves are obtained.     

Harmonic analysis and asymptotic behavior of solutions to the abstract cauchy problem

LetC _ub ( $\mathbb{J}$ , X) denote the Banach space of all uniformly continuous bounded functions defined on $\mathbb{J}$ 2 ε {?⁺, ?} with values in a Banach spaceX. Let ? be a class fromC _ub( $\mathbb{J}$ ,X). We introduce a spectrumsp?(φ) of a functionφ εC _ub (?,X) with respect to ?. This notion of spectrum enables us to investigate all twice differentiable bounded uniformly continuous solutions on ? to the abstract Cauchy problem (*)ω′(t) =Aω(t) +φ(t),φ(0) =x,φ ε ?, whereA is the generator of aC ₀-semigroupT(t) of bounded operators. Ifφ = 0 andσ(A) ∩i? is countable, all bounded uniformly continuous mild solutions on ?⁺ to (*) are studied. We prove the bound-edness and uniform continuity of all mild solutions on ?⁺ in the cases (i)T(t) is a uniformly exponentially stableC ₀-semigroup andφ εC _ub(?,X); (ii)T(t) is a uniformly bounded analyticC ₀-semigroup,φ εC _ub (?,X) andσ(A) ∩i sp(φ) = Ø. Under the condition (i) if the restriction ofφ to ?⁺ belongs to ? = ?(?⁺,X), then the solutions belong to ?. In case (ii) if the restriction ofφ to ?⁺ belongs to ? = ?(?⁺,X), andT(t) is almost periodic, then the solutions belong to ?. The existence of mild solutions on ? to (*) is also discussed.     

The structure of module derivations of Banach algebras of differentiable functions

This paper studies the structure and continuity of derivations of the Banach algebra Cⁿ(I) of n times continuously differentiable functions on an interval I into Banach Cⁿ(I)-modules. The structure of derivations into finite dimensional modules is completely determined. The question of when an arbitrary derivation splits into the sum of continuous and singular parts is discussed. An example is constructed of a derivation of C¹(I) which is discontinuous on every dense subalgebra.     

Schauder estimates for oblique derivative problems

We prove that the solution of the oblique derivative parabolic problem in a noncylindrical domain Ω^T belongs to the anisotropic Holder space C^{2+α, 1+α/2}(gwT) 0 < α < 1, even if the nonsmooth “lateral boundary” of Ω^T is only of class C^{1+α, (1+α)/2}). As a corollary, we also obtain an a priori estimate in the Hölder space C^2+α(Ω₀) for a solution of the oblique derivative elliptic problem in a domain Ω₀ whose boundary belongs only to the classe C^1+α.     

Conjugacy classes in Möbius groups

Let \({\mathbb H^{n+1}}\) denote the n + 1-dimensional (real) hyperbolic space. Let \({\mathbb {S}^{n}}\) denote the conformal boundary of the hyperbolic space. The group of conformal diffeomorphisms of \({\mathbb {S}^{n}}\) is denoted by M(n). Let M _o (n) be its identity component which consists of all orientation-preserving elements in M(n). The conjugacy classification of isometries in M _o (n) depends on the conjugacy of T and T ^?1 in M _o (n). For an element T in M(n), T and T ^?1 are conjugate in M(n), but they may not be conjugate in M _o (n). In the literature, T is called real if T is conjugate in M _o (n) to T ^?1. In this paper we classify real elements in M _o (n). Let T be an element in M _o (n). Corresponding to T there is an associated element T _o in SO(n + 1). If the complex conjugate eigenvalues of T _o are given by \({\{e^{i\theta_j}, e^{-i\theta_j}\}, 0 < \theta_j \leq \pi, j=1,\ldots,k}\) , then {θ₁, . . . , θ _k } are called the rotation angles of T. If the rotation angles of T are distinct from each-other, then T is called a regular element. After classifying the real elements in M _o (n) we have parametrized the conjugacy classes of regular elements in M _o (n). In the parametrization, when T is not conjugate to T ^?1 , we have enlarged the group and have considered the conjugacy class of T in M(n). We prove that each such conjugacy class can be induced with a fibration structure.     

Extensions of unbounded 1-derivations in UHF C1-algebras

We consider unbounded ¹-derivations δ in UHF-C¹-algebras A=(∪^∞_n=1A_n)^?) with dense domain. If ?_n:A→A_n denotes the conditional expectations onto the finite type I factors $\text{A}$_n, then we introduce a weak-commutativity condition for δ and the sequence (?_n). As a consequence of this condition on δ we establish the existence of an extension derivation δ′ which is the infinitesimal generator of a strongly continuous one-parameter group, α: $\text{R}$ → Aut($\text{A}$), of ¹-automorphisms, i.e., $\text{δ′(x) =}\text{(d}\text{dt)}\text{α}{}_{\mathrm{t}}\text{(x)¦}{}_{\mathrm{t\; =\; 0}}$ for x?D(δ′). Special properties of α (alias δ′) are considered. We show that AF-algebras are associated to proper restrictions δ of derivations δ′ of product type. We then turn to the extendability problem for quasifree derivations in the CAR-algebra. There, extensions δ′ are calculated which generate strongly continuous semigroups of ¹-homomorphisms. These semigroups do not extend to one-parameter groups unless the implementing symmetric operator in one-particle space is already self-adjoint.     

Convergence of a hybrid algorithm for a reversible semigroup of nonlinear operators in Banach spaces

The purpose of this paper is to study hybrid iterative schemes of Halpern types for a semigroup ℑ={T(s):s∈S} of relatively nonexpansive mappings on a closed and convex subset C of a Banach space with respect to a sequence {μ_n} of asymptotically left invariant means defined on an appropriate invariant subspace of l^∞(S). We prove that given a certain sequence {α_n} in [0,1], x∈C, we can generate an iterative sequence {x_n} which converges strongly to Π_F(ℑ)x where Π_F(ℑ)x is the generalized projection from C onto the fixed point set F(ℑ). Our main result is even new for the case of a Hilbert space.     

Properties of derivations on some convolution algebras

For all convolution algebras L ¹[0, 1); L _loc ¹ and A(ω) = ∩ _n L ¹(ω _n ), the derivations are of the form D _μ f = Xf * μ for suitable measures μ, where (Xf)(t) = tf(t). We describe the (weakly) compact as well as the (weakly) Montel derivations on these algebras in terms of properties of the measure μ. Moreover, for all these algebras we show that the extension of D _μ to a natural dual space is weak-star continuous.     

Friedrichs extensions of Schrödinger operators with singular potentials

The Friedrichs extension for the generalized spiked harmonic oscillator given by the singular differential operator −d²/dx²+Bx²+Ax⁻²+λx^−α (B>0, A?0) in L₂(0,∞) is studied. We look at two different domains of definition for each of these differential operators in L₂(0,∞), namely C₀^∞(0,∞) and D(T_2,F)∩D(M_λ,α), where the latter is a subspace of the Sobolev space W_2,2(0,∞). Adjoints of these differential operators on C₀^∞(0,∞) exist as result of the null-space properties of functionals. For the other domain, convolutions and Jensen and Minkowski integral inequalities, density of C₀^∞(0,∞) in D(T_2,F)∩D(M_λ,α) in L₂(0,∞) lead to the other adjoints. Further density properties C₀^∞(0,∞) in D(T_2,F)∩D(M_λ,α) yield the Friedrichs extension of these differential operators with domains of definition D(T_2,F)∩D(M_λ,α).     

Fast solution of toeplitz systems of equations and computation of Padé approximants

We present two new algorithms, ADT and MDT, for solving order-n Toeplitz systems of linear equations Tz = b in time O(n log²n) and space O(n). The fastest algorithms previously known, such as Trench's algorithm, require time $\text{Ω(n}{}^2\text{)}$ and require that all principal submatrices of T be nonsingular. Our algorithm ADT requires only that T be nonsingular. Both our algorithms for Toeplitz systems are derived from algorithms for computing entries in the Padé table for a given power series. We prove that entries in the Padé table can be computed by the Extended Euclidean Algorithm. We describe an algorithm EMGCD (Extended Middle Greatest Common Divisor) which is faster than the algorithm HGCD of Aho, Hopcroft and Ullman, although both require time O(n log²n), and we generalize EMGCD to produce PRSDC (Polynomial Remainder Sequence Divide and Conquer) which produces any iterate in the PRS, not just the middle term, in time O(n log²n). Applying PRSDC to the polynomials U₀(x) = x²ⁿ⁺¹ and U₁(x) = a₀ + a₁x + … + a_2nx²ⁿ gives algorithm AD (Anti-Diagonal), which computes any (m, p) entry along the antidiagonal m + p = 2n of the Padé table for U₁ in time O(n log²n). Our other algorithm, MD (Main-Diagonal), computes any diagonal entry (n, n) in the Padé table for a normal power series, also in time O(n log²n). MD is related to Schönhage's fast continued fraction algorithm. A Toeplitz matrix T is naturally associated with U₁, and the (n, n) Padé approximation to U₁ gives the first column of T^?1. We show how a formula due to Trench can be used to compute the solution z of Tz = b in time O(n log n) from the first row and column of T^?1. Thus, the Padé table algorithms AD and MD give O(n log²n) Toeplitz algorithms ADT and MDT. Trench's formula breaks down in certain degenerate cases, but in such cases a companion formula, the discrete analog of the Christoffel-Darboux formula, is valid and may be used to compute z in time O(n log²n) via the fast computation (by algorithm AD) of at most four Padé approximants. We also apply our results to obtain new complexity bounds for the solution of banded Toeplitz systems and for BCH decoding via Berlekamp's algorithm.     

Ergodic Theory and Maximal Abelian Subalgebras of the Hyperfinite Factor

Let T be a free ergodic measure-preserving action of an abelian group G on (X,μ). The crossed product algebra R_T=L^∞(X,μ)? G has two distinguished masas, the image C_T of L^∞(X,μ) and the algebra S_T generated by the image of G. We conjecture that conjugacy of the singular masas S_T⁽¹⁾ and S_T⁽²⁾ for weakly mixing actions T⁽¹⁾ and T⁽²⁾ of different groups implies that the groups are isomorphic and the actions are conjugate with respect to this isomorphism. Our main result supporting this conjecture is that the conclusion is true under the additional assumption that the isomorphism γ : R_T⁽¹⁾→R_T⁽²⁾ such that γ(S_T⁽¹⁾)=S_T⁽²⁾ has the property that the Cartan subalgebras γ(C_T⁽¹⁾) and C_T⁽²⁾ of R_T⁽²⁾ are inner conjugate. We discuss a stronger conjecture about the structure of the automorphism group Aut(R_T,S_T), and a weaker one about entropy as a conjugacy invariant. We study also the Pukanszky and some related invariants of S_T, and show that they have a simple interpretation in terms of the spectral theory of the action T. It follows that essentially all values of the Pukanszky invariant are realized by the masas S_T, and there exist non-conjugate singular masas with the same Pukanszky invariant.     

Geometry of the numerical range of matrices

Some techniques for the study of the algebraic curve C(A) which generates the numerical range W(A) of an n×n matrix A as its convex hull are developed. These enable one to give an explicit point equation of C(A) and a formula for the curvature of C(A) at a boundary point of W(A). Applied to the case of a nonnegative matrix A, a simple relation is found between the curvature of the function Φ(A)=p((1?α)A+ αA^T) (pbeingthePerronroot) at $\text{α=}\text{1}\text{2}$ and the curvature of W(A) at the Perron root of $\text{1}\text{2}\text{(A+A}{}^{\mathrm{T}}\text{)}$. A connection with 2-dimensional pencils of Hermitian matrices is mentioned and a conjecture formulated.     

Localization of André-Quillen-Goodwillie towers, and the periodic homology of infinite loopspaces

Let K(n) be the nth Morava K-theory at a prime p, and let T(n) be the telescope of a v_n-self map of a finite complex of type n. In this paper we study the K(n)_*-homology of Ω^∞X, the 0th space of a spectrum X, and many related matters.We give a sampling of our results.Let PX be the free commutative S-algebra generated by X: it is weakly equivalent to the wedge of all the extended powers of X. We construct a natural map

s_n(X):L_T(n)P(X)→L_T(n)Σ^∞(Ω^∞X)₊     

Identifications in modular group algebras

Let G be a group, S a subgroup of G, and F a field of characteristic p. We denote the augmentation ideal of the group algebra FG by ω(G). The Zassenhaus-Jennings-Lazard series of G is defined by D_n(G)=G∩(1+ωⁿ(G)). We give a constructive proof of a theorem of Quillen stating that the graded algebra associated with FG is isomorphic as an algebra to the enveloping algebra of the restricted Lie algebra associated with the D_n(G). We then extend a theorem of Jennings that provides a basis for the quotient ωⁿ(G)/ωⁿ⁺¹(G) in terms of a basis of the restricted Lie algebra associated with the D_n(G). We shall use these theorems to prove the main results of this paper. For G a finite p-group and n a positive integer, we prove that G∩(1+ω(G)ωⁿ(S))=D_n+1(S) and G∩(1+ω²(G)ωⁿ(S))=D_n+2(S)D_n+1(S∩D₂(G)). The analogous results for integral group rings of free groups have been previously obtained by Gruenberg, Hurley, and Sehgal.     

A boundary uniqueness theorem for holomorphic functions of several complex variables

If D ? Cⁿ is a region with a smooth boundary and M ? ?D is a smooth manifold such that for some point p ∈ M the complex linear hull of the tangent plane T_p(M) coincides with Cⁿ, then for each functionf ε A(D) the conditionf¦M=0 implies thatf=0 in D.     

Lower semicontinuity and the theorem of Datko and Pazy

Let {T(t)} _t≥0 be aC ₀-semigroup on a real or complex Banach spaceX and letJ:C ⁺[0,∞)→[0,∞] be a lower semicontinuous and nondecreasing functional onC ⁺[0,∞), the positive cone ofC[0,∞), satisfyingJ(c 1)=∞ for allc>0. We prove the following result: if {T(t)} _t≥0 is not uniformly exponentially stable, then the set $\{ x \in X: J(||T( \cdot )x||) = \infty \}$ is residual inX.     

On the primes withp n+1 -p n = 8 and the Sum of their Reciprocals

We introduce the counting function π _2,8 ^* (x) of the primes with difference 8 between consecutive primes ( ****p _n,p_n+1 =p _n + 8) can be approximated by logarithm integralLi _2,8 ^* . We calculate the values of π _2,8 ^* (x) and the sumC _2,8(x) of reciprocals of primes with difference 8 between consecutive primes (p _n,p_n+1 =p _n +8)) wherex is counted up to 7 x 10¹⁰. From the results of these calculations, we obtain π _2,8 ^* (7 x 10¹⁰) = 133295081 andC _2,8(7 x 10¹⁰) = 0.3374 ±2.6 x 10^-4.