3 TransformeeDeLaplace

Introduction
Définitions et exemples
Propriétés algébriques
Propriétés analytiques
Produit de convolution
Transformation inverse
Application aux EDO et EDP
Chapitre 3 :
Transformée de Laplace
ENSE3 – 2022-2023
Chapitre 3 : Transformée de Laplace

Introduction
Plan
1 Introduction
2 Définitions et exemples
3 Propriétés algébriques
4 Propriétés analytiques
5 Produit de convolution
6 Transformation inverse
7 Application aux EDO et EDP

Introduction
Plan
1 Introduction

Introduction
Un peu d’histoire
P.-S. (de) Laplace, 1814, “Essai philosophique sur les probabilités”

Introduction
Un peu d’histoire
Etudes complètes : O. Heaviside, 1880–87, réseaux électriques

Introduction
Un peu d’histoire
De nos jours : électronique, automatique, traitement du signal. . .

Introduction
Un peu d’histoire
Idée de base
Problème du type équations différentielles (ou EDP)
Problème du type équations algébriques

Introduction
Un peu d’histoire
Idée de base

Idée générale sous-jacente
résolution directe, difficile
R [f ] −−−−−−−−−−−−−−−−−−→ f

Introduction
Un peu d’histoire
Idée de base

R [f ] −−−−−−−−−−−−−−−−−−→ f
F = T [f ]

Introduction
Un peu d’histoire
Idée de base

R [f ] −−−−−−−−−−−−−−−−−−→ f
F = T [f ]
↓
R̃ [F ]
Introduction
Un peu d’histoire
Idée de base

R [f ] −−−−−−−−−−−−−−−−−−→ f
F = T [f ]
↓
résolution plus facile
R̃ [F ] −−−−−−−−−−−−−−−−−−→ F
Introduction
Un peu d’histoire
Idée de base

R [f ] −−−−−−−−−−−−−−−−−−→ f
↑
F = T [f ] T −1 [F ]
↓
résolution plus facile
R̃ [F ] −−−−−−−−−−−−−−−−−−→ F
Introduction
Exemple introductif – Filtre RC

R i (t )
t = 0
x (t ) C y (t )
(y (0+ ) = 0)

Introduction

R i (t ) dy
i (t ) = C dt (t )
t = 0
x (t ) C y (t )
(y (0+ ) = 0)

Introduction

R i (t ) dy
i (t ) = C dt (t ) & x (t ) − y (t ) = R i (t )
t = 0
x (t ) C y (t )
(y (0+ ) = 0)

Introduction

R i (t ) dy
i (t ) = C dt (t ) & x (t ) − y (t ) = R i (t )
t = 0
x (t ) C y (t ) dy
(y (0+ ) = 0) EDO : τ dt + y = x, t ≥ 0, τ = RC

Introduction

R i (t ) dy
i (t ) = C dt (t ) & x (t ) − y (t ) = R i (t )
t = 0
x (t ) C y (t ) dy
(y (0+ ) = 0) EDO : τ dt + y = x, t ≥ 0, τ = RC
Résolution directe
t
Equation homogène yh (t ) = k e − τ , t≥0

Introduction

R i (t ) dy
i (t ) = C dt (t ) & x (t ) − y (t ) = R i (t )
t = 0
x (t ) C y (t ) dy
(y (0+ ) = 0) EDO : τ dt + y = x, t ≥ 0, τ = RC
Résolution directe
t
t
−τ
Sol. part. (var. constante) k k (t ) : τ dk
dt (t )e = x (t ),

Introduction

R i (t ) dy
i (t ) = C dt (t ) & x (t ) − y (t ) = R i (t )
t = 0
x (t ) C y (t ) dy
(y (0+ ) = 0) EDO : τ dt + y = x, t ≥ 0, τ = RC
Résolution directe
t
t
−τ
dt (t )e = x (t ), & y (0) = 0
t −t 0
t
e− τ
Z
y (t ) = x (t 0 ) dt 0
0 τ
| {z }
h(t −t 0 ), t 0 ≤t

Introduction

R i (t ) dy
i (t ) = C dt (t ) & x (t ) − y (t ) = R i (t )
t = 0
x (t ) C y (t ) dy
(y (0+ ) = 0) EDO : τ dt + y = x, t ≥ 0, τ = RC
Résolution directe
t
t
−τ
dt (t )e = x (t ), & y (0) = 0
t −t 0
t
e− τ
Z
y (t ) = x (t 0 ) dt 0
0 τ
| {z }
h(t −t 0 ), t 0 ≤t

Introduction

R i (t ) dy
i (t ) = C dt (t ) & x (t ) − y (t ) = R i (t )
t = 0
x (t ) C y (t ) dy
(y (0+ ) = 0) EDO : τ dt + y = x, t ≥ 0, τ = RC
Résolution directe
t
t
−τ
dt (t )e = x (t ), & y (0) = 0
t −t 0
+∞
t
e− τ
Z Z
t̃ =t −t 0
y (t ) = x (t 0 ) dt 0 = x (t − t̃ ) h(t̃ ) d t̃
0 τ
| {z } 0 |{z}
rép. impuls.
h(t −t 0 ), t 0 ≤t

Introduction

R i (t ) dy
i (t ) = C dt (t ) & x (t ) − y (t ) = R i (t )
t = 0
x (t ) C y (t ) dy
(y (0+ ) = 0) EDO : τ dt + y = x, t ≥ 0, τ = RC
Résolution directe
t
t
−τ
dt (t )e = x (t ), & y (0) = 0
t −t 0
+∞
t
e− τ
Z Z
t̃ =t −t 0
y (t ) = x (t 0 ) dt 0 = x (t − t̃ ) h(t̃ ) d t̃
0 τ
| {z } 0 |{z}
rép. impuls.
h(t −t 0 ), t 0 ≤t

Introduction

R i (t ) dy
i (t ) = C dt (t ) & x (t ) − y (t ) = R i (t )
t = 0
x (t ) C y (t ) dy
(y (0+ ) = 0) EDO : τ dt + y = x, t ≥ 0, τ = RC
Résolution directe
t
t
−τ
dt (t )e = x (t ), & y (0) = 0
t −t 0
+∞
t
e− τ
Z Z
t̃ =t −t 0
y (t ) = x (t 0 ) dt 0 = x (t − t̃ ) h(t̃ ) d t̃ = x ∗ h(t )
0 τ
| {z } 0 |{z} | {z }
rép. impuls. Convolution
h(t −t 0 ), t 0 ≤t

Introduction

R i (t ) dy
i (t ) = C dt (t ) & x (t ) − y (t ) = R i (t )
t = 0
x (t ) C y (t ) dy
(y (0+ ) = 0) EDO : τ dt + y = x, t ≥ 0, τ = RC
Résolution directe
t
t
−τ
dt (t )e = x (t ), & y (0) = 0
t −t 0
+∞
t
e− τ
Z Z
t̃ =t −t 0
0 τ
| {z } 0 |{z} | {z }
h(t −t 0 ), t 0 ≤t

Introduction

R i (t ) dy
i (t ) = C dt (t ) & x (t ) − y (t ) = R i (t )
t = 0
x (t ) C y (t ) dy
(y (0+ ) = 0) EDO : τ dt + y = x, t ≥ 0, τ = RC
Résolution directe
t
t
−τ
dt (t )e = x (t ), & y (0) = 0
t −t 0
+∞
t
e− τ
Z Z
t̃ =t −t 0
0 τ
| {z } 0 |{z} | {z }
h(t −t 0 ), t 0 ≤t
Fonctions propres de la convolution (sans précautions mathématiques)

Introduction

R i (t ) dy
i (t ) = C dt (t ) & x (t ) − y (t ) = R i (t )
t = 0
x (t ) C y (t ) dy
(y (0+ ) = 0) EDO : τ dt + y = x, t ≥ 0, τ = RC
Résolution directe
t
t
−τ
dt (t )e = x (t ), & y (0) = 0
t −t 0
+∞
t
e− τ
Z Z
t̃ =t −t 0
0 τ
| {z } 0 |{z} | {z }
h(t −t 0 ), t 0 ≤t

Z +∞
0
x (t ) = X (s ) e st y (t ) = X (s ) h(t 0 ) e s (t −t ) dt 0
0

Introduction

R i (t ) dy
i (t ) = C dt (t ) & x (t ) − y (t ) = R i (t )
t = 0
x (t ) C y (t ) dy
(y (0+ ) = 0) EDO : τ dt + y = x, t ≥ 0, τ = RC
Résolution directe
t
t
−τ
dt (t )e = x (t ), & y (0) = 0
t −t 0
+∞
t
e− τ
Z Z
t̃ =t −t 0
0 τ
| {z } 0 |{z} | {z }
h(t −t 0 ), t 0 ≤t

Z +∞ Z +∞
0 0
x (t ) = X (s ) e st y (t ) = X (s ) h(t 0 ) e s (t −t ) dt 0 = X (s ) h(t 0 )e −st dt 0e st
0
|0 {z }
H (s )

Introduction

R i (t ) dy
i (t ) = C dt (t ) & x (t ) − y (t ) = R i (t )
t = 0
x (t ) C y (t ) dy
(y (0+ ) = 0) EDO : τ dt + y = x, t ≥ 0, τ = RC
Résolution directe
t
t
−τ
dt (t )e = x (t ), & y (0) = 0
t −t 0
+∞
t
e− τ
Z Z
t̃ =t −t 0
0 τ
| {z } 0 |{z} | {z }
h(t −t 0 ), t 0 ≤t

Z +∞ Z +∞
0 0
0
|0 {z }
H (s )

Introduction

R i (t ) dy
i (t ) = C dt (t ) & x (t ) − y (t ) = R i (t )
t = 0
x (t ) C y (t ) dy
(y (0+ ) = 0) EDO : τ dt + y = x, t ≥ 0, τ = RC
Résolution directe
t
t
−τ
dt (t )e = x (t ), & y (0) = 0
t −t 0
+∞
t
e− τ
Z Z
t̃ =t −t 0
0 τ
| {z } 0 |{z} | {z }
h(t −t 0 ), t 0 ≤t

Z +∞ Z +∞
0 0
0
|0 {z }
st H (s )
y (t ) = X (s ) H (s ) e
Introduction

R i (t ) dy
i (t ) = C dt (t ) & x (t ) − y (t ) = R i (t )
t = 0
x (t ) C y (t ) dy
(y (0+ ) = 0) EDO : τ dt + y = x, t ≥ 0, τ = RC
Résolution directe
t
t
−τ
dt (t )e = x (t ), & y (0) = 0
t −t 0
+∞
t
e− τ
Z Z
t̃ =t −t 0
0 τ
| {z } 0 |{z} | {z }
h(t −t 0 ), t 0 ≤t

Z +∞ Z +∞
0 0
0
|0 {z }
st st H (s )
y (t ) = X (s ) H (s ) e ≡ Y (s ) e
Introduction

R i (t ) dy
i (t ) = C dt (t ) & x (t ) − y (t ) = R i (t )
t = 0
x (t ) C y (t ) dy
(y (0+ ) = 0) EDO : τ dt + y = x, t ≥ 0, τ = RC
Résolution directe
t
t
−τ
dt (t )e = x (t ), & y (0) = 0
t −t 0
+∞
t
e− τ
Z Z
t̃ =t −t 0
0 τ
| {z } 0 |{z} | {z }
h(t −t 0 ), t 0 ≤t

Z +∞ Z +∞
0 0
0
|0 {z }
st st H (s )
y (t ) = X (s ) H (s ) e ≡ Y (s ) e & superposition. . .
Introduction
Plan
1 Introduction

Introduction
Déf. : Fonction localement sommable

Intervalle I de R (en général R ou R+ ),
Fonction f : I → K, K = R ou C

Introduction

Z
f localement sommable sur I : ∀ A ⊂ I fermé borné, |f (t )| dt converge
A

Introduction

Z
A
(f sommable, i.e., de module intégrable, sur A)

Introduction

Z
A
Notation : f ∈ L1loc (I ).

Introduction

Z
A
Notation : f ∈ L1loc (I ). Nota : L1loc (I ) ⊃ L1 (I )

Introduction

Z
A
Notation : f ∈ L1loc (I ). Nota : L1loc (I ) ⊃ L1 (I ) ⊃ L1 (R)

Introduction

Z
A
Notation : f ∈ L1loc (I ). Nota : L1loc (R) ⊂ L1loc (I ) ⊃ L1 (I ) ⊃ L1 (R)

Introduction

Z
A
Proposition – continuité et sommabilité locale

f (t )

Introduction

Z
A

1 f ∈ C 0 ([a , b ]) ⇒ f ∈ L1loc ([a , b ]) f (t )

Introduction

Z
A

1 f ∈ C 0 ([a , b ]) ⇒ f ∈ L1loc ([a , b ]) f (t )
2 f ∈ C 0 (R+ ) (0 compris) ⇒ f ∈ L1loc (R+ ) t

Introduction

Z
A

1 f ∈ C 0 ([a , b ]) ⇒ f ∈ L1loc ([a , b ]) f (t )
2 f ∈ C 0 (R+ ) (0 compris) ⇒ f ∈ L1loc (R+ ) t
Fonction causale
f (t )
•
Fonction f de la variable réelle causale : ∀ t < 0, f (t ) = 0
t
Introduction
Échelon unité – fonction de Heaviside – indicatrice de R+

u (t )
1 si t ≥ 0
u (t ) = 1R+ (t ) = 1 •
0 si t < 0
t

Introduction

u (t )
1 si t ≥ 0
u (t ) = 1R+ (t ) = 1 •
0 si t < 0
t
u causale

Introduction

u (t )
1 si t ≥ 0
u (t ) = 1R+ (t ) = 1 •
0 si t < 0
t
u causale, u 6∈ C 0 (R)

Introduction

u (t )
1 si t ≥ 0
u (t ) = 1R+ (t ) = 1 •
0 si t < 0
t
u causale, u 6∈ C 0 (R), u ∈ C 0 (R+ )

Introduction

u (t )
1 si t ≥ 0
u (t ) = 1R+ (t ) = 1 •
0 si t < 0
t
u causale, u 6∈ C 0 (R), u ∈ C 0 (R+ ), u ∈ L1loc (R)

Introduction

u (t )
1 si t ≥ 0
u (t ) = 1R+ (t ) = 1 •
0 si t < 0
t
u causale, u 6∈ C 0 (R), u ∈ C 0 (R+ ), u ∈ L1loc (R), u 6∈ L1 (R)

Introduction

u (t )
1 si t ≥ 0
u (t ) = 1R+ (t ) = 1 •
0 si t < 0
t
Nota : f (t )u (t ) est causale (f causale ou on ne conserve que sa partie causale)

Introduction

u (t )
1 si t ≥ 0
u (t ) = 1R+ (t ) = 1 •
0 si t < 0
t
Exemples divers

Introduction

u (t )
1 si t ≥ 0
u (t ) = 1R+ (t ) = 1 •
0 si t < 0
t
Exemples divers
f (t )
f (t ) = e α t u (t ), α∈C •

Introduction

u (t )
1 si t ≥ 0
u (t ) = 1R+ (t ) = 1 •
0 si t < 0
t
Exemples divers
f (t )
f (t ) = e α t u (t ), α∈C •
causale
t

Introduction

u (t )
1 si t ≥ 0
u (t ) = 1R+ (t ) = 1 •
0 si t < 0
t
Exemples divers
f (t )
f (t ) = e α t u (t ), α∈C •
0
causale, 6∈ C (R)
t

Introduction

u (t )
1 si t ≥ 0
u (t ) = 1R+ (t ) = 1 •
0 si t < 0
t
Exemples divers
f (t )
f (t ) = e α t u (t ), α∈C •
0
causale, 6∈ C (R), ∈ L1loc (R)
t

Introduction

u (t )
1 si t ≥ 0
u (t ) = 1R+ (t ) = 1 •
0 si t < 0
t
Exemples divers
f (t )
f (t ) = e α t u (t ), α∈C •
0
causale, 6∈ C (R), ∈ L1loc (R), 1
∈ L (R) ssi <e {α} < 0
t

Introduction

u (t )
1 si t ≥ 0
u (t ) = 1R+ (t ) = 1 •
0 si t < 0
t
Exemples divers
f (t )
f (t ) = e α t u (t ), α∈C •
0
∈ L (R) ssi <e {α} < 0
t
1 f (t )
f (t ) = t u (t )

Introduction

u (t )
1 si t ≥ 0
u (t ) = 1R+ (t ) = 1 •
0 si t < 0
t
Exemples divers
f (t )
f (t ) = e α t u (t ), α∈C •
0
∈ L (R) ssi <e {α} < 0
t
1 f (t )
f (t ) = t u (t )
causale
t

Introduction

u (t )
1 si t ≥ 0
u (t ) = 1R+ (t ) = 1 •
0 si t < 0
t
Exemples divers
f (t )
f (t ) = e α t u (t ), α∈C •
0
∈ L (R) ssi <e {α} < 0
t
1 f (t )
f (t ) = t u (t )
causale, 6∈ C 0 (R+ )
t

Introduction

u (t )
1 si t ≥ 0
u (t ) = 1R+ (t ) = 1 •
0 si t < 0
t
Exemples divers
f (t )
f (t ) = e α t u (t ), α∈C •
0
∈ L (R) ssi <e {α} < 0
t
1 f (t )
f (t ) = t u (t )
causale, 6∈ C 0 (R+ ), ∈ L1loc (R∗+ )
t

Introduction

u (t )
1 si t ≥ 0
u (t ) = 1R+ (t ) = 1 •
0 si t < 0
t
Exemples divers
f (t )
f (t ) = e α t u (t ), α∈C •
0
∈ L (R) ssi <e {α} < 0
t
1 f (t )
f (t ) = t u (t )
causale, 6∈ C 0 (R+ ), ∈ L1loc (R∗+ ), 6∈ L1 ([a , +∞))
t

Introduction

u (t )
1 si t ≥ 0
u (t ) = 1R+ (t ) = 1 •
0 si t < 0
t
Exemples divers
f (t )
f (t ) = e α t u (t ), α∈C •
0
∈ L (R) ssi <e {α} < 0
t
1 f (t )
f (t ) = t u (t )
t
f (t )
f (t ) = e −|t |
t
Introduction

u (t )
1 si t ≥ 0
u (t ) = 1R+ (t ) = 1 •
0 si t < 0
t
Exemples divers
f (t )
f (t ) = e α t u (t ), α∈C •
0
∈ L (R) ssi <e {α} < 0
t
1 f (t )
f (t ) = t u (t )
t
f (t )
f (t ) = e −|t |
non causale
t
Introduction

u (t )
1 si t ≥ 0
u (t ) = 1R+ (t ) = 1 •
0 si t < 0
t
Exemples divers
f (t )
f (t ) = e α t u (t ), α∈C •
0
∈ L (R) ssi <e {α} < 0
t
1 f (t )
f (t ) = t u (t )
t
f (t )
f (t ) = e −|t |
non causale, ∈ C 0 (R)
t
Introduction

u (t )
1 si t ≥ 0
u (t ) = 1R+ (t ) = 1 •
0 si t < 0
t
Exemples divers
f (t )
f (t ) = e α t u (t ), α∈C •
0
∈ L (R) ssi <e {α} < 0
t
1 f (t )
f (t ) = t u (t )
t
f (t )
f (t ) = e −|t |
non causale, ∈ C 0 (R), ∈ L1loc (R)
t
Introduction

u (t )
1 si t ≥ 0
u (t ) = 1R+ (t ) = 1 •
0 si t < 0
t
Exemples divers
f (t )
f (t ) = e α t u (t ), α∈C •
0
∈ L (R) ssi <e {α} < 0
t
1 f (t )
f (t ) = t u (t )
t
f (t )
f (t ) = e −|t |
non causale, ∈ C 0 (R), ∈ L1loc (R), ∈ L1 (R)
t
Introduction
Définition : transformée de Laplace

Soit f : R → K (R ou C), causale, f ∈ L1loc (R+ ).

Introduction

Transformée de Laplace de f : sur le domaine où l’intégrale converge,
F ≡ L[f ] : C → C
Z +∞
s 7→ f (t ) e −st dt (au sens de Lebesgue? )
0

Introduction

F ≡ L[f ] : C → C
Z +∞
0
Exemple avec le domaine de définition
f (t ) = u (t ),

Introduction

F ≡ L[f ] : C → C
Z +∞
0

Z +∞
f (t ) = u (t ), F (s ) = e −st dt
0

Introduction

F ≡ L[f ] : C → C
Z +∞
0

Z +∞ h −st i+∞
f (t ) = u (t ), F (s ) = e −st dt = − e s
0 0

Introduction

F ≡ L[f ] : C → C
Z +∞
0

Z +∞ h −st i+∞
f (t ) = u (t ), F (s ) = e −st dt = − e s = 1
s
0 0

Introduction

F ≡ L[f ] : C → C
Z +∞
0

Z +∞ h −st i+∞
f (t ) = u (t ), F (s ) = e −st dt = − e s = 1
s ssi <e {s } > 0
0 0

Introduction

F ≡ L[f ] : C → C
Z +∞
0

Z +∞ h −st i+∞
f (t ) = u (t ), F (s ) = e −st dt = − e s = 1
s ssi <e {s } > 0
0 0
f (t ) = e αt u (t ),

Introduction

F ≡ L[f ] : C → C
Z +∞
0

Z +∞ h −st i+∞
f (t ) = u (t ), F (s ) = e −st dt = − e s = 1
s ssi <e {s } > 0
0 0
Z +∞
αt (α−s )t
f (t ) = e u (t ), F (s ) = e dt
0

Introduction

F ≡ L[f ] : C → C
Z +∞
0

Z +∞ h −st i+∞
f (t ) = u (t ), F (s ) = e −st dt = − e s = 1
s ssi <e {s } > 0
0 0
Z +∞ h i+∞
αt (α−s )t e (α−s )t
f (t ) = e u (t ), F (s ) = e dt = α−s
0 0

Introduction

F ≡ L[f ] : C → C
Z +∞
0

Z +∞ h −st i+∞
f (t ) = u (t ), F (s ) = e −st dt = − e s = 1
s ssi <e {s } > 0
0 0
Z +∞ h i+∞
αt (α−s )t e (α−s )t 1
f (t ) = e u (t ), F (s ) = e dt = α−s = s −α
0 0

Introduction

F ≡ L[f ] : C → C
Z +∞
0

Z +∞ h −st i+∞
f (t ) = u (t ), F (s ) = e −st dt = − e s = 1
s ssi <e {s } > 0
0 0
Z +∞ h i+∞
f (t ) = e u (t ), F (s ) = e dt = α−s = s −α , <e {s } > <e {α}
0 0

Introduction

F ≡ L[f ] : C → C
Z +∞
0

Z +∞ h −st i+∞
f (t ) = u (t ), F (s ) = e −st dt = − e s = 1
s ssi <e {s } > 0
0 0
Z +∞ h i+∞
0 0
Z +∞
f (t ) = t u (t ), F (s ) = t e −st dt
0
Introduction

F ≡ L[f ] : C → C
Z +∞
0

Z +∞ h −st i+∞
f (t ) = u (t ), F (s ) = e −st dt = − e s = 1
s ssi <e {s } > 0
0 0
Z +∞ h i+∞
0 0
Z +∞ Z +∞
ipp e −st
f (t ) = t u (t ), F (s ) = t e −st dt = s dt
0 0
Introduction

F ≡ L[f ] : C → C
Z +∞
0

Z +∞ h −st i+∞
f (t ) = u (t ), F (s ) = e −st dt = − e s = 1
s ssi <e {s } > 0
0 0
Z +∞ h i+∞
0 0
Z +∞ Z +∞
ipp e −st
f (t ) = t u (t ), F (s ) = t e −st dt = s dt = 1
s2 , <e {s } > 0
0 0
Introduction
Remarques
Intégrale de Lebesgue : F (s ) existe ⇔ e −<e{s }t |f (t )| ∈ L1 (R+ )

Introduction
Remarques
ne converge pas ∀ s ∈ C

Introduction
Remarques
ne converge pas ∀ s ∈ C (au mieux que sur un ouvert de C, cf. plus loin)

Introduction
Remarques

Notations : on écrit parfois f F & F f

Introduction
Remarques
Notations : on écrit parfois f F & F f ou L[f ] & L−1 [F ]


Introduction
Remarques

Exercice 1
Représentez graphiquement les fonctions définies sur R
u(−t) u(t − 3) u(−t + 2)
t t u(t) t u(t − 1) (t − 1) u(t − 1)
Calculez la transformée de Laplace de f (t ) = u (t ) + e −(t −1) −1 u (t − 1)


Introduction
Remarques

Exercice 1
u(−t) u(t − 3) u(−t + 2)
•1
0 t
t t u(t) t u(t − 1) (t − 1) u(t − 1)


Introduction
Remarques

Exercice 1
u(−t) u(t − 3) u(−t + 2)
•1 1 •
0 t 3 t
t t u(t) t u(t − 1) (t − 1) u(t − 1)


Introduction
Remarques

Exercice 1
u(−t) u(t − 3) u(−t + 2)
•1 • 1
1 •
0 t 3 t 2 t
t t u(t) t u(t − 1) (t − 1) u(t − 1)


Introduction
Remarques

Exercice 1
u(−t) u(t − 3) u(−t + 2)
•1 • 1
1 •
0 t 3 t 2 t
t t u(t) t u(t − 1) (t − 1) u(t − 1)

1
1 t


Introduction
Remarques

Exercice 1
u(−t) u(t − 3) u(−t + 2)
•1 • 1
1 •
0 t 3 t 2 t
t t u(t) t u(t − 1) (t − 1) u(t − 1)

1 1
1 t 1 t


Introduction
Remarques

Exercice 1
u(−t) u(t − 3) u(−t + 2)
•1 • 1
1 •
0 t 3 t 2 t
t t u(t) t u(t − 1) (t − 1) u(t − 1)

1 1 1 •
1 t 1 t 1 t


Introduction
Remarques

Exercice 1
u(−t) u(t − 3) u(−t + 2)
•1 • 1
1 •
0 t 3 t 2 t
t t u(t) t u(t − 1) (t − 1) u(t − 1)

1 1 1 • 1
1 t 1 t 1 t 1 t


Introduction
Remarques

Exercice 1
u(−t) u(t − 3) u(−t + 2)
•1 • 1
1 •
0 t 3 t 2 t
t t u(t) t u(t − 1) (t − 1) u(t − 1)

1 1 1 • 1
1 t 1 t 1 t 1 t

1•
1 t
Introduction
Remarques

Exercice 1
u(−t) u(t − 3) u(−t + 2)
•1 • 1
1 •
0 t 3 t 2 t
t t u(t) t u(t − 1) (t − 1) u(t − 1)

1 1 1 • 1
1 t 1 t 1 t 1 t

1•
1−e −s e −s
F (s ) = s + s +1 , <e {s } > 0
1 t
Introduction
Remarque
Ex. précédents : L[f ] définie uniquement sur des demi-plans <e {s } > a

Introduction
Remarque
Domaine de convergence – abscisse de convergence

f (t )
Soit f ∈ L1loc (R+ ) causale, alors
•

Introduction
Remarque

f (t )
•
abscisse de convergence :
af = inf x ∈ R, t 7→ f (t ) e −xt ∈ L1 (R+ )

t
=m{s }
af <e {s }

Introduction
Remarque

f (t )
•

t
(peut être infini. . . )
=m{s }
af <e {s }

Introduction
Remarque

f (t )
•

t
L
Z +∞
f (t ) e −st dt . . . =m{s }
0
af <e {s }

Introduction
Remarque

f (t )
•

t
L
Z +∞
f (t ) e −st dt . . . =m{s }
0
Converge uniformément sur <e{s} > af af <e {s }

Introduction
Remarque

f (t )
•

t
L
Z +∞
f (t ) e −st dt . . . =m{s }
Domaine
0
d’existence
Converge uniformément sur <e{s} > af af de L[f ] <e {s }
Diverge sur <e{s} < af

Introduction
Remarque

f (t )
•

t
L
Z +∞
f (t ) e −st dt . . . =m{s }
Domaine
0
d’existence
Eléments de preuve
|f (t ) e −st | = |f (t )| e −<e{s }t
Introduction
Remarque

f (t )
•

t
L
Z +∞
f (t ) e −st dt . . . =m{s }
Domaine
0
d’existence
Eléments de preuve
|f (t ) e −st | = |f (t )| e −<e{s }t < |f (t )| e −xt . . . (convergence dominée)
Introduction
Plan
1 Introduction

Introduction
Linéarité
fi ∈ L1loc (R+ ), i = 1, . . . , n, causales, d’abs. de convergence afi ,
n
X u (t ) e − t u (t )
• •
gλ = λi fi , λi ∈ K t
i =1 1
t 1
F 1 (s ) = s
F2 (s ) = s +1
+ −
−t
1− e u (t )

Introduction
Linéarité
n
X u (t ) e − t u (t )
• •
i =1 1
t 1
F 1 (s ) = s
F2 (s ) = s +1
Alors : n
X
L[gλ ] = λi L[fi ] + −
−t
i =1 1− e u (t )
1
t
Gλ (s ) = s (s +1)

Introduction
Linéarité
n
X u (t ) e − t u (t )
• •
i =1 1
t 1
F 1 (s ) = s
F2 (s ) = s +1
Alors : n <e {s } > 0 <e {s } > −1
X
L[gλ ] = λi L[fi ] + −
−t
i =1 1− e u (t )
Abs. de convergence agλ ≤ sup afi
i =1,...,n t
1
Gλ (s ) = s (s +1)
, <e {s } > 0

Introduction
Linéarité
n
X u (t ) e − t u (t )
• •
i =1 1
t 1
F 1 (s ) = s
F2 (s ) = s +1
Alors : n <e {s } > 0 <e {s } > −1
X
L[gλ ] = λi L[fi ] + −
−t
i =1 1− e u (t )
i =1,...,n t
1
Gλ (s ) = s (s +1)
, <e {s } > 0
Elements de preuve
u (t ), u (t −1) u (t )− u (t −1)
Linéarité de l’intégration. . . • • •
t
−st −s
F1 (s ) = 1s , F2 (s ) = e
s
Gλ (s ) = 1−se

Introduction
Linéarité
n
X u (t ) e − t u (t )
• •
i =1 1
t 1
F 1 (s ) = s
F2 (s ) = s +1
Alors : n <e {s } > 0 <e {s } > −1
X
L[gλ ] = λi L[fi ] + −
−t
i =1 1− e u (t )
i =1,...,n t
1
Gλ (s ) = s (s +1)
, <e {s } > 0
Elements de preuve
u (t ), u (t −1) u (t )− u (t −1)
Linéarité de l’intégration. . . • • •
t
Ex. : f1 (t ) − f1 (t − τ ), τ > 0. . . F1 (s ) = 1s , F2 (s ) = e −st

Gλ (s ) = 1−se
−s
s
<e {s } > 0, <e {s } > 0 s ∈ C (prol. en 0)

Introduction
Théorème du retard
Soit f ∈ L1loc (R+ ), causale, d’abscisse de convergence af ,

Introduction
Soit hτ (t ) = f (t − τ ), τ ∈ R+

1− e −t u (t ) hτ (t )
t
t

Introduction
Soit hτ (t ) = f (t − τ ), τ ∈ R+

Alors 1− e −t u (t ) hτ (t )
t
L [hτ ] (s ) = e −τ s L [f ] (s ) t
−τ s
F (s ) = s (s1+1) Hτ (s ) = se(s +1)

Introduction
Soit hτ (t ) = f (t − τ ), τ ∈ R+

t
L [hτ ] (s ) = e −τ s L [f ] (s ) t
−τ s
F (s ) = s (s1+1) Hτ (s ) = se(s +1)
Abscisse de convergence ahτ = af
<e {s } > 0 <e {s } > 0

Introduction
Soit hτ (t ) = f (t − τ ), τ ∈ R+

t
L [hτ ] (s ) = e −τ s L [f ] (s ) t
−τ s
F (s ) = s (s1+1) Hτ (s ) = se(s +1)
<e {s } > 0 <e {s } > 0
Elements de preuve
Z +∞
Hτ (s ) = f (t − τ ) e −st dt
τ

Introduction
Soit hτ (t ) = f (t − τ ), τ ∈ R+

t
L [hτ ] (s ) = e −τ s L [f ] (s ) t
−τ s
F (s ) = s (s1+1) Hτ (s ) = se(s +1)
<e {s } > 0 <e {s } > 0
Elements de preuve
Z +∞ Z +∞
t 0 =t −τ 0
Hτ (s ) = f (t − τ ) e −st dt = f ( t 0 ) e −s ( t +τ )
dt 0 . . .
τ 0

Introduction
Translation en Laplace
Soit f ∈ L1loc (R+ ), causale d’abscisse de convergence af ,

Introduction
Soit vα (t ) = e −αt f (t ), α ∈ C

1− e −t u (t ) v1 (t )
t
t

Introduction

Alors 1− e −t u (t ) v1 (t )
t
L [vα ] (s ) = L [f ] (s + α)
t
F (s ) = s (s1+1) V1 (s ) = (s +1)(1 s +2)

Introduction

Alors 1− e −t u (t ) v1 (t )
t
L [vα ] (s ) = L [f ] (s + α)
t
Abs. de convergence F (s ) = s (s1+1) V1 (s ) = (s +1)(1 s +2)

avα = af − <e {α} <e {s } > 0 <e {s } > −1

Introduction

Alors 1− e −t u (t ) v1 (t )
t
L [vα ] (s ) = L [f ] (s + α)
t

avα = af − <e {α} <e {s } > 0 <e {s } > −1
Elements de preuve
Z +∞
Vα (s ) = e −αt f (t ) e −st dt
0

Introduction

Alors 1− e −t u (t ) v1 (t )
t
L [vα ] (s ) = L [f ] (s + α)
t

avα = af − <e {α} <e {s } > 0 <e {s } > −1
Elements de preuve
Z +∞ Z +∞
Vα (s ) = e −αt f (t ) e −st dt = f (t ) e −(s +α)t dt . . .
0 0

Introduction
Facteur d’échelle

Introduction
Soit kc (t ) = f (ct ), c > 0

e −t u (t ) kc (t )
• •
t
t

Introduction
Soit kc (t ) = f (ct ), c > 0
Alors e −t u (t ) kc (t )
• •
t
1 s

L [kc ] (s ) = c L [f ] c
t
1
F (s ) = s +1 Kc (s ) = s +1 c

Introduction
Soit kc (t ) = f (ct ), c > 0
• •
t
1 s

L [kc ] (s ) = c L [f ] c
t
1
F (s ) = s +1 Kc (s ) = s +1 c
Abs. de convergence akc = c af
<e {s } > −1 <e {s } > −c

Introduction
Soit kc (t ) = f (ct ), c > 0
• •
t
1 s

L [kc ] (s ) = c L [f ] c
t
1
F (s ) = s +1 Kc (s ) = s +1 c
<e {s } > −1 <e {s } > −c
Elements de preuve
Z +∞
Kc (s ) = f (c t ) e −st dt
0

Introduction
Soit kc (t ) = f (ct ), c > 0
• •
t
1 s

L [kc ] (s ) = c L [f ] c
t
1
F (s ) = s +1 Kc (s ) = s +1 c
<e {s } > −1 <e {s } > −c
Elements de preuve
Z +∞ +∞
dt 0
Z
t 0 =c t st 0
Kc (s ) = f (c t ) e −st dt = f (t 0 ) e − c ...
0 0 c

Introduction
Plan
1 Introduction

Introduction
Continuité

Introduction
Continuité
L[f ] est continue sur {s ∈ C, <e {s } > af }

Introduction
Continuité
Eléments de preuve
=m{s }
Soit s , <e {s } > af ,
.s
B (s,ε)
∀ ε, <e {s } − af > ε > 0, ∀ s0 ∈ B (s , ε)
af <e {s }
f (t ) e −s0 t − f (t ) e −st

Introduction
Continuité
Eléments de preuve
=m{s }
Soit s , <e {s } > af ,
.s
B (s,ε)
∀ ε, <e {s } − af > ε > 0, ∀ s0 ∈ B (s , ε)
af b <e {s }
∃ b , af af ,
.s
B (s,ε)
∀ ε, <e {s } − af > ε > 0, ∀ s0 ∈ B (s , ε)
af b <e {s }
∃ b , af 0 <e >0
z }| { z }| {
f (t ) e −s0 t − f (t ) e −st = e −(s0 −b )t
−e −(s −b )t
f (t ) e −bt

Introduction
Continuité
Eléments de preuve
=m{s }
Soit s , <e {s } > af ,
.s
B (s,ε)
∀ ε, <e {s } − af > ε > 0, ∀ s0 ∈ B (s , ε)
af b <e {s }
∃ b , af 0 <e >0
z }| { z }| {
f (t ) e −s0 t − f (t ) e −st = e −(s0 −b )t
−e −(s −b )t
f (t ) e −bt

Introduction
Continuité
Eléments de preuve
=m{s }
Soit s , <e {s } > af ,
.s
B (s,ε)
∀ ε, <e {s } − af > ε > 0, ∀ s0 ∈ B (s , ε)
af b <e {s }
∃ b , af 0 <e >0
z }| { z }| {
f (t ) e −s0 t − f (t ) e −st = e −(s0 −b )t
−e −(s −b )t
f (t ) e −bt
≤ M f (t ) e −bt

Introduction
Continuité
Eléments de preuve
=m{s }
Soit s , <e {s } > af ,
.s
B (s,ε)
∀ ε, <e {s } − af > ε > 0, ∀ s0 ∈ B (s , ε)
af b <e {s }
∃ b , af 0 <e >0
z }| { z }| {
f (t ) e −s0 t − f (t ) e −st = e −(s0 −b )t
−e −(s −b )t
f (t ) e −bt
≤ M f (t ) e −bt
& convergence dominée. . .
Introduction
Dérivabilité
Soit f ∈ L1loc (R+ ), causale, d’abscisse de convergence af

Introduction
Dérivabilité
L[f ] est holomorphe? et donc analytique (C ∞ ) sur {s ∈ C, <e {s } > af }

Introduction
Dérivabilité

Z +∞
Par dérivation sous l’intégrale, L[f ](n) (s ) = (−t )n f (t ) e −st dt
0

Introduction
Dérivabilité

Z +∞
0
Eléments de preuve
=m{s }
Soit s , <e {s } > af , .s
af <e {s }
∂n
f (t ) e −st
∂s n

Introduction
Dérivabilité

Z +∞
0
Eléments de preuve
=m{s }
Soit s , <e {s } > af , .s
∃b , <e {s } > b > af af b <e {s }
<e >0
∂n
z }| {
f (t ) e −st = |f (t )| e −bt t e n −( s −b ) t
∂s n

Introduction
Dérivabilité

Z +∞
0
Eléments de preuve
=m{s }
Soit s , <e {s } > af , .s
∃b , <e {s } > b > af af b <e {s }
<e >0
∂n
z }| {
∂s n

Introduction
Dérivabilité

Z +∞
0
Eléments de preuve
=m{s }
Soit s , <e {s } > af , .s
∃b , <e {s } > b > af af b <e {s }
<e >0
∂n
z }| {
∂s n
≤ M |f (t )| e −bt

Introduction
Dérivabilité

Z +∞
0
Eléments de preuve
=m{s }
Soit s , <e {s } > af , .s
∃b , <e {s } > b > af af b <e {s }
<e >0
∂n
z }| {
∂s n
≤ M |f (t )| e −bt
Introduction
Exercice 2
Calculez la transformée de Laplace de
f (t ) = t u (t ) g (t ) = t 2 sin(t )u (t )

Introduction
Exercice 2
f (t ) = t u (t ) g (t ) = t 2 sin(t )u (t )

Introduction
Exercice 2
f (t ) = t u (t ) g (t ) = t 2 sin(t )u (t )
F (s ) = −U 0 (s )

Introduction
Exercice 2
f (t ) = t u (t ) g (t ) = t 2 sin(t )u (t )
F (s ) = −U 0 (s )
0
= − 1s

Introduction
Exercice 2
f (t ) = t u (t ) g (t ) = t 2 sin(t )u (t )
F (s ) = −U 0 (s )
0
= − 1s
1
F (s ) =
s2
Introduction
Exercice 2
f (t ) = t u (t ) g (t ) = t 2 sin(t )u (t )
F (s ) = −U 0 (s )
0
= − 1s
1
F (s ) = , <e { s } > 0
s2
Introduction
Exercice 2
f (t ) = t u (t ) g (t ) = t 2 sin(t )u (t )
t
t
F (s ) = −U 0 (s )
0
= − 1s
1
F (s ) = , <e { s } > 0
s2
Introduction
Exercice 2
f (t ) = t u (t ) g (t ) = t 2 sin(t )u (t )
t
t
e ıt −e −ıt
sin(t ) = 2ı
F (s ) = −U 0 (s )
0
= − 1s
1
F (s ) = , <e { s } > 0
s2
Introduction
Exercice 2
f (t ) = t u (t ) g (t ) = t 2 sin(t )u (t )
t
t
e ıt −e −ıt
sin(t ) = 2ı , linéarité & translation :
00
U (s −ı)−U (s +ı)
F (s ) = −U 0 (s ) G (s ) = 2ı
0
= − 1s
1
F (s ) = , <e { s } > 0
s2
Introduction
Exercice 2
f (t ) = t u (t ) g (t ) = t 2 sin(t )u (t )
t
t
e ıt −e −ıt
00
U (s −ı)−U (s +ı) 1 1 1 00

F (s ) = −U 0 (s ) G (s ) = 2ı = 2ı s −ı − s +ı
0
= − 1s
1
F (s ) = , <e { s } > 0
s2
Introduction
Exercice 2
f (t ) = t u (t ) g (t ) = t 2 sin(t )u (t )
t
t
e ıt −e −ıt
00
U (s −ı)−U (s +ı) 1 1 1 00

F (s ) = −U 0 (s ) G (s ) = 2ı = 2ı s −ı − s +ı
0
= − 1s 1
00
= s 2 +1
1
F (s ) = , <e { s } > 0
s2
Introduction
Exercice 2
f (t ) = t u (t ) g (t ) = t 2 sin(t )u (t )
t
t
e ıt −e −ıt
00
U (s −ı)−U (s +ı) 1 1 1 00

F (s ) = −U 0 (s ) G (s ) = 2ı = 2ı s −ı − s +ı
0 0
= − 1s 00
1 2s
= s 2 +1 =− (s 2 +1)2
1
F (s ) = , <e { s } > 0
s2
Introduction
Exercice 2
f (t ) = t u (t ) g (t ) = t 2 sin(t )u (t )
t
t
e ıt −e −ıt
00
U (s −ı)−U (s +ı) 1 1 1 00

F (s ) = −U 0 (s ) G (s ) = 2ı = 2ı s −ı − s +ı
0 0
= − 1s 00
1 2s
= s 2 +1 =− (s 2 +1)2
1 6 s2 − 2
F (s ) = , <e { s } > 0 G (s ) = 3
s2 (s 2 + 1)
Introduction
Exercice 2
f (t ) = t u (t ) g (t ) = t 2 sin(t )u (t )
t
t
e ıt −e −ıt
00
U (s −ı)−U (s +ı) 1 1 1 00

F (s ) = −U 0 (s ) G (s ) = 2ı = 2ı s −ı − s +ı
0 0
= − 1s 00
1 2s
= s 2 +1 =− (s 2 +1)2
1 6 s2 − 2
F (s ) = , <e { s } > 0 G (s ) = 3
, <e { s } > 0
s2 (s 2 + 1)
Introduction
Préalable – dérivation et limite en l’infini

Si g ∈ C 1 (R+ ) ∩ L1 (R+ )

Introduction

Si g ∈ C 1 (R+ ) ∩ L1 (R+ ) et g 0 ∈ L1 (R+ )

Introduction

Si g ∈ C 1 (R+ ) ∩ L1 (R+ ) et g 0 ∈ L1 (R+ ), alors
lim g (x ) = 0
x →+∞

Introduction

lim g (x ) = 0
x →+∞
(faux si seule g est sommable, cf. contre-exemple sur compléments de cours)

Introduction

lim g (x ) = 0
x →+∞
Transformée de Laplace de la dérivée

Soit f ∈ C 0 (R+ ) causale, abs. de conv. af , dérivable t.q. f 0 ∈ L1loc (R+ )

Introduction

lim g (x ) = 0
x →+∞

f continue à droite en 0, i.e., f (0+ ) existe,

Introduction

lim g (x ) = 0
x →+∞

f 0 admet une transformée de Laplace,
L [f 0 ] (s ) = s L[f ](s ) − f (0+ )

Introduction

lim g (x ) = 0
x →+∞

L [f 0 ] (s ) = s L[f ](s ) − f (0+ ), même abs. de convergence af que f

Introduction

lim g (x ) = 0
x →+∞

Eléments de preuve
Z +∞
f 0 (t ) e −st dt
0
Introduction

lim g (x ) = 0
x →+∞

Eléments de preuve
Z +∞ h i+∞ Z +∞
ipp
f 0 (t ) e −st dt = f (t ) e −st +s f (t ) e −st dt
0 0 0
Introduction

lim g (x ) = 0
x →+∞

Eléments de preuve
Z +∞ h i+∞ Z +∞
ipp
f 0 (t ) e −st dt = f (t ) e −st +s f (t ) e −st dt = 0
0 0 0
Introduction

lim g (x ) = 0
x →+∞

Eléments de preuve
Z +∞ h i+∞ Z +∞
ipp
f 0 (t ) e −st dt = f (t ) e −st +s f (t ) e −st dt = 0−f (0+ )
0 0 0
Introduction

lim g (x ) = 0
x →+∞

Eléments de preuve
Z +∞ h i+∞ Z +∞
ipp
f 0 (t ) e −st dt = f (t ) e −st +s f (t ) e −st dt = 0−f (0+ )+s F (s )
0 0 0
Introduction
Généralisation – Transformée de Laplace de f (n) (t )

Soit f ∈ C n−1 (R+ ), causale, abs. de conv. af , t.q. f (n) ∈ L1loc (R+ )

Introduction

∀ 0 ≤ k ≤ n − 1, f (k ) continue à droite en 0, i.e., f (k ) (0+ ) existe,

Introduction

f (n) admet une transformée de Laplace,
L f (n) (s ) = s n L[f ](s )− s n−1 f (0+ )− s n−2 f 0 (0+ )−· · ·− f (n−1) (0+ )


Introduction


même abs. de convergence af que f

Introduction



Eléments de preuve
L f (n) = s L f (n−1) − f (n−1) (0+ ), . . .


Introduction



Eléments de preuve
L f (n) = s L f (n−1) − f (n−1) (0+ ), . . .

Remarques

Introduction



Eléments de preuve
L f (n) = s L f (n−1) − f (n−1) (0+ ), . . .

Remarques
Une des propriétés les plus exploitées :

Introduction



Eléments de preuve
L f (n) = s L f (n−1) − f (n−1) (0+ ), . . .

Remarques
EDO (ou EDP) équation algébrique, ou diff. de degré plus faible.

Introduction



Eléments de preuve
L f (n) = s L f (n−1) − f (n−1) (0+ ), . . .

Remarques
On peut avoir L[f ] existe et f 0 sans transformée de Laplace

Introduction



Eléments de preuve
L f (n) = s L f (n−1) − f (n−1) (0+ ), . . .

Remarques
On peut avoir L[f ] existe et f 0 sans transformée de Laplace
1 3
ex. : f (t ) = t − 2 ∈ L1loc (R+ ) mais f 0 (t ) = − 12 t − 2 6∈ L1loc (R+ ). . .
Introduction
Transformée de Laplace de la primitive

Soit? f ∈ C 0 (R+ ), causale, abscisse de convergence af , et
Z t
g (t ) = f (t 0 )dt 0 .
0

Introduction

Z t
g (t ) = f (t 0 )dt 0 .
0
Alors
g ∈ C 1 (R+ ), causale, avec g (0+ ) = 0,

Introduction

Z t
g (t ) = f (t 0 )dt 0 .
0
Alors
g admet une transformée de Laplace,
1
L [g ] (s ) = s L[f ](s )

Introduction

Z t
g (t ) = f (t 0 )dt 0 .
0
Alors
1
L [g ] (s ) = s L[f ](s ), même abs. de convergence af que pour f

Introduction

Z t
g (t ) = f (t 0 )dt 0 .
0
Alors
1
Eléments de preuve
g ∈ C 1 (R+ ) par construction? ,

Introduction

Z t
g (t ) = f (t 0 )dt 0 .
0
Alors
1
Eléments de preuve
Puis g 0 (t ) = f (t ),

Introduction

Z t
g (t ) = f (t 0 )dt 0 .
0
Alors
1
Eléments de preuve
Puis g 0 (t ) = f (t ), d’où F (s ) = s G (s ) − g (0+ ) = s G (s ). . .

Introduction
Exercice 3
Soit l’équation différentielle ordinaire (EDO) : pour t ≥ 0,
t f 00 (t ) + (2at − 2) f 0 (t ) − 3a2 t + 2a f (t ) = 0, f (0+ ) = α,

a>0
Quelle équation vérifie F (s ) = L[f ] ? Commenter.

Introduction
Exercice 3
t f 00 (t ) + (2at − 2) f 0 (t ) − 3a2 t + 2a f (t ) = 0, f (0+ ) = α,

a>0

L[tf 00 (t )](s ) = − s 2 F (s ) − αs − f 0 (0+ ) 0

Introduction
Exercice 3
t f 00 (t ) + (2at − 2) f 0 (t ) − 3a2 t + 2a f (t ) = 0, f (0+ ) = α,

a>0

L[tf 00 (t )](s ) = − s 2 F (s ) − αs − f 0 (0+ ) 0 = −s 2 F 0 (s ) − 2s F (s ) + α

Introduction
Exercice 3
t f 00 (t ) + (2at − 2) f 0 (t ) − 3a2 t + 2a f (t ) = 0, f (0+ ) = α,

a>0

L[(2at − 2)f 0 (t )](s ) = −2a (sF (s ) − α)0 − 2 (sF (s ) − α)

Introduction
Exercice 3
t f 00 (t ) + (2at − 2) f 0 (t ) − 3a2 t + 2a f (t ) = 0, f (0+ ) = α,

a>0


= −2as F 0 (s ) − 2 (s + a) F (s ) + 2α

Introduction
Exercice 3
t f 00 (t ) + (2at − 2) f 0 (t ) − 3a2 t + 2a f (t ) = 0, f (0+ ) = α,

a>0


= −2as F 0 (s ) − 2 (s + a) F (s ) + 2α
L[(3a2 t + 2a)f (t )](s ) = −3a2 F 0 (s ) + 2a F (s )

Introduction
Exercice 3
t f 00 (t ) + (2at − 2) f 0 (t ) − 3a2 t + 2a f (t ) = 0, f (0+ ) = α,

a>0


= −2as F 0 (s ) − 2 (s + a) F (s ) + 2α
L[(3a2 t + 2a)f (t )](s ) = −3a2 F 0 (s ) + 2a F (s )
s 2 + 2as − 3a2 F 0 (s ) + 4 (s + a) F (s ) = 3α

D’où

Introduction
Exercice 3
t f 00 (t ) + (2at − 2) f 0 (t ) − 3a2 t + 2a f (t ) = 0, f (0+ ) = α,

a>0


= −2as F 0 (s ) − 2 (s + a) F (s ) + 2α
L[(3a2 t + 2a)f (t )](s ) = −3a2 F 0 (s ) + 2a F (s )
s 2 + 2as − 3a2 F 0 (s ) + 4 (s + a) F (s ) = 3α

D’où
F suit une EDO de plus petit degré (que l’on sait résoudre)

Introduction
Exercice 3
t f 00 (t ) + (2at − 2) f 0 (t ) − 3a2 t + 2a f (t ) = 0, f (0+ ) = α,

a>0


= −2as F 0 (s ) − 2 (s + a) F (s ) + 2α
L[(3a2 t + 2a)f (t )](s ) = −3a2 F 0 (s ) + 2a F (s )
s 2 + 2as − 3a2 F 0 (s ) + 4 (s + a) F (s ) = 3α

D’où
Pas besoin de f 0 (0+ ). . .

Introduction
Exercice 3
t f 00 (t ) + (2at − 2) f 0 (t ) − 3a2 t + 2a f (t ) = 0, f (0+ ) = α,

a>0


= −2as F 0 (s ) − 2 (s + a) F (s ) + 2α
L[(3a2 t + 2a)f (t )](s ) = −3a2 F 0 (s ) + 2a F (s )
s 2 + 2as − 3a2 F 0 (s ) + 4 (s + a) F (s ) = 3α

D’où
Pas besoin de f 0 (0+ ). . . par ailleurs imposée par l’EDO en t = 0

Introduction
Comportement pour <e {s } → +∞

Soit f ∈ L1loc (R+ ), causale, F = L[f ], af l’abscisse de convergence

Introduction

alors
lim F (s ) = 0
<e{s }→+∞

Introduction

alors
lim F (s ) = 0
<e{s }→+∞
Elements de preuve
=m{s }
∀ s , <e {s } > af , .s
af <e {s }
f (t ) e −st

Introduction

alors
lim F (s ) = 0
<e{s }→+∞
Elements de preuve
=m{s }
∀ s , <e {s } > af , .s
af <e {s }
<e >0
z }| {
−st −bt −( s −b ) t
f (t ) e = f (t ) e e

Introduction

alors
lim F (s ) = 0
<e{s }→+∞
Elements de preuve
=m{s }
∀ s , <e {s } > af , .s
∃b , <e {s } > b > af af b <e {s }
<e >0
z }| {
−st −bt −( s −b ) t
f (t ) e = f (t ) e e

Introduction

alors
lim F (s ) = 0
<e{s }→+∞
Elements de preuve
=m{s }
∀ s , <e {s } > af , .s
∃b , <e {s } > b > af af b <e {s }
<e >0
z }| {
−st −bt −( s −b ) t
f (t ) e = f (t ) e e
≤ M f (t ) e −bt

Introduction

alors
lim F (s ) = 0
<e{s }→+∞
Elements de preuve
=m{s }
∀ s , <e {s } > af , .s
∃b , <e {s } > b > af af b <e {s }
<e >0
z }| {
−st −bt −( s −b ) t
f (t ) e = f (t ) e e
≤ M f (t ) e −bt
Introduction
Exercice 4
Donner des exemples de fonctions qui
ne peuvent pas être des transformées de Laplace.

Introduction
Exercice 4
F (s ) = s car lim F (s ) 6= 0
<e{s }→+∞

Introduction
Exercice 4
F (s ) = s car lim F (s ) 6= 0
<e{s }→+∞
F (s ) = e ıs car lim F (s ) 6= 0
<e{s }→+∞

Introduction
Exercice 4
F (s ) = s car lim F (s ) 6= 0
<e{s }→+∞
F (s ) = e ıs car lim F (s ) 6= 0
<e{s }→+∞
Nota |e ıs | =
6 1...

Introduction
Exercice 4
F (s ) = s car lim F (s ) 6= 0
<e{s }→+∞
F (s ) = e ıs car lim F (s ) 6= 0
<e{s }→+∞
Nota |e ıs | =
6 1...
1
F (s ) = car. . .
s sin s

Introduction
Exercice 4
F (s ) = s car lim F (s ) 6= 0
<e{s }→+∞
F (s ) = e ıs car lim F (s ) 6= 0
<e{s }→+∞
Nota |e ıs | =
6 1...
1
F (s ) = car. . . non continue sur un demi-plan droite. . .
s sin s

Introduction
Exercice 4
F (s ) = s car lim F (s ) 6= 0
<e{s }→+∞
F (s ) = e ıs car lim F (s ) 6= 0
<e{s }→+∞
Nota |e ıs | =
6 1...
1
F (s ) = car. . . non continue sur un demi-plan droite. . .
s sin s
entre autres. . .
...
Introduction
Théorème de la valeur initiale

Soit f ∈ L1loc (R+ ), causale, F = L[f ].

Introduction

Soit f ∈ L1loc (R+ ), causale, F = L[f ]. Si f admet une limite en 0+ ,
lim s F (s ) = f (0+ )
<e{s }→+∞

Introduction

lim s F (s ) = f (0+ )
<e{s }→+∞
Elements de preuve
=m{s }
∀ s , <e {s } > max (af , 0) , .s
af <e {s }
Z +∞
+
s e −st f (t ) − f (0+ ) dt

sF (s ) − f (0 ) =
0 | {z }
g (t )

Introduction

lim s F (s ) = f (0+ )
<e{s }→+∞
Elements de preuve
=m{s }
∀ s , <e {s } > max (af , 0) , .s
af <e {s }
Z +∞
+
s e −st f (t ) − f (0+ ) dt

sF (s ) − f (0 ) =
0 | {z }
g (t )

Introduction

lim s F (s ) = f (0+ )
<e{s }→+∞
Elements de preuve
=m{s }
∀ s , <e {s } > max (af , 0) , .s
af <e {s }
Z +∞
+
s e −st f (t ) − f (0+ ) dt

sF (s ) − f (0 ) =
0 | {z }
g (t )
∃ η > 0, ∀t ≤ η, |g (t )| ≤ ε

Introduction

lim s F (s ) = f (0+ )
<e{s }→+∞
Elements de preuve
=m{s }
∀ s , <e {s } > max (af , 0) , .s
af <e {s }
Z +∞
+
s e −st f (t ) − f (0+ ) dt

sF (s ) − f (0 ) =
0 | {z }
g (t )
Z η
s e −st g (t ) dt ≤ 1 − e −<e{s }η ε

∃ η > 0, ∀t ≤ η, |g (t )| ≤ ε ⇒
0

Introduction

lim s F (s ) = f (0+ )
<e{s }→+∞
Elements de preuve
=m{s }
∀ s , <e {s } > max (af , 0) , .s
af <e {s }
Z +∞
+
s e −st f (t ) − f (0+ ) dt

sF (s ) − f (0 ) =
0 | {z }
g (t )
Z η
s e −st g (t ) dt ≤ 1 − e −<e{s }η ε

∃ η > 0, ∀t ≤ η, |g (t )| ≤ ε ⇒
0
<e >0
z }| {
t > η, |s e −st | = s e −(s −b)t e −bt
Introduction

lim s F (s ) = f (0+ )
<e{s }→+∞
Elements de preuve
=m{s }
∀ s , <e {s } > max (af , 0) , .s
∃b , <e {s } > b > 0 af b <e {s }
Z +∞
+
s e −st f (t ) − f (0+ ) dt

sF (s ) − f (0 ) =
0 | {z }
g (t )
Z η
s e −st g (t ) dt ≤ 1 − e −<e{s }η ε

∃ η > 0, ∀t ≤ η, |g (t )| ≤ ε ⇒
0
<e >0
z }| {
t > η, |s e −st | = s e −(s −b)t e −bt
Introduction

lim s F (s ) = f (0+ )
<e{s }→+∞
Elements de preuve
=m{s }
∀ s , <e {s } > max (af , 0) , .s
∃b , <e {s } > b > 0 af b <e {s }
Z +∞
+
s e −st f (t ) − f (0+ ) dt

sF (s ) − f (0 ) =
0 | {z }
g (t )
Z η
s e −st g (t ) dt ≤ 1 − e −<e{s }η ε

∃ η > 0, ∀t ≤ η, |g (t )| ≤ ε ⇒
0
<e >0
z }| {
t > η, |s e −st | = s e −(s −b)t e −bt ≤ Me −bt
Introduction

lim s F (s ) = f (0+ )
<e{s }→+∞
Elements de preuve
=m{s }
∀ s , <e {s } > max (af , 0) , .s
∃b , <e {s } > b > 0 af b <e {s }
Z +∞
+
s e −st f (t ) − f (0+ ) dt

sF (s ) − f (0 ) =
0 | {z }
g (t )
Z η
s e −st g (t ) dt ≤ 1 − e −<e{s }η ε

∃ η > 0, ∀t ≤ η, |g (t )| ≤ ε ⇒
0
<e >0
z }| {
t > η, |s e −st | = s e −(s −b)t e −bt ≤ Me −bt & conv. dominée. . .
Introduction
Théorème de la valeur finale

Soit f ∈ L1loc (R+ ), causale, F = L[f ].

Introduction

Soit f ∈ L1loc (R+ ), causale, F = L[f ]. Si af ≤ 0 et lim f (t ) existe,
t →+∞
lim s F (s ) = lim f (t )
s →0 t →+∞

Introduction

t →+∞
s →0 t →+∞
Elements de preuve
=m{s }
∀ s , <e {s } > 0, .s
af <e {s }
Z +∞
s e −st f (t ) − f∞ dt avec f∞ = lim f (t )

sF (s ) − f∞ =
0 | {z } t →+∞
g (t )

Introduction

t →+∞
s →0 t →+∞
Elements de preuve
=m{s }
∀ s , <e {s } > 0, .s
af <e {s }
Z +∞

sF (s ) − f∞ =
0 | {z } t →+∞
g (t )

Introduction

t →+∞
s →0 t →+∞
Elements de preuve
=m{s }
∀ s , <e {s } > 0, .s
af <e {s }
Z +∞

sF (s ) − f∞ =
0 | {z } t →+∞
g (t )
∃ η > 0, ∀t > η, |g (t )| ≤ ε

Introduction

t →+∞
s →0 t →+∞
Elements de preuve
=m{s }
∀ s , <e {s } > 0, .s
af <e {s }
Z +∞

sF (s ) − f∞ =
0 | {z } t →+∞
g (t )
Z +∞
∃ η > 0, ∀t > η, |g (t )| ≤ ε ⇒ s e −st g (t ) dt ≤ e −<e{s }η ε
η

Introduction

t →+∞
s →0 t →+∞
Elements de preuve
=m{s }
∀ s , <e {s } > 0, .s
af <e {s }
Z +∞

sF (s ) − f∞ =
0 | {z } t →+∞
g (t )
Z +∞
η
<e >0
z }| {
t ≤ η, |s e −st | = s e −(s −b)t e −bt
Introduction

t →+∞
s →0 t →+∞
Elements de preuve
=m{s }
∀ s , <e {s } > 0, .s
∃b , <e {s } > b > af af b <e {s }
Z +∞

sF (s ) − f∞ =
0 | {z } t →+∞
g (t )
Z +∞
η
<e >0
z }| {
t ≤ η, |s e −st | = s e −(s −b)t e −bt
Introduction

t →+∞
s →0 t →+∞
Elements de preuve
=m{s }
∀ s , <e {s } > 0, .s
∃b , <e {s } > b > af af b <e {s }
Z +∞

sF (s ) − f∞ =
0 | {z } t →+∞
g (t )
Z +∞
η
<e >0
z }| {
t ≤ η, |s e −st | = s e −(s −b)t e −bt ≤ Me −bt
Introduction

t →+∞
s →0 t →+∞
Elements de preuve
=m{s }
∀ s , <e {s } > 0, .s
∃b , <e {s } > b > af af b <e {s }
Z +∞

sF (s ) − f∞ =
0 | {z } t →+∞
g (t )
Z +∞
η
<e >0
z }| {
t ≤ η, |s e −st | = s e −(s −b)t e −bt ≤ Me −bt & conv. dominée. . .
Introduction
Plan
1 Introduction

Introduction
Définition : produit de convolution

Soient f , g : R → K (R ou C). Sous réserve d’existence, la fonction
f ∗g : R → K
Z
t 7→ f (t 0 ) g (t − t 0 ) dt 0
R
est appelée produit de convolution de f et g

Introduction

f ∗g : R → K
Z
t 7→ f (t 0 ) g (t − t 0 ) dt 0
R
Remarques

Introduction

f ∗g : R → K
Z
t 7→ f (t 0 ) g (t − t 0 ) dt 0
R
Remarques
f entrée d’un système linéaire :

Introduction

f ∗g : R → K
Z
t 7→ f (t 0 ) g (t − t 0 ) dt 0
R
Remarques
relation de filtrage

Introduction

f ∗g : R → K
Z
t 7→ f (t 0 ) g (t − t 0 ) dt 0
R
Remarques
g ≡ réponse impulsionnelle

Introduction

f ∗g : R → K
Z
t 7→ f (t 0 ) g (t − t 0 ) dt 0
R
Remarques
(cf. filtre RC. . . )

Introduction

f ∗g : R → K
Z
t 7→ f (t 0 ) g (t − t 0 ) dt 0
R
Remarques
(cf. filtre RC. . . )
Condition suffisante d’existence : f , g ∈ L1 (R)

Introduction
Exercice 5
Soit f (t ) = e −t u (t ), calculez g = u ∗ f .
Exercice 6
Dans la définition du produit de convolution, faire le changement de
variables τ = t − t 0 . Qu’en concluez vous ?

Introduction
Exercice 5
Z
0 u (t ), f (t )
g (t ) = u (t 0 )e −(t −t ) u (t − t 0 )dt 0
R
1•
Exercice 6

Introduction
Exercice 5
Z
0 u (t ), f (t )
g (t ) = u (t 0 )e −(t −t ) u (t − t 0 )dt 0
R
1•
t
 Z
−(t −t 0 ) 0
e dt si t ≥ 0

= 0 t
0 sinon

Exercice 6

Introduction
Exercice 5
Z
0 u (t ), f (t ), g (t )
g (t ) = u (t 0 )e −(t −t ) u (t − t 0 )dt 0
R
1•
t
 Z
−(t −t 0 ) 0
e dt si t ≥ 0

= 0 t
0 sinon

i.e., g (t ) = (1 − e −t ) u (t )
Exercice 6

Introduction
Exercice 5
Z
0 u (t ), f (t ), g (t )
g (t ) = u (t 0 )e −(t −t ) u (t − t 0 )dt 0
R
1•
t
 Z
−(t −t 0 ) 0
e dt si t ≥ 0

= 0 t
0 sinon

i.e., g (t ) = (1 − e −t ) u (t )
Exercice 6
Z
f ∗ g (t ) = f (t 0 )g (t − t 0 ) dt 0 :
R
Introduction
Exercice 5
Z
0 u (t ), f (t ), g (t )
g (t ) = u (t 0 )e −(t −t ) u (t − t 0 )dt 0
R
1•
t
 Z
−(t −t 0 ) 0
e dt si t ≥ 0

= 0 t
0 sinon

i.e., g (t ) = (1 − e −t ) u (t )
Exercice 6
Z Z
f ∗ g (t ) = f (t 0 )g (t − t 0 ) dt 0 = f (t − τ )g (τ ) d τ :
R R
Introduction
Exercice 5
Z
0 u (t ), f (t ), g (t )
g (t ) = u (t 0 )e −(t −t ) u (t − t 0 )dt 0
R
1•
t
 Z
−(t −t 0 ) 0
e dt si t ≥ 0

= 0 t
0 sinon

i.e., g (t ) = (1 − e −t ) u (t )
Exercice 6
Z Z
f ∗ g (t ) = f (t 0 )g (t − t 0 ) dt 0 = f (t − τ )g (τ ) d τ : f ∗ g = g ∗ f . . .
R R
Introduction
Propriétés de la convolution
Commutativité, associativité, distributivité. . .

Introduction
1 f ∗g =g ∗f (cf. exercice 6) : ∗ commutative

Introduction
2 f ∗ (g ∗ h) = (f ∗ g ) ∗ h (permutation d’intégrales) : ∗ associative

Introduction
3 f ∗ (g + h) = (f ∗ g ) + (f ∗ h) (lin. de l’intégrale) : ∗ distributive vs +

Introduction
Sommabilité, causalité de la convolution

1 f , g ∈ L1 (R) ⇒ f ∗ g ∈ L1 (R)

Introduction

1 f , g ∈ L1 (R) ⇒ f ∗ g ∈ L1 (R)
2 Si f et g sont causales, alors f ∗ g est causale

Introduction

1 f , g ∈ L1 (R) ⇒ f ∗ g ∈ L1 (R)
2 Si f et g sont causales, alors f ∗ g est causale et
Z t
0 0 0
(f ∗ g )(t ) = f (t ) g (t − t ) dt u (t )
0

Introduction
Transformée de Laplace de f ∗ g
Préalable
f , g ∈ L1 (R+ )

Introduction
Préalable
f , g ∈ L1 (R+ ), alors? (t , t 0 ) 7→ f (t 0 )g (t − t 0 ) ∈ L1 (R2+ )

Introduction
Préalable
Produit de convolution et transformée de Laplace
Soient? f ∈ L1 (R+ ), g ∈ L1 (R+ ), causales, F = L[f ], G = L[g ],
d’abscisse de convergence respectivement af , ag ,

Introduction
Préalable
L[f ∗ g ](s ) = F (s )G (s )

Introduction
Préalable
L[f ∗ g ](s ) = F (s )G (s )
d’abscisse de convergence af ∗g = max (af , ag )

Introduction
Préalable
L[f ∗ g ](s ) = F (s )G (s )
Eléments de preuve
Z +∞Z +∞
f (t 0 )g (t − t 0 ) dt 0 e −st dt
0 0

Introduction
Préalable
L[f ∗ g ](s ) = F (s )G (s )
Eléments de preuve
Z +∞Z +∞ Z +∞ Z +∞
f (t 0 )g (t − t 0 ) dt 0 e −st dt = f (t 0 ) g (t − t 0 ) e −st dt dt 0
0 0 0 0

Introduction
Préalable
L[f ∗ g ](s ) = F (s )G (s )
Eléments de preuve
Z +∞Z +∞ Z +∞ Z +∞
0 0 0 0
Z +∞ 0
= f (t 0 )G (s )e −st dt 0
0
Introduction
Préalable
L[f ∗ g ](s ) = F (s )G (s )
Eléments de preuve
Z +∞Z +∞ Z +∞ Z +∞
0 0 0 0
Z +∞ 0
= f (t 0 )G (s )e −st dt 0 = G (s )F (s )
0
Introduction
Exercice 7
Calculez les transformées de Laplace des fonctions suivantes :
Z t Z t
0
f (t ) = t 02 sin(t − t 0 ) dt 0 g (t ) = t 0 e t −t dt 0
0 0

Introduction
Exercice 7
Z t Z t
0
0 0
L[t 2 u (t )](s ) = U 00 (s )

Introduction
Exercice 7
Z t Z t
0
0 0
L[t 2 u (t )](s ) = U 00 (s )
2
= 3 , <e {s } > 0
s

Introduction
Exercice 7
Z t Z t
0
0 0
L[t 2 u (t )](s ) = U 00 (s )
2
= 3 , <e {s } > 0
s
h i
e ıt −e −ıt
L 2ı u (t ) (s )
1 1 1

= 2ı s −ı − s +ı

Introduction
Exercice 7
Z t Z t
0
0 0
L[t 2 u (t )](s ) = U 00 (s )
2
= 3 , <e {s } > 0
s
h i
e ıt −e −ıt
L 2ı u (t ) (s )
1 1 1

= 2ı s −ı − s +ı
1
= , < e {s } > 0
s2 + 1

Introduction
Exercice 7
Z t Z t
0
0 0
L[t 2 u (t )](s ) = U 00 (s )
2
= 3 , <e {s } > 0
s
h i
e ıt −e −ıt
L 2ı u (t ) (s )
1 1 1

= 2ı s −ı − s +ı
1
= , < e {s } > 0
s2 + 1
2
F (s ) = s 3 (s 2 +1) , <e { s } > 0

Introduction
Exercice 7
Z t Z t
0
0 0
L[t 2 u (t )](s ) = U 00 (s ) L[t u (t )](s ) = −U 0 (s )

2
= 3 , <e {s } > 0
s
h i
e ıt −e −ıt
L 2ı u (t ) (s )
1 1 1

= 2ı s −ı − s +ı
1
= , < e {s } > 0
s2 + 1
2
F (s ) = s 3 (s 2 +1) , <e { s } > 0

Introduction
Exercice 7
Z t Z t
0
0 0
L[t 2 u (t )](s ) = U 00 (s ) L[t u (t )](s ) = −U 0 (s )

2 1
= 3 , <e {s } > 0 = 2 , <e {s } > 0
s s
h i
e ıt −e −ıt
L 2ı u (t ) (s )
1 1 1

= 2ı s −ı − s +ı
1
= , < e {s } > 0
s2 + 1
2
F (s ) = s 3 (s 2 +1) , <e { s } > 0

Introduction
Exercice 7
Z t Z t
0
0 0
L[t 2 u (t )](s ) = U 00 (s ) L[t u (t )](s ) = −U 0 (s )

2 1
= 3 , <e {s } > 0 = 2 , <e {s } > 0
s s
1
h i
e ıt −e −ıt
L 2ı u (t ) (s ) L[e t u (t )](s ) = , <e {s } > 1
s −1
1 1 1

= 2ı s −ı − s +ı
1
= , < e {s } > 0
s2 + 1
2
F (s ) = s 3 (s 2 +1) , <e { s } > 0

Introduction
Exercice 7
Z t Z t
0
0 0
L[t 2 u (t )](s ) = U 00 (s ) L[t u (t )](s ) = −U 0 (s )

2 1
= 3 , <e {s } > 0 = 2 , <e {s } > 0
s s
1
h i
e ıt −e −ıt
L 2ı u (t ) (s ) L[e t u (t )](s ) = , <e {s } > 1
s −1
1 1 1

= 2ı s −ı − s +ı
1
G (s ) = s 2 (s −1) , <e {s } > 1
1
= 2 , < e {s } > 0
s +1
2
F (s ) = s 3 (s 2 +1) , <e { s } > 0

Introduction
Plan
1 Introduction

Introduction
Problème :
Soit ϕ(s ) fonction analytique sur un domaine <e {s } > a.

Introduction
Problème :
Existe-t-il f ∈ L1loc (R+ ), causale, unique, tel que L[f ] = ϕ ?

Introduction
Problème :
Si oui, comment calcule-t-on f = L−1 [ϕ] ?

Introduction
Problème :
Remarques :

Introduction
Problème :
Remarques :
ϕ n’est pas nécessairement une transformée de Laplace

Introduction
Problème :
Remarques :
(ex : ϕ(s ) = 1, ϕ(s ) = s 2 ).

Introduction
Problème :
Remarques :
(ex : ϕ(s ) = 1, ϕ(s ) = s 2 ).
Recherche d’antécédent(s) continu(s) : solution (si existe) unique.

Introduction
Problème :
Remarques :
(ex : ϕ(s ) = 1, ϕ(s ) = s 2 ).
Attention : L−1 pas forcément continue (ex. fonction porte).

Introduction
Problème :
Remarques :
(ex : ϕ(s ) = 1, ϕ(s ) = s 2 ).
Formule d’inversion (formule de Bromwich-Mellin)

Soit ϕ analytique pour <e {s } > a et, alors, si l’intégrale converge,

Introduction
Problème :
Remarques :
(ex : ϕ(s ) = 1, ϕ(s ) = s 2 ).

Z
1
L−1 [ϕ](t ) = ϕ(γ + ıy ) e (γ+ıy )t dy , γ > a
2π R

Introduction
Problème :
Remarques :
(ex : ϕ(s ) = 1, ϕ(s ) = s 2 ).

Z
1
L−1 [ϕ](t ) = ϕ(γ + ıy ) e (γ+ıy )t dy , γ > a
2π R
Intégration dans le plan complexe, le long d’une droite <e {s } = γ. . .
Introduction
“En vrai”. . . utilisation des tables. . .

Identification de caractéristiques particulières
1 Terme en e −s λ : retard sur la fonction t remplacé par t − λ

Introduction

2 Terme de type A(s )B (s ) avec A = L[a] et B = L[b ]
L−1 [AB ] = a ∗ b convolution (sous réserve d’existence de a et b)

Introduction

Z t
3 ϕ(s ) = G s(s ) avec g = L−1 [G ] g (t 0 ) dt 0 intégration. . .
0

Introduction

Z t
0
P (s )
4 ϕ(s ) = Q (s ) fraction rationnelle : décomposition en éléments simples
termes en t n e αt , α ∈ C, n (voir prop. de translation & dérivation).

Introduction

Z t
0
P (s )
Nota – en pratique
Fonctions rationnelles & pôles simples ou doubles (rarement plus)

Introduction

Z t
0
P (s )
Nota – en pratique
Fonctions rationnelles & pôles simples ou doubles (rarement plus)
Composantes du signal temp. (exp., trigo.,. . . ) dét. par les pôles
Introduction
ϕ(s) fraction rationnelle

Pôles simples

Introduction

Pôles simples
Pôle en zéro : L−1 1s (t ) = u (t )


Introduction

Pôles simples

Pôle α ∈ C : L−1 s −α
1
(t ) = e αt u (t )
=m{α}
<e {α}

Introduction

Pôles simples

1
(t ) = e αt u (t ) et donc
=m{α}
t t
• • <e {α}

Introduction

Pôles simples

1
=m{α}
+a •
t t
• • <e {α}
h i
−1 a
L (t ) = sin(at )u (t )
s 2 +a 2
−a • h i
t L−1 s 2 +s a2 (t ) = cos(at )u (t )

Introduction

Pôles simples

1
=m{α}
• +a •
t t
• • <e {α}
−b h i
−1 a
L (t ) = sin(at )u (t )
s 2 +a 2
• −a • h i
t L−1 s 2 +s a2 (t ) = cos(at )u (t )
h i
−1
t L a
(s +b )2 +a2
(t ) = sin(at )e −bt u (t )

Introduction

Pôles simples

1
=m{α}
• +a •
t t
• • <e {α}
−b h i
−1 a
L (t ) = sin(at )u (t )
s 2 +a 2
• −a • h i
t L−1 s 2 +s a2 (t ) = cos(at )u (t )
h i
−1
t L a
(s +b )2 +a2
Pôles multiples
α pôle d’ordre n

Introduction

Pôles simples

1
=m{α}
• +a •
t t
• • <e {α}
−b h i
−1 a
L (t ) = sin(at )u (t )
s 2 +a 2
• −a • h i
t L−1 s 2 +s a2 (t ) = cos(at )u (t )
h i
−1
t L a
(s +b )2 +a2
Pôles multiples
n
X
ck
α pôle d’ordre n (s −α)k
k =1
Introduction

Pôles simples

1
=m{α}
• +a •
t t
• • <e {α}
−b h i
−1 a
L (t ) = sin(at )u (t )
s 2 +a 2
• −a • h i
t L−1 s 2 +s a2 (t ) = cos(at )u (t )
h i
−1
t L a
(s +b )2 +a2
Pôles multiples
n
X k −1 k −1
(k −1)!
α pôle d’ordre n ck
(s −α)k
& (s −α)k
= (−1)∂ s k −1∂ 1
s −α
k =1
Introduction

Pôles simples

1
=m{α}
• +a •
t t
• • <e {α}
−b h i
−1 a
L (t ) = sin(at )u (t )
s 2 +a 2
• −a • h i
t L−1 s 2 +s a2 (t ) = cos(at )u (t )
h i
−1
t L a
(s +b )2 +a2
Pôles multiples
n
X k −1 k −1
(k −1)!
α pôle d’ordre n ck
(s −α)k
& (s −α)k
= (−1)∂ s k −1∂ 1
s −α t k −1 e αt u (t )
k =1
Introduction
Exercice 8
s (s −3)
1 Décomposez ϕ(s ) = (s 2 +1)(s +2) en éléments simples.
2 Quels types de composantes contient f = L−1 [ϕ] ?
3 Déterminer f

Introduction
Exercice 8
s (s −3)
3 Déterminer f
a bs +c
1 On cherche ϕ(s ) = s +2 + s 2 +1 ,

Introduction
Exercice 8
s (s −3)
3 Déterminer f
a bs +c
1 On cherche ϕ(s ) = s +2 + s 2 +1 ,
a = lim (s + 2) ϕ(s)
s→−2

Introduction
Exercice 8
s (s −3)
3 Déterminer f
a bs +c
1 On cherche ϕ(s ) = s +2 + s 2 +1 ,
10
a = lim (s + 2) ϕ(s) = 5 =2
s→−2

Introduction
Exercice 8
s (s −3)
3 Déterminer f
a bs +c
1 On cherche ϕ(s ) = s +2 + s 2 +1 ,
10
a = lim (s + 2) ϕ(s) = 5 =2
s→−2
(b, c) ∈ R2,

Introduction
Exercice 8
s (s −3)
3 Déterminer f
a bs +c
1 On cherche ϕ(s ) = s +2 + s 2 +1 ,
10
a = lim (s + 2) ϕ(s) = 5 =2
s→−2
(b, c) ∈ R2, c +ıb = lim (s 2+1) ϕ(s)

s→ı

Introduction
Exercice 8
s (s −3)
3 Déterminer f
a bs +c
1 On cherche ϕ(s ) = s +2 + s 2 +1 ,
10
a = lim (s + 2) ϕ(s) = 5 =2
s→−2
(b, c) ∈ R2, c +ıb = lim (s 2+1) ϕ(s) = ı(ı−3)

ı+2 = −
(1+3ı)(2−ı)
5 = −1−ı
s→ı

Introduction
Exercice 8
s (s −3)
3 Déterminer f
a bs +c
1 On cherche ϕ(s ) = s +2 + s 2 +1 ,
10
a = lim (s + 2) ϕ(s) = 5 =2
s→−2
(b, c) ∈ R2, c +ıb = lim (s 2+1) ϕ(s) = ı(ı−3)

ı+2 = −
(1+3ı)(2−ı)
5 = −1−ı
s→ı
2 1+s
d’où ϕ(s ) = s +2 − s 2 +1

Introduction
Exercice 8
s (s −3)
3 Déterminer f
a bs +c
1 On cherche ϕ(s ) = s +2 + s 2 +1 ,
10
a = lim (s + 2) ϕ(s) = 5 =2
s→−2
(b, c) ∈ R2, c +ıb = lim (s 2+1) ϕ(s) = ı(ı−3)

ı+2 = −
(1+3ı)(2−ı)
5 = −1−ı
s→ı
2 1+s
d’où ϕ(s ) = s +2 − s 2 +1
s (s −3)
2 Les pôles de (s 2 +1)(s +2) sont −2 et ±ı

Introduction
Exercice 8
s (s −3)
3 Déterminer f
a bs +c
1 On cherche ϕ(s ) = s +2 + s 2 +1 ,
10
a = lim (s + 2) ϕ(s) = 5 =2
s→−2
(b, c) ∈ R2, c +ıb = lim (s 2+1) ϕ(s) = ı(ı−3)

ı+2 = −
(1+3ı)(2−ı)
5 = −1−ı
s→ı
2 1+s
d’où ϕ(s ) = s +2 − s 2 +1
s (s −3)
2 Les pôles de (s 2 +1)(s +2) sont −2 et ±ı, donc f contient :
une composante exponentielle amortie
une composante sinusoïdale pure

Introduction
Exercice 8
s (s −3)
3 Déterminer f
a bs +c
1 On cherche ϕ(s ) = s +2 + s 2 +1 ,
10
a = lim (s + 2) ϕ(s) = 5 =2
s→−2
(b, c) ∈ R2, c +ıb = lim (s 2+1) ϕ(s) = ı(ı−3)

ı+2 = −
(1+3ı)(2−ı)
5 = −1−ı
s→ı
2 1+s
d’où ϕ(s ) = s +2 − s 2 +1
s (s −3)
2 Les pôles de (s 2 +1)(s +2) sont −2 et ±ı, donc f contient :
f (t )
une composante exponentielle amortie
1 •
une composante sinusoïdale pure
√ t
f (t ) = 2 e −2t − 2 sin t + π4 u (t )

3

Introduction
Plan
1 Introduction

Introduction
Exercice 9 (exercice 3, la suite. . . )

t f 00 (t ) + (2at −2) f 0 (t )− 3a2 t +2a f (t ) = 0, t ≥ 0, f (0+ ) = α, a > 0

En Laplace : s 2 + 2as − 3a2 F 0 (s ) + 4 (s + a) F (s ) = 3α

Déterminer F , f utilisant les propriétés de L, et la solution “physique”.

Introduction




Z
2 (s + a) ds
Eq. homogène : Fh (s ) = K exp −2
s 2 + 2as − 3a2

Introduction




Z
2 (s + a) ds K
Eq. homogène : Fh (s ) = K exp −2 =
s 2 + 2as − 3a2 (s 2 + 2as − 3a2 )2

Introduction




Z
2 (s + a) ds K
s 2 + 2as − 3a2 (s 2 + 2as − 3a2 )2
K 0 (s ) 3α
Var. constante : = 2
(s 2 + 2as − 3a2 )2 s + 2as − 3a2

Introduction




Z
2 (s + a) ds K
s 2 + 2as − 3a2 (s 2 + 2as − 3a2 )2
K 0 (s ) 3α
Var. constante : = 2 , et donc
(s 2 + 2as − 3a2 )2 s + 2as − 3a2
α(s 3 +3as 2 −9a2 s + ka3 )

F (s ) =
(s − a)2 (s + 3a)2

Introduction




Z
2 (s + a) ds K
s 2 + 2as − 3a2 (s 2 + 2as − 3a2 )2
K 0 (s ) 3α
(s 2 + 2as − 3a2 )2 s + 2as − 3a2
α(s 3 +3as 2 −9a2 s + ka3 )

α 5− k 2a (5− k ) 27+ k 2a (27+ k )
F (s ) = = − + +
(s − a)2 (s + 3a)2 32 s − a (s − a)2 s +3a (s +3a)2

Introduction




Z
2 (s + a) ds K
s 2 + 2as − 3a2 (s 2 + 2as − 3a2 )2
K 0 (s ) 3α
(s 2 + 2as − 3a2 )2 s + 2as − 3a2
α(s 3 +3as 2 −9a2 s + ka3 )

α 5− k 2a (5− k ) 27+ k 2a (27+ k )
F (s ) = = − + +
(s − a)2 (s + 3a)2 32 s − a (s − a)2 s +3a (s +3a)2
Rappel : Linéarité :
α

f (t ) = 32 + − + u (t )

Introduction




Z
2 (s + a) ds K
s 2 + 2as − 3a2 (s 2 + 2as − 3a2 )2
K 0 (s ) 3α
(s 2 + 2as − 3a2 )2 s + 2as − 3a2
α(s 3 +3as 2 −9a2 s + ka3 )

α 5− k 2a (5− k ) 27+ k 2a (27+ k )
F (s ) = = − + +
(s − a)2 (s + 3a)2 32 s − a (s − a)2 s +3a (s +3a)2
Rappel : Linéarité, L−1 [G (s + b)](t ) = e −bt g (t ) :

α
(5− k ) e at +(27+ k ) e −3at −

f (t ) = 32 + u (t )

Introduction




Z
2 (s + a) ds K
s 2 + 2as − 3a2 (s 2 + 2as − 3a2 )2
K 0 (s ) 3α
(s 2 + 2as − 3a2 )2 s + 2as − 3a2
α(s 3 +3as 2 −9a2 s + ka3 )

α 5− k 2a (5− k ) 27+ k 2a (27+ k )
F (s ) = = − + +
(s − a)2 (s + 3a)2 32 s − a (s − a)2 s +3a (s +3a)2
Rappel : Linéarité, L−1 [G (s + b)](t ) = e −bt g (t ), L−1 [G 0 (s )](t ) = −tg (t ) :

α
(5− k ) e at +(27+ k ) e −3at −2a (5− k ) t e at +2a (27+ k ) t e −3at u (t )

f (t ) = 32

Introduction




Z
2 (s + a) ds K
s 2 + 2as − 3a2 (s 2 + 2as − 3a2 )2
K 0 (s ) 3α
(s 2 + 2as − 3a2 )2 s + 2as − 3a2
α(s 3 +3as 2 −9a2 s + ka3 )

α 5− k 2a (5− k ) 27+ k 2a (27+ k )
F (s ) = = − + +
(s − a)2 (s + 3a)2 32 s − a (s − a)2 s +3a (s +3a)2
Rappel : Linéarité, L−1 [G (s + b)](t ) = e −bt g (t ), L−1 [G 0 (s )](t ) = −tg (t ) :

α
(5− k ) e at +(27+ k ) e −3at −2a (5− k ) t e at +2a (27+ k ) t e −3at u (t )

f (t ) = 32
Pour avoir f (t ) avec une limite finie en +∞, nécessairement k = 5
Introduction
Ex. : Propagation le long d’une barre semi-infinie

∂2f 1 ∂2f
(E) − =0 t ≥ 0, x > 0 cordes vibrantes, coax. sans pertes
∂x 2 c 2 ∂t 2

Introduction

∂2f 1 ∂2f
(E) − = 0 t ≥ 0, x > 0 cordes vibrantes, coax. sans pertes
∂x 2 c 2 ∂t 2
∂f
(CI) f (x , 0) = 0, (x , 0) = 0
∂t

Introduction

∂2f 1 ∂2f
∂x 2 c 2 ∂t 2
∂f ∂f
(CI) f (x , 0) = 0, (x , 0) = 0 (CL) (0, t ) = v0 (t )
∂t ∂t

Introduction

∂2f 1 ∂2f
∂x 2 c 2 ∂t 2
∂f ∂f
(CI) f (x , 0) = 0, (x , 0) = 0 (CL) (0, t ) = v0 (t )
∂t ∂t
Résolution avec la transformation de Laplace

Introduction

∂2f 1 ∂2f
∂x 2 c 2 ∂t 2
∂f ∂f
(CI) f (x , 0) = 0, (x , 0) = 0 (CL) (0, t ) = v0 (t )
∂t ∂t
Z +∞
On écrit F (x , s ) = L[f (x , ·)](s ) = f (x , t ) e −st dt
0

Introduction

∂2f 1 ∂2f
∂x 2 c 2 ∂t 2
∂f ∂f
(CI) f (x , 0) = 0, (x , 0) = 0 (CL) (0, t ) = v0 (t )
∂t ∂t
Z +∞
0
Z +∞
∂2f −st
f ? ∂ x 2 (x , t )e dt
0

Introduction

∂2f 1 ∂2f
∂x 2 c 2 ∂t 2
∂f ∂f
(CI) f (x , 0) = 0, (x , 0) = 0 (CL) (0, t ) = v0 (t )
∂t ∂t
Z +∞
0
Z +∞
2
∂2f −st
f ? on suppose ∂∂ xF2 = ∂ x 2 (x , t )e dt
0

Introduction

∂2f 1 ∂2f
∂x 2 c 2 ∂t 2
∂f ∂f
(CI) f (x , 0) = 0, (x , 0) = 0 (CL) (0, t ) = v0 (t )
∂t ∂t
Z +∞
0
Z +∞
2
∂2f −st
f ? on suppose ∂∂ xF2 = ∂ x 2 (x , t )e dt ; à vérifier a posteriori
0

Introduction

∂2f 1 ∂2f
∂x 2 c 2 ∂t 2
∂f ∂f
(CI) f (x , 0) = 0, (x , 0) = 0 (CL) (0, t ) = v0 (t )
∂t ∂t
Z +∞
0
Z +∞
2
∂2f −st
0
∂2F 1 ∂f
(E) en Laplace : (EDO) 2
− 2 s 2 F − s f (x , 0) − (x , 0) = 0
∂x c | {z } |∂ t {z }
=0 (CI)
=0 (CI)

Introduction

∂2f 1 ∂2f
∂x 2 c 2 ∂t 2
∂f ∂f
(CI) f (x , 0) = 0, (x , 0) = 0 (CL) (0, t ) = v0 (t )
∂t ∂t
Z +∞
0
Z +∞
2
∂2f −st
0
∂2F 1 ∂f
− 2 s 2 F − s f (x , 0) − (x , 0) = 0
∂x c | {z } |∂ t {z }
=0 (CI)
=0 (CI)

Introduction

∂2f 1 ∂2f
∂x 2 c 2 ∂t 2
∂f ∂f
(CI) f (x , 0) = 0, (x , 0) = 0 (CL) (0, t ) = v0 (t )
∂t ∂t
Z +∞
0
Z +∞
2
∂2f −st
0
∂2F 1 ∂f
− 2 s 2 F − s f (x , 0) − (x , 0) = 0
∂x c | {z } |∂ t {z }
=0 (CI)
=0 (CI)
Sol. gale : F (x , s ) = A(s ) e + B (s ) e

sx
c
− sxc

Introduction

∂2f 1 ∂2f
∂x 2 c 2 ∂t 2
∂f ∂f
(CI) f (x , 0) = 0, (x , 0) = 0 (CL) (0, t ) = v0 (t )
∂t ∂t
Z +∞
0
Z +∞
2
∂2f −st
0
∂2F 1 ∂f
− 2 s 2 F − s f (x , 0) − (x , 0) = 0
∂x c | {z } |∂ t {z }
=0 (CI)
=0 (CI)

sx
− sxc
⇒ f (x , t ) = a t + xc + b t − xc

c

Introduction

∂2f 1 ∂2f
∂x 2 c 2 ∂t 2
∂f ∂f
(CI) f (x , 0) = 0, (x , 0) = 0 (CL) (0, t ) = v0 (t )
∂t ∂t
Z +∞
0
Z +∞
2
∂2f −st
0
∂2F 1 ∂f
− 2 s 2 F − s f (x , 0) − (x , 0) = 0
∂x c | {z } |∂ t {z }
=0 (CI)
=0 (CI)

sx
− sxc
⇒ f (x , t ) = a t + xc + b t − xc

c
Propa. x ≥ 0 : a = 0

Introduction

∂2f 1 ∂2f
∂x 2 c 2 ∂t 2
∂f ∂f
(CI) f (x , 0) = 0, (x , 0) = 0 (CL) (0, t ) = v0 (t )
∂t ∂t
Z +∞
0
Z +∞
2
∂2f −st
0
∂2F 1 ∂f
− 2 s 2 F − s f (x , 0) − (x , 0) = 0
∂x c | {z } |∂ t {z }
=0 (CI)
=0 (CI)

sx
− sxc
⇒ f (x , t ) = a t + xc + b t − xc

c
Z t− x
c
Propa. x ≥ 0 : a = 0, & (CL) f (x , t ) = v0 (t 0 ) dt 0
0
Introduction

∂2f 1 ∂2f
∂x 2 c 2 ∂t 2
∂f ∂f
(CI) f (x , 0) = 0, (x , 0) = 0 (CL) (0, t ) = v0 (t )
∂t ∂t
Z +∞
0
Z +∞
2
∂2f −st
0
∂2F 1 ∂f
− 2 s 2 F − s f (x , 0) − (x , 0) = 0
∂x c | {z } |∂ t {z }
=0 (CI)
=0 (CI)

sx
− sxc
⇒ f (x , t ) = a t + xc + b t − xc

c
Z t− x
c
Propa. x ≥ 0 : a = 0, & (CL) f (x , t ) = v0 (t 0 ) dt 0 OK. . .
0

3 TransformeeDeLaplace

Transféré par

Informations du document

Titre original

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

3 TransformeeDeLaplace

Transféré par

Droits d'auteur :

Formats disponibles

Introduction

Chapitre 3 : Transformée de Laplace

7 Application aux EDO et EDP

7 Application aux EDO et EDP

Chapitre 3 : Transformée de Laplace

Chapitre 3 : Transformée de Laplace

Chapitre 3 : Transformée de Laplace

Problème du type équations algébriques

Chapitre 3 : Transformée de Laplace

Problème du type équations algébriques

Chapitre 3 : Transformée de Laplace

Problème du type équations algébriques

Chapitre 3 : Transformée de Laplace

Problème du type équations algébriques

Problème du type équations algébriques

Problème du type équations algébriques

Exemple introductif – Filtre RC

Chapitre 3 : Transformée de Laplace

Exemple introductif – Filtre RC

Chapitre 3 : Transformée de Laplace

Exemple introductif – Filtre RC

Chapitre 3 : Transformée de Laplace

Exemple introductif – Filtre RC

Chapitre 3 : Transformée de Laplace

Exemple introductif – Filtre RC

Chapitre 3 : Transformée de Laplace

Exemple introductif – Filtre RC

Chapitre 3 : Transformée de Laplace

Exemple introductif – Filtre RC

Chapitre 3 : Transformée de Laplace

Exemple introductif – Filtre RC

Chapitre 3 : Transformée de Laplace

Exemple introductif – Filtre RC

Chapitre 3 : Transformée de Laplace

Exemple introductif – Filtre RC

Chapitre 3 : Transformée de Laplace

Exemple introductif – Filtre RC

Chapitre 3 : Transformée de Laplace

Exemple introductif – Filtre RC

Chapitre 3 : Transformée de Laplace

Exemple introductif – Filtre RC

Fonctions propres de la convolution (sans précautions mathématiques)

Chapitre 3 : Transformée de Laplace

Exemple introductif – Filtre RC

Fonctions propres de la convolution (sans précautions mathématiques)

Chapitre 3 : Transformée de Laplace

Exemple introductif – Filtre RC

Fonctions propres de la convolution (sans précautions mathématiques)

Chapitre 3 : Transformée de Laplace

Exemple introductif – Filtre RC

Fonctions propres de la convolution (sans précautions mathématiques)

Chapitre 3 : Transformée de Laplace

Exemple introductif – Filtre RC

Fonctions propres de la convolution (sans précautions mathématiques)

Exemple introductif – Filtre RC

Fonctions propres de la convolution (sans précautions mathématiques)

Exemple introductif – Filtre RC

Fonctions propres de la convolution (sans précautions mathématiques)

7 Application aux EDO et EDP

Déf. : Fonction localement sommable

Chapitre 3 : Transformée de Laplace

Déf. : Fonction localement sommable

Chapitre 3 : Transformée de Laplace