Superellipse

 ( Plane Curves ) 

A superellipse, also known as a Lamé curve after Gabriel Lamé, is a closed curve resembling the ellipse, retaining the geometric features of semi-major axis and semi-minor axis, and symmetry about them, but defined by an equation that allows for various shapes between a rectangle and an ellipse.

In two dimensional Cartesian coordinate system, a superellipse is defined as the set of all points $(x,y)$ on the curve that satisfy the equation$$\backslash left|\backslash frac\{x\}\{a\}\backslash right|^n\backslash !\backslash !\; +\; \backslash left|\backslash frac\{y\}\{b\}\backslash right|^n\backslash !\; =\; 1,$$where $a$ and $b$ are positive numbers referred to as Semidiameter or semi-axes of the superellipse, and $n$ is a positive parameter that defines the shape. When $n=2$, the superellipse is an ordinary ellipse. For $n>2$, the shape is more rectangular with rounded corners, and for

In the polar coordinate system, the superellipse equation is (the set of all points $(r,\backslash theta)$ on the curve satisfy the equation):$$r\; =\; \backslash left(\backslash left|\backslash frac\{\backslash cos\backslash theta\}\{a\}\backslash right|^n\backslash !\backslash !\; +\; \backslash left|\backslash frac\{\backslash sin\backslash theta\}\{b\}\backslash right|^n\backslash !\backslash right)^\{-1/n\}\backslash !.$$

---

Specific cases This formula defines a closed curve contained in the rectangle and . The parameters $a$ and $b$ are the semi-diameters or semi-axes of the curve. The overall shape of the curve is determined by the value of the exponent $n$, as shown in the following table:

	The superellipse looks like a four-armed star with (inwards-curved) sides. For $n=1/2$, in particular, each of the four arcs is a segment of a parabola. An astroid is the special case $a=b$ , $n=2/3$
$n\; =\; 1$	The curve is a rhombus with corners ($\backslash pm\; a,0$) and .
	The curve looks like a rhombus with the same corners but with convex set (outwards-curved) sides. The curvature increases without limit as one approaches its extreme points.
$n=2$	The curve is an ordinary ellipse (in particular, a circle if $a=b$).
$n>2$	The curve looks superficially like a rectangle with rounded corners. The curvature is zero at the points ($\backslash pm\; a,0$) and ($0,\backslash pm\; b$).	, the superellipse with n = 4, a =  b = 1]]

If , the figure is also called a hypoellipse; if $n>2$, a hyperellipse. When $n\backslash geq1$ and $a=b$, the superellipse is the boundary of a ball of $\backslash R^2$ in the $n$-norm. The extreme points of the superellipse are ($\backslash pm\; a,0$) and ($0,\backslash pm\; b$), and its four "corners" are ($\backslash pm\; s\_\{a\}$,$\backslash pm\; s\_\{b\}$), where $s\; =\; 2^\{-1/n\}$ (sometimes called the "superness"Donald Knuth: The METAFONTbook, p. 126).

---

Mathematical properties When n is a positive rational number $p/q$ (in lowest terms), then each quadrant of the superellipse is a algebraic curve of order $p/q$. In particular, when $a=b=1$ and n is an even integer, then it is a Fermat curve of degree n. In that case it is non-singular, but in general it will be singular. If the numerator is not even, then the curve is pieced together from portions of the same algebraic curve in different orientations.

The curve is given by the parametric equations (with parameter $t$ having no elementary geometric interpretation)$$\backslash left.\; \backslash begin\{align\}$$

x\left(t\right) &= \plusmn a\cos^{\frac{2}{n}} t \\
y\left(t\right) &= \plusmn b\sin^{\frac{2}{n}} t
     

\end{align} \right\} \qquad 0 \le t \le \frac{\pi}{2} where each $\backslash pm$ can be chosen separately so that each value of $t$ gives four points on the curve. Equivalently, letting $t$ range over $$\backslash begin\{align\}$$

x\left(t\right) &= {\left|\cos t\right|}^{\frac{2}{n}} \cdot a \sgn(\cos t) \\
y\left(t\right) &= {\left|\sin t\right|}^{\frac{2}{n}} \cdot b \sgn(\sin t)
     

\end{align} where the sign function is$$\backslash sgn(w)\; =\; \backslash begin\{cases\}$$

-1, & w < 0 \\
 0, & w = 0 \\
+1, & w > 0 .
     

\end{cases}Here $t$ is not the angle between the positive horizontal axis and the ray from the origin to the point, since the tangent of this angle equals $y/x$ while in the parametric expressions $\backslash frac\{y\}\{x\}\; =\; \backslash frac\{b\}\{a\}\; (\backslash tan\; t)^\{2/n\}\; \backslash neq\; \backslash tan\; t.$

---

Area The area inside the superellipse can be expressed in terms of the gamma function as$$\backslash mathrm\{Area\}\; =\; 4\; a\; b\; \backslash frac\{\backslash left(\backslash Gamma\; \backslash left(1+\backslash tfrac\{1\}\{n\}\backslash right)\backslash right)^2\}\{\backslash Gamma\; \backslash left(1+\backslash tfrac\{2\}\{n\}\backslash right)\}\; ,$$or in terms of the beta function as

$\backslash mathrm\{Area\}\; =\; \backslash frac\{4\; a\; b\}\{n\}\; \backslash Beta\backslash !\backslash left(\backslash frac\{1\}\{n\},\backslash frac\{1\}\{n\}+1\backslash right)\; .$

---

Perimeter The perimeter of a superellipse, like that of an ellipse, does not admit closed-form solution purely using elementary functions. Exact solutions for the perimeter of a superellipse exist using infinite summations; these could be truncated to obtain approximate solutions. Numerical integration is another option to obtain perimeter estimates at arbitrary precision.

A closed-form approximation obtained via symbolic regression is also an option that balances parsimony and accuracy. Consider a superellipse centered on the origin of a 2D plane. Now, imagine that the superellipse (with shape parameter $n$) is stretched such that the first quadrant (e.g., $x>0$, $y>0$) is an arc from $(1,\; 0)$ to $(0,\; h)$, with $h\; \backslash geq\; 1$. Then, the arc length of the superellipse within that single quadrant is approximated as the following function of $h$ and $n$:

h + (((((n-0.88487077) * h + 0.2588574 / h) ^ exp(n / -0.90069205)) + h) + 0.09919785) ^ (-1.4812293 / n)

This single-quadrant arc length approximation is accurate to within ±0.2% for across all values of $n$, and can be used to efficiently estimate the total perimeter of a superellipse.

---

Pedal curve The pedal curve is relatively straightforward to compute. Specifically, the pedal of$$\backslash left|\backslash frac\{x\}\{a\}\backslash right|^n\backslash !\; +\; \backslash left|\backslash frac\{y\}\{b\}\backslash right|^n\backslash !\; =\; 1,$$is given in by$$(a\; \backslash cos\; \backslash theta)^\{\backslash tfrac\{n\}\{n-1\}\}+(b\; \backslash sin\; \backslash theta)^\{\backslash tfrac\{n\}\{n-1\}\}=r^\{\backslash tfrac\{n\}\{n-1\}\}.$$

---

Generalizations The generalization of these shapes can involve several approaches.The generalizations of the superellipse in higher dimensions retain the fundamental mathematical structure of the superellipse while adapting it to different contexts and applications.

---

Higher dimensions The generalizations of the superellipse in higher dimensions retain the fundamental mathematical structure of the superellipse while adapting it to different contexts and applications.

• A superellipsoid extends the superellipse into three dimensions, creating shapes that vary between ellipsoids and rectangular solids with rounded edges. The superellipsoid is defined as the set of all points $(x,y,z)$ that satisfy the equation:$$\backslash left|\backslash frac\{x\}\{a\}\backslash right|^n\backslash !\backslash !\; +\; \backslash left|\backslash frac\{y\}\{b\}\backslash right|^n\backslash !\; +\; \backslash left|\backslash frac\{z\}\{c\}\backslash right|^n\backslash !\; =\; 1,$$where $a,b$ and $c$ are positive numbers referred to as the semi-axes of the superellipsoid, and $n$ is a positive parameter that defines the shape.
• A hyperellipsoid is the $d$-dimensional analogue of an ellipsoid (and by extension, a superellipsoid). It is defined as the set of all points $(x\_1,x\_2,\backslash ldots,\; x\_d)$ that satisfy the equation:$$\backslash left|\backslash frac\{x\_1\}\{a\_1\}\backslash right|^n\backslash !\backslash !\; +\; \backslash left|\backslash frac\{x\_2\}\{a\_2\}\backslash right|^n\backslash !\; +\backslash ldots+\; \backslash left|\backslash frac\{x\_d\}\{a\_d\}\backslash right|^n\backslash !\; =\; 1,$$where $a\_1,a\_2,\backslash ldots,\; a\_d$ are positive numbers referred to as the semi-axes of the hyperellipsoid, and $n$ is a positive parameter that defines the shape.

---

Different exponents Using different exponents for each term in the equation, allowing more flexibility in shape formation.

For two-dimensional case the equation is $\backslash left|\backslash frac\{x\}\{a\}\backslash right|^m\backslash !\backslash !\; +\; \backslash left|\backslash frac\{y\}\{b\}\backslash right|^n\backslash !\; =\; 1;m,n>0,$ where $m$ either equals to or differs from $n$. If $m=n$, it is the Lamé's superellipses. If $m\backslash neq\; n$, the curve possesses more flexibility of behavior, and is better possible fit to describe some experimental information. For the three-dimensional case, three different positive powers $m$ , $n$ and $p$ can be used in the equation $\backslash left|\backslash frac\{x\}\{a\}\backslash right|^m\backslash !\backslash !\; +\; \backslash left|\backslash frac\{y\}\{b\}\backslash right|^n\backslash !\; +\; \backslash left|\backslash frac\{z\}\{c\}\backslash right|^p\backslash !\; =\; 1$. If $m=n=p$, a super-ellipsoid is obtained. If any two or all three powers differ from each other, a solid is obtained that may possess more flexibility in representing real structural data than the super ellipsoid. A three-dimensional super-ellipsoid with $m=n=2.2$, $p=2.4$ and the semi-diameters $a=b=1$, $c=0.5$ represents the structure of the National Centre for the Performing Arts in China.

In the general $N$–dimensional case, the equation is $\backslash left|\backslash frac\{x\_1\}\{a\_1\}\backslash right|^\{N\_1\}\backslash !\backslash !\; +\; \backslash left|\backslash frac\{x\_2\}\{a\_2\}\backslash right|^\{N\_2\}\backslash !\; +\backslash ldots+\; \backslash left|\backslash frac\{x\_N\}\{a\_N\}\backslash right|^\{N\_N\}\backslash !\; =\; 1$, where In general, $n\_1,n\_2,\backslash ldots,\; n\_N$ may differ from each other. It is the superellipsoid only if $n\_1=n\_2=\backslash ldots=\; n\_N=n$.

---

Related shapes Superquadrics are a family of shapes that include superellipsoids as a special case. They are used in computer graphics and geometric modeling to create complex, smooth shapes with easily adjustable parameters. While not a direct generalization of superellipses, hyperspheres also share the concept of extending geometric shapes into higher dimensions. These related shapes demonstrate the versatility and broad applicability of the fundamental principles underlying superellipses.

---

Anisotropic scaling Anisotropy scaling involves scaling the shape differently along different axes, providing additional control over the geometry. This approach can be applied to superellipses, superellipsoids, and their higher-dimensional analogues to produce a wider variety of forms and better fit specific requirements in applications such as computer graphics, structural design, and data visualization. For instance, anisotropic scaling allows the creation of shapes that can model real-world objects more accurately by adjusting the proportions along each axis independently.

---

History The general Cartesian notation of the form comes from the French mathematician Gabriel Lamé (1795–1870), who generalized the equation for the ellipse.

Hermann Zapf's typeface Melior, published in 1952, uses superellipses for letters such as o. Thirty years later Donald Knuth would build the ability to choose between true ellipses and superellipses (both approximated by ) into his Computer Modern type family.

The superellipse was named by the Denmark poet and scientist Piet Hein (1905–1996) though he did not discover it as it is sometimes claimed. In 1959, city planners in Stockholm, Sweden announced a design challenge for a roundabout in their city square Sergels Torg. Piet Hein's winning proposal was based on a superellipse with n = 2.5 and a/ b = 6/5. As he explained it:

Sergels Torg was completed in 1967. Meanwhile, Piet Hein went on to use the superellipse in other artifacts, such as beds, dishes, tables, etc. The Superellipse, in The Guide to Life, The Universe and Everything by BBC (27 June 2003) By rotating a superellipse around the longest axis, he created the superegg, a solid egg-like shape that could stand upright on a flat surface, and was marketed as a novelty item.

In 1968, when negotiators in Paris for the Vietnam War could not agree on the shape of the negotiating table, Balinski, Kieron Underwood and Holt suggested a superelliptical table in a letter to the New York Times. The superellipse was used for the shape of the 1968 Estadio Azteca, in Mexico City.

The second floor of the original World Trade Center in New York City consisted of a large, superellipse-shaped overhanging balcony.

Waldo R. Tobler developed a map projection, the Tobler hyperelliptical projection, published in 1973, in which the meridians are arcs of superellipses.

The logo for news company The Local consists of a tilted superellipse matching the proportions of Sergels Torg. Three connected superellipses are used in the logo of the Pittsburgh Steelers.

In computing, mobile operating system iOS uses a superellipse curve for app icons, replacing the style used up to version 6.

---

See also

• Astroid, the superellipse with n =  and a =  b, is a hypocycloid with four cusps.
• Deltoid curve, the hypocycloid of three cusps.
• Squircle, the superellipse with n = 4 and a =  b, looks like "The Four-Cornered Wheel."
• Reuleaux triangle, "The Three-Cornered Wheel."
• Superformula, a generalization of the superellipse.
• Superquadrics: and , the three-dimensional "relatives" of superellipses.
• Superelliptic curve, equation of the form Y ⁿ = f( X).
• Lp space

---

External links

• "Lamé Curve" at MathCurve.
• "Super Ellipse" on 2dcurves.com
• Superellipse Calculator & Template Generator
• Superellipse fitting toolbox in MATLAB
• C code for fitting superellipses

Post Comment