Aufgabe 12.2.2 in Shankar's Principles of Quantum Mechanics verlangt, den Ausdruck für den Drehimpulsoperator herzuleiten
Ich würde jedoch gerne eine finden, die sich ausschließlich auf die abstrakten Beziehungen stützt.
Das konnte ich bisher nur beweisen Und pendeln. Multipliziere die erste Relation rechts mit und die dritte Beziehung
Alle anderen Manipulationen ließen mich in logischen Kreisen drehen. Ich würde mich über jede Hilfe bei der Vervollständigung des Arguments freuen.
Was Sie wollen, ist nicht wirklich möglich. Der Grund dafür ist, dass der Drehimpuls eines Teilchens eine Spinkomponente haben kann, oder dass es andere Teilchen geben kann, für die Sie auch den Drehimpuls einbeziehen müssen. Genauer gesagt, alles, was Sie aus Symmetrie-Argumenten schließen können, ist, dass es in einer rotationsinvarianten Theorie einen Pseudovektor-Operator gibt deren Kommutierungsbeziehungen mit den Positions- und Impulskomponenten eines beliebigen Teilchens im System die von Ihnen geposteten sind. Es enthält typischerweise den Bahndrehimpuls des Teilchens, , sowie andere Operatoren wie Spin, die mit allen Orts- und Impulsoperatoren kommutieren.
Dies vermeidet natürlich die Tatsache, dass, wenn Sie nur die Bahnfreiheitsgrade eines einzelnen Teilchens haben, es dort nichts gibt, was mehr Drehimpuls haben wird, und die gewünschte Gleichheit sollte folgen .
Der Weg, um das zu beweisen, ist der folgende. Sie beginnen mit einem Gesamtdrehimpulsoperator wovon man nur seine Vertauschungsbeziehungen kennt Und . Anschließend konstruieren Sie den Bahndrehimpulsoperator und zeigen Sie, dass es die gleichen Vertauschungsbeziehungen mit hat Und als . Das heißt, dann das pendelt mit allen Komponenten von Und .
Nun, wenn Ihr System wirklich aus einem einzelnen Teilchen besteht, dann trägt es die direkte Summe von drei irreduziblen Darstellungen der Heisenberg-Gruppe , deren Algebra natürlich durch die Komponenten von aufgespannt wird Und . Das bedeutet, dass Sie Schurs Lemma anwenden können , um zu schlussfolgern, dass jede Komponente von muss ein Vielfaches des Einheitsoperators sein.
Schließlich würde ein solcher Vektor in einem isotropen System die globale Rotationssymmetrie brechen und muss daher Null sein.
Emilio Pisanty
Valentin
Emilio Pisanty
Valentin
Emilio Pisanty
Emilio Pisanty
Valentin