Doubled rectangle extremal-length duality

ID: doubled-rectangle-extremal-length-duality

Glue two copies of along their left, bottom and right sides. Their unglued top sides form the outer boundary of a disk; the two bottom corners are marked interior points. Let be the loops surrounding both points, and the boundary-to-boundary crosscuts separating them. Then .
Each vertical seam joins a marked point to the outer boundary, so the Jordan curve theorem forces a loop surrounding both points to meet both seams. In the flat conformal metric, its total horizontal travel is therefore at least . Doubled horizontal segments attain this length. Each separating crosscut meets the bottom seam and starts and ends at height , so its total vertical travel is at least ; doubled vertical segments attain it. The total area is .
For an arbitrary density, integrate the lengths of the doubled horizontal segments over their height. The Cauchy-Schwarz inequality yields . Doubled vertical segments similarly give . These upper bounds equal the flat-metric ratios, proving both displayed formulas. Mapping the upper and lower halves of a disc to these rectangles gives the corresponding duality for a simply connected domain with two marked interior points.
Figure 1.
Two rectangles glued along three sides give loop length 2w, crosscut length 2h and total area 2wh
. Details.

New to topics? Read the docs here!