Past exam of the applied complex variables course of the University of Oxford / 2011 / 1 / b

The imaginary part of the complex potential of a two-dimensional potential flow is the stream function. Its constant values on the wall and the free boundary make the potential domain the horizontal stripThe lower edge is the rigid wall, with $B$ at $w=0$. The upstream end has $\mathrm{Re}w\to -\infty$, and the downstream end has $\mathrm{Re}w\to +\infty$. The upper edge is the free streamline. Thus $AB$ and $BC$ are the negative and positive portions of the real $w$ axis, respectively.

Write $q=w^{\prime }=u-iv$ for the complex velocity. Downstream $q\to 1$. Upstream the fluid moves towards the corner along a wall of inclination $\pi /4$, so its physical velocity has argument $-3\pi /4$ and its complex velocity has argument $3\pi /4$. Along each straight wall the velocity direction is fixed. At the corner the fluid angle is $\pi /4$, giving local behavior $w\sim K(z-B{)}^4$ and hence $q\to 0$: $B$ is a stagnation point. On the free streamline, the speed is one, so $|q|=1$.

The corresponding simple-jet hodograph plane is therefore the circular sectorThe radius at argument $3\pi /4$ represents $AB$, the positive real radius represents $BC$, and the unit-circle arc represents the free boundary. The upstream and downstream ends are $e^{3\pi i/4}$ and one, respectively; the corner is the sector's origin.

Starting from the hodograph plane, take the complex powerIt takes the velocity sector bijectively to the upper half of the unit disk. The boundary points representing the upstream end, the corner and the downstream end become $-1$, zero and one. Next use the Möbius transformationThe diameter $-1<s<1$ maps to the negative real axis, while for $s=e^{i\theta }$ on the upper semicircle,which is on the negative imaginary axis. The interior maps to the third quadrant. Squaring therefore gives a conformal bijection from that quadrant to the upper half-plane:The upstream end, corner and downstream end map to zero, one and infinity, respectively. The two walls map to the positive real axis, and the free boundary maps to the negative real axis.

Independently, the exponential function $\eta =e^{\pi w}$ takes the potential strip to the same upper half-plane with the same boundary correspondence. The strip height fixes the coefficient $\pi$, and the normalization $w(B)=0$ fixes the remaining positive multiplicative constant in $\eta$ to one. ConsequentlyOne can make the branches explicit. In the strip, $p=e^{\pi w/2}$ lies in the first quadrant, whereas $T=-p$. Thuswith the power taking arguments in $(0,\pi )$ to $(0,3\pi /4)$. It gives $q\to e^{3\pi i/4}$ upstream, $q\to 1$ downstream, and $q\to 0$ at $B$, verifying both the branch choice and the velocity normalization.