On the Drazin inverses involving power commutativity

We explore the Drazin inverses of bounded linear operators with power commutativity (PQ=QmP) in a Hilbert space. Conditions on Drazin invertibility are formulated and shown to depend on spectral properties of the operators involved. Moreover, we prove that P±Q is Drazin invertible if P and Q are dual power commutative (PQ=QmP and QP=PnQ) and show that the explicit representations of the Drazin inverse D(P±Q) depend on the positive integers m,n?2.     

On single and double Soules matrices

Until now the concept of a Soules basis matrix of sign patternN consisted of an orthogonal matrix R∈R^n,n, generated in a certain way from a positive n-vector, which has the property that for any diagonal matrix Λ = diag(λ₁, … , λ_n), with λ₁ ? ? ? λ_n ? 0, the symmetric matrix A = RΛR^T has nonnegative entries only. In the present paper we introduce the notion of a pair of double Soules basis matrices of sign patternN which is a pair of matrices (P, Q), each in R^n,n, which are not necessarily orthogonal and which are generated in a certain way from two positive vectors, but such that PQ^T = I and such that for any of the aforementioned diagonal matrices Λ, the matrix A = PΛQ^T (also) has nonnegative entries only. We investigate the interesting properties which such matrices A have.As a preamble to the above investigation we show that the iterates, , generated in the course of the QR-algorithm when it is applied to A = RΛR^T, where R is a Soules basis matrix of sign pattern N, are again symmetric matrices generated by the Soules basis matrices R_k of sign pattern N which are themselves modified as the algorithm progresses.Our work here extends earlier works by Soules and Elsner et al.     

Eigenvector-free solutions to AX = B with PX = XP and X = sX constraints

The matrix equation AX = B with PX = XP and X^H = sX constraints is considered, where P is a given Hermitian involutory matrix and s = ±1. By an eigenvalue decomposition of P, we equivalently transform the constrained problem to two well-known constrained problems and represent the solutions in terms of the eigenvectors of P. Using Moore-Penrose generalized inverses of the products generated by matrices A, B and P, the involved eigenvectors can be released and eigenvector-free formulas of the general solutions are presented. Similar strategy is applied to the equations AX = B, XC = D with the same constraints.     

Products of orthogonal projections and polar decompositions

We characterize the sets X of all products PQ, and Y of all products PQP, where P,Q run over all orthogonal projections and we solve the problems argmin{‖P-Q‖:(P,Q)∈Z}, for Z=X or Y. We also determine the polar decompositions and Moore-Penrose pseudoinverses of elements of X.     

Representations for the Drazin inverses of 2 × 2 block matrices

Let M denote a 2 × 2 block complex matrix , where A and D are square matrices, not necessarily with the same orders. In this paper explicit representations for the Drazin inverse of M are presented under the condition that BDⁱC = 0 for i = 0, 1, … , n − 1, where n is the order of D.     

On two perturbation estimates of the extreme solutions to the equations X ± A*XA = Q

Two perturbation estimates for maximal positive definite solutions of equations X + A*X⁻¹A = Q and X − A*X⁻¹A = Q are considered. These estimates are proved in [Hasanov et al., Improved perturbation Estimates for the Matrix Equations X ± A*X⁻¹A = Q, Linear Algebra Appl. 379 (2004) 113-135]. We derive new perturbation estimates under weaker restrictions on coefficient matrices of the equations. The theoretical results are illustrated by numerical examples.     

On squares in Lucas sequences

Let P and Q be non-zero integers. The Lucas sequence {Un(P,Q)} is defined by U₀=0, U₁=1, Un=PUn−1−QUn−2 (n?2). The question of when Un(P,Q) can be a perfect square has generated interest in the literature. We show that for n=2,…,7, Un is a square for infinitely many pairs (P,Q) with gcd(P,Q)=1; further, for n=8,…,12, the only non-degenerate sequences where gcd(P,Q)=1 and Un(P,Q)=□, are given by U₈(1,−4)=²¹², U₈(4,−17)=⁶²⁰², and U₁₂(1,−1)=¹²².     

Fundamental solutions of singular SPDEs

This paper deals with some models of mathematical physics, where random fluctuations are modeled by white noise or other singular Gaussian generalized processes. White noise, as the distributional derivative od Brownian motion, which is the most important case of a Lévy process, is defined in the framework of Hida distribution spaces. The Fourier transformation in the framework of singular generalized stochastic processes is introduced and its applications to solving stochastic differential equations involving Wick products and singularities such as the Dirac delta distribution are presented. Explicit solutions are obtained in form of a chaos expansion in the Kondratiev white noise space, while the coefficients of the expansion are tempered distributions. Stochastic differential equations of the form P(ω, D) ◊ u(x, ω) = A(x, ω) are considered, where A is a singular generalized stochastic process and P(ω, D) is a partial differential operator with random coefficients. We introduce the Wick-convolution operator which enables us to express the solution as u = sA ◊ I^◊(−1), where s denotes the fundamental solution and I is the unit random variable. In particular, the stochastic Helmholtz equation is solved, which in physical interpretation describes waves propagating with a random speed from randomly appearing point sources.     

The transcendental meromorphic solutions of a certain type of nonlinear differential equations

In this paper, we study the differential equations of the following form w²+R(z)²(w(k))=Q(z), where R(z), Q(z) are nonzero rational functions. We proved the following three conclusions: (1) If either P(z) or Q(z) is a nonconstant polynomial or k is an even integer, then the differential equation w²+P²(z)²(w(k))=Q(z) has no transcendental meromorphic solution; if P(z), Q(z) are constants and k is an odd integer, then the differential equation has only transcendental meromorphic solutions of the form f(z)=acos(bz+c). (2) If either P(z) or Q(z) is a nonconstant polynomial or k>1, then the differential equation w²+(z−z₀)P²(z)²(w(k))=Q(z) has no transcendental meromorphic solution, furthermore the differential equation w²+A(z−z₀)²(w^′)=B, where A, B are nonzero constants, has only transcendental meromorphic solutions of the form , where a, b are constants such that Ab²=1, a²=B. (3) If the differential equation , where P is a nonconstant polynomial and Q is a nonzero rational function, has a transcendental meromorphic solution, then k is an odd integer and Q is a polynomial. Furthermore, if k=1, then Q(z)≡C (constant) and the solution is of the form f(z)=Bcosq(z), where B is a constant such that B²=C and q^′(z)=±P(z).     

Alexandrov’s inequality and conjectures on some Toeplitz matrices

We study determinant inequalities for certain Toeplitz-like matrices over C. For fixed n and N ? 1, let Q be the n × (n + N − 1) zero-one Toeplitz matrix with Q_ij = 1 for 0 ? j − i ? N − 1 and Q_ij = 0 otherwise. We prove that det(QQ^∗) is the minimum of det(RR^∗) over all complex matrices R with the same dimensions as Q satisfying ∣R_ij∣ ? 1 whenever Q_ij = 1 and R_ij = 0 otherwise. Although R has a Toeplitz-like band structure, it is not required to be actually Toeplitz. Our proof involves Alexandrov’s inequality for polarized determinants and its generalizations. This problem is motivated by Littlewood’s conjecture on the minimum 1-norm of N-term exponential sums on the unit circle. We also discuss polarized Bazin-Reiss-Picquet identities, some connections with k-tree enumeration, and analogous conjectured inequalities for the elementary symmetric functions of QQ^∗.     

On the Drazin inverse of block matrices and generalized Schur complement

In this paper, we give an additive result for the Drazin inverse with its applications, we obtain representations for the Drazin inverse of a 2 × 2 complex block matrix having generalized Schur complement S=D-CA^DB equal to zero or nonsingular. Several situations are analyzed and recent results are generalized [R.E. Hartwig, X. Li, Y. Wei, Representations for the Drazin inverse of a 2×2 block matrix, SIAM J. Matrix Anal. Appl. 27 (3) (2006) 757-771].     

Strong Hypercontractivity and Relative Subharmonicity

A Hermitian metric, g, on a complex manifold, M, together with a smooth probability measure, μ, on M determine minimal and maximal Dirichlet forms, Q_D and Q_max, given by Q(f)=∫_M g(grad f(z), grad f(z)) dμ(z). Q_D is the form closure of Q on C^∞_c(M) and Q_max is the form closure of Q on C¹_b(M). The corresponding operators, A_D and A_max, generate semigroups having standard hypercontractivity properties in the scale of L^p spaces, p>1, when the corresponding form, Q, satisfies a logarithmic Sobolev inequality. It was shown by the author (1999, Acta Math.182, 159-206) that the semigroup e^−tA_D has even stronger hypercontractivity properties when restricted to certain holomorphic subspaces of L^p. These results are extended here to A_max. When (M, g) is not complete it is necessary that the elliptic differential operator A_max degenerate on the boundary of M. A second proof of these strong hypercontractive inequalities for both A_D and A_max is given, which depends on an extension of the submean value property of subharmonic functions. The Riemann surface for z^1/n and the weighted Bergman spaces in the unit disc are given as examples.     

Compositions of Polynomials with Coefficients in a Given Field

Let F ⊂ K be fields of characteristic 0, and let K[x] denote the ring of polynomials with coefficients in K. Let p(x) = ∑_k = 0ⁿa_kx^k ∈ K[x], a_n ≠ 0. For p ∈ K[x]\F[x], define D_F(p), the F deficit of p, to equal n − max{0 ≤ k ≤ n : a_k∉F}. For p ∈ F[x], define D_F(p) = n. Let p(x) = ∑_k = 0ⁿa_kx^k and let q(x) = ∑_j = 0^mb_jx^j, with a_n ≠ 0, b_m ≠ 0, a_n, b_m ∈ F, b_j∉F for some j ≥ 1. Suppose that p ∈ K[x], q ∈ K[x]\F[x], p, not constant. Our main result is that p ° q ∉ F[x] and D_F(p ° q) = D_F(q). With only the assumption that a_nb_m ∈ F, we prove the inequality D_F(p ° q) ≥ D_F(q). This inequality also holds if F and K are only rings. Similar results are proven for fields of finite characteristic with the additional assumption that the characteristic of the field does not divide the degree of p. Finally we extend our results to polynomials in two variables and compositions of the form p(q(x, y)), where p is a polynomial in one variable.     

Proof of conjecture involving the second largest signless Laplacian eigenvalue and the index of graphs

Let G = (V, E) be a simple graph. Denote by D(G) the diagonal matrix of its vertex degrees and by A(G) its adjacency matrix. Then the signless Laplacian matrix of G is Q(G) = D(G) + A(G). In [5], Cvetkovi? et al. have given the following conjecture involving the second largest signless Laplacian eigenvalue (q₂) and the index (λ₁) of graph G (see also Aouchiche and Hansen [1]):

     

Minimal ranks of some quaternion matrix expressions with applications

Suppose that p(X, Y) = A − BX − X^(∗)B^(∗) − CYC^(∗) and q(X, Y) = A − BX + X^(∗)B^(∗) − CYC^(∗) are quaternion matrix expressions, where A is persymmetric or perskew-symmetric. We in this paper derive the minimal rank formula of p(X, Y) with respect to pair of matrices X and Y = Y^(∗), and the minimal rank formula of q(X, Y) with respect to pair of matrices X and Y = −Y^(∗). As applications, we establish some necessary and sufficient conditions for the existence of the general (persymmetric or perskew-symmetric) solutions to some well-known linear quaternion matrix equations. The expressions are also given for the corresponding general solutions of the matrix equations when the solvability conditions are satisfied. At the same time, some useful consequences are also developed.     

Analysis of a semigroup approach in the inverse problem of identifying an unknown parameters

This article presents a semigroup approach to the mathematical analysis of the inverse parameter problems of identifying the unknown parameters p(t) and q in the linear parabolic equation u_t(x, t)  = u_xx + qu_x(x, t) + p(t)u(x, t), with Dirichlet boundary conditions u(0, t) = ψ₀, u(1, t) = ψ₁. The main purpose of this paper is to investigate the distinguishability of the input-output mapping Φ[·]:P→H^1,2[0,T], via semigroup theory. In this paper, it is shown that if the nullspace of the semigroup T(t) consists of only zero function, then the input-output mapping Φ[·] has the distinguishability property. It is also shown that the types of the boundary conditions and the region on which the problem is defined play an important role in the distinguishability property of the mapping. Moreover, under the light of the measured output data u_x(0, t) = f(t) the unknown parameter p(t) at (x, t) = (0, 0) and the unknown coefficient q are determined via the input data. Furthermore, it is shown that measured output data f(t) can be determined analytically by an integral representation. Hence the input-output mapping Φ[·]:P→H^1,2[0,T] is given explicitly interms of the semigroup.     

On certain finite-dimensional algebras generated by two idempotents

This paper is concerned with algebras generated by two idempotents P and Q satisfying (PQ)^m=(QP)^m and (PQ)^m-1≠(QP)^m-1. The main result is the classification of all these algebras, implying that for each m?2 there exist exactly eight nonisomorphic copies. As an application, it is shown that if an element of such an algebra has a nondegenerate leading term, then it is group invertible, and a formula for the explicit computation of the group inverse is given.