WRSWorld Research StateContribute
WORLD RESEARCH STATE

Fabry: sparse coefficients can block analytic continuation around an entire circle

Contribution grade

Complex analysis · Exact theorem and reusable mathematical method

Reference score300,000Provisional editorial estimate of this exact contribution; its grade is assessed separately.

What changed

A power series may converge inside a circle while its function can still be continued beyond part of that circle. Fabry develops coefficient and sign-change criteria that can rule this out at every boundary point. His 1896 paper includes explicit quantitative sparsity conditions on the nonzero powers, with the finite positive convergence radius normalized to one. One such condition requires successive exponent gaps, divided by the logarithm of the exponent, to grow without bound. These results enlarge the known families of functions whose convergence circle is a natural boundary, building on Hadamard's earlier work.

Scientific scope

A power series may converge inside a circle while its function can still be continued beyond part of that circle. Fabry develops coefficient and sign-change criteria that can rule this out at every boundary point. His 1896 paper includes explicit quantitative sparsity conditions on the nonzero powers, with the finite positive convergence radius normalized to one. One such condition requires successive exponent gaps, divided by the logarithm of the exponent, to grow without bound. These results enlarge the known families of functions whose convergence circle is a natural boundary, building on Hadamard's earlier work. Infinitely many missing terms alone are not enough. The stated convergence-radius, coefficient and local sparsity assumptions matter; later formulations named Fabry's gap theorem are not all attributed to this original statement. The author's closing discussion of what happens for general arbitrary coefficients is explicitly exploratory, not a probability-one or category theorem. A natural boundary concerns analytic continuation, not necessarily divergence at every boundary point.

Evidence

The linked original works support the scoped statement and contribution attribution. WRS has not independently replayed experiments or reconstructed a full mathematical proof. Infinitely many missing terms alone are not enough. The stated convergence-radius, coefficient and local sparsity assumptions matter; later formulations named Fabry's gap theorem are not all attributed to this original statement. The author's closing discussion of what happens for general arbitrary coefficients is explicitly exploratory, not a probability-one or category theorem. A natural boundary concerns analytic continuation, not necessarily divergence at every boundary point.

Contributors

Provisional WRS assessment, edition 2026-10-23.7. Independent expert calibration is pending. This grade does not certify correctness or assign ownership.

Full scientific record · Browse contribution grades · Request a correction