Ecole Nationale des Sciences Appliques -Knitra

Traitement du Signal

Premire anne cycle ingnieur

Mr Moulay Taib El Belghiti

Plan
I. II. Introduction.. Biographie ...
1. Laplace Pierre Simon 2. Fourier Charles ..

III. IV. V.
VI. VII.

Chapitre I : Les Distributions . Chapitre II : Les Distribution tempres. Chapitre III : Les Distribution dans .. . Chapitre I V : Dveloppement des Distributions en srie de Fourier.. Conclusion.

Introduction
Les Distributions aussi appeles parfois Fonctions gnralises tant donn quelles reprsentent une gnralisation de la notion de fonction. La ncessit dune telle extension est incontestable pour la physique, ces distributions correspondent des situations situ qui nous sont prsentes par l'exprience physique qui ne sont pas suffisamment traites par la notion traditionnelle de la fonction. Prenant lexemple de limpulsion de Dirac note (t), qui est une fonction bien particulire, prend une valeur infinie en 0, et la valeur zro partout ailleurs, et dont l'intgrale sur est gale 1, elle sert en physique dcrire des

vnements ponctuels. En outre, cette fonction nomme aussi impulsion constitue le cas limite d'un signal (lectrique, mcanique, magntique) qui n'existait que pendant un intervalle de temps trs bref, la limite nul, mais qui tait capable de fournir une nergie un systme pour le mettre en action. Ce type de signaux signaux parfois appels percussionnels ne pouvaient tre dcrits par une fonction analytique classique et posaient un gros problme mathmatique. Cela nous amne poser cette question: Pourquoi crer toute une thorie pour faire face une ide aussi simple que la fonction de Dirac Delta? Eh bien, tout d'abord, l'ide peut-tre peut pas aussi simple qu'elle ne le parat. Lorsque la mme ide, sous des formes diffrentes, se reproduit encore et encore, il devrait y avoir une thorie sous-jacente sous jacente qui lie les diffrentes diffre instances ensemble. La thorie des distributions fut formalise et construite en 1947 par le mathmaticien franais Laurent Schwartz et lui valut la mdaille Fields en 1950. . Son introduction utilise des notions
3

d'algbre linaire et de topologie centres autour de l'ide de dualit. Il faut chercher l'origine de cette thorie dans le calcul symbolique d'Heaviside (1894) et dans l'introduction par les physiciens de la fonction de Dirac (1926). L'objectif a t alors de gnraliser la notion de fonction, afin de donner un sens mathmatique correct des objets manipuls par les physiciens. Il fallait en plus garder la possibilit de faire des oprations telles que des drivations, convolutions, transformes de Fourier ou de Laplace. Le travail des mathmaticiens sur ce sujet aboutit proposer la thorie des distributions.

Nous pouvons la considrer comme une gnralisation de la notion de fonction qui permettra denglober limpulsion mais aussi un certain nombre dautres fonctions gnralises (Heaviside , valeur principale, .) et elle amne une dfinition nouvelle et gnralise de la drivation.

Cette thorie ensuite t systmatiquement utilise dans le domaine du numrique ou plutt des signaux discrets. Dans ce domaine, l'impulsion devient un objet mathmatique en soit, permettant de modliser les signaux. Laurent Schwartz a invent l'outillage adquat pour dcrire rigoureusement ce genre d'objets.

( suivre !)

Biographie
1. Laplace Pierre Simon
Ce grand savant franais, n en Normandie Beaumont en Auge, a profondment influenc les mathmatiques, l'astronomie, la physique et la philosophie des sciences de son sicle. Aprs des tudes brillantes l'Universit de Caen de 16 18 ans, il obtient avec le soutien de d'Alembert un poste l'Ecole militaire. Ses travaux en mathmatiques et astronomie lui valent d'entrer 24 ans l'Acadmie des Sciences, o l'tendue de son savoir fait impression. Son travail vers 1782 avec Lavoisier sur la calorimtrie, sa thorie de la capillarit et ses formules d'lectromagntisme ancrent sa rputation parmi les chimistes et physiciens. L'essentiel de son uvre scientifique s'attache fournir un fondement solide sa thorie de mcanique cleste, traitant de la stabilit du systme solaire, de son origine, et qui motivera en partie sa thorie des probabilits. Il participa l'organisation de l'Ecole Polytechnique et de l'Ecole Normale. Il fonda avec Berthollet la Socit d'Arcueil, creuset de rencontre entre jeunes physiciens et chimistes minents et scientifiques proches du pouvoir. Mathmatiques : Les outils invents par Laplace sont aujourd'hui des objets de recherche mathmatique. On en tudie des gnralisations (oprateurs dans des algbres de Lie), on teste des algorithmes de calcul toujours plus rapides. Ils sont galement utiliss intensivement dans beaucoup de domaines des mathmatiques, comme les mthodes de maillage ou la thorie des nombres (par exemple la distribution des nombres premiers), ce qui aurait peut tre tonn Laplace. Ses tudes sur la capillarit sont lies la thorie aujourd'hui en vogue des surfaces minimales
5

Equations diffrentielles et aux diffrences finies : De trs nombreux travaux de Laplace concernent la rsolution d'quations diffrentielles, certaines provenant de ses recherches en astronomie, lectromagntisme, capillarit, etc. Transformation de Laplace : Pour rsoudre certaines quations diffrentielles, Laplace o propos une mthode utilisant des formules intgrales ramenant parfois un problme d'quation diffrentielle des quations algbriques, plus faciles rsoudre. Pour en savoir plus voir ici un petit rsum en franais, un autre plus technique en anglais et un site plus dvelopp en franais sur les transformations de Stieljes-Laplace et leurs applications en thorie des nombres. mthode d'approximation : Le terme de mthode d'approximation de Laplace recouvre deux choses : une mthode de rsolution d'quations diffrentielles par approximations successives, et une mthode d'approximation asymptotique de certaines intgrales. Pour en savoir plus sur ce dernier point, cliquer ici. Constante limite de Laplace : Ce nombre Lambda=0,662743... est li l'quation de Kepler M=E - u sin(E), dcrivant l'orbite des plantes. C'est la valeur limite de convergence de la solution E de cette quation comme srie en u. Pour en savoir plus, consultez ce site dtaill. Dterminants : Lors de l'tude d'quations diffrentielles linaires, Laplace a donn en 1772 une formule de calcul des dterminants par le dveloppement, en termes de mineurs, qui porte son nom.

1. Charles Fourier

(biographie )

CHAPITRE 1

Les distributions
I. Dfinition : (manque !!) II.
1)

Oprations sur les distributions :

Produit de distribution par fonction :

Alors g est support compact et est ce qui ie g )(. En particulier : T est dfinie par une fonction localement intgrable f alors on a :

Soit T ( ), g ( ).On dfinit le produit gT comme suit : <gT,> :=<T,g > Ceci a bien un sens car est support compact g est .

<g ,> =< ,g> =<,g>

Attention!!:

=)( , g(x)()dx7

= <f(x),g(x)(>)

On ne peut pas faire le produit de deux distributions en gnral. <( )(), ( (<=>) ), (>)() =< , >() = ()() Exemple :

Alors ( )( ( = ) )() 2) Drivation dune distribution :

=<( )() , >

=<( ), > ()

Si T ( )et )(On pose <T,> =-< ,> .a a un sens car )( Do < () ,> =(1) < ,() > Exemples: <T,> =-< ,>=< ,> ( () ))(

De cette manire on peut driver une distribution quelconque nimporte quel ordre.

a. Drivation de la Dirac : Soit )( < ,> =-< ,>=- (0)

b. Drivation de lchelon unit : Soit )( <,> =-<,> =

< () ,> =(1) < ,() >=(1) () (0) (x)dx= [ (]) = (0) =< , >

< ,> =(0)

Alors

Soit T ( ), f (). fT ( )on peut donc driver fT nimporte quel ordre (au sens des distribution). Soit ( )(une fonction test) : <(fT), >=-<fT, > =-<T, > =-<T,() > =-<T,() > +< , > (linrit) =<T, >+< , > =<T,>+< T, > =<T+ T, > (linarit)

Exemple :

Ce )(donc () = T+

Exercices : (correction cf. polycopier des exercices)

(( )fonction triangle),(x ),xVp(), (x )Vp(), x ( Vp()) , (sin(x) U(x)), la drive du Calculer:

peigne de Dirac.

Soit T ( ).T est nulle sur un ouvert si

III.

Support dune distribution:

On considre la runion de tous les ouverts sur lesquels T est nulle ie , T=0 sur .

<T, >=0

Et on prend son complmentaire F qui est un ferm , ce ferm est par dfinition, appel le support de T. Exemple :

Pour cela considrons )(telle que : Supp() ]-, 0[]0, +[ < ,>= (0) = 0 Car 0Supp() Do supp ={0} Exercice :

Il sagit de prouver que = 0 sur ]-, 0[]0, +[

Cherchons le support de !

(qui est un ouvert)

10

Soit f alors :

f dfinit une distribution : (x)( )

Montrer que le support de T concide avec : suppf= { , ( )0}=suppT ( justifier) Indication : Soit )(tq : supp complmentaire de suppf : Et il faut prouver que <T , >=0. Or <T , >= (x)(= ) (x)(= )0 Car suup supp f=0

Attention !!: Le Produit entre distributions lorsquil existe nest pas en gnral associatif. En effet exemples : = 0 ; = 0

( x) Vp()=0.Vp()=0

xVp = 1

et

(xVp())= . 1=

Soit T ( ), T ()

Dfinition :

ceci )(Et dans les conditions : <T , >=-<T , >

()

T converge vers T dans )(si la suite numrique <T , > converge vers <T, >

Donc 0

Donc T converge vers T alors <T, >=-<T, > converge vers () .

( )

En particulier si converge dans ()

Et donc on peut driver la srie terme terme autant de fois que lon veut (au sens des distributions) . le calcul de cas dune fonction drivable par morceau prsentant une discontinuit de 1respce Remarque1:

(ie < , > converge entant que srie numrique ) )(

dfinit une distribution de sorte que f ( ( ))est c au sens des distribution :

Soit f une fonction c par morceaux discontinue en x , donc le saut = (x ) (x ) existe f

11

<T , >=-<T , >=- (( )x) dx

=- (( )x) dx -

=<( . + T ) , >

= < , > +<T , >

(( )x) dx =(x )( (x ) (x ))+

+ (( )x) dx+ =-[ (()x) ]

(( )x) dx

(( )x) dx-[ (()x) ]

Alors :

Si x , , x sont des points de discontinuit de f

() = . + {}

() = . + {}

Habitude du physicien :

2) convergence uniforme vers 0 sur tout compact ne contenant pas 0. 3) (x) = 1

1) 0 ,

Procd:

() = . ( ) + {}

Alors

Pour avoir une ide sur la preuve du procd voir solution de lexercice dapplication (cf. Polycopier dexercices) Exercice application :

lim = dans

(calculer) ,n 0

Trouver la limite au sens des distributions de la suite de fonction : (x) = , n 1

Gnralisation de ce procd:
12

f (IR) telle que : (x) = 1

Alors la suite de fonctions (x) ( )converge vers dans Preuve : calquer la preuve prcdente. Exemple : 1 1 = 1 1 + (x) =

f(x)=( ) converge vers dans . Exercice : Montrer les rsultats directement.

(1 + )

= 1) Vrifier formellement que = 1 (on va utiliser Fubinilim

Exercice :

Donc la suite (x) = ()

1 = 1 ( = ) /
/

Exemple :

, (IR) (-1/2<nx<1/2 )

IV.

Transforme dune distribution :

+ , 0

converge vers (0) = dans .

Soit g :

la transforme T (IR) par g est dfinie par : Ceci a un sens car )( Si g(x)=a x

Dfinition :

<Tog , > := ||<T , >

, )(

<Tog , > := ||< , ()> <T(ax) ,( > ):= ||<T (x), ()>

(changement de variable)

(*)

13

Si

(*) scrit ( = )() ( ) ||

T=

On a g(x)=-x en effet

On dit que T est paire si T(-x)=T(x) Exemple :

<T(-x) , >= <T , (>)

1) est une distribution paire en effet : < (-x) ,(( < => )x) , (>) =< (x) , (>)
()()

= < (x) , (( =>)0)

2)< ) (, >=

Avec (( =>)) Do (-x)= (x)

dx
()()

<()(x ), >=< , ( => ) Exercice : (ax+b)=||

dx= < , >

Montrer que :

Remarque : T est _ si T est invariante par la transformation T : x + ie : T(x+ ) = ( )ce qui donne < T(x+ ), ()( <=> ), (> )

(Corriger :Cf. polycopier dexercice)

V.

Transforme de Fourier du Peigne de Dirac: (sous forme dexercice)

f(x)=2 ( )

do< T(x), ( + ) >=< , >

Soit f la fonction 1-priodique dfinie sur [0,1] par : Chercher le dveloppement en srie de Fourier de f. Sur [-1,0] : f(x)=2 ( ) est paire

14

Figure manquante de f !!!

f(x)= cos()
!

On a

( Exercice:

[ 0,1] qui est vraie au sens des distributions. O D= . G sappelle fonction

de Grine de loprateur D ) - On aura =

Montrer que G(x)=U(x) () Vrifie bien lquation DG=

- 1 = 2 ( )cos(2 )

Par intgration par partie :

Alors finalement la srie de Fourier est donne par : Puisque f est paire alors = 0

= (cf. polycopier dexercice)

(x)= + cos(2 )+ sin(2)

()

Ce qui donne (x)= 2

Par application du thorme de Dirichlet on aura: f(x) (x)= 2

() ()

En effet : La srie de Fourier de f converge normalement sur IR, ceci implique la convergence uniforme sur IR de f vers ca srie de Fourier (x). f(x) = De sorte que dans on a :

, f continue donc f et dfinit donc un lment de .

f(x) (x)= 2 Ainsi on a : f(x) = 4

()

et donc on peut driver terme terme.

Dune autre part :

f(x)=2 (1-2x) sur [0,1]

15

()

Figure manquante de f !!!

f(x) = 8 cos(2( )au sens des distributions) f(x) = 4 ||

Et on a

Par notation exponentielle

Do

f(x) = {f}+ = -4 +4 ,

= 1 + || = Si on drive la dernire relation lordre k : Remarque : Soit E =

() ()!

= 1 + 2 cos(2)

=(8 cos(2 )+4 )

avec le peigne de Dirac :=

(au sens des distributions).

() ()!

et on peut donc la driver autant de fois quon veut

; Nous avons u et

() = (2)
()!

On a E(x)=u(x)()! + ( )()! = 0 + ( )()!

= ()! + ( )()!

= ( )()!

De mme on montre que :

E(x) = u(x)()!
()

Et ainsi de suite jusqu lordre k on aura : Do pour k=m :

Utilit de la fonction de Grine :

Si on veut rsoudre lquation : P U=f, avec f donne.
16

() (x) =

( ) (x) = u(x)()! = u(x)

( ) (x) = u(x)()!
()

f* = au encore f*(P E)=f Exercice : =U(x).

On sait que P E= jouera le rle du neutre par la convolution * dans un cadre : ( par exemple) on fera le passage ( justifier) vers PU=f . P(f*E)=f Ainsi U=f*E est solution de

Solution lmentaire de P= + (correction cf. Polycopier des exercices) = U(x). =

= (

+ )

(U(x).

Exercice : Calculer :

P = (). Sin+ (U(x).

= cos (). Sin , avec U(x)=

)

)=U(x). +U(x).cos

( )

x ,x ,x , () ,, () ? (Correction cf. Polycopier exercices)

17

CHAPITRE 2

Les distributions tempres

2.1 Lespace de base
ou si :

Les oprations (drivation, multiplication par une puissance) effectues laide de la transformation de Fourier des fonctions mnent naturellement introduire lespace (espace de Schwartz*) suivant : : i. ii. est de classe k , h , la fonction I--> (x)() est borne, autrement dit : k, h, , > 0, x tel que : )( | () , (< +)

Ou encore:

| () () ,

= { , k, h, sup | () (< | )+ }

18

que toute puissance de

Autrement dit, lorsque |x|-->+, la fonction et toutes ses drives dcroissent plus vite

toutes les drives sont dcroissance rapide. x-> , ,

do lappellation : est lespace vectoriel des fonctions dont

Exemples :

On a : , les inclusions sont strictes. Proprits fondamentales de : i. ii.

Prouver que : x-> || , Exercice :

et que

x->

iii.

est une algbre : , , => + et Appliquer la formule de Leibnitz. est stable par drivation, par translation (Cf dfinition de ) et par multiplication monomoniale. Plus prcisment, si P [X] sans ples sur alors : P et si Si dsigne lespace vectoriel des fonctions sur et croissance lente alors et => Exemples : k , , [X] tel que x , |() ()|| ()|

R(x) sin S(x) o R et S [X] sans ples sur , On peut formuler des structures algbriques de (. ). Mode de convergence sur : Topologie sur : (Cf {(h,k) , , + } est fini) Soit . Pour n on pose |||| = Max | () (|) Ainsi |||| = sup | (|||| ;|) = Max (|||| , sup | (|), sup | ) |)( La topologie de est dfinie par lensemble de ces normes(*)
19

Cos x, sin x, + 1, log (x + 1), th x, sont dans Remarque :

Lapplication |||| est une norme sur

convergence et que d est une distance sur invariante par translation .Thm. (, ) mtrique complet. () lim = 0

on pose () = (0,) =

, N.B : convergence dans => convergence dans Remarque :

|||| ||||

On peut expliciter sur si lim sup | ( () )| = 0 (*),

()

et (,) =

( ) ; noter la

Toute forme linaire continue sur est nomme distribution tempre ; lensemble. 1) = ( ), = ( ), Vp ( )

Noter que . En pratique, les distributions rencontres sont dans suivre. Exemples :

3.2 Distributions tempres ie espace :

2) Il existe des fonctions localement intgrables dont les distributions associes ne sont < , > = < , > =

pas tempres. Il suffit de prendre ( = ) , (= )

Soit (). On suppose quil existe un tel que

= +

Caractrisation de :

En particulier si f est croissance lente (ie majore sur par un polynme) alors (**) est vrifie et donc . > 0 et tel que on ait :

Alors (car alors , ( < )()+ )

()

||

< + (**)

Soit (, ) ; | < , > | ||||

Noter la simplicit de cette caractrisation en comparaison avec

3.3 Oprations et convergence dans :

Soit et . En gnral (Cf 3.1 exemple 2) Cependant si alors < , > a un sens et on vrifie que lapplication
20

lim < , > = < , > ; , Si lim = alors lim = (ie. La drivation est continue sur) et si alors lim = . Soit () tel que supp T est born. Nous allons prouver que T se prolonge continment . Le premier point cl, pour cela, est de pouvoir construire des fonctions test (de ) gales 1 sur [a,b] donn. (Dj vu en TD). Soit alors a, b tel que : suppT=K]a,b[ (ie. ]a,b[ est un voisinage du support de T).

< , > = < , > est continue. La convergence dans est analogue celle dans : lim = si

3.4 Distributions support compact:

Soit alors tel que 1 sur [a,b]. Si alors et donc < , > a un sens. Le deuxime point cl est que cette expression ne dpend pas du choix de . En effet, si tel que 1 sur un voisinage de suppT = K alors ( ) a son support inclus dans = (faire un dessin) et donc par dfinition du suppT < , ( ) = 0 ie < , > = < , > ; et on pose alors < , > = < , >, ( en particulier si et donc T ie Exemple :
()

, , supp = {a} Compact , (1) ()() () = (1) ()() (). Comparer les convergences dans , En rsum on a : < , > = < , > =
() ()

( ) =

21

CHAPITRE 4 :

I.

Cest lespace des fonctions de classe sur valeurs dans C qui sont support compact. Considrons la fonction dfinit comme suit : ( ) en effet.

Lespace de base ()

Distributions dans

0 || 1 ( = ) exp ( || < ||

O a > 0 et || = ( + + . + ) , ( = , . ., ) On a bien ( ) et supp = (0, ).

22

Mode de convergence dans sur ( )

2) Pour tout , uniformment sur o = Remarque :

Analogue celui de () sauf la condition 2) quil faut remplacer par :

Une distribution sur est une forme linaire continue sur ( ). 1) si on pose < , > = ( )() 2) < , > = () = ( , . , ) . i.e. Exemples : Lensemble des distributions sur est not = ( )

Dfinition :

Noter que : dans ( ) => dans ( ) et ( ) .

. Soit s labscisse curviligne sur (abus de notation) compt partir de a : s(t) =

3) soit {2,3} et :[a,b] un arc paramtr de classe (injectif => parcouru une fois lorsque t dcrit [a,b] ) La distribution rpartie sur avec la densit linaire f est dfinie par : une surface paramtre de . 4) n=3 (, ( ), ( = ) (, ), (, ) )

< , > = ( = )() )(( )

On dfinit une fonction sur cette surface, que lon suppose continue.

La distribution rpartie sur S avec la densit superficielle f est telle que :

(, ) | < , > = ( = )() (, ) | ( pour plus de prcision Cf Arnaudies tome 4) convergence dans . idem dans le cas n=1 . support : mme dfinition. Transforme dune distribution sur
23

Soit g : < , > =

+ , ( , ),
||

< , > noter que ( = )

T est invariant par g si Tog = g. Exemple : < , > =

Si = , > 0 alors = ie est une distribution homogne de degr n

ie =

1 < , >= ( )(0) = ( ) = < , >

Soit ( ) on dfinit

VI.

Drivation

< , > = < , >=< , > =< , >

par <

, > = < ,

> , {1, , n}

ie

( )

Rsultat non toujours valable dans le cas des fonctions (Cf thorme de Schwarz). Si D est un oprateur diff. Linaire coefficients , tant son transpos. 2) Montrer que (0) et donc dfinit un lement de () . 3) Prouvez Autre manire de dfinir et : Application la thorie des champs.

< , > = < , > Exercice

1) Calculer =

= .

( + ) en coordonnes polaires.

Soit S( , , ) une surface de avec S de classe .

24

On pose = {} =

Particularisons :

< , > = =

1 , , > 0 0 , , < 0
, ,

, , d

( ) ( )

< , > = <

Si , , = ie = = 0

, > =

( , , ) d x = < , >

{ , }

( , , ) d d ) = 0, ,

= (

Posons < , > = 0, , alors on a En gnral on dfinit par :

Et par rcurrence :

= , = 1,2,3 () () =

) : galit entre distributions vectorielles. Ou encore = ( si , , = "(, )" alors Exemple 2 :

Ou encore = , = , , vecteur normal unitaire S en , , ;

25

 supposs de classe . Considrons un potentiel scalaire V et un potentiel vecteur ( ) = + sont nuls sur { < )(0} et par drivation dun "produit" on a : [**] et

() () = , k=-1,0,1,2,. ie. =

) = + ou encore = . ( S tant la fonction caractristique de { > )( ; 0}

Soit , deux potentiel scalaire ( ) et , deux potentiels vecteurs () . On considre les champs + (1 ) et + (1 ) . Ces champs prsentent

) = + ou encore = . ( .

(1 ) est donc la fonction caractristique de { < )( ; 0}

donc des discontinuits sur la surface S. Les relations de diffrentiations [**] (Cf p.4) scrivent alors dans ce cas : + ( ) ( + (1 ) ) = + (1 ) + (= ( ) + ( ) ) Inutile

( + (1 ) ) = + (1 ) + ( )

+ (1 ) ) = . ( ) ( + (1 ) +

Ces rsultats sont fort utiles dans la thorie des champs lorsquon est en prsence des surfaces de discontinuits. Cf formules de Maxwell, quations dlectrostatique. Exercice : 1) Etablir la formule de green partir des relations [**] ; ie montrer que : V d x =

()

()

V dS ; ( )

(Intgration par parties ou Stocks) En notant que

On commencera par calculer ( ) laide de [**].

est la drive normale. =

2) En utilisant cette formule prouver que = 4

26

ie.

lmentaire du laplacien).

est la fonction de Green du Laplacien dans (ou bien la solution

3) Retrouvez ce rsultat laide de la transforme de Fourier. Application : quations de Maxwell On a dj vu que la densit de charge dune charge lectrique ponctuelle (place lorigine) est une distribution singulire donne par = ( on a utilis la loi de Coulomb + quation de Maxwell + fonction de Green du Laplacien).

Supposons que nous sommes en prsence dune telle surface et tudions les rpercussions et . sur = On a : + (1 ) , = + (1 ) Et = + (1 ) + (NB). = 0 et = , ce qui donne : Mais

Par extension une charge rpartie sur une ligne ou une surface " = )(0" avec une densit superficielle a pour densit de charge = .

+ (1 ) + = 0 . + (1 ) + = + (1 ) +

Ou encore : = = 0 = = 0 = , = = (1) (2)

Autrement dit les champs vrifiant les quations de Maxwell dans les milieux { > )( ; 0} et { < )( ; 0}. La relation (1) entraine = ie. Sur la surface la composante tangentielle du est ncessairement continue alors que la relation (2) entraine que la composante champs est discontinue, la discontinuit vaut la densit . normale du dplacement lectrique Autre application : Front donde.

et sont 0 se celle o = = 0. Cest la surface qui spare la rgion de o

27

 dans le domaine , , > 0 On suppose 0 On sait, Cf quations De Maxwell dans le vide, que :

Supposons qu linstant lquation de cette surface scrit , , = 0 (Cf thorme des fonctions implicites (au moins localement) pour se ramener cette forme) .

+ = Maintenant on utilise les formules [**] (Cf p4) il vient aprs simplification : 0 et 0".
= 0 (noter quon a pos = , en fait diffrentier " , , =

= , , Et

= , , ici = , ,

, ,

+ = 0 (1) Ou encore = (2) sur le front

sur le front (1) , ) , ) est tangent la surface de discontinuit (2) Le plan ( ie. Le plan ( , , = 0 Exercice :

|| = || || et que = 1 . vrifier que lon a aussi || prouver que la distribution ( ) est solution de lquation de propagation des ondes dans = 0 ie = 0 ici ( = + + )

Exercice :

28

CHAPITRE 5:

Dveloppement des distributions En srie de Fourier

VII. Rappels :
Un signal priodique est une fonction f priodique de priode T>0 .ce sont de telles fonctions qui seront dveloppes en srie de Fourier ; elles peuvent avoir des discontinuits notamment de 1re espce plus prcisment on fera lhypothse suivante :

La fonction f est continue sur chaque [, + [ , ayant une drive continue sauf, ventuellement, en un nombre fini de points qui sont des points de discontinuits de 1re espce pour f ou f . On cherche reprsenter f par une srie de cos et sin :
2 2 ( ) + ( cos + ) 2

Ou par une srie dexponentielles :

29

( )

VIII.

Il sont donns par les formules suivantes :

=

1.1.calcul des coefficients , :

( )cos

, =

( )sin

2 ( )

Ces coefficients sont lis par les relations :

1 1 = ( ) > 0 = ( + ) , > 0 , 2 2

. 2

Le rsultat principal de convergence est le suivant : Thorme de (Dirichlet) :

- par morceaux ( ou f satisfait lhypothse prcdente ) alors la srie particulier si f est continue au point t alors on a :
+ ( cos( )+ ) )(converge simplement vers [( ) + ( ]) . En

(on a pos suivant lusage en physique =

(= ) + ( cos( )+ ) )( 2

|(|) < + . Dans lespace de Hiebert ([0, ]) le systme de fonctions : ([0, ])

0 ie : < , >= (). = , = ()

IX.

1.3.Formule de Parseval :

(= )

, est un systme ortho normal . 1

=
30

on montre que le systme ( ) est total dans ([0, ]) . Alors on a :

1 |(|) = | |

conducteur , par exemple . par consquent Si ( = ) alors

La suite ( ) est une reprsentation discrte de . Lorsque t dsigne le temps alors |(|) reprsente une puissance instantane de sorte que , le carre de lintensit ( )ou de la tension )(est proportionnel la puissance lectrique , linstant t, reue par le signal ou nergie moyenne .

X.

1.4.Interprtation physique :

|(|) est la puissance moyenne du

La suite { , }( frquences ) constitue le spectre de ( ).par spectre de Fourier on En pratique ,on construit le spectre des raies | | appel spectre nergtique et

la puissance moyenne total du signal est gal la somme des puissances des harmoniques ,qui est dapparent avec la proprit physique de conservation de lnergie.

|)(|

= | | . Lidentit de Parseval exprime alors le fait que

dsigne le graphe qui reprsente en fonction de la frquence .

arg appel spectre de phase .

Si ( ) (signal rel) alors | | = | | et arg = arg ,il ya donc symtrie des deux spectre par rapport lorigine .

- () est periodique de periode si = o = ( + )

=

XI.

2.Distributions priodiques :

Soit , nest pas en gnral priodique .on considre sa transforme priodique

Noter que la somme a un sens :elle ne contient quun nombre fini de termes. De plus , periodique.
, >=< , Si on pose < >

a a un sens car et .

31

 est : la transforme priodique de . On vrifie aisment

Conclusion

(en cours)

32