High-Accuracy Machine-Efficient Chebyshev Approximation: An Application to Spectral methods for Sobolev spaces

Mohammed Abdulla Abutheraa, David Lester

Abstract


Machine-Efficient Chebyshev Approximation is a technique that permits practical evaluation of transcendental functions within a computable arithmetic, such as the computable reals. The approach adopts the usual Chebyshev method so that coefficients are efficiently handled by current computer hardware. The proposed technique has an application to spectral methods for sobolev spaces. A practical demonstration of this work is presented using Müller's iRRAM exact arithmetic package. Experimental evaluation demonstrates that machine efficient approximations do indeed improve the efficiency with which these operations can be performed.

[DOI: 10.1685/CSC09225] About DOI

Keywords


(Chebyshev Polynomial; Computable Functions; Exact Real Arithmetic; Machine-Efficient Approximation; Partial Differential Equations)

Full Text:

PDF


DOI: http://dx.doi.org/10.1685/




Creative Commons License   Except where otherwise noted, content on this site is
  licensed under a Creative Commons 2.5 Italy License