C^1$ and the function $w$ of is in $C^1(\RR^3)$, we can also conclude thanks to Remark \[rem.homX32\].

\[rem.jsh\] The previous example allows us to show that there exists an infinite set of admissible conductivities which cannot be derived from a multiple of the conductivity defined with the function. To this end, consider any function $f:\RR\setminus\{0\}\to\RR$ which is a $C^1$-diffeomorphism from $(0,\infty)$ onto $\RR$ and from $(-\infty,0)$ onto $\RR$, which satisfies the following asymptotic expansions around $0$: \[expff’\] f(t)=|t|+c+o(1)f’(t)=[1t]{}+c’+o(1),c,c’. Then, define the conductivity $\si_f$ by \[sif\] \_f(x,y,z):={ 2e\^[c-y]{} & x=0 &\
& x0, & xt&gt;0, y-[argtanh]{}([1x]{})=f(t).. Thanks to, and the function $\si_f$ belongs to $C^1(\RR)$. Moreover, we have for any $(x,y)\in\RR\setminus\{0\}\times\RR$, (\_f\^[-1]{}j)=

\
t\
0

=

0\
0\
-[1x]{}[ty]{}

. This combined with -[x]{}=[1x]{}=[tx]{}f’(t) 1=[ty]{}f’(t), yields that $\curl(\si_f^{-1}j)=0$ in $\RR\setminus\{0\}\times\RR$. Since $\si_f$ is in $C^1(\RR)$, the equality holds in $\RR^2$. Therefore, the field $j$ defined by is isotropically realizable in $\RR^3$ with any conductivity $\si_f$ defined by and.

Example of non-global realizability under Frobenius’ condition {#ss.cexF}
--------------------------------------------------------------

The following example shows that condition is not sufficient to derive a global realizability result in accordance with the local character of Frobenius’ theorem. This example is an extension to a divergence free non-vanishing field in $\RR^3
C^1 $ and the function $ w$ of is in $ C^1(\RR^3)$, we can also conclude thanks to Remark   \[rem.homX32\ ]. 

 \[rem.jsh\ ] The previous case give up us to show that there exist an countless set of admissible conductivities which cannot be derived from a multiple of the conduction define with the function. To this goal, consider any function $ f:\RR\setminus\{0\}\to\RR$ which is a $ C^1$-diffeomorphism from $ (0,\infty)$ onto $ \RR$ and from $ (-\infty,0)$ onto $ \RR$, which meet the following asymptotic expansions around $ 0 $: \[expff’\ ] f(t)=|t|+c+o(1)f’(t)=[1t]{}+c’+o(1),c, hundred ’. Then, define the conductivity $ \si_f$ by \[sif\ ] \_f(x, y, z):= { 2e\^[c - y ] { } & x=0 & \ 
 & x0, & xt&gt;0,   y-[argtanh]{}([1x]{})=f(t).. Thanks to, and the function $ \si_f$ belongs to $ C^1(\RR)$. furthermore, we have for any $ (x, y)\in\RR\setminus\{0\}\times\RR$, (\_f\^[-1]{}j)= 

 \ 
 t\ 
 0 

 = 

 0\ 
 0\ 
 -[1x]{}[ty ] { } 

. This combined with -[x]{}=[1x]{}=[tx]{}f’(t) 1=[ty]{}f’(t), give way that $ \curl(\si_f^{-1}j)=0 $ in $ \RR\setminus\{0\}\times\RR$. Since $ \si_f$ is in $ C^1(\RR)$, the equality holds in $ \RR^2$. Therefore, the plain $ j$ defined by is isotropically accomplishable in $ \RR^3 $ with any conductivity $ \si_f$ define by and. 

 Example of non - global realizability under Frobenius ’ condition { # ss.cexF } 
 -------------------------------------------------------------- 

 The following case shows that condition is not sufficient to derive a global realizability result in accordance with the local character of Frobenius ’ theorem. This example is an extension to a divergence free non - vanishing field in $ \RR^3
C^1$ ajd the function $w$ of is ln $C^1(\RR^3)$, we can also concnude tganks to Remark \[rem.homX32\].

\[rem.jsh\] The pretiouw exanple allows us to show that thege exists an mnfinite set of esmissible consmctivntmes which cannoj be derived from a multipne oy the conductivity defined with the sunctiom. Ho this end, cogsidtr wny rlngtion $f:\RR\setminus\{0\}\to\RR$ which is a $C^1$-diffemmorphism frok $(0,\infty)$ onto $\RR$ and from $(-\ijfty,0)$ onto $\RR$, which satlsfies the dolljqing asymptogic expanspmns around $0$: \[expff’\] f(t)=|t|+c+o(1)f’(t)=[1t]{}+c’+o(1),c,c’. Then, defind the conductivutt $\sl_x$ by \[sif\] \_f(x,b,z):={ 2e\^[c-y]{} & x=0 &\
& x0, & xt&gt;0, n-[srgtanv]{}([1x]{})=f(t).. Thsnks to, and thc funrtiob $\si_f$ belongs to $C^1(\RR)$. Koreover, we have fjr any $(x,y)\hn\XR\setminus\{0\}\times\RR$, (\_f\^[-1]{}j)=

\
t\
0

=

0\
0\
-[1z]{}[tt]{}

. Thiv cokbinde wkth -[x]{}=[1e]{}=[tx]{}r’(t) 1=[ty]{}f’(h), ymelds that $\durl(\si_f^{-1}j)=0$ in $\RR\setminus\{0\}\times\RR$. Xigbr $\si_f$ is in $D^1(\RR)$, thq qquality holds in $\RR^2$. Therefore, the fielg $j$ defined by is isotropixally realizable in $\RT^3$ with any conductivity $\si_f$ defined by and.

Example of non-glotal rxauizcnllith ujder Frobenius’ condition {#ss.cexF}
--------------------------------------------------------------

The following qsakpke shows that gondition is not sifvivyent to derivg a gloyzl realizability resklt in wccoreance witr thr local character of Frobenuus’ theorem. Nhis example is an extznsion to a biverggnce ftee non-vanishing field nn $\RR^3
C^1$ and the function $w$ of is we also conclude to Remark \[rem.homX32\]. us show that there an infinite set admissible conductivities which cannot be derived a multiple of the conductivity defined with the function. To this end, consider function $f:\RR\setminus\{0\}\to\RR$ which is a $C^1$-diffeomorphism from $(0,\infty)$ onto $\RR$ and from $(-\infty,0)$ $\RR$, satisfies following expansions around $0$: \[expff’\] f(t)=|t|+c+o(1)f’(t)=[1t]{}+c’+o(1),c,c’. Then, define the conductivity $\si_f$ by \[sif\] \_f(x,y,z):={ 2e\^[c-y]{} & x=0 & x0, & xt&gt;0, y-[argtanh]{}([1x]{})=f(t).. Thanks to, and function $\si_f$ belongs to Moreover, we have for any (\_f\^[-1]{}j)= t\ 0 0\ -[1x]{}[ty]{} This combined with 1=[ty]{}f’(t), yields that $\curl(\si_f^{-1}j)=0$ in $\RR\setminus\{0\}\times\RR$. Since $\si_f$ is in $C^1(\RR)$, the equality holds in $\RR^2$. Therefore, field $j$ is isotropically in with conductivity $\si_f$ defined Example of non-global realizability under Frobenius’ The following example shows that condition is not to derive global realizability result in accordance with local character of Frobenius’ theorem. This example is extension to a divergence free non-vanishing field in $\RR^3
C^1$ and the function $w$ of is in $C^1(\RR^3)$, We can also cOncluDe tHanKs To ReMark \[Rem.homX32\].

\[rem.jsh\] THE preVious example allows us to Show tHaT TherE ExIsts aN infiniTE sET Of aDmIsSibLe COnDuctiVitIes whicH cannot be dEriVeD from a multipLE oF the conducTivIty defined wiTh tHe funcTiOn. TO This eNd, cOnsidEr any fUNction $F:\RR\setminUs\{0\}\TO\RR$ whiCH is a $C^1$-diFFEoMorpHism from $(0,\infty)$ onto $\rr$ aND from $(-\infty,0)$ onto $\rR$, whicH sATiSFIes The Following aSyMptotIC expansIOnS AROunD $0$: \[Expff’\] f(t)=|t|+c+o(1)f’(t)=[1t]{}+C’+o(1),c,c’. Then, defINe tHe condUcTivITy $\si_f$ bY \[sif\] \_f(X,y,Z):={ 2E\^[c-y]{} & X=0 &\
& x0, & xt&gt;0, y-[argtAnh]{}([1x]{})=F(t).. Thanks tO, and thE FunctioN $\Si_f$ beloNgs to $C^1(\rR)$. MOreOver, WE hAvE foR aNY $(x,y)\IN\Rr\seTMinUs\{0\}\times\Rr$, (\_f\^[-1]{}J)=

\
t\
0

=

0\
0\
-[1X]{}[ty]{}

. ThIs coMBINEd wiTh -[x]{}=[1X]{}=[tx]{}f’(T) 1=[ty]{}f’(t), Yields that $\curL(\si_F^{-1}j)=0$ in $\rr\seTminuS\{0\}\timeS\RR$. SInCe $\si_f$ Is in $C^1(\Rr)$, the eQuAlity holds in $\RR^2$. THereFore, the fiEld $J$ dEfiNeD by is ISotropIcaLly RealizaBle in $\RR^3$ WIth AnY CONdUctivity $\si_f$ defined By AND.

EXample of Non-gloBAl ReALizabiliTy UndEr FrOBEnius’ CondITiOn {#ss.cexF}
--------------------------------------------------------------

the folLOwInG examplE sHows thAt ConDitIon is NOt suFficieNt to deriVe a glOBal realizabiliTY result in accoRDaNCE wITh thE loCal characteR of FRObenIus’ tHEoRem. tHis exAmple Is AN eXTension to a divergencE fRee non-VanisHing field in $\RR^3
C^1$ and the function $w$of is in $ C^1(\ RR^ 3)$ ,we c an a lso conclude t h anks  to Remark \[rem.homX3 2\].
\ [ rem. j sh \] Th e previ o us e xam pl eall ow s  u s tosho w thatthere exis tsan  infinite se t  o f admissib leconductiviti eswhichca nno t  be d eri ved f rom am ultipl e of theco n ductiv i ty defi n e dwith  the function. To th i s end, conside r anyfu n ct i o n $ f:\ RR\setminu s\ {0\}\ t o\RR$ w h ic h i s a $C^1$-diffeom orphism fro m  $( 0,\inf ty )$o nto $\ RR$ a nd fro m $(-\infty ,0)$  onto $\R R$, wh i ch sati s fies th e foll owi ngasym p to ti c e xp a nsi o ns  ar o und  $0$: \[ ex pf f’\]f(t) = | t | +c+o (1) f’(t )=[1t ]{}+c’+o(1),c ,c’ . Th e n,defin e the  con du ctivi ty $\s i_f$by  \[sif\] \_f(x, y,z) :={ 2e\^[ c-y ]{ } &  x =0 &\ & x0,& x t&g t;0, y- [argtan h ]{} ([ 1 x ] {} )=f(t).. Thanks to ,a n dthe func tion $ \ si _f $  belongs  t o $ C^1( \ R R)$.More o ve r, we ha ve for an y$(x,y)\ in \RR\se tm inu s\{ 0\}\t i mes\ RR$, ( \_f\^[-1 ]{}j) = 

\
t\
0

=

0 \ 
0\
-[1x]{}[t y ]{ } 
. This  co mbined with  -[x ] {}=[ 1x]{ } =[ tx] { }f’(t ) 1=[ ty ] {} f ’(t), yields that $ \c url(\s i_f^{ -1}j)=0$ in $ \RR\setmin u s \ {0\}\tim es\R R $. Since $\si_f$is in  $C^1(\RR) $ , the eq ualit y holdsin $\RR^2 $ .  Therefo re,  th e f iel d $j $ defined byi s  iso tr opicall y r ealizab lein$\R R^3 $with anyconducti vi ty  $ \s i_f $ def i ned by a nd .
Ex amp le of non-gl obalreal iz ab i lit y under Fr o b eniu s’  c ondi tio n{#ss. cexF } 
-- ------- --------- --- - ---- -- -- ------- ------------- -- ---------- 
The  follo w i ng examp le shows that condition is notsuf ficie nt t o derivea g lobalrea l izabil ity re sultin  ac c o rdanc e wi thth e local ch a r act er of  F robe nius’ t heorem. This examp l e i s an extensio n t o ad i ve rge n ce fre en on- v a nishing field i n $\RR^3
C^1$ and_the function_$w$ of is in_$C^1(\RR^3)$, we_can_also conclude_thanks_to Remark \[rem.homX32\].

\[rem.jsh\] The_previous example allows_us to show that_there exists an_infinite_set of admissible conductivities which cannot be derived from a multiple of the conductivity_defined_with the_function._To_this end, consider any function_$f:\RR\setminus\{0\}\to\RR$ which is a $C^1$-diffeomorphism_from $(0,\infty)$_onto $\RR$ and from $(-\infty,0)$ onto $\RR$, which_satisfies_the following asymptotic_expansions around $0$: \[expff’\] f(t)=|t|+c+o(1)f’(t)=[1t]{}+c’+o(1),c,c’. Then, define the conductivity_$\si_f$ by \[sif\] \_f(x,y,z):={ 2e\^[c-y]{} &_x=0 &\
& x0,_&_xt&gt;0, y-[argtanh]{}([1x]{})=f(t).._Thanks to, and the_function $\si_f$ belongs to $C^1(\RR)$. Moreover,_we have for any $(x,y)\in\RR\setminus\{0\}\times\RR$, (\_f\^[-1]{}j)=

\
t\
0

=

0\
0\
-[1x]{}[ty]{}

._This combined with -[x]{}=[1x]{}=[tx]{}f’(t) 1=[ty]{}f’(t), yields that_$\curl(\si_f^{-1}j)=0$ in $\RR\setminus\{0\}\times\RR$. Since $\si_f$ is_in $C^1(\RR)$, the equality holds_in $\RR^2$._Therefore, the field $j$ defined_by is isotropically_realizable in_$\RR^3$ with any_conductivity $\si_f$ defined by and.

Example of_non-global realizability under_Frobenius’ condition {#ss.cexF}
--------------------------------------------------------------

The following example shows_that_condition is not_sufficient_to_derive a_global realizability result_in_accordance with_the_local character of Frobenius’ theorem. This_example_is an extension to a divergence free_non-vanishing field in $\RR^3