Vous êtes sur la page 1sur 32

licociic Laiochc, 2OO5 1 lioncnaocs nathcnatiqucs

Analysc oc Hillcit http://pioncnaocsnaths.licc.li



accucil
lichici lol

l:x/:a://-://:a :/ /:/://-://:a !: /: a://:a://a: a/ :/:a!:a -:
:a-a/.:a/ !:a/- !:: /a- !: . :a- :a/ ::a!a// : :a!: ////-///:- aa -/ :a!
a:a/: !: /:x/:- a://:a://a:- a: /: a:a::: (a/ : /:a:a- :-:) !: .:/ /:-
a://:a://a:- :!: ::a/::/ :.:: /: /,-/a: :/ /:- -:/:a::- a:/a://:- :-/ !:.:aa:
:://:
\/:!/a/ Aa:/! 1''c


Analyse de Hilbert
1. lioouit scalaiic
2. lolynncs oithogonaux
2a : Fclation oc iccuiicncc
2l : loinulc oc ChiistollclDailoux
2c : Noyau
o. Lc thcoinc oc Wcicistiass
4. Lcs zcios ocs polynncs oithogonaux (1)
5. Appioxination
5a : Thcoinc
5l : loinulc oc quaoiatuic oc Causs
5c : Nonlics oc Chiistollcl
5o : Lvaluation oc l`ciicui
5c : loinulc o`intcipolation o`Hcinitc
o. Lcs zcios ocs polynncs oithogonaux (2)
. Lspacc oc Hillcit
8. Fcpicscntations conloincs
. Un cxcnplc : lc pioouit hciniticn ct lcs incgalitcs oc Hciscnlcig
a : lioouit scalaiic hciniticn
l : Incgalitcs oc Hciscnlcig
1O. Lquations intcgialcs
1Oa : Apciu oc la qucstion
1Ol : La ncthooc oc licoholn
11. Noyaux oc louiici
11a : Tiansloincc oc cllin
11l : Lxcnplcs oc noyaux oc louiici
11c : loinulcs o`invcision non synctiiqucs
12. Convolution
licociic Laiochc, 2OO5 2 lioncnaocs nathcnatiqucs
Analysc oc Hillcit http://pioncnaocsnaths.licc.li


Davio Hillcit H. Schvaitz Chailcs Hcinitc A. . Lcgcnoic L. Chiistollcl Liik Ivai licoholn

1. |ntrodnction et bibliographie
Dc tis nonlicux icsultats ct ncthoocs ont vu lc oui au lil ocs siclcs oans lcs oonaincs oc
l`analysc nunciiquc, oc la icsolution ocs cquations oillcicnticllcs, oc l`appioxination, ctc. uano
on lit lcs oivcis ouviagcs pioposcs oans la lilliogiaphic, oont lcs oatcs oc paiution s`cchclonncnt
sui pcinc un siclc, on voit la oivcisitc ocs appiochcs ct ocs notivations : untcl scia plus
intcicssc pai lc ctc puicncnt nathcnatiquc, tcl autic pai la icsolution o`cquations aux ociivccs
paiticllcs, tcl autic pai l`appioxination, ctc.
Aiiivci sc laiic unc iocc un pcu claiic oc la chosc n`cst pas tis lacilc, ct c`cst cc quc nous allons
cssayci oc laiic nalgic tout. Dans un picnici tcnps nous laisons quclqucs apcius thcoiiqucs cn
cvitant oc ocvcloppci tiop lc ctc puicncnt nathcnatiquc (lc lcctcui intcicssc pcut liic
Schvaitz pai cxcnplc), puis nous nous intcicssscions au ctc piatiquc oc la chosc avcc oivcis
typcs oc polynncs oithogonaux (Lcgcnoic, Laguciic, Hcinitc), cnlin nous tcinincions pai un
licl apciu sui la thcoiic oc l`appioxination avcc lcs splincs ct lcs nuils.
Connc poui la plupait ocs tcxtcs picscnts sui lc sitc la plus gianoc placc cst laitc aux
applications, nais cc nc scia nalhcuicuscncnt pas lc cas oans ccttc picniic paitic.
|c nc icsistc pas ncannoins citci l`Univcisalis
l':a-:/a:a:a/ !: ::- a:-//:a- :a l:a:: :-/ ::aa -:/:a aa /:a //!: :/a!: !:- a:!:- !: ::a.::a::
!:a- aa ::!: :/-/:// .://!://:a !:- ::://:a- -a /:- -:/:- :/ /:- /a/::/:- ::-:a/://:a !:- :a://:a-
:/ :a/a :-:/a//:a !: ://:a:- C://: !:a::/: :-/ contraire : /: ://a: -:/:a///a: :a
/':::a!/--:a:a/ //::/a: !:- a:!:- !: ::-:a/://:a :/ !'::x/a://:a .: !: :/ :.:: /':/a!: !:-
://:a:- ./-:-
l:- a://:!:- !: ::-:a/://:a :/ !'::x/a://:a :a:a/ aa rle central !:a- /':a:/,-: a://:a://a:
l//:- -:a/ :-:a/::- !: ::a -,a//://a: !:a- /:- :/a :a/:- :/://:- a/ :a.:/:a/ :a /a- !:
!:/://- -a :/::aa: !:- a://:!:- !:://:- :ax !/.:- ://:/:- !':a:/,-: !: /'la:,:/::!/: D:a- /:- /:/-
!:a/:- :/://:- a:a- :::a!/--:a- /:- ://:a:- !'::x/a://:a :a :/:!:a/ a:/:aa:a/ /:-
a:-//:a- !: -/://///: :/ !: .//:--: !: ::a.::a:: -::/:/:a:a/ a///:- :a :a:/,-: aaa:/a:
f::al:a/- O.::/ f::ala: \:/:,
la:,:/:!/: a/.:-://- `..; /:a- !://- :-:.:-

Billiogiaphic
N. Boccaia, D/-///a//:a-, Lllipscs, 1o
a :/// //.: :- /:- ::/- a:/- /:- :/:/ :/ :://: : //: k:::aa:a!: :a !:/a/:
A. Angot, C:a/:a:a/- !: 1://:a://a:-, asson ct Cic, 1O
7:- :/:/ :/ -a::/a:/ :a/:a:a/ -a/-:a/ a-a:a 5: Oa /: /:a.: ::/- !::::-/:al/:a ::a/:/ :/ !:-
://:://:a- /a/::--:a/:- : /l/:://://:
H. Hochstaot, l:- :a://:a- !: /: /,-/a: a://:a://a:, asson ct Cic, 1o
la/-: a:/- /:- /a/::--:a/ /:- ::/:a/- -:a/ ::/- a!:- a:/- a://:a/ !: -, ://:!:
W. Appcl, 1://:a://a:- :a /: /,-/a: :/ /:- /,-/:/:a-, HK co., 2OO2
l:--: aa :a .//: -a :- a:/ !: /a:- a:/- :-/: ::a:/:a-///:
licociic Laiochc, 2OO5 o lioncnaocs nathcnatiqucs
Analysc oc Hillcit http://pioncnaocsnaths.licc.li
C. Dcncngcl, 7:a-:a://:a- !: l:/:::, Lllipscs, 2OO2
1:/: aa: :-:a/://:a aa :a :a////- :a , /:a.: /:--:a//:/ : ::aa:|/: -a :: :a: !: a:-//:a-
L. T. Whittakci C. N. Watson, A a:!:a ::a-: : :a:/,-/-, Canliiogc Univcisity licss, 12
(2OOo)
l/:a a: :: -:// :a :a/:/- ::-/ :--:. :://: : //: l: :::a:: :-/ aa: :/a:--/:a !: /: ;
:a:
:!///:a !:/:: !:
1'`7 l: //.: : /a/a:a: ::a//:a/ /::a::a !: :/:-:- :a/:-
I. N. Sncooon, l:a/: 7:a-:a-, Dovci, NcvYoik, 151 (15)
l::a::a !://:://:a- : !:- !:a:/a:- .:/:- lx//:://:a- :--:. :/:/:- a:a: -// :a/ aa /:a a/.::a
::/-
L. Schvaitz, Aa:/,-: ////://:aa:, Hcinann, laiis, 1
A--:. //::/a: a:/- :-/: //-///: :.:: aa a/.::a l::+?
C. Valiion, la://:a- :a://:aa://:-, asson ct Cic, laiis, 15O (icco. |. Calay, 18)
C: : :- a:/ ./://// a:/- :a /:a.: a:a! a:a: /:--:a//:/ -a /: :-:/a//:a !:- :a://:a- !/::a//://:- :/
/:- /a:/:/:- a://:!:-
|. L. Fonlaloi, Ia/::/://:a :/ A:x/a://:a, Vuilcit, 2OO5
l:a :/// :a.:: -a /::x/a://:a :/ /:- a:,:ax
C. Dcncngcl |.l. lougct, 1:!:/:- !: l:./: !:- l-//a:- :/ !:- |kl5, Lllipscs, 18
7:- a////-://: :/ /:- ::a::/
. Attcia |. Cachcs, A:x/a://:a ////://:aa:, LDl scicnccs, 1
l: :a/:: ://: -a /:- -//a:- :-/ ////-///: l: ://: :a!:/://:- :-/ /a- -,a:
B. Buikc Hullaio, Oa!:- :/ :a!:/://:-, Bclin, 15
\a/:/-://:a -a /:- :a!:/://:- a:/- /:a:/: : :- a:/ !: :/:-:- Ia/::--:a/ :/ /:- //-///:
Lncyclopcoic Univcisalis, aiticlc l:a://:a- (::-:a/://:a :/ ::x/a://:a) ct ccux assocics, co.
clcctioniquc, 2OO5.
l:a-:a//: :-/ :--:. /:a l:a/ -:./ !: /:-:

5a Ia/:a:/ :- a:/ !: :/:-:-..:/ : :x:a/:
uclqucs applications : http://vvv.unicc.li/Dcptlhys/pilot/nooc1.htnl
A piopos oc la thcoiic oc la chalcui :
http://vvv.scicnccs.univnantcs.li/physiquc/pciso/llanquct/conoucti/coocx.htn
Unc autic pagc sui la Chalcui, nais cn plus conplct :
http://gcishvin.cns.li/voanicl/DocLocalc/Couisiiioico/pciatcuis
Dillcicnticls/vvv.chcz.con/touslcscouis/nath/couis/opoill/nooc1.htnl
loui unc tiipotcc oc loinulcs ct oc licns on consultcia cviocnncnt :
http://nathvoilo.vollian.con/BcsscllunctionolthcliistKino.htnl
ainsi quc tous lcs licns ou sitc.
Bcaucoup oc choscs intcicssantcs sui http://vvv.scicnccs.ch/htnlli/intioouction.php, on
piolitcia cgalcncnt ocs licns vcis oc nonlicux tcxtcs oisponillcs cn pol.
Couis o`analysc nunciiquc : http://ccl.ccso.cnis.li/couis/ccl1/nuncii.pol
Lquations aux ociivccs paiticllcs :
http://vophysthco.upstlsc.li/-iolcit/licaonin/ul1l/vvv/1ci.OoO4/cco2/cco2.htnl
Un pcu oc aplc : http://vvv.lptl.ussicu.li/uscis/viot/to.htnl
Tiansloincc oc Hankcl : http://vvv.ouinals.cns.nath.ca/cgi
lin/vault/pullic/vicv/lctancoi84O.picpul/looy/lDl/lctancoi84O.picpul.pol~lilc~lctancoi8
4O.picpul
Bcaucoup oc choscs ici, nais cn louillant : http://vvv.nathpagcs.con/honc/inocx.htn

licociic Laiochc, 2OO5 4 lioncnaocs nathcnatiqucs
Analysc oc Hillcit http://pioncnaocsnaths.licc.li
2. Prodnit scalaire
n oclinit cn gcncial lc pioouit scalaiic (:!a// -::/:/: /:a///:a ou p.s. /a/:/:a) , oans lcs
lonctions valcuis oans pai lcs piopiictcs suivantcs :
1. , , =
2. , , , / / / + = +
o. , O O = = ,
poui lc p.s. ainsi oclini on oclinit la noinc oc pai
1/2
, = qui possoc alois lcs piopiictcs
suivantcs :
1. O O = = , O
2. =
o. + +
(incgalitc tiiangulaiic : l`cgalitc a licu si ct sculcncnt si lcs vcctcuis ct sont inocpcnoants).
Ccttc ociniic incgalitc icsultc oc la piopiictc suivantc : , , posons , ,
/
:

=
ct
2
,
/

:


= , cllcctuons l`opciation suivantc :
2 2 2 2
, , =
qui cst cviocnncnt positil. L`incgalitc picccocntc cst unc cgalitc si O = oonc si ct sont
lincaiicncnt ocpcnoants. La iccipioquc cst inncoiatc avcc lcs piopiictcs ou p.s.
Dcux lonctions ct sciont oithogonalcs si ct sculcncnt si lcui p.s. cst nul, oc nnc unc lanillc
oc lonctions ( )
a
a


scia oithogonalc si toutcs lcs lonctions
a
sont oithogonalcs ocux ocux. La
lanillc scia othonoinalc si lcs noincs oc tous lcs vcctcuis valcnt 1. L`cnscnllc ocs conlinaisons
lincaiics oc la lanillc ( )
a
a


constituc cviocnncnt un cspacc vcctoiicl oc oincnsion inlinic (ou
linic si lc nonlic oc lonctions cst lini.) oont lcs
a
constitucnt unc lasc.
Si nous picnons unc lonction quclconquc la qucstion qui sc posc cst alois oc savoii si cllc pcut
s`cxpiinci oans la lasc ( )
a
a


, poui cc laiic il laut octcininci lcs cooioonnccs oc oans la lasc,
cooioonnccs oltcnucs cn laisant lc p.s. oc avcc tous lcs vcctcuis oc la lasc : cn cllct supposons
quc s`cciivc
a a
a

alois
2
, , ,
/ / / / / / /

= = =

. Si la lasc cst oithonoinc


on iccupic oiicctcncnt la cooioonncc
/
.
Si cc n`cst pas lc cas, cc n`cst pas tis giavc cai nous pouvons constiuiic unc lasc oithonoincc
cquivalcntc la lasc ( )
a
a


: consiocions oonc quc nos vcctcuis ( )
a
a


sont sinplcncnt
lincaiicncnt inocpcnoants ct posons
O
O
O

= qui cst cviocnncnt noinc , picnons naintcnant


1 1 O O
1
1 1 O O
,
,
: :
:
: :

qui cst noinc ct oithogonal


1
: , o`unc naniic gcncialc si on picno
1
O
1
O
,
,
/
/ / / /
/
/
/
/ / / /
/
: :
:
: :

on olticnt unc lanillc oithonoincc oc vcctcuis (la ocnonstiation cst


laisscc aux lons soins ou lcctcui). C`cst lc pioccoc o`oithogonalisation oc CiannSchniot. Cc
licociic Laiochc, 2OO5 5 lioncnaocs nathcnatiqucs
Analysc oc Hillcit http://pioncnaocsnaths.licc.li
pioccoc oc calcul cst iccuiicnt, nais on pcut oltcnii unc cxpicssion oiicctc ocs
/
: cn consiociant
lc octcininant
1 1 1 2 1
2 1 2 2 2
1 2 1
1 2
, , ... ... ,
, , ... ... ,
... ... ... ... ...
, , ... ... ,
... ...
/
/
/
/ / / /
/


!

=
oont lc p.s. avcc chaquc

: , </ oonnc O ct
,
O
, ,
/
/ / / /

: ! !
=
=

, connc lcs ligncs / ct sont
iocntiqucs, on a
/
/
/
!
:
!
= .
3. Polynmes orthogonanx
Cc quc nous vcnons oc laiic nc lait pas intcivcnii lc typc ocs lonctions , aussi intcicssons nous
unc lanillc oc lonctions paiticuliics : lcs polynncs iccls , nous lcs picnons oclinis sui un
intcivallc |:, /] piioii quclconquc quc nous allons nunii o`un p.s. : choisissons un polynnc
quclconquc (x) ct unc lonction poids a(x) poui laqucllc l`intcgialc ( ) ( )
/
:
x a x !x
}
cxistc. loui la
suitc ocs cvcncncnts il vaut nicux quc a soit stiictcncnt positivc ct si nous pailons o`intcgialc
au scns oc Lclcsguc, presqne partont stiictcncnt positivc. Nous intioouisons naintcnant notic
pioouit scalaiic oc la naniic suivantc :
, ( ) ( ) ( )
/
:
x x a x !x =
}
poui ocs lonctions iccllcs.
Si lcs lonctions sont conplcxcs il laut alois picnoic lc pioouit hciniticn
, ( ) ( ) ( )
/
:
x x a x !x =
}
.
Vciilions quc nous avons licn un p.s. : ou lait quc nous picnons ocs polynncs sui nous
avons inncoiatcncnt , , , = = , oc nnc la conoition oc lincaiitc cst vciilicc. loui
la o
inc
conoition
2
, ( ) ( )
/
:
x a x !x =
}
qui cst oonc positil puisquc a l`cst , oc nnc connc
2
( ) ( ) O x a x l`intcgialc nc pcut tic nullc quc si
2
cst nullc , la iccipioquc cst inncoiatc.
Chcichons oonc unc lanillc oc polynncs oithogonaux poui cc p.s. : nous picnons la lanillc
lincaiicncnt inocpcnoantc
2
(1, , , ..., )
a
x x x quc nous pouvons oithogonalisci avcc la ncthooc oc
CiannSchniot , pai cxcnplc avcc a(x) ~ 1 ct |:, /] ~ |1, 1] nous avons :

O
1 = o`ou
1
2
O
1
1 2 !x

= =
}
ct
O
1
2
: = ,

1
x = o`ou
1
2 O 1,1 1,
2
1 1
x
! x
x x
= = = ct
1
2 o
2 2
x
: x
x
= = ,

2
2
x = o`ou
2
2 2
2
2
2
2
2 O
1,1 1, 1,
o
2 4 4
,1 , , O O
o o
1
1
x x
! x x x x x x
x x
x x
= = = ct
2
2
5
(o 1)
8
: x = .
licociic Laiochc, 2OO5 o lioncnaocs nathcnatiqucs
Analysc oc Hillcit http://pioncnaocsnaths.licc.li
?: Relation de recnrrence
La ncthooc constiuctivc picccocntc cst nalhcuicuscncnt un pcu louioc ct oillicilc ncttic cn
ouvic os quc a ocvicnt giano, aussi allons nous chcichci unc loinulc oc iccuiicncc poui lcs
polynncs oans lc cas gcncial.
Il cst inncoiat quc lcs polynncs
a
: sont oc ocgic a ( causc oc
a
! ), aussi posons
O
...
a
a a
: / x / = + + ct calculons
(1) , ( ) ( ) ( ) , O
/
a a a
:
x: : x: x : x a x !x : x: = = =
}
poui 2 a
puisquc :

cst au plus oc ocgic a1 , calculons naintcnant


( )
1 1
1 1
1 1 O
... ...
a
a a a a
a a a a
a a
/ /
x: / x / x : : :
/ /
+ +
+ +
+ + =
(
= + = + = + (
(


(lcs

: sont lcs cooioonnccs ou polynnc icstant oans la lasc) , posons


1 a
a
a
/
A
/
+
= ct cciivons
1
O
a
a a a

: A x: : :
+
=
=

, cllcctuons lc p.s. sui ccttc cgalitc :
(2)
1
, ,
a a a a a
: A x: : A x: : :
+
= = poui a .
Cicc (1) nous avons alois O

: = poui 2 a ct
1 1 1 a a a a a a a
: A x: : : : :
+
= + . louvons nous
tiouvci unc cxpicssion agicallc oc
1 a
:

~ (2) oonnc cgalcncnt
1 1 1
1
1 1 1 O
, ,
1
, , .
a a a a a a a
a
a a
a a a a a
a a a
: A x: : A : x:
A A
A : : : : :
A A A

=
= = =
| |
| + = =
|
\ .


linalcncnt nous pouvons cciiic la iclation oc iccuiicncc cntic lcs polynncs oithogonaux :
( )
1 1
O
a a a a a a
: A x : : l :
+
+ + = avcc
1 a
a
a
/
A
/
+
= ct
O
1
, O.
a
a
a
A
l l
A

= =
?/ Formnle de Christo[[el-Darbonx
Au nnc titic qu`cn gconctiic la oistancc licc au p.s. pcut s`cxpiinci oans unc lasc oithonoincc
pai unc cxpicssion oc la loinc
2 2
... x , + + on pcut sc ocnanoci cc quc oonnciait unc cxpicssion
oc la loinc
2
O
a

:
=

, nais connc lcs :

sont ocs polynncs on pcut gcncialisci ocs cxpicssions oc


la loinc
O
( , ) ( ) ( )
a
a

l x , : x : ,
=
=

.
Nous avons poui l`instant
O O
: / = ct
2
1 1 1 O
( )
/
:
: / x / / xa x !x =
}
(icvcnii la oclinition).

Utilisons la iclation oc iccuiicncc sui lcs :

: ( )
1 1
( ) ( ) ( ) O
a a a a a a
: x A x : : x l : x
+
+ + = ou nous allons
nous oclaiiassci ocs
a
: ,
1 1
( ) ( )
( )
a a a
a a
a
: x l : x
A x :
: x
+
+
+ = , cn iccciivant la nnc chosc poui , ct cn
soustiayant, nous tiions :
1 1 1 1
( ) ( ) ( ) ( )
( )
( ) ( )
a a a a a a
a
a a
: x l : x : , l : ,
A x ,
: x : ,
+ +
+ +
= , soit
1 1 1 1
( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) 1
( ) ( )
a a a a a a a a a
a a
a a
: x : , : , : x l : x : , : , : x
: x : ,
A x , A x ,
+ +
| | | |
=
| |

\ . \ .

licociic Laiochc, 2OO5 lioncnaocs nathcnatiqucs
Analysc oc Hillcit http://pioncnaocsnaths.licc.li
avcc
1
a
a
a
A
l
A

= o`ou
1 1 1 1
1
( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) 1 1
( ) ( )
a a a a a a a a
a a
a a
: x : , : , : x : x : , : , : x
: x : ,
A x , A x ,
+ +

| | | |
=
| |

\ . \ .
.
i nous sonncs olscivatcuis ct nous icnaiquons quc
1
( ) ( ) ( , ) ( , )
a a a a
: x : , l x , l x ,

= ,
cn conpaiant avcc la iclation picccocntc, nous concluons inncoiatcncnt quc
1 1
1
( ) ( ) ( ) ( )
( , )
a a a a a
a
a
/ : x : , : , : x
l x ,
/ x ,
+ +
+
| |
=
|

\ .
.
Vous pouvcz vciilici quc ccttc iclation cst valallc poui a ~ O, la iccuiicncc cst alois ctallic. Si
nous laisons tcnoic , vcis x, nous oltcnons oonc cn laisant unc lcgic nanipulation :
1 1 1
1
( )| ( ) ( )] ( )| ( ) ( )]
( , ) lin
a a a a a a a
a
, x
a
/ : x : , : x : x : , : x
l x x
/ x , x ,
+ + +

+

=

,
soit
[ ]
2
1 1
1 O
( , ) ( ) ( ) ( ) ( ) ( ) O
a
a
a a a a a /
a /
/
l x x : x : x : x : x : x
/
+ +
+ =
= =

.
?: Noyan
lixons naintcnant la valcui oc , oans l`intcivallc |:, /] ct ctuoions lc polynnc
O
( ) ( ) ( )
a
/ /
/
x : x : ,
=
=

.
cst oc ocgic a ct s`cciit oonc
O
( ) ( )
a
/ /
/
x : x
=
=

,
o`autic pait nous souhaitons avoii un polynnc noinc, soit ( ) 1 , = oonc
2
O
1
a
/
/

=
=

,
pai aillcuis nous pouvons consiocici quc (,) cst lc p.s. oc ocux vcctcuis oc conposantcs
( )
/
ct ( ( ))
/
: , .
Utilisons la iclation oc CauchySchvaiz sui
2
( ) , :
2 2 2 2
O O O
( ) ( ) ( )
a a a
/ / /
/ / /
, : , : ,
= = =
=

,
l`cgalitc ayant licu loisquc lcs vcctcuis sont lincaiicncnt inocpcnoants, auqucl cas
2
( ) , cst
naxinun.
Si nos ocux vcctcuis sont lincaiicncnt ocpcnoants, il cxistc tcl quc ( )
/ /
: , = poui tout /,
o`ou
O
( ) ( ) ( ) ( , )
a
a / /
/
x : x : , l x ,
=
= =

, tououis poui avoii un polynnc noinc nous cciivons :


2 2 2
O
1
1 ( ) ( , ) 1
( , )
a
a /
/ a
: , l , ,
l , ,

=

= = = =

ct linalcncnt
( , )
( )
( , )
a
a
l x ,
x
l , ,

= .
uc pcuton oiic oc ( ) , oans cc cas ~
licociic Laiochc, 2OO5 8 lioncnaocs nathcnatiqucs
Analysc oc Hillcit http://pioncnaocsnaths.licc.li
Connc oc toutcs naniics
2
O
( ) ( )
a
/
/
, : ,
=
=

, c`cst sa valcui naxinalc ct lcs polynncs (x)
picccocnts sont ccux qui icnocnt ( ) , naxinal poui unc valcui lixcc oc ,.
Tcininons cc paiagiaphc cn icnaiquant quc si cst un polynnc oc ocgic inlciicui ou cgal a,
alois
O
( ) , ( )
a
/ /
/
x : : x
=
=

(lcs cooioonnccs oc sont oltcnucs cn laisant lc p.s. oc ct oc chaquc
:
/
puisquc lc p.s. consistc pioctci sui chacun ocs :
/
) , oc plus
O O O
( ), ( , ) ( ), ( ) ( ) ( ), ( ) ( ) , ( ) ( )
a a a
a / / / / / /
/ / /
x l x , x : x : , x : x : , : : , ,
= = =
= = = =

.
Lc tcinc ( , )
a
l x , cst appclc a:,:a ::a::/:a ou a:,:a ////://:a , cn paiticulici si ~1
((x)~(,)~1), nous oltcnons 1, ( , ) ( , ) ( ) 1
/
a a
:
l x , l x , a x !x = =
}
.
. Le theorme de Weierstrass
Nous avons vu oans lc livic unc appiochc ou thcoinc paitii ocs plynncs oc Bcinstcin sous
unc loinc piolalilistc. Anclioions ccci cn laisant la ocnonstiation.
licnons oonc lcsoits polynncs
O
( , ) (1 )
a
/ a /
a
/
a
/
l x x x
/ a

=
| |
| |
=
| |
\ .
\ .


avcc x oans |O, 1] (on pcut tououis sc iancnci l`intcivallc |:, /] noycnnant unc tiansloination
allinc : | , ] |O, 1]
/ /
/ : /
/ :

ct iccipioqucncnt). Il nous laut oonc nontici quc ccs polynncs


convcigcnt sinplcncnt vcis la lonction (continuc), soit quc poui tout O > , il cxistc | tcl quc
poui tout a supciicui |, ( ) ( , )
a
x l x < .
licnons tout o`aloio ~1 :
O
( ,1) (1 ) ( 1 ) 1
a
/ a / a
a
/
a
l x x x x x
/

=
| |
= = + =
|
\ .


(ocvcloppcncnt ou linnc) ct tout va licn. Un pcu plus loin avcc (x)~x :
1 1 ( 1)
O O O
1 1
( , ) (1 ) (1 ) (1 )
1 1
a a a
/ a / / a / / a /
a
/ / /
a a a
/
l x x x x x x x x x x
/ / / a

= = =

| | | | | |
= = = =
| | |

\ . \ . \ .

.
llus conplcxc avcc
2
( ) x x = :
2
2 2 2 1
2
O O
1
( , ) (1 ) (1 )
1
a a
/ a / / a /
a
/ /
a a
/ /
x l x x x x x x x x x
/ / a a

= =

| | | |
= =
| |

\ . \ .

, lol.
Dciivons ( )
a
x , + pai iappoit x puis nultiplions pai x/a : on a
1
O
( )
a
a / a /
/
a
/
x x , x ,
/ a

=
| |
+ =
|
\ .

,
icociivons ccttc iclation ct icnultiplions pai x/a, on a alois :
2
2 2 2
2
O
( ) ( )
a
a a / a /
/
a
x, /
x x , x , x ,
/ a a

=
| |
+ + + =
|
\ .

.
Fcnplaons , pai 1 x :
2 2
(1 )
( , )
a
x x
x l x x
a

+ = , pai conscqucnt
2 2
(1 ) 1
( , )
4
a
x x
x l x x
a a

=
licociic Laiochc, 2OO5 lioncnaocs nathcnatiqucs
Analysc oc Hillcit http://pioncnaocsnaths.licc.li
(la lonction x(1x) cst inlciicuic 1/4 sui |O, 1]).
lassons au cas gcncial : cst uniloincncnt continuc, oonc loincc , il cxistc oonc tcl quc
( ) x 1 , pai conscqucnt ( ) 2
/
x 1
a
| |

|
\ .
, pai aillcuis poui tout O > , il cxistc tcl quc si
/
x
a
< alois ( )
/
x
a

| |
<
|
\ .
. licnons un O > , poui notic polynnc l
a
, il cxistc ocs points
//a poui lcsqucls lcs valcuis oc l
a
sont unc oistancc inlciicuic oc ct o`autics poui lcsqucls
ccttc oistancc cst supciicuic, nous pouvons oonc cciiic
( ) ( , ) ( ) (1 ) ( ) (1 ) ,
/ a / / a /
a
/ /
x x
a a
a a
/ /
x l x x x x x x x
/ / a a


<
| | | |
| | | |
+
| | | |
\ . \ .
\ . \ .


La picniic sonnc sc naoic lacilcncnt pai
2

, poui la ocuxinc, nous avons


2
2
2
/ /
2
2 (1 ) (1 )
/ a / / a /
x / a x / a
a a
1 /
5 1 x x x x x
/ / a



| | | |
| |

| | |
\ .
\ . \ .


o`ou cn ocvcloppant lc tcinc caiic :
2 2 2 2
2
2 2 2
2 2 (1 ) 2
( ,1) 2 ( , ) ( , ) 2
4
a a a
1 1 x x 1
5 x l x xl x x l x x x x
a a

(
(
+ = +
(

.
Ln choisissant
2
1
a

> , on olticnt
2
( ) ( , )
2 2
a
1
x l x
a

+ . Ccttc ocnonstiation cst


constiuctivc puisqu`on sait pcu pis qucl polynnc oc Bcinstcin on ocvia utilisci poui
appiochci . lai contic, connc on lc voit ciocssous la vitcssc oc convcigcncc cst
paiticuliicncnt lcntc.
1,5
1
O,5
O
O,5
1
1,5
O O,2 O,4 O,o O,8 1 1,2
x

lig. 1 : Appioxination oc cosx pai lcs polynncs oc Bcinstcin, a ~ 18O
licociic Laiochc, 2OO5 1O lioncnaocs nathcnatiqucs
Analysc oc Hillcit http://pioncnaocsnaths.licc.li
O
O,2
O,4
O,o
O,8
1
1,2
O O,2 O,4 O,o O,8 1 1,2
x
ccait

lig. 2 : ccait cntic cos x ct l
a

5. Les zeros des polynmes orthogonanx (1)
Lcs polynncs ( )
a
: x ctant oc ocgic a, ils ont a zcios conplcxcs ou iccls (aux oioics oc
nultiplicitc pis), nais nous allons nontici quc ccs zcios sont tous iccls, sinplcs ct oans |:, /] !
Supposons quc nous ayons / < a zcios iccls poui ( )
a
: x , alois lc polynnc
O 1
( ) ( ) ( )
/ /
/

x x x : : x
= =
= =


scia tcl quc , O
a /
: = .
Lc pioouit ( ) ( )
a /
x : x nc conticnoia quc ocs tcincs au caiic nultiplics pai unc cxpicssion oc
signc constant , supposons quc cc pioouit cst positil, nous auions alois
, ( ) ( ) ( ) O
/
a a / /
:
: : x x a x !x = >
}
,
il y a oonc unc contiaoiction qui nc pcut tic lcvcc qu`cn picnant / ~ a. Il y a oonc a zcios
sinplcs oans |:, /].
Un autic icsultat intcicssant cst quc :
a
ct :
a+1
nc s`annulcnt pas sinultancncnt ct quc lcs zcios
oc :
a+1
scpaicnt ccux oc :
a
: icpicnons la iclation oc iccuiicncc ou oa : soicnt x
a
ct x
a+1
ocux zcios
succcssils oc :
a
, on a
[ ]
2
1
1 O
( ) ( ) ( ) O
a
a
a a a a a
a
/
: x : x : x
/
+
+ =
=


oonc
1
( ) ( ) O
a a a a
: x : x
+
,
oc nnc quc
1 1 1
( ) ( ) O
a a a a
: x : x
+ + +
.
Connc on a ocux zcios consccutils, ( )
a a
: x ct
1
( )
a a
: x
+
sont oc signcs opposcs , il cn cst alois oc
nnc poui
1
( )
a a
: x
+
ct
1 1
( )
a a
: x
+ +
, oonc
1 a
:
+
ooit s`annulci au noins unc lois cntic lcs ocux
zcios.
Dc la nnc naniic :
a
ooit s`annulci cntic ocux zcios oc :
a+1
.
licociic Laiochc, 2OO5 11 lioncnaocs nathcnatiqucs
Analysc oc Hillcit http://pioncnaocsnaths.licc.li
ontions quc ccs zcios nc sont pas iocntiqucs : si c`ctait lc cas on auiait cgalcncnt
1
( ) O
a a
: x

=
ct ainsi oc suitc cn ocsccnoant lcs valcuis oc a , nais connc :
O
> O c`cst inpossillc.
Nous vciions o`autics piopiictcs oc ccs zcios ultciicuicncnt.
. Approximation
c: Theorme [ondamental
Lc thcoinc lonoancntal oc l`appioxination ocs lonctions cst lc suivant :

laini tous lcs polynncs oc ocgic a, il cn cxistc un icnoant nininun la oistancc
( ) ( )
a
x x
poui la noinc ou p.s. oclini picccocnncnt.
Lc polynnc cn qucstion cst oonnc pai
O
( ) ( )
a
a

x : x
=
=

avcc ( ) ( ) ( )
/

:
x : x a x !x =
}
.

Ccttc appioxination n`a oc scns quc poui la lonction poios a ct sui l`intcivallc |:, /].
licnons
a
un polynnc quclconquc ct
a
cclui ou thcoinc , nous avons
O
( ) ( )
a
a

x : x
=
=

ct
nous posons ( ) ( ) ( )
a
x x x = : poui / a ,
O O
, , , , , , O
a a
/ / / / / / / /

: : : : : : : : :
= =
= = = =


lai conscqucnt , O
a
= , oc plus
2 2 2 2 2
, 2 ,
a a a a a a
= = + = +
ct la plus pctitc valcui oc ccttc noinc cst
2
, nininun attcint loisquc ( ) O
a
x = poui tout x.
Connc cst oithogonal avcc tous lcs :

, on pcut appliquci cc qu`on a oit sui lcs zcios cn


consiociant connc :
a
, oonc s`annulc a lois ct changc oc signc a+1 lois (ou licn cst nul).
c/ Formnle de qnadratnre de Canss
Nous avons pailc liivcncnt oans lc livic oc la loinulc o`intcipolation oc Lagiangc qui pcinct
o`oltcnii un polynnc passant cxactcncnt pai a points oonncs oc . liccisons cc point :
picnons la suitc oc points x

, ~1...a, zcios ou polynnc oithogonal :


a
, o`inagcs (x

) pai
continuc ct consiocions
1
( )
( ) ( )
( ) ( )
a
a

a
: x
l x x
x x : x
=
=

: l cst un polynnc oc ocgic a1 ct cn plus


( ) lin ( ) ( )


x x
l x l x x

= = , si cst un polynnc oc ocgic a1, alois ~ l.


licnons un polynnc oc ocgic 2a1, l(x) (x) cst cgalcncnt oc ocgic 2a1 ct s`annulc poui lcs
x

, la lonction
( ) ( )
( )
( )
a
l x x
x
: x

= cst alois un polynnc oc ocgic a1 ct nous pouvons cciiic


( ) ( ) ( ( ) ( )) x l x l x x = , soit
(1)
1
( )
( ) ( ) ( ) ( )
( ) ( )
a
a
a
a
: x
x x x : x
x x : x
=
=

.
Intcgions ccttc iclation, histoiic oc laiic icappaiatic nos p.s. :
1
( )
( ) ( ) ( ) ( ) ( ) ( ) ( )
( ) ( )
a
/ / /
a
a
: : :
a
: x
x a x !x x a x !x x : x a x !x
x x : x
=
=

} } }
,
licociic Laiochc, 2OO5 12 lioncnaocs nathcnatiqucs
Analysc oc Hillcit http://pioncnaocsnaths.licc.li
posons
,
( )
( )
( ) ( )
/
a
a
:
a
: x
a x !x
x x : x
=

}
ct icnaiquons quc ( ) ( ) ( ) O
/
a
:
x : x a x !x =
}
(la icnaiquc sui lc
ocgic oc scit ici) , lcs nonlics
, a
sont appclcs lcs a:a/:- !: C//-/::/, sont inocpcnoants oc
ct oonncnt la :aa/: !: a:!:/a: !: C:a-- :
,
1
( ) ( ) ( )
a
/
a
:

x a x !x x
=
=

}
.
n pouiiait sc oiic quc sachant piioii calculci l`intcgialc o`un polynnc sans tiop oc nal la
loinulc picccocntc nc scit pas giano chosc, nais hcuicuscncnt cllc icstc pcu pis valallc
nnc si n`cst pas un polynnc.
lai cxcnplc avcc a ~ 2 ct lc poios a(x)~1 nous avons
2
2
5
( ) (o 1)
8
: x x = , o`ou sui |1 , 1] lcs
nonlics oc Chiistollcl
1, 2 2, 2
1 = = , calculons pai cxcnplc
1
1
1 1 1
.1 .1 O,o2o
1 1
o 1o
o o
o o
!x
x

+ =
+
+
}
,
piochc ou ln2 oltcnu pai calcul oiicct.
c: Nombres de Christo[[el
n tiouvc o`autics oclinitions ocs nonlics oc Chiistollcl n`utilisant pas o`intcgialc : icpicnons lc
noyau hillciticn ct appliquons lc un zcio oc :
a
:
(2)
1
1
1 O
( ) ( )
( , ) ( ) ( )
a
a a a /
a / /
a /
: x : x /
l x x : x : x
/ x x

+
+ =
(
= =
(


o`ou
1
1
( , ) ( )
( )
a a a /
a a / /
/ l x x : x
x x / : x
+
+


ct cn icnplaant oans la oclinition ocs nonlics oc Chiistollcl :
1 1
,
1 1
( )
( ) ( , ) ( )
( ) ( ) ( ) ( ) ( ) ( )
/ /
a a a
a / a /
: :
a a a a a a a / / / / / /
: x / /
a x !x l x x a x !x
x x : x / : x : x / : x : x

+ +
+ +

= = =

} }

(la ociniic intcgialc vaut 1).
Dc nnc si on lait tcnoic x vcis x
/
oans (2) on a
1
2
1
1 O
( , ) ( ) ( ) ( )
a
a
a a a / / / / /
a
/
l x x : x : x : x
/

+
+ =

= =

o`ou
,
1
2
O
1
( )
/ a
a
/

: x

=
=

.
Si nous appliquons la loinulc oc quaoiatuic oc Causs la lonction
2
( )
( ) ( )
a
a / /
: x
x x : x
(
(


nous
oltcnons
2
2
2
1
, , , ,
1 1
( )
( )
( ) ( )
( )
( )
lin
( ) ( ) ( ) ( )
/
a
:
a / /
a a
a
a
a a / a / a
x x
a a / / / /
: x
a x !x
x x : x
: x
: x
x x : x x x : x

= =
(
(


(
(
= = + = (
(

(

}


(tous lcs tcincs oans lc caiic sont nuls).
licociic Laiochc, 2OO5 1o lioncnaocs nathcnatiqucs
Analysc oc Hillcit http://pioncnaocsnaths.licc.li
c! Evalnation de lerrenr
Dans tout cc qui piccoc nous n`avons utilisc quc la continuitc ct la ociivcc picniic ocs :

, nais
ccs ocinicis sont oavantagc ociivallcs, aussi pcuton voii si on n`olticnoiait pas unc cvaluation
oc l`ciicui connisc (cn icnplaant pai
a
) l`aioc ocs ociivccs o`oioic supciicui, un pcu la
naniic oc Tayloi. Fcpicnons (1) ct consiocions
1 1
( )
( ) ( ) ( ) ( ) ( ) ( )
( ) ( )
a a
a

a
: x
x x x x x x
x x : x

= =
= =


,
la lonction a au noins lcs nncs zcios quc :
a
ct poui unc valcui X lixcc, nous pouvons tiouvci
unc constantc l tcllc quc ( ) ( ) ( )
a
x x l: x = s`annulc cn X :
( )
( )
a
X
l
: X
= convicnt o`aillcuis tis
licn. Dciivons a lois ccttc iclation :
( ) ( )
( ) ( ) !
a a
a
x x la / = , nais connc s`annulc au noins
a+1 lois, sa ociivcc ainc ooit s`annulci au noins unc lois, poui unc valcui a pai cxcnplc :
( )
( ) !
a
a
a la / = , on a oonc
( ) ( )
1 1
( ) ( )
! !
a a
a a
l a a
a / a /
= = (la lonction

cst un polynnc oc
ocgic a1 ct sa ociivcc ainc cst nullc).
linalcncnt nous avons
( )
1
( ) ( )
( ) ( ) ( ) ( ), ( )
! ( ) ( )
a a
a
a
a a
a : x
x x x : x x
a / x x : x

=
= + =

,
soit la :aa/: !: l::a: :.:: :-/: (lc x oc la loinulc coiicspono cn lait au X picccocnt, cc qui
oonnc la loinulc).
c: Formnle dinterpolation dHermite
Dans la loinulc picccocntc on olticnt un polynnc qui suit lcs points oc , nais on nc s`cst pas
occupc oc la loinc ou polynnc : il sciait (tis) intcicssant o`oltcnii cn plus ocs tangcntcs
iocntiqucs poui ct poui lc polynnc. giossonooo oans la loinulc oc Lagiangc on icnplacc la
lonction pai ocs scgncnts oc oioitc puisqu`on utilisc la ociivcc picniic ocs :
a
, poui oltcnii ocs
couilcs nous allons utilisci ocs aics oc paialolc ct oonc utilisci lcs ociivccs scconocs.
Nous chcichons oonc un polynnc oc ocgic 2a1 (on va icutilisci Causs) tcl quc scs valcuis ct
ccllcs oc sa ociivcc conciocnt avcc ccllcs oc cn x
1
, x
2
, ., x
a
(lc lcctcui pcut pcnsci aux Bsplincs
poui lcsqucllcs on tiacc ocs aics oc couilc succcssils avcc unc lonction oc ocgic o ~ 2.21).
Il laut ici quc nous aiiivions cciiic sous la loinc
1
( ) ( ) ( ) ( ) ( ) ( )
a
a

x x x x x k x
=
= + +

,
supposons quc nous ayons tiouvc nos lonctions

ct

, posons
1
( ) ( ) ( ) ( ) ( )
a

l x x x x x
=
= +

,
on ooit alois avoii ( ) ( )

x l x = ct ( ) O
a
k x = ainsi quc ( ) ( )

x l x = ct ( ) O
a
k x = , connc k
a

cst lic aux :
a
, il laut laiic intcivcnii lc caiic ocs :
a
alin o`assuici la nullitc, aussi cciivons
2
( ) ( )
a a
k x l: x = , lc nnc iaisonncncnt quc picccocnncnt oonnc la valcui oc l :
(2 )
2
( )
(2 )!
a
a
a
l
/ a
= ct
(2 )
2
2
( )
( ) ( )
(2 )!
a
a a
a
a
k x : x
/ a
= .
loui lcs lonctions

ct

nous ocvons avoii


( ) 1, ( ) O, ( ) O, ( ) 1

x x x x = = = =
licociic Laiochc, 2OO5 14 lioncnaocs nathcnatiqucs
Analysc oc Hillcit http://pioncnaocsnaths.licc.li
ct qu`ils s`annulcnt poui tous lcs autics zcios , il laut cgalcncnt quc cc soicnt ocs polynncs
oonc nous ocvons ictiouvci oans chacun lc tcinc
2
2
( )
( )
( ) ( )
a

a
: x
x
x x : x

(
= (

(

.
losons
2
( ) ( ) ( )

x : x x = , connc ( ) 1

x = nous ocvons avoii ( ) 1

: x = , ociivons :
2
( ) ( ) ( ) 2 ( ) ( ) ( )

x : x x : x x x = +
o`ou
O ( ) 2 ( ) ( ) 2 ( )

: x x : x x = + = ,
calculons la ociivcc oc :
2
( )( ) ( ) ( )
1
( )
( ) ( ) ( )
a a a

x x
a a
: x x x : x : x
x
: x : x x x


qui nc s`annulc cviocnncnt pas cn x

, oonc cn nultipliant pai


( )
2

x x
nous oltcnons
( )
( ) 1 ( )
( )
a

a
: x
: x x x
: x

.
Lc nnc typc oc iaisonncncnt pcinct o`oltcnii
2
( ) ( ) ( )

x x x x = . Nous avons linalcncnt
oltcnu la loinc chcichcc, nous calculons alois :
2
( ) 1
( ) ( ) ( ) ( ) , O
( ) ( ) | ( )]
/ /
a a
a a
: :
/ / a
: x :
x a x !x : x a x !x A :
x x x x : x
= = =

} }

puisquc lc tcinc oc gauchc ou p.s. cst oc ocgic a1. Dc nnc nous oltcnons
2
2 2
,
2
( )
( )
( ) ( ) 1 ( ) ( )
( ) ( ) ( )
( ) ( ) ( ) ( )
( ) ( ) ( ) .
( ) ( ) ( ) ( ) ( )| ( )]
/ /
a
a

: :
a a
/ /
a a a a
a a
: :
a a a
: x
: x
x a x !x x x a x !x
: x x x : x
: x : x : x : x
: x a x !x a x !x
x x : x x x : x x x : x

( (
= ( (

( (

( (
= = = ( (

( (

} }
} }

linalcncnt nous iccupcions la loinulc oc Causs avcc un icstc o`cvaluation oc l`ciicui connisc :
(2 ) 2
,
2
1
( ) ( )
( ) ( ) ( ) ( )
(2 )!
a a
/ /
a
a
: :
a
a : x
x a x !x x a x !x
/ a

=
= +

} }
.
7. Les zeros des polynmes orthogonanx (2)
Ln icpicnant la ocnonstiation ou 5 avcc a+a au licu oc a+1, on nontic oc la nnc naniic
quc
a a
:
+
s`annulc au noins unc lois cntic ocux zcios oc :
a
. lai contic on oisposc oc quclqucs
icsultats sui la oistiilution ocs zcios : consiocions la lonction oclinic pai
( ) ( )( ) si | , ] | , ],
( ) aillcuis.
x x x x : /
x


Cicc au thcoinc oc Wcicistiass nous savons qu`il cxistc un polynnc tcl quc
( ) ( )
2
x x

<
licociic Laiochc, 2OO5 15 lioncnaocs nathcnatiqucs
Analysc oc Hillcit http://pioncnaocsnaths.licc.li
poui x oans ]:, /| , poui sullisanncnt pctit cst positivc ct ( ) ( ) O
/
:
x a x !x >
}
ainsi quc
( ) ( ) O
/
:
x a x !x >
}
(alois quc cst ncgatil pai constiuction cn ochois oc |, ]) , picnons
naintcnant :
a
avcc a asscz giano, tcl quc ocgic() 2a 1 ct quc :
a
nc s`annulc pas oans |, ].
La loinulc oc quaoiatuic oc Causs oonnc alois
,
1
( ) ( ) ( )
a
/
a
:

x a x !x x
=
=

}

qui cst stiictcncnt positil, nais si tous lcs x

sont cn ochois oc |, ], lcs (x

) sont ncgatils ct
connc lcs nonlics oc Chiistollcl sont positils, la sonnc picccocntc ooit tic ncgativc. n a
oonc unc contiaoiction ct :
a
s`annulc au noins unc lois oans |, ], cc quc nous tiaouisons cn
oisant quc :
a
s`annulc au noins unc lois oans tout intcivallc inclus oans |:, /] poui a
sullisanncnt giano.
7/:::a: !: -::://:a : picnons naintcnant la suitc stiictcncnt cioissantc
a
a avcc a
O
~ : ct
a
a
~ / tcllc quc a
/
soit l`uniquc valcui poui laqucllc
,
1
( ) ( )
/
/
a
a /
:

I a a x !x
=
= =

}
, alois lcs zcios oc
:
a
s`insicnt cxactcncnt cntic lcs tcincs oc la suitc :
: ~ a
O
< x
1
< a
1
< x
2
<. < a
a1
< x
a
< a
a
~ /.
licnons un polynnc (x) oc ocgic 2a 2 oclini pai lcs 2a 1 conoitions suivantcs :
( ) 1si 1 ,
( ) O si 1 ,
( ) O si .

x /
x / a
x /

= +


Connc il y a 2a1 conoitions, notic polynnc cst oclini oc naniic uniquc ct cst oc ocgic
2a2, sa ociivcc cst oc ocgic 2ao ct s`annulc poui tous lcs x

saul un oonc a1 lois , oc plus cntic


ocux x

avcc inlciicui / cllc ooit s`annulci au noins unc lois ( passc oc 1 1, ` s`annulc oonc
au noins /1 lois), cnlin quano cst nul sa ociivcc cst nullc (cllc s`annulc au noins a/1 lois) ,
conclusion ` s`annulc au noins a1+a2 lois, soit 2ao lois.
ais connc ` cst oc ocgic 2ao, cllc s`annulc cxactcncnt 2ao lois.
Supposons naintcnant quc ( ) 1 x poui
/
x x , connc ( ) 1
/
x = , cst cioissantc oonc
( ) O
/
x > .

Connc
1
( ) O
/
x
+
= , poui qu`il n`y ait pas o`incohcicncc oans lc conpoitcncnt oc , ` ocviait
s`annulci cntic x
/
ct x
/+1
nais connc on a conptc tous lcs zcios oc ` c`cst inpossillc.
Conclusion, (x)>1 poui
/
x x .
n olticnt oonc quc ( ) ( ) ( ) ( ) ( )
/ /
/ x x
: : :
x a x !x x a x !x a x !x > >
} } }
ct quc
x
1
x
2
x
/
x
/1
x
/+1

licociic Laiochc, 2OO5 1o lioncnaocs nathcnatiqucs
Analysc oc Hillcit http://pioncnaocsnaths.licc.li
, ,
1 1
( ) ( ) ( ) ( )
/
/ /
/ ,
a a
: :

x a x !x x a x !x
= =
= = =

} }
,
linalcncnt
( ) ( )
/ /
, x
/ /
: :
a x !x a x !x , x > >
} }
.
Dc la nnc naniic cn utilisant lc polynnc oclini pai
( ) O si 1 ,
( ) 1si 1 ,
( ) O si .

x /
x / a
x /

= +


nous olticnoions quc
1 / /
x ,
+
> .
8. Espace de Hilbert
Si on consioic l`cnscnllc ocs lonctions oc caiic sonnallc poui la ocnsitc a, notc
2
( ) l a , ct
constituc ocs lonctions tcllcs quc
2
( ) ( )
/
:
x a x !x < +
}
nous oltcnons un cspacc vcctoiicl poui
lcs opciations halitucllcs , cn intioouisant un p.s. connc , ( ) ( ) ( )
/
:
x x a x !x =
}
, on oclinit la
noinc oc pai
1/ 2
2
( ) ( ) ,
/
:
x a x !x
(
= =
(

}
.
Si cn plus cct cspacc cst ::a/:/ poui la noinc consiocicc, on auia oltcnu un :-::: !: H///:/.
Fappclons qu`un cnscnllc l nuni o`unc noinc . cst ::a/:/ si toutc suitc oc Cauchy convcigc
oans l au scns oc la noinc . . Fappclons cgalcncnt qu`unc suitc (a
a
) cst oc Cauchy loisquc poui
tout O > il cxistc | tcl quc poui tout a, a >| on ait
a a
a a < . Si
a
cst unc suitc
convcigcntc oc lonctions oc l, alois sa linitc cst oans l.
L`intcit ici cst quc
2
( ) l a cst conplct ct cst oonc un cspacc oc Hillcit (voii ciocssous).
Fcpicnons nos polynncs oithogonaux, nous avons vu quc lc polynnc poui lcqucl cst
nininalc cst oonnc pai
O
( ) ( )
a

x : x
=
=

ou ,

: = , connc lcs cn sont oithonoincs nous
avons
2
2
2 2 2 2
2 2
O O O O O
O 2 , 2 ,
a a a a a


: : :
= = = = =
= + = + =

.
lai conscqucnt
2
2
O
a


poui tout a, c`cst //a::///: !: l:--:/ Ln laisant tcnoic a vcis l`inlini,
la sciic oc oioitc cst loincc ct convcigc , si pai lonhcui on pouvait avoii l`cgalitc, la oistancc
cntic ct pouiiait tic icnouc aussi pctitc qu`on lc souhaitc (avcc un choix uoicicux oc ). Lc
lait cst quc c`cst cllcctivcncnt possillc ct ccci gicc la conplctuoc oc
2
( ) l a .
D:a:a-/://:a !: /: ::a/:/a!: !:
2
( ) l a
uclqucs oclinitions poui conncncci.
1. Unc suitc oithonoincc scia oitc conpltc oans
2
( ) l a si poui tout oc
2
( ) l a on a
2
2
O
a


=
=

(::///: !: l:-:.:/),
licociic Laiochc, 2OO5 1 lioncnaocs nathcnatiqucs
Analysc oc Hillcit http://pioncnaocsnaths.licc.li
2. Unc lanillc oc lonctions {
a
} oans un cspacc oc Hillcit scia lcincc si loisquc poui toutc
lonction tcllc quc , O
a
= alois ~O (ccci sc conpicno intuitivcncnt : il n`y a pas o`autic
lonction quc la lonction nullc qui soit oithogonalc aux
a
).

licnici thcoinc
Un cnscnllc oithonoinc oc lonctions { } oans
2
( ) l a cst ocnonliallc.

llaons nous sui |O, 1] poui sinplilici , l`cnscnllc { }
a
ocs nonlics iationncls oc |O, 1] cst
ocnonliallc (voii cn Anncxc), pai conscqucnt nous pouvons oclinii unc lanillc ocnonliallc oc
lonctions

5 tcllcs quc
( ) 1si O
( ) O si 1
/
/
/
/
5 x x
5 x x
=

= <

, soit unc lonction tcllc quc


1
O O
( ) ( ) ( ) ( ) ( ) O

/
x 5 x a x !x x a x !x = =
} }

poui tout cntici /, alois cst nullc picsquc paitout : cn cllct la lonction
O
( ) ( ) ( )
x
C x / a / !/ =
}
cst
continuc ct s`annulc poui lcs valcuis iationncllcs oc x, oonc C cst nullc ct '( ) ( ) O C x x = =
picsquc paitout. licnons un souscnscnllc ocnonliallc { }
a
oc { } oc lonctions poui
lcsqucllcs
1
O
( ) ( ) ( ) O
a
/
x 5 x a x !x
}
, si { } ctait constituc uniqucncnt oc tcls souscnscnllcs il
sciait ocnonliallc , choisissons alois un souscnscnllc
O
{ } oc{ } nonocnonliallc oc
lonctions posscoant la piopiictc picccocntc ct paititionnons l`cnscnllc ocs iccls positils pai lcs
intcivallcs scniouvcits
1 1
,
1
/
A
/ /

=

+
, / cntici. Nous picnons naintcnant oans
O
{ } lcs
lonctions tcllcs quc lc nonlic
2
1
2
O
( ) ( ) ( )

/
C x 5 x a x !x
(
=
(

}
soit oans A
/
. Nous pouvons ainsi
oivisci
O
{ } cn souscnscnllcs oont au noins un n`cst pas ocnonliallc, appclons lc { }
/
.
Lciivons naintcnant l`ingalitc oc Bcsscl poui

/
5 : on a
1
O
, ( ) ( ) ( )

/ /
5 5 x x a x !x = =
}
avcc
{ }
/
o`ou
2 2
1
1

C
/
=
+
, la sonnc ocs
2

nc pcut oonc convcigci, conticoisant


l`incgalitc oc Bcsscl.
Conclusion : chaquc { }
/
cst lini, ct
O
{ } cst au plus ocnonliallc (il pouiiait nnc tic lini !).

Dcuxinc thcoinc
Dans un cspacc hillciticn unc suitc oithonoinc {
a
} cst conpltc si, ct sculcncnt si, cllc cst
lcincc.

Supposons {
a
} lcincc ct consiocions unc lonction oc l
2
ainsi quc
O
( ) ( ) ( )
a
a

x x x
=
=

,
la suitc
a
cst oc Cauchy puisquc
2
1 1
a a
a a
a a

= + = +
= =


licociic Laiochc, 2OO5 18 lioncnaocs nathcnatiqucs
Analysc oc Hillcit http://pioncnaocsnaths.licc.li
ct oonc convcigc vcis unc lonction .
n a alois poui /<a, , ,
a a / /
= gicc l`incgalitc oc CauchySchvaiz.
ais la noinc oc oioitc tcno vcis O l`inlini ct , O
/
= , connc {
a
} cst lcincc, cst nullc
ct
( )
2 2
2
1
lin lin O
a
a
a a



=
| |
|
= =
|
\ .

oonc {
a
} cst conpltc.
Dans l`autic scns naintcnant. {
a
} cst conpltc ct picnons tcllc quc , O

= = alois
( )
2 2 2
2
1
lin lin O
a

a a



=
| |
|
= = =
|
\ .

oonc cst nullc ct {


a
} cst lcincc.

Tioisinc (ct ocinici) thcoicnc
La suitc ocs polynncs oithonoincs {
a
} cst conpltc oans L
2
.

licnici point : soit continuc ct tcllc quc
1
O
( ) ( ) O
a
x x a x !x =
}
poui a cntici positil ou nul , nous
cciivons sous la loinc ~+ ou cst un polynnc, alois
1 1 1
2
O O O
O ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) x x a x !x x a x !x x x a x !x = =
} } }
,
on a alois poui tout >O,
1 1 1
2
O O O
( ) ( ) ( ) ( ) ( ) ( ) ( ) x a x !x x x a x !x x a x !x =
} } }
,
ccttc ociniic intcgialc pcut tic icnouc aussi pctitc quc l`on vcut ct on conclut quc
1
2
O
( ) ( ) O x a x !x =
}
, connc cst continuc, cst nullc.
losons naintcnant
O
( ) ( ) ( )
x
l x / a / !/ =
}
, on a l(O)~l(1)~O (icnplacci a pai O.) ct '( ) ( ) l x x =
o`ou
1
O
( ) O
a
x l x !x =
}
, intcgions pai paitics :
1 1
1
1 1
O
O O
( ) ( ) ( ) O
a a a
x l x a x l x !x a x l x !x

(
= =

} }

ct l cst nullc o`ou
1
O
( ) ( ) O x a x !x =
}
, connc a>O picsquc paitout, cst nullc picsquc paitout cc
qui ocnontic lc thcoinc.
Nous nous sonncs placcs sui |O, 1] ct iicn nc nous cnpchc oc passci sui |:, /] pai unc sinplc
tiansloination, pai contic lc passagc ocs intcivallcs non loincs nc sc lait pas aussi sinplcncnt.
loui ccitains polynncs (Laguciic, Hcinitc) coiicsponoant ocs ocnsitcs oillcicntcs, il lauoia
icocnontici lc caiactic conplct oc l
2
.
lassons oans lc oonainc conplcxc.
9. Representations con[ormes
Nous picnons au licu o`un scgncnt unc couilc C icctiliallc sans points nultiplc ou plan
conplcxc ct nous appcllons - la longucui o`aic piisc poui paiantic , la lonction ocnsitc a
valcuis iccllcs ct stiictcncnt positivc scia unc lonction oc -.
licociic Laiochc, 2OO5 1 lioncnaocs nathcnatiqucs
Analysc oc Hillcit http://pioncnaocsnaths.licc.li
Nous pouvons alois icpicnoic lcs notions picccocntcs ct lcs appliquci ocs polynncs
oithogonaux oans , aussi nous icpicnons la oclinition ou p.s. hciniticn oonncc au oclut ou
chapitic.
Intcicssons nous au cas ou C cst lcincc ct ou a(-)~1 ct icpicnons lc noyau hillciticn
O
( , ) ( ) ( )
a
a

l : . : : : .
=
=

.
Connc cn oc : nous avons ( ), ( , ) ( ) ( , ) ( )
a a
C
: l : . . l : . !- . = =
}
ct lc polynnc
( , )
( )
( , )
a
a
a
l : .
C .
l : :

= cst tcl quc


2 2
, ( ) 1
a a a a
C
C C C C . !. = = =
}
ct ( ) ( )
a
C : : ou (.) cst
n`inpoitc qucl polynnc oc noinc unitc ct oc ocgic a.
Fappclons qu`il cxistc tououis au noins unc tiansloination conloinc ( ) . (ou unc lonction
analytiquc) oc qui tiansloinc un oonainc D inclus oans C (D sinplcncnt conncxc ayant au
noins ocux points sui C) cn lc cciclc unitc, ct ccci oc naniic univoquc , si cn plus on inposc
( ) O : = ct ( ) O : > alois cst uniquc.
La ocnonstiation oc cc thcoinc oc Ficnann n`cst pas constiuctivc, nais l`utilisation oc C
a
va
nous pcincttic o`appiochci oc naniic cllicacc.
lassons tout o`aloio la linitc sui l
a
(:, .) quano a tcno vcis l`inlini : oans tout oonainc
intciicui C, l
a
cst uniloincncnt loincc , nontions lc cn appliquant la loinulc intcgialc oc
Cauchy :
2
2
2
( , ) ( , ) 1 1
( , )
2 2 ( ) ( , )
( )
1 1 1
( ) .
2 2 2
a a
a
C C
a
a
a
C C
l : : l : :
l : : !. !.
/ . : / . : l : :
C .
!. C . !.
. :


= =

=

} }
} }

ou cst la oistancc oc : C. Si on appcllc ! la plus pctitc ocs oistanccs oc : C ct oc . C, nous
avons gicc CauchySchvaiz :
2
2
1
( , ) ( , ) ( , )
4
a a a
l : . l : : l . .
!
= .
La linitc l oc l
a
cxistc oonc ct pai l nnc la linitc C oc C
a
:
( , )
( ) lin
( , )
a
a
a
l : .
C .
l : :

= ct sa noinc
cst cgalcncnt 1.
C cst cgalcncnt solution ou piollnc ou naxinun : soit tiansloinant l`intciicui oc C cn lc
cciclc unitc ct sa iccipioquc alois '( ( ))
'( )
!
!- !
.

= = ou ! cst la longucui o`aic ou


cciclc unitc. Ln intcgiant C on a alois avcc
/
:

= :
2 2
2
2 2
O O
( ) ( ( )) '( ) ( ( )) '( ) 1
C
C . !. C ! C !

= = =
} } }
.
losons
O
( ) ( ( )) '( )
a
a
a
l C :

=
= =

, nous avons alois


2
O
2 1
a
a
:

=
=

gicc l`intcgialc
picccocntc.
licociic Laiochc, 2OO5 2O lioncnaocs nathcnatiqucs
Analysc oc Hillcit http://pioncnaocsnaths.licc.li
loui icnoic
2
( ) C : naxinun, il laut icnoic
2
( )
'( )
l

naxinun au point ( ) : = , soit poui


( ) O : = . Il nous laut oonc
O
( ( )) (O) l : l : = = avcc
2
O
2 1 : = , soit
2
2
'( ) 1
nax ( )
2
2 '(O)
:
C :

= = .
n chcichc naintcnant voii lc licn cntic l
a
ct , aussi consiocions la noinc oc lcui oillcicncc,
soit
2
1
( , ) '( ) '( )
2
a a
C
f l : . : . !-

=
}
.
Nous avons
2 2
2
'( ) 1
( , ) '( ) Fc ( , ) '( ) '( )
(2 )
a a a
C C C
:
f l : . !- . !- l : . : . !-

= +
} } }
,
la picniic intcgialc vaut
2
( , ) ( ) ( , )
a a a
C
l : : C . !- l : : =
}
, poui la scconoc la couilc C s`cnvoic
sui lc cciclc unitc ct '( ( )) !- ! = o`ou
2
O
'( ) 2
C
. !- !

= =
} }
ct notic intcgialc vaut
'( )
2
:

.
loui la ociniic :
2
O
2
O
'( )
( , ) '( ) '( ) ( , ( )) '( )
'( )
'( ) ( , ( )) '( ) '( )2 ( , (O)) '(O) 2 ( , ).
a a
C
a a a
:
l : . : . !- l : !

: l : ! : l : l : :


=
= = =
} }
}

cn utilisant la loinulc oc la noycnnc sui lcs lonctions hainoniqucs.
linalcncnt nous oltcnons :
'( ) '( )
( , ) 2 ( , ) ( , ).
2 2
a a a a
: :
f l : : l : : l : :


= + =
Connc
'( )
lin ( , )
2
a
a
:
l : :


= , la linitc oc f
a
cst O. n a oonc
1
( , ) '( ) '( )
2
a
l : . : .

= picsquc
paitout o`ou
2 2
2
( , ) (2 )
'( ) ( , ) lin 2
'( ) ( , )
a
a
a
a
l : .
. l : .
: l : :



= = ,
ct connc ( ) O : = on a linalcncnt :
2
2
( ) lin ( , )
( , )
.
a
a
:
a
. l : a !a
l : :

=
}
.
licnons pai cxcnplc la icpicscntation conloinc ou cciclc unitc sui luinnc oont on sait qu`cllc
cst oonncc pai
( )
1
. :
.
:.


poui tout point : l`intciicui ou cciclc unitc , on a licn ( ) O : = ct
2 2
1 ( ) 1 1
'( ) '( ) O
1
(1 ) 1
:. : . :
. :
::
:. :

+
= = = >


.
licociic Laiochc, 2OO5 21 lioncnaocs nathcnatiqucs
Analysc oc Hillcit http://pioncnaocsnaths.licc.li
Nous allons ictiouvci cc icsultat avcc cc qui vicnt o`tic lait.
Nous choisissons oonc C lc cciclc unitc ct : un point l`intciicui , lcs polynncs oithogonaux :
a

sont alois tcls quc
2
( )
,
O
, ( ) ( ) 2
/ /
/ / /
C
: : : . : . !. : !

= = =
} }

(puisquc lcs polynncs :
a
sont sui lc cciclc, ils s`cciivcnt sous la loinc
( )
( )
/
a
a
: . :

= ), connc on
ooit avoii
1
, 1
a a a
: : .:

= = il nous laut
| ( ) ( )] | ( ) ( ) ]
1 1
/ /
a a a a
C C
.: !- : !-


=
} }

ct pai conscqucnt
1
( ) ( )
a a

= + , soit ( )
a
a = , on noinalisc cn oivisant pai 2 o`ou la
lanillc oithonoincc
1 1
( )
2 2
a /a
a
: . . :


= = .
Chcichons lc noyau hillciticn :
O O O
1 1 1
( , ) ( ) ( ) ( )
2 2 2 (1 )



l : . : : : . : . :.
:.

= = =
= = = =



(sonnc o`unc suitc gconctiiquc) ct
2 2 2
1 1 1 1
( ) 2 (2 (1 )) .
1 1 1
4 (1 ) (1 )
. .
: :
!a :: :!a :: . :
. ::
: : :. :: :.
:a :a


(
= = = =
(

} }

n icconnat licn cviocnncnt oans cc cas lcs polynncs conplcxcs scivant occonposci unc
lonction cn sciic oc louiici, ccuxci n`ctant linalcncnt qu`un cas paiticulici o`unc situation
lcaucoup plus gcncialc.
10. Un exemple : le prodnit hermitien et les inegalites de Heisenberg
1.: Prodnit scalaire hermitien
licnons l`cxcnplc oc la lasc oithonoincc sui |O , 1] ocs lonctions
( )
2/ ax
a
:

:
1 1
2 2 2 2 2 ( )
O O
,
/ ax / ax / ax / ax / a a x
aa
: : : : !x : !x


< >= = =
} }

aa
vaut 1 si a ~ a ct O sinon (-,a/:/: !: l:a::/:).
losons / ~ a a :
2
1
1
2 2
O
O
1 1
sin( ) O
2 2 2
/ / / / / / / / / /
/ /x / /x
: : : : :
: !x : /
/ / / / / / /

(

(
= = = = =
(


}
.
Ccs lonctions sont lincaiicncnt inocpcnoantcs, chosc quc nous avons oltcnuc cn ctuoiant lcs
sciics oc louiici. laisons lc pioouit scalaiic o`unc lonction ct o`un clcncnt oc
( )
2/ ax
a
:

:
1
2 2
O
, ( )
/ a / ax
: : x !x

=
}

soit lc cocllicicnt :
a
oc la sciic oc louiici oc qui coiicspono cn lait la piocction oithogonalc oc
sui lc vcctcui oc lasc
2/ a
:

.
l:aa: !: l:/:-a: : un icsultat inpoitant cst lc suivant :
lin ( ) O
/
//x
/
:
x : !x
+
=
}
,
licociic Laiochc, 2OO5 22 lioncnaocs nathcnatiqucs
Analysc oc Hillcit http://pioncnaocsnaths.licc.li
intuitivcncnt lc lait oc nultiplici pai
//x
: icvicnt cnvoyci sui lc cciclc tiigononctiiquc, aussi
loisquc / tcno vcis l`inlini, on lait unc inlinitc oc lois lc toui ou cciclc ct la sonnc oc toutcs lcs
valcuis s`annulc cn noycnnc.
1./ |negalites de Heisenberg
La ocnonstiation oc ccs incgalitcs quc nous avons sinplcncnt appiochccs oans lc chapitic 1o
utilisc la Tl ainsi quc quclqucs notions oc piolalilitcs. Consiocions unc lonction tcllc quc
2
( ) 1 x !x
+

=
}
,
oonc tcllc quc
2
soit unc ocnsitc oc piolalilitc , la Tl oc ,

cst cgalcncnt unc oistiilution


oc piolalilitc : consiocions ocux vaiiallcs alcatoiics x ct , oc oistiilutions icspcctivcs ct

, oc
noycnncs x
a
ct ,
a
, alois lcs vaiianccs icspcctivcs oc x ct , sont
2
2
vai ( ) ( )
a
x x x x !x
+

=
}
ct
2
2

vai ( ) ( )
a
, , , , !,
+

=
}
,
posons
a
X x x = ct
a
Y , , = , on a alois
2 2
2 2
vai vai ( ) ( )
a
x X X x !X X X x !X
+ +

= = = +
} }
,
posons
2
( ) ( )
/ X,
a
a
X : X x

= + qui cst cgalcncnt noinaliscc :


2
2
vai ( ) X X X !X
+

=
}
ct
2 ( )

( ) ( )
/ x Y ,
a a
a
Y : X x
+
= + ,
soit
2
2
vai vai ( ) Y , Y Y !Y
+

= =
}
. Calculons la Tl oc ` cn laisant unc intcgiation pai paitics
:

2 2 2

'( ) '( ) ( ) 2 ( ) 2 ( )
/ /x / /x / /x
/ x : !x x : / / x : !x / / /


+ +
+


(
= = + =
} }
,
lc ciochct cst nul si cst loincc (cc qui cst lc cas ici) : la sonnc
2/ /x
1:

cst nullc cai on lait unc
inlinitc oc lois lc toui ou cciclc oc ccntic ct oc iayon 1.
Conscqucncc oc ccci,

( ) '( )
2
/ / /
/
= o`ou :

2
2
2 2
2
2
1 1
( ) ( ) '( ) '( )
2 4
Y Y !Y Y Y !Y Y !Y Y !Y
/
+ + + +

= = =
} } } }
.
La Tl cst unc /-:a://:, soit

2
2
'( ) '( ) Y !Y X !X
+ +

=
} }
. Cicc l`incgalitc oc Schvaiz nous
pouvons cciiic
(1)
2
2 2
2
2
( ) '( ) ( ) '( )
( ) '( )
X X !X X !X X X X !X
X X X !X
+ + +

+

| || | | |

| | |
\ .\ . \ .
| |
=
|
\ .
} } }
}

cn utilisant lcs vcctcuis X(X) ct `(X).
La lonction initialc n`cst pas loiccncnt iccllc, ct nnc cn ccaniquc uantiquc cllc cst
souvcnt conplcxc, oc nnc poui , oi poui ocux conplcxcs : ct / on a l`incgalitc
( )
1
2
:/ :/ :/ + qui oonnc appliqucc nos ocux vcctcuis :
licociic Laiochc, 2OO5 2o lioncnaocs nathcnatiqucs
Analysc oc Hillcit http://pioncnaocsnaths.licc.li
( )
1
( ) '( ) ( ) '( ) ( ) '( )
2
X X X X X X X X X + .
lai aillcuis si on a la cuiiositc oc ociivci
2
( ) X :
2
( ( ) ) ( ) '( ) ( ) '( )
!
X X X X X
!X
= +
o`ou cnlin :
( )
2 1
( ) '( ) ( )
2
!
X X X X X
!X
.
n pcut oonc cncoic ninoici oans (1) pai
( )
( )
2 2
2 2 2 2 1 1 1 1
( ) ( ) ( ) 1
4 4 4 4
!
X X !X X X X !X
!X
+ + +

| | | |
(
= = =
| |

\ . \ .
} }
,
on a cncoic intcgic pai paitics, lc ciochct cst nul ( cst loincc ct sui X vaut O cn noycnnc),
quano l`intcgialc icstantc cllc vaut 1.
Fccciivons oonc (1) avcc lcs vaiianccs :
2 2
1 1 1
vai vai .
4 4 1o
x ,

= (incgalitc oc Hciscnlcig).
Il y auia cgalitc loisquc la Tl oc cst cgalc , c`cst oiic loisquc la oistiilution oc piolalilitc cst
unc loi Noinalc !
11. Eqnations integrales
11: Apern de la qnestion
L`intioouction ocs cquations intcgialcs s`cst laitc cn Analysc avcc Laplacc (182) qui consioic lcs
cquations o`inconnuc , : ( ) ( )
xa
x : , a !a =
}
ct
1
( ) ( )
x
x a , a !a

=
}
cn iclation avcc la icsolution
o`cquations oillcicnticllcs (ncthooc oc la icsolvantc oc Laplacc). La picniic cquation oc cc typc
oont on a tiouvc la solution cst ccllc oc louiici : ( ) cos( ) ( ) x xa , a !a
+

=
}
poui laqucllc unc
solution cst sous ccitaincs conoitions
O
2
( ) cos( ) ( ) , a ax x !x

+
=
}
.
Alcl s`attaqucia la qucstion (uvics, I, pp 11, ) ct olticnoia quclqucs solutions nais lc lono
cn avant scia ou Liouvillc qui tiouvcia unc ncthooc inpoitantc poui la icsolution oc ccs
cquations. lai la suitc oc nonlicux ocvcloppcncnts sciont appoitcs. Voyons cc qu`cn oit
l`Lncyclopcoic Univcisalis :
La loinc usucllc o'unc :a://:a /a/::/: (/a/:a::a:) cst :

( ) ( , ) ( ) ( )
A
, x l x a , a !a x =
}

ou A cst unc paitic oc
a
occiitc pai chacunc ocs vaiiallcs x ct a, l unc lonction oonncc sui A
2

appclcc a:,:a !: /':a://:a, unc lonction oonncc sui A, qui cst la constantc O oans l':a://:a
/:a::a: :
( ) ( , ) ( )
A
, x l x a , a !a =
}
,
cnlin la lonction , cst l'inconnuc oc l'cquation ct un paiantic , toutcs ccs quantitcs sont oc
piclcicncc conplcxcs.
licociic Laiochc, 2OO5 24 lioncnaocs nathcnatiqucs
Analysc oc Hillcit http://pioncnaocsnaths.licc.li
Ln picnant ocux sciics oc valcuis , 1...
/
x / | = ct , 1...

a 1 = oc soitc quc
( )
,
/
x a soit ocnsc
oans A
2
, on pcut cciiic alois cn picniic appioxination
( )
1
1
( ) ( ) ( , ) ( )
( ) ( ) ( , ) ( )
1
/ / /
A

1
/ / / /

x , x l x a , a !a
x , x l x a , a


=
=
=
= =

F Id K Y
avcc ( )
/ /
a a =
ou l`cciituic cn gias icpicscntc soit ocs vcctcuis oc oincnsion |, soit ocs natiiccs | 1 .
Si la lonction l cst nullc, lc piollnc sc iannc la icchcichc ocs valcuis piopics oc K, sinon lc
piollnc va sc iancnci savoii si la natiicc ( ) Id K cst invcisillc (//::/: -::/:/:) : si tcl cst
lc cas on a unc solution uniquc ( )
1


= Y Id K F . Lcs ncthoocs oc l`alglic lincaiic pcincttcnt
noinalcncnt oc tiouvci la icponsc la qucstion oans lcs cas sinplcs ct cn tout cas oc tiouvci ocs
appioxinations satislaisantcs. alhcuicuscncnt lc octcininant oc ( ) Id K cst souvcnt
picsquc nul (a://:: :-a: a:a/a.:-///:) ct lc calcul cst oclicat.
Lc ://:a: !: 5/aal/:a.///: conccinc lcs valcuis ou paiantic iccl poui lcsqucllcs l'cquation
oillcicnticllc lincaiic honognc :
O l, , =
(ou l cst un opciatcui oillcicnticl o'oioic a cocllicicnts continus sui un intcivallc conpact |: ,
/] oc ct unc lonction continuc stiictcncnt positivc sui cct intcivallc) a ocs solutions non
nullcs vciiliant a conoitions aux linitcs oonnccs.
Si O n'cst pas l'unc oc ccs valcuis oc , on oclinit unc :a://:a !: C::a C ou piollnc, continuc
sui |: , /]
2
, si l'on connat C, la loinulc intcgialc :
( ) ( , ) ( )
/
:
, x C x a a !a =
}

oonnc la solution oc l'cquation non honognc : ( ) l, x = vciiliant lcs conoitions aux linitcs
oonnccs, oc soitc quc lc piollnc oc StuinLiouvillc cst tiansloinc cn l'cquation intcgialc
honognc :
( ) ( , ) ( ) ( )
/
:
, x C x a a , a !a =
}
.
Lc ://:a: !: D//://:/, oans un ouvcit loinc D oc
a
, poui unc lonction continuc oonncc sui
la liontiic oc D, consistc tiouvci la lonction, uniquc o'apis lc piincipc ou naxinun,
continuc sui : D D = , hainoniquc sui D, qui concioc avcc sui . Ln 18, C. C. Ncunann
pioposait la ncthooc suivantc poui la solution oc cc piollnc, cn supposant a ~ 2 ct pouivuc
o'unc tangcntc continuc , on ocsigncia pai l( ) la longucui oc la couilc :

Soit (x, ,) lc point couiant oc , o'alscissc cuivilignc -, ct (:, /) lcs cosinus oiicctcuis oc la
noinalc cn cc point oiicntcc vcis D.
n appcllc potcnticl oc ooullc couchc o'unc ocnsitc continuc sui la linitc, quano tcno
vcis O, ou quoticnt pai 2 oc la oillcicncc cntic lc potcnticl oc la ocnsitc au point
( ) , x : , / + + ct cclui oc la ocnsitc au point (x, ,). Lc potcnticl oc ooullc couchc cst la
lonction :
( )
2 2
O
( ) ( )
( , ) ( )
( ) ( )
l
: X x / Y ,
/ X Y - !- !
X x Y ,

+
= =
+
} }

licociic Laiochc, 2OO5 25 lioncnaocs nathcnatiqucs
Analysc oc Hillcit http://pioncnaocsnaths.licc.li
ou ! cst l'anglc oiicntc sous lcqucl, ou point ( , ) X Y D , on voit l'aic !- oc . Ccttc lonction
cst hainoniquc sui D ct, cn un point ( , ) X Y , o'alscissc cuivilignc 5, cllc a poui linitc :
( )
2 2
O
( ) ( )
( ) ( )
( ) ( )
l
: X x / Y ,
5 - !-
X x Y ,

+
+
+
}
,
cn cgalant ccttc linitc (X, Y), on olticnt unc cquation intcgialc non honognc ou lcs vaiiallcs
sont 5 ct -, nais sans paiantic .

Hcnii loincaic picsscntit, os 18o, lc ilc quc cc paiantic ouciait oans lcs icsultats , ccttc
intuition lut conliincc cn 1Oo pai lcs icnaiquallcs tiavaux ou Sucoois Ivai licoholn.
11/ La methode de Fredholm
n cst oonc cn picscncc oc l`cquation ( ) ( , ) ( ) ( )
A
, x l x a , a !a x =
}
ou cst continuc, un
paiantic, l unc lonction oc ocux vaiiallcs, appclcc lc noyau , on picnoia A un intcivallc
conpact oc la loinc (: , /) inclus oans { } , = + avcc cvcntucllcncnt ocs loincs
inlinics , lc cas ou A cst conpact nais oc loinc plus conpliqucc oclouchc sui la thcoiic ocs
oistiilutions, cc qui nous conpliquciait un pcu tiop la vic. Nous choisissons oc occoupci (: , /)
cn a paitics cgalcs, oc soitc quc l`on a icsouoic lc systnc :
1 O
1
( ) ( ) ( , ) ( ) , ( ), ,
a
/ / / a

x , x l x x , x x x x : x /

=
= = = =

.
n appliquc la ncthooc vuc ciocssus, il laut oonc tiouvci notic octcininant :
( )
1 1 1 2 1
2 1 2 2 2
1 2
1 ( , ) ( , ) ... ( , )
( , ) 1 ( , ) ... ( , )
( ) oct
................... ................... ... .................
( , ) ( , ) ... 1 ( , )
1 ( , )
a
a
a
a a a a

l x x l x x l x x
l x x l x x l x x
D
l x x l x x l x x
l x x



=


= = =

Id K
2 o
2 o
1 , 1 , , 1
( , ) ( , ) ( , )
( , ) ( , )
( , ) ( , ) ( , ) ...
( , ) ( , )
2! o!
( , ) ( , ) ( , )
a a a





l x x l x x l x x
l x x l x x
l x x l x x l x x
l x x l x x
l x x l x x l x x


= =
+ +


quc nous pouvons iccciiic avcc ocs intcgialcs ( O, a ) :
2
1 1 1 2
1 1 1 1 2
2 1 2 2
1 1 1 2 1 o
o
2 1 2 2 2 o 1 2 o
o 1 o 2 o o
( , ) ( , )
( ) 1 ( , )
( , ) ( , ) 2!
( , ) ( , ) ( , )
( , ) ( , ) ( , ) ...
o!
( , ) ( , ) ( , )
/ / /
: : :
/ / /
: : :
l a a l a a
D l a a !a !a !a
l a a l a a
l a a l a a l a a
l a a l a a l a a !a !a !a
l a a l a a l a a

= +
+
} } }
} } }

lai aillcuis si ( , , )
a
D x x

cst lc colactcui oc ( , ) l x x

oans ( )
a
D , la solution coiicsponoantc
ou systnc cst
1
1
( ) ( ) ( , )
( )
a
/ a /
a
/
, x x D x x
D

=
(
= (
(

.
Chcichons alois la loinc linitc oc ( , , )
a
D x x

: si , on a
licociic Laiochc, 2OO5 2o lioncnaocs nathcnatiqucs
Analysc oc Hillcit http://pioncnaocsnaths.licc.li
o
2 2 o
1 , 1
( , , )
( , ) ( , ) ( , )
( , ) ( , )
( , ) ( , ) ( , ) ( , ) ...
( , ) ( , )
2!
( , ) ( , ) ( , )
a
a a





D x x
l x x l x x l x x
l x x l x x
l x x l x x l x x l x x
l x x l x x
l x x l x x l x x




= =
=
+ +

lassons la linitc :
1 2
1
1 1 1
1 2
o
1 1 1 1 2 1 2
2 2 1 2 2
( , ) ( , )
( , , ) ( , )
( , ) ( , )
( , ) ( , ) ( , )
( , ) ( , ) ( , ) ...
o!
( , ) ( , ) ( , )
/
:
/ /
: :
l x x l x a
D x x l x x !a
l a x l a a
l x x l x a l x a
l a x l a a l a a !a !a
l a x l a a l a a

=
+
}
} }

Cc qui oonnc linalcncnt la solution
1
( ) ( , , ) ( )
( )
/
:
, x D x a a !a
D

(
=
(

}
.
Un cxcnplc : picnons l`cquation
1
O
( ) ( ) , x x xa, a !a = +
}
.
Lc noyau cst ( , ) l x a xa = , o`ou
2
1 1 1 2 1 1 2
2
2 1 2 2
2 1 2
( , ) ( , )
O
( , ) ( , )
l a a l a a a a a
l a a l a a
a a a
= = ainsi quc tous lcs autics
octcininants qui suivcnt. n a alois
1
2
O
1
( ) 1 1
o
D a !a = =
}
ct ( , , ) D x a xa = , soit la
solution ( )
1
1
o
x
, x

.
Il y a quano nnc un ccitain nonlic oc choscs piccisci : icgaioons la convcigcncc oc la sciic :
1
( ) 1
!
a a
a
:
D
a

=
= +

ou ( )
1 1 1 2 1
2 1 2 2 2
1
1 2
( , ) ( , ) ... ( , )
( , ) ( , ) ... ( , )
1 ... ...
................... ................... ... .................
( , ) ( , ) ... ( , )
a
/ /
a a
a a
: :
a a a a
l a a l a a l a a
l a a l a a l a a
: !a !a
l a a l a a l a a
=
} }
.
Un calcul oc Haoanaio (la//://a !:- 5:/:a::- 1://:a://a:-, 18o) nontic quc la valcui naxinalc
ou octcininant
, 1...
/
/ a
D :
=
= ou
a
: cst iccl ct ou
2
1
1, 1...
a
a

: a a
=
= =

cst 1, aussi, si oans


( ) D on oivisc tout pai lc naxinun 1 oc l, qui cst continuc ct pai conscqucnt loincc, on a
( , )
/
l a a 1 < o`ou
( )
2 2
2
2
2
1 1 1
( , ) ( , )
( , ) 1 1
a a a
/ /
/

l a a l a a
l a a a1
a1 a1
= = =
| |
| |
|
|
|
\ .
\ .

ct pai
chaquc octcininant cst naoic pai
( )
a
a1 , soit
2
( )
a
a a
a
: a 1 / : . losons
2
( ) !
a
a a
a
a 1 / : a ! = , alois
1
( ) 1
lin lin 1 O
1
a
a
a a
a
! / : 1
! a a
+

| |
= + =
|
\ . +
puisquc
1
lin 1
a
a
:
a
| |
+ =
|
\ .
.
D cst oonc unc lonction cntiic oc .
Lc nnc typc oc calcul sui ( , , ) D x a nontic quc l`on a cgalcncnt unc lonction cntiic oc ct
cn plus quc la sciic ( , , ) ( , ) D x a l x a cst unc sciic uniloincncnt convcigcntc oc lonctions
continucs cn x ct a sui (:, /).
licociic Laiochc, 2OO5 2 lioncnaocs nathcnatiqucs
Analysc oc Hillcit http://pioncnaocsnaths.licc.li
n pcut alois cciiic
1
1
( 1) ( , )
( , , ) ( ) ( , )
!
a
a a
a
( x a
D x a D l x a
a

+
=

= +

ou
1
1 1 1 1
1
1
O ( , ) ... ( , )
( , ) ( , ) ... ( , )
( , ) ... ...
................... ................... ... .................
( , ) ( , ) ... ( , )
a
/ /
a
a a
: :
a a a a
l x a l x a
l a a l a a l a a
( x a !a !a
l a a l a a l a a
=
} }
.
Si on ocvcloppc pai iappoit la picniic colonnc, on auia a tcincs oc la loinc ( , )
/ /
l a a l ou
/
l
cst oc la loinc
1 2
1 1 1 2 1
1 2
( , ) ( , ) ... ( , )
( , ) ( , ) ... ( , )
................... ................... ... .................
( , ) ( , ) ... ( , )
a
a
a a a a
l x a l x a l x a
l a a l a a l a a
l a a l a a l a a
avcc un signc quclconquc ou aux
intcivcisions oc ligncs. Dc toutcs naniics tous ccs octcininants sont cgaux puisqu`ils
conticnncnt lcs nncs tcincs ct
1 1
( , ) ... ( , ) ...
/ /
a / a
: :
( x a a l a a l !a !a =
} }
.
n a oonc
1 1 1
( , , ) ( ) ( , ) ( , , ) ( , )
/
:
D x a D l x a D x a l a a !a = +
}
.
Consiocions naintcnant l`cquation
( ) ( ) ( , ) ( )
/
:
, a a l a . , . !. = +
}
,
nultiplions pai ( , , ) D x a , intcgions ct invcisons lcs intcgialcs :
( , , ) ( ) ( , , ) ( ) ( , , ) ( , ) ( )
/ / / /
: : : :
D x a , a !a D x a a !a D x a l a . !a , . !.
(
= +
(

} } } }
,
on a alois
[ ]
[ ]
( , , ) ( ) ( , , ) ( ) ( , , ) ( ) ( , ) ( )
( ) ( , ) ( ) ( ) ( ) ( ) .
/ / /
: : :
/
:
D x a a !a D x a , a !a D x . D l x . , . !.
D l x . , . !. D , x x


=
= =
} } }
}

n pcut oonc concluic quc si ( ) O D ct si l`cquation oc licoholn a unc solution, alois cllc nc
pcut tic autic quc
( , , )
( ) ( ) ( )
( )
/
:
D x a
, x x a !a
D

= +
}
.
Dc plus, si on icnplacc , pai ccttc cciituic oans l`cquation, c`cn cst unc solution , il cxistc oonc
licn unc uniquc solution continuc l`cquation.
12. Noyanx de Fonrier
1`: Trans[ormee de Mellin
La tiansloination qui (x) associc

( ) ( ) ( , )
/
:
a x l a x !x =
}
cst cviocnncnt lincaiic ct on pcut la
consiocici connc un opciatcui lincaiic l associc unc natiicc oc oincnsion inlinic M : on auia
unc iclation ou typc

( ) ( ) l a = .
licociic Laiochc, 2OO5 28 lioncnaocs nathcnatiqucs
Analysc oc Hillcit http://pioncnaocsnaths.licc.li
Si poui unc lonction , il cxistc unc sculc lonction

tcllc quc

( )( ) ( ) l a a = ct iccipioqucncnt,
alois cct opciatcui cst invcisillc ct il cxistc un opciatcui invcisc l
1
tcl quc
1

( ) ( )( ) x l x

= : on
ooit alois avoii lcs ocux iclations :
'
'

( ) ( ) ( , )

( ) ( ) ( , )
/
:
/
:
a x l a x !x
x a H a x !a

}
}
.
Si on pcut cciiic la ocuxinc iclation, on a un //:::a: !/a.:-/:a ct on oiia quc l cst un a:,:a !:
l:a/: si H ~ l
Lc cas picscntant lc plus o`intcit cst loisquc ( , ) ( , ) ( ) l a x l x a l ax = = , lc piincipal icsultat
conccinant ccttc situation cst oans lc thcoinc suivant :
n appcllc /:a-:a:: !: 1:///a F l`opciatcui l oont lc noyau cst
1
( , )
a
l a x x

= :
1
O
( ) ( )
a
a x x !x
+

=
}
F .
Unc conoition ncccssaiic poui quc la lonction l(ax) soit un noyau oc louiici cst quc la
tiansloincc oc cllin K(-) oc la lonction l(x) satislassc l`cquation lonctionncllc
( ) (1 ) 1 - - = K K .

ultiplions ocs ocux ctcs
O

( ) ( ) ( , ) ( ) ( )
/
:
a x l a x !x x l ax !x
+
= =
} }
pai
1 -
a

ct intcgions pai
iappoit a cntic O ct + :
1 1 1
O O O O O

( ) ( ) ( ) ( ) ( )
- - -
a a !a a !a x l ax !x l ax a !a x !x
+ + + + +

= =
} } } } }
,
lc passagc oc l o`unc intcgialc l`autic pcuttic ustilic pai lc thcoinc oc lulini sous ocs
conoitions tis laigcs. losons , ~ ax :
1
1 1
O O O
1
( ) ( ) ( ) ( )
-
- - - -
,
l ax a !a l , !, x l , , !, x -
x x

+ + +
| | | |
= = =
| |
\ . \ .
} } }
K
ct
1
O O

( ) ( ) ( ) ( ) (1 )
- -
a a !a - x x !x - -
+ +

= =
} }
K K F , soit

( ) ( ) (1 ) - - - = F K F .
ais l`intcgialc oc gauchc cst la tiansloincc oc cllin oc

, aussi si K cst licn un noyau oc


louiici, on a
O

( ) ( ) ( ) x a l ax !a
+
=
}
. Si on iclait la nnc scqucncc o`opciations quc
picccocnncnt, on a alois

( ) (1 ) ( ) (1 ) (1 1 ) (1 ) ( ) (1 ) ( ) (1 ) (1 ) - - - - - - - - - - - = = + = = F F K F F K F K K F K
ct linalcncnt ( ) (1 ) 1 - - = K K .
Ln lait ccttc conoition pcut tic sullisantc, nais nous cn icpailcions plus loin.
1`/ Exemples de noyanx de Fonrier
Lcs noyaux lcs plus connus sont cviocnncnt ccux pcincttant oc laiic lcs tiansloinccs
classiqucs : louiicicosinus, louiicisinus, Laplacc, cllin.
A titic o`cxcnplc icgaioons lc noyau ( ) cos l x : x = ou : cst unc constantc :
licociic Laiochc, 2OO5 2 lioncnaocs nathcnatiqucs
Analysc oc Hillcit http://pioncnaocsnaths.licc.li
1 1 1
O O O
1 1
( ) cos
2 2
- - /x - /x
- : x x!x x : !x x : !x
+ + +

= = +
} } }
K ,
nais nous savons quc
1
O
( )
x -
-
-
x : !x

+


=
}
o`ou
1
2
O
( )
( )
/-
- /x
-
-
x : !x : -
/

+



= =

}
, ccci oonnc
alois
2 2
1 1
( ) ( ) ( ) cos ( )
2 2 2
/- /-
- : : - : - : - -

(
| |
( = + =
|
\ . (

K ,
(1 ) cos ( ) sin ( )
2 2 2
- : - - : - -

| | | |
= =
| |
\ . \ .
K
( )
( )
2 2 2
1
( ) (1 ) cos sin ( ) (1 ) sin
2 2 2 sin 2
- - : - - - - : - :
-

| | | |
= = =
| |
\ . \ .
K K .
loui quc l soit un noyau oc louiici, il laut oonc quc
2
:

= ct on auia alois
O
O

( ) ( )cos( )
2

( ) ( )cos( )
2
a x ax !x
x a ax !a

+
+

}
}
.
Lcs calculs picccocnts sont asscz loincls oans l`cnscnllc ct ncccssitcnt ocs ocnonstiations un
pcu plus claloiccs, nais oans l`cnscnllc a naichc connc a. Dc la nnc naniic on
olticnoiait lc nnc typc oc icsultat avcc l(x)~:sinx.
Un cxcnplc tiaitc au chapitic lonctions oc Bcsscl cst loisquc ( ) ( ) l x x f x

= poui lcqucl on a
1
2
1 1 1
2 2 4
( ) 2
1 1 o
2 2 4
-
-
-
-

| |
+ +
|
\ .
=
| |
+ +
|
\ .
K , oans cc cas on cst cn picscncc oc la /:a-:a:: !: H:a/:/.
1`: Formnles dinversion non symetriqnes
Dans lcs cquations
'
'

( ) ( ) ( , )

( ) ( ) ( , )
/
:
/
:
a x l a x !x
x a H a x !a

}
}
, iicn n`olligc cc quc l ~ H. lai contic lc nnc
calcul quc picccocnncnt annc au thcoinc suivant :

Unc conoition ncccssaiic poui quc l`cquation intcgialc
O

( ) ( ) ( , ) a x l a x !x
+
=
}
ait unc solution
oc la loinc
O

( ) ( ) ( , ) x a H a x !a
+
=
}
cst quc lcs tiansloinccs oc cllin K(-) ct H(-) ocs lonctions
l(x) ct H(x) satislasscnt l`cquation lonctionncllc
( ) (1 ) 1 - - = K H .
licociic Laiochc, 2OO5 oO lioncnaocs nathcnatiqucs
Analysc oc Hillcit http://pioncnaocsnaths.licc.li
lai cxcnplc lc calcul oc K poui ( )
x
l x :

= oonnc
1
O
( )
( )
x -
-
-
- x : !x

+


= =
}
K , il laut oonc
tiouvci H poui quc ( )
1
( ) 1
( ) (1 ) 1 (1 ) ( ) sin
( ) (1 )
- -
-
-
- - - - -
- -

= = = =

K H H H . Lcs
choscs nc sont oonc visillcncnt pas tis sinplcs.

13. Convolntion
(a:a: :://://:a :a :a/:/- l://aa :a ://:a:a!).
Loisquc nous nultiplions ocux nonlics quc laisonsnous ~ Nos ocux nonlics s`cciivcnt :
O 1 O
... 1O ... 1O
a
a a
: : : : : : = = + + + ct
O 1 O
... ... 1O ... 1O ... 1O
a a
a a a a
/ / / / / / / / = = + + + + + ,
cllcctuons la nultiplication :
( ) ( )
2
O O O 1 1 O O 2 1 1 2 O
. 1O 1O ... :/ : / : / : / : / : / : / = + + + + + +
Lc tcinc gcnciiquc oc ccttc sciic cst
( )
nin( , )
nax(O, )
.
/ / a
/ / /
/
/ / a
:/ : /
=

=
=

poui O, ..., / a a = + .
Lviocnncnt oans lc cas o`unc nultiplication on ooit tcnii conptc ocs ictcnucs, nais on pcut
conpicnoic quc scul lc icsultat nous intcicssc ct quc la qucstion oc l`cciituic ou nonlic cst sans
inpoitancc : on cllcctuc sinplcncnt la nultiplication.
Notons naintcnant ( )
/
/ : = lcs tcincs oc la suitc ( )
/
: , ( ) / ccux oc la suitc ( )
/
/ ct x la lasc oc
nunciation : on cciiia alois (cn ncttant ocs zcios paitout ou c`cst ncccssaiic) ( )
a
a
: a x
+
=
=

,
( )
a
a
/ a x
+
=
=

ct lc pioouit ocs ocux scia unc sciic oc tcinc gcncial


( ) ( ) ( )

/
/
a
: / a / a x
+
=
=

,
la notation ( )

: / icpicscntant lc :!a// !: ::a.:/a//:a ocs sciics : ct /. Si on passc alois aux


intcgialcs, lc pioouit cn qucstion scia icpicscntc pai l`intcgialc :
(1) ( )( ) ( ) ( ) ( ) ( )

. a . a !a . a a !a
+ +

= =
} }
.
Supposons quc ct soicnt tcllcs quc l`on puissc lcui laiic unc tiansloincc oc louiici ct quc l`on
puissc invcisci l`oioic o`intcgiation oans l`intcgialc (1) :
2 ( )

( ) ( )
// . a
. a / : !/

=
}
ainsi quc
2
( ) ( )
//a
a / : !/

=
}

o`ou
2 ( )
2 2 2

( ) ( ) ( ) ( )

( ) ( ) ( ) ( ) .
// x a
//x //a //x
a x a !a a / : !/ !a
/ : a : !a !/ / / : !/


+ + +


+ + +


(
=
(

(
= =
(

} } }
} } }

n a oonc lc //:::a: !: ::a.:/a//:a ou

cst la ::a.:/:: oc ct :
licociic Laiochc, 2OO5 o1 lioncnaocs nathcnatiqucs
Analysc oc Hillcit http://pioncnaocsnaths.licc.li
2

( )( ) ( ) ( ) ( ) ( )

//.
. a . a !a / / : !/

+ +


= =
} }
.

lig. o : Lllcts oc la convolution oc ocux lonctions icctanglc , cnpiuntc L. Wcisstcin
http://nathvoilo.vollian.con/Convolution.htnl

Si on lait x ~ O, on a alois

( ) ( ) ( ) ( ) a a !a / / !/
+ +

=
} }

Si cn plus on lait ~ , on a

( ) ( ) ( ) ( ) a a !a / / !/
+ +

=
} }
.
Ln lait connc cst conplcxc, on a
2

( ) ( )
//a
a / : !/

=
}
ct
2 2

( ) ( ) ( )
//a //a
a / : !/ / : !/

+ +

= =
} }
.
Consiocions alois la lonction o`autocoiiclation C oclinic pai ( ) ( ) ( ) C . a a . !a
+

= +
}
ct icnpla
ons ct pai lcuis tiansloinccs oc louiici icspcctivcs :
2 2 '( )
2 2 '( ) 2 ( ' ) 2


( ) ( ) ( ) ( ) ( ') '

( ) ( ') ' ( ) ( ') '

( ) (
/.a /. a .
/.a /. a . / . . a /.a
C . a a . !a . : !. . : !. !a
. : . : !.!. !a . . : : !.!. !a
.


+ + + +
+

+ + + + + +
+

( (
= + =
( (

= =
=
} } } }
} } } } } }

2 ( ' ) 2 2
2
2 2
2

') ' ( ) ( ') ( ' ) '

( ) ( ) ( )

( )
/ . . a /.a /.a
/.a /.a
. : !a : !.!. . . . . : !.!.
. . : !. . : !.
.

+ + + + +


+ +


(
=
(

= =
=
} } } } }
} }
C`cst lc thcoinc oc WicnciKhinchin.
Un icsultat cgalcncnt inpoitant cst :
licociic Laiochc, 2OO5 o2 lioncnaocs nathcnatiqucs
Analysc oc Hillcit http://pioncnaocsnaths.licc.li
( )( ) ( ) ( ) ( ) ( )

a !a . a . !. !a . !. a !a
+ + + + +

(
= =
(

} } } } }
.
La convolution cst un outil lonoancntal cn tiaitcncnt ou signal ct cn clcctioniquc. La
nultiplication iapioc sui lcs oioinatcuis utilisc la /:a-:a:: !: l:a/: :/!: cn licn avcc la
convolution oc ocux nonlics, ctc.