Skip to content
GitLab
Explore
Sign in
Primary navigation
Search or go to…
Project
math_tech_info
Manage
Activity
Members
Labels
Plan
Issues
Issue boards
Milestones
Wiki
Code
Merge requests
Repository
Branches
Commits
Tags
Repository graph
Compare revisions
Snippets
Build
Pipelines
Jobs
Pipeline schedules
Artifacts
Deploy
Releases
Model registry
Operate
Environments
Monitor
Incidents
Analyze
Value stream analytics
Contributor analytics
CI/CD analytics
Repository analytics
Model experiments
Help
Help
Support
GitLab documentation
Compare GitLab plans
Community forum
Contribute to GitLab
Provide feedback
Keyboard shortcuts
?
Snippets
Groups
Projects
Show more breadcrumbs
simon.cirilli
math_tech_info
Commits
8ad329da
Commit
8ad329da
authored
7 years ago
by
orestis.malaspin
Browse files
Options
Downloads
Patches
Plain Diff
corrections des def, ... jusqu'au chapitre 2
parent
ae18ee90
No related branches found
No related tags found
No related merge requests found
Changes
1
Hide whitespace changes
Inline
Side-by-side
Showing
1 changed file
cours.md
+118
-8
118 additions, 8 deletions
cours.md
with
118 additions
and
8 deletions
cours.md
+
118
−
8
View file @
8ad329da
...
...
@@ -475,7 +475,7 @@ primitive $F$ telle que $F(a)=b$.
---
Exemple
(Unicité) +.#
Illustration
(Unicité) +.#
Soit $f(x)=x$, alors l’ensemble de primitives correspondantes est
$G=x^2/2+C$. Si nous cherchons la primitive telle que $G(0)=0$, il vient
...
...
@@ -518,7 +518,9 @@ pouvons récapituler des formules qui seront importantes pour la suite:
5.
$
\i
nt
\c
os(x){
\m
athrm{d}}x=
\s
in(x)+C$.
\[
def_prim
\]
En définissant à présent l’intégrale à l’aide de la notion
Théorème (Théorème fondamental du calcul intégral) +.#
En définissant à présent l’intégrale à l’aide de la notion
de primitive, nous avons que pour $a,b
\i
n{
\m
athbb{R}}$ et $a<b$
$$
\i
nt_a^b f(x){
\m
athrm{d}}x=
\l
eft.F
\r
ight|_a^b=F(b)-F(a).$$
...
...
@@ -527,10 +529,16 @@ elle disparaît après que l’intégrale ait été effectuée. On peut donc
écrire l’équation ci-dessus de façon équivalente en remplaçant le
symbole $x$ par n’importe quelle autre lettre (sauf $a,b,f,F$).
---
Remarque +.#
On notera que la constante additive $C$ a disparu de cette formule. En
effet, remplaçons $F$ par $G=F+C$, il vient
$$
\i
nt_a^b f(x){
\m
athrm{d}}x=G(b)-G(a)=F(b)+C-F(a)-C=F(b)-F(a).$$
---
De la définition
\[
def_prim
\]
, il vient immédiatement que
$$
\i
nt_a^af(x){
\m
athrm{d}}x=F(a)-F(a)=0$$ et que
$$
\i
nt_a^bf(x){
\m
athrm{d}}x= -
\i
nt_b^af(x){
\m
athrm{d}}x$$
...
...
@@ -539,6 +547,8 @@ Nous pouvons à présent définir la fonction $G(x)$ telle que
$$G(x)=
\i
nt_a^xf(y){
\m
athrm{d}}y=F(x)-F(a).$$ Nous avons donc que $G(x)$
est la primitive de $f$ telle que $G(a)=0$.
Propriétés +.#
Soient $f$ et $g$ deux fonctions intégrables sur un intervalle
$D=[a,b]
\s
ubseteq{
\m
athbb{R}}$, $c
\i
n[a,b]$, et $
\a
lpha
\i
n{
\m
athbb{R}}$.
On a
...
...
@@ -574,20 +584,41 @@ cas de figures suivants $$\begin{aligned}
&
\i
nt_{-
\i
nfty}^b f(x){
\m
athrm{d}}x=
\l
im
\l
imits_{a
\r
ightarrow
\i
nfty}
\i
nt_{-a}^b f(x){
\m
athrm{d}}x,
\\
&
\i
nt_{-
\i
nfty}^
\i
nfty f(x){
\m
athrm{d}}x=
\l
im
\l
imits_{a
\r
ightarrow
\i
nfty}
\i
nt_{-a}^a f(x){
\m
athrm{d}}x.
\e
nd{aligned}$$
---
Exemple (Intégrale impropre) +.#
Calculer l’intégrale suivante
$$
\i
nt_0^
\i
nfty e^{-ax}{
\m
athrm{d}}x,
\q
uad a>0.$$ Nous pouvons réécrire
$$\int_0^\infty e^{-ax}{\mathrm{d}}x,\quad a>0.$$
Solution (Intégrale impropre) +.#
Nous pouvons réécrire
l’intégrale ci-dessus comme
$$\int_0^\infty e^{-ax}{\mathrm{d}}x=\lim\limits_{b\rightarrow \infty}\int_0^b e^{-ax}{\mathrm{d}}x=-\frac{1}{a}\lim\limits_{b\rightarrow\infty}\left[e^{-ax}\right]_0^b=-\frac{1}{a}\left[\lim\limits_{b\rightarrow \infty}e^{-ab}-1\right]=\frac{1}{a}.$$
---
---
Exercice +.#
Calculer l’intégrale suivante
$$\int_1^\infty \frac{1}{x^2}{\mathrm{d}}x.$$
---
Lorsque nous avons une discontinuité dans la fonction $f$ au point
$c
\i
n[a,b]$ nous avons
$$
\i
nt_a^b f(x){
\m
athrm{d}}x =
\l
im
\l
imits_{
\v
arepsilon
\r
ightarrow 0}
\i
nt_a^{c-
\v
arepsilon} f(x){
\m
athrm{d}}x +
\i
nt_{c+
\v
arepsilon}^b f(x){
\m
athrm{d}}x.$$
Exercice +.#
Montrer que $$
\i
nt_{-1}^2
\f
rac{1}{x}=
\l
n{2}.$$
Définition (Valeur moyenne) +.#
Soit une fonction $f$ admettant une primitive sur $[a,b]$ et $a<b$,
alors on appelle la valeur moyenne de cette fonction sur $[a,b]$,
$
\b
ar{f}$, $$
\b
ar{f}=
\f
rac{1}{b-a}
\i
nt_a^bf(x){
\m
athrm{d}}x.$$
...
...
@@ -612,9 +643,15 @@ $\{a_i\}_{i=0}^{n}\in{\mathbb{R}}$ $$\begin{aligned}
=&
\i
nt a_0{
\m
athrm{d}}x +
\i
nt a_1 x{
\m
athrm{d}}x +
\i
nt a_2 x^2{
\m
athrm{d}}x+
\c
dots+
\i
nt a_{n-1} x^{n-1}{
\m
athrm{d}}x+
\i
nt a_{n} x^{n}{
\m
athrm{d}}x
\\
=&a_0 x +
\f
rac{a_1}{2}x^2+
\f
rac{a_2}{3}x^3+
\c
dots+
\f
rac{a_n}{n+1}x^{n+1}+c.
\e
nd{aligned}$$
---
Exercice +.#
Intégrer la fonction suivante
$$
\i
nt (x+2)(x^3+3x^2+4x-3){
\m
athrm{d}}x.$$
---
#### Application de la règle de chaîne pour l’intégration
Une primitive de la forme
...
...
@@ -628,15 +665,30 @@ $$\int \sin(x)\cos(x){\mathrm{d}}x=\frac{1}{2}\sin^2(x)+c.$$
Une primitive de la forme
$$
\i
nt
\f
rac{f'(x)}{f(x)}{
\m
athrm{d}}x=
\l
n(f(x))+c.$$
---
Exemple +.#
Calculer la primitive suivante
$$
\i
nt
\f
rac{1}{x}{
\m
athrm{d}}x.
$$
Solution +.#
Le calcul de la primitive de suivante
$$
\i
nt
\f
rac{1}{x}{
\m
athrm{d}}x=
\i
nt
\f
rac{(x)'}{x}{
\m
athrm{d}}x=
\l
n(x)+c.$$
---
#### Règle de chaîne
De façon u
ne des façons les plus simples de calculer une primitive est
U
ne des façons les plus simples de calculer une primitive est
de reconnaître la règle de chaîne dans le terme à intégrer
$$
\i
nt g'(f(x))f'(x){
\m
athrm{d}}x=
\i
nt [g(f(x))]' {
\m
athrm{d}}x=g(f(x))+c.$$
Illustration +.#
Si $g$ est définie comme $g(x)=x^{-1}$ et $f(x)=3x^2+2$, alors la
primitive
$$
\i
nt
\f
rac{f'(x)}{g'(f(x))}{
\m
athrm{d}}x=
\i
nt -
\f
rac{6 x}{(3x^2+2)^2}{
\m
athrm{d}}x=
\f
rac{1}{3x^2+2}.$$
...
...
@@ -663,8 +715,18 @@ Des “règles” pour utiliser cette technique seraient que
2.
$f=
\i
nt f'{
\m
athrm{d}}x$ soit facile à calculer et aurait une forme
plus simple que $f'$.
---
Exemple +.#
Calculer les primitives suivantes
1.
$
\i
nt x e^x{
\m
athrm{d}}x$.
2.
$
\i
nt
\c
os(x)
\s
in(x){
\m
athrm{d}}x$.
Solution +.#
1.
$
\i
nt x e^x{
\m
athrm{d}}x$. $g(x)=x$, $f'(x)=e^x$ et donc $g'(x)=1$,
$f(x)=e^x$. Il vient
$$
\i
nt x e^x=x e^x-
\i
nt e^x{
\m
athrm{d}}x=x e^x-e^x+c.$$
...
...
@@ -673,20 +735,38 @@ Calculer les primitives suivantes
donc $g'(x)=-
\s
in(x)$, $f(x)=-
\c
os(x)$. Il vient $$
\b
egin{aligned}
&
\i
nt
\c
os(x)
\s
in(x){
\m
athrm{d}}x=
\s
in^2(x)-
\i
nt
\c
os(x)
\s
in(x){
\m
athrm{d}}x
\n
onumber
\\
\R
ightarrow &
\i
nt
\c
os(x)
\s
in(x){
\m
athrm{d}}x=
\f
rac{1}{2}
\s
in^2(x).
\e
nd{aligned}$$ On voit que le résultat de l’intégration par
partie nous redonne l’intégrale de départ. Ceci nous permet
d’évaluer directement la dite intégrale.
\e
nd{aligned}$$
On voit que le résultat de l’intégration par
partie nous redonne l’intégrale de départ. Ceci nous permet
d’évaluer directement la dite intégrale.
---
Il est également possible d’enchaîner plusieurs intégrations par
parties.
L’intégrale de $
\i
nt x^2 e^x{
\m
athrm{d}}x$. En posant $g(x)=x^2$,
---
Exemple +.#
Calculer l’intégrale de $
\i
nt x^2 e^x{
\m
athrm{d}}x$.
Solution +.#
En posant $g(x)=x^2$,
$f'(x)=e^x$ et donc $g'(x)=2x$, $f(x)=e^x$. Il vient
$$
\i
nt x^2 e^x{
\m
athrm{d}}x=x^2e^x-2
\i
nt x e^x{
\m
athrm{d}}x.$$ On pose
de façon similaire $g(x)=x$, $f'(x)=e^x$ et donc $g'(x)=1$, $f(x)=e^x$
et il vient
$$
\i
nt x^2 e^x{
\m
athrm{d}}x=x^2e^x-2
\l
eft(x e^x -
\i
nt e^x{
\m
athrm{d}}x
\r
ight)=x^2e^x-2x e^x +2e^x+c.$$
---
---
Exercice +.#
Calculer les primitives suivantes
1.
$
\i
nt
\l
n(x){
\m
athrm{d}}x$
...
...
@@ -695,6 +775,8 @@ Calculer les primitives suivantes
3.
$
\i
nt e^x
\s
in(x){
\m
athrm{d}}x$
---
### Intégration par changement de variables
On observe que la dérivation de la composition de deux fonctions $F$ et
...
...
@@ -704,6 +786,8 @@ où $f=F'$. Si nous intégrons cette relation on obtient $$\begin{aligned}
\i
nt_a^b f(g(y))g'(y){
\m
athrm{d}}y =
\i
nt_a^b [F(g(y))]'{
\m
athrm{d}}y=
\l
eft.F(g(y))
\r
ight|_a^b=F(g(b))-F(g(a))=
\i
nt_{g(a)}^{g(b)}f(x){
\m
athrm{d}}x.
\e
nd{aligned}$$
Cette relation nous mène au théorème suivant.
Théorème (Intégration par changement de variables) +.#
Soit $f$ une fonction continue presque partout, et $g$ une fonction dont
la dérivée est continue presque partout sur un intervalle $[a,b]$. Soit
également l’image de $g$ contenue dans le domaine de définition de $f$.
...
...
@@ -720,8 +804,14 @@ on ne calcule pas l’intégrale mais la primitive, on ne modifie
la primitive il faut également appliquer la transformation $x=g^{-1}(z)$
sur la solution.
---
Exemple (Changement de variable) +.#
Intégrer par changement de variables $
\i
nt_1^3 6x
\l
n(x^2){
\m
athrm{d}}x$.
Solution (Changement de variable) +.#
En définissant $z=x^2$, nous avons ${
\m
athrm{d}}x={
\m
athrm{d}}z/(2x)$.
Les bornes d’intégration deviennent $z(1)=1^2=1$ et $z(3)=3^2=9$. On
obtient donc $$
\b
egin{aligned}
...
...
@@ -729,6 +819,12 @@ obtient donc $$\begin{aligned}
&=3
\l
eft[z
\l
n(z)-z
\r
ight]_1^9=3(9
\l
n(9)-9-
\l
n(1)+1)=27
\l
n(9)-24.
\e
nd{aligned}$$
---
---
Exercice +.#
Calculer les primitives suivantes par changement de variable
1.
$
\i
nt
\f
rac{1}{5x-7}{
\m
athrm{d}}x$
...
...
@@ -737,6 +833,8 @@ Calculer les primitives suivantes par changement de variable
3.
$
\i
nt x e^{x^2}{
\m
athrm{d}}x$
---
Intégration numérique
---------------------
...
...
@@ -763,10 +861,20 @@ lesquelles nous évaluons les intégrale est finie, si $\delta x$ devient
proche de la précision de la machine des erreurs d’arrondi vont dégrader
dramatiquement la précision de l’intégration.
---
Remarque +.#
De façon générale il est difficile de connaître à l’avance la valeur
exacte de $E$. En revanche on est en capable de déterminer
**l’ordre**
de l’erreur.
---
---
Définition (Ordre d'une méthode) +.#
On dit qu’une méthode d’intégration est d’ordre $k$, si l’erreur commise
par la méthode varie proportionnellement à $
\d
elta x^k$. On note qu’une
erreur est d’ordre $k$ par le symbole $
\m
athcal{O}(
\d
elta x^k)$.
...
...
@@ -775,6 +883,8 @@ d’un facteur $2$, l’erreur sera elle divisée par $2^2=4$. Si une méthode
est d’ordre $3$, alors en diminuant $
\d
elta x$ d’un facteur $2$, nous
aurons que l’erreur est divisée par un facteur $2^3=8$. Etc.
---
Comme le calcul d’une intégrale de façon numérique ne donne en général
pas un résultat exact, mais un résultat qui va dépendre d’un certain
nombre de paramètres utilisés pour l’intégration, il faut définir un
...
...
This diff is collapsed.
Click to expand it.
Preview
0%
Loading
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Save comment
Cancel
Please
register
or
sign in
to comment