Fredholm--residue selection of the unsteady Kutta amplitude

Sintesi Tecnica: Selezione dell'ampiezza di Kutta instabile tramite residuo di Fredholm

Enunciato del Problema
Il documento affronta la determinazione matematica della condizione di Kutta instabile nel contesto della ricettività acustica del bordo d'uscita. Nella teoria dei profili alari inviscidi stazionari, la condizione di Kutta fissa univocamente la circolazione eliminando la singolarità di velocità di tipo radice quadrata inversa al bordo d'uscita. Tuttavia, nei problemi acustici instabili, il problema esterno inviscido acustico-scia ammette un modo di scia idrodinamica uscente (un'instabilità di tipo Kelvin–Helmholtz). Di conseguenza, le equazioni inviscide da sole lasciano un'ampiezza complessa, denotata con $A$, indeterminata. Il problema centrale è identificare il meccanismo fisico che seleziona questa specifica ampiezza scalare $A$ ed estendere una rigorosa identità matematica che colleghi la condizione di regolarità inviscida esterna alla struttura viscosa interna.

Metodologia
Gli autori impiegano un approccio asintotico multi-scala combinato con un'analisi operatorio-teoretica:

1. Problema Acustico-Scia Esterno: La regione esterna è modellata mediante un'equazione di Helmholtz convettiva. Si dimostra che lo spazio delle soluzioni è una famiglia affine $\Phi_{out}^A = \Phi_{out}^0 + A\Phi_{out}^{KH}$, dove $\Phi_{out}^{KH}$ è il modo di scia omogeneo. La condizione di regolarità del bordo esterno richiede la cancellazione della singolarità di velocità $r^{-1/2}$, producendo un'equazione lineare per $A$.
2. Deck Inferiore Viscoso Interno: La regione del bordo d'uscita è analizzata mediante la teoria del triple-deck instabile. I dati di accoppiamento (matching) dal campo esterno, specificamente la traccia singolare del bordo proporzionale a $C_-(A)$, agiscono come termine di forzante per l'operatore del lower-deck linearizzato $\mathcal{L}_{TD}(\Omega)$.
3. Analisi di Fredholm: Il problema del lower-deck è formulato come un operatore di Fredholm tra spazi Banach pesati. Gli autori introducono un quadro di solvibilità aumentata in cui la traccia singolare del bordo è trattata come una componente distinta rispetto ai dati regolari. La solvibilità della parte regolare è governata da una condizione di compatibilità di Fredholm che coinvolge lo stato aggiunto $\Psi^*$.
4. Metodi di Trasformata: Anche il problema esterno è analizzato tramite trasformate di Wiener–Hopf (per piastre piane) e di Mellin (per cunei ad angolo finito). La soluzione è rappresentata come una funzione meromorfa, e l'ampiezza $A$ viene identificata con il residuo al polo di scia a valle.
5. Verifica Esatta: Per validare le ipotesi strutturali, gli autori risolvono in forma chiusa il modello del lower-deck a taglio lineare (dove il flusso di base è $U_0 = \lambda_0 Y$). Ciò consente la costruzione esplicita dello stato aggiunto (un campo derivata di Airy) e la verifica della non-degenerazione del concomitante di bordo.

Contributi Chiave
Il documento stabilisce un "identità del residuo di Fredholm" che unifica tre distinte rappresentazioni matematiche dell'ampiezza di Kutta instabile $A$. Sotto esplicite ipotesi strutturali, queste tre rappresentazioni si dimostrano equivalenti:

1. Regolarità del Bordo Esterno: L'ampiezza necessaria per cancellare la singolarità di radice quadrata inversa al bordo: $A = -C_-^{(0)} / C_-^{(KH)}$.
2. Compatibilità di Fredholm Interna: L'ampiezza necessaria affinché il problema del viscous lower-deck sia risolvibile rispetto al cokernel aggiunto: $A = -\langle \mathbf{F}_{inc}, \Psi^* \rangle / \langle \mathbf{F}_{KH}, \Psi^* \rangle$.
3. Residuo del Polo di Trasformata: Il coefficiente del modo di scia a valle nella soluzione della trasformata normalizzata di Kutta: $A = i \text{Res}_{\alpha=\alpha_{KH}} \mathcal{M}(\alpha)$.

Gli autori dimostrano che la traccia singolare del bordo si annulla ($C_-(A)=0$) se e solo se la condizione di compatibilità di Fredholm è soddisfatta, a condizione che il concomitante di bordo sia non nullo. Questa equivalenza è derivata da un'identità di Green che collega la traccia singolare del bordo allo stato aggiunto.

Risultati

• Teorema 1.1 (Identità Principale): Il documento prova che l'ampiezza di Kutta instabile è lo stesso scalare nelle tre rappresentazioni elencate sopra, assumendo:
  • Un polo di scia a valle semplice.
  • Una radice indiciale di bordo $\lambda = 1/2$.
  • Una realizzazione del lower-deck con indice zero e solvibilità aumentata.
  • Un concomitante di bordo non nullo.
  • Una risposta di trasformata normalizzata di Kutta meromorfa.
• Teorema 4.1 (Verifica Esatta): Per il modello canonico del lower-deck a taglio lineare, le ipotesi interne (struttura di Fredholm e concomitante di bordo non degenere) sono verificate in forma chiusa. Lo stato aggiunto è esplicitamente identificato come un campo derivata di Airy ($u^* \propto \text{Ai}'(z)$), e il concomitante di bordo è mostrato essere non nullo al di fuori di un insieme discreto di frequenze di risonanza.
• Analogo di Mellin: I risultati sono estesi a cunei ad angolo finito utilizzando le trasformate di Mellin, dove il polo di scia è sostituito da un polo nel piano complesso $s$, e la singolarità di bordo corrisponde a un modo di carico specifico.

Significato e Ambito
Il documento sostiene che il suo contributo primario non sia una prova viscosa completa per il generale flusso di base del bordo d'uscita (che comporta profili complessi e noti numericamente), bensì un "meccanismo di selezione matematico-applicato chiuso". Esso isola le ipotesi strutturali necessarie per l'identificazione delle tre rappresentazioni e dimostra che tali ipotesi valgono come teoremi nel modello a taglio lineare.

Il lavoro chiarisce che la condizione di Kutta instabile non è semplicemente una condizione al contorno inviscida aggiuntiva, ma è fondamentalmente l'annullamento della traccia singolare del bordo, che è matematicamente equivalente alla condizione di compatibilità di Fredholm del viscous lower-deck. Il documento nota esplicitamente i limiti: la teoria è condizionata all'assenza di degenerazioni spettrali (come poli di scia multipli, collisioni polo-taglio o "pinches" di Briggs–Bers che indicano instabilità assoluta) e si basa sulle specifiche proprietà strutturali del modello a taglio lineare per la verifica esatta delle ipotesi interne. I risultati forniscono un quadro rigoroso per comprendere come gli effetti viscosi selezionino l'ampiezza dei modi di scia instabili nella ricettività acustica.