Abstract
Taking the hint from usual parametrization of circle and hyperbola, and inspired by the pathwork initiated by Cayley and Dixon for the parametrization of the “Fermat” elliptic curve \(x^3+y^3=1\), we develop an axiomatic study of what we call “Keplerian maps”, that is, functions \({{\,\mathrm{{\mathbf {m}}}\,}}(\kappa )\) mapping a real interval to a planar curve, whose variable \(\kappa \) measures twice the signed area swept out by the O-ray when moving from 0 to \(\kappa \). Then, given a characterization of k-curves, the images of such maps, we show how to recover the k-map of a given parametric or algebraic k-curve, by means of suitable differential problems.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In recent years, there has been widespread interest in the possible generalizations of the circular functions. These generalizations are divided into two different lines of thought, depending on the possible fields of application. Some authors, like [7,8,9,10, 13,14,15,16,17, 22], taking the moves from the definition of the sine function as inverse of the arcsine function, introduced by the integral
(where u is precisely the arc length of the circle), define the function \(\sin _p(x)\), where \(p\ge 1\), as the inverse of the function
and then define the function \(\cos _p\) by placing \(\cos _p:=\sin '_p\): in this manner, they get the identity \(|\sin _p|^p+|\cos _p|^p=1\). This approach is motivated by some analytical properties of these functions, since, adding a second parameter q, the functions
are related to the determination of eigenvalues of boundary value problem involving the p, q-Laplacian (see [13], eq. (3.9)), i.e. for a problem of the form
With such approach, the parameter u in equation (1) loses its geometric meaning.
On the other side, following the work initiated by Cayley and Dixon [1, 5, 6] related to Fermat’s cubic, \(x^3+y^3=1\), generalized by [11] and more recently in [3, 18, 19, 21, 23, 24] to Fermat curves with arbitrary exponent, other authors define the function pair \((\cos _p,\sin _p)\) as the unique solution to the initial value problem
Such pair of function, as it is easily seen, satisfies the identity \(\sin _p^p+\cos _p^p=1.\)
Although our approach is in line with the latter, we consider the problem from a more general point of view, that goes well beyond Fermat’s cubic and Dixon’s elliptic functions. In fact, having realized that the variable of the solution \((\cos _p,\sin _p)\) to problem (2) measures an area, as for trigonometric and hyperbolic functions, we present a general approach to what we call “Keplerian Trigonometry”, that is, the study of a wide class of planar curves admitting a (unique!) parametric representation \({{\,\mathrm{{\mathbf {m}}}\,}}_{\mathscr {C}}(\kappa ) = \cos _{\mathscr {C}}(\kappa )\,\mathbf {i}+ \sin _{\mathscr {C}}(\kappa )\,\mathbf {j}\), whose components share various properties of usual trigonometric functions, and the parameter \(\kappa \) measures twice the signed area swept out by the OP-ray when the point P moves along the curve from the unit point of the X-axis.
Our work also includes a section dedicated to a combinatoric version of the problem with a combinatorics of the nonlinear differential system that takes up the particular cases of Fermat curves treated in [24].
In conclusion of the article, we apply the theoretical results to a pair of third-degree (elliptic) plane curves, linked in a similar way to that which connects trigonometric and hyperbolic functions.
2 Keplerian maps
An analytic vector function \({\mathbf {f}}(s) {:}{=}f_x(s)\,\mathbf {i}+ f_y(s)\,\mathbf {j}\)Footnote 1, defined on a real interval I, will be called a planar map, or simply a map, and its image \({\mathscr {C}} {:}{=}{\mathbf {f}}(I)\) will be called a parametric curve, or p-curve. Obviously, a second map \({\mathbf {g}}\), defined on the real interval J, parametrizes the same curve \(\mathscr {C}\) if, and only if, if there exists a differentiable bijective function \(s(t):J \rightarrow I\) such that \(s' \ne 0\) and \({\mathbf {g}}(t) = {\mathbf {f}}(s(t))\). Note that, by our definition, every p-curve consists of only one branch.
In order to focus a wide class of maps that behave like the trigonometric map
and the hyperbolic map
we observe that, in addition to mapping 0 to \(\,\mathbf {i}\), for both of them, the variable is Keplerian, that is, it renders twice the signed area swept out by the OP-ray when moving from the unit point \(U_x\) of the X-axis to the image of \(\kappa \). Hence, it seems natural to consider the class of maps sharing that properties.
To provide a more precise wording of our aim, it is helpful to define the wedge operation \(\wedge :{\mathbb {R}}^2 \times {\mathbb {R}}^2 \rightarrow {\mathbb {R}}\) by setting, for every \({\mathbf {u}}, {\mathbf {v}} \in {\mathbb {R}}^2\):
The scalar \(\mathbf {u}\wedge \mathbf {v}\) measures the signed area of the oriented parallelogram with sides \(\mathbf {u}, \mathbf {v}\). The fact of being Keplerian the variable \(\kappa \) of a map \({\mathbf {f}}\), is expressed by the identity
or better, by its equivalentFootnote 2
Here then, the maps of this new class are defined as follows.
Definition 2.1
A map \({{\,\mathrm{{\mathbf {m}}}\,}}:\!I \rightarrow {\mathbb {R}}^2\), where \(0 \in I\), satisfying the following “Keplerian analytic axioms”
is called a Keplerian map (k-map for short). A k-map \({{\,\mathrm{{\mathbf {m}}}\,}}\) is called upright if the derivative of its first component vanishes at 0, that is, if \(m'_x(0) = 0\).
The image of a k-map \({{\,\mathrm{{\mathbf {m}}}\,}}\) is called a Keplerian curve or k-curve. \(\square \)
In order to emphasise the analogy with trigonometric functions, the components of the k-map of a given k-curve \({\mathscr {C}}\) are denoted as \(\cos _{{\mathscr {C}}}\) and \(\sin _{{\mathscr {C}}}\), that is, we will set:
We will refer to the component \(\sin _{{\mathscr {C}}}\) as to a \(\sin \)-partner of \(\cos _{{\mathscr {C}}}\), and symmetrically for the component \(\cos _{{\mathscr {C}}}\).
Thanks to the identity \( (\mathbf {f}\wedge \mathbf {f'})' =\mathbf {f}'\wedge \mathbf {f'}+\mathbf {f}\wedge \mathbf {f''} =\mathbf {f}\wedge \mathbf {f''}\), the Keplerian axioms can be restated in terms of the second derivative.
Theorem 2.2
A map \({{\,\mathrm{{\mathbf {m}}}\,}}:\!I \rightarrow {\mathbb {R}}^2\), where \(0 \in I\), is a Keplerian map, whenever it satisfies the following axioms:
\(\square \)
Axiom (AnK 2) states that vectors \({{\,\mathrm{{\mathbf {m}}}\,}}(\kappa )\) and \({{\,\mathrm{{\mathbf {m}}}\,}}''(\kappa )\) are parallel, so there exists an analytic function \(\chi (\kappa )\) such that \({{\,\mathrm{{\mathbf {m}}}\,}}''(\kappa ) = \chi (\kappa ) {{\,\mathrm{{\mathbf {m}}}\,}}(\kappa )\), where
Actually, the preceding theorem has the following result as converse.
Theorem 2.3
Let \(\chi :I \rightarrow {\mathbb {R}}\) be an analytic function such that \(0\in I\); then there exists exactly one Keplerian map \({{\,\mathrm{{\mathbf {m}}}\,}}\) such that \({{\,\mathrm{{\mathbf {m}}}\,}}''(\kappa ) = \chi (\kappa ) {{\,\mathrm{{\mathbf {m}}}\,}}(\kappa )\) for every \(\kappa \in I\).
Proof
The k-map \({{\,\mathrm{{\mathbf {m}}}\,}}\) is the solution of the problem
\(\square \)
The preceding result is the Keplerian analog of the fundamental theorem of the local theory of curves; here the function \(\chi \) plays the role of the curvature: then, it seems to be consistent to call \(\chi \) the Keplerian curvature of the curve \({\mathscr {C}}\).
The following result, whose proof is quite elementary, characterises the k-curves, by showing how the (unique) k-map associated to a suitable p-curve can be computed by inverting an integral.
Theorem 2.4
A parametric curve \({\mathscr {C}} = {\mathbf {f}} (I)\) is a Keplerian curve if, and only if, there exists \(s_0 \in I\) such that
and, for every \(s \in I\):
Moreover, the Keplerian map which parametrize \({\mathscr {C}}\) is provided by the map
where \(s(\kappa )\) is the inverse of the function
\(\square \)
The preceding result can be restated in terms of elementary geometry, by saying that a k-curve has a unique branch, it includes the unit point \(U_x\), and every its tangent line avoids the origin (Figs. 1, 2, 3 and 4).
As an application of the previous result, let us consider the unit circle involute \({\mathscr {C}} \), image of the map
We get \({\mathbf {f}} \wedge {\mathbf {f}}'=t^2\), then \(\kappa =t^3/3\), \(t = (3\kappa )^{1/3}\), and \( {{\,\mathrm{{\mathbf {m}}}\,}}_{{\mathscr {C}}}(\kappa ) = {\mathbf {f}}(3\kappa )^{1/3}\).
3 General identities
For any given k-curve \({\mathscr {C}}\), we will set \(\tan _{{\mathscr {C}}}:= \sin _{{\mathscr {C}}}/\cos _{{\mathscr {C}}}\); however, we need to remark that the geometric meaning of the trigonometric tangent function is preserved only in case of upright k-curves.
As easy consequences of Keplerian axioms, we have the identities
Moreover, it is worthwhile to note that a k-curve \({\mathscr {C}}\) is a upright one if, and only if, \(\cos '_{\mathscr {C}}(0)=0\). Again, from (AnK 2) we get immediately the following identities, which generalize well-known relations of circular and hyperbolic functions:
By the last identity, every analytic function x(t), with \(x(0)=1\), has exactly one \(\sin \)-partner; on the contrary, any analytic function y(t), with \(y(0)=0, y'(0)=1,y''(0)=0\), admitting a \(\cos \)-partner x(t), has all functions \(x(t)+\mu y(t)\) as additional \(\cos \)-partner. Obviously, “monogamy” is restored when the search of partnership is restricted to upright \(\cos \)-partners.
By axiom (AnK 1), any point \({\overline{P}} := {{\,\mathrm{{\mathbf {m}}}\,}}_{\mathscr {C}}(\overline{\kappa })\) of the curve \({\mathscr {C}}\) belongs to the line \(\sin '_{{\mathscr {C}}}(\overline{\kappa })\,x - \cos '_{\mathscr {C}}(\overline{\kappa })\,y = 1\), which turns to be the tangent line to \({\mathscr {C}}\) at \({\overline{P}}\), intersecting the X-axis at \(1/\sin '_{{\mathscr {C}}}(\overline{\kappa })\) and the Y-axis at \(-1/\cos '_{{\mathscr {C}}}(\overline{\kappa })\). By this fact, we are led to define the secant and cosecant functions for the k-curve \({\mathscr {C}}\) by setting
Remark that for the circle and the hyperbola such definitions return the usual secant and cosecant functions.
Finally, we remark that if \({\mathscr {C}}\) is a closed k-curve, its k-map is a periodic function, whose fundamental period \(\Pi _{{\mathscr {C}}}\) is twice the area \(\pi _{{\mathscr {C}}}\) of the region bounded by \(\mathscr {C}\).
4 The arithmetic axioms—formal Keplerian maps
The analytic Keplerian axiom has a useful arithmetic counterpart.
Theorem 4.1
(The Arithmetic Keplerian Axioms) An analytic vector function \(\mathbf {f}(t) {:}{=}\sum _i x_i\frac{t^i}{i!}\,\mathbf {i}+ \sum _i y_i\frac{t^i}{i!}\,\mathbf {j}\) is a Keplerian map if, and only if, the following identities hold:
Proof
Let \({{\,\mathrm{{\mathbf {f}}}\,}}(t)\wedge {\mathbf {f}}'(t) = \sum _i w_i\tfrac{t^i}{i!}\); then, for every \(h\in {\mathbb {N}}\), we have:
and the statement follows immediately. \(\square \)
This new dress of the Keplerian Axioms evokes the opportunity to neglect convergence problems, by enlarging our concern to pairs of formal (exponential) series; to do that, we define a formal Keplerian map as an ordered pair
satisfying the Arithmetic Keplerian Axioms.
The following statement is an immediate outcome of Theorem 4.1.
Corollary 4.2
Let \({{\,\mathrm{{\mathbf {f}}}\,}}(t) \,{{:}{=}}\, \Bigl (\sum _i x_i\frac{t^i}{i!},\sum _i y_i\frac{t^i}{i!}\Bigr )\) be a formal k-map; then, the following identities hold:
and, for every \(h\ge 3\):
\(\square \)
Identity (4) allow us to compute the unique sin-partner y(t) of any formal series x(t) with \(x_0=1\); note that in any case will be \(y_2=0\). Similarly, identity (5) can be employed to compute a cos-partner x(t) of any sequence y(t), with \(y_0=0, y_1=1, y_2=0\), only after the choice of \(x_1\in \mathbb R\).
As an application, let us compute the \(\sin \)-partner y(t) of the function \(x(t) {:}{=}1+ a\tfrac{t^n}{n!}\); Theorem 4.1 forces the identities
The series y(t) can be now redrafted as follows:
As the ratio r(j) of two consecutive coefficients in the last series is the rational function \(r(j) = {(j+\frac{1}{n}-1)(j+1)}/{(j+\frac{1}{n}+1)},\) we infer that such series is the Gauss hypergeometric function
5 Finding the k-map of an algebraic curve
Our purpose is now to extend the preceding ideas to algebraic curves. Obviously, in this case, too, we must narrow our attention to Keplerian algebraic curves, that is, to algebraic curves containing the point \(U_x\), whose tangent lines avoid the origin; this second condition is equivalent to claim that for every point \(P{:}{=}(x,y)\) in \({\mathscr {C}}\) vectors OP and \(\nabla f\) are not perpendicular, that is: \(x f_x + y f_y \ne 0\).
The following theorem characterises k-algebraic curves and shows that the unique k-map of a given k-algebraic curve is the solution of a first-order differential problem.
Theorem 5.1
Let the function \(f :{\mathbb {R}}^2 \rightarrow {\mathbb {R}}\) satisfy conditions \( f(1,0) = 0\) and \( x f_x + y f_y \ne 0\); then the algebraic curve \({\mathscr {C}} \,{{:}{=}}\, \{ (x,y)\in \mathbb {R}^2\mid \,f(x,y)=0 \} \) is Keplerian, and its k-map is the solution \({{\,\mathrm{{\mathbf {m}}}\,}}_{{\mathscr {C}}}\) of the differential system
Proof
Conditions on f ensure that \({\mathscr {C}}\) is a Keplerian curve.
The solution \({\mathbf {p}}(t) = x(t)\,\mathbf {i}+ y(t)\,\mathbf {j}\) of system (6) is a k-map, as \({\mathbf {p}}(0) = \,\mathbf {i}\), and \({{\mathbf {p}} \wedge {\mathbf {p}}' =1}\).
Moreover, we have \(f\bigl (x(0),y(0)\bigr )=0\) and \( \tfrac{\mathop {}\!\mathrm {d}^{} f }{\mathop {}\!\mathrm {d}{t}^{}} = f_x \tfrac{\mathop {}\!\mathrm {d}^{} x }{\mathop {}\!\mathrm {d}{t}^{}} + f_y \tfrac{\mathop {}\!\mathrm {d}^{} y }{\mathop {}\!\mathrm {d}{t}^{}} = 0, \) hence, for every t in a suitable neighbourhood of 0, it is \(f\bigl (x(t),y(t)\bigr )=0\), and \({\mathbf {p}} = {{\,\mathrm{{\mathbf {m}}}\,}}_{{\mathscr {C}}}\). \(\square \)
Differentiating the system (6), and after some elementary calculus, we obtain a second rule for computing the k-map of a k-algebraic curve.
Theorem 5.2
The k-map of a Keplerian algebraic curve \({\mathscr {C}} \,{{:}{=}}\, \{ (x,y)\in \mathbb {R}^2\mid \,f(x,y)=0 \} \) is the solution of the second-order problem
where
\(\square \)
Note that the function \(-f\!_{\vartriangle } \) is precisely the Keplerian curvature of \({\mathscr {C}}\) and the numerator is called offline hessian.
5.1 p-algebraic curves
When the curve \({\mathscr {C}}\) has equation \( f(x,y) = 1\), where f is the irreducible homogeneous polynomial
we have \(xf_x+yf_y=p\) , and the system (6) becomes
showing that the derivatives of \(x=\cos _{{\mathscr {C}}}\) and \(y=\sin _{\mathscr {C}}\) are the homogeneous polynomials
of degree \(p-1\)Footnote 3. By repeatedly differentiating, we obtain the following theorem.
Theorem 5.3
Let the \({\mathscr {C}} {:}{=}\{ f(x,y)=1 \}\) where f is the irreducible homogeneous polynomial
then, the nth derivatives of \(x=\cos _{{\mathscr {C}}}\) and \(y=\sin _{{\mathscr {C}}}\) are homogeneous polynomials of degree \(n(p-2)+1\) in variables x, y. Furthermore, for every natural m, n, we will have
\(\square \)
Let us now define the the \({\mathbb {N}} \times {\mathbb {N}}\) matrix \({\mathfrak {M}}_{\cos _{{\mathscr {C}}}}\) by setting \({\mathfrak {M}}_{\cos _{\mathscr {C}}}(0,i) {:}{=}\delta _{0,i}\) and by neatly arranging in the nth row the coefficients of the nth derivative of \(\cos _{{\mathscr {C}}}\); then, the coefficients of Maclaurin series of \(\cos _{{\mathscr {C}}}\) are the entries in the 0th column of \({\mathfrak {M}}_{\cos _{{\mathscr {C}}}}\), which can be recursively computed by the inverse of the law in identity (8). Analogous arguments hold for the matrix \({\mathfrak {M}}_{\sin _{{\mathscr {C}}}}\), defined by setting \({\mathfrak {M}}_{\sin _{{\mathscr {C}}}}(0,i) {:}{=}\delta _{1,i}\).
6 Some applications
6.1 A “dumpy” cubic
As an instance of application of preceding equations, let us consider the smooth cubic \({\mathscr {D}}\) of cartesian equation
Such k-curve is projectively closed and symmetric with respect to the X-axisFootnote 4: consequently, \(\cos _{{\mathscr {D}}}\kappa {=}{:}\sum _i c_i\frac{\kappa ^i}{i!}\) is an even function, while \(\sin _{{\mathscr {D}}}\kappa {=}{:}\sum _i s_i\frac{\kappa ^i}{i!}\) is odd (Figs. 5 and 6). The flexes of \({\mathscr {D}}\) are the points \(\bigl (\tfrac{\root 3 \of {2}}{2},\pm \tfrac{\root 3 \of {2}}{2}\bigr )\) and the improper point of Y-axis; the inflectional tangent lines are \(x=0\) and \(x\pm y=\root 3 \of {2}\).
In our case, system (7) becomes
from which we can derive that coefficients \(c_i, s_i\) are integers; moreover, the building rule for both matrices \(\mathfrak M_{\cos _{{\mathscr {D}}}}\) and \({\mathfrak {M}}_{\sin _{{\mathscr {D}}}}\) is
The following table shows some coefficients \(c_i, s_i\) (Table 1), drawn from \({\mathfrak {M}}_{\cos _{{\mathscr {D}}}}\), \({\mathfrak {M}}_{\sin _{{\mathscr {D}}}}\), computed by means of a common spreadsheetFootnote 5.
Now, let us find an analytic expression of the cosine component \(\cos _{{\mathscr {D}}} \): differentiating the first equation in (9), and using the identity \(x^3+3xy^2=1\), we obtain the initial value problem
Integrating (10), we obtain the inverse cosine:
Observe that condition \(0 <x \le 1\) ensures that cosine is real valued. Using entry 259.50 page 134 of [4], the integral in (11) can be computed, obtaining
the complete and incomplete elliptic integral of first kind. Inverting, we can solve for x in (12) and obtain
where for short we introduce:
Function \(\sin _{{\mathscr {D}}}\) is obtained using the first equation in (9):
where we define:
and lastly:
Being the curve \({\mathscr {D}}\) projectively closed, its k-map \({{\,\mathrm{{\mathbf {m}}}\,}}_{\mathscr {D}}\) is periodic: with some advanced calculus it can be proven that the period is
On the other hand, identities (13) and (14) ensure that the period can also be given in terms of complete elliptic integral of first kind, as
in accordance with the fact that \(\sin \tfrac{\pi }{12}\) is a singular modulus (see [20]).
Both the component of \({{\,\mathrm{{\mathbf {m}}}\,}}_{{\mathscr {D}}}\) are elliptic functions: then, their second (complex) period can be computed by starting from the classical periodicity relations for Jacobi elliptic functions (see [2] page 39):
where, as usual, \({{\,\mathrm{\mathrm {K}}\,}}'(k)={{\,\mathrm{\mathrm {K}}\,}}(k')={{\,\mathrm{\mathrm {K}}\,}}(\sqrt{1-k^2})\). Thus, the second period is
finally, by virtue of the singular modulus relation
we get
In closure, the complete lattice \(\Lambda _{{\mathscr {D}}}\) of periods of \({{\,\mathrm{{\mathbf {m}}}\,}}_{{\mathscr {D}}}\) is
6.2 The Humbert cubic
As a second example, let us now study the Keplerian smooth cubic \({\mathscr {H}}\) of equation
This cubic was studied by M.G. Humbert, in [12], Sect. 44 Eq. (7), who provided a parametrization in terms of Weierstrass \(\wp \) function (Fig. 7).
The curve \({\mathscr {H}}\), also projectively closed, has symmetry axes \(y=0, \,\,x=\pm \tfrac{\sqrt{3}}{3}y\); its inflexion points are improper, with \(x=0, \,\, y=\pm \tfrac{\sqrt{3}}{3}x\), as inflexional linesFootnote 6.
In this case, system (7), becomes
By implementing the same process followed in the preceding case, we can find the following analytic expression of the k-map \({{\,\mathrm{{\mathbf {m}}}\,}}_{\mathscr {H}}\)
where
Identities (15) and (16) ensure that the map \({{\,\mathrm{{\mathbf {m}}}\,}}_{{\mathscr {H}}}\) is periodic, with period
By considering that \({\mathscr {H}}\) is projectively closed, we can claim that the period of its k-map must equal twelve times the area of the region bounded by the curve and the lines \(x=0\) and \(y= \tfrac{1}{\sqrt{3}}x\); more precisely, accordingly to the fact that \(\cos \tfrac{\pi }{12}\) is a singular modulus,
Also in this case, the components of \({{\,\mathrm{{\mathbf {m}}}\,}}_{{\mathscr {H}}}\) are both elliptic functions, with complex period
Setting now
we realize that \(\Pi _{{\mathscr {H}}}''\) and \(\Pi _{{\mathscr {H}}}'''\) generate the complete lattice \(\Lambda _{{\mathscr {H}}}\) of periods of \({{\,\mathrm{{\mathbf {m}}}\,}}_{{\mathscr {H}}}\):
But, in addition, the identity
proves that the lattice \(\Lambda _{{\mathscr {H}}}\) is congruent to \(\Lambda _{{\mathscr {D}}}\), via the rotation by \(\pi /2 \).
7 A final remark
All arguments outlined in these pages can apply for a wider class of parametric curves, by leaving out axiom (AnK 0). Actually, that axiom simply succeeds to exhibit the“ trigonometric” behaviour of a k-map, by displaying \({{\,\mathrm{{\mathbf {m}}}\,}}(0) = \,\mathbf {i}\): its removal must be remedied by giving the role of \({{\,\mathrm{{\mathbf {m}}}\,}}(0)\) to a point picked at will in the assigned curve.
Notes
In this paper, the elements of \(\mathbb {R}^2\) are presented as column vectors, and the standard basis is denoted by \((\,\mathbf {i},\,\mathbf {j})\).
When, as in this case, the variable is left out, the identity holds for every element of the domain of the function.
Actually, the curve \({\mathscr {D}}\) is the image of the Fermat cubic \(x^3+y^3=1\) under the rotation of angle \(-\pi /2\) , followed by the homothety of factor \(2^{-1/6}\).
Actually, in order to find \(c_{2i}\) and \(s_{2i-1}\), only \(\left( {\begin{array}{c}i+1\\ 2\end{array}}\right) -1\) cells of each matrix must be previously filled, so that, for small i those coefficients can be computed “by hand”.
Although \({\mathbb {C}}\)-projectively equivalent, the curves \({\mathscr {H}}\) and \({\mathscr {D}}\) are not \({\mathbb {R}}\)-projectively equivalent, as shown by the different arrangement of their inflexional tangents.
References
Adams, O.: Elliptic functions applied to conformal world maps. Washington Government printing office, Washington (1925)
Bowman, F.: Introduction to Elliptic Functions, with applications. English University Press, London (1953)
Burgoyne, F.: Generalized trigonometric functions. Math. Comput. 18(86), 314–316 (1964). https://doi.org/10.2307/2003310
Byrd, P., Friedman, M.: Handbook of Elliptic Integrals for Engineers and Scientists. Springer, New York (1971)
Cayley, A.: On the elliptic function solution of the equation \(x^3+y^3-1=0\). Proc. Cambridge Philos Soc 4, 106–109 (1883)
Dixon, A.: The elementary properties of the elliptic functions. MacMillian and Co., New York (1894)
Edmunds, D., Gurka, P., Lang, J.: Properties of generalized trigonometric functions. J. Approx. Theory 164(1), 47–56 (2012). https://doi.org/10.1016/j.jat.2011.09.004
Edmunds, D., Gurka, P., Lang, J.: Basis properties of generalized trigonometric functions. J. Math. Anal. Appl. 420(2), 1680–1692 (2014). https://doi.org/10.1016/j.jmaa.2014.06.015
Elbert, A.: Colloq. Math. Soc. János Bolyai, vol. 30, chap. A half-linear second order differential equation, pp. 158–180. North-Holland, Amsterdam-New York (1979)
Girg, P., Kotrla, L.: \(p\)-Trigonometric and \(p\)-Hyperbolic Functions in Complex Domain. Abstract Appl. Anal. (2016). https://doi.org/10.1155/2016/3249439
Grammel, R.: Eine Verallgemeinerung der Kreis-und Hyperbelfunktionen. Arch. Appl. Mech. 16(3), 188–200 (1948)
Humbert, M.: Sur le théorème d’Abel. Troisieme partie: Des courbes de direction. J. Math. Pures Appl. pp. 371–404 (1887)
Lang, J., Edmunds, D.: Eigenvalues, Embeddings and Generalised Trigonometric Eigenvalues, Embeddings and Generalised Trigonometric Functions. Lecture Notes in Math, vol. 2016. Springer, Berlin (2011)
Lindqvist, P.: Some remarkable sine and cosine functions. Ricerche di Matematica 44(2), 269–290 (1995)
Lindqvist, P., Peetre, J.: Erik Lundberg och de hypergoniometriska funktionerna. Normat 45(1), 1–24 (1997)
Lindqvist, P., Peetre, J.: \(p\)-arclength of the \(q\)-circle. Math. Student 72, 139–145 (2003)
Lindqvist, P., Peetre, J.: Comments on Erik Lundberg’s 1879 thesis, especially on the work of Göran Dillner and his influence on Lundberg. Istituto Lombardo Acad. Sci. Lett., Classe Sci. Mat. Nat, Mem (2004). https://doi.org/10.2307/2695794
Poodiack, R.D.: Squigonometry, Hyperellipses, and Supereggs. Math. Mag. 89(2), 92–102 (2016). https://doi.org/10.4169/math.mag.89.2.92
Robinson, P.L.: The Dixonian ellpitic function. arxiv preprint (2019)
Selberg, A., Chowla, S.: On Epstein’s zeta-function. J. Reine Angew. Math 227(86), 110 (1967)
Shelupsky, D.: A generalization of the trigonometric functions. Am. Math. Monthly 66(10), 879–884 (1959). https://doi.org/10.1080/00029890.1959.11989425
Takeuchi, S.: Multiple-angle formulas of generalized trigonometric functions with two parameters. J. Math. Anal. Appl. 444(2), 1000–1014 (2016). https://doi.org/10.1016/j.jmaa.2016.06.074
Wood, W.: Squigonometry. Math. Mag. 84(4), 257–265 (2011). https://doi.org/10.4169/math.mag.84.4.257
van Fossen Conrad, E., Flajolet, P.: The Fermat cubic, elliptic functions, continued fractions, and a combinatorial excursion. Séminaire Lotharingien de Combinatoire 54(B54g), 1–44 (2006)
Funding
Open Access funding provided by Alma Mater Studiorum - Università di Bologna. Work supported by RFO 2015–2016 (Panel 13) Italian grant funding.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflicts of Interest Statement
The author declares that he has no known competing financial interests or personal relationships that could have appeared to influence the work reported in this paper.
Additional information
Communicated by Adrian Constantin.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Gambini, A., Nicoletti, G. & Ritelli, D. Keplerian trigonometry. Monatsh Math 195, 55–72 (2021). https://doi.org/10.1007/s00605-021-01512-0
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00605-021-01512-0
Keywords
- Generalized trigonometric functions
- Keplerian maps
- Eulerian functions
- Elliptic integrals
- Gauss Hypergeometric function