CMP96

COMPLEMENTS
de
MATHEMATIQUES
et de
PHYSIQUE
__________
Deuxime anne de Pharmacie

LYON
__________
EXERCICES CORRIGES
DE MATHEMATIQUES
Henri IMMEDIATO
__________
1996
Universit Claude Bernard - LYON I

2e Anne de Pharmacie - 1996
Complments de Mathmatiques et Physique
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!
Par analogie avec l'exponentielle relle :
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
r s'appelle le module du nombre complexe z.

s'appelle l' argument du nombre complexe z.
Le module d'un nombre complexe est un nombre positif (nul seulement si z = 0 ). L'argument d'un nombre
complexe est dfini 2 k prs. On a, par exemple :
i
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 )
On dit qu'une fonction f (z) est drivable en z0 si le rapport
z z0
tend vers un limite finie dans C
lorsque z tend vers 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
3. Singularits des fonctions de variable complexe.

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. Une fonction monogne en tous points d'un domaine D du plan complexe est dite fonction
holomorphe dans D.
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)
est holomorphe au voisinage de a.
n'est pas borne au voisinage de a mais
voisinage de a. Le point a est un ple pour la fonction
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)
, mais f est une fonction uniforme, elle a
une seule dtermination pour une valeur de z.

x
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.
On tudie les singularits l'infini en faisant le changement de variable z' =
1
z
et en tudiant les
singularits de la fonction pour z' = 0.

Une fonction f (z) peut n'avoir aucune singularit dans un domaine et, cependant, ne pas tre holomorphe
dans ce domaine. Par exemple, la fonction z n'a aucun point singulier dans le domaine compris entre deux
4
Cours - 1996
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
Pour montrer ce rsultat, on se ramne a = 0 par un changement de variable et l'intgrale

calcule en passant aux coordonnes polaires :
dz
( x iy )( dx + idy )
x dx + y dy
=
=
+ i
2
2
2
2
x +y
() z
()
() x + y
En un tour sur , varie de 2 et ln r ne varie pas.
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
o est un cercle de centre a et de rayon quelconque compris entre R et R '. Le coefficient c 1 de

dans le dveloppement en srie de Laurent de f (z) est appel le rsidu de f au ple a.
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
C'est le thorme des rsidus.
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
Exemple : la fonction gale e 1 x entre 1 et 1 et 0 en dehors de l'intervalle [ 1 ; 1 ] est

indfiniment drivable, y compris aux points 1 et 1, et son support est l'intervalle [ 1 ; 1 ] : c'est une
fonction de base.
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
La distribution dfinie par la formule :
< , > = (0)

est appele "distribution de Dirac".
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
Pour toute distribution T, on peut dfinir une drive
<
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)
On dmontre que si f ou g est continue, f g est continue (dmonstration pas vidente).

Si les deux fonctions f et g ont leurs supports dans l'intervalle [ 0 ; + [ , f g existe et a son support
dans [ 0 ; + [. On a alors :
( f g ) (x) = (x)
f (x t) g (t) dt
Cette proprit se dmontre en considrant successivement les deux cas x 0 et x 0.
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 :
< 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.
Si le produit de convolution existe, il est commutatif :
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
Les rsultats de l'exercice 3 de la sance 4 s'crivent :
( ' ) (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*
o les coefficients de Fourier de f sont donns par la formule :

1 a + T nit
cn (f) =
e
f (t) dt
T a
( 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,
vrifient la formule de Parseval-Plancherel :
| 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)
Srie de Fourier d'une distribution priodique.

Une distribution T sur R est dite distribution priodique de priode T si elle est gale sa translate par T :
T T = T
Les distributions priodiques de priode T s'identifient aux distributions sur le cercle de longueur T dans
R2. Elles forment une algbre de convolution D' ( ). Dans cette algbre de convolution, l'lment unit est
identifi la distribution
nT
sur R ( "peigne" de Dirac ).
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*
o les coefficients de Fourier de T sont donns par la formule :

1
cn ( T ) = < T , e n i
T
2
avec =
.
T
>
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
2. F f () tend vers 0 si tend vers l'infini.

3. Si f est une fonction m fois continment drivable, on a :
( 2 i ) m F f = F f(m)
|2i|m |Ff|
|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
est dfinie par F f () =
e 2 i t f (t) dt. Le nombre
complexe F f () est le conjugu du nombre complexe F f () si la fonction f (x) est relle.
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.
Transformation de Fourier des distributions.

Les distributions qui sont dfinies sur les fonctions dcroissance rapide s'appellent les distributions tempres.
Elles forment un espace vectoriel complexe S ' qui est contenu dans l'espace vectoriel D ' des distributions sur
R.
Exemples :
Toutes les distributions support born sont des distributions tempres.
Les fonctions bornes sont tempres.
Les fonctions localement sommables croissance lente sont tempres.
Le produit d'un polynme par une distribution tempre est une distribution tempre.
On peut dfinir la transforme de Fourier d'une distribution tempre par la formule :
<FT,> = <T,F>
La transformation de Fourier conjugue F est dfinie par la formule :
< F T, > = < T, F >
Proprits de la transformation de Fourier.

1. F T et F T sont des distributions tempres.
2. Si T est une distribution support born, son image F T par la transformation de Fourier est une fonction
prolongeable pour les valeurs complexes de en une fonction entire V () donne par la formule :
V () = < Ux , e 2 i x >
3. F [ ] = 1
F[']= 2i
F [ (m) ] = ( 2 i ) m
F [ a ] = e 2 i a
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 =
7. Formule sommatoire de Poisson :

Si est une fonction dcroissance rapide :
k=+
k=+
k=
k=
| F f () | 2 d
F f () Fg ( ) d
(k) = F (k)
15
Cours - 1996
Transformation de Fourier et convolution.

La proprit fondamentale est que la transformation de Fourier transforme un produit de convolution en
multiplication et une multiplication en produit de convolution :
F ( S T ) = F S . F T
F (ST) = F S.F T
F ( S .T ) = F S F T
F ( S.T ) = F S F T
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.
2/ Comparez les cercles (Ck ) et (C k1 ).

3/ Quel est l'ensemble des points M d'affixe z du plan complexe vrifiant la relation
z +1
z 1
=1
3/ Dessiner les ensembles de points obtenus pour les valeurs de k gales 0 ,
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
3 ). En dduire sous forme algbrique les r-
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
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
| z + 1 | | z 1 | = k,
4/ Dessiner les ensembles de points obtenus pour les valeurs de k gales 2 , 1 , 0 , 1 , 2.
Exercice 7
| z + 1 | | z 1 | = k,
2
CMP - 1996
1
3
1
2
,1,
3
2
, 2 , 3.

Sance 2.
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
1/ Montrez que P ( x , y ) + i Q ( x , y ) est une fonction analytique f (z) de la variable complexe z = x + i y.

2/ Etudiez les lignes de niveau P ( x , y ) = constante et les lignes de champ Q ( x , y ) = constante du potentiel complexe f (z). Reprsentez graphiquement les courbes correspondant aux valeurs 2 , 1 , 0 , 1 ,
2 des constantes.
3
CMP - 1996
Exercice 3
On considre la fonction : Arc tg z =
1
2i
ln
1+ i z
1 i z
1/ Dterminez les points singuliers de la fonction Arc tg z.

2/ Comment peut-on rendre uniforme la fonction Arc tg z ?
3/ La fonction Arc tg z ayant pour valeur 0 au point z0 = 0, trouver sa valeur au point z1 = 1 + i , lorsqu'on
passe de z0 z1 par un chemin rectiligne.
Exercice 4
On considre la fonction : Arc cos z =
1
i
ln ( z +
z 1 ).
1/ Dterminez les points singuliers de la fonction Arc cos z.

2/ Comment peut-on rendre uniforme la fonction Arc cos z ?
3/ La fonction Arc cos z ayant pour valeur
au point z0 = 0, trouver sa valeur au point z1 = 2 , lorsqu'on

2
passe de z0 z1 par un demi-cercle () de centre 1 et d'ordonnes positives.
4
CMP - 1996

Sance 3
VARIABLE COMPLEXE
Exercice 1
1/ 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)
dz , tendue au cercle (C) de centre A ( 1; 0 ) et de rayon 1 parcouru
z +1
dans le sens direct.

(C)
z 1 2
dz , tendue au cercle (C) de centre A ( 1; 0 ) et de rayon 1 par z +1
couru dans le sens direct.
Exercice 2
1
Calculer l'intgrale
(z+a) e
4
2 i (C)
z
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
( x t ) cos ( x t ) f ( t ) dt = g ( x ) , o g est une fonction donne et f
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
avec des coefficients an et bn que l'on explicitera.

Dans les deux questions suivantes, on pose, pour une fonction , 1 ( x ) = ( x )
2/ On dit qu'une distribution T est impaire si l'on a < T , 1 > = < T , > pour toute fonction de base
D. Montrez que la srie de Fourier d'une distribution impaire de priode T se rduit une srie de sinus.
3/ On dit qu'une distribution T est paire si l'on a < T , 1 > = < T , > pour toute fonction de base D.
Montrez que la srie de Fourier d'une distribution paire de priode T se rduit une srie de cosinus.
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
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 =
f ( x y ) g ( y ) dy est aussi dans
L1 et
que l'on a : h L f L g L , la norme de convergence en moyenne de L1 tant dfinie, pour

1
une fonction f , par f L =

1
| f ( t )| dt.
2/ Montrez directement la formule : F h = F f . F g , la transforme de Fourier F f d'une fonction f L1

tant dfinie par : F ( ) =
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
e | t | cos x t dt. En dduire la valeur de l'intgrale
13
CMP - 1996
cos xt
1+ t
dt.
14
CMP - 1996

Sance 1.
NOMBRES COMPLEXES
Exercice 1.
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.
2/ Comparez les cercles (Ck ) et (C k1 ).

3/ Quel est l'ensemble des points M d'affixe z du plan complexe vrifiant la relation
z +1
z 1
=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.
Ce cas est quivalent k 1, puisque k est une constante positive.

Dans ce cas, la relation
| z 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.
Lensemble des points M vrifiant la relation
z +1
z 1
= k est le cercle (C ; r ) :
2
de centre le point C de coordonnes : x =

de rayon r =
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
Les deux extrmits du diamtre sur laxe des x sont donc :

k +1
; y= 0
x=
k 1
k 1
;y= 0
x=
k +1
Ces points forment, avec les points ( 1 ; 0 ) et ( + 1 ; 0 ) ce que lon appelle une division harmonique .
Pour k < 1,
Le rayon du cercle est :
r=
2k
1 k
1
k
1
1
k
Labscisse du centre est :
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
On peut ainsi tracer le dessin ci-contre :

1
1
2
1
3
Pour k =
1
k
1
Posons z =
z'
. On obtient :
z
1
z
+1
=
1
1
k
, soit
(C') est le cercle (C) correspondant la constante k =
z +1
z 1
1
k'
0
A
, soit (C) l'ensemble des points M d'affixe z vrifiant
z' +1
z' 1
= k .
= k . Cette relation montre que l'inverse du cercle
On peut d'ailleurs obtenir cet ensemble d'une autre faon : posons, en effet z = z'. On obtient :
z +1
z +1
1
k
sont symtriques l'un

z 1
k
de l'autre par rapport au point origine O. Comme l'axe des x est aussi un axe de symtrie de ces cercles, ils sont
symtriques l'un de l'autre par rapport l'axe des y.
soit
= k. Cette relation montre que les cercles correspondant aux valeurs k et
z 1
sont
k
symtriques l'un de l'autre par rapport l'axe des y.
Les cercles correspondants aux valeurs k et
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
4/ Des questions 2/ et 3/, dduire les valeurs exactes de cos
3 ). En dduire sous forme algbrique les
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
2/ Rsolution de l'quation z4 = 8 ( 1 i 3 ) sous forme trigonomtrique.

Posons z = e i . L'quation z4 = 8 ( 1 i
4 = 16 e
3 ) s'crit 4 e 4 i = 16 (
1
2
i 3 ) = 16 ( cos
i sin
), soit
. Elle quivaut donc :

e4i = e
4 = 16 et
Ses solutions sont donnes par :

=2
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
3/ Calcul du nombre complexe a4.

a2
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
4/ Valeurs exactes de certains cosinus ou sinus.

La valeur de z1 permet d'crire :
cos
5
12
6 2
4
et
sin
et
sin
5
12
6+ 2
4
La valeur de z2 permet d'crire :

cos
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.
2/ Position du centre et circonfrence du cercle.

Posons :
=a+ib
=c+id
z=x+iy
La relation prcdente s'crit :
2
( xc) +( yd ) = | | ( xa) +( yb)

( x - c )2 + ( y d )2 = | |2 [ ( x a )2 + ( y b )2
2
2
2
( 1 | | ) ( x + y ) 2 ( c a | | 2 ) x 2 ( d b | | 2 ) y + c 2 a2 | | 2 + d2 b2 | |2 = 0
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
Si l'on appelle A le point de coordonnes (a ; b), B le point de coordonnes (c ; d) , M le point de

coordonnes ( x ; y ) , I le milieu du segment AB , la relation prcdente exprime que le produit scalaire des
vecteurs IM et AB est nul : c'est l'quation de la mdiatrice du segment AB.
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 | |
C'est l'quation d'un cercle de

2
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)
Le centre du cercle a pour affixe = xc + i yc =
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
. L'quation s'crit Z n = n . Avec = | | e

n en i = | | n e
Les n solutions sont donnes par :

=||
= 0 +
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
Le triangle M0M1M2 est donc isocle de sommet M0 .
12
Sance 1 - 1996
2+4 ii +2
4 +1
4+3 i
5
Exercice 5
| z + 1 | + | z 1 | = k,
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).
Pour a > 1, on a k > 2.

Dans ce cas, la relation
( a2 1) x2 + a2 y2 = a2 ( a2 1 )
est quivalente :
a 1
=1
Cest lquation canonique :
soit ellipse de demi-axes a et
a 1 si a > 1, ce qui est le cas ici.
soit dune hyperbole de demi-axes a et
1 a
si a < 1.
Lensemble des points M (z) vrifiant

| z + 1 | + | z 1 | = k (k constante relle suprieure ou gale 2)
est dune ellipse :
de foyers A (1) et B (+1)
k
de demi-grand axe a =
sur laxe des x
2
1
2
2
de demi-petit axe b = a 1 =
k 4
2
Les coordonnes des points dintersection avec les axes sont :
sur le grand axe (axe des x ) : y = 0 et x = a =

sur le petit axe (axe des y ) : x = 0 et y =
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
| z + 1 | | z 1 | = k,
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
et, sous ces restrictions, la relation :

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
points A (1) et B (+1). Comme on doit avoir

par la demi-droite ] + 1 ; + ] de laxe rel.
( x + 1) + y
Pour 0 < k < 2,

la relation
et
4 ( k2 4 ) x2 + 4 k2 y2 =
2 ( x2 + y2 + 1 ) k2
est quivalente :
et
4 ( k2 4 ) x2 + 4 k2 y2 =
2 ( x2 + y2 + 1 ) k2
k
Posons a = , ou k = 2 a, avec 0 < a < 1
2
|z +1||z 1|=k
x2 + y2 + 1 2 a2
1)
x2 + y2 + 1 2 a2
y
y
= 2 > 0, la solution est donne
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
Lensemble des points M vrifiant la relation

| z + 1 | | z 1 | = k = 2 a, avec | a | 1
est la branche dhyperbole dquation :
2
2
a
1 a
situe du ct du signe de k.
=1
2/ Trac de lensemble des points M dans des cas particuliers.

Les proprits tablies plus haut permettent de visualiser les ensembles dans le dessin suivant :
0
1
1
2
A
16
Sance 1 - 1996
Exercice 7
| z + 1 | | z 1 | = k,
1
3
1
2
,1,
3
2
, 2 , 3.
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 , soit x4 + 2 x2 + 1 k2 + 4 x2, (x2 1 )2 k2 ,

1 k x2 1 + k
Si k est infrieur ou gal 1, x2 peut varier de 1 k 1 + k.
Pour k = 1, x2 varie de 0 2.
Si k est suprieur 1, x2 varie toujours de 0 k + 1.
Dans cet intervalle, y prend une seule valeur positive :
y=
k + 4 x ( x + 1)
17
Sance 1 - 1996
Pour x = 0, y = k 1 , ce qui suppose k 1.

y est nul pour x = 1 + k , et, lorsque k est infrieur ou gal 1, pour x = 1 k .
Entre les deux valeurs de x qui annulent y, il y a forcment une valeur de x o la drive de y est nulle, cest le
thorme de Rolle. Calculons la drive de y par rapport x :
De la relation
( x2 + y2 + 1 ) 2 4 x2 = k2
on tire, par drivation par rapport x :
dy
)8x= 0
2 ( x2 + y2 + 1 ) ( 2 x + 2 y
dx
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).
2/ Application : cas particuliers.
1
3
1
2
1
3
2
2
3
18
Sance 1 - 1996

Sance 2.
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 ) .
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
Intgrons d'abord la premire relation par rapport x :
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
, il faut prendre une fonction R ( y ) vrifiant
dy
: c'est une fonction
+ C, o C est une constante relle arbitraire. La fonction Q ( x ; y ) est donc donne par :
y
Q(x;y)=
2 x + y2
et la fonction f (z) = P ( x ; y ) + i Q ( x ; y ) est :

y
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
2/ Etude de l'ensemble (Ck )

L'tude faite dans l'exercice 3 de la Sance 1 peut tre reprise ici .
z 1
On pose
= k e i , avec k 0 et 0 < 2, d'o
z +1
i
1+ k e
z=
i
1 k e
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=
C'est l'quation d'un cercle de centre =
1+ k
1 k
avec
2k
1 k
ei
1 ke
1 ke
21
ei
ei
situ sur l'axe rel, et de rayon r =
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=
C'est l'quation du cercle de centre
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
= k e i , avec k 0 et 0 < 2, il vient :
Z 1
1 k
22
Sance 2 - 1996
ei
1+ k
1 k
et ei =
Z +1
Z +1
e2i :
Cette relation montre que lorsque z parcourt le cercle de centre
1+ k
1 k
1+ k
cercle de centre
1+ k
1 k
et de rayon
2k
1 k
. De plus,
et de rayon
(Ck ), est sur le cercle (D k ).
23
Sance 2 - 1996
1 k
, Z parcourt le
2
2
+1
= 1 k 2
+1
1+ k
1 k
2k
= k 2 : le point , centre du cercle
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
1/ Montrez que P ( x , y ) + i Q ( x , y ) est une fonction analytique f (z) de la variable complexe z = x + i y.

2/ Etudiez les lignes de niveau P ( x , y ) = constante et les lignes de champ Q ( x , y ) = constante du
potentiel complexe f (z). Reprsentez graphiquement les courbes correspondant aux valeurs 2 , 1 , 0 ,
1 , 2 des constantes.
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
2/ Etude des lignes de niveaux et des lignes de champ.

a ) Lignes de niveau P ( x , y ) =
( 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 )
C'est l'quation d'un cercle tangent en ( b ; 0 ) la droite x = b :

2 k b a b
y=0
centre
x=
2( 1 k )
rayon
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
C'est l'quation d'un cercle tangent en x = b, y = 0 la droite y = 0 :

a b
centre
x=b y=
2k
a b
rayon
r=
2k
k
x
centre
y
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
1/ Dterminez les points singuliers de la fonction Arc tg z.

2/ Comment peut-on rendre uniforme la fonction Arc tg z ?
3/ La fonction Arc tg z ayant pour valeur 0 au point z0 = 0, trouver sa valeur au point z1 = 1 + i , lorsqu'on
passe de z0 z1 par un chemin rectiligne.
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
1
za
1
f (z)
est holomorphe au voisinage de a.
n'est pas borne au voisinage de a mais

1
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
point essentiel : a est un point singulier pour f (z) et pour
1
f (z)
, mais f est une fonction uniforme, elle a
une seule dtermination pour une valeur de z.

x
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.
On tudie les singularits l'infini en faisant le changement de variable z' =
1
z
et en tudiant les
singularits de la fonction pour z' = 0.

Une fonction f (z) peut n'avoir aucune singularit dans un domaine et, cependant, ne pas tre holomorphe
dans ce domaine. Par exemple, la fonction z n'a aucun point singulier dans le domaine compris entre deux
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 cercles.
Suite des dfinitions.

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).
2/ Points singuliers de la fonction Arc tg z.

1
1+ i z
a des points singuliers qui viennent des singularits des fonctions

1 i z
1+ i z
homographique z
1 i z
logarithme z ln 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
, la fonction Arc tg z est change en
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
3/ Coupure rendant uniforme la fonction Arc tg z.

Les dterminations du logarithme sont dfinies par :
ln ( e i ) = ln + i + 2 i k avec 0 < 2 et k entier relatif quelconque
Posons :
z i = 1 e
z + i = 2 e
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/ Choix d'une dtermination de la fonction Arc tg z.

Pour z = 0, on a toujours 1 = 2 et la partie imaginaire de la fonction Arc tg z est nulle. Il reste :
1
Arc tg 0 = ( 1 2 + + 2 k )
2
Pour avoir Arc tg 0 = 0, il faudra prendre 1 2 = et k = 0, par exemple. Cela est possible en prenant la
dtermination principale du logarithme ( k = 0 ) , 1 = , 2 = pour z = 0. Dans le plan coup, on prendra

2
2
3
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
4/ Valeur finale de la fonction Arc tg z.

La valeur initiale Arc tg 0 = 0 a permis de choisir une dtermination de la fonction Arc tg z dans le plan coup.
Un chemin rectiligne allant du point 0 au point 1 + i ne traverse pas la coupure ; la fonction conserve donc la
mme dtermination. Au point 1 + i, on a :
1 = 1
1 = 0
2 = 5
2 = Arc tg 2
1
i
1
Arc tg ( 1 + i ) = ( Arc tg 2 ) ln
2
2
5
Arc tg ( 1 + i ) =
1
2
( Arc tg 2 ) +
30
Sance 2 - 1996
i
4
ln 5
Exercice 4
1
On considre la fonction : Arc cos z =
ln ( z +
z 1 ).
1/ Dterminez les points singuliers de la fonction Arc cos z.

2/ Comment peut-on rendre uniforme la fonction Arc cos z ?
3/ La fonction Arc cos z ayant pour valeur
au point z0 = 0, trouver sa valeur au point z1 = 2 , lorsqu'on

2
passe de z0 z1 par un demi-cercle () de centre 1 et d'ordonnes positives.
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.
Reste alors la fonction
Pour le point l'infini, changeons z en
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
Arc cos z a trois points singuliers isols :

un point critique en z = 1
un point critique en z = + 1
un point critique l'infini
2/ Coupure rendant uniforme la fonction Arc cos z.

Si l'on pose :
z + 1 = 1 e
z 1 = 2 e
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
3/ Dtermination finale de la fonction Arc cos z.

On veut avoir Arc cos 0 =
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
VARIABLE COMPLEXE
Exercice 1
1
1
z +
z
(C) 2
z 1
(C)
z +1
dz , tendue au cercle (C) de centre A ( 1; 0 ) et de rayon 1 parcouru
dans le sens direct.

z 1 2
dz , tendue au cercle (C) de centre A ( 1; 0 ) et de rayon 1
(C ) z +1
parcouru dans le sens direct.
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
a un ple simple au point 1 situ lintrieur du contour dintgration. Le rsidu en ce ple,
coefficient du terme
1
z +1
dans le dveloppement en srie de Laurent de la fonction, est gal

lim ( z + 1 ) f (z) = lim ( z 1 ) = 2
z 1
z 1
Le thorme des rsidus donne alors la valeur de lintgrale :

z 1
dz = 2 i ( 2 ) = 4 i
(C ) 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
Le rsidu au point 1 est donc 4.

Le thorme des rsidus donne alors la valeur de lintgrale :
z 1 2
dz = 2 i ( 4 ) = 8 i
(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
La fonction
(z+a) e
possde lintrieur du contour dintgration un unique point singulier en 0, qui est un

4
z
ple. Ce ple est dordre 3 si a = 0 ; il est dordre 4 si a 0. Comme le dveloppement de la fonction ez en
srie de puissances de z est uniformment convergent, on peut faire toutes oprations terme terme sur ce
dveloppement :
z2
zn
ez = 1 + z +
++
+
2
n!
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)
Pour a = 0, on retrouve la valeur trouve en 1/.
35
Sance 3 - 1996
dz =
a+3
6
Exercice 3
Calculer l'intgrale
cos 3x
2 + cos x
dx
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)
3/ Intgration de la fonction de variable complexe.

6
La fonction
z +1
est holomorphe, sauf aux points :

3 2
z ( z + 4z + 1)
ple dordre 3
z=0
z = 2 3 ples simples
Les ples situs lintrieur du cercle trigonomtrique sont 0 et 2 +
3 . Le thorme des rsidus donne :
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 )
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.
2/ Fonction holomorphe associe l'intgrale.

A l'intgrale calculer associons la fonction
f (z) =
1
3
( z + 2) z 5 ( z 1) 5
Les singularits de cette fonction sont :

un ple simple en z = 2
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
Pour la dtermination ln ei = ln + i + 2 i k du logarithme, avec une valeur particulire de k et un

angle compris entre 0 et 2 , nous avons :
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
o R 2 est le rsidu de la fonction f (z) au point z = 2. Et par passage la limite :
lim
1 0
2 0
R
lim
R
f (z) dz+ lim
1 0
( C)
f (z) dz+ lim
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
Sur le grand cercle (C).

Pour tout z de (C), R | f (z) |
R
R
0 si R , donc, pour tout z de (C), lim ( R | f (z) | ) = 0 et

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)
Sur le petit cercle 1.

Pour tout z de 1 , avec | z | = 1 , 1 | f (z) |
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
| f (z) | | dz | Max ( | f (z) | )

z 1
| dz | = 2 1 Max ( | f (z) | )
z 1
z 1
2 lim [ Max ( 1 | f (z) | ) ]
f (z) dz
= lim
f (z) dz
2 Max ( lim ( 1 | f (z) | ) ) = 0
1 0
f (z) dz
z 1
1 0 z 1
1 0
lim
1 0
f (z) dz = 0
Sur le petit cercle 2.

Pour tout z de 2 , avec | z 1 | = 2, 2 | f (z) |
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
| f (z) | | dz | Max ( | f (z) | )

z 2
| dz | = 2 2 Max ( | f (z) | )
z 2
z 2
2 lim [ Max ( 2 | f (z) | ) ]
f (z) dz
= lim
f (z) dz
2 Max ( lim ( 2 | f (z) | ) ) = 0
2 0
z 2
f (z) dz
2 0 z 2
2 0
lim
2 0
f (z) dz = 0
41
Sance 3 - 1996
Sur le segment AB.

On a :
1 = x
2 = 1 x
z=x
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
Sur le segment CD.

On a :
1 = x
2 = 1 x
z=x
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
f (z) dz+ lim

( C)
1 0
devient :
(e
f (z) dz+ lim
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 =
Calcul du rsidu au point z = 2.
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
D'o le rsultat final :
Or sin
2
5
= 2 sin
cos
appelant le nombre d'or
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
On obtient donc, sous forme de radicaux :
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.
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
Exemple : la fonction gale e

entre 1 et 1 et 0 en dehors de l'intervalle [ 1 ; 1 ] est
indfiniment drivable, y compris aux points 1 et 1, et son support est l'intervalle [ 1 ; 1 ] : c'est une
fonction de base.
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 :
45
Sance 4 - 1996
<,>=
(t) dt
La distribution dfinie par la formule :

< , > = (0)
est appele "distribution de Dirac".
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
Pour toute distribution T, on peut dfinir une drive
<
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
= .
Revenons la rsolution de notre exercice.
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
Pour toute fonction de base , on a, en effet, lorsque T = c 1 :

dT
d
d
d
,>= <T,
>= <c1,
>= c<1,
>= c
<
dx
dx
dx
dx
puisque est support born.
b)
dx
dx = c [ (x) ] = 0
dT
= 0 ( c ) ( c C et T = c 1 )
dx
Si
dT
est nul, on a pour toute fonction de base :
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
Et, rciproquement, si < 1 , > = 0, on peut prendre (x) =

fonction de base et l'on a
(2)
dx = [ (x) ] = 0
(t) dt. La fonction (x) est une
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,
C. La distribution T est bien une
Exercice 2
Trouver la limite, quand h tend vers 0, dans l'espace D des distributions sur R , de
h h
.
2h
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)!
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
Or nous savons que :

d ( x )
est la distribution de Dirac
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
Supposons que l'on ait :

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
et, par rcurrence :

d
dx
( x ) x m1
=
(m 1)!
51
Sance 4 - 1996
pour tout entier m 1.
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 .
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)
On dmontre que si f ou g est continue, f g est continue (dmonstration pas vidente).

Si les deux fonctions f et g ont leurs supports dans l'intervalle [ 0 ; + [ , f g existe et a son support
dans [ 0 ; + [. On a alors :
( f g ) (x) = (x)
f (x t) g (t) dt
Cette proprit se dmontre en considrant successivement les deux cas x 0 et x 0.
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.
Si le produit de convolution existe, il est commutatif :

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
Les rsultats de l'exercice 3 de la sance 4 s'crivent :

( ' ) (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' ().
Revenons la rsolution de notre exercice.
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
L'intgrale peut se dcomposer en deux morceaux :
Entre et x , on a t < x, x t > 0, ( x t ) = 1, (t) dpendra du signe de x.

Entre x et + , on a t > x, x t < 0, ( x t ) = 0,
(x t) e ( x t ) (t) e t dt = 0.
Il reste, dans tous les cas :
(x) e x (x) e x =
e ( x t ) (t) e t dt = e x
Pour x 0, on a t x 0, donc (t) = 0 et l'intgrale est nulle.

Pour x > 0, on peut dcomposer l'intgrale en deux morceaux :
(t) e ( ) t dt
Entre et 0, on a t < 0, donc (t) = 0 et l'intgrale est nulle.

Entre 0 et x , on a 0 t x, (t) = 1 et il reste :
(t) e ( ) t dt =
x
0
e ( ) t dt.
Il y a deux cas considrer pour calculer l'intgrale :

1er cas : = .
( 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
2/ (x) sin x (x) sh 2 x

C'est une application directe de la formule prcdente car on a :
1
( (x) e i x (x) e i x )
(x) sin x =
2i
1
( (x) e 2 x (x) e 2 x )
(x) sh 2 x =
2
1
(x) sin x (x) sh 2 x =
( (x) e i x (x) e 2 x (x) e i x (x) e 2 x (x) e i x (x) e 2 x + (x) e i x (x) e 2 x
4i
)
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 )
cet oprateur donne .

Si l'on recherche ce qu'on appelle la "solution lmentaire" de l'oprateur diffrentiel D, c'est--dire la fonction
f (x) solution de l'quation diffrentielle
4
d f
dx
d f
dx
4f =0
qui vrifie les conditions initiales :

f (0) = 0
df
=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
qui vrifie les conditions initiales :

f (0) = 0
df
=1
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 +
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
' (x) e x = (x) e x

1
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
3/ Inverse de (x) e x + '.

(x) e x = ( ' ) 1
(x) e x + ' = (x) e x + ' = (x) e x + (x) e x ( ' ) ' = (x) e x ( + ( ' ) ' )
1+ i 3
1 i 3
(x) e x + ' = (x) e x ( " ' + ) = (x) e x ( '
) ( '
)
2
2
1+ i 3
1 i 3
) 1 ( '
)1
( (x) e x + ' ) 1 = ( (x) e x ) 1 ( '
2
2
1+i
= ( ' ) (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
( x t ) cos ( x t ) f ( t ) dt = g ( x ) , o g est une fonction donne et f
une fonction inconnue, les deux ayant leur support dans l'intervalle [ 0 ; + [.
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 ]
( ' i ) 2 ( ' + i ) 2 [ ( ' + i ) 2 + ( ' i ) 2 ]

( ' i ) 2 ( ' + i ) 2 ( 2 " 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+ .
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 )
1/ Calcul de la solution lmentaire (x) e i x (x) e i x (x) e 2 x .

Commenons par tablir une formule qui pourra servir plusieurs reprises.
Pour des rels a et b , on a :
( x) e a x ( x) e i b x
=
a + ib
2
a + ib
2
a +b
( x) ( ea x e i b x )
(x) ( ea x cos bx i sin bx )
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
(x) e a x (x) cos bx =
(x) e i x (x) e i x = (x) sin x
63
Sance 5 - 1996
(x) e i x (x) e i x (x) e 2 x = (x) sin x (x) e 2 x

Pour a = 2 et b = 1, les formules prcdentes donnent :
( x) e i x ( x) e i x ( x) e 2 x =
( x )
( e 2 x cos x + 2 sin x )
2/ Rsolution de l'quation diffrentielle.

= 2 (x) e i x (x) e i x (x) e 2 x ( 5 (x) cos x + 2 )
4
F
= (x) ( 2 sin x cos x + e 2 x ) 2 (x) ( 2 sin x cos x + e 2 x ) (x) cos x
5
Pour terminer ce calcul, il faut connatre les produits de convolution suivants :
(x) sin x (x) cos x
(x) cos x (x) cos x
(x) e 2 x (x) cos x
Or on a :
( x) e i x ( x) e i x = ( x) x e i x
(x) e i x (x) e i x = (x) sin x
donc, il vient, par addition :
2 (x) e i x (x) cos x = (x) ( x cos x + sin x ) + i (x) x sin x
2 (x) cos x (x) cos x + 2 i (x) sin x (x) cos x = (x) ( x cos x + sin x ) + i (x) x sin x
En identifiant les parties relles et les parties imaginaires, il vient :
(x) cos x (x) cos x =
( x )
2
(x) sin x (x) cos x =
( x cos x + sin x )
( x )
x sin x
D'aprs les formules tablies plus haut, pour a = 2 et b = 1, on a :
(x) e 2 x (x) cos x =
=
=
4
5
4
5
( x )
2x
+ 2 cos x + sin x
2e
5
(x) ( 2 sin x cos x + e 2 x ) 2 (x) ( 2 sin x cos x + e 2 x ) (x) cos x

(x) ( 2 sin x cos x + e 2 x ) 4 (x) sin x (x) cos x + 2 (x) cos x (x) cos x
2 (x) e 2 x (x) cos x
(x) ( 2 sin x cos x + e 2 x ) 4
( x )
x sin x + 2
( x )
2x
+ 2 cos x + sin x
2e
5
= (x) sin x + (x) x cos x (x) x sin x
( x )
2
F = (x) [ sin x + x ( cos x sin x ) ]

f (x) = sin x + x ( cos x sin x )
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 .
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*
o les coefficients de Fourier de f sont donns par la formule :

1 a + T nit
cn (f) =
e
f (t) dt
T a
( 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
vrifient la formule de Parseval-Plancherel :
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)
Srie de Fourier d'une distribution priodique.

Une distribution T sur R est dite distribution priodique de priode T si elle est gale sa translate par T :
T T = T
Les distributions priodiques de priode T s'identifient aux distributions sur le cercle de longueur T dans
R2. Elles forment une algbre de convolution D' ( ). Dans cette algbre de convolution, l'lment unit est
identifi la distribution
sur R ( "peigne" de Dirac ).
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*
o les coefficients de Fourier de T sont donns par la formule :

1
cn ( T ) = < T , e n i
T
2
avec =
.
T
>
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
1/ Srie de Fourier de la fonction priodique de priode 2 gale x entre

et .
a) Srie de Fourier de la fonction f (x).
Soit f la distribution dfinie par la fonction priodique
de priode 2 gale x entre et . Ses
coefficients de Fourier sont donns par la formule :
1
< x , e n i x > , n Z.
cn =
2
+
1
cn =
x e n i x dx
2
Pour calculer l'intgrale, on intgre par parties en posant :
u = x, d'o du = dx, et, pour avoir dv = e n i x dx, on prendra v =
L'intgrale s'crit, pour n 0 :
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
x dx = 0, puisqu'on intgre une fonction impaire dans un intervalle
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
et, en chaque point o la fonction est continue, on a l'galit :
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
b) Valeur de sries numriques.

Une srie de Fourier de distribution peut s'intgrer ou se driver terme terme sans problme de convergence.
Par exemple, comme la distribution dfinie par la fonction f (x) est la drive, au sens des distributions, de la
distribution dfinie par la fonction paire continue de priode 2 , gale
entre et , on obtient, par
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
Cette formule peut s'crire aussi sous la forme :
( 1) n
n=1
cos nx =
pour x
12
En particulier, pour x = , cette formule donne, avec cos n = ( 1 ) n :
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
crire, en particulier, en sparant les termes pairs et les termes impairs :
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
La somme de la srie demande s'obtient en enlevant le premier terme de la srie ( n = 0 ) :
( 2n + 1)
1
n=1
1/ Srie de Fourier de la fonction priodique de priode 2 gale x 3 entre

et .
En intgrant terme terme la srie :
( 1) n
n=1
on obtient :
cos nx =
n=1
( 1)
sin nx =
pour x
12
x
12
12
+ constante
pour x
La valeur de la constante est nulle comme on le voit en faisant x = 0. Il reste donc :
( 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
C'est la srie de Fourier de g (x) :
x3 =
n=1
2 2
12
3 sin nx
( 1 )n+1
n
n
69
Sance 6 - 1996
pour x
3/ Comparaison avec la srie de Fourier de la distribution sur le cercle .

Soit
x=
enix
la srie de Fourier de la fonctrion gale x entre et .

Sur le cercle de longueur 2 , on a :
() =
2
1
Par ailleurs, sur le cercle , on a :
(1)
2
1
< () , enix > =
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
et on voit par identification que l'on dooit prendre c0 = 0 et :

( 1) n+1
( 1) n
= i
pour n 0
cn =
in
n
Ceci donne, on l'a vu dans la premire question, en regroupant les termes d'indices n et n :
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
pour < x <
' ( ) = ' ( ) = ' ( ) 1

' ( ) 1 = ' 1 ( )
Donc :
x = 2 '( ) 1
La srie de Fourier de ( ) est :
() =
On en dduit, par drivation terme terme :

2
En comparant avec la srie de Fourier de :

2
on obtient la srie de Fourier de '( ) 1 :

' ( )
puis celle de x = 2 '( )
(1)
(1)
i n einx
einx
( 1)
x=
( 1)
einx
n+1
einx
in
in
einx
2
1
(1)
+
'( ) =
Cette formule conduit, on l'a vu, :
x = 2
( 1)
n+1
n=1
sin nx
pour < x <
Calcul de la srie de Fourier de x 3

La formule obtenue par drivation sur le cercle :
' x 3 = 3 x 2 2 3 ( )
donne :
" x 3 = 6 x 2 3 ' ( ) = 12 '( ) 1 2 3 '( )
x 3 = 12 '( ) 1 " 1 2 3 '( ) " 1 = 12 "'( ) 1 2 3 '( ) 1 = 12 "'( ) 1 + 2 x
1
12
( 2 x x 3 ) = "'( ) 1
On a, par drivations successives partir de :
'( ) =
"( ) =
(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
On retrouve donc les formules et les dveloppements trouvs plus haut.
Sance 6 - 1996
n+1
pour < x <
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
avec des coefficients an et bn que l'on explicitera.

Dans les deux questions suivantes, on pose, pour une fonction , 1 ( x ) = ( x )
2/ On dit qu'une distribution T est impaire si l'on a < T , 1 > = < T , > pour toute fonction de base
D. Montrez que la srie de Fourier d'une distribution impaire de priode T se rduit une srie de sinus.
3/ On dit qu'une distribution T est paire si l'on a < T , 1 > = < T , > pour toute fonction de base D.
Montrez que la srie de Fourier d'une distribution paire de priode T se rduit une srie de cosinus.
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 =
e i n x de la distribution priodique T de priode T =
. Les coefficients
de Fourier cn sont donns par la formule :

cn =
~
< 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)
et 1 la symtrique de dfinie par 1 (x) = ( x).

On a alors :
~
< T , 1 > = < T , 1 >
2/ Srie de Fourier d'une distribution impaire.

Si T est impaire, on a :
~
~
< 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.
3/ Srie de Fourier d'une distribution paires.

Si T est paire, on a :
~
~
< 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
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
sur une priode. Lintgrale
1
T
f ( x + t ) g ( t ) dt est, daprs la dfinition

0
(f,g)=
T
1
f ( t ) g( t ) dt
0
75
Sance 6 - 1996
du produit hermitien dans l espace de Hilbert L 2 (T), le produit hermitien de f ( x + t ) et de g ( t ) :
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) | =
2/ Coefficients de Fourier de la fonction h ( x ).

Par dfinition, les coefficients de Fourier de la fonction h (x) sont donns par la formule :
c n (h) =
2 in
T
h (x) e
dx
La dfinition de h (x) donne alors :

c n (h) =
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)
3/ Dmonstration des formules proposes.

Si lon suppose que, pour tout x R, la formule suivante est vraie :
n= +
h (x) =
c (h) e
2 in
n=
la dfinition de h (x), jointe la formule obtenue dans la question 2, donne :
T
1
n= +
f ( x + t ) g ( t ) dt =
0
2 in
cn (f) cn ( g ) e
n=
En particulier, pour x = 0, il vient :

1
T
n= +
f ( t ) g ( t ) dt =
0
c (f) c
n
( g)
n=
Cette formule, applique la fonction g au lieu de la fonction g donne :

1
T
n= +
f ( t ) g ( t ) dt =
0
c (f) c
n
( g)
n=
Enfin, lorsque, dans cette formule, nous prenons f = g, la formule scrit :

1
T
n= +
| f ( t ) | 2 dt =
0
| c (f) |
n
n=
Cest la formule de Parseval - Plancherel.
77
Sance 6 - 1996
78
Sance 6 - 1996

Sance 7
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 =
f ( x y ) g ( y ) dy est aussi dans
L1 et
que l'on a : h L f L g L , la norme de convergence en moyenne de L1 tant dfinie, pour

1
une fonction f , par f L =

1
| f ( t )| dt.
2/ Montrez directement la formule : F h = F f . F g , la transforme de Fourier F f d'une fonction f L1

tant dfinie par : F ( ) =
e 2 i u f ( u ) du.
1/ Le produit de convolution de deux fonctions de L1 est une fonction de L1.
Pour calculer
f ( x y ) g ( y ) dy
nous allons faire le changement de variables dfini par :

u=xy
v=y
1
1 1
D( x , y ) D( u ,v )
Le jacobien de la transformation est
=
=
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
2/ Transforme de Fourier dun produit de convolution.

F h () =
e 2 i x h (x) dx =
Avec le changement de variables
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.
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
2. F f () tend vers 0 si tend vers l'infini.

3. Si f est une fonction m fois continment drivable, on a :
( 2 i ) m F f = F f(m)
|2i|m |Ff|
|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
est dfinie par F f () =
e 2 i t f (t) dt. Le nombre
complexe F f () est le conjugu du nombre complexe F f () si la fonction f (x) est relle.

Des proprits 3 et 4, il rsulte que la transforme de Fourier d'une fonction dcroissance rapide est une
fonction dcroissance rapide.
Transformation de Fourier des distributions.

Les distributions qui sont dfinies sur les fonctions dcroissance rapide s'appellent les distributions tempres.
Elles forment un espace vectoriel complexe S ' qui est contenu dans l'espace vectoriel D ' des distributions sur
R.
Exemples :
Toutes les distributions support born sont des distributions tempres.
Les fonctions bornes sont tempres.
Les fonctions localement sommables croissance lente sont tempres.
Le produit d'un polynme par une distribution tempre est une distribution tempre.
On peut dfinir la transforme de Fourier d'une distribution tempre par la formule :
<FT,> = <T,F>
La transformation de Fourier conjugue F est dfinie par la formule :
< F T, > = < T, F >
Proprits de la transformation de Fourier.

1. F T et F T sont des distributions tempres.
2. Si T est une distribution support born, son image F T par la transformation de Fourier est une fonction
prolongeable pour les valeurs complexes de en une fonction entire V () donne par la formule :
V () = < Ux , e 2 i x >
3. F [ ] = 1
F[']= 2i
F [ (m) ] = ( 2 i ) m
F [ a ] = e 2 i a
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
7. Formule sommatoire de Poisson :

Si est une fonction dcroissance rapide :
k=+
k=+
k=
k=
( k) = F ( k)
Transformation de Fourier et convolution.

La proprit fondamentale est que la transformation de Fourier transforme un produit de convolution en
multiplication et une multiplication en produit de convolution :
F ( S T ) = F S . F T
F (ST) = F S.F T
F ( S .T ) = F S F T
F ( S.T ) = F S F T
1/ Transforme de Fourier de la fonction f (t).

Soit f (t) une fonction paire. Sa transforme de Fourier F f, dfinie par
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 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
Si f (t) est une fonction paire, sa transforme de Fourier est donne par :
F f () = 2
83
Seance 7 - 1996
Avec la fonction tudie, cette intgrale se rduit :

F f () = 2
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
En particulier, pour t = 0, on obtient :

2
et, par changement de variable 2 = x :
sin ( 2 )
+
0
+
0
d = 1
sin x dx
x
sin x
2
dx =
= 1
84
Seance 7 - 1996
Exercice 3
Calculez l'intgrale
e | t | cos x t dt. En dduire la valeur de l'intgrale
cos xt
1+ t
dt.
+
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 =
ressemble une transformation de Fourier. Pour avoir une

2
1+ x
transforme de Fourier au sens o on l'a dfinie, il faut prendre x = 2 et crire l'intgrale sous la forme :
+
2
2
e | t | cos ( 2 t ) dt =
2 2
0
1 + 4
Sous cette forme, on reconnat la transforme de Fourier de la fonction paire continue variation borne e | t |.
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
En posant x = 2 dans l'intgrale, celle-ci s'crit :

+
2
2
2
cos ( 2 t ) d =
2 2
0
1 + 4
et l'on obtient la formule :
85
Seance 7 - 1996
+
0
cos xt
1 + x
dx
+
0
cos xt
1 + x
dx =
e|t|
En changeant les noms des variables, cette formule s'crit aussi :
+
0
cos xt
1 + t
dt =
86
Seance 7 - 1996
e|x|

CMP96

Uploaded by

Document Information

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

CMP96

Uploaded by

Copyright:

Available Formats

COMPLEMENTS

Deuxime anne de Pharmacie

Universit Claude Bernard - LYON I

Par analogie avec l'exponentielle relle :

r s'appelle le module du nombre complexe z.

Universit Claude Bernard - LYON I

On dit qu'une fonction f (z) est drivable en z0 si le rapport

tend vers un limite finie dans C

lorsque z tend vers z0.

3. Singularits des fonctions de variable complexe.

est holomorphe au voisinage de a.

n'est pas borne au voisinage de a mais

voisinage de a. Le point a est un ple pour la fonction

, mais f est une fonction uniforme, elle a

une seule dtermination pour une valeur de z.

On tudie les singularits l'infini en faisant le changement de variable z' =

singularits de la fonction pour z' = 0.

Universit Claude Bernard - LYON I

Pour montrer ce rsultat, on se ramne a = 0 par un changement de variable et l'intgrale

o est un cercle de centre a et de rayon quelconque compris entre R et R '. Le coefficient c 1 de

C'est le thorme des rsidus.

Universit Claude Bernard - LYON I

Exemple : la fonction gale e 1 x entre 1 et 1 et 0 en dehors de l'intervalle [ 1 ; 1 ] est

La distribution dfinie par la formule :

< , > = (0)

Pour toute distribution T, on peut dfinir une drive

Universit Claude Bernard - LYON I

On dmontre que si f ou g est continue, f g est continue (dmonstration pas vidente).

Cette proprit se dmontre en considrant successivement les deux cas x 0 et x 0.

< S T , > = < Sx , < Ty , ( x + y ) > >

x + y born x born et y born

Si le produit de convolution existe, il est commutatif :

Les rsultats de l'exercice 3 de la sance 4 s'crivent :

Universit Claude Bernard - LYON I

o les coefficients de Fourier de f sont donns par la formule :

vrifient la formule de Parseval-Plancherel :

Srie de Fourier d'une distribution priodique.

sur R ( "peigne" de Dirac ).

o les coefficients de Fourier de T sont donns par la formule :

Universit Claude Bernard - LYON I

2. F f () tend vers 0 si tend vers l'infini.

est dfinie par F f () =

e 2 i t f (t) dt. Le nombre

complexe F f () est le conjugu du nombre complexe F f () si la fonction f (x) est relle.

Transformation de Fourier des distributions.

Proprits de la transformation de Fourier.

7. Formule sommatoire de Poisson :

Transformation de Fourier et convolution.

Universit Claude Bernard - LYON I

2/ Comparez les cercles (Ck ) et (C k1 ).

3/ Dessiner les ensembles de points obtenus pour les valeurs de k gales 0 ,

3 ). En dduire sous forme algbrique les r-

Universit Claude Bernard - LYON I

1/ Montrez que P ( x , y ) + i Q ( x , y ) est une fonction analytique f (z) de la variable complexe z = x + i y.

1/ Dterminez les points singuliers de la fonction Arc tg z.

1/ Dterminez les points singuliers de la fonction Arc cos z.

au point z0 = 0, trouver sa valeur au point z1 = 2 , lorsqu'on

Universit Claude Bernard - LYON I

dz , tendue au cercle (C) de centre A ( 1; 0 ) et de rayon 1 parcouru

dans le sens direct.

dz , tendue au cercle (C) de centre A ( 1; 0 ) et de rayon 1 par z +1

couru dans le sens direct.

dz , tendue au cercle trigonomtrique (C) de centre O ( 0 ; 0 ) et

Universit Claude Bernard - LYON I