On the eigenvalue estimation for solution to Lyapunov equation

This paper deals with the problems of eigenvalue estimation for the solution to the perturbed matrix Lyapunov equation. We obtain some eigenvalue inequalities on condition that X is a positive semidefinite solution to the equation A^TXA − X = −Q, which can be used in control theory and linear system stability.     

Stability of Taylor–Couette and Dean flow: A semi-analytical study

An alternative method is presented for solving the eigenvalue problem that governs the stability of Taylor–Couette and Dean flow. The eigenvalue problems defined by the two-point boundary value problems are converted into initial value problems by applying unit disturbance method developed by Harris and Reid [27] in 1964. Thereafter, the initial value problems are solved by differential transform method in series and the eigenvalues are computed by shooting technique. Critical wave number and Taylor number for Taylor–Couette flow are computed for a wide range of rotation ratio (μ), −4 ? μ ? 1 (first mode) and −2 ? μ ? 1 (second mode). The radial eigenfunction and cell patterns are presented for μ = −1, 0, 1. Also, we have computed critical wave number and Dean number successfully.     

Fourier series of half-range functions by smooth extension

This paper considers Fourier series approximations of one- and two-dimensional functions over the half-range, that is, over the sub-interval [0, L] of the interval [−L, L] in one-dimensional problems and over the sub-domain [0, L_x] × [0, L_y] of the domain [−L_x, L_x] × [−L_y, L_y] in two-dimensional problems. It is shown how to represent these functions using a Fourier series that employs a smooth extension. The purpose of the smooth extension is to improve the convergence characteristics otherwise obtained using the even and odd extensions. Significantly improved convergence characteristics are illustrated in one-dimensional and two-dimensional problems.     

L2 − L∞ filtering for Markovian jump systems with time-varying delays and partly unknown transition probabilities

This paper considers the L₂ − L_∞ filtering problem for Markovian jump systems. The systems under consideration involve time-varying delays, disturbance signal and partly unknown transition probabilities. The aim of this paper is to design a filter, which is suitable for exactly known and partly unknown transition probabilities, such that the filtering error system is stochastically stable and a prescribed L₂ − L_∞ disturbance attenuation level is guaranteed. By using the Lyapunov-Krasovskii functional, sufficient conditions are formulated in terms of linear matrix inequalities (LMIs). A numerical example is given to illustrate the effectiveness of the proposed main results. All these results are expected to be of use in the study of filter design for Markovian jump systems with partly unknown transition probabilities.     

New results on the energy of integral circulant graphs

Circulant graphs are an important class of interconnection networks in parallel and distributed computing. Integral circulant graphs play an important role in modeling quantum spin networks supporting the perfect state transfer as well. The integral circulant graph ICG_n(D) has the vertex set Z_n = {0, 1, 2, … , n − 1} and vertices a and b are adjacent if gcd(a − b, n) ∈ D, where D ⊆ {d : d∣n, 1 ? d < n}. These graphs are highly symmetric, have integral spectra and some remarkable properties connecting chemical graph theory and number theory. The energy of a graph was first defined by Gutman, as the sum of the absolute values of the eigenvalues of the adjacency matrix. Recently, there was a vast research for the pairs and families of non-cospectral graphs having equal energies. Following Bapat and Pati [R.B. Bapat, S. Pati, Energy of a graph is never an odd integer, Bull. Kerala Math. Assoc. 1 (2004) 129-132], we characterize the energy of integral circulant graph modulo 4. Furthermore, we establish some general closed form expressions for the energy of integral circulant graphs and generalize some results from Ili? [A. Ili?, The energy of unitary Cayley graphs, Linear Algebra Appl. 431 (2009), 1881-1889]. We close the paper by proposing some open problems and characterizing extremal graphs with minimal energy among integral circulant graphs with n vertices, provided n is even.     

Stability in cellular neural networks with a piecewise constant argument

In this paper, by using the concept of differential equations with piecewise constant arguments of generalized type [1], [2], [3] and [4], a model of cellular neural networks (CNNs) [5] and [6] is developed. The Lyapunov-Razumikhin technique is applied to find sufficient conditions for the uniform asymptotic stability of equilibria. Global exponential stability is investigated by means of Lyapunov functions. An example with numerical simulations is worked out to illustrate the results.     

An adaptive Huber method for non-linear systems of weakly singular second kind Volterra integral equations

Numerical methods for systems of weakly singular Volterra integral equations are rarely considered in the literature, especially if the equations involve non-linear dependencies between unknowns and their integrals. In the present work an adaptive Huber method for such systems is proposed, by extending the method previously formulated for single weakly singular second kind Volterra equations. The method is tested on example systems of integral equations involving integrals with kernels K(t, τ) = (t − τ)^−1/2, K(t, τ) = exp[−λ(t − τ)](t − τ)^−1/2 (where λ > 0), and K(t, τ) = 1. The magnitude of the errors, and practical accuracy orders, observed for IE systems, are comparable to those for single IEs. In cases when the solution vector is not differentiable at t = 0, the estimation of errors at t = 0 is found somewhat less reliable for IE systems, than it was for single IEs. The stability of the IE systems solved appears to be sufficient, in practice, for the numerical stability of the method.     

Resolution, in L-spaces, of transmission problems set in an unbounded domains

The goal of this work is to give a complete study of some abstract transmission problems (P^δ), for every δ > 0, set in unbounded domain composed of a half-line ]−∞, 0[ and a thin layer ]0, δ[. Existence and uniqueness results are obtained for strict solutions in UMD Banach spaces, by using essentially the semigroup theory and the Dore-Venni’s Theorem given in [8].     

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 solutions of a functional equation arising from multiplication of quantum integers

This paper is the first of several papers in which we prove, for the case where the fields of coefficients are of characteristic zero, four open problems posed in the work of Melvyn Nathanson (2003) [1] concerning the solutions of a functional equation arising from multiplication of quantum integers q[n]=qn−1+qn−2+?+q+1. In this paper, we prove one of the problems. The next papers, namely [002], [003] and [004] by Lan Nguyen, contain the solutions to the other 3 problems.     

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.     

Fundamental group and cycle space of dual graphs and applications

In this work, we study the fundamental group of dual graph of a planar graph. Moreover, we show that a planar graph G has no cut vertex if and only if N(Π(D(G))) = N(Π(D(G − v))) − 1 for any v ∈ V(G). Some applications relevant to quantum space time are indicated. Our results generalize and extend results in paper [1] [S.I. Nada, E.H. Hamouda, Fundamental group of dual graphs and applications to quantum space time, Chaos Soliton Fractals 42 (2009) 500-503].     

Eigenvalue inequalities for convex and log-convex functions

We give a matrix version of the scalar inequality f(a + b) ? f(a) + f(b) for positive concave functions f on [0, ∞). We show that Choi’s inequality for positive unital maps and operator convex functions remains valid for monotone convex functions at the cost of unitary congruences. Some inequalities for log-convex functions are presented and a new arithmetic-geometric mean inequality for positive matrices is given. We also point out a simple proof of the Bhatia-Kittaneh arithmetic-geometric mean inequality.     

On maximal 3-restricted edge connectivity and reliability analysis of hypercube networks

It is shown in this work that all n-dimensional hypercube networks for n ? 4 are maximally 3-restricted edge connected. Employing this observation, we analyze the reliability of hypercube networks and determine the first 3n − 5 coefficients of the reliability polynomial of n-cube networks.     

Fault-tolerant edge and vertex pancyclicity in alternating group graphs

In [J.-M. Chang, J.-S. Yang. Fault-tolerant cycle-embedding in alternating group graphs, Appl. Math. Comput. 197 (2008) 760-767] the authors claim that every alternating group graph AG_n is (n − 4)-fault-tolerant edge 4-pancyclic. Which means that if the number of faults ∣F∣ ? n − 4, then every edge in AG_n − F is contained in a cycle of length ?, for every 4 ? ? ? n!/2 − ∣F∣. They also claim that AG_n is (n − 3)-fault-tolerant vertex pancyclic. Which means that if ∣F∣ ? n − 3, then every vertex in AG_n − F is contained in a cycle of length ?, for every 3 ? ? ? n!/2 − ∣F∣. Their proofs are not complete. They left a few important things unexplained. In this paper we fulfill these gaps and present another proofs that AG_n is (n − 4)-fault-tolerant edge 4-pancyclic and (n − 3)-fault-tolerant vertex pancyclic.     

Matrix inverse problem and its optimal approximation problem for R-skew symmetric matrices

Let R ∈ C^n×n be a nontrivial involution, i.e., R² = I and R ≠ ±I. A matrix A ∈ C^n×n is called R-skew symmetric if RAR = −A. The least-squares solutions of the matrix inverse problem for R-skew symmetric matrices with R∗ = R are firstly derived, then the solvability conditions and the solutions of the matrix inverse problem for R-skew symmetric matrices with R∗ = R are given. The solutions of the corresponding optimal approximation problem with R∗ = R for R-skew symmetric matrices are also derived. At last an algorithm for the optimal approximation problem is given. It can be seen that we extend our previous results [G.X. Huang, F. Yin, Matrix inverse problem and its optimal approximation problem for R-symmetric matrices, Appl. Math. Comput. 189 (2007) 482-489] and the results proposed by Zhou et al. [F.Z. Zhou, L. Zhang, X.Y. Hu, Least-square solutions for inverse problem of centrosymmetric matrices, Comput. Math. Appl. 45 (2003) 1581-1589].     

Linearly perturbed polyhedral normal cone mappings and applications

Under a mild regularity assumption, we derive an exact formula for the Fréchet coderivative and some estimates for the Mordukhovich coderivative of the normal cone mappings of perturbed polyhedra in reflexive Banach spaces. Our focus point is a positive linear independence condition, which is a relaxed form of the linear independence condition employed recently by Henrion et al. (2010) [1], and Nam (2010) [3]. The formulae obtained allow us to get new results on solution stability of affine variational inequalities under linear perturbations. Thus, our paper develops some aspects of the work of Henrion et al. (2010) [1] Nam (2010) [3] Qui (in press) [12] and Yao and Yen (2009) [6] and [7].     

Exponential stability of periodic neural networks with impulsive effects and time-varying delays

By employing Young inequality and constructing suitable Liapunov functions, we investigate the existence and globally exponential stability of periodic neural networks with impulses and time-varying delays. The results extend and improve some earlier ones [1], [5] and [12]. An illustrative example and simulations are given to show the validity of the main results.     

Approximation of signals of class Lip(α, p) by linear operators

Mittal, Rhoades [5], [6], [7] and [8] and Mittal et al. [9] and [10] have initiated a study of error estimates E_n(f) through trigonometric-Fourier approximation (tfa) for the situations in which the summability matrix T does not have monotone rows. In this paper we continue the work. Here we extend two theorems of Leindler [4], where he has weakened the conditions on {p_n} given by Chandra [2], to more general classes of triangular matrix methods. Our Theorem also partially generalizes Theorem 4 of Mittal et al. [11] by dropping the monotonicity on the elements of matrix rows, which in turn generalize the results of Quade [15].     

On extremal matrices of second largest exponent by Boolean rank

Let b = b(A) be the Boolean rank of an n × n primitive Boolean matrix A and exp(A) be the exponent of A. Then exp(A) ? (b − 1)² + 2, and the matrices for which equality occurs have been determined in [D.A. Gregory, S.J. Kirkland, N.J. Pullman, A bound on the exponent of a primitive matrix using Boolean rank, Linear Algebra Appl. 217 (1995) 101-116]. In this paper, we show that for each 3 ? b ? n − 1, there are n × n primitive Boolean matrices A with b(A) = b such that exp(A) = (b − 1)² + 1, and we explicitly describe all such matrices.