Cálculo (Volume 1)/Integrais: mudanças entre as edições
imported>Marcos Antônio Nunes de Moura |
imported>Courcelles m (File renamed: File:Integral de Riemman.svg → File:Integral de Riemann.svg File renaming criterion #5: Correct obvious errors in file names (e.g. incorrect proper nouns or fal...) |
||
(24 revisões intermediárias por 6 usuários não estão sendo mostradas) | |||
Linha 1: | Linha 1: | ||
<div style="background-color:#DFDFDF;width:100%;text-align:center;">'''''Wikiversidade - Disciplina: Cálculo I'''''</div> | <div style="background-color:#DFDFDF;width:100%;text-align:center;">'''''Wikiversidade - Disciplina: Cálculo I'''''</div> | ||
{{indentar}} | |||
==Integrais== | ==Integrais== | ||
Linha 12: | Linha 12: | ||
|- | |- | ||
| | | | ||
{{ | {{wikipedia|Integral}} | ||
|} | |} | ||
---- | ---- | ||
==Antiderivadas e antidiferenciais== | ==Antiderivadas e antidiferenciais== | ||
Como procedemos para reverter a derivação? O princípio é verificado através da análise da inversão, da seguinte forma: | Como procedemos para reverter a derivação? O princípio é verificado através da análise da inversão, da seguinte forma: | ||
Considere a função <math> F(x)=f(x)+C </math> cuja derivada <math>F\ '(x) = f\ '(x)</math>, então dizemos que <math>F(x)</math> é a antiderivada de <math>f\ '(x)</math>, a nossa primeira constatação é que a função primitiva inclui uma constante, que durante o processo de derivação é descartada, já que sua derivada é nula, se fizermos o processo inverso para obter a função original teríamos <math>f\ '(x)</math> para operar e consegui-lo, isso nos leva a uma indefinição da função obtida através da antidiferenciação, a menos que conheçamos o valor da constante. Se quisermos obter a função original teríamos que operar <math> f\ '(x)</math> e zero, o primeiro | Considere a função <math> F(x)=f(x)+C </math> cuja derivada <math>F\ '(x) = f\ '(x) </math>, então dizemos que <math>F(x) </math> é a antiderivada de <math>f\ '(x) </math>, a nossa primeira constatação é que a função primitiva inclui uma constante, que durante o processo de derivação é descartada, já que sua derivada é nula, se fizermos o processo inverso para obter a função original teríamos <math>f\ '(x) </math> para operar e consegui-lo, isso nos leva a uma indefinição da função obtida através da antidiferenciação, a menos que conheçamos o valor da constante. Se quisermos obter a função original teríamos que operar <math> f\ '(x) </math> e zero, o primeiro requisito é, a princípio, plausível de ser conseguido, porém operar zero para obtenção de qualquer constante parece algo não concebível. | ||
Podemos então dizer: | Podemos então dizer: | ||
Linha 34: | Linha 31: | ||
A antidiferenciação, opera apenas os processos para dedução de um esboço da | A antidiferenciação, opera apenas os processos para dedução de um esboço da | ||
função, o que chamamos de fórmula geral, no formato: <math>f(x)+C</math>. | função, o que chamamos de fórmula geral, no formato: <math>f(x)+C </math>. | ||
Como podemos encontrar diversas constantes, temos diversas funções, o que nos dá a possibilidade de operar, por exemplo as funções: <math>f\ '(x)\quad ;\quad g\ '(x)</math> derivadas de <math>f(x)+C\quad ; \quad g(x)+D</math>, mesmo que <math>f\ '(x)=g\ '(x)</math>, ao operarmos as funções derivadas utilizando a antidiferenciação teremos <math>f(x)\quad ;\quad g(x)</math>, que não nos garante meios de encontrar as primitivas, visto que não conhecemos meios para deduzir as constantes. | Como podemos encontrar diversas constantes, temos diversas funções, o que nos dá a possibilidade de operar, por exemplo as funções: <math>f\ '(x)\quad ;\quad g\ '(x) </math> derivadas de <math>f(x)+C\quad ; \quad g(x)+D </math>, mesmo que <math>f\ '(x)=g\ '(x) </math>, ao operarmos as funções derivadas utilizando a antidiferenciação teremos <math>f(x)\quad ;\quad g(x) </math>, que não nos garante meios de encontrar as primitivas, visto que não conhecemos meios para deduzir as constantes. | ||
---- | ---- | ||
Linha 42: | Linha 39: | ||
==Definições== | ==Definições== | ||
Ao operar a inversa da derivada, podemos fazer a análise com as diferenciais, ou seja, cosidere a função <math>y=f(x)+C </math>, então temos: <math>\frac {\mbox{d}y}{\mbox{d}x}=f\ '(x) </math>, o que nos leva a algo muito interessante: | |||
Ao operar a inversa da derivada, podemos fazer a análise com as diferenciais, ou seja, cosidere a função <math>y=f(x)+C</math>, então temos: <math>\frac {\mbox{d}y}{\mbox{d}x}=f\ '(x)</math>, o que nos leva a algo muito interessante: | |||
<math> \mbox{d}y = f\ '(x) \cdot \mbox{d}x </math> | <math> \mbox{d}y = f\ '(x) \cdot \mbox{d}x </math> | ||
Linha 51: | Linha 47: | ||
<math>\lim_{\Delta x \to 0} \Delta y = \lim_{\Delta x \to 0} f\ '(x) \cdot \Delta x </math> | <math>\lim_{\Delta x \to 0} \Delta y = \lim_{\Delta x \to 0} f\ '(x) \cdot \Delta x </math> | ||
Temos ainda que <math>y=f(x)+C</math>, fazendo-nos deduzir que precisamos operar: | Temos ainda que <math>y=f(x)+C </math>, fazendo-nos deduzir que precisamos operar: | ||
<math> \lim_{\Delta x \to 0} f\ '(x) \cdot \Delta x </math> | <math> \lim_{\Delta x \to 0} f\ '(x) \cdot \Delta x </math> | ||
Linha 58: | Linha 54: | ||
Esta operação é chamada de antidiferencial e é simbolizada por: | Esta operação é chamada de antidiferencial e é simbolizada por: | ||
<math> \int f \cdot \mbox{d} </math> | <math> \int f \cdot \mbox{d} </math> | ||
Linha 64: | Linha 59: | ||
Onde (''f'') é a função e (d) é a diferencial da variável independente. | Onde (''f'') é a função e (d) é a diferencial da variável independente. | ||
De forma mais completa a antidiferencial da função <math>f\ '(x)</math> é: | De forma mais completa a antidiferencial da função <math>f\ '(x) </math> é: | ||
<math> \int f\ '(x) \cdot \mbox{d}x + C</math> | <math> \int f\ '(x) \cdot \mbox{d}x + C </math> | ||
onde ''C'' é a constante que define a função primitiva. | onde ''C'' é a constante que define a função primitiva. | ||
Linha 81: | Linha 76: | ||
|título=Integração de diferenciais | |título=Integração de diferenciais | ||
|texto= | |texto= | ||
A diferencial <math>\mbox{d}x</math> ao ser operada pela antidiferenciação, resulta: | A diferencial <math>\mbox{d}x </math> ao ser operada pela antidiferenciação, resulta: | ||
|fórmula= | |fórmula= | ||
<math>\int \mbox{d}x=x+C | <math>\int \mbox{d}x=x+C </math> | ||
}} | }} | ||
Linha 90: | Linha 85: | ||
'''Comprovação:''' | '''Comprovação:''' | ||
De fato se <math>F(x)=x+C | De fato se <math>F(x)=x+C </math>: | ||
<math>\mbox{d}\ F(x)= \mbox{d}x + 0 | <math>\mbox{d}\ F(x)= \mbox{d}x + 0 </math> | ||
<math>\mbox{d}\ F(x)= \mbox{d}x | <math>\mbox{d}\ F(x)= \mbox{d}x </math> | ||
===T21 - Constantes=== | ===T21 - Constantes=== | ||
Linha 103: | Linha 98: | ||
A constante ''c'' é operada como coeficiente da variável independente, de forma que sua antidiferencial é: | A constante ''c'' é operada como coeficiente da variável independente, de forma que sua antidiferencial é: | ||
|fórmula= | |fórmula= | ||
<math>\int c\ \mbox{d}x = c \cdot x</math> | <math>\int c\ \mbox{d}x = c \cdot x </math> | ||
}} | }} | ||
'''Comprovação:''' | '''Comprovação:''' | ||
Se fizermos: <math> f(x)=c\ x</math>, teremos: | Se fizermos: <math> f(x)=c\ x </math>, teremos: | ||
<math>f\ '(x)= c</math> | <math>f\ '(x)= c </math> | ||
Conforme o teorema [[../Derivadas#T13 - fator|T13 - fator]]. | Conforme o teorema [[../Derivadas#T13 - fator|T13 - fator]]. | ||
Linha 118: | Linha 113: | ||
{{Teorema | {{Teorema | ||
|título=Integral da adição de funções | |título=Integral da adição de funções | ||
|texto=Se <math>f(x)=g(x) + h(x)</math> então: | |texto=Se <math>f(x)=g(x) + h(x) </math> então: | ||
|fórmula= | |fórmula= | ||
<math>\int f(x)\mbox{d}x=\int g(x)\mbox{d}x + \int h(x)\mbox{d}x</math> | <math>\int f(x)\mbox{d}x=\int g(x)\mbox{d}x + \int h(x)\mbox{d}x </math> | ||
}} | }} | ||
'''Comprovação:''' | '''Comprovação:''' | ||
Se <math>f(x)</math> é o resultado da soma de duas antidiferenciais, logo: | Se <math>f(x) </math> é o resultado da soma de duas antidiferenciais, logo: | ||
#Temos que admitir que <math>g(x)</math> e <math>h(x)</math> são diferenciais; | #Temos que admitir que <math>g(x) </math> e <math>h(x) </math> são diferenciais; | ||
#A soma de diferenciais admite que: | #A soma de diferenciais admite que: | ||
## Se <math>g(x)= \mbox{d} m </math> e <math>h(x)= \mbox{d} n </math>, temos: <math>g(x) + h(x)= \mbox{d} m + \mbox{d} n </math> | ## Se <math>g(x)= \mbox{d} m </math> e <math>h(x)= \mbox{d} n </math>, temos: <math>g(x) + h(x)= \mbox{d} m + \mbox{d} n </math> | ||
## Sendo, portanto, possível fazer: <math>g(x) + h(x)= \mbox{d} (m + n) </math> | ## Sendo, portanto, possível fazer: <math>g(x) + h(x)= \mbox{d} (m + n) </math> | ||
## Além disso: Se <math>(m + n) = p</math> então, podemos fazer: <math>f(x)= \mbox{d} p </math> | ## Além disso: Se <math>(m + n) = p </math> então, podemos fazer: <math>f(x)= \mbox{d} p </math> | ||
Portanto, pela análise da reversibilidade, é possível constatar que a adição de duas antidiferenciais pode ser operada distributivamente, o que atesta a regra que expomos. | Portanto, pela análise da reversibilidade, é possível constatar que a adição de duas antidiferenciais pode ser operada distributivamente, o que atesta a regra que expomos. | ||
Linha 140: | Linha 135: | ||
|título=Antidiferencial da função com expoente constante | |título=Antidiferencial da função com expoente constante | ||
|texto= | |texto= | ||
Seja a função <math>f(x)={x^n}</math> onde n é constante, sua antidiferencial é: | Seja a função <math>f(x)={x^n} </math> onde n é constante, sua antidiferencial é: | ||
|fórmula= | |fórmula= | ||
<math>U(x)= \int f(x) \mbox{d} x = \frac {x^{n+1}}{n+1}+C</math> ; onde: <math>n \ne -1</math> | <math>U(x)= \int f(x) \mbox{d} x = \frac {x^{n+1}}{n+1}+C </math> ; onde: <math>n \ne -1 </math> | ||
}} | }} | ||
Linha 149: | Linha 144: | ||
'''Comprovação:''' | '''Comprovação:''' | ||
<math> U\ '(x)= \frac{\mbox{d} \frac{x^{n+1}}{n+1}+C}{\mbox{d} x}</math> | <math> U\ '(x)= \frac{\mbox{d} \frac{x^{n+1}}{n+1}+C}{\mbox{d} x} </math> | ||
<math> U\ '(x)= \frac{1}{n+1} \frac{\mbox{d} ({x^{n+1}})}{\mbox{d} x} + \frac{\mbox{d} C}{\mbox{d} x}</math> | <math> U\ '(x)= \frac{1}{n+1} \frac{\mbox{d} ({x^{n+1}})}{\mbox{d} x} + \frac{\mbox{d} C}{\mbox{d} x} </math> | ||
<math> U\ '(x)= \frac{1}{n+1} \cdot (n+1) (x^n) + 0</math> | <math> U\ '(x)= \frac{1}{n+1} \cdot (n+1) (x^n) + 0 </math> | ||
<math> U\ '(x)={x^n}</math> | <math> U\ '(x)={x^n} </math> | ||
<math> U\ '(x)=f(x)</math> | <math> U\ '(x)=f(x) </math> | ||
===T24 - Regra da cadeia para antidiferenciais=== | ===T24 - Regra da cadeia para antidiferenciais=== | ||
Linha 164: | Linha 159: | ||
|título=Regra da cadeia para antidiferenciais | |título=Regra da cadeia para antidiferenciais | ||
|texto= | |texto= | ||
Seja as funções <math>f(u)</math> e <math>u=g(x)</math>, contínuas em seus domínios ou no intervalo a que se propõe a análise em questão. A antidiferencial da função composta <math>f(u)</math> com relação a ''x'' é: | Seja as funções <math>f(u) </math> e <math>u=g(x) </math>, contínuas em seus domínios ou no intervalo a que se propõe a análise em questão. A antidiferencial da função composta <math>f(u) </math> com relação a ''x'' é: | ||
|fórmula= | |fórmula= | ||
<math>\int f(u) \mbox{d} x = \int f(g(x)) \cdot g\ '(x) \mbox{d} x + C </math> | <math>\int f(u) \mbox{d} x = \int f(g(x)) \cdot g\ '(x) \mbox{d} x + C </math> | ||
Linha 175: | Linha 170: | ||
Uma vez que: | Uma vez que: | ||
<math>u=g(x)</math> , temos: | <math>u=g(x) </math> , temos: | ||
<math>\mbox{d} u= g\ '(x) \cdot \mbox{d} x</math> | <math>\mbox{d} u= g\ '(x) \cdot \mbox{d} x </math> | ||
O que nos possibilita operar, por substituição: | O que nos possibilita operar, por substituição: | ||
<math>\int f(u) \mbox{d} u</math>, obtendo: | <math>\int f(u) \mbox{d} u </math>, obtendo: | ||
<math>\int f(u) \cdot g\ '(x) \cdot \mbox{d} x </math> | <math>\int f(u) \cdot g\ '(x) \cdot \mbox{d} x </math> | ||
Linha 189: | Linha 184: | ||
para definir a antiderivada, usamos a constante ''C'': | para definir a antiderivada, usamos a constante ''C'': | ||
<math>\int f(g(x)) \cdot g\ '(x) \cdot \mbox{d} x + C</math> | <math>\int f(g(x)) \cdot g\ '(x) \cdot \mbox{d} x + C </math> | ||
O que comprova a regra. | O que comprova a regra. | ||
Linha 198: | Linha 193: | ||
Considerando a questão da indefinição criada pela diferenciação, o processo de antidiferenciação traz uma conseqüência indesejável para o processo de equacionamento de diferenciais. Quando uma equação diferencial é proposta, a constante de antidiferenciação faz com que o processo de resolução seja bastante prejudicado, o que exige que tenhamos técnicas especiais para tentar resolvê-la. Faremos agora uma breve introdução aos conceitos de equações diferenciais, porém, o estudo completo do tema demanda um aprofundamento maior por parte dos interessados, ao longo dos nossos estudos teremos meios para simplificar o processo, embora que a solução de muitas equações diferenciais quando não são impossíveis exigem muito esforço e dedicação. | Considerando a questão da indefinição criada pela diferenciação, o processo de antidiferenciação traz uma conseqüência indesejável para o processo de equacionamento de diferenciais. Quando uma equação diferencial é proposta, a constante de antidiferenciação faz com que o processo de resolução seja bastante prejudicado, o que exige que tenhamos técnicas especiais para tentar resolvê-la. Faremos agora uma breve introdução aos conceitos de equações diferenciais, porém, o estudo completo do tema demanda um aprofundamento maior por parte dos interessados, ao longo dos nossos estudos teremos meios para simplificar o processo, embora que a solução de muitas equações diferenciais quando não são impossíveis exigem muito esforço e dedicação. | ||
===Diferenciais de primeira ordem=== | ===Diferenciais de primeira ordem=== | ||
Seja a equação <math>y=f(x)+a | Seja a equação <math>y=f(x)+a </math>, a sua derivada é expressa como: | ||
<math> \frac {\mbox{d} y}{\mbox{d} x}=f\ '(x)</math> | <math> \frac {\mbox{d} y}{\mbox{d} x}=f\ '(x) </math> | ||
sendo <math>a | sendo <math>a </math> uma constante arbitrária, definida pelas características das deduções que originaram a equação. | ||
O que resulta na equação diferencial: | O que resulta na equação diferencial: | ||
<math> {\mbox{d} y}=f\ '(x)\cdot {\mbox{d} x}</math> | <math> {\mbox{d} y}=f\ '(x)\cdot {\mbox{d} x} </math> | ||
Esta equação é denominada: '''Equação diferencial de primeira ordem''', visto que é originada de uma derivada primeira, o que permite facilmente separar as variáveis diferenciais. Por outro lado, como meio para reverter o processo de diferenciação, fazemos: | Esta equação é denominada: '''Equação diferencial de primeira ordem''', visto que é originada de uma derivada primeira, o que permite facilmente separar as variáveis diferenciais. Por outro lado, como meio para reverter o processo de diferenciação, fazemos: | ||
<math> \int {\mbox{d} y}=\int f\ '(x)\cdot {\mbox{d} x} + C</math> | <math> \int {\mbox{d} y}=\int f\ '(x)\cdot {\mbox{d} x} + C </math> | ||
Com ''C'' constante; lembre-se que ''C'' é uma constante não definida, a constante original é <math>a | Com ''C'' constante; lembre-se que ''C'' é uma constante não definida, a constante original é <math>a </math>. | ||
Pelo exposto deduzimos que a equação assumirá a forma: | Pelo exposto deduzimos que a equação assumirá a forma: | ||
<math>y=f(x)+C | <math>y=f(x)+C </math> | ||
Porém, como C é uma constante indefinida, temos uma função ainda indefinida. | Porém, como C é uma constante indefinida, temos uma função ainda indefinida. | ||
===Constante antidiferencial=== | ===Constante antidiferencial=== | ||
A constante resultante da indefinição na antidiferenciação é expressa na equação diferencial como observamos na seção anterior, para aumentar as possibilidades da análise, cosideremo-la como variável, ao fazer isto temos um comportamento interessante para a função resultante; quando atribuimos valores a esta variável temos uma equação para cada valor assumido pela mesma, se observarmos mais atentamente, descobriremos que o gráfico da função mantém a forma, porém varia a altura em relação ao eixo das abscissas (variável independente), ou seja, a equação antidiferencial fornece um conjunto de curvas, o que possibilita uma infinidade de valores. | A constante resultante da indefinição na antidiferenciação é expressa na equação diferencial como observamos na seção anterior, para aumentar as possibilidades da análise, cosideremo-la como variável, ao fazer isto temos um comportamento interessante para a função resultante; quando atribuimos valores a esta variável temos uma equação para cada valor assumido pela mesma, se observarmos mais atentamente, descobriremos que o gráfico da função mantém a forma, porém varia a altura em relação ao eixo das abscissas (variável independente), ou seja, a equação antidiferencial fornece um conjunto de curvas, o que possibilita uma infinidade de valores. | ||
Linha 233: | Linha 226: | ||
No nosso caso da seção anterior coseguimos a fórmula geral: | No nosso caso da seção anterior coseguimos a fórmula geral: | ||
<math>y=f(x)+C | <math>y=f(x)+C</math> | ||
Certamente, podemos afirmar que: | Certamente, podemos afirmar que: | ||
Quando <math>f(x)=0 | Quando <math>f(x)=0 </math> temos <math>y=a </math> pois: | ||
<math>a=0+C | <math>a=0+C </math> | ||
<math>C=a | <math>C=a </math> | ||
É uma afirmação fácil de ser encontrada, uma vez que conhecemos a equação original, porém se não a conhecemos, a observação e a dedução lógica devem ser usadas para encontrá-la. Algumas vezes podemos nos perguntar: Basta-nos conhecer o conjunto de equações ou precisamos de uma equação específica? O mérito desta questão deve ser avaliado de acordo com a necessidade da análise a ser feita, cabendo ao analista verificar quais são seus | É uma afirmação fácil de ser encontrada, uma vez que conhecemos a equação original, porém se não a conhecemos, a observação e a dedução lógica devem ser usadas para encontrá-la. Algumas vezes podemos nos perguntar: Basta-nos conhecer o conjunto de equações ou precisamos de uma equação específica? O mérito desta questão deve ser avaliado de acordo com a necessidade da análise a ser feita, cabendo ao analista verificar quais são seus requisitos dentro do que se propõe a verificar. | ||
---- | ---- | ||
Linha 251: | Linha 244: | ||
Seja a antidiferencial: | Seja a antidiferencial: | ||
<math>\int f(x) \mbox{d} x</math> | <math>\int f(x) \mbox{d} x </math> | ||
Observamos que a mesma corresponde a uma operação sobre pequenas seções de área, pois <math>f(x) \mbox{d} x</math> corresponde a multiplicação de um segmento numérico de largura, <math>\mbox{d}x</math>, pela altura, o valor da função aproximada ao limite em cada ponto. | Observamos que a mesma corresponde a uma operação sobre pequenas seções de área, pois <math>f(x) \mbox{d} x </math> corresponde a multiplicação de um segmento numérico de largura, <math>\mbox{d}x </math>, pela altura, o valor da função aproximada ao limite em cada ponto. | ||
A operação da forma que se apresenta estende-se de <math>- \infty</math> a <math>+ \infty</math>. Analisando qual a natureza desta operação, podemos tomar dois valores para <math>\mbox{d} x</math>, sejam: <math>{\mbox{d} x}_1</math> e <math>{\mbox{d} x}_2</math>, sendo <math>{\mbox{d} x}_2\ >\ {\mbox{d} x}_1</math>, quando analisamos este fato concluimos que a área do intervalo menor está dentro da área do maior, vemos que a operação comporta-se como uma soma de áreas, se somarmos todas as componentes de áreas ao longo da curva teremos uma área delimitada pela curva e o eixo ''x''. | A operação da forma que se apresenta estende-se de <math>- \infty </math> a <math>+ \infty </math>. Analisando qual a natureza desta operação, podemos tomar dois valores para <math>\mbox{d} x </math>, sejam: <math>{\mbox{d} x}_1 </math> e <math>{\mbox{d} x}_2 </math>, sendo <math>{\mbox{d} x}_2\ >\ {\mbox{d} x}_1 </math>, quando analisamos este fato concluimos que a área do intervalo menor está dentro da área do maior, vemos que a operação comporta-se como uma soma de áreas, se somarmos todas as componentes de áreas ao longo da curva teremos uma área delimitada pela curva e o eixo ''x''. | ||
Chamamos esta operação de '''integral''', seu símbolo é o mesmo da antidiferenciação, pois devido aos fatos acima introduzidos e ao teorema fundamental do cálculo, que discutiremos adiante, a operação de antidiferenciação pode ser chamada de '''integral indefinida'''. | Chamamos esta operação de '''integral''', seu símbolo é o mesmo da antidiferenciação, pois devido aos fatos acima introduzidos e ao teorema fundamental do cálculo, que discutiremos adiante, a operação de antidiferenciação pode ser chamada de '''integral indefinida'''. | ||
---- | ---- | ||
==A integral definida== | ==A integral definida== | ||
Aprofundando o conceito de que há uma soma de pequenos segmentos de área para cada ponto em uma curva, podemos delimitar uma seção da curva, através da adoção de um intervalo, desta forma teremos uma área definida, a qual chamamos de integral definida. Antes de detalhar o processo para encontrar a referida área faz-se necessário a observação de conceitos que serão úteis para seu desenvolvimento, o próximo tópico abordará a somatória, um procedimento que facilitará o estudo das somas sucessivas que propomos analisar. | Aprofundando o conceito de que há uma soma de pequenos segmentos de área para cada ponto em uma curva, podemos delimitar uma seção da curva, através da adoção de um intervalo, desta forma teremos uma área definida, a qual chamamos de integral definida. Antes de detalhar o processo para encontrar a referida área faz-se necessário a observação de conceitos que serão úteis para seu desenvolvimento, o próximo tópico abordará a somatória, um procedimento que facilitará o estudo das somas sucessivas que propomos analisar. | ||
===Somatórias=== | ===Somatórias=== | ||
Considere a operação: <math>U=a_1+a_2+a_3+a_3+a_4+...a_n | Considere a operação: <math>U=a_1+a_2+a_3+a_3+a_4+...a_n </math>, chamamos esta operação de somatória, ela é simbolizada pela letra grega sigma (<math>\Sigma </math>), utilizando a notação escrita como segue: | ||
<math>\sum_{i=1}^n a_i </math> | <math>\sum_{i=1}^n a_i </math> | ||
O significado deste símbolo é facilmente compreendido: A variável i é chamada de índice, o número n é a quantidade de parcelas, ocorre que, ao substituir estes valores na expressão <math>a_i</math>, fazemos de forma seqüencial, somando um valor ao anterior, como descrito na operação acima, o que resultará no valor final de ''U'', pretendido na referida operação. | O significado deste símbolo é facilmente compreendido: A variável i é chamada de índice, o número n é a quantidade de parcelas, ocorre que, ao substituir estes valores na expressão <math>a_i</math>, fazemos de forma seqüencial, somando um valor ao anterior, como descrito na operação acima, o que resultará no valor final de ''U'', pretendido na referida operação. | ||
'''Propriedades''' | '''Propriedades''' | ||
Linha 282: | Linha 270: | ||
====T25 - Constante==== | ====T25 - Constante==== | ||
<math>\sum_{i=1}^n c = nc</math> | <math>\sum_{i=1}^n c = nc </math> | ||
com c constante. | com c constante. | ||
Linha 288: | Linha 276: | ||
'''Comprovação:''' | '''Comprovação:''' | ||
<math>\sum_{i=1}^n c = c+c+c+c+c+c+ \dots +c \Rightarrow</math> n vezes. | <math>\sum_{i=1}^n c = c+c+c+c+c+c+ \dots +c \Rightarrow </math> n vezes. | ||
====T26 - Fator==== | ====T26 - Fator==== | ||
<math>\sum_{i=1}^n cf(i) = c\sum_{i=1}^n f(i)</math> | <math>\sum_{i=1}^n cf(i) = c\sum_{i=1}^n f(i) </math> | ||
com c constante. | com c constante. | ||
Linha 298: | Linha 286: | ||
'''Comprovação:''' | '''Comprovação:''' | ||
<math>\sum_{i=1}^n cf(i) = cf(1)+cf(2)+cf(3)+cf(4)+cf(5)+cf(6)+ \dots +cf(n) | <math>\sum_{i=1}^n cf(i) = cf(1)+cf(2)+cf(3)+cf(4)+cf(5)+cf(6)+ \dots +cf(n) </math> | ||
<math>\sum_{i=1}^n cf(i) = c[f(1)+f(2)+f(3)+f(4)+f(5)+f(6)+ \dots +f(n)] </math> | |||
====T27 - Adição ==== | ====T27 - Adição ==== | ||
<math>\sum_{i=1}^n [f(i) + g(i)] = \sum_{i=1}^n f(i) + \sum_{i=1}^n g(i)</math> | <math>\sum_{i=1}^n [f(i) + g(i)] = \sum_{i=1}^n f(i) + \sum_{i=1}^n g(i) </math> | ||
'''Comprovação:''' | '''Comprovação:''' | ||
<math>\sum_{i=1}^n [f(i) + g(i)] = [f(1) + g(1)] + [f(2) + g(2)] + [f(3) + g(3)]+ \dots +[f(n) + g(n)] </math> | |||
<math>\sum_{i=1}^n [f(i) + g(i)] = [f(1) + f(2) + f(3)+ \dots +f(n)] + [g(1) + g(2) + g(3)+ \dots +g(n)] </math> | |||
<math>\sum_{i=1}^n [f(i) + g(i)] = [f(1) + f(2) + f(3)+ \dots +f(n)] + [g(1) + g(2) + g(3)+ \dots +g(n)]</math> | |||
====T28 - Exclusão de termo antecedente==== | ====T28 - Exclusão de termo antecedente==== | ||
<math>\sum_{i=1}^n [f(i)- f(i-1)] = f(n)\ -\ f(0)</math> | <math>\sum_{i=1}^n [f(i)- f(i-1)] = f(n)\ -\ f(0) </math> | ||
'''Comprovação''' | '''Comprovação''' | ||
<math>\sum_{i=1}^n [f(i)- f(i-1)] = f(1)\ -\ f(0) + f(2)\ -\ f(1) +f(3)\ -\ f(2) +f(4)\ -\ f(3) - \dots + f(n)-f(n-1)</math> | <math>\sum_{i=1}^n [f(i)- f(i-1)] = f(1)\ -\ f(0) + f(2)\ -\ f(1) +f(3)\ -\ f(2) +f(4)\ -\ f(3) - \dots + f(n)-f(n-1) </math> | ||
<math>\sum_{i=1}^n [f(i)- f(i-1)] = - f(0) + f(n) </math> | <math>\sum_{i=1}^n [f(i)- f(i-1)] = - f(0) + f(n) </math> | ||
===Definição da Integral de Riemann=== | ===Definição da Integral de Riemann=== | ||
O conceito de integral está ligado à necessidade de encontrar a área de curvas, as abordagens tomadas para solucionar o problema do cálculo de áreas curvas encontram sempre o mesmo resultado. Para não nos extendermos muito, faremos uma explanação do processo chamado: '''Integral de Riemann''', o qual é um dos mais conhecidos. | O conceito de integral está ligado à necessidade de encontrar a área de curvas, as abordagens tomadas para solucionar o problema do cálculo de áreas curvas encontram sempre o mesmo resultado. Para não nos extendermos muito, faremos uma explanação do processo chamado: '''Integral de Riemann''', o qual é um dos mais conhecidos. | ||
Linha 332: | Linha 316: | ||
Vejamos o gráfico abaixo: | Vejamos o gráfico abaixo: | ||
[[Imagem:Riemann. | [[Imagem:Integral de Riemann.svg|400px]] | ||
''Integral de Riemann'' | ''Integral de Riemann'' | ||
Linha 339: | Linha 323: | ||
O gráfico mostra uma função sinuosa, se fizermos seções retangulares para imitar o contorno das curvas teremos uma maneira grosseira de calcular a área delimitada pela curva e o eixo ''x'', uma vez que temos a possibilidade de aumentar a quantidade de retângulos, podemos aumentar a precisão dos nossos cálculos... Se fizermos com que o número de retângulos aumente numa tendência ao infinito, teremos o valor da área. | O gráfico mostra uma função sinuosa, se fizermos seções retangulares para imitar o contorno das curvas teremos uma maneira grosseira de calcular a área delimitada pela curva e o eixo ''x'', uma vez que temos a possibilidade de aumentar a quantidade de retângulos, podemos aumentar a precisão dos nossos cálculos... Se fizermos com que o número de retângulos aumente numa tendência ao infinito, teremos o valor da área. | ||
Consideremos a função do gráfico: <math>y=f(x)</math>, a sua integral entre os valores de x: ''a'' e ''b'' é: | Consideremos a função do gráfico: <math>y=f(x) </math>, a sua integral entre os valores de x: ''a'' e ''b'' é: | ||
<math> \int^b_a f(x) \mbox{d} x</math> | <math> \int^b_a f(x) \mbox{d} x </math> | ||
Chamamos o intervalo <math>[a,b]</math> de '''partição''' e simbolizamos como: <math>\Delta</math>. Ao dividirmos o intervalo <math>[a,b]</math> em ''n'' "pedaços"(seções) temos a possibilidade de definir o tamanho de cada um, porém a regra de Riemann é mais flexível e estabelece que podemos ter pedaços de tamanhos diferentes, de forma que tenhamos apenas que estabelecer os valores de ''x'' tal que: <math>\{x_1<x_2<x_3<x_4<x_5< \dots <x_n\}</math>. Uma vez que estabelecemos os valores dos x, podemos arbitrar um ponto intermediário entre eles para que seja o ponto onde definiremos o valor da função, este ponto será importante porque ele estabelecerá a altura do retângulo. O valor de ''x'', que determinará o ponto da altura de cada retângulo é referenciado como <math>( \xi )</math>, referenciamos estes pontos como: <math>[{\xi}_n\ ,\ f({\xi}_n)]</math>. | Chamamos o intervalo <math>[a,b] </math> de '''partição''' e simbolizamos como: <math>\Delta </math>. Ao dividirmos o intervalo <math>[a,b] </math> em ''n'' "pedaços"(seções) temos a possibilidade de definir o tamanho de cada um, porém a regra de Riemann é mais flexível e estabelece que podemos ter pedaços de tamanhos diferentes, de forma que tenhamos apenas que estabelecer os valores de ''x'' tal que: <math>\{x_1<x_2<x_3<x_4<x_5< \dots <x_n\} </math>. Uma vez que estabelecemos os valores dos x, podemos arbitrar um ponto intermediário entre eles para que seja o ponto onde definiremos o valor da função, este ponto será importante porque ele estabelecerá a altura do retângulo. O valor de ''x'', que determinará o ponto da altura de cada retângulo é referenciado como <math>( \xi ) </math>, referenciamos estes pontos como: <math>[{\xi}_n\ ,\ f({\xi}_n)]</math>. | ||
A base dos retângulos é <math>\Delta x_n</math>, onde os valores podem variar livremente, porém há sempre um retângulo que possui a maior base, que chamamos de '''norma''' da partição <math>[a,b]</math>, simbolizada por <math>\left \| \Delta \right \|</math>. | A base dos retângulos é <math>\Delta x_n </math>, onde os valores podem variar livremente, porém há sempre um retângulo que possui a maior base, que chamamos de '''norma''' da partição <math>[a,b] </math>, simbolizada por <math>\left \| \Delta \right \|</math>. | ||
Podemos somar todos os retângulos da partição, fazendo o cálculo aproximado da área, da seguinte maneira: | Podemos somar todos os retângulos da partição, fazendo o cálculo aproximado da área, da seguinte maneira: | ||
Linha 361: | Linha 345: | ||
===Propriedades da integral definida=== | ===Propriedades da integral definida=== | ||
Algumas propriedades são observadas a partir dos conceitos expostos sobre a integral, são regras para simplificar algumas operações, mas que podem ser úteis para o estudo de teoremas que veremos em capítulos mais adiante, vejamos as | Algumas propriedades são observadas a partir dos conceitos expostos sobre a integral, são regras para simplificar algumas operações, mas que podem ser úteis para o estudo de teoremas que veremos em capítulos mais adiante, vejamos as propriedades e suas comprovações: | ||
Sejam <math>f(x) </math> e <math>g(x) </math>, funções contínuas no intervalo <math>[a,b] </math>, podemos afirmar que: | |||
====T29 - Limites iguais==== | ====T29 - Limites iguais==== | ||
<math> \int^a_a f(x) \mbox{d} x = 0 </math> | |||
<math> \int^a_a f(x) \mbox{d} x = 0</math> | |||
'''Comprovação:''' | '''Comprovação:''' | ||
Linha 375: | Linha 357: | ||
Podemos observar que, ao tomarmos o intervalo <math>[a,b]</math>, dividindo-o em n pedaços, teremos: | Podemos observar que, ao tomarmos o intervalo <math>[a,b]</math>, dividindo-o em n pedaços, teremos: | ||
<math>\Delta x = \frac {a-b}{n}</math> | <math>\Delta x = \frac {a-b}{n} </math> | ||
Sendo <math>b=a</math> teremos: | Sendo <math>b=a</math> teremos: | ||
<math>\Delta x = \frac {a-a}{n} = 0</math> | <math>\Delta x = \frac {a-a}{n} = 0 </math> | ||
então: | então: | ||
<math>{\Delta}_i x = 0</math> e: | <math>{\Delta}_i x = 0 </math> e: | ||
<math>\int^b_a f(x)\mbox{d} x =\lim_{\left \| \Delta \right \| \to 0} \sum^n_{i=1} f({\xi}_i) {\Delta}_i x = 0</math> | <math>\int^b_a f(x)\mbox{d} x =\lim_{\left \| \Delta \right \| \to 0} \sum^n_{i=1} f({\xi}_i) {\Delta}_i x = 0 </math> | ||
O que comprova o teorema. | O que comprova o teorema. | ||
====T30 - Fator do integrando==== | ====T30 - Fator do integrando==== | ||
Sendo ''K'' constante: | Sendo ''K'' constante: | ||
Linha 408: | Linha 388: | ||
====T31 - Inversão dos limites==== | ====T31 - Inversão dos limites==== | ||
<math> \int^b_a f(x) \mbox{d} x = - \int^a_b f(x) \mbox{d} x</math> | <math> \int^b_a f(x) \mbox{d} x = - \int^a_b f(x) \mbox{d} x</math> | ||
Linha 414: | Linha 393: | ||
'''Comprovação:''' | '''Comprovação:''' | ||
Novamente tomando o intervalo <math>[a,b]</math>, dividindo-o em n pedaços, teremos: | Novamente tomando o intervalo <math>[a,b] </math>, dividindo-o em n pedaços, teremos: | ||
<math>\Delta x = \frac {a-b}{n}</math> | <math>\Delta x = \frac {a-b}{n} </math> | ||
Portanto <math>\Delta x</math> é fator determinante do sinal. Se tomarmos a integral no intervalo <math>[a,b]</math> e invertermos a sua posição no cálculo, teremos: | Portanto <math>\Delta x </math> é fator determinante do sinal. Se tomarmos a integral no intervalo <math>[a,b]</math> e invertermos a sua posição no cálculo, teremos: | ||
<math> \frac {a-b}{n} = - \frac {b-a}{n} </math> | <math> \frac {a-b}{n} = - \frac {b-a}{n} </math> | ||
Logo, tomando <math>a \to b</math> como <math>\Delta x </math> é igual a tomar <math> b \to a</math> como <math> - \Delta x</math>. | Logo, tomando <math>a \to b </math> como <math>\Delta x </math> é igual a tomar <math> b \to a </math> como <math> - \Delta x </math>. | ||
O que comprova o teorema. | O que comprova o teorema. | ||
====T32 - Adição==== | ====T32 - Adição==== | ||
<math> \int^b_a [f(x) + g(x)] \mbox{d} x = \int^b_a f(x) \mbox{d} x + \int^b_a g(x) \mbox{d} x </math> | <math> \int^b_a [f(x) + g(x)] \mbox{d} x = \int^b_a f(x) \mbox{d} x + \int^b_a g(x) \mbox{d} x </math> | ||
Linha 435: | Linha 412: | ||
Sendo a integral: | Sendo a integral: | ||
<math> \int^b_a [f(x) + g(x)] \mbox{d} x = \lim_{\left \| \Delta \right \| \to 0} \sum^n_{i=1} [f({\xi}_i)\ +\ g({\xi}_i)] {\Delta}_i x </math> | <math> \int^b_a [f(x) + g(x)] \mbox{d} x = \lim_{\left \| \Delta \right \| \to 0} \sum^n_{i=1} [f({\xi}_i)\ +\ g({\xi}_i)] {\Delta}_i x </math> | ||
Linha 444: | Linha 420: | ||
O que comprova o teorema. | O que comprova o teorema. | ||
====T33 - Seções complementares==== | ====T33 - Seções complementares==== | ||
Sendo ''c'' constante e <math> a<c<b </math>: | Sendo ''c'' constante e <math> a<c<b </math>: | ||
Linha 459: | Linha 433: | ||
Tomando o intervalo entre ''a'' e ''c'' e fazendo a relação: | Tomando o intervalo entre ''a'' e ''c'' e fazendo a relação: | ||
<math> \Delta = \frac{c-a}{k}</math> | <math> \Delta = \frac{c-a}{k} </math> | ||
e | e | ||
<math> \Delta = \frac{b-a}{n}</math> | <math> \Delta = \frac{b-a}{n} </math> | ||
O <math>\Delta </math> é um valor que pode ser atribuído às duas relações, portanto podemos fazer: | O <math>\Delta </math> é um valor que pode ser atribuído às duas relações, portanto podemos fazer: | ||
<math>\int^b_a f(x)\mbox{d} x =\lim_{\left \| \Delta \right \| \to 0} \sum^k_{i=1} f({\xi}_i) {\Delta}_i x + \lim_{\left \| \Delta \right \| \to 0} \sum^n_{i=k+1} f({\xi}_i) {\Delta}_i x</math> | <math>\int^b_a f(x)\mbox{d} x =\lim_{\left \| \Delta \right \| \to 0} \sum^k_{i=1} f({\xi}_i) {\Delta}_i x + \lim_{\left \| \Delta \right \| \to 0} \sum^n_{i=k+1} f({\xi}_i) {\Delta}_i x </math> | ||
Que é semelhante a propriedade da soma das áreas de dois objetos que formam um corpo maior, que costumamos usar na geometria e que prova o teorema. | Que é semelhante a propriedade da soma das áreas de dois objetos que formam um corpo maior, que costumamos usar na geometria e que prova o teorema. | ||
====T34 - Valor médio==== | ====T34 - Valor médio==== | ||
Seja a seção <math> [a,b]</math> no domínio da função <math>f(x)</math>, dizemos que ''M'' é o valor médio da função neste intervalo, sendo seu valor definido como segue: | Seja a seção <math> [a,b] </math> no domínio da função <math>f(x) </math>, dizemos que ''M'' é o valor médio da função neste intervalo, sendo seu valor definido como segue: | ||
<math> M = \frac {\int^b_a f(x) \mbox{d} x}{b-a} </math> | <math> M = \frac {\int^b_a f(x) \mbox{d} x}{b-a} </math> | ||
Linha 482: | Linha 455: | ||
O valor médio de uma função é expresso pela função abaixo: | O valor médio de uma função é expresso pela função abaixo: | ||
<math>M = \frac {\sum^n_{i=1} v_i}{n}</math> | <math>M = \frac {\sum^n_{i=1} v_i}{n} </math> | ||
Onde <math>v_i</math> representa um valor em particular. Sendo <math>f({\xi}_i)</math> o valor da função para cada retângulo, podemos fazer a sua média da seguinte forma: | Onde <math>v_i </math> representa um valor em particular. Sendo <math>f({\xi}_i) </math> o valor da função para cada retângulo, podemos fazer a sua média da seguinte forma: | ||
<math>M = \frac {\sum^n_{i=1} f({\xi}_i)}{n}</math> | <math>M = \frac {\sum^n_{i=1} f({\xi}_i)}{n} </math> | ||
Por outro lado, podemos fazer com que o ''n'' seja: | Por outro lado, podemos fazer com que o ''n'' seja: | ||
<math>n=\frac{b-a}{\Delta x}</math> | <math>n=\frac{b-a}{\Delta x} </math> | ||
logo: | logo: | ||
<math>M \approx \frac {\sum^n_{i=1} f({\xi}_i) \Delta x}{b-a} </math> | |||
Uma vez que o <math>\Delta x </math> é um valor muito grosseiro, podemos encontrar o limite quando a norma da partição tende a ser nula, desta forma: | |||
Uma vez que o <math>\Delta x</math> é um valor muito grosseiro, podemos encontrar o limite quando a norma da partição tende a ser nula, desta forma: | |||
<math>M = \frac {1}{b-a} \cdot \left [ \lim_{\left \| \Delta \right \| \to 0 } \sum^n_{i=1} f({\xi}_i) \Delta x \right ]</math> | <math>M = \frac {1}{b-a} \cdot \left [ \lim_{\left \| \Delta \right \| \to 0 } \sum^n_{i=1} f({\xi}_i) \Delta x \right ] </math> | ||
O que comprova o teorema. | O que comprova o teorema. | ||
---- | ---- | ||
Linha 509: | Linha 479: | ||
===T35 - Teorema fundamental do cálculo=== | ===T35 - Teorema fundamental do cálculo=== | ||
Seja a função <math>f(x)</math> contínua no intervalo <math>[a,b] </math>, a sua integral definida entre ''a'' e ''b'' é obtida pela operação que segue: | |||
<math>\int^b_a f(x) \mbox{d} x = g(b)\ -\ g(a) </math> | |||
<math>\int^b_a f(x) \mbox{d} x = g(b)\ -\ g(a)</math> | |||
Onde: | Onde: | ||
<math>g(x)=\int f(x) \mbox{d} x </math> | <math>g(x)=\int f(x) \mbox{d} x </math> | ||
Chegamos ao ponto culminante deste estudo inicial sobre as integrais, este teorema, chamado de '''Teorema fundamental do cálculo''', é a base de nossas análises mais específicas nos próximos capítulos, ele afirma que a integral definida pode ser obtida através da antidifererncial da função, para tal, adotamos a seguinte notação : | Chegamos ao ponto culminante deste estudo inicial sobre as integrais, este teorema, chamado de '''Teorema fundamental do cálculo''', é a base de nossas análises mais específicas nos próximos capítulos, ele afirma que a integral definida pode ser obtida através da antidifererncial da função, para tal, adotamos a seguinte notação : | ||
<math>\int^b_a f(x) \mbox{d} x = g(x)|^b_a</math> | <math>\int^b_a f(x) \mbox{d} x = g(x)|^b_a </math> | ||
'''Comprovação:''' | '''Comprovação:''' | ||
Devemos demonstrar que a derivada de <math>g(x)|^b_a</math> é igual a <math>f(x)</math>. | Devemos demonstrar que a derivada de <math>g(x)|^b_a </math> é igual a <math>f(x) </math>. | ||
Como podemos observar, quando calculamos o valor da integral definida, variamos o limite superior gradativamente de ''a'' até ''b'', isto nos indica que podemos criar uma nova função, como escrito abaixo: | Como podemos observar, quando calculamos o valor da integral definida, variamos o limite superior gradativamente de ''a'' até ''b'', isto nos indica que podemos criar uma nova função, como escrito abaixo: | ||
<math>F(x)= \int^{x}_a f(u) \mbox{d} u</math> | <math>F(x)= \int^{x}_a f(u) \mbox{d} u </math> | ||
Observe que ''x'' é dita independente de ''u'', pois a última constroi a curva da função, enquanto que a outra nos dá a integral de qualquer ponto com relação a distância da contante ''a'', portanto, calculando sua derivada temos: | Observe que ''x'' é dita independente de ''u'', pois a última constroi a curva da função, enquanto que a outra nos dá a integral de qualquer ponto com relação a distância da contante ''a'', portanto, calculando sua derivada temos: | ||
<math>F\ '(x)= \lim_{\Delta x \to 0} \frac{\int^{x+ \Delta x}_a f(u) \mbox{d} u - \int^x_a f(u) \mbox{d} u }{\Delta x}</math> | <math>F\ '(x)= \lim_{\Delta x \to 0} \frac{\int^{x+ \Delta x}_a f(u) \mbox{d} u - \int^x_a f(u) \mbox{d} u }{\Delta x} </math> | ||
<math>F\ '(x)= \lim_{\Delta x \to 0} \frac{\int^x_a f(u) \mbox{d} u + \int^{x+ \Delta x}_x f(u) \mbox{d} u - \int^x_a f(u) \mbox{d} u }{\Delta x}</math> | <math>F\ '(x)= \lim_{\Delta x \to 0} \frac{\int^x_a f(u) \mbox{d} u + \int^{x+ \Delta x}_x f(u) \mbox{d} u - \int^x_a f(u) \mbox{d} u }{\Delta x} </math> | ||
<math>F\ '(x)= \lim_{\Delta x \to 0} \frac{\int^{x+ \Delta x}_x f(u) \mbox{d} u}{\Delta x} </math> | <math>F\ '(x)= \lim_{\Delta x \to 0} \frac{\int^{x+ \Delta x}_x f(u) \mbox{d} u}{\Delta x} </math> | ||
Conforme o teorema [[#T34 - Valor médio| T34]], a parte da equação operada pelo limite é um valor médio. | Conforme o teorema [[#T34 - Valor médio|T34]], a parte da equação operada pelo limite é um valor médio. | ||
Observe que <math> F\ '(x) = \lim_{\Delta x \to 0} M(x) </math>, ou seja, é o limite do valor médio quando o intervalo tende a ser nulo, o que resulta em <math> f(x) </math>, pois é equivalente a fazer uma média com apenas um elemento, o próprio valor de <math> f(x) </math>. Observemos ainda que o valor médio, aqui expresso, não é constante, visto que depende de ''x'', o que quer dizer que temos um valor médio para cada seção da curva. | Observe que <math> F\ '(x) = \lim_{\Delta x \to 0} M(x) </math>, ou seja, é o limite do valor médio quando o intervalo tende a ser nulo, o que resulta em <math> f(x) </math>, pois é equivalente a fazer uma média com apenas um elemento, o próprio valor de <math> f(x) </math>. Observemos ainda que o valor médio, aqui expresso, não é constante, visto que depende de ''x'', o que quer dizer que temos um valor médio para cada seção da curva. | ||
Linha 550: | Linha 517: | ||
e | e | ||
<math> F\ '(x) = M(x)</math> | <math> F\ '(x) = M(x) </math> | ||
no limite: | no limite: | ||
Linha 560: | Linha 527: | ||
<math>F\ '(x) = f(x) </math>. | <math>F\ '(x) = f(x) </math>. | ||
Portanto <math> F(x) </math> é antidiferencial de <math> f(x)</math>. | Portanto <math> F(x) </math> é antidiferencial de <math> f(x) </math>. | ||
Por outro lado ao fazer: | Por outro lado ao fazer: | ||
<math>F(b)-F(a) = \int^b_a f(x)\mbox{d} x- \int^a_a f(x)\mbox{d} x</math> | <math>F(b)-F(a) = \int^b_a f(x)\mbox{d} x- \int^a_a f(x)\mbox{d} x </math> | ||
<math>F(b)-F(a) = \int^b_a f(x)\mbox{d} x- 0</math> | <math>F(b)-F(a) = \int^b_a f(x)\mbox{d} x- 0 </math> | ||
então: <math> g(x)=F(x)</math> que é a antidiferencial de <math>f(x)</math>, logo: | então: <math> g(x)=F(x) </math> que é a antidiferencial de <math>f(x) </math>, logo: | ||
<math>g(x)=\int f(x) \mbox{d} x </math> | <math>g(x)=\int f(x) \mbox{d} x </math> | ||
Linha 574: | Linha 541: | ||
O que comprova o teorema. | O que comprova o teorema. | ||
{{ | {{indentar/fim}} | ||
}} | |||
{{AutoCat}} |
Edição atual tal como às 16h54min de 15 de agosto de 2013
Integrais
Uma vez que podemos analisar a variação de determinados valores em uma função, como poderíamos reverter a análise, ou seja, se é possível criar uma função a partir de outra utilizando a diferenciação, o que teríamos se fizéssemos a operação inversa? Esta é uma questão que nos leva a mais um método do cálculo, a integração é uma forma de reverter a derivação, com ela temos um artifício para recuperar a função original a partir da sua derivada. Outra característica interessante da integral é que o valor numérico de uma integral definida exatamente em um intervalo é correspondente ao valor da área do desenho delimitado pela curva da função e o eixo x (abscissas). Vamos analisar em seguida como funciona o mecanismo básico de integração e nos capítulos seguintes nos aprofundaremos no tema, que é bastante vasto.
Uma breve introdução dos conceitos que detalharemos neste capítulo pode ser encontrada em: |
Antiderivadas e antidiferenciais
Como procedemos para reverter a derivação? O princípio é verificado através da análise da inversão, da seguinte forma:
Considere a função cuja derivada , então dizemos que é a antiderivada de , a nossa primeira constatação é que a função primitiva inclui uma constante, que durante o processo de derivação é descartada, já que sua derivada é nula, se fizermos o processo inverso para obter a função original teríamos para operar e consegui-lo, isso nos leva a uma indefinição da função obtida através da antidiferenciação, a menos que conheçamos o valor da constante. Se quisermos obter a função original teríamos que operar e zero, o primeiro requisito é, a princípio, plausível de ser conseguido, porém operar zero para obtenção de qualquer constante parece algo não concebível.
Podemos então dizer:
A antiderivação é o processo pelo qual operamos a derivada de uma função para encontrar a sua exata função primitiva.
O que nos leva a conclusão que a antiderivação exige que tenhamos meios para encontrar a constante que pertencia a função quando ela foi derivada, ou que deduções, a partir de suas características e dos fenômenos utilizados para sua formulação, possam fornecer a constante.
A antidiferenciação, opera apenas os processos para dedução de um esboço da
função, o que chamamos de fórmula geral, no formato: .
Como podemos encontrar diversas constantes, temos diversas funções, o que nos dá a possibilidade de operar, por exemplo as funções: derivadas de , mesmo que , ao operarmos as funções derivadas utilizando a antidiferenciação teremos , que não nos garante meios de encontrar as primitivas, visto que não conhecemos meios para deduzir as constantes.
Definições
Ao operar a inversa da derivada, podemos fazer a análise com as diferenciais, ou seja, cosidere a função , então temos: , o que nos leva a algo muito interessante:
O que nos lembra:
Temos ainda que , fazendo-nos deduzir que precisamos operar:
Para encontrar y.
Esta operação é chamada de antidiferencial e é simbolizada por:
Onde (f) é a função e (d) é a diferencial da variável independente.
De forma mais completa a antidiferencial da função é:
onde C é a constante que define a função primitiva.
Operações básicas
A antidiferenciação é uma operação que tende a ser complicada na maioria das funções, ao longo do nosso estudo veremos métodos para simplificar o processo, porém existem formas de funções que não podem ser operadas nesse processo. Algumas das regras básicas para operação de antidiferenciais serão abordadas nas seções subseqüentes, outras regras serão abordadas nos próximos capítulos. Devido a complexidade que envolvem o processo, muitos dos métodos necessitam de alguma regra que ainda não estudamos; para não colocar questões que não possam ser esclarecidas neste capítulo teremos que deixá-las para o momento oportuno, quando todos os elementos necessários para a abordagem do assunto estejam bem claros.
T20 - Diferenciais
| ||
---|---|---|
A diferencial ao ser operada pela antidiferenciação, resulta: | ||
Com C constante.
Comprovação:
De fato se :
T21 - Constantes
| ||
---|---|---|
A constante c é operada como coeficiente da variável independente, de forma que sua antidiferencial é: | ||
Comprovação:
Se fizermos: , teremos:
Conforme o teorema T13 - fator.
T22 - Adição
| ||
---|---|---|
Se então: | ||
Comprovação:
Se é o resultado da soma de duas antidiferenciais, logo:
- Temos que admitir que e são diferenciais;
- A soma de diferenciais admite que:
- Se e , temos:
- Sendo, portanto, possível fazer:
- Além disso: Se então, podemos fazer:
Portanto, pela análise da reversibilidade, é possível constatar que a adição de duas antidiferenciais pode ser operada distributivamente, o que atesta a regra que expomos.
T23 - Variável com expoente constante (antidiferencial)
| ||
---|---|---|
Seja a função onde n é constante, sua antidiferencial é: | ||
; onde: |
Onde C é constante.
Comprovação:
T24 - Regra da cadeia para antidiferenciais
| ||
---|---|---|
Seja as funções e , contínuas em seus domínios ou no intervalo a que se propõe a análise em questão. A antidiferencial da função composta com relação a x é: | ||
Onde C é a constante que define a primitiva.
Comprovação:
Uma vez que:
, temos:
O que nos possibilita operar, por substituição:
, obtendo:
para definir a antiderivada, usamos a constante C:
O que comprova a regra.
Introdução a equações diferenciais
Considerando a questão da indefinição criada pela diferenciação, o processo de antidiferenciação traz uma conseqüência indesejável para o processo de equacionamento de diferenciais. Quando uma equação diferencial é proposta, a constante de antidiferenciação faz com que o processo de resolução seja bastante prejudicado, o que exige que tenhamos técnicas especiais para tentar resolvê-la. Faremos agora uma breve introdução aos conceitos de equações diferenciais, porém, o estudo completo do tema demanda um aprofundamento maior por parte dos interessados, ao longo dos nossos estudos teremos meios para simplificar o processo, embora que a solução de muitas equações diferenciais quando não são impossíveis exigem muito esforço e dedicação.
Diferenciais de primeira ordem
Seja a equação , a sua derivada é expressa como:
sendo uma constante arbitrária, definida pelas características das deduções que originaram a equação.
O que resulta na equação diferencial:
Esta equação é denominada: Equação diferencial de primeira ordem, visto que é originada de uma derivada primeira, o que permite facilmente separar as variáveis diferenciais. Por outro lado, como meio para reverter o processo de diferenciação, fazemos:
Com C constante; lembre-se que C é uma constante não definida, a constante original é .
Pelo exposto deduzimos que a equação assumirá a forma:
Porém, como C é uma constante indefinida, temos uma função ainda indefinida.
Constante antidiferencial
A constante resultante da indefinição na antidiferenciação é expressa na equação diferencial como observamos na seção anterior, para aumentar as possibilidades da análise, cosideremo-la como variável, ao fazer isto temos um comportamento interessante para a função resultante; quando atribuimos valores a esta variável temos uma equação para cada valor assumido pela mesma, se observarmos mais atentamente, descobriremos que o gráfico da função mantém a forma, porém varia a altura em relação ao eixo das abscissas (variável independente), ou seja, a equação antidiferencial fornece um conjunto de curvas, o que possibilita uma infinidade de valores.
O que definiria a escolha de uma constante em particular? A constante definirá qual a curva que obedece o comportamento espelhado pelos números que compõem a curva a ser escolhida. De fato basta um par ordenado definido dentro do conjunto de números que obedecem à equação e teremos a definição da função exata. Em várias áreas onde podemos utilizar estas equações temos a definição deste par ordenado a partir do comportamento dos números que são observados ou deduzidos, na maioria das vezes este par de números é chamado de estado inicial, pois estabelece o comportamento da equação quando os valores das variáveis são conhecidos inicialmente.
No nosso caso da seção anterior coseguimos a fórmula geral:
Certamente, podemos afirmar que:
Quando temos pois:
É uma afirmação fácil de ser encontrada, uma vez que conhecemos a equação original, porém se não a conhecemos, a observação e a dedução lógica devem ser usadas para encontrá-la. Algumas vezes podemos nos perguntar: Basta-nos conhecer o conjunto de equações ou precisamos de uma equação específica? O mérito desta questão deve ser avaliado de acordo com a necessidade da análise a ser feita, cabendo ao analista verificar quais são seus requisitos dentro do que se propõe a verificar.
A integral indefinida
Seja a antidiferencial:
Observamos que a mesma corresponde a uma operação sobre pequenas seções de área, pois corresponde a multiplicação de um segmento numérico de largura, , pela altura, o valor da função aproximada ao limite em cada ponto.
A operação da forma que se apresenta estende-se de a . Analisando qual a natureza desta operação, podemos tomar dois valores para , sejam: e , sendo , quando analisamos este fato concluimos que a área do intervalo menor está dentro da área do maior, vemos que a operação comporta-se como uma soma de áreas, se somarmos todas as componentes de áreas ao longo da curva teremos uma área delimitada pela curva e o eixo x.
Chamamos esta operação de integral, seu símbolo é o mesmo da antidiferenciação, pois devido aos fatos acima introduzidos e ao teorema fundamental do cálculo, que discutiremos adiante, a operação de antidiferenciação pode ser chamada de integral indefinida.
A integral definida
Aprofundando o conceito de que há uma soma de pequenos segmentos de área para cada ponto em uma curva, podemos delimitar uma seção da curva, através da adoção de um intervalo, desta forma teremos uma área definida, a qual chamamos de integral definida. Antes de detalhar o processo para encontrar a referida área faz-se necessário a observação de conceitos que serão úteis para seu desenvolvimento, o próximo tópico abordará a somatória, um procedimento que facilitará o estudo das somas sucessivas que propomos analisar.
Somatórias
Considere a operação: , chamamos esta operação de somatória, ela é simbolizada pela letra grega sigma (), utilizando a notação escrita como segue:
O significado deste símbolo é facilmente compreendido: A variável i é chamada de índice, o número n é a quantidade de parcelas, ocorre que, ao substituir estes valores na expressão , fazemos de forma seqüencial, somando um valor ao anterior, como descrito na operação acima, o que resultará no valor final de U, pretendido na referida operação.
Propriedades
T25 - Constante
com c constante.
Comprovação:
n vezes.
T26 - Fator
com c constante.
Comprovação:
T27 - Adição
Comprovação:
T28 - Exclusão de termo antecedente
Comprovação
Definição da Integral de Riemann
O conceito de integral está ligado à necessidade de encontrar a área de curvas, as abordagens tomadas para solucionar o problema do cálculo de áreas curvas encontram sempre o mesmo resultado. Para não nos extendermos muito, faremos uma explanação do processo chamado: Integral de Riemann, o qual é um dos mais conhecidos.
Vejamos o gráfico abaixo:
Figura 4
O gráfico mostra uma função sinuosa, se fizermos seções retangulares para imitar o contorno das curvas teremos uma maneira grosseira de calcular a área delimitada pela curva e o eixo x, uma vez que temos a possibilidade de aumentar a quantidade de retângulos, podemos aumentar a precisão dos nossos cálculos... Se fizermos com que o número de retângulos aumente numa tendência ao infinito, teremos o valor da área.
Consideremos a função do gráfico: , a sua integral entre os valores de x: a e b é:
Chamamos o intervalo de partição e simbolizamos como: . Ao dividirmos o intervalo em n "pedaços"(seções) temos a possibilidade de definir o tamanho de cada um, porém a regra de Riemann é mais flexível e estabelece que podemos ter pedaços de tamanhos diferentes, de forma que tenhamos apenas que estabelecer os valores de x tal que: . Uma vez que estabelecemos os valores dos x, podemos arbitrar um ponto intermediário entre eles para que seja o ponto onde definiremos o valor da função, este ponto será importante porque ele estabelecerá a altura do retângulo. O valor de x, que determinará o ponto da altura de cada retângulo é referenciado como , referenciamos estes pontos como: .
A base dos retângulos é , onde os valores podem variar livremente, porém há sempre um retângulo que possui a maior base, que chamamos de norma da partição , simbolizada por .
Podemos somar todos os retângulos da partição, fazendo o cálculo aproximado da área, da seguinte maneira:
A integral é obtida quando fazemos os retângulos tão pequenos que poderemos considerar suas bases quase nulas, para isso podemos dividir a partição em pedaços de :
O que nos permite delimitar a norma e definir a sua tendência a zero, também nos dá a possibilidade de definir a integral como:
Propriedades da integral definida
Algumas propriedades são observadas a partir dos conceitos expostos sobre a integral, são regras para simplificar algumas operações, mas que podem ser úteis para o estudo de teoremas que veremos em capítulos mais adiante, vejamos as propriedades e suas comprovações:
Sejam e , funções contínuas no intervalo , podemos afirmar que:
T29 - Limites iguais
Comprovação:
Podemos observar que, ao tomarmos o intervalo , dividindo-o em n pedaços, teremos:
Sendo teremos:
então:
e:
O que comprova o teorema.
T30 - Fator do integrando
Sendo K constante:
Comprovação:
que é igual a:
O que comprova o teorema.
T31 - Inversão dos limites
Comprovação:
Novamente tomando o intervalo , dividindo-o em n pedaços, teremos:
Portanto é fator determinante do sinal. Se tomarmos a integral no intervalo e invertermos a sua posição no cálculo, teremos:
Logo, tomando como é igual a tomar como .
O que comprova o teorema.
T32 - Adição
Comprovação:
Sendo a integral:
logo:
O que comprova o teorema.
T33 - Seções complementares
Sendo c constante e :
Comprovação:
Tomando o intervalo entre a e c e fazendo a relação:
e
O é um valor que pode ser atribuído às duas relações, portanto podemos fazer:
Que é semelhante a propriedade da soma das áreas de dois objetos que formam um corpo maior, que costumamos usar na geometria e que prova o teorema.
T34 - Valor médio
Seja a seção no domínio da função , dizemos que M é o valor médio da função neste intervalo, sendo seu valor definido como segue:
Comprovação
O valor médio de uma função é expresso pela função abaixo:
Onde representa um valor em particular. Sendo o valor da função para cada retângulo, podemos fazer a sua média da seguinte forma:
Por outro lado, podemos fazer com que o n seja:
logo:
Uma vez que o é um valor muito grosseiro, podemos encontrar o limite quando a norma da partição tende a ser nula, desta forma:
O que comprova o teorema.
T35 - Teorema fundamental do cálculo
Seja a função contínua no intervalo , a sua integral definida entre a e b é obtida pela operação que segue:
Onde:
Chegamos ao ponto culminante deste estudo inicial sobre as integrais, este teorema, chamado de Teorema fundamental do cálculo, é a base de nossas análises mais específicas nos próximos capítulos, ele afirma que a integral definida pode ser obtida através da antidifererncial da função, para tal, adotamos a seguinte notação :
Comprovação:
Devemos demonstrar que a derivada de é igual a .
Como podemos observar, quando calculamos o valor da integral definida, variamos o limite superior gradativamente de a até b, isto nos indica que podemos criar uma nova função, como escrito abaixo:
Observe que x é dita independente de u, pois a última constroi a curva da função, enquanto que a outra nos dá a integral de qualquer ponto com relação a distância da contante a, portanto, calculando sua derivada temos:
Conforme o teorema T34, a parte da equação operada pelo limite é um valor médio.
Observe que , ou seja, é o limite do valor médio quando o intervalo tende a ser nulo, o que resulta em , pois é equivalente a fazer uma média com apenas um elemento, o próprio valor de . Observemos ainda que o valor médio, aqui expresso, não é constante, visto que depende de x, o que quer dizer que temos um valor médio para cada seção da curva.
O valor médio dos valores entre e no mínimo é feito com os dois extremos apresentados, da seguinte forma:
e
no limite:
resulta:
.
Portanto é antidiferencial de .
Por outro lado ao fazer:
então: que é a antidiferencial de , logo:
O que comprova o teorema.