A Note on Superspirals of Confluent Type

Superspirals include a very broad family of monotonic curvature curves, whose radius of curvature is defined by a completely monotonic Gauss hypergeometric function. They are generalizations of log-aesthetic curves, and other curves whose radius of curvature is a particular case of a completely monotonic Gauss hypergeometric function. In this work, we study superspirals of confluent type via similarity geometry. Through a detailed investigation of the similarity curvatures of superspirals of confluent type, we find a new class of planar curves with monotone curvature in terms of Tricomi confluent hypergeometric function. Moreover, the proposed ideas will be our guide to expanding superspirals.


Introduction
Log-aesthetic curves (LAC) were proposed a decade ago to meet the requirements of industrial design to produce visually pleasing shapes. Followed by the discovery of superspirals, curves with monotonic curvature are now considered as an excellent tool for generating highly-smooth shapes which are useful in computer aided design and styling. Such non-polynomial curves are determined in terms of complex special functions and can be precisely computed in modern computer algebra systems and programming languages.
LAC form a one-parameter family of curves parametrized by the slope [1,2]. The LAC of slope 1 is the logarithmic spiral. As a generalization of logarithmic spiral, the second named author introduced a new class of fair curves-the superspiral of confluent type [3]. The superspiral of confluent type is a planar curve whose radius of curvature is a Kummer's hypergeometric function of confluent type (see (6)). The family of superspirals of confluent type is fairly large and includes logarithmic spirals as a particular example. However it is unclear how to describe the distribution of superspirals of confluent type in the whole family of those. In particular, the location of the logarithmic spiral in the whole family is not clear. To overcome these difficulties, we use a new framework "similarity geometry" for the study of aesthetic curves developed in our previous works [4,5]. The usage of the log-aesthetic curve for practical design is still limited and we should extend its formula to obtain various curves to solve practical design problems, such as G n Hermite interpolation, deformation and smoothing; data-point fitting; and blending plural curves [5]. We should explore other types of curves in a systematic way via similarity geometry.
In this paper we give an explicit Formula (13) of similarity curvature for superspirals of confluent type. The formula (Equation (13)) clarifies the precise location of logarithmic spiral in the whole family of superspirals of confluent type. The present study implies that planar curves whose radii of curvature are Tricomi's hypergeometric function of confluent type are new candidates of fair curves in industrial shape design. We close this paper by exhibiting some pictures of those curves.

Preliminaries
Let us consider a Riccati differential equation [6]: where q(x) = 0 and r(x) = 0. Assume that we know a particular solution u(x) to Equation (1). After a substitution z = u + 1 y , Hence by solving linear ordinary differential equation (ODE) (2), we obtain a general solution in the form of where f (x) = q(x) + r(x)u(x) and C is an integral constant. The Kummer confluent hypergeometric function [7] is defined by where (a) n = a(a + 1) · · · (a + n − 1) for n > 0. For avoiding the case of (c) n = 0, we assume that c / ∈ Z ≤0 . For the case of a = c, Equation (4) becomes The confluent hypergeometric function 1 F 1 (a, c; x) can be also denoted as M(a, c, x).
The M-function and W-function are the fundamental solutions to the Whittaker differential equation: which is a modified form of the confluent hypergeometric equation. Thus the general solution to the Whittaker differential equation is expressed as if 2µ ∈ Z (see [10]). Suppose that p(θ) is a superspiral [3] of confluent type with radius of curvature Then ρ satisfies the hypergeometric differential equation of confluent type: As we have mentioned in the preceding section, the general solution of this ODE includes two parameters (integral constants). Equation (5) implies that the general solution of (7) is given by Here we recall the notion of similarity curvature from [4,5].
Definition 3. The similarity curvature S(θ) of a planar curve p(θ) parametrized by tangent angle θ is Note that planar curves are determined by the similarity curvature uniquely up to similarity transformations. The similarity curvature S(θ) of a superspiral p(θ) of confluent type satisfies the following Riccati equation: It should be remarked that the above Riccati equation is of first order; thereforem its general solution contains one parameter (integral constant).
The general solution to the Riccati Equation (Equation (9)) is One can see that the similarity curvature S is expressed by the Kummer confluent hypergeometric function and Tricomi confluent hypergeometric function (see [5] (p. 257)).
Hereafter we investigate planar curves determined by the similarity curvature (10). We know that 1 F 1 (a, c, λθ) and (λθ) 1−c 1 F 1 (a + 1 − c, 2 − c, λθ) are fundamental solutions to (7). The former solution is nothing but the radius of curvature of the superspiral of confluent type (6). In other words, The similarity curvature of a superspiral of confluent type (6) is S(a, c, 1, 0, θ).
The curvature monotonicity is the fundamental property for planar curves to be aesthetic or fair [11]. Here we examine two particular cases, α = 0 and β = 0.

Lemma 1 ([13]
). Let f (x) and g(x) be operator monotone functions. Then the following functions are also operator monotonous: Additionally, we are interested in the case a = c for which we have More precisely, the radius of curvature function is defined as ρ(a, a, 1, 0, θ). The planar curve p(θ) with the radius of curvature ρ(a, a, 1, 0, θ) is a log-aesthetic curve of slope 1 with similarity curvature S = −λ; i.e., it is a logarithmic spiral.
Under the choice a = c, the Ricatti equation (9) becomes One can check that S = −λ (i.e., a log-aesthetic curve) is a particular solution to (11). The general solution is represented as is a general solution to the ODE (7) with a = c. Let us look for the general solution to (11). Suppose that Then y satisfies First, we consider a homogeneous ODE y − a + λθ θ y = 0 associated to (12). The general solution to this homogeneous ODE is given by where A is a constant. We use the Lagrange's method of variation of constants [14] to solve this ODE. Assuming that y = A(θ)e λθ θ a is a solution to (12), and then substituting y = A(θ)e λθ θ a into the linear ordinary differential equation (ODE) (12), we get the 1st order ODE: The general solution of this ODE is given by Whittaker M-function as where C is an integral constant. Hence the solution y = A(θ)e λθ θ a to (12) contains two parameters a and (integral constant) C. Finally, the general solution S to (11) is given by S(θ; a, C) = −λ 1 + 1 − a (λθ) a/2 e λθ/2 M(−a/2, −a/2 + 1/2, λ) + Cθ a e λθ .
After defining a = 1 in the general solution, we get the log-aesthetic curve with S = −λ. Equation (13) shows the location of logarithmic spiral in the family of superspirals of confluent type.
In our future works on monotone curvature curves, we plan to apply generalized hypergeometric function, p F q (a 1 , . . . , a p ; b 1 , . . . , b q ; z), the Meijer G-function which includes most of the known special functions as particular cases, and the Fox H-function, which is a generalization of the Meijer G-function. Moreover, Lemma 1 will allow us to expand the family of superspirals and add more degrees of freedom to curves.