Integracin Numrica

Matemticamente, la integracin se representa por I=abexdx, que representa a la integral de la funcin f(x) con respecto a la variable x, evaluada entre los lmites x = a e y = b. El significado de la ecuacin es el valor total o sumatoria de f(x) dx sobre el intervalo de x = a a x = b. La figura representa una manifestacin grfica de este concepto. Para las funciones que se encuentran sobre el eje x, la integral expresada por la ecuacin I=abexdx , corresponde al rea bajo la curva de f(x) entre x = a y x = b.

Con frecuencia surge la necesidad de evaluar la integral definida de una funcin que no tiene una primitiva explcita o cuya primitiva tiene valores que no son fcilmente obtenibles, como pueden ser la funcin de error, combinaciones algebraicas de funciones trascendentes y logartmicas o la funcin gamma de Euler, etc. Por otro lado, cuando nicamente conocemos el valor de la funcin en un conjunto de puntos (xi,fi), como ocurre con los resultados de un experimento o de simulaciones numricas, sus integrales slo se pueden obtener numricamente, lo cual motiva an ms la necesidad de poder obtener derivadas e integrales a partir de conjuntos discretos de datos. El mtodo bsico involucrado para aproximar I=abexdx se conoce como cuadratura numrica y se basan en la estrategia de reemplazar una funcin complicada o un conjunto de datos tabulares con alguna funcin aproximada que sea ms fcil de integrar, las funciones aproximadas son los polinomios de interpolacin. Por consiguiente, las distintas frmulas de interpolacin darn por resultado distintos mtodos de integracin numrica. Consideraremos las frmulas que se obtienen usando polinomios de Lagrange de primero y segundo grado con nodos uniformemente espaciados. Estas frmulas son la regla del trapecio y la regla de Simpson, que son ejemplos de un tipo de mtodos conocidos como frmulas de Newton Cotes. Hay dos tipos de frmulas de Newton Cotes, las frmulas abiertas y las frmulas cerradas. Las frmulas cerradas son aquellas donde los puntos al principio y al final de los lmites de integracin se conocen. Las frmulas abiertas tienen los lmites de integracin extendidos ms all del rango de los datos, en general, no se usan en la integracin definida. Sin embargo, se usan extensamente en la solucin de ecuaciones diferenciales.

Regla de Simpson

Adems de aplicar la regla trapezoidal con segmentos cada vez ms finos, otra manera de obtener una estimacin ms exacta de una integral, es la de usar polinomios de orden superior para conectar los puntos. Por ejemplo, si hay un punto medio extra entre f(a) y f(b), entonces se pueden conectar los tres puntos con una parbola (fig. a). Si hay dos puntos igualmente espaciados entre f(a) y f(b), entonces los cuatro puntos se pueden conectar con un polinomio de tercer orden

(fig. b). A los polinomios resultantes de calcular la integral bajo estos polinomios se les llama reglas de Simpson.

Regla de Simpson de 1/3

La regla de Simpson de 1/3 resulta de integrar un polinomio de Lagrange de segundo orden sobre [a,b] (fig. a), con nodos x0= a, x2 = b y x1 = a + h, donde h=b-a2 abfxdx=x1x2x-x1x-x2x0-x1x0-x2fx0+x-x0x-x2x1-x0x1-x2fx1+x-x0x-x3x2-x0x2x3fx2dx Despus de integrar y de reordenar trminos, resulta la siguiente ecuacin: abfxdxh3fx0+4fx1+f(x2) Ecuacin que se conoce como la regla de 1/3 de Simpson. La etiqueta de 1/3 viene de que h se divide por 3 en la ecuacin.

Obtencin y estimacin del error de la regla de Simpson basado en el polinomio de interpolacin hacia adelante de Newton
Vamos a derivar la regla de Simpson de 1/3 integrando el polinomio hacia adelante de Newton I=x1x2fx0+fx0+2fx02-1+3fx03-1-2+f(4)()24-1-2-4h4dx Donde =x-ah, dx = hd; y h=b-a2. Por lo tanto, cuando se hacen las simplificaciones y la sustitucin, los lmites de la integral son =0 y =2: I=h02fx0+fx0+2fx02-1+3fx03-1-2+f(4)()24-1-2-4h4d Que se puede integrar para obtener I=hfx0+22fx0+36-242fx0+424-36+243fx0+5120416+11372+28f(4)()h402 I=h2fx0+2fx0+2fx03+03fx0-190f(4)()h4 Ntese el resultado significativo de que el coeficiente de la tercera diferencia dividida es cero. Como f(x0) =f(x1) f(x0) y 2f(x0) = f(x2) 2f(x1) + f(x0), entonces: I=h3fx0+4fx1+fx2-190f(4)()h5Error de truncamiento Reemplazando en el trmino del error h por la expresin correspondiente: E=-b-a52880f(4)() La regla de Simpson es mucho ms exacta que la regla trapezoidal, el error es proporcional a la cuarta derivada. Esto se debe a que, como se mostr en la

integracin, los coeficientes del trmino de tercer orden se anulan. En consecuencia, la regla de Simpson de 1/3 es exacta hasta tercer orden aunque est basada nicamente en tres puntos.

Regla de Simpson de 3/8

De manera similar a la derivacin de la regla trapezoidal y a la regla de Simpson de 1/3, se pueden ajustar polinomios de Lagrange de tercer orden a cuatro puntos e integrar (fig. b), para obtener I3h8fx0+3fx1+3fx2+3fx3,dondeh=b-a3 A esta ecuacin se le llama regla de Simpson de 3/8, y su error es E=-380h5f(4)(), remplazando h, nos queda: E=-b-a56480f(4)() Por lo tanto la regla 3/8 es algo ms exacta que la regla 1/3. La regla 1/3 es, en general el mtodo de preferencia ya que alcanza exactitud de tercer orden con tres puntos en vez de los cuatro puntos necesarios para la regla 3/8. La regla 3/8 tiene utilidad en las aplicaciones de segmentos mltiples cuando el nmero de segmentos es impar.

Mtodo de Simpson usando segmentos mltiples

Queremos encontrar una aproximacin a 04exdx . Si se usa la regla de Simpson 1/3 con h = 2. 04exdx23e0+4e1+e4=56.76958 Como la respuesta exacta en este caso es e4 - e0 = 53.59815, el error de -3.17143 es mucho ms grande de lo que se considerara aceptable. Dividamos [0,4] en [0,2] y [2,4] y usamos Simpson 1/3 con h = 1 04exdx=02exdx+24exdx13e0+4e1+e2+13e0+4e1+e4=53.86385 El error se ha reducido a -2.26570. Subdividimos los intervalos [0,2] y [2,4] y usando Simpson 1/3 con h =12 , dando 04exdx=01exdx+12exdx+23exdx+34exdx16e0+4e12+e+16e+4e32+e2+16e2+ 4e52+e3+16e3+4e72+e4=53.61622 El error de esta aproximacin es de -0.01807. Este procedimiento se puede generalizar como sigue: dividiendo el intervalo [a, b] en subintervalos y usar la regla de Simpson en cada pareja de subintervalos consecutivos. Es decir que h=b-an. La integral total se representa como I=h3fx0+4i=1imparn-1fxi+2i=2parn-2fxi+fxn y el error, se obtiene sumando los errores individuales de cada uno de los segmentos y promediando la derivada, para obtener E=-b-a5180n4f(4)