Fredholm--residue selection of the unsteady Kutta amplitude

Resumo Técnico: Seleção da amplitude de Kutta não estacionária por resíduo de Fredholm

Enunciado do Problema
O artigo aborda a determinação matemática da condição de Kutta não estacionária no contexto da receptividade acústica de borda de fuga. Na teoria de aerofólios invíscidos estacionários, a condição de Kata fixa univocamente a circulação ao remover a singularidade de velocidade de raiz quadrada inversa na borda de fuga. No entanto, em problemas acústicos não estacionários, o problema externo invíscido acústico–esteira admite um modo de esteira hidrodinâmica de saída (um tipo de instabilidade de Kelvin–Helmholtz). Consequentemente, as equações invíscidas sozinhas deixam uma amplitude complexa, denotada por $A$, indeterminada. O problema central é identificar o mecanismo físico que seleciona essa amplitude escalar específica $A$ e estabelecer uma identidade matemática rigorosa que vincule a condição de regularidade invíscida externa à estrutura viscosa interna.

Metodologia
Os autores empregam uma abordagem assintótica de múltiplas escalas combinada com análise de teoria de operadores:

1. Problema Externo Acústico–Esteira: A região externa é modelada usando uma equação de Helmholtz convectada. O espaço de solução é mostrado como uma família afim $\Phi_{out}^A = \Phi_{out}^0 + A\Phi_{out}^{KH}$, onde $\Phi_{out}^{KH}$ é o modo de esteira homogêneo. A condição de regularidade da borda externa exige o cancelamento da singularidade de velocidade $r^{-1/2}$, resultando em uma equação linear para $A$.
2. Camada Inferior Viscosa (Lower Deck): A região da borda de fuga é analisada utilizando a teoria de triple-deck não estacionária. Os dados de correspondência (matching) do campo externo, especificamente o traço de borda singular proporcional a $C_-(A)$, atuam como um termo de forçamento para o operador de camada inferior linearizado $\mathcal{L}_{TD}(\Omega)$.
3. Análise de Fredholm: O problema da camada inferior é formulado como um operador de Fredholm entre espaços de Banach ponderados. Os autores introduzem um arcabouço de solvabilidade aumentado onde o traço de borda singular é tratado como um componente separado dos dados regulares. A solvabilidade da parte regular é governada por uma condição de compatibilidade de Fredholm envolvendo o estado adjunto $\Psi^*$.
4. Métodos de Transformada: O problema externo também é analisado via transformadas de Wiener–Hopf (para placas planas) e Mellin (para cunhas de ângulo finito). A solução é representada como uma função meromorfa, e a amplitude $A$ é identificada com o resíduo no polo de esteira a jusante.
5. Verificação Exata: Para validar as hipóteses estruturais, os autores resolvem o modelo de camada inferior de cisalhamento linear (onde o escoamento base é $U_0 = \lambda_0 Y$) em forma fechada. Isso permite a construção explícita do estado adjunto (um campo de derivada de Airy) e a verificação da não-degenerescência do concomitante de borda.

Principais Contribuições
O artigo estabelece uma "identidade de resíduo de Fredholm" que unifica três representações matemáticas distintas da amplitude de Kutta não estacionária $A$. Sob hipóteses estruturais explícitas, essas três representações mostram-se equivalentes:

1. Regularidade da Borda Externa: A amplitude necessária para cancelar a singularidade de raiz quadrada inversa na borda: $A = -C_-^{(0)} / C_-^{(KH)}$.
2. Compatibilidade de Fredholm Interna: A amplitude necessária para que o problema da camada inferior viscosa seja solvável contra o cokernel adjunto: $A = -\langle \mathbf{F}_{inc}, \Psi^* \rangle / \langle \mathbf{F}_{KH}, \Psi^* \rangle$.
3. Resíduo do Polo da Transformada: O coeficiente do modo de esteira a jusante na solução da transformada normalizada por Kutta: $A = i \text{Res}_{\alpha=\alpha_{KH}} \mathcal{M}(\alpha)$.

Os autores provam que o traço de borda singular desaparece ($C_-(A)=0$) se, e somente se, a condição de compatibilidade de Fredholm for atendida, desde que o concomitante de borda seja não nulo. Esta equivalência é derivada de uma identidade de Green que vincula o traço de borda singular ao estado adjunto.

Resultados

• Teorema 1.1 (Identidade Principal): O artigo prova que a amplitude de Kutta não estacionária é o mesmo escalar nas três representações listadas acima, assumindo:
  • Um polo de esteira a jusante simples.
  • Uma raiz indicial de borda de $\lambda = 1/2$.
  • Uma realização de Fredholm de camada inferior de índice zero e solvabilidade aumentada.
  • Um concomitante de borda não nulo.
  • Uma resposta de transformada Kutta-normalizada meromorfa.
• Teorema 4.1 (Verificação Exata): Para o modelo canônico de camada inferior de cisalhamento linear, as hipóteses internas (estrutura de Fredholm e concomitante de borda não degenerado) são verificadas em forma fechada. O estado adjunto é explicitamente identificado como um campo de derivada de Airy ($u^* \propto \text{Ai}'(z)$), e o concomitante de borda é mostrado como não nulo fora de um conjunto discreto de frequências de ressonância.
• Análogo de Mellin: Os resultados são estendidos para cunhas de ângulo finito usando transformadas de Mellin, onde o polo de esteira é substituído por um polo no plano complexo $s$, e a singularidade de borda corresponde a um modo de carregamento específico.

Significância e Escopo
O artigo afirma que sua principal contribuição não é uma prova viscosa completa para o escoamento base físico geral de borda de fuga (que envolve perfis complexos, conhecidos numericamente), mas sim um "mecanismo de seleção de matemática aplicada fechada". Ele isola as hipóteses estruturais necessárias para a identificação das três representações e demonstra que essas hipóteses se sustentam como teoremas no modelo de cisalhamento linear.

O trabalho esclarece que a condição de Kutta não estacionária não é meramente uma condição de contorno invíscida adicional, mas é fundamentalmente o desaparecimento do traço de borda singular, o que é matematicamente equivalente à condição de compatibilidade de Fredholm da camada inferior viscosa. O artigo nota explicitamente as limitações: a teoria é condicional à ausência de degenerações espectrais (como múltiplos polos de esteira, colisões de polo-corte ou pinches de Briggs–Bers que indiquem instabilidade absoluta) e depende das propriedades estruturais específicas do modelo de cisalhamento linear para a verificação exata das hipóteses internas. Os resultados fornecem um arcabouço rigoroso para compreender como os efeitos viscosos selecionam a amplitude dos modos de esteira não estacionários na receptividade acústica.