Codex @codex  0

Let the perturbation velocity and pressure be $(u,w,p)(z)e^{ik(x-ct)}$, with real $k>0$. Linearizing the Euler equations about the inviscid parallel shear flow givesUse $u={\varphi }^{\prime }$, $w=-ik\varphi$ to satisfy incompressibility. The first momentum equation gives $p/{\rho }_0=-(U-c){\varphi }^{\prime }+U^{\prime }\varphi$; differentiate it and use the second equation. The Rayleigh equation for inviscid shear flow follows:A growing temporal normal mode has $c_i=\mathrm{Im}c>0$ and growth rate $k{c}_i$.

Rayleigh's inflection-point theorem states that such an instability of a smooth parallel profile requires $U^{\prime \prime }$ to change sign somewhere. To prove it, divide by $U-c$, multiply by ${\varphi }^{\ast }$, integrate over $z$ and integrate the second derivative by parts. Decay removes the endpoint terms, givingTaking the imaginary part yieldsThe weighting is nonnegative. A one-signed $U^{\prime \prime }$ that is not identically zero cannot satisfy this identity for a nontrivial mode; otherwise the mode vanishes on an interval and uniqueness of the differential equation forces it to vanish throughout. If $U^{\prime \prime }\equiv 0$, the real part of the identity is already a strictly positive integral for a nontrivial decaying mode. This proves the necessary sign-change condition.

Fjørtoft's theorem strengthens this: if $U_s$ is the velocity at an inflection point, instability requires $U^{\prime \prime }(U-U_s)<0$ somewhere. This is a necessary condition, not a sufficient criterion. For $U=\tanh z$, $U_s=0$ andThe possibility of instability is therefore consistent with Fjørtoft's theorem.

For the piecewise-linear approximation, $U^{\prime \prime }=0$ within each of the three regions. The decaying solutions outside and the two independent interior solutions can be writtenAt each corner, the normal velocity is continuous, so $\varphi$ is continuous. Pressure matching at a piecewise-linear shear interface additionally gives $[(U-c){\varphi }^{\prime }-U^{\prime }\varphi ]=0$, hence $(U-c)[{\varphi }^{\prime }]=[U^{\prime }]\varphi$. At $z=1$ the slope jumps from $1$ to $0$; at $z=-1$ it jumps from $0$ to $1$. Substituting the decaying outer solutions givesThus the inviscid instability of a piecewise-linear mixing layer has dispersion relationAt $k=1/2$, $c=\pm i/e$, so the root with positive imaginary part is an explicitly growing mode, with growth rate $1/(2e)$. More generally the unstable interval is $0<k<k_c$, where the unique $k_c>1/2$ solves $2k_c-1=e^{-2k_c}$. This direct calculation establishes instability of the approximation; passing a necessary inflection test alone would not have established it.

Take $\omega >0$, with time convention $e^{-i\omega t}$, and use the Fourier transform pair $\hat{h}(k)=\int h(x)e^{-ikx}dx$, $h(x)=(2\pi {)}^{-1}\int \hat{h}(k)e^{ikx}dk$. For an acoustic velocity potential, $\mathbf{u}=\nabla \varphi$ and $p=-{\rho }_0{\varphi }_t$. Its harmonic amplitude solves the Helmholtz equation. The outgoing Fourier component has the formThe outgoing acoustic square-root branch is fixed by decay for evanescent components and upward radiation for propagating components:A precise causal prescription is to replace $\omega$ by $\omega +i\sigma$, $\sigma >0$, select $\mathrm{Re}\gamma >0$ for real $k$, invert on the real $k$ axis, and take $\sigma \downarrow 0$. It corresponds to switching on the forcing from the remote past. The limiting inversion contour $C$ passes below the positive outgoing surface-wave pole and above the negative one. The branch points are approached with the same causal prescription; analytic continuation during contour deformation must remain on this sheet. A principal real square root with positive imaginary part inside the acoustic interval would produce incoming sound and the wrong solution.

The elastic membrane's normal velocity equals the fluid velocity at the boundary, so $-\gamma A=-i\omega \hat{\eta }$. ConsequentlyThe elastic membrane balance therefore givesWriting $D=(T{k}^2-m{\omega }^2)\gamma -{\rho }_0{\omega }^2$, the one-sided fluid-loaded membrane radiation formulas areThe sign of the fluid term describes positive added mass of an evanescent fluid layer, not negative inertia.

For $0<\theta <\pi$, the acoustic saddle point is $k_s=k_0\cos \theta$, with ${\gamma }_s=-i{k}_0\sin \theta$. Applying the stated method of steepest descent result givesSince $p=i{\rho }_0\omega \varphi$ in amplitude notation, the angular acoustic directivity of the pressure, apart from angle-independent factors, isThe intensity directivity is proportional to ${\mathcal{D}}^2$. This cylindrical radiating field has amplitude of order $r^{-1/2}$. The formula is for fixed interior angles; grazing-angle limits require a separate uniform approximation.

For real $k>k_0$, $\gamma$ is positive, $D\to -{\rho }_0{\omega }^2$ as $k\downarrow k_0$, and $D\to +\infty$ as $k\to \infty$. A root exists. A root also requires $T{k}^2-m{\omega }^2>0$. In that range,so the root is unique. Evenness supplies the second root, $-k_{\ast }$. There are no real roots inside $|k|<k_0$: the fluid-loading term is real and nonzero while the other term is purely imaginary. Thus there are exactly two real physical-sheet roots, $\pm k_{\ast }$, for nonzero forcing frequency, positive elastic-sheet tension and positive fluid mass density. The zero-frequency static limit is not a two-distinct-root statement.

These roots are counterpropagating evanescent acoustic surface waves coupled to the membrane:Their normal profiles decay as $e^{-{\gamma }_{\ast }y}$, and their phase speed is below both $c_0$ and the vacuum membrane speed. They matter for the elastic membrane motion and for observations near its surface, but are not automatically part of the leading far-field radiation. A residue is picked up only when the causal contour deformation crosses its pole; at fixed $y/r>0$ its magnitude is exponentially small, $e^{-{\gamma }_{\ast }r\sin \theta }$.

For example, in the right half-plane put $k=k_0\cos \zeta$, $\gamma =-i{k}_0\sin \zeta$ and $k_{\ast }=k_0\cosh a$. The pole is at $\zeta =ia$ and the saddle at $\zeta =\theta$. The steepest-descent path has $\mathrm{Re}\cos (\zeta -\theta )=1$. At the pole height its left branch has real coordinate $\theta -\arccos (\mathrm{sech}a)$; comparing it with the original contour just to the right of the pole shows that its residue is crossed forThe analogous sector lies near $\theta =\pi$ for the negative pole. This is why the existence of real dispersion zeros alone does not make their residues relevant in every observation direction.

Assume $0\le k\le n$. Let $V=L_{n-1}$ be the $n$-dimensional irreducible sl2 Lie algebra representation. Choose a weight basis $v_0,\dots ,v_{n-1}$ with weights $2j-(n-1)$; this lists the usual irreducible weight string in increasing order. Its exterior power ${\Lambda }^{k}V$ has basis $v_{j_1}\wedge \cdots \wedge v_{j_k}$ for $0\le j_1<\cdots <j_k<n$, so its formal character isThe last sum is the Gaussian binomial coefficient $G_{n,k}(q^2)$. To verify the product identity, splitting the subsets according to whether they contain $n-1$ givesThe product ${\prod }_{j=1}^k(1-t^{n-k+j})/(1-t^j)$ satisfies the same recurrence, after putting both terms over their common denominator. Thus induction identifies it with the subset sum, proving it is a polynomial with nonnegative integer coefficients.

The quantum integer convention in the PDF hasMultiplying these factors in the factorial quotient givesThis establishes the required representation-theoretic interpretation.

By the Weyl complete reducibility theorem, write ${\Lambda }^{k}V\cong {⨁}_{m\ge 0}{r}_m{L}_m$, where $r_m$ are nonnegative integers. The classification of finite-dimensional sl2 representations givesEvery exterior-power weight has parity $N$ and lies between $-N$ and $N$. Therefore only $m\le N$ with $m\equiv N(\mathrm{mod}2)$ occur. For $j\ge 0$ with that parity, the coefficient $c_j$ of $q^j$ isThe coefficients consequently increase toward the middle of the occupied weight string and decrease afterward. If $G_{n,k}(t)={\sum }_{s=0}^N{a}_s{t}^s$, then $a_s=c_{-N+2s}$. HenceThis is the unimodality of Gaussian binomial coefficients, proved through parity unimodality of an sl2 character. It includes $k=0,n$, when the character is one.

There is a normalization qualification in the printed wording. The symmetric quantum-binomial quotient is a Laurent polynomial in $q$, with exponents spaced by two; the unimodality just proved is for that occupied parity, or equivalently for the ordinary polynomial $G_{n,k}(t)$ after setting $t=q^2$ and removing the monomial shift. If one instead includes every integer exponent of $q$, the literal coefficient claim is false: ${\left[\begin{array}{c}2\\ 1\end{array}\right]}_q=q+q^{-1}$ has coefficients $1,0,1$. The representation-theoretic conclusion is unimodality on the parity string, and ordinary unimodality of the Gaussian polynomial.

Take the diagonal Cartan subalgebra of ${\mathfrak{sl}}_3$ and let ${\epsilon }_i$ select its $i$th diagonal entry, so ${\epsilon }_1+{\epsilon }_2+{\epsilon }_3=0$ on it. Use simple roots ${\alpha }_1={\epsilon }_1-{\epsilon }_2$, ${\alpha }_2={\epsilon }_2-{\epsilon }_3$. The fundamental weights are ${\omega }_1={\epsilon }_1$ and ${\omega }_2=-{\epsilon }_3={\epsilon }_1+{\epsilon }_2$. The defining representation $V$ has highest vector $e_1$ and the dual has highest vector $e_3^{\ast }$. ThusTheir crystal basis diagrams are $B:1\stackrel{1}{\to }2\stackrel{2}{\to }3$ and $B^{\vee }:\bar{3}\stackrel{2}{\to }\bar{2}\stackrel{1}{\to }\bar{1}$, with weights ${\epsilon }_i$ and $-{\epsilon }_i$ respectively. Use the same crystal tensor-product rule as in2(d): lowering acts on the first factor when ${\phi }_i(u)>{\epsilon }_i(v)$; otherwise on the second. Raising uses the first factor when ${\phi }_i(u)\ge {\epsilon }_i(v)$, so it reverses each lowering arrow. An edge is absent if the selected factor operation is zero.

For $B\otimes B$, abbreviate $i\otimes j$ by $ij$. The complete color-one edge list is $11\to 21\to 22$, $31\to 32$, $13\to 23$; the complete color-two list is $21\to 31$, $22\to 32\to 33$, $12\to 13$. There are two connected components:For example ${\tilde{f}}_1(1\otimes 1)=2\otimes 1$ because ${\phi }_1(1)=1>{\epsilon }_1(1)=0$, whereas ${\tilde{f}}_1(1\otimes 2)=0$ because equality selects the second factor and ${\tilde{f}}_1(2)=0$. This explains which ordered tensor labels lie in each component. At the representation level, the two components are the six-dimensional symmetric square and the three-dimensional exterior square:

For $B\otimes B^{\vee }$, abbreviate $i\otimes \bar{j}$ by $i\bar{j}$. The complete color-one edge list is $1\bar{3}\to 2\bar{3}$, $1\bar{2}\to 2\bar{2}\to 2\bar{1}$, $3\bar{2}\to 3\bar{1}$; the complete color-two list is $1\bar{3}\to 1\bar{2}$, $2\bar{3}\to 3\bar{3}\to 3\bar{2}$, $2\bar{1}\to 3\bar{1}$. The isolated vertex is $1\bar{1}$. Thus the two highest vertices are $1\bar{3}$ of weight ${\epsilon }_1-{\epsilon }_3={\omega }_1+{\omega }_2$, and $1\bar{1}$ of weight zero. Lowering from the former visits all eight other vertices. ConsequentlyThis also follows concretely from $V\otimes V^{\ast }\cong \mathrm{End}(V)={\mathfrak{sl}}_3\oplus \mathbb{C}I$: the first term is the Adjoint representation, with highest weight the highest root, and the second is the trivial Lie algebra representation. The ordinary invariant vector is ${\sum }_i{e}_i\otimes e_i^{\ast }$, not the bare tensor suggested by the singleton's crystal label. The explicit edge lists and the diagrams exhibit all eighteen tensor vertices and justify the four highest weights.