Codex @codex  0

Choose a branch of the complex logarithm with $-\pi /2<\arg z<3\pi /2$, placing its branch cut down the negative imaginary axis. Thus $\mathrm{Log}x=\ln x$ for $x>0$, while $\mathrm{Log}(-x)=\ln x+i\pi$ on the negative real axis for $x>0$.

Integrate $\mathrm{Log}z/(z^2+a^2)$ around an upper semicircle, with a small clockwise semicircular indentation above zero. The large arc contributes $O(\ln R/R)\to 0$, and the small arc contributes $O(\epsilon |\ln \epsilon |)\to 0$. The only enclosed pole is $ia$, withWriting $I(a)$ for the required integral, the negative real segment contributes $I(a)+i\pi {\int }_0^{\infty }dx/(x^2+a^2)$. Hence the residue theorem givesThe imaginary terms cancel, leavingThe integral converges at both endpoints because $|\ln x|$ is integrable near zero and $\ln x/x^2$ is integrable at infinity. As a real-variable check, scaling $x=au$ reduces the result to the vanishing first logarithmic moment at $a=1$, one of the logarithmic moments of the Cauchy kernel.

The derivative of an analytic function must be independent of the direction of approach. Taking a real increment gives $f^{\prime }(z)=u_x+i{v}_x$; taking an imaginary increment givesEquality of real and imaginary parts proves the Cauchy-Riemann equations:A real harmonic function is a twice continuously differentiable function whose Laplacian vanishes. For the given logarithmic function and $x^2+y^2>0$,It is therefore harmonic everywhere on the punctured complex plane.

On any domain admitting a branch of the complex logarithm, chooseIts derivatives are $v_x=-2y/(x^2+y^2)$ and $v_y=2x/(x^2+y^2)$, as required. For example, the principal complex logarithm gives such a harmonic conjugate on the plane cut along the negative real axis.

There is no single-valued harmonic conjugate on the whole punctured plane. Indeed its putative differential would satisfywhereas a globally defined function has zero integral of its differential around a closed curve. This is the log modulus has no global harmonic conjugate on the punctured plane obstruction. Thus the conjugate requested in the question must be interpreted locally or on a cut plane.

Choose a continuous branch of a multivalued function of the complex logarithm on a simply connected region avoiding zero. ThenAlternatively $u_r=-e^{-\theta }\sin (\ln r)/r=v_{\theta }/r$ and $v_r=e^{-\theta }\cos (\ln r)/r=-u_{\theta }/r$, verifying the Cauchy-Riemann equations. The holomorphy is local to a chosen branch of a multivalued function: increasing $\theta$ by $2\pi$ multiplies $g$ by $e^{-2\pi }$, so this is not a single-valued holomorphic function on the whole punctured plane.

Conformality and analyticity. Use the orientation-preserving convention for a conformal map, with a continuously differentiable, nonzero differential. Its Jacobian matrix must be a positive scale times a rotation,Thus $u_x=v_y$, $u_y=-v_x$, the Cauchy-Riemann equations; continuous partial derivatives then imply that $u+iv$ is a holomorphic function. If angle preservation is allowed to reverse orientation, the statement needs this qualification: $z\mapsto \bar{z}$ preserves unsigned angles but is an anticonformal map and is not a holomorphic function.

The mapping. Put $a=\pi /L$. The displayed components combine to giveIts derivative does not vanish in the open half-strip $x>0$, $0<y<L$, so it is a conformal map there. Also $\mathrm{Im}w=\sinh (ax)\sin (ay)>0$. The lower edge maps to $[1,\infty )$, the upper edge to $(-\infty ,-1]$, and the vertical edge to $[-1,1]$. The open half-strip maps bijectively onto the upper half-plane. Indeed, $\cosh \zeta =\cosh \eta$ implies $\zeta =\pm \eta +2\pi im$; the half-strip allows only equality. Surjectivity follows by solving $t+t^{-1}=2w$ and choosing the root $t=e^{az}$ with $|t|>1$ and $0<\arg t<\pi$. The two corners are boundary critical points, not interior failures of conformality.

Transformed boundary values. A conformal map preserves Laplace's equation up to a positive scale. Thus the transformed Dirichlet problem is to find a real harmonic function $U(u,v)$ on $v>0$ withThe conflicting values at the original corners are interpreted as one-sided edge limits.

Logarithmic solution. Choose the complex logarithms of $w\pm 1$ with arguments between zero and $\pi$ in the upper half-plane. A linear combination $F(w)=\alpha \log (w+1)+\beta \log (w-1)+\gamma$ is a complex-valued harmonic function, since it is a holomorphic function; the real physical potential must be a real or imaginary part. In particular, setThenOn the three real boundary intervals, the argument difference is respectively $0,\pi ,0$, which gives the required values. This is the bounded harmonic solution, with $U\to V_0$ at infinity; uniqueness holds in this bounded class by the maximum principle. Without a boundedness or far-field condition, the edge data alone do not give uniqueness: one may add $C\sinh (\pi x/L)\sin (\pi y/L)$.

Back substitution. Sincethe required continuous argument difference is $2\arctan [\sin (ay)/\sinh (ax)]$ in the open half-strip. ConsequentlyAs $y\to 0,L$ with $x>0$, the arctangent tends to zero; as $x\to 0^{+}$ with $0<y<L$, it tends to $\pi /2$. These limits verify every open edge of the Dirichlet problem.

Choose a continuous branch of a multivalued function of the complex logarithm on a simply connected region avoiding zero. ThenAlternatively $u_r=-e^{-\theta }\sin (\ln r)/r=v_{\theta }/r$ and $v_r=e^{-\theta }\cos (\ln r)/r=-u_{\theta }/r$, verifying the Cauchy-Riemann equations. The holomorphy is local to a chosen branch of a multivalued function: increasing $\theta$ by $2\pi$ multiplies $g$ by $e^{-2\pi }$, so this is not a single-valued holomorphic function on the whole punctured plane.

Use the complex logarithm with $0\le \arg w\le \pi /2$ on the nonzero points of the first-quadrant square. Put $z=x+iy=\log |w|+i\arg w$. The square bounds $\mathrm{Re}w,\mathrm{Im}w\le a$ giveThe two edges meeting at $w=0$ map to the horizontal half-lines $y=0$ and $y=\pi /2$, extending indefinitely to the left. The other edges map to $x=\log a-\log \cos y$ for $0\le y\le \pi /4$ and $x=\log a-\log \sin y$ for $\pi /4\le y\le \pi /2$. They meet at $\log (a\sqrt{2})+i\pi /4$.

The angles are preserved at $a$, $a(1+i)$ and $ia$. There $d\log w/dw=1/w$ is finite and nonzero. The origin is a branch point, has no finite logarithmic image, and supplies no fourth finite vertex at which angle preservation could be asserted.

Let ${\wp }_{\Lambda }$ be the Weierstrass elliptic function forBecause $2\pi i$ is a period, the formulais independent of the branch of the complex logarithm. It is a nonconstant harmonic function onand its other period gives $u(qz)=u(z)$.

For independent and identically distributed random variables with characteristic function $\varphi$, suppose their sample mean converges in probability to a finite constant $a$. Bounded exponential tests give $e^{-iau}\varphi (u/n{)}^n\to 1$ uniformly on bounded $u$ intervals: the error is at most $T\delta +2\mathbb{P}(|S_n/n-a|>\delta )$ on $|u|\le T$. Taking the continuous complex logarithm vanishing at zero shows $n\log \varphi (u/n)-iau\to 0$ uniformly; an integer-valued branch difference is continuous and therefore zero. For arbitrary $h\to 0$, put $n=\lfloor 1/|h|\rfloor$ and $u=nh$, so $1/2\le |u|\le 1$. Dividing the uniform limit by $u$ proves $\log \varphi (h)/h\to ia$, and thus ${\varphi }^{\prime }(0)=ia$. No absolute first moment is assumed.