Generalized induced norms

Let ‖·‖ be a norm on the algebra ?_n of all n × n matrices over ?. An interesting problem in matrix theory is that “Are there two norms ‖·‖₁ and ‖·‖₂ on ?_n such that ‖A‖ = max|‖Ax‖₂: ‖x‖₁ = 1} for all A ∈ ?_n?” We will investigate this problem and its various aspects and will discuss some conditions under which ‖·‖₁ = ‖·‖₂.     

Exact constants in generalized inequalities for intermediate derivatives

Consider the Sobolev space W ₂ ⁿ (?₊) on the semiaxis with norm of general form defined by a quadratic polynomial in derivatives with nonnegative coefficients. We study the problem of exact constants A _n,k in inequalities of Kolmogorov type for the values of intermediate derivatives |f ^(k)(0)| ≤ A _n,k ‖f‖. In the general case, the expression for the constants A _n,k is obtained as the ratio of two determinants. Using a general formula, we obtain an explicit expression for the constants A _n,k in the case of the following norms: $$ \left\| f \right\|_1^2 = \left\| f \right\|_{L_2 }^2 + \left\| {f^{(n)} } \right\|_{L_2 }^2 and\left\| f \right\|_2^2 = \sum\limits_{l = 0}^n {\left\| {f^{(l)} } \right\|_{L_2 }^2 } . $$ In the case of the norm ‖ · ‖₁, formulas for the constants A _n,k were obtained earlier by another method due to Kalyabin. The asymptotic behavior of the constants A _n,k is also studied in the case of the norm ‖ · ‖₂. In addition, we prove a symmetry property of the constants A _n,k in the general case.     

Some remarks on the perturbation of polar decompositions for rectangular matrices

In this article we focus on perturbation bounds of unitary polar factors in polar decompositions for rectangular matrices. First we present two absolute perturbation bounds in unitarily invariant norms and in spectral norm, respectively, for any rectangular complex matrices, which improve recent results of Li and Sun (SIAM J. Matrix Anal. Appl. 2003; 25 :362–372). Secondly, a new absolute bound for complex matrices of full rank is given. When ‖A ? Ã‖₂ ? ‖A ? Ã‖_F, our bound for complex matrices is the same as in real case. Finally, some asymptotic bounds given by Mathias (SIAM J. Matrix Anal. Appl. 1993; 14 :588–593) for both real and complex square matrices are generalized. Copyright © 2005 John Wiley & Sons, Ltd.     

Numerical radius and zero pattern of matrices

Let A be an n×n complex matrix and r be the maximum size of its principal submatrices with no off-diagonal zero entries. Suppose A has zero main diagonal and x is a unit n-vector. Then, letting ‖A‖ be the Frobenius norm of A, we show that

|〈Ax,x〉^|2?(1−1/2r−1/2n)‖A^‖2.     

On the Navier problem for the stationary Navier-Stokes equations

The Navier problem is to find a solution of the steady-state Navier-Stokes equations such that the normal component of the velocity and a linear combination of the tangential components of the velocity and the traction assume prescribed value a and s at the boundary. If Ω is exterior it is required that the velocity converges to an assigned constant vector u₀ at infinity. We prove that a solution exists in a bounded domain provided ‖a_‖L²(∂Ω) is less than a computable positive constant and is unique if ‖a_‖W1/2,2(∂Ω)+‖s_‖L²(∂Ω) is suitably small. As far as exterior domains are concerned, we show that a solution exists if ‖a_‖L²(∂Ω)+‖a−u₀⋅n_‖L²(∂Ω) is small.     

Some classes of pre-Hilbert algebras with norm-one central idempotent

In this paper we first characterize the pre-Hilbert algebras with a norm-one central idempotent e such that ‖ex‖ = ‖x‖ for any x ∈ A. This generalizes a well-known theorem by Ingelstam asserting that every alternative pre-Hilbert algebra with a unit 1 such that ‖1‖ = 1 is isomorphic to ?, ?, ? or $\mathbb{O}$ . We also show that every power-associative pre-Hilbert algebra satisfying ‖x ²‖ = ‖x‖² for every element has a unique nonzero idempotent, which is a unit element. In fact, the same conclusion will be proved in a more general setting. As application we give some conditions characterizing when a real algebra A, which is a prehilbert space, is isomorphic to one of the Hilbert algebras ?, ?, ? or $\mathbb{O}$ .     

Lower bound inequalities for norms of symmetrized tensor powers

Let V be a complex inner product space of positive dimension m with inner product 〈·,·〉, and let T_n(V) denote the set of all n-linear complex-valued functions defined on V×V×?×V (n-copies). By S_n(V) we mean the set of all symmetric members of T_n(V). We extend the inner product, 〈·,·〉, on V to T_n(V) in the usual way, and we define multiple tensor products A₁⊗A₂⊗?⊗A_n and symmetric products A₁·A₂?A_n, where q₁,q₂,…,q_n are positive integers and A_i∈T_qi(V) for each i, as expected. If A∈S_n(V), then A^k denotes the symmetric product A·A?A where there are k copies of A. We are concerned with producing the best lower bounds for ‖A^k‖², particularly when n=2. In this case we are able to show that ‖A^k‖² is a symmetric polynomial in the eigenvalues of a positive semi-definite Hermitian matrix, M_A, that is closely related to A. From this we are able to obtain many lower bounds for ‖A^k‖². In particular, we are able to show that if ω denotes 1/r where r is the rank of M_A, and , then

     

Three positive solutions of semilinear elliptic equations in exterior cylinder domains

In this paper, assume that h is nonnegative and ‖hL²_‖>0, we prove that if ‖hL²_‖ is sufficiently small, then there are at least three positive solutions of Eq. (1) in an exterior cylinder domain.     

Sharp bounds for integral means

We introduce a bound M of f, ‖f‖_∞?M?2‖f‖_∞, which allows us to give for 0?p<∞ sharp upper bounds, and for −∞<p<0 sharp lower bounds for the average of |f|^p over E if the average of f over E is zero. As an application we give a new proof of Grüss's inequality estimating the covariance of two random variables. We also give a new estimate for the error term in the trapezoidal rule.     

On the spectral radius and the spectral norm of Hadamard products of nonnegative matrices

We prove the spectral radius inequality ρ(A₁°A₂°?°A_k)?ρ(A₁A₂?A_k) for nonnegative matrices using the ideas of Horn and Zhang. We obtain the inequality ‖A°B‖?ρ(A^TB) for nonnegative matrices, which improves Schur’s classical inequality ‖A°B‖?‖A‖‖B‖, where ‖·‖ denotes the spectral norm. We also give counterexamples to two conjectures about the Hadamard product.     

On the perturbation of the group generalized inverse for a class of bounded operators in Banach spaces

Given a bounded operator A on a Banach space X with Drazin inverse AD and index r, we study the class of group invertible bounded operators B such that I+AD(B−A) is invertible and R(B)∩N(Ar)={0}. We show that they can be written with respect to the decomposition X=R(Ar)⊕N(Ar) as a matrix operator, , where B₁ and are invertible. Several characterizations of the perturbed operators are established, extending matrix results. We analyze the perturbation of the Drazin inverse and we provide explicit upper bounds of ‖B^?−AD‖ and ‖BB^?−ADA‖. We obtain a result on the continuity of the group inverse for operators on Banach spaces.     

Joint bounds for the Perron roots of nonnegative matrices with applications

Given a finite set {A_x}_{x ∈ X} of nonnegative matrices, we derive joint upper and lower bounds for the row sums of the matrices D⁻¹ A^(x) D, x ∈ X, where D is a specially chosen nonsingular diagonal matrix. These bounds, depending only on the sparsity patterns of the matrices A^(x) and their row sums, are used to obtain joint two-sided bounds for the Perron roots of given nonnegative matrices, joint upper bounds for the spectral radii of given complex matrices, bounds for the joint and lower spectral radii of a matrix set, and conditions sufficient for all convex combinations of given matrices to be Schur stable. Bibliography: 20 titles. __________ Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 334, 2006, pp. 30–56.     

An extension of a Bourgain-Lindenstrauss-Milman inequality

Let ‖⋅‖ be a norm on Rn. Averaging ‖(ε₁x₁,…,εnxn)‖ over all the n² choices of , we obtain an expression |||x||| which is an unconditional norm on Rn. Bourgain, Lindenstrauss and Milman [J. Bourgain, J. Lindenstrauss, V.D. Milman, Minkowski sums and symmetrizations, in: Geometric Aspects of Functional Analysis (1986/1987), Lecture Notes in Math., vol. 1317, Springer, Berlin, 1988, pp. 44-66] showed that, for a certain (large) constant η>1, one may average over ηn (random) choices of and obtain a norm that is isomorphic to |||⋅|||. We show that this is the case for any η>1.     

Schur multiplier norms for Loewner matrices

We study upper bounds on the Schur multiplier norm of Loewner matrices for concave and convex functions. These bounds then immediately lead to upper bounds on the ratio of Schatten q  -norms of commutators _{‖[A,f(B)]‖q}/_‖[A,B]‖q${\Vert [A,f(B)]\Vert }_q/{\Vert [A,B]\Vert }_q$. We also consider operator monotone functions, for which sharper bounds are obtained.     

Spectral radius and infinity norm of matrices

Let Mn(R) be the linear space of all n×n matrices over the real field R. For any A∈Mn(R), let ρ(A) and ‖A_‖∞ denote the spectral radius and the infinity norm of A, respectively. By introducing a class of transformations φa on Mn(R), we show that, for any A∈Mn(R), ρ(A)<‖A_‖∞ if . If A∈Mn(R) is nonnegative, we prove that ρ(A)<‖A_‖∞ if and only if , and ρ(A)=‖A_‖∞ if and only if the transformation φ‖A_‖∞ preserves the spectral radius and the infinity norm of A. As an application, we investigate a class of linear discrete dynamic systems in the form of X(k+1)=AX(k). The asymptotical stability of the zero solution of the system is established by a simple algebraic method.     

On the existence of unitarily invariant norm under some conditions

Let r ₁, …, r _m be positive real numbers and A ₁, …, A _m be n × n matrices with complex entries. In this article, we present a necessary and sufficient condition for the existence of a unitarily invariant norm ‖·‖, such that ‖A _i ‖ = r _i , for i = 1, …, m. Then we identify the greatest unitarily invariant norm which satisfies this condition. Using this, we get an approximation of unitarily invariant norms. Although the minimum unitarily invariant norm which satisfies this condition does not exist in general, we find conditions over A _i s and r _i s which are sufficient for the existence of such a norm. Finally, we get a characterization of unitarily invariant norms.     

A short note on the Frobenius norm of the commutator

This note mainly aims to improve the inequality, proposed by Böttcher and Wenzel, giving the upper bound of the Frobenius norm of the commutator of two particular matrices in ? ^n×n . We first propose a new upper bound on basis of the Böttcher and Wenzel’s inequality. Motivated by the method used, the inequality ‖XY ? XY‖ _F ² ≤ 2‖X‖ _F ² ‖Y‖ _F ² is finally improved into $$ \left\| {XY - YX} \right\|_F^2 \leqslant 2\left\| X \right\|_F^2 \left\| Y \right\|_F^2 - 2[tr(X^T Y)]^2 . $$ . In addition, a further improvement is made.     

Characterization and construction of the nearest defective matrix via coalescence of pseudospectral components

Let A be a matrix with distinct eigenvalues and let w(A) be the distance from A to the set of defective matrices (using either the 2-norm or the Frobenius norm). Define Λ_?, the ?-pseudospectrum of A, to be the set of points in the complex plane which are eigenvalues of matrices A+E with ‖E‖<?, and let c(A) be the supremum of all ? with the property that Λ_? has n distinct components. Demmel and Wilkinson independently observed in the 1980s that w(A)?c(A), and equality was established for the 2-norm by Alam and Bora (2005). We give new results on the geometry of the pseudospectrum near points where first coalescence of the components occurs, characterizing such points as the lowest generalized saddle point of the smallest singular value of A-zI over z∈C. One consequence is that w(A)=c(A) for the Frobenius norm too, and another is the perhaps surprising result that the minimal distance is attained by a defective matrix in all cases. Our results suggest a new computational approach to approximating the nearest defective matrix by a variant of Newton’s method that is applicable to both generic and nongeneric cases. Construction of the nearest defective matrix involves some subtle numerical issues which we explain, and we present a simple backward error analysis showing that a certain singular vector residual measures how close the computed matrix is to a truly defective matrix. Finally, we present a result giving lower bounds on the angles of wedges contained in the pseudospectrum and emanating from generic coalescence points. Several conjectures and questions remain open.     

A geometry characteristic of Banach spaces with c 1-norm

Let E be a Banach space with the cl-norm｜｜·｜｜ in E／{0}, and let S（E） = {e ∈ E： ｜｜e｜｜ = 1}. In this paper, a geometry characteristic for E is presented by using a geometrical construct of S（E）. That is, the following theorem holds： the norm of E is of eI in E／{0} if and only if S（E） is a c1 submanifold of E, with codimS（E） = 1. The theorem is very clear, however, its proof is non-trivial, which shows an intrinsic connection between the continuous differentiability of the norm ｜｜·｜｜ in E／{0} and differential structure of S（E）.