Convexity criterion and radial-profile response for off-shell Kerr geometries: a fuzzy-dark-matter profile as an analytic benchmark

Sintesi Tecnica: Criterio di Convessità e Risposta del Profilo Radiale per Geometrie Kerr Off-Shell

Enunciato del Problema
La natura della materia oscura (DM) rimane un problema aperto centrale, con i campi bosonici ultraleggeri (materia oscura fuzzy, FDM) che offrono un'alternativa convincente che modifica le strutture galattiche tramite lunghezze d'onda di de Broglie macroscopiche. Una sfida critica nel modellare i buchi neri (BH) immersi in tali ambienti è distinguere tra la massa totale asintotica (massa ADM) e la distribuzione locale della massa radiale. La maggior parte degli approcci esistenti tratta o la DM in modo perturbativo su un background di Kerr fisso, o introduce modifiche fenomenologiche alla metrica senza rigorosi controlli di coerenza. Inoltre, la costruzione di soluzioni esatte, stazionarie e assiali per buchi neri rotanti supportati da realistiche configurazioni scalari è generalmente intrattabile. L'algoritmo di Newman–Janis viene frequentemente utilizzato per generare metriche rotanti da semi statici, ma la fase di complessificazione non è univoca, e le geometrie "off-shell" risultanti potrebbero non risolvere le stesse equazioni della materia dei loro semi statici. Questo articolo affronta la necessità di un benchmark analitico controllato per isolare gli effetti di un profilo di massa radiale finito su osservabili in campo forte (orizzonti, sfere fotoniche, ombre) senza pretendere di essere una soluzione Einstein–Klein–Gordon rotante auto-coerente.

Metodologia
Gli autori costruiscono una geometria di tipo Kerr efficace basata su un seme statico, sfericamente simmetrico, derivato da un profilo di densità specifico ispirato alla FDM:
$$\rho_{\text{FDM}}(r) = \rho_c \left[ 1 + \alpha \left( \frac{r}{r_c} \right)^2 \right]^{-8}$$
dove $\alpha = 2^{1/8} - 1$.

1. Costruzione del Seme Statico: La massa racchiusa $m(r)$ viene integrata esattamente dal profilo di densità. La metrica statica è definita usando una condizione di chiusura a una funzione ($g_{tt}g_{rr} = -1$), che fissa la pressione radiale come $p_r = -\rho$. Ciò produce una soluzione di fluido anisotropo statico.
2. Estensione Rotante: L'algoritmo di Newman–Janis viene applicato al seme statico per generare una metrica stazionaria e assiale. Fondamentalmente, la funzione radiale $\Delta(r)$ è definita come $\Delta(r) = r^2 - 2r m(r) + a^2$, assicurando che dipenda solo da $r$. Ciò preserva la separabilità dell'equazione di Hamilton–Jacobi per le geodetiche nulle (separabilità di Carter).
3. Benchmark Analitici: Gli autori derivano una condizione sufficiente per la convessità di $\Delta(r)$ per classificare globalmente le strutture degli orizzonti. Effettuano poi un'espansione perturbativa del primo ordine nella frazione di massa del solitone $f_{\text{sol}} = M_{\text{sol}}/M_{\text{ADM}}$ per derivare funzioni di risposta per orizzonti, rami estremi e orbite fotoniche.
4. Analisi Comparativa: I risultati sono confrontati con:
   • Il calcolo completo del profilo radiale (esatto entro l'ansatz).
   • Un'espansione perturbativa del primo ordine.
   • Una sostituzione con massa ADM costante (dove $m(r) \to M_{\text{ADM}}$), che recupera la geometria di Kerr standard.
   • Varie incertezze di completamento nel limite di rotazione lenta.

Contributi Chiave

1. Criterio di Convessità per Geometrie Kerr Off-Shell:
   Il documento stabilisce una condizione sufficiente per la stretta convessità della funzione radiale $\Delta(r) = r^2 - 2r m(r) + a^2$. Per un profilo di massa $m(r)$ positivo e non decrescente, la disuguaglianza:
   $$1 - 2m'(r) - r m''(r) > 0$$
   garantisce che $\Delta(r)$ sia strettamente convesso per $r > 0$.

   • Implicazione: Questo garantisce che, per $a \neq 0$, $\Delta(r)$ abbia al massimo due radici positive (che definiscono gli orizzonti interno ed esterno) o nessuna. Per $a=0$, esiste esattamente una radice positiva. Questo teorema fornisce una classificazione globale della topologia dell'orizzonte, escludendo rami estremi secondari o ulteriori orizzonti per una vasta classe di funzioni di massa monotone, a patto che il limite della derivata sia soddisfatto.

2. Benchmark Analitico ispirato alla FDM:
   Gli autori dimostrano che il profilo specifico FDM soddisfa il criterio di convessità su un dominio significativamente più ampio dello spazio dei parametri usato per gli scansionamenti numerici ($f_{\text{sol}} / (r_c/M_{\text{ADM}}) < 0.69$). Forniscono espressioni in forma chiusa per la massa racchiusa, le condizioni del ramo estremo e i confini della condizione di energia debole (WEC).

3. Teoria della Risposta del Profilo-Funzionale:
   Il documento deriva formule di risposta del primo ordine per le osservabili sotto deformazioni generali $m(r) = M_{\text{ADM}}(1 + \epsilon h)$.

   • Orizzonti ed Estremità: Gli spostamenti nell'orizzonte esterno e nello spin estremo dipendono da combinazioni locali di $h$ e $h'$.
   • Regione Fotonica: Il raggio della sfera fotonica dipende sia dalla massa racchiusa $m(r)$ che dal gradiente di massa $m'(r)$.
   • Ombra: L'area e la forma dell'ombra sono mostrate essere sensibili alla distribuzione radiale della massa, non solo alla massa ADM totale.

4. Distinzione tra Risposte Robuste e Condizionali:
   Un risultato critico è la separazione delle risposte in due categorie:

   • Controllate dal Profilo (Robuste): La posizione statica dell'orizzonte, il raggio della sfera fotonica e l'area dell'ombra (al primo ordine) sono determinati esclusivamente dalla funzione di massa radiale $m(r)$.
   • Dipendenti dal Completamento (Condizionali): Gli spostamenti dell'ombra legati allo spin dipendono dalla specifica scelta del completamento rotante (ad esempio, la funzione di trascinamento del sistema di riferimento $\omega(r)$). La prescrizione di Newman–Janis non è univoca; completamenti alternativi possono produrre spostamenti comparabili o maggiori nell'ombra, indicando che le osservabili dipendenti dallo spin non sono indicatori robusti del profilo FDM da soli.

Risultati

• Struttura dell'Orizzonte: Lo spin estremo $j_{\text{ext}}$ diminuisce all'aumentare della frazione di massa ambientale $f_{\text{sol}}$. Il raggio dell'orizzonte si sposta verso l'interno rispetto a un buco nero di Kerr con la stessa massa ADM.
• Condizione di Energia Debole (WEC): La sorgente efficace rotante soddisfa la WEC nella regione esterna solo se l'orizzonte esterno $r_+$ si trova al di fuori di un raggio critico $r_{\text{WEC}}$ dove la densità di energia trasversa diventa negativa. Questo definisce un "dominio di coerenza basato sul segno" distinto dal dominio di esistenza dell'orizzonte.
• Validità dell'Approssimazione:
  • L'approssimazione a massa ADM costante (sostituendo $m(r)$ con $M_{\text{ADM}}$) fallisce nel catturare qualsiasi effetto del profilo radiale, restituendo i risultati standard di Kerr indipendentemente da $f_{\text{sol}}$.
  • L'espansione perturbativa del primo ordine è accurata (errori inferiori all'uno percento) per $f_{\text{sol}} \lesssim 0.1$ e spin moderati ($j_{\text{ADM}}/j_{\text{ext}} \lesssim 0.7$). Tuttavia, diventa non uniforme e imprecisa vicino al limite estremo ($j_{\text{ADM}} \to j_{\text{ext}}$), particolarmente per la posizione dell'orizzonte.
• Osservabili dell'Ombra: La distribuzione della massa ambientale modifica la dimensione e la forma dell'ombra. Tuttavia, lo spostamento orizzontale dell'ombra è altamente sensibile alla scelta del completamento rotante, rendendolo un indicatore non robusto del profilo FDM in assenza di una soluzione rotante fondamentale della sorgente.

Significato e Rivendicazioni
Il documento inquadra esplicitamente i suoi contributi come benchmark analitici formali piuttosto che predizioni astrofisiche o soluzioni fisiche auto-coerenti.

• Non è una Soluzione Fondamentale: Gli autori sottolineano che la geometria costruita è una metrica "effettiva". Non pretendono che sia una soluzione delle equazioni di Einstein–Klein–Gordon per un campo scalare rotante. La chiusura della pressione e le funzioni di trascinamento del sistema di riferimento sono scelte per la trattabilità analitica (Newman–Janis) piuttosto che derivate da un lagrangiano della materia fondamentale.
• Utilità del Benchmark: Il valore primario risiede nell'isolare le conseguenze geometriche di un profilo di massa radiale finito. Dimostra che le osservabili in campo forte sono controllate dai derivati locali della funzione di massa ($m', m''$), che si perdono quando si sostituisce la massa distribuita con una massa puntiforme.
• Limitazioni: Il documento nota che per i nuclei FDM astrofisici realistici, gli effetti del gradiente in campo forte sono trascurabili ($\ll 10^{-20}$) a meno che il solitone non sia artificialmente compresso. La "scatola di produzione compatta" usata per gli scansionamenti numerici è un parametro formale, non una realizzazione di un nucleo FDM non perturbato.
• Conclusione: Il lavoro fornisce un quadro matematico rigoroso (il teorema di convessità) per classificare le strutture degli orizzonti nelle geometrie Kerr off-shell e quantifica la perdita di informazione derivante dall'approssimare la materia oscura distribuita come una massa costante. Evidenzia che, mentre le osservabili statiche dipendono dal profilo, le osservabili dipendenti dallo spin richiedono un completamento rotante derivato dalla sorgente per essere fisicamente significative.