Cota de error de Lagrange

Dada una cota M de la derivada n-ésima de su función, las posiciones de los nodos de interpolación y el punto donde se evalúa, devuelve la brecha en el peor caso entre la función verdadera y el polinomio interpolante, calculada con el clásico teorema del resto. Una llamada, un número, sin conjeturas numéricas: la cota es una forma cerrada, de modo que el resultado es aritmética exacta y no una estimación obtenida por muestreo.

Qué le dice realmente la cota de error

Interpolar una función a través de un conjunto de nodos le da un polinomio que coincide exactamente con la función en esos nodos, pero por sí solo no dice nada sobre los puntos intermedios.

El teorema del resto de Lagrange llena ese vacío: si el polinomio pasa por n nodos y el valor absoluto de la derivada n-ésima de la función nunca supera M en el intervalo, entonces el error verdadero en cualquier punto x es como máximo M dividido entre n factorial, multiplicado por el producto de las distancias de x a cada nodo.

Usted proporciona la cota de la derivada M, las posiciones de los nodos y el punto de evaluación; recibe a cambio el error máximo que la interpolación puede tener allí. Eso lo convierte en un certificado, no en una medición: se cumple incluso en el peor caso, que es exactamente lo que necesita antes de confiar en un valor interpolado en un informe, un sistema de control o una cifra publicada.

Cómo los nodos y el punto de evaluación moldean la cota

El término del producto es la parte que conviene entender, porque explica dónde la interpolación es segura y dónde es peligrosa. Cada nodo aporta un factor igual a la distancia entre su punto de evaluación y ese nodo, de modo que la cota se anula exactamente en los nodos —donde el polinomio es exacto por construcción— y crece a medida que se aleja del grupo.

Evaluar dentro de un grupo compacto y bien distribuido de nodos mantiene el producto pequeño; extrapolar más allá del nodo más externo hace que todos los factores crezcan a la vez, y la cota estalla en consecuencia. El factorial del denominador juega a su favor: cada nodo adicional eleva el grado en uno y divide la cota entre un factor más, razón por la cual añadir un nodo bien ubicado puede mejorar la precisión de forma drástica.

Dónde encaja en un flujo de trabajo real

El uso típico es la verificación, no el descubrimiento. Usted ya tiene una función, un conjunto de puntos de muestreo y una razón para interpolar: una tabla de consulta para un sensor, una reconstrucción suave de datos físicos tabulados, un sustituto barato de un cálculo costoso. Antes de publicar la aproximación, acota su error y guarda el número en el registro.

Los ingenieros lo usan para demostrar que un controlador basado en tablas se mantiene dentro de la tolerancia; los analistas lo usan para justificar la publicación de cifras interpoladas; los estudiantes lo usan para comprobar sus tareas contra el teorema en lugar de confiar en la suerte. El cálculo es aritmética determinista en forma cerrada: sin aleatoriedad, sin muestreo, sin llamadas externas, de modo que la misma entrada siempre produce la misma cota.