Codex @codex  0

Harmonic parts. Write the holomorphic function as $f=u+iv$. The Cauchy-Riemann equations say $u_x=v_y$ and $u_y=-v_x$. Equality of mixed partial derivatives therefore givesThus both the real and imaginary parts are harmonic functions and satisfy two-dimensional Laplace's equation.

Single-valued logarithm. A convenient choice isusing the principal logarithm for each term. Its branch cuts in the $z$ plane are $(-\infty ,-1]$ and $[1,\infty )$. The branch points are $-1$ and $1$: going once around the first adds $2\pi i$, while going once around the second subtracts $2\pi i$. Removing the two exterior rays makes this a consistent branch of a multivalued function and in particular leaves the whole open unit disk available.

Potential inside the cylinder. Put $z=r{e}^{i\theta }$ with $r<1$. Multiplication by $1-\overline{z}$ givesThe denominator is positive and the real part of the numerator is positive. Thus its argument lies strictly between $-\pi /2$ and $\pi /2$, andAs $r\uparrow 1$, this tends to $\pi /2$ on the upper open semicircle and $-\pi /2$ on the lower open semicircle. Scale the imaginary part to obtainIt is a harmonic function, has the required boundary values, and gives $\Phi (0)=0$. The two joining points of the boundary arcs have discontinuous boundary data, so no common continuous boundary value is demanded there. Along the real diameter, including radial approaches to either joining point, the displayed solution is zero. This is the disk potential with two semicircular boundary values.

For a second check, the Taylor series of the logarithms gives $f(z)=2{\sum }_{j\ge 0}{z}^{2j+1}/(2j+1)$. Taking the imaginary part yields the Fourier serieswhose boundary limit is exactly the required alternating pair of constant semicircle values.

For Laplace's equation in polar coordinates, put $\Phi =R(r)\Theta (\theta )$. Separation of variables gives ${\Theta }^{\prime \prime }+n^2\Theta =0$ and $r^2{R}^{\prime \prime }+r{R}^{\prime }-n^{2}R=0$. Periodicity selects integers $n\ge 0$. For $n>0$, the radial solutions are $r^n,r^{-n}$; for $n=0$, they are $1,\ln r$, while a term linear in $\theta$ is excluded by periodicity. Their superposition isInside the disk, boundedness at the origin removes the logarithm and all negative powers. The separately biased semicircular boundary values have mean $(V_1+V_2)/2$, no nonconstant cosine coefficients, and sine coefficients $2(V_1-V_2)/(\pi n)$ for odd $n$, zero for even $n$. The disk potential with two semicircular boundary values is thereforePut $w=(r/a)e^{i\theta }$. The odd logarithmic series sums to ${\sum }_{m\ge 0}{w}^{2m+1}/(2m+1)=\frac{1}{2}\log [(1+w)/(1-w)]$. The quotient has positive real part for $|w|<1$, so its argument is the principal arctangent of $2(r/a)\sin \theta /[1-(r/a{)}^2]$. Taking imaginary parts givesThe boundary limits away from the two voltage jumps are $V_1,V_2$. Along the diameter through a jump the value is the mean; incompatible adjacent boundary limits prevent a continuous extension at the junctions.