Superparabola

=== Definition === A superparabola, also known as a Waldman-Gray curve, 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 Arclength 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$^{1}$. 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. However, the superparabola was first identified by Waldman & Gray ³ and was used by these authors in their analyses of the Archimedean hoof ^{2 - 4} . The “cylinderhoof”, "hoof" or "urgula" 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 .⁶ These letters now transposed in Dijksterhuis is one of the most famous exchange of ideas in all history of mathematics. In the progenitorial tradition, also dating over centuries, the superparabola has been named the Waldman-Gray curve.

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, h ^{2 - 4}.

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

References

• 1. Superellipse, Wikipedia < https://en.wikipedia.org/wiki/Superellipse>.
• 2. S. B. Gray, D. Yang, G. Gordillo, S. Landsberger and C. Waldman, The Method of Archimedes: Propositions 13 and 14, Notices of the American Mathematical Society, 62(9), October, 2015, pp. 1036-1040. Photos courtesy of D. Yang.
• 3. C. H. Waldman and S. B. Gray, Superparabola and Superellipse in the Method of Archimedes. < http://curvebank.calstatela.edu/supercurve/supercurve.htm>.
• 4. S. B. Gray and C. H. Waldman, Archimedes Reimagined: Derivatives from The Method., submitted for publication August, 2015 (Preprint available on request).
• 5. E. J. Dijksterhuis, Archimedes (with a new bibliographic essay by Wilbur R. Knorr), Princeton University Press, 1987, p. 313.
• 6. < http://www.cs.drexel.edu/~crorres/Archimedes/contents.html >
• 7. < https://www.youtube.com/watch?v=uwidw12kctI >
• 8. < http://www.archimedespalimpsest.org/ >
• 9. < http://www-history.mcs.st-and.ac.uk/history/Curves/Curves.html >
• 10. G. S. Carr, Formulas and Theorems in PURE MATHEMATICS, 2nd ed., Chelsea Publishing Co., New York, 1970. Reprint of Carr's 1886 edition under the title of A Synopsis of Elementary Results in Pure Mathematics, London and Cambridge.
• 11. P. Lynch, Sharing a Pint, ThatsMaths, 2012 < http://thatsmaths.com/2012/12/13/sharing_a_pint/ >
• 12. A. Bellos, Alex's Adventures in Numberland, Bloomsbury, UK, 2011.
• 13. K.B. Oldham, J. Myland, J. Spanier, An Atlas of Functions, 2nd ed, Springer, 2010.
• 14. E. W. Weisstein, CRC Concise Encyclopedia of Mathematics, CRC Press, 2003.