AI 中文总结
该研究针对Vuorinen提出的关于逆格罗茨模牛顿迭代的两个问题，证明了其全局收敛性与单调性，明确了迭代行为的拐点特征，并得到$y>\pi$时的严格估计。
AI 中文摘要
令$\mu(r)=\frac{\pi}{2}\frac{\Kc(r')}{\Kc(r)}$，其中$r'=\sqrt{1-r^2}$，$0<r<1$，为格罗茨模函数。Vuorinen的一篇综述中的问题3.38(a)-(b)询问：以$x_0=1/\cosh y$为初始值的$\mu^{-1}(y)$的牛顿迭代是否对所有$y>\pi/2$收敛，且当$y>\pi$时是否严格递增。我们证明了这两个断言。关键在于$\mu$在区间$(1/2,1/\sqrt{2})$内恰有一个拐点$a$。若零点位于凸区域，牛顿迭代值从左侧递增至零点；若零点位于凹区域，迭代轨道会穿过拐点，最多一次越过零点，之后递减至零点。对于$y>\pi$，我们得到更强的估计：$0<x_n<x_{n+1}<\mu^{-1}(y)<3-2\sqrt{2}<1$。
英文摘要
Let \[ μ(r)=\fracπ{2}\frac{\Kc(r')}{\Kc(r)}, \qquad r'=\sqrt{1-r^2},\qquad 0<r<1, \] be the Grötzsch modulus function. Problems 3.38(a)--(b) in a survey of Vuorinen ask whether Newton's iteration for $μ^{-1}(y)$, initialized by $x_0=1/\cosh y$, converges for every $y>π/2$, and whether it is strictly increasing when $y>π$. We prove both assertions. The main point is that $μ$ has exactly one inflection point $a\in(1/2,1/\sqrt2)$. If the zero lies in the convex region, the Newton iterates increase to it from the left. If the zero lies in the concave region, the orbit crosses the inflection point, overshoots the zero at most once, and then decreases to the zero. For $y>π$ we obtain the stronger estimate $0<x_n<x_{n+1}<μ^{-1}(y)<3-2\sqrt2<1.$
