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/b = a+c/a = b/c−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 ς.

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 ς32ς21=0.

The minimal polynomial for the reciprocal root is the depressed cubic x3+2x1, 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).

Rewrite the minimal polynomial as (x2+1)2=1+x (multiplied by an additional factor of x, which harmlessly adds an additional root of 0); then the iteration x1+1+x results in the continued radical [1] 1/ς=1+1+1+1+

Dividing the defining trinomial x32x21 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/ς.

Properties

Rectangles with aspect ratios related to powers of ς tile the square.

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

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+ς1ς+1ς2=1ς2.

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

in comparison to the silver ratio identities σ=2n=0σ2nσ2=1+2n=0(σ1)n.

For every integer n one has ςn=2ςn1+ςn3=4ςn2+ςn3+2ςn4=ςn1+2ςn2+ςn3+ςn4 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.[3] By definition of these numbers, the absolute value 1/ς of the algebraic conjugates is smaller than 1, so powers of ς generate almost integers.[4] 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)=x32x21 has discriminant Δ=59 and factors into (x21)2(x19)(mod59); the imaginary quadratic field K=(Δ) has class number h=3. Thus, the Hilbert class field of K can be formed by adjoining ς.[5] 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 (ς627ς66)3.[6][7]

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)=x94x8+4x72x6+4x58x4+4x38x2+16x8.

The elliptic integral singular value [8] kr=λ*(r) for r=59 has closed form expression λ*(59)=sin(arcsin(G5912)/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=2Sn1+Sn3 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:limnSn+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 can be extended to negative indices using Sn=Sn+32Sn+2.

The generating function of the sequence is given by [9] 112xx3=n=0Snxn for x<1ς

The third-order Pell numbers are related to sums of binomial coefficients by [10] Sn=k=0n/3(n2kk)2n3k

The characteristic equation of the recurrence is x32x21=0. If the three solutions are real root α and conjugate pair β and γ, the supersilver numbers can be computed with the Binet formula Sn2=aαn+bβn+cγn, with real a and conjugates b and c the roots of 59x3+4x1=0.

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

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

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, ApA1modp. The converse does not hold, but the small number of odd pseudoprimes n(An2) 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.[11]

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=(SnSn2Sn1Sn1Sn3Sn2Sn2Sn4Sn3)

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 {aaabbcca and initiator w0=b. The series of words wn produced by iterating the substitution have the property that the number of c's, b's and a's are equal to successive third-order Pell numbers. The lengths of these words are given by l(wn)=Sn2+Sn3+Sn4.[12]

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.[13]

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.[14]

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:ς21:ς+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.


See also

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

References

  1. Sloane, N. J. A., ed. "Sequence A272874". OEIS Foundation. https://oeis.org/A272874. 
  2. (sequence A137421 in the OEIS)
  3. 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. 
  4. Template:Cite oeis
  5. "Hilbert class field of a quadratic field whose class number is 3". 2012. https://math.stackexchange.com/questions/184423/. 
  6. 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. 
  7. Johansson, Fredrik (2021). "Modular j-invariant". https://fungrim.org/topic/Modular_j-invariant/. "Table of Hilbert class polynomials" 
  8. Weisstein, Eric W.. "Elliptic integral singular value". http://mathworld.wolfram.com/EllipticIntegralSingularValue.html. 
  9. (sequence A008998 in the OEIS)
  10. 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. 
  11. 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. 
  12. for n ≥ 2 (sequence A193641 in the OEIS)
  13. 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/. 
  14. Analogue to the construction in: Crilly, Tony (1994). "A supergolden rectangle". The Mathematical Gazette 78 (483): 320–325. doi:10.2307/3620208.