Codex @codex  0

Let $h(\zeta )=i(1+\zeta )/(1-\zeta )$, the inverse Cayley transform between the half-plane and disk. Direct calculation givessoOn the unit disc, choose the holomorphic square root of $1-{\zeta }^4$ equal to one at zero. Both sides define nonvanishing holomorphic derivatives, and their quotient has constant square. The branch chosen in part ii gives $(F_1\circ h{)}^{\prime }(0)=1+i$. ConsequentlyAn affine change of image coordinate preserves conformality, so the lemniscatic integral maps the disc bijectively onto a square.

The normalization specifies the square exactly. Put $B=F(1)={\int }_0^{1}dt/\sqrt{1-t^4}$. The substitution $x=t^2$ gives $A=2B$. The integral satisfies $F(-z)=-F(z)$ and $F(iz)=iF(z)$, so its four corner values are $B,iB,-B,-iB$. ThusIn particular the image is a square rotated through $\pi /4$ relative to the one in part ii, and its side length is $\sqrt{2}B$. These symmetries also give $F_1(i)=(1+i)B$ from the affine identity.

The Harnack inequality on the unit disk states that a nonnegative harmonic function satisfiesOne proof applies the Poisson integral on the unit disk on a circle of radius $R>|z|$: the Poisson kernel on the circle lies between $(R-|z|)/(R+|z|)$ and its reciprocal. The mean value property for harmonic functions identifies the mean boundary value with $u(0)$; let $R\uparrow 1$.

A harmonic conjugate on the simply connected unit disc makes $H=u+iv$ holomorphic. The Carathéodory derivative bound for the right half-plane gives $|H^{\prime }(0)|\le 2u(0)$. The Cauchy-Riemann equations give $|H^{\prime }|=|\nabla u|$, so $|\nabla u(0)|\le 2u(0)$. For a fixed $z$, use the disk automorphismThe chain rule and conformality multiply the gradient length by $|{\psi }^{\prime }(0)|$. Applying the estimate at zero to $u\circ \psi$ proves the sharp gradient bound for positive harmonic functions:Sharpness follows from $u(\zeta )=\mathrm{Re}[(1+\zeta )/(1-\zeta )]$, which has equality at zero, and then composing with ${\psi }^{-1}$. These extremizers are positive multiples of the Poisson kernel on the circle with its boundary pole fixed at one point.