Expresión de forma cerrada

En matemáticas, una expresión está en forma cerrada si está formada con constantes, variables y un conjunto finito de funciones básicas conectadas por operaciones aritméticas (+, −, ×, ÷ y potencias enteras) y composición de funciones. Comúnmente, las funciones permitidas son raíz enésima, función exponencial, logaritmo y funciones trigonométricas. Sin embargo, el conjunto de funciones básicas depende del contexto.

El problema de la forma cerrada surge cuando se introducen nuevas formas de especificar objetos matemáticos, como límites, series e integrales: dado un objeto especificado con tales herramientas, un problema natural es encontrar, si posible, una expresión en forma cerrada de este objeto, es decir, una expresión de este objeto en términos de formas anteriores de especificarlo.

Ejemplo: raíces de polinomios

La fórmula cuadrática

${displaystyle x={frac {-bpm {sqrt {b^{2}-4ac}} {2a}}}} {b} {2a}}}} {b}{2a}}}}} {b} {2a}}}}} {b} {2a} {c}}}} {c}}}}}}}}}}}}}}} {b}}}}}}} {b}}}}}} {c}}}}}}}}}}}}}}}}} {b}}}}}}} {b}} {b}}}}}}}}} {c}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}} {b} {c}} {c}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}}} {b}}}}}}}}}}}} {$

es un formulario cerrado de las soluciones a la ecuación cuadrática general ${displaystyle ax^{2}+bx+c=0.}$

De manera más general, en el contexto de ecuaciones polinómicas, una forma cerrada de una solución es una solución en radicales; es decir, una expresión de forma cerrada para la cual las funciones permitidas son sólo nraíces enésimas y operaciones de campo (+-/*). De hecho, la teoría de campos permite demostrar que si una solución de una ecuación polinómica tiene una forma cerrada que involucra exponenciales, logaritmos o funciones trigonométricas, entonces también tiene una forma cerrada que no involucra estas funciones.

Hay expresiones en radicales para todas las soluciones de ecuaciones cúbicas (grado 3) y ecuaciones cuárticas (grado 4). Sin embargo, rara vez se escriben explícitamente porque son demasiado complicados para ser útiles.

En grados más altos, Abel-Ruffini teorema afirma que hay ecuaciones cuyas soluciones no se pueden expresar en radicales, y, por lo tanto, no tienen formas cerradas. El ejemplo más simple es la ecuación ${displaystyle x^{5}-x+1.}$ La teoría de Galois proporciona un método algorítmico para decidir si una ecuación polinomio en particular puede resolverse en radicales.

Integración simbólica

La integración simbólica consiste esencialmente en la búsqueda de formas cerradas para antiderivadas de funciones que se especifican mediante expresiones de forma cerrada. En este contexto, las funciones básicas utilizadas para definir formas cerradas suelen ser logaritmos, funciones exponenciales y raíces polinomiales. Las funciones que tienen una forma cerrada para estas funciones básicas se denominan funciones elementales e incluyen funciones trigonométricas, funciones trigonométricas inversas, funciones hiperbólicas y funciones hiperbólicas inversas.

El problema fundamental de la integración simbólica es, por lo tanto, dada una función elemental especificada por una expresión de forma cerrada, decidir si su antiderivada es una función elemental y, si lo es, encontrar una expresión de forma cerrada para esta antiderivada..

Para funciones racionales; es decir, para fracciones de dos funciones polinómicas; Las antiderivadas no siempre son fracciones racionales, pero siempre son funciones elementales que pueden involucrar logaritmos y raíces polinomiales. Esto suele comprobarse mediante descomposición en fracciones parciales. La necesidad de logaritmos y raíces polinómicas se ilustra con la fórmula

${displaystyle int {frac {f(x)}{g(x)},dx=sum _{alpha in operatorname {Roots} (g(x)}{frac {f(alpha)}{g'(alpha)}}}ln(x-alpha),}}} {$

que es válido si ${displaystyle f}$ y ${displaystyle g}$ son polinomios coprime tales que ${displaystyle g}$ es libre cuadrado y ${displaystyle deg f identificadodeg g.}$

Definiciones alternativas

Cambiar la definición de "bien conocido" para incluir funciones adicionales puede cambiar el conjunto de ecuaciones con soluciones de forma cerrada. Muchas funciones de distribución acumulativa no se pueden expresar en forma cerrada, a menos que se consideren funciones especiales como la función de error o la función gamma bien conocida. Es posible resolver la ecuación quinética si se incluyen funciones hipergeométricas generales, aunque la solución es demasiado complicada algebraicamente para ser útil. Para muchas aplicaciones informáticas prácticas, es totalmente razonable suponer que la función gamma y otras funciones especiales son bien conocidas ya que las implementaciones numéricas están ampliamente disponibles.

Expresión analítica

Una expresión analítica (también conocida como expresión en forma analítica o fórmula analítica) es una expresión matemática construida utilizando operaciones bien conocidas que se prestan fácilmente al cálculo. De manera similar a las expresiones de forma cerrada, el conjunto de funciones conocidas permitidas puede variar según el contexto, pero siempre incluye las operaciones aritméticas básicas (suma, resta, multiplicación y división), exponenciación a un exponente real (que incluye la extracción del enésimo raíz), logaritmos y funciones trigonométricas.

Sin embargo, la clase de expresiones consideradas expresiones analíticas tiende a ser más amplia que la de las expresiones de forma cerrada. En particular, normalmente se permiten funciones especiales como las funciones de Bessel y la función gamma, y a menudo también se permiten series infinitas y fracciones continuas. Por otro lado, los límites en general y las integrales en particular suelen quedar excluidos.

Si una expresión analítica involucra solo operaciones algebraicas (suma, resta, multiplicación, división y exponenciación a un exponente racional) y constantes racionales, entonces se la conoce más específicamente como expresión algebraica.

Comparación de diferentes clases de expresiones

Las expresiones de forma cerrada son una subclase importante de expresiones analíticas, que contienen un número finito de aplicaciones de funciones bien conocidas. A diferencia de las expresiones analíticas más amplias, las expresiones de forma cerrada no incluyen series infinitas ni fracciones continuas; tampoco incluye integrales ni límites. De hecho, según el teorema de Stone-Weierstrass, cualquier función continua en el intervalo unitario puede expresarse como un límite de polinomios, por lo que cualquier clase de funciones que contenga polinomios y límites cerrados incluirá necesariamente todas las funciones continuas.

Del mismo modo, se dice que una ecuación o sistema de ecuaciones tiene una solución en forma cerrada si, y sólo si, al menos una solución puede expresarse como una expresión en forma cerrada; y se dice que tiene una solución analítica si y sólo si al menos una solución puede expresarse como una expresión analítica. Existe una distinción sutil entre una "función de forma cerrada" y un "número de forma cerrada" en la discusión sobre una “solución de forma cerrada”, discutida en (Chow 1999) y más adelante. Una solución analítica o de forma cerrada a veces se denomina solución explícita.

Tratar con expresiones de forma no cerrada

Transformación en expresiones de forma cerrada

La expresión:

$${displaystyle f(x)=sum _{n=0}{infty }{frac {x}{2^{n}}} {fn}}} {fn}} {fn0}}}}} {fnfn}}}}$$

$${displaystyle f(x)=2x.}$$

Teoría diferencial de Galois

La integral de una expresión de forma cerrada puede expresarse o no como una expresión de forma cerrada. Este estudio se conoce como teoría diferencial de Galois, por analogía con la teoría algebraica de Galois.

El teorema básico de la teoría diferencial de Galois se debe a Joseph Liouville en las décadas de 1830 y 1840 y, por lo tanto, se lo conoce como teorema de Liouville.

Un ejemplo estándar de una función elemental cuya antiderivada no tiene una expresión en forma cerrada es:

$${displaystyle e^{-x^{2}}$$

$${displaystyle operatorname {erf} (x)={frac {2}{sqrt {pi}}int} {fn}} {fn}} {fn}} {fn}} {fn}}} {fn}}}} {fn}}}} {fn}}} {f}}} {f}}}}}} {f}}}}} {f}}}}} {f}}}}}}}}}}}}}} { ¿Qué?$$

Modelado matemático y simulación por ordenador

Las ecuaciones o sistemas demasiado complejos para soluciones analíticas o de forma cerrada a menudo pueden analizarse mediante modelos matemáticos y simulación por computadora (para ver un ejemplo en física, consulte).

Número de formato cerrado

Se han sugerido tres subcampos de los números complejos C para codificar la noción de "número en forma cerrada"; en orden creciente de generalidad, estos son los números de Liouville (que no deben confundirse con los números de Liouville en el sentido de aproximación racional), los números EL y los números elementales. Los números de Liouvillian, denotados como L, forman el subcampo algebraicamente cerrado más pequeño de C cerrado bajo exponenciación y logaritmo (formalmente, intersección de todos esos subcampos), es decir, números que involucran exponenciación y logaritmos explícitos, pero permite polinomios explícitos e implícitos (raíces de polinomios); esto se define en (Ritt 1948, p. 60). L originalmente se denominaba números elementales, pero este término ahora se usa de manera más amplia para referirse a números definidos explícitamente o implícitamente en términos de operaciones algebraicas, exponenciales y logaritmos. Una definición más estricta propuesta en (Chow 1999, págs. 441–442), denominada E y denominada números EL, es el subcampo más pequeño de C cerrado bajo exponenciación y logaritmo; no es necesario que sea algebraicamente cerrado y corresponde a explícito operaciones algebraicas, exponenciales y logarítmicas. "EL" significa tanto "exponencial-logarítmico" y como abreviatura de "elemental".

Que un número sea un número de forma cerrada está relacionado con si un número es trascendental. Formalmente, los números de Liouvillian y los números elementales contienen los números algebraicos e incluyen algunos, pero no todos, los números trascendentales. Por el contrario, los números EL no contienen todos los números algebraicos, pero sí incluyen algunos números trascendentales. Los números en forma cerrada se pueden estudiar mediante la teoría de números trascendental, en la que un resultado importante es el teorema de Gelfond-Schneider y una cuestión abierta importante es la conjetura de Schanuel.

Cálculos numéricos

Para propósitos de cálculos numéricos, en general no es necesario estar en forma cerrada, ya que muchos límites e integrales se pueden calcular de manera eficiente. Algunas ecuaciones no tienen solución en forma cerrada, como las que representan el problema de los tres cuerpos o el modelo de Hodgkin-Huxley. Por tanto, los estados futuros de estos sistemas deben calcularse numéricamente.

Conversión de formas numéricas

Existe software que intenta encontrar expresiones de forma cerrada para valores numéricos, incluido RIES, identify en Maple y SymPy, Plouffe's Inverter y Inverse Symbolic. Calculadora.