D

r
a
f
t
Mthodes gomtriques et numriques
pour le problme de contraste par saturation en IRM.
Sminaire ponctuel : quipe GEPETTO, LAAS - CNRS
Olivier COTS
Post-Doc INRIA Sophia Antipolis
quipe MCTAO
Toulouse, le 22 janvier 2014.
D
r
a
f
t
PRINCIPAUX COLLABORATEURS
[] B. Bonnard, M. Claeys, O. Cots & P. Martinon, Geometric and numerical methods in
the contrast imaging problem in nuclear magnetic resonance, Acta Appl. Math., (2013), to
appear.
[] B. Bonnard, M. Claeys, O. Cots & P. Martinon, Comparison of numerical methods in
the contrast imaging problem in NMR, proceedings of 52-nd IEEE Conference on Control
Decis., Florence, Italy, (2013), to appear.
D
r
a
f
t
CONTEXTE
Formulation du problme de contraste comme un problme de contrle optimal
Dynamique : quation de Bloch dissipative (dynamique de laimantation nuclaire)
Cot terminal
Point de vue gomtrique : Principe du Maximum de Pontryagin
Mthodes numriques
Mthodes indirectes (HamPath) : mthodes de tir, homotopique. . .
Mthodes directes (Bocop) : discrtisation tats et contrle problme NLP
Approche par les moments (GloptiPoly) : mthode globale donnant une borne infrieure
D
r
a
f
t
LE MOMENT MAGNTIQUE
Les particules de spin-1/2 (proton, neutron, electron. . . ) possdent un moment magntique
qui peut tre assimil un petit aimant.
D
r
a
f
t
ORIENTATION DU MOMENT MAGNTIQUE
Deux orientations sont possibles pour un spin-1/2 dans un champ magntique statique

B.
D
r
a
f
t
LAIMANTATION (OU VECTEUR MAGNTIQUE)
Orientation des moments magntiques nuclaires :
(a) En absence, (b) En prsence dun champ magntique externe.
(c) Laimantation

M = (M
x
, M
y
, M
z
) est la somme vectorielle des moments magntiques.
En prsence dun champ magntique

B,

M est non nulle et dirige dans la direction de ce
champ.
D
r
a
f
t
QUATION DE BLOCH
quation de Bloch.
dM
dt
= BM,
o est le rapport gyromagntique de la par-
ticule considre.
Mouvement de prcession autour de B,
la vitesse angulaire :
= [B[.
Ne change ni la norme ni le sens de M.
D
r
a
f
t
MODLE EXPRIMENTAL EN RMN
Deux champs magntiques :
B
0
= (0, 0, B
z
) : Champ statique intense.
B
1
(t) = (B
x
(t), B
y
(t), 0) : Champ de contrle.
M(t) est sur la sphre de rayon M
0
:= M(0).
Deux phnomnes de dissipation :
T
1
: temps de relaxation longitudinal.
T
2
: temps de relaxation transversal.
M(t) appartient la boule de Bloch : [M(t)[ M
0
2T
1
T
2
.
En labsence de champ B
1
, M soriente le long de B
0
(retour lquilibre).
D
r
a
f
t
QUATION DE BLOCH DISSIPATIVE ET INHOMOGNITS
quation de Bloch dissipative.

M = R(M) +BM, R(M) =

_

M
x
T
2
,
M
y
T
2
,
(M
z
M
0
)
T
1
_
On note
0
= B
0
, et le contrle (
x
(t),
y
(t)) := (B
x
(t), B
y
(t)).
d
dt
_
_
M
x
M
y
M
z
_
_
= R(M) +
_
_
0
0

y
(t)

0
0
x
(t)

y
(t)
x
(t) 0
_
_
_
_
M
x
M
y
M
z
_
_
Notons (X
m
,Y
m
, Z
m
) les coordonnes spatiales de la molcule considre dans
lchantillon. Les intensits des champs B
0
et B
1
dpendent de (X
m
,Y
m
, Z
m
).
Inhomognit sur B
0
.
0

0
(X
m
,Y
m
, Z
m
)
Inhomognit sur B
1
. (t) := (
x
(t),
y
(t)) a(X
m
,Y
m
, Z
m
)(t)
D
r
a
f
t
RFRENTIEL TOURNANT ET QUATION DE BLOCH NORMALISE
Rfrentiel tournant. Notons
z
:=
_
_
0 1 0
1 0 0
0 0 0
_
_
.
Soit S(t) = exp(t
0

z
) le rfrentiel tournant la vitesse angulaire
0
autour de laxe Oz.
quation de Bloch dissipative, homogne et normalise dans le rfrentiel tournant.
x = x + u
2
z
y = y u
1
z
z = (1z) + u
1
y u
2
x
q := (x, y, z) = M/M
0
B(0, 1) : vecteur magntique normalis
Le contrle u = (u
1
, u
2
) normalis vrie [u[ 2
, : caractristiques de lchantillon. Ils vrient 2 et sont fonction de T
1
, T
2
.
N := (0, 0, 1) : point dquilibre
D
r
a
f
t
IMAGERIE MDICALE PAR RMN
En imagerie, on attribue un niveau de gris en fonction de la norme du vecteur magntique.
D
r
a
f
t
PROBLME DE CONTRASTE PAR SATURATION EN IRM
Exprimentation : deux chantilllons (sangs dsoxygn/oxygn) placs dans deux tubes
tests, lun lintrieur de lautre.
Figure 1: Etat dquilibre les deux chantil-
lons apparaissent blancs.
Figure 2: Application du contrle optimal
contraste maximis (tube intrieur noir
saturation du premier spin).
[] E. Assmat, M. Lapert, S. J. Glaser & D. Sugny, On the application of geometric optimal control theory to nuclear
magnetic resonance, Math. Control Relat. Fields, 3 (2013), no. 4, 375396.
[] B. Bonnard, O. Cots, S. J. Glaser, M. Lapert, D. Sugny & Y. Zhang, Geometric optimal control of the contrast imaging
problem in nuclear magnetic resonance, IEEE Trans. Automat. Control, 57 (2012), no. 8, 19571969.
D
r
a
f
t
PROBLME DE SATURATION 1/4
Dnition du problme de saturation : Dplacer le vecteur M du ple Nord au centre de
la boule en temps minimum.
Symtrie de rvolution systme 2D (u
2
= 0 et on note u := u
1
) :
_
y(t) = y(t) u(t)z(t)
z(t) = (1z(t)) + u(t)y(t)
Le problme est de la forme q = F +uG, q = (y, z), [u[ 2, 2 3.
Condition initiale : q
0
:= (0, 1). Condition terminale : q
f
:= (0, 0).
Remarque : Systme bilinaire complexit dun systme non linaire gnral.
D
r
a
f
t
PROBLME DE SATURATION 2/4 : PRINCIPE DU MAXIMUM DE PONTRYAGIN
On utilise le Principe du Maximum de Pontryagin (1956).
Le hamiltonien : H(q, p, u) = p, q = p, F(q) +uG(q), q R
n
, p R
n
, [u[ 2.
Conditions ncessaires doptimalit : Si (q(), u()) est optimal sur [0, t
f
], alors p :
[0, t
f
] R
n
absolument continue telle que pour presque tout t [0, t
f
]
_

_
q(t) =
H
p
(q(t), p(t), u(t))
p(t) =
H
q
(q(t), p(t), u(t))
H(q(t), p(t), u(t)) = max
[v[2
H(q(t), p(t), v)
Remarque : La recherche de la fonction u() dans le cas lisse est remplace par la
recherche dun vecteur p(0) de R
n
.
D
r
a
f
t
PROBLME DE SATURATION 3/4 : SOLUTION OPTIMALE
Le hamiltonien : H(q, p, u) = p, F(q) +u p, G(q)
Deux types darcs forment la solution optimale :
_
u(t) = 2 sgnp(t), G(q(t)) est bang si p(t), G(q(t)),= 0
u(t) est singulier si p(t), G(q(t))= 0
Deux arcs singuliers, un horizontal et un vertical obtenu partir de p(t), G(q(t)) = 0 :
H
G
= < p, G > = 0

H
G
= < p, [G, F] > = 0
_
det(G, [G, F]) = y(2z +) = 0
avec = . [, ] est le crochet de Lie usuel.
D
r
a
f
t
PROBLME DE SATURATION 4/4 : SYNTHSE OPTIMALE
y
z
arc singulier
arc singulier

E
1

Adm

E
2

2
+2
1 0.5 0 0.5 1
1
0.8
0.6
0.4
0.2
0
0.2
0.4
0.6
0.8
1
y
z
0 5 10 15
0
2
4
6

u
Figure 3: La trajectoire optimale en
temps minimal pour rejoindre le centre
est NE
1
QE
2
O. Structure BSBS.
Figure 4: Rsultat exprimental :
squence dinversion classique en vert,
squence optimale en bleue.
D
r
a
f
t
PROBLME DE CONTRASTE EN IMAGERIE MDICALE PAR RMN
Exprimentation : deux chantilllons (sangs dsoxygn/oxygn) placs dans deux tubes
tests, lun lintrieur de lautre.
Figure 5: Etat dquilibre les deux chantil-
lons apparaissent blancs.
Figure 6: Application du contrle optimal
contraste maximis (tube intrieur noir
saturation du premier spin).
D
r
a
f
t
PROBLME DE CONTRASTE MONO-ENTRE : FORMULATION DU PROBLME
Deux quations de Bloch. Deux systmes 2D coupls par un mme contrle scalaire.
_

_
y
1
=
1
y
1
u z
1
z
1
=
1
(1z
1
) + u y
1
y
2
=
2
y
2
u z
2
z
2
=
2
(1z
2
) + u y
2
o
i
,
i
, i = 1, 2, sont les paramtres de chaque spin, q
i
= (y
i
, z
i
) ltat de
chaque spin, vriant [q
i
[ 1 et [u[ 2 (u := u
1
et u
2
= 0).
Etat initial. q
1
(0) = q
2
(0) = (0, 1)
Saturation du premier spin. q
1
(t
f
) = (0, 0)
Maximisation du contraste. c(q(t
f
)) := [q
2
(t
f
)[
2
min
[q
i
[
D
r
a
f
t
CAS TRAITS
Equations de Bloch.
_

_
y
1
=
1
y
1
u z
1
z
1
=
1
(1z
1
) + u y
1
y
2
=
2
y
2
u z
2
z
2
=
2
(1z
2
) + u y
2

i
= 1/(32.3T

i
) et
i
= 1/(32.3T

i
), i = 1, 2.
1) Cas du sang.
Spin 1 (y
1
, z
1
) - Sang dsoxygn : T

1
= 1.35 ms, T

1
= 0.05 ms
Spin 2 (y
2
, z
2
) - Sang oxygn : T

2
= 1.35 ms, T

2
= 0.2 ms
2) Cas du uide.
Spin 1 (y
1
, z
1
) - Liquide crbrospinal : T

1
= 2 ms, T

1
= 0.2 ms
Spin 2 (y
2
, z
2
) - Eau : T

2
= 2.5 ms, T

2
= 2.5 ms
D
r
a
f
t
PRINCIPE DU MAXIMUM DE PONTRYAGIN
On a un problme (P) de type Mayer :
_
min
uU
c(q(t
f
))
q = F(q) +uG(q), q = (q
1
, q
2
) R
4
Hamiltonien : H(z, u) = H
F
(z) +u H
G
(z),
_

_
z := (q, p)
H
F
(z) := p, F(q)
H
G
(z) := p, G(q)
Condition de maximisation :
_
u(t) = 2 sgn(H
G
(z(t))) est bang si H
G
(z(t)) ,= 0
u(t) est singulier si H
G
(z(t)) = 0
Conditions terminales : q
1
(t
f
) = 0 et q
2
(t
f
) = p
2
(t
f
).
Remarque : H(z, u) = H
F
(z) +u H
G
(z) comme pour le problme de saturation mais le ot
singulier est bien plus complexe (innit dextrmales singulires).
D
r
a
f
t
FLOT SINGULIER ET CALCUL DU CONTRLE SINGULIER
Soit z() = (q(), p()) une extrmale singulire, alors H
G
(z()) = 0.
En drivant par rapport au temps,
H
G
(z(t))= 0
dH
G
dt
(z(t)) = H, H
F
(z(t)) = H
G
, H
F
(z(t))= 0
_
_
_
(2 contraintes)
d
2
H
G
dt
2
(z(t)) = H
G
, H
F
, H
F
(z(t)) +u
s
(t)H
G
, H
F
, H
G
(z(t)) = 0
o , est le crochet de Poisson usuel.
De plus,
+ On peut restreindre p H = h car : u
s
(q, p) = u
s
(q, p). (1 contrainte)
+ La condition H
G
, H
F
, H
G
0 est ncessaire. (1 contrainte)
pour q(0) R
4
x, p(0) R
4
appartient une demi-droite et le ot singulier partant de
q(0) forme une surface de dimension 2.
D
r
a
f
t
SOLUTION LA PLUS SIMPLE
Lextrmale vriant les conditions aux extrmits la plus simple est de la forme B
+
S.
1 0.5 0 0.5 1
1
0.5
0
0.5
1
y
1
z
1
1 0.5 0 0.5 1
1
0.5
0
0.5
1
y
2
z
2
0 0.2 0.4 0.6 0.8 1
0
1
2
3
4
5
6
Figure 7: Trajectoire des spins 1, 2 et le contrle bang-singulier associ.
D
r
a
f
t
RSUM DIFFICULTS
Rsum.
Les solutions du problmes de contraste sont constitues de squences Bang-Singulires.
Le PMP nous permet le calcul de solutions potentiellement optimales localement, via les
mthodes de tir.
On connat T
min
et la solution pour le cas limite t
f
= T
min
est de la forme B
+
SB
+
S.
Difcults.
Contrle optimal discontinu : structure complexe tir multiple
Symtries + combinatoire BS : nombreux minima locaux
D
r
a
f
t
MTHODE DE TIR SIMPLE (HamPath) : RSOUDRE UN TPBVP
Problme de contrle optimal lisse (P

)
(PMP)
(TPBVP

)
_

_
( x, p) =

H(x, p, ) = (
H(x,p,)
p
,
H(x,p,)
x
)
b
0
(x(0), p(0)) = 0 R
n
b
f
(x(t
f
), p(t
f
)) = 0 R
n
(Mthode de tir simple)
S

(x
0
, p
0
) =
_
b
0
(x
0
, p
0
, )
b
f
(x
f
, p
f
, )
_
= 0 (S

: R
2n
R
2n
)
with (x
f
, p
f
) (x(t
f
, x
0
, p
0
, ), p(t
f
, x
0
, p
0
, )) = exp
t
f
#
H(x
0
, p
0
, )
D
r
a
f
t
MTHODE DE TIR MULTIPLE (HamPath) : RSOUDRE UN MPBVP
Exemple dune structure BS. On note t
0
, t
1
, t
f
les diffrents instants et z
0
, z
1
, z
f
les variables
dtats et dtats adjoints associs (z = (q
1
, q
2
, p
1
, p
2
) R
4
R
4
).
Hamiltonien : H(q, p, u) = H
F
(q, p) +u H
G
(q, p),
_
u = 2 si t [t
0
, t
1
]
u = u
sing
si t [t
1
, t
f
]
Equations pour le tir multiple :
Bang Sing
(t
0
, z
0
) (t
1
, z
1
) (t
f
, z
f
)
q
1
= (0, 1) H
G
= 0 q
1
= (0, 0)
q
2
= (0, 1)

H
G
= 0 q
2
= p
2
avec les conditions de raccordement z(t
1
, t
0
, z
0
) = z
1
.
D
r
a
f
t
MTHODES HOMOTOPIQUES DIFFRENTIELLES (HamPath)
On dnit la fonction homotopique h, pour z
0
= (q
0
, p
0
), par :
h : R
2n
[0, 1] R
2n
(z
0
, ) S

(z
0
)
Si 0 est une valeur rgulire pour h, lensemble h = 0 est une varit de dimension un de
R
2n+1
appele le chemin de zros.

(z
0
0
, 0)

(z
f
0
, 1)
z
0

h = 0

D
r
a
f
t
MTHODES HOMOTOPIQUES DIFFRENTIELLES (HamPath)
On paramtrise le chemin par labscisse curviligne et on note c(s) := (z
0
(s), (s)).
Calcul du vecteur tangent par mthode QR. Pour tout s, h(c(s)) = 0,
h
/
(c(s)) c(s) = 0
et puisque c(s) est un point rgulier,
dimker h
/
(c(s)) = 1.
Intgration numrique. Intgrateur pas variable de type RK(4)5 pour intgrer :
_
c(s) = T(c(s))
c(0) = (z
0
0
, 0)
On intgre jusqu s
f
tel que (s
f
) soit sufsamment proche de 1 (sortie dense).
D
r
a
f
t
RSOLUTION DU PROBLME DE CONTRASTE POUR t
f
FIX
Solution 1 : Rgulariser le problme de Mayer en un problme de Bolza :
min
u()
c(q(t
f
)) +(1)
_
t
f
0
[u(t)[
2
dt, [0, 1]
: paramtre homotopique.
Le problme est rgularis pour < 1.
Pour = 0, on rsout le problme par du tir simple.
On utilise des mthodes homotopiques pour calculer la solution en =
f
, proche de 1.
Permet de dtecter la structure et faire converger lalgorithme de Newton de la mthode de
tir multiple, en = 1.
[] B. Bonnard & O. Cots, Geometric numerical methods and results in the control imaging problem in nuclear magnetic
resonance, Math. Models Methods Appl. Sci., 24 (2014), no. 1, 187212.
[] O. Cots, Contrle optimal gomtrique : mthodes homotopiques et applications. Phd thesis, Institut Mathmatiques
de Bourgogne, Dijon, France, 2012.
D
r
a
f
t
RSOLUTION DU PROBLME DE CONTRASTE POUR t
f
FIX
Solution 2 : On utilise les mthodes directes (Bocop) pour initialiser la mthode de tir
multiple.
Direct (Bocop) : force brute, grand rayon de convergence.
Indirect (HamPath) : grande prcision, information riche de lhomotopie (sensibilit par
rapport t
f
).
[] B. Bonnard, M. Claeys, O. Cots & P. Martinon, Geometric and numerical methods in the contrast imaging problem in
nuclear magnetic resonance, Acta Appl. Math., (2013), to appear.
D
r
a
f
t
MTHODES DIRECTES (Bocop)
Principes. Problme de contrle optimal problme doptimisation en dimension nie, en
discrtisant par rapport au temps, les variables dtats, de contrle, et les quations de la
dynamique.
t [0, t
f
] t
0
= 0, . . . , t
N
=t
f

q(), u() X = q
0
, . . . , q
N
, u
0
, . . . , u
N1
, t
f

Criterion min c(q

N
)
Dynamics (ex : Euler) q
i+i
= q
i
+h f (q
i
, u
i
)
Adm. Cont. 1 u
i
1
Bnd. Cond. (q
0
, q
N
) = 0
On obtient alors un problme doptimisation non linaire :
(NLP)
_
min F(X) = c(q
N
)
LB C(X) UB
Implmentation du package Bocop. Solveur IPOPT avec MUMPS et ADOL-C et COLPACK
pour la diffrentiation automatique.
D
r
a
f
t
MTHODES DIRECTES (Bocop) : INITIALISATION DES SIMULATIONS
Seule information utilise : T
min
pour xer le temps nal dans [1, 3]T
min
.
Les variables dtats et de contrle sont initialises comme des fonctions constantes.
Chaque optimisation (i.e. pour chaque t
f
= T
min
) utilise la mme initialisation.
Intgrateurs dordre 4 (Gauss) et 6 (Lobatto), de 500 1000 pas de discrtisation.
D
r
a
f
t
MTHODES DIRECTES (Bocop) : DEUX EXEMPLES DE TRAJECTOIRES
1 0 1
1
0
1
y
1
z
1
1 0 1
1
0
1
y
2
z
2
0 0.2 0.4 0.6 0.8 1
1
0
1
t
u
t
f
= 1.1 T
min
1 0 1
1
0
1
y
1
z
1
1 0 1
1
0
1
y
2
z
2
0 0.2 0.4 0.6 0.8 1
1
0
1
t
u
t
f
= 1.5 T
min
Figure 8: Bocop et HamPath : cas
du sang, t
f
=1.1T
min
. Singulire mal
approche.
Figure 9: Bocop et HamPath : cas
du uide, t
f
= 1.5T
min
D
r
a
f
t
EXEMPLES DE SOLUTIONS LOCALES
1 0 1
1
0
1
y
1
z
1
1 0 1
1
0
1
y
2
z
2
0 0.2 0.4 0.6 0.8 1
1
0
1

u
1
1 0 1
1
0
1
y
1
z
1
1 0 1
1
0
1
y
2
z
2
0 0.2 0.4 0.6 0.8 1
1
0
1

u
1
Figure 10: Cas du uide, t
f
= 2.0T
min
. Le contraste est de 0.705 pour la solution

s
et 0.702 pour la solution
+

s
.
D
r
a
f
t
SENSIBILIT PAR RAPPORT AU TEMPS FINAL t
f
: CAS DU SANG
1 1.2 1.4 1.6 1.8 2
0.4
0.42
0.44
0.46
0.48
0.5
t
f
/T
min

y
22
(
t
f
)
+
z
22
(
t
f
)
Figure 11: Contraste en fonction de = t
f
/T
min
entre 1 et 2. La meilleure politique est en
trait plein. Structures des solutions : 3BS (rouge), 2BS (bleu), BS (noir).
D
r
a
f
t
SYNTHSE SOUS OPTIMALE : CAS DU SANG
1 1.5 2 2.5 3
0.38
0.4
0.42
0.44
0.46
0.48
0.5

C
o
n
t
r
a
s
t

s
pour = 1.000,

s
pour (1.000, 1.294],

s
pour [1.294, 2.000].
D
r
a
f
t
SENSIBILIT PAR RAPPORT AU TEMPS FINAL t
f
: CAS DU FLUIDE
1 1.5 2 2.5 3
0.58
0.6
0.62
0.64
0.66
0.68
0.7

c
o
n
t
r
a
s
t
Figure 12: Contraste en fonction de =t
f
/T
min
entre 1 et 3.
Structures des solutions : 4BS (vert), 3BS (rouge), 2BS (bleu).
D
r
a
f
t
SYNTHSE SOUS OPTIMALE : CAS DU FLUIDE
1 1.5 2 2.5 3
0.58
0.6
0.62
0.64
0.66
0.68
0.7

c
o
n
t
r
a
s
t

s
pour [1.000, 1.006],

s
pour [1.006, 1.048],

s
pour [1.048, 1.351],

s
pour [1.351, 3.000].
D
r
a
f
t
APPROCHE PAR LES MOMENTS (LMI )
Problme doptimisation non
linaire en dimension nie
ou innie. Cot : J
OCP
.
Problme doptimisation linaire
sur les mesures. Cot : J
LP
.
Problme doptimisation SDP sur les
moments dnombrables. Cot : J
SDP
.
Problme dingalit ma-
tricielle linaire en dimen-
sion nie. Cot : J
d
LMI
.
a)
b)
Proposition (Convergence monotone.)
J
d
LMI
J
SDP
= J
LP
= J
OCP
, d
a) Cot et dynamique polynomiaux en ltat et le contrle : mesures
moments.
b) On tronque le nombre de moments jusqu lordre d pour le prob-
lme LMI.
J. B. Lasserre, Positive polynomials and their applications, Imperial College Press, London, 2009.
J. B. Lasserre, D. Henrion, C. Prieur & E. Trlat, Nonlinear optimal control via occupation measures and
LMI-relaxations, SIAM J. Control Optim., 47, (2008), no. 4, 1643-1666.
D
r
a
f
t
APPROCHE PAR LES MOMENTS (LMI ) : CAS DU FLUIDE AVEC t
f
= T
min
.
Table 1: LMI : borne suprieure sur le contraste
_
J
d
LMI
et temps de calcul en fonction de
lordre de relaxation d.
d
_
J
d
LMI
temps CPU (s)
1 0.8474 0.7
2 0.7552 3
3 0.6226 14
4 0.6069 332
5 0.6040 8400 2h20
D
r
a
f
t
APPROCHE PAR LES MOMENTS (LMI ) : CAS DU FLUIDE.
1 2 3
0.6
0.62
0.64
0.66
0.68
0.7
0.72

C
o
n
t
r
a
s
t
1 2 3
0
1
2
3
4
5

R
e
l
a
t
i
v
e

G
a
p
Figure 13: Meilleures bornes suprieures (tirets) par les mthodes LMI compares la syn-
thse obtenue avec HamPath (trait plein). Lcart relatif droite est en moyenne de 2% la
cinquime relaxation.
D
r
a
f
t
APPROCHE PAR LES MOMENTS (LMI ) : CAS DU FLUIDE.


0
0.1
0.2
0.3
0.4
0.5
0.6
0.7
0.8
0.9
1
Figure 14: Exemple visuel dcart relatif de 2% pour le cas du uide. Les normes des
vecteurs magntiques des spins des cercles intrieur et extrieur valent resp. 0.7 et 0.714.
D
r
a
f
t
APPROCHE PAR LES MOMENTS (LMI ) : CAS DU SANG.
1 2 3
0.4
0.42
0.44
0.46
0.48
0.5
0.52
0.54
0.56

C
o
n
t
r
a
s
t
1 2 3
7
8
9
10
11
12
13
14
15
16

R
e
l
a
t
i
v
e

G
a
p
Figure 15: Meilleures bornes suprieures (tirets) par les mthodes LMI compares la syn-
thse obtenue avec HamPath (trait plein). Lcart relatif droite est en moyenne de 11% la
cinquime relaxation.
D
r
a
f
t
APPROCHE PAR LES MOMENTS (LMI ) : CAS DU SANG.


0
0.1
0.2
0.3
0.4
0.5
0.6
0.7
0.8
0.9
1
Figure 16: Exemple visuel dcart relatif de 11% pour le cas du sang. Les normes des
vecteurs magntiques des spins des cercles intrieur et extrieur valent resp. 0.5 et 0.555.
D
r
a
f
t
CONCLUSIONS ET PERSPECTIVES
Problme de contraste : beaucoup de minima locaux + squences Bang-Singulires com-
plexes. La comparaison avec les mthodes directes et les techniques LMI permet de faire un
grand pas vers loptimalit globale et permet de valider les rsultats obtenus avec HamPath.
Le problme bi-entre (en deux fois 3 dimensions) contient le mono-entre (tudi ici).
Est-il meilleur ?
Tenir compte des inhomognits pour traiter le problme pratique N (environ 50) paires
dquations de Bloch.
D
r
a
f
t
PREMIERS RSULTATS EN BI-ENTRE : CAS DU FLUIDE
0 0.5 1
1
0.5
0
0.5
1


ux
uy
1
0
1
1
0
1
1
0.5
0
0.5
1
Figure 17: Contrles u
x
et u
y
pour t
f
= 2T
min
gauche.
Trajectoire de la solution 2BS droite : identique au mono-entre.
D
r
a
f
t
RFRENCES PAR DATES
[] N. Khaneja, T. Reiss, C. Kehlet, T. Schulte-Herbrggen & S. J. Glaser, Optimal control of coupled spin
dynamics: design of NMR pulse sequences by gradient ascent algorithms, J. of Magn. Reson., 172 (2005),
296305.
[] B. Bonnard, O. Cots, S. J. Glaser, M. Lapert, D. Sugny & Y. Zhang, Geometric optimal control of the contrast
imaging problem in nuclear magnetic resonance, IEEE Trans. Automat. Control, 57 (2012), no 8, 1957 1969.
[] B. Bonnard & O. Cots, Geometric numerical methods and results in the control imaging problem in nuclear
magnetic resonance, Math. Models Methods Appl. Sci., 24 (2014), no. 1, 187212.
[] B. Bonnard, M. Claeys, O. Cots & P. Martinon, Complementarities of indirect, direct and moment methods in
the contrast imaging problem in NMR, proceedings of 52-nd IEEE Conference on Control Decis., Florence, Italy,
(2013), to appear.
[] B. Bonnard, M. Claeys, O. Cots & P. Martinon, Geometric and numerical methods in the contrast imaging
problem in nuclear magnetic resonance, Acta Appl. Math., (2013), to appear.