Supersilver ratio

From HandWiki
Short description: Number, approximately 2.20557

Template:Infobox non-integer number In mathematics, the supersilver ratio is a geometrical proportion, given by the unique real solution of the equation x3 = 2x2 + 1. Its decimal expansion begins with 2.2055694304005903... (sequence A356035 in the OEIS).

The name supersilver ratio is by analogy with the silver ratio, the positive solution of the equation x2 = 2x + 1, and the supergolden ratio.

Definition

ς = ⁠a+d/a⁠ = ⁠a/b⁠ = ⁠b/d−a⁠. For b = 1 the boxes have volumes ς3 = ς2 + 1 (red) + ς2 (green).

Three quantities a > b > c > 0 are in the supersilver ratio if 2a+ca=ab=bc. This ratio is commonly denoted ς.[lower-alpha 1]

Substituting a=ςb=ς2c in the first fraction gives ς=2ς2c+cς2c. It follows that the supersilver ratio is the unique real solution of the cubic equation ς3−2ς2−1=0.

The minimal polynomial for the reciprocal root is the depressed cubic x3+2x−1, thus the simplest solution with Cardano's formula, w1,2=(1±13593)/21/ς=w13+w23 or, using the hyperbolic sine, 1/ς=−223sinh⁡(13arsinh⁡(−3432)).

1/ς is the superstable fixed point of the iteration x←(2x3+1)/(3x2+2).

Dividing the defining trinomial x3−2x2−1 by x−ς one obtains x2+x/ς2+1/ς, and the conjugate elements of ς are x1,2=(−1±i8ς2+3)/2ς2, with x1+x2=2−ς and x1x2=1/ς.

Multiply the minimal polynomial by x, and rearrange the relation as (x2+1)2=x+1. This results in the iteration xn+1←−1+|1+xn, with initial value x0>0, and the continued radical [1] 1/ς=−1+1+−1+|1+⋯

Its counterpart is found by using polynomial f:z3+z2−z−2, which has real zero ς−1.[2] Multiply f by z−1, then (z2−1)2=z−1, and the corresponding iteration with z0>1 gives ς−1=1+−1+1+|−1+⋯

Supersilver Julia sets

Julia set (in black) of the map z ← ⁠2 − z2/z2 − 1⁠ with fixed point zf = ς − 1.
Julia set of the map r ← ⁠4 − r2/r2 − 2⁠ with fixed point rf = 2 / (ς − 1).

Both images are centred at critical point 0. Critical value −2 is on the left border, the negative pole is at the cross, and the real fixed point is on the right hand side.

Both systems have linear convergence rate log104(ς−1)ς=0.340... In order to improve this constant, divide both sides of z3=z(1−z)+2 by z, and substitute 1/ς=1/(z+1) for 2/z−z, resulting in the iteration zn+1←1+11+zn, and the continued reciprocal square root ς−1=1+11+1+11+1+11+⋱

For complex initial points z0 other than −1 this method converges with linear rate log102(ς2+1)=1.069..., provided the principal root is chosen at each step. If randomly either the principal root or its negative is picked, the orbit of z0 is attracted to a simple closed curve, which is the Julia set J of the backward iteration zn−1←1zn2−1−1.

The critical points zc for which the derivative −2z/(z2−1)2 vanishes are 0 and −∞. The latter is mapped into the right neighborhood of the pole zp=−1 and vice versa, so {−∞,−1} is the single attracting limit set.

On J, the repelling fixed points zf are the zeros of f, namely ς−1, and (−ς±i7−ς2ς−1)/2 (the centers of the largest spirals in the left half of the image) with divergence rate 12log108ς2+1=0.067... The first preimages of ς−1 are 1−ς, and the purely imaginary conjugates ±iς2−1.

The counterpart of this system, with equal rate of convergence, is derived from r3=r(2−r)+4 with real root 2ς−1, numerically 1.658967...[3] Divide both sides by r, and substitute 2/ς(ς−1)=2/(r+1) for 4/r−r, resulting in the iterations rn+1←2+21+rn and rn−1←2rn2−2−1. The backward iteration has derivative −4r/(r2−2)2, thus the critical points −∞ and 0 remain unchanged, and the attracting limit set is {−2,0}.

On the corresponding Julia set, the repelling fixed points (−ς−1ς±i(7−ς2)(ς−1))/2 have divergence rate as above. The preimages of 2ς−1 are 21−ς, and the conjugates ±2iς2−1.

Properties

Rectangles with aspect ratios ς−1, ⁠ς/ς−1⁠, and ς tile the square.

The growth rate of the average value of the n-th term of a random Fibonacci sequence is ς−1.[4]

The defining equation can be written 1=1ς−1+1ς2+1=1ς+ς−1ς+1+ς−2ς−1.

The supersilver ratio can be expressed in terms of itself as fractions (ς−1)2=ς+1ςς=ςς−1+ς−1ς+1ς(ς−1)=ς+1ς=ς+1ς−1ς2−1=ς+2ς−1=1ς−2−1.

Similarly as the infinite geometric series ςς−1=∑n=0∞ς−nς(ς−1)3=∑n=0∞ς−2nς2=∑n=0∞ς−3n,

in comparison to the silver ratio identities σσ−1=∑n=0∞σ−nσ2=∑n=0∞σ−2nσ2σ+3=∑n=0∞σ−3n.

For every integer n one has ςn=2ςn−1+ςn−3=4ςn−2+ςn−3+2ςn−4=ςn−1+2ςn−2+ςn−3+ςn−4 from this an infinite number of further relations can be found.

Continued fraction pattern of a few low powers ς−2=[0;4,1,6,2,1,1,1,1,1,1,...]≈0.2056(524)ς−1=[0;2,4,1,6,2,1,1,1,1,1,...]≈0.4534(511)ς0=[1]ς1=[2;4,1,6,2,1,1,1,1,1,1,...]≈2.2056(5324)ς2=[4;1,6,2,1,1,1,1,1,1,2,...]≈4.8645(7315)ς3=[10;1,2,1,2,4,4,2,2,6,2,...]≈10.729(11811)

As derived from its continued fraction expansion, the simplest rational approximations of ς are:94,115,5324,7534,16173,236107,397180,633287,1030467,1663754,26931221,70493196,…

Newton's method for p(z) = z3 − 2z2 − 1: ς (right) and its complex conjugates at the nuclei of their basins of attraction. Julia set of the Newton map in orange, with unit circle and real curve for reference.

The supersilver ratio is a Pisot number.[5] By definition of these numbers, the absolute value 1/ς of the algebraic conjugates is smaller than 1, so powers of ς generate almost integers.[6] For example: ς10=2724.00146856... ≈2724+1/681. After ten rotation steps the phases of the inward spiraling conjugate pair – initially close to ±45π/82 – nearly align with the imaginary axis.

The minimal polynomial of the supersilver ratio m(x)=x3−2x2−1 has discriminant Δ=−59 and factors into (x−21)2(x−19)(mod59); the imaginary quadratic field K=ℚ(Δ) has class number h=3. Thus, the Hilbert class field of K can be formed by adjoining ς.[7] With argument τ=(1+Δ)/2 a generator for the ring of integers of K, the real root  j(τ) of the Hilbert class polynomial is given by (ς−6−27ς6−6)3.[8][9]

The Weber-Ramanujan class invariant is approximated with error < 3.5 ∙ 10−20 by 2𝔣(Δ)=24G59≈(eπ−Δ+24)1/24, while its true value is the single real root of the polynomial W59(x)=x9−4x8+4x7−2x6+4x5−8x4+4x3−8x2+16x−8.

The elliptic integral singular value [10] kr=λ*(r) for r=59 has closed form expression λ*(59)=sin⁡(arcsin⁡(G59−12)/2) (which is less than 1/294 the eccentricity of the orbit of Venus).

Third-order Pell sequences

Hop o' my Thumb: a supersilver Rauzy fractal of type a ↦ baa. The fractal boundary has box-counting dimension 1.22
A supersilver Rauzy fractal of type c ↦ bca, with areas in the ratios ς2 + 1 : ς (ς − 1) : ς : 1.

These numbers are related to the supersilver ratio as the Pell numbers and Pell-Lucas numbers are to the silver ratio.

The fundamental sequence is defined by the third-order recurrence relation Sn=2Sn−1+Sn−3 for n>2, with initial values S0=1,S1=2,S2=4.

The first few terms are 1, 2, 4, 9, 20, 44, 97, 214, 472, 1041, 2296, 5064,... (sequence A008998 in the OEIS). The limit ratio between consecutive terms is the supersilver ratio:limn→∞Sn+1/Sn=ς.

The first 8 indices n for which Sn is prime are n = 1, 6, 21, 114, 117, 849, 2418, 6144. The last number has 2111 decimal digits.

The sequence is extended to negative indices using Sn=Sn+3−2Sn+2, obtaining (1), 0, 0, 1, 0,−2, 1, 4,−4,−7,12,10,...

Powers of the supersilver ratio can be written with third-order Pell numbers as quadratic coefficients ςn=ς2Sn−2+ςSn−4+Sn−3, which is proved by mathematical induction on n. This relation also holds for n<0. The order of the coefficients corresponds to the bottom row of matrix Q below.

The generating function of the sequence for non-negative n is given by [11] 11−2x−x3=∑n=0∞Snxn for x<1ς

The third-order Pell numbers are related to sums of binomial coefficients by [12] Sn=∑k=0⌊n/3⌋(n−2kk)⋅2n−3k

The characteristic equation of the recurrence is x3−2x2−1=0. If the three solutions are real root ς and conjugate pair β and γ, the supersilver numbers are given by the Binet formula Sn−1=aςn+bβn+cγn, with real a and conjugates b and c the roots of 59x3−6x−1=0.

Since |bβn+cγn|<ς−n/2, the number Sn is the nearest integer to aςn+1, with n≥0 and coefficient a=ς2/(ς3+2)= 0.3821595259060121635462213...

Coefficients a=b=c=1 result in the Binet formula for the related sequence An=Sn+2Sn−3.

The first few terms are 3, 2, 4, 11, 24, 52, 115, 254, 560, 1235, 2724, 6008,... (sequence A332647 in the OEIS).

This third-order Pell-Lucas sequence has the Fermat property: if p is prime, Ap≡A1modp. The converse does not hold, but the small number of odd pseudoprimes n∣(An−2) makes the sequence special. The 14 odd composite numbers below 108 to pass the test are n = 32, 52, 53, 315, 99297, 222443, 418625, 9122185, 32572, 11889745, 20909625, 24299681, 64036831, 76917325.[13]

The Pilgrim: a supersilver Rauzy fractal of type a ↦ aba. The three subtiles have areas in ratio ς.

The third-order Pell numbers are obtained as integral powers n > 3 of a matrix with real eigenvalue ς Q=(201100010),

Qn=(SnSn−2Sn−1Sn−1Sn−3Sn−2Sn−2Sn−4Sn−3)

The trace of Qn gives the above An.

Alternatively, Q can be interpreted as incidence matrix for a D0L Lindenmayer system on the alphabet {a,b,c} with corresponding substitution rule {a↦aabb↦cc↦a and initiator w0=b. The series of words wn produced by iterating the substitution have lengths l(wn)=Sn−2+Sn−3+Sn−4.[14] The number of c, b and a's in each word is equal to successive third-order Pell numbers.

Associated to this string rewriting process is a compact set composed of self-similar tiles called the Rauzy fractal, that visualizes the combinatorial information contained in a multiple-generation three-letter sequence.[15]

Supersilver rectangle

Powers of ς within a supersilver rectangle.

Given a rectangle of height 1, length ς and diagonal length ςς−1. The triangles on the diagonal have altitudes 1/ς−1; each perpendicular foot divides the diagonal in ratio ς2.

On the right-hand side, cut off a square of side length 1 and mark the intersection with the falling diagonal. The remaining rectangle now has aspect ratio 1+1/ς2:1 (according to ς=2+1/ς2). Divide the original rectangle into four parts by a second, horizontal cut passing through the intersection point.[16]

The parent supersilver rectangle and the two scaled copies along the diagonal have linear sizes in the ratios ς:ς−1:1. The areas of the rectangles opposite the diagonal are both equal to (ς−1)/ς, with aspect ratios ς(ς−1) (below) and ς/(ς−1) (above).

If the diagram is further subdivided by perpendicular lines through the feet of the altitudes, the lengths of the diagonal and its seven distinct subsections are in ratios ς2+1:ς2:ς2−1:ς+1: ς(ς−1):ς:2/(ς−1):1.

Supersilver spiral

Supersilver spirals with different initial angles on a ς− rectangle.

A supersilver spiral is a logarithmic spiral that gets wider by a factor of ς for every quarter turn. It is described by the polar equation r(θ)=aexp⁡(kθ), with initial radius a and parameter k=2πln⁡(ς). If drawn on a supersilver rectangle, the spiral has its pole at the foot of altitude of a triangle on the diagonal and passes through vertices of rectangles with aspect ratio ς(ς−1) which are perpendicularly aligned and successively scaled by a factor ς−1. The pole of the spiral divides the diagonal of the lower right rectangle in ratio ς.


See also

Solutions of equations similar to x3=2x2+1:

Notes

  1. ↑ a + c = d in the vector image on the right.

References

  1. ↑ (sequence A272874 in the OEIS)
  2. ↑ (sequence A137421 in the OEIS)
  3. ↑ (sequence A348909 in the OEIS)
  4. ↑ (sequence A137421 in the OEIS)
  5. ↑ Panju, Maysum (2011). "A systematic construction of almost integers". The Waterloo Mathematics Review 1 (2): 35–43. https://mathreview.uwaterloo.ca/archive/voli/2/panju.pdf. 
  6. ↑ Template:Cite oeis
  7. ↑ "Hilbert class field of a quadratic field whose class number is 3". 2012. https://math.stackexchange.com/questions/184423/. 
  8. ↑ Berndt, Bruce C.; Chan, Heng Huat (1999). "Ramanujan and the modular j-invariant". Canadian Mathematical Bulletin 42 (4): 427–440. doi:10.4153/CMB-1999-050-1. 
  9. ↑ Johansson, Fredrik (2021). "Modular j-invariant". https://fungrim.org/topic/Modular_j-invariant/. "Table of Hilbert class polynomials" 
  10. ↑ Weisstein, Eric W.. "Elliptic integral singular value". http://mathworld.wolfram.com/EllipticIntegralSingularValue.html. 
  11. ↑ (sequence A008998 in the OEIS)
  12. ↑ Mahon, Br. J. M.; Horadam, A. F. (1990). "Third-order diagonal functions of Pell polynomials". The Fibonacci Quarterly 28 (1): 3–10. doi:10.1080/00150517.1990.12429513. 
  13. ↑ Only one of these is a 'restricted pseudoprime' as defined in: Adams, William; Shanks, Daniel (1982). "Strong primality tests that are not sufficient". Mathematics of Computation (American Mathematical Society) 39 (159): 255–300. doi:10.1090/S0025-5718-1982-0658231-9. 
  14. ↑ for n ≥ 2 (sequence A193641 in the OEIS)
  15. ↑ Siegel, Anne; Thuswaldner, Jörg M. (2009). "Topological properties of Rauzy fractals". Mémoires de la Société Mathématique de France. 2 118: 1–140. doi:10.24033/msmf.430. http://numdam.org/item/MSMF_2009_2_118__1_0/. 
  16. ↑ Analogue to the construction in: Crilly, Tony (1994). "A supergolden rectangle". The Mathematical Gazette 78 (483): 320–325. doi:10.2307/3620208.