Codex @codex  0

At an algebraic branch point, a local solution becomes meromorphic after the finite substitution $z-a=t^k$. The displayed convergent expansion has only finitely many negative terms. A square-root branch point corresponds to $k=2$; an essential singularity or logarithmic singularity need not become meromorphic under any such finite substitution.

A branch of a multivalued analytic expression is a single-valued holomorphic function on a specified domain that consistently selects one of the expression's possible values. A branch cut is a convenient way to choose such a domain, rather than an intrinsic locus of singularities. On $D=\mathbb{C}\setminus (-\infty ,0]$, the principal logarithm supplies two square-root branchesFor $z=i$, these give $B_{+}(i)=e^{i\pi /4}=(1+i)/\sqrt{2}$ and $B_{-}(i)=-(1+i)/\sqrt{2}$. Their derivatives follow by differentiating $B_{\pm }^2=z$: $B_{\pm }^{\prime }=1/(2B_{\pm })$, so $B_{+}^{\prime }(i)=(1-i)/(2\sqrt{2})$. There are exactly two branches on $D$: for any other holomorphic square root $B$, the ratio $B/B_{+}$ is continuous, takes values in $\{1,-1\}$, and hence is constant on the connected domain.

The cut can move. Choosing $0<\theta <2\pi$ defines a holomorphic logarithm $L_{+}(z)=\log |z|+i\theta$ on $D_{+}=\mathbb{C}\setminus [0,\infty )$. At $-1$ this gives $L_{+}(-1)=i\pi$ and $\exp (L_{+}(-1)/2)=i$, both regular values despite $-1$ lying on the previous cut. In the complex upper half-plane, $L_{+}$ agrees with $\mathrm{Log}$; in the lower half-plane it equals $\mathrm{Log}+2\pi i$, so the corresponding square roots have opposite signs there. The overlap $D\cap D_{+}$ has two components, exactly why the identity theorem cannot force agreement between them. ^[ref]

For example, the limits of $B_{+}$ at $-r$, $r>0$, are $i\sqrt{r}$ from above and $-i\sqrt{r}$ from below. This jump records the chosen branch cut; each point $-r\ne 0$ still has a neighbourhood supporting a holomorphic square root. Moving the cut changes the bookkeeping, while the branch point at $0$ and its monodromy persist. Specifying a branch of a multivalued function is therefore essential before differentiating or performing contour integration with holomorphic square roots, complex logarithms or complex exponentiation.

A branch point is a point around which a sufficiently small loop can change a germ of a holomorphic function under analytic continuation. This is a local condition: a large loop around a regular point might also enclose a distant branch point, so that large loop alone cannot classify the regular point. For the complex logarithm and square root, every nonzero point has a local holomorphic branch, but a loop once around $0$ changes the chosen branch. ^[ref]

For $z=r{e}^{it}$ with fixed $r>0$, start at $t=0$ with values $\sqrt{r}$ and $\log r$. Their continuations areOne counterclockwise turn gives $w(2\pi )=-\sqrt{r}$ and $L(2\pi )=\log r+2\pi i$. At $r=4$, the square root therefore changes from $2$ to $-2$, while the logarithm changes from $\log 4$ to $\log 4+2\pi i$. Two turns restore the square root to $2$; no nonzero number of turns restores the logarithm. This distinguishes a two-sheeted algebraic branch point from a logarithmic singularity.

A pole need not be a branch point: $1/z$ is unbounded near $0$, yet $1/(r{e}^{it})=r^{-1}{e}^{-it}$ returns to its starting value after one turn. Conversely, the square-root values tend to $0$ at their branch point. The issue is whether a single holomorphic choice survives going around the point, rather than whether the values become large. On the Riemann sphere, infinity is also a branch point of both $\sqrt{z}$ and $\log z$: in the local coordinate $\zeta =1/z$, these are ${\zeta }^{-1/2}$ and $-\log \zeta$, whose continuations around $\zeta =0$ change sign and subtract $2\pi i$, respectively. ^[ref]

A first-order ordinary differential equation with complex independent and dependent variables is solved by a holomorphic function on an ordinary domain, and its analytic continuation can have branch points. A holomorphic right-hand side gives local existence and uniqueness by the integral contraction mapping used in the Picard-Lindelöf theorem.

For a parameter $k$, one form of the incomplete elliptic integral of the first kind isIts value depends on the choices of square-root branches and, under analytic continuation around the branch points, on the integration path.

The monodromy theorem gives equality of continuations that exist under its hypothesis. It does not assert that every holomorphic function admits analytic continuation everywhere, even within a simply connected domain.

For an explicit obstruction, take $f(z)=1/(1-z)$ near $a=0$ and attempt to apply the theorem on $D=\mathbb{C}$. The path $\eta (t)=t$ ends at $1$, where no terminal germ of a holomorphic function exists. If a holomorphic representative $G$ near $1$ continued $f$, then the identity theorem would extend $(1-z)G(z)=1$ to that neighbourhood. Substituting $z=1$ would give $0=1$. Thus the pole prevents the existence hypothesis, although $\mathbb{C}$ is a simply connected domain. The analytic continuation article explains why the same rational function does continue throughout $\mathbb{C}\setminus \{1\}$.

Existence at an endpoint by some route is also weaker than existence along every path from the base point. Along the real segment from $1$ towards $0$, a holomorphic square root of $z$ tends to $0$, yet cannot continue holomorphically through $0$: a local representative $G$ would satisfy $G^2=z$ by the identity theorem, and differentiating at $0$ would give $2G(0)G^{\prime }(0)=1$ with $G(0)=0$. A finite limiting value therefore does not remove a branch point. More severe obstructions appear at a natural boundary of a holomorphic function.

Start at $a=1$ with complex logarithm germ of a holomorphic function $L(1)=0$ and holomorphic square root germ of a holomorphic function $S(1)=1$. On the punctured plane $D=\mathbb{C}\setminus \{0\}$, both admit analytic continuation along every path. To construct it locally, for any $c\ne 0$ choose a small open disc avoiding $0$, select a holomorphic logarithm there, and select its additive multiple of $2\pi i$ to agree with the arriving germ of a holomorphic function; exponentiating half this logarithm supplies the arriving holomorphic square root. A finite chain of these open discs follows any given path.

Compare two paths from $1$ to $i$, parametrized by $0\le t\le 1$:The first follows a counterclockwise quarter-circle; the second follows a clockwise three-quarter-circle. Following ${\gamma }_A$ and then path reversal of ${\gamma }_B$ makes one positive turn about $0$. Its winding number is $1$, so the two paths cannot be homotopic with endpoints fixed in the punctured plane.

The continued values along the chosen paths areAt their common endpoint,Both complex logarithm values exponentiate to $i$, and both holomorphic square root values square to $i$. These give different terminal germ of a holomorphic function representatives, consistently obtained from the same starting germ of a holomorphic function. The monodromy theorem applies, but does not equate these two non-homotopic paths.

The closed path $\lambda (t)=e^{2\pi it}$ instead returns to $1$, with continued values $L_{\lambda }(t)=2\pi it$ and $S_{\lambda }(t)=e^{\pi it}$. One counterclockwise turn changes the complex logarithm by $2\pi i$ and flips the holomorphic square root from $1$ to $-1$. Hence neither initial germ of a holomorphic function can come from a global holomorphic logarithm or a global holomorphic square root of $z$ on the punctured plane. Repeating a loop of winding number $n$ gives the changes $2\pi in$ and $(-1{)}^n$. ^[ref]

Now restrict to the slit domain $D_{\mathrm{slit}}=\mathbb{C}\setminus (-\infty ,0]$. The principal logarithm and $\exp (\mathrm{Log}z/2)$ realize the same initial germ of a holomorphic function for each expression globally. To see that this is a simply connected domain, polar form identifies this domain with $(0,\infty )\times (-\pi ,\pi )$, a convex set; every loop contracts there. The simply connected corollary of the monodromy theorem now forces equality along every pair of paths with matching endpoints. In particular, ${\gamma }_A$ and the segment $\sigma (t)=1-t+it$ both give $L(i)=\pi i/2$ and $S(i)=(1+i)/\sqrt{2}$. The explicit homotopy $H(s,t)=(1-s){\gamma }_A(t)+s\sigma (t)$ stays in the closed first quadrant away from $0$, hence in $D_{\mathrm{slit}}$.

The other route ${\gamma }_B$ crosses the removed ray at $t=2/3$ and is no longer admissible. In the punctured plane, that crossing is locally regular: analytic continuation passes through $-1$ smoothly, although evaluating the principal logarithm would reset its argument. The branch cut changes the allowed domain; it does not create additional branch points or poles. That distinction is the beauty of the obstruction: perfectly compatible local holomorphic functions can fail to make a global choice solely because of the allowed based loops. The branches of a multivalued function article develops how moving the branch cut changes the selected values.

The complex logarithm has infinite-sheeted branching: continuing once around its zero changes its value by $2\pi i$. Multiplication by a function vanishing at that point need not remove the branching. For example $z^m\log z$ with positive integer $m$ tends to zero but changes by $2\pi i{z}^m$ after continuation around zero. This remains a branch point, rather than a removable singularity, because no single-valued holomorphic function exists on a full punctured neighbourhood. The coordinate $w=1/z$ tests logarithmic branching at infinity in the same way.

Let $w$ be a local value of the complex inverse sine. Since the limiting values at the two branch points are $\pi /2$ at $z=1$ and $-\pi /2$ at $z=-1$, monodromy reflection at a square-root branch point givesFollowing a counterclockwise loop that encloses both branch points in the convention where $\sqrt{1-z^2}$ is positive just above $(-1,1)$ applies the two reflections in the order that givesThe reverse orientation gives $w+2\pi$. Thus the translational part of the monodromy is generated by $2\pi$.

The Painlevé property excludes movable critical singularities, such as branch points, of the analytically continued general solution of a complex differential equation. A common stronger formulation requires every movable singularity to be a pole, so local solutions are meromorphic there. Fixed singularities determined by the coefficients are distinguished from movable ones whose locations depend on initial data. Riccati equations with meromorphic coefficients have only movable poles at ordinary points: linearization expresses their solutions as logarithmic derivatives of linear-system solutions. More generally, set $w=f/g$ and solve the holomorphic linear system $f^{\prime }=bf+cg$, $g^{\prime }=-af$. Its quotient satisfies $w^{\prime }=a{w}^2+bw+c$ directly. Initial data $g(z_0)=1$, $f(z_0)=w(z_0)$ recover every local solution, and holomorphic $f,g$ make the quotient a meromorphic function, even at zeros of $a$. At a zero of $g$ with $a\ne 0$, uniqueness prevents $f=0$ there, so $g^{\prime }=-af\ne 0$ and the pole is simple. This proves the absence of movable branching without assuming that the quadratic coefficient never vanishes.

With local indices $e_p$, the required specialization isOnly the finitely many points of index greater than one contribute. Their images are the branch points on the target.

For degree two every ramification point has index two, so contributes exactly one. The formula gives $2g+2$ ramification points. No two can share an image: that would give a fiber of total local degree at least four. Hence there are also $2g+2$ distinct branch points on the sphere.

The modular group is $S{L}_2(\mathbb{Z})$ acting on the complex upper half-plane byIts central element $-I$ acts trivially on points, so the effective group is $PS{L}_2(\mathbb{Z})$. It is generated by $S:\tau \mapsto -1/\tau$ and $T:\tau \mapsto \tau +1$: the Euclidean algorithm reduces the bottom row of a matrix using these operations until it is a translation. The relations $S^2=(ST{)}^3=1$ hold in the projective group.

A standard fundamental domain of the modular group isTo see that each orbit meets it, use $\mathrm{Im}(\gamma \tau )=\mathrm{Im}\tau /|c\tau +d{|}^2$. Choose a coprime integer pair $(c,d)$ minimizing the nonzero lattice modulus $|c\tau +d|$; a modular matrix with that bottom row maximizes the imaginary part. Translate to the central strip. If the result had modulus below one, inversion would further increase its imaginary part, a contradiction. Interior representatives are unique: for a point in the interior, $|c\tau +d|>1$ when $c\ne 0$. For $|c|\ge 2$ use $\mathrm{Im}\tau >\sqrt{3}/2$; for $|c|=1$ use the strip and the strict unit-circle bound. Thus such a matrix lowers the imaginary part, which would contradict the same fact applied to its inverse if both representatives were in the interior. Matrices with $c=0$ are translations, and cannot move one interior strip point to another.

The vertical sides are identified by $T$, and the circular halves by $S$. The exceptional points with elliptic stabilizers of the modular group are represented by $i$ and $\rho =e^{2\pi i/3}$, of projective stabilizer orders two and three. The rational boundary points together with infinity form one modular cusp orbit. In the hyperbolic metric the region has area ${\int }_{-1/2}^{1/2}(1-x^2{)}^{-1/2}dx=\pi /3$.

A useful subgroup is the level-two principal congruence subgroup,Reduction modulo two is onto $S{L}_2({\mathbb{F}}_2)$, which has six elements and permutes the three nonzero vectors. Hence its kernel has index six, and the quotient is $S_3$. In the projective action, $\Gamma (2)$ is torsion-free. Indeed finite-order nonidentity modular elements have trace zero or $\pm 1$; matrices in $\Gamma (2)$ have even trace, and trace zero is impossible because $a,d$ are odd while $b,c$ are even: $ad-bc=1$ with $d=-a$ would imply $bc=-a^2-1\equiv 2(\mathrm{mod}4)$. The subgroup has three modular cusp classes, represented by $\infty ,0,1$, each of width two. Parity of a primitive pair distinguishes these classes, and elementary level-two row operations reduce each class to its representative. Six translates of $\mathcal{F}$ supply a fundamental region. Its compactified level-two modular curve is obtained by adjoining these three modular cusp points.

Invariant holomorphic functions arise naturally from theta constants. In the radian convention of Question 4, put ${\Theta }_j(\tau )={\theta }_j(0,\tau )$, and defineHere ${\Theta }_2={\sum }_{n\in \mathbb{Z}}{q}^{(n+1/2{)}^2}$. The theta-constant inversion and translation laws, obtained by Gaussian Poisson summation and by reindexing, interchange ${\Theta }_2,{\Theta }_4$ under $S$ with the common factor $\sqrt{-i\tau }$, leave ${\Theta }_3$ fixed up to that factor, and under $T$ interchange ${\Theta }_3,{\Theta }_4$ while multiplying ${\Theta }_2$ by $e^{\pi i/4}$. Together with the Jacobi abstruse identity ${\Theta }_3^4={\Theta }_2^4+{\Theta }_4^4$, this givesThese transformations generate the six permutations of $0,1,\infty$. In particular $T^2$ and $S{T}^2{S}^{-1}$ fix $\lambda$; with $-I$, these generate $\Gamma (2)$. Thus the modular lambda function is invariant under this subgroup, but not under the whole modular group. Its even theta constants do not vanish on $\mathbb{H}$, so it is holomorphic there and avoids $0,1,\infty$. Near infinity, $\lambda =16q+O(q^2)$, with $q=e^{\pi i\tau }$, which is the width-two modular cusp coordinate. The two transformation laws give modular cusp values one at zero and infinity at one, with the same simple local orders. Thus $\lambda$ has exactly one simple pole on the compactified level-two quotient and no pole in the half-plane. A meromorphic map with one simple pole has degree one, so it identifies that quotient with the sphere and the open quotient with $\mathbb{C}\setminus \{0,1\}$. This proves the coordinate assertion and describes all three modular cusps.

Symmetrizing this subgroup invariant produces a full modular-invariant function:Substitution shows that this rational expression is unchanged by both $\lambda \mapsto 1-\lambda$ and $\lambda \mapsto \lambda /(\lambda -1)$, hence by $S$ and $T$. It is the Klein j-invariant. Its denominator does not vanish on $\mathbb{H}$, so it is holomorphic there; at the modular cusp it has $j\sim q^{-2}$, a simple pole in $Q=e^{2\pi i\tau }$. It therefore remains nonconstant without being a bounded holomorphic function on the compactified quotient. In fact a holomorphic invariant extending holomorphically to the compactified modular curve would be constant by the maximum principle.

This also connects invariance to elliptic curves: changing an oriented basis of the lattice $\mathbb{Z}+\tau \mathbb{Z}$ gives precisely the modular action after a rescaling. On the compact full modular quotient, $j$ has just the one simple modular cusp pole, so its map to the sphere has degree one. It therefore classifies the resulting homothety of complex lattices classes, while the modular lambda function retains a level-two labeling of the branch points in the Legendre model $y^2=x(x-1)(x-\lambda )$. Finally, a modular form of nonzero weight obeys a transformation law with a factor $(c\tau +d{)}^k$, not plain invariance; ratios of equal-weight forms instead give weight-zero modular functions. The distinction between forms, invariant holomorphic functions on the open half-plane, and their modular cusp behavior is essential to this construction.

Fluid-loaded plate. Use complex amplitudes with time dependence $e^{-i\omega t}$ and take the velocity potential in the fluid above the elastic plate to be $\Phi$. Let ${\rho }_0$ and $c_0$ be the undisturbed mass density and speed of sound. The linearized Euler equations give $p=i{\rho }_0\omega \Phi$; the kinematic boundary condition is ${\Phi }_y(x,0)=-i\omega \eta (x)$. We model loading from one fluid half-space, with no fluid loading on the other face. Loading by identical fluids on both faces instead doubles the fluid term below.

Define the Fourier transform and its inverse byThe Sommerfeld radiation condition selects $\hat{\Phi }(k,y)=\hat{\Phi }(k,0)e^{-\gamma y}$, with ${\gamma }^2=k^2-k_0^2$ and $k_0=\omega /c_0$. Here and in the diffraction calculation below, the outgoing square root is specified by first taking $\mathrm{Im}\omega >0$. Draw a vertical cut upwards from $+k_0$ and another downwards from $-k_0$, and putThus ${\gamma }_u$ is analytic in the upper half-plane and ${\gamma }_l$ in the lower half-plane. In the real-frequency limit,The Fourier transform contour $C$ follows the real axis with the limiting-absorption pole prescriptions. In particular, an outgoing propagating component has positive vertical wavenumber.

The kinematic boundary condition gives $\hat{\Phi }(0)=i\omega \hat{\eta }/\gamma$, so $\hat{p}(0)=-{\rho }_0{\omega }^2\hat{\eta }/\gamma$. Eliminating the fluid pressure from the bending balance gives the line-forced fluid-loaded bending plate kernelFor harmonic line force amplitude $F_0$ at the origin, the plate displacement and fluid velocity potential are thereforeAn arbitrary localized loading replaces $F_0$ by its Fourier transform. This representation both calculates the response and identifies its different wave components through poles and branch points.

For an observer $x=r\cos \theta$, $y=r\sin \theta$, with $0<\theta <\pi$, the method of steepest descent uses the saddle point $k_s=k_0\cos \theta$. At fixed angle away from grazing, the acoustic far field isThe $r^{-1/2}$ spreading is that of cylindrical acoustic waves. The phase velocity parallel to the plate is $\omega /|k|$: components with $|k|<k_0$ are supersonic in that sense and radiate, whereas those with $|k|>k_0$ are subsonic and exponentially decay normally to the plate. The latter have reactive fluid loading and zero mean normal acoustic energy flux.

There is also a real guided root $\kappa >k_0$. Indeed, $K(k_0+)=-\infty$, $K(+\infty )=+\infty$, andThe residue theorem then gives an outgoing displacement contribution $i{F}_0{e}^{i\kappa |x|}/K^{\prime }(\kappa )$. It transports energy along the plate while its fluid field decays as $e^{-\gamma (\kappa )y}$. Other zeros on continued sheets can describe leaky or resonant waves; branch point contributions describe near and grazing fields. A fixed-angle acoustic far field expansion is not uniform near the plate, where these components can matter.

For a propagating spectral component, write $\ell =(k_0^2-k^2{)}^{1/2}$. Its upward normal velocity is $i\ell \hat{\Phi }$ and its pressure is $i{\rho }_0\omega \hat{\Phi }$. Applying Parseval's identity to the time-averaged acoustic energy flux gives the upward power per unit length of the forcing line:Equivalently, the integrand is $|\hat{\eta }{|}^2/\ell$ with prefactor ${\rho }_0{\omega }^3/(4\pi )$. Integrating the radial acoustic intensity of the far field over a semicircle gives the same expression. The input power $\omega \mathrm{Im}(F_0^{\ast }\eta (0))/2$ also feeds guided waves along the plate, so it must not be identified with $P_y$ alone.

Rigid half-plane diffraction. Suppress the time factor and assume $0<{\theta }_0<\pi$. Write $a=k_0\cos {\theta }_0$, $b=k_0\sin {\theta }_0$, and denote the incident spatial field by $I=e^{-iax-iby}$. The Helmholtz equation, Sommerfeld radiation condition, and square-root branches are as above. Across the open positive axis the scattered field and its normal derivative are continuous. Across the rigid negative axis its normal derivative is also continuous, while its potential can jump. Let $J(x)$ be this jump, supported on $x<0$. The transformed scattered field isThe jump transform is analytic in the upper half-plane. The absence of an even scattered component follows from derivative continuity and the outgoing condition. Its normal derivative on either face is $-\gamma {\hat{J}}_u/2$.

On the negative axis this derivative must cancel $-ib{e}^{-iax}$. Since the Half-range Fourier transform of $H(-x)e^{-iax}$ is $i/(k+a)$, the Wiener-Hopf equation has the formwhere $G_l$ is the transform of an unknown function supported on $x>0$ and analytic in the lower half-plane. The incident pole $k=-a$ lies below the Fourier contour. Divide by ${\gamma }_l$ and perform pole subtraction in a Wiener-Hopf equation:The first term is upper analytic and the second lower analytic, since the latter's apparent pole cancels. Equality of the two continued sides gives an entire function. The finite-energy edge condition, with $J(x)=O(\sqrt{-x})$, and the decay of the transforms at infinity force that function to vanish by Liouville's theorem. ConsequentlyThis is the Wiener-Hopf solution of rigid half-plane diffraction with the present transform and time conventions.

Deforming to a steepest descent contour gives a residue from the incident pole precisely when $x+|y|\cot {\theta }_0<0$. At that pole $\gamma (-a)=-ib$; its residue producesThus the total geometrical optics field is $I$ plus a reflected wave in the upper reflection region; in the lower shadow region the scattered residue cancels $I$, and outside that shadow the direct incident wave remains. This gives both the amplitude and the spatial support of the geometrical optics fields rather than merely naming a reflected wave.

For $x=r\cos \theta$, $y=r\sin \theta$, $-\pi <\theta <\pi$, the saddle contribution uses ${\gamma }_l(-a)=-i\sqrt{2k_0}\cos ({\theta }_0/2)$ and ${\gamma }_u(k_s)=\sqrt{2k_0}\cos (\theta /2)$. The diffracted wave isThe total field is $I+{\varphi }_{\mathrm{GO}}+{\varphi }_d$ to this order. This far-field expression applies away from the shadow/reflection boundaries $|\theta |=\pi -{\theta }_0$. There the pole and saddle coalesce, and a uniform Fresnel integral approximation replaces the divergent separate terms by a smooth transition. The exact contour integral remains well defined.

The Painlevé property says that the general solution has no movable critical singularities: analytic continuation around a singularity whose location depends on the initial data must not create a different branch. A fixed singularity of a complex differential equation has its location prescribed by the coefficients; a movable singularity of a complex differential equation has a location which varies with the initial data. A commonly used stronger form requires movable singularities to be poles, so that the solution is locally a meromorphic function there. Movable branch points are excluded; a movable pole is permitted. We will prove the stronger form for this equation by finding its complete general solution family as rational functions.

Use the linearization of a Riccati equation. If $w^{\prime }=a{w}^2+bw+c$, put $w=-v^{\prime }/(av)$ wherever $a,v\ne 0$. Differentiating this expression and cancelling the quadratic terms yieldsConversely a nonzero solution $v$ of this linear ordinary differential equation gives a solution $w$, wherever the quotient is defined. Every local finite solution $w$ at an ordinary point arises this way: solve $v^{\prime }=-awv$ with a nonzero initial value and differentiate to get the second-order equation. Multiplying $v$ by a nonzero constant leaves $w$ unchanged, giving the one effective constant of integration expected for a first-order Riccati equation.

For the present coefficients, $a^{\prime }/a=1/z+1/(z+1)$, so the linear ordinary differential equation simplifies toTwo direct substitutions give solutions $v_1=z-1$ and $v_2=1/(z+1)$. Their Wronskian iswhich is nonzero at every ordinary point $z\notin \{0,-1\}$. They therefore form a fundamental pair there, and all local solutions have the formTaking its logarithmic derivative givesThus, for $C_1\ne 0$, writing $k=(C_2-C_1)/C_1$, the general family isThe remaining member, corresponding to $C_1=0$, isThe completeness of the linearizing pair proves that no other local solution is omitted. These are rational functions, single-valued meromorphic functions; hence their continuation has no branch points. Their only possible moving singularities are zeros of $z^2+k$. A root $z_0$ outside $\{0,-1\}$ is simple, and its residue isEquivalently, poles of a Riccati solution from zeros of its linearizing solution are simple at ordinary points, because a nontrivial solution of a linear ordinary differential equation cannot have both $v(z_0)=0$ and $v^{\prime }(z_0)=0$. The exceptional collisions $k=0$ or $k=-1$ occur at the fixed coefficient singularities, and still give rational functions. Consequently every movable singularity is a pole, establishing the Painlevé property in its stronger meromorphic sense.

For positive integers $n$, the finite open segment from part (i) works because $k=n/2>0$. For $n\le 0$, take a finite closed contour enclosing both branch points $i,-i$, with the integrand analytic in the exterior of the joining cut. Near infinity choose $(t^2+1{)}^{n/2-1}=t^{n-2}(1+t^{-2}{)}^{n/2-1}$. Since $n$ is integral, a circuit around both branch points returns to the initial branch, and the endpoint boundary term cancels. Thus this is an admissible finite contour, including $n=0$.

For $n\le -1$, at $z=0$ that exterior branch is $O(t^{n-2})=O(t^{-3})$. Deforming the contour to a large circle makes its integral tend to zero; equivalently its Laurent series has no $t^{-1}$ coefficient. Hence $\boxed{w(0)=0(n\le -1)}$. An individual loop around one branch point would not generally return to the same branch when $n$ is odd, which is why both are enclosed.

Choose $F(z)=(z+1{)}^{1/3}{z}^{1/3}(z-1{)}^{1/3}$, each factor initially defined by polar argument in $(-\pi ,\pi )$. The products of the boundary values agree on $(-\infty ,-1)$, so their apparent cuts there cancel; the product extends analytically to $\mathbb{C}\setminus [-1,1]$ and has $F(z)\sim z$ at infinity. In polar coordinates about the three branch points this choice is $\prod r_j^{1/3}\exp [i\sum {\theta }_j/3]$.

For $0<x<1$, its upper and lower bank values are $e^{\pm i\pi /3}[x(1-x^2){]}^{1/3}$. For $-1<x<0$ they are $e^{\pm 2i\pi /3}[(-x)(1-x^2){]}^{1/3}$. The upper-minus-lower jump on each half is therefore $2i\sin (\pi /3)$ times the positive real integrand. Deforming a positively oriented large circle onto the cut, with the upper bank traversed right to left, givesSmall circles about the branch points contribute zero in the limit. At infinity,so the large-circle integral is $-2\pi i/3$. HenceBoth the branch choice and the orientation are essential to the sign.

Use a Fourier transform parallel to the boundary. Splitting its traces into right- and left-supported parts gives Half-range Fourier transforms $F_{+}$ and $F_{-}$, analytic respectively above and below a common inversion contour. A small positive imaginary part of the wavenumber implements the limiting absorption principle and separates the incident poles and outgoing branch points. Solve the transformed differential equation normal to the boundary using its outgoing or decaying solution. The boundary conditions then yield a Wiener-Hopf equation of the formFactor its Wiener-Hopf kernel as $K=K_{+}{K}_{-}$, with each factor analytic and nonzero in its designated half-plane. Divide by $K_{-}$ and split $H/K_{-}=H_{+}+H_{-}$, allocating poles according to the incident-wave prescription. ThenThe two sides continue to a common entire function. Their growth at infinity, inherited from the field's edge behavior, determines that function, usually a constant or a polynomial; in a decaying case it is zero. Solve for the unknown transforms and apply Fourier inversion, preserving the outgoing contour prescription.

The principal analytic results used are as follows. The Paley–Wiener theorem and its half-line Laplace-transform version relate support on a half-line to holomorphy in a half-plane, with growth or square-integrability bounds. The Cauchy integral formula and Sokhotski–Plemelj theorem provide additive splitting: a Cauchy integral of a sufficiently decaying jump has upper and lower boundary values with that prescribed difference. Applying the same construction to a continuous logarithm of a nonvanishing scalar Wiener-Hopf kernel gives Wiener-Hopf factorization when its winding number is zero; a nonzero index requires an explicit index factor. The identity theorem gives analytic continuation across the common strip. Finally Liouville's theorem makes a bounded entire function constant; its polynomial-growth extension bounds the possible degree. The physical edge and radiation conditions select the remaining constants. Zeros, branch cuts, nonzero index and insufficient decay must be accounted for rather than discarded during splitting.

Work above the plane, with $e^{-i\omega t}$ time dependence and $0<\theta <\pi$ away from grazing incidence. Put $a=k\cos \theta$ and $b=k\sin \theta$. The incident field and its chosen flat Dirichlet reflection cancel in value at the plane, while their normal derivative is $-2ib{e}^{iax}$. Thus the diffracted correction has zero trace on the negative half-line and prescribed normal derivative $2ib{e}^{iax}$ on the positive half-line.

There is an incompatibility in the stated edge data: a normal derivative that is identically zero on the Neumann half-line cannot diverge as that half-line approaches the junction. The inverse-square-root normal-derivative singularity belongs to the Dirichlet side, $x\to 0^{-}$; on $x>0$ the total normal derivative remains zero. The following solution satisfies the mixed conditions and bounded-field edge behavior, with that corrected side.

Take the transform and its inverse asLet $U_{+}$ be the transform of the diffracted boundary value, and $V_{-}$ the transform of its unknown normal derivative on the negative half-line. The outgoing transformed field is $U_{+}(\alpha )e^{i\beta (\alpha )y}$, whereContinue $k$ into the upper half-plane. Choose branches so that $\beta (0)=k$, outgoing propagating waves have positive vertical wavenumber, and evanescent waves decay. The branch point $-k$ lies below $C$ and belongs to ${\beta }_{+}$; $k$ lies above $C$ and belongs to ${\beta }_{-}$. Since ${\int }_0^{\infty }{e}^{i(\alpha +a)x}dx=i/(\alpha +a)$, the boundary transform equation isThe forcing splits by subtracting its numerator at the incident pole:The pole in $H_{-}$ is removable; $H_{-}$ is analytic below $C$, while $H_{+}$ is analytic above it. Hence $i{\beta }_{+}{U}_{+}-H_{+}=V_{-}/{\beta }_{-}+H_{-}$ is entire. The bounded mixed-boundary edge solution has $U_{+}=O({\alpha }^{-3/2})$ and $V_{-}=O({\alpha }^{-1/2})$, making both sides decay at infinity. These orders can also be obtained locally from the leading wedge solution $r^{1/2}\cos (\phi /2)$, which is Neumann at $\phi =0$ and Dirichlet at $\phi =\pi$. Liouville's theorem sets the entire remainder to zero. ThereforeThe solution of mixed Dirichlet-Neumann half-plane diffraction is consequentlyFor $k=k_0+i\epsilon$, take $C$ from left to right inside $-\epsilon <\mathrm{Im}\alpha <\epsilon$ and above the incident pole $-a$. Cuts from $-k$ run into the lower half-plane and cuts from $k$ into the upper half-plane, without crossing $C$. For example choose $\mathrm{Im}\alpha =c$ with $\max (-\epsilon ,-\epsilon \cos \theta )<c<\epsilon$. Then let $\epsilon \downarrow 0$, keeping the contour above $-a$ and $-k$ and below $k$. Any subsequent deformation for asymptotic evaluation must preserve these bypasses or include the residues of crossed poles. This prescription fixes the reflected-wave contributions and the radiation condition; a principal-value integral alone would not do so.

As a boundary check, $i\beta U_{+}=-2b{\beta }_{-}/[\sqrt{k+a}(\alpha +a)]$. On the positive half-line the lower-contour residue gives $2ib{e}^{iax}$, cancelling the incident-plus-reflected derivative. The boundary trace vanishes on the negative half-line by upper-half-plane analyticity. Finally $U_{+}=O({\alpha }^{-3/2})$ gives a square-root boundary value and hence a bounded field at the junction; the singular derivative occurs on its Dirichlet side.

On the stated branch of the principal complex logarithm, the only denominator zero is $z=1$, and $\log z=(z-1)+O((z-1{)}^2)$. ThereforeZero is a logarithmic branch point, not a removable isolated singularity, even though $1/\log z$ tends to zero as $z\to 0$ within the cut plane. Continuation around zero changes $\log z$ by $2\pi i$. The nonpositive real axis is the chosen branch cut; its nonzero points are not intrinsically branch points and admit local analytic continuation. There are no other finite singularities inside the specified branch domain.