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

Technische Samenvatting: Convexiteitscriterium en Radiaal-profiel Respons voor Off-Shell Kerr-geometrieën

Probleemstelling
De aard van donkere materie (DM) blijft een centraal open probleem, waarbij ultralichte bosonische velden (fuzzy dark matter, FDM) een overtuigend alternatief bieden dat galactische structuren modificeert via macroscopische de Broglie-golflengten. Een cruciale uitdaging bij het modelleren van zwarte gaten (BH) ingebed in dergelijke omgevingen is het onderscheiden tussen de asymptotische totale massa (ADM-massa) en de lokale radiale massaverdeling. De meeste bestaande benaderingen behandelen DM ofwel perturbatief op een vaste Kerr-achtergrond, of introduceren fenomenologische metriek-modificaties zonder rigoureuze consistentiecontroles. Bovendien is het construeren van exacte stationaire, axiaal symmetrische oplossingen voor roterende zwarte gaten ondersteund door realistische scalaire configuraties over het algemeen onhandelbaar. Het Newman–Janis-algoritme wordt veelvuldig gebruikt om roterende metrieken te genereren uit statische zaden, maar de complexificatiestap is niet uniek, en de resulterende "off-shell" geometrieën lossen mogelijk niet dezelfde materievergelijkingen op als hun statische zaden. Dit artikel adresseert de behoefte aan een gecontroleerde, analytische benchmark om de effecten van een eindig radiaal massaprofiel op sterkveld-observabelen (horizonnen, fotonensferen, schaduwen) te isoleren, zonder te beweren een zelfconsistente roterende Einstein–Klein–Gordon oplossing te zijn.

Methodologie
De auteurs construeren een effectieve Kerr-achtige geometrie gebaseerd op een statisch, sferisch symmetrisch zaad afgeleid van een specifiek FDM-geïnspireerd dichtheidsprofiel:
$$\rho_{\text{FDM}}(r) = \rho_c \left[ 1 + \alpha \left( \frac{r}{r_c} \right)^2 \right]^{-8}$$
waarbij $\alpha = 2^{1/8} - 1$.

1. Constructie van Statisch Zaad: De ingesloten massa $m(r)$ wordt exact geïntegreerd vanuit het dichtheidsprofiel. De statische metriek wordt gedefinieerd met een één-functie sluitingsconditie ($g_{tt}g_{rr} = -1$), wat de radiale druk vastlegt als $p_r = -\rho$. Dit levert een statische anisotrope fluïdumoplossing op.
2. Roterende Extensie: Het Newman–Janis-algoritme wordt toegepast op het statische zaad om een stationaire, axiaal symmetrische metriek te genereren. Cruciaal is dat de radiale functie $\Delta(r)$ wordt gedefinieerd als $\Delta(r) = r^2 - 2r m(r) + a^2$, wat ervoor zorgt dat deze alleen van $r$ afhangt. Dit behoudt de scheidbaarheid van de Hamilton–Jacobi-vergelijking voor nul-geodeten (Carter-scheidbaarheid).
3. Analytische Benchmarks: De auteurs leiden een voldoende voorwaarde af voor de convexiteit van $\Delta(r)$ om de horizonstructuren globaal te classificeren. Vervolgens voeren zij een eerste-orde perturbatieve expansie uit in de soliton-massafractie $f_{\text{sol}} = M_{\text{sol}}/M_{\text{ADM}}$ om responsfuncties voor horizonnen, extremale takken en fotonbanen af te leiden.
4. Comparatieve Analyse: De resultaten worden vergeleken met:
   • De volledige radiale-profielberekening (exact binnen de ansatz).
   • Een eerste-orde perturbatieve expansie.
   • Een constante-ADM-massa vervanging (waarbij $m(r) \to M_{\text{ADM}}$), die de standaard Kerr-geometrie herstelt.
   • Verschillende voltooiingsonzekerheden in de traag-rotatie limiet.

Belangrijkste Bijdragen

1. Convexiteitscriterium voor Off-Shell Kerr-geometrieën:
   Het artikel stelt een voldoende voorwaarde vast voor de strikte convexiteit van de radiale functie $\Delta(r) = r^2 - 2r m(r) + a^2$. Voor een positieve, niet-afnemende $C^2$ massaprofi $m(r)$ zorgt de ongelijkheid:
   $$1 - 2m'(r) - r m''(r) > 0$$
   ervoor dat $\Delta(r)$ strikt convex is op $r > 0$.

   • Implicatie: Dit garandeert dat $\Delta(r)$ voor $a \neq 0$ maximaal twee positieve wortels heeft (die een binnenste en buitenste horizon definiëren) of geen enkele. Voor $a=0$ is er exact één positieve wortel. Dit theorema biedt een globale classificatie van de horizon-topologie en sluit secundaire extremale takken of extra horizonnen uit voor een brede klasse van monotone massafuncties, mits de afgeleide-grens standhoudt.

2. Analytische FDM-Geïnspireerde Benchmark:
   De auteurs tonen aan dat het specifieke FDM-profiel aan het convexiteitscriterium voldoet over een domein dat aanzienlijk breder is dan de parameterruimte gebruikt voor numerieke scans ($f_{\text{sol}} / (r_c/M_{\text{ADM}}) < 0.69$). Zij leveren gesloten vorm-expressies voor de ingesloten massa, de extremale tak-condities en de zwakke energieconditie (WEC) grenzen.

3. Profiel-Functionele Respons Theorie:
   Het artikel leidt eerste-orde responsformules af voor observabelen onder algemene deformaties $m(r) = M_{\text{ADM}}(1 + \epsilon h)$.

   • Horizonnen en Extremaliteit: De verschuivingen in de buitenste horizon en de extremale spin hangen af van lokale combinaties van $h$ en $h'$.
   • Fotonenregio: De fotonensfeer straal hangt af van zowel de ingesloten massa $m(r)$ als de massagradiënt $m'(r)$.
   • Schaduw: Het schaduwoppervlak en de vorm zijn gevoelig voor de radiale distributie van massa, niet enkel voor de totale ADM-massa.

4. Onderscheid tussen Robuuste en Conditionele Respons:
   Een cruciale bevinding is de scheiding van responsen in twee categorieën:

   • Profiel-Gecontroleerd (Robuust): Statische horizonlocatie, fotonensfeer straal en schaduwoppervlakte (tot eerste orde) worden uitsluitend bepaald door de radiale massafunctie $m(r)$.
   • Voltooiings-Afhankelijk (Conditioneel): Spin-oneven schaduw-displacements hangen af van de specifieke keuze van de roterende voltooiing (bijv. de frame-dragging functie $\omega(r)$). Het Newman–Janis-prescriptie is niet uniek; alternatieve voltooiingen kunnen vergelijkbare of grotere displacements in de schaduw produceren, wat aangeeft dat spin-afhankelijke observabelen geen robuuste voorspellingen zijn van het radiale profiel alleen.

Resultaten

• Horizonstructuur: De extremale spin $j_{\text{ext}}$ neemt af naarmate de omgevingsmassa-fractie $f_{\text{sol}}$ toeneemt. De horizonstraal beweegt naar binnen vergeleken met een Kerr-zwart gat van dezelfde ADM-massa.
• Zwakke Energieconditie (WEC): De roterende effectieve bron voldoet aan de WEC in de exterior regio alleen als de buitenste horizon $r_+$ buiten een kritische straal $r_{\text{WEC}}$ ligt waar de transversale energiedichtheid negatief wordt. Dit definieert een "sign-based consistency domain" die verschilt van de horizon-existentie domain.
• Validiteit van Approximatie:
  • De constante-ADM-massa benadering (het vervangen van $m(r)$ door $M_{\text{ADM}}$) faalt om enige radiale-profieleffecten te vangen, en keert de standaard Kerr-resultaten terug, ongeacht $f_{\text{sol}}$.
  • De eerste-orde perturbatieve expansie is accuraat (sub-procent fouten) voor $f_{\text{sol}} \lesssim 0.1$ en gematigde spins ($j_{\text{ADM}}/j_{\text{ext}} \lesssim 0.7$). Echter, zij wordt niet-uniform en onnauwkeurig nabij de extremale limiet ($j_{\text{ADM}} \to j_{\text{ext}}$), met name voor de horizonlocatie.
• Schaduw Observabelen: De massaverdeling in de omgeving modificeert de grootte en vorm van de schaduw. Echter, de horizontale verplaatsing van de schaduw is zeer gevoelig voor de keuze van de roterende voltooiing, wat de schaduw een niet-robuuste indicator maakt van het FDM-profiel in afwezigheid van een fundamentele roterende scalaire oplossing.

Betekenis en Claims
Het artikel kadert expliciet zijn bijdragen als formele analytische benchmarks in plaats van astrofysische voorspellingen of zelfconsistente fysieke oplossingen.

• Geen Fundamentele Oplossing: De auteurs benadrukken dat de geconstrueerde geometrie een "effectieve" metriek is. Het claimt geen oplossing te zijn voor de Einstein–Klein–Gordon vergelijkingen voor een roterend scalair veld. De druk-sluiting en frame-dragging functies zijn gekozen voor analytische hanteerbaarheid (Newman–Janis) in plaats van afgeleid te worden uit een fundamentele materie-Lagrangiaan.
• Benchmark Nut: De primaire waarde ligt in het isoleren van de geometrische consequenties van een eindig radiaal massaprofi. Het demonstreert dat sterkveld gradiënt-effecten worden gecontroleerd door de lokale derivaten van de massafunctie ($m', m''$), die verloren gaan wanneer de gedistribueerde massa wordt vervangen door een puntmassa.
• Beperkingen: Het artikel merkt op dat voor realistische astrofysische FDM-kernen de sterkveld gradiënt-effecten verwaarloosbaar zijn ($\ll 10^{-20}$) tenzij de soliton kunstmatig gecomprimeerd wordt. De "compact production box" die gebruikt is voor numerieke scans, is een formeel parameterrum, geen realisatie van een onverstoorde FDM-kern.
• Conclusie: Het werk biedt een rigoureus wiskundig kader (het convexiteits-theorema) om de horizonstructuren in off-shell Kerr-geometrieën te classificeren en kwantificeert het informatieverlies dat optreedt bij het benaderen van gedistribueerde donkere materie als een constante massa. Het benadrukt dat hoewel statische observabelen profiel-afhankelijk zijn, spin-afhankelijke observabelen een bron-afgeleide roterende voltooiing vereisen om fysiek betekenisvol te zijn.