Dividiamo una sfera in gusci dello stesso spessore, come gli strati di una cipolla. Se il materiale ha ovunque la stessa densità, i gusci esterni hanno più superficie e quindi sono più pesanti.
Supponiamo ora di volere che tutti i gusci pesino uguale. Come deve diradarsi la densità con la distanza dal centro? C’è una sola risposta: in proporzione inversa al quadrato della distanza, cioè come 1/r².
È il «teorema di unicità n = 2» del mio primo articolo (articolo 01). Il calcolo si chiude in tre righe. Eppure l’ho posto come punto di partenza di oltre 1.100 articoli. In questa pagina potete muovere il teorema con le vostre mani e verificarlo, e spiego perché considero queste tre righe il fondamento.
Questo articolo riassume lavori che ho pubblicato io stesso come preprint; non sono stati sottoposti a revisione paritaria. Le figure interattive e i numeri calcolati appositamente per questa pagina sono indicati nel punto in cui compaiono.
In sintesi
- I gusci di una sfera pesano uguale a ogni raggio solo se la densità è 1/r². Per mostrarlo basta confrontare il raggio 1 con il raggio 2.
- L’esponente 2 è la dimensione della superficie sferica, e il peso del guscio 4π ne è l’area. Il teorema fa emergere i due nomi della superficie della sfera.
- La stessa condizione significa che il campo non sgorga da nessuna parte, e che il flusso attraverso una superficie di qualsiasi forma resta 4π.
- Il 2 sopravvive anche nelle nubi reali. Il picco del peso dei gusci si trova al raggio in cui l’esponente locale è esattamente 2. Il raggio di Bohr dell’atomo di idrogeno, il raggio di riferimento di un alone galattico e la velocità più probabile delle molecole di un gas sono tutti questo punto.
- L’esponente di densità n è anche l’esponente della legge dei periodi T² ∝ rn. n = 2 sta esattamente al centro dello specchio che scambia la molla (n = 0) e Keplero (n = 3).
- Ma il 2 non è uno solo. Quando si muove la dimensione dello spazio si divide in due, e i due coincidono solo in tre dimensioni.
- Livellare i gusci
- Teorema e dimostrazione
- Che cosa sono 2 e 4π
- 4π per ogni forma
- Il 2 nelle nubi reali
- Orbite e specchio
- Due tipi di 2
- Noether e gli altri
- Noto e mio
- Nell’insieme
- Domande
- Articoli e fonti
Livellare i gusci
Muovete l’esponente di densità n nella figura qui sotto. La densità è 1/rn. Il cerchio è una sezione della sfera: l’intensità del colore mostra la densità, il numero di punti il peso di ogni guscio. Anche le barre mostrano il peso dei gusci. Un solo valore di n porta le barre alla stessa altezza.
Muovete il cursore. Toccate il cerchio o una barra per vedere i numeri di quel guscio.
Se n è minore di 2 sono più pesanti i gusci esterni, se è maggiore di 2 quelli interni. Esattamente a 2, raddoppiando il raggio l’area diventa 4 volte più grande e la densità 4 volte più piccola, e il peso del guscio non cambia.
Nei miei articoli chiamo Zero-Tension questo stato in cui la crescita dell’area e il calo della densità si compensano esattamente (articolo 02). La parola viene dalla pesca che ho imparato da ragazzo, e indica il tenere la lenza né tesa né lenta.
Il teorema e la sua dimostrazione in tre righe
Nello spazio tridimensionale si consideri una distribuzione di densità ρ(r) = 1/rn. Il peso del guscio al raggio r per unità di spessore, dm/dr = 4πr2−n, assume lo stesso valore a ogni raggio solo per n = 2. Tale valore è allora 4π.
Il peso di un guscio è il prodotto della sua area 4πr² per la densità.
$$\frac{dm}{dr}=4\pi r^{2}\,\rho(r)=4\pi\,r^{\,2-n}$$La dimostrazione richiede tre righe.
- Poiché 4π non è 0, basta chiedersi se r2−n è costante.
- Al raggio 1 il valore è 1, al raggio 2 è 22−n. Una potenza di 2 vale 1 solo se l’esponente è 0; se l’espressione è costante, si ha dunque 2 − n = 0.
- Viceversa, se n = 2 allora r⁰ = 1, e il valore è 4π a ogni raggio.
La risposta resta la stessa anche senza supporre una potenza. Se il peso del guscio 4πr²ρ(r) ha lo stesso valore C a ogni raggio, ne segue subito ρ(r) = C/(4πr²). Qualunque forma sia ammessa per la densità, rimane solo 1/r².
Ma non si può rinunciare a «a ogni raggio». Tra le potenze basta confrontare i raggi 1 e 2, ma se si lascia libera la forma e si indebolisce la richiesta a «uguale ogni volta che il raggio raddoppia», passano infinite soluzioni che ondulano con periodo logaritmico (articolo 1053).
Qui non c’è nulla di difficile. Perché allora chiamarlo teorema? Perché la domanda va nell’altro verso.
| Verso | Domanda | Risposta |
|---|---|---|
| Diretto | Come cresce con il raggio la massa dentro una sfera di densità 1/r²? | In proporzione al raggio. L’astrofisica lo conosce come sfera isoterma singolare |
| Inverso | Quale esponente livella i gusci? Ce n’è un altro? | Solo 2 (articolo 01) |
Il calcolo diretto è nei manuali. Ma, per quanto ho potuto trovare, nessuno lo aveva posto nell’altro verso, enunciato come teorema e preso come inizio di un intero corpo di lavori. Nella semplicità dello strumento non vedo una debolezza, ma il segno che questa direzione era rimasta libera.
2 e 4π sono due nomi della sfera
Nel teorema compaiono solo due numeri: l’esponente 2 e il peso del guscio 4π. Entrambi vengono dalla superficie della sfera.
- 2 è la dimensione della superficie. La superficie di una sfera è bidimensionale; quando il raggio cresce di λ volte, l’area cresce di λ² volte.
- 4π è l’area della sfera di raggio 1. È lo stesso numero dell’angolo solido di tutte le direzioni.
Il teorema, dunque, estrae da una sfera piena la dimensione e l’area della sua superficie. Cambiare la dimensione dello spazio lo fa vedere bene.
| Dimensione d dello spazio | Forma del guscio | Esponente n che livella i gusci | Peso del guscio allora |
|---|---|---|---|
| 1 | due punti | 0 | 2 |
| 2 | circonferenza | 1 | 2π = 6,283185 |
| 3 | sfera | 2 | 4π = 12,566371 |
| 4 | sfera a tre dimensioni | 3 | 2π² = 19,739209 |
| 5 | sfera a quattro dimensioni | 4 | (8/3)π² = 26,318945 |
Ogni dimensione ha esattamente un esponente livellante, ed è d − 1 (articolo 114). Fare buchi nella superficie non sposta questo esponente; lo sposta solo la dimensione (articolo 1052). 4π è il volto che questo teorema mostra in tre dimensioni.
Da dove viene il numero 4π e come si legge nelle equazioni della fisica è il tema dell’articolo «Che cos’è m = 4π?» (in giapponese). Qui seguo il teorema stesso.
La sfera diventa un tubo diritto
La particolarità di n = 2 si vede anche in un altro modo. Con il passo di distanza dr e l’ampiezza delle direzioni dΩ, il peso dentro la sfera si scrive dm = ρ r² dr dΩ. Inserendo ρ = 1/r², r² scompare.
$$dm=\frac{1}{r^{2}}\;r^{2}\,dr\,d\Omega=dr\,d\Omega$$Distanza e direzione si sono separate nettamente. Stirate tutti i gusci alla stessa larghezza, e la sfera diventa un tubo diritto la cui lunghezza è il raggio e la cui sezione è l’insieme delle direzioni. Questo è il contenuto di «indipendente dal raggio».
Si può fare perfino con i dadi. Scegliete una direzione a caso e una distanza in modo uniforme tra 0 e 1, poi segnate un punto: la densità dei punti è esattamente 1/(4πr²). L’ho verificato per questa pagina con 4 milioni di punti. Un guscio sottile al raggio 0,905 aveva densità 0,09707, contro 0,09716 della formula.
Un campo che non sgorga da nessuna parte, e 4π per ogni forma
Il teorema ha un altro volto. Mettete in ogni punto dello spazio una freccia che si allontana dal centro e datele la lunghezza 1/rn. Calcolando la grandezza che misura quanto questo campo sgorga (la divergenza), compare lo stesso 2 − n del teorema.
$$\nabla\cdot\frac{\hat{\mathbf r}}{r^{\,n}}=\frac{2-n}{r^{\,n+1}}$$Solo per n = 2 il campo non sgorga da nessuna parte, a parte l’unico punto al centro. Il flusso attraverso una superficie non dipende allora né dalla sua forma né dalla sua grandezza. Questo è il contenuto della legge di Gauss, e il 4π del teorema è lo stesso angolo solido del 4π nella legge di Gauss e nella legge di Coulomb (articolo 13).
Provatelo nella figura qui sotto. Questo esperimento non è negli articoli; è stato fatto per questa pagina.
Afferrate i cerchi bianchi e date alla superficie la forma che volete. Il punto dorato si muove in su e in giù, e può perfino uscire dalla superficie.
Ecco i numeri uno accanto all’altro. Per questa pagina ho integrato il flusso del campo attraverso ogni superficie.
| n | sfera raggio 1 | sfera raggio 2 | cubo semilato 1 | cubo semilato 2 | sacco irregolare |
|---|---|---|---|---|---|
| 1 | 12,566371 | 25,132741 | 15,348248 | 30,696497 | 10,053096 |
| 2 | 12,566371 | 12,566371 | 12,566371 | 12,566371 | 12,566371 |
| 3 | 12,566371 | 6,283185 | 10,445037 | 5,222519 | 20,705191 |
Se la superficie è stellata vista dal centro, la ragione sta in una riga. Il flusso si scrive come integrale sulle direzioni della distanza R, ∫R2−ndΩ, e solo per n = 2 R scompare dalla formula. Rimane ∫dΩ = 4π.
Con la conservazione, n = 2 compare da solo
Perché 1/r² è così frequente in natura? Il teorema offre un modo di rispondere. Supponiamo che qualcosa di conservato esca da un punto in tutte le direzioni a velocità costante. Ciò che contiene un guscio di spessore 1 è ciò che è partito in uno stesso intervallo di tempo, quindi andando verso l’esterno non aumenta né diminuisce. Se il contenuto di un guscio è lo stesso a ogni raggio, per il teorema la concentrazione può essere solo 1/r².
La luce del Sole è così. Un guscio spesso 1 m che si espande alla velocità della luce contiene circa 1,28×10¹⁸ J di energia a ogni raggio. Questo numero è la luminosità del Sole divisa per la velocità della luce.
Il vento solare ha la stessa forma. Il Sole emette circa 1-1,5 miliardi di kg di vento ogni secondo, a una velocità di circa 400 km/s. Un guscio spesso 1 m contiene da 2,5 a 3,75 tonnellate, e dove la velocità può dirsi quasi costante, questo peso non cambia con il raggio.
Il teorema non dice perché le cose si conservano. Traduce soltanto il fatto della conservazione nel numero «esponente 2». La causa sta nella conservazione, e il teorema ne è l’interprete. Nell’articolo 01 ho riformulato la stessa condizione anche nel linguaggio dei pixel dello schermo e del carico di disegno. Quella parte è una lettura per metafora.
Il 2 sopravvive nelle nubi reali
La densità di una nube reale non è 1/r² ovunque. Eppure il 2 non scompare. Misurate la pendenza della densità a ogni raggio, e chiamate n l’esponente locale se lì la densità appare come 1/rn. La crescita del peso del guscio si scrive allora con la seguente identità.
$$\frac{d}{dr}\bigl(r^{2}\rho\bigr)=r\,\rho\,\bigl(2-n(r)\bigr)$$Ecco di nuovo 2 − n. Dove l’esponente locale è minore di 2 i gusci diventano più pesanti verso l’esterno, dove è maggiore di 2 diventano più leggeri. Il picco del peso dei gusci si trova al raggio in cui l’esponente locale è esattamente 2 (articolo 1096).
Scegliete una nube e muovete il puntatore o il dito sulla figura. A un picco, la curva inferiore attraversa esattamente 2.
Ognuno di questi picchi ha un nome proprio.
- La nube elettronica 1s dell’idrogeno: l’esponente locale è 2r (prendendo il raggio di Bohr come 1), e il picco è al raggio di Bohr. Ho cercato tutti i picchi di otto stati, e l’esponente locale è risultato ogni volta 2,000000 (articolo 1096).
- L’alone attorno a una galassia (forma NFW): l’esponente locale va da 1 al centro a 3 lontano. Gli astronomi scrivono r₋₂ il raggio in cui vale 2 e lo usano come riferimento per la grandezza dell’alone. È noto anche che il picco di r²ρ si trova lì.
- Le velocità delle molecole di un gas: contando gli stessi gusci nello spazio delle velocità si ottiene la distribuzione di Maxwell. Il picco è la velocità più probabile √(2kT/m).
In ogni caso il 2 del teorema sopravvive come «l’unico punto che fissa una grandezza». Il teorema stesso è lo stato in cui questo picco si è steso piatto senza fine, così che ogni raggio è una vetta. Per questo una nube 1/r² non ha un riferimento di grandezza. Verificatelo con il pulsante «nube del teorema».
Sulle orbite: un righello degli esponenti
Consideriamo ora qualcosa che gira dentro una sfera di densità 1/rn. La massa racchiusa cresce come r3−n, quindi la velocità orbitale v e il periodo T si comportano così.
$$v^{2}\propto r^{\,2-n},\qquad T^{2}\propto r^{\,n}$$L’esponente di densità n è diventato l’esponente della legge dei periodi. La terza legge di Keplero T² ∝ r³ è il caso n = 3: quando la massa si raccoglie al centro, la massa racchiusa non dipende più dal raggio, e in queste formule è l’estremo n = 3. La forza di una molla è la forza dentro una sfera omogenea, n = 0.
| n | Tipo di distribuzione | Massa racchiusa | Velocità orbitale | Periodo al quadrato | Forza | Dal punto vicino al punto lontano |
|---|---|---|---|---|---|---|
| 0 | dentro una sfera omogenea (molla) | r³ | r | costante | r | 90° |
| 1 | r² | r1/2 | r | costante | 103,9° | |
| 2 | distribuzione del teorema | r | costante | r² | 1/r | 127,3° |
| 3 | massa al centro (Keplero) | costante | r−1/2 | r³ | 1/r² | 180° |
Gli angoli dell’ultima colonna valgono per orbite quasi circolari. Molla, teorema e Keplero stanno ora su un solo righello.
La riga n = 2 ha la forma della rotazione galattica. Rubin e Ford mostrarono nel 1970, nella galassia di Andromeda, che la velocità orbitale non dipende dal raggio. Qui il Sistema solare e la Via Lattea sono confrontati sulla stessa scala di T².
Leggendo la Via Lattea come una sfera, ogni parsec di spessore del guscio porta una massa di circa 12 milioni di soli, quasi uguale a ogni raggio. Ciò che la rotazione piatta fissa sono la densità e la massa racchiusa, non tutta la disposizione interna (articolo 910). Di che cosa sia fatta quella massa, qui non lo si chiede.
Cambiate l’esponente n e la velocità di lancio. Anche spostando in su e in giù la punta della freccia cambia la velocità. Il secondo riquadro è l’immagine allo specchio.
- Forma della forza
- Dal punto vicino al punto lontano
- Orbite quasi circolari: 180°/√(4−n)
- Media temporale del quadrato della velocità
- Partner allo specchio
In questo esperimento ci sono tre cose da osservare.
La prima è l’angolo. Su un’orbita quasi circolare, l’angolo descritto dal punto vicino al punto lontano è π/√(4−n). Per n = 0, 2 e 3 vale 90°, 127,2792° e 180°. L’angolo per n = 2 è la media geometrica dei 90° della molla e dei 180° di Keplero. È lo stesso √2 della relazione κ = √2 Ω, con cui la dinamica galattica scrive la frequenza di oscillazione dove la rotazione è piatta.
La seconda è la media. La media temporale del quadrato della velocità ha lo stesso valore per orbite di ogni grandezza e forma solo se n = 2. Comunque cambiate la velocità nell’esperimento 4, l’indicazione resta 1. Nel calcolo fatto per questa pagina, le velocità di lancio 0,4, 0,8 e 1,3 hanno dato 1,00010, 1,00006 e 0,99988. Per n = 1 il valore si muove: 0,72003, 0,87999 e 1,22994. È il volto orbitale del fatto che il peso del guscio non dipende dal raggio.
La terza è lo specchio. Elevate al quadrato l’ellisse di una molla con i numeri complessi, e diventa l’ellisse di Keplero. Bohlin lo scrisse nel 1911, Kasner nel 1913, Arnold lo presentò in un libro, e io l’ho contato nell’articolo 1072. Esteso alle forze a potenza, questo fissa coppie di forze. Nell’esponente di densità, la relazione è questa.
$$(4-n)(4-N)=4$$Il partner di n = 0 è N = 3: molla e Keplero si scambiano di posto. Il partner di n = 1 è 8/3. E tra 0 e 3, l’esponente che è partner di se stesso è n = 2. I valori di 4 − n sono 4, 2, 1, una progressione geometrica, quindi n = 2 sta esattamente al centro dello specchio. Ho verificato con sei esponenti che la curva trasformata prende la forma di un’orbita della forza partner: il residuo era al massimo 2,41×10⁻¹¹, e quando l’esponente partner è stato spostato di proposito di 0,2 è balzato ad almeno 5,92×10⁻³. Ciò che lo specchio trasporta è la forma dell’orbita; il tempo non si trasporta se non viene misurato di nuovo.
Tutte le orbite si chiudono solo nei due casi del teorema di Bertrand (1873), sul righello n = 0 e n = 3. L’n = 2 del teorema non si chiude. Sta al centro dello specchio, tra i due che si chiudono.
Il 2 non è uno solo
Finora ho parlato di vari 2 come se fossero lo stesso. Ma secondo la regola dei miei articoli, avere lo stesso numero non basta per dire che due cose hanno la stessa radice. Bisogna vedere che cosa occorre muovere perché diventino cose diverse. Chiamo separatore ciò che si muove (articolo 300). Qui si tratta della dimensione dello spazio.
Cambiate la dimensione dello spazio con il cursore. Le rette blu si muovono con la dimensione, quelle dorate no.
- Il 2 che si muove con la dimensione (d − 1): l’esponente che livella i gusci, l’esponente del campo che non sgorga da nessuna parte, il calo della forza da un punto, la dimensione della sfera.
- Il 2 che resta quando la dimensione si muove: l’esponente della rotazione piatta, l’esponente di una sfera di gas isoterma, l’esponente di densità che dà a ogni raggio lo stesso equilibrio di un buco nero (articolo 1092), il centro dello specchio.
L’esponente della rotazione piatta resta perché il quadrato della velocità orbitale varia come r2−n in ogni dimensione. Anche la sfera di gas isoterma, risolta a potenza dall’equilibrio di pressione, ha come unica soluzione n = 2 in ogni dimensione. Questo perché il prodotto della costante di gravitazione per la densità è l’inverso di un tempo al quadrato in ogni dimensione (articolo 1092).
Lo stesso accade con il 3. L’estremo in cui la massa si raccoglie al centro si muove con la dimensione, mentre la forza dell’inverso del quadrato che chiude sempre non si muove. I due coincidono solo in tre dimensioni, quindi solo in tre dimensioni le orbite sotto la gravità di un punto si chiudono sempre.
Le tre dimensioni sono il luogo in cui le rette mobili e quelle fisse si incrociano in due punti insieme, a 2 e a 3. È una delle mie ragioni per chiamare questo teorema il fondamento. Su un teorema breve, i numeri che vengono dalla forma della sfera e quelli che vengono dalla gravità e dalle orbite si sovrappongono solo in questa dimensione. Non riunisco le ragioni della sovrapposizione in una sola radice. Le tengo separate e dico che si sovrappongono.
Accanto ad altri teoremi
Ho disegnato una mappa dell’insieme dei teoremi famosi nell’articolo «I teoremi famosi, messi in fila con le loro ipotesi». Qui confronto nel dettaglio solo i teoremi sullo stesso scaffale del teorema di unicità.
Confronto con il teorema di Noether
Uno dei teoremi più famosi della fisica è il teorema di Noether (1918). Messi uno accanto all’altro, i due svolgono chiaramente lavori di tipo diverso.
| Teorema di Noether | Teorema di unicità n = 2 | |
|---|---|---|
| Che cosa entra | Una trasformazione continua che lascia invariata l’azione (una simmetria) | La richiesta che il peso del guscio non dipenda dal raggio |
| Che cosa esce | Una quantità conservata: che cosa si conserva | Un esponente: quale valore ha |
| Strumenti | Il calcolo delle variazioni e l’azione | Solo l’area della sfera |
| Leggi del moto | Necessarie | Non necessarie |
| Tipo | Stabilisce una corrispondenza (dalla simmetria alla quantità conservata) | Seleziona (dai numeri reali a uno solo) |
| Se si rompe | Rotta la simmetria, la quantità associata varia | Tolta la richiesta, va bene qualsiasi esponente |
Non sono rivali, ma anelli diversi di una stessa catena. L’1/r² della luce e del vento si collega in quest’ordine.
- Teorema di NoetherSe le leggi restano uguali quando si sposta il tempo, l’energia si conserva
- Teorema della divergenza (teorema di Gauss)Se il flusso è stazionario, attraverso ogni guscio passa la stessa quantità
- Teorema di unicità n = 2Se ogni guscio contiene la stessa quantità, la concentrazione può essere solo 1/r²
- Legge di GaussIl coefficiente di quel campo è 4π, e il potenziale è 1/r
Il teorema di Noether dice che cosa si conserva, e il teorema di unicità dice quale valore ha l’esponente se si conserva. Le domande si passano esattamente il testimone.
Se si fissa prima una simmetria, anche il quadro di Noether può selezionare un esponente. L’azione resta invariata quando la distanza è scalata di λ e il tempo di λ² solo se il potenziale è 1/r² e la forza 1/r³. È la forma del modello di de Alfaro, Fubini e Furlan (1976). Corrisponde a n = 4 nella figura 3, che è anche l’esponente senza partner allo specchio. Il numero è di nuovo 2, ma è il 2 di un potenziale, una radice diversa dal 2 del teorema.
I teoremi che selezionano, in fila
Come il teorema di unicità, i teoremi seguenti selezionano pochi elementi da un vasto campo di candidati. Che cosa muove ciascuno, che cosa rimane e che cosa accade togliendo un’ipotesi ne fanno il carattere.
| Teorema | Che cosa si muove | Condizione | Che cosa rimane | Senza di essa |
|---|---|---|---|---|
| Teorema di unicità n = 2 | Esponente di densità (tutti i reali) | Peso del guscio indipendente dal raggio | Il solo valore 2 | Cambiando la dimensione si sposta a d − 1 |
| Inverso del teorema del guscio sferico (Newton 1687, Gurzadyan 1985) | Esponente della forza | Un guscio sferico esercita la stessa forza di un punto al suo centro | Le due forze inverso del quadrato e molla | In quattro dimensioni l’inverso del quadrato esce e resta 1/r³ |
| Teorema di Bertrand (1873) | Forma della forza centrale | Tutte le orbite legate si chiudono | Le due forze inverso del quadrato e molla | Non si muove quando cambia la dimensione |
| Ehrenfest (1917) | Dimensione dello spazio | Le orbite planetarie possono girare stabilmente | Tre dimensioni o meno | Da quattro in su non ci sono orbite stabili |
| Teorema di Hurwitz (1898) | Dimensione dei numeri | La moltiplicazione conserva la lunghezza | I quattro valori 1, 2, 4, 8 | Non si possono costruire numeri a tre dimensioni |
| Teorema di Birkhoff (1923) | Soluzioni del vuoto a simmetria sferica | Equazioni di Einstein | La sola soluzione di Schwarzschild | Senza simmetria sferica la soluzione non è più unica |
| Teorema di Lovelock (1971, 1972) | Forma delle equazioni della gravità | Quattro dimensioni, senza divergenza, fino al secondo ordine | Equazioni di Einstein (con termine cosmologico) | Da cinque dimensioni in su sono ammessi altri termini |
Il teorema del guscio sferico e il teorema di Bertrand pongono domande diverse, eppure lasciano le stesse due forze. Ma anche questa è una sovrapposizione delle tre dimensioni. Integrando per questa pagina la forza di un guscio, il rapporto in tre dimensioni è 1,000000000 per l’inverso del quadrato, mentre in quattro dimensioni l’inverso del quadrato scende a 0,900743404 e 1/r³ dà 1,000000000. Il lato del guscio si muove con la dimensione, il lato di Bertrand no.
In questa fila il posto del teorema di unicità è chiaro. Rimane una sola cosa, i candidati sono tutti i numeri reali, e l’unico strumento è l’area della sfera. E mentre gli altri teoremi fanno entrare leggi del moto o equazioni di campo, il teorema di unicità non fa entrare alcuna legge. Perciò si può mettere prima di tutti gli altri. Per questo ne ho fatto il mio punto di partenza.
Altri teoremi chiamati «teoremi di unicità»
I manuali di elettromagnetismo hanno un teorema con lo stesso nome: fissare i valori al bordo determina in modo unico la soluzione dell’equazione di Poisson. La relatività generale ha teoremi secondo cui la forma di un buco nero è determinata da poche grandezze. Sono entrambi teoremi del tipo «la soluzione è unica». Ciò che il mio teorema rende unico non è una soluzione, ma un esponente.
Che cosa è noto, e dove comincia il mio lavoro
Qui voglio essere preciso.
- Che cosa è noto: che la massa è proporzionale al raggio in una distribuzione 1/r² (sfera isoterma singolare); la legge di Gauss; la soluzione fondamentale dell’equazione di Laplace; il teorema di Bertrand; che il picco di r²ρ si trova dove la pendenza è −2; la trasformazione tra molla e Keplero; che l’esponente del periodo segue dalla scala (similitudine meccanica).
- Che cosa hanno aggiunto i miei articoli: fissare l’esponente come teorema dalla sola condizione di uniformità del peso dei gusci (articolo 01); la scala m(n) = 4π/(3−n) e il numero di strati di 4π (articolo 01 e articolo 02); riformulare i picchi delle nubi elettroniche con l’esponente locale (articolo 1096); separare il 2 del guscio dal 2 dell’equilibrio dell’orizzonte (articolo 1092).
- Che cosa ordina di nuovo questa pagina: leggere n come esponente del periodo e mettere molla, teorema e Keplero su un solo righello; che il centro dello specchio è n = 2 e che lì l’angolo è una media geometrica; leggere la media del quadrato della velocità indipendente dall’orbita come un volto di n = 2; muovere la dimensione e riunire in una pagina gli incroci di 2 e di 3. Tutte le formule sono riordinamenti di risultati noti, e nulla di questo è ancora diventato un articolo.
Non si afferma alcuna nuova legge fisica. Il teorema non dice nulla sulla causa dell’inverso del quadrato della gravità, né sulla natura della materia oscura. Il valore m = 4π è quello che si ha con la scelta di unità che pone a 1 il coefficiente di densità e il raggio.
Nell’insieme degli articoli
Alla fine di ottobre 2026 ho 1.103 articoli. Di questi, 70 citano l’articolo 01 nella bibliografia e 21 nominano il «teorema di unicità» nel testo. Ho contato i 70 leggendo la bibliografia voce per voce.
Quando capita qualcosa di strano, torno a questo teorema. Per proseguire suggerisco quest’ordine. Gli articoli sono citati con il titolo inglese.
- Articolo 01, «The Uniqueness Theorem of n = 2 for Spherically Symmetric Density Distributions»: il teorema stesso.
- Articolo 02, «The 4π Mass Cancellation Theorem»: lo stesso fatto scritto dal lato dell’integrale.
- Articolo 79, «The Hidden Symmetry Unique to n=2»: perché le orbite dell’inverso del quadrato si chiudono.
- Articolo 114, «Which Objects Know They Are in Four Dimensions?»: che n = d − 1 esiste in ogni dimensione.
- Articolo 117, «Scale Invariance Fixes an Exponent — in Four Different Ways»: separa i modi in cui vengono scelti esponenti dall’aspetto uguale.
- Articolo 157, «A Census of the Twos»: esamina i 2 dell’insieme con un solo test.
- Articolo 910, «A Flat Rotation Curve Fixes the Density There and Imposes Only the Enclosed Mass on the Inside».
- Articolo 1052, «Two Kinds of Subtracting One: One Counts Holes, the Other Counts Dimensions».
- Articolo 1053, «Weakening Scale Invariance to a Single Ratio Loses the Uniqueness of the Exponent».
- Articolo 1072, «Squaring the Ellipse of a Spring Gives the Ellipse of Kepler».
- Articolo 1092, «The ‘2’ of the Inverse-Square Density Is Two 2s, and the 2 of the Shell Mass Meets the 2 of the Horizon Balance Only in Three Dimensions».
- Articolo 1096, «The Weight per Skin of the Electron Cloud Peaks Where Its Local Exponent Is Exactly 2, and for Circular States That Radius Is Bohr’s n²».
Il testo completo dell’articolo 01 e un grafico in cui si può muovere n si trovano anche nella pagina del teorema dell’archivio degli articoli (in inglese). Articoli che portano lo stesso esponente su superfici e mappe sono «Una mappa delle leggi dell’inverso del quadrato» e «Sommate i punti di un foglio a quadretti e il risultato dipende dalla forma». Il 4π del guscio è letto dentro la dimostrazione della congettura di Poincaré in «La congettura di Poincaré letta dal teorema di unicità».
Domande
È una dimostrazione della legge dell’inverso del quadrato?
No. Il teorema enuncia un fatto di geometria: se il contenuto di un guscio non dipende dal raggio, la concentrazione è 1/r². Perché la gravità o la luce si propaghino come un flusso conservato resta fuori dal teorema. Date la conservazione e le tre dimensioni, questo teorema fissa l’esponente a 2.
Perché chiamare teorema un calcolo di una riga?
Perché la domanda va nell’altro verso. Non chiede «che cosa succede con 1/r²?», ma «quale esponente livella i gusci, e ce n’è un altro?», e mostra che ce n’è esattamente uno. Credo che il peso di un teorema si misuri non dalla lunghezza del suo calcolo, ma da ciò che ne esce.
Non era già noto come sfera isoterma singolare?
Sì. La distribuzione 1/r² in sé era nota. La sfera isoterma singolare dell’astrofisica ha la forma ρ = σ²/(2πGr²). Ciò che ho aggiunto è enunciarla come l’unico esponente selezionato dall’uniformità dei gusci, leggerla come una famiglia attraverso le dimensioni e porla all’inizio dell’insieme.
Perché le tre dimensioni sono speciali?
Il teorema in sé non seleziona le tre dimensioni; ogni dimensione ha il suo esponente d − 1. Lo speciale è che questo esponente coincide con i 2 e 3 indipendenti dalla dimensione solo in tre dimensioni. Potete verificarlo nell’esperimento 5.
Che differenza c’è con l’articolo «Che cos’è m = 4π?»
Quell’articolo tratta dell’origine del numero 4π e di come si legge nelle equazioni della fisica. Questa pagina tratta del teorema che lo precede, e di come si collega ad altri teoremi e fenomeni.
Quanto ci si può fidare dei calcoli delle figure?
Gli esperimenti calcolano sul momento nel vostro browser. I passi degli integrali e delle orbite sono grossolani, quindi le ultime cifre si muovono. I numeri del testo e delle tabelle sono stati calcolati a parte con alta precisione.
Articoli e fonti
Tutti gli articoli sono pubblicati con licenza CC BY 4.0. La scheda dell’articolo 01 si trova nella sua pagina YOI.
Queste sono le principali fonti verificate per questa pagina.
- Archimede, Sulla sfera e il cilindro: l’area della sfera è quattro volte quella del suo cerchio massimo.
- Kepler, J. (1604). Ad Vitellionem paralipomena, quibus astronomiae pars optica traditur: l’intensità della luce e il quadrato della distanza.
- Newton, I. (1687). Philosophiae Naturalis Principia Mathematica, libro I, proposizioni 70 e 71: il teorema del guscio sferico.
- Gauss, C. F. (1840). Allgemeine Lehrsätze in Beziehung auf die im verkehrten Verhältnisse des Quadrats der Entfernung wirkenden Anziehungs- und Abstoßungs-Kräfte.
- Bertrand, J. (1873). Théorème relatif au mouvement d’un point attiré vers un centre fixe. Comptes Rendus.
- Hurwitz, A. (1898): il teorema sulle algebre di composizione.
- Bohlin, K. (1911), Kasner, E. (1913), Arnold, V. I. (1990). Huygens and Barrow, Newton and Hooke: la trasformazione tra molla e Keplero.
- Ehrenfest, P. (1917). In what way does it become manifest in the fundamental laws of physics that space has three dimensions?
- Noether, E. (1918). Invariante Variationsprobleme.
- Birkhoff, G. D. (1923). Relativity and Modern Physics.
- Chandrasekhar, S. (1939). An Introduction to the Study of Stellar Structure; Binney, J. & Tremaine, S. (2008). Galactic Dynamics: sfere isoterme e rotazione.
- Rubin, V. C. & Ford, W. K. (1970). Rotation of the Andromeda Nebula from a Spectroscopic Survey of Emission Regions.
- Lovelock, D. (1971, 1972): l’unicità del tensore di Einstein.
- Landau, L. D. & Lifshitz, E. M. Meccanica, §10: la similitudine meccanica.
- de Alfaro, V., Fubini, S. & Furlan, G. (1976): meccanica conforme del potenziale dell’inverso del quadrato.
- Gurzadyan, V. G. (1985). The cosmological constant in the McCrea-Milne cosmological scheme.
- Navarro, J. F., Frenk, C. S. & White, S. D. M. (1996, 1997): la forma NFW.
- Mishra, W. et al. (2019): la perdita di massa del vento solare (da 1 a 1,5 miliardi di kg al secondo).
- Eilers, A.-C., Hogg, D. W., Rix, H.-W. & Ness, M. K. (2019). The Circular Velocity Curve of the Milky Way from 5 to 25 kpc.