213:
203:
182:
21:
1323:
solved, we would need to do a thorough search through the encyclopedia to find mentions in need of updates, regardless of whether they were dated or not. So it doesn't help the readers (because the gnome updates will mean that it contains no more actual information than an undated statement), doesn't help editors change the text if it ever needs changing, and causes ongoing maintenance and verifiability issues. —
638:
628:
615:
602:
589:
579:
561:
547:
533:
519:
506:
493:
151:
134:
656:
75:
364:
855:
equation for the radii. Then we get a definition of the standard double bubble, and then the statement of the theorem seems almost an afterthought. Could you untangle this a bit? I'm concerned that it looks like using physics to prove mathematics. Also, it might be easier on the reader to cite
Plateau's laws also to a more accessibly written reference.
858:
Mentioned Taylor's role in-text, moved the Taylor footnote there, and sourced the general statement of
Plateau's laws to Morgan instead. Added a little text to the paragraph on double bubbles distinguishing physical principles (pressure difference) from mathematical principles (the equation obeyed by
854:
Statement: This section kind of starts with observation (Plateau's laws) stated about soap bubbles and then cited to Taylor's paper about minimal surfaces (with a highly technical definition in typical terms of geometric measure theory). We then have Young-Laplace, which is physics motivation for the
763:
statement includes that, but none of the things you say about the proof contains existence of a solution to the problem. You should at least mention that it goes through a rather generalized definition of surfaces that then gets reduced again to ordinary surfaces by Taylor's theorem (13.9 in Morgan).
679:
I like the lead image, because (1) it is pretty, (2) it shows a real double bubble without wind distortion making it non-spherical, and (3) you can clearly see in it that the central membrane is curved. I don't think we have a lot of other good double bubble photos on commons. But a 2d diagram should
1322:
I'd prefer not. That tends to cause more difficulties than it solves: we would need to continually find more recent sources to update the date for which it remains unknown, and then well-meaning gnomes would keep updating the "as of" date to the present without finding those sources. If it ever gets
766:
Existence of a solution is trivial: just surround the two volumes by disjoint spheres or cubes or whatever. I guess you must mean the fact that there is an area-minimizing solution, rather than a sequence of solutions that converges to but never reaches the minimum. I added a paragraph to the start
671:
Let's get started. A very nice topic (probably more accessible than most of geometric measure theory, and there is a nice story to tell about the proofs). I have seen Frank Morgan give a talk about it ca. 20 years ago, but I don't remember much of what he said, just that he enjoyed advertising his
762:
General mathematical comment: What you explain here is that if there is a minimal solution to the double bubble problem, it is the standard double bubble. What is missing completely is that there is such a thing as a minimal solution. (This is the content of
Chapter 13 in Morgan's book). OK, your
294:
However, this photo does not show a minimal surface. The smaller bubble should push/bend into the larger bubble, but the illustration shows a flat surface between them. I mention it because this is a common misconception, and the illustration perpetuates that mistaken mental image.
1344:
Anyway, looking at the source I think you should clarify what they say: the actual evolution of course goes to the smaller volume disappearing, but if you go and blow up the solution to constant volume anyway, it will look like the vesica piscis. This is explained better over at
712:
All sources are high quality reliable sources. Formatting is fine except that the Frank Morgan book (which is probably the single best resource for the interested non-expert) should have an ISBN or OCLC or other data that helps to find it.
969:
873:
Fine, although there is an issue with "division by zero. Solving "1/r=0" isn't really a division by zero, it is a proper (or degenerate, depending on your point of view) limit case. But maybe I am splitting hairs here?
783:
It is existence of admissible double bubbles that is trivial, but as I said, existence of a minimal one is far from trivial. (One simple related counterexample I know is
Weierstraß' example that is mentioned in
806:
Since you seem to have missed this, and are responding as if I were arguing against your point, let me repeat: I added a paragraph to the start of the "Statement" section outlining this issue and its solution.
971:
This really does give a division by zero. But I think putting this additional formula into the article explicitly would unbalance the coverage, giving unnecessary prominence to a minor technicality. —
269:
331:
Update: I replaced the bad illustration by a prettier photo. The two bubbles in the photo are quite unbalanced in size, making it more obvious that the surface between them is not flat. —
291:
I'm very glad that there's a photo that accompanies the article. Most folks appreciate abstract ideas better when they can visualize them. Good illustrations are hard to come by.
369:
1096:
Generalization to higher dimensions: you could mention the group of undergraduates that includes
Reichardt that did the 4D case a few years before he did the general case.
880:
1050:
1014:
402:
392:
1142:
The standard double bubble obviously exists. The proof proves that nothing is better. Therefore there is an optimal solution, the standard double bubble. —
317:
I don't know, but maybe a better question is: what software can we use to get a good image that doesn't have this problem? I agree that it is a problem. —
1468:
259:
374:
1370:
You could make it clearer that the triple bubble problem has been done in 2D but it is open in 3D and higher, and Morgan even calls it "inaccessible".
676:
Images are free and appropriately licensed. Might be nicer to have one where the volumes are closer to equal, and/or a diagram, but the images work.
1458:
1463:
235:
126:
303:
46:
32:
1453:
767:
of the "Statement" section outlining this issue and its solution in very general terms, with an expanded reference to Morgan's book. —
1162:. You know, the proof that 1 is the largest integer? Obviously, 1 is an integer (you said "obviously the double bubble exists"). If
226:
187:
830:
Lead: Try to include an extra sentence about the proof and maybe about generalizations to make it a better summary of the article?
1448:
1319:
Kelvin conjecture: Would it make sense to try an "as of" date for the fact that we don't know whether Weaire-Phelan is optimal?
1408:
Much better! I think there's just the division by zero (maybe) and the "solution" vs "competitor" or "trial solution" issues. —
483:
397:
38:
1197:
Ok, fine, I also added another sentence at the end of the proof section clarifying how the proof of existence comes into it. —
420:
53:
1211:
Ok. There's just one thing now: I'm not convinced "solution" is the right word for a non-minimal competitor double bubble.
792:
by
Steiner symmetrisation, but Perron's paradox shows that his reasoning is not valid unless there is an existence proof. —
1393:
I think that's all. Other than perhaps talking about existence, mostly very small issues. Thank you for the new image! —
162:
441:
1339:
Curve shortening flow: As the volumes are not constant in this flow, I am not convinced that this is related enough.
1378:
1357:
1328:
1303:
1260:
1219:
1202:
1147:
1123:
1104:
1080:
976:
864:
838:
812:
789:
772:
721:
685:
336:
322:
114:
1255:
Yes? So it is a lemma of White. We cannot copy the exact wording of our sources; that would be plagiarism. —
680:
be possible. Equal areas is very easy to draw but non-equal but less unbalanced might be more informative. —
307:
785:
416:
299:
20:
1346:
168:
90:
877:
The way I had in mind for solving for the middle radius was to rearrange the given radius formula into
212:
694:
The new one is excellent and shows very well the interplay between the volumes, the radii and 2pi/3. —
450:
Will take this one, shouldn't take too long unless my other reviews on hold all come back at once :) —
1374:
1353:
1324:
1299:
1256:
1252:
Brian White: According to the source, it is an "idea by White, written up by Foisy and
Hutchings".
1215:
1198:
1143:
1119:
1115:
Gaussian double bubbles: you could consider naming the authors and say that they proved something.
1100:
1076:
972:
860:
834:
808:
768:
717:
681:
332:
318:
234:
on
Knowledge. If you would like to participate, please visit the project page, where you can join
218:
468:
202:
181:
74:
1159:
902:
42:
1019:
1427:
1413:
1398:
1284:
1235:
1188:
1057:
797:
747:
699:
455:
435:
990:
1072:
History: if you mention 2D double bubbles, you could also mention 2D isoperimetry here.
95:
964:{\displaystyle r_{2}=1{\Big /}{\Bigl (}{\frac {1}{r_{1}}}-{\frac {1}{r_{2}}}{\Bigr )}.}
650:
596:
1442:
732:
Some page numbers could help, but I'll comment on that in detail in the prose review.
622:
500:
473:
609:
555:
541:
527:
109:
1075:
Should have mentioned 3D isoperimetry much earlier. Added to lead and statement. —
1269:
I'm concerned people might look for it in Brian White's works, but I won't argue.
1431:
1417:
1402:
1382:
1361:
1332:
1307:
1288:
1264:
1239:
1223:
1206:
1192:
1151:
1127:
1108:
1084:
1061:
980:
868:
842:
816:
801:
788:). Famously, Steiner believed he had proved the optimality of the circle in the
776:
751:
725:
703:
689:
459:
445:
340:
326:
311:
231:
119:
1052:
is also accurately described as division by zero, so I withdraw that comment. —
655:
1423:
1409:
1394:
1280:
1231:
1184:
1053:
793:
743:
695:
451:
431:
208:
1295:
Related problems: Is
Sullivan talking about equal volumes or more generally?
513:
85:
423:. The edit link for this section can be used to add comments to the review.
833:
Added a paragraph-length sentence about the ingredients of the proof. —
716:
Updated to 5th ed and added Google Books, ISBN ids, and page numbers. —
298:
Does anyone know what software was used to create the illustration in
105:
1214:
Changed to "candidate surface", as part of some other copyedits. —
649:
Note: this represents where the article stands relative to the
1389:
External links are OK, even if MathWorld is a bit out of date.
144:
69:
15:
132:
59:
1022:
993:
883:
230:, a collaborative effort to improve the coverage of
1347:
Curve-shortening_flow#Gage–Hamilton–Grayson_theorem
1044:
1008:
963:
1132:No, but possibly that the study led to a theorem.
953:
909:
45:. If it no longer meets these criteria, you can
1118:Are the names important for the article text? —
1139:Proof: Here we are missing the existence bit.
8:
104:... that the shape that encloses two given
1279:(except for the "solution" issue above). —
987:In my head, "division by zero" is solving
352:
176:
1033:
1021:
992:
952:
951:
943:
934:
923:
914:
908:
907:
901:
900:
888:
882:
98:). The text of the entry was as follows:
1276:Rest of the proof section is excellent.
1179:("nothing is better"), so we must have
383:
355:
178:
125:A record of the entry may be seen at
7:
478:
224:This article is within the scope of
150:
148:
127:Knowledge:Recent additions/2012/July
1352:Added rescaling to preserve area. —
167:It is of interest to the following
14:
1469:Low-priority mathematics articles
735:Standard copyvio tests are clear.
465:Progress box and general comments
244:Knowledge:WikiProject Mathematics
133:
41:. If you can improve it further,
1166:is the largest integer, then if
654:
636:
626:
613:
600:
587:
577:
559:
545:
531:
517:
504:
491:
247:Template:WikiProject Mathematics
211:
201:
180:
149:
73:
19:
1459:Knowledge Did you know articles
1158:This is the fallacy exposed in
264:This article has been rated as
421:Talk:Double bubble theorem/GA1
29:has been listed as one of the
1:
1464:GA-Class mathematics articles
238:and see a list of open tasks.
108:and has the minimum possible
1298:More generally. Clarified. —
637:
627:
614:
601:
588:
578:
572:
560:
546:
532:
518:
505:
492:
470:
471:
1485:
1454:Mathematics good articles
1432:18:23, 21 June 2022 (UTC)
1418:11:11, 21 June 2022 (UTC)
1403:11:00, 20 June 2022 (UTC)
1383:21:23, 20 June 2022 (UTC)
1362:21:18, 20 June 2022 (UTC)
1333:21:14, 20 June 2022 (UTC)
1308:21:14, 20 June 2022 (UTC)
1289:11:11, 21 June 2022 (UTC)
1265:19:51, 20 June 2022 (UTC)
1240:18:23, 21 June 2022 (UTC)
1224:17:55, 21 June 2022 (UTC)
1207:20:39, 20 June 2022 (UTC)
1193:20:21, 20 June 2022 (UTC)
1152:19:49, 20 June 2022 (UTC)
1128:19:49, 20 June 2022 (UTC)
1109:19:49, 20 June 2022 (UTC)
1085:19:35, 20 June 2022 (UTC)
1062:18:22, 21 June 2022 (UTC)
1016:, but you are right that
981:17:55, 21 June 2022 (UTC)
869:19:29, 20 June 2022 (UTC)
843:19:29, 20 June 2022 (UTC)
817:20:39, 20 June 2022 (UTC)
802:19:45, 20 June 2022 (UTC)
777:19:11, 20 June 2022 (UTC)
752:09:51, 19 June 2022 (UTC)
726:18:52, 19 June 2022 (UTC)
704:11:00, 20 June 2022 (UTC)
690:18:52, 19 June 2022 (UTC)
460:15:11, 18 June 2022 (UTC)
446:15:11, 18 June 2022 (UTC)
341:04:53, 14 June 2015 (UTC)
327:02:33, 14 June 2015 (UTC)
312:01:33, 14 June 2015 (UTC)
263:
196:
175:
33:Mathematics good articles
1045:{\displaystyle 0=x^{-1}}
790:Isoperimetric inequality
757:Content and prose review
270:project's priority scale
84:appeared on Knowledge's
1449:Knowledge good articles
1422:Happy now, promoting. —
227:WikiProject Mathematics
94:column on 9 July 2012 (
1046:
1010:
965:
300:File:Double bubble.png
157:This article is rated
138:
1047:
1011:
966:
786:Dirichlet's principle
651:Good Article criteria
623:free or tagged images
136:
82:Double bubble theorem
39:good article criteria
27:Double bubble theorem
1020:
1009:{\displaystyle 0x=1}
991:
881:
250:mathematics articles
859:the three radii). —
738:Stable and neutral.
672:undergraduates :)
476:review progress box
118:commonly formed by
1042:
1006:
961:
653:. Criteria marked
287:Accompanying photo
219:Mathematics portal
163:content assessment
139:
57:: June 21, 2022. (
949:
929:
821:It is better now.
669:
668:
665:
664:
661:
411:
410:
284:
283:
280:
279:
276:
275:
143:
142:
68:
67:
64:
1476:
1160:Perron's paradox
1051:
1049:
1048:
1043:
1041:
1040:
1015:
1013:
1012:
1007:
970:
968:
967:
962:
957:
956:
950:
948:
947:
935:
930:
928:
927:
915:
913:
912:
906:
905:
893:
892:
658:
647:
640:
639:
630:
629:
617:
616:
604:
603:
591:
590:
581:
580:
563:
562:
549:
548:
535:
534:
521:
520:
508:
507:
495:
494:
479:
469:
365:Copyvio detector
353:
252:
251:
248:
245:
242:
221:
216:
215:
205:
198:
197:
192:
184:
177:
160:
154:
153:
152:
145:
135:
77:
70:
62:
60:Reviewed version
51:
23:
16:
1484:
1483:
1479:
1478:
1477:
1475:
1474:
1473:
1439:
1438:
1230:Works for me. —
1029:
1018:
1017:
989:
988:
939:
919:
884:
879:
878:
759:
635:pics relevant (
467:
415:This review is
407:
379:
351:
289:
249:
246:
243:
240:
239:
217:
210:
190:
161:on Knowledge's
158:
58:
12:
11:
5:
1482:
1480:
1472:
1471:
1466:
1461:
1456:
1451:
1441:
1440:
1437:
1436:
1435:
1434:
1391:
1390:
1387:
1386:
1385:
1375:David Eppstein
1373:Quote added. —
1367:
1366:
1365:
1364:
1354:David Eppstein
1341:
1340:
1337:
1336:
1335:
1325:David Eppstein
1317:
1316:
1315:
1314:
1313:
1300:David Eppstein
1293:
1292:
1291:
1274:
1273:
1272:
1271:
1270:
1257:David Eppstein
1250:
1249:
1248:
1247:
1246:
1245:
1244:
1243:
1242:
1227:
1226:
1216:David Eppstein
1199:David Eppstein
1155:
1154:
1144:David Eppstein
1137:
1136:
1135:
1134:
1133:
1120:David Eppstein
1113:
1112:
1111:
1101:David Eppstein
1094:
1093:
1092:
1091:
1090:
1077:David Eppstein
1070:
1069:
1068:
1067:
1066:
1065:
1064:
1039:
1036:
1032:
1028:
1025:
1005:
1002:
999:
996:
984:
983:
973:David Eppstein
960:
955:
946:
942:
938:
933:
926:
922:
918:
911:
904:
899:
896:
891:
887:
861:David Eppstein
852:
851:
850:
849:
848:
835:David Eppstein
828:
827:
826:
825:
824:
823:
822:
809:David Eppstein
780:
779:
769:David Eppstein
758:
755:
740:
739:
736:
733:
730:
729:
728:
718:David Eppstein
710:
709:
708:
707:
706:
682:David Eppstein
667:
666:
663:
662:
660:
659:are unassessed
644:
643:
571:
570:
567:
566:
466:
463:
426:
425:
409:
408:
406:
405:
400:
395:
389:
386:
385:
381:
380:
378:
377:
375:External links
372:
367:
361:
358:
357:
350:
347:
346:
345:
344:
343:
333:David Eppstein
319:David Eppstein
288:
285:
282:
281:
278:
277:
274:
273:
262:
256:
255:
253:
236:the discussion
223:
222:
206:
194:
193:
185:
173:
172:
166:
155:
141:
140:
130:
124:
123:
78:
66:
65:
50:
24:
13:
10:
9:
6:
4:
3:
2:
1481:
1470:
1467:
1465:
1462:
1460:
1457:
1455:
1452:
1450:
1447:
1446:
1444:
1433:
1429:
1425:
1421:
1420:
1419:
1415:
1411:
1407:
1406:
1405:
1404:
1400:
1396:
1388:
1384:
1380:
1376:
1372:
1371:
1369:
1368:
1363:
1359:
1355:
1351:
1350:
1348:
1343:
1342:
1338:
1334:
1330:
1326:
1321:
1320:
1318:
1311:
1310:
1309:
1305:
1301:
1297:
1296:
1294:
1290:
1286:
1282:
1278:
1277:
1275:
1268:
1267:
1266:
1262:
1258:
1254:
1253:
1251:
1241:
1237:
1233:
1229:
1228:
1225:
1221:
1217:
1213:
1212:
1210:
1209:
1208:
1204:
1200:
1196:
1195:
1194:
1190:
1186:
1182:
1178:
1174:
1169:
1165:
1161:
1157:
1156:
1153:
1149:
1145:
1141:
1140:
1138:
1131:
1130:
1129:
1125:
1121:
1117:
1116:
1114:
1110:
1106:
1102:
1098:
1097:
1095:
1088:
1087:
1086:
1082:
1078:
1074:
1073:
1071:
1063:
1059:
1055:
1037:
1034:
1030:
1026:
1023:
1003:
1000:
997:
994:
986:
985:
982:
978:
974:
958:
944:
940:
936:
931:
924:
920:
916:
897:
894:
889:
885:
876:
875:
872:
871:
870:
866:
862:
857:
856:
853:
846:
845:
844:
840:
836:
832:
831:
829:
820:
819:
818:
814:
810:
805:
804:
803:
799:
795:
791:
787:
782:
781:
778:
774:
770:
765:
764:
761:
760:
756:
754:
753:
749:
745:
742:More later! —
737:
734:
731:
727:
723:
719:
715:
714:
711:
705:
701:
697:
693:
692:
691:
687:
683:
678:
677:
675:
674:
673:
657:
652:
648:
646:
645:
642:
632:
624:
619:
611:
606:
598:
593:
583:
573:
569:
568:
565:
557:
551:
543:
537:
529:
523:
515:
510:
502:
497:
487:
485:
481:
480:
477:
475:
464:
462:
461:
457:
453:
448:
447:
443:
440:
437:
433:
430:
424:
422:
418:
413:
412:
404:
401:
399:
396:
394:
391:
390:
388:
387:
382:
376:
373:
371:
368:
366:
363:
362:
360:
359:
354:
348:
342:
338:
334:
330:
329:
328:
324:
320:
316:
315:
314:
313:
309:
305:
304:24.240.67.157
301:
296:
292:
286:
271:
267:
261:
258:
257:
254:
237:
233:
229:
228:
220:
214:
209:
207:
204:
200:
199:
195:
189:
186:
183:
179:
174:
170:
164:
156:
147:
146:
131:
128:
121:
117:
116:
115:double bubble
111:
107:
103:
100:
99:
97:
93:
92:
87:
83:
79:
76:
72:
71:
61:
56:
55:
48:
44:
40:
36:
35:
34:
28:
25:
22:
18:
17:
1392:
1180:
1176:
1172:
1167:
1163:
741:
670:
634:
621:
608:
595:
585:
575:
553:
539:
525:
512:
499:
489:
482:
474:Good Article
472:
449:
438:
428:
427:
414:
403:Instructions
297:
293:
290:
266:Low-priority
265:
225:
191:Low‑priority
169:WikiProjects
120:soap bubbles
113:
110:surface area
102:Did you know
101:
91:Did you know
89:
81:
80:A fact from
52:
43:please do so
31:
30:
26:
576:broadness (
417:transcluded
302:? Thanks,
241:Mathematics
232:mathematics
188:Mathematics
96:check views
1443:Categories
1171:1 we have
847:Very nice.
514:ref layout
370:Authorship
356:GA toolbox
37:under the
429:Reviewer:
393:Templates
384:Reviewing
349:GA Review
137:Knowledge
86:Main Page
484:Criteria
442:contribs
398:Criteria
159:GA-class
47:reassess
1099:Done. —
597:neutral
586:focus (
490:prose (
268:on the
112:is the
106:volumes
88:in the
1183:=1 . —
610:stable
526:cites
165:scale.
54:Review
1424:Kusma
1410:Kusma
1395:Kusma
1312:Good.
1281:Kusma
1232:Kusma
1185:Kusma
1175:: -->
1170:: -->
1089:Good.
1054:Kusma
794:Kusma
744:Kusma
696:Kusma
556:WP:CV
542:WP:OR
528:WP:RS
452:Kusma
432:Kusma
419:from
1428:talk
1414:talk
1399:talk
1379:talk
1358:talk
1329:talk
1304:talk
1285:talk
1261:talk
1236:talk
1220:talk
1203:talk
1189:talk
1148:talk
1124:talk
1105:talk
1081:talk
1058:talk
977:talk
865:talk
839:talk
813:talk
798:talk
773:talk
748:talk
722:talk
700:talk
686:talk
633:6b.
620:6a.
584:3b.
574:3a.
552:2d.
538:2c.
524:2b.
511:2a.
498:1b.
488:1a.
456:talk
436:talk
337:talk
323:talk
308:talk
607:5.
594:4.
554:no
540:no
501:MoS
260:Low
49:it.
1445::
1430:)
1416:)
1401:)
1381:)
1360:)
1349:.
1331:)
1306:)
1287:)
1263:)
1238:)
1222:)
1205:)
1191:)
1150:)
1126:)
1107:)
1083:)
1060:)
1035:−
979:)
932:−
867:)
841:)
815:)
800:)
775:)
750:)
724:)
702:)
688:)
458:)
444:)
339:)
325:)
310:)
63:).
1426:(
1412:(
1397:(
1377:(
1356:(
1327:(
1302:(
1283:(
1259:(
1234:(
1218:(
1201:(
1187:(
1181:n
1177:n
1173:n
1168:n
1164:n
1146:(
1122:(
1103:(
1079:(
1056:(
1038:1
1031:x
1027:=
1024:0
1004:1
1001:=
998:x
995:0
975:(
959:.
954:)
945:2
941:r
937:1
925:1
921:r
917:1
910:(
903:/
898:1
895:=
890:2
886:r
863:(
837:(
811:(
807:—
796:(
771:(
746:(
720:(
698:(
684:(
641:)
631:)
625:(
618:)
612:(
605:)
599:(
592:)
582:)
564:)
558:(
550:)
544:(
536:)
530:(
522:)
516:(
509:)
503:(
496:)
486::
454:(
439:·
434:(
335:(
321:(
306:(
272:.
171::
129:.
122:?
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.