Codex @codex  0

A single-valued choice from a multivalued relation which is a holomorphic function on its domain. For example, a holomorphic branch of the square root of a nonvanishing holomorphic function $h$ is a holomorphic function $g$ satisfying $g^2=h$. On a domain, any two such choices differ by a fixed sign, since their continuous quotient takes values in the discrete set $\{1,-1\}$.

Use the same principal square root $S(z)=\sqrt{(z-a)/(z-b)}$, which is holomorphic on $A$ because its argument avoids the nonpositive real axis. Thenis a holomorphic function satisfyingThus it is a holomorphic branch of the requested square root. This construction does not require a global holomorphic logarithm of $z-a$ or $z-b$ separately. Its sign is fixed by $S(z)\to 1$ at infinity, so $g(z)/z\to 1$. The negative of this function is the other holomorphic branch; any two branches have a continuous quotient taking values in $\{1,-1\}$, which is constant because $A$ is connected.

Use the principal complex square root, $\sqrt{z}=\sqrt{r}{e}^{i\theta /2}$ with $-\pi <\theta <\pi$. For $F(z)=e^{z-\sqrt{z}}/z$, the local expansion on this holomorphic branch isThe fractional power prevents a single-valued Laurent series in a punctured disc. In particular, zero is a branch point, not an isolated singularity classified as a pole. Merely observing that $zF(z)\to 1$ on the slit plane would not establish a simple pole: $zF(z)$ does not extend as a holomorphic function through a whole disc around zero.

The negative real half-line is a chosen branch cut. Its upper and lower boundary values differ because $\sqrt{-x+i0}=i\sqrt{x}$ and $\sqrt{-x-i0}=-i\sqrt{x}$ for $x>0$. Continuation once around zero changes the sign of the complex square root, and hence changes $F$ in general. Other branch cuts are possible; this one defines the principal holomorphic branch.

On the small clockwise contour $z=ϵe^{i\theta }$, $\theta$ decreases from $\pi$ to $-\pi$. Uniformly on that arc, $e^{z-\sqrt{z}}=1+O(\sqrt{ϵ})$, and henceThe large arcs also vanish. To make this precise for the displayed geometry, take them on the left semicircle $z=\gamma +R{e}^{i\theta }$, $\pi /2\le \theta \le 3\pi /2$, split at the cut. On the principal holomorphic branch, $\mathrm{Re}\sqrt{z}\ge 0$, $|z|\ge R-\gamma$, and $\mathrm{Re}z=\gamma +R\cos \theta$. The estimation lemma givesFor the last bound, symmetry and $\sin u\ge 2u/\pi$ on $0\le u\le \pi /2$ imply that the angular integral is at most $\pi /R$. The exact choice of large arcs does not affect the limiting result. The vertical improper integral converges absolutely because $e^{-\mathrm{Re}\sqrt{\gamma +iy}}/|\gamma +iy|$ decays as $O(e^{-c\sqrt{|y|}}/|y|)$.

Taking limits in the closed contour integral now yields $2\pi iJ+2iK-2\pi i=0$, where $K={\int }_0^{\infty }{e}^{-x}\sin (\sqrt{x})dx/x$. ThusAs an optional explicit evaluation, put $x=t^2$ and define $K(a)=2{\int }_0^{\infty }{e}^{-t^2}\sin (at)dt/t$. Differentiation under the integral sign and the Gaussian integral give $K^{\prime }(a)=\sqrt{\pi }{e}^{-a^2/4}$ and $K(0)=0$. Therefore $K=K(1)=\pi \mathrm{erf}(1/2)$ and $J=\mathrm{erfc}(1/2)\simeq 0.479500$ in terms of the error function and complementary error function.