\( \newcommand{\nPr}[2]{{}^{#1}A_{#2} } \newcommand{\combin}[2]{{}^{#1}C_{#2} } \newcommand{\cmod}[3]{#1 \equiv #2\left(\bmod {}{#3}\right)} \newcommand{\frc}[2]{\displaystyle\frac{#1}{#2}} \newcommand{\mdc}[2]{\left( {#1},{#2}\right)} \newcommand{\mmc}[2]{\left[ {#1},{#2}\right]} \newcommand{\cis}{\mathop{\rm cis}} \newcommand{\ImP}{\mathop{\rm Im}} \newcommand{\ReP}{\mathop{\rm Re}} \newcommand{\sen}{\mathop{\rm sen}} \newcommand{\tg}{\mathop{\rm tg}} \newcommand{\cotg}{\mathop{\rm cotg}} \newcommand{\cosec}{\mathop{\rm cosec}} \newcommand{\cotgh}{\mathop{\rm cotgh}} \newcommand{\cosech}{\mathop{\rm cosech}} \newcommand{\sech}{\mathop{\rm sech}} \newcommand{\sh}{\mathop{\rm sh}} \newcommand{\ch}{\mathop{\rm ch}} \newcommand{\th}{\mathop{\rm th}} \newcommand{\senEL}[1]{\mathop{\rm sen}^{#1}} \newcommand{\tgEL}[1]{\mathop{\rm tg}^{#1}} \newcommand{\cotgEL}[1]{\mathop{\rm cotg}^{#1}} \newcommand{\cosecEL}{\mathop{\rm cosec}^{#1}} \newcommand{\shEL}[1]{\mathop{\rm sh^{#1}}} \newcommand{\chEL}[1]{\mathop{\rm ch^{#1}}} \newcommand{\thEL}[1]{\mathop{\rm th^{#1}}} \newcommand{\cotghEL}[1]{\mathop{\rm cotgh^{#1}}} \newcommand{\cosechEL}[1]{\mathop{\rm cosech^{#1}}} \newcommand{\sechEL}[1]{\mathop{\rm sech^{#1}}} \newcommand{\senq}{\senEL{2}} \newcommand{\tgq}{\tgEL{2}} \newcommand{\cotgq}{\cotgEL{2}} \newcommand{\cosecq}{\cosecEL{2}} \newcommand{\cotghq}{\cotghEL{2}} \newcommand{\cosechq}{\cosechEL{2}} \newcommand{\sechq}{\sechEL{2}} \newcommand{\shq}{\shEL{2}} \newcommand{\chq}{\chEL{2}} \newcommand{\arctg}{\mathop{\rm arctg}} \newcommand{\arcsen}{\mathop{\rm arcsen}} \newcommand{\argsh}{\mathop{\rm argsh}} \newcommand{\argch}{\mathop{\rm argch}} \newcommand{\Var}{\mathop{\rm Var}} \newcommand{\vect}[1]{\overrightarrow{#1}} \newcommand{\tr}[1]{ \textnormal{Tr}\left({#1}\right)} \newcommand{\C}{\mathbb{C}} \newcommand{\E}{\mathbb{E}} \newcommand{\H}{\mathbb{H}} \newcommand{\I}{\mathbb{I}} \newcommand{\N}{\mathbb{N}} \newcommand{\P}{\mathbb{P}} \newcommand{\Q}{\mathbb{Q}} \newcommand{\R}{\mathbb{R}} \newcommand{\Z}{\mathbb{Z}} \newcommand{\til}{\sim} \newcommand{\mdc}{\mathop{\rm m.d.c.}} \newcommand{\mmc}{\mathop{\rm m.m.c.}} \newcommand{\vect}[1]{\overrightarrow{#1}} \newcommand{\dfrc}{\displaystyle\frac} \newcommand{\Mod}[1]{\ (\mathrm{mod}\ #1)} \)

09/06/2023

O Teorema fundamental do Cálculo e a regra de Leibnitz.

De há alguns anos para cá, o número de alunos que me pergunta "O que é o teorema fundamental do cálculo?" tem aumentado significativamente. Não sei se devido a excessivos powerpoints (Lamento, ler powerpoints, por mais bonitos que sejam, não é dar aulas, é perder tempo e fazer o público perder tempo...).
Mas também não ponho as mãos no fogo por toda a gente que me procura.

O teorema diz simplesmente que, num conjunto onde as coisas que constam da fórmula estão bem definidas (e fazem sentido), é válida a fórmula

\[ \frac{d}{{dx}}\left( {\int\limits_a^x {f\left( t \right)dt} } \right) = f(x) \] 

Claro que se combinarmos isto com a regra de derivação da função composta, sai isto:

  \[
\left( {\int\limits_{\varphi \left( x \right)}^{\psi \left( x \right)} {f\left( t \right)dt} } \right)^\prime   = f(\psi \left( x \right))\psi '\left( x \right) - f(\varphi \left( x \right))\varphi '\left( x \right)
\]

Mas, dá para generalizar, e deduzir versões mais complicadas. 

Por exemplo e se for este?

\[
\frac{d}{{dx}}\left( {\int\limits_a^x {f\left( {x,t} \right)dt} } \right)
\]

Também se deduz.

Começamos por definir: 

\[
I(x,z) = \int\limits_a^x {f\left( {z,y} \right)dy}
\]

Calcular

\[
\frac{{\partial I}}{{\partial x}}(x,z) = \frac{d}{{dx}}\left( {\int\limits_a^x {f\left( {z,y} \right)dy} } \right) = f\left( {z,x} \right)
\]

e

\[
\frac{{\partial I}}{{\partial z}}(x,z) = \int\limits_a^x {\frac{\partial }{{\partial z}}\left( {f\left( {z,y} \right)} \right)dy}  = \int\limits_a^x {\frac{\partial }{{\partial x}}\left( {f\left( {z,y} \right)} \right)\frac{{\partial x}}{{\partial z}}dy}  = \int\limits_a^x {\frac{\partial }{{\partial x}}\left( {f\left( {z,y} \right)} \right)dy}
\]

E finalmente fazer

\[
\frac{d}{{dx}}\int\limits_a^x {f\left( {x,y} \right)dy}  = \frac{d}{{dx}}I(x,x) = \frac{{\partial I}}{{\partial x}} + \frac{{\partial I}}{{\partial z}}\frac{{\partial x}}{{\partial x}} = f\left( {x,x} \right) + \int\limits_a^x {\frac{\partial }{{\partial x}}\left( {f\left( {x,y} \right)} \right)dy}
\]

Se percebeu este exemplo, espero que consiga chegar a este:

\[
\left( {\int\limits_{\varphi \left( x \right)}^{\psi \left( x \right)} {f\left( {x,y} \right)dy} } \right)^\prime   = f(x,\psi \left( x \right))\psi '\left( x \right) - f(x,\varphi \left( x \right))\varphi '\left( x \right) + \int\limits_{\varphi \left( x \right)}^{\psi \left( x \right)} {\frac{\partial }{{\partial x}}\left( {f\left( {x,y} \right)} \right)dy}
\]

Por hoje é tudo.


Sem comentários:

Enviar um comentário