Abstract and Applied Analysis

Volume 2014 (2014), Article ID 418194, 8 pages

http://dx.doi.org/10.1155/2014/418194

## Isomorphic Operators and Functional Equations for the Skew-Circulant Algebra

^{1}Department of Mathematics, Linyi University, Linyi, Shandong 276000, China^{2}Department of Mathematics, Shandong Normal University, Ji’nan, Shandong 250014, China

Received 28 March 2014; Accepted 27 April 2014; Published 8 May 2014

Academic Editor: Tongxing Li

Copyright © 2014 Zhaolin Jiang et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

#### Abstract

The skew-circulant matrix has been used in solving ordinary differential equations. We prove that the set of skew-circulants with complex entries has an idempotent basis. On that basis, a skew-cyclic group of automorphisms and functional equations on the skew-circulant algebra is introduced. And different operators on linear vector space that are isomorphic to the algebra of complex skew-circulant matrices are displayed in this paper.

#### 1. Introduction

Skew circulant and circulant matrices have became important tools in solving various differential equations. Bertaccini and Ng [1] proposed a nonsingular skew-circulant preconditioner for systems of LMF-based ODE codes. Delgado et al. [2] developed some techniques to obtain global hyperbolicity for a certain class of endomorphisms of with ; this kind of endomorphisms is obtained from vectorial difference equations where the mapping defining these equations satisfies a circulant matrix condition. Wilde [3] developed a theory for the solution of ordinary and partial differential equations whose structure involves the algebra of circulants. He showed how the algebra of circulants relates to the study of the harmonic oscillator, the Cauchy-Riemann equations, Laplace’s equation, the Lorentz transformation, and the wave equation. And he used circulants to suggest natural generalizations of these equations to higher dimensions. Using circulant matrix, Karasözen and Şimşek [4] considered periodic boundary conditions such that no additional boundary terms will appear after semidiscretization. In [5], the resulting dense linear system exhibits so much structure that it can be solved very efficiently by a circulant preconditioned conjugate gradient method. Brockett and Willems [6] showed how the important problems of linear system theory can be solved concisely for a particular class of linear systems, namely, block circulant systems, by exploiting the algebraic structure. Circulant matrices were also used to solve linear systems from differential-algebraic equations and delay differential equations; see [7, 8].

Skew circulant matrices have important applications in various disciplines including image processing, communications, signal processing, encoding, solving Toeplitz matrix problems, preconditioner, and solving least squares problems. They have been put on firm basis with the work of Davis [9] and Jiang and Zhou [10]. Hermitian and skew-Hermitian Toeplitz systems are considered in [11–13]. Lyness and Sørevik [14] employed a skew circulant matrix to construct -dimensional lattice rules. Spectral decompositions of skew circulant and skew left circulant matrices were discussed in [15]. Compared with cyclic convolution algorithm, the skew cyclic convolution algorithm [16] is able to perform filtering procedure in approximately half of computational cost for real signals. In [17] two new normal-form realizations are presented by utilizing circulant and skew circulant matrices as their state transition matrices. The well-known second-order coupled form is a special case of the skew circulant form. Li et al. [18] gave the style spectral decomposition of skew circulant matrix firstly and then dealt with the optimal backward perturbation analysis for the linear system with skew circulant coefficient matrix. In [19], a new fast algorithm for optimal design of block digital filters (BDFs) is proposed based on skew circulant matrix. Gao et al. [20] gave explicit determinants and inverses of skew circulant and skew left circulant matrices with Fibonacci and Lucas numbers.

Besides, there are several papers on the circulant operator and circulant algebra. Wilde [21] discussed aspects of functional equations obtaining generalizations of odd and even functions in terms of th roots of unity in complex number field. Wilde [22, 23] generalized properties of circulant matrices and 2-dimensional complex analysis to circulant matrices. Wilde [24] displayed algebras of operators which are isomorphic to the algebra of complex circulant matrices. Chan et al. [25] gave different formulations of the operator, discussed its algebraic and geometric properties, and computed its operator norms in different Banach algebras of matrices. Using these results, they also gave an efficient algorithm for finding the superoptimal circulant preconditioner. Chillag [26] proved that eigenvalues of some generalized circulant matrices and the Matteson-Solomon coefficients of a codeword of a cyclic code are all examples of eigenvalues of elements of semisimple finite-dimensional, commutative algebras. The purpose of Chillag’s paper is to exhibit elementary properties of such algebras and to apply these properties in various situations. Brink and Pretorius [27] embed some results on Boolean circulants into the context of relation algebras and then generalised them. Interestingly enough, the route lies in group theory. Chan et al. [28] studied the solutions of finite-section Wiener-Hopf equations, by the preconditioned conjugate gradient method, and gave an easy and general scheme of constructing good circulant integral operators as preconditioners for such equations. Benedetto and Capizzano [29] investigated algebraic and geometric properties of the optimal approximation operator, generalizing those proved in [25] for the basic circulant case. Benedetto and Capizzano [30] considered the superoptimal Frobenius operators in several matrix vector spaces and in particular in the circulant algebra, by emphasizing both the algebraic and geometric properties. Hwang et al. [31] are concerned with the hyponormality of Toeplitz operators with matrix-valued circulant symbols. They established a necessary and sufficient condition for Toeplitz operators with matrix-valued partially circulant symbols to be hyponormal and provided a rank formula for the self-commutator. Several norm equalities and inequalities for operator matrices are proved in [32]. These results, which depend on the structure of circulant and skew circulant operator matrices, include pinching type inequalities for weakly unitarily invariant norms.

In passing, skew-circulant operator and algebra were only used in [32]. And solving differential equations by skew circulant matrices has not been fully exploited (as far as we known, only in [1]). It is hoped that this paper will help in changing this. More work continuing the present paper is forthcoming.

In Section 2, we will prove that a complex skew-circulant matrix is a matrix representation of the group ring (over ) of the skew cyclic group. We also prove that the set of skew-circulants with complex entries has an idempotent basis.

In Section 3, functional equations, whose solutions are functions , are solved using skew-cyclic and idempotent linear operators on the space (labeled ) of functions . Further, we will show that this algebra of linear operators is isomorphic to skew-circulants.

In Section 4, we display skew cyclic and idempotent linear operators on the space of functions on complex skew-circulants. Furthermore, we get a relationship between the operators on and those on .

In Section 5, we show a linear involution on whose group ring is isomorphic to complex skew-circulant matrices.

#### 2. Properties of Skew-Circulant

An skew-circulant matrix is a square matrix like the following:

Let denote the set of skew-circulant matrices with complex entries. Let denote the skew-circulant matrix with and for . Then (the th power of , ) is the skew-circulant matrix with and for all , ( is the identity matrix), , and . So can be written as for . In other words, form a basis for the set of skew-circulant matrices. Let denote any of the th roots of unit, or , , and

Then, through the eigenvalues of the matrix , , we know that the numbers are the eigenvalues of the skew-circulant matrix .

Proposition 1. *If , the set of skew-circulant matrices, has a basis , then the also has another basis , where
**
for , , and .*

*Proof. *By calculation, these matrices have the following properties:
for . Thus, the idempotents form a basis for , and in (2) we also have

We have seen that every skew-circulant matrix, , can be written in one and only one way in the form (2); that is

Proposition 2. *If the function is defined by
**
then .*

*Proof. *By composition, we gain that
that is, replaces by for . Also, .

The function is an automorphism in that preserves , with being embedded in by the correspondence for .

Proposition 3. *Let be the function defined by
**
Then,
**
for .*

*Proof. *Since , we gain that

Similarly, we can obtain for .

And, by calculation, we have

Finally, we gain

Synthesizing Propositions 1, 2, and 3, we get the following theorem.

Theorem 4. *The algebras generated by and over are isomorphic and can be called skew-circulant algebras.*

#### 3. Functional Equations for the Skew-Circulant Algebra

Proposition 5. *If is a linear entire function, , then
*

*Proof. *According to [3], we know that
for .

We thus have

Then, we complete the proof of this conclusion.

*For any linear entire function , (15) can be written as follows:
where
.*

*For each , satisfy the functional equation
for , , all , and all .*

*Equation (20) is related to the skew-circulant algebra also in another way.*

*If the function is defined by
let and let be the operator , linear in , defined by
that is,
If we denote the operation composed with itself times, then
where if and only if divides and is an odd number; if and only if divides and is an even number.*

*All these equations (15)–(24) lead up to the following theorem.*

*Theorem 6. Linear combinations of the operators over form a skew-circulant algebra.*

*Proposition 7. If the operators are defined by
for , then these operators have the following properties:
for .*

*Through simple calculation, we can get properties (26)–(28). Properties (26)–(29) are similar to those of the functions and .*

*By all accounts, a function in satisfies (20) if and only if (the range of the operator was denoted by ). Moreover, properties (26)–(28) above imply that , each function , , defined by (19) is in .*

*In addition,
Thus
*

*4. Other Skew-Circulant Algebras*

*By (25) and (24), if a function maps into , then
for .*

*For is the space of skew-circulant matrices, there exist functions such that
*

*Hence, from (28),
*

*Proposition 8. Let is the space of skew-circulant matrices}, for ; let us define and such that
for and taken modulo . Then we can receive the properties of the :
*

*From what has been discussed above, we gain the following theorem.*

*Theorem 9. The are orthogonal projections on , adding to the identity function on , and so generating over a skew-circulant algebra.*

*Proposition 10. The projections have another formula as follows:
*

*Proof. *We can prove (38) in the following:

*This result can be rewritten in the form
, for all functions .*

*Finally, it can be shown that if and only if .*

*Theorem 11. For each and every , there exists only one function such that the following equation holds:
for , and taken modulo .*

*Proof. *By (26) and (27),
for ; and taken modulo .

Suppose there exists another function such that . Since is a basis of , for . By (28),
So is unique. Thus, there is an isomorphism between functions and functions in .

*Now the results of all this are as follows: let with an entire function and . Let be a monomorphism defined by . Let be a monomorphism defined by
which follows from (18), (19), and (31). Then there exists an isomorphism defined by
*

*5. A Linear Involution*

*5. A Linear Involution*

*Suppose that is a function given by
where is given by (36). Written out, we have
*

*Let denote the space of functions . If is an element of , then there exist a set of functions mapping into such that (like (33)). Let us switch the and the in the right-hand side of (47). Then let be the function defined by
*

*Theorem 12. From (26), (27), and (28), we can show that is a linear involution on .*

*Proof. *From (26), (27), and (28), we get
That is, (the identity function on ). Then, is a linear involution on .

*Consider the set , that is, linear combinations over of and (since ). Then is a complex circulant algebra; and are idempotent elements of ; that is, they are projections on . If is in , then if and only if , and if and only if . Also, (a direct sum).*

*Example 13. *If , then . Let and be two functions . Then

Note that, if is a function for each , we have by (48) that

In the same way, (48) implies that
where and vary from to and is taken modulo . Since if and only if , the function
is a fixed point of .

*6. Conclusion*

*6. Conclusion*

*We prove that the set of skew-circulants with complex entries has an idempotent basis. This paper displays algebras of operators which are isomorphic to the algebra of complex skew-circulant matrices. In [19], a new fast algorithm for optimal design of block digital filters (BDFs) is proposed based on skew circulant matrix. The reason why we focus our attention on skew-circulant operator is to explore the application of skew-circulant in the related field. On the basis of existing application situation [2–8], we will exploit solving ordinary, partial, and delay differential equations based on skew circulant operator.*

*Conflict of Interests*

*Conflict of Interests*

*The authors declare that there is no conflict of interests regarding the publication of this paper.*

*Acknowledgments*

*Acknowledgments*

*The research is supported by the Development Project of Science & Technology of Shandong Province (Grant no. 2012GGX10115) and NSFC (Grant no. 11301251) and the AMEP of Linyi University, China.*

*References*

*References*

- D. Bertaccini and M. K. Ng, “Skew-circulant preconditioners for systems of LMF-based ODE codes,” in
*Numerical Analysis and Its Applications*, vol. 1988 of*Lecture Notes in Computer Science*, pp. 93–101, Springer, Berlin, Germany, 2001. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - J. Delgado, N. Romero, A. Rovella, and F. Vilamajó, “Bounded solutions of quadratic circulant difference equations,”
*Journal of Difference Equations and Applications*, vol. 11, no. 10, pp. 897–907, 2005. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus - A. C. Wilde, “Differential equations involving circulant matrices,”
*Rocky Mountain Journal of Mathematics*, vol. 13, no. 1, pp. 1–13, 1983. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - B. Karasözen and G. Şimşek, “Energy preserving integration of bi-Hamiltonian partial differential equations,”
*Applied Mathematics Letters*, vol. 26, no. 12, pp. 1125–1133, 2013. View at Publisher · View at Google Scholar - E. W. Sachs and A. K. Strauss, “Efficient solution of a partial integro-differential equation in finance,”
*Applied Numerical Mathematics*, vol. 58, no. 11, pp. 1687–1703, 2008. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus - R. W. Brockett and J. L. Willems, “Discretized partial differential equations: examples of control systems defined on modules,”
*Automatica*, vol. 10, no. 5, pp. 507–515, 1974. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus - R. D. Nussbaum, “Circulant matrices and differential-delay equations,”
*Journal of Differential Equations*, vol. 60, no. 2, pp. 201–217, 1985. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus - X.-Q. Jin, S.-L. Lei, and Y.-M. Wei, “Circulant preconditioners for solving differential equations with multidelays,”
*Computers & Mathematics with Applications*, vol. 47, no. 8-9, pp. 1429–1436, 2004. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus - P. J. Davis,
*Circulant Matrices*, John Wiley & Sons, New York, NY, USA, 1979. View at MathSciNet - Z. L. Jiang and Z. X. Zhou,
*Circulant Matrices*, Chengdu Technology University, Chengdu, China, 1999. - R. H. Chan and X.-Q. Jin, “Circulant and skew-circulant preconditioners for skew-Hermitian type Toeplitz systems,”
*BIT Numerical Mathematics*, vol. 31, no. 4, pp. 632–646, 1991. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus - R. H. Chan and K.-P. Ng, “Toeplitz preconditioners for Hermitian Toeplitz systems,”
*Linear Algebra and Its Applications*, vol. 190, pp. 181–208, 1993. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus - T. Huckle, “Circulant and skewcirculant matrices for solving Toeplitz matrix problems,”
*SIAM Journal on Matrix Analysis and Applications*, vol. 13, no. 3, pp. 767–777, 1992. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - J. N. Lyness and T. Sørevik, “Four-dimensional lattice rules generated by skew-circulant matrices,”
*Mathematics of Computation*, vol. 73, no. 245, pp. 279–295, 2004. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus - H. Karner, J. Schneid, and C. W. Ueberhuber, “Spectral decomposition of real circulant matrices,”
*Linear Algebra and Its Applications*, vol. 367, pp. 301–311, 2003. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus - M. J. Narasimha, “Linear convolution using skew-cyclic convolutions,”
*IEEE Signal Processing Letters*, vol. 14, no. 3, pp. 173–176, 2007. View at Publisher · View at Google Scholar · View at Scopus - V. C. Liu and P. P. Vaidyanathan, “Circulant and skew-circulant matrices as new normal-form realization of IIR digital filters,”
*IEEE Transactions on Circuits and Systems*, vol. 35, no. 6, pp. 625–635, 1988. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - J. Li, Z. L. Jiang, N. Shen, and J. W. Zhou, “On optimal backward perturbation analysis for the linear system with skew circulant coefficient matrix,”
*Computational and Mathematical Methods in Medicine*, vol. 2013, Article ID 707381, 7 pages, 2013. View at Publisher · View at Google Scholar · View at MathSciNet - D. Q. Fu, Z. L. Jiang, Y. F. Cui, and S. T. Jhang, “A new fast algorithm for optimal design of block digital filters by skew-cyclic convolution,”
*IET Signal Processing*. - Y. Gao, Z. L. Jiang, and Y. P. Gong, “On the determinants and inverses of skew circulant and skew left circulant matrices with Fibonacci and Lucas Numbers,”
*WSEAS Transactions on Mathematics*, vol. 12, no. 4, pp. 472–481, 2013. View at Google Scholar - A. C. Wilde, “Solutions of equations containing primitive roots of unity,”
*Journal of Undergraduate Mathematics*, vol. 3, pp. 25–28, 1971. View at Google Scholar - A. C. Wilde, “Cauchy-Riemann conditions for algebras isomorphic to the circulant algebra,”
*The Journal of the University of Kuwait (Science)*, vol. 14, no. 2, pp. 189–204, 1987. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - A. C. Wilde, “Commutative projection operators,”
*Atti del Seminario Matematico e Fisico dell'Università di Modena*, vol. 35, no. 1, pp. 167–172, 1987. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - A. C. Wilde, “Algebras of operators isomorphic to the circulant algebra,”
*Proceedings of the American Mathematical Society*, vol. 105, no. 4, pp. 808–816, 1989. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - R. H. Chan, X.-Q. Jin, and M.-C. Yeung, “The circulant operator in the banach algebra of matrices,”
*Linear Algebra and Its Applications*, vol. 149, pp. 41–53, 1991. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus - D. Chillag, “Regular representations of semisimple algebras, separable field extensions, group characters, generalized circulants, and generalized cyclic codes,”
*Linear Algebra and Its Applications*, vol. 218, pp. 147–183, 1995. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - C. Brink and J. Pretorius, “Boolean circulants, groups, and relation algebras,”
*The American Mathematical Monthly*, vol. 99, no. 2, pp. 146–152, 1992. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - R. H. Chan, X.-Q. Jin, and M. K. Ng, “Circulant integral operators as preconditioners for Wiener-Hopf equations,”
*Integral Equations and Operator Theory*, vol. 21, no. 1, pp. 12–23, 1995. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus - F. di Benedetto and S. serra Capizzano, “Optimal multilevel matrix algebra operators,”
*Linear and Multilinear Algebra*, vol. 48, no. 1, pp. 35–66, 2000. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus - F. di Benedetto and S. serra Capizzano, “A note on the superoptimal matrix algebra operators,”
*Linear and Multilinear Algebra*, vol. 50, no. 4, pp. 343–372, 2002. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus - I. S. Hwang, D.-O. Kang, and W. Y. Lee, “Hyponormal Toeplitz operators with matrix-valued circulant symbols,”
*Complex Analysis and Operator Theory*, vol. 7, no. 4, pp. 843–861, 2013. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - W. Bani-Domi and F. Kittaneh, “Norm equalities and inequalities for operator matrices,”
*Linear Algebra and Its Applications*, vol. 429, no. 1, pp. 57–67, 2008. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus

*
*