Cálculo (Volume 1)/Integrais: mudanças entre as edições
imported>Marcos Antônio Nunes de Moura |
imported>Marcos Antônio Nunes de Moura |
||
Linha 145: | Linha 145: | ||
===Introdução a equações diferenciais=== | ===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. | 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. | ||
===A integral definida=== | ===A integral definida=== |
Edição das 02h00min de 12 de setembro de 2005
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 Falhou ao verificar gramática (MathML com retorno SVG ou PNG (recomendado para navegadores modernos e ferramentas de acessibilidade): Resposta inválida ("Math extension cannot connect to Restbase.") do servidor "https://wikimedia.org/api/rest_v1/":): {\displaystyle F(x)=f(x)+C } cuja derivada Falhou ao verificar gramática (MathML com retorno SVG ou PNG (recomendado para navegadores modernos e ferramentas de acessibilidade): Resposta inválida ("Math extension cannot connect to Restbase.") do servidor "https://wikimedia.org/api/rest_v1/":): {\displaystyle F\ '(x) = f\ '(x)} , então dizemos que Falhou ao verificar gramática (MathML com retorno SVG ou PNG (recomendado para navegadores modernos e ferramentas de acessibilidade): Resposta inválida ("Math extension cannot connect to Restbase.") do servidor "https://wikimedia.org/api/rest_v1/":): {\displaystyle F(x)} é a antiderivada de Falhou ao verificar gramática (MathML com retorno SVG ou PNG (recomendado para navegadores modernos e ferramentas de acessibilidade): Resposta inválida ("Math extension cannot connect to Restbase.") do servidor "https://wikimedia.org/api/rest_v1/":): {\displaystyle f\ '(x)} , 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 Falhou ao verificar gramática (MathML com retorno SVG ou PNG (recomendado para navegadores modernos e ferramentas de acessibilidade): Resposta inválida ("Math extension cannot connect to Restbase.") do servidor "https://wikimedia.org/api/rest_v1/":): {\displaystyle f\ '(x)} 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 Falhou ao verificar gramática (MathML com retorno SVG ou PNG (recomendado para navegadores modernos e ferramentas de acessibilidade): Resposta inválida ("Math extension cannot connect to Restbase.") do servidor "https://wikimedia.org/api/rest_v1/":): {\displaystyle f\ '(x)} e zero, o primeiro requesito é, 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: Falhou ao verificar gramática (MathML com retorno SVG ou PNG (recomendado para navegadores modernos e ferramentas de acessibilidade): Resposta inválida ("Math extension cannot connect to Restbase.") do servidor "https://wikimedia.org/api/rest_v1/":): {\displaystyle 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: Falhou ao verificar gramática (MathML com retorno SVG ou PNG (recomendado para navegadores modernos e ferramentas de acessibilidade): Resposta inválida ("Math extension cannot connect to Restbase.") do servidor "https://wikimedia.org/api/rest_v1/":): {\displaystyle f\ '(x)\quad ;\quad g\ '(x)} derivadas de Falhou ao verificar gramática (MathML com retorno SVG ou PNG (recomendado para navegadores modernos e ferramentas de acessibilidade): Resposta inválida ("Math extension cannot connect to Restbase.") do servidor "https://wikimedia.org/api/rest_v1/":): {\displaystyle f(x)+C\quad ; \quad g(x)+D} , mesmo que Falhou ao verificar gramática (MathML com retorno SVG ou PNG (recomendado para navegadores modernos e ferramentas de acessibilidade): Resposta inválida ("Math extension cannot connect to Restbase.") do servidor "https://wikimedia.org/api/rest_v1/":): {\displaystyle f\ '(x)=g\ '(x)} , ao operarmos as funções derivadas utilizando a antidiferenciação teremos Falhou ao verificar gramática (MathML com retorno SVG ou PNG (recomendado para navegadores modernos e ferramentas de acessibilidade): Resposta inválida ("Math extension cannot connect to Restbase.") do servidor "https://wikimedia.org/api/rest_v1/":): {\displaystyle f(x)\quad ;\quad g(x)} , 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 Falhou ao verificar gramática (MathML com retorno SVG ou PNG (recomendado para navegadores modernos e ferramentas de acessibilidade): Resposta inválida ("Math extension cannot connect to Restbase.") do servidor "https://wikimedia.org/api/rest_v1/":): {\displaystyle y=f(x)+C} , então temos: Falhou ao verificar gramática (MathML com retorno SVG ou PNG (recomendado para navegadores modernos e ferramentas de acessibilidade): Resposta inválida ("Math extension cannot connect to Restbase.") do servidor "https://wikimedia.org/api/rest_v1/":): {\displaystyle \frac {\mbox{d}y}{\mbox{d}x}=f\ '(x)} , o que nos leva a algo muito interessante:
Falhou ao verificar gramática (MathML com retorno SVG ou PNG (recomendado para navegadores modernos e ferramentas de acessibilidade): Resposta inválida ("Math extension cannot connect to Restbase.") do servidor "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mbox{d}y = f\ '(x) \cdot \mbox{d}x }
O que nos lembra:
Falhou ao verificar gramática (MathML com retorno SVG ou PNG (recomendado para navegadores modernos e ferramentas de acessibilidade): Resposta inválida ("Math extension cannot connect to Restbase.") do servidor "https://wikimedia.org/api/rest_v1/":): {\displaystyle \lim_{\Delta x \to 0} \Delta y = \lim_{\Delta x \to 0} f\ '(x) \cdot \Delta x }
Temos ainda que Falhou ao verificar gramática (MathML com retorno SVG ou PNG (recomendado para navegadores modernos e ferramentas de acessibilidade): Resposta inválida ("Math extension cannot connect to Restbase.") do servidor "https://wikimedia.org/api/rest_v1/":): {\displaystyle y=f(x)+C} , fazendo-nos deduzir que precisamos operar:
Falhou ao verificar gramática (MathML com retorno SVG ou PNG (recomendado para navegadores modernos e ferramentas de acessibilidade): Resposta inválida ("Math extension cannot connect to Restbase.") do servidor "https://wikimedia.org/api/rest_v1/":): {\displaystyle \lim_{\Delta x \to 0} f\ '(x) \cdot \Delta x }
Para encontrar y.
Esta operação é chamada de antidiferencial e é simbolizada por:
Falhou ao verificar gramática (MathML com retorno SVG ou PNG (recomendado para navegadores modernos e ferramentas de acessibilidade): Resposta inválida ("Math extension cannot connect to Restbase.") do servidor "https://wikimedia.org/api/rest_v1/":): {\displaystyle \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 Falhou ao verificar gramática (MathML com retorno SVG ou PNG (recomendado para navegadores modernos e ferramentas de acessibilidade): Resposta inválida ("Math extension cannot connect to Restbase.") do servidor "https://wikimedia.org/api/rest_v1/":): {\displaystyle f\ '(x)} é:
Falhou ao verificar gramática (MathML com retorno SVG ou PNG (recomendado para navegadores modernos e ferramentas de acessibilidade): Resposta inválida ("Math extension cannot connect to Restbase.") do servidor "https://wikimedia.org/api/rest_v1/":): {\displaystyle \int f\ '(x) \cdot \mbox{d}x + C}
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.
Diferenciais
A diferencial Falhou ao verificar gramática (MathML com retorno SVG ou PNG (recomendado para navegadores modernos e ferramentas de acessibilidade): Resposta inválida ("Math extension cannot connect to Restbase.") do servidor "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mbox{d}x} ao ser operada pela antidiferenciação, resulta:
Falhou ao verificar gramática (MathML com retorno SVG ou PNG (recomendado para navegadores modernos e ferramentas de acessibilidade): Resposta inválida ("Math extension cannot connect to Restbase.") do servidor "https://wikimedia.org/api/rest_v1/":): {\displaystyle \int \mbox{d}x=x+C}
Com C constante.
Comprovação:
De fato se Falhou ao verificar gramática (MathML com retorno SVG ou PNG (recomendado para navegadores modernos e ferramentas de acessibilidade): Resposta inválida ("Math extension cannot connect to Restbase.") do servidor "https://wikimedia.org/api/rest_v1/":): {\displaystyle F(x)=x+C} :
Falhou ao verificar gramática (MathML com retorno SVG ou PNG (recomendado para navegadores modernos e ferramentas de acessibilidade): Resposta inválida ("Math extension cannot connect to Restbase.") do servidor "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mbox{d}\ F(x)= \mbox{d}x + 0}
Falhou ao verificar gramática (MathML com retorno SVG ou PNG (recomendado para navegadores modernos e ferramentas de acessibilidade): Resposta inválida ("Math extension cannot connect to Restbase.") do servidor "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mbox{d}\ F(x)= \mbox{d}x}
Constantes
A constante c é operada como coeficiente da variável independente, de forma que sua antidiferencial é:
Falhou ao verificar gramática (MathML com retorno SVG ou PNG (recomendado para navegadores modernos e ferramentas de acessibilidade): Resposta inválida ("Math extension cannot connect to Restbase.") do servidor "https://wikimedia.org/api/rest_v1/":): {\displaystyle \int c\ \mbox{d}x = c \cdot x}
Comprovação:
Se fizermos: Falhou ao verificar gramática (MathML com retorno SVG ou PNG (recomendado para navegadores modernos e ferramentas de acessibilidade): Resposta inválida ("Math extension cannot connect to Restbase.") do servidor "https://wikimedia.org/api/rest_v1/":): {\displaystyle f(x)=c\ x} , teremos:
Falhou ao verificar gramática (MathML com retorno SVG ou PNG (recomendado para navegadores modernos e ferramentas de acessibilidade): Resposta inválida ("Math extension cannot connect to Restbase.") do servidor "https://wikimedia.org/api/rest_v1/":): {\displaystyle f\ '(x)= c}
Conforme o teorema T13 - fator.
Adição e subtração
Se Falhou ao verificar gramática (MathML com retorno SVG ou PNG (recomendado para navegadores modernos e ferramentas de acessibilidade): Resposta inválida ("Math extension cannot connect to Restbase.") do servidor "https://wikimedia.org/api/rest_v1/":): {\displaystyle f(x)=g(x) \pm h(x)} então:
Falhou ao verificar gramática (MathML com retorno SVG ou PNG (recomendado para navegadores modernos e ferramentas de acessibilidade): Resposta inválida ("Math extension cannot connect to Restbase.") do servidor "https://wikimedia.org/api/rest_v1/":): {\displaystyle \int f(x)\mbox{d}x=\int g(x)\mbox{d}x \pm \int h(x)\mbox{d}x}
Comprovação:
Se Falhou ao verificar gramática (MathML com retorno SVG ou PNG (recomendado para navegadores modernos e ferramentas de acessibilidade): Resposta inválida ("Math extension cannot connect to Restbase.") do servidor "https://wikimedia.org/api/rest_v1/":): {\displaystyle f(x)} é o resultado da soma de duas antidiferenciais, logo:
- Temos que admitir que Falhou ao verificar gramática (MathML com retorno SVG ou PNG (recomendado para navegadores modernos e ferramentas de acessibilidade): Resposta inválida ("Math extension cannot connect to Restbase.") do servidor "https://wikimedia.org/api/rest_v1/":): {\displaystyle g(x)} e Falhou ao verificar gramática (MathML com retorno SVG ou PNG (recomendado para navegadores modernos e ferramentas de acessibilidade): Resposta inválida ("Math extension cannot connect to Restbase.") do servidor "https://wikimedia.org/api/rest_v1/":): {\displaystyle h(x)} são diferenciais;
- A soma de diferenciais admite que:
- Se Falhou ao verificar gramática (MathML com retorno SVG ou PNG (recomendado para navegadores modernos e ferramentas de acessibilidade): Resposta inválida ("Math extension cannot connect to Restbase.") do servidor "https://wikimedia.org/api/rest_v1/":): {\displaystyle g(x)= \mbox{d} m } e Falhou ao verificar gramática (MathML com retorno SVG ou PNG (recomendado para navegadores modernos e ferramentas de acessibilidade): Resposta inválida ("Math extension cannot connect to Restbase.") do servidor "https://wikimedia.org/api/rest_v1/":): {\displaystyle h(x)= \mbox{d} n } , temos: Falhou ao verificar gramática (MathML com retorno SVG ou PNG (recomendado para navegadores modernos e ferramentas de acessibilidade): Resposta inválida ("Math extension cannot connect to Restbase.") do servidor "https://wikimedia.org/api/rest_v1/":): {\displaystyle g(x) \pm h(x)= \mbox{d} m \pm \mbox{d} n }
- Sendo, portanto, possível fazer: Falhou ao verificar gramática (MathML com retorno SVG ou PNG (recomendado para navegadores modernos e ferramentas de acessibilidade): Resposta inválida ("Math extension cannot connect to Restbase.") do servidor "https://wikimedia.org/api/rest_v1/":): {\displaystyle g(x) \pm h(x)= \mbox{d} (m \pm n) }
- Além disso: Se Falhou ao verificar gramática (MathML com retorno SVG ou PNG (recomendado para navegadores modernos e ferramentas de acessibilidade): Resposta inválida ("Math extension cannot connect to Restbase.") do servidor "https://wikimedia.org/api/rest_v1/":): {\displaystyle (m \pm n) = p} então, podemos fazer: Falhou ao verificar gramática (MathML com retorno SVG ou PNG (recomendado para navegadores modernos e ferramentas de acessibilidade): Resposta inválida ("Math extension cannot connect to Restbase.") do servidor "https://wikimedia.org/api/rest_v1/":): {\displaystyle f(x)= \mbox{d} p }
Portanto, pela análise da reversibilidade, é possível constatar que a soma ou a diferença de duas antidiferenciais pode ser operada distributivamente, o que atesta a regra que expomos.
Regra da cadeia para antidiferenciais
Seja as funções Falhou ao verificar gramática (MathML com retorno SVG ou PNG (recomendado para navegadores modernos e ferramentas de acessibilidade): Resposta inválida ("Math extension cannot connect to Restbase.") do servidor "https://wikimedia.org/api/rest_v1/":): {\displaystyle f(u)} e Falhou ao verificar gramática (MathML com retorno SVG ou PNG (recomendado para navegadores modernos e ferramentas de acessibilidade): Resposta inválida ("Math extension cannot connect to Restbase.") do servidor "https://wikimedia.org/api/rest_v1/":): {\displaystyle u=g(x)} , 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 Falhou ao verificar gramática (MathML com retorno SVG ou PNG (recomendado para navegadores modernos e ferramentas de acessibilidade): Resposta inválida ("Math extension cannot connect to Restbase.") do servidor "https://wikimedia.org/api/rest_v1/":): {\displaystyle f(u)} com relação a x é:
Falhou ao verificar gramática (MathML com retorno SVG ou PNG (recomendado para navegadores modernos e ferramentas de acessibilidade): Resposta inválida ("Math extension cannot connect to Restbase.") do servidor "https://wikimedia.org/api/rest_v1/":): {\displaystyle \int f(u) \mbox{d} x = \int f(g(x)) \cdot g\ '(x) \mbox{d} x + C }
Onde C é a constante que define a primitiva.
Comprovação:
Uma vez que:
Falhou ao verificar gramática (MathML com retorno SVG ou PNG (recomendado para navegadores modernos e ferramentas de acessibilidade): Resposta inválida ("Math extension cannot connect to Restbase.") do servidor "https://wikimedia.org/api/rest_v1/":): {\displaystyle u=g(x)} , temos:
Falhou ao verificar gramática (MathML com retorno SVG ou PNG (recomendado para navegadores modernos e ferramentas de acessibilidade): Resposta inválida ("Math extension cannot connect to Restbase.") do servidor "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mbox{d} u= g\ '(x) \cdot \mbox{d} x}
O que nos possibilita operar, por substituição:
Falhou ao verificar gramática (MathML com retorno SVG ou PNG (recomendado para navegadores modernos e ferramentas de acessibilidade): Resposta inválida ("Math extension cannot connect to Restbase.") do servidor "https://wikimedia.org/api/rest_v1/":): {\displaystyle \int f(u) \mbox{d} u} , obtendo:
Falhou ao verificar gramática (MathML com retorno SVG ou PNG (recomendado para navegadores modernos e ferramentas de acessibilidade): Resposta inválida ("Math extension cannot connect to Restbase.") do servidor "https://wikimedia.org/api/rest_v1/":): {\displaystyle \int f(u) \cdot g\ '(x) \cdot \mbox{d} x }
Falhou ao verificar gramática (MathML com retorno SVG ou PNG (recomendado para navegadores modernos e ferramentas de acessibilidade): Resposta inválida ("Math extension cannot connect to Restbase.") do servidor "https://wikimedia.org/api/rest_v1/":): {\displaystyle \int f(g(x)) \cdot g\ '(x) \cdot \mbox{d} x }
para definir a antiderivada, usamos a constante C:
Falhou ao verificar gramática (MathML com retorno SVG ou PNG (recomendado para navegadores modernos e ferramentas de acessibilidade): Resposta inválida ("Math extension cannot connect to Restbase.") do servidor "https://wikimedia.org/api/rest_v1/":): {\displaystyle \int f(g(x)) \cdot g\ '(x) \cdot \mbox{d} x + 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.