UNIVERSIDAD DEL VALLE ALTIPLANO PEMCO3 - CICLO 2 CALCULO II - IVONNE TIGUILA JOS DANIEL JOJ DE LEN 08776

RASGOS HISTORICOS DE LA TEORA DE LA INTEGRACIN

SOLOLA 24 DE SEPTIEMBRE DE 2011.

INTRODUCCIN

El clculo tiene gran aplicacin en diferentes situaciones y circunstancias de la vida por lo cual es necesario tener las bases muy claras para poder conocer un tema complejo como lo son Las Integrales, tambin se tienen que tener los conocimientos histricos y conceptos bsicos que nos ayudarn a tener una mejor perspectiva sobre el Clculo Integral, ya que tiene una gran relacin con lmites y derivadas.

Integracin

La integral definida de una funcin representa el rea limitada por la grfica de la funcin, con signo positivo cuando la funcin toma valores positivos y negativo cuando toma valores negativos. La integracin es un concepto fundamental de las matemticas avanzadas, especialmente en los campos del clculo y del anlisis matemtico. Bsicamente, una integral es una suma de infinitos sumandos, infinitamente pequeos. El clculo integral, encuadrado en el clculo infinitesimal, es una rama de las matemticas en el proceso de integracin o antiderivacin, es muy comn en la ingeniera y en la matemtica en general y se utiliza principalmente para el clculo de reas y volmenes de regiones y slidos de revolucin. Fue usado por primera vez por cientficos como Arqumedes, Ren Descartes, Isaac Newton, Gottfried Leibniz e Isaac Barrow. Los trabajos de este ltimo y los aportes de Newton generaron el teorema fundamental del clculo integral, que propone que la derivacin y la integracin son procesos inversos. Principales objetivos del clculo integral Sus principales objetivos a estudiar son: rea de una regin plana Cambio de variable Integrales indefinidas Integrales definidas

Integrales impropias Integrales mltiples (dobles o triples) Integrales trigonomtricas, logartmicas y exponenciales Mtodos de integracin Teorema fundamental del clculo Volumen de un slido de revolucin Teora Dada una funcin f(x) de una variable real x y un intervalo [a,b] de la recta real, la integral

es igual al rea de la regin del plano xy limitada entre la grfica de f, el eje x, y las lneas verticales x = a y x = b, donde son negativas las reas por debajo del eje x. La palabra "integral" tambin puede hacer referencia a la nocin de primitiva: una funcin F, cuya derivada es la funcin dada f. 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. 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 Chinaalrededor 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. Newton y Leibniz Los principales adelantos en integracin vinieron en el siglo XVII con la formulacin del teorema fundamental del clculo, realizado de manera independiente por Newton y Leibniz. El teorema demuestra una conexin entre la integracin y la derivacin. Esta conexin, combinada con la facilidad, comparativamente hablando, del clculo de derivadas, se puede usar para calcular integrales. En particular, el teorema fundamental del clculo permite resolver una clase ms amplia de problemas. Tambin cabe

destacar todo el marco estructural alrededor de las matemticas que desarrollaron tambin Newton y Leibniz. El llamado clculo infinitesimal permiti analizar, de forma precisa, funciones con dominios continuos. Posteriormente, este marco ha evolucionado hacia el clculo moderno, cuya notacin para las integrales procede directamente del trabajo de Leibniz. Formalizacin de las integrales Aunque Newton y Leibniz suministraron un enfoque sistemtico a la integracin, su trabajo careca de un cierto nivel de rigor. Es memorable el ataque del obispo Berkeley calificando losinfinitesimales como los "fantasmas de las cantidades que se desvanecen". El clculo adquiri una posicin ms firme con el desarrollo de los lmites y, en la primera mitad del siglo XIX, recibi una fundamentacin adecuada por parte de Cauchy. La integracin fue rigurosamente formalizada por primera vez por Riemann, empleando lmites. A pesar de que todas las funciones continuas fragmentadas y acotadas son integrables en un intervalo acotado, ms tarde se consideraron funciones ms generales para las cuales no se aplica la definicin de Riemann, y Lebesgue formul una definicin diferente de la integral1 basada en la teora de la medida. Tambin se propusieron otras definiciones de integral, que amplan las definiciones de Riemann y Lebesgue. Notacin Isaac Newton usaba una pequea barra vertical encima de una variable para indicar integracin, o pona la variable dentro de una caja. La barra vertical se confunda fcilmente con o , que Newton usaba para indicar la derivacin, y adems la notacin "caja" era difcil de reproducir por los impresores; por ello, estas notaciones no fueron ampliamente adoptadas. La notacin moderna de las integrales indefinidas fue presentada por Gottfried Leibniz en 1675.2 3 Para indicar summa (en latn, "suma" o "total"), adapt el smbolo integral, "", a partir de una letra S alargada. La notacin moderna de la integral definida, con los lmites arriba y abajo del signo integral, la us por primera vez Joseph Fourier en Mmoires de la Academia Francesa, alrededor de 181920, reimpresa en su libro de 1822.4 5 En la notacin matemtica en rabe moderno, que se escribe de derecha a izquierda, se usa un signo integral invertido .6

Terminologa y notacin Si una funcin tiene una integral, se dice que es integrable. De la funcin de la cual se calcula la integral se dice que es el integrando. Se denominadominio de integracin a la regin sobre la cual se integra la funcin. Si la integral no tiene un dominio de integracin, se considera indefinida (la que tiene dominio se considera definida). En general, el integrando puede ser una funcin de ms de una variable, y el dominio de integracin puede ser un rea, un volumen, una regin de dimensin superior, o incluso un espacio abstracto que no tiene estructura geomtrica en ningn sentido usual. El caso ms sencillo, la integral de una funcin real f de una variable real x sobre el intervalo [a, b], se escribe

El signo , una "S" alargada, representa la integracin; a y b son el lmite inferior y el lmite superior de la integracin y definen el dominio de integracin;f es el integrando, que se tiene que evaluar al variar x sobre el intervalo [a,b]; y dx puede tener diferentes interpretaciones dependiendo de la teora que se emplee. Por ejemplo, puede verse simplemente como una indicacin de que x es la variable de integracin, como una representacin de los pasos en la suma de Riemann, una medida (en la integracin de Lebesgue y sus extensiones), un infinitesimal (en anlisis no estndar) o como una cantidad matemtica independiente: una forma diferencial. Los casos ms complicados pueden variar la notacin ligeramente. Las integrales aparecen en muchas situaciones prcticas. Consideremos una piscina. Si es rectangular, entonces, a partir de su longitud, anchura y profundidad, se puede determinar fcilmente el volumen de agua que puede contener (para llenarla), el rea de la superficie (para cubrirla), y la longitud de su borde (para atarla). Pero si es ovalada con un fondo redondeado, todas estas cantidades piden integrales. Al comienzo puede ser suficiente con aproximaciones prcticas, pero al final harn falta respuestas exactas y rigurosas a este tipo de problemas.

Aproximaciones a la integral de

entre 0 y 1, con 5 muestras por la izquierda (arriba)

y 12 muestras por la derecha (abajo). Para empezar, se considerar la curva que . La pregunta es: , al intervalo desde hasta ? . La notacin para esta integral ser entre y , suponiendo

Cul es el rea bajo la funcin

Esta rea (todava desconocida) ser la integral de

. Como primera aproximacin, se mira al cuadrado unidad dado por los lados x=0 hasta x=1 y y=f(0)=0 y y=f(1)=1. Su rea es exactamente 1. Tal como se puede ver, el verdadero valor de la integral tiene que ser de alguna forma ms pequeo. Reduciendo el ancho de los rectngulos empleados para hacer la aproximacin se obtendr un mejor resultado; as, se parte el intervalo en cinco pasos, empleando para la aproximacin los puntos 0, 15, 25, as hasta 1. Se ajusta una caja cada paso empleando la altura del lado derecho de cada pedazo de la curva, as , , y as hasta . Sumando las reas de

estos rectngulos, se obtiene una mejor aproximacin de la integral que se est buscando,

Ntese que se est sumando una cantidad finita de valores de la funcin f, multiplicados por la diferencia entre dos puntos de aproximacin sucesivos. Se puede ver fcilmente que la aproximacin contina dando un valor ms grande que el de la integral. Empleando ms pasos se obtiene una aproximacin ms ajustada, pero no ser nunca exacta: si en vez de 5 subintervalos se toman doce y se coge el valor de la izquierda, tal como se muestra en el dibujo, se obtiene un valor aproximado para el rea, de 0,6203, que en este caso es demasiado pequeo. La idea clave es la transicin desde la suma de una cantidad finita de diferencias de puntos de aproximacin multiplicados por los respectivos valores de la funcin, hasta usar pasos infinitamente finos, o infinitesimales. La notacin

concibe la integral como una suma ponderada (denotada por la "S" alargada), de los valores de la funcin (como las alzadas, y = f(x)) multiplicados por pasos de anchura infinitesimal, los llamados diferenciales (indicados por dx). Con respecto al clculo real de integrales, el teorema fundamental del clculo, debido a Newton y Leibniz, es el vnculo fundamental entre las operaciones de derivacin e integracin. Aplicndolo a la curva raz cuadrada, se tiene que mirar la funcin relacionada y simplemente coger , donde y son las

fronteras del intervalo[0,1]. (ste es un ejemplo de una regla general, que dice que para f(x) = xq, con q 1, la funcin relacionada, la llamada primitiva es F(x) = (xq+1)/(q+1).) De modo que el valor exacto del rea bajo la curva se calcula formalmente como

Histricamente, despus de que los primeros esfuerzos de definir rigurosamente los infinitesimales no fructificasen, Riemann defini formalmente las integrales como el lmite de sumas ponderadas, de forma que el dx sugiere el lmite de una diferencia (la anchura del intervalo). La dependencia de la definicin de Riemann de los intervalos y la continuidad motiv la aparicin de nuevas definiciones, especialmente la integral de Lebesgue, que se basa en la habilidad de extender la idea de "medida" de maneras mucho ms flexibles. As, la notacin

hace referencia a una suma ponderada de valores en que se divide la funcin, donde mide el peso que se tiene que asignar a cada valor. (Aqu A indica la regin de integracin.) Lageometra diferencial, con su "clculo de variedades", proporciona otra interpretacin a esta notacin familiar. Ahora f(x) y dx pasan a ser una forma diferencial, = f(x)dx, aparece un nuevo operador diferencial d, conocido como la derivada exterior, y el teorema fundamental pasa a ser el (ms general) teorema de Stokes,

a partir del cual se deriva el teorema de Green, el teorema de la divergencia, y el teorema fundamental del clculo. Recientemente, los infinitesimales han reaparecido con rigor, a travs de innovaciones modernas como el anlisis no estndar. Estos mtodos no slo reivindican la intuicin de los pioneros, tambin llevan hacia las nuevas matemticas, y hacen ms intuitivo y comprensible el trabajo con clculo infinitesimal. A pesar de que hay diferencias entre todas estas concepciones de la integral, hay un solapamiento considerable. As, el rea de la piscina oval se puede hallar como una elipse geomtrica, como una suma de infinitesimales, como una integral de Riemann, como una integral de Lebesgue, o como una variedad con una forma diferencial. El resultado obtenido con el clculo ser el mismo en todos los casos.

CONCLUCIONES Integral indefinida es el conjunto de las infinitas primitivas que puede tener una funcin. Para comprobar que la primitiva de una funcin es correcta basta con derivar.