Touchard's identity and a detailed determination of the radius of convergence of the Catalan series

TL;DR

This paper proves that Touchard's recurrence relation alone suffices to determine the radius of convergence of the Catalan series as 1/4, confirming a classical result through a new, more direct approach.

Contribution

It demonstrates that Touchard's recurrence relation can be used to establish the exact radius of convergence of the Catalan series without relying on explicit formulas or complex recursions.

Findings

Touchard's recurrence yields the upper bound R ≤ 1/4.

Classical lower bounds confirm R ≥ 1/4.

The radius of convergence of the Catalan series is exactly 1/4.

Abstract

While the value of the radius of convergence of the generating series of the Catalan numbers is well-known, obtaining it solely from recurrence relations is less immediate. It is sometimes considered that no known proof establishes that the radius $R$ equals 1/4 without relying on the explicit closed formula for the Catalan numbers. In particular, it has been shown that one can obtain, at the cost of substantial technical effort and without resorting to the main Segner recursion relation or to the explicit formula for the Catalan number, the lower bound $R\geq 1/6$. In this work, we prove that Touchard's recurrence alone yields the optimal exponential upper bound $\limsup_{n\to\infty} C_n^{1/n} \le 4$, which implies $R \ge 1/4$. Combined with the classical lower estimate $\limsup_{n\to\infty} C_n^{1/n} \ge 4$, obtained from central binomial coefficients, this gives $R = 1/4$.