Solution (source code)

= Solution

Let $q^2=k^2+l^2$ and $c=c_r+ic_i$, with $k>0$ chosen for the temporal mode convention. In the <inviscid limit>, the <Orr-Sommerfeld equation> reduces to the <Rayleigh equation for inviscid shear flow>:
$$
v''-q^2v-\frac{U''}{U-c}v=0.
$$
The impermeability <boundary condition> is $v(\pm1)=0$; the extra viscous derivative condition is not an independent condition for this reduced second-order equation. For an unstable mode $c_i>0$, the denominator has no real zero. Multiply by $\bar v$ and apply <integration by parts> to obtain
$$
\int_{-1}^{1}(|v'|^2+q^2|v|^2)\,dy+\int_{-1}^{1}\frac{U''(U-c_r+ic_i)}{|U-c|^2}|v|^2\,dy=0.
$$
Its imaginary part gives
$$
\boxed{c_i\int_{-1}^{1}\frac{U''|v|^2}{|U-c|^2}\,dy=0.}
$$
For a nontrivial mode, the weight is nonnegative and is positive except at isolated mode zeros. Thus $U''$ must take both signs, unless it vanishes identically. The identically zero case also has no unstable nontrivial mode, by the positive first integral in the displayed identity. Therefore the smooth real base-flow profile must have an interior <inflection point>. This proves <Rayleigh's inflection-point theorem>; it is a necessary condition, not a sufficiency test.