3: Integración
( \newcommand{\kernel}{\mathrm{null}\,}\)
Queremos construir algoritmos numéricos que puedan realizar integrales definidas de la forma
I=∫baf(x)dx.
El cálculo numérico de estas integrales definidas se denomina integración numérica, cuadratura numérica o, más simplemente, cuadratura.
Fórmulas elementales
Primero consideramos la integración de 0 ah, conh pequeños, para servir como los bloques de construcción para la integración en dominios más grandes. Aquí definimosIh como la siguiente integral:
Ih=∫h0f(x)dx.
Para realizar esta integral, consideramos una expansión de la serie Taylor def(x) aproximadamente el valorx=h/2:
f(x)=f(h/2)+(x−h/2)f′(h/2)+(x−h/2)22f′′(h/2)+(x−h/2)36f′′′(h/2)+(x−h/2)424f′′′′(h/2)+…
Regla de punto medio
La regla del punto medio hace uso solo del primer término en la expansión de la serie Taylor. Aquí, determinaremos el error en esta aproximación. Integrando,
Ih=hf(h/2)+∫h0((x−h/2)f′(h/2)+(x−h/2)22f′′(h/2)+(x−h/2)36f′′′(h/2)+(x−h/2)424f′′′′(h/2)+…)dx.
Cambiando variables dejandoy=x−h/2 ydy=dx, y simplificando la integral dependiendo de si el integrando es par o impar, tenemos
Ih=hf(h/2)+∫h/2−h/2(yf′(h/2)+y22f′′(h/2)+y36f′′′(h/2)+y424f′′′′(h/2)+…)dy=hf(h/2)+∫h/20(y2f′′(h/2)+y412f′′′′(h/2)+…)dy.
Las integrales que necesitamos aquí son
∫h20y2dy=h324,∫h20y4dy=h5160.
Por lo tanto,
Ih=hf(h/2)+h324f′′(h/2)+h51920f′′′′(h/2)+…
Regla trapezoidal
De la expansión de la serie Taylor def(x) aproximadamentex=h/2, tenemos
f(0)=f(h/2)−h2f′(h/2)+h28f′′(h/2)−h348f′′′(h/2)+h4384f′′′′(h/2)+…,
y
f(h)=f(h/2)+h2f′(h/2)+h28f′′(h/2)+h348f′′′(h/2)+h4384f′′′′(h/2)+….
Sumando y multiplicando porh/2 obtenemos
h2(f(0)+f(h))=hf(h/2)+h38f′′(h/2)+h5384f′′′′(h/2)+….
Ahora sustituimos el primer término en el lado derecho usando la fórmula de regla de punto medio:
h2(f(0)+f(h))=(Ih−h324f′′(h/2)−h51920f′′′′(h/2))+h38f′′(h/2)+h5384f′′′′(h/2)+…,
y resolviendo paraIh, encontramos
Ih=h2(f(0)+f(h))−h312f′′(h/2)−h5480f′′′′(h/2)+…
La regla de Simpson
Para obtener la regla de Simpson, combinamos la regla de punto medio y trapezoidal para eliminar el término de error proporcional ah3. Multiplicando (3.4) por dos y sumando a (3.8), obtenemos
3Ih=h(2f(h/2)+12(f(0)+f(h)))+h5(21920−1480)f′′′′(h/2)+…,
o
Ih=h6(f(0)+4f(h/2)+f(h))−h52880f′′′′(h/2)+….
Por lo general, la regla de Simpson se escribe considerando los tres puntos consecutivos0,h y2h. Sustituyendoh→2h, obtenemos el resultado estándar
I2h=h3(f(0)+4f(h)+f(2h))−h590f′′′′(h)+…
Reglas compuestas
Ahora utilizamos nuestras fórmulas elementales obtenidas para (3.2) para realizar la integral dada por (3.1).
Regla trapezoidal
Suponemos que la funciónf(x) es conocida en losn+1 puntos etiquetados comox0,x1,…,xn, con los puntos finales dados porx0=a yxn=b. Definir
fi=f(xi),hi=xi+1−xi.
Entonces la integral de (3.1) puede descomponerse como
∫baf(x)dx=n−1∑i=0∫xi+1xif(x)dx=n−1∑i=0∫hi0f(xi+s)ds,
donde la última igualdad surge del cambio de variabless=x−xi. Aplicando la regla trapezoidal a la integral, tenemos
∫baf(x)dx=12n−1∑i=0hi(fi+fi+1).
Si los puntos no están espaciados uniformemente, digamos porque los datos son valores experimentales, entonces elhi puede diferir para cada valor dei y (3.13) se va a usar directamente.
No obstante, si los puntos están espaciados uniformemente, digamos porque sef(x) pueden computar, tenemoshi=h, independientemente dei. Entonces podemos definir
xi=a+ih,i=0,1,…,n;
y como el punto finalb satisfaceb=a+nh, tenemos
h=b−an.
La regla trapezoidal compuesta para puntos de espacio uniformemente luego se convierte en
∫baf(x)dx=h2n−1∑i=0(fi+fi+1)=h2(f0+2f1+⋯+2fn−1+fn).
El primer y último término tienen un múltiplo de uno; todos los demás términos tienen un múltiplo de dos; y la suma completa se multiplica porh/2

La regla de Simpson
Aquí consideramos la regla compuesta de Simpson para puntos espaciados uniformemente. Aplicamos la regla de Simpson a intervalos de2h, comenzandoa y terminando enb:
∫baf(x)dx=h3(f0+4f1+f2)+h3(f2+4f3+f4)+…+h3(fn−2+4fn−1+fn).
Tenga en cuenta quen debe ser parejo para que este esquema funcione. Combinando términos, tenemos
∫baf(x)dx=h3(f0+4f1+2f2+4f3+2f4+⋯+4fn−1+fn).
El primer y último término tienen un múltiplo de uno; los términos indexados pares tienen un múltiplo de 2; los términos indexados impares tienen un múltiplo de 4; y la suma completa se multiplica porh/3.
Integración adaptativa
La útil función de MATLAB quad.m realiza integración numérica utilizando cuadratura adaptativa Simpson. La idea es dejar que el cálculo mismo decida sobre el tamaño de cuadrícula requerido para lograr un cierto nivel de precisión. Además, el tamaño de la cuadrícula no necesita ser el mismo en toda la región de integración.
Comenzamos la integración adaptativa en lo que se denomina Nivel 1. Los puntos uniformemente espaciados en los quef(x) se va a evaluar la función se muestran en la Fig. 3.1. La distancia entre los puntosa yb se toma para ser2h, de manera que
h=b−a2.
Integración usando la regla de Simpson (3.11) conh rendimientos de tamaño de cuadrícula para la integralI,
I=h3(f(a)+4f(c)+f(b))−h590f′′′′(ξ),
dondeξ hay algún valor satisfactorioa≤ξ≤b. Integración usando la regla de Simpson dos veces conh/2 rendimientos de tamaño de cuadrícula
I=h6(f(a)+4f(d)+2f(c)+4f(e)+f(b))−(h/2)590f′′′′(ξl)−(h/2)590f′′′′(ξr),
conξl yξr algunos valores satisfactoriosa≤ξl≤c yc≤ξr≤b.
Ahora definimos las dos aproximaciones a la integral por
S1=h3(f(a)+4f(c)+f(b)),S2=h6(f(a)+4f(d)+2f(c)+4f(e)+f(b)),
y los dos errores asociados por
E1=−h590f′′′′(ξ),E2=−h525⋅90(f′′′′(ξl)+f′′′′(ξr)).
Ahora nos preguntamos si el valor deS2 para la integral es lo suficientemente exacto, o ¿debemos afinar aún más el cálculo e ir al Nivel 2? Para responder a esta pregunta, hacemos la aproximación simplificadora de que todas las derivadas de cuarto ordenf(x) en términos de error son iguales; es decir,
f′′′′(ξ)=f′′′′(ξl)=f′′′′(ξr)=C.
Entonces
E1=−h590C,E2=−h524⋅90C=116E1.
Ahora como la integral es igual a la aproximación más su error asociado,
S1+E1=S2+E2,
y desde
E1=16E2,
podemos derivar una estimación para el término de errorE2:
E2=115(S2−S1).
Por lo tanto, dado algún valor específico de la tolerancia tol, si
|115(S2−S1)|< tol,
entonces podemos aceptarS2 comoI. Si la estimación del error es mayor en magnitud que tol, entonces procedemos al Nivel 2. El cálculo en el Nivel 2 divide aún más el intervalo de integración dea ab en los dos intervalos de integracióna ac yc ab, y continúa con el procedimiento anterior independientemente en ambas mitades. La integración se puede detener en cualquiera de las dos mitades siempre que la tolerancia sea menor que tol/2 (ya que la suma de ambos errores debe ser menor que tol). De lo contrario, cualquiera de las dos mitades puede pasar al Nivel 3, y así sucesivamente.
Como nota al margen, los dos valoresI dados anteriormente (para la integración con el tamaño del pasoh y seh/2) pueden combinar para dar un valor más preciso para I dado por
I=16S2−S115+O(h7),
donde los términos de error deO(h5) aproximadamente cancelan. Este almuerzo gratuito, por así decirlo, se llama extrapolación de Richardson.