Las funciones especiales son funciones matemáticas particulares que tienen nombres y notaciones más o menos establecidos debido a su importancia en el análisis matemático , análisis funcional , geometría , física u otras aplicaciones.
El término está definido por consenso y, por lo tanto, carece de una definición formal general, pero la lista de funciones matemáticas contiene funciones que se aceptan comúnmente como especiales.
Muchas funciones especiales aparecen como soluciones de ecuaciones diferenciales o integrales de funciones elementales . Por lo tanto, las tablas de integrales [1] suelen incluir descripciones de funciones especiales, y las tablas de funciones especiales [2] incluyen las integrales más importantes; al menos, la representación integral de funciones especiales. Debido a que las simetrías de las ecuaciones diferenciales son esenciales tanto para la física como para las matemáticas, la teoría de funciones especiales está estrechamente relacionada con la teoría de los grupos de Lie y las álgebras de Lie , así como con ciertos temas de física matemática .
Los motores de cálculo simbólico generalmente reconocen la mayoría de funciones especiales.
Las funciones con notaciones internacionales establecidas son el seno ( ), el coseno ( ), la función exponencial ( ) y la función de error ( o ).
Algunas funciones especiales tienen varias notaciones:
Los subíndices se utilizan a menudo para indicar argumentos, normalmente números enteros. En algunos casos, se utiliza el punto y coma (;) o incluso la barra invertida (\) como separador de argumentos. Esto puede confundir la traducción a lenguajes algorítmicos.
Los superíndices pueden indicar no solo una potencia (exponente), sino también alguna otra modificación de la función. Algunos ejemplos (en particular, con funciones trigonométricas e hiperbólicas ) son:
La mayoría de las funciones especiales se consideran como una función de una variable compleja . Son analíticas ; se describen las singularidades y cortes; se conocen las representaciones diferenciales e integrales y se dispone de la expansión a la serie de Taylor o serie asintótica . Además, a veces existen relaciones con otras funciones especiales; una función especial complicada puede expresarse en términos de funciones más simples. Se pueden utilizar varias representaciones para la evaluación; la forma más sencilla de evaluar una función es expandirla en una serie de Taylor. Sin embargo, dicha representación puede converger lentamente o no converger en absoluto. En los lenguajes algorítmicos, se utilizan típicamente aproximaciones racionales , aunque pueden comportarse mal en el caso de argumentos complejos.
Si bien la trigonometría y las funciones exponenciales se sistematizaron y unificaron en el siglo XVIII, la búsqueda de una teoría completa y unificada de las funciones especiales ha continuado desde el siglo XIX. El punto culminante de la teoría de funciones especiales en 1800-1900 fue la teoría de las funciones elípticas ; tratados que eran esencialmente completos, como el de Tannery y Molk , [3] expusieron todas las identidades básicas de la teoría utilizando técnicas de la teoría analítica de funciones (basada en el análisis complejo ). El final del siglo también vio una discusión muy detallada de los armónicos esféricos .
Mientras que los matemáticos puros buscaban una teoría amplia que derivara la mayor cantidad posible de funciones especiales conocidas a partir de un principio único, durante mucho tiempo las funciones especiales fueron el campo de las matemáticas aplicadas . Las aplicaciones a las ciencias físicas y la ingeniería determinaron la importancia relativa de las funciones. Antes de la computación electrónica , la importancia de una función especial se afirmaba mediante el laborioso cálculo de tablas extendidas de valores para una fácil búsqueda , como las conocidas tablas de logaritmos . ( La máquina diferencial de Babbage fue un intento de calcular dichas tablas). Para este propósito, las principales técnicas son:
Otras cuestiones teóricas incluyen: análisis asintótico ; continuación analítica y monodromía en el plano complejo ; y principios de simetría y otras ecuaciones estructurales.
El siglo XX fue testigo de varias oleadas de interés en la teoría de funciones especiales. El clásico libro de texto de Whittaker y Watson (1902) [4] intentó unificar la teoría mediante el análisis complejo; el libro de GN Watson Tratado sobre la teoría de las funciones de Bessel llevó las técnicas lo más lejos posible para un tipo importante, incluidos los resultados asintóticos.
El posterior Proyecto del Manuscrito Bateman , bajo la dirección de Arthur Erdélyi , intentó ser enciclopédico y surgió en una época en la que el cálculo electrónico estaba cobrando importancia y la tabulación había dejado de ser el tema principal.
La teoría moderna de polinomios ortogonales tiene un alcance definido pero limitado. Las series hipergeométricas , observadas por Felix Klein como importantes en astronomía y física matemática , [5] se convirtieron en una teoría intrincada, que requirió una ordenación conceptual posterior. Las representaciones de grupos de Lie dan una generalización inmediata de funciones esféricas ; a partir de 1950, partes sustanciales de la teoría clásica fueron reformuladas en términos de grupos de Lie. Además, el trabajo sobre combinatoria algebraica también reavivó el interés en partes más antiguas de la teoría. Las conjeturas de Ian G. Macdonald ayudaron a abrir nuevos campos grandes y activos con un sabor a función especial. Las ecuaciones en diferencias han comenzado a tomar su lugar junto a las ecuaciones diferenciales como una fuente de funciones especiales.
En teoría de números , se han estudiado tradicionalmente ciertas funciones especiales, como las series particulares de Dirichlet y las formas modulares . En ellas se reflejan casi todos los aspectos de la teoría de funciones especiales, así como algunos nuevos, como los surgidos de la monstruosa teoría de la luz de la luna.
Se han definido análogos de varias funciones especiales en el espacio de matrices definidas positivas , entre ellas la función potencia que se remonta a Atle Selberg , [6] la función gamma multivariada , [7] y tipos de funciones de Bessel . [8]
La Biblioteca Digital de Funciones Matemáticas del NIST tiene una sección que cubre varias funciones especiales de argumentos matriciales. [9]