1. Introduction

As information technology advances, whether computers can become comparable with human brains to perform abstract tasks, such as abstract art similar to the paintings of Picasso and musical compositions similar to those of Beethoven, is a natural question. Currently, this appears unattainable. In addition, whether computers can solve abstract and difficult mathematical problems and develop abstract mathematical theories such as those of mathematicians also appears unfeasible. Nevertheless, in seeking for alternatives, we can study what assistance mathematical software can provide. This study introduces how to conduct mathematical research using the mathematical software Maple. The main reasons of using Maple in this study are its simple instructions and ease of use, which enable beginners to learn the operating techniques in a short period. By employing the powerful computing capabilities of Maple, difficult problems can be easily solved. Even when Maple cannot determine the solution, problem-solving hints can be identified and inferred from the approximate values calculated and solutions to similar problems, as determined by Maple. For this reason, Maple can provide insights into scientific research.

In calculus and engineering mathematics, we learnt many methods to solve the integral problems including change of variables method, integration by parts method, partial fractions method, trigonometric substitution method, etc. In this paper, we study the following three types of definite integrals which are not easy to obtain their answers using the methods mentioned above.

(1)

(2)

(3)

where is a real number, and . We can obtain the closed forms of these definite integrals using Parseval’s theorem; this is the major result of this paper (i.e., Theorem 2.5). The study of integral problems can refer to ^{[1, 2, 3]}. In addition, the findings of these papers [4-30]^[4] show that the closed forms or infinite series forms of some types of integrals can be obtained using integration term by term theorem, differentiation with respect to a parameter, Parseval’s theorem, etc. In this article, we provide some definite integrals to do calculation practically, and the research method adopted in this study is to find solutions through manual calculations and verifying these solutions using Maple. This type of research method not only allows the discovery of calculation errors, but also helps modify the original directions of thinking from manual and Maple calculations.

2. Preliminaries and Main Results

Firstly, we introduce a definition and some formulas used in this paper.

Suppose that is a continuous function defined on . If the Fourier series expansion of is , where , and for all positive integers .

(4)

where is any real number.

(5)

where is any integer, and is any real number.

Suppose that is a complex number, and , then

(6)

(7)

The following is an important theorem used in this paper which can be found in ^[31].

If is a continuous function defined on , and . Suppose that the Fourier series expansion of is , then

(8)

Before deriving the major results of this study, we need a lemma.

Lemma 2.4 Suppose that is a real number, and . The Fourier series expansions of the following two trigonometric functions are

(9)

(10)

(11)

(12)

Proof Let .

Case 1. If (i.e., ). By Eq. (6), we obtain

Using Euler’s formula and DeMoivre’s formula yields

(13)

Using the real parts of both sides of Eq. (13) are equal yields

By the equality of the imaginary parts of both sides of Eq. (13) are equal, we obtain

Case 2. If , (i.e., ). Using Eq. (7) yields

Therefore,

Next, we determine the closed forms of the definite integrals (1), (2), and (3).

Theorem 2.5 Assume that is a real number, and , then we have

(14)

(15)

(16)

(17)

(18)

(19)

Proof Case 1. If , then

(20)

Therefore,

Also, using Eqs. (8) and (9) yields

Hence,

In addition, from the summation of Eqs. (14) and (16), we obtain Eq. (18).

Case 2. If , then

(21)

Thus,

Also, by Eqs. (8) and (10) we have

From the summation of Eqs. (15) and (17), we obtain Eq. (19).

3. Examples

In the following, for the three types of definite integrals in this study, we provide some definite integrals and use Theorem 2.5 to find their solutions. In addition, we employ Maple to calculate the approximations of these definite integrals and their solutions for verifying our answers.

(22)

Next, we use Maple to verify the correctness of Eq. (22).

>evalf(int((1+1/4*cos(x))^2/(17/16+1/2*cos(x))^2,x=0..2*Pi),18);

6.49262481741890604

>evalf(31*Pi/15,18);

6.49262481741890604

(23)

>evalf(int(1/2*(sin(x))^2/(3/2+sqrt(2)*cos(x))^2,x=0..2*

Pi),18);

3.14159265358979324

>evalf(Pi,18);

3.14159265358979324

3.3. Let in Eq. (18), we have

(24)

>evalf(int(1/(13/9+4/3*cos(x)),x=0..2*Pi),18);

11.3097335529232557

>evalf(18*Pi/5,18);

11.3097335529232557

3.4. Taking into Eq. (15) yields

(25)

>evalf(int((1+2*cos(x))^2/(5+4*cos(x))^2,x=0..2*Pi),18);

1.04719755119659775

>evalf(Pi/3,18);

1.04719755119659775

3.5. Let in Eq. (17), then we obtain

(26)

>evalf(int(25*(sin(x))^2/(26+10*cos(x))^2,x=0..2*Pi),18);

0.130899693899574718

>evalf(Pi/24,18);

0.130899693899574718

3.6. If in Eq. (19), then

(27)

>evalf(int(1/(37+12*cos(x)),x=0..2*Pi),18);

0.179519580205131042

>evalf(2*Pi/35,18);

0.179519580205131042

4. Conclusion

In this paper, we use Parseval’s theorem to solve some definite integrals. In fact, the applications of this theorem are extensive, and can be used to easily solve many difficult problems; we endeavor to conduct further studies on related applications. In addition, Maple also plays a vital assistive role in problem-solving. In the future, we will extend the research topic to other calculus and engineering mathematics problems and solve these problems using Maple. These results will be used as teaching materials for Maple on education and research to enhance the connotations of calculus and engineering mathematics.

References

[1]	M. A. Nyblom, “On the evaluation of a definite integral involving nested square root functions,” Rocky Mountain Journal of Mathematics, vol. 37, no. 4, pp. 1301-1304, 2007.
	In article		CrossRef
[2]	C. Oster, “Limit of a definite integral,” SIAM Review, vol. 33, no. 1, pp. 115-116, 1991.
	In article		CrossRef
[3]	A. A. Adams, H. Gottliebsen, S. A. Linton, and U. Martin, “Automated theorem proving in support of computer algebra: symbolic definite integration as a case study,” Proceedings of the 1999 International Symposium on Symbolic and Algebraic Computation, pp. 253-260, Vancouver, Canada, 1999.
	In article		CrossRef
[4]	C.-H. Yu, “Solving some definite integrals using Parseval’s theorem,” American Journal of Numerical Analysis, vol. 2, no. 2, pp. 60-64, 2014.
	In article
[5]	C.-H. Yu, “Solving some definite integrals by using Maple,” World Journal of Computer Application and Technology, vol. 2, no. 3, pp. 61-65, 2014.
	In article
[6]	C.-H. Yu and B.-H. Chen, “Solving some types of integrals using Maple,” Universal Journal of Computational Mathematics, vol. 2, no. 3, pp. 39-47, 2014.
	In article
[7]	C.-H. Yu, “The application of Parseval’s theorem to integral problems,” Applied Mathematics and Physics, vol. 2, no. 1, pp. 4-9, 2014.
	In article
[8]	C.-H. Yu, “Solving some integrals with Maple,” International Journal of Research in Aeronautical and Mechanical Engineering, vol. 1, issue. 3, pp. 29-35, 2013.
	In article
[9]	C.-H. Yu, “Application of Parseval’s theorem on evaluating some definite integrals,” Turkish Journal of Analysis and Number Theory, vol. 2, no. 1, pp. 1-5, 2014.
	In article
[10]	C.-H. Yu, “A study on integral problems by using Maple,” International Journal of Advanced Research in Computer Science and Software Engineering, vol. 3, issue. 7, pp. 41-46, 2013.
	In article
[11]	C.-H. Yu, “A study of two types of definite integrals with Maple,” Jökull Journal, vol. 64, no. 2, pp. 543-550, 2014.
	In article
[12]	C.-H. Yu, “Evaluating two types of definite integrals using Parseval’s theorem,” Wulfenia Journal, vol. 21, no. 2, pp. 24-32, 2014.
	In article
[13]	C.-H. Yu, “Some types of integral problems,” American Journal of Systems and Software, vol. 2, no. 1, pp. 22-26, 2014.
	In article
[14]	C.-H. Yu, “Evaluation of two types of integrals using Maple,” Universal Journal of Applied Science, vol. 2, no. 2, pp. 39-46, 2014.
	In article
[15]	C.-H. Yu, “A study of some integral problems using Maple,” Mathematics and Statistics, vol. 2, no. 1, pp. 1-5, 2014.
	In article
[16]	C.-H. Yu, “Application of Maple: taking two special integral problems as examples,” Proceedings of the 8th International Conference on Knowledge Community, pp. 803-811, 2012.
	In article
[17]	C.-H. Yu, “Using Maple to study two types of integrals,” International Journal of Research in Computer Applications and Robotics, vol. 1, issue. 4, pp. 14-22, 2013.
	In article
[18]	C.-H. Yu, “Application of Maple on the integral problems,” Applied Mechanics and Materials, vols. 479-480, pp. 849-854, 2013.
	In article		CrossRef
[19]	C.-H. Yu, “Application of Maple on the integral problem of some type of rational functions,” Proceedings of the Annual Meeting and Academic Conference for Association of IE, D357-D362, 2012.
	In article
[20]	C.-H. Yu, “Studying three types of integrals with Maple,” American Journal of Computing Research Repository, vol. 2, no. 1, pp. 19-21, 2014.
	In article
[21]	C.-H. Yu, “Evaluating some integrals with Maple,” International Journal of Computer Science and Mobile Computing, vol. 2, issue. 7, pp. 66-71, 2013.
	In article
[22]	C.-H. Yu, “Application of Maple on evaluation of definite integrals,” Applied Mechanics and Materials, vols. 479-480, pp. 823-827, 2013.
	In article		CrossRef
[23]	C.-H. Yu, “Using Maple to study the integrals of trigonometric functions,” Proceedings of the 6th IEEE/International Conference on Advanced Infocomm Technology, no. 00294, 2013.
	In article
[24]	C.-H. Yu, “Application of Maple on some type of integral problem,” Proceedings of the Ubiquitous-Home Conference 2012, pp. 206-210, 2012.
	In article
[25]	C.-H. Yu, “A study of the integrals of trigonometric functions with Maple,” Proceedings of the Institute of Industrial Engineers Asian Conference 2013, Springer, vol. 1, pp. 603-610, 2013.
	In article
[26]	C.-H. Yu, “Application of Maple on some integral problems,” Proceedings of the International Conference on Safety & Security Management and Engineering Technology 2012, pp. 290-294, 2012.
	In article
[27]	C.-H. Yu, “Application of Maple on evaluating the closed forms of two types of integrals,” Proceedings of the 17th Mobile Computing Workshop, ID16, 2012.
	In article
[28]	C.-H. Yu, “Evaluation of some definite integrals using Maple,” Research Journal of Modeling and Simulation, accepted, 2014.
	In article
[29]	C.-H. Yu, “Closed forms of some definite integrals,” Automatic Control and Information Sciences, vol. 2, issue. 3, pp. 49-52, 2014.
	In article
[30]	C.-H. Yu, “Using Poisson integral formula to evaluate four types of definite integrals,” International Transaction of Electrical and Computer Engineers System, vol. 2, issue. 4, pp. 124-127, 2014.
	In article
[31]	D. V. Widder, Advanced calculus, 2nd ed., Prentice-Hall, New Jersey, p 428, 1961.
	In article