Next Article in Journal
A Note on Korn’s Inequality in an N-Dimensional Context and a Global Existence Result for a Non-Linear Plate Model
Previous Article in Journal
Radial Based Approximations for Arcsine, Arccosine, Arctangent and Applications
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

A Generalized Series Expansion of the Arctangent Function Based on the Enhanced Midpoint Integration

1
Thoth Technology Inc., Algonquin Radio Observatory, Achray Rd., RR6, Pembroke, ON K8A 6W7, Canada
2
Epic College of Technology, 5670 McAdam Rd., Mississauga, ON L4Z 1T2, Canada
3
Department Earth and Space Science and Engineering, York University, 4700 Keele St., Toronto, ON M3J 1P3, Canada
4
Department Physics and Astronomy, York University, 4700 Keele St., Toronto, ON M3J 1P3, Canada
*
Author to whom correspondence should be addressed.
AppliedMath 2023, 3(2), 395-405; https://doi.org/10.3390/appliedmath3020020
Submission received: 3 February 2023 / Revised: 1 March 2023 / Accepted: 31 March 2023 / Published: 17 April 2023

Abstract

:
In this work, we derive a generalized series expansion of the acrtangent function by using the enhanced midpoint integration (EMI). Algorithmic implementation of the generalized series expansion utilizes a two-step iteration without surd or complex numbers. The computational test we performed reveals that such a generalization improves the accuracy in computation of the arctangent function by many orders of magnitude with increasing integer M, associated with subintervals in the EMI formula. The generalized series expansion may be promising for practical applications. It may be particularly useful in practical tasks, where extensive computations with arbitrary precision floating points are needed. The algorithmic implementation of the generalized series expansion of the arctangent function shows a rapid convergence rate in the computation of digits of π in the Machin-like formulas.

1. Introduction

In 2010, Adegoke and Layeni published an interesting relation for derivatives of the arctangent function [1]:
d n d x n arctan ( x ) = ( 1 ) n 1 ( n 1 ) ! ( 1 + x 2 ) n / 2 sin n arcsin 1 1 + x 2 , n N + .
Using this relation, they discovered a series expansion:
arctan ( x ) = n = 1 1 n x 2 1 + x 2 n / 2 sin n arcsin 1 1 + x 2 .
Equations (1) and (2) have some restrictions. Specifically, when n is even, Equation (1) remains valid only at x [ 0 , ) , while Equation (2) is valid only at x [ 0 , ) for n .
To resolve this problem, Lampret applied the signum function
sgn ( x ) = 1 , x < 0 , 1 , x 0 ,
and proved that for complete coverage x ( , ) , the Equations (1) and (2) can be modified as [2]
d n d x n arctan ( x ) = sgn ( x ) n 1 ( n 1 ) ! ( 1 + x 2 ) n / 2 sin n arcsin 1 1 + x 2
and
arctan ( x ) = sgn ( x ) n = 1 1 n x 2 1 + x 2 n / 2 sin n arcsin 1 1 + x 2 ,
respectively.
Equations (3) and (4) represent a theoretical interest. In particular, Lampret noticed that, from Equation (3), it follows that [2]
sgn ( 0 ) n 1 · ( n 1 ) ! · sin n π 2 = ( 1 ) ( n 1 ) / 2 ( n 1 ) ! , n odd , 0 , n even .
Comparing the following relation (see [3] for detailed derivation procedure by induction),
d n d x n arctan ( x ) = ( 1 ) n ( n 1 ) ! 2 i 1 ( x + i ) n 1 ( x i ) n
with Equation (3), we can find the following identity:
sgn ( x ) n 1 ( n 1 ) ! ( 1 + x 2 ) n / 2 sin n arcsin 1 1 + x 2 = ( 1 ) n ( n 1 ) ! 2 i 1 ( x + i ) n 1 ( x i ) n .
It is not difficult to see that the relation (5) immediately follows from the identity (7). Therefore, relation (5) is just a specific case of the identity (7) occurring at x = 0 .
Identity (7) can be rewritten in the form
sin n arcsin 1 1 + x 2 = sgn ( x ) n 1 ( 1 + x 2 ) n / 2 2 i 1 ( x + i ) n 1 ( x i ) n .
Therefore, from Equation (4), it follows that
arctan ( x ) = sgn ( x ) n = 1 1 n x 2 1 + x 2 n / 2 sgn ( x ) n 1 ( 1 + x 2 ) n / 2 2 i 1 ( x + i ) n 1 ( x i ) n
or
arctan ( x ) = i 2 n = 1 x n n 1 ( x + i ) n 1 ( x i ) n .
As we can see, this series expansion of the arctangent function is just a reformulation of Equation (4) and, since the relation (6) can be rearranged in the form
1 ( x + i ) n 1 ( x i ) n = 2 i ( 1 ) n ( n 1 ) ! d n d x n arctan ( x ) ,
we can express the arctangent function in terms of its derivatives as given by the following equation:
arctan ( x ) = n = 1 ( 1 ) n 1 x n n ! d n d x n arctan ( x )
that leads to
n = 0 ( 1 ) n 1 x n n ! d n d x n arctan ( x ) = 0 .
In our previous publication [4], using the identity (6), we have derived the following series expansion of the arctangent function  
arctan ( x ) = 2 m = 1 n = 1 2 m 1 ( 1 ) n ( 2 m 1 ) ( 1 + x 2 / 4 ) 2 m 1 x 2 2 ( 2 m n ) 1 2 m 1 2 n 1 ,
from which, at x = 1 , we obtain a formula for π expressed in terms of the binomial coefficients
π 4 = 2 m = 1 n = 1 2 m 1 ( 1 ) n ( 2 m 1 ) ( 1 + 1 / 4 ) 2 m 1 2 2 ( 2 m n ) 1 2 m 1 2 n 1
or
π 16 = m = 1 n = 1 2 m 1 ( 4 ) n 1 ( 2 m 1 ) 5 2 m 1 2 m 1 2 n 1 .
Later, using the same identity (6), we have also derived the following series expansion (see [5,6]):
arctan ( x ) = 2 n = 1 1 2 n 1 g n ( x ) g n 2 ( x ) + h n 2 ( x ) ,
where the expansion coefficients are computed by a two-step iteration:
g n ( x ) = g n 1 ( x ) ( 1 4 / x 2 ) + 4 h n 1 ( x ) / x , h n ( x ) = h n 1 ( x ) ( 1 4 / x 2 ) 4 g n 1 ( x ) / x ,
such that
g 1 ( x ) = 2 / x , h 1 ( x ) = 1 .
The series expansion (8) requires no surd or complex numbers in computation and it is rapid in convergence.
Many new identities and series expansions related to the arctangent function have been reported [7,8,9,10,11,12,13,14,15]. This shows that the discovery of new equations related to the arctangent function as well as their applications remains a very interesting topic.
As a further development, in this work we derive a generalized series expansion of the arctangent function. Such an approach may be used to improve further convergence in the computation of the arctangent function. Due to rapid convergence without surd and complex numbers in computation, the generalized series expansion may be promising for applications with arbitrary precision floating points [16,17,18,19,20,21,22,23]. Furthermore, it may also be promising in computing digits of π by using the Machin-like formulas [5,6,24,25,26,27,28,29,30]. To the best of our knowledge, the generalized series expansion of the arctangent function is new and has never been reported.

2. Derivation

The change of the variable x x t in Equation (6) results in
n t n arctan ( x t ) = ( 1 ) n ( n 1 ) ! x n 2 i 1 ( x t + i ) n 1 ( x t i ) n
or
n t n x 1 + x 2 t 2 = ( 1 ) n + 1 n ! x n + 1 2 i 1 ( x t + i ) n + 1 1 ( x t i ) n + 1
since
n t n arctan ( x t ) = n 1 t n 1 x 1 + x 2 t 2 .
The Enhanced Midpoint Integration (EMI) formula is given by (see [31] for derivation and [32] for application)
0 1 f ( t ) d t = m = 1 M n = 0 ( 1 ) n + 1 ( 2 M ) n + 1 ( n + 1 ) ! d n d t n f ( t ) t = m 1 / 2 M ,
where integer M is associated with the subintervals of integration. It is interesting to note that if the upper summation bound associated with variable n is an integer N 0 , then we can also use
0 1 f ( t ) d t = lim M m = 1 M n = 0 N ( 1 ) n + 1 ( 2 M ) n + 1 ( n + 1 ) ! d n d t n f ( t ) t = m 1 / 2 M .
It is easy to show that, excluding all zero terms occurring at odd values of the variable n, Equation (10) can be rewritten in a more convenient form:
0 1 f ( t ) d t = 2 m = 1 M n = 0 1 ( 2 M ) 2 n + 1 ( 2 n + 1 ) ! d 2 n d t 2 n f ( t ) t = m 1 / 2 M .
Equation (11) requires even derivatives of the integrand at the points t = ( m 1 / 2 ) / M , where m = 1 , 2 , 3 , M . Taking these derivatives manually is extremely tedious. However, with the help of Computer Algebra Systems (CASs) such as Mathematica, Matlab or Maple supporting symbolic programming, the application of Equation (11) may be very efficient in numerical integration. Specifically, such an approach may be especially useful for the numerical integration of the highly oscillating functions.
The EMI formula (11) can be used for numerical integration within any interval t ( a , b ) , since the following transformation formula
a b f ( t ) d t = ( b a ) 0 1 f ( ( b a ) t + a ) d t
can be applied to recast the integration interval within t ( 0 , 1 ) . The interested readers can download the MATLAB code based on the integration Formula (11) on the MATLAB Central website [33] (file ID #: 71037). The synopsis and brief instruction on how to use the MATLAB code for numerical integration is also provided in the supplementary readme.pdf file.
If an integrand represents a function of two variables f ( x , t ) , then the integration Formula (11) reads as
0 1 f ( x , t ) d t = 2 m = 1 M n = 0 1 ( 2 M ) 2 n + 1 ( 2 n + 1 ) ! 2 n t 2 n f ( x , t ) t = m 1 / 2 M .
The arctangent function can be given as an integral:
arctan ( x ) = 0 1 x 1 + x 2 t 2 d t .
Consequently, substituting the integrand from Equation (13)
x 1 + x 2 t 2 = x 2 1 1 + i x t + 1 1 i x t
into Equation (12) and using Equation (9) for differentiation, we can find that  
arctan ( x ) = i m = 1 M n = 0 x 2 n + 1 ( 2 M ) 2 n + 1 ( 2 n + 1 ) 1 ( x m 1 / 2 M + i ) 2 n + 1 1 ( x m 1 / 2 M i ) 2 n + 1 .
Series expansion (14) is rapid in convergence. However, it requires algebraic manipulations with complex numbers. Therefore, it is very desirable to exclude them. This can be achieved by induction based on a two-step iteration,
α n ( x , t ) = α n 1 ( x , t ) ( 1 1 / ( x t ) 2 ) + 2 β n 1 ( x , t ) / ( x t ) , β n x , t = β n 1 x , t 1 1 / x t 2 2 α n 1 x , t / x t ,
and
α 1 ( x , t ) = 1 / ( x t ) , β 1 ( x , t ) = 1 ,
that transforms Equation (14) into the following series expansion:
arctan ( x ) = 2 m = 1 M n = 1 1 ( 2 n 1 ) ( 2 m 1 ) 2 n 1 α n ( x , γ m , M ) α n 2 ( x , γ m , M ) + β n 2 ( x , γ m , M ) ,
where the argument is
γ m , M = m 1 / 2 M .
Equation (15) is a generalization of Equation (8). Consistency between these two equations can be observed by taking M = 1 . In particular, the substitution of M = 1 into series expansion (15) of the arctangent function implies that t = γ 1 , 1 = 1 / 2 . Consequently, from Equation (15) we obtain Equation (8), where the expansion coefficients are
g 1 ( x ) = α 1 ( x , γ 1 , 1 ) , h 1 ( x ) = β 1 ( x , γ 1 , 1 ) , g n ( x ) = α n ( x , γ 1 , 1 ) , h n ( x ) = β n ( x , γ 1 , 1 ) .
The following is a Mathematica code that generates the graphs shown in Figure 1 (this code can be copy-pasted directly to the Mathematica notebook):
Clear[atan,\[Gamma],\[Alpha],\[Beta]];
(* Equation (15) *)
atan[x_,nMax_,M_] := 2*Sum[(1/(2*n - 1))*
  (\[Alpha][x,\[Gamma][m,M],n]/((2*m - 1)^(2*n - 1)*
    (\[Alpha][x,\[Gamma][m, M],n]^2 + \[Beta][x,
      \[Gamma][m,M],n]^2))),{m,1,M},{n,1,nMax}];
(* Argument gamma *)
\[Gamma][m_,M_] := \[Gamma][m,M] = N[(m - 1/2)/M,1000];
(* Expansion coefficients *)
\[Alpha][x_,t_,1] := \[Alpha][x,t,1] = 1/(x*t);
\[Beta][x_,t_,1] := \[Beta][x,t,1] = 1;
\[Alpha][x_,t_,n_] := \[Alpha][x,t,n] =
  \[Alpha][x,t,n - 1]*(1 - 1/(x*t)^2) +
    2*(\[Beta][x,t,n - 1]/(x*t));
\[Beta][x_,t_,n_] := \[Beta][x,t,n] =
  \[Beta][x,t,n - 1]*(1 - 1/(x*t)^2) -
    2*(\[Alpha][x,t,n - 1]/(x*t));
(* Computing data points *)
tabs := {Table[{x,atan[x,10,1]},{x,-20,20,Pi/20}],
  Table[{x,atan[x,10,2]},{x,-20,20,Pi/20}],
    Table[{x,atan[x,10,3]},{x,-20,20,Pi/20}]};
Print["Computing, please wait..."];
(* Plotting graphs *)
ListPlot[tabs,Joined->True,FrameLabel->{"Parameter x",
  "Arctangent approximations"},PlotStyle->{Blue,Red,Green},
    Frame->True,GridLines->Automatic]
The graphs in Figure 1 are generated by using series expansion (15) truncated at n max = 10 . Blue, red and green curves correspond to integer M taken to be 1, 2 and 3, respectively.
Consider Figure 2 showing approximation curves of the arctangent function arctan ( x ) by using Equations (15)–(17) truncated at n max = 10 . The blue curve corresponding to the Maclaurin series expansion
arctan ( x ) = n = 0 ( 1 ) n x 2 n + 1 2 n + 1 , | x | 1 ,
diverges beyond 1 and 1 due to the finite radius of convergence. Although one can resolve this issue by using an elementary relation,
arctan x = π 2 arctan 1 x , x > 0 , 0 , x = 0 , π 2 arctan 1 x , x < 0 ,
our objective is just to visualize the convergence. The red curve shows the Euler series expansion [22,34,35]:
arctan x = n = 0 2 2 n n ! 2 2 n + 1 ! x 2 n + 1 1 + x 2 n + 1 .
The green curve illustrates the series expansion (15) at M = 1 . The black dashed curve depicts the original arctangent function for comparison. As we can see from Figure 2, even at the smallest M the series expansion (15) provides more rapid convergence as compared to the Euler series expansion (17).
Figure 3 shows the logarithms of absolute difference log 10 Δ between the arctangent function and its approximations provided by Equations (15)–(17). All curves are also computed with truncating integer n max = 10 in all these equations. The blue and red curves correspond to Equations (16) and (17) while the green, brown, gray, magenta and black curves correspond to Equation (15) when M is equal to 1, 2, 3, 4 and 5, respectively. As we can see from this figure, the increase of the integer M leads to a rapid decrease of the absolute difference Δ by many orders of the magnitude. These results indicate that the series expansion (15) provides increasing convergence with increasing M.

3. Applications

There are two potentially possible applications of the series expansion (15). In particular, the series expansion (15) can be implemented as a function file for computation of the arctangent for the libraries with arbitrary precision floating points that are required in many fields of mathematical/computational physics and astronomy [16,17,18,19,20,21,22,23]. According to [16,17,22,23], the Maclaurin and Euler series expansions (16) and (17) are used for the arctangent function to provide arbitrary precision in the programming languages.
The Maclaurin series expansion (16) diverges at the points of argument 1 and 1 . This deteriorates the accuracy as argument x approaches 1 by the absolute value. Consequently, its algorithmic implementation requires additional algebraic manipulations to overcome this issue for computations with enhanced precision [16].
As Equation (15) is more rapid in convergence than Equations (16) and (17), its application may also be efficient to reduce the run-time in many tasks, where extensive computations (without surd or complex numbers) with largely extended precision in floating point numbers are necessary. Moreover, Equation (15) may also provide additional flexibility for users, who can choose the parameter M according to their specific requirements for high-accuracy computation.
Another application, where the series expansion (15) can also find its practical implementation, is a computation of digits of the constant π by using the Machin-like formulas [5,6,24,25,26,27,28,29,30].
Since computation of any irrational numbers is itself a big challenge, a rapid convergence of the arctangent terms in the Machin-like formulas without undesirable surd numbers can provide a significant advantage. Our empirical results show that even using already known Machin-like formulas with sufficiently large integers in actangent arguments, the expansion series (15) at any M 1 can provide more than 17 digits of π at each increment by 1 of the variable n. It is interesting to note that this convergence rate is faster than that provided by the Chudnovsky formula generating 14 to 16 digits of π per increment [24,27]. Currently, the Chudnovsky formula remains the most efficient for computing digits of π due to its rapid convergence and other advantages in algorithmic implementation. Historically, however, there were several records that appeared due to the application of the Machin-like formulas in computing π and, in 2002, an algorithm, developed by Kanada on the basis of a self-checking pair of the Machin-like formulas, beat the record, providing more than a trillion digits of π for the first time [25,27]. Therefore, the discovery of new Machin-like formulas and rapidly convergent series expansions of the arctangent function may be promising for computing digits of the constant π .
Consider the following example. Previously, we developed a method and generated a two-term Machin-like formula for π by using a two-step iteration process [5].
π 4 = 2 26 arctan 1 85,445,659 arctan 9732933578 4975692799 522,185,807 digits 2368557598 9903554561 522,185,816 digits .
Recently, the same identity has been generated by independent researchers, who developed a different method for generating the two-term Machin-like formulas for π  [30]. The method we developed in [5] for generating two-terms Machin-like formulas for π is a complete alternative to the method described in [30] for the formulas of the kind
π 4 = 2 k 1 arctan a b + arctan c d , a , b , c , d Z .
Specifically, all Machin-like formulas for π , shown in the Tables 1 and 2 from [30], can also be generated by using the two-step iterative method that we proposed in our publication [5]. The two-term Machin-like formula (18) for π that is listed in Table 2 in the recent publication [30], is just a specific case occurring at k 1 = 26 , a = 1 and b = 85,445,659.
Due to the large number of digits in the numerator and denominator in the second arctangent term of Equation (18), we cannot perform computation to observe the corresponding convergence rate without a powerful computer. However, this problem can be handled on a typical laptop or desktop computer with the help of the following identity (see derivation in [5]):
π 4 = 2 k 1 arctan 1 γ + arctan 1 sin 2 k 1 arctan 2 γ γ 2 1 cos 2 k 1 arctan 2 γ γ 2 1 ,
where the constant γ may be chosen such that
2 k 1 γ π 4 .
Since [32]
π 4 = 2 k 1 arctan 2 a k 1 a k , k 1 ,
where a 0 = 0 and a k + 1 = 2 + a k , it is convenient to choose γ for equation as an integer
γ = a k 2 a k 1
that satisfies the condition (20). Consequently, at k = 27 we obtain the value 85,445,659 for γ that is present in Equation (18) and the difference
2 26 85,445,659 π 4 = 4.10922 × 10 9
is small. More generally, the value of γ may be taken as a ratio rather than an integer. For example, we can use [6]
γ = 10 m a k 2 a k 1 10 m
or
γ = 10 m a k 2 a k 1 10 m ,
where m N + .
The identity (19) implies that if the argument of the first arctangent function is known, then the argument of the second arctangent function can be found. Thus, if we take γ = 85,445,659, then the argument of the second arctangent function in Equation (18) can be calculated accordingly as
1 sin 2 k 1 arctan 2 γ γ 2 1 cos 2 k 1 arctan 2 γ γ 2 1 = 4.10922393614549022091 × 10 9 .
Once we obtain the argument of the second arctangent with, say, up to 1000 correct decimal digits, we can see that the substitution of both arctangent arguments into Equation (15) at M = 1 gives 15 to 17 correct digits of π per each increment of n. This example demonstrates a rapid convergence rate of the generalized series expansion (15). Therefore, its algorithmic implementation may be promising for rapid and highly accurate computation.

4. Conclusions

We derived a generalized series expansion (15) of the arctangent function by using the EMI Formula (12). The algorithmic implementation of Equation (15) is based on a two-step iteration without surd or complex numbers. The computational test we performed reveals that such a generalization significantly improves the convergence in computation of the arctangent function with increasing integer M. The generalized series expansion (15) may be promising in practical applications; it may be used for extensive computations with arbitrary precision floating points and its algorithmic implementation shows a high convergence rate in the computation of digits of π in the Machin-like formulas.

Author Contributions

S.M.A. developed the methodology, wrote the codes and prepared a draft version of the manuscript. R.S., R.K.J. and B.M.Q. verified, reviewed and edited the manuscript. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Institutional Review Board Statement

Not applicable.

Informed Consent Statement

Not applicable.

Data Availability Statement

Not applicable.

Acknowledgments

This work is supported by National Research Council Canada, Thoth Technology Inc., York University and Epic College of Technology.

Conflicts of Interest

The authors declare no conflict of interest.

Abbreviations

The following abbreviations are used in this manuscript:
EMIEnhanced midpoint integration
CASComputer algebra system

References

  1. Adegoke, K.; Layeni, O. The higher derivatives of the inverse tangent function and rapidly convergent BBP-type formulas for pi. Appl. Math. E-Notes 2010, 10, 70–75. Available online: https://www.math.nthu.edu.tw/~amen/2010/090408-2.pdf (accessed on 26 February 2023).
  2. Lampret, V. The higher derivatives of the inverse tangent function revisited. Appl. Math. E-Notes 2011, 11, 224–231. Available online: https://www.math.nthu.edu.tw/~amen/2011/101020-2.pdf (accessed on 26 February 2023).
  3. Abrarov, S.M.; Quine, B.M. A Simple Identity for Derivatives of the Arctangent Function. arXiv 2016, arXiv:1605.02843. [Google Scholar]
  4. Abrarov, S.M.; Quine, B.M. A Reformulated Series Expansion of the Arctangent Function. arXiv 2017, arXiv:1701.05098. [Google Scholar]
  5. Abrarov, S.M.; Quine, B.M. An Iteration Procedure for a Two-Term Machin-like Formula for pi with Small Lehmer’s Measure. arXiv 2017, arXiv:1706.08835. [Google Scholar]
  6. Abrarov, S.M.; Siddiqui, R.; Jagpal, R.K.; Quine, B.M. A new form of the Machin-like formula for π by iteration with increasing integers. J. Integer. Seq. 2022, 25, 22.4.5. [Google Scholar]
  7. Milgram, M. A new series expansion for integral powers of arctangent. Integ. Trans. Spec. Func. 2006, 17, 531–538. [Google Scholar] [CrossRef]
  8. Sofo, A.; Villacorta, J.C. New identities for the arctangent function. J. Math. Anal. 2012, 3, 1–10. [Google Scholar]
  9. Zhang, W. New formulae of BBP-type with different moduli. J. Math. Anal. Appl. 2013, 398, 46–60. [Google Scholar] [CrossRef]
  10. Qi, F.; Zheng, M.-M. Explicit expressions for a family of the Bell polynomials and applications. Appl. Math. Comput. 2015, 258, 597–607. [Google Scholar] [CrossRef]
  11. Pilato, L.; Fanucci, L.; Saponara, S. Real-time and high-accuracy arctangent computation using CORDIC and fast magnitude estimation. Electronics 2017, 6, 22. [Google Scholar] [CrossRef]
  12. Qiao, Q.-X.; Chen, C.-P. Approximations to inverse tangent function. J. Ineq. Appl. 2018, 141. [Google Scholar] [CrossRef] [PubMed]
  13. Benammar, M.; Alassi, A.; Gastli, A.; Ben-Brahim, L.; Touat, F. New fast arctangent approximation algorithm for generic real-time embedded applications. Sensors 2019, 19, 5148. [Google Scholar] [CrossRef]
  14. Sofo, A.; Nimbran, A.S. Euler-like sums via powers of log, arctan and arctanh functions. Integ. Trans. Spec. Func. 2020, 31, 966–981. [Google Scholar] [CrossRef]
  15. Kusaka, T.; Tanaka, T. Fast and accurate approximation methods for trigonometric and arctangent calculations for low-performance computers. Electronics 2022, 11, 2285. [Google Scholar] [CrossRef]
  16. Brent, R.P. Fortran multiple-precision arithmetic. ACM Trans. Math. Soft. 1978, 4, 57–70. [Google Scholar] [CrossRef]
  17. Brent, R.P. Fast Algorithms for High-Precision Computation of Elementary Functions. Available online: https://maths-people.anu.edu.au/brent/pd/RNC7t4.pdf (accessed on 26 February 2023).
  18. de Dinechin, F.; Villard, G. High precision numerical accuracy in physics research. Nucl. Instrum. Methods Phys. Res. A 2006, 559, 207–210. [Google Scholar] [CrossRef]
  19. Bailey, D.H.; Barrio, R.; Borwein, J.M. High-precision computation: Mathematical physics and dynamics. Appl. Math. Comput. 2012, 218, 10106–10121. [Google Scholar] [CrossRef]
  20. Bailey, D.H.; Borwein, J.M. High-precision arithmetic in mathematical physics. Mathematics 2015, 3, 337–367. [Google Scholar] [CrossRef]
  21. Kneusel, R.T. Numbers and Computers; Springer: Cham, Switzerland, 2017. [Google Scholar]
  22. Vestermark, H. Fast Trigonometric Functions for Arbitrary Precision Number. Available online: https://www.researchgate.net/publication/361483599_Fast_Trigonometric_functions_for_Arbitrary_Precision_number?channel=doi&linkId=63fc7e065749505945498e6b&showFulltext=true (accessed on 26 February 2023).
  23. Johansson, F. Computing Elementary Functions Using Multi-Prime Argument Reduction (LFANT). arXiv 2022, arXiv:2207.02501. [Google Scholar]
  24. Berggren, J.L.; Borwein, J.M.; Borwein, J. Pi: A Source Book, 3rd ed.; Springer: New York, NY, USA, 2004. [Google Scholar]
  25. Calcut, J.S. Gaussian integers and arctangent identities for π. Amer. Math. Mon. 2009, 116, 515–530. [Google Scholar] [CrossRef]
  26. Nimbran, A.S. On the derivation of Machin-like arctangent identities for computing pi (π). Math. Stud. 2010, 79, 171–186. [Google Scholar]
  27. Agarwal, R.P.; Agarwal, H.; Sen, K.S. Birth, growth and computation of pi to ten trillion digits. Adv. Differ. Equ. 2013, 100. [Google Scholar] [CrossRef]
  28. Wetherfield, M.R.; Chien-Lih, H. Computing pi: Lists of Machin-Type (Inverse Cotangent) Identities for pi/4. Available online: http://www.machination.eclipse.co.uk (accessed on 26 February 2023).
  29. A Wolfram Notebook Playing with Machin-like Formulas. Available online: https://www.wolframcloud.com/obj/exploration/MachinLike.nb (accessed on 26 February 2023).
  30. Gasull, A.; Luca, F.; Varona, J.L. Three Essays on Machin’s Type Formulas. arXiv 2023, arXiv:2302.00154. [Google Scholar]
  31. Abrarov, S.M.; Quine, B.M. Identities for the Arctangent Function by Enhanced Midpoint Integration and the High-Accuracy Computation of pi. arXiv 2016, arXiv:1604.03752. [Google Scholar]
  32. Abrarov, S.M.; Quine, B.M. A formula for pi involving nested radicals. Ramanujan J. 2018, 46, 657–665. [Google Scholar] [CrossRef]
  33. Abrarov, S.M. Array Numerical Integration by Enhanced Midpoint Rule (File ID: 71037). Available online: https://tinyurl.com/bdf8pt2m (accessed on 26 February 2023).
  34. Castellanos, D. The ubiquitous π. Math. Mag. 1988, 61, 67–98. [Google Scholar] [CrossRef]
  35. Chien-Lih, H. An elementary derivation of Euler’s series for the arctangent function. Math. Gaz. 2005, 89, 469–470. [Google Scholar] [CrossRef]
Figure 1. Arctangent approximations computed by using series expansion (15) truncated at n max = 10 . Blue, red and green curves correspond to M taken to be 1, 2 and 3, respectively.
Figure 1. Arctangent approximations computed by using series expansion (15) truncated at n max = 10 . Blue, red and green curves correspond to M taken to be 1, 2 and 3, respectively.
Appliedmath 03 00020 g001
Figure 2. Arctangent approximations computed by series expansions (16) (blue), (17) (red) and (15) (green) truncated at n max = 10 . Integer M in Equation (15) is taken to be equal to 1. The dashed black curve shows the original artangent function.
Figure 2. Arctangent approximations computed by series expansions (16) (blue), (17) (red) and (15) (green) truncated at n max = 10 . Integer M in Equation (15) is taken to be equal to 1. The dashed black curve shows the original artangent function.
Appliedmath 03 00020 g002
Figure 3. Logarithms of absolute difference l o g 10 Δ between original arctangent function and series expansions (16) (blue), (17) (red) and (15) (green-to-black) truncated at n max = 10 . Integer M in the series expansion (15) is taken to be 1 (green), 2 (brown), 3 (gray), 4 (magenta) and 5 (black).
Figure 3. Logarithms of absolute difference l o g 10 Δ between original arctangent function and series expansions (16) (blue), (17) (red) and (15) (green-to-black) truncated at n max = 10 . Integer M in the series expansion (15) is taken to be 1 (green), 2 (brown), 3 (gray), 4 (magenta) and 5 (black).
Appliedmath 03 00020 g003
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Abrarov, S.M.; Siddiqui, R.; Jagpal, R.K.; Quine, B.M. A Generalized Series Expansion of the Arctangent Function Based on the Enhanced Midpoint Integration. AppliedMath 2023, 3, 395-405. https://doi.org/10.3390/appliedmath3020020

AMA Style

Abrarov SM, Siddiqui R, Jagpal RK, Quine BM. A Generalized Series Expansion of the Arctangent Function Based on the Enhanced Midpoint Integration. AppliedMath. 2023; 3(2):395-405. https://doi.org/10.3390/appliedmath3020020

Chicago/Turabian Style

Abrarov, Sanjar M., Rehan Siddiqui, Rajinder Kumar Jagpal, and Brendan M. Quine. 2023. "A Generalized Series Expansion of the Arctangent Function Based on the Enhanced Midpoint Integration" AppliedMath 3, no. 2: 395-405. https://doi.org/10.3390/appliedmath3020020

Article Metrics

Back to TopTop