Search arXivSearch

arXiv · math/9805010

Identities of nonterminating series by Zeilberger's algorithm

Abstract

This paper argues that automated proofs of identities for non-terminating hypergeometric series are feasible by a combination of Zeilberger's algorithm and asymptotic estimates. For two analogues of Saalschütz' summation formula in the non-terminating case this is illustrated.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Tom H. Koornwinder. 1998-05-04. Identities of nonterminating series by Zeilberger's algorithm. https://arxiv.org/abs/math/9805010

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Weighted inequalities in ergodic theory via transference

We first extend Calderón's transfer principle to weighted spaces in various different settings under suitable assumptions. Then we apply our results for some inequalities on the real line obtained by the author to prove corresponding inequalities in ergodic theory and ergodic $H^1$ spaces as well.

math.CA

Wavelet resolution and Sobolev regularity of Calderón-Zygmund operators on domains

Given a uniform domain $Ω\subset {\mathbb R}^d$, we resolve each element of a suitably defined class of Calderòn-Zygmund (CZ) singular integrals on $Ω$ as the linear combination of Triebel wavelet operators and paraproduct terms. Our resolution formula entails a testing type characterization, loosely in the vein of the David-Journé theorem, of weighted Sobolev space bounds in terms of Triebel-Lizorkin and tree Carleson measure norms of the paraproduct symbols, which is new already in the case $Ω={\mathbb R}^d$ with Lebesgue measure. Our characterization covers the case of compressions to $Ω$ of global CZ operators, extending and sharpening past results of Prats and Tolsa for the convolution case. The weighted estimates we obtain, particularized to the Beurling operator on a Lipschitz domain with normal to the boundary in the corresponding sharp Besov class, may be used to deduce quantitative estimates for quasiregular mappings with dilatation in the Sobolev space $W^{1,p}(Ω)$, $p>2$.

math.CA