Ich versuche zu verstehen, wie Symmetriegruppen mit Potentialen der Schrödinger-Gleichung zusammenhängen. Insbesondere möchte ich wissen, ob es möglich ist, die Symmetriegruppe dieses Potentials zu finden
Wo , ,
Ich habe versucht zu sehen, ob es mit der Gruppe SO (3) und der einheitlichen Gruppe U (1) verwandt ist, aber beides scheint nicht möglich zu sein. Ich habe diese Frage gestellt, weil ich, da ich einen reinen mathematischen Hintergrund habe, wirklich Schwierigkeiten habe, dies zu verstehen.
Dies ist zugegebenermaßen eine unvollständige Antwort, da ich nicht in dieser Art von Physik arbeite, aber auf einige Dinge kann hingewiesen werden. Erstens, nach welcher Art von Symmetrien suchen Sie? Dies ist ein 1-dimensionales Beispiel und es ist nicht periodisch. Wenn Sie also nicht nach etwas Verrücktem suchen, ist es am einfachsten, nach einer affinen Symmetrie der Form zu suchen . Bilder können helfen:
Plot[x^1 + x^2 + x^4, {x, -1.5, 1.4}]
Plot[-x^1 - x^2 + x^4, {x, -1.5, 1.7}]
Plot[-x^2 + x^4, {x, -1.7, 1.7}]
Man könnte vermuten, dass die Funktionen entweder keine affine Symmetrie oder Reflexionssymmetrie haben. Ich werde das nicht beweisen, aber ich werde Code geben (Erklärung finden Sie im Kommentarbereich), der zeigt, dass dies für verschiedene Eingaben von der Fall ist , Und (offensichtlich ist irrelevant):
rule = x -> (a x + b); rule2 = {A1 -> 6, A2 -> 3, A4 -> 1};
Reduce[(((A1 x + A2 x^2 + A4 x^4 == (A1 x + A2 x^2 + A4 x^4 /. rule)) /. rule2) /. x -> 1) && (((A1 x + A2 x^2 + A4 x^4 == (A1 x + A2 x^2 + A4 x^4 /. rule)) /. rule2) /. x -> 2) && (((A1 x + A2 x^2 + A4 x^4 == (A1 x + A2 x^2 + A4 x^4 /. rule)) /. rule2) /. x -> 3), {a, b}]
Sie erhalten entweder nur die Identität oder die Identitäts- und Paritätstransformation für die meisten Werte von . Wenn jemand einen strengeren Weg kennt, um dies zu zeigen, oder sieht, dass das, was ich geschrieben habe, falsch ist, posten Sie es auf jeden Fall weg. Ich denke, Sie können es beweisen, indem Sie feststellen, dass Sie, wenn Sie annehmen, dass die Symmetriegruppe endlich ist (was vernünftig erscheint), auch diese Menge haben müssen ist endlich, wo . Seit für einen gewissen Wert von , du musst haben eine Wurzel der Einheit sein.
Wenn Sie die Möglichkeit einer komplexwertigen Position vorübergehend ausschließen, folgt daraus, dass die einzig möglichen Werte von Sind .
Wenn , dann müssen Sie haben, da das Potential nicht translationsinvariant ist , wobei die Identität transformiert wird.
Wenn , dann ist es etwas komplizierter, aber das ist intuitiv klar ist die einzige Möglichkeit, da das Potential bis auf eine Übersetzung unter einer Reflexion genau dann visuell invariant ist . Sie erhalten also Parität iff .
Benutzer119264
David z
Benutzer119264
David z
Benutzer119264
David z
Benutzer119264
David z
Dehnung
John Rennie
Urgje
Urgje
MüllcontainerDoofus
MüllcontainerDoofus
rule = x -> (a x + b); Solve[((A2 x^2 + A4 x^4 == (A2 x^2 + A4 x^4 /. rule)) /. x -> 1) && ((A2 x^2 + A4 x^4 == (A2 x^2 + A4 x^4 /. rule)) /. x -> 3) && ((A2 x^2 + A4 x^4 == (A2 x^2 + A4 x^4 /. rule)) /. x -> 2), {a, b}]
, was die Paritäts - und Identitätssymmetrien ergibt{{a -> -1, b -> 0}, {a -> 1, b -> 0}}
.MüllcontainerDoofus
rule = x -> (a x + b); rule2 = {A1 -> 6, A2 -> 3, A4 -> 1}; Reduce[(((A1 x + A2 x^2 + A4 x^4 == (A1 x + A2 x^2 + A4 x^4 /. rule)) /. rule2) /. x -> 1) && (((A1 x + A2 x^2 + A4 x^4 == (A1 x + A2 x^2 + A4 x^4 /. rule)) /. rule2) /. x -> 2) && (((A1 x + A2 x^2 + A4 x^4 == (A1 x + A2 x^2 + A4 x^4 /. rule)) /. rule2) /. x -> 3), {a, b}]
und sie ändernBenutzer119264
MüllcontainerDoofus
Benutzer119264