31
$\begingroup$

Well there are equations which can plot a square like : $|x-y|+|x+y|=a$

But how about this equation: ? (At the end ... bear with me!)


[Here I have taken $a = 1$]

Plot of $$x^2 + y^2 = a^2$$

1

Plot of $$x^4 + y^4 = a^4$$

2

Plot of $$x^6 + y^6 = a^6$$

3

Plot of $$x^{100} + y^{100} = a^{100}$$

4

Since we can see that as the degree of the equation is increasing, the sharpness of the possible rounded square is also increasing...

So can we say that:

Plot of :

$$\lim\limits_{p \rightarrow \infty} \space (x^p + y^p = a^p)$$

is the plot of a square???

$\endgroup$
10
  • 2
    $\begingroup$ Like this ... en.m.wikipedia.org/wiki/Superellipse $\endgroup$
    – Nemo
    Commented Jun 26, 2015 at 15:07
  • 19
    $\begingroup$ Yes. Look up $p-$norms , especially the $\infty-$norm. $\endgroup$
    – Plutoro
    Commented Jun 26, 2015 at 15:12
  • 5
    $\begingroup$ @NeilRoy There is no limit of an equality as an expression. $\lim\limits_{p \rightarrow \infty} \space (x^p + y^p = a^p)$ $\endgroup$
    – user209217
    Commented Jun 26, 2015 at 15:13
  • $\begingroup$ @NeilRoy use $a=\lim (x^p+y^p)^{1/p}$, but nice discovery btw,try to figure out rectangular equation also $\endgroup$ Commented Jun 26, 2015 at 19:09
  • 4
    $\begingroup$ Indeed, in the limit you get a square, but numerically speaking, the equivalent $\max(|x|,|y|)=a$ is really preferable. $\endgroup$
    – user65203
    Commented Jun 26, 2015 at 19:12

4 Answers 4

17
$\begingroup$

Fix $a > 0$. In each diagram the exponent is even; if you plot $$ x^{2k+1} + y^{2k+1} = a^{2k+1} $$ for some non-negative integer $k$, you'll get a substantially different picture (except in the first quadrant).

So, let's interpret the diagrams as special cases of $$ |x|^{p} + |y|^{p} = a^{p},\quad \text{$p > 0$ real,} $$ i.e. $$ \left(|x|^{p} + |y|^{p}\right)^{1/p} = a. \tag{1} $$ Now it makes sense to take the limit as $p \to \infty$ on the left.

Exercise: If $x$ and $y$ are real numbers, then $$ \lim_{p \to \infty} \left(|x|^{p} + |y|^{p}\right)^{1/p} = \max\left(|x|, |y|\right). $$

Hint: Split into cases $|x| < |y|$ and $|y| \leq |x|$, and use the fact that if $|u| < 1$, then $|u|^{p} \to 0$ as $p \to \infty$.

In this sense, (1) "converges to" $\max\left(|x|, |y|\right) = a$ as $p \to \infty$, which is indeed the equation of the axis-oriented square of side length $2a$ centered at the origin.

$\endgroup$
6
$\begingroup$

Probably the best way to think about what is going on is to think about the $p$ norms $\| x \|_p = (|x_1|^p+|x_2|^p)^{1/p}$ for $p \in [1,\infty)$, where we define $\| x \|_\infty = \max \{ |x_1|,|x_2| \}$. The motivation for the latter notation is that $\lim_{p \to \infty} \| x \|_p = \| x \|_\infty$. Here's how to see it:

First suppose $|x_1|=|x_2|=x$. Then $\| x \|_p = 2^{1/p} x \to x$ as $p \to \infty$. Otherwise one of the components is bigger in magnitude; suppose without loss of generality that it is the first one. Then

$$(|x_1|^p + |x_2|^p)^{1/p} = |x_1|(1+|x_2|^p/|x_1|^p)^{1/p}.$$

Now as $p \to \infty$, the parenthetical term converges to $1$ (pretty much just by substitution). So the limit is $|x_1|=\| x \|_\infty$.

Now the "circles", i.e. the level sets, under the infinity norm can easily be seen to be squares. So the result above implies that the level sets of the $p$ norms asymptotically approach squares. Exactly the same thing happens in higher (finite) dimensions: the "spheres" in the $p$ norm approach surfaces of cubes as $p \to \infty$.

$\endgroup$
4
$\begingroup$

Of course the equation $$\max\bigl\{|x|, \>|y|\bigr\}=a$$ describes the circumference $\partial Q$ of a square simply and accurately. But you have the feeling that $\partial Q$ is also the "limit" of the sets $$S_p:=\bigl\{(x,y)\>\bigm|\>|x|^p+|y|^p=a^p\bigr\}$$ when $p\to\infty$. There are several notions for limits of sequences of sets. For the problem at hand the notion of Hausdorff distance is most appropriate: For any two nonempty sets $A$, $B\in{\mathbb R}^n$ one defines $$d(A,B):=\inf\bigl\{\epsilon>0\>\bigm|\>A\subset B_\epsilon\ \wedge\ B\subset A_\epsilon\bigr\}\ ,$$ whereby $A_\epsilon:=A+U_\epsilon(0)$ denotes the set of all points $y\in{\mathbb R}^n$ having distance $<\epsilon$ from some point $x\in A$.

In terms of this Hausdorff metric $d$ it is not difficult to show that $$\lim_{p\to\infty}d(S_p,\partial Q)=0\ ;$$ whence $\lim_{p\to\infty} S_p=\partial Q$.

$\endgroup$
0
$\begingroup$

Suppose $0 \le x <a$ you have $$y(x)=\pm a \sqrt[p]{1-\left(\frac{x}{a}\right)^p}$$

And $$\lim\limits_{p \to \infty} y(x) = \pm a$$

This prove that for $x \in [0, a)$ the graph of the curve converges (pointwise) to two lines $y = \pm a$.

$\endgroup$
3
  • $\begingroup$ slope @ x= y intersection always -1. $\endgroup$
    – Narasimham
    Commented Jun 26, 2015 at 15:31
  • 1
    $\begingroup$ @Narasimham I don't understand your comment. $\endgroup$ Commented Jun 26, 2015 at 15:34
  • 1
    $\begingroup$ Although $ p\rightarrow \infty$ at the corners of the square slope of tangent is always $\pm 1 $, The jump is sudden and violates smoothness to suggest a single equation for all 4 sides. $\endgroup$
    – Narasimham
    Commented Jun 26, 2015 at 15:40

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .