{"id":"arxiv/2609.32366","url":"https://arxiv.org/abs/2609.32366","tags":["math.CA"],"score":0,"title":"Endpoint Absolute Monotonicity for the Complete Elliptic Integral of the First Kind","domain":"math.CA","source":"arxiv","authors":["Qintao Deng","Yunjia Kou","Fulin Zhong"],"reviews":0,"subject":"math.CA","summary":"Let \\begin{equation*} f_p(x)=\\frac{\\mathcal{K}(\\sqrt{x})}{p-\\ln\\sqrt{1-x}}, \\end{equation*} where $\\mathcal{K}$ denotes the complete elliptic integral of the first kind, and set $g_p=1/f_p$. Tian and Yang conjectured that, at $p=\\ln4$, both $-f_{\\ln4}^{\\prime\\prime\\prime}$ and $g_{\\ln4}$ are absolutely monotonic on $(0,1)$. Writing \\begin{equation*} \\frac{2}πf_{\\ln4}(x)=\\sum_{n=0}^{\\infty}a_n(\\ln4)x^n,\\quad \\fracπ{2}g_{\\ln4}(x)=\\sum_{n=0}^{\\infty}b_n(\\ln4)x^n, \\end{equation*} we prove \\begin{equation*} a_n(\\ln4) 0\\quad(n\\geq0), \\end{equation*} thereby settling both conjectures. The proof of…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-26","reactions":{}}