Lakes of Wada
In mathematics, the lakes of Wada (和田の湖 Wada no mizuumi?) are three disjoint connected open sets of the plane or open unit square with the counterintuitive property that they all have the same boundary.
More than two sets with the same boundary are said to have the Wada property; examples include Wada basins in dynamical systems.
The lakes of Wada were introduced by Kunizō Yoneyama (1917, page 60), who credited the discovery to Takeo Wada. His construction is similar to the construction by Brouwer (1910) of an indecomposable continuum, and in fact it is possible for the common boundary of the three sets to be an indecomposable continuum.
Construction of the lakes of Wada
The Lakes of Wada are formed by starting with a closed unit square of dry land, and then digging 3 lakes according to the following rule:
- On day n = 1, 2, 3,... extend lake n mod 3 (=0, 1, 2) so that it is open and connected and passes within a distance 1/n of all remaining dry land. This should be done so that the remaining dry land remains homeomorphic to a closed unit square.
After an infinite number of days, the three lakes are still disjoint connected open sets, and the remaining dry land is the boundary of each of the 3 lakes.
For example, the first five days might be (see the image on the right):
- Dig a blue lake of width 1/3 passing within √2/3 of all dry land.
- Dig a red lake of width 1/32 passing within √2/32 of all dry land.
- Dig a green lake of width 1/33 passing within √2/33 of all dry land.
- Extend the blue lake by a channel of width 1/34 passing within √2/34 of all dry land. (The small channel connects the thin blue lake to the thick one, near the middle of the image.)
- Extend the red lake by a channel of width 1/35 passing within √2/35 of all dry land. (The tiny channel connects the thin red lake to the thick one, near the top left of the image.)
A variation of this construction can produce a countable infinite number of connected lakes with the same boundary: instead of extending the lakes in the order 1, 2, 0, 1, 2, 0, 1, 2, 0, ...., extend them in the order 0, 0, 1, 0, 1, 2, 0, 1, 2, 3, 0, 1, 2, 3, 4, ...and so on.
Wada basins are certain special basins of attraction studied in the mathematics of non-linear systems. A basin having the property that every neighborhood of every point on the boundary of that basin intersects at least three basins is called a Wada basin, or said to have the Wada property. Unlike the Lakes of Wada, Wada basins are often disconnected.
An example of Wada basins is given by the Newton–Raphson method applied to a cubic polynomial with distinct roots, such as z3 − 1; see the picture.
A physical system that demonstrates Wada basins is the pattern of reflections between three spheres in contact—see chaotic scattering.
Wada basins in chaos theory
In chaos theory, Wada basins arise very frequently. Usually, the Wada property can be seen in the basin of attraction of dissipative dynamical systems. But the exit basins of Hamiltonian system can also show the Wada property. In the context of the chaotic scattering of systems with multiple exit, basin of exit shows the Wada property. M. A. F. Sanjuán et. al  had shown that in the Henon-Heiles system the exit basins have this Wada property.
- Breban, Romulus; Nusse, H E. (2005), "On the creation of Wada basins in interval maps through fixed point tangent bifurcation", Physica D, 207 (1–2): 52–63, doi:10.1016/j.physd.2005.05.012
- Brouwer, L. E. J. (1910), "Zur Analysis Situs", Mathematische Annalen, 68 (3): 422–434, doi:10.1007/BF01475781
- Coudene, Yves (2006), "Pictures of hyperbolic dynamical systems" (PDF), Notices of the American Mathematical Society, 53 (1): 8–13, ISSN 0002-9920, MR 2189945
- Gelbaum, Bernard R.; Olmsted, John M. H. (2003), Counterexamples in analysis, Mineola, N.Y.: Dover Publications, ISBN 0-486-42875-3 example 10.13
- Hocking, J. G.; Young, G. S. (1988), Topology, New York: Dover Publications, p. 144, ISBN 0-486-65676-4
- Kennedy, J; Yorke, J.A. (1991), "Basins of Wada", Physica D, 51: 213–225, doi:10.1016/0167-2789(91)90234-Z
- Sweet, D.; Ott, E.; Yorke, J. A. (1999), "Complex topology in Chaotic scattering: A Laboratory Observation", Nature, 399 (6734): 315, doi:10.1038/20573
- Yoneyama, Kunizô (1917), "Theory of Continuous Set of Points", Tôhoku Mathematical Journal, 12: 43–158