Beispielanwendungen

Die Beispielanwendungen sind in Form von Notebooks gegeben. Vorläufig gibt es folgende:

  • Ein Notebook zur Klein - Gordon - Gleichung
  • Ein Notebook zur Dirac - Gleichung

Neben lokalen Regeln enthalten sie eine Reihe von Rechnungen, die z.B. Hamilton - Operator, 3er - Impuls und Ladung definieren und auswerten.

Klein - Gordon - Gleichung

In allen Fällen werden die freien Felder, die die Feldgleichungen lösen, vorgegeben.

  1. Der Kommutator der Felder führt bei Anwendung der Kommutationsrelationen für die Koeffizienten der Felder auf die Kommutationsrelationen der Felder selbst.

    (* Define the wave function solutions *) ΦC := ( 1 / Sqrt [ 2 ( 2 Pi ) ^ 3 k 0 ] a ^ k 1 , k 2 , k 3 Exp [ - exp ] ) 3 k + ( 1 / Sqrt [ 2 ( 2 Pi ) ^ 3 k 0 ] b ^ k 1 , k 2 , k 3 Exp [ exp ] ) 3 k ; phi = ΦC // QASimplify [ ] ; phicross = ( ΦC // QASimplify [ ] ) ; (* Define the time derivative of wave function solution *) phicrossdot = ( ( ? x 0 phicross ) /. { k "->" k1 , x "->" y } ) /. { y 0 "->" x 0 } ; (* Evaluate the Commutator *) QAEvaluate1 [ phi phicrossdot - phicrossdot phi ] DiracDelta [ x 1 - y 1 , x 2 - y 2 , x 3 - y 3 ] 1 ^

  2. Der Hamiltonoperator als von den Feldern abhängender Ausdruck führt auf einen Ausdruck in den Koeffizienten der Felder (Erzeugungs- und Vernichtungsoperatoren).

    Φ := k ( 1 / Sqrt [ 2 V k 0 ] a ^ k 1 , k 2 , k 3 Exp [ exp ] ) + k ( 1 / Sqrt [ 2 V k 0 ] b ^ k 1 , k 2 , k 3 Exp [ exp ] ) H 1 := ( D x 0 ( Φ // Evaluate ) ) ( D x 0 ( ( Φ // QASimplify [ ] ) // Evaluate ) /. { k k 1 } ) H 2 := i = 1 3 ( ( D x i ( Φ // QASimplify [ ] // Evaluate ) ) ( D x i ( Φ // Evaluate ) /. { k k 1 } ) ) H 3 := ( μ 2 ( Φ // QASimplify [ ] ) ( Φ /. { k k 1 } ) ) // QASimplify [ ] H 1 := V H 1 3 x H 2 := V H 2 3 x H 3 := V H 3 3 x hamiltonian = QAEvaluate 2 [ H 1 + H 2 + H 3 ] 1 ^ k k 0 + k a ^ k 1 , k 2 , k 3 a ^ k 1 , k 2 , k 3 k 0 + k b ^ k 1 , k 2 , k 3 b ^ k 1 , k 2 , k 3 k 0

  3. Gleiches gilt für den Ausdruck des 3er - Impulses.

    P i_ := ( D x 0 ( Φ // Evaluate ) ) ( D x i ( ( Φ // QASimplify [ ] ) // Evaluate ) //. { k k 1 } ) + ( D x 0 ( ( Φ // QASimplify [ ] ) // Evaluate ) ) ( D x i ( Φ // Evaluate ) //. { k k 1 } ) P i_ := V P i 3 x Map [ ( P #1 // QAEvaluate2 ) & , { 1 , 2 , 3 } ] { k a ^ k 1 , k 2 , k 3 a ^ k 1 , k 2 , k 3 k 1 k b ^ k 1 , k 2 , k 3 b ^ k 1 , k 2 , k 3 k 1 k a ^ k 1 , k 2 , k 3 a ^ k 1 , k 2 , k 3 k 2 k b ^ k 1 , k 2 , k 3 b ^ k 1 , k 2 , k 3 k 2 , k a ^ k 1 , k 2 , k 3 a ^ k 1 , k 2 , k 3 k 3 k b ^ k 1 , k 2 , k 3 b ^ k 1 , k 2 , k 3 k 3 }

  4. Gleiches gilt auch für den Ausdruck für die Ladung, der sich aus einer Kontinuitätsgleichung ergibt.

    J i_ := ( ( D x i ( Φ // Evaluate ) ) ( ( Φ // QASimplify [ ] ) //. { k k 1 } ) ( D x i ( ( Φ // QASimplify [ ] ) // Evaluate ) ) ( Φ //. { k k 1 } ) ) J i_ := V J i 3 x QAEvaluate2 [ J 0 ] k a ^ k 1 , k 2 , k 3 a ^ k 1 , k 2 , k 3 k b ^ k 1 , k 2 , k 3 b ^ k 1 , k 2 , k 3

Wir nutzen Cookies auf unserer Website. Einige von ihnen sind essenziell für den Betrieb der Seite, während andere uns helfen, diese Website und die Nutzererfahrung zu verbessern (Tracking Cookies). Sie können selbst entscheiden, ob Sie die Cookies zulassen möchten. Bitte beachten Sie, dass bei einer Ablehnung womöglich nicht mehr alle Funktionalitäten der Seite zur Verfügung stehen.