Fredholm--residue selection of the unsteady Kutta amplitude

Technical Summary: Fredholm–residue selection of the unsteady Kutta amplitude

Problem Statement
The paper addresses the mathematical determination of the unsteady Kutta condition in the context of trailing-edge acoustic receptivity. In steady inviscid airfoil theory, the Kutta condition uniquely fixes circulation by removing the inverse-square-root velocity singularity at the trailing edge. However, in unsteady acoustic problems, the outer inviscid acoustic–wake problem admits an outgoing hydrodynamic wake mode (a Kelvin–Helmholtz type instability). Consequently, the inviscid equations alone leave one complex amplitude, denoted $A$, undetermined. The central problem is to identify the physical mechanism that selects this specific scalar amplitude $A$ and to establish a rigorous mathematical identity linking the outer inviscid regularity condition to the inner viscous structure.

Methodology
The authors employ a multi-scale asymptotic approach combined with operator-theoretic analysis:

1. Outer Acoustic–Wake Problem: The outer region is modeled using a convected Helmholtz equation. The solution space is shown to be an affine family $\Phi_{out}^A = \Phi_{out}^0 + A\Phi_{out}^{KH}$, where $\Phi_{out}^{KH}$ is the homogeneous wake mode. The outer edge regularity condition requires the cancellation of the $r^{-1/2}$ velocity singularity, yielding a linear equation for $A$.
2. Inner Viscous Lower Deck: The trailing-edge region is analyzed using unsteady triple-deck theory. The matching data from the outer field, specifically the singular edge trace proportional to $C_-(A)$, acts as a forcing term for the linearized lower-deck operator $\mathcal{L}_{TD}(\Omega)$.
3. Fredholm Analysis: The lower-deck problem is formulated as a Fredholm operator between weighted Banach spaces. The authors introduce an augmented solvability framework where the singular edge trace is treated as a separate component from the regular data. The solvability of the regular part is governed by a Fredholm compatibility condition involving the adjoint state $\Psi^*$.
4. Transform Methods: The outer problem is also analyzed via Wiener–Hopf (for flat plates) and Mellin (for finite-angle wedges) transforms. The solution is represented as a meromorphic function, and the amplitude $A$ is identified with the residue at the downstream wake pole.
5. Exact Verification: To validate the structural hypotheses, the authors solve the linear-shear lower-deck model (where the base flow is $U_0 = \lambda_0 Y$) in closed form. This allows for the explicit construction of the adjoint state (an Airy-derivative field) and the verification of the non-degeneracy of the edge concomitant.

Key Contributions
The paper establishes a "Fredholm–residue identity" that unifies three distinct mathematical representations of the unsteady Kutta amplitude $A$. Under explicit structural hypotheses, these three representations are shown to be equivalent:

1. Outer Edge Regularity: The amplitude required to cancel the inverse-square-root singularity at the edge: $A = -C_-^{(0)} / C_-^{(KH)}$.
2. Inner Fredholm Compatibility: The amplitude required for the viscous lower-deck problem to be solvable against the adjoint cokernel: $A = -\langle \mathbf{F}_{inc}, \Psi^* \rangle / \langle \mathbf{F}_{KH}, \Psi^* \rangle$.
3. Transform Pole Residue: The coefficient of the downstream wake mode in the Kutta-normalized transform solution: $A = i \text{Res}_{\alpha=\alpha_{KH}} \mathcal{M}(\alpha)$.

The authors prove that the singular edge trace vanishes ($C_-(A)=0$) if and only if the Fredholm compatibility condition is met, provided the edge concomitant is non-zero. This equivalence is derived from a Green's identity linking the singular edge trace to the adjoint state.

Results

• Theorem 1.1 (Main Identity): The paper proves that the unsteady Kutta amplitude is the same scalar in the three representations listed above, assuming:
  • A simple downstream wake pole.
  • An edge indicial root of $\lambda = 1/2$.
  • A Fredholm lower-deck realization with index zero and augmented solvability.
  • A non-zero edge concomitant.
  • A meromorphic Kutta-normalized transform response.
• Theorem 4.1 (Exact Verification): For the canonical linear-shear lower-deck model, the inner hypotheses (Fredholm structure and non-degenerate edge concomitant) are verified in closed form. The adjoint state is explicitly identified as an Airy-derivative field ($u^* \propto \text{Ai}'(z)$), and the edge concomitant is shown to be non-zero outside a discrete set of resonance frequencies.
• Mellin Analogue: The results are extended to finite-angle wedges using Mellin transforms, where the wake pole is replaced by a pole in the complex $s$-plane, and the edge singularity corresponds to a specific loading mode.

Significance and Scope
The paper claims its primary contribution is not a full viscous proof for the general physical trailing-edge base flow (which involves complex, numerically known profiles), but rather a "closed applied-mathematical selection mechanism." It isolates the structural hypotheses required for the identification of the three representations and demonstrates that these hypotheses hold as theorems in the linear-shear model.

The work clarifies that the unsteady Kutta condition is not merely an additional inviscid boundary condition but is fundamentally the vanishing of the singular edge trace, which is mathematically equivalent to the Fredholm compatibility condition of the viscous lower deck. The paper explicitly notes limitations: the theory is conditional on the absence of spectral degenerations (such as multiple wake poles, pole-cut collisions, or Briggs–Bers pinches indicating absolute instability) and relies on the specific structural properties of the linear-shear model for the exact verification of the inner hypotheses. The results provide a rigorous framework for understanding how viscous effects select the amplitude of unsteady wake modes in acoustic receptivity.