17

The isoperimetric problem in the plane:

« The classical isoperimetric problem dates back to antiquity. The problem can be stated as follows: Among all closed curves in the plane of fixed perimeter, which curve (if any) maximizes the area of its enclosed region? This question can be shown to be equivalent to the following problem: Among all closed curves in the plane enclosing a fixed area, which curve (if any) minimizes the perimeter? »

The solution is well-known to be the circle, so, a way for varying the problem is to add constraints preventing the circle as solution. Of course, there are plenty of possibilities, here is one:

A well-known theorem in geometry of the plane :
Given three distinct points, there is a circle crossing these points iff they are non-collinear.

Problem: Among all closed curves in the plane of fixed perimeter $p$ and crossing three distinct collinear points $A$, $B$ and $C$, which curve (if any) maximizes the area of its enclosed region?

Example: $p=8$, $A=(-1,0)$, $B=(0,0)$ and $C=(1,0)$

Candidate: let the cardioid of parametric equation $z=\frac{i}{2}(e^{i \theta}-i)^2$, $\theta \in [0, 2 \pi]$:
enter image description here

This curve of perimeter $8$ and area $6\pi/4 \simeq 4.71$, crosses the points $A$, $B$ and $C$.

Is it a solution of the problem? the unique solution (up to reflection)?

  • 1
    This is a stab in the dark, but to force that constraint, I was thinking something like Newton's polynomial, http://en.wikipedia.org/wiki/Newton_polynomial . Now the problem with that is that you cannot assume the solution is a polynomial so you have to somehow change that to a general functional yet still keep the behavior that it goes through your three points (and this doesn't even address constraining the perimeter to be $8$). – Jared Apr 02 '14 at 23:39
  • Another guess would be that you should use arcs of a circle to connect the points, which would create sort of an infinity sign. It couldn't possibly be two perfect circles, but you could figure out the proper radius such that the perimeter would be $8$ (I think). But I'm not sure how you could prove this was the optimal shape (if it even is). – Jared Apr 02 '14 at 23:49
  • 1
    @Jared: thank you for your comment. I don't think an infinite sign can be optimal, in fact I think an optimal curve doesn't cross itself. The curve of a polynomial function in $x$ is not a closed curve, but of course we can look at polynomial in $e^{iθ}$. For example let $f(e^{iθ})=(i/2)e^{2iθ}+e^{iθ}−i/2$, then $f(1)=1$, $f(i)=0$ and $f(−1)=−1$, its curve is a cardoid, of perimeter (by chance) precisely $8$ and of enclosed area $6 \pi /4$; perhaps it's a solution ! – Sebastien Palcoux Apr 03 '14 at 12:15

1 Answers1

10

Well, about time I rewrote this answer to address all the issues raised the comments. It gets pretty long though, because there are too many subtleties. So here's the result in advance: the optimal curve is composed of circular arcs between pairs of points, with all arcs having the same radius. Unless such a construction leads to self-intersections, in which case all bets are off.

In general, we may consider a sequence of $n$ points $P_0, P_1, P_2, \ldots, P_n=P_0$ on the plane. We want to find the closed curve of specified length $L$ that connects these points in the specified order and maximizes the area $A$ enclosed by the curve.

For area to be well-defined, of course, the curve has to be simple (i.e. without self-intersections) or "weakly simple" (i.e. it can be made simple by an infinitesimal perturbation). I believe that it is possible, in some configurations of points, that the optimal curve is only weakly simple.¹ However, as such cases involve "contact interactions" between multiple segments that may be topologically distant, they are much harder to analyze than cases where optimality is achieved by simple curves. In this answer, therefore, I will give up a little generality, and only characterize the optimal curve in cases where it is simple.

A simple closed curve $\mathcal C$ that connects the points $P_i$ in the specified order is composed of $n$ curves $\mathcal S_i$ from $P_i$ to $P_{i+1}$, each simple and mutually non-intersecting (apart from meeting at the endpoints). For each curve $\mathcal S_i$, let $\ell_i$ be its length, and $A_i$ be the signed area between it and the line segment $P_i P_{i+1}$. Then the entire closed curve $\mathcal C$ has length $\ell = \sum_{i=0}^{n-1}\ell_i$ and area $A = \operatorname{area}(P_0 P_1 \cdots P_{n-1}) + \sum_{i=0}^{n-1}A_i$. (I've assumed for simplicity that the polygon $P_0 P_1 \cdots P_{n-1}$ itself is weakly simple and so has a well-defined area, but I think this restriction could be lifted with a more careful treatment.) Since the area of the polygon does not change, maximizing $A$ amounts to maximizing $\sum_{i=0}^{n-1}A_i$.

So, the problem is to find simple curves $\mathcal S_i$ that maximize $\sum_i A_i$ under the constraints that $\sum_i\ell_i = L$ and the $\mathcal S_i$ are pairwise non-intersecting.

For now, let us lift the non-intersection constraint. If we find that in the relaxed problem, the maximum area is nevertheless attained by $\mathcal S_i$ that do not intersect, then that is certainly also the maximum area over all non-intersecting curves.² So now the curves $\mathcal S_i$ are basically independent, connected only by the constraint $\sum_i\ell_i = L$.

Lemma 1: Each $\mathcal S_i$ is a circular arc.

Hold the rest of the curve fixed and consider variations in $\mathcal S_i$. Its end points are $P_i$ and $P_{i+1}$, its length is fixed at $L-\sum_{j\ne i}\ell_j$, and we wish to maximize the area $A_i$. Such a curve must be a circular arc.

Lemma 2: $\mathcal S_i$ and $\mathcal S_{i+1}$ have the same radius.

Without loss of generality, we may take $i=0$. Again, hold the rest of the curve fixed and consider variations in $\mathcal S_0$ and $\mathcal S_1$. We wish to maximize $A_0+A_1$ under the constraint that $\ell_0+\ell_1$ is fixed at $L'=L-\sum_{j\ge2}\ell_j$.

First, a simple geometrical argument that does not cover all cases but provides intuition. Observe that the relative orientation of $P_0P_1$ and $P_1P_2$ doesn't matter; if we have another point $P_2'$ with $|P_1P_2|=|P_1P_2'|$, any arc $\mathcal S_1$ from $P_1$ to $P_2$ can be rotated to an arc $\mathcal S_1'$ from $P_1$ to $P_2'$ with the same length and enclosed area. So arcs $\mathcal S_0$ and $\mathcal S_1$ are optimal for $P_0,P_1,P_2$ if and only if $\mathcal S_0$ and $\mathcal S_1'$ are optimal for $P_0,P_1,P_2'$. Now when $L'$ is sufficiently small,³ all feasible arcs $\mathcal S_0$ and $\mathcal S_1$ are less than semicircular, and there is a unique pair $(\mathcal S_0,\mathcal S_1)$ whose radii $r_0$ and $r_1$ are equal. Then we can pick $P_2'$ such that $\mathcal S_0$ and $\mathcal S_1'$ form a continuous arc of a single circle. By lemma 1, this curve encloses the largest area among all curves of length $L'$ from $P_0$ to $P_2'$; certainly then it encloses the largest area among such curves from $P_0$ through $P_1$ to $P_2'$. The result follows.

This argument does not work for large $L'$, in which case there may be more than one possible $(\mathcal S_0,\mathcal S_1)$ with $r_0=r_1$, and the combined arc $\mathcal S_0\mathcal S_1'$ may span more than a full circle. To cover all cases, we resort to analysis. A circular arc $\mathcal S$ between two fixed points a distance $d$ apart has exactly one degree of freedom, which can be parametrized by its length $\ell$, its radius $r$, or its central angle $\theta$. We have the relations $d = 2r\sin(\theta/2)$, $\ell = r\theta$, and $A = \frac12r^2(\theta-\sin\theta)$. Since $d$ is constant, this gives $$\frac{\mathrm dr}{\mathrm d\theta} = -\frac12 r\cot\frac\theta2,$$ from which we can derive $$\begin{align} \frac{\mathrm d\ell}{\mathrm d\theta} &= r\left(1 - \frac\theta2\cot\frac\theta2\right), \\ \frac{\mathrm dA}{\mathrm d\theta} &= r^2\left(1 - \frac\theta2\cot\frac\theta2\right), \end{align}$$ and so $$\frac{\mathrm dA}{\mathrm d\ell} = r.$$ (It would be nice to see a geometrical proof of this result.) Coming to the case of $\mathcal S_0$ and $\mathcal S_1$, since $\ell_0 + \ell_1 = L'$, we have $\mathrm d\ell_0 + \mathrm d\ell_1 = 0$, while for area to be maximized we require $\mathrm dA_0 + \mathrm dA_1 = 0$. This implies that at the maximum, we must have $r_0 = r_1$. ∎

From the above lemmas, it follows that the closed curve $\mathcal C$ that maximizes the area sum $\sum_{i=1}^n A_i$ is composed of $n$ circular arcs of equal radius $r$. If this curve $\mathcal C$ is simple, then it is also the closed curve that encloses the largest area, which is what was desired.

In your example with $n=3$ and points $P_0=(-1,0)$, $P_1=(0,0)$ and $P_2=(1,0)$, I numerically found the solution to be $r\approx1.30889$ with arcs of central angle $\theta_0=\theta_1\approx44.9^\circ$ and $\theta_2\approx260.3^\circ$. This yields an area of about $4.87$ units, which is greater than that of your cardioid. Here is a plot comparing the numerically optimized solution in blue and the cardioid in red.

enter image description here

And here is how the optimal curves vary with $L$:

enter image description here


¹ For example, consider the Pac-Man-like shape $P_0=(-1+\epsilon,0)$, $P_i=\bigl(\cos(2\pi i/n),\sin(2\pi i/n)\bigr)$ for $i=1,\ldots,n-1$.

² This turns out to be the case often enough -- in fact, I would guess that it is always true for convex polygons. But on the other hand, if the optimal solution to the relaxed problem yields intersecting $\mathcal S_i$, then the result probably does not tell us anything about the solution to the original problem.

³ In particular, when $L' \le \min(d_0 + \frac\pi2 d_1, d_1 + \frac\pi2 d_0)$ where $d_0$ and $d_1$ are the lengths $|P_0P_1|$ and $|P_1P_2|$ respectively.

  • I'll add some diagrams to this answer later if I find some free time. –  Apr 08 '14 at 21:28
  • Thank you for this surprising answer ! – Sebastien Palcoux Apr 09 '14 at 23:35
  • 1
    Also for large perimeters there is no problem of intersection, since the optimal shape is close to a ball and thus the centers are on the same side of the line on which $A$, $B$ and $C$ are. Also, there should be no problem with intersection in general. One should somehow argue that in the optimal configuration the centers of the two circular arcs for the smallest two segments are on the opposite side of the line from the arcs. Intuitively this corresponds to the fact that one ball is the optimizer instead of two balls. – Tapio Rajala Apr 10 '14 at 10:07
  • I try to find an other example for which your argument need to be improved: if we force a curve (of fixed perimeter p) to cross four points $A_1=(0,1)$, $A_2=(1,0)$, $A_3=(−1,0)$ and $A_4=(0,−c)$, with respect to this order and with $c>0$ large enough. perhaps there is a self-intersecting problem for the optimal curve in your sense (circular segments). – Sebastien Palcoux Apr 10 '14 at 11:01
  • @Sébastien: Yes, I agree that there might be an self-intersection problem with non-convex polygons. I'm not entirely convinced by your example, but the problem probably does arise with this Pac-Man-like shape: $n$ points $A_1,\ldots,A_n$ with $A_i = \bigl(\cos(2\pi i/n), \sin(2\pi i/n)\bigr)$ for $i=1,\ldots,n-1$ and $A_n = (-1+\epsilon,0)$. Oh well. I intend to rigorously clarify the limits of my answer in the future, but I may not have time in the next three days. –  Apr 12 '14 at 20:43
  • 3
    A physics-based argument for the requirement that they share a common radius is that this is effectively a bubble-surface problem - bubbles naturally minimise their surface area given their volume, because this also minimises their energy. And given the pressure on the inside of the bubble being constant, we can determine that the curvature of the surfaces will be constant and equal. This also addresses what happens with non-convex polygons - as with bubbles, you would expect internal straight surfaces to occur. – Glen O Apr 14 '14 at 15:25