Gravitationspotentialenergie beliebiger Kugelverteilung

Die allgemeine Formel, um die potentielle Energie einer beliebigen Kugelverteilung zu erhalten, lautet wie folgt:

(1) U = 0 R G M ( R ) R ρ ( R ) 4 π R 2 D R ,
Wo M ( R ) ist die Masse innerhalb einer Schale mit Radius R < R . Es ist leicht, die Gravitationsenergie einer gleichförmigen Massenkugel zu erhalten M und Radius R :
(2) U = 3 G M 2 5 R .
Im Allgemeinen für jede sphärische Verteilung der Gesamtmasse M und Außenradius R , wir können das schreiben:
(3) U = k G M 2 R ,
Wo k > 0 ist eine Konstante, die von der internen Verteilung abhängt. k = 3 5 für die gleichmäßige Verteilung. Für eine dünne Kugelschale mit Radius R (alle Masse auf seiner Oberfläche konzentriert), können wir bekommen k = 1 2 .

Nun, ich vermute, dass für alle Fälle:

(4) 1 2 k < .

Physikalisch macht das Sinn. Aber wie beweist man das aus dem allgemeinen Integral (1) ?


Um die Dinge etwas zu vereinfachen, können wir die dimensionslose Variable einführen X = R / R 1 , und definiert die relative Masse M ¯ ( X ) M ( R ) / M 1 und relative Dichte ρ ¯ ( X ) = ρ ( R ) / ρ Durchschnitt , Wo ρ Durchschnitt = 3 M / 4 π R 3 . Somit nimmt das Integral (1) die folgende Form an:

(5) U = 3 G M 2 R 0 1 M ¯ ( X ) ρ ¯ ( X ) X D X .
Das letzte Integral ist k 3 . Ich bin mir nicht sicher, ob dies helfen kann, (4) zu beweisen.

Wie funktioniert das Integral von Gl. (5) zu bewerten k / 3 ? Ich konnte nicht folgen. @ Cham
@SRS, es ist einfach:
U = k G M 2 R 3 G M 2 R 0 1 M ¯ ( X ) ρ ¯ ( X ) X D X 0 1 M ¯ ( X ) ρ ¯ ( X ) X D X k 3 .

Antworten (2)

Beginnen Sie damit, Folgendes zu schreiben:

(1) M = 0 R ρ ( R ) 4 π R 2 D R = 0 R D M D R D R .
Aus (1) können wir Folgendes erkennen:
(2) D M D R D R = 4 π R 2 ρ ( R ) D R .
Kehren wir nun zu Ihrer Gleichung (1) zurück:
U = 0 R G M ( R ) R ρ ( R ) 4 π R 2 D R ,
Unter Verwendung von Gleichung (2) wird dies zu:
U = G 0 R M ( R ) R D M D R D R .

Konzentrieren wir uns nur auf den integralen Teil und nennen ihn ICH für Konkretheit,

(3) ICH = 0 R M ( R ) R D M D R D R .
Aha! Das sieht nach etwas aus, das wir in Teilen integrieren können. Legen wir fest u = M ( R ) R , Und v ' = D M D R . Dann
u ' = M ( R ) R 2 + 1 R D M D R .
Wenn wir mit IBP fortfahren, erhalten wir:
ICH = [ M ( R ) R M ( R ) ] 0 R 0 R ( M ( R ) R 2 + 1 R D M D R ) M ( R ) D R .
Schauen wir uns nur den integralen Teil an und nennen ihn J :
J = 0 R M 2 ( R ) R 2 D R + 0 R M ( R ) R D M D R D R Wir kennen dieses Integral, es ist  ICH .
Also das haben wir jetzt:
ICH = [ M 2 ( R ) R ] 0 R + 0 R M 2 ( R ) R 2 D R ICH ,
und so:
2 ICH = [ M 2 ( R ) R ] 0 R + 0 R ( M ( R ) R ) 2 D R .
Für den Fall von nicht-pathologischen M , das ist M ( 0 ) = 0 , wir bekommen:
ICH = M 2 2 R + 1 2 0 R ( M ( R ) R ) 2 D R .

Daher können wir daraus das erkennen U hat die Grenze von G M 2 2 R , und davon subtrahieren wir das Integral von etwas positiv Bestimmtem.

Ich glaube, dies beweist (nach physikalischen Maßstäben) Ihre Vermutung darüber k .


Antrag auf Verfahrensvereinfachung:

Betrachten wir einfach das Integral ohne Dimensionen:

K = 0 X F ( X ) F ' ( X ) X D X .

Nehmen:

G ( X ) = F 2 ( X ) 2 X ,
dann Ableitung nehmen:
G ' ( X ) = F ( X ) F ' ( X ) X F 2 ( X ) 2 X 2 .
In dieser Mischung können wir unser ursprüngliches Integral erkennen und so integrieren G ' ( X ) wird uns unser Integral weniger geben 0 X F 2 ( X ) 2 X 2 D X , und so können wir schreiben:
K = [ G ( X ) ] 0 X + 1 2 0 X F 2 ( X ) X 2 D X = [ F 2 ( X ) 2 X ] 0 X + 1 2 0 X ( F ( X ) X ) 2 D X .
So erhalten wir das gewünschte Ergebnis. Da IBP immer die Umkehrung der Produktregel ist, können Sie mit ein wenig Nachdenken im Allgemeinen die ursprüngliche Funktion herausfinden. Wenn ich jedoch gerade diesen letzten 4-Schritte-Beweis gepostet hätte, denke ich, Sie hätten einfach gedacht, ich sei ein Zauberer ...

Das fragt das
lim R 0 M 2 ( R ) R = 0 ,
was ich für sehr vernünftig halte, da ich das glaube M ( R ) ρ ( 0 ) 4 π R 3 / 3 für R R . Dieser Beweis scheint ziemlich perfekt zu sein. Irgendwelche Möglichkeiten, es zu verbessern oder es ein bisschen einfacher zu machen? (Ich glaube nicht, dass es einfacher sein könnte)
@Cham Ich war hauptsächlich besorgt über ein Point-Charge-Szenario, bei dem der Zähler sogar für ungleich Null wäre R = 0 . Ich habe die ursprüngliche Antwort mit einer einfacheren Version des Beweises aktualisiert.

Ihr Anspruch, k [ 1 2 , ) , ist wahr.

Ich werde einen handgewellten Beweis liefern, den Physiker vielleicht als Beweis akzeptieren, aber Mathematiker sicherlich als Vermutung verspotten werden. Also, hier geht es:

Wenn Sie das Vorzeichen Ihres Integrals umkehren (und wir setzen 4 π G = 1 ) dann heißt es:

(1) M In ( R ) R ρ ( R ) R 2 D R
Dies ist identisch mit dem Ausdruck (vorausgesetzt, wir haben gesetzt 4 π ϵ 0 = 1 ) für die Selbstpotentialenergie einer sphärischen Ladungsverteilung, wenn wir identifizieren M In ( R ) mit der Ladung im Radius R Und ρ ( R ) mit der Ladungsdichte am Radius R . Nun wissen wir, dass, wenn wir eine bestimmte Ladung auf eine metallische sphärische Kugel legen, die Ladungsverteilung in ihrem Gleichgewichtszustand so sein wird, dass sie die Eigenpotentialenergie minimiert, die eine Ladungsverteilung der Gesamtladung ist M haben können, wenn sie innerhalb eines Radius verteilt sind R . Wir wissen aber, dass sich nach dem Gaußschen Gesetz die Ladung in Form einer Kugelschale auf der Oberfläche der Kugel verteilt. Somit ist der Mindestwert von ( 1 ) wird sein, wenn die ganze Ladung bei ist R = 1 . Wir wissen, wie Sie berechnet haben, wird die potentielle Selbstenergie in diesem Fall 1 2 M 2 R . Natürlich der Maximalwert ( 1 ) haben kann, ist unendlich groß, was einem immer größeren Ladungsanteil entspricht, der immer näher an das Zentrum gebracht wird.

Im Gravitationsfall lässt Sie das zusätzliche Minuszeichen Minimum der obigen Erklärung als Maximum lesen und umgekehrt. Aber da Sie das negative Vorzeichen außerhalb der Definition von gehalten haben k (dh du multiplizierst k mit einem Minus, um das Finale zu erreichen U ), sieht man das sehr direkt k [ 1 2 , ) hält.

Es macht Sinn, aber ich würde den mathematischen Weg bevorzugen. Ein allgemeiner Beweis aus Integral (5) (oder (1)).