Past exam of the perturbation methods and applied complex variables course of the University of Oxford / 2010 / B (Applied Complex Variables)

At a vertex with exterior turning angle ${\beta }_j\pi$, the interior angle is $(1-{\beta }_j)\pi$. A local conformal map from a half-plane therefore behaves as $f(Z)-z_j\sim c_j(Z-X_j{)}^{1-{\beta }_j}$, so its derivative has local exponent $-{\beta }_j$.

On each real boundary interval between prevertices, $\arg f^{\prime }$ is constant because the image is a straight side. Across a prevertex its change is the exterior turning angle. Taking $\arg (Z-X_j)\in (0,\pi )$, the product ${\prod }_j(Z-X_j{)}^{-{\beta }_j}$ has exactly these changes. Dividing $f^{\prime }$ by that product removes the corner singularities and leaves a holomorphic nonzero function with constant boundary argument. Schwarz reflection and the regular behavior at infinity make it constant. This gives the Schwarz-Christoffel formulaThere are three freely normalizable real prevertices, because an automorphism of the upper half-plane has three real parameters. After those are fixed, the remaining $n-3$ prevertex parameters are determined by the polygon's shape through the side-length conditions. They are not further independent normalization choices.

If the last prevertex is at infinity, absorb its constant scale into $C$ and omit its finite factor:For a bounded polygon, ${\sum }_j{\beta }_j=2$, so this derivative behaves like $Z^{{\beta }_n-2}$, consistent with the corner described in the local coordinate $1/Z$.

Use the branch of $\sqrt{1-Z^2}$ that is positive for $Z=iY$, $Y>0$. The right-half-plane slit mapis holomorphic in the upper half-plane, with derivative $Z(1-Z^2{)}^{-3/2}$, the required Schwarz-Christoffel formula form. Its derivative has no interior zero.

To verify the image and global injectivity, factor the construction. Squaring maps the upper half-plane bijectively onto $\mathbb{C}\setminus [0,\infty )$. Thus $1-Z^2$ ranges over $\mathbb{C}\setminus (-\infty ,1]$. The positive-real-part square root maps this onto the right half-plane with the interval $(0,1]$ removed; reciprocation maps it onto the right half-plane slit along $[1,\infty )$. This also identifies the slit tip as a boundary point; the strict inequality in the printed slit description must be understood with that boundary convention.

Approaching the real axis from above givesIn particular $Z=-1$ maps to the lower infinite prime end $A$, $Z=0$ to the tip $B=1$, and $Z=1$ to the upper infinite prime end $C$. The real-axis point at infinity maps to zero on the vertical wall.

Let $g=f^{-1}$, so $g(z)=\sqrt{1-z^{-2}}$, choosing the analytic branch with $\mathrm{Im}g>0$; for example $g(1/2)=i\sqrt{3}$. Let $\zeta \in \Omega$ be the source point. For the convention $-\Delta G={\delta }_{\zeta }$, the Dirichlet Green function in the upper half-plane is obtained by an opposite-sign reflected source:It vanishes for real $Z$, has the logarithmic singularity $-(2\pi {)}^{-1}\log |Z-W|$, and is harmonic elsewhere. Conformal invariance of two-dimensional harmonic functions now givesThe branch specified above maps every boundary bank to the real axis, so the Green function vanishes on both slit banks and the vertical wall. Local conformality preserves the coefficient of the logarithmic singularity. If the convention is instead $\Delta G={\delta }_{\zeta }$, negate this expression.

Orient the smooth contour so the plus side is to its left. Assume the density is Hölder continuous near the observation point and the integrals converge at any other endpoints. The Cauchy principal value isSubtract $f(t)$ from the numerator. The resulting quotient is locally integrable, so its limits from the two sides coincide. For the remaining constant density, straightening the contour gives a half-circle contribution $\pm i\pi f(t)$. Division by $2\pi i$ yields the Sokhotski–Plemelj formulaFor the requested real integral assume $0<\alpha <1$ and $-1<x<1$, ensuring integrable endpoints and an interior principal-value pole. Put $W(t)=(1-t{)}^{\alpha -1}/(1+t{)}^{\alpha }$. Choose $w(z)=(z-1{)}^{\alpha -1}/(z+1{)}^{\alpha }$ analytic off $[-1,1]$, positive for $z>1$, and $w(z)\sim 1/z$ at infinity. Its two boundary values are $w_{\pm }(t)=-e^{\pm i\pi \alpha }W(t)$.

The jump is $-2i\sin (\pi \alpha )W(t)$. The Cauchy representation for this decaying analytic function is therefore $w(z)=-\sin (\pi \alpha ){\int }_{-1}^{1}W(t)/(t-z)dt/\pi$. Taking the mean of its two boundary values removes the half-residue terms and gives

The complex potential of a two-dimensional potential flow maps the fluid region to the strip $0<\mathrm{Im}w<1$. Its lower boundary is the wall, with $B$ at $w=0$; upstream is $\mathrm{Re}w\to -\infty$ and downstream is $\mathrm{Re}w\to +\infty$. The free streamline is the upper strip boundary.

Write $q=w^{\prime }=u-iv$. The horizontal wall gives positive real velocities running from $q=1$ to the stagnation value $q=0$ at $B$. The vertical wall gives negative imaginary velocities from zero to $-i$. On the free surface $|q|=1$, with the angle turning continuously from zero to $-\pi /2$. Thus the hodograph plane domain is the fourth-quadrant quarter of the unit disk, bounded by those two radii and the unit-circle arc.

The following successive conformal maps straighten it. First $r=q^2$ maps to the lower half unit disk. Next $s=(r-1)/(r+1)$ maps to the third quadrant, since $\mathrm{Re}s=(|r{|}^2-1)/|r+1{|}^2<0$ and $\mathrm{Im}s=2\mathrm{Im}r/|r+1{|}^2<0$. Finally $s^2$ maps onto the upper half-plane. The three wall landmarks $q=1,0,-i$ go to $0,1,\infty$ respectively.

The strip map $e^{\pi w}$ also maps onto the upper half-plane, with these same landmarks $0,1,\infty$. The unique half-plane automorphism fixing all three is the identity. ThereforeThe free surface maps to the negative real axis in either construction, as required by its streamfunction value one. This completes the right-angle free-streamline hodograph map construction.

Glue the two analytic functions on their overlap, where their values agree. Since $\alpha <\beta$, the two half-planes cover the whole complex plane. The gluing therefore defines an entire function. It is bounded outside a sufficiently large disk by the two given infinity bounds, and bounded on the remaining compact disk by continuity. The Liouville theorem then gives one common constant.

For the standard canonical Wiener-Hopf factorization, first assume the nonzero kernel has Index of a Wiener-Hopf kernel zero and a continuous analytic logarithm $\ell =\log F$ tending to zero at both ends of the strip, with sufficient decay for the Cauchy projections. Choose $\alpha <a<b<\beta$. Let ${\Gamma }_{+}$ be the line $\mathrm{Im}\zeta =a$ oriented left to right, with its factor used above that line; let ${\Gamma }_{-}$ be the line $\mathrm{Im}\zeta =b$ oriented left to right, with its factor used below that line.

For $a<\mathrm{Im}z<b$, closing the rectangle between the two lines and using the Cauchy integral formula givesThus $F=F_{+}/F_{-}$. Multiplying $F{w}_{+}=w_{-}$ gives $F_{+}{w}_{+}=F_{-}{w}_{-}$ in the overlap. The canonical factors are analytic, nonzero, and normalized at infinity in their respective half-planes, so part (a) yieldsContours may be shifted within the strip without changing their factors on the appropriate side. When necessary, a subtracted Cauchy kernel fixes convergence and the common normalization constant.

The printed hypotheses omit the index and factor-growth qualifications; $F\to 1$ alone does not ensure them. An explicit counterexample is $F(z)=(z+i)/(z-i)$ on $-1/2<\mathrm{Im}z<1/2$, with $w_{+}=(z-i)/(z+i)$ and $w_{-}=1$. Both $w$ functions are analytic and bounded at infinity in their prescribed half-planes, and the relation holds. If admissible analytic factors made their common product a nonzero constant, $w_{-}=1$ would force $F_{-}$ constant and hence $F_{+}$ proportional to $F$, impossible because $F$ has a pole at $i$ in the plus half-plane. The natural factors $F_{+}=z+i$, $F_{-}=z-i$ instead give the nonconstant common polynomial $z-i$. Thus the boxed constant conclusion is the intended index-zero result, not a consequence of the literal assumptions alone.

Let $k=s+i\eta$. On the negative half-line, the integrand magnitude is bounded at infinity by a constant times $e^{(\alpha -\eta )x}$, which is integrable as $x\to -\infty$ when $\eta <\alpha$. On the positive half-line the corresponding bound is $e^{(\beta -\eta )x}$, integrable when $\eta >\beta$. ThusOn compact subsets strictly inside these half-planes, the same exponential domination absorbs every power of $|x|$. Differentiation under the integral is therefore valid and proves holomorphy, rather than only absolute convergence. The bars here denote the printed one-sided Fourier transforms, not complex conjugation.

Use the Fourier convention $\hat{u}(k,y)={\int }_{\mathbb{R}}u(x,y)e^{ikx}dx$. Transforming the differential equation givesDefine $k_{+}(k)=\sqrt{k}$ analytic above the downward cut from zero, and $k_{-}(k)=\sqrt{k-i}$ analytic below the upward cut from $i$. More explicitly take $\arg k\in (-\pi /2,3\pi /2)$ and $\arg (k-i)\in (-3\pi /2,\pi /2)$. In the strip $0<\mathrm{Im}k<1$, put $q=k_{+}{k}_{-}$. Then $q^2=k^2-ik$ and $\mathrm{Re}q>0$; at $k=i/2$, $q=1/2$, fixing the choice throughout the strip. The decaying $y$ mode is $e^{-qy}$.

The positive-half-line boundary value has transform ${\int }_0^{\infty }{e}^{ikx}dx=i/k$ for $\mathrm{Im}k>0$. Thus $\hat{u}(k,0)=\overline{f}+i/k$ and ${\hat{u}}_y(k,0)=\overline{g}$. The transformed boundary relation isLet $c=k_{-}(0)=e^{-i\pi /4}$. Splitting off the pole at zero givesThe left side is analytic in the lower domain up to $\mathrm{Im}k<1$: its apparent pole at zero is removable. The right side is analytic for $\mathrm{Im}k>0$. By the supplied boundedness of $k\overline{f}$ and $\overline{g}$, both sides tend to zero at infinity in their half-planes. The gluing and Liouville theorem argument therefore makes their common value zero. ConsequentlyChoose the inversion contour $\Gamma =\{s+i\eta :s\in \mathbb{R}\}$ oriented left to right, with any fixed $0<\eta <1$. It passes above the pole at zero and below the branch point at $i$. Fourier inversion gives exactlyThus the appropriate value is $\sqrt{-i}=e^{-i\pi /4}$. The other proposed value reverses the residue of the boundary step and violates its prescribed positive value.

There is also a far-field qualification in the source. The formula is the intended bounded mixed-boundary solution, but it does not tend to zero along every path to infinity. This can be checked explicitly: in parabolic coordinates $x=a^2-b^2$, $y=2ab$, with $a,b>0$, the mixed-boundary convection-diffusion solution in parabolic coordinates isIndeed $\Delta u=u_{bb}/[4(a^2+b^2)]$ and $u_x=-b{u}_b/[2(a^2+b^2)]$; the identity $u_{bb}=-2b{u}_b$ proves the differential equation. At $b=0$ the boundary value is one, and at $a=0$ its normal derivative is zero. Its traces are $f(x)=\mathrm{erfc}\sqrt{-x}$ for $x<0$ and $g(x)=-1/\sqrt{\pi x}$ for $x>0$, whose one-sided transforms are the expressions derived above.

At a fixed angle away from the positive $x$ axis, $b\to \infty$ and $u\to 0$. But at fixed $y>0$ and $x\to +\infty$, $b\sim y/(2\sqrt{x})$ and $u\to 1$. Hence the radial decay statement cannot hold uniformly as printed; the intended decay is away from the downstream boundary layer. The exact expression also identifies its thickness as $O(\sqrt{x})$.