On the Schur multiplier norm of matrices

The Schur product of two n×n complex matrices A=(a_ij), B=(b_ij) is defined by A°B=(a_ijb_ij. By a result of Schur [2], the algebra of n×n matrices with Schur product and the usual addition is a commutative Banach algebra under the operator norm (the norm of the operator defined on $\text{C}$ⁿ by the matrix). For a fixed matrix A, the norm of the operator B?A°B on this Banach algebra is called the Schur multiplier norm of A, and is denoted by ∥A∥^m. It is proved here that $\text{∥A∥=∥U}{}^1\text{AU∥}{}_{\mathrm{m}}$ for all unitary U (where ∥·∥ denotes the operator norm) iff A is a scalar multiple of a unitary matrix; and that ∥A∥_m=∥A∥ iff there exist two permutations P, Q, a p×p (1?p?n) unitary U, an (n?p)×(n?p)1 contraction C, and a nonnegative number λ such that

$\text{A=λP}\text{U}\text{0}\text{0}\text{C}\text{Q;}$

and this is so iff $\text{∥A°}\text{A}\text{?}\text{∥=∥A∥}{}^2$, where ā is the matrix obtained by taking entrywise conjugates of A.     

A spectral radius theorem for matrix seminorms

A matrix seminorm ∥·∥ is called supspectral if it satisfies the condition that the spectral radius of a square matrix A is lim sup ∥Aⁿ∥^1/n as n→∞. This property is shown to be equivalent to each of two conditions on ∥·∥, one characterizing behavior on idempotent A, and the other characterizing behavior on non-nilpotent A. Examples of supspectral seminorms are provided.     

The error bound of the perturbation of the Drazin inverse

Let A and E be n×n matrices and B = A + E. Denote the Drazin inverse of A by A^D. In this paper we give an upper bound for the relative error ∥B^D ? A^D∥/∥A^D∥₂ and a lower bound for ∥B^D∥₂ under certain circumstances. The continuity properties and the derivative of the Drazin inverse are also considered.     

Sharp nonlogarithmic Kneser theorems for fourth-order elliptic equations

Let D(?) be the Doob's class containing all functions f(z) analytic in the unit disk Δ such that f(0) = 0 and lim $\text{inf}\text{¦f(z) ¦ ? 1}$ on an arc A of ?Δ with length $\text{¦A ¦? ?}$. It is first proved that if f?D(?) then the spherical norm ∥ f ∥ = sup_z?Δ$\text{(}\text{1 ? ¦z¦}{}^2\text{)¦f′(z)¦}\text{(1 + ¦f(z)¦}{}^2\text{) ? C}{}_1\text{sin}\text{(π ? (}\text{?}\text{2}\text{))/ (π ? (}\text{g9}\text{2}\text{))}$, where C₁ = lim_n→∞$\text{∥ z}{}^{\mathrm{n}}\text{∥}\text{and}\text{1}\text{2}\text{< C}{}_1\text{<}\text{2}\text{e}$. Next, U represents the Seidel's class containing all non-constant functions f(z) bounded analytic in Δ such that $\text{¦tf(e}{}^{\mathrm{i0}}\text{)¦ = 1}$ almost everywhere. It is proved that inf_f?U∥f∥ = 0, and if f has either no singularities or only isolated singularities on ?Δ, then ∥f∥ ? C₁. Finally, it is proved that if f is a function normal in Δ, namely, the norm ∥f∥< ∞, then we have the sharp estimate ∥f^p∥ ? p∥f∥, for any positive integer p.     

Paranormal Elements in Normed Algebra

For a normed algebra A and natural numbers k we introduce and investigate the ∥ · ∥ closed classes P _k (A). We show that P₁(A) is a subset of P _k (A) for all k. If T in P₁(A), then Tⁿ lies in P₁(A) for all natural n. If A is unital, U, V ∈ A are such that ∥U∥ = ∥V∥ = 1, VU = I and T lies in P _k (A), then UTV lies in P _k (A) for all natural k. Let A be unital, then 1) if an element T in P₁(A) is right invertible, then any right inverse element T^?1 lies in P₁(A); 2) for ßßIßß = 1 the class P₁(A) consists of normaloid elements; 3) if the spectrum of an element T, T ∈ P₁(A) lies on the unit circle, then ∥TX∥ = ∥X∥ for all X ∈ A. If A = B(H), then the class P₁(A) coincides with the set of all paranormal operators on a Hilbert space H.     

Order of approximation by electrostatic fields due to electrons

LetD be a Jordan domain in the complex plane andA _q (D) the Bers space with norm ∥ ∥ _q . IfD is the unit disk, it is known that ∥S _n 0∥₂≥π/18, whereS _n =∑ _k=1 ⁿ l/(z?z _nk ) withz _nk ∈?D, so that approximation in ∥ ∥ _q ,q<-2, is not possible. In this paper, we give an order of estimate of ∥f?S _n ∥ _q for 2<q<∞ when ?D is a sufficiently smooth Jordan curve, and prove that this order of approximation is in general best possible.     

Cantor-Lebesgue theorem for double trignometric series

Let ∥·∥ be a norm in R² and let γ be the unit sphere induced by this norm. We call a segment joining points x,y ε R² rational if (x₁ ? y₁)/(x₂ ? y₂) or (x₂ ? y₂)/(x₁ ? y₁) is a rational number. Let γ be a convex curve containing no rational segments. Satisfaction of the condition $$T_\nu (x) = \sum\nolimits_{\parallel n\parallel = \nu } {c_n e^{2\pi i(n_1 x_1 + n_2 x_2 )} } \to 0(\nu \to \infty )$$ in measure on the set e? [- 1/2,1/2)×[- 1/2, 1/2) =T² of positive planar measure implies ∥T _v ∥L₄ (T²) → 0(v → ∞). if, however, γ contains a rational segment, then there exist a sequence of polynomials {T _v } and a set E ? T², ¦E¦ > 0, such that T _v (x) → 0(v → ∞) on E; however, ¦c_n¦ ? 0 for ∥n∥ → ∞.     

Continuity properties of the Drazin pseudoinverse

Let B^D denote that Drazin inverse of the n×n complex matrix B. Define the core-rank of B as rank (B^i(B)) where i(B) is the index of B. Let j = 1,2,…, and A_j and A be square matrices such that A_i converges to A with respect to some norm. The main result of this paper is that A_j^D converges to A^D if and only if there exist a j₀ such that core-rank A_j=core-rankA for j ? j₀.     

Approximating minimum norm solutions of rank-deficient least squares problems

In this paper we consider the solution of linear least squares problems min_x∥Ax - b∥²₂ where the matrix A ∈ R ^{m × n} is rank deficient. Put p = min{m, n}, let σ_i, i = 1, 2,…, p, denote the singular values of A, and let u_i and v_i denote the corresponding left and right singular vectors. Then the minimum norm solution of the least squares problem has the form x* = ∫^r_{i = 1}(u^T_ib/σ_i)v_i, where r ≤ p is the rank of A. The Riley–Golub iteration, x_{k + 1} = arg min_x{∥Ax - b∥²₂ + λ∥x − x_k∥²₂} converges to the minimum norm solution if x₀ is chosen equal to zero. The iteration is implemented so that it takes advantage of a bidiagonal decomposition of A. Thus modified, the iteration requires only O(p) flops (floating point operations). A further gain of using the bidiagonalization of A is that both the singular values σ_i and the scalar products u^T_ib can be computed at marginal extra cost. Moreover, we determine the regularization parameter, λ, and the number of iterations, k, in a way that minimizes the difference x* − x_k with respect to a certain norm. Explicit rules are derived for calculating these parameters. One advantage of our approach is that the numerical rank can be easily determined by using the singular values. Furthermore, by the iterative procedure, x* is approximated without computing the singular vectors of A. This gives a fast and reliable method for approximating minimum norm solutions of well-conditioned rank-deficient least squares problems. Numerical experiments illustrate the viability of our ideas, and demonstrate that the new method gives more accurate approximations than an approach based on a QR decomposition with column pivoting. © 1998 John Wiley & Sons, Ltd.     

Symplectic groups and the Klein-Gordon field

In this paper a Cohen factorization theorem x = a^t · x_t (t > 0) is proved for a Banach algebra A with a bounded approximate identity, where t ? a^t is a continuous one-parameter semigroup in A. This theorem is used to show that a separable Banach algebra B has a bounded approximate identity bounded by 1 if and only if there is a homomorphism θ from L¹($\text{R}$⁺) into B such that ∥ θ ∥ = 1 and θ(L¹($\text{R}$⁺)). B = B = B · θ(L¹($\text{R}$⁺)). Another corollary is that a separable Banach algebra with bounded approximate identity has a commutative bounded approximate identity, which is bounded by 1 in an equivalent algebra norm.     

Moment methods in Padé approximation: The unitary case

Given a unitary operator T in a Hilbert space H = (H, 〈·, ·〉) convergence results for two sequences of ($\text{(n ? 1)}\text{n)}$ two-point Padé approximants to the function f(z) = 〈(I ? zT)^?1u₀, u₀〉, (u₀ ∈ H, ∥ u₀∥ = 1, z regular for T) are given. An elementary proof is also given of the well-known operator version of the trigonometric moment problem, not using the solution of the classical trigonometric moment problem.     

Inner derivations on ultraprime normed real algebras

We show that the set of all inner derivations of an ultraprime real Banach algebra is closed within all bounded derivations. More concretely, we show that for such an algebra A there exists a positive number γ (depending only on the “constant of ultraprimeness” of A) satisfying γ ∥ a+Z(A) ∥≦∥ D _a ∥ for all a in A, where Z(A) denotes the centre of A and D _a denotes the inner derivation on A induced by a. This result is an extension of the corresponding complex version obtained by the authors in [Proc. Amer. Math. Soc., to appear]. The proof relies on the following theorem: ultraproducts of a family of central ultraprime real Banach algebras with a unit and with constant of ultraprimeness greater than or equal to a fixed positive constant K are central ultraprime Banach algebras with a unit. This fact is obained via a general result for real Banach algebras that reads as follows: If A is a central real Banach algebra with a unit 1, then for every a in A satisfying ∥ 1+a ² ∥<1 we have [1+√1?||1+1a ²||]²≦2(|?l+M _a ||+||D _a ||) where M _a denotes the two-sided multiplication operator by a on A.     

On the characteristic of sets in the space conjugate to a normed structure

Let (E, ∥ · ∥_E) be a normed space, E^* its conjugate, and M a linear subset in E^*. The number is called the characteristic of the set M. In this paper we establish a relationship in normed structures between the semicontinuous properties of the norm and the characteristics of certain subsets in the conjugate space. For example, the following is a valid proposition. Let (X, ∥ · ||_X) be a KN-space. Then in order that ∥ · ∥_X be semicontinuous on X it is necessary and sufficient that for each intervally-complete norm p on X the set (X, ∥ · ∥_X)^* ∩ (X, p)^*, i.e., the set of all functionals linear on X, simultaneously continuous with respect to both the norm ∥ · ∥_X and the norm p, have characteristic one in the space (X, ∥ · ∥_X).     

Analogs of the Luzin-Danzhu and Cantor-Lebesgue theorems for double trigonometric series

Let ∥ · ∥ be some norm in R², Γ be the unit sphere induced in R² by this norm, and {Aj} a sequence of disjoint subsets of R₊ such that if ν ε A_j, then ν · Γ ∩ Z^N ≠ Ø. For series of the form $$\sum\nolimits_{j = 1}^\infty {} \sum\nolimits_{\parallel n\parallel \in A_j } {c_n e^{2\pi _i (n_1 x_1 + n_2 x_2 )} } $$ analogs of the Luzin-Danzhu and Cantor-Lebesgue theorems are established.     

Bounds for the error of linear systems of equations using the theory of moments

Consider the system, of linear equations Ax = b where A is an n × n real symmetric, positive definite matrix and b is a known vector. Suppose we are given an approximation to x, ξ, and we wish to determine upper and lower bounds for ∥ x − ξ ∥ where ∥ ··· ∥ indicates the euclidean norm. Given the sequence of vectors {r_i}_{i^k = 0}, where r_i = Ar_{i − 1} and r₀ = b − Aξ, it is shown how to construct a sequence of upper and lower bounds for ∥ x − ξ ∥ using the theory of moments.     

Un contre-exemple pour les formes invariantes sur un corps fini

Let A be a Jordan algebra over the reals which is a Banach space with respect to a norm satisfying the requirements: (i) ∥ a ° b ∥ ≤ ∥ a ∥ ∥ b ∥, (ii) ∥ a² ∥ = ∥ a ∥², (iii) ∥ a² ∥ ≤ ∥ a² + b² ∥ for a, b?A. It is shown that A possesses a unique norm closed Jordan ideal J such that $\text{A}\text{J}$ has a faithful representation as a Jordan algebra of self-adjoint operators on a complex Hilbert space, while every “irreducible” representation of A not annihilating J is onto the exceptional Jordan algebra M₃⁸.     

A remark on Lorentz algebras

We consider the class of Euclidean algebras associated to Minkowski light cones and called Lorentz algebras. We prove that in Lorentz algebras the estimate ∥P(a,b) ∥_∞≥(√2-1) ∥a∥_∞ ∥b∥_∞ is valid for the spectral norm and is therefore independent of the dimension of the Lorentz algebra.