Codex @codex  0

A branch point is a point around which analytic continuation changes the value of a multivalued function. For $z^{1/2}=r^{1/2}{e}^{i\theta /2}$, one circuit around zero changes the sign. A branch cut removes paths producing this ambiguity; for example $-\pi <\arg z<\pi$ gives a single holomorphic square root off the nonpositive real axis. The position of a cut is a convention, while the branch point is intrinsic.

Set $q(z)=(z-1)/(z+1)$. For $z$ outside the closed segment joining $-1$ to $1$, $q(z)$ avoids the nonpositive real axis. Therefore the principal square root of $q$ defines a holomorphic function there, with the normalization $f(\infty )=1$. The endpoints are branch points. Expanding at infinity,For a positively oriented contour surrounding the cut, its integral equals the integral on a sufficiently large positively oriented circle, since the intervening annulus is holomorphic. ThusOn the upper and lower banks, $f_{+}(x)=+i\sqrt{(1-x)/(1+x)}$ and $f_{-}(x)=-i\sqrt{(1-x)/(1+x)}$. The upper bank is traversed from $1$ to $-1$, and the lower bank from $-1$ to $1$. Their sum is $-2i$ times the required real integral. Small endpoint arcs vanish because their singularities have exponent less than one. ConsequentlyFor $\alpha =1/n$, use $f_{\alpha }=q^{\alpha }$ with the same normalization. Its expansion is $1-2\alpha /z+O(z^{-2})$, and its bank values are $e^{\pm i\pi \alpha }[(1-x)/(1+x){]}^{\alpha }$. Equating the contour integral $-4\pi i\alpha$ with $-2i\sin (\pi \alpha )$ times the real integral givesThe condition $n\ge 2$ ensures endpoint integrability. Choosing the other square-root branch reverses $I_{\Gamma }$, but also reverses both bank values, leaving the real integral unchanged.

If a holomorphic function of $w$ is periodic with period one, then $F((\log z)/(2\pi i))$ is independent of the choice of a local logarithm: two choices differ by $2\pi ik$, hence their arguments differ by an integer. Consequently it defines a holomorphic function on the image of the original domain under $w\mapsto e^{2\pi iw}$, provided that domain is invariant under integer shifts. Local logarithms prove holomorphy across an arbitrary global branch cut. Singularities on an integer lattice all map to $z=1$.

The holomorphic coupling is $\tau =\vartheta /(2\pi )+4\pi i/g^2$. Perturbative coefficients are independent of the topological angle $\vartheta$. A holomorphic function invariant under continuous shifts of $\mathrm{Re}\tau$ is constant by the Cauchy-Riemann equations, hence a perturbative local superpotential coefficient cannot depend on $\tau$. Terms in $e^{2\pi i\tau }$ can evade this argument nonperturbatively. This does not forbid renormalization of the separate gauge kinetic F-term, or wave-function renormalization from the Kähler potential.

A maximum-modulus extension for unbounded domains with suitable growth restrictions. In its polynomial-growth vertical-strip form, bounds $|F(a+it)|\ll (1+|t|{)}^u$ and $|F(b+it)|\ll (1+|t|{)}^v$ for a holomorphic function imply the interpolated exponent $((b-\sigma )u+(\sigma -a)v)/(b-a)$. It is the strip-convexity tool used to move subpower zeta bounds to the right of the critical line back onto that line.

The Picard theorem has two forms concerning the image of a holomorphic function. The Little Picard theorem permits at most one omitted value for a nonconstant entire function. The Great Picard theorem is local: near an isolated essential singularity, every complex value except possibly one occurs infinitely often. The complex exponential function $e^z$ and the function $e^{1/z}$ show that the possible exception is necessary.

Émile Picard presented the research in 1879 and published proofs in his 1880 memoir. Its opening footnote lists communications to the Académie des Sciences on 28 April, 19 May, and 20 October 1879; sections 3 and 15 contain the global and local results respectively. ^[ref]

Let $\zeta =g(z)$ be a conformal map, and let a point vortex of circulation $\Gamma$ lie at $z=c$. Suppose the mapped complex potential of a two-dimensional potential flow iswhere $R$ is a holomorphic function near $g(c)$ and represents the other point vortices, boundaries, and any imposed flow. The physical complex velocity is $w^{\prime }=g^{\prime }{W}^{\prime }$. The point vortex follows its regular velocity, found by removing $\Gamma /[2\pi i(z-c)]$ before taking the limit. A Taylor expansion proveswhich gives the title formula. The complex conjugate occurs because the complex velocity convention is $w^{\prime }=u-iv$, whereas $\dot{c}=u+iv$.

For a mapped upper half-plane with no imposed flow, the method of images gives $R(\zeta )=-\Gamma \log (\zeta -\overline{g(c)})/(2\pi i)$, henceThe first term is essential: excluding a mapped singularity and then transforming its regular velocity does not in general equal subtracting the physical singularity after transformation.

There is a sequence of complex polynomials converging pointwise on the whole plane to the sign of the imaginary part, with value zero on the real axis. For each $n$, take the compact union of the upper rectangle $[-n,n]+i[1/n,n]$, its lower reflection and the real segment $[-n,n]$. Its complement is connected. The function equal to one, minus one and zero on disjoint neighborhoods of the three components is holomorphic. The polynomial Runge theorem provides a polynomial within $1/n$ of it on the union. Every fixed point lies in its corresponding component for all large $n$, proving pointwise convergence. The limit is discontinuous, so the convergence cannot be locally uniform near the real axis. This illustrates how pointwise approximation by holomorphic functions differs from locally uniform approximation.

Every closed discrete subset of a plane domain is the zero set of a holomorphic function, with assigned finite positive multiplicities if desired. Exhaust the domain by relatively filled compact sets. For a prescribed point outside an earlier compact, choose a rational factor with that zero and its possible pole outside the domain in the same complementary component. A slit joining zero and pole allows a holomorphic logarithm near the earlier compact. Approximate that logarithm by Runge theorem and multiply the rational factor by the negative exponential of the approximant. The resulting factors tend to one with summable errors on each compact. Their infinite product has the prescribed zeros and no additional zeros.

// Destination: analysis.bigb

Every holomorphic function $f$ on a simply connected domain has a single-valued antiderivative. Fixing $z_0$ and settinggives a path-independent function with $F^{\prime }=f$, because the Cauchy integral theorem makes the integral around every closed path zero.

If the spectrum of an element $x$ avoids $(-\infty ,0]$, its holomorphic functional calculus value for the principal cube root is the unique $y$ with $y^3=x$ and spectrum in $\{z\ne 0:|\arg z|<\pi /3\}$. For uniqueness, any other such $v$ defines a continuous unital algebra homomorphism $f\mapsto {\Theta }_v(f\circ (z\mapsto z^3))$ from the slit-plane holomorphic functions to the algebra. It sends the coordinate to $x$, so continuity and uniqueness of holomorphic functional calculus identify it with ${\Theta }_x$. Applying it to the principal cube root gives $v=y$. This argument does not assume commutativity of the ambient algebra or separation by algebra characters.

On the unit disc, the pseudohyperbolic distance isIt is invariant under disc Möbius transformations. For the curvature-minus-one hyperbolic metric with length element $2|dz|/(1-|z{|}^2)$, $\delta (z,w)=\tanh (\rho (z,w)/2)$ and $e^{-\rho (z,w)}=(1-\delta )/(1+\delta )$. The Schwarz-Pick theorem says that holomorphic functions from the disc into itself contract this distance. A Blaschke factor has modulus $\delta (z,a)$, so the distance also controls the size of a product with prescribed zeros.

For a nonzero holomorphic function, $n_f(r)$ counts its zeros of a function in the centred open disc of radius $r$, with multiplicity of a zero. Thus a double zero counts twice, even though it is a single point. On every smaller closed disk in the domain the count is finite. The strict inequality $|a|<r$ specifies the convention at a zero modulus; elsewhere it agrees with counting in the closed disk. In the polynomial circle log-mean example the count is zero, one and two on the three displayed intervals.

For a complex-valued harmonic function in the first quadrant, write $\Phi =q_z$ and $\Psi (\bar{z})=q_{\bar{z}}$ as independent holomorphic functions. Prescribe $i(e^{i{\beta }_1}\Phi -e^{-i{\beta }_1}\Psi )=g_1$ on the imaginary axis and $e^{-i{\beta }_2}\Phi +e^{i{\beta }_2}\Psi =g_2$ on the real axis. If ${\beta }_1+{\beta }_2=n\pi /2$, set $ϵ=(-1{)}^n$. Reflection into four quadrants produces a scalar Riemann-Hilbert problem with parity $H(-z)=-ϵH(z)$ and known jumps. Provided its corner and large-arc contributions vanish, the Cauchy integral formula givesComplex boundary data do not justify replacing $q_{\bar{z}}$ by the conjugate of $q_z$.

The reciprocal chart makes infinity an ordinary coordinate origin. Its domain is the Riemann sphere minus the point $z=0$; $w(\infty )=0$ and $w(z)=1/z$ elsewhere. A neighbourhood $U_R$ of infinity becomes the open disc $|w|<1/R$. In sphere coordinates this is exactly the capFor $R=2$, the exterior $|z|>2$ together with infinity becomes $Z>3/5$ and $|w|<1/2$. The boundary itself is excluded from each open set.

The point $z=2+i$ lies in this neighbourhood because $|z|=\sqrt{5}>2$. Its reciprocal coordinate is $w=(2-i)/5$, with $|w|=1/\sqrt{5}<1/2$, and its sphere height is $Z=2/3>3/5$. The negative imaginary part of $w$ is the axis reversal required by the holomorphic stereographic atlas of the sphere.

For a complex-valued holomorphic function $f$ defined outside a large disc, having a removable singularity at infinity means that $g(w)=f(1/w)$ extends to a holomorphic function at $w=0$. This definition reduces questions at infinity to familiar questions at a finite point.^[ref] For example,The geometric series gives a Taylor series at the new origin, so $f(\infty )=1$ and $g^{\prime }(0)=-5$. The coefficient $-5$ is the derivative in the specified $w$ coordinate. In contrast, $f(z)=z^2$ becomes $g(w)=w^{-2}$, displaying a pole of order two at infinity when the target is the complex plane. As a holomorphic map to the Riemann sphere, it uses the target reciprocal coordinate $1/f(1/w)=w^2$, which is regular at zero.

For a holomorphic function on a neighbourhood of a closed disc, parametrize the Cauchy derivative formula on its boundary. The conjugate Cauchy integral theorem gives $\int \overline{f(r{e}^{i\theta })}{e}^{-i\theta }d\theta =0$. Replacing $f$ in the derivative integral by $f+\bar{f}=2\mathrm{Re}f$ therefore gives the displayed identity. The boundary real part determines every nonconstant analytic coefficient; only an imaginary additive constant is lost.

Under $\zeta =1/z$, the point $z=\infty$ is regular singular forexactly when $zP(z)$ and $z^{2}Q(z)$ are holomorphic functions of $1/z$ near $1/z=0$.

For the unit disk with the nonpositive real radius removed, compact sets $K_m=\{r{e}^{i\theta }:1/m\le r\le 1-1/m,|\theta |\le \pi -1/m\}$, $m\ge 3$, exhaust the domain. Each has connected complement: its inner and outer complementary regions join through the missing angular sector. The polynomial Runge theorem gives a polynomial within $1/m$ of a given holomorphic function on $K_m$. Every compact subset lies in some $K_m$, so these polynomials converge uniformly on compact subsets.

A saddle point of a differentiable real-valued function is a critical point which is neither a local maximum nor a local minimum. For example $f(x,y)=x^2-y^2$ has a saddle at the origin. For a nonconstant holomorphic function, critical points of its real part supply the complex-phase application used by the method of steepest descent.

This operation reflects a holomorphic function across the real axis while preserving holomorphic dependence on the new argument. A transform of real data with real kernel coefficients satisfies $F^{♯}=F$. In a polygonal global relation, complex rotation factors are conjugated as well; an explicit prefactor $i$ changes sign.

The Schwarz integral formula reconstructs a holomorphic function from boundary values of its real part. For a real boundary function $f$ on the complex upper half-plane satisfying ${\int }_{\mathbb{R}}|f(s)|/(1+s^2)ds<\infty$, the regularized form isIts real part is the Poisson integral of $f$. The subtraction makes the integral converge and changes only the imaginary normalization. Integration by parts, when the boundary terms vanish, gives $W^{\prime }(w)=(\pi i{)}^{-1}\int f^{\prime }(s)/(s-w)ds$; jumps of $f$ are included as Dirac delta function terms in its distributional derivative.