NDLI: Advanced applications of the holonomic systems approach

Please wait, while we are loading the content...

Advanced applications of the holonomic systems approach

Content Provider	ACM Digital Library
Author	Koutschan, Christoph
Abstract	The holonomic systems approach was proposed in the early 1990s by Doron Zeilberger. It laid a foundation for the algorithmic treatment of holonomic function identities. Frédéric Chyzak later extended this framework by introducing the closely related notion of ∂-finite functions and by placing their manipulation on solid algorithmic grounds. For practical purposes it is convenient to take advantage of both concepts which is not too much of a restriction: The class of functions that are holonomic and ∂-finite contains many elementary functions (such as rational functions, algebraic functions, logarithms, exponentials, sine function, etc.) as well as a multitude of special functions (like classical orthogonal polynomials, elliptic integrals, Airy, Bessel, and Kelvin functions, etc.). In short, it is composed of functions that can be characterized by sufficiently many partial differential and difference equations, both linear and with polynomial coefficients. An important ingredient is the ability to execute closure properties algorithmically, for example addition, multiplication, and certain substitutions. But the central technique is called creative telescoping which allows to deal with summation and integration problems in a completely automatized fashion. Part of this thesis is our Mathematica package HolonomicFunctions in which the above mentioned algorithms are implemented, including more basic functionality such as noncommutative operator algebras, the computation of Gröbner bases in them, and finding rational solutions of parameterized systems of linear differential or difference equations. Besides standard applications like proving special function identities, the focus of this thesis is on three advanced applications that are interesting in their own right as well as for their computational challenge. First, we contributed to translating Takayama's algorithm into a new context, in order to apply it to an until then open problem, the proof of Ira Gessel's lattice path conjecture. The computations that completed the proof were of a nontrivial size and have been performed with our software. Second, investigating basis functions in finite element methods, we were able to extend the existing algorithms in a way that allowed us to derive various relations which generated a considerable speed-up in the subsequent numerical simulations, in this case of the propagation of electromagnetic waves. The third application concerns a computer proof of the enumeration formula for totally symmetric plane partitions, also known as Stembridge's theorem. To make the underlying computations feasible we employed a new approach for finding creative telescoping operators.
Starting Page	119
Ending Page	119
Page Count	1
File Format	PDF
ISSN	19322240
DOI	10.1145/1823931.1823954
Journal	ACM Communications in Computer Algebra (ACCA)
Volume Number	43
Issue Number	3/4
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2015-02-05
Publisher Place	New York
Access Restriction	One Nation One Subscription (ONOS)
Content Type	Text
Resource Type	Article
Subject	Computational Theory and Mathematics Computational Mathematics

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Holonomic functions in mathematica

Algorithmic Approach for Formal Fourier Series

An efficient procedure deciding positivity for a class of holonomic functions

Advanced applications of the holonomic systems approach (2009).

Quantization of Holonomic Systems Using WKB Approximation

A vector-quantization approach to coding systems

State of the Journal

The non-holonomic double pendulum: An example of non-linear non-holonomic system

A Fast Approach to Creative Telescoping

Advanced applications of the holonomic systems approach

Similar Documents

Holonomic functions in mathematica

Algorithmic Approach for Formal Fourier Series

An efficient procedure deciding positivity for a class of holonomic functions

Advanced applications of the holonomic systems approach (2009).

Quantization of Holonomic Systems Using WKB Approximation

A vector-quantization approach to coding systems

State of the Journal

The non-holonomic double pendulum: An example of non-linear non-holonomic system

A Fast Approach to Creative Telescoping

Advanced applications of the holonomic systems approach