Saltar para o conteúdo

Soma de Riemann: diferenças entre revisões

Origem: Wikipédia, a enciclopédia livre.
Conteúdo apagado Conteúdo adicionado
KLBot2 (discussão | contribs)
m Bot: A migrar 12 interwikis, agora providenciados por Wikidata em d:Q1156903
Jeanchaos (discussão | contribs)
Funcionalidade de sugestões de hiperligações: 3 hiperligações adicionadas.
 
(Há 30 revisões intermédias de 14 utilizadores que não estão a ser apresentadas)
Linha 1: Linha 1:
[[Ficheiro:Riemann sum convergence.png|right|thumb|300px|Quatro dos [[#métodos|métodos]] do somatório de Riemann para aproximação da área sob curvas. Métodos <span style="color:#0081cd">'''à direita''' </span> e <span style="color:#fec200">'''à esquerda'''</span> fazem a aprozimação usando os pontos finais à direita e à esquerda de cada subintervalo, respectivamente. Métodos <span style="color:#009246">'''máximo'''</span> e <span style="color:#bc1e47">'''mínimo'''</span> fazem a aproximação usando o maior e menor valores de pontos finais de cada subintervalo, respectivamente. Os valores das somas convergem como os subintervalos da metade superior à esquerda a baixo à direita.]]
{{Mais notas|data=janeiro de 2022}}[[Imagem:Riemann sum convergence.png|direita|miniatura|277x277px|Quatro dos [[#Métodos|métodos]] do somatório de Riemann para aproximação da área sob curvas. Métodos <span style="color:#0081cd">'''à direita''' </span> e <span style="color:#fec200">'''à esquerda'''</span> fazem a aproximação usando os pontos finais à direita e à esquerda de cada subintervalo, respectivamente. Métodos <span style="color:#009246">'''máximo'''</span> e <span style="color:#bc1e47">'''mínimo'''</span> fazem a aproximação usando o maior e menor valores de pontos finais de cada subintervalo, respectivamente. Os valores das somas convergem como os subintervalos da metade superior à esquerda a baixo à direita.]]
Na [[matemática]], a '''soma de Riemann''' é uma [[aproximação]] obtida pela expressão <math> \sum_{i = 1}^nf(x_{i}^{*})\cdot\Delta x</math>.
Em [[matemática]], uma '''soma de Riemann''' é um método para aproximação da área total inferior à curva em um gráfico, de outro modo conhecida como uma [[integral]]. Pode também ser usada para definir a operação integração. O método é nomeado em relação ao matemático [[Alemanha|alemão]] [[Bernhard Riemann]].

É nomeada em homenagem ao matemático alemão [[Bernhard Riemann]]. Uma aplicação muito comum é a aproximação da área de funções ou linhas em um gráfico, mas também o comprimento das curvas e outras aproximações.

A soma é dada pela divisão da região a ser calculada em formas (retângulos, trapézios, parábolas ou cubos) que juntos formam uma região que é similar àquela a ser medida, então calcula-se a área de cada uma das formas, e finalmente soma-se todas essas áreas menores juntas.  Essa abordagem pode ser usada para encontrar uma aproximação numérica para a integral definida mesmo se o [[teorema fundamental do cálculo]] não ajudar a encontrar uma [[Forma fechada (matemática)|forma fechada]].

Tendo em vista que a região preenchida pelas formas menores geralmente não corresponde a exata forma da região a ser medida, a Soma de Riemann será diferente desta. Esse erro pode ser reduzido se a região for mais dividida, usando formas cada vez menores. Ao passo que as formas ficam menores, a soma se aproxima a Integral de Riemann.

Normalmente a Soma de Riemann tem uma aplicação ótima para funções polinomiais ou [[Função algébrica|algébricas]], o que significa que é possível precisar o valor exato do limite da soma com facilidade. Porém, para funções ditas [[Função transcendente|transcendentes]] o cálculo da integral definida é não trivial por Riemann, ocorrendo ele comumente pela formação de retângulos de forma análoga ao [[método da exaustão]].


== Definição ==
== Definição ==
Considere uma [[função]] ''f'': ''D'' → '''R''', onde ''D'' é um subconjunto dos [[número real|números reais]] '''R''' e ''I'' = [''a'', ''b''] um [[Intervalo (matemática)|intervalo fechado]] contido em ''D''. Dizemos que um conjunto finito de pontos {''x''<sub>0</sub>, ''x''<sub>1</sub>, ''x''<sub>2</sub>, ... ''x''<sub>''n''</sub>} tais que ''a'' = ''x''<sub>0</sub> < ''x''<sub>1</sub> < ''x''<sub>2</sub> ... < ''x''<sub>''n''</sub> = ''b''
é uma [[partição de um conjunto|partição]] ''P'' = {<nowiki>[</nowiki>''x''<sub>0</sub>, ''x''<sub>1</sub>), <nowiki>[</nowiki>''x''<sub>1</sub>, ''x''<sub>2</sub>), ... [''x''<sub>''n''-1</sub>, ''x''<sub>''n''</sub>]} de ''I''. De notar que a definição de partição não implica intervalos iguais entre o conjunto finito de pontos.


Considere ''f:''D → '''R''' sendo uma função definida do [[subconjunto]] D, de [[Número real|números reais]], '''R'''. Tome ''I'' = [''a'', ''b''] como um intervalo fechado contido em D, e
Definimos a '''soma de Riemann''' de ''f'' em ''I'' com a partição ''P'' como

<math id="https://upload.wikimedia.org/math/a/b/6/ab6371e674f941634622b15fd9607448.png">P=[x_0,x_1],[x_1,x_2],..., [x_{n-1},x_n],</math>

sendo uma [[Partição de um intervalo|partição]] de I, onde

<math id="https://upload.wikimedia.org/math/a/b/6/ab6371e674f941634622b15fd9607448.png">a=x_0<x_1<x_2<...<x_n=b.</math>

Uma '''soma de Riemann''' de ''f'' sobre I com a partição P é definida como

<math id="https://upload.wikimedia.org/math/a/b/6/ab6371e674f941634622b15fd9607448.png">S= \sum_{ i \mathop =1}^n f(x^*_i)(x_i-x_{i-1}), x_{i-1} \leq x^*_i \leq x_i.</math>

Atenção no uso de “uma” ao invés de “a” em referência a soma de Riemann. Isso ocorre pelo fato que a escolha de <math id="https://upload.wikimedia.org/math/a/b/6/ab6371e674f941634622b15fd9607448.png">x^*_i</math>  no intervalo <math id="https://upload.wikimedia.org/math/a/b/6/ab6371e674f941634622b15fd9607448.png">[x_{i-1}, x_i]</math>  é arbitrária, dado o fato que
qualquer função ''f'' definida em um intervalo I e na partição fixada P, pode
produzir uma soma de Riemann diferente em decorrência de qual <math id="https://upload.wikimedia.org/math/a/b/6/ab6371e674f941634622b15fd9607448.png">x^*_i</math> foi escolhido, desde que <math id="https://upload.wikimedia.org/math/a/b/6/ab6371e674f941634622b15fd9607448.png">x_{i-1} \leq x^*_i \leq x_i</math> se mantenha verdadeiro.

'''Exemplo:''' Escolhas específicas de <math id="https://upload.wikimedia.org/math/a/b/6/ab6371e674f941634622b15fd9607448.png">x^*_i</math> nos dão diferentes tipos de soma de Riemann:
* Se <math id="https://upload.wikimedia.org/math/a/b/6/ab6371e674f941634622b15fd9607448.png">x^*_i= x_{i-1}</math> para todo ''i'', então '''S''' é chamado de '''Soma de Riemann à Esquerda''';
* Se <math id="https://upload.wikimedia.org/math/a/b/6/ab6371e674f941634622b15fd9607448.png">x^*_i=x_i</math> para todo ''i'', então  '''S''' é chamado de '''Soma de Riemann à Direita''';
* Se <math id="https://upload.wikimedia.org/math/a/b/6/ab6371e674f941634622b15fd9607448.png">x^*_i= \frac{1}{2} (x_i + x_{i-1})</math> para todo ''i'', então é '''S''' é chamado de '''Soma de Riemann Média.'''
* A média entre a Soma à Esquerda e a Soma à Direita é chamada de '''Soma Trapezoidal'''.
* Se é dado que <math id="https://upload.wikimedia.org/math/a/b/6/ab6371e674f941634622b15fd9607448.png">S= \sum_{ i \mathop =1}^n v_i(x_i-x_{i-1}),</math>  onde <math id="https://upload.wikimedia.org/math/a/b/6/ab6371e674f941634622b15fd9607448.png">v_i</math> é o supremo de ''f'' sobre <math id="https://upload.wikimedia.org/math/a/b/6/ab6371e674f941634622b15fd9607448.png">[x_{i-1}, x_i]</math> , então '''S''' é definido como uma '''Soma de Riemann Superior''';
* De forma semelhante, se <math id="https://upload.wikimedia.org/math/a/b/6/ab6371e674f941634622b15fd9607448.png">v_i</math> é o [[Supremo e ínfimo|ínfimo]] de ''f'' sobre <math id="https://upload.wikimedia.org/math/a/b/6/ab6371e674f941634622b15fd9607448.png">[x_{i-1},x_i]</math> , então '''S''' é definido como uma '''Soma de Riemann Inferior'''.
Qualquer soma de Riemann em dada partição (isto é, qualquer soma obtida
pela escolha de <math id="https://upload.wikimedia.org/math/a/b/6/ab6371e674f941634622b15fd9607448.png">x^*_i</math> entre <math id="https://upload.wikimedia.org/math/a/b/6/ab6371e674f941634622b15fd9607448.png">x_{i-1}</math> e <math id="https://upload.wikimedia.org/math/a/b/6/ab6371e674f941634622b15fd9607448.png">x_i</math> ) está entre as somas de Riemann superior e a inferior. Uma função é
definida como integrável por Riemann se a soma inferior e superior forem se
aproximando conforme a partição se afina. Este fato pode ser também usado para
a [[integração numérica]].

== Método ==
[[Ficheiro:LeftRiemann2.svg|thumb|Soma de Riemann à Esquerda<ref>{{Citar web|url=http://omonitor.io/?q=aproxareasobgrafico|titulo=Faça exemplos com <b>O Monitor</b>|acessodata=2016-03-25|obra=omonitor.io}}</ref>]]
[[Ficheiro:RightRiemann2.svg|thumb|Soma de Riemann à Direita]]
Os quatro métodos de Riemann para a soma são geralmente melhor usados com partições de tamanhos equivalentes. O intervalo [''a, b''] é, portanto, dividido em ''n'' subintervalos, de comprimento

<math id="https://upload.wikimedia.org/math/a/b/6/ab6371e674f941634622b15fd9607448.png">\Delta x= {b-a \over n}.</math>   Os pontos na partição serão então <math>a, a+ \Delta x, a+ 2 \Delta x, . . ., a+ (n-2)\Delta x, a +(n-1)\Delta x, b.</math>

=== Soma de Riemann à Esquerda ===
Para a Soma de Riemann à Esquerda, aproxima-se a função pelo seu valor no ponto final à esquerda, dando múltiplos retângulos com base Δ''x'' e altura ''f(a+i''Δ''x)''. Tomando para i = 0, 1, ... n-1, e adicionando as áreas resultantes temos

<math id="https://upload.wikimedia.org/math/a/b/6/ab6371e674f941634622b15fd9607448.png">\Delta x{}[f(a)+ f(a+\Delta x)+ f(a+2\Delta x) + ... + f(b-\Delta x)].</math>

 A soma de Riemann à esquerda resulta em uma superestimação se ''f'' está monotonicamente decrescendo nesse intervalo, e em uma subestimação se ''f'' está monotonicamente crescendo.

=== Soma de Riemann à Direita ===
Nessa soma, aproxima-se ''f'' de seu valor no ponto final à direita. São gerados, então, múltiplos retângulos de base Δ''x'' e altura ''f(a+Δx)''. Tomando para i – 1 , ..., n e adicionando as áreas resultantes se produz

<math id="https://upload.wikimedia.org/math/a/b/6/ab6371e674f941634622b15fd9607448.png">\Delta x{}[f(a+\Delta x)+ f(a+2\Delta x) + ... + f(b)].</math>  
[[Ficheiro:MidRiemann2.svg|thumb|Soma de Riemann Média
]]
A soma de Riemann à direita resulta em uma subestimação se ''f'' está monotonicamente decrescendo, e uma superestimação se ''f'' está

monotonicamente crescendo. O erro na fórmula será

<math>\left|\int_a^bf(x)dx-A_{direita}\right| \leq \frac {M_1(b-a)^2}{2n},</math>

 onde <math id="https://upload.wikimedia.org/math/a/b/6/ab6371e674f941634622b15fd9607448.png">M_1</math> é o valor máximo do valor absoluto de <math id="https://upload.wikimedia.org/math/a/b/6/ab6371e674f941634622b15fd9607448.png">f'(x)</math> nesse intervalo.
[[Ficheiro:TrapRiemann2.svg|thumb|Soma de Riemann Regra Trapezoidal]]

=== Soma Média ===
Aproximando ''f'' no ponto médio dos intervalos expressam ''f''(a+Δ''x''/2) para o primeiro intervalo, para o próximo temos ''f''(a+3Δ''x''/2), e assim por diante até ''f''(b-Δ''x''/2). Somando as áreas temos

<math>\Delta x [f(a+ \frac {\Delta x}{2})+ f(a+ \frac {3\Delta x}{2})+ ... + f(b- \frac {\Delta x}{2})].</math> 

O erro dessa formula será

<math>\left|\int_a^b f(x)dx - A_{media}\right| \leq \frac {M_2(b-a)^3}{24n^2},</math>

onde <math id="https://upload.wikimedia.org/math/a/b/6/ab6371e674f941634622b15fd9607448.png">M_2</math> é o valor máximo do valor absoluto de <math id="https://upload.wikimedia.org/math/a/b/6/ab6371e674f941634622b15fd9607448.png">f''(x)</math> nesse intervalo.

=== Regra Trapezoidal ===
Nesse caso, os valores da função ''f'' no intervalo são aproximados pela média dos valores nos pontos finais da direita e da esquerda. Dessa mesma maneira, um simples cálculo usando a formula da área

<math id="https://upload.wikimedia.org/math/a/b/6/ab6371e674f941634622b15fd9607448.png">A= \frac {1}{2}h(b_1+b_2)</math>

 para um trapézio de lados paralelos ''b<sub>1</sub>, b<sub>2</sub>'' e altura h produz

<math id="https://upload.wikimedia.org/math/a/b/6/ab6371e674f941634622b15fd9607448.png">\frac {1}{2}\Delta x [f(a)+2f(a+\Delta x)+2f(a+2\Delta x)+2f(a+3\Delta x)+ ... +2f(b-\Delta x)+ f(b)].</math>

O erro dessa fórmula será

<math>\left|\int_a^b f(x)dx - A_{trap}\right| \leq \frac {M_2(b-a)^3}{12n^2},</math>

 onde <math id="https://upload.wikimedia.org/math/a/b/6/ab6371e674f941634622b15fd9607448.png">M_2</math> é o valor máximo do valor absoluto de <math id="https://upload.wikimedia.org/math/a/b/6/ab6371e674f941634622b15fd9607448.png">f''(x).</math>

 A aproximação obtida com a regra do trapézio para a função é o mesmo que a média da somas esquerdas e direitas dessa função.

== Exemplo ==
[[Ficheiro:Riemann sum error.svg|thumb|O valor da Soma de Riemann sob a curva y=x² de 0 à 2. Conforme o número de retangulos aumenta, aproxima-se da área exata de 8/3<ref>{{Citar web|url = http://omonitor.io/?q=aproxareasobgrafico|titulo = Confira este exemplo e faça outros com <b>O Monitor</b>|acessodata = 2016-03-19|obra = omonitor.io}}</ref> ]]
Tomado um exemplo, a área sob a curva de y=''x''<sup>2</sup> entre 0 e 2 pode ser processualmente computada usando o método de Riemann.

O intervalo [0,2] é primeiramente dividido em ''n'' subintervalos, cada um deles com comprimento de <math id="https://upload.wikimedia.org/math/a/b/6/ab6371e674f941634622b15fd9607448.png">\frac {2}{n}</math> ; esse é o comprimento dos retângulos de Riemann (a seguir chamadas “caixas”). Já que será usada a soma de Riemann à direita, a sequência de coordenadas x para as caixas será <math id="https://upload.wikimedia.org/math/a/b/6/ab6371e674f941634622b15fd9607448.png">x_1, x_2,...,x_n</math>. Dessa forma, a sequência de alturas das caixas será <math id="https://upload.wikimedia.org/math/a/b/6/ab6371e674f941634622b15fd9607448.png">x_1^2, x_2^2,...,x^2_n</math>. É um fato importante que <math id="https://upload.wikimedia.org/math/a/b/6/ab6371e674f941634622b15fd9607448.png">x_i=\frac {2i}{n}</math> e <math id="https://upload.wikimedia.org/math/a/b/6/ab6371e674f941634622b15fd9607448.png">x_n=2</math>.

A área de cada caixa será <math id="https://upload.wikimedia.org/math/a/b/6/ab6371e674f941634622b15fd9607448.png">\frac {2}{n}\times x^2_i</math> e sendo assim a soma de Riemann à direita será: 

<math>\begin{matrix}S&=& \frac {2}{n}\times \left (\frac {2}{n} \right)^2+...+ \frac {2}{n}\times \left (\frac {2i}{n}\right)^2+...+\frac {2}{n}\times \left (\frac {2n}{n}\right)^2 \\
&=& \frac {8}{n^3}(1+...+i^2+...n^2)\\
&=& \frac {8}{n^3}\left (\frac {n(n+1)(2n+1)}{6}\right)\\
&=& \frac {8}{n^3} \left ( \frac {2n^3+3n^2+n}{6}\right) \\
&=& \frac {8}{3}+\frac {4}{n}+\frac {4}{3n^2}
\end{matrix}</math>

Se o limite é visualizado como  ''n'' → ∞, pode-se concluir que a aproximação alcança o valor real da área  sob a curva ao passo que o número de caixas aumenta. <gallery>
[[Ficheiro:Area-under-curve-for-x-squared.svg|thumb|Uma representação visual da área sob a curva y = x2 para o intervalo 0,
2]]
</gallery>Consequentemente:

<math>\lim_{n\to \infty}S=\lim_{n \to \infty} \left (\frac {8}{3}+\frac {4}{n}+\frac {4}{3n^2} \right )= \frac {8}{3}</math> .

Esse método concorda com a integral definida tal qual calculada nos modos mais mecânicos:


<math id="https://upload.wikimedia.org/math/a/b/6/ab6371e674f941634622b15fd9607448.png">\int^2_0x^2dx=\frac {8}{3}</math>
:<math>S = \sum_{i=1}^{n} f(y_i)(x_{i}-x_{i-1})</math>


== Animações ==
onde ''x''<sub>''i''-1</sub> ≤ ''y''<sub>''i''</sub> ≤ ''x''<sub>''i''</sub>. A escolha de ''y''<sub>''i''</sub> neste intervalo é arbitrária. Se ''y''<sub>''i''</sub> = ''x''<sub>''i''-1</sub> para ''todo'' o ''i'', então ''S'' é chamado uma '''soma de Riemann à esquerda'''. Se ''y''<sub>''i''</sub> = ''x''<sub>''i''</sub>, então ''S'' é chamada uma '''soma de Riemann à direita'''. Se ''y''<sub>''i''</sub> = (''x''<sub>''i''</sub>+''x''<sub>''i-1''</sub>)/2, então ''S'' é chamado uma '''soma de Riemann média'''. A média das somas de Riemann à direita e à esquerda é a '''soma trapezoidal'''.
[[Ficheiro:Riemann sum (leftbox).gif|none|thumb|Soma de Riemann à Esquerda]]
[[Ficheiro:Riemann sum (rightbox).gif|none|thumb|Soma de Riemann à Direita]]
[[Ficheiro:Riemann sum (middlebox).gif|none|thumb|Soma de Riemann Média]]
[[Ficheiro:Riemann sum (y=x^2).gif|none|thumb|Soma de Riemann para y=x²]]


== Ver também ==
Se é dado que
[[Integral de Riemann]]


[[Integral de Riemann-Stieltjes]]
:<math>S = \sum_{i=1}^{n} v_i(x_{i}-x_{i-1})</math>


[[Integral de Lebesgue]]
onde ''v''<sub>''i''</sub> é o [[Supremo e ínfimo|supremo]] de ''f'' sobre [''x''<sub>''i''-1</sub>, x<sub>i</sub>], então ''S'' é definido ser uma '''soma de Riemann superior'''. Similarmente, se ''v''<sub>''i''</sub> é o [[Supremo e ínfimo|ínfimo]] de ''f'' sobre [''x''<sub>''i''&minus;1</sub>, ''x''<sub>''i''</sub>], então ''S'' é uma '''soma de Riemann inferior'''.


[[Fórmula de Simpson]]
Qualquer soma de Riemann (isto é, uma soma obtida com qualquer escolha de ''y''<sub>''i''</sub> entre ''x''<sub>''i''-1</sub> e ''x''<sub>''i''</sub>) sobre uma dada partição está entre as somas de Riemann inferior e superior. Uma função é definida ser ''[[Integral de Riemann|integrável pela integral de Riemann]]'' se as somas de Riemann inferior e superior se tornarem mais próximas à medida que a partição se torne mais fina (ou seja, conforme se aumente o númeto de pontos na partição ''P'' de ''I'', que é o mesmo que dizer que a amplitude da partição é diminuída), ou seja, se as somas inferiores e superiores convergirem para o mesmo valor. Este facto pode também ser usado para a [[integração numérica]].


[[Primitiva]]
{{em tradução|:en:Riemann sum}}


== Referências ==
== Referências ==
* Thomas, George B. Jr.; Finney, Ross L. (1996), ''Calculus and Analytic Geometry'' (9th ed.), Addison Wesley, ISBN 0-201-53174-7
* Thomas, George B. Jr.; Finney, Ross L. (1996), ''Calculus and Analytic Geometry'' (9th ed.), Addison Wesley, ISBN 0-201-53174-7


{{DEFAULTSORT:Soma De Riemann}}
[[Categoria:Cálculo integral]]
[[Categoria:Cálculo integral]]
[[Categoria:Bernhard Riemann]]

Edição atual tal como às 22h24min de 14 de setembro de 2023

Quatro dos métodos do somatório de Riemann para aproximação da área sob curvas. Métodos à direita e à esquerda fazem a aproximação usando os pontos finais à direita e à esquerda de cada subintervalo, respectivamente. Métodos máximo e mínimo fazem a aproximação usando o maior e menor valores de pontos finais de cada subintervalo, respectivamente. Os valores das somas convergem como os subintervalos da metade superior à esquerda a baixo à direita.

Na matemática, a soma de Riemann é uma aproximação obtida pela expressão .

É nomeada em homenagem ao matemático alemão Bernhard Riemann. Uma aplicação muito comum é a aproximação da área de funções ou linhas em um gráfico, mas também o comprimento das curvas e outras aproximações.

A soma é dada pela divisão da região a ser calculada em formas (retângulos, trapézios, parábolas ou cubos) que juntos formam uma região que é similar àquela a ser medida, então calcula-se a área de cada uma das formas, e finalmente soma-se todas essas áreas menores juntas.  Essa abordagem pode ser usada para encontrar uma aproximação numérica para a integral definida mesmo se o teorema fundamental do cálculo não ajudar a encontrar uma forma fechada.

Tendo em vista que a região preenchida pelas formas menores geralmente não corresponde a exata forma da região a ser medida, a Soma de Riemann será diferente desta. Esse erro pode ser reduzido se a região for mais dividida, usando formas cada vez menores. Ao passo que as formas ficam menores, a soma se aproxima a Integral de Riemann.

Normalmente a Soma de Riemann tem uma aplicação ótima para funções polinomiais ou algébricas, o que significa que é possível precisar o valor exato do limite da soma com facilidade. Porém, para funções ditas transcendentes o cálculo da integral definida é não trivial por Riemann, ocorrendo ele comumente pela formação de retângulos de forma análoga ao método da exaustão.

Definição[editar | editar código-fonte]

Considere f:D → R sendo uma função definida do subconjunto D, de números reais, R. Tome I = [ab] como um intervalo fechado contido em D, e

sendo uma partição de I, onde

Uma soma de Riemann de f sobre I com a partição P é definida como

Atenção no uso de “uma” ao invés de “a” em referência a soma de Riemann. Isso ocorre pelo fato que a escolha de  no intervalo  é arbitrária, dado o fato que qualquer função f definida em um intervalo I e na partição fixada P, pode produzir uma soma de Riemann diferente em decorrência de qual  foi escolhido, desde que  se mantenha verdadeiro.

Exemplo: Escolhas específicas de  nos dão diferentes tipos de soma de Riemann:

  • Se  para todo i, então S é chamado de Soma de Riemann à Esquerda;
  • Se  para todo i, então  S é chamado de Soma de Riemann à Direita;
  • Se  para todo i, então é S é chamado de Soma de Riemann Média.
  • A média entre a Soma à Esquerda e a Soma à Direita é chamada de Soma Trapezoidal.
  • Se é dado que   onde  é o supremo de f sobre , então S é definido como uma Soma de Riemann Superior;
  • De forma semelhante, se  é o ínfimo de f sobre , então S é definido como uma Soma de Riemann Inferior.

Qualquer soma de Riemann em dada partição (isto é, qualquer soma obtida pela escolha de  entre e  ) está entre as somas de Riemann superior e a inferior. Uma função é definida como integrável por Riemann se a soma inferior e superior forem se aproximando conforme a partição se afina. Este fato pode ser também usado para a integração numérica.

Método[editar | editar código-fonte]

Soma de Riemann à Esquerda[1]
Soma de Riemann à Direita

Os quatro métodos de Riemann para a soma são geralmente melhor usados com partições de tamanhos equivalentes. O intervalo [a, b] é, portanto, dividido em n subintervalos, de comprimento

  Os pontos na partição serão então

Soma de Riemann à Esquerda[editar | editar código-fonte]

Para a Soma de Riemann à Esquerda, aproxima-se a função pelo seu valor no ponto final à esquerda, dando múltiplos retângulos com base Δx e altura f(a+iΔx). Tomando para i = 0, 1, ... n-1, e adicionando as áreas resultantes temos

 A soma de Riemann à esquerda resulta em uma superestimação se f está monotonicamente decrescendo nesse intervalo, e em uma subestimação se f está monotonicamente crescendo.

Soma de Riemann à Direita[editar | editar código-fonte]

Nessa soma, aproxima-se f de seu valor no ponto final à direita. São gerados, então, múltiplos retângulos de base Δx e altura f(a+Δx). Tomando para i – 1 , ..., n e adicionando as áreas resultantes se produz

 

Soma de Riemann Média

A soma de Riemann à direita resulta em uma subestimação se f está monotonicamente decrescendo, e uma superestimação se f está

monotonicamente crescendo. O erro na fórmula será

 onde  é o valor máximo do valor absoluto de  nesse intervalo.

Soma de Riemann Regra Trapezoidal

Soma Média[editar | editar código-fonte]

Aproximando f no ponto médio dos intervalos expressam f(a+Δx/2) para o primeiro intervalo, para o próximo temos f(a+3Δx/2), e assim por diante até f(b-Δx/2). Somando as áreas temos

 

O erro dessa formula será

onde  é o valor máximo do valor absoluto de  nesse intervalo.

Regra Trapezoidal[editar | editar código-fonte]

Nesse caso, os valores da função f no intervalo são aproximados pela média dos valores nos pontos finais da direita e da esquerda. Dessa mesma maneira, um simples cálculo usando a formula da área

 para um trapézio de lados paralelos b1, b2 e altura h produz

O erro dessa fórmula será

 onde  é o valor máximo do valor absoluto de

 A aproximação obtida com a regra do trapézio para a função é o mesmo que a média da somas esquerdas e direitas dessa função.

Exemplo[editar | editar código-fonte]

O valor da Soma de Riemann sob a curva y=x² de 0 à 2. Conforme o número de retangulos aumenta, aproxima-se da área exata de 8/3[2]

Tomado um exemplo, a área sob a curva de y=x2 entre 0 e 2 pode ser processualmente computada usando o método de Riemann.

O intervalo [0,2] é primeiramente dividido em n subintervalos, cada um deles com comprimento de  ; esse é o comprimento dos retângulos de Riemann (a seguir chamadas “caixas”). Já que será usada a soma de Riemann à direita, a sequência de coordenadas x para as caixas será . Dessa forma, a sequência de alturas das caixas será . É um fato importante que  e .

A área de cada caixa será  e sendo assim a soma de Riemann à direita será: 

Se o limite é visualizado como  n → ∞, pode-se concluir que a aproximação alcança o valor real da área  sob a curva ao passo que o número de caixas aumenta.

Consequentemente:

.

Esse método concorda com a integral definida tal qual calculada nos modos mais mecânicos:

Animações[editar | editar código-fonte]

Soma de Riemann à Esquerda
Soma de Riemann à Direita
Soma de Riemann Média
Soma de Riemann para y=x²

Ver também[editar | editar código-fonte]

Integral de Riemann

Integral de Riemann-Stieltjes

Integral de Lebesgue

Fórmula de Simpson

Primitiva

Referências[editar | editar código-fonte]

  • Thomas, George B. Jr.; Finney, Ross L. (1996), Calculus and Analytic Geometry (9th ed.), Addison Wesley, ISBN 0-201-53174-7
  1. «Faça exemplos com O Monitor». omonitor.io. Consultado em 25 de março de 2016 
  2. «Confira este exemplo e faça outros com O Monitor». omonitor.io. Consultado em 19 de março de 2016