Intégrale (mathématiques) - Définition

Source: Wikipédia sous licence CC-BY-SA 3.0.
La liste des auteurs est disponible ici.

Une intégrale est le résultat de l'opération mathématique, effectuée sur une fonction, appelé intégration. Une intégrale est donc composée d'un intégrande (la fonction à intégrer) et d'un opérateur que l'on appelle intégrateur (le ∫ ).

Approche intuitive

Représentation graphique d'une intégrale.
Représentation graphique d'une intégrale (Une intégrale est le résultat de l'opération mathématique, effectuée sur une fonction, appelé...).

En mathématiques, l'intégrale d'une fonction réelle (En analyse, une fonction est dite réelle si ses ensembles de départ et d'arrivée sont tous deux...) positive est la valeur de l'aire (Aires (en espagnol, les airs) est une compagnie aérienne intérieure de Colombie.) du domaine délimité par l'axe des abscisses et la courbe (En géométrie, le mot courbe, ou ligne courbe désigne certains sous-ensembles du...) représentative de la fonction.

Pour les fonctions qui prennent des valeurs réelles négatives (gardant un signe constant par intervalles), une définition (Une définition est un discours qui dit ce qu'est une chose ou ce que signifie un nom. D'où la...) d'aire algébrique rend possible une aire négative.

Définition

Soit f une fonction continue définie sur un segment [a,b] à valeurs réelles. Pour simplifier, supposons que cette fonction soit positive (à valeurs positives ou nulles).

L'ensemble (En théorie des ensembles, un ensemble désigne intuitivement une collection...) S=S_f=\left\{\left(x,y\right)\in \mathbb R^+|\,a\le x \le b\ et \ 0 \le y \le f(x)\right\} est une région du plan comprise entre la courbe représentative de f, les deux verticales x=a et x=b, et l'axe des abscisses x. La mesure de l'" aire " de S cherchée, notée \int_a^b {f(x)dx}, est l'intégrale de a à b de f. Celle-ci est alors appelée l'intégrale définie de f sur le segment [a,b]. Pour avoir plus de détails voir les pages intégrale de Riemann (En analyse réelle, l'intégrale de Riemann est une façon simple de définir l'intégrale d'une...) et intégrale de Lebesgue (En mathématiques dans la branche de l'analyse réelle, l'intégrale de Lebesgue est une intégrale...). Si une fonction est intégrable au sens (SENS (Strategies for Engineered Negligible Senescence) est un projet scientifique qui a pour but...) de Riemann, alors elle est intégrable au sens de Lebesgue, et les deux valeurs coïncident.

Il est possible de définir une intégrale par la notion de primitive d'une fonction. La " primitivation " est l'opération qui, à partir d'une fonction f, donne une fonction F dérivable et dont la dérivée (La dérivée d'une fonction est le moyen de déterminer combien cette fonction varie quand la...) est égale à f. F'(x) = f(x),

En admettant que toute fonction continue sur un segment [a, b], admet des primitives, l'intégrale de a à b est égale à F(b)-F(a) et ce nombre (La notion de nombre en linguistique est traitée à l’article « Nombre...) ne dépend pas de la primitive choisie.

Cette approche est motivée en analyse, et est la méthode principale utilisée pour le calcul d'aire sous une courbe comme décrit dans le paragraphe précédent.

Les fonctions qui admettent des primitives sont aussi intégrables au sens de Riemann (et aussi au sens de Lebesgue).

Le théorème (Un théorème est une proposition qui peut être mathématiquement démontrée, c'est-à-dire une...) fondamental du calcul différentiel (Un différentiel est un système mécanique qui a pour fonction de distribuer une vitesse de...) et intégral affirme que les deux approches de l'intégrale (" aire sous une courbe " et " primitivation "), sont sous certaines conditions les mêmes.

La nuance entre l'intégration au sens de Riemann et au sens de Lebesgue

Le schéma général utilisé pour construire une intégrale et qui cherche à mesurer l'aire du domaine sous la courbe, est le même pour les deux approches de l'intégration, au sens de Riemann et au sens de Lebesgue.

D'abord, on considère une famille de fonctions élémentaires, pour lesquelles nous avons un moyen évident de mesurer l'aire sous la courbe. Dans le cas de l'intégrale de Riemann, ce sont les fonctions en escalier (L’escalier est une construction architecturale constituée d'une suite...) dont l'aire sous la courbe est égale à la somme des aires des rectangles ; le domaine sous la courbe d'une telle fonction peut alors être vu comme une réunion de rectangles. Pour l'intégrale de Lebesgue, les fonctions élémentaires sont appelées fonctions étagées, et les rectangles sont remplacés par des objets plus sophistiqués.

Construction

Si sur le segment [a,b], 0\le f\le g (ainsi Sf est inclus dans Sg), alors nous aurons \int f \le \int g. Si l'on suppose la fonction f monotone sur [a,b], il est possible d'approcher son aire en utilisant soigneusement une fonction élémentaire s (dans le cas de l'intégration de Riemann, une fonction en escalier, et dans le cas de l'intégration de Lebesgue, une fonction étagée). Nous choisissons s telle que s\le f mais en supposant s très proche de f, au sens où, ayant préalablement fixé un \varepsilon arbitrairement petit, les valeurs prises par f s'éloignent de celles prises par s d'au plus \varepsilon : on dit aussi \sup_{[a,b]}\,|f-s|\le\varepsilon ou \|f-s\|_\infty\le\varepsilon.

L'aire sous s, facilement calculable comme somme d'aires de rectangles, est majorée par l'intégrale de f, et est appelée somme inférieure.

Dans le cas de l'intégrale de Riemann, nous fabriquons aussi des sommes supérieures de la même façon: nous choisissons une fonction en escalier, disons σ, telle que \sigma\ge f en supposant σ de la même manière très proche de f, et nous considérons une somme supérieure comme un majorant de l'aire du domaine sous f. La théorie (Le mot théorie vient du mot grec theorein, qui signifie « contempler, observer,...) de Lebesgue n'utilise pas de sommes supérieures.

On montre que l'ensemble des aires sous les fonctions s que l'on peut choisir (respectivement sous les fonctions σ dans la théorie de Riemann), admet une borne supérieure (resp. inférieure, et c'est la même). Cette valeur est alors appelée intégrale de f sur [a,b].

Les fonctions que nous pouvons intégrer sont appelées fonctions intégrables.

Cependant, les différences commencent ici ; la théorie de Riemann est de loin la plus simple, mais de cette simplicité résulte que l'ensemble des fonctions intégrables est plus restreint que celui de la théorie de Lebesgue. En plus, l'interaction (Une interaction est un échange d'information, d'affects ou d'énergie entre deux agents au sein...) entre les limites et l'intégrale sont plus difficiles à décrire dans la théorie de Riemann.

Généralisation (La généralisation est un procédé qui consiste à abstraire un ensemble de...) à un intervalle quelconque

La généralisation de l'intégrale à un intervalle quelconque se fait en se basant sur la notion d'intégrale définie sur un segment. Soit f une fonction à valeurs réelles positives, continue définie sur un intervalle I quelconque, noté (a,b), où a (resp. b) est réel ou égal à +\infty (resp. réel ou égal à -\infty), et les parenthèses signifiant [ ou ] (exclusion si valeur infinie). On dit que f est intégrable sur l'intervalle [a,b] lorsque l'ensemble \left\{\int_S f\,|\,S \sub (a,b)\right\}, où S est un segment, est majoré. Partie non vide et majorée de \mathbb R, il admet une borne supérieure : on la note alors \int_I f\, et on l'appelle intégrale de f sur I.

Avec ces mêmes données (Dans les technologies de l'information (TI), une donnée est une description élémentaire, souvent...), on a l'équivalence logique : f intégrable sur (a,b) \Leftrightarrow toute primitive de f sur (a,b) admet une limite finie en a et en b.

Dans le cas où une fonction f est intégrable sur un intervalle (a,b), \int_{(a,b)} f = \lim_{b} F - \lim_a F.

Enfin, pour une fonction continue définie sur un intervalle I quelconque et à valeurs dans \mathbb C, on pose par définition : f intégrable sur I \Leftrightarrow \ |f| intégrable sur I en tant que fonction à valeurs réelles positives.

De même pour f continue définie sur I et à valeurs dans un espace vectoriel normé (Un espace vectoriel normé est une structure mathématique qui développe des...) (E,\|.\|), f intégrable sur I \Leftrightarrow \ \|f\| intégrable sur I en tant que fonction à valeurs réelles positives.

Remarque : il se peut très bien que " l'aire sous la courbe " d'une fonction définie et continue sur I et à valeurs réelles (changeant de signe) ait une limite en faisant tendre les extrémités d'une suite de segments inclus dans I vers les bornes de I, sans toutefois que la fonction en jeu soit intégrable sur I au sens de la définition. On parle alors d'intégrale semi-convergente, la valeur de l'aire trouvée est appelée Intégrale impropre (L'intégrale impropre désigne une extension de l'intégrale usuelle, définie par une forme de...). C'est le cas avec l'exemple classique de la fonction \begin{array}{ccc} \mathbb R_{+}^{*} & \longrightarrow & \mathbb R\\ t & \longmapsto & \frac{\sin t}{t}\end{array} : elle peut être prolongée par 1 en zéro mais le problème de l'intégrabilité se pose au voisinage (La notion de voisinage correspond à une approche axiomatique équivalente à celle de la...) de +\infty. On peut calculer son intégrale impropre (puisqu'elle n'est que semi-convergente) : on trouve \int_0^{+\infty}{\sin t\over t}={\pi\over 2}.

Symbole de l'intégrale

Le symbole de l'intégrale, , est un ancien s long : en effet, Leibniz s'est servi de l'initiale du mot latin summa, " somme ", lequel était le plus souvent écrit ?umma. À la différence du s long, , en typographie, garde toujours une hampe descendant au-dessous de la ligne de base, en romaine comme en italique.

Moyenne (La moyenne est une mesure statistique caractérisant les éléments d'un ensemble de...)

  • Pour toute fonction continue (ou même seulement continue par morceaux) sur un segment [a, b] non vide et non trivial (c.-à-d. b>a), la valeur moyenne de f sur [a;b] est le réel m défini par :

m = \frac{1}{b-a} \times \int_{a}^{b} f(x)\, dx Cette notion généralise celle de moyenne d'un nombre fini de réels en l'appliquant à un nombre infini de valeurs prises par une fonction intégrable. Elle sert par exemple dans la décomposition (En biologie, la décomposition est le processus par lequel des corps organisés, qu'ils...) en série de Fourier (En analyse, les séries de Fourier sont un outil fondamental dans l'étude des fonctions...) d'une fonction périodique : c'est la composante constante. En traitement du signal ( Termes généraux Un signal est un message simplifié et généralement codé. Il existe...), pour les signaux périodiques, il s'agit de la composante continue (offset).

  • On peut aussi, par analogie avec les moyennes pondérées d'un nombre fini de réels, affecter " à chacune des valeurs prises par la fonction " un coefficient (En mathématiques un coefficient est un facteur multiplicatif qui dépend d'un certain...) strictement positif. On utilise alors ce que l'on appelle une fonction poids (Le poids est la force de pesanteur, d'origine gravitationnelle et inertielle, exercée par la...) w:\,\mathbb R \longrightarrow\mathbb R_{+}^{*} (w pour l'initiale de weight, poids en anglais) : m_w = \frac{\int_{a}^{b} f(x).w(x)\, dx}{\int_{a}^{b} w(x)\, dx}.
  • Ce procédé peut aussi s'utiliser sur un intervalle ouvert ou semi-ouvert mais borné (ie aucune de ses bornes n'est infinie) où la fonction f\times w est intégrable. On peut citer l'exemple classique servant à montrer l'orthogonalité de la famille des polynômes de Tchebychev : {2\over \pi}\,\int_{[0,1[}{T_n(x).T_p(x)\over\sqrt{1-x^2}}\,dx où la fonction T_n\times T_p est continue sur le fermé [0,1] et où la fonction poids est \begin{array}{cccc}w: & \mathbb R & \longrightarrow & \mathbb R_{+}^{*}\\& x & \mapsto & \frac{1}{\sqrt{1-x^2}}\end{array} est intégrable sur [0,1[, et dont l'intégrale vaut \pi\over 2

Propriétés des intégrales

Soient f et g deux fonctions continues sur I et a, b et c trois réels de I.

  1. \int_{a}^{a} f(x)\, dx = 0
  2. \int_{b}^{a} f(x)\, dx = -\int_{a}^{b} f(x)\, dx
  3. \int_{a}^{b} f(x)\, dx + \int_{b}^{c} f(x)\, dx = \int_{a}^{c} f(x)\, dx (relation de Chasles)
  4. \forall \lambda \in \mathbb C, \int_{a}^{b} \lambda\,f(x)\, dx = \lambda\,\int_{a}^{b} f(x)\, dx
  5. \int_{a}^{b} (f(x) + g(x))\, dx = \int_{a}^{b} f(x)\, dx + \int_{a}^{b} g(x)\, dx (linéarité de l'intégration - et non de l'intégrale, comme il est trop souvent dit)
  6. Si f(x) \le g(x) sur [a; b], alors \int_{a}^{b} f(x)\, dx \le \int_{a}^{b} g(x)\, dx
  7. Inégalité de la moyenne
Si f est continue sur [a; b] et si pour tout (Le tout compris comme ensemble de ce qui existe est souvent interprété comme le monde ou...) x de cet intervalle, on a :
m \le f(x) \le M, alors m\,(b-a) \le \int_{a}^{b} f(x)\, dx \le M\,(b-a)

Intégration par parties

Soient u et v deux fonctions C1 (ie dérivables de dérivées continues sur [a,b]) :

\int_{a}^{b} u'(x)v(x)\,dx = [u(x)v(x)]_a^b - \int_{a}^{b} u(x)v'(x)\,dx

Intégration par changement de variable (En mathématiques et en logique, une variable est représentée par un symbole. Elle...)

Page générée en 0.057 seconde(s) - site hébergé chez Contabo
Ce site fait l'objet d'une déclaration à la CNIL sous le numéro de dossier 1037632
A propos - Informations légales | Partenaire: HD-Numérique
Version anglaise | Version allemande | Version espagnole | Version portugaise