Superparabola

A superparabola is a geometric curve defined in the Cartesian coordinate system as a set of points $(x, y)$ with ${\frac {y}{b}}=\lbrack 1-\left({\frac {x}{a}}\right)^{2}\rbrack ^{p},$ where $p$ , $a$ , and $b$ are positive integers. This equation defines an open curve within the rectangle $-a\leq x\leq a$ , $0\leq y\leq b$ .

Superparabolas can vary in shape from a rectangular function $(p = 0)$ , to a semi-ellipse ( $p = .mw-parser-output .sfrac{white-space:nowrap}.mw-parser-output .sfrac.tion,.mw-parser-output .sfrac .tion{display:inline-block;vertical-align:-0.5em;font-size:85%;text-align:center}.mw-parser-output .sfrac .num{display:block;line-height:1em;margin:0.0em 0.1em;border-bottom:1px solid}.mw-parser-output .sfrac .den{display:block;line-height:1em;margin:0.1em 0.1em}.mw-parser-output .sr-only{border:0;clip:rect(0,0,0,0);clip-path:polygon(0px 0px,0px 0px,0px 0px);height:1px;margin:-1px;overflow:hidden;padding:0;position:absolute;width:1px}⁠1/2⁠)$ , to a parabola $(p = 1)$ , to a pulse function $(p > 1)$ .

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 as

z=\sin(u)+i\cos ^{2p}(u);\quad -{\tfrac {\pi }{2}}\leq u\leq {\tfrac {\pi }{2}}

Derivatives of the superparabola are given by

f'(x;p)=-2px(1-x^{2})^{p-1}

{\frac {\partial f}{\partial p}}=(1-x^{2})^{p}\ln(1-x^{2})=f(x)\ln \lbrack f(x;1)\rbrack

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+{\frac {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 ${\textstyle _{2}F_{1}}$ is the Gaussian 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$ .

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);\qquad -\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. It appears that the superparabola was first identified by Löffelmann and Gröller.^[1] in their paper on superquadrics in conjunction with computer graphics. Waldman and Gray^[2] used the superparabola in their analyses of the Archimedean hoof.^[2]^[3]^[4] 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.^[5] 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.^[2]^[3]^[4]

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

References

Specific

^ ^a ^b H. Löffelmann and E. Gröller, Parameterizing Superquadrics, Proc. (WSCG '95), 1995 (Winter School of Computer Graphics).
^ ^a ^b ^c C. H. Waldman and S. B. Gray, Superparabola and Superellipse in the Method of Archimedes.
^ ^a ^b 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
^ ^a ^b S. B. Gray and C. H. Waldman, Archimedes Reimagined: Derivatives from The Method., submitted for publication August, 2015 (Preprint available on request).
^ E. J. Dijksterhuis, Archimedes (with a new bibliographic essay by Wilbur R. Knorr), Princeton University Press, 1987, p. 313.

General

Classic Study of Curves, 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.
A. Bellos, Alex's Adventures in Numberland, Bloomsbury, UK, 2011.
H. Boualem and R. Brouzet, To Be (a Circle) or Not to Be?, The College Mathematics Journal, 46 (3) May, 2015, 197-206.
P. Bourke, Supershapes (Superformula), http://paulbourke.net/geometry/supershape/, March 2002.
G. Cardillo, Superformula Generator 2d (Feb. 2006), Matlab File Exchange http://www.mathworks.com/matlabcentral/fileexchange/10189-superformula-generator-2d.
G. Cardillo, Superformula Generator 3d (Feb. 2006), Matlab File Exchange http://www.mathworks.com/matlabcentral/fileexchange/10190-superformula-generator-3d.
J. Gielis, A generic geometric transformation that unifies a wide range of natural and abstract shapes, American Journal of Botany 90 (3): 333–338, 2003.
G. Lamé, Leçons sur les coordonnées curvilignes et leurs diverses applications, Paris, Mallet-Bachelier, 1859.
P. Lynch, Sharing a Pint, ThatsMaths, 2012 http://thatsmaths.com/2012/12/13/sharing-a-pint.
K.B. Oldham, J. Myland, J. Spanier, An Atlas of Functions, 2nd ed, Springer, 2010.
E. W. Weisstein, CRC Concise Encyclopedia of Mathematics, CRC Press, 2003.

External links

[new2-1] H. Löffelmann and E. Gröller, Parameterizing Superquadrics, Proc. (WSCG '95), 1995 (Winter School of Computer Graphics).

[Alex-2] C. H. Waldman and S. B. Gray, Superparabola and Superellipse in the Method of Archimedes.

[ref2-3] 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

[ref3-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.

[1]

[2]

[3]

[4]

[5]