login

Year-end appeal: Please make a donation to the OEIS Foundation to support ongoing development and maintenance of the OEIS. We are now in our 61st year, we have over 378,000 sequences, and we’ve reached 11,000 citations (which often say “discovered thanks to the OEIS”).

A138282
Decimal expansion of the real part of z0, the smallest nonzero first-quadrant solution of z = Sin(z).
3
7, 4, 9, 7, 6, 7, 6, 2, 7, 7, 7, 7, 6, 3, 8, 5, 4, 9, 8, 2, 7, 2, 3, 2, 4, 9, 9, 6, 5, 8, 9, 9, 3, 5, 9, 9, 9, 5, 0, 5, 5, 2, 2, 0, 3, 2, 0, 5, 0, 8, 6, 2, 0, 3, 9, 8, 0, 8, 1, 7, 1, 0, 2, 7, 4, 7, 2, 8, 6, 3, 0, 5, 4, 4, 8, 6, 7, 8, 9, 3, 5, 3, 7, 2, 7, 2, 6, 2, 9, 9, 7, 3, 2, 5, 1, 5, 3, 6, 4, 9, 0, 0, 3, 7, 0
OFFSET
1,1
COMMENTS
z0 is a repelling fixed point of Sin(z). The constant z0 appears in the paper by Shenderov.
From Jianing Song, Oct 11 2021: (Start)
Real root of cos(x) * sqrt((x/sin(x))^2 - 1) - arccosh(x/sin(x)) = 0 in the range (2*Pi, 2.5*Pi).
In general, all roots of sin(z) = z are given by z = 0 and z = +-(x_k)+-(y_k)*i, where x_k is the root of cos(x) * sqrt((x/sin(x))^2 - 1) - arccosh(x/sin(x)) = 0 in the range (2*k*Pi, (2*k+1/2)*Pi), y_k is the positive root of cosh(y) * sqrt(1 - (y/sinh(y))^2) - arccos(y/sinh(y)) = 2*k*Pi. (End)
EXAMPLE
7.497676277776385498272325...
MATHEMATICA
z0 = FindRoot[{Re[Sin[x+I*y]]==x, Im[Sin[x+I*y]]==y}, {{x, 7}, {y, 3}}, WorkingPrecision->150]; RealDigits[z0[[1, 2]]]
PROG
(PARI) solve(x=7.4, 7.5, cos(x) * sqrt((x/sin(x))^2 - 1) - log(x/sin(x) + sqrt((x/sin(x))^2 - 1))) \\ Jianing Song, Oct 11 2021
CROSSREFS
Cf. A138283 (imaginary part), A348297 (real part of the second nontrivial root), A348298 (imaginary part of the second nontrivial root).
Sequence in context: A199448 A110644 A117028 * A198572 A155823 A195452
KEYWORD
cons,nonn
AUTHOR
T. D. Noe, Mar 12 2008
STATUS
approved