Difference between revisions of "Fundamental theorems of calculus"
Borishaase (talk | contribs) m |
Borishaase (talk | contribs) (Fundamental theorems of calculus) |
||
Line 1: | Line 1: | ||
− | '''First fundamental theorem of exact differential and integral calculus for line integrals:''' The function <math>F(z)={\uparrow}_{\gamma }{f(\zeta ) | + | '''First fundamental theorem of exact differential and integral calculus for line integrals:''' The function <math>F(z)={\uparrow}_{\gamma }{f(\zeta ){\downarrow}\zeta }</math> where <math>\gamma: [d, x[ \, \cap \, C \rightarrow A \subseteq {}^{(\omega)}\mathbb{K}, C \subseteq \mathbb{R}, f: A \rightarrow {}^{(\omega)}\mathbb{K}, d \in G = [a, b[ \, \cap \, C</math>, and choosing <math>{}^\curvearrowright \gamma(x) = \gamma({}^\curvearrowright x)</math> is exactly differentiable, and for all <math>x \in G</math> and <math>z = \gamma(x)</math> |
− | <div style="text-align:center;"><math>F | + | <div style="text-align:center;"><math>F^{\prime}(z) = f(z).</math></div> |
− | <table style="width:100%"><tr><td style="vertical-align: top; padding-top: 1em;">'''Proof:'''</td><td style="text-align: center; font-size: 84%;"><math>\begin{aligned}{\downarrow} | + | <table style="width:100%"><tr><td style="vertical-align: top; padding-top: 1em;">'''Proof:'''</td><td style="text-align: center; font-size: 84%;"><math>\begin{aligned}{\downarrow}F(z) &={\uparrow}_{t\in [d,x] \cap C}{f(\gamma (t)){{\gamma }^{\prime}}(t){\downarrow}t}-{\uparrow}_{t\in [d,x[ \, \cap \, C}{f(\gamma (t)){{\gamma }^{\prime}}(t){\downarrow}t} &={\uparrow}_{x}{f(\gamma (t))\tfrac{\gamma ({}^\curvearrowright t)-\gamma (t)}{{}^\curvearrowright t-t}{\downarrow}t} \\ &=f(\gamma (x)){{\gamma}^{\prime}}(x){\downarrow}x=\;\;\;\;\;\;\;\;\;\;\;\;\;f(\gamma (x))({}^\curvearrowright\gamma (x)-\gamma (x)) &=f(z){\downarrow}z.\square\end{aligned}</math></td></tr></table> |
− | '''Second fundamental theorem of exact differential and integral calculus for line integrals:''' | + | '''Second fundamental theorem of exact differential and integral calculus for line integrals:''' Conditions above imply with <math>\gamma: G \rightarrow {}^{(\omega)}\mathbb{K}</math> that |
− | <div style="text-align:center;"><math> F(\gamma (b))-F(\gamma (a))={\uparrow}_{\gamma } | + | <div style="text-align:center;"><math> F(\gamma (b))-F(\gamma (a))={\uparrow}_{\gamma }{{F^{\prime}}(\zeta ){\downarrow}\zeta }.</math></div> |
− | <table style="width:100%"><tr><td style="vertical-align: top; padding-top: 0.4em;">'''Proof:'''</td><td style="text-align: center; font-size: 84%;"><math>\begin{aligned}F(\gamma (b))-F(\gamma (a))&={+}_{t\in | + | <table style="width:100%"><tr><td style="vertical-align: top; padding-top: 0.4em;">'''Proof:'''</td><td style="text-align: center; font-size: 84%;"><math>\begin{aligned}F(\gamma (b))-F(\gamma (a)) &={+}_{t\in G}{F({}^\curvearrowright\,\gamma (t))}-F(\gamma (t)) &={+}_{t\in G}{{{F}^{\prime}}(\gamma (t))({}^\curvearrowright\,\gamma (t)-\gamma (t))} \\ &={\uparrow}_{t\in G}{{F^{\prime}}(\gamma (t)){{\gamma }^{\prime}}(t){\downarrow}t} &={\uparrow}_{\gamma }{{F_{{}^\curvearrowright }^{\prime}}(\zeta ){\downarrow}\zeta }.\square\end{aligned}</math></td></tr></table> |
== See also == | == See also == |
Latest revision as of 16:55, 29 September 2023
First fundamental theorem of exact differential and integral calculus for line integrals: The function [math]\displaystyle{ F(z)={\uparrow}_{\gamma }{f(\zeta ){\downarrow}\zeta } }[/math] where [math]\displaystyle{ \gamma: [d, x[ \, \cap \, C \rightarrow A \subseteq {}^{(\omega)}\mathbb{K}, C \subseteq \mathbb{R}, f: A \rightarrow {}^{(\omega)}\mathbb{K}, d \in G = [a, b[ \, \cap \, C }[/math], and choosing [math]\displaystyle{ {}^\curvearrowright \gamma(x) = \gamma({}^\curvearrowright x) }[/math] is exactly differentiable, and for all [math]\displaystyle{ x \in G }[/math] and [math]\displaystyle{ z = \gamma(x) }[/math]
Proof: | [math]\displaystyle{ \begin{aligned}{\downarrow}F(z) &={\uparrow}_{t\in [d,x] \cap C}{f(\gamma (t)){{\gamma }^{\prime}}(t){\downarrow}t}-{\uparrow}_{t\in [d,x[ \, \cap \, C}{f(\gamma (t)){{\gamma }^{\prime}}(t){\downarrow}t} &={\uparrow}_{x}{f(\gamma (t))\tfrac{\gamma ({}^\curvearrowright t)-\gamma (t)}{{}^\curvearrowright t-t}{\downarrow}t} \\ &=f(\gamma (x)){{\gamma}^{\prime}}(x){\downarrow}x=\;\;\;\;\;\;\;\;\;\;\;\;\;f(\gamma (x))({}^\curvearrowright\gamma (x)-\gamma (x)) &=f(z){\downarrow}z.\square\end{aligned} }[/math] |
Second fundamental theorem of exact differential and integral calculus for line integrals: Conditions above imply with [math]\displaystyle{ \gamma: G \rightarrow {}^{(\omega)}\mathbb{K} }[/math] that
Proof: | [math]\displaystyle{ \begin{aligned}F(\gamma (b))-F(\gamma (a)) &={+}_{t\in G}{F({}^\curvearrowright\,\gamma (t))}-F(\gamma (t)) &={+}_{t\in G}{{{F}^{\prime}}(\gamma (t))({}^\curvearrowright\,\gamma (t)-\gamma (t))} \\ &={\uparrow}_{t\in G}{{F^{\prime}}(\gamma (t)){{\gamma }^{\prime}}(t){\downarrow}t} &={\uparrow}_{\gamma }{{F_{{}^\curvearrowright }^{\prime}}(\zeta ){\downarrow}\zeta }.\square\end{aligned} }[/math] |