This MathWorld how was defined the Dottie number. I want to know what should be a good way to define a different constant involving the Gudermannian function $\operatorname{gd}(x)$. See this MathWorld for the definition of this special function.
My definition is the solution of $$1-x=\operatorname{gd}(x),\tag{1}$$
(I don't know if there is a more natural definiton) and Wolfram Alpha online calculator with code
solve gd(x)=1-x
provide us a good approximation $$r\approx 0.51041\ldots,$$ and more digits.
Question. What is a right way, and with what numerical method, to justify a good approximation of our $r$ defined as $$1-r=\operatorname{gd}(r)?$$ Isn't required the calculations, only the name of the numerical method and with what identity one should to work, a) with the integral representation for the Gudermannian function or well b) with the relationship involving the inverse tangent function? Thus I am asking about this draft: with what expression I work and with what numerical method. Many thanks.
The point behind the "Dottie number" is that if you iterate the cosine function, you will converge to a fixed point of that function. That is we find a solution of the equation $$\cos(x) = x.$$
It's important that one side be the identity. Thus, I guess the most obvious thing to do is to write your equation as $$1-\text{gd}(x) = x$$ and then iterate the function $f(x) = 1-\text{gd}(x)$. We can do so in WolframAlpha like by typing
NestList[1 - Gudermannian[#] &, 1.0, 120].We clearly see convergence. The general topic is called fixed point iteration and we can expect convergence when the value of the derivative at the fixed point is less than one in absolute value - which is is in this case. In fact, the derivative of $0 < \text{gd}'(x) \leq 1$ for all $x$ so that (like the cosine) we can expect convergence to the fixed point for all starting values.
More precisely, if $f(x) = 1-\text{gd}(x)$, then $f'(x) \approx -0.882526$, as we can compute on WolframAlpha. As a result, we expect somewhat weakly attracting fixed point. Here's an illustration: