Welcome to MathOverflow

Question

1

I would like to know how are encoded the real-analytic functions on the interval by the computers. When I think in a real-analytic function I just think in a composition of the ''typical'' analytic functions of every day, in all of this cases it is possible to find an ''exact''(because there is an explicit formula for the taylor expansion at any point) representation of these functions. I want also to ask if someone could give an example of a real-analytic function for which the representation in a computer is very bad behaves.

edited Feb 8 at 17:55

MTS
5,306●1●9●27

asked Feb 8 at 12:58

Umberto
57●6

Regarding computer representation, there are two distinct issues: whether you ask for numerical or symbolic computation. Please clarify what you are referring to. – Loïc Teyssier Feb 8 at 13:00

I mean symbolic computation. – Umberto Feb 8 at 13:06

1

Then Taylor expansion is not your best friend there, since the sum contains infinitely many terms. In general a CAS consider only elementary analytic function : finite sum/product/composition/inverse of powers of x and exponential, from which you build what you call "typical everyday" functions. It uses its functional relations (e.g. $\exp′=\exp$ or $\cos^2+\sin^2=1$). When you add transcendents (e.g. Bessel functions) the CAS also uses the functional equations it satisfies to simplify expressions. Just like the everyday mathematician. I do believe the CAS never uses a Taylor expansion. – Loïc Teyssier Feb 8 at 13:50

Aaron Meyerowitz · Accepted Answer · 2013-02-08 15:50:29Z UTC

-1

The function $\sum \frac{x^n}{n^n}$ has been discusssed. Other choices for the denominator might also give convergent functions defined by power series whose behavior is complicated. Maybe that is relevant.

answered Feb 8 at 15:50

Aaron Meyerowitz
11.5k●1●10●31

How are real-analytic functions encoded in computer algebra?

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

1 Answer

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.