The arc length of a random lemniscate
Transcript of The arc length of a random lemniscate
![Page 1: The arc length of a random lemniscate](https://reader031.fdocuments.us/reader031/viewer/2022012012/61582ee5ef31af2e504bf508/html5/thumbnails/1.jpg)
The arc length of a random lemniscate
Erik Lundberg, Florida Atlantic University
joint work with Koushik Ramachandran
SEAM 2017
![Page 2: The arc length of a random lemniscate](https://reader031.fdocuments.us/reader031/viewer/2022012012/61582ee5ef31af2e504bf508/html5/thumbnails/2.jpg)
Random lemniscates
Topic of my talk last year at SEAM: Random rational lemniscates onthe sphere.
Topic of my talk today: Random polynomial lemniscates in the plane.
![Page 3: The arc length of a random lemniscate](https://reader031.fdocuments.us/reader031/viewer/2022012012/61582ee5ef31af2e504bf508/html5/thumbnails/3.jpg)
Polynomial lemniscates: three guises
I Complex Analysis: pre-image of unit circle under polynomial map
|p(z)| = 1
I Potential Theory: level set of logarithmic potential
log |p(z)| = 0
I Algebraic Geometry: special real-algebraic curve
p(x+ iy)p(x+ iy)− 1 = 0
![Page 4: The arc length of a random lemniscate](https://reader031.fdocuments.us/reader031/viewer/2022012012/61582ee5ef31af2e504bf508/html5/thumbnails/4.jpg)
Polynomial lemniscates: three guises
I Complex Analysis: pre-image of unit circle under polynomial map
|p(z)| = 1
I Potential Theory: level set of logarithmic potential
log |p(z)| = 0
I Algebraic Geometry: special real-algebraic curve
p(x+ iy)p(x+ iy)− 1 = 0
![Page 5: The arc length of a random lemniscate](https://reader031.fdocuments.us/reader031/viewer/2022012012/61582ee5ef31af2e504bf508/html5/thumbnails/5.jpg)
Polynomial lemniscates: three guises
I Complex Analysis: pre-image of unit circle under polynomial map
|p(z)| = 1
I Potential Theory: level set of logarithmic potential
log |p(z)| = 0
I Algebraic Geometry: special real-algebraic curve
p(x+ iy)p(x+ iy)− 1 = 0
![Page 6: The arc length of a random lemniscate](https://reader031.fdocuments.us/reader031/viewer/2022012012/61582ee5ef31af2e504bf508/html5/thumbnails/6.jpg)
Prevalence of lemniscates
I Approximation theory: Hilbert’s lemniscate theorem
I Conformal mapping: Bell representation of n-connected domains
I Holomorphic dynamics: Mandelbrot and Julia lemniscates
I Numerical analysis: Arnoldi lemniscates
I 2-D shapes: proper lemniscates and conformal welding
I Harmonic mapping: critical sets of complex harmonic polynomials
I Gravitational lensing: critical sets of lensing maps
![Page 7: The arc length of a random lemniscate](https://reader031.fdocuments.us/reader031/viewer/2022012012/61582ee5ef31af2e504bf508/html5/thumbnails/7.jpg)
Prevalence of lemniscates
I Approximation theory: Hilbert’s lemniscate theorem
I Conformal mapping: Bell representation of n-connected domains
I Holomorphic dynamics: Mandelbrot and Julia lemniscates
I Numerical analysis: Arnoldi lemniscates
I 2-D shapes: proper lemniscates and conformal welding
I Harmonic mapping: critical sets of complex harmonic polynomials
I Gravitational lensing: critical sets of lensing maps
![Page 8: The arc length of a random lemniscate](https://reader031.fdocuments.us/reader031/viewer/2022012012/61582ee5ef31af2e504bf508/html5/thumbnails/8.jpg)
Prevalence of lemniscates
I Approximation theory: Hilbert’s lemniscate theorem
I Conformal mapping: Bell representation of n-connected domains
I Holomorphic dynamics: Mandelbrot and Julia lemniscates
I Numerical analysis: Arnoldi lemniscates
I 2-D shapes: proper lemniscates and conformal welding
I Harmonic mapping: critical sets of complex harmonic polynomials
I Gravitational lensing: critical sets of lensing maps
![Page 9: The arc length of a random lemniscate](https://reader031.fdocuments.us/reader031/viewer/2022012012/61582ee5ef31af2e504bf508/html5/thumbnails/9.jpg)
Prevalence of lemniscates
I Approximation theory: Hilbert’s lemniscate theorem
I Conformal mapping: Bell representation of n-connected domains
I Holomorphic dynamics: Mandelbrot and Julia lemniscates
I Numerical analysis: Arnoldi lemniscates
I 2-D shapes: proper lemniscates and conformal welding
I Harmonic mapping: critical sets of complex harmonic polynomials
I Gravitational lensing: critical sets of lensing maps
![Page 10: The arc length of a random lemniscate](https://reader031.fdocuments.us/reader031/viewer/2022012012/61582ee5ef31af2e504bf508/html5/thumbnails/10.jpg)
Prevalence of lemniscates
I Approximation theory: Hilbert’s lemniscate theorem
I Conformal mapping: Bell representation of n-connected domains
I Holomorphic dynamics: Mandelbrot and Julia lemniscates
I Numerical analysis: Arnoldi lemniscates
I 2-D shapes: proper lemniscates and conformal welding
I Harmonic mapping: critical sets of complex harmonic polynomials
I Gravitational lensing: critical sets of lensing maps
![Page 11: The arc length of a random lemniscate](https://reader031.fdocuments.us/reader031/viewer/2022012012/61582ee5ef31af2e504bf508/html5/thumbnails/11.jpg)
Prevalence of lemniscates
I Approximation theory: Hilbert’s lemniscate theorem
I Conformal mapping: Bell representation of n-connected domains
I Holomorphic dynamics: Mandelbrot and Julia lemniscates
I Numerical analysis: Arnoldi lemniscates
I 2-D shapes: proper lemniscates and conformal welding
I Harmonic mapping: critical sets of complex harmonic polynomials
I Gravitational lensing: critical sets of lensing maps
![Page 12: The arc length of a random lemniscate](https://reader031.fdocuments.us/reader031/viewer/2022012012/61582ee5ef31af2e504bf508/html5/thumbnails/12.jpg)
Prevalence of lemniscates
I Approximation theory: Hilbert’s lemniscate theorem
I Conformal mapping: Bell representation of n-connected domains
I Holomorphic dynamics: Mandelbrot and Julia lemniscates
I Numerical analysis: Arnoldi lemniscates
I 2-D shapes: proper lemniscates and conformal welding
I Harmonic mapping: critical sets of complex harmonic polynomials
I Gravitational lensing: critical sets of lensing maps
![Page 13: The arc length of a random lemniscate](https://reader031.fdocuments.us/reader031/viewer/2022012012/61582ee5ef31af2e504bf508/html5/thumbnails/13.jpg)
The arc length of a lemniscate
The arclength of Bernoulli’s lemniscate{∣∣z2 − 1∣∣ = 1
}is a famous elliptic integral (of the first kind):
2√
2
∫ 1
0
1√1− x4
dx ≈ 7.416
The same integral shows up in classical statics (length of an elastica)and mechanics (period of a pendulum).
![Page 14: The arc length of a random lemniscate](https://reader031.fdocuments.us/reader031/viewer/2022012012/61582ee5ef31af2e504bf508/html5/thumbnails/14.jpg)
The Erdos lemniscate problem
The Erdos Lemniscate Problem (1958): Find the maximal arclength of a monic polynomial lemniscate of degree n.
Λ := {z ∈ C : |p(z)| = 1} .
I conjectured extremal is p(z) = zn − 1 (the “Erdos lemniscate”)
I shown to be locally extremal (Fryntov, Nazarov, 2008)
I the true extremal has length ∼ 2n (Fryntov, Nazarov, 2008)
![Page 15: The arc length of a random lemniscate](https://reader031.fdocuments.us/reader031/viewer/2022012012/61582ee5ef31af2e504bf508/html5/thumbnails/15.jpg)
The Erdos lemniscate problem
The Erdos Lemniscate Problem (1958): Find the maximal arclength of a monic polynomial lemniscate of degree n.
Λ := {z ∈ C : |p(z)| = 1} .
I conjectured extremal is p(z) = zn − 1 (the “Erdos lemniscate”)
I shown to be locally extremal (Fryntov, Nazarov, 2008)
I the true extremal has length ∼ 2n (Fryntov, Nazarov, 2008)
![Page 16: The arc length of a random lemniscate](https://reader031.fdocuments.us/reader031/viewer/2022012012/61582ee5ef31af2e504bf508/html5/thumbnails/16.jpg)
The Erdos lemniscate problem
The Erdos Lemniscate Problem (1958): Find the maximal arclength of a monic polynomial lemniscate of degree n.
Λ := {z ∈ C : |p(z)| = 1} .
I conjectured extremal is p(z) = zn − 1 (the “Erdos lemniscate”)
I shown to be locally extremal (Fryntov, Nazarov, 2008)
I the true extremal has length ∼ 2n (Fryntov, Nazarov, 2008)
![Page 17: The arc length of a random lemniscate](https://reader031.fdocuments.us/reader031/viewer/2022012012/61582ee5ef31af2e504bf508/html5/thumbnails/17.jpg)
The Erdos lemniscate problem
The Erdos Lemniscate Problem (1958): Find the maximal arclength of a monic polynomial lemniscate of degree n.
Λ := {z ∈ C : |p(z)| = 1} .
I conjectured extremal is p(z) = zn − 1 (the “Erdos lemniscate”)
I shown to be locally extremal (Fryntov, Nazarov, 2008)
I the true extremal has length ∼ 2n (Fryntov, Nazarov, 2008)
![Page 18: The arc length of a random lemniscate](https://reader031.fdocuments.us/reader031/viewer/2022012012/61582ee5ef31af2e504bf508/html5/thumbnails/18.jpg)
What is the arc length of a random lemniscate?
Sample p(z) from the Kac ensemble of random polynomials, andconsider
Λn := {z ∈ C : |p(z)| = 1}.
Q. What is the average length of Λn?
![Page 19: The arc length of a random lemniscate](https://reader031.fdocuments.us/reader031/viewer/2022012012/61582ee5ef31af2e504bf508/html5/thumbnails/19.jpg)
Random samples
Degrees n = 10, 20, 30, 40, 50, 60.
![Page 20: The arc length of a random lemniscate](https://reader031.fdocuments.us/reader031/viewer/2022012012/61582ee5ef31af2e504bf508/html5/thumbnails/20.jpg)
The average length and concentration near constant order
(L., Ramachandran, 2017): The average length approaches a constant,
limn→∞
E|Λn| = C ≈ 8.3882.
Corollary: “The Erdos lemniscate is an outlier.”
Let Ln be any sequence with Ln →∞ as n→∞.By Markov,
Prob{|Λn| ≥ Ln} ≤E|Λn|Ln
= O(L−1n ), as n→∞,
Conjecture: For each 0 < α < 1, length larger than α · n isexponentially rare.
![Page 21: The arc length of a random lemniscate](https://reader031.fdocuments.us/reader031/viewer/2022012012/61582ee5ef31af2e504bf508/html5/thumbnails/21.jpg)
The connected components of a random lemniscate
N(Λn) denotes the number of connected components of Λn.
(L., Ramachandran, 2017):
EN(Λn) ∼ n.
Certificate for appearance of a small component near ζ:p(ζ) = 0
|p′(ζ)| > 2 · n1+α
|p(k)(ζ)| < nk+12+β , for k = 2, 3, .., n
0 < β < α < 1/2 with α− β > 12 − α.
These conditions ensure there is a component in the disk|z − ζ| < n−1−α.
![Page 22: The arc length of a random lemniscate](https://reader031.fdocuments.us/reader031/viewer/2022012012/61582ee5ef31af2e504bf508/html5/thumbnails/22.jpg)
The connected components of a random lemniscate
N(Λn) denotes the number of connected components of Λn.
(L., Ramachandran, 2017):
EN(Λn) ∼ n.
Certificate for appearance of a small component near ζ:p(ζ) = 0
|p′(ζ)| > 2 · n1+α
|p(k)(ζ)| < nk+12+β , for k = 2, 3, .., n
0 < β < α < 1/2 with α− β > 12 − α.
These conditions ensure there is a component in the disk|z − ζ| < n−1−α.
![Page 23: The arc length of a random lemniscate](https://reader031.fdocuments.us/reader031/viewer/2022012012/61582ee5ef31af2e504bf508/html5/thumbnails/23.jpg)
Existence of a giant component
(L., Ramachandran, 2017) Fix r ∈ (0, 1) and let Λn be a random Kaclemniscate. There is a positive probability (depending on r butindependent of n) that Λn has a component with length at least 2πr.
Heuristic, as n→∞ p(z) can be treated as a GAF in the unit disk.There is some probability that such has modulus < 1 on the subdisk ofradius r.
![Page 24: The arc length of a random lemniscate](https://reader031.fdocuments.us/reader031/viewer/2022012012/61582ee5ef31af2e504bf508/html5/thumbnails/24.jpg)
Existence of a giant component
(L., Ramachandran, 2017) Fix r ∈ (0, 1) and let Λn be a random Kaclemniscate. There is a positive probability (depending on r butindependent of n) that Λn has a component with length at least 2πr.
Heuristic, as n→∞ p(z) can be treated as a GAF in the unit disk.There is some probability that such has modulus < 1 on the subdisk ofradius r.
![Page 25: The arc length of a random lemniscate](https://reader031.fdocuments.us/reader031/viewer/2022012012/61582ee5ef31af2e504bf508/html5/thumbnails/25.jpg)
Conclusion
”1% of the components own 99% of the length.”
Future direction: Study the landscape of |p(z)|. How are the singularcomponents arranged?
![Page 26: The arc length of a random lemniscate](https://reader031.fdocuments.us/reader031/viewer/2022012012/61582ee5ef31af2e504bf508/html5/thumbnails/26.jpg)
Thank you!
![Page 27: The arc length of a random lemniscate](https://reader031.fdocuments.us/reader031/viewer/2022012012/61582ee5ef31af2e504bf508/html5/thumbnails/27.jpg)
Rational lemniscates in gravitational lensing
The lensing potential:
κ|z|2 −n∑i=1
mi log |z − zi|
The lensing map (gradient of potential):
z 7→ κz −n∑i=1
mi
z − zi.
The critical set (vanishing of the Jacobian) of this map is a rationallemniscate: {
z ∈ C :
∣∣∣∣∣n∑i=1
mi
(z − zi)2
∣∣∣∣∣ = κ
}.
The caustic: Image of the critical lemniscate under the lensing map.
![Page 28: The arc length of a random lemniscate](https://reader031.fdocuments.us/reader031/viewer/2022012012/61582ee5ef31af2e504bf508/html5/thumbnails/28.jpg)
Rational lemniscates in gravitational lensing
The lensing potential:
κ|z|2 −n∑i=1
mi log |z − zi|
The lensing map (gradient of potential):
z 7→ κz −n∑i=1
mi
z − zi.
The critical set (vanishing of the Jacobian) of this map is a rationallemniscate: {
z ∈ C :
∣∣∣∣∣n∑i=1
mi
(z − zi)2
∣∣∣∣∣ = κ
}.
The caustic: Image of the critical lemniscate under the lensing map.
![Page 29: The arc length of a random lemniscate](https://reader031.fdocuments.us/reader031/viewer/2022012012/61582ee5ef31af2e504bf508/html5/thumbnails/29.jpg)
Rational lemniscates in gravitational lensing
The lensing potential:
κ|z|2 −n∑i=1
mi log |z − zi|
The lensing map (gradient of potential):
z 7→ κz −n∑i=1
mi
z − zi.
The critical set (vanishing of the Jacobian) of this map is a rationallemniscate: {
z ∈ C :
∣∣∣∣∣n∑i=1
mi
(z − zi)2
∣∣∣∣∣ = κ
}.
The caustic: Image of the critical lemniscate under the lensing map.
![Page 30: The arc length of a random lemniscate](https://reader031.fdocuments.us/reader031/viewer/2022012012/61582ee5ef31af2e504bf508/html5/thumbnails/30.jpg)
Rational lemniscates in gravitational lensing
The lensing potential:
κ|z|2 −n∑i=1
mi log |z − zi|
The lensing map (gradient of potential):
z 7→ κz −n∑i=1
mi
z − zi.
The critical set (vanishing of the Jacobian) of this map is a rationallemniscate: {
z ∈ C :
∣∣∣∣∣n∑i=1
mi
(z − zi)2
∣∣∣∣∣ = κ
}.
The caustic: Image of the critical lemniscate under the lensing map.
![Page 31: The arc length of a random lemniscate](https://reader031.fdocuments.us/reader031/viewer/2022012012/61582ee5ef31af2e504bf508/html5/thumbnails/31.jpg)
Caustics and cusps
Petters and Witt (1996) observed a transition to no cusps while tuningκ.
How many cusps are on a random caustic?
![Page 32: The arc length of a random lemniscate](https://reader031.fdocuments.us/reader031/viewer/2022012012/61582ee5ef31af2e504bf508/html5/thumbnails/32.jpg)
The spherical length of rational lemniscates
A. Eremenko and W. Hayman (1999) posed and solved a sphericalversion of the Erdos lemniscate problem:
Spherical Lemniscate Problem: Find the maximal spherical length ofa rational lemniscate of degree n.
Answer: The maximum is exactly 2πn.
Q. What is the average length of |Γ|?
Answer (Lerario, L., 2016)
E|Γ| = π2
2
√n.
![Page 33: The arc length of a random lemniscate](https://reader031.fdocuments.us/reader031/viewer/2022012012/61582ee5ef31af2e504bf508/html5/thumbnails/33.jpg)
The spherical length of rational lemniscates
A. Eremenko and W. Hayman (1999) posed and solved a sphericalversion of the Erdos lemniscate problem:
Spherical Lemniscate Problem: Find the maximal spherical length ofa rational lemniscate of degree n.
Answer: The maximum is exactly 2πn.
Q. What is the average length of |Γ|?
Answer (Lerario, L., 2016)
E|Γ| = π2
2
√n.
![Page 34: The arc length of a random lemniscate](https://reader031.fdocuments.us/reader031/viewer/2022012012/61582ee5ef31af2e504bf508/html5/thumbnails/34.jpg)
The spherical length of rational lemniscates
A. Eremenko and W. Hayman (1999) posed and solved a sphericalversion of the Erdos lemniscate problem:
Spherical Lemniscate Problem: Find the maximal spherical length ofa rational lemniscate of degree n.
Answer: The maximum is exactly 2πn.
Q. What is the average length of |Γ|?
Answer (Lerario, L., 2016)
E|Γ| = π2
2
√n.
![Page 35: The arc length of a random lemniscate](https://reader031.fdocuments.us/reader031/viewer/2022012012/61582ee5ef31af2e504bf508/html5/thumbnails/35.jpg)
The spherical length of rational lemniscates
A. Eremenko and W. Hayman (1999) posed and solved a sphericalversion of the Erdos lemniscate problem:
Spherical Lemniscate Problem: Find the maximal spherical length ofa rational lemniscate of degree n.
Answer: The maximum is exactly 2πn.
Q. What is the average length of |Γ|?
Answer (Lerario, L., 2016)
E|Γ| = π2
2
√n.
![Page 36: The arc length of a random lemniscate](https://reader031.fdocuments.us/reader031/viewer/2022012012/61582ee5ef31af2e504bf508/html5/thumbnails/36.jpg)
Average length and integral geometry
Integral geometry formula for length of Γ:
|Γ|π
=
∫SO(3)
|Γ ∩ gS1|dg
Taking expectation on both sides:
E|Γ| = π
∫SO(3)
E|Γ ∩ gS1|dg.
Rotational invariance =⇒ dg integrand is constant.Thus, the average length
E|Γ| = πE|Γ ∩ S1|
reduces to a one-dimensional Kac-Rice problem.
![Page 37: The arc length of a random lemniscate](https://reader031.fdocuments.us/reader031/viewer/2022012012/61582ee5ef31af2e504bf508/html5/thumbnails/37.jpg)
Hilbert’s sixteenth problem restricted to lemniscates
Hilbert’s sixteenth problem for real algebraic curves: Study thenumber of connected components and classify the possiblearrangements of components.
Specialized to lemniscates, this problem has a complete solution:
For a rational lemniscate of degree n the number of components is atmost n, and any arrangement of up to n components can occur.
![Page 38: The arc length of a random lemniscate](https://reader031.fdocuments.us/reader031/viewer/2022012012/61582ee5ef31af2e504bf508/html5/thumbnails/38.jpg)
Hilbert’s sixteenth problem restricted to lemniscates
Hilbert’s sixteenth problem for real algebraic curves: Study thenumber of connected components and classify the possiblearrangements of components.
Specialized to lemniscates, this problem has a complete solution:
For a rational lemniscate of degree n the number of components is atmost n, and any arrangement of up to n components can occur.
![Page 39: The arc length of a random lemniscate](https://reader031.fdocuments.us/reader031/viewer/2022012012/61582ee5ef31af2e504bf508/html5/thumbnails/39.jpg)
Random rational lemniscates
Randomize the rational lemniscate
Γ =
{z ∈ C :
∣∣∣∣p(z)q(z)
∣∣∣∣ = 1
}by randomizing the coefficients of p and q:
p(z) =
n∑k=0
akzk, and q(z) =
n∑k=0
bkzk,
where ak and bk are independent complex Gaussians:
ak ∼ NC
(0,
(n
k
)), bk ∼ NC
(0,
(n
k
)).
![Page 40: The arc length of a random lemniscate](https://reader031.fdocuments.us/reader031/viewer/2022012012/61582ee5ef31af2e504bf508/html5/thumbnails/40.jpg)
Random samples plotted on the Riemann sphere
Degree n = 100, 200, 300, 400, 500.
![Page 41: The arc length of a random lemniscate](https://reader031.fdocuments.us/reader031/viewer/2022012012/61582ee5ef31af2e504bf508/html5/thumbnails/41.jpg)
Lemniscates in approximation theory
Hilbert’s lemniscate theorem: Polynomial lemniscates are dense inthe space of closed Jordan curves.
Given a closed Jordan curve G and ε > 0 there exists a lemniscate Γthat contains G in its interior with dist(z,G) < ε for each z ∈ Γ.
![Page 42: The arc length of a random lemniscate](https://reader031.fdocuments.us/reader031/viewer/2022012012/61582ee5ef31af2e504bf508/html5/thumbnails/42.jpg)
Lemniscates in potential theory
For polynomial lemniscate domains {z : |p(z)| > 1} the function
1
nlog |p(z)|
is the harmonic Green’s function with pole at infinity.
![Page 43: The arc length of a random lemniscate](https://reader031.fdocuments.us/reader031/viewer/2022012012/61582ee5ef31af2e504bf508/html5/thumbnails/43.jpg)
Lemniscates in conformal geometry
Bell representation of multiply-connected domains:
Every non-degenerate n-connected planar domain is conformallyequivalent to some lemniscate domain of the form:{
z ∈ C :
∣∣∣∣∣z +
n−1∑k=1
akz − bk
∣∣∣∣∣ < r
}.
(such domains have algebraic Bergman and Szego kernels)
![Page 44: The arc length of a random lemniscate](https://reader031.fdocuments.us/reader031/viewer/2022012012/61582ee5ef31af2e504bf508/html5/thumbnails/44.jpg)
Lemniscates in holomorphic dynamics
(Mandelbrot lemniscates.)
![Page 45: The arc length of a random lemniscate](https://reader031.fdocuments.us/reader031/viewer/2022012012/61582ee5ef31af2e504bf508/html5/thumbnails/45.jpg)
Lemniscates in numerical analysis
Arnoldi lemniscates: Iteration scheme used for approximating thelargest eigenvalue of a large matrix.
![Page 46: The arc length of a random lemniscate](https://reader031.fdocuments.us/reader031/viewer/2022012012/61582ee5ef31af2e504bf508/html5/thumbnails/46.jpg)
Lemniscates in 2-D shape compression
D. Mumford and E. Sharon proposed a conformal welding procedure to“fingerprint” 2-dimensional shapes using diffeomorphisms of the circle.
If the shape is assumed to be a lemniscate the corresponding fingerprintis the nth root of a finite Blaschke product (P. Ebenfelt, D. Khavinson,and H.S. Shapiro).
![Page 47: The arc length of a random lemniscate](https://reader031.fdocuments.us/reader031/viewer/2022012012/61582ee5ef31af2e504bf508/html5/thumbnails/47.jpg)
Lemniscates as critical sets of harmonic mappings
The polynomial planar harmonic mapping
z 7→ p(z) + q(z)
has a critical set that is a rational lemnsicate:{z ∈ C :
∣∣∣∣p′(z)q′(z)
∣∣∣∣ = 1
}.
So-called “lensing maps” (from gravitational lensing theory)
z 7→ z −n∑i=1
mi
z − zi,
also have critical sets that are rational lemniscates:{z ∈ C :
∣∣∣∣∣n∑i=1
mi
(z − zi)2
∣∣∣∣∣ = 1
}.
![Page 48: The arc length of a random lemniscate](https://reader031.fdocuments.us/reader031/viewer/2022012012/61582ee5ef31af2e504bf508/html5/thumbnails/48.jpg)
Lemniscates in classical Mathematics
The arclength of Bernoulli’s lemniscate{∣∣z2 − 1∣∣ = 1
}is a famous elliptic integral (of the first kind):
2√
2
∫ 1
0
1√1− x4
dx ≈ 7.416
The same integral shows up in classical statics (length of an elastica)and mechanics (period of a pendulum).