Forums Neueste Beiträge
 

Kommutatoren, Poissonklammern usw. mit Maple

15/09/2007 - 16:44 von Dominic Maier | Report spam
Hallo!

Gibt es eine einfache Möglichkeit mit Maple (Version 10) Kommutatoren
Poissonklammern usw. auszurechnen,

genauer:

Ich nehme irgendeine Algebra über den komplexen Zahlen mit einer Lie
oder Poissonklammer, möchte Maple 'sagen', was diese Klammer mit
Erzeugern der Algebra tut und dann allgemeine Klammern ausrechnen
können. Dabei soll Maple rein algebraisch arbeiten und nur Jacobiregel
usw. ausnutzen.

Z.B. Die Algebra der Polynome in den quantenmechanischen Orts und
Impulsoperatoren Q und P: definiere für den Kommutator [Q,P] = i\hbar
und möchte dann mit Maple den Kommutator (und ineinandergeschachtelte
Kommutatoren) von beliebigen Polynomen in Q und P ausrechnen bzw.
vernünftig vereinfachen können.

Analog z.b. für die gewöhnliche Poissonklammer in der klassischen
Mechanik (wobei Maple dort natürlich die kommutativitàt der Algebra
berücksichtigen soll...).

usw.

Mir würde es eigentlich schon genügen, wenn ich mit Maple entscheiden
könnte, ob zwei beliebig komplizierte Ausdrücke von
Kommutatoren/Poissonklammern ... z.B. von Polynomen in P und Q, gleich sind.


Danke im Voraus!

Dominic
 

Lesen sie die antworten

#1 Hendrik van Hees
15/09/2007 - 17:59 | Warnen spam
Dominic Maier wrote:

Hallo!

Gibt es eine einfache Möglichkeit mit Maple (Version 10) Kommutatoren
Poissonklammern usw. auszurechnen,



In Mathematica geht das. Die Technik nennt sich 'rule based
programming'. Mit Maple kenne ich mich leider nicht aus. Da müßte das
aber auch möglich sein. Für solche Aufgaben gibt es auch noch das sehr
schnelle CA-System FORM.

Hendrik van Hees Texas A&M University
Phone: +1 979/845-1411 Cyclotron Institute, MS-3366
Fax: +1 979/845-1899 College Station, TX 77843-3366
http://theory.gsi.de/~vanhees/faq mailto:

Ähnliche fragen