)\in\RR\times\RR^3,$$ which yields \[wdX\] w(X\_3(t,x))-w(x)=\_0\^[t]{}[|j|\^2|j|\^2]{}(X\_3(s,x))ds,(t,x)\^3. Therefore, due to the boundedness of $w\in C^1_\sharp(Y)$, the estimate holds.

[*Proof of $ii)$.*]{} By Theorem \[thm.glorea\] we already know that $j$ is isotropically realizable with the conductivity $\si=e^w\in C^1(\RR^3)$ defined by. If the field $j$ is isotropically realizable in the torus, then by $i)$ the estimate holds. Conversely, in view of the estimate combined with the definition of $X_{32}$, the function $w$ defined by clearly belongs to $L^\infty(\RR^3)$. Therefore, applying Proposition \[pro.perrea\] with the conductivity $e^w$, we get that $j$ is isotropically realizable in the torus.

Examples and counter-examples {#s.exa}
=============================

In this section a point of $\RR^3$ is denoted by the coordinates $(x,y,z)$, and $(e_x,e_y,e_z)$ denotes the canonical basis of $\RR^3$.

Example of global realizability in the space {#ss.jsh}
--------------------------------------------

We will illustrate the construction of Theorem \[thm.glorea\] with the current field \[jsh\] j(x,y,z):=

1\
x\
0

,(x,y,z)\^3, which is clearly non-zero and divergence free in $\RR^3$. We have j(x,y,z):=

0\
0\
x

jj(x,y,z)=

xx\
-x\
0

, so that the field $j$ satisfies and Frobenius’ condition.

Noting that $|j|=|\curl j|=|\cosh x|$, and using the solutions to one-dimensional first-order odes, the flows $X_1$, $X_2$, $X_3$ of associated with the field $j$ are given by X\_1(t)=

) \in\RR\times\RR^3,$$ which yields \[wdX\ ] w(X\_3(t, x))-w(x)=\_0\^[t]{}[|j|\^2|j|\^2]{}(X\_3(s, x))ds,(t, x)\^3. Therefore, due to the boundedness of $ w\in C^1_\sharp(Y)$, the estimate reserve. 

 [ * validation of $ ii)$. * ] { } By Theorem   \[thm.glorea\ ] we already know that $ j$ is isotropically realizable with the conduction $ \si = e^w\in C^1(\RR^3)$ defined by. If the playing field $ j$ is isotropically realizable in the torus, then by $ i)$ the appraisal holds. Conversely, in view of the estimate unite with the definition of $ X_{32}$, the function $ w$ defined by distinctly belongs to $ L^\infty(\RR^3)$. Therefore, apply Proposition   \[pro.perrea\ ] with the conductivity $ e^w$, we get that $ j$ is isotropically realizable in the torus. 

 Examples and counter - examples { # s.exa } 
 = = = = = = = = = = = = = = = = = = = = = = = = = = = = = 

 In this section a detail of $ \RR^3 $ is denoted by the coordinates $ (x, y, z)$, and $ (e_x, e_y, e_z)$ denotes the canonic basis of $ \RR^3$. 

 Example of global realizability in the space { # ss.jsh } 
 -------------------------------------------- 

 We will illustrate the structure of Theorem   \[thm.glorea\ ] with the current field \[jsh\ ] j(x, y, z):= 

 1\ 
 x\ 
 0 

, (x, y, z)\^3, which is distinctly non - zero and divergence free in $ \RR^3$. We have j(x, y, z):= 

 0\ 
 0\ 
 x 

 jj(x, y, z)= 

 xx\ 
 -x\ 
 0 

, so that the discipline $ j$ satisfies and Frobenius ’ condition. 

 Noting that $ |j|=|\curl j|=|\cosh x|$, and using the solutions to one - dimensional first - club ode, the flows $ X_1 $, $ X_2 $, $ X_3 $ of associated with the field $ j$ are given by X\_1(t)=
)\in\RG\times\RR^3,$$ which yields \[wdW\] w(X\_3(t,x))-w(x)=\_0\^[t]{}[|j|\^2|j|\^2]{}(X\_3(s,x))ds,(j,x)\^3. Therehore, dus to the boundedness of $w\in C^1_\sharp(Y)$, vhe wstimqte holds.

[*Proof of $ii)$.*]{} Bh Theorem \[nhm.glorea\] we elready know thav $j$ is isotropjgally cealizable with the conduwtivity $\si=e^w\in C^1(\FR^3)$ defined by. If the field $j$ is isotrjpicallu gealizable in jhe tpwus, fhen by $i)$ the estimate holds. Convedsely, ii view of the extimate combined with the fefijition of $X_{32}$, the fujction $w$ dedineq by clearly celongs to $L^\infty(\RR^3)$. Thgrefore, applying Proposition \[pro.pdrrea\] with the xobdufjivity $e^w$, we get nhat $j$ is isobgopicalny realozable in the borus.

Xxamples and counter-exampnes {#s.exa}
=============================

In this sestion a pmiut of $\RR^3$ is denoted bt rhe cmordhnatdw $(x,h,z)$, znv $(e_s,e_y,e_z)$ fenktes the cznonical bawis of $\RR^3$.

Example of gjibal realizabjlity yn the space {#ss.jsh}
--------------------------------------------

We will illustrate the bonsfruction of Theorem \[thm.goorea\] with the currenj field \[jsr\] j(x,y,z):=

1\
x\
0

,(x,y,z)\^3, which is clearly non-zero and divergenca frex kn $\XV^3$. Dw jave j(x,y,z):=

0\
0\
x

jj(x,y,z)=

xx\
-x\
0

, so that the field $j$ satisfyss akd Frobenius’ conbition.

Noting thay $|u|=|\citl j|=|\cosh x|$, and using ths solutions to one-fimensijnal dirst-ordew odrs, the flows $X_1$, $X_2$, $X_3$ of assocuated with tke dield $j$ are given yy X\_1(t)=

)\in\RR\times\RR^3,$$ which yields \[wdX\] w(X\_3(t,x))-w(x)=\_0\^[t]{}[|j|\^2|j|\^2]{}(X\_3(s,x))ds,(t,x)\^3. Therefore, due boundedness $w\in C^1_\sharp(Y)$, estimate holds. [*Proof we know that $j$ isotropically realizable with conductivity $\si=e^w\in C^1(\RR^3)$ defined by. If field $j$ is isotropically realizable in the torus, then by $i)$ the estimate Conversely, in view of the estimate combined with the definition of $X_{32}$, the $w$ by belongs $L^\infty(\RR^3)$. Therefore, applying Proposition \[pro.perrea\] with the conductivity $e^w$, we get that $j$ is isotropically realizable the torus. Examples and counter-examples {#s.exa} ============================= In section a point of is denoted by the coordinates and denotes the basis $\RR^3$. of global realizability the space {#ss.jsh} -------------------------------------------- We will illustrate the construction of Theorem \[thm.glorea\] with the current field \[jsh\] 1\ x\ which is non-zero divergence in $\RR^3$. We 0\ 0\ x jj(x,y,z)= xx\ -x\ that the field $j$ satisfies and Frobenius’ condition. that $|j|=|\curl x|$, and using the solutions to first-order odes, the flows $X_1$, $X_2$, $X_3$ of with the field $j$ are given by X\_1(t)=
)\in\RR\times\RR^3,$$ which yields \[wdX\] W(X\_3(t,x))-w(x)=\_0\^[t]{}[|j|\^2|j|\^2]{}(X\_3(S,x))ds,(t,X)\^3. ThEreFoRe, duE to tHe boundedness oF $W\in C^1_\Sharp(Y)$, the estimate holds.

[*proof Of $II)$.*]{} By THEoRem \[thM.glorea\] WE aLREadY kNoW thAt $J$ Is IsotrOpiCally reAlizable wiTh tHe Conductivity $\SI=e^W\in C^1(\RR^3)$ defiNed By. If the field $J$ is IsotroPiCalLY realIzaBle in The torUS, then bY $i)$ the estiMaTE holds. cOnverseLY, In View Of the estimate combINeD With the definitIon of $X_{32}$, ThE FuNCTioN $w$ dEfined by clEaRly beLOngs to $L^\INfTY(\rr^3)$. ThERefore, applyinG PropositioN \[Pro.Perrea\] WiTh tHE conduCtiviTy $E^W$, we Get that $j$ is iSotrOpically rEalizaBLe in the TOrus.

ExaMples aNd cOunTer-eXAmPlEs {#s.ExA}
=============================

in tHIs SecTIon A point of $\rR^3$ Is DenotEd by THE COordInaTes $(x,Y,z)$, and $(E_x,e_y,e_z)$ denotes The CanoNIcaL basiS of $\RR^3$.

examPlE of glObal reAlizaBiLity in the space {#sS.jsh}
--------------------------------------------

we will illUstRaTe tHe ConstRUction Of THeoRem \[thm.gLorea\] wiTH thE cURREnT field \[jsh\] j(x,y,z):=

1\
x\
0

,(x,y,z)\^3, wHiCH Is Clearly nOn-zero ANd DiVErgence fReE in $\rR^3$. We HAVe j(x,y,Z):=

0\
0\
x

jj(X,Y,z)=

Xx\
-x\
0

, so thaT the fiELd $J$ sAtisfieS aNd FrobEnIus’ ConDitioN.

notiNg that $|J|=|\curl j|=|\coSh x|$, anD Using the solutiONs to one-dimensIOnAL FiRSt-orDer Odes, the flowS $X_1$, $X_2$, $X_3$ OF assOciaTEd WitH The fiEld $j$ aRe GIvEN by X\_1(t)=

)\in\RR\times\RR^3,$$ whic h yields \ [wdX\ ] w (X\ _3 (t,x ))-w (x)=\_0\^[t]{} [ |j|\ ^2|j|\^2]{}(X\_3(s,x)) ds,(t ,x ) \^3. Th erefo re, due to t hebo un ded ne s sof $w \in  C^1_\s harp(Y)$,the  e stimate hold s .
[*Proof o f $ ii)$.*]{} By  Th eorem\[ thm . glore a\]  we a lready know t hat $j$ i si sotrop i cally r e a li zabl e with the conduc t iv i ty $\si=e^w\in  C^1(\ RR ^ 3) $ def ine d by. If t he  fiel d  $j$ is is o t r opi c ally realizab le in the t o rus , then  b y $ i )$ the  esti ma t e h olds. Conve rsel y, in vie w of t h e estim a te comb ined w ith  th e de f in it ion  o f  $X _ {3 2}$ ,  th e functi on  $ w$ de fine d b y  cle arl y be longs  to $L^\infty (\R R^3) $ . T heref ore,appl yi ng Pr oposit ion \ [p ro.perrea\] wit h th e conduct ivi ty  $e ^w $, we get th at$j$  is iso tropica l lyre a l i za ble in the torus.
E x a mp les andcounte r -e xa m ples {#s .e xa} 
=== = = ===== ==== = == ======== ====
I nth is sect io n a po in t o f $ \RR^3 $  isdenote d by the  coor d inates $(x,y,z ) $, and $(e_x, e _y , e _z ) $ de not es the cano nica l  bas is o f  $ \RR ^ 3$.
Examp le of global realizabilit yin the  spac e {#ss.jsh}
- ---------- - - - -------- ---- - -- - -------------- 

Wewill illus t rate the  cons truction  of Theor e m  \[thm.g lor ea\ ] w ith t he  current fiel d \[js h\ ] j(x,y ,z) :=

1\x\0
,(x ,y, z) \^3, whic h is cle ar ly  n on -ze ro an d  diverge nc e f re e i n $\R R ^3$. W e hav e j( x, y, z ):= 

0\
0\ xj j(x, y, z) =

x x\-x \
0
, so tha t the f ield $j$sat i sfie san d Frobe nius’ conditi on .

Notingth at$|j|=| \ c url j|=| \cosh x|$, and using th e  soluti ons  to o ne-d imensiona l f irst-o rde r  odes,  the f lows$X _1$ , $X_2$ , $X _3$  o f associat e d  wi th th efiel d $j$ a re given by X\_1(t ) =

)\in\RR\times\RR^3,$$ which_yields \[wdX\]_w(X\_3(t,x))-w(x)=\_0\^[t]{}[|j|\^2|j|\^2]{}(X\_3(s,x))ds,(t,x)\^3. Therefore, due to_the boundedness_of_$w\in C^1_\sharp(Y)$,_the_estimate holds.

[*Proof of_$ii)$.*]{} By Theorem \[thm.glorea\]_we already know that_$j$ is isotropically_realizable_with the conductivity $\si=e^w\in C^1(\RR^3)$ defined by. If the field $j$ is isotropically realizable_in_the torus,_then_by_$i)$ the estimate holds. Conversely,_in view of the estimate_combined with_the definition of $X_{32}$, the function $w$ defined_by_clearly belongs to_$L^\infty(\RR^3)$. Therefore, applying Proposition \[pro.perrea\] with the conductivity $e^w$, we_get that $j$ is isotropically realizable_in the torus.

Examples_and_counter-examples_{#s.exa}
=============================

In this section a_point of $\RR^3$ is denoted by_the coordinates $(x,y,z)$, and $(e_x,e_y,e_z)$ denotes_the canonical basis of $\RR^3$.

Example of global_realizability in the space {#ss.jsh}
--------------------------------------------

We will_illustrate the construction of Theorem \[thm.glorea\]_with the_current field \[jsh\] j(x,y,z):=

1\
x\
0

,(x,y,z)\^3, which_is clearly non-zero_and divergence_free in $\RR^3$._We have j(x,y,z):=

0\
0\
x

jj(x,y,z)=

xx\
-x\
0

, so that the_field $j$ satisfies_and Frobenius’ condition.

Noting that $|j|=|\curl j|=|\cosh_x|$,_and using the_solutions_to_one-dimensional first-order_odes, the flows_$X_1$,_$X_2$, $X_3$_of_associated with the field $j$ are_given_by X\_1(t)=
