dc.date.accessioned 2014-08-08T10:39:32Z dc.date.available 2014-08-08T10:39:32Z dc.date.issued 2014-08-08 dc.identifier.uri urn:nbn:de:hebis:34-2014080845851 dc.identifier.uri http://hdl.handle.net/123456789/2014080845851 dc.language.iso eng dc.subject computer algebra eng dc.subject Groebner basis eng dc.subject Ore algebras eng dc.subject elimination eng dc.subject noncommutaive variables eng dc.subject.ddc 510 dc.title Elimination in Operator Algebras eng dc.type Dissertation dcterms.abstract A large class of special functions are solutions of systems of linear difference and differential equations with polynomial coefficients. For a given function, these equations considered as operator polynomials generate a left ideal in a noncommutative algebra called Ore algebra. This ideal with finitely many conditions characterizes the function uniquely so that Gröbner basis techniques can be applied. eng Many problems related to special functions which can be described by such ideals can be solved by performing elimination of appropriate noncommutative variables in these ideals. In this work, we mainly achieve the following: 1. We give an overview of the theoretical algebraic background as well as the algorithmic aspects of different methods using noncommutative Gröbner elimination techniques in Ore algebras in order to solve problems related to special functions. 2. We describe in detail algorithms which are based on Gröbner elimination techniques and perform the creative telescoping method for sums and integrals of special functions. 3. We investigate and compare these algorithms by illustrative examples which are performed by the computer algebra system Maple. This investigation has the objective to test how far noncommutative Gröbner elimination techniques may be efficiently applied to perform creative telescoping. dcterms.abstract Viele spezielle Funktionen sind Lösungen linearer Differenzen- und Differentialgleichungssysteme mit polynomialen Koeffizienten. Für eine gegebene Funktion erzeugen diese Gleichungen, betrachtet als Operatorpolynome, ein Linksideal in einer nicht-kommutativen Algebra, genannt Ore-Algebra. Dieses Ideal zusammen mit endlich vielen Anfangswerten charakterisiert die Funktion eindeutig und auf dieses Objekt sind Gröbner-Basen-Techniken anwendbar. ger Viele Fragestellungen in Bezug auf spezielle Funktionen, die sich durch obige Ideale beschreiben lassen, können durch Elimination geeigneter nicht-kommutativer Variablen in diesem Ideal gelöst werden. Diese Dissertation liefert einen Forschungsbeitrag zu folgenden Themen: 1. Es wird ein Überblick über den theoretischen algebraischen Hintergrund gegeben sowie über algorithmische Aspekte verschiedener Methoden, die Gröbner-Eliminationsverfahren in Ore-Algebren verwenden, um Probleme bezüglich spezieller Funktionen zu lösen. 2. Es werden in ausführliche Weise Algorithmen präsentiert, die auf Gröbner-Eliminationsverfahren basieren und die das „Creative telescoping“-Verfahren für Summen und Integrale spezieller Funktionen durchführen. 3. Alle beschriebenen Algorithmen werden untersucht und anhand erklärender Beispielen in dem Computeralgebrasystem Maple miteinander verglichen. Das Ziel dieser Untersuchung war herauszufinden, inwieweit nicht-kommutative Gröbner-Eliminationsverfahren effizient angewendet werden können, um „Creative telescoping“ durchzuführen. dcterms.accessRights open access dcterms.creator Lakhal, Anen dc.contributor.corporatename Kassel, Universität, FB 10, Mathematik und Naturwissenschaften, Institut für Mathematik dc.contributor.referee Koepf, Wolfram (Prof. Dr.) dc.contributor.referee Seiler, Werner (Prof. Dr.) dc.subject.swd Computeralgebra ger dc.subject.swd Gröbner-Basis ger dc.subject.swd Ore-Algebra ger dc.date.examination 2014-07-14
﻿