Académique Documents
Professionnel Documents
Culture Documents
de
MATHEMATIQUES
et de
PHYSIQUE
__________
EXERCICES CORRIGES
DE MATHEMATIQUES
Henri IMMEDIATO
__________
1996
Sance 1
NOMBRES COMPLEXES
1. Dfinition.
L'espace vectoriel rel R 2 des couples ( x , y ) de nombres rels peut tre muni d'une addition :
( x1 , y1 ) + ( x2 , y2 ) = ( x1 + x2 , y1 + y2 )
et d'une multiplication :
( x1 , y1 ) ( x2 , y2 ) = ( x1 x2 y1 y2 , x1 y2 x2 y1 )
Muni de ces oprations, R 2 est un corps not C. Les lments de C s'appellent des nombres complexes. Un
nombre complexe de partie relle x et de partie imaginaire y s'identifie avec le point du plan R 2 de
coordonnes x et y. L'axe des x est identifi avec R et s'appelle l' axe rel. L'axe de y s'appelle l' axe
imaginaire. Le nombre complexe z est appel l' affixe du point M de coordonnes x et y. Par abus de
langage, on parlera aussi du "point z" du plan complexe, au lieu de parler du "point M d'affixe z" du plan.
2. Proprits.
L'lment unit pour la multiplication est ( 1 , 0 ).
Un nombre rel x s'identifie au couple ( x , 0 ). L'lment unit ( 1 , 0 ) est le nombre rel 1.
L'lment ( 0 , 1 ) est not i et l'on a :
i2 = i i = ( 0 , 1 ) ( 0 , 1 ) = ( 1 , 0 ) = 1
Tout nombre complexe ( x , y ) peut tre crit :
(x,y) = x(1,0) + y(0,1) = x1 + y i = x + iy
(x,y)= x + iy
x est la partie relle du nombre complexe x + i y.
y est la partie imaginaire du nombre complexe x + i y.
La proprit essentielle du corps C est que :
Tout polynme de degr n coefficients complexes possde n racines dans le corps C.
On dit que C est algbriquement clos. De plus, c'est le plus petit corps algbriquement clos contenant R
comme sous-corps : C est la clture algbrique de R.
3. Reprsentation polaire.
Un point du cercle trigonomtrique de centre 0 et de rayon 1, rpr par un angle polaire , a pour partie relle
cos et pour partie imaginaire sin . Le dveloppement en srie de Taylor de ces fonctions est :
cos = 1
+ + (1)
1
Cours - 1996
2n
2n !
sin =
2 n +1
+
3!
( 2n + 1 )!
Ces dveloppements sont uniformment convergents dans tout voisinage de 0 et peuvent donc tre manipuls
termes termes. On a :
cos + i sin = 1 + i
n=+
n=0
(i )
+ + ( 1 )n
3!
+ + (1)
2n
2n!
+ (1)
2 n +1
( 2n + 1 )!
n!
n=+
x
e =
n=0
n!
on pose :
ei
= cos + i sin
( Formule d'Euler )
Cette fonction a les mmes proprits qu'une exponentielle puisqu'elle est dfinie par une srie identique.
Un point z du plan peut tre repr par ses coordonnes polaires r et :
x = r cos
y = r sin
z = x + i y = r cos + i r sin = r ( cos + i sin ) = r ei
z = r ei
i = e 2
1 = ei
| z a | est la distance entre les points d'affixes a et z.
2
Cours - 1996
Sance 2
FONCTIONS DE VARIABLE
COMPLEXE
1. Dfinition.
On appelle ici fonction de la variable complexe z toute application de C dans C. Une fonction f (z) de la
variable complexe z = x + i y a une partie relle et une partie imaginaire qui sont toutes deux des fonctions
des deux variables x et y :
f (z) = P ( x , y ) + i Q ( x , y )
f ( z ) f ( z0 )
z z0
2. Conditions de Cauchy.
Pour qu'une fonction f (z) = P ( x , y ) + i Q ( x , y ) soit drivable, il faut et il suffit que P et Q vrifient les
conditions de Cauchy :
P
x
et
Q
x
Ces conditions expriment seulement que la fonction f (z) = P ( x , y ) + i Q ( x , y ne dpend pas explicitement
de la variable z quand on fait le changement de variables :
z= x + iy
z = x iy
De ces conditions de Cauchy rsulte le fait que, pour qu'une fonction P ( x , y ) des deux variables relles x et
y soit la partie relle d'une fonction drivable f (z), il faut et il suffit que son laplacien P soit nul.
2
P =
P
x
P
y
= 0
Dans ce cas, la partie imaginaire Q est elle-mme une fonction harmonique, c'est--dire dont le laplacien est
nul, et on peut la dfinir, une constante prs, partir des conditions de Cauchy qui donnent deux quations aux
drives partielles :
Q
P
Q
P
=
et
=
x
y
y
x
Les fonctions P et Q sont des fonctions harmoniques conjugues.
Les lignes P ( x , y ) = constante sont appeles lignes de niveau. Les lignes Q ( x , y ) = constante sont
appeles lignes de champ.
3
Cours - 1996
Exemple : la fonction
1
za
1
f (z)
1
f (z)
= z a est holomorphe au
.
za
Si le point a est un ple pour la fonction f (z) , le plus entier positif n pour lequel ( z a)n f(z) est
holomorphe au voisinage de a s'appelle l' ordre de multiplicit du ple.
( z 2 )( z 3 )
Exemple : La fonction
a un ple simple en z = 0 et un ple d'ordre 3 en z = 1.
3
z ( z 1)
point essentiel : a est un point singulier pour f (z) et pour
1
f (z)
Exemple : la fonction e z = e
x +y
y
2
x +y
a un point essentiel en z = 0.
point critique : la fonction f (z) ne reprend pas la mme valeur quand on suit un chemin faisant un tour
autour de a. On dit que f (z) est une fonction multiforme ou qu'elle a plusieurs dterminations en un
point. On change de dtermination en faisant un tour autour du point a.
Exemple : la fonction ln z dfinie par ln ( e i ) = ln + i augmente de 2 i quand on fait un tour
autour du point 0.
On peut rendre uniforme une fonction plusieurs dterminations en pratiquant une coupure dans le plan
complexe. Cette coupure constitue une barrire qu'on peut contourner, mais qu'on ne peut pas franchir.
Chaque fois qu'on franchit la coupure, on change de dtermination.
Exemple : la fonction ln z est rendue uniforme dans le plan complexe par une coupure allant de 0 l'infini
sur l'axe rel. Dans le plan coup, on choisit une dtermination : la fonction ln z est alors bien dfinie en
tout point du plan et elle est holomorphe dans le plan coup. La dtermination ln z = ln + i avec 0 <
2 est appele la dtermination principale du logarithme.
Remarques sur les singularits.
1
z
et en tudiant les
cercles de centre 0 et cependant, elle change de dtermination quand on fait un tour entourant le point 0 : elle
n'est pas holomorphe dans le domaine compris entre les deux cerclces.
Une fonction qui n'a, dans un domaine D, qu'un nombre fini de points singuliers qui sont des ples, est appele
une fonction mromorphe dans D.
Une fonction holomorphe dans tout domaine born est appele une fonction entire.
On appelle fonction analytique dans un domaine D toute fonction qui est holomorphe dans D, sauf peut-tre
dans un ensemble dnombrable de points singuliers (ples, points essentiels, points critiques).
5
Cours - 1996
Sance 3
INTEGRATION DES FONCTIONS DE
VARIABLE COMPLEXE
Les rsultats fondamentaux concernant l'intgration des fonctions de variable complexe ont t obtenus par
Cauchy au XIXe sicle.
1. La valeur de l'intgrale reste la mme quel que soit le chemin emprunt pour aller d'un point un autre, tant
que la fonction est holomorphe : c'est le thorme de Cauchy. Il revient au mme de dire que l'intgrale le
long d'une courbe ferme est nulle si la fonction est holomorphe l'intrieur du contour d'intgration.
2. Sur toute courbe ferme simple entourant le point a et parcourue dans le sens direct :
dz
= 2i
() z a
x dy y dx
()
x +y
dr
()
+i
dz
()
()
se
z
d
3. Si f (z) est une fonction holomorphe dans un domaine D et sur la courbe frontire de D , et si a est un
point intrieur , on a :
1
f (z)
f (a) =
dz
2 i () z a
( tant parcourue dans le sens direct). C'est la formule de l'intgrale de Cauchy.
4. Par rcurrence, on en dduit que si f (z) est indfiniment drivable dans D, sa drive d'ordre n en un point
a intrieur D est donne par :
n!
f (z)
f (n) (a) =
dz
2 i ( ) ( z a )n+1
5. Si la fonction f (z) est holomorphe dans une couronne D comprise entre deux cercles de centre a et de
rayons R et R ' (avec R ' > R ), ainsi que sur ces deux cercles, on peut dvelopper f (z) en srie de
Laurent sous la forme :
n=+
f (z) =
( z a )n
n=
avec
cn =
2i
1
f (s)
(sa)
n +1
ds
6
Cours - 1996
1
za
6. Si (C) est un chemin ferm, l'intgrale de f (z) dz le long de (C ) est gale au produit de 2 i par la
somme des rsidus de f (z) aux ples l'intrieur de (C) :
f (z) dz = 2 i
(C)
R
j
7
Cours - 1996
Sance 4
DISTRIBUTIONS
Dfinitions.
On appelle "fonction de base" sur R, toute fonction : R C indfiniment drivable support born (le
support d'une fonction est le plus petit ensemble ferm en dehors duquel la fonction est nulle). Les fonctions
de base sur R forment un espace vectoriel D sur C.
1
2
On dit qu' une suite de fonctions de base tend vers 0 si la suite des fonctions tend uniformment vers 0 ainsi
que toute suite de drives de mme ordre.
On appelle "distribution" sur R toute application linaire et continue de l'espace vectoriel D des fonctions
de base dans le corps C des complexes. Le terme "continu" veut dire que si une suite de fonctions de base
tend vers 0, alors la suite des images de ces fonctions de base par la distribution est une suite de nombres
complexes qui tend vers 0. Les distributions sur R forment un espace vectoriel D sur C.
Exemples :
Toute fonction localement sommable (c'est--dire intgrable sur tout ensemble ferm born) f dfinit une
distribution par
<f,>=
f (t) (t) dt
Par exemple, la "fonction de Heaviside" (x) gale 0 pour x 0 et 1 pour x > 0 dfinit la
distribution de Heaviside :
<,>=
(t) dt
Proprits.
Si est une fonction indfiniment drivable, pas ncessairement support born, et T une distribution, on
peut dfinir la distribution T par
<T,>= <T,>
puisque est une fonction de base, chaque fois que est une fonction de base.
8
Cours - 1996
<
dT
dx
dT
dx
par
,>= <T,
d
dx
>.
Contrairement aux fonctions, une distribution est toujours drivable. Comme une fonction peut dfinir une
distribution, on peut se demander quel rapport il y a entre la drive au sens des fonctions et la drive au
sens des distributions. Ce rapport est le suivant : si lon considre une fonction f drivable partout sauf en un
point x0 o la fonction prsente un saut 0 = f (x0+ ) f (x0 ), la drive de f , qui est presque partout
df
dfinie (dfinie partout sauf sur un ensemble de mesure nulle), dfinit une distribution au moyen dune
dx
df
intgrale ; cette distribution est lie la distribution drive
de la distribution dfinie par la fonction f
dx
par la formule :
df
= + 0 .
dx dx
df
Dmonstration :
x0
+ d
df
d
d
d
<
,>=<f,
>=
f
dx =
f
dx
f
dx
dx
dx
dx
dx
dx
x0
Pour chaque morceau dintgrale, on intgre par parties :
x0
x0
x0
d
x
f
dx = [ f ] 0 +
f dx = f (x0) (x0) +
f dx
dx
+ d
+
+
+
f
dx = [ f ] + +
f dx = + f (x0+) (x0) +
f dx
x0
dx
x0
x0
x0
Par addition, il vient :
df
d
f
dx = [ f (x0+) f (x0) ] (x0) +
f dx = < 0 , > + < , >
dx
dx
Exemple : soit la distribution de Heaviside, dfinie par la fonction gale 0 pour x ngatif et 1 pour x
positif. Au point 0, elle prsente un saut gal 1. Sa drive au sens des fonctions est presque partout nulle
puisque la fonction est constante par intervalles. Sa drive au sens des distributions est donc
d
dx
= .
9
Cours - 1996
Sance 5
CONVOLUTION
Dfinition.
Si f et g sont deux fonctions localement sommables, alors la fonction h dfinie par :
h (x) =
f ( x t ) g ( t ) dt
lorsque l'intgrale existe, est une fonction localement sommable qu'on appelle le "produit de convolution" de f
et g et qu'on note :
h = f g
Proprits.
f g = g f. Le produit de convolution est commutatif.
En effet, si l'on pose x t = u, on a du = dt et :
( f g ) (x) =
f ( u ) g ( x u ) du =
f ( u ) g ( x u ) du = ( g f ) (x)
( f g ) (x) = (x)
f (x t) g (t) dt
Dfinitions.
Le support d'une distribution est le plus petit ensemble ferm en dehors duquel la distribution est nulle.
Ceci veut dire que si une fonction de base a son support en dehors du support de la distribution T, on a
< T , > = 0.
Si S et T sont deux distributions sur R, on appelle "produit de convolution" de S et T, la distribution,
lorsqu'elle existe, dfinie par :
Proprits.
10
Cours - 1996
S T = T S
Si S ou T a un support born, S T existe.
Si S et T ont toutes deux leur support born gauche, leur produit de convolution existe et a son support
born gauche. Les distributions support born gauche forment une algbre (espace vectoriel muni d'un
produit lui donnant une structure d'anneau) appele l' algbre de convolution D'+.
La distribution de Dirac est l'lment unit du produit de convolution :
T = T = T
Pour tout entier m 1, (m) T existe et est gal la drive m-ime de T au sens des distributions :
m
(m) T =
d T
dx
( ' ) (x) e x =
( " + 2 )
(m)
( x )sin x
( x ) x
m1
( m 1 )!
Soit le cercle trigonomtrique dans R2 , toute distribution sur a son support born. Le produit de
convolution de deux distributions sur existe toujours et les distributions sur forment une algbre de
convolution D' ().
11
Cours - 1996
Sance 6
SERIES DE FOURIER
Srie de Fourier d'une fonction priodique.
Si f est une fonction priodique de priode T, on appelle srie de Fourier de f la srie :
c (f) e
nix
n Z*
( a rel quelconque )
La srie de Fourier de f existe ds que la fonction f est intgrable sur tout intervalle de longueur finie.
En tout point o f a une limite droite f (x+0) et une limite gauche f (x0), la somme de la srie de Fourier
de f est donne par la formule :
1
cn (f) e n i x = [ f (x0) + f (x+0) ]
2
n Z*
En particulier, en un point o f est continue, f (x) est gal la somme de sa srie de Fourier :
c (f) e
f (x) =
nix
n Z*
Les fonctions de carr sommable sur une priode, c'est--dire telles que l'intgrale
a+T
| f (t) |2 dt existe,
| c (f) |
n
n Z*
T
1
a+T
| f (t) |2 dt
Si le produit de convolution f g existe, les coefficients de Fourier du produit de convolution sont donns par :
cn ( f g ) = T cn (f) cn (g)
nT
n Z*
Comme le cercle est born, toute fonction indfiniment drivable de l'abscisse curviligne s (dfinie un
multiple entier prs de la priode) est une fonction de base sur : les fonctions en i s sont des fonctions de
bases sur .
A une distribution T de D' ( ), on peut associer sa srie de Fourier :
12
Cours - 1996
c (T)e
n
ni x
n Z*
>
Pour une distribution dfinie par une fonction priodique localement sommable, on retrouve la formule donnant
les coefficients de Fourier de la fonction, l'intgrale s'tendant un intervalle d'une priode.
Les sries de Fourier des distributions sur possdent les proprits essentielles des sries de Fourier de
fonctions priodiques de priode T. Notamment, les coefficients de Fourier d'un produit de convolution sont
donns par :
cn ( T S ) = T cn ( T ) cn ( S )
Il y a cependant des diffrences importantes avec les sries de Fourier de fonctions :
La srie de Fourier d'une distribution T sur (o d'une distribution priodique sur R ) converge toujours
vers cette distribution : une distribution est toujours gale la somme de sa srie de Fourier. En particulier,
sur R :
1 ni x
1
nT =
e
=
eni x
T
T
n Z*
n Z*
n Z*
La drivation terme terme d'une srie de Fourier de distribution de D' ( ) est toujours une opration
lgitime :
m
c (T )( i n ) e
dx
1
= T ( i n ) e
Pour qu'une srie trigonomtrique c e
converge vers une distribution sur , il faut et il suffit
d T
ni x
n Z*
(m)
nT
n Z*
ni x
n Z*
ni x
n Z*
que la suite des | cn | soit majore par une puissance de n quand n tend vers l'infini.
13
Cours - 1996
Sance 7
TRANSFORMATION DE FOURIER
Transforme de Fourier d'une fonction.
La transformation de Fourier d'une fonction, telle qu'elle a t dfinie plus haut par la formule :
F f () =
e 2 i t f (t) dt
peut s'appliquer toute fonction intgrable sur R. Les fonctions intgrables sur R ne sont qu'une classe
particulire de fonctions localement sommables. Elles dfinissent donc des distributions particulires : ces
distributions rgulires, dfinies par la formule
<f,>=
f (t) (t) dt
peuvent s'appliquer, en fait, mme des fonctions dont le support n'est pas born : il suffit que les fonctions
1
dcroissent l'infini plus vite que n'importe quelle puissance de .
t
De telles fonctions , qui ont les mmes proprits que les fonctions de base l'exception du support born,
s'appellent des fonctions dcroissance rapide. Elles forment un espace vectoriel complexe S contenant
l'espace vectoriel D des fonctions de base. Les fonctions dcroissance rapide sont elles-mmes des fonctions
intgrables et, de ce fait, possdent une transforme de Fourier.
La transforme de Fourier F f d'une fonction f possde les proprits suivantes :
1. | F f () |
| f (x) | dx
|f
(m)
(x) | dx
4. Si la fonction xm f (x) est intgrable, la transforme de Fourier F f est m fois continment drivable et l'on
a:
F [ ( 2 i x ) m f (x) ] = ( F f )(m)
5. Pour tout rel k diffrent de 0 :
1
F [ f (kx) ] =
(Ff)
| k|
k
En particulier, pour k = 1 :
F[f(x)] = (Ff)()
Il en rsulte que si f est paire, F f est paire aussi, et si f est impaire, F f est impaire aussi. La
transformation de Fourier conserve la parit.
6. La transformation de Fourier conjugue F
14
Cours - 1996
Des proprits 3 et 4, il rsulte que la transforme de Fourier d'une fonction dcroissance rapide est une
fonction dcroissance rapide.
k=+
k=
k=+
k=
F [ T (m) ] = ( 2 i ) m F T
F [ ( 2 i x ) m T ] = ( F T ) (m)
4. F 1 = F 1 =
5. Formule de rciprocit :
Pour toute fonction dcroissance rapide : F F = F F =
Pour toute distribution tempre T : F F T = F F T = T
Corollaire : F T = 0 T = 0
6. Formule de Parseval-Plancherel :
Si f et g sont des fonctions de carr intgrable, leurs images par la transformation de Fourier sont des
fonctions de carr intgrable et on a :
f (x) g ( x ) dx =
+
| f (x) | 2 dx =
k=+
k=
k=
| F f () | 2 d
F f () Fg ( ) d
(k) = F (k)
15
Cours - 1996
16
Cours - 1996
Sance 1.
NOMBRES COMPLEXES
Exercice 1.
Soit z laffixe dun point M du plan complexe.
1/ Montrez que tous les points M d'affixe z du plan complexe vrifiant la relation
z +1
= k,
z 1
o k est une constante relle diffrente de 1, sont sur un mme cercle (Ck ) dont on calculera la position
du centre et le rayon.
=1
1
3
1
2
, 1 , 2 , 3 , .
Exercice 2
1/ Dterminez les nombres complexes solutions de l'quation : z4 = 1.
2/ Dterminez sous forme trigonomtrique les solutions de l'quation : z4 = 8 ( 1 i 3 ).
3/ Soit a =
6 2
2
+ i
6+ 2
2
. Vrifiez : a4 = 8 ( 1 i
sultats du 2/.
4/ Des questions 2/ et 3/, dduire les valeurs exactes de cos
11
12
et sin
11
12
Exercice 3
, , tant trois constantes donnes relles ou complexes, montrez que les solutions de l'quation :
n ( z )n ( z )n = 0
sont toutes sur une mme circonfrence. Calculez la position du centre et le rayon de cette circonfrence.
1
CMP - 1996
Exercice 4
Soit z C, z = x + i y, ( x , y ) R2, P ( z ) = z3 3 i z2 ( 3 i ) z + 2 + 2 i.
1/ Vrifiez que l'quation P ( z ) = 0 admet une solution relle z0 et une solution imaginaire pure z1. Rsoudre l'quation P ( z ) = 0. Calculez le module et l'argument des solutions z0 , z1 , z2.
2/ Dans le plan complexe, soient M0 , M1 , M2 , les points d'affixes respectives z0 , z1 , z2. Calculez Z =
z2 z0
. Dmontrez que | Z | = 1. Prcisez la nature du triangle (M0 , M1 , M2 ).
z1 z0
Exercice 5
Soit z laffixe dun point M du plan complexe.
1/ Quel est lensemble des points M vrifiant la relation
| z + 1 | + | z 1 | = k,
k tant une constante relle ?
2/ Quelle condition doit vrifier k pour que le problme ait une solution ?
3/ Ecrire lquation de lensemble des points M vrifiant la relation donne.
4/ Dessiner les ensembles de points obtenus pour les valeurs de k gales 2 , 3 , 4 , 5.
Exercice 6
Soit z laffixe dun point M du plan complexe.
1/ Quel est lensemble des points M vrifiant la relation
| z + 1 | | z 1 | = k,
k tant une constante relle ?
2/ Quelle condition doit vrifier k pour que le problme ait une solution ?
3/ Ecrire lquation de lensemble des points M vrifiant la relation donne.
4/ Dessiner les ensembles de points obtenus pour les valeurs de k gales 2 , 1 , 0 , 1 , 2.
Exercice 7
Soit z laffixe dun point M du plan complexe.
1/ Quel est lensemble des points M vrifiant la relation
| z + 1 | | z 1 | = k,
k tant une constante relle ?
2/ Quelle condition doit vrifier k pour que le problme ait une solution ?
3/ Ecrire lquation de lensemble des points M vrifiant la relation donne.
4/ Dessiner les ensembles de points obtenus pour les valeurs de k gales 0 ,
2
CMP - 1996
1
3
1
2
,1,
3
2
, 2 , 3.
Sance 2.
FONCTIONS DE VARIABLE
COMPLEXE
Exercice 1.
On considre la fonction de deux variables relles x et y : P ( x , y ) =
x
1
.
1+ 2
2
2
x +y
1/ Montrez que P ( x , y ) est la partie relle d'une fonction analytique f (z) de la variable complexe z = x +
i y. Calculez la fonction f (z) vrifiant f (1) = 1.
2/ Soit (Ck ) l'ensemble des points du plan complexe dont l'affixe z vrifie la relation
z 1
= k. Monz +1
trez que, pour k 1, (Ck ) est un cercle dont on calculera la position du centre et le rayon. Etudiez le cas
particulier k = 2. Que se passe-t-il lorsque k est gal 1 ?
Pour un point m de (Ck ), on pose Z =
a) Calculez
Z 1
Z +1
1
1
z +
.
z
2
en fonction de k.
b) Montrez que, lorsque le point m d'affixe z parcourt (Ck ), le point M d'affixe Z parcourt, pour k
1, un cercle (Dk ) dont on calculera la position du centre et le rayon ?
c) Montrez que le cercle (Dk ) passe par le centre du cercle (Ck ) .
Exercice 2.
Soient a et b deux constantes relles diffrentes. On considre les deux fonctions des variables relles x et
y:
P(x,y)=
( x a )( x b ) + y
2
(x b) + y
et Q ( x , y ) =
(a b) y
2
( x b) + y
3
CMP - 1996
Exercice 3
On considre la fonction : Arc tg z =
1
2i
ln
1+ i z
1 i z
Exercice 4
On considre la fonction : Arc cos z =
1
i
ln ( z +
z 1 ).
4
CMP - 1996
Sance 3
INTEGRATION DES FONCTIONS DE
VARIABLE COMPLEXE
Exercice 1
1/ Calculer l'intgrale
2/ Calculer l'intgrale
1
1
z +
dz , tendue au cercle trigonomtrique (C) de centre O ( 0 ; 0 ) et
z
(C) 2
de rayon 1 parcouru dans le sens direct.
z 1
(C)
z +1
(C)
z 1 2
Exercice 2
1
Calculer l'intgrale
(z+a) e
4
2 i (C)
z
de rayon 1 parcouru dans le sens direct.
Exercice 3
Calculer l'intgrale
cos 3x
2 + cos x
dx
Exercice 4
Calculer l'intgrale
1
0
dx
3
( x + 2 ) 5 x (1 x )
5
CMP - 1996
6
CMP - 1996
Sance 4
DISTRIBUTIONS
Exercice 1
Soit T une distribution sur R. Montrez les proprits suivantes :
1/ x T = 0 ( c C ) ( T = c )
2/ Pour que la drive de T soit nulle, il faut et il suffit qu'il existe un nombre complexe c vrifiant
T = c 1,
o 1 est la distribution dfinie par 1 () =
(x) dx.
Exercice 2
Trouver la limite, quand h tend vers 0, dans l'espace D des distributions sur R , de
Exercice 3
( x ) dsignant la fonction de Heaviside, calculer, au sens des distributions :
1/
( x ) ex
dx
d2
( x ) sinx
+ 2
2/
2
dx
3/
dx
( x) x
m1
(m 1)!
pour m entier 1
7
CMP - 1996
h h
.
2h
8
CMP - 1996
Sance 5
CONVOLUTION
Exercice 1
Soit (x) la fonction de Heaviside.
1/ Calculez le produit de convolution (x) e x (x) e x .
2/ Calculez le produit de convolution (x) sin x (x) sh 2x .
Exercice 2
Soit la distribution de Dirac, (x) la fonction de Heaviside, D+ l'espace des distributions sur R support
born gauche. Trouvez les inverses dans D+ des distributions suivantes :
1/ 5 + 6
2/ +
3/ (x) e x +
Exercice 3
Rsoudre l'quation intgrale
une fonction inconnue, les deux ayant leur support dans l'intervalle [ 0 ; + [.
Exercice 4
On dsigne par f (x) la solution de l'quation diffrentielle
y + 2 y + y + 2 y = 10 cos x
satisfaisant aux conditions initiales :
y (0) = 0,
y (0) = 0
y (0) = 4
On pose F (x) = (x) f (x), o (x) est la fonction de Heaviside. Ecrire l'quation diffrentielle satisfaite
par F (x) au sens des distributions. Dterminer alors F (x) en utilisant le calcul symbolique dans D+ .
9
CMP - 1996
10
CMP - 1996
Sance 6
SERIES DE FOURIER
Exercice 1
1/ Calculez la srie de Fourier de la fonction f (x) gale x dans l'intervalle < x < , et priodique de
priode 2. Calculez
n=1
1
n
et
n=1
1
( 2n + 1)
2/ Calculez la srie de Fourier de la fonction g (x) gale x3 dans l'intervalle < x < , et priodique de
sin 2 x
sin n x
priode 2. En dduire la valeur de sin x
+ .
+ + ( 1) n+1
3
3
2
n
3/ Montrez que l'on peut dduire les dveloppement trouvs de celui de () sur le cercle de longueur 2 .
Exercice 2
1/ Soit T une distribution priodique de priode T. Montrez que sa srie de Fourier peut se mettre sous la
forme :
a
n= 0
cos
2nx
T
b
n= 0
sin
2nx
T
11
CMP - 1996
Exercice 3
Soient f et g deux fonctions priodiques de priode T, de carr intgrable sur une priode (espace L2 (T)).
1/ Montrez que
h(x)=
T
1
f ( x + t ) g ( t ) dt
0
est aussi une fonction priodique de priode T, de carr intgrable sur une priode.
2/ Calculez les coefficients de Fourier cn ( h ) de h en fonction des coefficients de Fourier cn ( f ) et cn ( g
) de f et g.
3/ En admettant que pour tout x , la srie de Fourier de h ( x ) est convergente et a pour somme h ( x ),
montrez les formules :
+
ck ( f ) c k ( g ) =
k =
+
k =
| ck ( f ) | 2 =
1
T
1
T
a +T
f ( x ) g( x ) dx
a +T
12
CMP - 1996
| f ( x ) | 2 dx
Sance 7
TRANSFORMATION DE FOURIER
Exercice 1
1/ Soient f et g deux fonctions intgrables (c'est--dire appartenant l'espace L1 ) dfinie sur R. Montrez
que le produit de convolution dfini par : h ( x ) = f g =
L1 et
| f ( t )| dt.
e 2 i u f ( u ) du.
Exercice 2
Calculez la transforme de Fourier de la fonction f ( t ) dfinie par
f ( f ) = 21
pour
| t |< 1
pour
| t |= 1
pour
| t |> 1
Formule de rciprocit.
Exercice 3
Calculez l'intgrale
13
CMP - 1996
cos xt
1+ t
dt.
14
CMP - 1996
Sance 1.
NOMBRES COMPLEXES
Exercice 1.
Soit z laffixe dun point M du plan complexe.
1/ Montrez que tous les points M d'affixe z du plan complexe vrifiant la relation
z +1
= k,
z 1
o k est une constante relle diffrente de 1, sont sur un mme cercle (Ck ) dont on calculera la position
du centre et le rayon.
=1
1
3
1
2
, 1 , 2 , 3 , .
Corrig de lExercice 1
1/ Ensemble des points dont le rapport des distances deux points fixes est une
constante.
Comme le module dun rapport est aussi le rapport des modules du numrateur et du dnominateur, la relation
z +1
=k
z 1
peut tre crite aussi :
| z +1 |
=k
| z 1 |
Comme un module de nombre complexe est un nombre positif ou nul, le problme naura de sens que si la
constante relle k est positive ou nulle ou infinie.
Condition dexistence : k 0
On sait (cours de Terminale) que lensemble des points dont le rapport des distances deux points fixes est
une constante positive est un cercle du faisceau points limites les deux points fixes. Montrons-le par le calcul.
Soient x et y la partie relle et la partie imaginaire, respectivement, du nombre complexe z :
z=x+iy
1
Sance 1 - 1996
Le module dun nombre complexe est la racine carre du produit du nombre complexe par le nombre complexe
conjugu :
|z|= zz
| z + 1| = ( x + iy + 1 )( x iy + 1 )
| z 1| = ( x + iy 1 )( x iy 1 )
Lorsque la constante k est positive, on a les quivalences :
| z +1 |
( x + iy + 1 )( x iy + 1 ) = k ( x + iy 1 )( x iy 1 )
=k
| z 1 |
( x + i y + 1 )(x i y + 1 ) = k2 ( x + i y 1 )( x i y 1 )
( x + 1 )2 + y2 = k2 [ ( x 1)2 + y2 ]
x2 + 2 x + 1 + y2 = k2 [ x2 2 x + 1 + y2 ]
( k2 1 ) ( x2 + y2 + 1 ) 2 ( k2 + 1 ) x = 0
1er cas : k2 = 1.
Ce cas est quivalent k = 1, puisque k est une constante positive.
Dans ce cas, la relation prcdente se rduit :
| z 1 |
4x=0
=k
| z +1 |
et lensemble des points M est la droite dquation x = 0, cest--dire laxe des y, mdiatrice du segment
joignant les points A daffixe 1, et B daffixe + 1.
2me cas : k2 1.
( k2 1 ) ( x2 + y2 + 1 ) 2 ( k2 + 1 ) x = 0
=k
| z +1 |
scrit :
| z 1 |
| z +1 |
=k
k +1
x2 + y2 + 1 2
2
2
k2 +1 2
k +1
2
x 2
+ y = 2
1
k 1
k 1
2
2
2
2
2
2
( k + 1) ( k 1)
k +1
x 2
+ y2 =
2
2
( k 1)
k 1
2
2
2
2
2
2
[( k + 1) ( k 1)] [( k + 1) + ( k 1)]
k +1
2
x 2
+ y =
2
2
( k 1)
k 1
k 1
x=0
2
2
2
4k
k +1
x 2
+ y2 =
2
2
( k 1)
k 1
Cest lquation dun cercle dont le centre est situ sur laxe des x.
z +1
z 1
= k est le cercle (C ; r ) :
2
2k
2
k 1
2
Sance 1 - 1996
k +1
2
k 1
; y= 0
Pour k > 1,
La relation suivante est vraie :
2
k +1
>0
2
k 1
Cette relation signifie que le centre du cercle est du ct des x positifs. Sont aussi vraies les relations :
( k 1 )2 > 0
2
k 2k+1>0
k2 + 1 > 2 k
2
k +1
2
k 1
2k
>
k 1
2k
k 1
Cette dernire relation signifie que labscisse du centre est plus grande que le rayon , donc que tout le cercle est
situ du mme ct de la mdiatrice du segment AB.
Les points de rencontre du cercle ( C ; r ) avec laxe des x dterminent un diamtre du cercle. Ils ont pour
abscisses les valeurs de x vrifiant lquation du cercle :
2
2
2
4k
k +1
2
x
+
y
=
2
2
2
( k 1)
k 1
avec y = 0 :
2
2
2
4k
k +1
x 2
=
2
2
( k 1)
k 1
2
x=
k +1
2
k 1
2k
k 1
k +1
2
k 1
2k
k 1
( k 1)
k 1
Pour k < 1,
Le rayon du cercle est :
r=
2k
1 k
1
k
1
1
k
1 2
+1
2
k +1
k
=
x= 2
1 2
k 1
1
k
Ces relations signifient que les cercles correspondant des valeurs de la constante k inverses lune de lautre
sont symtriques par rapport laxe des y.
Pour k = 0,
On obtient : | z + 1 | = 0, donc z = 1.
Pour k infini,
On obtient : | z 1 | = 0, donc z = 1.
3
Sance 1 - 1996
Pour k =
1
k
1
Posons z =
z'
. On obtient :
z
1
z
+1
=
1
1
k
, soit
z +1
z 1
1
k'
0
A
z' +1
z' 1
= k .
On peut d'ailleurs obtenir cet ensemble d'une autre faon : posons, en effet z = z'. On obtient :
z +1
z +1
1
k
soit
z 1
sont
k
symtriques l'un de l'autre par rapport l'axe des y.
4
Sance 1 - 1996
Exercice 2
1/ Dterminez les nombres complexes solutions de l'quation : z4 = 1.
2/ Dterminez sous forme trigonomtrique les solutions de l'quation : z4 = 8 ( 1 i 3 ).
3/ Soit a =
6 2
2
rsultats du 2/.
+ i
6+ 2
2
. Vrifiez : a4 = 8 ( 1 i
11
12
et sin
11
12
Corrig de l'Exercice 2.
1/ Solutions de l'quation z4 = 1.
L'quation z4 = 1 s'crit aussi z4 1 = 0, soit ( z2 1 ) ( z2 + 1 ) = 0, ou ( z 1 ) ( z + 1 ) ( z i ) ( z + i ) = 0.
Ses solutions sont :
z=1
z=i
z=1 z=i
3 ) s'crit 4 e 4 i = 16 (
1
2
i 3 ) = 16 ( cos
i sin
), soit
4 = 16 et
et
12
+ k
Ces solutions correspondent quatre nombres complexes. Pour avoir les solutions avec un argument compris
entre 0 et 2 , il faut prendre k = 1 , k = 2 , k = 3 , k = 4 . D'o les solutions :
5
+ i sin
)
12
12
5
+ ) + i sin (
+ ) ) = i z1
z2 = 2 ( cos (
12
2
12
2
5
5
+ ) + i sin (
+ ) ) = z1
z3 = 2 ( cos (
12
12
5
+ 3 ) + i sin (
+ 3 ) ) = i z1
z4 = 2 ( cos (
12
2
12
2
z1 = 2 ( cos
5
Sance 1 - 1996
6 2
2
+ i
6 2
6 2 12 + 2
4
= 12 + 2 i
= 2( 3 i)
a4
=
=
=
=
6+ 2
6 2
2
+2i
6 2
2
6 2 6 + 2 12 + 2
+2i
4
4
+ i
6+ 2
2
6+ 2
6+ 2
+ i2
2
4 ( 3 i )2
4 ( 3 2 i 3 + i2 )
4(22i 3 )
8(1i 3 )
a4 = 8 ( 1 i 3 )
Cette relation montre que le nombre complexe a est solution de l'quation z4 = 8 ( 1 i 3 ). C'est donc l'une
des quatre solutions trouves plus haut. Comme le nombre complexe a possde une partie relle positive et une
partie imaginaire positive, il est situ dans le premier quadrant, c'est donc la solution z1 . Les solutions de
l'quation z 4 = 8 ( 1 i 3 ) peuvent alors tre crites sous forme algbrique :
5
z1 = 2 ( cos
+ i sin
)=a=
6 2
+ i
6+ 2
12
12
2
2
6+ 2
6 2
5
+ ) + i sin (
+ ))= ia=
+ i
z2 = 2 ( cos (
2
2
12
2
12
2
6 2
6+ 2
5
5
+ ) + i sin (
+))= a=
i
z3 = 2 ( cos (
2
2
12
12
6+ 2
6 2
5
+ 3 ) + i sin (
+3 ))= ia=
i
z4 = 2 ( cos (
12
2
12
2
2
2
5
12
6 2
4
et
sin
et
sin
5
12
6+ 2
4
11
12
6+ 2
4
6
Sance 1 - 1996
11
12
6 2
4
Exercice 3
, , tant trois constantes donnes relles ou complexes, montrez que les solutions de l'quation :
n ( z )n ( z )n = 0
sont toutes sur une mme circonfrence. Calculez la position du centre et le rayon de cette circonfrence.
Corrig de l'exercice 3.
1/ Les solutions sont sur un mme cercle.
La relation n ( z )n ( z )n = 0 peut s'crire sous la forme :
z n
= n
z
Elle entrane la relation :
z
=||
z
Soient M , A , B , les points d'affixes respectives z , , . Le rapport des distances du point M aux points A et
B est une constante | |. Tous les points M vrifiant cette relation sont sur un cercle du faisceau points limites
A et B. Ce cercle dgnre en mdiatrice du segment AB lorsque | | est gal 1.
Pour | | = 1
La relation
( 1 | | 2 ) ( x 2 + y2 ) 2 ( c a | | 2 ) x 2 ( d b | | 2 ) y + c 2 a2 | | 2 + d2 b2 | |2 = 0
se rduit :
2 ( c a ) x + 2 ( d b ) y = c 2 a2 + d2 b2
(ca)(x
a+c
2
)+(db)(y
d +b
2
)=0
Pour | | 1
La relation
7
Sance 1 - 1996
( 1 | | 2 ) ( x 2 + y2 ) 2 ( c a | | 2 ) x 2 ( d b | | 2 ) y + c 2 a2 | | 2 + d2 b2 | |2 = 0
s'crit :
2
2
2
2
2
2
2
c a | |2 2
c a| |
d b| |
c a | |
x
+ y
=
2
2
2
1 | |2
1 | |
1 | |
1 | |
2
2
2
d b | |2 2
d b | |
+
2
1 | |2
1 | |
2
c 2ac | | + a | | (c a | | ) (1 | | )
2 2
(1 | | )
2
d 2bd | | + b | | (d
b | | ) (1 | | )
2 2
(1 | | )
( c a ) | | 2 ( d b) | | 2
=
+
1 | |2
1 | |2
2
2
2
2
c a| |
d b| |
x
+ y
=
2
2
1 | |
1 | |
2
2
2
( c a ) + ( d b) | |
1 | |
Centre :
xc =
Rayon :
r=
c a| |
2
1 | |
2
1 | |
c a| |
1 |
Le centre du cercle est sur la droite AB : en effet, on a :
c a | |2
ca
a
xc a 1 | |2
1 | |2
CA =
=
=
2
d b
yc b d b | |
b
1 | |2
2
1 | |
c a | |2
ca
c
2
xc c 1 | |
1 | |2
CB =
=
=
2
d b
yc d d b | |
1 | |2
2
1 | |
+i
d b| |
2
1 | |
ca
1
2 d b
1 | |
2
| |
2
| |
2
2
| | 1 | |
CB = | | 2 CA
1 | |
| |
(c a ) + ( d b)
d b| |
yc =
CA CB = 0
8
Sance 1 - 1996
1
AB
=
1 | |2
2
ca
| |
AB
=
2
d b 1 | |
3/ Rsolution de l'quation n ( z )n ( z )n = 0
Posons Z =
z
z
2k
n
2 k
i 0 +
2 ik
z
z
donne alors z =
Z
1 Z
et Z = e i , elle devient
n i 0
, k=0,1,,n1
Z= ||e
Z=
i 0
2 ik
=e
2 ik
1 e
n
2 ik
z=
e
1 e
Posons =
=()
k=0,1,,n1
2 ik
, nous obtenons :
2
= | |2 ( )
et
=
(
1 2
1 2
1
2 ik
z=
2 ik
1 e
1
1
= ()
2 ik
1 2
1 e n
2 ik
1 e
1
1 2
1 2
2
1 2
z=()
z =()
z=() e
2 ik
n
1 2
2 ik
n
=() Z
k=0,1,,n1
Ces relations montrent que si z est solution de l'quation, alors | z | est toujours le mme, quelle que soit la
solution considre et l'on a :
| |
=||||
|z|=||
2
1 | |
On retrouve ainsi le fait que toutes les solutions sont sur un mme cercle
de centre le point d'affixe
| |
de rayon | |
2
1 | |
9
Sance 1 - 1996
10
Sance 1 - 1996
Exercice 4
Soit z C, z = x + i y, ( x , y ) R2, P ( z ) = z3 3 i z2 ( 3 i ) z + 2 + 2 i.
1/ Vrifiez que l'quation P ( z ) = 0 admet une solution relle z0 et une solution imaginaire pure z1.
Rsoudre l'quation P ( z ) = 0. Calculez le module et l'argument des solutions z0 , z1 , z2.
2/ Dans le plan complexe, soient M0 , M1 , M2 , les points d'affixes respectives z0 , z1 , z2. Calculez Z =
z2 z0
. Dmontrez que | Z | = 1. Prcisez la nature du triangle (M0 , M1 , M2 ).
z1 z0
Corrig de l'exercice 4
1/ Solutions de l'quation P (z) = 0.
Le polynme P (z) peut tre crit :
P (z) = ( z3 3 z + 2 ) + i ( 3 z2 + z + 2 )
Sous cette forme, on voit tout de suite que z = 1 est racine des deux polynmes ( z3 3 z + 2 ) et ( 3 z2 + z + 2 ).
Le polynme P (z) admet donc la racine relle
z0 = 1
Si z est imaginaire pur, la partie relle de P (z) = ( 2 + i z ) + ( z3 3 i z2 3 z + 2 i ) est 2 + i z; Elle ne peut
tre nulle que pour z = 2 i. Pour cette valeur de z , on a :
z3 3 i z2 3 z + 2 i = 8 i + 12 i 6 i + 2 i = 0
la partie imaginaire de P (z) est nulle elle aussi, donc P (z) = 0 et P (z) admet la racine imaginaire pure
z1 = 2 i
On peut alors faire la division euclidienne de P (z) par le polynme
( z z0 ) ( z z1 ) = ( z 1 ) ( z 2 i ) = z2 ( 1 + 2 i ) z + 2 i
z3
3 i z2
(3i)z
z3
+ ( 1 + 2 i ) z2
2iz
+ (1 i ) z2
(3 + i) z
+2+2i
(1 i ) z2
+ (1 i)(1 + 2 i) z
2i(1i)
z2 ( 1 + 2 i ) z + 2 i
+2+2i
z + (1 i)
D'o :
P (z) = ( z 1 ) ( z 2 i ) ( z ( i 1 ) )
Et sous cette forme les trois racines apparaissent :
z1 = 1
z2 = 2 i
z3 = i 1
de module 1 et d'argument 0
de module 2 et d'argument
2
de module
2 et d'argument
11
Sance 1 - 1996
3
4
2/ Points d'affixes z0 , z1 , z2
Z=
z2 z0
z1 z0
i 1 1
2 i 1
i2
2 i 1
|Z|=
( i 2)( 2 i 1)
( 2 i 1)( 2 i 1)
1
4 +3 = 1
|Z|=1
Cette relation montre que l'on a :
| z2 z0 | = | z1 z0 |
M 0 M 2 = M 0 M1
12
Sance 1 - 1996
2+4 ii +2
4 +1
4+3 i
5
Exercice 5
Soit z laffixe dun point M du plan complexe.
1/ Quel est lensemble des points M vrifiant la relation
| z + 1 | + | z 1 | = k,
k tant une constante relle ?
2/ Quelle condition doit vrifier k pour que le problme ait une solution ?
3/ Ecrire lquation de lensemble des points M vrifiant la relation donne.
4/ Dessiner les ensembles de points obtenus pour les valeurs de k gales 2 , 3 , 4 , 5.
Corrig de lExercice 5.
1/ Ensemble des points dont la somme des distances deux points fixes est une
constante.
Il est bien connu quun tel ensemble de points est une ellipse dont les foyers sont les deux points fixes. Nous
allons le montrer par le calcul. La relation
| z + 1 | + | z 1 | = k,
na de solution que si k est une constante relle positive suprieure ou gale la distance des deux points fixes
A daffixe 1 et B daffixe +1. La somme des longueurs de deux cts dun triangle est suprieure ou gale
la longueur du troisime ct (ingalit du triangle).
Condition dexistence : k 2
|z +1|=
( x + iy + 1) ( x iy + 1)
|z 1|=
( x + iy 1) ( x iy 1)
|z +1|+|z 1|=k
( x + iy + 1) ( x iy + 1) +
( ( x + iy + 1) ( x iy + 1) +
( x + iy 1) ( x iy 1) = k
( x + iy 1) ( x iy 1) )2 = k2
[ ( x + 1 )2 + y2 ] + [ ( x 1 )2 + y2 ] + 2
2 ( x2 + y2 + 1) + 2 ( x + y + 1 2 x ) ( x + y + 1 + 2 x ) = k2
4 [ ( x2 + y2 + 1)2 4 x2 ] = [ k2 2 ( x2 + y2 + 1) ]2
4 ( x2 + y2 + 1)2 16 x2 = 4 ( x2 + y2 + 1)2 + k4 4 k2 ( x2 + y2 + 1)
4 ( k2 4 ) x2 + 4 k2 y2 = k2 ( k2 4 )
Posons a =
( x + iy + 1) ( x iy + 1)
2
( x + iy 1) ( x iy 1) = k2
, ou k = 2 a.
2
|z +1|+|z 1|=k
16 ( a2 1) x2 + 16 a2 y2 = 16 a2 ( a2 1 )
( a2 1) x2 + a2 y2 = a2 ( a2 1 )
Comme k est somme de deux nombres positifs dont lun au moins est diffrent de 0, do a > 0. La relation
a2 1 = 0
est alors quivalente :
a =1
Pour a = 1, on a : k = 2.
y2 = 0 et
|x+1| + |x1| = 2
|z +1|+|z 1|=2
Si x 1, on a | x + 1 | = 1 x et | x 1 | = 1 x ; | x + 1 | + | x 1 | = 2 x = 2 x = 1.
Si 1 < x < + 1, on a | x + 1 | = x + 1 et | x 1 | = 1 x ; | x + 1 | + | x 1 | = 2 pour tout x.
13
Sance 1 - 1996
Si 1 x, on a | x + 1 | = x + 1 et | x 1 | = x 1 ; | x + 1 | + | x 1 | = 2 x = 2 x = 1.
Lensemble des points M tels que | x + 1 | + | x 1 | = 2 est donc le segment de droite joignant les points A
(1) et B (+1).
a 1
=1
1 a
si a < 1.
k
2
a 1 =
2/ Exemples.
On peut alors tracer le dessin suivant :
5
4
3
14
Sance 1 - 1996
1
2
k 4
Exercice 6
Soit z laffixe dun point M du plan complexe.
1/ Quel est lensemble des points M vrifiant la relation
| z + 1 | | z 1 | = k,
k tant une constante relle ?
2/ Quelle condition doit vrifier k pour que le problme ait une solution ?
3/ Ecrire lquation de lensemble des points M vrifiant la relation donne.
4/ Dessiner les ensembles de points obtenus pour les valeurs de k gales 2 , 1 , 0 , 1 , 2.
Corrig de lexercice 6.
1/ Ensemble des points dont les diffrences des distances deux points fixes
est une constante.
Il est bien connu quun tel ensemble est une branche dhyperbole puisque cette proprit peut servir de dfinition
de lhyperbole. Nous allons le montrer par le calcul. La relation :
| z+1| |z1|= k
est quivalente :
( x + iy + 1) ( x iy + 1) ( x + iy 1) ( x iy 1) = k
2
( x + 1) + y ( x 1) + y = k
Lingalit du triangle nous indique que la valeur absolue de la diffrence des longueurs de deux cts dun
triangle est infrieure ou gale la longueur du troisime ct. On en dduit la condition suivante :
Condition dexistence : | k | 2
On peut supposer k 0, car si k est ngatif, en posant k = k, on obtient :
| z 1 | | z + 1 | = k
soit, avec z = z :
| z + 1 | | z 1 | = k
On est ramen ltude des points M (z) dont la diffrence des distances aux points A (1) et B (+1) est une
constante positive k, et lon revient aux points M (z) par symtrie par rapport au point O (0).
Pour k 0, on a
( x + 1) + y
( x 1) + y
2
( x + 1) + y ( x 1) + y
est quivalente la relation obtenue par passage aux carrs :
[ ( x + 1 )2 + y2 ] + [ ( x 1 )2 + y2 ] 2
2 ( x2 + y2 + 1 ) 2
relation quivalente :
2 ( x2 + y2 + 1 ) k2
2 ( x2 + y2 + 1 ) k2
2 ( x2 + y2 + 1 ) k2
2 ( x2 + y2 + 1 ) k2
et
et
et
et
( x + 1) + y
= k
( x + 1) + y
2
( x 1) + y
( x 1) + y
2
= k2
= k2
4 ( x2 + y2 + 1 )2 16 x2 = [ k2 2 ( x2 + y2 + 1 ) ]2
4 ( x2 + y2 + 1 )2 16 x2 = 4 ( x2 + y2 + 1 ) 2 + k4 4 k2 ( x2 + y2 + 1 )
4 k2 ( x2 + y2 + 1 ) 16 x2 = k4
4 ( k2 4 ) x2 + 4 k2 y2 = k2 ( k2 4 )
Pour k = 0,
La solution est donne par x = 0 et y quelconque : cest laxe des y.
Pour k = 2,
15
Sance 1 - 1996
La solution est donne par y = 0 et x2 1 : cest la partie de laxe des x lextrieur du segment joignant les
2
( x + 1) + y
x2 + y2 + 1 2 a2
1)
x2 + y2 + 1 2 a2
y
y
k2 ( k2 4 )
et
16 ( a2 1) x2 + 16 a2 y2 = 16 a2 ( a2
et
( a2 1) x2 + a2 y2 = a2 ( a2 1 )
et
1 a
=1
x2
x2 2 a2 1 y2 = 2 a2 1 ( 1 a2 ) 2 1
a
1 a
( x 1) + y
k2 ( k2 4 )
x2 + y2 + 1 2 a2
= 1 et
= 1 et
x2 a2
2
2
a
1 a
Cest lquation canonique dune hyperbole. Et la restriction
2
( x + 1) + y ( x 1) + y
rduit lensemble des points M vrifiant la relation | z + 1 | | z 1 | = k la branche positive de cette
hyperbole. Cette hyperbole a pour asymptotes les droites dquations :
ky
4k
x=0
2
2
a
1 a
situe du ct du signe de k.
=1
0
1
1
2
A
16
Sance 1 - 1996
Exercice 7
Soit z laffixe dun point M du plan complexe.
1/ Quel est lensemble des points M vrifiant la relation
| z + 1 | | z 1 | = k,
k tant une constante relle ?
2/ Quelle condition doit vrifier k pour que le problme ait une solution ?
3/ Ecrire lquation de lensemble des points M vrifiant la relation donne.
4/ Dessiner les ensembles de points obtenus pour les valeurs de k gales 0 ,
1
3
1
2
,1,
3
2
, 2 , 3.
Corrig de lExercice 7.
1/ Ensemble des points dont le produit des distances deux points fixes est une
constante
Pour que la relation
|z+1| |z1|= k
ait un sens, il faut dj que la constante k soit relle et positive. Sous cette condition, lensemble des points M
tels que le produit des distances deux points fixes soit une constante est bien connu, il sagit des ovales de
Cassini , courbes de degr 4. Nous allons les retrouver par le calcul.
Pour k = 0,
La distance du point M (z) lun des deux points A (1) ou B (+1) est nulle : lensemble des points M
vrifiant la relation
|z+1| |z1|= k
est alors rduit aux deux points A et B.
Pour k > 0,
La relation :
|z+1| |z1|= k
est quivalente :
2
( x + 1) + y
( x 1) + y
=k
ou :
[ ( x + 1 )2 + y2 ] [ ( x 1 )2 + y2 ] = k2
( x2 + y2 + 1 )2 4 x2 = k2
Symtries :
Si lon change x en x, lquation reste inchange : symtrie par rapport laxe des y.
Si lon change y en y , lquation reste inchange : symtrie par rapport laxe des x.
Par combinaison des deux symtries prcdentes : symtrie par rapport au point O.
Nous allons tudier cette fonction pour x 0 et y 0. Le reste de la courbe studiera par symtries.
2
k + 4x
x2 + y2 + 1 =
y2 = 1 x2 +
Il nexiste de solutions que si x2 + 1
k + 4x
k + 4 x ( x + 1)
17
Sance 1 - 1996
dy
1
y
=2x 1 2
2
dx
x + y +1
Lorsque y est nul sans que x soit nul, la drive est infinie, la tangente la courbe est verticale. Il y a une seule
possibilit davoir y = 0 lorsque x est nul, cest pour k = 1 ; dans ce cas, lquation de la courbe est :
y=
dy
1+ 4x
1 x
2x+
2
4x
2
2
1+ 4 x
2
1+ 4 x 1 x
Lorsque x tend vers 0, le terme entre parenthses est quivalent 2 x. Le dnominateur est quivalent 2 x. Le
rapport tend vers 1. La tangent la courbe est la premire bissectrice.
dx
Par contre, lorsque k est plus grand que 1, la drive de y est donne par :
dy
1
4x
=
2x+
2
2
dx
2
2
2
k + 4x
2
k + 4 x 1 x
2 k
Lorsque x tend vers 0, la parenthse est quivalente 2 x
. Le dnominateur est quivalent 2 k 1
k
et le rapport tend vers 0. La tangente au point ( x = 0 ; y = k 1 ) est horizontale.
On peut donc se faire une ide assez prcise de lensemble des points M dont le produit des distance deux
points fixes est une constante.
Les courbes obtenues sappellent les ovales de Cassini , avec, comme cas particulier correspondant k = 1, la
lemniscate de Bernoulli (quon peut aussi obtenir comme inverse dune hyperbole par rapport un foyer).
1
3
1
2
1
3
2
2
3
18
Sance 1 - 1996
Sance 2.
FONCTIONS DE VARIABLE
COMPLEXE
Exercice 1.
On considre la fonction de deux variables relles x et y : P ( x , y ) =
x
1
1+ 2
2 .
2
x +y
1/ Montrez que P ( x , y ) est la partie relle d'une fonction analytique f (z) de la variable complexe z = x +
i y. Calculez la fonction f (z) vrifiant f (1) = 1.
2/ Soit (Ck ) l'ensemble des points du plan complexe dont l'affixe z vrifie la relation
z 1
= k.
z +1
Montrez que, pour k 1, (Ck ) est un cercle dont on calculera la position du centre et le rayon. Etudiez le
cas particulier k = 2. Que se passe-t-il lorsque k est gal 1 ?
Pour un point m de (Ck ), on pose Z =
a) Calculez
Z 1
Z +1
1
1
.
z +
2
z
en fonction de k.
b) Montrez que, lorsque le point m d'affixe z parcourt (Ck ), le point M d'affixe Z parcourt, pour k
1, un cercle (Dk ) dont on calculera la position du centre et le rayon ?
c) Montrez que le cercle (Dk ) passe par le centre du cercle (Ck ) .
Corrig de l'Exercice 1.
1/ P (x;y) est la partie relle d'une fonction analytique f (z).
Une fonction analytique est, par dfinition, une fonction drivable de la variable complexe z sauf,
ventuellement, en des points singuliers isols. Nous verrons, par la suite, ce que l'on entend exactement par
"points singuliers isols". Notons seulement, pour l'instant, qu'il s'agit de points o la fonction n'est pas drivable.
1
Par exemple, la fonction n'est pas drivable au point z = 0, elle est drivable partout ailleurs, le point 0 est un
z
1
point singulier isol pour cette fonction ; la fonction est une fonction analytique.
z
Pour qu' une fonction P (x;y) de deux variables relles x et y soit la partie relle d'une fonction drivable f(z)
de la variable z = x + i y , il faut et il suffit que son "Laplacien" soit nul :
19
Sance 2 - 1996
P=
P
x
P
y
=0
Une fonction dont le laplacien est nul est appele une fonction "harmonique".
Ici, on a :
x 1
x
P(x;y)= +
2
2 2 x + y2
P
1
2
P
x
P
=
x
1
2
1 x + y x 2x
y x
( x2 + y2 )2 2 2 ( x2 + y2 )2
2
2 2
2
2
2
2
2
2
2 x ( x + y ) ( y x ) 2 ( x + y ) 2 x
x 3y
=x
( x2 + y2 ) 3
( x2 + y2 )4
2
2 y
xy
( x + y ) ( x + y2 )2
2
2 2
2
2
2
2
2
2
P x ( x + y ) + x y 2( x + y ) 2y
x 3y
P
=
x
=
=
2
y
( x 2 + y 2 ) 3 x 2
( x2 + y2 )4
y
2 2
P=
P
y
P
x
=0
La fonction P ( x ; y ) est harmonique. C'est donc la partie relle d'une fonction analytique f (z).
La fonction f (z) est de la forme f (z) = P (x;y) + i Q (x;y). La partie imaginaire Q (x;y) est dfinie par les
"conditions de Cauchy" :
Q
x
et
P
x
Ces conditions expriment simplement le fait que la fonction P (x;y) + i Q (x;y), considre comme fonction de z
z+z
zz
et de z , ne dpend pas de z car, puisque x =
et y =
, on a :
2
2i
P
( P + iQ) ( P + iQ) x ( P + iQ) y P
Q 1
Q
1
=
+
=
+i
+i
+
z
x
z
y
z x
x 2
y
2i
y
( P + iQ)
1
P Q
i
Q P
=
+
+
.
z
2 x
y 2 x
y
Dans ces conditions, la fonction P + i Q ne dpend que de z et sa drive par rapport z est :
P
d ( P + iQ) ( P + iQ) ( P + iQ) x ( P + iQ) y P
Q 1
Q
1
=
+
=
=
+i
+i
+
dz
z
x
z
y
z x
x 2
y
2i
y
d ( P + iQ) 1 P Q i Q P P
Q ( P + iQ)
( P + iQ)
=
+
+i
=
=i
.
+
=
dz
2 x
y 2 x
y x
x
x
y
Ici, les conditions de Cauchy s'crivent :
Q
x
xy
( x2 + y2 )2
et
20
Sance 2 - 1996
1
2
1
2
y x
( x2 + y2 )2
Q(x;y)=
+R(y)
o R ( y ) est une fonction arbitraire de y.
2 x + y2
Lorsqu'on drive cette expression par rapport y , on obtient :
2
Q
y
Pour avoir
R(y)=
y
2
Q
y
1
2
y x
1 x + y y2 y
( x2 + y )
2 2
dR
dy
1
2
y x
( x2 + y )
2 2
dR
dy
( x2 + y )
2 2
dR
dy
+ C, o C est une constante relle arbitraire. La fonction Q ( x ; y ) est donc donne par :
y
Q(x;y)=
2 x + y2
x 1
x
1
y
f(z)= +
+
i
+
C
2 2 x2 + y2
2 x2 + y2
2
1
1
f(z)= z+
z
2
Pour avoir f ( 1 ) = 1, il faut prendre C = 0 et il reste :
f(z)=
+C
x +i y
2
x i y
2
2 x +y
1 z
2 zz
+iC
+ iC
1
1
z+
z
2
Pour k 1
Posons =
1+ k
, nous obtenons :
2
1 k
i
2
i
2
1
1
1+ k e
1+ k
1+ k e
1+ k
z=
=
1
+
1
+
=
2
2
2
i
i
1 k ei 1 k 2
1 k e
1 k
1 k e
1 k
z=
1 ke
2k
1 k
1 ke
ei
i
2k
1 k
ei
2
z=
1+ k
1 k
avec
2k
1 k
ei
1 ke
1 ke
21
ei
ei
Sance 2 - 1996
2k
1 k
z +1
z +1
ei
Pour k = 1
i
2 e 2
On obtient z =
1+ e
1 e
=
i
+e
2 cos
2 = i cotg
2
2 i sin
2
e 2 e 2 e 2
Cette relation montre que z est imaginaire pur et dcrit l'axe des y : c'est la mdiatrice du segment joignant les
deux points 1 et + 1.
Cas particulier : k = 2.
=
z=
5
3
5
3
et de rayon
+
4
3
5
3
ei
3/ Transformation de Joukovski.
1 1
z + 1
2
1
1
Z 1
z 2z + 1 z 1
2 z
= 2
=
Si l'on pose Z = z +
=
, on obtient
1 1
2
z
Z +1
z + 2z + 1 z + 1
z + + 1
2 z
z 1
=
Z +1
z +1
Z 1
Si l'on a pos
z 1
Z 1
z +1
particulier , on obtient :
Z +1
La relation
Z 1
Z +1
= k2 e 2 i
Z +1
= k2 e 2 i , avec k 0 et 0 < 2. En
= k2
2 2 i
donne Z =
1+ k e
2 2 i
1 k e
, ou encore, en posant =
Z=
2k
Z 1
1 k
22
Sance 2 - 1996
ei
1+ k
1 k
et ei =
Z +1
Z +1
e2i :
1+ k
1 k
1+ k
cercle de centre
1+ k
1 k
et de rayon
2k
1 k
. De plus,
et de rayon
23
Sance 2 - 1996
1 k
, Z parcourt le
2
2
+1
= 1 k 2
+1
1+ k
1 k
2k
Exercice 2.
Soient a et b deux constantes relles diffrentes. On considre les deux fonctions des variables relles x et
y:
P(x,y)=
( x a )( x b ) + y
2
(x b) + y
et Q ( x , y ) =
(a b) y
2
( x b) + y
Corrig de l'Exercice 2.
1/ Fonction analytique f (z).
Pour que P + i Q soit une fonction analytique de la variable z = x + i y, il faut et il suffit que les conditions de
Cauchy soient vrifies :
Q
et
Or on a :
P
x
P
x
P
y
P
y
Q
( a b )( x b ) + ( b a ) y
=
=
x
Q
= (ab)
2 2
2 2
[( x b ) + y ]
2 2
[( x b ) + y ]
2( a b )( x b ) y
2
2 2
[( x b ) + y ]
2( a b )( x b ) y
2
2 2
[( x b ) + y ]
[( x b ) + y ] 2 y
2
=(ab)
2 2
[( x b ) + y ]
2
(x b) y
2 y [( x b ) + y ] 2 y [( x a )( x b ) + y ]
=(ab)
2 2
[( x b ) + y ]
2
[( x b ) + y ]
2
[( x b ) + ( x a )][( x b ) + y ] [( x a )( x b ) + y ][ 2( x b )]
(x b) y
2
2 2
y
x
[( x b ) + y ]
Les conditions de Cauchy sont satisfaites, f = P + i Q est une fonction analytique de la variable z.
On aurait pu crire aussi :
P+iQ=
( x a )( x b ) + y
2
(x b) + y
2
P+iQ=
+i
(a b) y
2
( x b) + y
x + y + ab a( x iy ) b( x + iy )
2
(x b) + y
( x a )( x b ) + y + i ( a b ) y
2
( xb) + y
zz + ab az bz
( z b )( z b )
24
Sance 2 - 1996
( z a )( z b )
( z b )( z b )
za
z b
, fonction de z.
f (z) =
za
z b
( x a )( x b ) + y
2
(x b) + y
= k
( x a ) ( x b ) + y2 = k [ ( x b )2 + y2 ]
( x b ) [ ( x a ) k ( x b ) ] + ( 1 k ) y2 = 0
( x b ) [ ( 1 k ) x ( a k b ) ] + ( 1 k ) y2 = 0
( 1 k ) x2 [ ( 1 k ) b + ( a k b ) ] x + ( 1 k ) y2 + ( a k b ) b = 0
( 1 k ) x2 + ( 2 k b a b ) x + ( 1 k ) y2 + ( a k b ) b = 0
Pour k = 1, il reste ( b a ) ( x b ) = 0 ; b a x = b.
Pour k 1, on obtient :
2
2
2 k b a b
( 2 k b a b ) 4 b (1 k ) ( a k b )
2
x
+
+
y
=
2
2( 1 k )
4( 1 k )
2
2 2
2
2
2
2
2 2
2 k b a b
4 k b + a + b 4 kab 4 kb + 2ab 4 ab + 4 kab + 4 kb - 4 k b
x+
+ y2 =
2
2( 1 k )
4( 1 k )
2
2
2 k b a b
ab
2
x+
+ y =
2( 1 k )
2 (1 k )
k
x
centre
y
rayon
r=
ab
2 (1 k )
a + 5b
a + 3b
a +b
ba
ba
ba
3b a
5b a
7b a
ba
ba
ba
Si k tend vers l'infini, le cercle devient de plus en plus petit jusqu' se confondre avec le point x = b , y = 0.
b) Lignes de champ Q ( x , y ) =
(a b) y
2
( x b) + y
= k.
( a b ) y = k [ ( x b )2 + y2 ]
k [ ( x b )2 + y2 ] ( a b ) y = 0
Pour k = 0, il reste ( b a ) y = 0 ; a b y = 0.
Pour k 0, on obtient :
25
Sance 2 - 1996
a b
(xb) + y
2k
2 a b
=
2k
rayon
ba
ba
ba
a b
a b
a b
ba
ba
ba
ba
ba
ba
Si k tend vers l'infini, le cercle devient de plus en plus petit jusqu' se confondre avec le point x = b , y = 0.
26
Sance 2 - 1996
Exercice 3
On considre la fonction : Arc tg z =
1
2i
ln
1+ i z
1 i z
Corrig de l'Exercice 3.
1/ Rappels de cours.
Dfinitions.
Une fonction f (z) de la variable complexe z est dite fonction monogne en un point a si elle est drivable
f ( z ) f (a )
en ce point, c'est--dire si le rapport
a une limite finie lorsque z tend vers a en suivant un chemin
za
quelconque dans C. Pour qu'une fonction f (z) = P (x,y) + i Q (x,y) soit monogne en un point a, il faut et il
P
Q
P
Q
suffit que les conditions de Cauchy soient vrifies en ce point :
=
et
=
. Les
x
y
y
x
fonctions P et Q sont ce qu'on appelle des fonctions harmoniques conjugues .
Une fonction monogne en tous points d'un domaine D du plan complexe est dite fonction holomorphe dans
D.
Singularits isoles.
Une fonction de variable complexe f (z) holomorphe dans un domaine D entourant un point a peut avoir
quatre sortes de points singuliers en a :
f ( z ) f (a )
singularit artificielle : f (z) reste borne au voisinage de a, mais
n'a pas de limite lorsque z
za
tend vers a.
Dans ce cas, on peut rendre la fonction f (z) monogne en a en changeant la valeur de f (a).
Exemple : la fonction gale z2 pour z 0 et 1 pour z = 0 a une singularit artificielle en 0. Elle est
rendue holomorphe dans tout le plan en posant f (0) = 0.
On suppose, la plupart du temps qu'on a limin les singularits artificielles.
ple : f (z) non borne au voisinage de a, mais
Exemple : la fonction
1
za
1
f (z)
1
f (z)
= z a est holomorphe au
.
za
Si le point a est un ple pour la fonction f (z) , le plus entier positif n pour lequel ( z a)n f(z) est
holomorphe au voisinage de a s'appelle l' ordre de multiplicit du ple.
( z 2 )( z 3 )
a un ple simple en z = 0 et un ple d'ordre 3 en z = 1.
Exemple : La fonction
3
z ( z 1)
voisinage de a. Le point a est un ple pour la fonction
27
Sance 2 - 1996
1
f (z)
Exemple : la fonction
ez
=e
x +y
y
2
x +y
a un point essentiel en z = 0.
point critique : la fonction f (z) ne reprend pas la mme valeur quand on suit un chemin faisant un tour
autour de a. On dit que f (z) est une fonction multiforme ou qu'elle a plusieurs dterminations en un
point. On change de dtermination en faisant un tour autour du point a.
Exemple : la fonction ln z dfinie par ln ( e i ) = ln + i augmente de 2 i quand on fait un tour
autour du point 0.
On peut rendre uniforme une fonction plusieurs dterminations en pratiquant une coupure dans le plan
complexe. Cette coupure constitue une barrire qu'on peut contourner, mais qu'on ne peut pas franchir.
Chaque fois qu'on franchit la coupure, on change de dtermination.
Exemple : la fonction ln z est rendue uniforme dans le plan complexe par une coupure allant de 0 l'infini
sur l'axe rel. Dans le plan coup, on choisit une dtermination : la fonction ln z est alors bien dfinie en
tout point du plan et elle est holomorphe dans le plan coup. La dtermination ln z = ln + i avec 0 <
2 est appele la dtermination principale du logarithme.
Remarques sur les singularits.
1
z
et en tudiant les
1+ i z
La fonction Arc tg z =
2i
ln
La fonction logarithme a un point critique en z = 0 et un point critique l'infini, donc tout point en lequel
est nul ou infini est un point critique de la fonction Arc tg z .
La fonction Arc tg z a pour singuliers les points z = i et z = i qui sont des points critiques.
Si on change z en
1
z
28
Sance 2 - 1996
1+ i z
1 i z
1+
z = 1 ln z + i = 1 ln i( 1 iz )
i
2i
2i
2i
i( 1 + iz )
z
zi
1
z
Cette fonction a les mmes points singuliers que la fonction Arc tg z : il n'y a pas de singularit en z = 0. Donc la
fonction Arc tg z n'a pas de singularit l'infini.
Arc tg
ln
i 1
i 2
On a
1 + i z = i ( z i ) = 1 e
i 1 +
i 2
1 i z = i ( z + i ) = 2 e
i
1
1
i (1 2 + )
ln
Arc tg z =
ln 1 e
+ ( 1 2 + + 2 k )
=
= ln
2
2
2i
1 i z 2 i
2
2
1
Pour rendre uniforme la fonction Arc tg z, il faudra couper le plan de telle sorte que
( 1 2 + + 2 k )
2
reprenne la mme valeur aprs un chemin quelconque revenant au mme point. Donc ou bien 1 augmente de 2
et alors 2 doit aussi augmenter de 2 (coupure joignant les deux points i et + i sans passer par l'infini), ou
bien 1 et 2 ne peuvent pas augmenter de 2 (coupure joignant i l'infini, et + i l'infini).
1
1+ i z
Comme on veut partir du point z = 0, on choisira une coupure joignant i et + i en passant par l'infini.
+i
0
i
3
+ , des valeurs de 2 allant de +
.
pour cela des valeurs de 1 allant de
2
2
2
2
La fonction Arc tg z est alors dtermine par :
29
Sance 2 - 1996
Arc tg z =
1
2
( 1 2 + )
ln
3
2
< 1 +
2 < +
3
2
1
1
+i
1
2
( Arc tg 2 ) +
30
Sance 2 - 1996
i
4
ln 5
Exercice 4
1
ln ( z +
z 1 ).
Corrig de l'Exercice 4.
1/ Points singuliers de la fonction Arc cos z.
La fonction Arc cos z est dfinie partir d'un logarithme : elle aura pour point critique tout point annulant
l'argument du logarithme. Or les solutions de l'quation
z+
z 1 = 0
vrifient
z2 = z2 1
Il n'y a pas de solution. La fonction logarithme n'introduit donc pas de point critique dans la fonction Arc cas z.
2
z 1 . Comme toute fonction puissance, elle est dfinie partir du logarithme par :
zn = en ln z
Si n est entier, la dtermination est la mme quelle que soit la dtermination du logarithme. Par contre, si n
n'est pas un entier, le choix de la dtermination du logarithme a une influence sur la valeur finale de la fonction.
Donc si la puissance n'est pas entire, il y a un point singulier pour chaque valeur de z qui annule l'argument de
la puissance. Ici, les points singuliers seront les points z = 1 et z = + 1. Ces points singuliers sont des points
critiques puisqu'on change de dtermination en tournant autour de l'un d'eux.
1
z
1
1
1
2
[ ln ( 1 + 1 z ) ln z ]
+
1
ln
=
2
i
i
z
z
z
Cette fonction a un point critique pour z = 0. Donc la fonction Arc cos z a un point critique l'infini.
Arc cos
En rsum :
La fonction
i 1
i 2
on obtient :
31
Sance 2 - 1996
Arc cos z =
ln z +
e2
ln ( 1 2 ) +
(1 + 2 + 2 k )
ln z +
1 2
e2
(1 + 2 + 2 k )
i
i
Une fois choisie la valeur de la constante k, c'est--dire la dtermination du logarithme, si l'on tourne un tour
autour du point 1, 1 augmente de 2 . Pour que la fonction Arc cos z ne change pas de dtermination, il
faudra que 2 augment aussi de 2 : la coupure qui rendra Arc cos z uniforme doit empcher que l'on tourne
sparment autour des deux points critiques 1 et 1 : elle doit joindre ces deux points. Comme le point
l'infini est aussi un point critique, la coupure doit rejoindre le point l'infini.
La coupure joindra les points 1 et + 1 en passant par le point l'infini : comme on veut viter que la coupure
passe par les points 0 et 2, qui sont le point de dpart et le point d'arrive du chemin que l'on veut suivre, on
pratiquera une telle coupure par :
une demi-droite d'ordonnes ngatives joignant le point 1 l'infini
une demi-droite d'ordonnes ngatives joignant le point + 1 l'infini
+1
on a
i
Arc cos z =
Pour z = 0, on a 1 = 2 = 1, il reste :
1
i
ln z +
1 2
e2
(1 + 2 + 2 k )
( 1 + 2 + 2 k )
2
Avec la dtermination principale du logarithme ( k = 0 ), il suffit de prendre 1 = 0 , 2 = . Ceci impose de
prendre pour dtermination de la fonction
Arc cos 0 =
Arc cos z =
1
i
ln z +
1 2 e
1 +2
1 <
3
2
2 <
3
2
Quand on suit le demi-cercle de centre 1 et de rayon 1, d'ordonnes positives pour alles du point 0 au point 2,
on ne traverse pas la coupure, la dtermination reste la mme. Au point z = 2, on a :
1 = 0
1 = 3
2 = 1
2 = 0
1
1
ln ( 2 + 3 ) = i ln ( 2 + 3 ) = i ln
= i ln ( 2 3 )
Arc cos 2 =
i
2+ 3
Arc cos 2 = i ln ( 2
32
Sance 2 - 1996
3 )
Sance 3
INTEGRATION DES FONCTIONS DE
VARIABLE COMPLEXE
Exercice 1
1/ Calculer l'intgrale
2/ Calculer l'intgrale
1
1
dz , tendue au cercle trigonomtrique (C) de centre O ( 0 ; 0 ) et
z +
z
(C) 2
de rayon 1 parcouru dans le sens direct.
z 1
(C)
z +1
(C ) z +1
parcouru dans le sens direct.
Corrig de lExercice 1.
1/ Intgrale
(C) 2
z +
1
z
dz
1
1
z +
a, lintrieur du contour dintgration, un ple simple en 0. En ce ple, le rsidu
2
z
1
est le coefficient de
dans le dveloppement en srie de Laurent. Or la fonction est dj prsente sous forme
z
1
de dveloppement en srie de puissances de z. Le rsidu en 0 est le coefficient .
2
La fonction
Le thorme des rsidus indique que lintgrale dune fonction de variable complexe sur un contour ferm
est gal au produit de 2 i par la somme des rsidus aux ples situs lintrieur du contour dintgration,
lintrieur tant gauche du sens de parcours. On obtient donc ici :
1
1
1
dz = 2 i = i
z +
2
z
(C) 2
1
1
dz = i
z +
z
(C) 2
33
Sance 3 - 1996
2/ Intgrale
La fonction
z 1
z +1
(C)
z 1
dz .
z +1
coefficient du terme
1
z +1
z 1
z 1
3/ Intgrale
(C)
z 1
z +1
z 1
(C)
z +1
dz = 4 i
dz .
z 1 2
La fonction
a un ple dordre 2 au point 1 situ lintrieur du contour dintgration. Pour
z +1
calculer le rsidu en ce ple, il faut dvelopper la fonction en srie de Laurent autour du point 1.
z 1
2
=1
z +1
z +1
z 1 2
2
2
4
4
+1
=
= 1
2
z +1
z +1
( z + 1)
z +1
(C ) z +1
(C)
z 1 2
dz = 8 i
z +1
34
Sance 3 - 1996
Exercice 2
Calculer l'intgrale
(z+a) e
4
2 i (C)
z
de rayon 1 parcouru dans le sens direct.
Corrig de lExercice 2.
La fonction
(z+a) e
1/ Cas o a = 0.
(z+a) e
1
1
z
zn
+
+
+
+
+
4
( n + 3 )!
2 z 6 24
z3
z3
z2
z
1
1
Le rsidu en z = 0 est le coefficient de
dans ce dveloppement, cest . Le thorme des rsidus donne alors
z
2
la valeur de lintgrale :
=
ez
2i
ez
(C)
dz =
1
2
2/ Cas o a 0.
(z+a) e
a+3 a+4
a+n+4 n
z +
+
+ +
( n + 4 )!
6z
24
z
z
z
z
2z
z
1
a+3
dans ce dveloppement, cest
. Le thorme des rsidus donne
Le rsidu en z = 0 est le coefficient de
6
z
alors la valeur de lintgrale :
4
ez
+ a
ez
a +1
2i
a+2
2
(z+a) e
(C)
35
Sance 3 - 1996
dz =
a+3
6
Exercice 3
Calculer l'intgrale
cos 3x
2 + cos x
dx
Corrig de lExercice 3.
1/ Rduction du problme une intgration dans le plan complexe.
Tout dabord, remarquons les symtries de lintgrale, due la parit de la fonction cosinus : si lon pose
x = 2 x
lintgrale devient :
cos 3x'
cos 3x
2 cos 3x
dx =
dx
( dx) =
2 + cos x
0 2 + cos x
2 2 + cos x'
de sorte que lon a :
cos 3x
1 2 cos 3x
dx =
dx
2 0 2 + cos x
0 2 + cos x
dz
. Lorsque x dcrit le segment [ 0 ; 2 ], la variable z
z
( C ) dans le sens direct.
6
6
( z + 1) z
z +1
1
1
z3 + 3
= 2 2
= 3 2
1 1
z ( z + 4z + 1) z ( z + 4z + 1)
z
2 + z +
z
2
Posons z = e i x . On a dz = i e i x dx , ou dx = i
dcrit le cercle trigonomtrique
cos 3x
1
=
2 + cos x 2
2
0
cos 3x
2 + cos x
dx = i
z +1
(C)
dz
z ( z + 4z + 1)
La fonction
z +1
z +1
(C)
z ( z + 4z + 1)
dz = 2 i (R0 + R 2+
Calcul du rsidu en 0.
R0 est le coefficient du terme en z2 du dveloppement en puissances de z de la fonction
division euclidienne des polynmes permet de calculer :
1+ z
1+ 4z + z
= 1 4 z + 15 z2 + 0 (z3)
donc R0 = 15.
Calcul du rsidu en 2 + 3.
36
Sance 3 - 1996
1+ z
1+ 4z + z
. La
z +1
z +1
3 ) 3 2
=
lim
3
z ( z + 4 z + 1 ) z 2+ 3 z ( z + 2 +
6
( 2 + 3 ) + 1
1
R 2 + 3 =
=
( 2 + 3 )3 +
3
3
( 2 + 3 )
( 2 + 3 ) (( 2 + 3 ) + 2 + 3 )
( 2 + 3 )3 = 8 + 12 3 18 + 3 3 = 26 + 15 3
26 15 3
1
1
= 26 15 3
=
=
3
676 - 675
26 + 15 3
( 2 + 3 )
26
R 2 + 3 =
3
R 2 +
=
lim
(z+2
3
z 2+ 3
z +1
(C)
z ( z + 4z + 1)
cos 3x
dz = 2 i (15
dx = i
0 2 + cos x
cos 3x
1
dx =
2
0 2 + cos x
26
z +1
3
dz =
+ 4z + 1)
dx =
(2+
3
0 2 + cos x
(C) z ( z
2 cos 3x
3)
2 3
cos 3x
2 + cos x
( 26 + 15
3 )3 =
dx =
3
3
37
Sance 3 - 1996
3 )=
2
3
3
3
(2
(2
3 )3
(2+
3 )3
3 )3
Exercice 4
Calculer l'intgrale
1
0
dx
3
( x + 2 ) 5 x (1 x )
Corrig de l'exercice 4.
Soit f (x) la fonction dfinie par
f (x) =
1
3
( x + 2) 5 x (1 x )
1/ Convergence de l'intgrale.
Vers 0.
f ( )
5 0
Vers 1.
f(1)
5 0
2
La convergence de l'intgrale est donc assure.
f (z) =
1
3
( z + 2) z 5 ( z 1) 5
1
1
f
=
2
z
1
1 1 5
+ 2 3 1
z
z5 z
1+
3
5
2
5
2
( 1 + 2 z) ( 1 z) 5
2
2
( 1 + 2 z) ( 1 z) 5
1
f
n'a pas de singularit en z = 0, donc f (z) n'a pas de singularit l'infini, qui est un zro d'ordre 2.
z
Posons
z = 1 e
i 1
z 1 = 2 e
i 2
38
Sance 3 - 1996
3
5
(z1)
f (z) =
1
3
( z + 2) z 5 ( z 1) 5
=e
2
5
3
5 ln z
= e
= 1
2
5 ln z
3
5
3 i 1
5
= 2
2
5
6ik
2 i 2
4 ik
3 i 1 2 i 2 10 i k
3
( z + 2) 1 5 2 5 e
f (z) =
1
3
( z + 2) 1 5 2 5
1
3
( z + 2) 1 5 2 5
3 i 1
5
2 i 2
5
i ( 3 1 + 2 2 )
La valeur de f (z) ne dpend finalement pas de la valeur choisie initialement pour la constante k dans la
dtermination du logarithme.
6
.
Lorsque 1 augmente de 2 , l'argument de ( z + 2 ) f (z) diminue de
5
4
.
Lorsque 2 augmente de 2 , l'argument de ( z + 2 ) f (z) diminue de
5
Donc si l'on fait un tour autour d'un point critique seul, la dtermination de f (z) change, alors que si l'on fait un
10
= 2 : la
tour autour des deux points critiques la fois, l'argument de ( z + 2 ) f (z) diminue de
5
dtermination de f (z) ne change pas. On rendra donc uniforme la fonction f (z) par une coupure empchant de
tourner autour d'un seul point critique. Il faut que l'on puisse tourner autour des deux points critiques la fois ou
bien autour d'aucun point critique. Ceci est ralisable par une coupure joignant les deux points critiques : cette
coupure peut, ou non, passer par le point l'infini.
Comme l'intgrale que l'on s'est propos de calculer est une intgrale de 0 1, nous choisirons une coupure sur le
segment [ 0 ; 1 ] de l'axe rel.
Dans le plan ainsi coup, nous avons pour fonction f (z) :
f (z) =
1
3
( z + 2) 1 5 2 5
i ( 3 1 + 2 2 )
39
Sance 3 - 1996
3/ Contour d'intgration.
Nous intgrerons la fonction f (z) sur un contour form de deux morceaux :
Un grand cercle (C) de centre O et de rayon R qu'on prendra aussi grand qu'on veut, parcouru dans
le sens direct.
Un lacet entourant la coupure, parcouru en sens rtrograde, et constitu de
bord infrieur CD de la coupure, allant de 1 0
petit cercle 1 de rayon 1 aussi petit qu'on veut, autour du point 0
bord suprieur AB de la coupure, allant de 0 1
petit cercle 2 de rayon 2 aussi petit qu'on veut, autour du point 1
4/ Valeur de l'intgrale.
La fonction f (z) est holomorphe l'intrieur du domaine D limit par ce coutour, sauf au point z = 2 qui est
un ple simple. Le thorme des rsidus donne alors le rsultat :
f (z) dz = 2 i R 2
lim
1 0
2 0
R
lim
R
1 0
( C)
2 0
f (z) dz = 2 i R 2
f (z) dz + lim
1 0
2 0
f (z) dz + lim
AB
1 0
2 0
f (z) dz = 2 i R 2
CD
R
R
Max
z (C)
( lim ( R | f (z) | ) ) = 0
R
On a alors :
f (z) dz
( C)
f (z) dz
( C)
| f (z) | | dz |
( C)
2 Max
z (C)
Max
z (C)
( | f (z) | )
| dz | = 2 R Max
( C)
( R | f (z) | )
40
Sance 3 - 1996
z (C)
( | f (z) | )
lim
lim
f (z) dz
= lim
R
( C)
2 Max
f (z) dz
R z ( C )
( R | f (z) | ) ]
( lim ( R | f (z) | ) ) = 0
z (C)
( C)
2 lim [ Max
f (z) dz
( C)
lim
R
f (z) dz = 0
( C)
1 5 0 si 1 0,
2
donc pour tout z de 1 , lim ( 1 | f (z) | ) = 0 et Max [ lim ( 1 | f (z) | ) ] = 0
1 0
z 1
1 0
On a alors :
f (z) dz
f (z) dz
2 Max ( 1 | f (z) | )
lim
1 0
lim
1 0
| dz | = 2 1 Max ( | f (z) | )
z 1
z 1
f (z) dz
= lim
f (z) dz
1 0
f (z) dz
z 1
1 0 z 1
1 0
lim
1 0
f (z) dz = 0
2 5 0 si 2 0,
2
donc pour tout z de 2 , lim (2 | f (z) |) = 0 et Max [ lim ( 2 | f (z) | ) ] = 0
2 0
z 2
2 0
On a alors :
f (z) dz
f (z) dz
2 Max ( 2 | f (z) | )
lim
2 0
lim
2 0
| dz | = 2 2 Max ( | f (z) | )
z 2
z 2
f (z) dz
= lim
f (z) dz
2 0
z 2
f (z) dz
2 0 z 2
2 0
lim
2 0
f (z) dz = 0
41
Sance 3 - 1996
1 = 0
2 =
dz = dx
f (z) =
2 i
5
f (z) dz = e
( z + 2) 1 5 2 5
i ( 3 1 + 2 2 )
( x + 2)
1 2
( x + 2) 5 x (1 x )
1 0
2 0
x (1 x )
dx
2 i
lim
AB
2 i
f (z) dz = e
AB
1
0
1
( x + 2)
x (1 x )
dx
1 = 0
2 =
dz = dx
f (z) =
2 i
CD
2 i
( z + 2) 1 5 2 5
f (z) dz = e
i ( 3 1 + 2 2 )
=
( x + 2)
x (1 x )
1 2
( x + 2) 5 x (1 x )
lim
1 0
2 0
dx = e
2 i
f (z) dz = e
CD
2 i
1 2
1
( x + 2) 5 x (1 x )
( x + 2) 5 x (1 x )
dx
dx
Total.
En rassemblant les morceaux d'intgrale, la relation
lim
R
1 0
devient :
(e
2 0
2 i
5
2 i
f (z) dz + lim
1 0
2 0
( x + 2) 5 x (1 x )
( x + 2) 5 x (1 x )
dx =
f (z) dz + lim
AB
1 0
2 0
f (z) dz = 2 i R 2
CD
dx = 2 i R 2
R 2
2
sin
5
Comme le point z = 2 est un ple simple, le rsidu en ce point peut se calculer par la formule :
R 2 = lim [ ( z + 2 ) f (z) ]
Pour z = 2, on a :
z 2
42
Sance 3 - 1996
1 = 2
2 = 3
1 = + 2 k
2 = + 2 k
( z + 2 ) f (z) =
3
5
1 2
2
5
i ( 3 1 + 2 2 )
= 2
3
5
2
5
i (3 + 6 k + 2 + 4 k )
= 2
3
5
2
5
Il vient alors :
R 2 = lim [ ( z + 2 ) f (z) ] = 2
3
5
z 2
2
5
1
= 5
72
Or sin
2
5
= 2 sin
cos
1
3
( x + 2) 5 x (1 x )
5 +1
5 5
=2
dx =
5
2
72
sin
5
( 5 + 1)
5 5
1+ 5
5
2
1+ 5
.
2
On peut donc crire la valeur de l'intgrale sous la forme :
1
0
1
3
( x + 2) 5 x (1 x )
dx =
2 5
=
5 3
1
0
1
3
( x + 2) 5 x (1 x )
dx =
4
9
( x + 2) 5 x (1 x )
( x + 2) 5 x (1 x )
43
Sance 3 - 1996
5
= 10
162
Approximativement :
1
dx = 0, 447 020
dx = 1, 404 355
1+ 5
2
en
44
Sance 3 - 1996
Sance 4
DISTRIBUTIONS
Exercice 1
Soit T une distribution sur R. Montrez les proprits suivantes :
1/ x T = 0 ( c C ) ( T = c )
2/ Pour que la drive de T soit nulle, il faut et il suffit qu'il existe un nombre complexe c vrifiant
T = c 1,
o 1 est la distribution dfinie par < 1 , > =
(x) dx.
Corrig de l'Exercice 1.
Dfinitions.
On appelle "fonction de base" sur R, toute fonction : R C indfiniment drivable support born (le
support d'une fonction est le plus petit ensemble ferm en dehors duquel la fonction est nulle). Les fonctions
de base sur R forment un espace vectoriel D sur C.
1
1 x
f (t) (t) dt
Par exemple, la "fonction de Heaviside" (x) gale 0 pour x 0 et 1 pour x > 0 dfinit la
distribution de Heaviside :
45
Sance 4 - 1996
<,>=
(t) dt
Proprits.
Si est une fonction indfiniment drivable, pas ncessairement support born, et T une distribution, on
peut dfinir la distribution T par
<T,>= <T,>
puisque est une fonction de base, chaque fois que est une fonction de base.
dT
<
dT
dx
dx
par
,>= <T,
d
dx
>.
Contrairement aux fonctions, une distribution est toujours drivable. Comme une fonction peut dfinir une
distribution, on peut se demander quel rapport il y a entre la drive au sens des fonctions et la drive au
sens des distributions. Ce rapport est le suivant : si lon considre une fonction f drivable partout sauf en un
point x0 o la fonction prsente un saut 0 = f (x0+ ) f (x0 ), la drive de f , qui est presque partout
df
dfinie (dfinie partout sauf sur un ensemble de mesure nulle), dfinit une distribution au moyen dune
dx
df
de la distribution dfinie par la fonction f
intgrale ; cette distribution est lie la distribution drive
dx
par la formule :
df
= + 0 .
dx dx
df
Dmonstration :
x0
+ d
df
d
d
d
,>=<f,
>=
f
dx =
f
dx
f
dx
<
dx
dx
dx
dx
x0
dx
Pour chaque morceau dintgrale, on intgre par parties :
x0
x0
x0
d
x
f
dx = [ f ] 0 +
f dx = f (x0) (x0) +
f dx
dx
+ d
+
+
+
f
dx = [ f ] + +
f dx = + f (x0+) (x0) +
f dx
x0
dx
x0
x0
x0
Par addition, il vient :
df
d
f
dx = [ f (x0+) f (x0) ] (x0) +
f dx = < 0 , > + < , >
dx
dx
46
Sance 4 - 1996
Exemple : soit la distribution de Heaviside, dfinie par la fonction gale 0 pour x ngatif et 1 pour x
positif. Au point 0, elle prsente un saut gal 1. Sa drive au sens des fonctions est presque partout nulle
puisque la fonction est constante par intervalles. Sa drive au sens des distributions est donc
d
dx
= .
1/ x T = 0 ( c ) ( c C et T = c ).
a) ( c ) ( c C et T = c ) x T = 0
Pour toute fonction de base , on a, en effet, lorsque T = c :
< x T , > = < T , x > = < c , x > = c < , x > = c 0 (0) = 0
et ceci montre que x T est la distribution nulle :
x T = 0.
b) x T = 0 ( c ) ( c C et T = c )
T est nulle pour toute fonction de base de la forme = x o est une fonction de base.
En effet, on a, lorsque = x :
<T,>= <T,x>= <xT,>= <0,>= 0
Pour qu'une fonction de base soit de la forme = x , il faut et il suffit que l'on ait (0) = 0.
En effet, si = x , on a (0) = 0, et, rciproquement, si (0) = 0, la fonction (x) =
( x )
est
x
indfiniment drivable en dehors de 0 et la formule de Taylor, applique la fonction (x) montre que
c'est encore vrai pour 0.
Considrons alors une fonction de base , fixe une fois pour toutes, telle que (0) = 1. Toute fonction de
base peut tre crite sous la forme = + avec C et D. Il suffit de prendre
= (0) et = (0)
car, dans ce cas :
(x) = (0) (x) + (x) (0) (x) = (x) + (x) = ( + ) (x)
On a alors
(0) = (0) (0) (0) = (0) (0) 1 = (0) (0) = 0,
donc
< T, > = 0,
c'est--dire
< T , (0) > = 0,
ou
< T , > < T , (0) > = 0
< T , > = < T , (0) > = < T , > (0) = c (0)
en notant c la constante < T , >. La relation < T , > = c (0) s'crit aussi :
<T,>= <c,>
On a donc T = c .
2/ dT = 0 ( c ) ( c C et T = c 1 )
dx
a) ( c ) ( c C et T = c 1 )
dT
= 0.
dx
47
Sance 4 - 1996
b)
dx
dx = c [ (x) ] = 0
dT
= 0 ( c ) ( c C et T = c 1 )
dx
Si
dT
dx
0=<
dT
,>= <T,
>= <T,
>
dx
dx
dx
Ceci montre que T est nulle pour toute fonction de base qui est la drive d'une fonction de base :
d
) <T,>=0))
(1)
( ) ( D ( ( ) ( D et =
dx
Pour qu'une fonction de base soit la drive d'une fonction de base , il faut et il suffit que l'on ait :
(t) dt = 0
( ) ( D ( ( ) ( D et =
) <1,>=0))
dx
En effet, considrons une fonction de base . S'il existe une fonction de base telle que =
<1,>=
(x) dx =
dx =
dx
, on a :
dx
dx
(2)
dx = [ (x) ] = 0
dx
Les relations (1) et (2) entranent la relation :
()(D (<1,>=0 <T,>=0))
(3)
Considrons alors une fonction de base quelconque . Soit une fonction de base telle que < 1 , > 0.
1,
. On obtient : 0 = < 1 , > a < 1 , > = < 1 , > < 1 , a > = < 1 , a >. La
Posons a =
1,
relation (3) entrane < T , a > = 0 et l'on a :
1,
<T,>=
<T,>= <T,a>= a<T,>=
1,
relation qui montre que T est de la forme c 1, avec c =
distribution constante.
48
Sance 4 - 1996
T,
1,
T,
1,
<1,>=
T,
1,
1,
Exercice 2
Trouver la limite, quand h tend vers 0, dans l'espace D des distributions sur R , de
h h
.
2h
Corrig de lExercice 2.
Pour toute fonction de base D, on a :
h
( h ) ( h)
< h
,>=
2h
2h
Daprs le thorme des accroissements finis, comme la fonction est continue et drivable, il existe un nombre
compris entre 1 et 1 tel que l'on ait :
( h ) ( h)
= ' (h)
2h
Si h tend vers 0, h tend vers et 0 et ' (h) tend vers ' (0).
h
h
( h ) ( h)
Donc < h
,>=
tend
= ' (h) tend vers ' (0) = < ' , >, c'est dire que h
2h
2h
2h
vers '.
h h
= '
2h
h0
lim
49
Sance 4 - 1996
Exercice 3
( x ) dsignant la fonction de Heaviside, calculer, au sens des distributions :
1/
( x ) ex
dx
( x ) sin x
d2
2
+
2/
dx 2
3/
dx
( x ) x m1
pour m entier 1
(m 1)!
Corrig de l'Exercice 3.
d
1/
( x ) ex
dx
La formule donnant la drive, au sens des distributions, du produit d'une fonction indfiniment drivable e x
par une distribution (x) est, formellement, la mme que celle qui donne la drive usuelle d'un produit de
fonctions :
x
d
d ( x ) x
d( e )
x
e + (x)
(x)e
=
dx
dx
dx
dx
(x) = (0) puisque, pour toute fonction de base
< , > = < , > = (0) (0) = (0) < , > = < (0) , >
donc e x =
d( e
= e x car la drive au sens des fonctions concide pour une fonction drivable avec la
dx
drive au sens des distributions, puisqu'une fonction drivable est continue et n'a pas de saut.
Il en rsulte que la drive de ( x ) e x au sens des distributions est donne par :
d
( x ) ex = + ( x ) ex
dx
d'o :
d
( x ) ex =
dx
d2
( x ) sin x
2/
+ 2
2
dx
d
sin x
sin x d ( x )
+ (x) cos x = sin 0 + (x) cos x = (x) cos x
=
(x)
dx
dx
sin x
d
d ( x )
d
=
(
x
)
(
x
)
cos
x
(x) sin x = (x) sin x
= cos x
2
dx
dx
dx
50
Sance 4 - 1996
d2
( x ) sin x
+ 2
=
dx
3/
( x ) x m1
pour m entier 1
m
dx (m 1)!
d
Pour m = 1.
On a :
( x ) x m1 d ( x )
=
=
m
dx
dx (m 1)!
d
dx
( x ) x m1
=
(m 1)!
pour un entier m 1.
On a alors, pour l'entier m + 1 :
d
m+1
dx
m+1
( x ) x m
m!
dx
=
dx
=
dx
=
dx
=
m
d ( x ) x
dx
m!
m!
( m 1 )!
m1
x
0 + (x)
( m 1 )!
m1
x
(x)
( m 1 )!
x
+ (x)
m1
dx
( x ) x m1
=
(m 1)!
51
Sance 4 - 1996
52
Sance 4 - 1996
Sance 5
CONVOLUTION
Exercice 1
Soit (x) la fonction de Heaviside.
1/ Calculez le produit de convolution (x) e x (x) e x .
2/ Calculez le produit de convolution (x) sin x (x) sh 2x .
Corrig de l'Exercice 1.
Il faut commencer par donner quelques dfinitions et proprits.
Dfinition.
Si f et g sont deux fonctions localement sommables, alors la fonction h dfinie par :
h (x) =
f ( x t ) g ( t ) dt
lorsque l'intgrale existe, est une fonction localement sommable qu'on appelle le "produit de convolution" de f
et g et qu'on note :
h = f g
Proprits.
f g = g f. Le produit de convolution est commutatif.
En effet, si l'on pose x t = u, on a du = dt et :
( f g ) (x) =
f ( u ) g ( x u ) du =
f ( u ) g ( x u ) du = ( g f ) (x)
f (x t) g (t) dt
Dfinitions.
53
Sance 5 - 1996
Le support d'une distribution est le plus petit ensemble ferm en dehors duquel la distribution est nulle.
Ceci veut dire que si une fonction de base a son support en dehors du support de la distribution T, on a
< T , > = 0.
Si S et T sont deux distributions sur R, on appelle "produit de convolution" de S et T, la distribution,
lorsqu'elle existe, dfinie par :
< S T , > = < Sx , < Ty , ( x + y ) > >
Condition d'existence : les supports A et B de S et T sont tels que, pour tout x A et pour tout y B :
x + y born x born et y born
Proprits.
(m) T =
d T
dx
(m)
( x )sin x
( x ) x
m1
( m 1 )!
Soit le cercle trigonomtrique dans R2 , toute distribution sur a son support born. Le produit de
convolution de deux distributions sur existe toujours et les distributions sur forment une algbre de
convolution D' ().
1/ (x) e x (x) e x .
Nous avons affaire ici au produit de convolution de deux distributions dfinies par des fonctions support born
gauche contenus dans l'intervalle [ 0 ; + [. Le produit de convolution des deux fonctions est dfini par :
(x) e x (x) e x =
(x t) e ( x t ) (t) e t dt =
54
Sance 5 - 1996
(x t) e ( x t ) (t) e t dt
(x t) e ( x t ) (t) e t dt = 0.
(x) e x (x) e x =
e ( x t ) (t) e t dt = e x
(t) e ( ) t dt
(t) e ( ) t dt =
x
0
e ( ) t dt.
( x) e x ( x) e x =
e ( ) t dt =
dt = x
0
(x) e x (x) e x = x e x
2me cas : .
e ( ) t dt =
( e()x 1 )
( e()x 1 ) ex =
En rsum :
( x) e
( x) e
( x) x e x
x
x
=
e
e
(
x
)
si =
si
ix
2x
ix
2x
ix
2x
ix
2x
1
e
e
e
e
e
e
e
e
(x)
+ (x)
(x)
=
(x)
4i
i2
i+2
i2
i+2
1
1
1
1
1
+
=
(x) ( e i x e i x )
(x) ( e 2 x e 2 x )
4i
i2 i+2
i2 i+2
2
1
( x )
(x) sh 2 x =
( sh 2 x 2 sin x )
= (x) sin x +
5
5
5
55
Sance 5 - 1996
( x )
Remarques importantes.
(x) sin x
= (x)
ix
ix
( sh 2 x 2 sin x )
= (x) e i x (x) e i x
2i
= ( ' i ) 1 ( ' + i ) 1 = [ ( ' i ) ( ' + i ) ] 1 = ( " + ) 1
(x) sh 2 x
= (x)
2x
2x
= 2 (x) e 2 x (x) e 2 x
2
= 2 ( ' 2 ) 1 ( ' + 2 ) 1 = 2 [ ( ' 2 ) ( ' + 2 ) ] 1 = 2 ( " 4 ) 1
(x) sin x (x) sh 2 x = 2 ( " + ) 1 ( " 4 ) 1
= 2 [ (" + ) (" 4 ) ] 1
= 2 ( ( 4 ) 3 " 4 ) 1
On a donc :
1 (4)
(
3 " 4 ) (x) sin x (x) sh 2 x =
2
Considrons l'oprateur diffrentiel D =
dx
1
2
dx
4 . Appliqu la distribution
( x)
10
( sh 2 x 2 sin x )
d f
dx
d f
dx
4f =0
dx x = 0
d2 f
dx 2
=0
x = 0
d3 f
dx 3
=1
x = 0
on est amen poser F (x) = (x) f (x) et considrer F comme une distribution support dans [ 0 ; + [.
Les drives successives de F au sens des distributions sont :
dF
df
=
dx
dx
2
2
d F
d f
=
2
2
dx
dx
3
3
d F
d f
=
3
3
dx
dx
4
4
d F
d f
=
+
4
4
dx
dx
et l'on a :
4
DF
d F
dx
d F
dx
4 F = ( ( 4 ) 3 " 4 ) F
56
Sance 5 - 1996
2
d4 f
d f
= (x)
3
4f +
4
2
dx
dx
=
( ( 4 ) 3 " 4 ) F =
On a donc :
F = ( ( 4 ) 3 " 4 ) 1 =
1
2
( x)
10
( sh 2 x 2 sin x )
et
f (x) =
1
10
( sh 2 x 2 sin x )
La connaissance de cette solution lmentaire permet, par convolution, de rsoudre l'quation avec un second
membre non nul et de trouver toute solution vrifiant des conditions initiales donnes.
Par exemple, si l'on cherche la solution de l'quation diffrentielle :
4
d f
dx
d f
dx
4 f = 2 ex
dx x = 0
d2 f
dx 2
=0
x = 0
d3 f
dx 3
=0
x = 0
on posera F (x) = (x) f (x). Les drives de F au sens des distributions sont :
dF
df
=
dx
dx
2
2
d F
d f
=
+
2
2
dx
dx
3
3
d F
d f
=
+ '
3
3
dx
dx
4
4
d F
d f
=
+ "
4
4
dx
dx
et l'on a :
D F = D f + ( " 3 ) = 2 (x) e x + ( " 3 )
( ( 4 ) 3 " 4 ) F = 2 (x) e x + ( " 3 )
d'o :
F
= ( ( 4 ) 3 " 4 ) 1 ( 2 (x) e x + ( " 3 ) )
( x)
=
( sh 2 x 2 sin x ) ( 2 (x) e x + ( " 3 ) )
10
et il reste seulement calculer les produits de convolution qui interviennent.
57
Sance 5 - 1996
Exercice 2
Soit la distribution de Dirac, (x) la fonction de Heaviside, D+ l'espace des distributions sur R support
born gauche. Trouvez les inverses dans D+ des distributions suivantes :
1/ 5 + 6
2/ +
3/ (x) e x +
Corrig de l'Exercice 2.
1/ Inverse de " 5 ' + 6 .
" 5 ' + 6 = ( ' 2 ) ( ' 3 )
( " 5 ' + 6 ) 1 = ( ' 2 ) 1 ( ' 3 ) 1 = (x) e 2 x (x) e 3 x = (x) ( e 3 x e 2 x )
( " 5 ' + 6 ) 1 = (x) ( e 3 x e 2 x )
2/ Inverse de + ".
+ " = ' 1 + " = ' 1 ( + "' ) = ' 1 ( ' + ) ( " ' + )
1+ i 3
1 i 3
= ' 1 ( ' + ) ( '
) ( '
)
2
2
1+ i 3
1 i 3
= ' ( ' + ) 1 ( '
) 1 ( '
)1
( + " ) 1
2
2
1+i
= ' (x) e
1+i
(x) e
1i
(x) e
(x) e
2
1+i
= (x)
( + " )
= ( (x) e
=
(x) e
i 3
1
(x) e
i 3
1
1+i
1+i
1+i
(x) e
(x) e
) (x)
1i
(x) e
(x) e
= (x)
1+i
= (x)
1 i 3
1i
i 3
1i
1+i
(x) e
(x) e
2
3
3
(x) e 2 sin
3
2
1i
+ (x) e
58
Sance 5 - 1996
(x) e
=
(x) e
1 + i 3
3 + i 3
1+i
i 3
3
1i
1i
2
1+i
(x) e
1 + i 3
1i
1+i
2
ex
1i
1i
(x) e
(x) e
= (x)
1+i
(x) e
(x) e
1i
x
+ (x) e
4i 3
(x) e
12
(x) e
( x) e
( 3 i 3 ) ( x) e
1
2
( x)
( + " )
( x)
e2
sin
( x) e 2
3
sin
( + " )
1+i
3
x
1
3
3
(x) e 2 cos
( x)
e2
x+
3 i 3
( 3 + i 3 ) ( x) e
( x)
1i
(x) e
1i
e2
1
3
cos
sin
2
3
x
x
x+
1
3
( x)
e2
cos
3
2
( x) e x
1
x ( x) e x
3
2
cos
x +
( x) e
x+
2
3
(x) e 2 sin
ex
2 i sin
e2
x
1
1+i
1i
2
2
2
(x) e
3 + i 3 3 i 3
3 + i 3
= (x) e
=
(x) e
1 i 3
3 i 3
(x) e 2 sin
3
x+
1
( x) e x
3
6
= ( ' ) (x) e
1+i
= ( ' ) (x)
x
'
(x) e 2 sin
( x)
e2
( x)
e2
( ' )
2
3
1i
( x) e
1i
2
3
i 3
= ( ' )
2
3
( x)
e2
sin
3
2
d 2
x =
( x)
x
e sin
2
2
dx
1
3
3
3
sin
x+
cos
x
2
2
2
2
sin
3
3
3
2
1
x =
(x) e 2 sin
x+
cos
x
2
2
2
2
2
3
3
59
Sance 5 - 1996
x
2
2
3
( x)
e2
cos
3
2
x+
6
x
( (x) e + ' )
x
(x) e 2 cos
60
Sance 5 - 1996
3
2
x+
Exercice 3
Rsoudre l'quation intgrale
une fonction inconnue, les deux ayant leur support dans l'intervalle [ 0 ; + [.
Corrig de l'Exercice 3.
Une quation intgrale comme celle qui est propose ici s'appelle une "quation intgrale de Volterra". Comme
g a son support dans [ 0 ; + [, cette quation est quivalente l'quation de convolution dans l'espace D'+ :
(x) x cos x f (x) = g (x)
Sa solution dans D'+ est donne par :
f = ( (x) x cos x ) 1 g (x)
Tout le problme est donc de dterminer l'inverse en convolution dans D'+ de la distribution (x) x cos x.
On peut crire :
(x) x cos x =
( x) x e
ix
+ ( x) x e
ix
2
On sait par ailleurs que pour tout C, on a (x) e x (x) e x = (x) x e x (voir dmonstration au
dbut du corrig de l'Exercice 1). On en dduit :
(x) x e i x = (x) e i x (x) e i x = ( ' i ) 1 ( ' i ) 1 = ( ' i ) 2
(x) x e i x = (x) e i x (x) e i x = ( ' + i ) 1 ( ' + i ) 1 = ( ' + i ) 2
Il vient alors :
(x) x cos x
=
=
=
( x) x e
ix
+ ( x) x e
2
1
2
1
ix
1
2
[ ( ' i ) 2 + ( ' + i ) 2 ]
2
= (" + ) 2 ( " )
= ( ( 4 ) + 2 " + ) 1 ( ' ) ( ' + )
L'inverse en convolution de la distribution (x) x cos x dans D'+ est donne par :
= ( ( 4 ) + 2 " + ) ( ' ) 1 ( ' + ) 1
( (x) x cos x ) 1
= ( ( 4 ) + 2 " + ) (x) e x (x) e x
= ( ( 4 ) + 2 " + ) (x)
2
= ( ( 4 ) + 2 " + ) (x) sh x
Les drives successives de la distribution (x) sh x sont :
' (x) sh x =
(x) ch x
" (x) sh x =
(x) sh x +
"' (x) sh x =
(x) ch x + '
( 4 ) (x) sh x =
(x) sh x + + "
et l'on obtient :
( ( 4 ) + 2 " + ) (x) sh x = 4 (x) sh x + " + 3
( (x) x cos x ) 1 = 4 (x) sh x + " + 3
La solution f = ( (x) x cos x ) 1 g (x) est donc donne par :
f = ( 4 (x) sh x + " + 3 ) g
61
Sance 5 - 1996
f (x) = 4 (x)
sh ( x t ) g (t) dt +
d g
dx
+ 3 g (x)
Dans cette expression il faut supposer que g (x) est une fonction deux fois drivable, puisque f est une
distribution rgulire, c'est--dire dfinie par une fonction localement sommable.
62
Sance 5 - 1996
Exercice 4
On dsigne par f (x) la solution de l'quation diffrentielle
y + 2 y + y + 2 y = 10 cos x
satisfaisant aux conditions initiales :
y (0) = 0,
y (0) = 0
y (0) = 4
On pose F (x) = (x) f (x), o (x) est la fonction de Heaviside. Ecrire l'quation diffrentielle satisfaite
par F (x) au sens des distributions. Dterminer alors F (x) en utilisant le calcul symbolique dans D+ .
Corrig de l'Exercice 4.
F (x) = (x) f (x)
dF
' F =
= f ' + f (0) = f '
dx
2
d F
= f " + f ' (0) + f (0) ' = f "
" F =
2
dx
3
d F
"' F =
= f "' + f " (0) + f ' (0) ' + f (0) " = f "' 4
3
dx
( "' + 2 " + ' + 2 ) F = ( f "' + 2 f " + f ' + 2 f ) 4 = 10 (x) cos x 4
( " + ) ( ' + 2 ) F = 2 ( 5 (x) cos x + 2 )
( ' + i ) ( ' i ) ( ' + 2 ) F = 2 ( 5 (x) cos x + 2 )
F = 2 ( ' + i ) 1 ( ' i ) 1 ( ' + 2 ) 1 ( 5 (x) cos x + 2 )
F = 2 (x) e i x (x) e i x (x) e 2 x ( 5 (x) cos x + 2 )
( x) e a x ( x) e i b x
=
a + ib
2
a + ib
2
a +b
( x) ( ea x e i b x )
a +b
( x )
( x )
a ea x a cos bx + b sin b x + i
b ea x b cos bx a sin b x
=
2
2
2
2
a +b
a +b
Or on a aussi :
( x) e a x ( x) e i b x
= (x) e a x (x) cos bx + i (x) e a x (x) sin bx
Par identification des parties relles et des parties imaginaires, on en tire :
( x )
a ea x a cos bx + b sin b x
2
2
a +b
( x )
(x) e a x (x) sin bx =
b ea x b cos bx a sin b x
2
2
a +b
63
Sance 5 - 1996
( x )
( e 2 x cos x + 2 sin x )
( x )
2
( x cos x + sin x )
( x )
x sin x
=
=
4
5
4
5
( x )
2x
+ 2 cos x + sin x
2e
5
( x )
x sin x + 2
( x )
2x
+ 2 cos x + sin x
2e
5
( x )
2
64
Sance 5 - 1996
( x cos x + sin x )
Sance 6
SERIES DE FOURIER
Exercice 1
1/ Calculez la srie de Fourier de la fonction f (x) gale x dans l'intervalle < x < , et priodique de
priode 2. Calculez
n=1
1
n
et
n=1
1
( 2n + 1)
2/ Calculez la srie de Fourier de la fonction g (x) gale x3 dans l'intervalle < x < , et priodique de
sin 2 x
sin n x
priode 2. En dduire la valeur de sin x
+ + ( 1) n+1
+ .
3
3
2
n
3/ Montrez que l'on peut dduire les dveloppement trouvs de celui de () sur le cercle de longueur 2 .
Corrig de l'Exercice 1.
Srie de Fourier d'une fonction priodique.
Si f est une fonction priodique de priode T, on appelle srie de Fourier de f la srie :
c (f) e
nix
n Z*
( a rel quelconque )
La srie de Fourier de f existe ds que la fonction f est intgrable sur tout intervalle de longueur finie.
En tout point o f a une limite droite f (x+0) et une limite gauche f (x0), la somme de la srie de Fourier
de f est donne par la formule :
1
cn (f) e n i x = [ f (x0) + f (x+0) ]
2
n Z*
En particulier, en un point o f est continue, f (x) est gal la somme de sa srie de Fourier :
f (x) =
c (f) e
nix
n Z*
Les fonctions de carr sommable sur une priode, c'est--dire telles que l'intgrale
a+T
65
Sance 6 - 1996
| f (t) |2 dt existe,
| cn (f) | 2 =
n Z*
a+T
| f (t) |2 dt
Si le produit de convolution f g existe, les coefficients de Fourier du produit de convolution sont donns par :
cn ( f g ) = T cn (f) cn (g)
nT
n Z*
Comme le cercle est born, toute fonction indfiniment drivable de l'abscisse curviligne s (dfinie un
multiple entier prs de la priode) est une fonction de base sur : les fonctions en i s sont des fonctions de
bases sur .
A une distribution T de D' ( ), on peut associer sa srie de Fourier :
c (T)e
n
ni x
n Z*
>
Pour une distribution dfinie par une fonction priodique localement sommable, on retrouve la formule donnant
les coefficients de Fourier de la fonction, l'intgrale s'tendant un intervalle d'une priode.
Les sries de Fourier des distributions sur possdent les proprits essentielles des sries de Fourier de
fonctionss priodiques de priode T. Notamment, les coefficients de Fourier d'un produit de convolution sont
donns par :
cn ( T S ) = T cn ( T ) cn ( S )
Il y a cependant des diffrences importantes avec les sries de Fourier de fonctions :
La srie de Fourier d'une distribution T sur (o d'une distribution priodique sur R ) converge toujours
vers cette distribution : une distribution est toujours gale la somme de sa srie de Fourier. En particulier,
sur R :
1 ni x
1
nT =
e
=
eni x
T
T
n Z*
n Z*
n Z*
La drivation terme terme d'une srie de Fourier de distribution de D' ( ) est toujours une opration
lgitime :
m
c (T )( i n ) e
dx
1
= T ( i n ) e
Pour qu'une srie trigonomtrique c e
converge vers une distribution sur , il faut et il suffit
d T
ni x
n Z*
(m)
nT
n Z*
ni x
n Z*
ni x
n Z*
que la suite des | cn | soit majore par une puissance de n quand n tend vers l'infini.
66
Sance 6 - 1996
x e n i x dx =
u dv = u v v du
=
=
x=+
ni
1
ni
[ x e n i x ]x = +
( e
= ( 1 )n
= ( 1 )n
ni
2i
n
2i
+ e
1
ni
ni
1
ni
e n i x ( n 0).
e n i x dx
x=+
) + 2 [ e n i x ]x =
n
( eni eni )
D'o :
cn = i
Pour n = 0, on obtient c0 =
1
2
( 1) n
pour n 0
symtrique.
La srie de Fourier de la fonction f (x) est donc :
n Z*
( 1) n
n
nix
( 1) n
n=1
(e
nix
nix
) = 2
n=1
( 1) n + 1
sin n x
x = 2
n=1
( 1) n + 1
sin n x
< x <
Remarques.
La fonction f (x) est une fonction impaire : sa srie de Fourier n'a que des termes en sinus. Ce rsultat est
gnral. De faon analogue, la srie de Fourier d'une fonction paire n'a que des termes en cosinus.
Aux points de discontinuit de la fonction f (x), la somme de la srie de Fourier de f (x) prend la valeur
moyenne entre la limite droite et la limite gauche des valeurs de f (x) (rsultat d Jordan)
67
Sance 6 - 1996
( 1) n + 1
[ f(x+0) f(x0)]= 2
sin n x
n=1
2
intgration terme terme :
x
( 1) n
= 2
n=1
pour x
cos nx + constante
La valeur de la constante est le coefficient de Fourier d'indice 0 de la distribution dfinie par la fonction paire
continue de priode 2 gale
entre et :
2
c0 =
x
1
2
+ 2
( 1)
n
n=1
x=+
[ x 3 ]x =
12
dx =
pour x
cos nx
( 1) n
n=1
cos nx =
pour x
12
1
n
n=1
n=1
Comme la srie
n=1
1
n
12
1
n
est absolument convergente, on peut faire sur elle toutes oprations terme terme et
n=1
On en dduit :
1
n
m= 0
(2m
+ 1)
n= 0
(2m)
+ 1)
3
4
n= 0
n=1
(2n
+ 1)
m= 0
1
n
1
2
68
Sance 6 - 1996
m=1
(2n
(2m
+ 1)
4
1
n=1
1
n
( 2n + 1)
1
n=1
( 1) n
n=1
on obtient :
cos nx =
n=1
( 1)
sin nx =
pour x
12
x
12
12
+ constante
pour x
( 1)
( 1)
n=1
n=1
On en dduit :
x3
= 2 x + 12
= 2 2
n=1
n=1
( 1) n + 1
n+1
sin nx =
sin nx =
12
n+1
pour x
12
x
12
( 2 x2 )
pour x
sin nx
sin n x + 12
n=1
(1)
( 1)
( 1)
n
n=1
sin nx
2 2
12
3 sin nx
n
n
x3 =
n=1
2 2
12
3 sin nx
( 1 )n+1
n
n
69
Sance 6 - 1996
pour x
x=
enix
2
1
(1)
2
1
enix
' x = 1 2 ( )
puisque la drive de x au sens des fonctions est 1 et que la fonction gale x sur le cercle prsente un saut
de valeur 2 au point x = .
Sur le cercle , la srie de Fourier de est donne par :
nix
Par drivation terme terme, on obtient la srie de Fourier de ' sur le cercle :
' =
1
2
ine
nix
1re mthode.
Le coefficient de Fourier d'indice n d'un produit de convolution est gal au produit des coefficients de Fourier
d'indice n des facteurs, multipli par la priode ( 2 , gale la longueur du cercle ). La formule :
' x = 1 2 ( )
conduit alors la formule :
+
inc
nix
= 1
(1)
enix
x = 2
n=1
( 1)
n+1
sin nx
2me mthode.
La formule :
' x = 1 2 ( )
donne, par drivation :
" x = 2 ' ( )
x = 2 " 1 ' ( ) = 2 ' 1 ( )
Or
() () = (2) =
() = ()1
70
Sance 6 - 1996
Donc :
x = 2 '( ) 1
() =
(1)
(1)
i n einx
einx
( 1)
x=
( 1)
einx
n+1
einx
in
in
einx
2
1
(1)
+
'( ) =
x = 2
( 1)
n+1
n=1
sin nx
( 2 x x 3 ) = "'( ) 1
'( ) =
"( ) =
(1)
2
1
() =
i n einx
(1)
2
1
einx
(1)
2
1
71
Sance 6 - 1996
n+1
n2 einx
"'( ) =
"'( ) 1 =
1
12
1
12
1
2
(1)
( 1)
n+1
in
n 0
( x x ) = "'( )
3
n+1
einx
i n3 einx
( 1)
2in
n 0
+
( x x )=
2
n 0
( 1)
2in
72
einx
n+1
3
einx
Sance 6 - 1996
n+1
Exercice 2
1/ Soit T une distribution priodique de priode T. Montrez que sa srie de Fourier peut se mettre sous la
forme :
cos
2nx
T
n= 0
sin
n= 0
2nx
T
Corrig de l'Exercice 2.
1/ Srie de Fourier d'une distribution priodique.
A une distribution priodique T , de priode T, on peut faire correspondre de faon biunivoque une distribution
~
~
T sur le cercle de longueur T. La srie de Fourier de T est la srie de Fourier de T. Considrons alors
~
la srie de Fourier T =
. Les coefficients
~
< T , eni
>
T
~
En toute rigueur, il faut bien mettre T et non T , car, si la distribution est rgulire (dfinie par une fonction),
~
on intgre sur une priode, donc sur le cercle . Ce n'est que par abus de langage que l'on met T au lieu de T
dans cette dfinition, en identifiant les distributions priodiques de priode T sur R et les distributions sur le
cercle .
La srie de Fourier de T , sur laquelle on peut faire toutes oprations terme terme, s'crit :
~
T
c0 +
(c
e i n x + c n e i n x )
n=1
+
c0 +
(c
+ c n ) cos n x + i
n=1
(c
c n ) sin n x
n=1
~
Cette formule montre que l'on peut crire T sous la forme :
~
T =
n= 0
avec
a 0 = c0 =
1
T
~
< T , 1 >,
cos
2nx
n=1
an = cn + c n =
bn = i ( cn c n
73
Sance 6 - 1996
sin
2nx
T
2nx
~
< T , cos
>
T
T
2
2nx
~
) = < T , sin
>
T
T
2
Pour une fonction de base sur R, on appelle "symtrique" de et on note 1, la fonction de base sur R
dfinie par :
1 (x) = ( x)
Pour une distribution T sur R, on appelle "symtrique" de T et on note T1 la distribution sur R dfinie
par:
< T1 , > = < T , 1 >
Pour une fonction de base sur R, on note la fonction priodique de priode T associe :
+
(x) =
(x+nT)
En ralit, comme est support born, cette somme ne comporte pour chaque x qu'un nombre fini de termes.
On note aussi l'image de dans D ' (), dfinie par
+
(s) =
(s+nT)
~
~
< T , 1 > = < T , 1 > = < T , > = < T , >
~
donc T est impaire. En particulier, on a :
~
~
< T , e n i x > = < T , e n i x >
cn = c n
an = cn + c n = 0
Ainsi, tous les termes en cosinus du dveloppement en srie de Fourier de T sont nuls et
La srie de Fourier de la distribution impaire T se rduit une srie de sinus.
~
~
< T , 1 > = < T , 1 > = < T , > = < T , >
~
donc T est paire. En particulier, on a :
~
~
< T , e n i x > = < T , e n i x >
cn = c n
bn = cn c n = 0
Ainsi, tous les termes en sinus du dveloppement en srie de Foruier de T sont nuls et
La srie de Fourier de la distribution paire T se rduit une srie de cosinus.
74
Sance 6 - 1996
Exercice 3
Soient f et g deux fonctions priodiques de priode T, de carr intgrable sur une priode (espace L2 (T)).
1/ Montrez que
h(x)=
T
1
f ( x + t ) g ( t ) dt
0
est aussi une fonction priodique de priode T, de carr intgrable sur une priode.
2/ Calculez les coefficients de Fourier cn ( h ) de h en fonction des coefficients de Fourier cn ( f ) et cn (g)
de f et g.
3/ En admettant que pour tout x , la srie de Fourier de h (x) est convergente et a pour somme h (x),
montrez les formules :
+
ck ( f ) c k ( g ) =
k =
+
| ck ( f ) | 2 =
k =
1
T
1
T
a +T
f ( x ) g( x ) dx
a +T
| f ( x ) | 2 dx
Corrig de l'Exercice 3.
1/ La fonction h (x) dans L
(T).
1
f ( x + T + t ) g ( t ) dt
T 0
Comme f (x) est une fonction priodique de priode T, on a f (x + T + t ) = f (x + t) et il vient :
h (x + T) =
h (x + T) =
f ( x + T + t ) g ( t ) dt =
T 0
T 0
ce qui montre que h (x) est une fonction priodique de priode T.
f ( x + t ) g ( t ) dt = h (x)
Pour montrer que la fonction h (x) est une fonction de carr intgrable sur une priode, il suffit, par dfinition,
de montrer que lintgrale
1 T
| h (x) | 2 dx
T 0
est finie.
La dfinition de h (x) montre que lon a :
1 T
f ( x + t ) g ( t ) dt
| h (x) | =
T 0
Comme f (x) est une fonction de carr intgrable sur une priode, f (x + t) est une fonction de t de carr
intgrable sur une priode pour chaque valeur de x R. Dautre part, comme g (t) est une fonction de carr
intgrable sur une priode, la fonction conjugue g( t ), qui a le mme module que g (t), est de carr intgrable
1
T
(f,g)=
T
1
f ( t ) g( t ) dt
0
75
Sance 6 - 1996
f ( x + t ) g ( t ) dt = ( f ( x + t ) , g ( t ) ).
T 0
Cest donc un nombre fini. Donc | h (x) | 2 reste, lui aussi, fini et born par une constante A. On a alors :
1 T
1 T
| h (x) | 2 dx
A dx = A
T 0
T 0
Ceci montre que h (x) est une fonction de carr intgrable sur une priode et appartient lespace L 2 (T).
| h (x) | =
c n (h) =
2 in
T
h (x) e
dx
f ( x + t ) g ( t ) dt e
T
0
2 in
T
dx
2 in
T
x
T
f ( x + t ) g ( t ) dt e
dx
c n (h) = 2
T
0
0
Comme le produit f ( x + t ) g ( t ) est une fonction intgrable de x et de t sur une priode, le thorme de
Fubini peut sappliquer. Ce thorme indique que, puisque lintgrale double existe, elle peut se calculer en
intgrant dabord par rapport lune ou par rapport lautre des variables :
T
c n (h) =
2 in
f(x+t)g(t) e
dt dx
T
(D)
o (D) est le carr de ct T dans le plan (x,t).
En intgrant dabord par rapport x, il vient :
2 in
T
f(x+t)e
c n (h) = 2
T
0
0
Par changement de variable x + t = u, on a :
T
2 in
T
f(x+t)e
dx =
t+T
cn (h) =
1
T
T cn (f) e
t
(D)
2 in
du e T
du = T cn (f)
2 in
f (u) e
t
2 in
f (u) e
2 in
t+T
dx g ( t ) dt
g ( t ) dt = cn (f)
Or on a :
cn ( g ) =
1
T
donc :
cn ( g ) =
T
1
2 in
T
2 in
e T
0
g ( t ) dt
0
2 in
g ( t ) dt = c n (g)
cn (h) = cn (f) cn ( g )
76
Sance 6 - 1996
g ( t ) dt = cn (f) c n (g)
h (x) =
c (h) e
2 in
n=
T
1
n= +
f ( x + t ) g ( t ) dt =
0
2 in
cn (f) cn ( g ) e
n=
n= +
f ( t ) g ( t ) dt =
0
c (f) c
n
( g)
n=
n= +
f ( t ) g ( t ) dt =
0
c (f) c
n
( g)
n=
n= +
| f ( t ) | 2 dt =
0
| c (f) |
n
n=
77
Sance 6 - 1996
78
Sance 6 - 1996
Sance 7
TRANSFORMATION DE FOURIER
Exercice 1
1/ Soient f et g deux fonctions intgrables (c'est--dire appartenant l'espace L1 ) dfinie sur R. Montrez
que le produit de convolution dfini par : h ( x ) = f g =
L1 et
| f ( t )| dt.
e 2 i u f ( u ) du.
Corrig de lExercice 1.
1/ Le produit de convolution de deux fonctions de L1 est une fonction de L1.
Pour calculer
f ( x y ) g ( y ) dy
0 1
D( u ,v ) D( x , y )
+
+
h (x) dx =
f (u) g (v) du dv =
f (u) du
2
R
et cette relation montre que la fonction h (x) est intgrable, ds lors que f et g
hL =
1
h (x) dx
h (x) dx =
dx
= 1. On obtient donc :
g (v) dv
sont intgrables.
+
f ( x y ) g ( y ) dy dx
f (u) g (v) du dv =
2
R
hL fL gL
1
79
Seance 7 - 1996
f (u) du
g (v) dv
e 2 i x h (x) dx =
e2ix
f ( x y ) g ( y ) dy dx
u=xy
v=y
lintgrale devient :
F h () =
e 2 i ( u + v ) f (u) g (v) du dv =
e 2 i u f (u) du
Fh = Ff Fg
80
Seance 7 - 1996
e 2 i v g (v) dv
Exercice 2
Calculez la transforme de Fourier de la fonction f ( t ) dfinie par
f ( t ) = 21
pour
| t |< 1
pour
| t |= 1
pour
| t |> 1
Formule de rciprocit.
Corrig de lExercice 2.
Rsum : dfinitions et proprits de la transformation de Fourier.
Transforme de Fourier d'une fonction.
La transformation de Fourier d'une fonction, telle qu'elle a t dfinie plus haut par la formule :
F f () =
e 2 i t f (t) dt
peut s'appliquer toute fonction intgrable sur R. Les fonctions intgrables sur R ne sont qu'une classe
particulire de fonctions localement sommables. Elles dfinissent donc des distributions particulires : ces
distributions rgulires, dfinies par la formule
<f,>=
f (t) (t) dt
peuvent s'appliquer, en fait, mme des fonctions dont le support n'est pas born : il suffit que les fonctions
1
dcroissent l'infini plus vite que n'importe quelle puissance de .
t
De telles fonctions , qui ont les mmes proprits que les fonctions de base l'exception du support born,
s'appellent des fonctions dcroissance rapide. Elles forment un espace vectoriel complexe S contenant
l'espace vectoriel D des fonctions de base. Les fonctions dcroissance rapide sont elles-mmes des fonctions
intgrables et, de ce fait, possdent une transforme de Fourier.
La transforme de Fourier F f d'une fonction f possde les proprits suivantes :
1. | F f () |
| f (x) | dx
|f
(m)
(x) | dx
4. Si la fonction xm f (x) est intgrable, la transforme de Fourier F f est m fois continment drivable et l'on
a:
F [ ( 2 i x ) m f (x) ] = ( F f )(m)
5. Pour tout rel k diffrent de 0 :
1
F [ f (kx) ] =
(Ff)
| k|
k
En particulier, pour k = 1 :
F[f(x)] = (Ff)()
81
Seance 7 - 1996
Il en rsulte que si f est paire, F f est paire aussi, et si f est impaire, F f est impaire aussi. La
transformation de Fourier conserve la parit.
6. La transformation de Fourier conjugue F
k=+
k=
k=+
k=
F [ T (m) ] = ( 2 i ) m F T
F [ ( 2 i x ) m T ] = ( F T ) (m)
4. F 1 = F 1 =
5. Formule de rciprocit :
Pour toute fonction dcroissance rapide : F F = F F =
Pour toute distribution tempre T : F F T = F F T = T
Corollaire : F T = 0 T = 0
6. Formule de Parseval-Plancherel :
Si f et g sont des fonctions de carr intgrable, leurs images par la transformation de Fourier sont des
fonctions de carr intgrable et on a :
f (x) g ( x ) dx =
+
| f (x) | 2 dx =
82
Seance 7 - 1996
| F f () | 2 d
F f () Fg ( ) d
k=+
k=
k=
( k) = F ( k)
F f () =
e 2 i t f (t) dt
est aussi une fonction paire comme on le voit en faisant le changement de variable t = x dans
F f () =
F f () =
On a alors :
F f () =
=
=
=
=
=2
e 2 i x f ( x) dx
f (x) = f ( x) F f () = F f ()
e 2 i t f (t) dt +
+e
2 it
e 2 i t f (t) dt
f (t) dt
2
cos ( 2 t ) f (t) dt
cos ( 2 t ) f (t) dt +
cos ( 2 t ) f (t) dt
cos ( 2 x ) f ( x ) d ( x ) +
+
+
e 2 i t f ( x) d( x) =
e 2 i t f (t) dt
+ e2 i t
e 2 i t f (t) dt
e 2 i t f (t) dt
cos ( 2 t ) f (t) dt
cos ( 2 t ) f (t) dt
Si f (t) est une fonction paire, sa transforme de Fourier est donne par :
F f () = 2
cos ( 2 t ) f (t) dt
83
Seance 7 - 1996
cos ( 2 t ) dt = 2 2 [ sin ( 2 t ) ]
1
t=1
t= 0
sin ( 2 )
sin ( 2 )
F f () =
2/ Formule de rciprocit.
Pour une distribution tempre, la formule de rciprocit de la transformation de Fourier est toujours vraie :
F F T= F F T = T
Pour une fonction, la formule de rciprocit est vraie si les conditions suivantes sont vrifies :
f est variation borne
1
f (t) =
[f(t+0)+f(t0)]
2
1
Dans le cas prsent, la fonction f est variation borne et l'on a, pour tout t, f (t) =
[ f ( t + 0 ) + f ( t 0 ) ].
2
La formule de rciprocit s'applique et donne :
F F f = F Ff = f
soit :
+
0
sin ( 2 )
cos ( 2 t ) d =
pour
| t |< 1
1
2
pour
| t |= 1
pour
| t |> 1
sin ( 2 )
+
0
+
0
d = 1
sin x dx
x
sin x
2
dx =
= 1
84
Seance 7 - 1996
Exercice 3
Calculez l'intgrale
cos xt
1+ t
dt.
Corrig de l'exercice 3.
+
1/ Calcul de l'intgrale
|t|
cos x t dt.
Remarquons d'abord que la fonction e | t | sin x t est une fonction impaire, donc son intgrale sur un intervalle
symtrique par rapport 0 est nulle :
On a alors :
=
=
e | t | cos x t dt
e | t | sin x t dt = 0
e | t | cos x t dt + i
e|t|
et
+ix t
+ix t
1
1 + ix
dt =
dt +
1
1 ix
+
e|t|
e | t | sin x t dt =
+ix t
dt +
e|t|
e | t | e i x t dt
+ix t
dt
e t + i x t dt
2
1+ x
e | t | cos x t dt =
2
1+ x
2/ Formule de rciprocit.
La formule
| t |
cos x t dt =
Cette transforme de Fourier est une fonction borne intgrable. La formule de rciprocit de la transformation
de Fourier s'applique et donne :
+
2
2
cos ( 2 t ) d = e | t |
2 2
0
1 + 4
0
1 + 4
85
Seance 7 - 1996
+
0
cos xt
1 + x
dx
+
0
cos xt
1 + x
dx =
e|t|
+
0
cos xt
1 + t
dt =
86
Seance 7 - 1996
e|x|