HAL Id: inria-00074080
https://hal.inria.fr/inria-00074080
Submitted on 24 May 2006
HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub-
L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non,
A Matrix-Free Preconditioner Applied to CFD
Rémi Choquet
To cite this version:
Rémi Choquet. A Matrix-Free Preconditioner Applied to CFD. [Research Report] RR-2605, INRIA.
1995. �inria-00074080�
a p p o r t
d e r e c h e r c h e
INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE
A matrix-free preconditioner applied to CFD
Re´mi Choquet
N˚ 2605
Juin 1995
PROGRAMME 6
-,.
/103254#687:9<;=/?>:@
A8BDCFEFBG'HIHJKMLON5G'PRQSTPVUWQXYJZ?[\X^]`_SaJbaHCac dJePfXYUG'[\XYCZJ[5PYCFEFXRQXYJPVZ?SaH,dJB\XR_SaJ
A8BDCgJ[5hiVhjk\l
mnG'oaopCFBD[c?JB\JQDqaJBQDqaJrZMs1tFKuFvwLyxFSaXYZ{z||FvwLO}aznoG'EJU
~e' '{JQCFZaUDXcJB[DqaJ XfHIoaPYXRQXY[#[\XYHJXYZ?[\JeEFBWG[\XYCFZC'#[\qTJQCFHoTB\JUDU\XYaPYJ$lG?XYJB\?[\CFJU
J_SG[\XYCFZTU GFQDqXYHIoaPYXQXf[5UD[\JoXYZ1CFPYFJeU![DqaJU\CPYSa[\XYCFZC'G$QCU\[DPfZaCZ{PfXYZaJG'BU\?U\[DJHIkZ{[\qTXfU
oGoJeBbJc?J]ZaJGoaBDJQCZc?XY[\XYCFZTJB[\CUDCFPYFJ JGFQDqPYXYZaJGB=UD?U\[\JeHHICFBDJQDqaJG'oTPf5XY[\qaXYZ#[DqaJ BG'HJ
CFBDC¡H G'[\BDX^¢1£ BDJJ¤GPYEFCFBDXY[\qaH#¥5qaJH G'XYZ$XRc?JGIXYU#[\C BDJSaU\J [DqaJ¦nB\?PYC'$U\SaTU\oGQJ$GFQBDCFU\UM[\qaJ
[DXfHIJ#U\[DJoaU#{Jc?JHCZaU\[DBWG[\J#UDCFHJMoaB\CoJBD[\XYJU#C[\qTJ§oaBDJQCZc?XY[\XYCFZTJB§G'Zpc U\qaC'¨[\qaJoaBGFQ[DXQeG'P
FGPfSTJC'[\qaXYUG'oaoTB\C1GQDq£CFBU\[\X^©,oaBDCFaPYJHIU§5qaXRQDqZTJJc?UIJ¢QJU\UDXYFJ$UDHG'PYP[DXYHJU\[DJoaUI5Xf[DqªGZ
J¢aoaPYXRQXY[5HJe[\qaCacV
«I¬?V®\¯#°pF±8'QCFHIoaB\JUDU\XYaPYJlG?XYJB\?[DCFFJeUb'm \¦GZc²j³UQDqaJHJeUbFl´J5[\CZ:b'µ#¶$m·VbHG[\B\X^¢?
BDJJFbpoaBDJQCFZpc?XY[\XYCFZaJeB
¸R¹º
»½¼¾¿
º
»À=ÁY¼ÂÃÄ
Å\Æ£ÇFÈÉeÊFË\ÌÍ<ÎÐÏ ÎÒÑ£Ó'ÔÕÐÏ
¬¬ l´CFSaU8QCFZaUDXRcdJB\CZaU:PXYZ?[adJEBWG'[DXYCFZXYHIoaPYXQXf[DJ:JZM[\JHIoaU:c?JUdJ_SG[\XYCFZaU8c?JlnG1XYJB:[\CFJU
QCHoaBDJU\UDXYaPYJUFN qpGF_SaJoGUc?J[DJHoTU:Z5dJQJU\UDXf[DJPRG U\CPYSa[\XYCFZQCFSa[DJSaUDJcSaZ#U\?UD[ JHIJZaCZ?PfXYZ5dJG'XYB\JF
iGoaoaBDCQDqaJQCFZaUDXc dJBadJJIJU\[QJPYPYJ§CSPYJoaB\CaPJHJ#JeU\[Xf[adJBWG[\XYFJeHJZ?[PYXYZ5dJGB\XYUadJ`jGZaU#QJoG'oTXfJeBb
ZaCSaU$c dJ]ZTXfUDU\CZaU$SaZ,oTBadJQCZc?XY[\XYCZaZaJSaBoCSaB BadJUDCFSc?BDJQDqGF_SaJU\?U\[ JHJPYXYZ¡dJG'XYBDJc?JHG'ZTXJeB\J
JQeGFQJ$caGZaU#PYJQGFcB\JcGPYEFCFBDXY[\qaHIJ#UWGZaU§H G'[DB\XRQJF:iXc dJJJU\[c?JBadJSa[\XYPYXYU\JBPYJU\CSaUJU\opGFQJ$c?J
¦nB\?PYC' Gn[\BWGJB\U8PYJU8oGU=c?J [\JHIoaU'l´CFSaU HCFZ?[DB\CFZTU=_SaJPR_SaJU8oaBDCFoaBDXdJe[adJUcJ¡QJ oaBadJQCFZpc?XY[\XYCFZaZTJSaB
J[MPfJeU!J¢oTPfCXY[\CFZTUJZHCZ1[DBWGZ1[5PJQGQXY[adJ§cJQJ§oTBadJQCZc?XY[\XYCZaZaJSaBG'oaoaPYXR_S5dJJ#JeZ1[DB\JGSa[\BDJGIPRG
UDXfHSTPG[\XYCFZcSaZ oaBDCFaPJHIJBWGXRc?JF
! °p e®W#"$¬¨ lnG?XfJeB\?[\CFJU QCFHIoaB\JUDU\XYaPYJFb·UWQDq5dJH G'Um¡ ¦ J[² j³ b¡l´J5[\CZ:b5µ#¶$mnVb8UWGZaU
H G'[\BDXRQJFb?oaBadJQCFZpc?XY[\XYCFZaZTJSaB
" # §I5
¥5qaJHG'XYZ{HICF[\XYFG[\XYCFZ{[DC{U\CFPYJ[DqaJQCHoaBDJU\UDXYaPYJlnG?XfJeB\?[\CFJUJ_SG[\XYCFZTU?HIJG'ZaUC'§GZ
XYHoTPfXRQXY[#HIJ[\qTCc XYU[\qaJ J¢QJUDU\XYFJU\H G'PYP[DXfHIJUD[\JoaUIPYXfHIXY[\Jc?UD[WGaXYPfXY[{QCFZTU\[\BG'XYZ?[\U CFBJ¢?
oaPYXRQXY[HIJ[\qTCcU¥5q?SaUb CBU\[DB\SQ[\SaBDJc HJUDqaJUb CFBD,qGUpJJZ c?CZaJ$pCF[\q CFZ [\qaJ{c?JJPYCFo?
HIJZ?[C'#ZaJ"XYHoaPYXRQXY[#UWQDqaJeHJU%$i '&(&!)\b$Ð?JZ|u!)wGZcCFZ3[\qaJSaU\J$C#ZaJ [\C?CPfU[DC{U\CPfJ PGB\EJ
UDoG'BDU\JZaCFZ?U\?HIHJ[DB\XRQ5PYXYZaJGB5U\?U\[DJHU*$,+-+.&v!)\b/$10´¥a|F}!)\?hPYUDC CB5SaZaU\[DB\SQ[\SaBDJcHJUDqaJUbaZaJ
UQ\qTJHJU*$10³8¶2&FK)\b/$Ða³8|3*)=G'ZcI[\JQ\qTZaXR_FSTJU4$x50n³8|az)\b$ÐjnSa[W|Tz)\b$Ði:³8|3!)\b/$Ði G'Z|3):qGJJJeZc?JJPYCFo?
opJcV605C' JJBbTXfZ HICFU\[5QGU\JUbJGFQDq$XYHoaPYXRQXY[UD[\Jo$PYJGc?U[DCCFZaJ#QCU\[DPf ZaCZ PfXYZaJG'B5U\?UD[\JH [DCJ
UDCFPYFJc<
,qTJZ[DqaB\JJc?XYHIJZaU\XYCZG'PUDoGFQJoaBDCFaPYJHIUwGZc'7CFB§QDqaJHIXRQG'PQCFZ?[\J¢a[G'BDJQCFZaUDXRc?JB\JcVb8[\qaJIU\X8J
C¡[DqaJU\?U\[DJHUXYUSaU\SpG'PYPY$PRG'B\EJFp¥5q?SaUbV[DqaJHJeHCFBD½UDX/8eJ#C'¡QSaB\BDJZ?[¤QCHoaST[\JBDU!oTB\CFqTXfTXf[DU[\qaJ
UD[\CFBG'EJC'5[\qTJHG[\BDXÒ¢QCHXYZaEI BDCFH[DqaJPYXYZaJGB\X8JcoTB\CFTPfJeHp{JG'BDJXfZ?[DJB\JUD[\JcXYZ]ZcXfZTEG
oaBDJQCZc?XY[\XYCFZTJBn CFBnU\CFPY?XYZaE[\qTJU\JPYXYZaJGBU\?UD[\JHIU5qaJZHG[\BDXÒ¢?£ B\JeJwGPYEFCFBDXY[\qaHIU¡GB\J#SaUDJcVV¥5qTXfU
oaBDJQCZc?XY[\XYCFZTJBU\qaCSaPRc JMJG'UD[DCQCHoaST[\JC[\q$[G'?XYZaEXYZ?[\CGFQeQCFSaZ?[n[\qaJHXYU\U C'[DqaJ§H G'[DB\X^¢
GZc [\qTJ¤QCHoaST[\JBnU\?U\[DJHpkZ$oGB\[DXQSaPRG'Bbp5XY[\qGQCZ1JZaXYJZ?[!cTG'[WGU\[DB\SQ[DSaB\Jba[DqaJ§oTB\Cac?SQ[C
[DqaXYU§oaBDJQCZc?XY[\XYCFZTJB§?G JQ[DCFBU\qaCSaPRc{pJc?CZaJJGU\XYPYXYZ{oGBWGPfPYJPV¥5qTJoaBDCFaPYJH QXY[\Jc{oaBDJ
?XYCFSaUDPYCaQQSaBDUGPfUDC{XYZPYJGFcXfZTEG'B\JG'UC'#Z?SaHIJB\XRQGPUDXfHSTPG[\XYCFZ{UDSQDq G'U:9QJG'Z GZc3N PfXYH G'[\J
HICcJPYXfZTE
i<J[SaU c?JUQB\XYpJHICFB\JIoaB\JQXYU\JPY3[\qaJ BWGHJ CFBD{C'#[\qaJU\[\Spc?5qaJeB\J[\qaJ £CFPYPYC'5XfZTEQCFZaUDXcJ
BG'[\XYCZaU5[WGFJoaPRGFQJa{JqpGFJ[\CUDCFPYFJ
;6<=6>@?BA;CED u'F
A z C
5qaJeB\J
?BA;CHGIKJMLNI-J
XfUGZTCFZ?PYXfZTJG'B STZQ[\XYCZC
;
a{J#QCZaU\XRc?JBnJXY[\qaJeB[\qTJ#U\[G'[\XYCZG'BDCFB
ZaCZ?U\[WG[\XYCFZpG'B\B\JeU\CFPYSa[DXYCFZC
A z C
?m5JoaPRGQXYZaE
;O<=
?GHSaPY[\X^U\[DJo§UQDqaJHJb?J_SG'[DXfCZ
A z C
PYJGFc?U5G'[
[DXfHIJQPSRI[\C
;OATU>
z
C6>WV P R'XZY
A;OATB>
z
C[C\DHV P R'XU]
A;OAT6C
F
;OAT_^
z C F
;6ATU^
t C F`*``
C ` At C
{JZaC[\J[\qG[5[\qaJMGFQD?¡GBWcI8SaPYJBHIJ[\qTCcIQCFBDB\JUDoCZc?U[\C X ]
A;CD a
b
=c
`
{J#BDJ JB[DC2$N5¶d&F|!)\b$0´ |aze)8 CFBGHCB\J!QCFHoTPfJe[\J§c?JeUWQBDXfoT[\XYCFZ$Cf9!j3UQDqaJHJeUp{J#U\SToaoCU\J
[DqG'[ X Y5XYUG'[5PYJGU\[c?X^©VJB\JZ?[DXGaPYJF
,XY[Dqhg
A;C\Di;j>WV PRkXZY
A;CE^lV P R'XU]
A;6AT6C
F
;6ATU^
z C F
;OAT_^
t C F*``*`
C b At C
pJQCHJU
g
A;OATj>
z
CSCED
u A} C
{JQDqaC?CFU\J[DC U\CFPYJ§[DqaJZaCFZTPfXYZaJG'BJ_SG'[DXYCFZ
A } C
?l´J5[\CZ? µM¶$mm$вT|Fu*)\bp5qaJBDJl5J5[DCFZ
XY[\JeBWG'[DXYCFZaU§GB\JGoaoaPYXYJc$[DC PfXYZaJG'B\X8J[\qTJoaB\CaPYJH G'Zc[\qaJXYZcSQJcPYXYZaJGB!UD?U\[\JeHXYU#UDCFPYFJc$?
[DqaJXY[\JBG'[\XYJµ#¶$m·$UQ\qTJHJ5qaXRQDqCZaPY$B\J_SaXYBDJU§[DqaJx1GQCFTXGZ&GoaoaPYXYJc [DCGIFJQ[DCFB§GZcXfU
JPYP^½UDSaXY[\Jc[DC$ZaCFZ{UD?HHJe[\B\XRQPRGB\EFJH G'[DB\XRQJUV¥5qaJGPYEFCFBDXY[\qaHQGZpJU\SaHIHGB\X8JcG'U£CFPYPYC'
5XY[\q%n
Dpo*qsr a(t
o a
z G
l5Je5[\CFZµ#¶m
;
EFXYFJZ b
D ^ z
mnA8h¥
D > z
?CPYFJjn
A;C;sD ^ g
A;C
1 µ#¶$mn
;!
Y D ;>";
#nl5¥5k\i{QCZ1JB\EJZQJ
,XY[DqaXYZµ#¶$m·Vb:JGFQDqx?GFQCaXRG'Z{FJQ[\CB§oaBDCac?SQ[XYU§GoaoaB\C¢aXYHG[\Jc?JeXf[DqaJBGI]pB\U\[CFBG UDJ
QCZcCFBc?JB]pZaXY[\Jc?X^©VJB\JZpQJUQ\qTJHJF jXQSTPf[DXYJU#G'B\XYUDXfZTE BDCFHUDSQDqG'Z{G'oaoTB\C1GQDq{XfZpQPYSc?J[\qaJ
CPYPfC'5XYZaEpb
zF5³ XfZTXf[DJ¡cXÒ©VJBDJZQJ5UQ\qTJHJU8XYZ?[\BDCcSQJ5JBDB\CFBDU5qaXRQDq§c?J[DJB\XYCBWG'[DJ5C[\qµ#¶$mn#G'Zpc#l5J5[DCFZ
QCFZ?JB\EJZQJF {J#BDJ JB#[DC $ÐN5|}*)8 CFBGUD[\Sc?C'[DqaJ]ZaXY[\Jc?X^©`JBDJZQJIUWQDqaJHIJ¤µM¶$m1
G'PYEFCB\XY[\qTHU
ta5m5JUD[WGB\[\XYZaEXYUCFZaJ$5G[DCBDJc?SQJ[\qTJUD[\CFBG'EJQCFUD[b aSa[I[\qaXYUGoaoaB\C?GFQDq c?JQB\JGU\JU[\qaJ
QCFZ?JB\EJZQJBWG[\JF
}a hZaC[\qaJeB5¡GXYU [\CM]Zc G#oTB\JQCZc?XY[\XYCZaJB5aSa[ [\BGFc?XY[DXfCZG'PVG'oToaB\C?GFQDqaJU5PYXYFJG'ZXYZQCFHoTPfJe[\J
i$# ½GQ[\CB\XYUWG[\XYCFZ G'BDJ!HIJHCB\QCFZTU\SaHIXfZTE
{JZaC[\J[\qG[5J#GB\JXYZ[DqaJ#QCFZ?[DJ¢a[5qaJBDJ#U\SpQQJUDU\XYFJPYXfZTJG'B5UD1UD[\JHIU5ZaCF[DJc
n rR t
; rR t
D ^ g rR t
qGJ§[DC JUDCFPYFJc?µ#¶$mnVp,XY[\qmn
rR t
QCFZaUD[WG'Z?[§GZcU\?HHIJ[\BDXQbaGGFc6$ÐaGG(&&% )UD[\Sc?[\qaJ
BDJSaU\JC'5[\qaJ$¦nB\?PYC'UDSaaUDoGFQJ [DCGFQQJPYJBWG[\J$[DqaJQCZ?FJBDEFJZQJC[\qaJ i:GZQ8CU§oaBDCaQJU\U¶ CB\J
BDJQJZ?[\PY?b'SaXY6$'SaXR|F}[)5SaUDJc{[DqaJUG'HJXRc?JG XYZ{[DqaJQCZ?[\J¢a[C'[\qTJU\CPYSa[\XYCFZC'[DqaJXYZQCFHoTB\JU
UDXfTPfJlG?XYJB\?[DCFFJeUJ_SG[\XYCFZTU?µ#¶$m·amj$'!c(''!|}!)\50´JU\qTC'JcIGEFC?CacGQQJPYJBG'[DXfCZC:[\qaJ
QCHoaST[WG'[DXYCFZC[\qaJ#oTB\JUDU\SaBDJ1I[\qaJMPfXYZaJG'B5U\CPYFJBakZ $ÐN qaC1|3*)bTJoaBDCFopCFUDJcGZTJ G'PYEFCB\XY[\qTH
[DCGQQJPYJBG'[DJ[\qaJl5J5[DCFZ?\µ#¶$mnG'PYEFCB\XY[\qaHF¥5qTJ§H G'XYZ XcJG5G'U[\C G'oaoTB\C¢aXYHG'[DJ[\qaJZaJ¢a[
l´J5[\CZªUD[\Jo BDCFH [\qTJ¦nB\?PYC'pG'U\J$GZc{[DqaJ 0´JU\UDJZ?JBDEH G'[\BDX^¢&QCFHIoaSa[DJc{?[\qaJ hBDZaCFPRc?X
oaBDCaQJU\U:hnZGFQeQJPYJBWG[\XYCFZC' [\qaJC'FJBG'PYP:oTB\CaQJUDU#¡GUCaU\JBDFJc<VkZGBDJQJZ?[#opG'opJBU$·²A|v*)\bG
oaBDJQCZc?XY[\XYCFZTJB§5G'UaSaXYPY[[\C$XYHIoaB\C'J§[DqaJBDJU\[G'B\[DJc\µ#¶$mnGPfECFBDXf[DqaHT¥5qaJoTB\JQCZc?XY[\XYCZaJB
5G'U#pG'U\Jc{CFZGZ{JU\[DXYHG'[DXYCFZ$C¡[DqaJUDHG'PYP8JXYEFJeZ1FGPYSaJ¤GZcXY[\U§GU\UDCQXG[\Jc JXYEFJZTU\oGQJF8kZ{[\qTXfU
oGoJeBbp5XY[\qGUDXfHIXYPGBG'oToaB\C?GFQDq:ba J#aSTXfPRc GQDqaJGo$oaB\JQCFZcXf[DXYCFZaJBn BDCFH"[\qaJ¦BD?PfC'IG'UDJ§G'Zpc
[DqaJ405JeU\U\JeZ1pJBDEH G'[DB\X^¢QCFHoTSa[\JcI?µ#¶$mnV
¥5qaXYUIoG'opJBXYU QCFHIoCU\Jc3G'U CFPYPYC'5U³ XYB\UD[XYZ3U\JQ[\XYCFZ tab GU\qaCB\[BDJQGPfPCw[DqaJ{µ#¶$m·ªGP^
ECFB\XY[DqaH XYU§EXYFJZ5qaXRQ\qCFSa[DPYXfZTJU§UDCFHIJZaCF[G'[\XYCZaU8¥5qaJeZ:b8J c?JUQB\XYpJ$[\qaJ oaBDJQCZc?XY[\XYCFZTJBXYZ
UDJQ[\XYCZ}G'Zpc$XY[\Un[\qaJeCFB\Je[\XRQG'P QCFZ?[\BDXYaSa[\XYCZ:V³:XYZGPYPf?b?XYZ$U\JQ[\XYCFZ 3pbpZ1STHJBDXQeG'P:BDJU\STPf[DU#U\qTC' [\qaJ
oaBGFQ[DXRQG'P FG'PYSaJC[\qaXYUG'oToaB\C?GFQDqXYZ [\qaJ#QCZ?[\J¢a[CN5³8j
l´CF[WG[\XYCFZTU
G
{Jc?JeZaCF[DJ?
R
[\qTJU\Je[C'opCFPY?ZaCFHIXGPYUC'!cJEFBDJJ Sao[DC
T
qG?XYZaE$[DqaJ FG'PYSaJ
z#G[uabaG'Zpc?[DqaJXRc?JZ?[\XY[H G'[DB\X^¢¤C=BG'ZaV
kZ[\qaXYU#UDJQ[\XYCZ:b8JIoaB\JeU\JZ?[aBDXfJ{[\qaJ µ#¶$mn{G'PYEFCB\XY[\qTHbaXYZ?[\BDCac?SQXYZaE$UDCFHIJZaCF[G'[\XYCZaU# J
5XYPYPVZaJJcPG[\JB
N CZaU\XRc?JBDXYZaE[\qaJMU\?U\[DJH
n
KD ^ gUF
A3 C
5qaJeB\J n D n
A;C b6g
D g A;C
GZc%n{XYU!ZTCFZ?U\XYZaESaPRG'Bb?[DqaJoaB\XYZQXYoaPYJ#C¡µ#¶$mn XYU[DCHIXfZTXfHIX8J
^ n A
> Cv^
g ]n5XY[\q
XfZI[\qaJ¦BD?PfC'UDSaaUDoGFQJ
A
nkF
F
C
c?J]ZaJc ZaJ¢a[
I¬! £" °#%$'&)(+* '-,j.0/0132 542k 6
A
n'F
F
C
"22* e.e.k-1S6
D ^ g ^ n
kBU* Bn 72 '82 542'(92k':4;.#?oGZ=<>
F!n'
F*``*`Fn
@?sY
0AB k!
(!*S2U-C2
2 U*
¥5q?SaUb
A3 C
XYU5B\JoaPRGQJc ?[\qTJ CFPYPYC'5XYZaEHXYZaXYHX8G'[DXYC'Z§oaBDCFaPYJH
HXYZ
D"E0F
r)G
<HJI<
t ^ n ](`
Av C
¥5qaJ¦BD?PfC'IU\SaTU\oGQJ§XYUnEFJZaJeBWG'[DJc1I[\qaJMhB\ZTCFPRc?X:oTB\CaQJUDU!PYJGc?XYZaE[\C[DqaJM CFPYPYC'5XYZaE#µ#¶$m·
GPfECFBDXf[DqaH
t G
µ#¶$mn
ALK:C
EXfJZNMPO,u[\qaJ[DCFPYJBWGZQJ#C=[DqaJ#U\[DCFoaoTXfZTE¤QBDXY[\JBDXfCZG'Zpc
RQ IKJ
[\qaJMXfZTXf[DXRG'PpEFSaJUDUb
S
0(#T'U
D ^ g ^ n b
V D ] b5W Y D
V
b#
D u
S
X$'T'F'¬ZY¬? a
D > z
AG C-[
Y D n\W
^
]^
_
Y`
^< W ^
5XY[\q
` ^<
DHA n\W0'FW
^C ALa6D
z(F*`*``F
C
` Y < D [ Y ]
W Y D [ Y
` Y <
A C
QCFHoTSa[\J8bU
D
HIXYZ
c0E Ied
V\f Y ^ X hg ]
i:" "=bU9jM g
]n°pP
DkK
S
Xl'T'1QCHoaST[\Jmg0?b
Don
0g0G'Zc
D >p
bU9O M g ]n8¬Z
D
µj9n¥-9
S
0(#T
¬Z±
5qaJBDJ
A
X:
C <^ D ` <^ z jNj >
z(F j
a j
u CF[\qTJB\5XYU\J
n D A W YF*``*`FW0 C F
GZc
V\f Y ^ X g0
] D
HIXfZ
c0E Imd
V\f Y ^ X 0g
](`
¥5qaJµBWGH\aQDqaHXYc?[8oaB\CaQJUDUEFJZaJeBWG'[DJU#G'ZICFB\[DqaCFECFZGPVG'UDXYU5U\SQDq [\qG[
n n D n YX: F AK C
XYHoTPf?XYZaE
HIXfZ
D"E0F
r)G
<HJI*<
t ^ n ] D HXYZ
c0E Imd
V\f
Y ^ X 0g
] ` A% C
$
kZ CFSTBQCFZ?[\J¢[ba JqGFJ[\CUDCFPYFJUDSQJUDU\XYFJ#PYXYZaJGB5U\?U\[DJHU
n rR t
rR t
DH^
g rR t
`
m´CFSaEqaPYUDoJG?XfZTEb CFSaBGFQQJPYJBWG[\XYCFZ3G'PYEFCB\XY[\qaH G'BDJGU\Jc CFZ[DqaJ£CFPYPYC'5XfZTEXRc?JG
G
N CHoaST[\J
G[!CZaJ#UD[\Jo
AT GZc
EXfJZ
C
GoaBDJQCFZpc?XY[\XYCFZaJeB!STU\XYZaE X Q I r Y
t
G'Zpc
n Y Q I-J r Yt
UG'[\XYU ?XfZTE
A K CKA
5XY[Dq n r R
t
D n C
GZcI[\CBDJSaU\JMXf[ £CFB
TWT
G'Zc
kZ{UDJQ[\XYCZª}aYzb J]BDU\[CFSa[DPfXYZaJG GU\XRQGFQeQJPYJBWG[\XYCFZGPYEFCFBDXY[\qaHa¥5qaJZ£B\CFH [\qaJ µ#¶$mnGP^
ECFB\XY[DqaHoaBDJU\JeZ1[DJc{XYZ[\qaJoTB\J?XYCFSaUMU\JQ[DXYCFZ:b JaSaXYPRcGoTB\JQCZc?XY[\XYCZaJB#XYZU\SaaUDJQ[DXfCZª}TtTpkZ
UDSaaU\JQ[\XYCFZ{}aÐ}TbF J#U\[DSc?I[\qaJ§QCFZ?FJBDEFJZpQJ§Cµ#¶m G'oToaPYXfJc[\C[DqaJ#oaBDJQCZc?XY[\XYCFZTJcIHG'[DB\X^¢:
hnZcGU\qaCB\[FGB\XRG'[DXfCZ[G'?XYZaE$XYZ?[\CGQQCSaZ?[§[DqaJ JFCPfST[\XYCFZ{C[\qaJIx1GFQCFaXRG'Z5XYPfP·J EFXYJZ{XYZ
UDSaaU\JQ[\XYCFZ}aÐK#STU\XYZaEGBWGZa½CZaJSaoVcaG'[DJF
!#"%$#&(')+*,$-!.+)/"('0&(132
{Jn]BDU\[EXYFJ#GG'UDXRQ!GPYEFCFBDXY[\qaH C'GQQJPYJBG'[\XYCZ5qTXQDqGXYHUG[QCFHIoaSa[\XYZaEM[\qaJ#oTB\JQCZc?XY[\XYCZaJB
G[5CFZaJU\[DJoGZcI[\CB\JeSaU\J#XY[· CFB5UDCFPY?XYZaE§UDJFJeBWG'P PYXfZTJG'B5UD1UD[\JHIU
} G
h!QeQJPYJBWG[\XYCFZ
T D u'F*``*`
;QDM;OAT6C
TQDAT6C
D u F`*``
QD A C
CFo
A F T F SF T6CSD
[\BDSaJF? =¬Z
?CFPYJjn
rR t
? R
A?
R
C
?vY
; D ^ g rR t
¬ "¬
?CFPYJjn
rR t
;
D ^ g rR t
¬Z±
C_
A F T F SF T6C
8¬ZaSTXfPRc
? R
;!
Y D ;>";
;OATB>
z
CEDM;!
Y
* '0&('!)/* ) &(1 3"( )+* '0&('!)+* #"
{JQCZaU\XRc?JeB[DqaJ5PYXfZTJG'BUD?U\[\JeH n
-D ^ g GZcG'U\UDSaHJ5[DqG'[·JGoaoaPYXYJcPXY[DJBWG[\XYCFZaU·C':µ#¶$m·
UD[WG'BD[\XYZaEI5Xf[Dq:
D ^ g ^ n
bTU\C[\qpG'[ JEFJ[G¦nB\?PYC'GU\XYU
n Y!GZc GU05JUDU\JZ?pJB\E$H G'[DB\X^¢
X U\SQDq [\qG[ n n D n YX: 5XY[Dq[DqaJn CFPYPYC'5XYZaEm ½GFQ[DCFBDXfUG'[DXfCZ
X
D
e F
D D A
F Y
C 8
u
`
l´C'#bF J!c?J]ZaJ#GoaBDJQCFZpc?XY[\XYCFZaJeB
A
n'Fg
C
b'ZaC[\Jc qaJBDJ5 CB[DqaJH G'[DB\X^¢Un¥5qaJCFFgJQ[\XYJXYU[\C
UDCFPYFJBnJ¢TGQ[\PYICFZ [\qaJUDSaaU\opGFQJ#UDoG'ZTZaJc ?
n Y a
I¬! £" °#%l'&)(s
Q I F
D
u"!
D n Y
?sY
u
u z = ^
Y$#
n =
Y > J `
,XY[Dq[DqaXYU§c?J]ZTXf[DXYCFZ:bp JU\qaC'¨[\qG[#[\qaJoTB\JQCZc?XY[\XYCZaJcHG[\BDXÒ¢%n% qGUPJXYEFJZ?FG'PYSaJeU!J_FSpG'P
[DC&GU\UDCQXG[\Jc[\C[DqaJ#XYZ?FG'BDXGZ?[UDSaaU\opGFQJU\oGZaZaJc?
n Y
?p¶ CFBDJ#oaB\JQXYU\JPY?b J#qGJ[\qaJ
CPYPfC'5XYZaEM[\qaJCB\JH
G
' 8¬?°p'¬$ l'&)(s kj '((0/4"2 *)
I J 4
+)
D AJn
Y
F-,
C
D AJn
Y F n Y Y F-,
C
D AJn
Y F-, ] C
k!
n%
D )
i n'YS]
u n5]] )= F A& C
B
' n Ye]
D AJn
Y C=
n,%Y_Bn ]]
D , = ] n ,%Y
B , Y
DHA W0 YF-,
C
'°V°%&
A
[\qaJeCFB\JeH
C
iVJe[[\qTJ!CB\[DqaCFECFZGPVG'UDJR¨C
I J
J
D AJn Y F-,
C F
D AJn F-, Y C `
m´J5B\XY[\XYZaEZnXYZ [\qTJU\J#ZTJ pG'U\XYU G'Zpc+)£baPYJGFc[\C[DqaJ CPfPYC'5XYZaEPYJHH Ga
·¬ { %l'&)( +)
=
n\
D
8 n Ye]
u n ]]
'°V°%&
A
PYJHH G
C
³aBDCFH
AK C
b? J!qpGFJ
AJn
Y C = n n D ` A| C
¥5q?SaU+)
=
n\
D AJn
Y F-,2]
C = n AJn
'F-,%Y
C
D
8
AJn
Y C= n,%Y
, =
] n n , =
]
n, Y
D
8 n'YS]
u n ]]
³TSaB\[DqaJBDHCFBDJFb ¨QG'Z pJ#B\Je5B\XY[\JZG'U
·¬ { %l'&$
D
m+)
= B
D
?sY
u
u J ?
'°V°%&³TB\CFH [\qaJ§cJ]ZaXY[\XYCZ}aYzb
Don
Y
?vY
u
u z = ^
Y # n =
Y > J
Don
Y
?sY
u
u z A n Y C =
^pn Y n =
Y > J
Don
Y
?sY
u
u z A n Y C = >
,,
= `
³TB\CH PYJHH G!}TYzFb? J!qpGFJ
)= n\
D
i n'YS]
u n5]]
GZcI[\qaJ#[DqaJCB\JH CFPYPYC'5U
kZ$[DqaJ#ZaJ¢[UDSaaU\JQ[\XYCFZ b J#UD[\Sc? [DqaJ#BWG[\JC'QCZ1JB\EJZQJC'µ#¶m G'oToaPYXfJc[DC
D
n%
D
+) m
=
?{JU\qaC' qaC',[DCQ\qTC1CU\J{[DCCFoa[DXYHX8J5[\qTJ#oaB\JQCFZcXf[DXYCFZaJBbaXYZBDJPRG'[DXfCZ [\C,
=
] n ,%Y'
"() "&('!
hnU\U\STHXYZaE$[DqG'[JI¡GZ?[§[DC$U\CPfJ2n
D
U\[G'BD[\XYZaE5Xf[DqG'ZXfZTXf[DXRG'PBDJU\XRc?SGP
b: JUD[\Sc
[DqaJB\JUDXRc?SG'P ^ G [DJB
a
XY[\JeBWG'[DXYCFZaUC'5µ#¶$m·GoaoaPYXYJc [\C%n%
D
§:i<J[ D =
V²[\qaJ
CB\[\qTCFEFCZG'PYXY[C' +) b? Jn]B\UD[qGJ
] D ] A
zu
C
¥5qaJMHG'XYZB\JUDSaPY[C=[\qTXfU5UDSaaUDJQ[\XYCZ$XYU5G'UDJc CFZI[\qaJw CFPYPYC'5XYZaEPfJeHHGT
·¬ { %l'&l A
!
J
?=
^ n ]]
C
72 2 "( U/ k!
Q I J J
:2 "( Z//82 k :k
?sY
D
i u
u n5]]
D
'°V°%& {J[G'FJ
D
:YS]
u J ?
5XY[\qZYS]
DN^
n Ye]
A
i
J ? ^ n5]]
C
?sY
:¥5qTJZ:b8 JQGZ
JGU\XYPYQDqaJQD [\qpG'[
?sY
D
! u
u n5]]
l´C'#b?J5XYPYPHIJG'UDSaB\J[\qTJ!UDoJeJcSao$C'µ#¶$mn[DqG'[5 J#QG'Z CFT[WG'XYZI5Xf[DqGZG'oToaB\CoaB\XRG'[DJSaU\J
C¡[DqaJoaB\JQCFZcXf[DXYCFZaJB:³ XYB\U\[bV JZaJJcUDCFHJGFcac?XY[DXfCZG'P8ZaC[WG[\XYCFZaUpkZ[DqaJ pG'U\Jb
4D
5qaJeB\J
DNA Y F ] C =
XYUoG'BD[\XY[\XYCZaJc{QCB\B\JeU\opCFZc?XYZaEPY{[\C$[DqaJoGB\[DXf[DXYCFZ{C'
DNA
Y F ] C
=i<J[
) D
)n5qaJBDJ )
DNA u'F )] C=
5XY[\q )] PG[\JBc?J]pZaJcV8{JQCZaU\XRc?JeB[CµM¶$moTB\CaQJUDU\JU
GoaoaPYXYJc[\C U\[WGB\[DXfZTEBDJU\opJQ[DXfJPY B\CH
GZc ) {JZaCF[DJ1J¢a[\JeZaU\XYCFZ ^
G'Zc )^ [\qaJ
BDJU\XRc?SGP=G [\JB
K
XY[\JBG'[\XYCZaUCµ#¶$m·V?¥5qaJZ:bTJEJ[5[\qaJoaBDCFopCFUDXf[DXYCFZ:
'°#Y°V £" °#%l'&)( A i
J ? ^ n5]]
C
72 :2 ( Z// k!
^ Y ] j )^ ] j A C ) ]
j A
C ) ]
40// Q ^
B
) D Au F A J
?=
^
?sY
n5]]
C
5]
C =
'°V°%&${JqGFJ
^ Y ] D
HIXYZ
E
I A C ]
j A C ` Y A C ]n5Xf[Dq
` Y Q Y
j A C
?vY
` Y A C ]
hnU
?sY
D
Y >
n5]]5] F
J[WG'J
` Y A CD
z ^
?sY
?{JCFa[G'XYZ
?vY
` Y A C D
?sY
^
?vY
?sY
D
?vY
U]
)] D
?sY
) D ) F
5XY[\q )]
DHA J
?=
^
?vY
n ]]
C
5]
?C
^ Y ] j A
C ) ]
j A C ) ] `
kZ oGB\[\XRQSTPGBb
^ Y ] j
)
^ ] `
5qaXRQDq JZQPYCU\JUn[\qaJ#oTB\C?C'W
{J#c?JcSQJ#JGU\XYPY BDCFH
A
zu
C
GQCB\CPfPRGB\C'8[\qaJMoaB\CoCU\XY[\XYCFZ
A
}Tfz
C
°'° "" a'l'&)( A i
J
?=
^
n5]]
C
72 2 "( Z//.' ^ Y D +) ^
YP2* 72. Q ^
^ Y ] j )^ ] j
)) ]
B )) D A u'F ))
] C = F ))
] D A n ]]
C )]
l´C'#b?J§GB\J#G'TPfJ[DC§PYXYZa[\C , =
]
n, Yn[\qaJ§QCFZ?FJBDEFJZpQJ#C'8[\qaJµ#¶$m·HJe[\qaCacGoaoaPYXYJcI[\C §
' 8¬?°p'¬$ l'&$ R22 B "(B'*
A
i
J ? ^ n ]]
C 2 :2 "( Z//-k!
^ Y ] j A YS]
]] > z C
HXYZ
E
I A n ]]
C )] ]
B
%n'YS]
D AJn
Y C=
n, Y !-n ]]
D , =
]
n,%Y ! )
]
DNA
^
?vY
n5]]
C ]$! ZYS]
DN^
n'YS]
A
i
J
?=
^
n5]]
C
?vY
^ Y ] D
HIXYZ
E
I A C )
] `
'°V°%&${JqGFJb
)) ]] D A n C ) ]]
D YS] A n ]]
C )
]
A n ]]
C )] ]]
j A :YS]
]] > z C A
n5]]
C ) ] ]]
¥5qaJM[\qaJCB\JH CPfPYC'5U 5qaJZ JwGoaoaPY[\qTJ§N CFBDCFPYPRG'B\}aYz
l´C'#bVJQGZc?XYUWQSaUDU#[\qTJ[\qaJCB\J[DXRQG'P B\JUDSaPY[\U#Ca[WGXYZaJcG'Zc[\qaJQDqaCXRQJC'[DqaJ BDJJoG'BG'HIJ[\JB
a³ XYB\U\[b?J#QCZaU\XRc?JeB5[\qaJBWG[\JC'QCFZ?JB\EJZQJ#Cµ#¶m5Xf[Dq[DqaJoaB\JQCFZc?XY[DXfCZaJcIHG[\BDXÒ¢ §
{J§QDqaC?CU\J U\SQDq[\qG[
n'YS]
]9j
]
GZc
n5]]
]9j
]
p¥5q?SaUb
A
i
^
n5]]
C
XYU!ZTCFZ?U\XYZaESaPRG'BG'Zpc
:YS]
] j z1³TSaB\[DqaJBDHCFBDJFb ]5XYUXYZc?JopJZcTG'Z?[C'% F¥5q?SaUb'XYZ¥5qaJCB\JH }aÐtTb CFBPRG'B\EJJeZaCFSaEq:b
J5qGFJ5UDqaC'5Z[\qpG'[[DqaJQCFZ?JB\EJZQJXYUB\JePG[\Jc[DCUn5]]
D , =
]
n,%Y F²·Sa[GU XYUXYZ§EJZaJBG'PpU\H G'PYP
QCHoGB\J[\C ba[\qTJ§QCFZpc?XY[\XYCFZ Z?SaHpJB5C'Qn5]]
D , =
]
n, YnXfU5ZTCF[ESG'BG'Z?[\JeJ#[\CpJ#U\H G'PYPYJB [\qGZ
[DqaJ§QCZc?XY[\XYCFZIZ?SaHJeBC nal´JFJBD[\qaJePfJeU\Ub<XÒ
XYU5QPYCFUDJ#[\C
[\qaJZ JJ¢aoJQ[
)] j }t
5]
o
`
kZ [\qTJ#ZaJ¢a[5U\JQ[\XYCFZ ba J!5XYPYP:QCHoGB\J[DqaJ#µ#¶$mnIhPYEFCB\XY[\qaH GoaoaPYXYJcI[\CZn&G'Zpc
)/2 3$-"(' )/*
l´C'#b: JU\[DSc?{[\qTJµ#¶$mn{G'PYECFB\XY[DqaHGoaoaPYXYJc$[DC@n CB#[\qaJIUWGHJPfXYZaJG'B#UD1UD[\JH n D
5XY[\q [DqaJ#UWGHJnXfZTXf[DXRG'PpB\JUDXcSG'P
?hZcI J§QCFHIoG'BDJ[DqaXYU5oaB\CaQJUDU5Xf[Dqµ#¶m G'oToaPYXfJc[\C
SaZpc?JB[DqaJ CPYPfC'5XYZaEBDJU\[DB\XRQ[\XYJ§G'UDU\SaHIoa[\XYCFZTU
A
h§z
C
?oGZ=<
n A D
?oG'Z'<>
A
nkF
F
C A b
A
h!t
C ^ rH I < I tH I
r
HJI!<HJI
t ] jmP a
]'b
A
h!}
C n
^ r
HJI<\I
t
HJI
t
r
HJI!<HJI
t
] j n
?vY
^ r
HJI <\I
t
HJI
r
HJI!<HJI
t
]
i<J[n]B\UD[!pJEXfZ 5XY[\q[\qaJXYZaXY[\XRG'P:GPfECFBDXf[DqaH{J§c?JZaC[\J? ^
[\qaJMB\JUDXcSG'PG£[\JB
a
XY[\JeBWG'[DXYCFZaU5C
µ#¶m G'oToaPYXfJc[\C n
'°#Y°V £" °#%l'&$v(!4"22 - Z2Ue$!
B k@1
^ ] j HIXfZ
E
I A n C
A n C ] >
P
aA z >
]_ ] < C ]
B D rHI < It
HJI
A n C
TvAJn
Y C ! A
CBD
z
>
_ ] <
2!@/ Z k
h4;//!
HIXfZ
E
d
I A n C ] `
'°V°%&
^ ] D
HXYZ
E d
I A n C ]
D
HXYZ
E d
I A n C A
>,A
^ =
]] C C
]
j¨HXYZ
E
I An C
An C ] > A n C A ^ C ]
j¨HXYZ
E
I An C
An C ] >
]_ Y <n A ^
C ]
j¨HXYZ
E
I An C
An C ]
>WA z >
]_ ] < C ^ ]
l´C'#bVJoaBDC'FJ[\qpG'[
A n C
oG'Z=<
n Y A
V{JU\SaoaopCFUDJ[\qG[#XY[XfUZaC[[\B\STJFb:[Dq?SaU#[\qTJB\J
J¢aXYU\[DUeg
Q I
U\SQDq$[DqG'[
A!
A n C F n Y g C
D
uTa³aSTB\[\qTJHCB\JFb?[DqaJB\JMJ¢aXf[DU{UDSQDq[DqG'[
An C ^ n Y
0g
]Rj
A n C ]
5qaXRQDq$QCFZ?[DBWGFcXQ[5[\qaJ#HIXYZaXYH§SaH¨oaB\CoJeB\[C