Funciones matemáticas y cómo (no) calcularlas. · C omo no calcular funciones, ejemplo2 Una...

13
Funciones matem´ aticas y c´ omo (no) calcularlas. Javier Segura Departamento de Matem´ aticas, Estad´ ıstica y Computaci´ on Semana de la ciencia, 2018 Javier Segura (Universidad de Cantabria) Computaci´on de funciones matem´ aticas Semana de la ciencia, 2018 1 / 13

Transcript of Funciones matemáticas y cómo (no) calcularlas. · C omo no calcular funciones, ejemplo2 Una...

Page 1: Funciones matemáticas y cómo (no) calcularlas. · C omo no calcular funciones, ejemplo2 Una sucesi on de Fibonacci Un an alisis matem atico (muy elemental) nos ha permitido encontrar

Funciones matematicas y como (no) calcularlas.

Javier Segura

Departamento de Matematicas, Estadıstica y Computacion

Semana de la ciencia, 2018

Javier Segura (Universidad de Cantabria) Computacion de funciones matematicas Semana de la ciencia, 2018 1 / 13

Page 2: Funciones matemáticas y cómo (no) calcularlas. · C omo no calcular funciones, ejemplo2 Una sucesi on de Fibonacci Un an alisis matem atico (muy elemental) nos ha permitido encontrar

Herramientas

Herramientas del matematico: papel, bolıgrafo, libros, revistas, el cerebro y algunasextensiones:

Javier Segura (Universidad de Cantabria) Computacion de funciones matematicas Semana de la ciencia, 2018 2 / 13

Page 3: Funciones matemáticas y cómo (no) calcularlas. · C omo no calcular funciones, ejemplo2 Una sucesi on de Fibonacci Un an alisis matem atico (muy elemental) nos ha permitido encontrar

Herramientas

¿Que podemos hacer con una calculadora?Podemos evaluar:

1 Operaciones elementales: +,×,/,√

2 Funciones elementales: exponenciales, trigonometricas y sus inversas.

Y poco mas. ¿Es eso suficiente? Pues no, y por eso utilizamos mas extensiones:

Javier Segura (Universidad de Cantabria) Computacion de funciones matematicas Semana de la ciencia, 2018 3 / 13

Page 4: Funciones matemáticas y cómo (no) calcularlas. · C omo no calcular funciones, ejemplo2 Una sucesi on de Fibonacci Un an alisis matem atico (muy elemental) nos ha permitido encontrar

Funciones especiales

Hay muchas “extensiones” con variadas funciones (no solo hacer numeros): Maple,Mathematica, Matlab, Octave, Sage,...

Este software proporciona, ademas de las funciones elementales, otras muchas que sonimportantes. Por mencionar algunas que no suelen estar en calculadoras:

1 La integral seno: Si(x) =

∫ x

0

sin t

tdt.

2 La funcion error: erf(x) =2√π

∫ x

0

e−t2

dt.

3 La funcion Gamma: Γ(α) =

∫ +∞

0

tα−1e−tdt.

4 Funciones de Airy: soluciones de y ′′(x)− xy(x) = 0.

5 Funciones del cilindro parabolico: soluciones de y ′′(x)−(

x2

4+ a

)y(x) = 0.

(aunque estas ultimas no estan en todas las plataformas y cuando estan... veremos)

Javier Segura (Universidad de Cantabria) Computacion de funciones matematicas Semana de la ciencia, 2018 4 / 13

Page 5: Funciones matemáticas y cómo (no) calcularlas. · C omo no calcular funciones, ejemplo2 Una sucesi on de Fibonacci Un an alisis matem atico (muy elemental) nos ha permitido encontrar

Funciones especiales ¿Que hacemos nosotros?

El software disponible no es suficiente y queda un buen numero de funcionesmatematicas utiles que necesitan nuevo software, y otras que pueden calcularse mejor.

Este es uno de los objetivos principales de nuestro trabajo, que tiene varias vertientes:

1 Analisis matematico: obtencion de nuevas formulas, aproximaciones (relaciones derecurrencia, representaciones integrales, aproximaciones asintoticas) y cotas.

2 Analisis numerico: desarrollo de algoritmos numericos, analisis de estabilidad,estimacion de errores.

3 Ciencias de la computacion: desarrollo de software numerico y librerıas numericas.

No solo es que se necesiten metodos para funciones nuevas, es que ademas no todo elsoftware disponible funciona siempre bien.

Javier Segura (Universidad de Cantabria) Computacion de funciones matematicas Semana de la ciencia, 2018 5 / 13

Page 6: Funciones matemáticas y cómo (no) calcularlas. · C omo no calcular funciones, ejemplo2 Una sucesi on de Fibonacci Un an alisis matem atico (muy elemental) nos ha permitido encontrar

Como no calcular funciones: ejemplo 1 Funciones del cilindro parabolico (en Maple)

U(a,x): solucion recesiva de y′′(x)−(

x2

4+ a

)y(x) = 0 cuando x → +∞.

Para obtener 10 dıgitos correctos se necesita trabajar con mas de 482 dıgitos!!

Javier Segura (Universidad de Cantabria) Computacion de funciones matematicas Semana de la ciencia, 2018 6 / 13

Page 7: Funciones matemáticas y cómo (no) calcularlas. · C omo no calcular funciones, ejemplo2 Una sucesi on de Fibonacci Un an alisis matem atico (muy elemental) nos ha permitido encontrar

El oraculo (en tres versiones)

Compendios “taxonomicos” (necesariamente incompletos)

Javier Segura (Universidad de Cantabria) Computacion de funciones matematicas Semana de la ciencia, 2018 7 / 13

Page 8: Funciones matemáticas y cómo (no) calcularlas. · C omo no calcular funciones, ejemplo2 Una sucesi on de Fibonacci Un an alisis matem atico (muy elemental) nos ha permitido encontrar

El oraculo Un best seller

Javier Segura (Universidad de Cantabria) Computacion de funciones matematicas Semana de la ciencia, 2018 8 / 13

Page 9: Funciones matemáticas y cómo (no) calcularlas. · C omo no calcular funciones, ejemplo2 Una sucesi on de Fibonacci Un an alisis matem atico (muy elemental) nos ha permitido encontrar

El oraculo El primer oraculo (por dentro)

Javier Segura (Universidad de Cantabria) Computacion de funciones matematicas Semana de la ciencia, 2018 9 / 13

Page 10: Funciones matemáticas y cómo (no) calcularlas. · C omo no calcular funciones, ejemplo2 Una sucesi on de Fibonacci Un an alisis matem atico (muy elemental) nos ha permitido encontrar

El oraculo El nuevo oraculo (en internet)

No hay, por supuesto, tablas numericas, pero tampoco software.

Javier Segura (Universidad de Cantabria) Computacion de funciones matematicas Semana de la ciencia, 2018 10 / 13

Page 11: Funciones matemáticas y cómo (no) calcularlas. · C omo no calcular funciones, ejemplo2 Una sucesi on de Fibonacci Un an alisis matem atico (muy elemental) nos ha permitido encontrar

Hemos venido a hablar de... nuestro libro

Nuestra aportacion numerica (ano 2007):

Extraıdo de la introduccion: “In the present book we are not so formidably optimisticthat we claim to describe computational methods or algorithms for all functionsdescribed in the old and new version of the Handbook”

Hemos avanzado desde que se publico el libro, pero queda muchısimo trabajo pordelante.

Javier Segura (Universidad de Cantabria) Computacion de funciones matematicas Semana de la ciencia, 2018 11 / 13

Page 12: Funciones matemáticas y cómo (no) calcularlas. · C omo no calcular funciones, ejemplo2 Una sucesi on de Fibonacci Un an alisis matem atico (muy elemental) nos ha permitido encontrar

Como no calcular funciones, ejemplo2 Una sucesion de Fibonacci

Otro ejemplo de como NO calcular funciones (en este caso un numero):

Dado ψ = (1−√

5)/2, comprobamos que las potencias yn = ψn satisfacen la recurrenciade Fibonacci:

yn+1 = yn + yn−1,

Esto lo podrıamos utilizar para calcular de forma sencilla, por ejemplo, ψ40 mediante 39sumas partiendo de y0 = 1, y1 = ψ (que es mas economico que hacer el mismo numerode multiplicaciones):

y2 = y1 + y0, y3 = y2 + y1, . . . y50 = y49 + y48

Para no calcular mucho, hacemos los calculos con 8 cifras y para comprobar que todoesta bien, podemos por ejemplo ver si

y40/y39 = ψ40/ψ39 = (1−√

5)/2 ' −0.6180340

Pues lo que se obtiene es...

Javier Segura (Universidad de Cantabria) Computacion de funciones matematicas Semana de la ciencia, 2018 12 / 13

Page 13: Funciones matemáticas y cómo (no) calcularlas. · C omo no calcular funciones, ejemplo2 Una sucesi on de Fibonacci Un an alisis matem atico (muy elemental) nos ha permitido encontrar

Como no calcular funciones, ejemplo2 Una sucesion de Fibonacci

Un analisis matematico (muy elemental) nos ha permitido encontrar una relacionsencilla, pero el analisis numerico (de estabilidad) nos explica por que no hay queutilizarla (y el software utilizando esta relacion ni nos lo tenemos que plantear).

Javier Segura (Universidad de Cantabria) Computacion de funciones matematicas Semana de la ciencia, 2018 13 / 13