Satz von Noether mit Symmetriehalbgruppe statt Gruppe

Angenommen, Sie haben Halbgruppen anstelle der typischen Gruppenkonstruktion im Noether-Theorem. Ist das interessant? Tatsächlich gibt es in der Natur keine Zeitumkehrsymmetrie, richtig? Zumindest nicht in der gleichen Bedeutung wie bei anderen Symmetrien (Rotation, Translation etc). Warum also konstruieren wir Energie als Invariante einer solchen Art von Gruppensymmetrie und verwenden stattdessen nicht Halbgruppen? Ist das überhaupt möglich? Es gibt viele Referenzen zu Lie-Halbgruppen - es sieht so aus, als wäre es ein aktives Gebiet der Mathematik. Gibt es innerhalb solcher Theorien irgendeine Art von Noether-Theorie?

Für den Anfang denke ich, dass Sie eher ein Lie-Monoid als eine Lie-Halbgruppe wollen, damit es ein Einheitselement gibt.
@Qmechanic - möglicherweise - ja. Halbgruppe ist allgemeiner - aber wenn Sie sagen - dass wir eine Art Störung um das Einheitselement herum durchführen müssen - stimme ich wahrscheinlich zu. Es muss mit s' = f(s) beginnen, wobei f(s) eine Halbgruppenwirkung auf s ist und es möglich sein sollte, f(s) als s selbst und kleine Änderung zu beschreiben. Beachten Sie - es ist wahrscheinlich keine einfache Taylor-Entwicklung oder irgendeine Art von linearer Transformation (aber vielleicht ist sie linear, aber nicht umkehrbar?) Ja, ich bin gespannt, wie sie sich für Lie-Monoide verhalten ;-)
Ich habe Crosspost mathoverflow.net/q/60238 gemacht - es sieht aus wie mathematisch - diese physikalische Frage.
Ich habe dieses Papier gefunden: arxiv.org/abs/math/0604561v1 "Genuine Lie semigroups and semi-symmetries of PDEs" Ist es repräsentativ für den Wissensstand auf diesem Gebiet? Wenn ja: bedeutet dies, dass solche Halbgruppenwirkungen auf PDE-Gleichungslösungen Halbsymmetrien genannt werden. Wahrscheinlich gibt es in diesem Bereich viel zu entdecken, nehme ich an;-)

Antworten (3)

Wie Lurscher sagt, sind Halbgruppen in der Physik nicht allzu interessant. Sie sind nicht wirklich "Symmetrien". Ein wichtiges physikalisches Beispiel für eine Halbgruppe in der Physik ist die (irreführend bezeichnete) „Renormierungsgruppe“, die es uns erlaubt, wirksame Gesetze für große Entfernungen aus den kurzen Entfernungen abzuleiten, aber dieses „Ausintegrieren“ oder „Ausfließen“ ist irreversibel – was Genau aus diesem Grund verdienen es die RG-Operationen, eher eine "Halbgruppe" als eine "Gruppe" zu bilden.

Was jedoch noch wichtiger ist, Sie sind völlig verwirrt über den Fall von Noethers Observable namens „Energie“.

Energie ist mit der Zeittranslationsinvarianz verbunden und ist eine Standardsymmetrie, ausgedrückt durch eine Gruppe und nicht "nur eine Halbgruppe". Diese Symmetrie besagt, dass sich die Gesetze der Physik nicht ändern, wenn die Ereignisse eintreten t Sekunden später. Sie änderten sich auch nicht, wenn die Prozesse auftraten t Minuten früher. Die Zeitübersetzungen gehen in beide Richtungen, sie können sowohl positiv als auch negativ sein, und sie sind immer Symmetrien.

Das hat nichts mit der Irreversibilität der Prozesse oder den mit dem Zeitpfeil verbundenen Asymmetrien zu tun.

Aber auch bei der Zeitumkehr liegst du eigentlich falsch. Sogar die Zeitumkehrsymmetrie, die eine Symmetrie der mikroskopischen Gesetze der Physik ist (wenn CP gilt; oder zumindest CPT ist universell eine solche Symmetrie), ist eine Symmetrie, und sie wird wiederum durch a ausgedrückt Z 2 Gruppe. Es gibt nirgendwo in diesen raumzeitbezogenen Operationen eine Halbgruppe, die keine Gruppe ist!

Zurück dazu, warum "Halbgruppen" keine Symmetrien sind

Ganz allgemein können Objekte wie die Aktion unter Halbgruppen, die keine Gruppen sind, nicht symmetrisch sein. Das Beispiel der Renormierungsgruppe zeigt deutlich, was passiert, wenn die vermeintlichen Symmetrietransformationen irreversibel wären. Irreversibilität bedeutet immer, dass einige Informationen verloren gehen, sodass zwangsläufig die Beiträge zur Handlung aus den Freiheitsgraden, deren Informationen verloren gehen, unterdrückt werden, sodass die Handlung nicht konstant bleiben kann. Wenn man über die Renormierungsgruppenflüsse zu großen Entfernungen "fließt", "integriert" er tatsächlich die kürzesten Freiheitsgrade heraus, was bedeutet, dass sie in der neuen effektiven Theorie nicht angeregt werden können. Die Operation kann uns also keine Eins-zu-Eins-Karte für alle Zustände liefern, was, wie in den vorherigen Sätzen erklärt, für eine Symmetrie notwendig ist,

Kennen Sie den Begriff der aktiven und passiven Transformation? Ist die Noether-Theorie an die passive gebunden? Wieso den? Und bitte sagen Sie mir – anstelle einer bestimmten Interpretation – haben Sie irgendwelche Argumente dafür, dass die Welt zur Zeit t und die Zeit t', wo t'>t gleich sind? Es gibt eine Fülle von Phänomenen, für die die Zeitumkehrbarkeit nicht gilt, die aber eine Beschreibung ähnlich der Hamiltonschen erlauben - zum Beispiel mit Hilfe der Rayleigh-Funktion. Ich stimme nicht zu, dass "das nichts mit Irreversibilität hat ...", weil Sie das einfach nicht wissen. Kennen Sie ein Beispiel für eine solche Beschreibung? Nur zum Spaß?
Klassische Dynamik hat nichts mit dem CPT-Theorem zu tun. Entschuldigung - es ist hier überhaupt nicht wichtig. Bitte behandeln Sie es als einfache mathematische Physikfrage für Referenzen.
š - Ja - Sie haben Recht - während der Renormierung gehen Flussinformationen verloren. Genau danach suche ich im Kontext der klassischen Dynamik und des Noether-Theorems. Die Renormalisierungsgruppe ist eine Art Aktion, die zu einer bestimmten Art von Beziehung führt, wie en.wikipedia.org/wiki/Callan%E2%80%93Symanzik_equation . Natürlich gibt es noch andere für Beta-Funktion und so weiter. Diese Art von Beziehung ist eine Verallgemeinerung von Invarianten von Bewegungsgleichungen (triviale, Sie werden vielleicht auch bemerken, dass diese Beziehungen trivial sind, wenn die Renormierungsaktion zu einer Gruppe wurde - Kopplungen sind invariant).
Lieber Kakaz, ob man eine aktive oder passive Transformation anwendet, ist eine Frage der persönlichen Entscheidung. In jeder Situation kann er es nach seinem Geschmack wählen. Sie unterscheiden sich dadurch, dass sie inverse Transformationen voneinander sind. Es ist sinnlos zu fragen, "was die richtige Konvention für Noethers Theorem ist". Auch hier hat Noethers Theorem nichts mit der Irreversibilität der makroskopischen Physik zu tun, und es stimmt nicht, dass CPT "nichts mit klassischer Dynamik zu tun" hat. Wir können sicherlich CPT-Transformationen in jeder physikalischen Theorie diskutieren. RG ist keine "Symmetrie der Aktion" in der physikalischen Definition von Symmetrie.
Natürlich haben Sie Recht - RG ist keine Art Symmetrie des physikalischen Systems - es ist eher eine Art Symmetrie der Beschreibung. Natürlich haben Sie Recht - ich glaube auch, dass QFT wahrscheinlich die tiefste Theorie ist, die wir haben, also ist das CPT-Theorem sehr grundlegend. Ich frage nicht danach. Ich frage nur nach der Verallgemeinerung des Noether-Theorems im Kontext von Semigrioup und beziehe es auf eine lose Idee über Zeitverschiebung. Ich behaupte, dass dies eine Frage der mathematischen Physik ist und nichts mit irgendeiner physikalischen Realität zu tun hat.

Hier ist ein Argument, warum "ein Noether-Theorem mit Lie-Monoid-Symmetrie" im Wesentlichen keine neuen Erhaltungssätze hervorbringen würde. Noethers (erster) Satz handelt eigentlich nicht von Lie-Gruppen, sondern nur von Lie-Algebren, dh man braucht eben n infinitesimale Symmetrien abzuleiten n Erhaltungsgesetze. Wenn man nur daran interessiert ist, die zu bekommen n Erhaltungsgesetze eins nach dem anderen (und nicht so sehr daran interessiert, dass die n Erhaltungssätze bilden zusammen eine Darstellung der Lie-Algebra), dann kann man sich auf a konzentrieren 1 -dimensionale abelsche Symmetrieuntergruppe. Die entsprechende Lie-Unteralgebra wird dann gerecht u ( 1 ) R . Um nun auf die Frage zurückzukommen, kann man natürlich eine Lie-Gruppe künstlich in ein Lie-Monoid abschneiden, sagen wir, wenn q ist eine zyklische Variable für eine Lagrange-Funktion L , dann erklären wir künstlich, dass das Symmetriemonoid ist q q + a nur für nicht negative Übersetzungen a 0 , während alles Negative künstlich geleugnet wird a < 0 . Andererseits braucht man zumindest Zugriff "von einer Seite", weil es bei Noethers Theorem um kontinuierliche Symmetrie geht. Aber in der Praxis kann man dann immer noch, zumindest infinitesimal, auch auf „die andere Seite“ ausdehnen, und dann ist man wieder bei einem Standard u ( 1 ) Lügenalgebra und ein Standardsatz von Noether.

Es ist ein guter Kommentar! Ich weiß nicht, wie Lie-Halbgruppen beschrieben werden - sind Sie sicher, dass q->q+a a>0 dort richtig ist? Könnten Sie dafür eine Referenz angeben? Es sieht so aus, als ob q-> q + a nicht sehr gut für den Halbgruppenansatz geeignet ist, da ich nicht weiß, ob die Halbgruppe eine solche Darstellung zulässt - tatsächlich sieht die Beziehung q-> q + a für a> 0 sehr künstlich aus. Für mich ist die wahrscheinlich bessere Idee q-> a + At, wobei A keine invertierbare Matrix und t ein kleiner Parameter ist. Bitte beachten Sie auch, dass es auf math.stackexchange bis jetzt keine offensichtliche Antwort gibt - ich nehme an, es ist nicht so einfach ... Aber natürlich könnten Sie Recht haben!
Die Lie-Halbgruppe ( ] 0 , [ , + ) und das Lie-Monoid ( [ 0 , [ , + ) sind wohldefiniert 1 -dimensionale Beispiele. Ich habe keine Referenzen zur Hand.
Sie sind gut definiert, aber was ist mit der Definition des Tangentialraums davon? Und unendlich kleine Generatoren? Und Erweiterung des kleinen Elements? Wahrscheinlich haben Sie Recht, dass dies ein bekanntes Beispiel ist (zum Beispiel aus der Ergodentheorie), aber was ist mit einer solchen Struktur im Kontext der Lie-Algebra usw.?
Noch eine Anmerkung - ich erwarte keine neue Bewegungsinvariante - eher eine Art von Fluss, der Renormierungsgruppengleichungen übrig bleibt.

Das Hauptproblem bei Halbgruppen besteht darin, dass sie im Allgemeinen nicht umkehrbar sind, sodass es nicht gut auf den Begriff einer Symmetrie zutrifft, die sich nach einer Operation, die die Zustände ineinander umwandelt, gleich verhält

Du meinst nicht invertierbar? Wenn Sie mit dem Noether-Theorem beginnen, gehen Sie davon aus, dass Sie eine Lagrange-L(q,p) = L(q',p') haben, wobei s' = s + ðs (und s = p oder q). Also ist ðs eine infinitesimale Symmetrieänderung. Es ist nicht a priori erforderlich, dass es invertierbar sein muss. Obwohl es überhaupt nicht einfach ist, infinitesimale Elemente "unumkehrbar" darzustellen, weil die Operation "+" hier nicht gut ist. Aber hier en.wikipedia.org/wiki/… Sie können es in einer sehr allgemeinen Beschreibung betrachten. Für mich sieht es so aus, als ob es möglich sein könnte, hier eine Halbgruppe zu verwenden.
Andererseits würde ich nicht bezweifeln, dass eine Beschreibung thermodynamischer (irreversibler) Prozesse in der Halbgruppensprache sehr sinnvoll wäre
Ja - das ist ein gutes Beispiel. Mehr - dissipative oder hamiltonsche Dynamik hat eine Halbgruppe als Fluss, der Bewegung im Phasenraum beschreibt. Aber das ist ein anderer Bereich - Sie haben das Phasenraumvolumen v und möchten wissen, wie es während der Dynamik fließt. Dann führt es zu Liouville-Gleichungen en.wikipedia.org/wiki/Liouville%27s_theorem_%28Hamiltonian%29 . Aber hier frage ich nach etwas anderem - wie der Wechsel der Gruppe in eine Halbgruppe das Noether-Theorem, die berühmte Torus-Phasenraumstruktur usw. ändert.