Abstract and Applied Analysis
Volume 2015 (2015), Article ID 760823, 10 pages
http://dx.doi.org/10.1155/2015/760823

Research Article

Exact Inverse Matrices of Fermat and Mersenne Circulant Matrix

Yanpeng Zheng and Sugoog Shon

Department of Information and Telecommunications Engineering, The University of Suwon, Wau-ri, Bongdam-eup, Hwaseong-si, Gyeonggi-do 445-743, Republic of Korea

Received 25 July 2014; Accepted 17 September 2014

Academic Editor: Zidong Wang

Copyright © 2015 Yanpeng Zheng and Sugoog Shon. 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 well known circulant matrices are applied to solve networked systems. In this paper, circulant and left circulant matrices with the Fermat and Mersenne numbers are considered. The nonsingularity of these special matrices is discussed. Meanwhile, the exact determinants and inverse matrices of these special matrices are presented.

1. Introduction

Circulant matrices are an important tool in solving networked systems. In [1], the authors investigated the storage of binary cycles in Hopfield-type and other neural networks involving circulant matrix. In [2], the authors considered a special class of the feedback delay network using circulant matrices. Distributed differential space-time codes that work for networks with any number of relays using circulant matrices were proposed by Jing and Jafarkhani in [3]. Bašić [4] solved the question for when circulant quantum spin networks with nearest-neighbor couplings can give perfect state transfer. Wang et al. considered two-way transmission model ensured that circular convolution between two frequency selective channels in [5]. Li et al. [6] presented a low-complexity binary framewise network coding encoder design based on circulant matrix.

Circulant matrices have been applied to various disciplines including image processing, communications, signal processing, and encoding. Circulant type matrices have established the substantial basis with the work in [7–12] and so on.

Lately, some authors gave the explicit determinant and inverse of the circulant and skew-circulant involving famous numbers. For example, Yao and Jiang [13] presented the determinants, inverses, norm, and spread of skew circulant type matrices involving any continuous Lucas numbers. Jiang et al. [14] considered circulant type matrices with the -Fibonacci and -Lucas numbers and presented the explicit determinant and inverse matrix by constructing the transformation matrices. Dazheng [15] got the determinant of the Fibonacci-Lucas quasi-cyclic matrices. Determinants and inverses of circulant matrices with Jacobsthal and Jacobsthal-Lucas numbers were obtained by Bozkurt and Tam in [16].

For any integer , let be the th Fermat number. It is well known that is prime for , but there is no other m for which is known to prime. The Mersenne and Fermat sequences are defined by the following recurrence relations [17, 18], respectively:

with the initial condition , , , , for .

Let and be the roots of the characteristic equation ; then the Binet formulas of the sequences and have the form

Lemma 1. Let be the th Mersenne number and let be the th Fermat number; then

(1), , , .(2), , , .

We define a Fermat circulant matrix which is an matrix with the following form:

A Mersenne circulant matrix which is an matrix is defined with the following form:

Besides, a Fermat left circulant matrix is given by

A Mersenne left circulant matrix is given by

The main content of this paper is to obtain the results for the exact determinants and inverses of Fermat and Mersenne circulant matrix. In this paper, let be a nonnegative integer, , and .

2. Determinant and Inverse of Fermat Circulant Matrix

In this section, let be a Fermat circulant matrix. Firstly, we obtain the exact form determinant of the matrix . Afterwards, we find the exact form inverse of the matrix .

Theorem 2. Let be a Fermat circulant matrix. Then one has

where , , , , and is the th Fermat number. Moreover, is singular if and only if and , for , , where , .

Proof. It is clear that det + satisfies (7). In the following, let

be two matrices; we have

where

We obtain

while

We have

Next, we discuss the singularity of the matrix .
The roots of polynomial are , where . We have

By Lemma  1 in [14], the matrix is nonsingular if and only if ; that is, when , is nonsingular if and only if ; when , we obtain or .
Let ; then the eigenvalue of is

for , , , , , so is nonsingular. The arguments for are similar. Thus, the proof is completed.

Lemma 3. Let the matrix be of the form

Then the inverse of the matrix is equal to

Proof. Let . Distinctly, for . In the case , we obtain

For , we get

We check on , where is identity matrix. Similarly, we can verify . Thus, the proof is completed.

Theorem 4. Let be a Fermat circulant matrix. Then one acquires , where

Proof. Let

where

We have

where is a diagonal matrix, and is the direct sum of and . If we denote , then we obtain

Let . Since the last row elements of the matrix are , according to Lemma 3, then the last row elements of are given by the following equations:

where , , according to Lemma 1; then we have

(i),(ii).

Hence, we obtain

Thus, the proof is completed.

3. Determinant and Inverse of Mersenne Circulant Matrix

In this section, let be a Mersenne circulant matrix. Firstly, we obtain the determinant of the matrix . Afterwards, we seek out the inverse of the matrix .

Theorem 5. Let be a Mersenne circulant matrix. Then one obtains

where , , , , and is the th Mersenne number. Furthermore, is singular if and only if and , for , , where , .

Proof. Obviously,

satisfies (27). In the following, let

be two matrices; then we have

where

We get

besides

We have

Now, we discuss the singularity of the matrix .
The roots of polynomial are , where . So we have

By Lemma  1 in [14], the matrix is nonsingular if and only if . That is when , is nonsingular if and only if , for , , . When , we obtain or . Let ; then the eigenvalue of is

for , , , , , so is nonsingular. The arguments for are similar. Thus, the proof is completed.

Lemma 6. Let the matrix be of the form

Then the inverse of the matrix is equal to

Proof. Let . Distinctly, for . When , we obtain

For , we obtain

We verify , where is identity matrix. Similarly, we check on . Thus, the proof is completed.

Theorem 7. Let be a Mersenne circulant matrix. Then one acquires

where

where

Proof. Let

where

We have

where is a diagonal matrix, and is the direct sum of and . If we denote , then we obtain

Let . Since the last row elements of the matrix are , according to Lemma 6, then the last row elements of are given by the following equations:

where , according to Lemma 1; then we have

(i),(ii).

We get

Thus, the proof is completed.

4. Determinants and Inverses of Fermat and Mersenne Left Circulant Matrix

In this section, let and be Mersenne and Fermat left circulant matrices, respectively. By using the obtained conclusions, we give a determinant formula for the matrix and . In addition, the inverse matrices of and are derived.

According to Lemma  2 in [14] and Theorems 2, 4, 5, and 7, we can obtain the following theorems.

Theorem 8. Let be a Fermat left circulant matrix; then one has

where , , and is the th Fermat number. Moreover, is singular if and only if and , for , , where , .

Theorem 9. Let be a Fermat left circulant matrix; then

where were given by Theorem 4 and was given by Lemma  2 in [14].

Theorem 10. Let be a Mersenne left circulant matrix; then one has

where , , and is the th Mersenne number. Furthermore, is singular if and only if and , for , , where , .

Theorem 11. Let be a Mersenne left circulant matrix; then one has

where were given by Theorem 7 and was given by Lemma  2 in [14].

5. Conclusion

In this paper, we present the exact determinants and the inverse matrices of Fermat and Mersenne circulant matrix, respectively. Furthermore, we give the exact determinants and the inverse matrices of Fermat and Mersenne left circulant matrix. Meanwhile, the nonsingularity of these special matrices is discussed. On the basis of circulant matrices technology, we will develop solving the problems in [19–22].

Conflict of Interests

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

Acknowledgment

This work was supported by the GRRC Program of Gyeonggi Province ((GRRC SUWON 2014-B4), Development of Cloud Computing-Based Intelligent Video Security Surveillance System with Active Tracking Technology). Their support is gratefully acknowledged.

References

C. Zhang, G. Dangelmayr, and I. Oprea, “Storing cycles in Hopfield-type networks with pseudoinverse learning rule: admissibility and network topology,” Neural Networks, vol. 46, pp. 283–298, 2013.

D. Rocchesso and J. O. Smith, “Circulant and elliptic feedback delay networks for artificial reverberation,” IEEE Transactions on Speech and Audio Processing, vol. 5, no. 1, pp. 51–63, 1997.

Y. Jing and H. Jafarkhani, “Distributed differential space-time coding for wireless relay networks,” IEEE Transactions on Communications, vol. 56, no. 7, pp. 1092–1100, 2008.

M. Bašić, “Characterization of quantum circulant networks having perfect state transfer,” Quantum Information Processing, vol. 12, no. 1, pp. 345–364, 2013.

G. Wang, F. Gao, Y.-C. Wu, and C. Tellambura, “Joint CFO and channel estimation for OFDM-based two-way relay networks,” IEEE Transactions on Wireless Communications, vol. 10, no. 2, pp. 456–465, 2011.

J. Li, J. Yuan, R. Malaney, M. Xiao, and W. Chen, “Full-diversity binary frame-wise network coding for multiple-source multiple-relay networks over slow-fading channels,” IEEE Transactions on Vehicular Technology, vol. 61, no. 3, pp. 1346–1360, 2012.

P. J. Davis, Circulant Matrices, John Wiley & Sons, New York, NY, USA, 1979.

Z. L. Jiang and Z. X. Zhou, Circulant Matrices, Chengdu Technology University Publishing Company, Chengdu, China, 1999.

Z. Jiang, “On the minimal polynomials and the inverses of multilevel scaled factor circulant matrices,” Abstract and Applied Analysis, vol. 2014, Article ID 521643, 10 pages, 2014.

Z. Jiang, T. Xu, and F. Lu, “Isomorphic operators and functional equations for the skew-circulant algebra,” Abstract and Applied Analysis, vol. 2014, Article ID 418194, 8 pages, 2014.

J. Li, Z. L. Jiang, and F. L. Lu, “Determinants, norms, and the spread of circulant matrices with Tribonacci and generalized Lucas numbers,” Abstract and Applied Analysis, vol. 2014, Article ID 381829, 9 pages, 2014.

Z. L. Jiang, “Nonsingularity of two classes of cyclic matrices,” Mathematics in Practice and Theory, no. 2, pp. 52–58, 1995.

J.-J. Yao and Z.-L. Jiang, “The determinants, inverses, norm, and spread of skew circulant type matrices involving any continuous Lucas numbers,” Journal of Applied Mathematics, vol. 2014, Article ID 239693, 10 pages, 2014.

Z. Jiang, Y. Gong, and Y. Gao, “Invertibility and explicit inverses of circulant-type matrices with k-Fibonacci and k-Lucas numbers,” Abstract and Applied Analysis, vol. 2014, Article ID 238953, 9 pages, 2014.

L. Dazheng, “Fibonacci-Lucas quasi-cyclic matrices,” The Fibonacci Quarterly, vol. 40, no. 3, pp. 280–286, 2002.

D. Bozkurt and T.-Y. Tam, “Determinants and inverses of circulant matrices with JACobsthal and JACobsthal-Lucas Numbers,” Applied Mathematics and Computation, vol. 219, no. 2, pp. 544–551, 2012.

A. F. Horadam, “Further appearence of the Fibonacci sequence,” The Fibonacci Quarterly, vol. 1, no. 4, pp. 41–42, 1963.

A. İpek and K. Arı, “On Hessenberg and pentadiagonal determinants related with FIBonacci and FIBonacci-like numbers,” Applied Mathematics and Computation, vol. 229, pp. 433–439, 2014.

H. Dong, Z. Wang, and H. Gao, “Distributed H ∞ filtering for a class of markovian jump nonlinear time-delay systems over lossy sensor networks,” IEEE Transactions on Industrial Electronics, vol. 60, no. 10, pp. 4665–4672, 2013.

Z. Wang, H. Dong, B. Shen, and H. Gao, “Finite-horizon filtering with missing measurements and quantization effects,” IEEE Transactions on Automatic Control, vol. 58, no. 7, pp. 1707–1718, 2013.

D. Ding, Z. Wang, J. Hu, and H. Shu, “Dissipative control for state-saturated discrete time-varying systems with randomly occurring nonlinearities and missing measurements,” International Journal of Control, vol. 86, no. 4, pp. 674–688, 2013.

J. Hu, Z. Wang, B. Shen, and H. Gao, “Quantised recursive filtering for a class of nonlinear systems with multiplicative noises and missing measurements,” International Journal of Control, vol. 86, no. 4, pp. 650–663, 2013.