Aller au contenu

Outils mathématiques pour la physique (PCSI)/Transformées monolatérales de Laplace directes et inverses et leur utilisation

Leçons de niveau 14
Une page de Wikiversité, la communauté pédagogique libre.
Début de la boite de navigation du chapitre
Transformées monolatérales de Laplace directes et inverses et leur utilisation
Icône de la faculté
Chapitre no 23
Leçon : Outils mathématiques pour la physique (PCSI)
Chap. préc. :Portrait de phase d'un système dynamique
Chap. suiv. :Barycentre d'un système de points
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].

Transformée (monolatérale) de Laplace (sous condition d'existence) d'une fonction réelle d'une variable réelle

[modifier | modifier le wikicode]

     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].

Définition de la transformée (monolatérale) de Laplace de la fonction f(t) ci-dessus

[modifier | modifier le wikicode]

     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].

Premiers exemples de transformée (monolatérale) de Laplace de quelques fonctions ou distributions usuelles

[modifier | modifier le wikicode]
  • « 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 ».

Principales propriétés des transformées (monolatérales) de Laplace

[modifier | modifier le wikicode]

Théorème d'unicité des transformées (monolatérales) de Laplace

[modifier | modifier le wikicode]
Début d’un théorème
Fin du théorème

Linéarité de la transformation (monolatérale) de Laplace

[modifier | modifier le wikicode]

     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 «».

Conséquence de la dérivation sur les transformées (monolatérales) de Laplace

[modifier | modifier le wikicode]

     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

     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].

Conséquence de l'intégration sur les transformées (monolatérales) de Laplace

[modifier | modifier le wikicode]

     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

     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].

Conséquence d'une translation en t sur les transformées (monolatérales) de Laplace

[modifier | modifier le wikicode]

     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 »

     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 .

Conséquence d'un changement d'échelle de t sur les transformées (monolatérales) de Laplace

[modifier | modifier le wikicode]

     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 »

     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 .

Conséquence d'une multiplication par une fonction exponentielle réelle sur les transformées (monolatérales) de Laplace

[modifier | modifier le wikicode]

     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 »

     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 ».

Holomorphie de la transformée (monolatérale) de Laplace

[modifier | modifier le wikicode]

     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 :

     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 .

Conséquence d'une multiplication par une fonction puissance de t sur les transformées (monolatérales) de Laplace

[modifier | modifier le wikicode]

     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 ».

Conséquence de la dérivation (ou intégration) par rapport à un paramètre sur les transformées (monolatérales) de Laplace

[modifier | modifier le wikicode]

Conséquence de la dérivation par rapport à un paramètre sur les transformées (monolatérales) de Laplace

[modifier | modifier le wikicode]

     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].

Conséquence de l'intégration par rapport à un paramètre sur les transformées (monolatérales) de Laplace

[modifier | modifier le wikicode]

     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].

Conséquence du caractère périodique d'une fonction (ou distribution) sur sa transformée (monolatérale) de Laplace

[modifier | modifier le wikicode]

     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].

Transformées (monolatérales) de fonctions (ou distributions) usuelles

[modifier | modifier le wikicode]
Liste évidemment non exhaustive.

Fonction de Heaviside (ou échelon unité)

[modifier | modifier le wikicode]

     « 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 d'impulsion unité

[modifier | modifier le wikicode]

     « Pic de Dirac [22] d'impulsion unité » [23] «» [76].

     « Pic de Dirac [22] d'impulsion unité retardé » [79] «» [77].

Fonction rampe de pente a

[modifier | modifier le wikicode]

     « 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

[modifier | modifier le wikicode]

     « 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].

Fonctions sinusoïdale et cosinusoïdale

[modifier | modifier le wikicode]

     « 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émonstrationutilisant 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émonstrationutilisant 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 ».

Fonctions sinusoïdale et cosinusoïdale amorties exponentiellement

[modifier | modifier le wikicode]

     « 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 ».

Transformée (monolatérale) inverse de Laplace d'une fonction (ou distribution) complexe d'une variable complexe

[modifier | modifier le wikicode]

     Soit une fonction complexe [93] de la variable complexe [93] holomorphe sur son domaine de définition.

Définition de la transformée (monolatérale) inverse de Laplace de la fonction (ou distribution) complexe F(p) de la variable complexe p

[modifier | modifier le wikicode]

     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].

Théorème d'unicité des transformées (monolatérales) inverses de Laplace

[modifier | modifier le wikicode]
Début d’un théorème
Fin du théorème

Linéarité de la transformation (monolatérale) inverse de Laplace

[modifier | modifier le wikicode]

     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]
     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].

Méthode pratique de recherche de la transformée (monolatérale) inverse de Laplace d'une fonction rationnelle F(p) dont le numérateur est de degré inférieur à celui du dénominateur

[modifier | modifier le wikicode]

     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].

Exposé de la méthode de recherche de la transformée (monolatérale) inverse de Laplace d'une fonction rationnelle F(p) dont le numérateur est de degré inférieur à celui du dénominateur

[modifier | modifier le wikicode]

     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].

Exemple de détermination de la transformée (monolatérale) inverse de Laplace d'une fonction complexe rationnelle holomorphe possédant uniquement des pôles réels simples

[modifier | modifier le wikicode]

     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 ».

Exemple de détermination de la transformée (monolatérale) inverse de Laplace d'une fonction complexe rationnelle holomorphe possédant uniquement des pôles réels dont un est multiple

[modifier | modifier le wikicode]

     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 ».

Exemple de détermination de la transformée (monolatérale) inverse de Laplace d'une fonction complexe rationnelle holomorphe possédant des pôles complexes conjugués

[modifier | modifier le wikicode]

     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 .

Théorèmes aux limites applicables dans la transformation (monolatérale) de Laplace

[modifier | modifier le wikicode]

Théorème de la valeur initiale dans la transformation (monolatérale) de Laplace

[modifier | modifier le wikicode]

Énoncé du théorème de la valeur initiale dans la transformation (monolatérale) de Laplace

[modifier | modifier le wikicode]
Début d’un théorème
Fin du théorème

Vérification du théorème de la valeur initiale dans la transformation (monolatérale) de Laplace sur des exemples

[modifier | modifier le wikicode]

     À 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 «»

Généralisation à la détermination de la valeur initiale de la dérivée temporelle dans la transformation (monolatérale) de Laplace

[modifier | modifier le wikicode]

Application à la détermination de la valeur initiale de la dérivée temporelle dans la transformation (monolatérale) de Laplace sur des exemples

[modifier | modifier le wikicode]

     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 « ».

Théorème de la valeur finale dans la transformation (monolatérale) de Laplace

[modifier | modifier le wikicode]

Énoncé du théorème de la valeur finale dans la transformation (monolatérale) de Laplace

[modifier | modifier le wikicode]
Début d’un théorème
Fin du théorème

Vérification du théorème de la valeur finale dans la transformation (monolatérale) de Laplace sur des exemples

[modifier | modifier le wikicode]

     À 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]

Utilisation de la transformation (monolatérale) de Laplace pour la résolution des équations différentielles linéaires à cœfficients constants

[modifier | modifier le wikicode]

     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].

Rappel des propriétés utilisées

[modifier | modifier le wikicode]

     « 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].

Réécriture de l'équation différentielle dans le « domaine de Laplace »

[modifier | modifier le wikicode]

     « 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 ».

Détermination de la transformée (monolatérale) de Laplace de la solution de l'équation différentielle avec C.I.

[modifier | modifier le wikicode]

     De l'équation précédente on tire aisément «[157] pour » à condition que « soit ».

Détermination de la solution de l'équation différentielle avec C.I.

[modifier | modifier le wikicode]

     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].

Décomposition de la 1ère fonction rationnelle en éléments irréductibles simples dans le cas où c est > 0
[modifier | modifier le wikicode]

     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.

Détermination de l'originale de la transformée (monolatérale) de Laplace de la solution de l'équation différentielle dans le cas où c est > 0
[modifier | modifier le wikicode]

     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 », «».

Décomposition des fonctions rationnelles en éléments irréductibles simples dans le cas où c est < 0
[modifier | modifier le wikicode]

     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 ».
Détermination de l'originale de la transformée (monolatérale) de Laplace de la solution de l'équation différentielle dans le cas où c est < 0
[modifier | modifier le wikicode]

     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].

Comparaison de la méthode classique de résolution d'équations différentielles linéaires à cœfficients réels constants hétérogènes et de la méthode par transformées (monolatérales) de Laplace

[modifier | modifier le wikicode]

     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].

Recherche de la solution libre yl(t)
[modifier | modifier le wikicode]

     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 ».
Recherche de la solution forcée yf(t)
[modifier | modifier le wikicode]

     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 », « ».
Forme de la solution complète y(t) avant utilisation des C.I.
[modifier | modifier le wikicode]

     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].
Utilisation des C.I. pour déterminer la solution complète y(t)
[modifier | modifier le wikicode]

     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],
«».

Réécriture de l'équation différentielle dans le « domaine de Laplace »

[modifier | modifier le wikicode]

     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 ».

Détermination de la transformée de Laplace de la solution de l'équation différentielle avec C.I.

[modifier | modifier le wikicode]

     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 ».

Détermination de la solution de l'équation différentielle avec C.I.

[modifier | modifier le wikicode]

     Il reste donc à déterminer l'« originale de [157] sous dans l'hypothèse » nécessairement réalisée pour [181].

Décomposition en éléments irréductibles simples dans le cas où b2 - 4 c est > 0
[modifier | modifier le wikicode]
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