Benutzer:CoTangent/Butcher-Gruppe

aus Wikipedia, der freien Enzyklopädie

Im mathematischen Teilgebiet der Numerik bezeichnet die Butcher-Gruppe eine bestimmte Gruppe, die beim Studium von Runge-Kutter-Verfahren zur Lösung von gewöhnlichen Differenzialgleichungen auftritt. Sie ist nach dem neuseeländischen Mathematiker John C. Butcher benannt.

Connes und Kreimer haben 1999 herausgefunden, dass diese Gruppe außerdem die Charaktergruppe einer bestimmten Hopf-Algebra über gewurzelten Bäumen auftritt und dass diese bereits vollkommen unabhängig von der Verbindung zur Numerik in der Renormierung von Quantenfeldtheorien in der Physik verwendet wurde.

Motivation: Anfangswertproblem

Viele Vorgänge in Natur und Technik lassen sich mit Hilfe von gewöhnlichen Differentialgleichungen formulieren. Eine solche Gleichung lässt sich immer in die folgende Form bringen:

Hierbei ist ein (zeitunabhängiges) Vektorfeld auf einer offenen Menge . Wenn wie hier der Wert ist vorgegeben ist, spricht man auch von einem Anfangswertproblem.

Wenn das Vektorfeld beliebig oft differenzierbar ist, dann folgt aus dem Satz von Picard-Lindelöf, dass dieses Anfangswertproblem eine eindeutige Lösung besitzt und diese Lösungskurve selbst auch beliebig oft differenzierbar ist. Allerdings ist es meistens nicht möglich, die Lösung in einer geschlossenen Form anzugeben.

Eine Möglichkeit, die Lösung zu untersuchen ist ein Potenzreihenansatz um den Punkt : Dafür benötigt man die höheren Ableitungen der gesuchten Funktion, also . Hierzu kann man grundsätzlich die gegebene Differentialgleichung einfach mehrfach ableiten, aber da jedes Mal mehr Terme hinzukommen, wird die Sache schnell unübersichtlich. Im Jahre 1857 fand Arthur Cayley eine kompkate Formel, um die höheren Ableitungen einer Lösung eines Anfangswertproblems zu berechnen, hierfür benötigen wir aber als kombinatorische Hilfsmittel gewurzelte Bäume:

Differentiale und gewurzelte Bäume

Die gewurzelten Bäume mit zwei, drei und vier Knoten, aus Cayleys Originalarbeit

Ein gewurzelter Baum ist ein Graph mit einem ausgezeichneten Knoten, genannt Wurzel, in dem jeder andere Knoten mit der Wurzel durch einen eindeutigen Weg verbunden ist. Wenn die Wurzel eines gewurzelten Baumes (mit allen Kanten, die an sie angrenzen) entfernt wird, dann zerfällt der Originalbaum in gewurzelte Bäume , wobei als Wurzeln der neuen Bäume immer die Knoten genommen werden, die mit der Orginalwurzel verbunden waren. Umgekehrt kann man immer aus verschiedenen gewurzelten Bäumen einen neuen Baum konstruieren, indem man eine neue Wurzel hinzufügt und diese mit allen bisherigen Wurzeln verbindet. Diesen neuen Baum bezeichnet man auch mit eckigen Klammern: .

Die Anzahl der Knoten eines Baumes bezeichnet man mit . Der Baum mit nur einem Knoten (die isolierte Wurzel) wird mit bezeichnet.


Eine Heap-Ordnung auf einem Baum ist eine Verteilung der Zahlen auf die Knoten des Graphen, sodass die Zahlen immer in aufsteigender Reihenfolge erscheinen, wenn man sich auf einem Weg von der Wurzel wegbewegt. Zwei Heap-Ordnungen heißen äquivalent, wenn einen Automorphismus von gewurzelten Bäumen gibt, der die eine Heap-Ordnung auf die andere überträgt. Die Anzahl der Äquivalenzklassen von Heap-Ordnungen wird mit bezeichnet und kann mit Butchers Formel berechnet werden:

wobei die Symmetriegruppe von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle t} ist und die Fakultät eines Baumes rekursiv definiert wird durch

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle [t_1,\dots,t_n]! = |[t_1,\dots,t_n]| \cdot t_1! \cdots t_n!}

und die Fakultät einer isolierten Wurzel auf Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 1} gesetzt wird:

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \bullet ! =1.}

Als nächstes definieren wir die sogenannten elementaren Differentiale rekursiv:

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \delta_\bullet^i= f^i, \,\,\, \delta^i_{[t_1,\dots,t_n]} = \sum_{j_1,\dots,j_n=1}^N (\delta^{j_1}_{t_1} \cdots \delta^{j_n}_{t_n})\partial_{j_1} \cdots \partial_{j_n} f^i.}

Unter Verwendung dieser Notation gibt es nun eine kompakte Darstellung der Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle m} -ten Ableitung der Lösungskurve:

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle {d^m x\over ds^m} = \sum_{|t|=m} \alpha(t) \delta_t,}

Im einfachsten Fall N = 1 (dann sind x und f reellwertige Funktionen einer reellen Variable) ergibt die obige Formel:

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x^{(4)} = f^{\prime\prime\prime}f^3 + 3 f^{\prime\prime}f^{\prime} f^2 + f^{\prime}f^{\prime\prime} f^2 +(f^\prime)^3 f,}

wobei die vier Terme genau den vier gewurzelten Bäumen auf vier Knoten entsprechen (siehe Diagramm). Im Falle N = 1 entspricht diese Formel der bereits früher bekannten Formel_von_Faà_di_Bruno von 1855, in der die Baumstruktur keine Rolle spielt. Wenn aber Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle N>1} , so muss man die Formel vorsichtiger in der folgenden Form schreiben: Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x^{(4)} = f^{\prime\prime\prime}(f,f,f) + 3f^{\prime\prime}(f,f^\prime(f)) + f^\prime(f^{\prime\prime}(f,f)) +f^\prime(f^\prime(f^\prime(f))),} wobei die Baumstruktur entscheidend wird.

Damit erhalten wir eine geschlossene Formel für die Taylor-Reihe der Lösungskurve mit Entwicklungspunkt 0:

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \displaystyle x(s) = x_0 + \sum_{t} {s^{|t|}\over |t|!} \alpha(t) \delta_t(0).}


--

Butcher series and Runge–Kutta method

Das oben schon erwähnte Anfangswertproblem

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle {dx(s)\over ds} = f(x(s)),\,\,\, x(0)=x_0,}

lässt sich näherungsweise mit dem Runge-Kutta-Verfahren lösen. Bei diesem nimmt man eine Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle m\times m} -Matrix

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A=(a_{ij})}

und einen Vektor

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle b=(b_i)}

mit m Komponenten.

Bei diesem Verfahren werden iterativ Näherungslösungen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x_n} gefunden, indem zuerst eine LösungX1, ... , Xm of

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X_i= x_{n-1} + h \sum_{j=1}^m a_{ij} f(X_j)}

and then setting

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x_n=x_{n-1} +h \sum_{j=1}^m b_j f(x_j).}

Vorlage:Harvtxt showed that the solution of the corresponding ordinary differential equations

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X_i(s)=x_0 + s\sum_{j=1}^m a_{ij} f(X_j(s)),\,\,\, x(s)=x_0 + s \sum_{j=1}^m b_jf(X_j(s))}

has the power series expansion

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X_i(s) = x_0 +\sum_t {s^{|t|}\over |t|!} \alpha(t) t! \sum_{j=1}^m a_{ij} \varphi_j(t)\delta_t(0),\,\,\,\,x(s) = x_0 + \sum_t {s^{|t|}\over |t|!} \alpha(t) t! \varphi(t)\delta_t(0), }

where φj and φ are determined recursively by

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \varphi_j(\bullet)=1.\,\,\, \varphi_i([t_1,\cdots,t_k])=\sum_{j_1,\dots,j_k} a_{ij_1}\dots a_{ij_k} \varphi_{j_1}(t_1)\dots \varphi_{j_k}(t_k)}

and

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \varphi(t) = \sum_{j=1}^m b_j \varphi_j(t).}

The power series above are called B-series or Butcher series.[1][2] The corresponding assignment φ is an element of the Butcher group. The homomorphism corresponding to the actual flow has

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \Phi(t)={1\over t!}.}

Butcher showed that the Runge-Kutta method gives an nth order approximation of the actual flow provided that φ and Φ agree on all trees with n nodes or less. Moreover, Vorlage:Harvtxt showed that the homomorphisms defined by the Runge-Kutta method form a dense subgroup of the Butcher group: in fact he showed that, given a homomorphism φ', there is a Runge-Kutta homomorphism φ agreeing with φ' to order n; and that if given homomorphims φ and φ' corresponding to Runge-Kutta data (A, b) and (A' , b' ), the product homomorphism Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \varphi\star \varphi^\prime} corresponds to the data

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \begin{pmatrix} A & 0\\ 0 & A^\prime\\ \end{pmatrix},\,\, (b,b^\prime).}

Vorlage:Harvtxt proved that the Butcher group acts naturally on the functions f. Indeed, setting

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \varphi\circ f= 1 +\sum_t {s^{|t|}\over |t|!} \alpha(t) t! \varphi(t)\delta_t(0),}

they proved that

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \varphi_1\circ (\varphi_2\circ f) = (\varphi_1\star \varphi_2)\circ f.}






Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \displaystyle x(s) = x_0 + \sum_{t} {s^{|t|}\over |t|!} \alpha(t) \delta_t(0).}

As an example when N = 1, so that x and f are real-valued functions of a single real variable, the formula yields

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x^{(4)} = f^{\prime\prime\prime}f^3 + 3 f^{\prime\prime}f^{\prime} f^2 + f^{\prime}f^{\prime\prime} f^2 +(f^\prime)^3 f,}

where the four terms correspond to the four rooted trees from left to right in Figure 3 above.

In a single variable this formula is the same as Faà di Bruno's formula of 1855; however in several variables it has to be written more carefully in the form

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x^{(4)} = f^{\prime\prime\prime}(f,f,f) + 3f^{\prime\prime}(f,f^\prime(f)) + f^\prime(f^{\prime\prime}(f,f)) +f^\prime(f^\prime(f^\prime(f))),}

where the tree structure is crucial.

Definition using Hopf algebra of rooted trees

The Hopf algebra H of rooted trees was defined by Vorlage:Harvtxt in connection with Kreimer's previous work on renormalization in quantum field theory. It was later discovered that the Hopf algebra was the dual of a Hopf algebra defined earlier by Vorlage:Harvtxt in a different context. The characters of H, i.e. the homomorphisms of the underlying commutative algebra into R, form a group, called the Butcher group. It corresponds to the formal group structure discovered in numerical analysis by Vorlage:Harvtxt.

The Hopf algebra of rooted trees H is defined to be the polynomial ring in the variables t, where t runs through rooted trees.

  • Its comultiplication Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \Delta:H\rightarrow H \otimes H} is defined by
Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \Delta(t) = t\otimes I + I \otimes t +\sum_{s\subset t} s\otimes [t\backslash s],}

where the sum is over all proper rooted subtrees s of t; Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle [t\backslash s]} is the monomial given by the product the variables ti formed by the rooted trees that arise on erasing all the nodes of s and connected links from t. The number of such trees is denoted by n(t\s).

  • Its counit is the homomorphism ε of H into R sending each variable t to zero.
  • Its antipode S can be defined recursively by the formula
Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle S(t) = -t - \sum_{s \subset t}(-1)^{n(t\backslash s)}S([t\backslash s])s, \,\,\, S(\bullet)= -\bullet.}

The Butcher group is defined to be the set of algebra homomorphisms φ of H into R with group structure

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \varphi_1 \star \varphi_2 (t)= (\varphi_1\otimes \varphi_2)\Delta(t).}

The inverse in the Butcher group is given by

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \varphi^{-1}(t)=\varphi(St)}

and the identity by the counit ε.

Using complex coefficients in the construction of the Hopf algebra of rooted trees one obtains the complex Hopf algebra of rooted trees. Its C-valued characters form a group, called the complex Butcher group GC. The complex Butcher group GC is an infinite-dimensional complex Lie group[3] which appears as a toy model in the Vorlage:Section link of quantum field theories.

Butcher series and Runge–Kutta method

The non-linear ordinary differential equation

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle {dx(s)\over ds} = f(x(s)),\,\,\, x(0)=x_0,}

can be solved approximately by the Runge-Kutta method. This iterative scheme requires an m x m matrix

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A=(a_{ij})}

and a vector

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle b=(b_i)}

with m components.

The scheme defines vectors xn by first finding a solution X1, ... , Xm of

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X_i= x_{n-1} + h \sum_{j=1}^m a_{ij} f(X_j)}

and then setting

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle x_n=x_{n-1} +h \sum_{j=1}^m b_j f(x_j).}

Vorlage:Harvtxt showed that the solution of the corresponding ordinary differential equations

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X_i(s)=x_0 + s\sum_{j=1}^m a_{ij} f(X_j(s)),\,\,\, x(s)=x_0 + s \sum_{j=1}^m b_jf(X_j(s))}

has the power series expansion

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X_i(s) = x_0 +\sum_t {s^{|t|}\over |t|!} \alpha(t) t! \sum_{j=1}^m a_{ij} \varphi_j(t)\delta_t(0),\,\,\,\,x(s) = x_0 + \sum_t {s^{|t|}\over |t|!} \alpha(t) t! \varphi(t)\delta_t(0), }

where φj and φ are determined recursively by

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \varphi_j(\bullet)=1.\,\,\, \varphi_i([t_1,\cdots,t_k])=\sum_{j_1,\dots,j_k} a_{ij_1}\dots a_{ij_k} \varphi_{j_1}(t_1)\dots \varphi_{j_k}(t_k)}

and

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \varphi(t) = \sum_{j=1}^m b_j \varphi_j(t).}

The power series above are called B-series or Butcher series.[1][4] The corresponding assignment φ is an element of the Butcher group. The homomorphism corresponding to the actual flow has

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \Phi(t)={1\over t!}.}

Butcher showed that the Runge-Kutta method gives an nth order approximation of the actual flow provided that φ and Φ agree on all trees with n nodes or less. Moreover, Vorlage:Harvtxt showed that the homomorphisms defined by the Runge-Kutta method form a dense subgroup of the Butcher group: in fact he showed that, given a homomorphism φ', there is a Runge-Kutta homomorphism φ agreeing with φ' to order n; and that if given homomorphims φ and φ' corresponding to Runge-Kutta data (A, b) and (A' , b' ), the product homomorphism Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \varphi\star \varphi^\prime} corresponds to the data

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \begin{pmatrix} A & 0\\ 0 & A^\prime\\ \end{pmatrix},\,\, (b,b^\prime).}

Vorlage:Harvtxt proved that the Butcher group acts naturally on the functions f. Indeed, setting

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \varphi\circ f= 1 +\sum_t {s^{|t|}\over |t|!} \alpha(t) t! \varphi(t)\delta_t(0),}

they proved that

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \varphi_1\circ (\varphi_2\circ f) = (\varphi_1\star \varphi_2)\circ f.}

Lie algebra

Vorlage:Harvtxt showed that associated with the Butcher group G is an infinite-dimensional Lie algebra. The existence of this Lie algebra is predicted by a theorem of Vorlage:Harvtxt: the commutativity and natural grading on H implies that the graded dual H* can be identified with the universal enveloping algebra of a Lie algebra Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathfrak{g}} . Connes and Kreimer explicitly identify Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathfrak{g}} with a space of derivations θ of H into R, i.e. linear maps such that

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \theta(ab)=\varepsilon(a)\theta(b) + \theta(a)\varepsilon(b),}

the formal tangent space of G at the identity ε. This forms a Lie algebra with Lie bracket

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle [\theta_1,\theta_2](t)=(\theta_1 \otimes \theta_2 -\theta_2\otimes\theta_1)\Delta(t).}

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathfrak{g}} is generated by the derivations θt defined by

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \theta_t(t^\prime)=\delta_{tt^\prime}, }

for each rooted tree t.

The infinite-dimensional Lie algebra Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathfrak{g}} from Vorlage:Harvtxt and the Lie algebra L(G) of the Butcher group as an infinite-dimensional Lie group are not the same. The Lie algebra L(G) can be identified with the Lie algebra of all derivations in the dual of H (i.e. the space of all linear maps from H to R), whereas Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathfrak{g}} is obtained from the graded dual. Hence Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \mathfrak{g}} turns out to be a (strictly smaller) Lie subalgebra of L(G).[3]

Renormalization

Vorlage:Harvtxt provided a general context for using Hopf algebraic methods to give a simple mathematical formulation of renormalization in quantum field theory. Renormalization was interpreted as Birkhoff factorization of loops in the character group of the associated Hopf algebra. The models considered by Vorlage:Harvtxt had Hopf algebra H and character group G, the Butcher group. Vorlage:Harvtxt has given an account of this renormalization process in terms of Runge-Kutta data.

In this simplified setting, a renormalizable model has two pieces of input data:[5]

  • a set of Feynman rules given by an algebra homomorphism Φ of H into the algebra V of Laurent series in z with poles of finite order;
  • a renormalization scheme given by a linear operator R on V such that R satisfies the Rota-Baxter identity
Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle R(fg) + R(f)R(g) = R(fR(g)) + R(R(f)g)}
and the image of R – id lies in the algebra V+ of power series in z.

Note that R satisfies the Rota-Baxter identity if and only if id – R does. An important example is the minimal subtraction scheme

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \displaystyle R(\sum_{n} a_n z^n )= \sum_{n< 0} a_n z^n.}

In addition there is a projection P of H onto the augmentation ideal ker ε given by

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \displaystyle P(x) = x -\varepsilon(x)1.}

To define the renormalized Feynman rules, note that the antipode S satisfies

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle m\circ (S\otimes {\rm id}) \Delta (x) =\varepsilon(x)1}

so that

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle S = - m\circ (S\otimes P)\Delta,}

The renormalized Feynman rules are given by a homomorphism Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \Phi_S^R} of H into V obtained by twisting the homomorphism Φ • S. The homomorphism Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \Phi_S^R} is uniquely specified by

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \Phi_S^R = -m(S\otimes \Phi_S^R\circ P)\Delta.}

Because of the precise form of Δ, this gives a recursive formula for Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \Phi_S^R} .

For the minimal subtraction scheme, this process can be interpreted in terms of Birkhoff factorization in the complex Butcher group. Φ can be regarded as a map γ of the unit circle into the complexification GC of G (maps into C instead of R). As such it has a Birkhoff factorization

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \displaystyle \gamma(z)=\gamma_-(z)^{-1} \gamma_+(z),}

where γ+ is holomorphic on the interior of the closed unit disk and γ– is holomorphic on its complement in the Riemann sphere C Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \cup\{\infty\}} with γ–(∞) = 1. The loop γ+ corresponds to the renormalized homomorphism. The evaluation at z = 0 of γ+ or the renormalized homomorphism gives the dimensionally regularized values for each rooted tree.

In example, the Feynman rules depend on additional parameter μ, a "unit of mass". Vorlage:Harvtxt showed that

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \partial_\mu \gamma_{\mu-} =0,}

so that γμ– is independent of μ.

The complex Butcher group comes with a natural one-parameter group λw of automorphisms, dual to that on H

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \lambda_{w}(t)= w^{|t|}t}

for w ≠ 0 in C.

The loops γμ and λw · γμ have the same negative part and, for t real,

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \displaystyle F_t=\lim_{z=0} \gamma_-(z) \lambda_{tz}(\gamma_-(z)^{-1})}

defines a one-parameter subgroup of the complex Butcher group GC called the renormalization group flow (RG).

Its infinitesimal generator β is an element of the Lie algebra of GC and is defined by

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \beta=\partial_t F_t|_{t=0}.}

It is called the beta-function of the model.

In any given model, there is usually a finite-dimensional space of complex coupling constants. The complex Butcher group acts by diffeomorphims on this space. In particular the renormalization group defines a flow on the space of coupling constants, with the beta function giving the corresponding vector field.

More general models in quantum field theory require rooted trees to be replaced by Feynman diagrams with vertices decorated by symbols from a finite index set. Connes and Kreimer have also defined Hopf algebras in this setting and have shown how they can be used to systematize standard computations in renormalization theory.

Example

Vorlage:Harvtxt has given a "toy model" involving dimensional regularization for H and the algebra V. If c is a positive integer and qμ = q / μ is a dimensionless constant, Feynman rules can be defined recursively by

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \displaystyle \Phi([t_1,\dots, t_n])=\int {\Phi(t_1)\cdots \Phi(t_n) \over |y|^2 + q_\mu^2} (|y|^2)^{-z({c\over 2} -1)} \, d^D y,}

where z = 1 – D/2 is the regularization parameter. These integrals can be computed explicitly in terms of the Gamma function using the formula

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \displaystyle \int {(|y|^2)^{-u}\over |y|^2 +q_\mu^2} \, d^Dy = \pi^{D/2} (q_\mu^2)^{-z-u} {\Gamma(-u +D/2)\Gamma(1+u-D/2)\over \Gamma(D/2)}.}

In particular

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \displaystyle \Phi(\bullet)=\pi^{D/2}(q_\mu^2)^{-zc/2}{\Gamma(1+cz)\over cz}.}

Taking the renormalization scheme R of minimal subtraction, the renormalized quantities Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \Phi_S^R(t)} are polynomials in Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \log q_\mu^2} when evaluated at z = 0.

Notes

Vorlage:Reflist

References

[[Category:Combinatorics]] [[Category:Numerical analysis]] [[Category:Quantum field theory]] [[Category:Renormalization group]] [[Category:Hopf algebras]]

  1. ↑ a b Referenzfehler: Ungültiges <ref>-Tag; kein Text angegeben für Einzelnachweis mit dem Namen Butcher2008.
  2. ↑ Jackson, K. R.; Kværnø, A.; Nørsett, S.P. (1994), “The use of Butcher series in the analysis of Newton-like iterations in Runge-Kutta formulas”, in Applied Numerical Mathematics, volume 15, issue 3, DOI:10.1016/0168-9274(94)00031-X, pages 341–356 (Special issue to honor professor J. C. Butcher on his sixtieth birthday)
  3. ↑ a b Referenzfehler: Ungültiges <ref>-Tag; kein Text angegeben für Einzelnachweis mit dem Namen :0.
  4. ↑ Jackson, K. R.; Kværnø, A.; Nørsett, S.P. (1994), “The use of Butcher series in the analysis of Newton-like iterations in Runge-Kutta formulas”, in Applied Numerical Mathematics, volume 15, issue 3, DOI:10.1016/0168-9274(94)00031-X, pages 341–356 (Special issue to honor professor J. C. Butcher on his sixtieth birthday)
  5. ↑ Vorlage:Harvnb
Abgerufen von „https://de.wikiup.org/index.php?title=Benutzer:CoTangent/Butcher-Gruppe&oldid=197255105“