Quinn et al. (2007) investigated a class of coupled oscillators whose bifurcation phase offset had a conjectured asymptotic behavior of , with an experimental estimate for the constant as (OEIS A131329). Rather amazingly, Bailey et al. (2007) were able to find a closed form for as the unique root of in the interval , where is a Hurwitz zeta function.
A related constant conjectured by Quinn et al. (2007) to exist was defined in terms of
(1)
|
and given by
(2)
|
(OEIS A131330). Even more amazingly, the exact value of this constant was also found by Bailey et al. (2007) without full proof, but with enough to indicate that such a proof could in principle be constructed, to have the exact value
(3)
|