Superparabola

• Comment: I'm not sure the editor who created the article was aware of the pending comments, so I've left them a message on their talk page. I think Robert McClenon's comment is very cogent, and if those changes are made it can be moved to the mainspace. The editor hasn't edited in a couple of weeks, however. If they don't come back in a couple of days, will edit it myself so it can be moved. Onel5969 ^{TT me} 13:38, 4 November 2015 (UTC)

• Comment: This draft appears to have two sets of references. Please review and consolidate them. Also, if there is an article on the Archimedean hoof, it should be linked, and, if not, it should be described in more detail, and possibly red-linked. Robert McClenon (talk) 18:45, 2 November 2015 (UTC)

• Comment: I was actually going to accept this but thought it needs some more sources overall. SwisterTwister talk 07:26, 18 October 2015 (UTC)

• Comment: Hello I see u need help inlineing your sources into the article Wikipedia:Inline citation Oo7565 (talk) 07:02, 8 October 2015 (UTC)

---

The superparabola is a geometric curve defined in the Cartesian coordinate system as a set of points (x, y) with

$y/b={\begin{bmatrix}1-(x/a)^{2}\end{bmatrix}}^{p}$

where p, a, and b are positive integers. The equation defines an open curve in the rectangle

− a ≤ x ≤ a, 0 ≤ y ≤ b.

The superparabola can vary in shape from a rectangular function (p = 0) , to a semi-ellipse ( p = 1/2 ), to a parabola (p = 1), to a pulse function (p > 1) .

Superparabola Functions

Mathematical properties

Without loss of generality we can consider the canonical form of the superparabola( a = b = 1)$f(x;p)=\left(1-x^{2}\right)^{p}$ When p > 0 the function describes a continuous differentiable curve on the plane. The curve can be described parametrically on the complex plane asz = sin (u) +i cos ^2p(u);     − π/2 ≤ u ≤ π/2Derivatives of the superparabola are given by$f^{'}(x;p)=-2px(1-x^{2})^{p-1}$${\partial f} \over {\partial p}$ = $(1-x^{2})^{p}$ ln$(1-x^{2})$ = $f(x)$ ln ${\begin{bmatrix}f(x;1)\end{bmatrix}}$ The area under the curve is given by ${\text{Area}}=\int _{-1}^{1}\int _{0}^{f(x)}dydx$ = $\int _{-1}^{1}(1-x^{2})^{p}dx=\psi (p)$where ψ is a global function valid for all p > − 1 , $\psi (p)={\frac {{\sqrt {\pi }}\,\Gamma (p+1)}{\Gamma (p+3/2)}}$

The area under a portion of the curve requires the indefinite integral$\int (1-x^{2})^{p}dx=x\,{_{2}}F{_{1}}$ $(1/2,-p;3/2;x^{2})$ where $_{2}F_{1}$ is the Gauss hypergeometric function. An interesting property is that any superparabola raised to a power $n$ is just another superparabola, thus$\int _{-1}^{1}f^{n}(x)=\psi (np)$The centroid of the area under the curve is given by$C={\frac {\mathbf {i} }{A}}\int _{-1}^{1}x\int _{0}^{f(x)}dydx+{\frac {\mathbf {j} }{A}}\ \int _{-1}^{1}\int _{0}^{f(x)}ydydx$
$={\frac {\mathbf {j} }{2A}}\int _{-1}^{1}f^{2}(x)dx=\mathbf {j} {\frac {\psi (2p)}{2\psi (p)}}$

where the $x$-component is zero by virtue of symmetry. Thus, the centroid can be expressed as one-half the ratio of the area of the square of the curve to the area of the curve.

The n^th (mathematical) moment is given by$\mu _{=}\int _{-1}^{1}x^{n}f(x)dx={\begin{cases}M(p,n)&{\text{if n is even}}\\0&{\text{if n is odd}}\end{cases}}$$M(p,n)={\frac {2}{n+1}}{\frac {\Gamma ((n+3)/2)\Gamma (p+1)}{\Gamma (p+(n+3)/2)}}$ The arc length of the curve is given by${\text{Length}}=\int _{-1}^{1}{\sqrt {1+[f^{'}(x)]^{2}}}dx$

In general, integrals containing ${\sqrt {1+[f^{'}(x)]^{2}}}$ cannot be found in terms of standard mathematical functions. Even numerical solutions can be problematic for the improper integrals that arise when $f^{'}(x)$ is singular at $x=\pm 1$ . Two instances of exact solutions have been found. For the semicircle $(p=1/2)$ , $L=\pi$ and the parabola $(p=1)$, $L=\left({\sqrt {5}}+\sinh ^{-1}(2)/2\right)$ $\approx {2.9579}$.

The arc length is $L=4$ for both $p=0{\text{ and }}p=\infty$ and has a minimum value of $L\sim 2.914$ at $p\sim 1.595$ . The area under the curve decreases monotonically with increasing $p$.

Superparabola: Arc Length and Area

Generalization

A natural generalization for the superparabola is to relax the constraint on the power of x. For example,$f(x)=\left(1-\left\vert x\right\vert ^{q}\right)^{p}$where the absolute value was added to assure symmetry with respect to the y-axis. The curve can be described parametrically on the complex plane as well, $z=\left\vert {\text{sin}}^{2/q}(u)\right\vert {\text{sgn}}(u)+i{\text{cos}}^{2p}(u);$          $-\pi /2\leq {u}\leq \pi /2$

Now, it is apparent that the generalized superparabola contains within it the superellipse, i.e., $p=1/q$ , and its generalization. Conversely, the generalization of the superellipse clearly contains the superparabola. Here, however, we have the analytic solution for the area under the curve.

The indefinite and definite integrals are given by

$\int f(x)dx=x\cdot _{2}F_{1}(-p,1/q;1+1/q;x^{2})$${\text{Area}}=\int _{-1}^{1}f(x)dx=\Psi (p,q)$

where $\Psi$ is a universal function valid for all $q$ and $p>-1$.

$\Psi (p,q)={\frac {2\Gamma ({\frac {q+1}{q}})\Gamma (p+1)}{\Gamma (p+{\frac {q+1}{q}})}}$

These results can be readily applied to the centroid and moments of the curve as demonstrated above by substitution of $\Psi (p,q)$ for $\psi (p)$ .

History

The superellipse has been identified since 1818 as a Lamé curve. It appears that the superparabola was first identified by Löffelmann and Gröller. in their paper on superquadrics in conjunction with computer graphics. Waldman and Gray used the superparabola in their analyses of the Archimedean hoof. The “cylinder hoof”, "hoof" or "ungula" was first formulated in a letter from Archimedes to Eratosthenes in the 3rd century BC and led to the classic Propositions 13 and 14 of The Method. This letter now transposed in Dijksterhuis is one of the most famous exchange of ideas in all history of mathematics.

Applications

The superparabola and its generalization have been applied to the Archimedean hoof. Briefly, the Archimedean hoof consists of a right cylinder with a footprint y = f(x) and height h that is cut by the plane z = h y . In the first image, the portion on the right is called the hoof, and is taken from the remaining half-cylinder leaving the complement . The base area, volume, and center of mass of both the hoof and the complement can be described solely in terms of the universal function, Ψ and height.

3-D Printer Hoof	3-D Printer Hoof	3-D Printer Hoof Half-cylinder

References

Superparabola: Identified by Waldman-Gray in the Archimedean Hoof.

External and Other Links:

Additional information on the superellipse and Archimedean hoof can be found below at