Skip to main content
Advertisement
Browse Subject Areas
?

Click through the PLOS taxonomy to find articles in your field.

For more information about PLOS Subject Areas, click here.

  • Loading metrics

The forgotten p-versine and p-coversine family of functions revisited

  • Ali Hamzah Alibrahim,

    Roles Data curation, Formal analysis, Investigation, Methodology, Validation, Writing – original draft

    Affiliations Centre for Environmental Mathematics, Faculty of Environment, Science and Economy, University of Exeter, Penryn, United Kingdom, Mathematics Department, College of Science, Jouf University, Sakaka, Al Jouf, Saudi Arabia

  • Saptarshi Das

    Roles Conceptualization, Funding acquisition, Project administration, Resources, Software, Supervision, Visualization, Writing – review & editing

    saptarshi.das@ieee.org, s.das3@exeter.ac.uk

    Affiliations Centre for Environmental Mathematics, Faculty of Environment, Science and Economy, University of Exeter, Penryn, United Kingdom, Institute for Data Science and Artificial Intelligence, University of Exeter, Exeter, Devon, United Kingdom

Abstract

This study delves into special class of generalized p-trigonometric functions, examining their connection to the established counterparts like p-cosine and p-sine functions. We here explore the new class of functions called the p-versine, p-coversine, p-haversine, and p-hacovercosine, by providing comprehensive definitions and properties. Grounded in the characteristics of p-cosine and p-sine functions, the newly proposed functions offer unique mathematical insights. Our work contributes towards a thorough understanding of these new special functions, showcasing their potential applications in diverse scientific domains, from mathematical analysis to physics and engineering. This paper contributes as a valuable resource for future applied mathematics researchers, engaging with these new mathematical functions, enhancing the ability to model complex patterns from diverse real-world applications.

1 Introduction

The generalized complex numbers were introduced in [1, 2] as in the following: The p-trigonometric functions are generalizations of standard trigonometric functions sine, cosine, tangent and cotangent. For last few decades, the p-trigonometric functions have been extensively studied from various points of views by many researchers, particularly in the fields of signal processing and control systems [3, 4]. In the p-trigonometric functions p-cosine, p-sine, p-tangent and p-cotangent are defined as follows: (1) (2) (3) (4) In this paper, we introduce some new p-trigonometric functions which are generalizations of standard trigonometric functions viz. versine, coversine, haversine, and hacovercosine which were previously studed in [510].

2 The p-versine functions

Definition 2.1. For p < 0 the function p-versine, denoted by versinp is defined by: (5) We observe that .

Remark 2.1. (1) versinp is periodic function with period .

(2) Differentiation formula: (6)

(3) The McLaurin series of versinp is given by: (7)

Definition 2.2. The function is bijective and its inverse .

Remark 2.2. (8) (9)

Remark 2.3. (i) .

(ii) .

(iii) .

Theorem 2.3. The function is differentiable on (0, 2) and we have: (10) Proof. On the other hand since Therefore we have: Hence, Therefore,

Remark 2.4. when p = −1 we get: (11) see [5].

3 The p-coversine functions

We introduce the function p-coversine denoted by coversinp as follows: (12)

Remark 3.1. For this function, we have the following bounds: (13) In fact,

Definition 3.1. The function is bijective and its inverse

Remark 3.2. Connection with the inverse function: (14) (15)

Theorem 3.2. The function is differentiable on and (16) Proof. Now, using the following identity: we get:

Remark 3.3. when p = −1 we get: (17) see [11].

The coversinp and versinp family of functions for different values of p share some common characteristics since their structural form is similar. In Fig 1, the surface plots of these new classes of special functions are shown. It is evident that the versinp maintains the same peak while the maxima of the coversinp function gradually decreases with negative values of p. The corresponding surface plot between the angle θp and p are shown in Fig 2 where almost parallel contours are found for both coversinp and versinp family of functions. Next, we explore their variation with one of the parameters. This indicates that the peak of the coversinp function increases irregularly with higher values of p and θp. Whereas, a smoother and periodic pattern is observed for the versinp family of functions as shown in the respective 2D projections in Fig 3.

thumbnail
Fig 1. 3D surface plots of the coversinp and versinp functions with θ ∈ [0, 10π] and p ∈ [−1, 0).

https://doi.org/10.1371/journal.pone.0308529.g001

thumbnail
Fig 2. 2D contour plots of the coversinp and versinp functions with θ ∈ [0, 10π] and p ∈ [−1, 0).

https://doi.org/10.1371/journal.pone.0308529.g002

thumbnail
Fig 3. 2D projections of the surface plots of the coversinp and versinp functions with θ ∈ [0, 10π] and p ∈ [−1, 0).

https://doi.org/10.1371/journal.pone.0308529.g003

4 The p-vercosine and p-covercosine functions

These two functions are given by: (18) (19)

They have similar shape like the sinp and cosp functions since these two functions represent just a scaled up version without changing the shape and due to the change in the sign of the cosp and sinp functions. However, due to change of sign before the cosp and sign functions, these vercosinp and covercosinp functions are a flipped version of the previously explored coversinp and versinp functions. The 3D surface plots are shown in Fig 4 which indicates that the peaks of the covercosinp keep increasing with higher p and θp. Whereas a smoother periodic pattern is observed for the vercosinp family. The corresponding 2D contour plots in Fig 5 and the 2D projections in Fig 6 shows a scaled and flipped version of the functions, explored in the previous section.

thumbnail
Fig 4. 3D surface plots of the covercosinp and vercosinp functions with θ ∈ [0, 10π] and p ∈ [−1, 0).

https://doi.org/10.1371/journal.pone.0308529.g004

thumbnail
Fig 5. 2D contour plots of the covercosinp and vercosinp functions with θ ∈ [0, 10π] and p ∈ [−1, 0).

https://doi.org/10.1371/journal.pone.0308529.g005

thumbnail
Fig 6. 2D projections of the surface plots of the covercosinp and vercosinp functions with θ ∈ [0, 10π] and p ∈ [−1, 0).

https://doi.org/10.1371/journal.pone.0308529.g006

5 The p-haversin and p-hacoversin functions

We then introduce the p-haversin function denoted by haversinp as follows: (20)

Remark 5.1. When p = −1, we get: (21) see [5].

Lemma 5.1. The haversinp function is bounded by: (22) Proof.

Definition 5.2. The function is bijective and its inverse .

Remark 5.2. Connection with the inverse function: (23) (24)

Theorem 5.3. The function is differentiable on and its derivative is given by: (25) Proof. Now, using the following identity: we get:

Remark 5.3. When p = −1, we get: (26)

A similar treatment can be adopted for the hacoversin functions which has the following form: (27) For brevity, similar derivations for hacoversin are omitted.

6 The p-havercosin and p-hacovercosin functions

We introduce the two functions as follows: (28) (29) In rest of this section, we show derivation of few properties only for one of these two functions due to their similarity in the structure relating to the fundamental sinp and cosp special functions.

Remark 6.1. When p = −1, identity (29) coincides with (30)

Lemma 6.1. For p < 0, the following inequalities hold: (31) Proof.

Definition 6.2. The function: is bijective and its inverse

Remark 6.2. Connection with the inverse function: (32) (33)

Theorem 6.3. The function is differentiable on and (34) Proof. From the identity (32) we may write:

Remark 6.3. When p = −1, we get: (35) see [9].

Remark 6.4. By observing that (36) we can find:

The generic nature of these eight classes of new generalised p-special trigonometric functions are similar with a scaled and/or flipped version due to change of sign of the sinp and cosp special functions. The 3D suface plots of the hacovercosinp, hacoversinp, haversinp and havercosinp classes of special functions are shown in Fig 7. It is evident that the hacoversinp and havercosinp shares some degree of similarity with the function explored in earlier sections. However, hacovercosinp and haversinp functions are highly irregular and rapidly increases for higher p and θp.

thumbnail
Fig 7. 3D surface plots of the hacovercosinp, hacoversinp, haversinp and havercosinp functions with θ ∈ [0, 10π] and p ∈ [−1, 0).

https://doi.org/10.1371/journal.pone.0308529.g007

7 Nature of special functions and their patterns

As an extension of the sinp and cosp classes of special functions, these new classes of trigonometric functions can help modelling interesting patterns in complex datasets, as opposed to algebraic functions. The complexity of the surface plots of these eight classes of new special functions are shown in the previous sections, whereas here we explore the scatter diagrams between different pairs of these classes of functions. First we show the locus of the ver and cover family of functions for different values of p in Fig 8. It appears that the eccentricity of the elliptical pattern increases with smaller p while the elliptical pattern may be stretched horizontally or vertically from a perfect circle, depending on the choice of function pairs.

thumbnail
Fig 8. Locus of the ver and cover family of functions for θ ∈ [0, 10π] and p ∈ [−1, 0).

https://doi.org/10.1371/journal.pone.0308529.g008

Next, we show similar locus plots between the haver and hacover family of functions in Fig 9. Depending on the choice of function pairs, the elliptical patterns are stretched horizontally. However, as opposed to the ver and cover family, here the haver and hacover family of functions do not always maintain the same centroid except few cases. Some of the function pairs lead to linear relationships with negative slope due to the change of sign in the basic construct of these functions. Next, we explore the locus plots or patterns between ver/cover vs. haver/hacover family of special functions in Fig 10. These cases include linear relations with positive and negative slope, elliptical patterns with the same and also different centroids and eccentricities. The patterns involving the inverse of these functions are more involved and have not been explored hree for brevity.

thumbnail
Fig 9. Locus of the haver and hacover family of functions for θ ∈ [0, 10π] and p ∈ [−1, 0).

https://doi.org/10.1371/journal.pone.0308529.g009

thumbnail
Fig 10. Locus of the ver/cover vs. haver/hacover family of functions for θ ∈ [0, 10π] and p ∈ [−1, 0).

https://doi.org/10.1371/journal.pone.0308529.g010

8 Conclusion and future works

In this paper, we show the properties and characteristics of eight new classes of special trigonometric functions viz. p-versine, p-coversine, p-vercosine, p-covercosine, p-haversine, p-hacoversine, p-havercosine, and p-hacovercosine. Their definitions, general properties, rules, and uses are also shown. These special functions have a vast scope of usage in diverse scientific and engineering applications. Future scope of work may include statistical pattern modelling using these new classes of special functions [12], as compared to the classical trigonometric functions and algebraic functions, proving new identities involving them, and solving differential equations involving these new functions.

We have derived many important properties of these eight new classes of special functions like their domain of definition, differentiation rules, and connection with their inverse functions. This is the first paper of its kind to demonstrate the basic properties of these new classes of special functions. The scope of this paper does not allow to demonstrate immediate applications since the current contributions are in finding new mathematical functions. However, to encourage future researchers, there can be several real-world applications using these special functions. This may include use of these special functions to solve applied mathematics problems like ordinary and partial differential equations [13, 14], integral transforms [15] e.g. Laplace and Fourier analysis and complex analysis bridging the duality between the trigonometric and hyperbolic families. In terms of physical sciences and engineering applications, similar to the well-known trigonometric functions, these new special function can be used in signal and image processing using diverse filtering algorithms, stability and control of linear dynamical systems using transfer function models and their frequency domain analysis including root locus, Nyquist, Nichols and Bode plots, nonlinear dynamical systems [16], electrical engineering problems often using complex numbers like alternating current (AC) circuit analysis, phasor and power systems [17, 18]; also quantum mechanics, wave functions, electromagnetic fields, fluid dynamics, vibration analysis in mechanical, structural and civil engineering, channel modelling and modulation techniques in communication and electronics engineering, navigation and kinematics in aerospace and robotics, optical engineering and geophysics—literally all scientific disciplines that use complex numbers and trigonometric functions as their basic building blocks.

Acknowledgments

A.H.A. thanks Jouf University and Saudi Arabia Cultural Bureau in London, England, for supporting this research. For the purpose of open access, the author has applied a creative commons attribution (CC BY) license to any author accepted manuscript version arising.

References

  1. 1. Harkin AA, Harkin JB. Geometry of generalized complex numbers. Mathematics Magazine. 2004;77(2):118–129.
  2. 2. Yaglom IM. Complex numbers in geometry. Academic Press; 2014.
  3. 3. Wilber H, Damle A, Townsend A. Data-driven algorithms for signal processing with trigonometric rational functions. SIAM Journal on Scientific Computing. 2022;44(3):C185–C209.
  4. 4. Lorenzo CF, Hartley TT. Fractional trigonometry and the spiral functions. Nonlinear Dynamics. 2004;38:23–60.
  5. 5. Cotter CH. Sines, versines and haversines in nautical astronomy. The Journal of Navigation. 1974;27(4):536–541.
  6. 6. Eloundou R. Interpretation of smooth reference commands as input-shaped functions. Proceedings of the 2002 American Control Conference (IEEE Cat. No. CH37301). IEEE. 2002;6:4948–4953.
  7. 7. Stewart SM. The inverse versine function and sums containing reciprocal central binomial coefficients and reciprocal Catalan numbers. International Journal of Mathematical Education in Science and Technology. 2022;53(7):1955–1966.
  8. 8. Stávek J. On the Trigonometric Descriptions of Colors. Applied Physics Research. 2016;8(3).
  9. 9. Robusto CC. The cosine-haversine formula. The American Mathematical Monthly. 1957;64(1):38–40.
  10. 10. Stewart SM. A look back at a long-forgotten trigonometric function: the versine function and its inverse. The Mathematical Gazette. 2022;106(565):84–94.
  11. 11. Oldham K, Myland J, Spanier J, Oldham KB, Myland JC, Spanier J. The Secant sec (x) And cosecant csc (x) Functions. An Atlas of Functions: with Equator, the Atlas Function Calculator. Springer; 2009. p. 329–338.
  12. 12. Lorenzo CF, Hartley TT. The fractional trigonometry: With applications to fractional differential equations and science. John Wiley & Sons; 2016.
  13. 13. Mathai AM, Haubold HJ. Special functions for applied scientists. Vol. 4. Springer; 2008.
  14. 14. Bell WW. Special functions for scientists and engineers. Courier Corporation; 2004.
  15. 15. Yang XJ, et al. Theory and applications of special functions for scientists and engineers. Springer; 2021.
  16. 16. Salas AH, Martinez LJH, Ocampo R D LR. Approximation of elliptic functions by means of trigonometric functions with applications. Mathematical Problems in Engineering. 2021;2021(1):5546666.
  17. 17. Silverman RA, et al. Special functions and their applications. Courier Corporation; 1972.
  18. 18. Cohen H. Complex analysis with applications in science and engineering. Springer Science & Business Media; 2007.