Début de la boite de navigation du chapitre
fin de la boite de navigation du chapitre
En raison de limitations techniques, la typographie souhaitable du titre, «
Outils mathématiques pour la physique (PCSI) : Transformées monolatérales de Laplace directes et inverses et leur utilisation
Outils mathématiques pour la physique (PCSI)/Transformées monolatérales de Laplace directes et inverses et leur utilisation », n'a pu être restituée correctement ci-dessus.
La transformation de Laplace a été nommée ainsi en l'honneur de Pierre-Simon Laplace [1] pour son utilisation dans la théorie des probabilités qu'il a initiée, mais elle fut découverte par Leonhard Euler [2].
Soit une fonction réelle
de la variable réelle
ayant les propriétés suivantes :
- « les valeurs de la fonction sont nulles pour
» [3]
la fonction est alors qualifiée de « causale » [4]
,
- « la fonction est continue par morceaux sur tout intervalle
» [5], [6],
- « au voisinage de
,
tels que
» [7] et
- « la fonction est “ d'ordre exponentiel
” avec
»
« la fonction est “ d'ordre expo
«
tels que
et
» [8].
Remarques : On prolonge la définition de la transformée
monolatérale
de Laplace [1] d'une fonction à support positif [14] à celle
Remarques : On prolonge la définition de la transformée
monolatérale
de Laplace d'une fonction à support positif étendu à gauche de
c.-à-d. de support
avec
Remarques : On prolonge la définition de la transformée
monolatérale
de Laplace d'une fonction à support positif étendu à gauche de
un voisinage ouvert à gauche de
, borné inférieurement,
Remarques : On prolonge la définition de la transformée
monolatérale
de Laplace d'une fonction à support positif étendu à gauche de
telle que la restriction de la fonction à
[15] dans
Remarques : On prolonge la définition de la transformée
monolatérale
de Laplace d'une fonction à support positif étendu à gauche de
[16] est une fonction indéfiniment dérivable [17]
et
Remarques : On prolonge la définition de la transformée
monolatérale
de Laplace d'une distribution
telle que l'intégrale de définition [18] de sa transformée de Laplace [1] converge [19]
.
- « Fonction de Heaviside [20]
ou échelon unité
»
«
pour
» [21] en effet le calcul conduit à
« Fonction de Heaviside
ou échelon unité
»
«
» [13].
- « Pic de Dirac [22] d'impulsion unité
» [23]
«
» [24] en effet,
« Pic de Dirac d'impulsion unité
» si
est
, on a «
» [13] donnant
« Pic de Dirac d'impulsion unité
» si
est
, on a «
[13] en intégrant par parties [18], [25] soit
« Pic de Dirac d'impulsion unité
» si
est
, on a «
[13]
» mais le résultat reste le même
« Pic de Dirac d'impulsion unité
» si
est
, ce qui s'établit en utilisant une autre démonstration que l'intégration par parties [26], [27].
- « Fonction rampe
»
«
pour
» [28] en effet le calcul conduit à
« Fonction rampe
»
«
[13] donnant, en intégrant par parties [25]
« Fonction rampe
»
«
[13]
dès lors que
est
».
Début d’un théorème
Théorème d'unicité (admis)
Fin du théorème
Soient «
et
deux fonctions
ou distributions
» admettant pour « transformées
monolatérales
de Laplace [1] respectives
et
», avec
Soient «
et
«
la plus grande des abscisses de convergence » des deux transformées
monolatérales
de Laplace [1] et
Soient «
un réel non nul quelconque »,
on démontre les propriétés suivantes
ces démonstrations utilisent la linéarité de l'intégration permettant de passer de la fonction
ou la distribution
à sa transformée
monolatérale
de Laplace [1]
:
on démontre les propriétés suivantes «
» pour «
» et
on démontre les propriétés suivantes «
» pour «
» ou
on démontre les propriétés suivantes «
» pour «
».
Soit
une fonction
ou distribution
admettant pour transformée
monolatérale
de Laplace [1] «
[29] si
» [13] avec
Soit
une fonction
ou distribution
admettant pour transformée
monolatérale
de Laplace «
«
abscisse de convergence de
»,
Soit
la dérivée de la fonction
ou dérivée de la distribution [18]
admettant pour transformée
monolatérale
de Laplace [1] «
[29] si
» [13]
Soit
la dérivée de la fonction
ou dérivée de la distribution
admettant pour transformée
monolatérale
de Laplace avec «
abscisse de convergence de
» [30] ;
nous établissons ci-après la propriété suivante
Influence de la dérivation sur la transformée (monolatérale) de Laplace d'une fonction ou distribution
Démonstration : « pour calculer
[13], [35] dans le domaine de validité de la transformée
monolatérale
de Laplace [1]
» c.-à-d.
Démonstration : « pour calculer
dans le cas de «
avec
abscisse de convergence de
»,
Démonstration : « pour calculer
dans l'hypothèse où «
[36] diverge en
», on intègre par parties [35], [25]
Démonstration : « pour calculer
dans l'hypothèse où «
diverge en
» «
[13]
Démonstration : « pour calculer
dans l'hypothèse où «
diverge en
» «
» [37] alors que
Démonstration : « pour calculer
dans l'hypothèse où «
[36] converge en
»
«
» car «
est discontinue de 1ère espèce [38] ou
Démonstration : « pour calculer
dans l'hypothèse où «
converge en
»
«
» car «
est continue en
» [39] d'où
Démonstration : « pour calculer
dans l'hypothèse où «
converge en
» «
» [13]
Démonstration : « pour calculer
dans l'hypothèse où «
converge en
» «
» [13] que l'on intègre par parties [25] selon
Démonstration : « pour calculer
dans l'hypothèse où «
converge en
» «
[13]
Démonstration : « pour calculer
dans l'hypothèse où «
converge en
» «
» [37], [40].
Soit
une fonction
ou distribution
admettant pour transformée
monolatérale
de Laplace [1] «
[29] si
» [13] avec
Soit
une fonction
ou distribution
admettant pour transformée
monolatérale
de Laplace «
«
abscisse de convergence de
»,
Soit
la primitive de la fonction
ou primitive de la distribution [18]
s'annulant en
et
Soit
la primitive de la fonction
ou primitive de la distribution
admettant pour transformée
monolatérale
de Laplace [1]
Soit
la primitive de la fonction
ou primitive de la distribution
admettant «
[29] si
» [13] avec Soit
la primitive de la fonction
ou primitive de la distribution
admettant «
abscisse de convergence de
» [41] ;
nous établissons ci-après la propriété suivante
Influence de l'intégration sur la transformée (monolatérale) de Laplace d'une fonction ou distribution
Avec «

la transformée

monolatérale

de Laplace
[1] de la fonction

ou
distribution

»
[31] Avec «
la transformée
monolatérale
de Laplace d'« abscisse de convergence

» et
Avec «

celle de la primitive de la fonction

ou de la primitive de la
distribution [29]
Avec «
celle de la primitive de la fonction
ou de la primitive de la distribution
s'annulant en

»
Avec «
celle de la primitive de la fonction d'« abscisse de convergence
[41] »,
ces deux transformées de Laplace
[1] sont liées par la relation suivante :
«
pour
».
Démonstration : « pour calculer
[13], [35] dans le domaine de validité de la transformée
monolatérale
de Laplace [1]
Démonstration : « pour calculer
dans le domaine de validité de
» c.-à-d.
Démonstration : « pour calculer
dans le cas de «
avec
abscisse de convergence de
»,
Démonstration : « pour calculer
on procède en intégrant par parties [35], [25]
«
[13]
Démonstration : « pour calculer
on procède en intégrant par parties
«
» [42].
Soit
une fonction
ou distribution
admettant pour transformée
monolatérale
de Laplace [1] «
[29] si
» [13] avec
Soit
une fonction
ou distribution
admettant pour transformée
monolatérale
de Laplace «
«
abscisse de convergence de
»,
Soit
une nouvelle fonction
ou distribution [18]
résultant de la translation
sur la variable
avec
[43] et
Soit
une nouvelle fonction
ou distribution
admettant pour transformée
monolatérale
de Laplace [1] «
[29]
Soit
une nouvelle fonction
ou distribution
admettant pour transformée
monolatérale
de Laplace «
[29] si
» [13] Soit
une nouvelle fonction
ou distribution
admettant pour transformée
monolatérale
de Laplace «
même condition de convergence que
[44]
;
nous établissons ci-après la propriété suivante connue sous le nom du « théorème du retard »
Théorème du retard
[ou influence d'une translation en t sur la transformée (monolatérale) de Laplace d'une fonction ou distribution]
Démonstration : « pour calculer
[13], [35] dans le domaine de validité de la transformée
Démonstration : « pour calculer
monolatérale
de Laplace [1]
» c.-à-d. «
avec
abscisse de convergence de
» [44] :
Démonstration : « pour calculer
« si
est
» on décompose l'intervalle d'intégration [35]
selon
et on obtient
Démonstration : « pour calculer
« si
est
» «
[13]
Démonstration : « pour calculer
« si
est
» «
» [13] dans laquelle
Démonstration : « pour calculer
« si
est
» «
la 1ère intégrale est nulle
la fonction
ou distribution
étant à support positif
et
Démonstration : « pour calculer
« si
est
» «
la 2nde est égale à
si
d'où
Démonstration : « pour calculer
« si
est
» «
pour
» ou
Démonstration : « pour calculer
« si
est
» on étend l'intervalle d'intégration [35]
selon
en soustrayant
et on obtient
Démonstration : « pour calculer
« si
est
» «
[13]
Démonstration : « pour calculer
« si
est
» «
» [13] dans laquelle
Démonstration : « pour calculer
« si
est
» «
la 1ère intégrale entre crochets est égale à
si
mais
Démonstration : « pour calculer
« si
est
» «
la 2nde est non nulle
«
même pour
»
Démonstration : « pour calculer
d'où, pour vérifier «
», la nécessité d'exiger
.
Soit
une fonction
ou distribution
admettant pour transformée
monolatérale
de Laplace [1] «
[29] si
» [13] avec
Soit
une fonction
ou distribution
admettant pour transformée
monolatérale
de Laplace «
«
abscisse de convergence de
»,
Soit
une nouvelle fonction
ou distribution [18]
résultant du changement d'échelle
sur la variable
avec
[45]
et
Soit
une nouvelle fonction
ou distribution
admettant pour transformée
monolatérale
de Laplace [1] «
[29]
Soit
une nouvelle fonction
ou distribution
admettant pour transformée
monolatérale
de Laplace «
[29], [13] si
» [46] ;
nous établissons ci-après la propriété suivante connue sous le nom du « règle de similitude »
Règle de similitude [ou influence d'un changement d'échelle de t sur la transformée (monolatérale) de Laplace d'une fonction ou distribution]
Démonstration : « pour calculer
[47]
[13], [35] dans le domaine de validité de la transformée
Démonstration : « pour calculer
monolatérale
de Laplace [1]
» c.-à-d. «
avec
abscisse de convergence de
» [46],
Démonstration : « pour calculer
monolatérale
de Laplace
» ou encore, en remplaçant
par
,
Démonstration : « pour calculer
[47]
[13], [35] soit, en posant
,
Démonstration : « pour calculer
[13], [49]
dans la mesure où
Démonstration : « pour calculer
ou
.
Soit
une fonction
ou distribution
admettant pour transformée
monolatérale
de Laplace [1] «
[29] si
» [13] avec
Soit
une fonction
ou distribution
admettant pour transformée
monolatérale
de Laplace «
«
abscisse de convergence de
»,
Soit
une nouvelle fonction
ou distribution [18]
résultant de la multiplication de
par la fonction exponentielle
de
avec
[50] et
Soit
une nouvelle fonction
ou distribution
admettant pour transformée
monolatérale
de Laplace [1] «
[29]
Soit
une nouvelle fonction
ou distribution
admettant pour transformée
monolatérale
de Laplace «
[29], [13]
Soit
une nouvelle fonction
ou distribution
admettant pour transformée
monolatérale
de Laplace «
dans la mesure où
» [51] ;
nous établissons ci-après la propriété suivante connue sous le nom de « règle de translation en
»
Règle de translation en p [ou conséquence de la multiplication par une fonction exponentielle sur la transformée (monolatérale) de Laplace d'une fonction ou distribution]
Avec «

la transformée

monolatérale

de Laplace
[1] de la fonction

ou
distribution

»
[31] Avec «
la transformée
monolatérale
de Laplace d'« abscisse de convergence

» et
Avec «

celle de la fonction

ou de la
distribution [29]

avec

»
[50] Avec «
celle de la fonction 
d'« abscisse de convergence
[51] »,
ces deux transformées de Laplace
[1] sont liées par la relation suivante :
«
[47] avec
[52] pour
[51] ».
Démonstration : « pour calculer
[47]
[13], [35] dans le domaine de validité de la transformée
monolatérale
de Laplace [1]
Démonstration : « pour calculer
dans le domaine de
» c.-à-d. «
avec
Démonstration : « pour calculer
dans le domaine de
abscisse de convergence de
» [51], ou encore,
Démonstration : « pour calculer
en remplaçant
par
, on obtient
Démonstration : « pour calculer
[47]
[13], [35] s'identifiant à «
[47] si
» [51].
Remarque 1 : « si
est
» la fonction exponentielle
est une fonction
de
traduisant un « amortissement exponentiel de la fonction
ou distribution
» et simultanément « le domaine de validité de la transformée
monolatérale
de Laplace [1] s'élargit » car la « nouvelle abscisse de convergence
» alors que
Remarque 1 : « si
est
» la fonction exponentielle
est une fonction
de
traduisant une « amplification exponentielle de la fonction
ou distribution
» et simultanément « le domaine de validité de la transformée
monolatérale
de Laplace [1] s'amenuise » car la « nouvelle abscisse de convergence
».
Remarque 2 : Envisageons maintenant
avec
définissant une fonction complexe dont les parties réelle et imaginaire
Remarque 2 : Envisageons maintenant
avec
sont
;
Remarque 2 : Envisageons maintenant
la « nouvelle fonction
ou distribution
complexe
»
produit de la fonction ou
ou distribution
réelle
Remarque 2 : Envisageons maintenant
la « nouvelle fonction
ou distribution
complexe
»
produit de la fonction par l'exponentielle complexe
Remarque 2 : Envisageons maintenant
la « nouvelle fonction a pour « parties réelle et imaginaire
»
Remarque 2 : Envisageons maintenant
la « nouvelle fonction a pour « parties réelle et imaginaire lesquelles admettent toutes deux une transformée
monolatérale
de Laplace [1]
Remarque 2 : Envisageons maintenant
la « nouvelle fonction a pour « parties réelle et imaginaire sous la même « condition de convergence
avec
» [53] ;
Remarque 2 : Envisageons maintenant
on en déduit la « définition de la transformée
monolatérale
de Laplace [1]
d'une fonction
ou distribution
complexe
»
Remarque 2 : Envisageons maintenant
on en déduit à partir de celle des parties réelle et imaginaire de cette dernière selon
[54]
Remarque 2 : Envisageons maintenant
on en déduit «
» [55] ou encore
Remarque 2 : Envisageons maintenant
on en déduit «
» [13], [35] c.-à-d.
Remarque 2 : Envisageons maintenant
on en déduit la même définition que celle d'une fonction
ou distribution
réelle ;
Remarque 2 : Envisageons maintenant
il est alors aisé d'établir «
pour
» [56]
et
Remarque 2 : Envisageons maintenant
il est alors aisé d'en déduire la « convergence de la transformée
monolatérale
de Laplace [1] complexe de la fonction
ou distribution
complexe
Remarque 2 : Envisageons maintenant
il est alors aisé d'en déduire la « convergence de la transformée
monolatérale
de Laplace complexe de
soit
Remarque 2 : Envisageons maintenant
il est alors aisé d'en déduire la « convergence
avec
abscisse de convergence de
».
Fonction holomorphe en une valeur du domaine de définition
Une « fonction complexe
d'une variable complexe
définie sur un ouvert
» est dite « holomorphe en
»
- si, « pour
,
existe en étant indépendante de la direction d'approche de
à partir de
», « cette limite définissant la dérivée de
en
» et étant notée «
ou
» [57] ou
- en explicitant la direction d'approche,
étant un complexe quelconque de module unité définissant une direction d'approche de
à partir de
, si «
existe
[58] et est indépendante de
», « cette limite indepndante de la direction d'approche de
à partir de
définissant la dérivée de
en
» et étant simplement notée
» [59].
Fonction holomorphe sur un ouvert du domaine de définition
Remarques : Dans la mesure où la fonction complexe
est holomorphe sur l'ouvert
sur laquelle elle est définie, on peut
Remarques :
définir la « fonction complexe dérivée
» et étudier son éventuelle holomorphie et si celle-ci est établie,
Remarques :
définir la « fonction complexe dérivée seconde
» et étudier son éventuelle holomorphie
Remarques :
Holomorphie de la transformée (monolatérale) de Laplace d'une fonction (ou d'une distribution)
Démonstration : Pour démontrer que la transformée
monolatérale
de Laplace [1] d'une fonction
ou d'une distribution
s'écrivant
Démonstration : Pour démontrer que «
» [13], [35] est « holomorphe à n'importe quel ordre sur tout ouvert satisfaisant
Démonstration : Pour démontrer que «
» est « holomorphe à n'importe quel ordre avec
abscisse de convergence de
»,
Démonstration : Pour démontrer que «
» est « holomorphe on vérifie d'abord la propriété pour
puis on l'établit par récurrence soit
Démonstration : Pour démontrer
« pour
»,
[13], [35] soit, en permutant l'intégration sur
et la dérivation par rapport à
,
Démonstration : Pour démontrer
« pour
»,
[13], [35] et finalement «
» C.Q.F.D. [64],
Démonstration : Pour démontrer
hypothèse de récurrence «
pour
quelconque »,
Démonstration : Pour démontrer
on forme
[13], [35] soit, en permutant l'intégration sur
et la dérivation par rapport à
,
Démonstration : Pour démontrer
on forme
[13], [35] et, en regroupant les facteurs,
Démonstration : Pour démontrer
on forme «
» C.Q.F.D. [64],
Démonstration : Pour démontrer
la propriété
«
» étant « vraie pour
» avec «
» est établie par récurrence pour tout
.
Soit
une fonction
ou distribution
admettant pour transformée
monolatérale
de Laplace [1] «
[29] si
» [13] avec
Soit
une fonction
ou distribution
admettant pour transformée
monolatérale
de Laplace «
«
abscisse de convergence de
»,
Soit
une nouvelle fonction
ou distribution [18]
résultant de la multiplication de
par la fonction
puissance nème de
avec
[65] et
Soit
une nouvelle fonction
ou distribution
admettant pour transformée
monolatérale
de Laplace [1] «
[29]
Soit
une nouvelle fonction
ou distribution
admettant pour transformée
monolatérale
de Laplace «
[29], [13]
Soit
une nouvelle fonction
ou distribution
admettant pour transformée
monolatérale
de Laplace «
dans la mesure où
» [66] ;
de la relation «
pour tout
» établie au paragraphe « holomorphie de la transformée (monolatérale) de Laplace » plus haut dans ce chapitre,
de la relation on en déduit «
pour
» soit
« pour
,
»,
de la relation on en déduit «
pour
» soit
« pour
,
»
de la relation on en déduit «
pour
» soit
« pour
,
»
de la relation on en déduit «
pour
» soit 
Application : soit à « évaluer
avec
et
la fonction de Heaviside [20] connaissant
si
» [67], l'application du résultat ci-dessus nous conduit à
Application : soit à évaluer «
si
» soit successivement
«
»,
Application : soit à évaluer «
si
» soit successivement
«
» [68],
Application : soit à évaluer «
si
» soit successivement
«
» [69],
Application : soit à évaluer «
si
» soit successivement
hypothèse de récurrence «
»
Application : soit à évaluer «
si
» soit successivement
hypothèse de récurrence
vérifiée pour
, on en déduit
Application : soit à évaluer «
si
» soit successivement
«
Application : soit à évaluer «
si
» soit successivement
«
, soit encore
Application : soit à évaluer «
si
» soit successivement
«
»
Application : soit à évaluer «
si
» soit successivement
ce qui valide l'hypothèse de récurrence d'où
Application : soit à évaluer «
si
» soit successivement
«
pour
et
».
Soit
une fonction
ou distribution
dépendant du paramètre
relativement auquel elle est dérivable [29] et
Soit
une fonction
ou distribution
admettant pour transformée
monolatérale
de Laplace [1] «
[29] si
» [13] avec «
abscisse
Soit
une fonction
ou distribution
admettant pour transformée
monolatérale
de Laplace «
de convergence de
»,
Soit
la dérivée de la fonction
ou distribution
relativement au paramètre
[29]
Soit
la dérivée de la fonction admettant pour transformée
monolatérale
de Laplace [1] «
[13], [29]
Soit
la dérivée de la fonction admettant pour transformée
monolatérale
de Laplace «
[13], [29] avec, dans le
Soit
la dérivée de la fonction admettant pour transformée
monolatérale
de Laplace cas général, la même condition de convergence que celle de
soit
Soit
la dérivée de la fonction admettant pour transformée
monolatérale
de Laplace cas général, la même condition de convergence
» [70] ;
nous établissons ci-dessous la propriété de « permutation de la transformation
monolatérale
de Laplace [1] et de la dérivation par rapport à un paramètre »
«
».
Démonstration : partant de «
[29] si
» [13], on permute la dérivation par rapport à
et l'intégration par rapport à
[71] et
Démonstration : partant de «
si
», on obtient «
Démonstration : partant de «
si
», on obtient «
» sous la même
Démonstration : partant de «
si
», on obtient condition de convergence
dans le cas général [70].
Soit
une fonction
ou distribution
dépendant du paramètre
relativement auquel elle est intégrable [29] et
Soit
une fonction
ou distribution
admettant pour transformée
monolatérale
de Laplace [1] «
[29] si
» [13] avec «
abscisse
Soit
une fonction
ou distribution
admettant pour transformée
monolatérale
de Laplace «
de convergence de
»,
Soit
la primitive de la fonction
ou distribution
relativement au paramètre
[29] s'annulant
,
Soit
la primitive de la fonction admettant pour transformée
monolatérale
de Laplace [1] «
[13], [29]
Soit
la primitive de la fonction admettant pour transformée
monolatérale
de Laplace «
[13], [29]
Soit
la promitive de la fonction admettant pour transformée
monolatérale
de Laplace avec, dans le cas général, la même condition de convergence que
Soit
la primitive de la fonction admettant pour transformée
monolatérale
de Laplace avec, dans le cas général, celle de
soit
» [72] ;
nous établissons ci-dessous la propriété de « permutation de la transformation
monolatérale
de Laplace [1] et de l'intégration par rapport à un paramètre »
«
».
Démonstration : partant de «
[29] si
» [13], on permute l'intégration par rapport à
et celle par rapport à
[73]
Démonstration : partant de «
«
Démonstration : partant de «
«
» sous la même condition de
Démonstration : partant de «
«
convergence
dans le cas général [72].
Soit
une fonction
ou distribution
de période
c.-à-d. telle que «
» et
Soit
une fonction
ou distribution
admettant pour transformée
monolatérale
de Laplace [1] «
[29] si
» [13] avec «
[74] abscisse
Soit
une fonction
ou distribution
admettant pour transformée
monolatérale
de Laplace «
de convergence de
» ;
nous établissons ci-dessous la propriété « traduisant la périodicité de la fonction
ou distribution
sur la transformée
monolatérale
de Laplace [1] de cette dernière »
«
» [29].
Démonstration : partant de «
[29] si
» [13], on décompose l'intégrale sur chaque période selon
Démonstration : partant de «
» [29] ou,
Démonstration : en faisant le « changement de variable
sur l'intégrale
pour se ramener à une intégrale sur
» sachant que
soit
Démonstration : en faisant le « changement de variable
sur l'intégrale
ou,
étant une variable muette et
Démonstration : en faisant le « changement de variable
sur l'intégrale
ou,
une constante,
Démonstration : en faisant le « changement de variable
sur l'intégrale
soit,
Démonstration : après factorisation par
dans la somme,
Démonstration : partant de «
» puis,
Démonstration : en reconnaissant dans les termes entre crochets la « somme infinie d'une progression géométrique de 1er terme
et de raison
de module
pour
» [75]
Démonstration :
d'où la nécessité que l'abscisse de convergence
de
soit
pour que la transformée
monolatérale
de Laplace [1] de
,
-périodique, existe
et finalement,
Démonstration : partant de «
» [29] C.Q.F.D. [64].
Liste évidemment non exhaustive.
« Fonction de Heaviside [20]
ou échelon unité
»
«
pour
» [76].
« Fonction de Heaviside [20]
ou échelon unité
retardé
»
«
pour
» [77].
« Fonction créneau unité sur
:
» d'où
[78] soit
« Fonction créneau unité sur
:
» d'où «
pour
».
« Pic de Dirac [22] d'impulsion unité
» [23]
«
» [76].
« Pic de Dirac [22] d'impulsion unité retardé
» [79]
«
» [77].
« Fonction rampe
»
«
pour
» [76].
« Fonction rampe retardée
»
«
pour
» [77].
« Fonction triangle symétrique sur
:
» soit,
« Fonction triangle symétrique sur
:
«
[78], [77]
« Fonction triangle symétrique sur
:
«
pour
».
« Fonction exponentielle réelle
avec
» [80]
«
pour
» [81].
« Approche exponentielle réelle de l'échelon unité
avec
» [82] soit, «
[78]
« Approche exponentielle réelle de l'échelon unité
avec
» soit, «
pour
» [83].
« Fonction cosinusoïdale
avec
» [82] s'obtenant en utilisant «
», «
pour
» [84], [85] ou
« Fonction cosinusoïdale
avec
» « si on se limite aux valeurs réelles de
,
» [55] c.-à-d.
« Fonction cosinusoïdale
avec
» « si on se limite aux valeurs réelles de
, «
»
« Fonction cosinusoïdale
avec
» « si on se limite aux valeurs réelles de
, ou, «
» et enfin,
« Fonction cosinusoïdale
avec
» en étendant ce résultat aux valeurs complexes de
[86] «
pour
».
« Fonction cosinusoïdale
avec
» Autre démonstration
utilisant le caractère périodique de la fonction cosinusoïdale [87]
:
« Fonction cosinusoïdale
avec
» Autre démonstration la fonction cosinusoïdale
étant «
-périodique avec
» on en déduit
« Fonction cosinusoïdale
avec
» Autre démonstration «
pour
» [88] ou encore « pour
,
« Fonction cosinusoïdale
avec
» Autre démonstration «
[89] »
« Fonction cosinusoïdale
avec
» Autre démonstration ou «
pour
»,
« Fonction cosinusoïdale
avec
» Autre démonstration le numérateur du 2nd membre se réécrivant en somme de deux intégrales :
« Fonction cosinusoïdale
avec
» Autre démonstration 
« Fonction cosinusoïdale
avec
» Autre démonstration 
» car
et
« Fonction cosinusoïdale
avec
» Autre démonstration 
« Fonction cosinusoïdale
avec
» Autre démonstration 
» car
d'où
« Fonction cosinusoïdale
avec
» Autre démonstration «
pour
» après simplification évidente ou,
« Fonction cosinusoïdale
avec
» Autre démonstration «
pour
» après réduction au même dénominateur et
« Fonction cosinusoïdale
avec
» Autre démonstration «
pour
» après simplification [90].
« Fonction sinusoïdale
avec
» [82] s'obtenant en utilisant «
», «
pour
» [84], [85] ou
« Fonction sinusoïdale
avec
» « si on se limite aux valeurs réelles de
,
» [55] c.-à-d.
« Fonction sinusoïdale
avec
» « si on se limite aux valeurs réelles de
, «
»
« Fonction sinusoïdale
avec
» « si on se limite aux valeurs réelles de
, ou, «
» et enfin,
« Fonction sinusoïdale
avec
» en étendant ce résultat aux valeurs complexes de
[86] «
pour
».
« Fonction sinusoïdale
avec
» Autre démonstration
utilisant le caractère périodique de la fonction sinusoïdale [87]
:
« Fonction sinusoïdale
avec
» Autre démonstration la fonction sinusoïdale
étant «
-périodique avec
» on en déduit
« Fonction sinusoïdale
avec
» Autre démonstration «
pour
» [88] ou encore « pour
,
« Fonction sinusoïdale
avec
» Autre démonstration «
[91] »
« Fonction sinusoïdale
avec
» Autre démonstration ou «
pour
»,
« Fonction sinusoïdale
avec
» Autre démonstration le numérateur du 2nd membre se réécrivant en différence de deux intégrales :
« Fonction sinusoïdale
avec
» Autre démonstration 
et
« Fonction sinusoïdale
avec
» Autre démonstration 
d'où
« Fonction sinusoïdale
avec
» Autre démonstration «
pour
» après simplification évidente ou,
« Fonction sinusoïdale
avec
» Autre démonstration «
pour
» après réduction au même dénominateur et
« Fonction sinusoïdale
avec
» Autre démonstration «
pour
» après simplification [92].
Application : soit à déterminer la transformée
monolatérale
de Laplace [1] de «
avec
[82] et
»,
Application : pour cela on décompose la fonction modulant l'échelon unité selon «
» ce qui revient à déterminer
Application : soit à déterminer la transformée
monolatérale
de Laplace [1] de «
» soit
Application : soit à déterminer la transformée
monolatérale
de Laplace de «
» [78]
Application : soit à déterminer la transformée
monolatérale
de Laplace de «
pour
».
« Fonction cosinusoïdale amortie exponentiellement
avec
» [82] s'obtenant en utilisant «
»,
« Fonction cosinusoïdale amortie exponentiellement
«
pour
» [84], [85] ou
« Fonction cosinusoïdale amortie exponentiellement
« si on se limite aux valeurs réelles de
,
» [55] c.-à-d.
« Fonction cosinusoïdale amortie exponentiellement
« si on se limite aux valeurs réelles de
, «
« Fonction cosinusoïdale amortie exponentiellement
« si on se limite aux valeurs réelles de
, «
» ou,
« Fonction cosinusoïdale amortie exponentiellement
« si on se limite aux valeurs réelles de
, «
» et enfin,
« Fonction cosinusoïdale amortie exponentiellement
en étendant ce résultat aux valeurs complexes de
[86] «
pour
».
« Fonction sinusoïdale amortie exponentiellement
avec
» [82] s'obtenant en utilisant «
»,
« Fonction sinusoïdale amortie exponentiellement
«
pour
» [84], [85] ou
« Fonction sinusoïdale amortie exponentiellement
« si on se limite aux valeurs réelles de
,
» [55] c.-à-d.
« Fonction sinusoïdale amortie exponentiellement
« si on se limite aux valeurs réelles de
, «
« Fonction sinusoïdale amortie exponentiellement
« si on se limite aux valeurs réelles de
, «
» ou,
« Fonction sinusoïdale amortie exponentiellement
« si on se limite aux valeurs réelles de
, «
» et enfin,
« Fonction sinusoïdale amortie exponentiellement
en étendant ce résultat aux valeurs complexes de
[86] «
pour
».
Application : soit à déterminer la transformée
monolatérale
de Laplace [1] de «
avec
[82] et
»,
Application : pour cela on décompose la fonction modulant l'échelon unité selon «
» ce qui revient
Application : soit à déterminer la transformée
monolatérale
de Laplace [1] de «
» soit
Application : soit à déterminer la transformée
monolatérale
de Laplace de «
» [78]
Application : soit à déterminer la transformée
monolatérale
de Laplace de «
pour
».
Soit une fonction complexe
[93] de la variable complexe
[93] holomorphe sur son domaine de définition.
Remarques : On prolonge la définition de la transformée
monolatérale
inverse de Laplace [1] d'une fonction complexe holomorphe dont l'originale est à support positif [14] à celle
Remarques : On prolonge la définition de la transformée
monolatérale
inverse de Laplace d'une fonction complexe holomorphe dont l'originale est à support positif étendu à gauche de
c.-à-d. de
Remarques : On prolonge la définition de la transformée
monolatérale
inverse de Laplace d'une fonction complexe holomorphe dont l'originale support
avec
un
Remarques : On prolonge la définition de la transformée
monolatérale
inverse de Laplace d'une fonction complexe holomorphe dont l'originale voisinage ouvert à gauche de
, borné inférieurement,
Remarques : On prolonge la définition de la transformée
monolatérale
inverse de Laplace d'une fonction complexe holomorphe dont l'originale telle que la restriction de la fonction à
[15]
Remarques : On prolonge la définition de la transformée
monolatérale
inverse de Laplace d'une fonction complexe holomorphe dont l'originale dans
[16] est indéfiniment dérivable [17] et
Remarques : On prolonge la définition de la transformée
monolatérale
inverse de Laplace d'une fonction complexe holomorphe dont l'originale est une distribution
l'intégrale de définition [18]
Remarques : On prolonge la définition de la transformée
monolatérale
inverse de Laplace d'une fonction complexe holomorphe dont l'originale de sa transformée de Laplace [1] convergeant [19]
.
Remarques : Dans le domaine d'holomorphie de
il peut y avoir des valeurs de
isolées pour lesquelles
est discontinue de 1ère ou 2ème espèce, dans ce dernier cas
Remarques : Dans le domaine d'holomorphie de
il peut y avoir des valeurs de
isolées pour lesquelles
est discontinue de 1ère ou
est alors une distribution holomorphe [18].
Début d’un théorème
Théorème (admis) d'unicité de la transformée (monolatérale) inverse de Laplace d'une fonction complexe holomorphe
Fin du théorème
Soient «
et
deux fonctions
ou distributions
complexes holomorphes [95] » admettant pour « transformées
monolatérales
inverses de Laplace [1] respectives
Soient «
et
deux fonctions
ou distributions
complexes holomorphes » admettant pour « transformées
monolatérales
inverses de Laplace
et
»,
Soit avec «
la plus grande des abscisses de convergence » des deux transformées
monolatérales
de Laplace [1] et
Soient «
un réel non nul quelconque »,
on démontre les propriétés suivantes
ces démonstrations utilisent la linéarité de l'intégration permettant de passer de la fonction
ou distribution
à sa transformée
monolatérale
de Laplace [1]
:
on démontre les propriétés suivantes «
» pour «
» et
on démontre les propriétés suivantes «
pour
» ou
on démontre les propriétés suivantes «
pour
».
Méthode analytique de calcul de la transformée (monolatérale) inverse de Laplace de la fonction (ou distribution) F(p) holomorphe sur son domaine de définition
[modifier | modifier le wikicode]
Il n'existe pas de formule analytique générale permettant de calculer
connaissant
car, pour une fonction
ou distribution
,
Il n'existe pas de formule analytique générale permettant de calculer la fonction
ou distribution
correspondante ne fait vraisemblablement pas partie des fonctions usuelles et même
Il n'existe pas de formule analytique générale permettant de calculer la fonction
ou distribution
sa définition peut nécessiter une forme intégrale
ou un développement en série
Une façon de définir l'originale de la fonction
ou distribution
holomorphe sur son domaine de définition est «
» [96] où
Une façon de définir l'originale de la fonction
ou distribution
holomorphe sur son domaine de définition est «
est choisi tel que l'intégrale soit convergente [97].
Préliminaire : une fonction
complexe de la variable
complexe est dite rationnelle si elle est un rapport de fonctions polynômes à valeurs dans
;
Préliminaire : si
et
sont deux fonctions polynômes non identiquement nulles [98], « la fonction
est définie pour tout
tel que
par
».
Soit « la fonction complexe rationnelle
telle que les polynômes
et
sont à cœfficients réels avec le degré de
au degré de
»,
cette fonction effectivement « holomorphe sur
privé des valeurs de
qui annulent
», « admet une transformée
monolatérale
inverse de Laplace [1]
» [99].
Soit «
écrite sous forme normalisée » [100] avec «
et
à cœfficients réels et
»,
Soit «
la méthode pour déterminer
, transformée
monolatérale
inverse de Laplace [1] de
est la suivante :
Soit «
la méthode pour déterminer
,
rechercher les « zéros
»
racines complexes de
[101] et les « pôles
»
racines complexes de
[101] pour écrire
Soit «
la méthode pour déterminer
,
«
» [102] ainsi que «
» [103] d'où «
» [102], [103]
Soit «
la méthode pour déterminer
,
après avoir fait les simplifications éventuelles de façon à ce que la fonction rationnelle soit irréductible, puis
Soit «
la méthode pour déterminer
,
décomposer la fonction rationnelle irréductible en éléments simples soit, dans le cas où tous les pôles sont réels et simples,
Soit «
la méthode pour déterminer
,
«
avec
constantes à déterminer » [104], [105] et enfin,
Soit «
la méthode pour déterminer
,
utiliser les connaissances ou un formulaire pour déterminer les originales des éléments simples de réduction comme par exemple
Soit «
la méthode pour déterminer
,
«
si
» [106] et donc, dans le cas où tous les pôles sont réels et simples,
Soit «
la méthode pour déterminer
,
«
si
» [107] , [106].
Soit à « déterminer l'originale
de
par transformation
monolatérale
inverse de Laplace [1] », pour cela
Soit à « déterminer l'originale
on commence par
déterminer les zéros de la fonction rationnelle soit « un zéro
» ainsi que
Soit à « déterminer l'originale
on commence par
déterminer les pôles de cette dernière c.-à-d. les solutions de
de discriminant
Soit à « déterminer l'originale
on commence par
déterminer les pôles de cette dernière c.-à-d. « deux pôles réels et simples
» puis
Soit à « déterminer l'originale
on commence par
déduire la « forme normalisée irréductible de la fonction complexe rationnelle holomorphe
» pour
Soit à « déterminer l'originale
on commence par
la décomposer en éléments simples irréductibles «
»
Soit à « déterminer l'originale
on commence par
la décomposer en éléments simples irréductibles
les constantes
et
restant à évaluer [104]
,
Soit à « déterminer l'originale
on commence par
la décomposer
la constante
se déterminant en multipliant de part et d'autre par
et en y faisant
soit
Soit à « déterminer l'originale
on commence par
la décomposer 
«
» et
Soit à « déterminer l'originale
on commence par
la décomposer
la constante
se déterminant en multipliant de part et d'autre par
et en y faisant
soit
Soit à « déterminer l'originale
on commence par
la décomposer 
«
» soit finalement
Soit à « déterminer l'originale
on commence par
la décomposer en éléments simples irréductibles «
» et
Soit à « déterminer l'originale
on commence par
en déduire l'« originale
de
par transformation
monolatérale
inverse de Laplace [1] »
Soit à « déterminer l'originale
on commence par
en déduire l'originale «
[107] soit
Soit à « déterminer l'originale
on commence par
en déduire l'originale «
[106] si
».
Soit à « déterminer l'originale
de
par transformation
monolatérale
inverse de Laplace [1] », pour cela
Soit à « déterminer l'originale
on commence par
déterminer les zéros de la fonction rationnelle soit « un zéro
» ainsi que
Soit à « déterminer l'originale
on commence par
déterminer les pôles de cette dernière c.-à-d. les solutions de
donnant
Soit à « déterminer l'originale
on commence par
déterminer les pôles de cette dernière c.-à-d. « un 1er pôle réel simple
» [108] et
Soit à « déterminer l'originale
on commence par
déterminer les pôles de cette dernière c.-à-d. « d'autres pôles racines de
équation du 2ème degré
Soit à « déterminer l'originale
on commence par
déterminer les pôles de cette dernière c.-à-d. « d'autres pôles racines de
de discriminant réduit
Soit à « déterminer l'originale
on commence par
déterminer les pôles de cette dernière c.-à-d. « un pôle réel double
» puis
Soit à « déterminer l'originale
on commence par
déduire la « forme normalisée irréductible de la fonction complexe rationnelle holomorphe
» pour
Soit à « déterminer l'originale
on commence par
la décomposer en éléments simples irréductibles «
»
Soit à « déterminer l'originale
on commence par
la décomposer en éléments simples irréductibles
les constantes
,
et
restant à évaluer [104], [109]
,
Soit à « déterminer l'originale
on commence par
la décomposer
la constante
se déterminant en multipliant de part et d'autre par
et en y faisant
soit
Soit à « déterminer l'originale
on commence par
la décomposer 
«
»,
Soit à « déterminer l'originale
on commence par
la décomposer
la constante
se déterminant en multipliant de part et d'autre par
et en y faisant
soit
Soit à « déterminer l'originale
on commence par
la décomposer 
«
» et
Soit à « déterminer l'originale
on commence par
la décomposer
la constante
se déterminant en multipliant de part et d'autre par
et en y faisant
[110] soit
Soit à « déterminer l'originale
on commence par
la décomposer 
c.-à-d., avec
, «
»
Soit à « déterminer l'originale
on commence par
la décomposer en éléments simples soit finalement «
» et
Soit à « déterminer l'originale
on commence par
en déduire l'« originale
de
par transformation
monolatérale
inverse de Laplace [1] »
Soit à « déterminer l'originale
on commence par
en déduire l'originale «
[107] soit
Soit à « déterminer l'originale
on commence par
en déduire l'originale «
[106], [111] si
Soit à « déterminer l'originale
on commence par
en déduire l'originale «
ou
».
Soit à « déterminer l'originale
de
par transformation
monolatérale
inverse de Laplace [1] », pour cela
Soit à « déterminer l'originale
on commence par
déterminer les zéros de la fonction rationnelle soit « un zéro
» ainsi que
Soit à « déterminer l'originale
on commence par
déterminer les pôles de cette dernière c.-à-d. les solutions de
donnant
Soit à « déterminer l'originale
on commence par
déterminer les pôles de cette dernière c.-à-d. « un 1er pôle réel simple
» [112] et
Soit à « déterminer l'originale
on commence par
déterminer les pôles de cette dernière c.-à-d. « d'autres pôles racines de
équation du 2ème degré
Soit à « déterminer l'originale
on commence par
déterminer les pôles de cette dernière c.-à-d. « d'autres pôles racines de
de discriminant
Soit à « déterminer l'originale
on commence par
déterminer les pôles de cette dernière c.-à-d. « deux pôles complexes conjugués qu'il n'est pas utiles de déterminer » puis
Soit à « déterminer l'originale
on commence par
déduire la « forme normalisée irréductible de la fonction complexe rationnelle holomorphe
» [113] pour
Soit à « déterminer l'originale
on commence par
la décomposer en éléments simples irréductibles «
»
Soit à « déterminer l'originale
on commence par
la décomposer en éléments simples irréductibles
les constantes
,
et
restant à évaluer [104], [114]
,
Soit à « déterminer l'originale
on commence par
la décomposer
la constante
se déterminant en multipliant de part et d'autre par
et en y faisant
soit
Soit à « déterminer l'originale
on commence par
la décomposer 
«
»,
Soit à « déterminer l'originale
on commence par
la décomposer
la constante
se déterminant en multipliant de part et d'autre par
et en y faisant
[115] soit
Soit à « déterminer l'originale
on commence par
la décomposer 
«
» et
Soit à « déterminer l'originale
on commence par
la décomposer
la constante
se déterminant en donnant une valeur particulière à
par exemple
[116] soit
Soit à « déterminer l'originale
on commence par
la décomposer 
[117]
«
»
Soit à « déterminer l'originale
on commence par
la décomposer en éléments simples soit finalement «
» et
Soit à « déterminer l'originale
on commence par
en déduire l'« originale
de
par transformation
monolatérale
inverse de Laplace [1] »
Soit à « déterminer l'originale
on commence par
en déduire l'originale «
[107] »
à ce stade il devient utile de réécrire le
Soit à « déterminer l'originale
on commence par
en déduire l'originale « 2ème élément simple correspondant aux pôles complexes conjugués de façon à utiliser les transformées
monolatérales
Soit à « déterminer l'originale
on commence par
en déduire l'originale « inverses de Laplace [1] «
» [118]
soit, le dénominateur de ce 2ème
Soit à « déterminer l'originale
on commence par
en déduire l'originale « élément simple se réécrivant selon «
» induisant
Soit à « déterminer l'originale
on commence par
en déduire l'originale «
, suggérant la réécriture du numérateur de ce 2ème élément simple selon «
»
Soit à « déterminer l'originale
on commence par
en déduire l'originale « soit «
» d'où la réécriture de ce 2ème élément simple selon
Soit à « déterminer l'originale
on commence par
en déduire l'originale « «
»
soit, avec «
»
Soit à « déterminer l'originale
on commence par
en déduire l'originale «
» [107] ou
Soit à « déterminer l'originale
on commence par
en déduire l'originale «
» [106], [118]
Soit à « déterminer l'originale
on commence par
en déduire l'originale «
sous la condition
».
Remarque : il est possible de mettre l'expression «
» sous la forme «
» [119] en posant
Remarque : «
»
«
» puis
Remarque : «
» correspondant à «
» [120]
«
»
Remarque : permettant de réécrire l'« originale de
» par transformation
monolatérale
de Laplace [1] sous la forme
Remarque : permettant de réécrire l'« originale «
» [121] si
ou numériquement
Remarque : permettant de réécrire l'« originale «
» sous la condition
.
Début d’un théorème
Théorème (admis) de la valeur initiale dans la transformation (monolatérale) de Laplace
Soit une « fonction réelle causale [4], [9]
de la variable réelle
» [122],
Soit une « fonction réelle causale
convergeant en
[123] et
Soit une « fonction réelle causale
telle qu'une transformée
monolatérale
de Laplace [1] «
»
Soit une « fonction réelle causale
telle qu'une d'abscisse de convergence
[124] lui est associée [125],
nous admettons [126] la propriété suivante «
».
Fin du théorème
À défaut de démonstration [126], on peut vérifier le « théorème de la valeur initiale » sur des exemples :
- « fonction de Heaviside [20]
ou échelon unité
» de « transformée
monolatérale
de Laplace [1]
pour
» [67],
« fonction de Heaviside
ou échelon unité
» on vérifie que «
»,
- « fonction rampe
» de « transformée
monolatérale
de Laplace [1]
pour
» [67],
« fonction rampe
» on vérifie que
»,
- « fonction exponentielle réelle
avec
» de « transformée
monolatérale
de Laplace [1]
pour
» [106],
« fonction exponentielle réelle
avec
» on vérifie que «
»,
- « fonction cosinusoïdale
avec
» [82] de « transformée
monolatérale
de Laplace [1]
pour
» [127],
« fonction cosinusoïdale
» avec
» on vérifie que «
»,
- « fonction sinusoïdale
avec
» [82] de « transformée
monolatérale
de Laplace [1]
pour
» [127],
« fonction sinusoïdale
» avec
» on vérifie que «
»,
- « fonction cosinusoïdale amortie exponentiellement
avec
» [82] de « transformée
monolatérale
de Laplace [1]
« fonction cosinusoïdale amortie exponentiellement
» avec
» de « transformée
monolatérale
de Laplace pour
» [128],
« fonction cosinusoïdale amortie exponentiellement
» avec
» on vérifie que «
» et
- « fonction sinusoïdale amortie exponentiellement
avec
» [82] de « transformée
monolatérale
de Laplace [1]
« fonction sinusoïdale amortie exponentiellement
» avec
» de « transformée
monolatérale
de Laplace pour
» [128],
« fonction sinusoïdale amortie exponentiellement
» avec
» on vérifie que «
»

Valeur initiale de la dérivée temporelle dans la transformation (monolatérale) de Laplace
Soit une « fonction réelle causale [4], [9]
et sa dérivée temporelle [129]
de la variable réelle
» [122],
Soit une « fonction réelle causale
et sa dérivée temporelle
convergeant toutes deux en
[123] et
Soit une « fonction réelle causale
et sa dérivée temporelle
telle qu'une transformée
monolatérale
de
Soit une « fonction réelle causale
et sa dérivée temporelle
Laplace [1] leur est respectivement associée [125] soit
Soit une « fonction réelle causale
et sa dérivée temporelle
«
» d'abscisse de convergence
Soit une « fonction réelle causale
et sa dérivée temporelle
«
[124] et
Soit une « fonction réelle causale
et sa dérivée temporelle
«
» [130] d'abscisse
Soit une « fonction réelle causale
et sa dérivée temporelle
«de convergence
[124],
nous admettons la validité de la propriété suivante [131] «
».
Reprenant les exemples des fonctions usuelles ayant servi à vérifier le théorème de la valeur initiale
Reprenant les exemples des fonctions usuelles à l'exception de la fonction de Heaviside [20]
car sa dérivée diverge en
Reprenant les exemples des fonctions usuelles pour justifier la validité de la détermination de la valeur initiale de la dérivée temporelle utilisant la transformation
monolatérale
de Laplace [1] :
- « fonction rampe
»
«
»
de « transformée
monolatérale
de Laplace [1]
pour
» [67], de
« dérivée temporelle [132]
discontinue de 1ère espèce en
[38]
» de « transformée
monolatérale
de Laplace [1]
[130]
« dérivée temporelle
discontinue de 1ère espèce en 
» de « transformée
monolatérale
de Laplace
pour
[133] »
« dérivée temporelle
discontinue de 1ère espèce en 
» on vérifie que «
»,
- « fonction exponentielle réelle
avec
»
«
»
de « transformée
monolatérale
de Laplace [1]
pour
« fonction exponentielle réelle
avec
»
«
»
de « transformée
monolatérale
de Laplace
» [106], de
« dérivée temporelle [132]
discontinue de 1ère espèce en
[38]
», de « transformée
monolatérale
de Laplace [1]
« dérivée temporelle
discontinue de 1ère espèce en 
», de «
[130]
pour
[134] »
« dérivée temporelle
on vérifie que «
« dérivée temporelle
on vérifie que «
»,
- « fonction cosinusoïdale
avec
» [82]
«
»
de « transformée
monolatérale
de Laplace [1]
« fonction cosinusoïdale
avec
»
«
»
de « transformée
monolatérale
de Laplace pour
» [127], de
« dérivée temporelle [132]
[135] », de « transformée
monolatérale
de Laplace [1]
[130]
« dérivée temporelle
», de « transformée
monolatérale
de Laplace
pour
[136] »
« dérivée temporelle
on vérifie que «
« dérivée temporelle
on vérifie que «
»,
- « fonction sinusoïdale
avec
» [82]
«
»
de « transformée
monolatérale
de Laplace [1]
« fonction sinusoïdale
avec
»
«
»
de « transformée
monolatérale
de Laplace pour
» [127], de
« dérivée temporelle [132]
discontinue de 1ère espèce [38]
», de « transformée
monolatérale
de Laplace [1]
[130]
« dérivée temporelle
»,
discontinue de 1ère espèce
», de « transformée
monolatérale
de Laplace
« dérivée temporelle
»,
discontinue de 1ère espèce
», de « transformée
monolatérale
de Laplace
pour
[137] »
« dérivée temporelle
on vérifie que «
»,
- « fonction cosinusoïdale amortie exponentiellement
avec
» [82]
«
»
de « transformée
monolatérale
de Laplace [1]
« fonction cosinusoïdale amortie exponentiellement
avec
»
«
»
de «
pour
» [128], de
« dérivée temporelle [132]
discontinue de 1ère espèce [38]
»,
« dérivée temporelle
de « transformée
monolatérale
de Laplace [1]
[130]
« dérivée temporelle
de « transformée
monolatérale
de Laplace
pour
[138] »
« dérivée temporelle
on vérifie que «
« dérivée temporelle
on vérifie que «
« dérivée temporelle
on vérifie que «
« dérivée temporelle
on vérifie que «
» et
- « fonction sinusoïdale amortie exponentiellement
avec
» [82]
«
»
de « transformée
monolatérale
de Laplace [1]
« fonction sinusoïdale amortie exponentiellement
avec
»
«
»
de «
pour
» [128], de
« dérivée temporelle [132]
discontinue de 1ère espèce [38]
»,
« dérivée temporelle
de « transformée
monolatérale
de Laplace [1]
[130]
« dérivée temporelle
de « transformée
monolatérale
de Laplace
pour
[139] »
« dérivée temporelle
on vérifie que «
« dérivée temporelle
on vérifie que «
».
Début d’un théorème
Théorème (admis) de la valeur finale dans la transformation (monolatérale) de Laplace
Soit une « fonction réelle causale [4], [9]
de la variable réelle
» [122],
Soit une « fonction réelle causale
convergeant pour
[140],
Soit une « fonction réelle causale
localement intégrable au voisinage de
[141] et
Soit une « fonction réelle causale
telle qu'une transformée
monolatérale
de Laplace [1] «
»
Soit une « fonction réelle causale
d'abscisse de convergence
[142] lui est associée [125],
nous admettons [143] la propriété suivante «
».
Fin du théorème
À défaut de démonstration [143], on peut vérifier le « théorème de la valeur finale » sur des exemples :
- « fonction de Heaviside [20]
ou échelon unité
» de « transformée
monolatérale
de Laplace [1]
pour
» [67],
« fonction de Heaviside
ou échelon unité
» on vérifie que «
»,
- « fonction rampe
» de « transformée
monolatérale
de Laplace [1]
pour
» [67],
on ne peut lui appliquer le théorème de la valeur finale, cette fonction divergeant à l'infini, néanmoins on vérifie que «
»,
- « fonction exponentielle réelle
avec
» de « transformée
monolatérale
de Laplace [1]
pour
» [106], [144],
« fonction exponentielle réelle
avec
» on vérifie que «
» [145],
- « fonction cosinusoïdale
avec
» [82] de « transformée
monolatérale
de Laplace [1]
pour
» [127],
on ne peut lui appliquer le théorème de la valeur finale, cette fonction n'ayant aucune limite à l'infini, ce qu'on vérifie car «
alors que
on ne peut lui appliquer le théorème de la valeur finale, cette fonction n'ayant aucune limite à l'infini, ce qu'on vérifie car «
n'existe pas »,
- « fonction sinusoïdale
avec
» [82] de « transformée
monolatérale
de Laplace [1]
pour
» [127],
on ne peut lui appliquer le théorème de la valeur finale, cette fonction n'ayant aucune limite à l'infini, ce qu'on vérifie car «
alors que
on ne peut lui appliquer le théorème de la valeur finale, cette fonction n'ayant aucune limite à l'infini, ce qu'on vérifie car «
n'existe pas »,
- « fonction cosinusoïdale amortie exponentiellement
avec
» [82] de « transformée
monolatérale
de Laplace [1]
« fonction cosinusoïdale amortie exponentiellement
avec
» de « transformée
monolatérale
de Laplace pour
» [128], [144],
« fonction cosinusoïdale amortie exponentiellement
avec
» on vérifie que «
« fonction cosinusoïdale amortie exponentiellement
avec
» on vérifie que «
» [146] et
- « fonction sinusoïdale amortie exponentiellement
avec
» [82] de « transformée
monolatérale
de Laplace [1]
« fonction sinusoïdale amortie exponentiellement
avec
» de « transformée
monolatérale
de Laplace pour
» [128], [144],
« fonction sinusoïdale amortie exponentiellement
avec
» on vérifie que «
« fonction sinusoïdale amortie exponentiellement
avec
» on vérifie que «
» [147] 
Nous cherchons des « solutions réelles causales » [4], [9] d'« équations différentielles linéaires à cœfficients réels constants homogènes ou hétérogènes »
Nous cherchons des « solutions réelles causales » d'« par utilisation de la transformation
monolatérale
de Laplace [1]
tous les termes du 1er et 2nd membre de l'équation devant être pourvus
Nous cherchons des « solutions réelles causales » d'« par utilisation de la transformation
monolatérale
de Laplace
d'une transformée
monolatérale
de Laplace [1],
l'excitation du 2nd
Nous cherchons des « solutions réelles causales » d'« par utilisation de la transformation
monolatérale
de Laplace
membre de l'équation doit être continue, discontinue de 1ère ou 2ème
Nous cherchons des « solutions réelles causales » d'« par utilisation de la transformation
monolatérale
de Laplace
espèce en
[38], [148] mais
Nous cherchons des « solutions réelles causales » d'« par utilisation de la transformation
monolatérale
de Laplace
en aucun cas “ discontinue de 3ème espèce ” [149], [150]
,
Nous cherchons des « solutions pouvant être continues ou discontinues de 1ère espèce en
[38] pour une équation différentielle du 1er ordre [151] ou
Nous cherchons des « solutions nécessairement continues en
pour une équation différentielle du 2ème ordre ou plus [152].
Remarque : Si cette méthode par transformation
monolatérale
de Laplace [1] est pratique, elle n'est toutefois pas applicable dans toutes les configurations [153] et surtout
Remarque : Si cette méthode par transformation
monolatérale
de Laplace est pratique, elle ne doit pas être employée en physique par un étudiant de P.C.S.I. car
Remarque : Si cette méthode par transformation
monolatérale
de Laplace est pratique, elle ne doit pas être employée en physique il est exigé que ce soit par recherche de solutions libre et forcée
Remarque : Si cette méthode par transformation
monolatérale
de Laplace est pratique, elle ne doit pas être employée en physique suivie d'utilisation des C.I. [154] que la résolution soit faite [155].
« Linéarité de la transformation
monolatérale
de Laplace » [1] soit «
[107]
« Linéarité de la transformation
monolatérale
de Laplace » soit «
et
fonctions
ou distributions
admettant des transformées
monolatérales
de Laplace [1]
« Linéarité de la transformation
monolatérale
de Laplace » soit «
et
fonctions
ou distributions
admettant d'abscisses de convergence finies ou égales à
».
« Transformée
monolatérale
de Laplace [1] de la fonction de Heauvide [20] » «
pour
» [67].
« Transformée
monolatérale
de Laplace [1] du pic de Dirac [22] d'impulsion unité » «
pour
» [67].
« Transformée
monolatérale
de Laplace [1] de la dérivée temporelle 1ère d'une fonction
à support positif [14] telle que
soit convergente en
», soit
« Transformée
monolatérale
de Laplace de la dérivée temporelle 1ère «
pour
[130] avec
abscisse de convergence de
».
« Transformée
monolatérale
de Laplace [1] de la dérivée temporelle 2nde d'une fonction
à support positif [14] telle que
soit convergente en
», soit
« Transformée
monolatérale
de Laplace de la dérivée temporelle 2nde «
pour
[130] avec
abscisse de convergence de
ou encore
« Transformée
monolatérale
de Laplace de la dérivée temporelle 2nde «
pour
avec
abscisse de convergence de
« Transformée
monolatérale
de Laplace de la dérivée temporelle 2nde «
pour avec
» [30].
Méthode de résolution exposée sur un 1er exemple : équation différentielle linéaire à cœfficients réels constants du 2ème ordre en y(t) hétérogène, sans terme du 1erordre, à excitation sinusoïdale
[modifier | modifier le wikicode]
Soit à résoudre, dans le domaine des fonctions à support positif [14] convergeant en
,
Soit à résoudre, l'équation différentielle linéaire à cœfficients réels constants du 2ème ordre en
hétérogène, sans terme du 1erordre,
Soit à résoudre, l'équation différentielle linéaire à « excitation sinusoïdale
,
» [82], [156]
Soit à résoudre, l'équation différentielle linéaire avec les « C.I. [154]
et
»,
Soit à résoudre, l'équation différentielle linéaire à cœfficients réels constants du 2ème ordre en
hétérogène, sans terme du 1erordre, s'écrivant sous forme normalisée
«
avec
» [156].
« La transformée
monolatérale
de Laplace [1] de l'excitation sinusoïdale
» s'écrivant «
« La transformée
monolatérale
de Laplace de l'excitation sinusoïdale
» s'écrivant «
pour
» [127],
nous obtenons, en utilisant le rappel des propriétés utilisées énoncé plus haut dans ce chapitre et en notant «
» [157] pour simplifier l'écriture,
«
pour
».
De l'équation précédente on tire aisément «
[157] pour
» à condition que «
soit
».
Il reste donc à déterminer l'« originale de
[157] dans l'hypothèse
»
nécessairement réalisée si
est
[158]
Il reste donc à déterminer l'« originale de
dans l'hypothèse où
»
mais qui nécessite une restriction de domaine de
si
est
[159]
.
Si
est
, les « pôles de la fonction rationnelle
étant deux à deux complexes conjugués » sa décomposition en éléments irréductibles simples s'écrit :
Si
est
,
dans la mesure où «
»,
dans lequel on détermine
Si
est
,
dans la mesure où «
», «
» en multipliant les deux membres par
et en y faisant
[104] soit
Si
est
,
dans la mesure où «
», «
» en multipliant les deux membres par
et en y faisant
d'où «
et
» puis
Si
est
,
dans la mesure où «
», «
» en multipliant les membres par
et en y faisant
[104] soit
Si
est
,
dans la mesure où «
», «
» en multipliant les membres par
et en y faisant
d'où «
et
»
Si
est
,
dans la mesure où «
», soit finalement «
» ;
Si
est
,
dans la mesure où «
»,
se réécrivant «
» est déjà décomposée en éléments irréductibles simples.
Il reste alors à chercher l'« originale de la transformée
monolatérale
de Laplace [1]
[157]
Il reste alors à chercher l'« originale de la transformée
monolatérale
de Laplace
pour
» avec «
» [160] :
Il reste alors à chercher l'« originale
« pour
en étant
», «
» [157], [161] dont on tire, en reconnaissant
Il reste alors à chercher l'« originale
« pour
en étant
», des originales de transformées
monolatérales
de Laplace [1] classiques,
Il reste alors à chercher l'« originale
« pour
en étant
», «
» [127] ou
Il reste alors à chercher l'« originale
« pour
en étant
», «
» et
Il reste alors à chercher l'« originale
« pour
en étant
», «
» [157], [162] dont on tire, en reconnaissant des originales de
Il reste alors à chercher l'« originale
« pour
en étant
», transformées
monolatérales
de Laplace [1] classiques à l'« exception du 1er terme du 2nd membre
à
»,
Il reste alors à chercher l'« originale
« pour
en étant
», «
» [127] ;
Il reste alors à chercher l'« originale
« pour
en étant
», pour déterminer l'originale de
c.-à-d. «
» remarquons que
Il reste alors à chercher l'« originale
« pour
en étant
», pour déterminer l'originale
Il reste alors à chercher l'« originale
« pour
en étant
», pour déterminer l'originale
dont nous tirons
Il reste alors à chercher l'« originale
« pour
en étant
», pour déterminer l'originale de«
» puis utilisons
Il reste alors à chercher l'« originale
« pour
en étant
», pour déterminer l'originale de
[127], [163] pour en déduire
Il reste alors à chercher l'« originale
« pour
en étant
», pour déterminer l'originale de«
[127]
Il reste alors à chercher l'« originale
« pour
en étant
», pour déterminer l'originale de«
» d'où l'originale de
:
Il reste alors à chercher l'« originale
« pour
en étant
», pour déterminer l'originale de«
» ; finalement la solution est
Il reste alors à chercher l'« originale
« pour
en étant
», «
» ou
Il reste alors à chercher l'« originale
« pour
en étant
», «
».
Rappel : D'après la note « 159 » plus haut dans ce chapitre, pour que
reste
avec
, il faut restreindre le domaine de
à
et dans ce cas
Rappel : D'après la note « 159 » plus haut dans ce chapitre, pour que
reste
avec
, «
[157] pour
».
«
étant
»,
les « pôles de la fonction rationnelle
sont complexes conjugués d'une part et
«
étant
»,
les « pôles de la fonction rationnelle
sont réels simples opposés d'autre part »
«
étant
»,
sa décomposition en éléments irréductibles simples est «
» dans lequel on détermine
«
étant
»,
sa décomposition
«
» en multipliant chaque membre par
, puis en y faisant
[104] soit
«
étant
»,
sa décomposition
«
» en multipliant chaque membre par
puis en y faisant
d'où «
et
»,
«
étant
»,
sa décomposition
«
» en multipliant les membres par
, puis en y faisant
soit
d'où «
» et
«
étant
»,
sa décomposition
«
» en multipliant les membres par
, puis en y faisant
soit
d'où «
»
«
étant
»,
sa décomposition
soit finalement «
» ;
«
étant
»,
les « pôles de la fonction rationnelle
sont réels simples opposés »
«
étant
»,
sa décomposition en éléments irréductibles simples s'écrit est «
» dans lequel on détermine
«
étant
»,
sa décomposition
«
» en multipliant les membres par
, puis en y faisant
[104] soit
d'où «
» et
«
étant
»,
sa décomposition
«
» en multipliant les membres par
, puis en y faisant
[104] soit
d'où «
»
«
étant
»,
sa décomposition
soit finalement «
» ;
«
étant
»,
les « pôles de la fonction rationnelle
sont réels simples opposés »
«
étant
»,
sa décomposition en éléments irréductibles simples est «
» dans lequel on détermine
«
étant
»,
sa décomposition
«
» en multipliant les membres par
, puis en y faisant
[104] soit
d'où «
» et
«
étant
»,
sa décomposition
«
» en multipliant les membres par
, puis en y faisant
[104] soit
d'où «
»
«
étant
»,
sa décomposition
soit finalement «
» ;
«
étant
»,
nous en déduisons la décomposition de la transformée
monolatérlae
de Laplace [1] de la solution dans le cas où
est
selon
«
[157] pour
»
ou, après regroupement de termes semblables,
«
[157] pour
».
Il reste alors à chercher l'« originale de la transformée
monolatérale
de Laplace [1]
[157] avec
, pour
, cette dernière étant somme de trois termes indépendants
Il reste alors à chercher l'« originale de
[157] »
Il reste alors à chercher l'« originale de la transformée
monolatérale
de Laplace
avec
, en reconnaissant des originales de transformées
monolatérales
de Laplace [1] classiques
d'où «
» [127], [106].
Nous rappelons que la méthode de résolution d'une équation différentielle linéaire à cœfficients réels constants homogène ou hétérogène
Nous rappelons que la méthode de résolution par transformation
monolatérale
de Laplace [1] est un complément de P.C.S.I. pour le domaine de la physique [164] et
Nous rappelons que seule la méthode de résolution par solutions libre et forcée suivie de l'utilisation des C.I. [154] peut être utilisée dans le domaine de la physique ;
nous allons donc vérifier, dans l'exemple de «
avec
ainsi que
» [156],
nous allons donc vérifier, que nous trouvons le même résultat dans l'ensemble des fonctions réelles « causales » [4], [9] avec les « C.I. [154]
et
»
nous allons donc vérifier, en reprenant la résolution par méthode classique de recherche des solutions libre et forcée suivie de l'utilisation des C.I. [154].
Soit à résoudre «
» d'équation caractéristique [165] «
» [166] de racines différentes suivant le signe de
:
- « si
est
», l'équation caractéristique [165] a « deux racines imaginaires distinctes
»
la solution libre «
avec
» [167] et
- « si
est
», elle a « deux racines réelles distinctes
»
la solution libre «
avec
».
Soit à déterminer la « solution forcée
solution particulière de
de même forme [168] que l'excitation
»
Soit à déterminer la « solution forcée c.-à-d. sous forme générale «
» [169], avec
à déterminer, ou mieux,
Soit à déterminer la « solution forcée
sous forme particulière «
»
en raison de l'absence de terme du 1er ordre dans l'équation différentielle
,
Soit à déterminer la « solution forcée
sous forme particulière «
» le choix de
étant validée par le résultat trouvé :
- « si
est
», le report de
dans l'équation nous conduit à «
» d'où la discussion suivante
« si
est
»,
« si
» on en déduit «
» et par suite la solution forcée «
» et
« si
est
»,
« si
» on en déduit l'absence de solution forcée de même forme que l'excitation puisque cela conduirait à
infinie ;
« si
est
»,
« si
» on cherche alors une « solution particulière de la forme [170]
» [171]
« si
est
»,
« si
» «
» soit,
« si
est
»,
« si
» en reportant dans l'équation différentielle et en tenant compte de «
», l'équation en
simplifiée suivante
« si
est
»,
« si
» «
» d'où
« si
est
»,
« si
» «
» [172] et «
» et par suite «
» [173] ;
- « si
est
», le report de
dans l'équation nous conduit à «
»
«
» d'où
« si
est
», «
».
La solution complète avant utilisation des C.I. [154] s'obtient par «
avec
solution libre [174] et
solution forcée [175].
- « Si
est
en étant
», «
», avec
à déterminer par C.I. [154] ;
- « si
est
en étant
», «
» [176], avec
à déterminer par C.I. [154] ;
- « si
est
», «
», avec
à déterminer par C.I. [154].
Il faut donc écrire dans les expressions précédentes «
» soit :
- « si
est
en étant
», «
» d'où «
» soit,
« si
est
en étant
», en utilisant
, la solution trouvée par transformée
monolatérale
de Laplace [1] «
» ;
- « si
est
en étant
», «
» d'où «
» soit,
« si
est
en étant
», en utilisant
, la solution trouvée par transformée
monolatérale
de Laplace [1] «
» ;
- « si
est
», «
» d'où «
» dont on tire aisément les constantes cherchées
« si
est
», «
» donnant effectivement la solution trouvée par transformée
monolatérale
de Laplace [1] «
».
Résolution exposée sur un 2ème exemple : équation différentielle linéaire à cœfficients réels constants du 2ème ordre en y(t) hétérogène à excitation constante discontinue de 2ème espèce
[modifier | modifier le wikicode]
Soit à résoudre, dans le domaine des fonctions à support positif [14],
Soit à résoudre, l'équation différentielle linéaire à cœfficients réels constants du 2ème ordre en
hétérogène
Soit à résoudre, l'équation différentielle linéaire à « excitation
,
» [156] discontinue de 2ème espèce en
[148]
Soit à résoudre, l'équation différentielle linéaire avec les « C.I. [154]
et
» [177],
Soit à résoudre, l'équation différentielle linéaire à cœfficients réels constants du 2ème ordre en
hétérogène à excitation constante discontinue de 2ème espèce en
[148] s'écrivant
«
» [178] avec «
» [82], [156] ou,
en notation de physique, posant «
avec
» [82] et «
avec
» [82],
«
».
La « transformée
monolatérale
de Laplace [1] de l'excitation
» s'écrivant «
[107]
[67] pour
» [179],
La « transformée
monolatérale
de Laplace de l'excitation nous obtenons, en utilisant le « rappel des propriétés utilisées » énoncé plus haut dans ce chapitre ainsi que
La « transformée
monolatérale
de Laplace de l'excitation nous obtenons, en utilisant le caractère divergent en
de
[178] et
La « transformée
monolatérale
de Laplace de l'excitation nous obtenons, en notant «
[157] » pour simplifier l'écriture,
La « transformée
monolatérale
de Laplace de l'excitation nous obtenons, «
pour
» [157], [180] soit
La « transformée
monolatérale
de Laplace de l'excitation nous obtenons, «
pour
» ou, en notation de physique,
La « transformée
monolatérale
de Laplace de l'excitation nous obtenons, «
pour
».
De l'équation précédente on tire aisément «
[157] pour
» à condition que «
soit
» ou, en notation de physique,
De l'équation précédente on tire aisément «
[157] pour
» à condition que «
soit
».
Il reste donc à déterminer l'« originale de
[157] sous
dans l'hypothèse
»
nécessairement réalisée pour
[181]
.
Décomposition de la 1ère fonction rationnelle en éléments irréductibles simples dans le cas où la grandeur b2 - 4 c est > 0
[modifier | modifier le wikicode]
Si
est
, « le trinôme
ayant deux racines réelles distinctes
»,
Si
est
, la décomposition de
en éléments irréductibles simples s'écrit
dans lequel
Si
est
, on détermine
«
» en multipliant chaque membre par
puis en y faisant
[104] soit
d'où «
»,
Si
est
, on détermine
«
» en multipliant chaque membre par
puis en y faisant
[104] soit
ou
[182] soit
Si
est
, on détermine
«
» ou encore, avec
«
» et
Si
est
, on détermine
«
» en multipliant chaque membre par
puis en y faisant
[104] soit
ou
[182] soit
Si
est
, on détermine
«
» ou encore, avec
«
»
Si
est
, soit finalement la décomposition de
en éléments irréductibles simples dans le cas où
est
selon
Si
est
, soit finalement la décomp