Cálculo (Volume 1)/Integrais: diferenças entre revisões
[edição não verificada] | [edição verificada] |
Conteúdo apagado Conteúdo adicionado
Correção de typos e formatação geral, typos fixed: requesito → requisito (2) utilizando AWB |
m hack obsoleto: as fórmulas já aparecem em PNG e não há mais como exibi-las em HTML nem MathML (futuramente teremos MathJax) |
||
Linha 21:
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
Podemos então dizer:
Linha 31:
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
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)
----
Linha 39:
==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> \mbox{d}y = f\ '(x) \cdot \mbox{d}x
O que nos lembra:
<math>\lim_{\Delta x \to 0} \Delta y = \lim_{\Delta x \to 0} f\ '(x) \cdot \Delta x
Temos ainda que <math>y=f(x)+C
<math> \lim_{\Delta x \to 0} f\ '(x) \cdot \Delta x
Para encontrar ''y''.
Linha 55:
Esta operação é chamada de antidiferencial e é simbolizada por:
<math> \int f \cdot \mbox{d}
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> \int f\ '(x) \cdot \mbox{d}x + C
onde ''C'' é a constante que define a função primitiva.
Linha 76:
|título=Integração de diferenciais
|texto=
A diferencial <math>\mbox{d}x
|fórmula=
<math>\int \mbox{d}x=x+C
}}
Linha 85:
'''Comprovação:'''
De fato se <math>F(x)=x+C
<math>\mbox{d}\ F(x)= \mbox{d}x + 0
<math>\mbox{d}\ F(x)= \mbox{d}x
===T21 - Constantes===
Linha 98:
A constante ''c'' é operada como coeficiente da variável independente, de forma que sua antidiferencial é:
|fórmula=
<math>\int c\ \mbox{d}x = c \cdot x
}}
'''Comprovação:'''
Se fizermos: <math> f(x)=c\ x
<math>f\ '(x)= c
Conforme o teorema [[../Derivadas#T13 - fator|T13 - fator]].
Linha 113:
{{Teorema
|título=Integral da adição de funções
|texto=Se <math>f(x)=g(x) + h(x)
|fórmula=
<math>\int f(x)\mbox{d}x=\int g(x)\mbox{d}x + \int h(x)\mbox{d}x
}}
'''Comprovação:'''
Se <math>f(x)
#Temos que admitir que <math>g(x)
#A soma de diferenciais admite que:
## Se <math>g(x)= \mbox{d} m
## Sendo, portanto, possível fazer: <math>g(x) + h(x)= \mbox{d} (m + n)
## Além disso: Se <math>(m + n) = p
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 135:
|título=Antidiferencial da função com expoente constante
|texto=
Seja a função <math>f(x)={x^n}
|fórmula=
<math>U(x)= \int f(x) \mbox{d} x = \frac {x^{n+1}}{n+1}+C
}}
Linha 144:
'''Comprovação:'''
<math> U\ '(x)= \frac{\mbox{d} \frac{x^{n+1}}{n+1}+C}{\mbox{d} x}
<math> U\ '(x)= \frac{1}{n+1} \frac{\mbox{d} ({x^{n+1}})}{\mbox{d} x} + \frac{\mbox{d} C}{\mbox{d} x}
<math> U\ '(x)= \frac{1}{n+1} \cdot (n+1) (x^n) + 0
<math> U\ '(x)={x^n}
<math> U\ '(x)=f(x)
===T24 - Regra da cadeia para antidiferenciais===
Linha 159:
|título=Regra da cadeia para antidiferenciais
|texto=
Seja as funções <math>f(u)
|fórmula=
<math>\int f(u) \mbox{d} x = \int f(g(x)) \cdot g\ '(x) \mbox{d} x + C
}}
Linha 170:
Uma vez que:
<math>u=g(x)
<math>\mbox{d} u= g\ '(x) \cdot \mbox{d} x
O que nos possibilita operar, por substituição:
<math>\int f(u) \mbox{d} u
<math>\int f(u) \cdot g\ '(x) \cdot \mbox{d} x
<math>\int f(g(x)) \cdot g\ '(x) \cdot \mbox{d} x
para definir a antiderivada, usamos a constante ''C'':
<math>\int f(g(x)) \cdot g\ '(x) \cdot \mbox{d} x + C
O que comprova a regra.
Linha 196:
===Diferenciais de primeira ordem===
Seja a equação <math>y=f(x)+a
<math> \frac {\mbox{d} y}{\mbox{d} x}=f\ '(x)
sendo <math>a
O que resulta na equação diferencial:
<math> {\mbox{d} y}=f\ '(x)\cdot {\mbox{d} x}
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
Com ''C'' constante; lembre-se que ''C'' é uma constante não definida, a constante original é <math>a
Pelo exposto deduzimos que a equação assumirá a forma:
<math>y=f(x)+C
Porém, como C é uma constante indefinida, temos uma função ainda indefinida.
Linha 226:
No nosso caso da seção anterior coseguimos a fórmula geral:
<math>y=f(x)+C
Certamente, podemos afirmar que:
Quando <math>f(x)=0
<math>a=0+C
<math>C=a
É 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 244:
Seja a antidiferencial:
<math>\int f(x) \mbox{d} x
Observamos que a mesma corresponde a uma operação sobre pequenas seções de área, pois <math>f(x) \mbox{d} x
A operação da forma que se apresenta estende-se de <math>- \infty
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'''.
Linha 260:
===Somatórias===
Considere a operação: <math>U=a_1+a_2+a_3+a_3+a_4+...a_n
<math>\sum_{i=1}^n a_i
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
'''Propriedades'''
Linha 270:
====T25 - Constante====
<math>\sum_{i=1}^n c = nc
com c constante.
Linha 276:
'''Comprovação:'''
<math>\sum_{i=1}^n c = c+c+c+c+c+c+ \dots +c \Rightarrow
====T26 - Fator====
<math>\sum_{i=1}^n cf(i) = c\sum_{i=1}^n f(i)
com c constante.
Linha 286:
'''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) = c[f(1)+f(2)+f(3)+f(4)+f(5)+f(6)+ \dots +f(n)]
====T27 - Adição ====
<math>\sum_{i=1}^n [f(i) + g(i)] = \sum_{i=1}^n f(i) + \sum_{i=1}^n g(i)
'''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>\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)]
====T28 - Exclusão de termo antecedente====
<math>\sum_{i=1}^n [f(i)- f(i-1)] = f(n)\ -\ f(0)
'''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>\sum_{i=1}^n [f(i)- f(i-1)] = - f(0) + f(n)
===Definição da Integral de Riemann===
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.
Consideremos a função do gráfico: <math>y=f(x)
<math> \int^b_a f(x) \mbox{d} x
Chamamos o intervalo <math>[a,b]
A base dos retângulos é <math>\Delta x_n
Podemos somar todos os retângulos da partição, fazendo o cálculo aproximado da área, da seguinte maneira:
Linha 347:
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)
====T29 - Limites iguais====
<math> \int^a_a f(x) \mbox{d} x = 0
'''Comprovação:'''
Linha 357:
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}
Sendo <math>b=a</math> teremos:
<math>\Delta x = \frac {a-a}{n} = 0
então:
<math>{\Delta}_i x = 0
<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
O que comprova o teorema.
Linha 375:
Sendo ''K'' constante:
<math> \int^b_a K f(x) \mbox{d} x = K \int^b_a f(x) \mbox{d} x
'''Comprovação:'''
<math>\int^b_a K f(x)\mbox{d} x =\lim_{\left \| \Delta \right \| \to 0} \sum^n_{i=1} K f({\xi}_i) {\Delta}_i x
que é igual a:
<math>\int^b_a K f(x)\mbox{d} x =K \lim_{\left \| \Delta \right \| \to 0} \sum^n_{i=1} f({\xi}_i) {\Delta}_i x
O que comprova o teorema.
Linha 389:
====T31 - Inversão dos limites====
<math> \int^b_a f(x) \mbox{d} x = - \int^a_b f(x) \mbox{d} x
'''Comprovação:'''
Novamente tomando o intervalo <math>[a,b]
<math>\Delta x = \frac {a-b}{n}
Portanto <math>\Delta x
<math> \frac {a-b}{n} = - \frac {b-a}{n}
Logo, tomando <math>a \to b
O que comprova o teorema.
Linha 407:
====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
'''Comprovação:'''
Linha 413:
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
logo:
<math> \int^b_a [f(x) + g(x)] \mbox{d} x = \lim_{\left \| \Delta \right \| \to 0} \sum^n_{i=1} f({\xi}_i){\Delta}_i x\ +\ \lim_{\left \| \Delta \right \| \to 0} \sum^n_{i=1} g({\xi}_i){\Delta}_i x
O que comprova o teorema.
Linha 423:
====T33 - Seções complementares====
Sendo ''c'' constante e <math> a<c<b
<math> \int^b_a f(x) \mbox{d} x = \int^c_a f(x) \mbox{d} x + \int^b_c f(x) \mbox{d} x
'''Comprovação:'''
<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
Tomando o intervalo entre ''a'' e ''c'' e fazendo a relação:
<math> \Delta = \frac{c-a}{k}
e
<math> \Delta = \frac{b-a}{n}
O <math>\Delta
<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
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.
Linha 447:
====T34 - Valor médio====
Seja a seção <math> [a,b]
<math> M = \frac {\int^b_a f(x) \mbox{d} x}{b-a}
'''Comprovação'''
Linha 455:
O valor médio de uma função é expresso pela função abaixo:
<math>M = \frac {\sum^n_{i=1} v_i}{n}
Onde <math>v_i
<math>M = \frac {\sum^n_{i=1} f({\xi}_i)}{n}
Por outro lado, podemos fazer com que o ''n'' seja:
<math>n=\frac{b-a}{\Delta x}
logo:
<math>M \approx \frac {\sum^n_{i=1} f({\xi}_i) \Delta x}{b-a}
Uma vez que o <math>\Delta x
<math>M = \frac {1}{b-a} \cdot \left [ \lim_{\left \| \Delta \right \| \to 0 } \sum^n_{i=1} f({\xi}_i) \Delta x \right ]
O que comprova o teorema.
Linha 479:
===T35 - Teorema fundamental do cálculo===
Seja a função <math>f(x)
<math>\int^b_a f(x) \mbox{d} x = g(b)\ -\ g(a)
Onde:
<math>g(x)=\int f(x) \mbox{d} x
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
'''Comprovação:'''
Devemos demonstrar que a derivada de <math>g(x)|^b_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:
<math>F(x)= \int^{x}_a f(u) \mbox{d} u
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>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>F\ '(x)= \lim_{\Delta x \to 0} \frac{\int^{x+ \Delta x}_x f(u) \mbox{d} u}{\Delta x}
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)
O valor médio dos valores entre <math>f(x)
<math> M(x) = \frac {f(x + \Delta x) + f(x)}{2}
e
<math> F\ '(x) = M(x)
no limite:
<math>F\ '(x) = \lim_{\Delta x \to 0} \frac {f(x + \Delta x) + f(x)}{2}
resulta:
<math>F\ '(x) = f(x)
Portanto <math> F(x)
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>F(b)-F(a) = \int^b_a f(x)\mbox{d} x- 0
então: <math> g(x)=F(x)
<math>g(x)=\int f(x) \mbox{d} x
O que comprova o teorema.
|