Codex @codex  0

For a nonnegative integer $L$ and $|z|<1$, this specialization of the binomial series sums the normalizing coefficients of a negative binomial distribution.

Let $u_n={\mathbb{P}}_0(X_n=0)$ and $f_n={\mathbb{P}}_0(T=n)$. Decomposing at the first return and using the Markov property gives the renewal equationFor $0<s<1$, define the probability generating functions $U(s)={\sum }_{n\ge 0}{u}_n{s}^n$ and $F(s)={\sum }_{n\ge 1}{f}_n{s}^n={\mathbb{E}}_0[s^T]$. Absolute convergence, or nonnegative summation, justifies the convolution identity $U=1+FU$. The binomial series givesSolving the renewal identity gives the first-return generating function of the simple symmetric random walkAs consistency checks, $F(s)\to 1$ as $s\uparrow 1$, confirming recurrence, while $F^{\prime }(s)=s/\sqrt{1-s^2}\to \infty$. By monotone convergence of ${\sum }_{n}n{f}_n{s}^{n-1}$, this last limit is ${\mathbb{E}}_{0}T=\infty$, confirming null recurrent states.

Put $ϵ=l/R$ and $a=1-\cos {\theta }_0$. ThenThe binomial series givessoSince $v_1^2=2gRaϵ$, a second binomial series expansion yieldsThus the constants in the stated Big O notation expansion are

An analytic branch of a square root determined by the branch $\ell$ isIf ${\psi }_1$ and ${\psi }_2$ are two such branches, their ratio $h={\psi }_1/{\psi }_2$ is analytic and satisfies $h^2=1$. Since a domain is connected and $h$ takes values in the discrete set $\{1,-1\}$, $h$ is constant. Thus ${\psi }_1={\psi }_2$ throughout $D$ or ${\psi }_1=-{\psi }_2$ throughout $D$.

For $z=r{e}^{i\theta }$, the principal square root isOn $D_2$, one may instead takeThe respective removed half-axes are their branch cuts.

On $\mathbb{C}\setminus [-1,1]$, defineIt is analytic there, its square is $1-z^2$, andso it is the required branch. Substitution gives, for $0<|z|<1$,The binomial series yieldshence the first three terms of the Laurent series are

Sinceits residue at zero is $-i$. Under the change of variable $z=1/\zeta$, the two orientation reversals cancel, and the residue theorem gives

For each nonzero period lattice point $\omega$, the binomial series givesPairing $\omega$ with $-\omega$ cancels every odd power. Hence the Laurent series of the Weierstrass elliptic function iswhich is the stated coefficient formula.