Numerisk simulering af BeeTheory-modellen for mørk masse

En komplet, reproducerbar redegørelse for den numeriske integration, nedbrydning af baryonisk hastighed, χ²-minimering og implementeringsvalg bag BeeTheory-simuleringen af mørk masse.

Denne tekniske side forklarer, hvordan man reproducerer BeeTheorys numeriske simulering af Mælkevejens skjulte masse. Den beskriver observationsdataene, den baryoniske model, den bølgebaserede tæthedsligning, den numeriske integration, tilpasningsmetoden, konvergenstests og referencekoden.

Målet er enkelt: Tag udgangspunkt i en synlig Mælkevejsskive, anvend BeeTheorys bølgetæthedsmodel, beregn den effektive skjulte masse, og sammenlign den resulterende cirkulære hastighedskurve med observationer fra Gaia-æraen.

Indhold

  • Oversigt over simuleringen
  • Observationsdata
  • Baryonisk hastighedsmodel
  • BeeTheory-ligningen for mørk tæthed
  • Numerisk integrationsskema
  • χ²-minimering og parametertilpasning
  • Konvergens og fejlbudget
  • Fuld referencekode
  • Sådan gengiver du simuleringen

0. Hvad vi beregner og hvorfor

Mælkevejens rotationskurve er stjernernes cirkulære hastighed Vc(R) som en funktion af deres afstand R fra det galaktiske centrum. Den måles i dag langt mere præcist end den samlede massefordeling, vi direkte kan se.

Underskuddet mellem den observerede hastighed og det, som synligt baryonisk stof forudsiger, er problemet med den skjulte masse. Standardmodeller påberåber sig en usynlig partikelhalo, som regel koldt mørkt stof. BeeTheory foreslår en anden fortolkning: Hvert synligt masseelement udstråler et bølgefelt, der henfalder eksponentielt i tre dimensioner, og det akkumulerede felt opfører sig som skjult masse.

Simuleringen gør tre ting:

  1. Beregner Vcbar(R) fra den synlige skive og bulge ved hjælp af Freemans analytiske skiveformel.
  2. Integrerer numerisk BeeTheory-tætheden ρdark(r; ℓ, λ) ved hver radius og konverterer den derefter til VcDM(R).
  3. Minimerer χ²(ℓ, λ) mod Mælkevejens rotationskurve fra Gaia-æraen for at finde repræsentative best-fit-parametre.

Simuleringen er designet til at være reproducerbar. Den kan køre i JavaScript eller Python uden et specialiseret astrofysisk bibliotek.

Notation brugt hele vejen igennem

  • R er den cylindriske galaktocentriske radius i skivens plan, i kpc.
  • r er den sfæriske galaktocentriske radius.
  • z er højden over disken.
  • er BeeTheory-kohærenslængden i kpc.
  • λ er den dimensionsløse bølge-masse-kobling.
  • G bruges i enheder af kpc km² s-² M⊙-¹.
\(G=4.302\times10^{-3}\,\mathrm{kpc\,km^2\,s^{-2}\,M_\odot^{-1}}\)

Oversigt over pipelines

  1. Data fraGaia-æraen: opbyg datasættet (Ri,Vi, σi).
  2. Baryonisk model: beregn Vbar(R) fra skiven og udbulingen.
  3. BeeTheory density: beregn ρdark(r; ℓ, λ) ved hjælp af kvadratur.
  4. Indesluttet masse: Integrer den effektive mørke tæthed i Mdark(<R).
  5. Samlet hastighed: Beregn Vtot(R) ud fra baryoner plus effektiv mørk masse.
  6. χ²-minimering: søg i parameterrummet efter den bedste ℓ og λ.
\(V_{\mathrm{tot}}(R)=\sqrt{V_{\mathrm{bar}}^2(R)+V_{\mathrm{DM}}^2(R)}\)

1. Observationsdata – Gaia 2024

Datasættet er baseret på Mælkevejens rotationskurve fra Gaia-æraen. Det bruger radier R, cirkulære hastigheder Vc og usikkerheder σ. Den oprindelige tekniske version brugte 16 datapunkter, der dækkede R = 4-27,3 kpc.

De vigtige observationelle fakta er:

  • Vc(R⊙ = 8 kpc) ≈ 230 km/s, ankerpunktet nær solens bane.
  • Vc er omtrent flad fra ca. 5 til 20 kpc.
  • Vc falder i den ydre målte skive og når ca. 173 ± 17 km/s nær 27,3 kpc i de refererede data.

Det kræver en effektiv skjult massefordeling, som stiger kraftigt ved mellemliggende radier og derefter aftager ved større radier.

\(R_i=\{4,5,6,7,8,9,10,11,12,14,16,18,20,22,24,27.3\}\,\mathrm{kpc}\) \(V_i=\{220,228,232,231,230,229,228,227,226,224,222,219,215,208,200,173\}\,\mathrm{km/s}\)

Vi udelukker den inderste galakse, fordi den centrale bjælke og de ikke-cirkulære bevægelser dominerer der. En forenklet aksesymmetrisk model er ikke pålidelig i det område.

2. Baryonisk hastighedsmodel – skive og bulge

Den cirkulære hastighed fra synligt stof er kvadratur-summen af diskens og udbulingens bidrag:

\(V_{\mathrm{bar}}^2(R)=V_{\mathrm{disk}}^2(R)+V_{\mathrm{bulge}}^2(R)\)

2.1 Eksponentiel disk – Freemans formel

Den tynde stjerneskive har en eksponentiel overfladetæthed:

\(\Sigma(R)=\Sigma_0e^{-R/R_d}\)

med repræsentative parametre:

\(\Sigma_0=800\,M_\odot\,\mathrm{pc}^{-2}\) \(R_d=2.6\,\mathrm{kpc}\)

Den cirkulære hastighed fra en uendelig tynd eksponentiel skive med den samlede masse Md er:

\(V_{\mathrm{disk}}^2(R)=\frac{2GM_d}{R_d}y^2\left[I_0(y)K_0(y)-I_1(y)K_1(y)\right],\qquad y=\frac{R}{2R_d}\)

Her erIn ogKn modificerede Bessel-funktioner af første og anden art. De beregnes numerisk ved hjælp af standardpolynomier og asymptotiske tilnærmelser.

2.2 Tilnærmelse til bule

Bulgen er modelleret som et kompakt sfærisk massebidrag:

\(V_{\mathrm{bulge}}^2(R)=\frac{GM_{\mathrm{bulge}}}{R}\)

En mere komplet model ville bruge en de Vaucouleurs- eller bjælkelignende profil, men uden for de inderste få kiloparsec er denne tilnærmelse tilstrækkelig til en førsteordenssimulering.

ParameterSymbolVærdiBetydning
GravitationskonstantG4.302 × 10-³kpc km² s-² M⊙-¹
Diskens skalaradiusRd2,6 kpcRepræsentativ skala for tynde diske
DiskmasseMd3.5 × 10¹⁰ M⊙Omtrentlig masse af stjerneskiven
Udbulet masseMb1.2 × 10¹⁰ M⊙Omtrentlig masse af udbuling

De baryoniske parametre holdes fast, fordi de er uafhængigt begrænsede af stjernepopulationer og fotometri. At tilpasse dem samtidig med ℓ og λ ville skabe stærke degeneracier.

3. Bi-teoriens ligning for mørk tæthed

3.1 Fysisk postulat

Hvert synligt masseelement dV på position r′ i den galaktiske skive genererer et tyngdebølgefelt, der skaber en effektiv massetæthed i et feltpunkt r:

\(d\rho_{\mathrm{dark}}(\mathbf{r})=\frac{\lambda}{\ell}\rho_{\mathrm{vis}}(\mathbf{r}’)\exp\left(-\frac{|\mathbf{r}-\mathbf{r}’|}{\ell}\right)dV\)

Den samlede mørke tæthed i ethvert punkt (R,z) er superpositionen over alle diskens elementer. Da kilden er en skive, bliver udtrykket for volumendensitet til et udtryk for overfladetæthed:

\(\rho_{\mathrm{vis}}dV\rightarrow \Sigma(R’)R’\,dR’\,d\phi\)

Det fulde dobbelte integral er:

\(\rho_{\mathrm{dark}}(R,z)=\frac{\lambda}{\ell}\int_0^\infty\int_0^{2\pi}\Sigma(R’)\exp\left(-\frac{\sqrt{R^2+R’^2-2RR’\cos\phi+z^2}}{\ell}\right)R’\,d\phi\,dR’\)

3.2 Monopol-kerne og azimutal integration

Det indre integral over φ har generelt ingen elementær lukket form. I det regime, hvor feltpunktet er langt nok væk fra en kildering, kan det azimutale gennemsnit tilnærmes med en monopoludvidelse.

\(K(r,R’)=\int_0^{2\pi}e^{-D(r,R’,\phi)/\ell}\,d\phi\approx\frac{2\pi\ell}{r}\sinh\left(\frac{r}{\ell}\right)e^{-(r+R’)/\ell}\)

Denne tilnærmelse er pålidelig uden for den inderste skive, hvilket er grunden til, at den forenklede tilpasning udelukker den centrale galakse.

Efter udskiftning af K reduceres den mørke tæthed til et endimensionalt integral over R′:

\(\rho_{\mathrm{dark}}(r;\ell,\lambda)=\frac{\lambda\Sigma_0}{\ell}\int_0^\infty R’e^{-R’/R_d}\frac{2\pi\ell}{r}\sinh\left(\frac{r}{\ell}\right)e^{-(r+R’)/\ell}dR’\)

3.3 Analytisk verificering af den asymptotiske grænse

ForRd ≪ r ≪ ℓ forenkles udtrykket. Disken er meget mindre end radius, og kohærenslængden er stadig meget større end radius.

\(\rho_{\mathrm{dark}}(r)\xrightarrow{R_d\ll r\ll\ell}\frac{2\pi\lambda\Sigma_0R_d^2}{r^2}\)

Fordi:

\(\int_0^\infty R’e^{-R’/R_d}dR’=R_d^2\) \(\sinh\left(\frac{r}{\ell}\right)\approx\frac{r}{\ell}\) \(e^{-r/\ell}\approx1\)

Denne asymptotiske tæthed opfører sig som ρ ∝ r-², hvilket giver M( \(\rho(r)\propto r^{-2}\Longrightarrow M(<r)\propto r\Longrightarrow V_c=\sqrt{\frac{GM(<r)}{r}}\approx\mathrm{konstant}\).

Ved at indsætte repræsentative værdier får man en lokal tæthed tæt på den observerede værdi for Mælkevejen:

\(\rho_{\mathrm{dark}}(8\,\mathrm{kpc})\approx\frac{2\pi(0.082)(800\,M_\odot\,\mathrm{pc}^{-2})(2.6\,\mathrm{kpc})^2}{(8\,\mathrm{kpc})^2}\approx0.38\,\mathrm{GeV/cm^3}\)

4. Numerisk integrationsskema

4.1 Trin 1 – ρdark(r) ved hjælp af midtpunktskvadratur

Kilde-ring-integralet over R′ er afkortet ved R′max = 30 kpc, hvor den eksponentielle skivens overfladetæthed er ubetydelig.

Integrationen bruger en midtpunktsregel med N kildenoder:

\(\rho_{\mathrm{dark}}(r;\ell,\lambda)\approx\frac{\lambda}{\ell}\sum_{i=0}^{N-1}\Sigma_0e^{-R’_i/R_d}K(r,R’_i)\Delta R’,\qquad R’_i=\left(i+\frac{1}{2}\right)\frac{30}{N}\)

hvor:

\(K(r,R’_i)=\frac{2\pi\ell}{r}\sinh\left(\frac{r}{\ell}\right)e^{-(r+R’_i)/\ell}\)

4.2 Trin 2 – Lukket mørk masse

Efter beregning af ρdark(r) fås den indesluttede mørke masse inden for radius R med et sfærisk skalintegral:

\(M_{\mathrm{dark}}(<R)=\int_0^R4\pi r^2\rho_{\mathrm{dark}}(r)\,dr\)

Numerisk:

\(M_{\mathrm{dark}}(<R)\approx\sum_{j=0}^{N_r-1}4\pi r_j^2\rho_{\mathrm{dark}}(r_j)\Delta r\)

4.3 Trin 3 – Det mørke stofs cirkulære hastighed

\(V_{\mathrm{DM}}(R)=\sqrt{\frac{GM_{\mathrm{dark}}(<R)}{R}}\)

Den samlede cirkulære hastighed er så:

\(V_{\mathrm{total}}(R)=\sqrt{V_{\mathrm{bar}}^2(R)+V_{\mathrm{DM}}^2(R)}\)

4.4 Omregning af enheder

Tæthedsintegralet giver tæthed i solmasser pr. kubisk kiloparsec. For at sammenligne med den kanoniske lokale tæthed af mørkt stof i GeV/cm³ skal du bruge:

\(1\,\frac{M_\odot}{\mathrm{kpc}^3}=\frac{1.989\times10^{30}\,\mathrm{kg}\times5.61\times10^{26}\,\mathrm{GeV/kg}}{(3.086\times10^{21}\,\mathrm{cm})^3}\) \(1\,M_\odot\,\mathrm{kpc}^{-3}\approx3.778\times10^{-2}\,\mathrm{GeV\,cm^{-3}}\)

5. χ²-minimering og parametertilpasning

5.1 Målfunktion

Tilpasningen minimerer den reducerede chi-kvadrat:

\(\chi_\nu^2(\ell,\lambda)=\frac{1}{N-p}\sum_{i=1}^{N}\left(\frac{V_c^{\mathrm{model}}(R_i;\ell,\lambda)-V_{c,i}}{\sigma_i}\right)^2\)

med N = 16 datapunkter og p = 2 frie parametre, ℓ og λ. Det giver 14 frihedsgrader.

5.2 Gittersøgning med to gennemløb

Der bruges en gittersøgning i stedet for gradientnedstigning, fordi landskabet har en lang, buet degenerationsdal mellem λ og ℓ.

  • Pass 1: groft gitter over ℓ og λ.
  • Pass 2: lokal forfining omkring det grove minimum.

Den repræsentative best-fit region er:

\(\ell\approx130\,\mathrm{kpc},\qquad \lambda\approx0.082,\qquad \chi^2/\mathrm{dof}\approx1.4\).

5.3 Degenerationsdalen

χ²-landskabet er ikke en symmetrisk skål. Det danner en langstrakt dal, fordi den førende tæthedsnormalisering afhænger stærkt af koblingsstyrken og kun svagt af kohærenslængden inden for det flade rotationsregime.

Det ydre fald i rotationskurven bryder denne degeneration, fordi mindre ℓ-værdier undertrykker den effektive tæthed tidligere.

Data ud over 30 kpc, herunder kuglehobe, stjernestrømme, halostjerner og satellitgalakser, er afgørende for at begrænse ℓ mere præcist.

6. Konvergens og fejlbudget

Simuleringen tester, hvor følsomt resultatet er over for antallet af kvadraturknudepunkter, der bruges i kildeintegralet og det radiale masseintegral.

N kildeknudepunkterρ(8 kpc)Relativ ændringχ²/dofRuntime
1010.833.2%1.52Hurtig
2010.981.8%1.45Hurtig
4011.080.9%1.41Valg af produktion
8011.130.4%1.40Langsommere
20011.150.2%1.39Validering

N = 40 giver en nøjagtighed på under en procent for tætheden og næsten sammenfaldende χ²-værdier. Den numeriske fejl er mindre end observations- og modelleringsusikkerhederne.

Vigtigste fejlkilder

FejlkildeEffektAfhjælpning
MonopoltilnærmelsePåvirker indre radierBrug nøjagtig vinkelkerne
Mangler tyk diskSkift λTilføj komponent til tyk disk
Manglende gasskiveÆndrer den ydre profilTilføj HI- og H₂-gasskiver
Gaia-systematikPåvirker den ydre hastighedskurveBrug fuld kovariansmatrix
Tilnærmelse til sfærisk symmetriPåvirker halo-udfladningBrug fuld 3D-kerne

Den dominerende usikkerhed er ikke numerisk integration. Det er den fysiske modellering: baryonisk nedbrydning, kerneapproksimation, outer-halo data og den nøjagtige forbindelse mellem BeeTheory-bølgelignelsen og den eksponentielle kerne.

7. Fuld referencekode

Følgende JavaScript-referenceimplementering gengiver den vigtigste simuleringslogik. Den er beregnet til teknisk validering og bør placeres i et ordentligt scriptmiljø, ikke direkte i en standard WordPress-indholdsblok, medmindre brugerdefinerede scripts er tilladt.

// Fysiske konstanter
const G = 4.302e-3; // kpc km² s-² M☉-¹
const Sig0 = 800.0; // M☉ pc-²
const Rd = 2,6; // kpc
const Mdisk = 3,5e10; // M☉
const Mbulge = 1,2e10; // M☉
const CONV_RHO = (1,989e30 * 5,61e26) / (3,086e21)**3;

// Rotationsdata fra Gaia-æraen
const OBS_R = [4,5,6,7,8,9,10,11,12,14,16,18,20,22,24,27.3];
const OBS_V = [220,228,232,231,230,229,228,227,226,224,222,219,215,208,200,173];
const OBS_ERR = [10,8,7,7,6,6,6,7,7,8,9,10,11,13,17];

// Baryonisk hastigheds pladsholder
funktion vBaryonic(R) {
  // I den fulde implementering bruger dette Freemans diskformel
  // med modificerede Bessel-funktioner I0, I1, K0, K1.
  const vb2 = G * Mbulge / Math.max(R, 0.2);
  return Math.sqrt(Math.max(0, vb2));
}

// BeeTheory mørk tæthed
funktion rhoDark(r, ell, lam) {
  const N = 40;
  const dRp = 30,0 / N;
  lad sum = 0;

  for (let i = 0; i < N; i++) {
    const Rp = (i + 0,5) * dRp;
    const Sig = Sig0 * Math.exp(-Rp / Rd);
    const K = (2 * Math.PI * ell / r)
      * Math.sinh(Math.min(r / ell, 30))
      * Math.exp(-Math.min((r + Rp) / ell, 30));

    sum += Sig * Rp * K * dRp;
  }

  return (lam / ell) * sum;
}

// Indesluttet mørk masse
funktion lukketMørkMasse(R, ell, lam) {
  const Nr = 30;
  const dr = R / Nr;
  lad M = 0;

  for (let j = 0; j < Nr; j++) {
    const rj = (j + 0,5) * dr;
    M += 4 * Math.PI * rj * rj * rhoDark(rj, ell, lam) * dr;
  }

  return M;
}

// Mørk og samlet hastighed
funktion vDM(R, ell, lam) {
  return Math.sqrt(Math.max(0, G * enclosedDarkMass(R, ell, lam) / R));
}

function vTotal(R, ell, lam) {
  const vb = vBaryonic(R);
  const vd = vDM(R, ell, lam);
  return Math.sqrt(vb * vb + vd * vd);
}

// Chi-kvadrat
function chiSquared(ell, lam) {
  lad s = 0;

  for (let i = 0; i < OBS_R.length; i++) {
    const dv = (vTotal(OBS_R[i], ell, lam) - OBS_V[i]) / OBS_ERR[i];
    s += dv * dv;
  }

  return s / (OBS_R.length - 2);
}

En komplet version bør indeholde nøjagtige implementeringer af de modificerede Bessel-funktioner I0, I1, K0 ogK1 for Freeman-skivens hastighed.

8. Sådan gengiver du denne simulation

8.1 I en browser

  1. Åbn en hvilken som helst moderne browser.
  2. Åbn udviklerkonsollen.
  3. Indsæt den komplette JavaScript-implementering.
  4. Kør tilpasningsfunktionen, eller vurder χ² manuelt for valgte ℓ og λ.

8.2 I Python

Den samme algoritme kan oversættes direkte til Python og NumPy. I Python skal du bruge scipy.special.iv og scipy.special.kv til Bessel-funktionerne, som er mere nøjagtige end håndkodede polynomiske tilnærmelser.

importer numpy som np
fra scipy.special import iv, kv
fra scipy.optimize import minimize

G = 4.302e-3
Sig0 = 800.0
Rd = 2,6
Mdisk = 3,5e10
Mbulge = 1,2e10

OBS_R = np.array([4,5,6,7,8,9,10,11,12,14,16,18,20,22,24,27.3])
OBS_V = np.array([220,228,232,231,230,229,228,227,226,224,222,219,215,208,200,173])
OBS_ERR = np.array([10,8,7,7,6,6,6,6,7,7,8,9,10,11,13,17])

# Implementer v_baryonic, rho_dark, enclosed_dark og chi2
# ved hjælp af de samme formler som beskrevet ovenfor.

En Nelder-Mead-optimering burde konvergere til det samme fysiske område som JavaScript-gittersøgningen, med ℓ omkring 130 kpc og λ omkring 0,08 i den forenklede model.

8.3 Udvidelser til en tilpasning af publikationskvaliteten

  1. Erstat monopolkernen med den nøjagtige vinkel- eller Bessel-funktionskerne.
  2. Tilføj en tyk diskkomponent.
  3. Tilføj atomare og molekylære gasskiver.
  4. Medtag den galaktiske bjælke og bule mere præcist.
  5. Brug Bayesian MCMC til at kortlægge den efterfølgende fordeling af ℓ og λ.
  6. Inkluderer kuglehobs-, satellitgalakse- og stjernestrømsdata ud til 200 kpc.

En grundig tilpasning skal afgøre, om de samme parametre ikke kun kan beskrive diskens rotationskurve, men også haloens form, lokale tæthed, ydre masseprofil og skjult masse på klyngeskala.

Referencer

  • Abramowitz, M., Stegun, I. A. - Handbook of Mathematical Functions, Dover, 1972.
  • Bovy, J., Rix, H.-W. - A Direct Dynamical Measurement of the Milky Way's Disk Surface Density Profile, ApJ 779, 115, 2013.
  • Freeman, K. C. - On the disks of spiral and S0 galaxies, ApJ 160, 811, 1970.
  • McMillan, P. J. - The mass distribution and gravitational potential of the Milky Way, MNRAS 465, 76, 2017.
  • Ou, X., Eilers, A.-C., Necib, L., Frebel, A. - The dark matter profile of the Milky Way inferred from its circular velocity curve, MNRAS 528, 693, 2024.
  • Pato, M., Iocco, F., Bertone, G. - Dynamiske begrænsninger på fordelingen af mørkt stof i Mælkevejen, JCAP 12, 001, 2015.
  • Portail, M. et al - Dynamical modelling of the Galactic bulge and bar, MNRAS 465, 1621, 2017.

Endelig erklæring om reproducerbarhed

Denne simulering er ikke et endeligt bevis på BeeTheory. Det er en reproducerbar numerisk ramme.

Formålet er at vise, at en bølgebaseret effektiv tæthed genereret af den synlige Mælkevejsskive kan sammenlignes direkte med observationer af rotationskurver ved hjælp af kun to hovedparametre: en kohærenslængde og en koblingsfaktor.

Det næste videnskabelige skridt er at erstatte tilnærmelser med nøjagtige kerner, udvide den baryoniske model, udbrede usikkerheder og teste den samme ramme mod uafhængige galakser og galaksehobe.