Suma de Riemann

format_list_bulleted Contenido keyboard_arrow_down
ImprimirCitar
Técnica de aproximación en cálculo integral
Cuatro de los métodos para aproximar el área bajo curvas. Bien. y izquierda los métodos hacen la aproximación utilizando los puntos finales derecho e izquierdo de cada subintervalo, respectivamente. Alto y inferior los métodos hacen la aproximación usando los valores de extremo más grandes y más pequeños de cada subinterval, respectivamente. Los valores de las sumas convergen a medida que los subintervalos se arrastren desde arriba-izquierda hasta abajo-derecha.

En matemáticas, una suma de Riemann es un cierto tipo de aproximación de una integral por una suma finita. Lleva el nombre del matemático alemán del siglo XIX Bernhard Riemann. Una aplicación muy común es aproximar el área de funciones o líneas en un gráfico, pero también la longitud de curvas y otras aproximaciones.

La suma se calcula dividiendo la región en formas (rectángulos, trapecios, parábolas o cúbicas) que juntas forman una región similar a la región que se mide, luego se calcula el área de cada una de estas formas y finalmente se suma todas estas pequeñas áreas juntas. Este enfoque se puede usar para encontrar una aproximación numérica para una integral definida, incluso si el teorema fundamental del cálculo no facilita encontrar una solución de forma cerrada.

Debido a que la región de las formas pequeñas no suele tener exactamente la misma forma que la región que se mide, la suma de Riemann diferirá del área que se mide. Este error se puede reducir dividiendo la región más finamente, usando formas cada vez más pequeñas. A medida que las formas se hacen más y más pequeñas, la suma se acerca a la integral de Riemann.

Definición

Vamos f:[a,b]→ → R{displaystyle f:[a,b]to mathbb {R} ser una función definida en un intervalo cerrado [a,b]{displaystyle [a,b]} de los números reales, R{displaystyle mathbb {R}, y P=()x0,x1,...... ,xn){displaystyle P=(x_{0},x_{1},ldotsx_{n}} a partición de [a,b]{displaystyle [a,b]}, eso es

<math alttext="{displaystyle a=x_{0}<x_{1}<x_{2}<dots a=x0.x1.x2.⋯ ⋯ .xn=b.{displaystyle a=x_{0} seleccionx_{1} - No.
<img alt="{displaystyle a=x_{0}<x_{1}<x_{2}<dots
Riemann sumS{displaystyle S.f{displaystyle f}[a,b]{displaystyle [a,b]}P{displaystyle P}
S=.. i=1nf()xiAlternativa Alternativa )Δ Δ xi,{displaystyle S=sum Delta x_{i}
Δ Δ xi=xi− − xi− − 1{displaystyle Delta x_{i}=x_{i}-x_{i-1}xiAlternativa Alternativa ▪ ▪ [xi− − 1,xi]{displaystyle x_{i}{*}in [x_{i-1},x_{i}}xiAlternativa Alternativa {displaystyle #Δ Δ xi{displaystyle Delta x_{i}}

Tipos de sumas de Riemann

Opciones específicas xiAlternativa Alternativa {displaystyle # dar diferentes tipos de Riemann sumas:

  • Si xiAlternativa Alternativa =xi− − 1{displaystyle x_{i}{*}=x_{i-1} para todos i, el método es el izquierda y da una izquierda Riemann suma.
  • Si xiAlternativa Alternativa =xi{displaystyle ¿Qué? para todos i, el método es el regla de derecho y da una derecha Riemann suma.
  • Si xiAlternativa Alternativa =()xi+xi− − 1)/2{displaystyle x_{i}{*}=(x_{i}+x_{i-1}/2} para todos i, el método es el Regla de punto medio y da una mitad Riemann suma.
  • Si f()xiAlternativa Alternativa )=Supf()[xi− − 1,xi]){displaystyle f(x_{i}}=sup f(x_{i-1},x_{i})} (es decir, el supremum def{textstyle f} sobre [xi− − 1,xi]{displaystyle [x_{i-1},x_{i}}), el método es el regla superior y da una suma superior Riemann o superior Darboux sum.
  • Si f()xiAlternativa Alternativa )=inff()[xi− − 1,xi]){displaystyle f(x_{i}{*}=inf f(x_{i-1},x_{i})} (es decir, el infimum de f sobre [xi− − 1,xi]{displaystyle [x_{i-1},x_{i}}), el método es el Regla inferior y da una menor Riemann suma o inferior Darboux sum.

Todos estos métodos de suma de Riemann se encuentran entre las formas más básicas de lograr la integración numérica. En términos generales, una función es Riemann integrable si todas las sumas de Riemann convergen a medida que la partición "se vuelve más y más fina".

Si bien no se deriva como una suma de Riemann, tomar el promedio de las sumas de Riemann izquierda y derecha es la regla trapezoidal y da una suma trapezoidal. Es uno de los más simples de una forma muy general de aproximar integrales usando promedios ponderados. Le sigue en complejidad la regla de Simpson y las fórmulas de Newton-Cotes.

Cualquier suma Riemann en una partición dada (es decir, para cualquier elección de xiAlternativa Alternativa {displaystyle # entre xi− − 1{displaystyle x_{i-1}} y xi{displaystyle x_{i}}) se contiene entre las sumas de Darboux inferior y superior. Esto constituye la base de la integral Darboux, que en última instancia es equivalente a la integral Riemann.

Métodos de suma de Riemann

Los cuatro métodos de summación Riemann se suelen acercar mejor con subintervalos de igual tamaño. El intervalo [a, b] por lo tanto, n{displaystyle n} subintervalos, cada uno de longitud

Δ Δ x=b− − an.{displaystyle Delta x={frac {b-a} {n}}

Los puntos en la partición serán entonces

a,a+Δ Δ x,a+2Δ Δ x,...... ,a+()n− − 2)Δ Δ x,a+()n− − 1)Δ Δ x,b.{displaystyle a,;a+Delta x,;a+2Delta x,;ldots;a+(n-2)Delta x,;a+(n-1)Delta x,;b}

Regla izquierda

Riemann izquierda suma de xx3 [0, 2] utilizando 4 subintervalos

Para la regla de la izquierda, la función se aproxima por sus valores en los extremos izquierdos de los subintervalos. Esto da múltiples rectángulos con base Δx y altura f(a + iΔx). Haciendo esto para i = 0, 1,..., n − 1, y sumando las áreas resultantes da

Sleft=Δ Δ x[f()a)+f()a+Δ Δ x)+f()a+2Δ Δ x)+⋯ ⋯ +f()b− − Δ Δ x)].{displaystyle S_{mathrm {left}=Delta xleft[f(a)+f(a+Delta x)+f(a+2Delta x)+dots +f(b-Delta x)right].}

La suma de Riemann por la izquierda equivale a una sobreestimación si f disminuye monótonamente en este intervalo, y a una subestimación si aumenta monótonamente. El error de esta fórmula será

Silencio∫ ∫ abf()x)dx− − SleftSilencio≤ ≤ M1()b− − a)22n,{displaystyle leftvertint _{a}^{b}f(x),dx-S_{mathrm {left}rightvertleq {frac {M_{1}(b-a)}{2n}}}}}}}}}
M1{displaystyle M_{1}}f.. ()x){displaystyle f^{prime }(x)}

Regla correcta

Riemann derecha suma de xx3 [0, 2] utilizando 4 subintervalos

Para la regla de la derecha, la función se aproxima por sus valores en los extremos derechos de los subintervalos. Esto da múltiples rectángulos con base Δx y altura f(a + iΔx). Hacer esto para i = 1,..., n, y sumar las áreas resultantes da

Sright=Δ Δ x[f()a+Δ Δ x)+f()a+2Δ Δ x)+⋯ ⋯ +f()b)].{displaystyle S_{mathrm {right}=Delta xleft[f(a+Delta x)+f(a+2Delta x)+dots +f(b)right].}

La suma correcta de Riemann equivale a una subestimación si f es monótonamente decreciente, y a una sobreestimación si es monótonamente creciente. El error de esta fórmula será

Silencio∫ ∫ abf()x)dx− − SrightSilencio≤ ≤ M1()b− − a)22n,{displaystyle leftvert int _{a}^{b}f(x),dx-S_{mathrm {right}rightvertleq {frac {M_{1}(b-a)}{2n}}}}}}}}}}
M1{displaystyle M_{1}}f.. ()x){displaystyle f^{prime }(x)}

Regla del punto medio

Middle Riemann suma de xx3 [0, 2] utilizando 4 subintervalos

Para la regla del punto medio, la función se aproxima por sus valores en los puntos medios de los subintervalos. Esto da f(a + Δx/2) para el primer subintervalo, f(a + 3Δx/2) para el siguiente, y así sucesivamente hasta f(b − Δx/2). La suma de las áreas resultantes da

Smid=Δ Δ x[f()a+Δ Δ x2)+f()a+3Δ Δ x2)+⋯ ⋯ +f()b− − Δ Δ x2)].{displaystyle S_{mathrm {mid}=Delta xleft[fleft(a+{tfrac] {Delta x}{2}right)+fleft(a+{tfrac {3Delta x}{2}}right)+dots +fleft(b-{tfrac Bien.

El error de esta fórmula será

Silencio∫ ∫ abf()x)dx− − SmidSilencio≤ ≤ M2()b− − a)324n2,{displaystyle leftvert int _{a}{b}f(x),dx-S_{mathrm {mid}rightvertleq {frac {M_{2}(b-a)^{3}{24n^{2}}}}}}}}
M2{displaystyle M_{2}f.. .. ()x){displaystyle f^{primeprime }(x)}

Regla trapezoidal

Trapezoidal sum of xx3 sobre [0, 2] usando 4 subintervalos

Para la regla trapezoidal, la función es aproximada por el promedio de sus valores en los extremos izquierdo y derecho de los subintervalos. Usando la fórmula de área 12h()b1+b2){displaystyle {tfrac {2}h(b_{1}+b_{2}} para un trapecio con lados paralelos b1 y b2, y altura h, y resumir las áreas resultantes da

Strap=12Δ Δ x[f()a)+2f()a+Δ Δ x)+2f()a+2Δ Δ x)+⋯ ⋯ +f()b)].{displaystyle S_{mathrm {trap}={tfrac {1}{2}Delta xleft[f(a)+2f(a+Delta x)+2f(a+2Delta x)+dots +f(b)right].}

El error de esta fórmula será

Silencio∫ ∫ abf()x)dx− − StrapSilencio≤ ≤ M2()b− − a)312n2,{displaystyle leftvert int _{a}^{b}f(x),dx-S_{mathrm {trap}rightvert leq {frac {M_{2}(b-a)}{12n^{2}}}}}}}}}
M2{displaystyle M_{2}f.()x){displaystyle f'(x)}

La aproximación obtenida con la suma trapezoidal para una función es la misma que el promedio de las sumas de la mano izquierda y la mano derecha de esa función.

Conexión con integración

Para una suma única Riemann sobre dominio [a,b]{displaystyle [a,b]}, como el tamaño máximo de un subintervalo se reduce a cero (es decir, el límite de la norma de los subintervalos va a cero), algunas funciones tendrán todas las sumas Riemann convergen al mismo valor. Este valor límite, si existe, se define como la integral definida Riemann de la función sobre el dominio,

∫ ∫ abf()x)dx=lim.. Δ Δ x.. → → 0.. i=1nf()xiAlternativa Alternativa )Δ Δ xi.{displaystyle int _{a}^{b}f(x),dx=lim _{fnMicrosoft Sans SerpientesDelta x Delta x_{i}

Para un dominio de tamaño finito, si el tamaño máximo de un subintervalo se reduce a cero, esto implica que el número de subintervalos llega al infinito. Para particiones finitas, las sumas de Riemann son siempre aproximaciones al valor límite y esta aproximación mejora a medida que la partición se vuelve más fina. Las siguientes animaciones ayudan a demostrar cómo aumentar el número de subintervalos (mientras se reduce el tamaño máximo del subintervalo) se aproxima mejor al "área" bajo la curva:

Dado que aquí se supone que la función roja es una función suave, las tres sumas de Riemann convergerán al mismo valor a medida que el número de subintervalos tiende al infinito.

Ejemplo

Comparación de la derecha Riemann suma con la integral de xx2 sobre [0,2]{textstyle [0,2]}.
Representación visual del área bajo la curva Sí. = x2 [0, 2]. Usando antiderivativos esta área es exactamente 83{fnMicrosoft {fnMicrosoft} {8}{3}}.
Aproximando el área bajo la curva Sí. = x2 [0, 2] utilizando la suma correcta Riemann. Observe que debido a que la función está aumentando monotonicamente, la suma correcta Riemann siempre sobreestimará el área aportada por cada término en la suma (y lo hará al máximo).
El valor de la suma correcta de Riemann xx2 sobre [0,2]{textstyle [0,2]}. A medida que aumenta el número de rectángulos, se acerca al área exacta de 83{fnMicrosoft {fnMicrosoft} {8}{3}}.

Tomando un ejemplo, el área bajo la curva y = x2 sobre [0, 2] se puede calcular procedimentalmente utilizando el método de Riemann.

El intervalo [0, 2] se divide primero en n subintervalos, cada uno de los cuales recibe un ancho de 2n{fnMicroc} {2} {n}}}; estos son los anchos de los rectángulos Riemann (en lo sucesivo "boxes"). Debido a que la suma Riemann correcta es para ser utilizada, la secuencia de x coordenadas para las cajas será x1,x2,...... ,xn{displaystyle x_{1},x_{2},ldotsx_{n}. Por lo tanto, la secuencia de las alturas de las cajas será x12,x22,...... ,xn2{displaystyle x_{1}{2},x_{2} {2},ldotsx_{n}^{2}}. Es un hecho importante que xi=2in{displaystyle x_{i}={tfrac {2i}{n}}, y xn=2{displaystyle x_{n}=2}.

El área de cada caja será 2n× × xi2{displaystyle {tfrac {2}}times # y, por consiguiente, na la derecha Riemann suma será:

S=2n()2n)2+⋯ ⋯ +2n()2in)2+⋯ ⋯ +2n()2nn)2=8n3()1+⋯ ⋯ +i2+⋯ ⋯ +n2)=8n3()n()n+1)()2n+1)6)=8n3()2n3+3n2+n6)=83+4n+43n2.{displaystyle {begin{aligned}S sensible={frac {2}{n}left({frac {2}{n}}right)^{2}+dots ##{frac {2}{n}left({frac {2i}{n}right)^{2}+dots {fn}fn}fn}m}n}nn}nnn}nnn}[1ex] {n} {nnn}}left(1+dots) +i^{2}+dots +n^{2}right)[1ex] limit={8}{n^{3}}}}left({frac {n+1) {2n+1)}{6}right)[1ex] {2n^{3}+3n^{2}+n}right)[1ex] {4}{n}+{frac} {4}{3n^{2}}}} {end{aligned}}

Si el límite se ve como n → ∞, se puede concluir que la aproximación se acerca al valor real del área bajo la curva a medida que aumenta el número de cajas. Por eso:

limn→ → JUEGO JUEGO S=limn→ → JUEGO JUEGO ()83+4n+43n2)=83.{displaystyle lim _{nto infty }S=lim _{nto infty }left({frac {8}{3}+{frac} {4}{n}+{frac} {4}{3n^{2}}right)={frac {8}{3}}

Este método concuerda con la integral definida calculada de formas más mecánicas:

∫ ∫ 02x2dx=83.{displaystyle int ¿Qué? {8}{3}}

Debido a que la función es continua y aumenta monótonamente durante el intervalo, una suma de Riemann por la derecha sobrestima la integral en la cantidad más grande (mientras que una suma de Riemann por la izquierda subestimaría la integral en la cantidad más grande). Este hecho, que es intuitivamente claro a partir de los diagramas, muestra cómo la naturaleza de la función determina qué tan precisa se estima la integral. Si bien las sumas de Riemann simples, por la derecha y por la izquierda suelen ser menos precisas que las técnicas más avanzadas para estimar una integral, como la regla trapezoidal o la regla de Simpson.

La función de ejemplo tiene una antiderivada fácil de encontrar, por lo que estimar la integral mediante sumas de Riemann es principalmente un ejercicio académico; sin embargo, debe recordarse que no todas las funciones tienen antiderivadas, por lo que estimar sus integrales por suma es prácticamente importante.


Dimensiones superiores

La idea básica detrás de una suma de Riemann es "dividir" el dominio a través de una partición en pedazos, multiplique el "tamaño" de cada pieza por algún valor que toma la función de esa pieza, y sumar todos estos productos. Esto se puede generalizar para permitir sumas de Riemann para funciones sobre dominios de más de una dimensión.

Si bien intuitivamente, el proceso de partición del dominio es fácil de comprender, los detalles técnicos de cómo se puede dividir el dominio se vuelven mucho más complicados que el caso unidimensional e involucran aspectos de la forma geométrica del dominio.

Dos dimensiones

En dos dimensiones, el dominio A{displaystyle A} puede dividirse en una serie de células bidimensionales Ai{displaystyle A_{i} tales que A=⋃ ⋃ iAi{textstyle A=bigcup ¿Qué?. Cada célula entonces puede ser interpretado como tener un "área" denotado por Δ Δ Ai{displaystyle Delta A_{i}}. La suma de Riemann bidimensional es

S=.. i=1nf()xiAlternativa Alternativa ,Sí.iAlternativa Alternativa )Δ Δ Ai,{displaystyle S=sum ¿Por qué? Delta A_{i},}
()xiAlternativa Alternativa ,Sí.iAlternativa Alternativa )▪ ▪ Ai{displaystyle (x_{i}{*},y_{i}in A_{i}}

Tres dimensiones

En tres dimensiones, el dominio V{displaystyle V} se divide en un número de células tridimensionales Vi{displaystyle V_{i} tales que V=⋃ ⋃ iVi{textstyle V=bigcup ¿Qué?. Cada célula entonces puede ser interpretado como tener un "volumen" denotado por Δ Δ Vi{displaystyle Delta V_{i}}. La suma de Riemann tridimensional es

S=.. i=1nf()xiAlternativa Alternativa ,Sí.iAlternativa Alternativa ,ziAlternativa Alternativa )Δ Δ Vi,{displaystyle S=sum ¿Por qué? Delta V_{i},}
()xiAlternativa Alternativa ,Sí.iAlternativa Alternativa ,ziAlternativa Alternativa )▪ ▪ Vi{displaystyle (x_{i}{*},y_{i}{i},z_{i}}in V_{i}}

Número arbitrario de dimensiones

Las sumas de Riemann de dimensiones superiores siguen un patrón similar. Una suma de Riemann n-dimensional es

S=.. if()PiAlternativa Alternativa )Δ Δ Vi,{displaystyle S=sum Delta V_{i}
PiAlternativa Alternativa ▪ ▪ Vi{displaystyle P_{i}{*}in V_{i}nVi{displaystyle V_{i}nΔ Δ Vi{displaystyle Delta V_{i}}

Generalización

En general, las sumas de Riemann se pueden escribir

S=.. if()PiAlternativa Alternativa )μ μ ()Vi),{displaystyle S=sum ¿Qué?
PiAlternativa Alternativa {displaystyle ¿Qué?Vi{displaystyle V_{i}μ μ {displaystyle mu }Vi{displaystyle V_{i}

Contenido relacionado

Matemáticas informales

Las matemáticas informales, también llamadas matemáticas ingenuas, históricamente han sido la forma predominante de las matemáticas en la mayoría de los...

Magma (sistema de álgebra computacional)

Magma es un sistema de álgebra computacional diseñado para resolver problemas de álgebra, teoría de números, geometría y combinatoria. Lleva el nombre...

Convergencia débil

En matemáticas, convergencia débil puede referirse...
Más resultados...
Tamaño del texto:
undoredo
format_boldformat_italicformat_underlinedstrikethrough_ssuperscriptsubscriptlink
save