15
$\begingroup$

The graph of the function $x^{n}+y^{n}=r^{n}$ for certain large values of $n$ looks suspiciously like a square.

See this page from wolframalpha. Have any results been proven regarding this observation? What do we call this figure anyway?

  • 4
    To expand a bit on Gadi's answer below: One name would be the $r$-sphere of the [$L^{p}$-norm](http://en.wikipedia.org/wiki/Lp_space) on $\mathbb{R}^2$ (something inside me refuses to use $n$ instead of $p$). You can prove that $\lim_{p \to \infty} \|x\|_{p} = \|x\|_{\infty}$ and the $r$-sphere of the $L^{\infty}$-norm is cube of side length $2r$. The phenomenon is essentially the same as the one that occurs when looking at the graph of $x^n$ on $[0,2]$, which approaches a right angle for large $n$.2011-05-22
  • 0
    Let me say an answer using basic maths. Without a loss of generality, assume $r=1$; a different value of $r$ simply scales the picture. More importantly, If $n$ is very large and $x$ or $y$ are smaller than one, then $x^n$ and $y^n$ are much smaller than one - they're virtually zero, unless $x$ or $y$ are extremely close to one. For example, $0.9^{100}$ is still close to zero. So if $x^n+y^n=1$, then either $x$ or $y$ or both have to be extremely close to 1 from below so that the high power contributes almost one.2011-05-22
  • 0
    In other words, for large even $n$, $x^n+y^n=1$ is essentially equivalent to $x\approx \pm 1$ or $y\approx \pm 1$ (with the other variable allowed to be essentially anything), which are the equations of the square. Note that neither $x$ nor $y$ can exceed one, so that's why you only get the 4 line segments.2011-05-22
  • 0
    @Luboš Motl: That's quite good enough to post as an answer IMHO.2011-05-22
  • 0
    J’ai trouvé une merveilleuse réponse à cette question, mais la marge est trop étroite pour la contenir. :)2011-05-22

3 Answers 3

16

You have just rediscovered the max-norm.

More precisely, you have noted that as $p$ becomes large, the unit circle in the $l_p$ norm looks similar and similar to the one of the $l_\infty$ norm.

8

Sometimes it's called a superellipse - see, e.g., http://en.wikipedia.org/wiki/Superellipse

  • 2
    http://www.facebook.com/pages/Superellipse/135225139844835 http://www.matematiksider.dk/piethein.html2011-05-22
  • 2
    Yes, I remember first coming across the concept and term in a Martin Gardner column on Hein.2011-05-22
  • 0
    My parent had a PH table and still have the [drinks coolers](http://www.danskdesign.nu/piet-hein-drink-cooler-p-473.html?language=en&manufacturers_id=31#) - the table was very handy since it maximised the space.2011-05-22
  • 1
    I like these: $$ A x^4 + B x^2 y^2 + C y^4 = 1, $$ with $A,C, 4 A C - B^2 > 0.$2011-05-22
4

By symmetry, you can consider the equation $y^n+x^n=r^n$ for $0 \leq x \leq r$. Rewrite as $$ y(x) = \sqrt[n]{{r^n - x^n }} = \sqrt[n]{{r^n - r^n \bigg(\frac{x}{r}\bigg)^n }} = r\sqrt[n]{{1 - \bigg(\frac{x}{r}\bigg)^n }}, $$ for $0 \leq x \leq r$. This shows that $y$ is strictly decreasing from $r$ to $0$ as $x$ varies from $0$ to $r$, respectively, and that the sequence of functions $y(x) = y_n (x)$ converges pointwise, as $n \to \infty$, to the function $f$ defined by $f(x)=r$ if $0 \leq x < r$ and $f(r)=0$; moreover, the convergence to $f$ is uniform for $x \in [0,a]$, for any $0 < a (but not for $x \in [0,r]$, since $y(r)=0$). This accounts for the square shape.