El clculo integral

Dada una funcin integral

de una variable real

y un intervalo

de la recta real, la

es igual al rea de la regin del plano limitada entre la grfica de , el eje , y las lneas verticales y , donde son negativas las reas por debajo del eje . La palabra "integral" tambin puede hacer referencia a la nocin de primitiva: una funcin F, cuya derivada es la funcin dada . En este caso se denomina integral indefinida, mientras que las integrales tratadas en este artculo son las integrales definidas. Algunos autores mantienen una distincin entre integrales primitivas e indefinidas. Los principios de la integracin fueron formulados por Newton y Leibniz a finales del siglo XVII. A travs del teorema fundamental del clculo, que desarrollaron los dos de forma independiente, la integracin se conecta con la derivacin, y la integral definida de una funcin se puede calcular fcilmente una vez se conoce una antiderivada. Las integrales y las derivadas pasaron a ser herramientas bsicas del clculo, con numerosas aplicaciones en ciencia e ingeniera. Bernhard Riemann dio una definicin rigurosa de la integral. Se basa en un lmite que aproxima el rea de una regin curvilnea a base de partirla en pequeos trozos verticales. A comienzos del siglo XIX, empezaron a aparecer nociones ms sofisticadas de la integral, donde se han generalizado los tipos de las funciones y los dominios sobre los cuales se hace la integracin. La integral curvilnea se define para funciones de dos o tres variables, y el intervalo de integracin [a,b] se sustituye por una cierta curva que conecta dos puntos del plano o del espacio. En una integral de superficie, la curva se sustituye por un trozo de una superficie en el espacio tridimensional. Las integrales de las formas diferenciales desempean un papel fundamental en la geometra diferencial moderna. Estas generalizaciones de la integral surgieron primero a partir de las necesidades de la fsica, y tienen un papel importante en la formulacin de muchas leyes fsicas cmo, por ejemplo, las del electromagnetismo. Los conceptos modernos de integracin se basan en la teora matemtica abstracta conocida como integral de Lebesgue, que fue desarrollada por Henri Lebesgue.

HISTORIA

Integracin antes del clculo

La integracin se puede trazar en el pasado hasta el antiguo Egipto, circa 1800 a. C., con el papiro de Mosc, donde se demuestra que ya se conoca una frmula para calcular el volumen de un tronco piramidal. La primera tcnica sistemtica documentada capaz de determinar integrales es el mtodo de exhauscin de Eudoxo (circa 370 a. C.), que trataba de encontrar reas y volmenes a base de partirlos en un nmero infinito de formas para las cuales se conocieran el rea o el volumen. Este mtodo fue desarrollado y usado ms adelante por Arqumedes, que lo emple para calcular reas de parbolas y una aproximacin al rea del crculo. Mtodos similares fueron desarrollados de forma independiente en China alrededor del siglo III por Liu Hui, que los us para encontrar el rea del crculo. Ms tarde, Zu Chongzhi us este mtodo para encontrar el volumen de una esfera. En el Siddhanta Shiromani, un libro de astronoma del siglo XII del matemtico indio Bhaskara II, se encuentran algunas ideas de clculo integral. Hasta el siglo XVI no empezaron a aparecer adelantos significativos sobre el mtodo de exhauscin. En esta poca, por un lado, con el trabajo de Cavalieri con su mtodo de los indivisibles y, por otro lado, con los trabajos de Fermat, se empez a desarrollar los fundamentos del clculo moderno. A comienzos del siglo XVII, se produjeron nuevos adelantos con las aportaciones de Barrow y Torricelli, que presentaron los primeros indicios de una conexin entre la integracin y la derivacin.

Definiciones formales
Hay muchas maneras de definir formalmente una integral, no todas equivalentes. Se establecen diferencias para poder abordar casos especiales que no pueden ser integrables con otras definiciones, pero tambin en ocasiones por razones pedaggicas. Las definiciones ms utilizadas de la integral son las integrales de Riemann y las integrales de Lebesgue.

Integral de Riemann
Artculo principal: Integral de Riemann.

Integral con el planteamiento de Riemann hace una suma basada en una particin etiquetada, con posiciones de muestreo y anchuras irregulares (el mximo en rojo). El verdadero valor es 3,76; la estimacin obtenida es 3,648. La integral de Riemann se define en trminos de sumas de Riemann de funciones respecto de particiones etiquetadas de un intervalo. Sea [a,b] un intervalo cerrado de la recta real; entonces una particin etiquetada de [a,b] es una secuencia finita y denotamos la particin como

Convergencia de sumatorios de Riemann a medida en que se parten los intervalos, cuando se muestrea a la derecha, el mnimo, el mximo, o la izquierda. Esto divide al intervalo [a,b] en n subintervalos [xi1, xi], cada uno de los cuales es "etiquetado" con un punto especificado ti de; [xi1, xi]. Sea i = xixi1 la anchura del subintervalo i; el paso de esta particin etiquetada es el ancho del subintervalo ms grande obtenido por la particin, maxi=1n i. Un sumatorio de Riemann de una funcin f respecto de esta particin etiquetada se define como

As cada trmino del sumatorio es el rea del rectngulo con altura igual al valor de la funcin en el punto especificado del subintervalo dado, y de la misma anchura que la anchura del subintervalo. La integral de Riemann de una funcin f sobre el intervalo [a,b] es igual a S si: Para todo > 0 existex > 0 tal que, para cualquier particin etiquetada [a,b] con paso ms pequeo que , se tiene

, donde Cuando las etiquetas escogidas dan el mximo (o mnimo) valor de cada intervalo, el sumatorio de Riemann pasa a ser un sumatorio de Darboux superior (o inferior), lo que sugiere la estrecha conexin que hay entre la integral de Riemann y la integral de Darboux.