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. Inquiring through an online support system provided by Maple or browsing the Maple website (www.maplesoft.com) can facilitate further understanding of Maple and might provide unexpected insights. For the instructions and operations of Maple, [1-7]^[1] can be adopted as references.

In calculus and engineering mathematics curricula, evaluating the -th order derivative value of a function at , in general, needs to go through two procedures: firstly determining the -th order derivative of , and then taking into . These two procedures will make us be faced with increasingly complex calculations when calculating higher order derivative values of this function (i.e. is large), and hence to obtain the answers by manual calculations is not easy. In this paper, we mainly study the differential problem of the following two types of trigonometric functions

(1)

(2)

where are real numbers. We can obtain the Fourier series expansions of any order derivatives of these two types of trigonometric functions by using binomial theorem and differentiation term by term theorem; these are the major results of this study (i.e., Theorems 1 and 2), and hence greatly reduce the difficulty of calculating their higher order derivative values. For the study of related differential problems can refer to [8-24]^[8]. In addition, we provide two examples to do calculation practically. The research methods adopted in this study involved finding solutions through manual calculations and verifying these solutions by 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. Therefore, Maple provides insights and guidance regarding problem-solving methods.

2. Main Results

Firstly, we introduce a notation and two formulas used in this study.

Suppose are non-negative integers, . Define and .

, where , is any real number.

, where is any real number.

The followings are two important theorems used in this paper, we can refer to ^{[25, 26]} respectively.

Suppose are complex numbers, and is any non-negative integer. Then

For all non-negative integers , if the functions satisfy the following three conditions： (i) there exists a point such that is convergent, (ii) all functions are differentiable on open interval , (iii) is uniformly convergent on . Then is uniformly convergent and differentiable on . Moreover, its derivative .

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

Suppose y are real numbers, and is any non-negative integer. Then the trigonometric function

(3)

for all .

Proof

Next, we determine the Fourier series expansions of any order derivatives of the trigonometric function (1).

Suppose are real numbers, and is any positive integer. Let the domain of the trigonometric function

be . Then the -th order derivative of ,

(4)

for all .

Proof Because

(5)

By differentiation term by term theorem, differentiating -times with respect to on both sides of (5), we obtain

for all .

To prove the second major result of this study, we also need a lemma.

Let the assumptions be the same as Lemma 1, then

(6)

for all .

Proof

Finally, we find the Fourier series expansions of any order derivatives of the trigonometric function (2).

If the assumptions are the same as Theorem 1. Let the domain of the trigonometric function

be . Then the -th order derivative of ,

(7)

for all .

Proof Because

(8)

Also, using differentiation term by term theorem, differentiating -times with respect to on both sides of (8), we have

for all .

3. Examples

In the following, for the differential problem of the two types of trigonometric functions in this study, we provide two examples and use Theorems 1, 2 to determine the Fourier series expansions of any order derivatives of these functions and evaluate some of their higher order derivative values. On the other hand, we employ Maple to calculate the approximations of these higher order derivative values and their solutions for verifying our answers.

Suppose the domain of the trigonometric function

(9)

is . By Theorem 1, we obtain any -th order derivative of ,

(10)

for all .

Therefore, the 13 -th order derivative value of at ,

(11)

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

>f:=x->exp(3*cos(2*x-Pi/4));

>evalf((D@@13)(f)(5*Pi/4),22);

>evalf(-2^13*sum(3^k/(2^k*k!)*sum(k!/(m!*(k-m)!)*(k-2*m)^13*sin((k-2*m)*Pi/4),m=0..k),k=0..infinity),22);

The above answer obtained by Maple appears I (), it is because Maple calculates by using special functions built in. The imaginary part is very small, so can be ignored.

In Example 1, the first two derivatives of are

(12)

(13)

If we continue to differentiate , we will be faced with a complex calculation. Thus, Theorem 1 gives us a convenient method to evaluate the derivatives of , and hence reduces the difficulty of calculating the higher order derivative values of .

3.3. Example 2

If the domain of the trigonometric function

(14)

is . Using Theorem 2, we can evaluate any -th order derivative of ,

(15)

for all .

Thus, the 10 -th order derivative value of at ,

(16)

>g:=x->exp(5*sin(7*x+4*Pi/3));

>evalf((D@@10)(g)(-Pi/6),28);

>evalf(-7^10*sum(5^k/(2^k*k!)*sum(k!/(m!*(k-m)!)*(k-2*m)^10*cos((k-2*m)*Pi/3),m=0..k),k=0..infinity),28);

The imaginary part of the above answer obtained by Maple is very small, so can be ignored.

In Example 2, the first two derivatives of are

(17)

(18)

Also, if we continue to differentiate , the calculation will be complicated. Therefore, Theorem 2 provide a good method to find any derivatives of , and reduces the difficulty of calculating its higher order derivative values.

4. Conclusion

In this study, we provide a new technique to evaluate any order derivatives of some trigonometric functions. We hope this technique can be applied to solve another differential problems. On the other hand, the binomial theorem and the differentiation term by term theorem play significant roles in the theoretical inferences of this study. In fact, the applications of these two theorems 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 by 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]	C. T. J. Dodson and E. A. Gonzalez, Experiments in mathematics using Maple, Springer-Verlag, New York, 1995.
	In article		CrossRef
[2]	D. Richards, Advanced mathematical methods with Maple, Cambridge University Press, New York, 2002.
	In article
[3]	M. L. Abell and J. P. Braselton, Maple by example, 3rd ed., Elsevier Academic Press, New York, 2005.
	In article
[4]	R. J. Stroeker and J. F. Kaashoek, Discovering mathematics with Maple: an interactive exploration for mathematicians, engineers and econometricians, Birkhauser Verlag, Basel, 1999.
	In article		CrossRef
[5]	F. Garvan, The Maple book, Chapman & Hall/CRC, London, 2001.
	In article		CrossRef
[6]	J. S. Robertson, Engineering mathematics with Maple, McGraw-Hill, New York, 1996.
	In article
[7]	C. Tocci and S. G. Adams, Applied Maple for engineers and scientists, Artech House, Boston, 1996.
	In article
[8]	A. Griewank and A. Walther, Evaluating derivatives: principles and techniques of algorithmic differentiation, 2nd ed., SIAM, Philadelphia, 2008.
	In article		CrossRef
[9]	M. Wagner, A. Walther, and B. J. Schaefer, “On the efficient computation of high-order derivatives for implicitly defined functions,” Computer Physics Communications, vol. 181, issue. 4, pp. 756-764, 2010.
	In article		CrossRef
[10]	M. A. Patterson, M. Weinstein, and A. V. Rao, “An efficient overloaded method for computing derivatives of mathematical functions in MATLAB,” ACM Transactions on Mathematical Software, vol. 39, no. 3, 2013.
	In article		CrossRef
[11]	C. -H. Yu, “A study on the differential problem,” International Journal of Research in Aeronautical and Mechanical Engineering, vol. 1, issue. 3, pp. 52-57, 2013.
	In article
[12]	C. -H. Yu, “The differential problem of two types of functions,” International Journal of Computer Science and Mobile Computing, vol. 2, issue. 7, pp. 137-145, 2013.
	In article
[13]	C. -H. Yu, “Evaluating the derivatives of two types of functions,” International Journal of Computer Science and Mobile Applications, vol. 1, issue. 2, pp. 1-8, 2013.
	In article
[14]	C. -H. Yu, “Evaluating the derivatives of trigonometric functions with Maple,” International Journal of Research in Computer Applications and Robotics, vol. 1, issue. 4, pp. 23-28, 2013.
	In article
[15]	C.-H. Yu, “Application of Maple on solving the differential problem of rational functions,” Applied Mechanics and Materials, vols. 479-480 (2014), pp 855-860, 2013.
	In article
[16]	C. -H. Yu, “Application of Maple on the differential problem,” Universal Journal of Applied Science, vol. 2, no. 1, pp. 11-18, 2014.
	In article
[17]	C. -H. Yu, “Studying the differential problem with Maple,” Computer Science and Information Technology, vol. 1, no. 3, pp. 190-195, 2013.
	In article
[18]	C. -H. Yu, “A study on some differential problems with Maple,” Proceedings of the 6th IEEE/International Conference on Advanced Infocomm Technology, Taiwan, no. 00291, July 2013.
	In article
[19]	C. -H. Yu, “Application of Maple on solving some differential problems,” Proceedings of IIE Asian Conference 2013, Taiwan, vol. 1, pp. 585-592, July 2013.
	In article
[20]	C. -H. Yu, and B. -H. Chen, “Application of Fourier series on the differential problems,” UHC 2013 The Conference on Ubiquitous Home, Taiwan, pp. 180-185, December 2013.
	In article
[21]	C. -H. Yu, and B. -H. Chen, “Evaluating the derivatives of trigonometric functions using binomial theorem,” UHC 2013 The Conference on Ubiquitous Home, Taiwan, pp. 192-196, December 2013.
	In article
[22]	C. -H. Yu, “The differential problem of four types of functions,” Academic Journal of Kang-Ning, vol. 15, pp. 51-63, 2013.
	In article
[23]	C. -H. Yu, “A study on the differential problem of some trigonometric functions,” Journal of Jen-Teh, vol. 10, pp. 27-34, 2013.
	In article
[24]	C. -H. Yu, “The differential problem of some functions,” International Journal of Computer Science and Mobile Applications, vol. 1, issue. 1, pp. 31-38, 2013.
	In article
[25]	R. A. Brualdi, Introductory combinatorics, Elsevier Science Publishing, New York, p 54, 1977.
	In article
[26]	T. M. Apostol, Mathematical analysis, 2nd ed., Addison-Wesley Publishing, Boston, p 230, 1975.
	In article