Hat die 1-D-Poisson-Gleichung monotone Potentiale, wenn ρ=ρ(ϕ(z))ρ=ρ(ϕ(z))\rho=\rho(\phi(z))?

Ich löse die 1-D-Poisson-Gleichung:

D 2 ϕ D z 2 = 4 π ρ ( ϕ )

mit der zusätzlichen Anforderung, dass ρ ( ϕ ( z = 0 ) ) = 0 . Wenn ich damit beginne, jede Seite mit zu multiplizieren D ϕ D z und von 0 bis integrieren ϕ ' Ich bekomme

1 2 ( D ϕ D z ) 2 = 4 π 0 ϕ ' ρ ( ϕ ) D ϕ D z D z

Also habe ich

1 2 ( D ϕ D z ) 2 = 4 π 0 ϕ ' ρ ( ϕ ) D ϕ

Wegen des Quadrats auf der linken Seite bekomme ich nur Lösungen, wenn die rechte Seite positiv ist. Ich finde diese Forderung merkwürdig, weil man immer bekommt, dass die Ableitung des Potentials nie das Vorzeichen wechselt und immer monoton ist, wenn die Ladungsdichte in die Form geschrieben wird ρ ( ϕ ) . Mache ich hier etwas falsch oder habe ich das Ergebnis falsch interpretiert?

Genauer gesagt, wenn ich eine Ladungsdichte bereitstelle, ändert sich das Vorzeichen mit ϕ wird es mir nicht gelingen, eine Lösung zu finden?

Auch für jeden, der damit vertraut ist, diese erste Reihe von Schritten wird bei der Ableitung des Child-Langmuir-Gesetzes für die Dicke einer Plasmahülle verwendet, aber beim Ionenhüllenproblem ρ ändert das Vorzeichen nicht (siehe Bohm-Kriterium bei Interesse).

Hinweis zur Frage (v1): Nehmen wir die erste Gleichung an, dann fehlt in der zweiten Gl. eine Integration 'Konstante'. Äquivalent ausgedrückt: Die untere Grenze der Stammfunktion fehlt.
Wenn ich ein bestimmtes Integral habe, warum gibt es dann eine Integrationskonstante?
Ah, das habe ich wohl vergessen zu erwähnen ρ ( 0 ) = 0 Ich werde es ändern.
Keine Notwendigkeit, anzunehmen ρ ( 0 ) = 0 . Das Problem liegt woanders.
Könntest du ein bisschen mehr erklären? Als ich das letzte Mal im Unterricht gemacht habe, haben wir mit multipliziert D ϕ / D z und stückweise so integriert, dass danach die LHS sein sollte 1 / 2 [ ( D ϕ / D z ) ϕ = ϕ ' 2 ( D ϕ / D z ) ϕ = 0 2 ]
Für ρ ( ϕ ) := 0 Die Lösung ist ϕ ( z ) = A · z + B und die Gleichung lautet 0 = 0 . Sie sagen, Sie "integrieren sich" und landen bei 1 2 A 2 = 0 . Magie.
Dies ist keine Poisson-Gleichung. In der Poisson-Gleichung ρ ist eine gegebene Funktion und keine Funktion von ϕ .
@NikolajK Die Anforderung war nicht ρ ( ϕ ) = 0 es war ρ ( ϕ = 0 ) = 0
@Anode: Also? ρ ( ϕ ) := 0 erfüllt ρ ( ϕ = 0 ) = 0 . Ich weise also darauf hin, dass für den trivialen Fall die geschlossene Relation bereits gebrochen ist. Das ist ein allgemeines Werkzeug zur Untersuchung von Mathematik: Wenn Sie einem Ergebnis mit freien Parametern skeptisch gegenüberstehen, gehen Sie zurück und wählen Sie bestimmte Beispiele für diese Parameter aus, um zu sehen, an welcher Stelle der Ableitung das System zusammenbricht.
@V.Moretti ϕ ist eine freie Funktion von z, die ich für eine vom Potential abhängige Ladungsdichte auflöse.
@NikolajK Welche abgeschlossene Beziehung ist unterbrochen? Im trivialen Fall ändert \rho nicht das Vorzeichen. Das ist keine Überraschung ϕ ( z ) = 0 in deinem beispiel.
Lassen Sie mich den Kommentar von Qmechanic erweitern :
0 z 0 D D z ( D ϕ D z ) 2 D z ( D ϕ D z ) 2
Stattdessen
0 z 0 D D z ( D ϕ D z ) 2 D z = ( D ϕ D z ) 2 | 0 z 0
Der „falsche“ Ausdruck sehe „offensichtlich positiv“ aus. Der richtige nicht.
@WillieWong Ist das nicht das, was ich in einem früheren Kommentar geschrieben habe?
@Anode: nein. Sie haben bei bewertet ϕ = 0 , was Unsinn ist. Ein Derivat integrieren in z Sie sollten bei bewerten z = z 0 Und z = 0 . Übrigens macht es auch Ihre Wahl der oberen Integrationsgrenze " ϕ ' " sehen sehr bizarr aus. (Außerdem ist es auf dieser Ebene ein Problem mit Analysis und hat relativ wenig mit Physik zu tun .)
@WillieWong Ah, ich sehe das Problem. Ich hätte schreiben sollen ρ ( ϕ ( z = 0 ) ) = 0 .
@Anode: „Das ist keine Überraschung ϕ ( z ) = 0 in deinem Beispiel." Was meinst du damit? Die Lösung ist ϕ ( z ) = A · z + B und diese gelten für alle A , B . Die Schlussfolgerung, die Sie ziehen sollten, ist nicht die ϕ ( z ) = 0 folgt.

Antworten (1)

Das System löst die Euler-Lagrange-Gleichungen der Lagrange-Funktion:

L ( ϕ , D ϕ D z ) = 1 2 ( D ϕ D z ) 2 4 π 0 ϕ ( z ) ρ ( S ) D S
da die entsprechenden Lagrange-Gleichungen lauten:
D 2 ϕ D z 2 = 4 π ρ ( ϕ ) .
Da die Lagrange-Funktion nicht explizit von "Zeit" abhängt z , "Energie" bleibt entlang der Lösungen erhalten (variierend z ):
1 2 ( D ϕ D z ) 2 + 4 π 0 ϕ ( z ) ρ ( S ) D S = E .
Die Konstante E kann aus den Anfangsbedingungen bestimmt werden, z ϕ ( 0 ) Und D ϕ / D z | z = 0 . Einmal E festgesetzt wurde, lautet die Gleichung:
D ϕ D z = ± 2 E 8 π 0 ϕ ( z ) ρ ( S ) D S .
Das Vorzeichen kann wiederum aus der Anfangsbedingung festgelegt werden, da es dasjenige von ist D ϕ / D z | z = 0 .

Es scheint mir, dass diese Gleichung zumindest lokal immer gelöst werden kann, wenn ρ stetig ist, es sei denn D ϕ / D z | z = 0 = 0 , Situation, die große Sorgfalt erfordert, da die RHS (während sie kontinuierlich bleibt) nicht lokal Lipschitz um die entsprechende Anfangsbedingung ist ϕ ( 0 ) .

Soll das Zeichen in der ersten Zeile ein + sein?
Vielleicht habe ich einen Fehler mit Zeichen gemacht, aber ich glaube nicht: D / D z ( L / ( D ϕ / D z ) ) = L / ϕ erzeugt deine Gleichung ...