hiperfunción

Una hiperfunción es un tipo de función generalizada utilizada en análisis matemático. Se define como el valor límite de funciones holomorfas en un entorno complejo de un conjunto real y, por ello, generaliza las distribuciones para describir singularidades más allá de su alcance.

Definición operativa: en una región abierta U ⊂ R^n, una hiperfunción se representa por un par de funciones holomorfas F+ y F− definidas en vecindades de U en el espacio complejo; la hiperfunción se obtiene como la diferencia de sus valores frontera al acercarse a U desde cada lado. En la teoría de haces, las hiperfunciones forman un haz sobre U y se estudian con herramientas del análisis complejo.

Historia: las hiperfunciones fueron introducidas en la década de 1950 por Sato como extensión de las distribuciones y se desarrollaron posteriormente dentro de la teoría de haces, con aportes notables de Kashiwara y Schapira y su uso en análisis microlocal.

Relaciones y propiedades: las hiperfunciones contienen a las distribuciones como subespacio natural y son cerradas bajo derivación. La multiplicación por funciones analíticas está bien definida; permiten transformadas de Fourier y el estudio de singularidades desde una perspectiva microlocal.

Ejemplos y aplicaciones: la delta de Dirac puede interpretarse como una hiperfunción obtenida como un límite fronterizo, y existen hiperfunciones asociadas a funciones de paso. Se emplean en análisis de ecuaciones diferenciales, teoría de haces y análisis microlocal, así como en física matemática.

Referencias: el concepto fue introducido por Sato; desarrollos clave se atribuyen a Kashiwara y Schapira, con textos sobre haces y microlocalidad.