1},\alpha)}{t}=0$$ on $T(\Gamma)$ and $$\partial_b^{\vec{U},p}\widetilde{\phi}:=\lim_{t\rightarrow 0}\frac{\widetilde{\phi}({p_1+tu},\alpha)-\widetilde{\phi}({p_1},\alpha)}{t}$$ exists and is finite on $T(\Gamma)$.

Then $$\frac{\partial (\widetilde{\phi}\circ g)(\zeta)}{\partial \overline{\zeta}}=\partial_b^{\vec{U},p}\widetilde{\phi}\frac{\partial g}{\partial\overline{\zeta}}+\overline{\partial}_b^{\vec{U},p}\widetilde{\phi}\frac{\partial \overline{g}}{\partial\overline{\zeta}}=0$$

so by composing $\widetilde{\phi}$ with $T$, we have that $\phi\circ f$ is holomorphic.

\[approx\] Let $\Omega\subset \mathbb{C}^2$ be a bounded pseudoconvex complete Reinhardt domain with a smooth boundary. Suppose $\phi\in C(\overline{\Omega})$ is such that $\phi\circ f$ is holomorphic for any holomorphic $f:\mathbb{D}\rightarrow b\Omega$. Let $\Gamma\subset b\Omega$ be a continuous family of non-trivial analytic disks so that $\overline{\Gamma}$ is disjoint from the closure of any other non-trivial family of analytic disks in $b\Omega$. Then there exists $\{\psi_n\}_{n\in \mathbb{N}}\subset C^{\infty}(\overline{\Omega})$ so that the following holds.

1.  $\phi_n\rightarrow \phi$ uniformly on $\overline{\Gamma}$ as $n\rightarrow \infty$.

2.  $\phi_n\circ f$ is holomorphic for any holomorphic $f$ so that $f(\mathbb{D})\subset \Gamma$

Let $\nabla\subset b\Omega$ be a non-degenerate analytic disk so that $f(\mathbb{D})=\nabla$ where $f=(f_1,f_2)$ is holomorphic and continuous up to $\overline{\mathbb{D}}$. Furthermore, assume $\nabla$ is away from the coordinate axes. By Lemma \[lembiholo\] and Proposition \[prophull\], there is a local holomorphic change of coordinates $T$ so that $T(\nabla)$ is contained in an affine analytic variety. By Proposition \[propconvex\], we may assume $T(\nabla)$
1},\alpha)}{t}=0$$ on $ T(\Gamma)$ and $ $ \partial_b^{\vec{U},p}\widetilde{\phi}:=\lim_{t\rightarrow 0}\frac{\widetilde{\phi}({p_1+tu},\alpha)-\widetilde{\phi}({p_1},\alpha)}{t}$$ exists and is finite on $ T(\Gamma)$. 

 Then $ $ \frac{\partial (\widetilde{\phi}\circ g)(\zeta)}{\partial \overline{\zeta}}=\partial_b^{\vec{U},p}\widetilde{\phi}\frac{\partial g}{\partial\overline{\zeta}}+\overline{\partial}_b^{\vec{U},p}\widetilde{\phi}\frac{\partial \overline{g}}{\partial\overline{\zeta}}=0$$ 

 so by composing $ \widetilde{\phi}$ with $ T$, we have that $ \phi\circ f$ is holomorphic. 

 \[approx\ ] lease $ \Omega\subset \mathbb{C}^2 $ be a restrict pseudoconvex complete Reinhardt domain with a smooth limit. Suppose $ \phi\in C(\overline{\Omega})$ is such that $ \phi\circ f$ is holomorphic for any holomorphic $ f:\mathbb{D}\rightarrow b\Omega$. Let $ \Gamma\subset b\Omega$ be a continuous family of non - fiddling analytic disks so that $ \overline{\Gamma}$ is disjoint from the closure of any early non - fiddling family of analytic magnetic disk in $ b\Omega$. Then there exists $ \{\psi_n\}_{n\in \mathbb{N}}\subset C^{\infty}(\overline{\Omega})$ so that the following hold. 

 1.   $ \phi_n\rightarrow \phi$ uniformly on $ \overline{\Gamma}$ as $ n\rightarrow \infty$. 

 2.   $ \phi_n\circ f$ is holomorphic for any holomorphic $ f$ so that $ f(\mathbb{D})\subset \Gamma$ 

 Let $ \nabla\subset b\Omega$ be a non - degenerate analytic disk so that $ f(\mathbb{D})=\nabla$ where $ f=(f_1,f_2)$ is holomorphic and continuous up to $ \overline{\mathbb{D}}$. Furthermore, assume $ \nabla$ is away from the coordinate axes. By Lemma \[lembiholo\ ] and Proposition \[prophull\ ], there embody a local holomorphic change of coordinates $ T$ so that $ T(\nabla)$ is contained in an affine analytic kind. By Proposition \[propconvex\ ], we may assume $ T(\nabla)$
1},\alpja)}{t}=0$$ on $T(\Gamma)$ and $$\partiau_b^{\vec{U},p}\widetildg{\pyi}:=\lim_{t\cightardow 0}\frac{\didetilde{\phi}({p_1+tu},\alpha)-\widetildx{\phi}({p_1},\alphq)}{t}$$ exists and is finitd on $T(\Gamla)$.

Then $$\feac{\pertial (\widetilde{\'gi}\circ n)(\veta)}{\pzvtial \iverline{\zeta}}=\pattial_b^{\vec{U},p}\whdetilde{\phi}\fraw{\pxrcial g}{\partial\overline{\zeta}}+\overline{\pareial}_b^{\vev{U},o}\widetilde{\phi}\ftac{\pagtyal \knevline{g}}{\partial\overline{\zeta}}=0$$

so by ckmposinj $\widetilde{\phi}$ eith $T$, we have that $\phi\cirf f$ ls holomorphic.

\[apprlx\] Let $\Omegq\subfwt \mathbb{C}^2$ bd a bounded pseudoconvgx complete Reinhardt domain witf a skooth bouneaey. Doppose $\phi\in C(\ovegline{\Omega})$ is such thdt $\phi\corc f$ is holomprpiic dor any holomorphic $f:\kathbb{D}\rightarrow f\Omega$. Led $\Yamma\subset b\Omega$ be a conthnuogs fxnilh or ion-friviap aialytic disis so that $\iverline{\Gamma}$ is dixjjpmt from the dlosurq jf any other non-trivial family of analyuic djsks in $b\Omega$. Then theee exists $\{\psi_n\}_{n\in \matjbb{N}}\subsee C^{\infty}(\overline{\Omega})$ so that the following holds.

1.  $\phi_i\rkghuavvow \oyi$ uniformly on $\overline{\Gamma}$ as $n\rightarrow \insfy$.

2.  $\ihi_n\circ f$ is holjmorphic fot wnu holomorphic $w$ so tkzt $f(\mathbb{D})\subset \Galma$

Let $\gabla\wubset b\Oiega$ be a non-degenerate analytix disk so thct $d(\mathbb{D})=\nabla$ wherz $f=(f_1,f_2)$ is holumorkhic amd continuous up to $\ovexline{\mzthbb{D}}$. Furtjermore, aarume $\nabla$ is awxy nrok the coordinate axes. By Lqmma \[lembmholo\] and Pruposotion \[[rophull\], tjere lv a local holomorpjic ckange of coordijates $T$ so that $T(\nabla)$ is contamied in an affona atalytic rarietn. By Propositiog \[propconvex\], wg may assbme $T(\nxbla)$
1},\alpha)}{t}=0$$ on $T(\Gamma)$ and $$\partial_b^{\vec{U},p}\widetilde{\phi}:=\lim_{t\rightarrow 0}\frac{\widetilde{\phi}({p_1+tu},\alpha)-\widetilde{\phi}({p_1},\alpha)}{t}$$ exists finite $T(\Gamma)$. Then (\widetilde{\phi}\circ g)(\zeta)}{\partial \overline{\zeta}}=\partial_b^{\vec{U},p}\widetilde{\phi}\frac{\partial $\widetilde{\phi}$ $T$, we have $\phi\circ f$ is \[approx\] Let $\Omega\subset \mathbb{C}^2$ be a pseudoconvex complete Reinhardt domain with a smooth boundary. Suppose $\phi\in C(\overline{\Omega})$ is such $\phi\circ f$ is holomorphic for any holomorphic $f:\mathbb{D}\rightarrow b\Omega$. Let $\Gamma\subset b\Omega$ be continuous of analytic so that $\overline{\Gamma}$ is disjoint from the closure of any other non-trivial family of analytic disks $b\Omega$. Then there exists $\{\psi_n\}_{n\in \mathbb{N}}\subset C^{\infty}(\overline{\Omega})$ so the following holds. 1. \phi$ uniformly on $\overline{\Gamma}$ as \infty$. $\phi_n\circ f$ holomorphic any $f$ so that \Gamma$ Let $\nabla\subset b\Omega$ be a non-degenerate analytic disk so that $f(\mathbb{D})=\nabla$ where $f=(f_1,f_2)$ is holomorphic and up to assume $\nabla$ away the axes. By Lemma Proposition \[prophull\], there is a local coordinates $T$ so that $T(\nabla)$ is contained in affine analytic By Proposition \[propconvex\], we may assume
1},\alpha)}{t}=0$$ on $T(\Gamma)$ and $$\partial_b^{\Vec{U},p}\widetIlde{\pHi}:=\lIm_{t\RiGhtaRrow 0}\Frac{\widetilde{\pHI}({p_1+tu},\Alpha)-\widetilde{\phi}({p_1},\alphA)}{t}$$ exiStS And iS FiNite oN $T(\Gamma)$.

tHeN $$\FRac{\PaRtIal (\WiDEtIlde{\pHi}\cIrc g)(\zetA)}{\partial \ovErlInE{\zeta}}=\partial_B^{\VeC{U},p}\widetilDe{\pHi}\frac{\partiaL g}{\pArtial\OvErlINe{\zetA}}+\ovErlinE{\partiAL}_b^{\vec{U},P}\widetildE{\pHI}\frac{\pARtial \ovERLiNe{g}}{\pArtial\overline{\zetA}}=0$$

So BY composing $\wideTilde{\pHi}$ WItH $t$, We hAve That $\phi\cirC f$ Is holOMorphic.

\[APpROX\] let $\oMega\subset \matHbb{C}^2$ be a bounDEd pSeudocOnVex COmpletE ReinHaRDt dOmain with a sMootH boundary. supposE $\Phi\in C(\oVErline{\OMega})$ is SucH thAt $\phI\CiRc F$ is HoLOmoRPhIc fOR anY holomorPhIc $F:\mathBb{D}\rIGHTArroW b\OMega$. let $\GaMma\subset b\OmeGa$ bE a coNTinUous fAmily Of noN-tRiviaL analyTic diSkS so that $\overline{\gammA}$ is disjoiNt fRoM thE cLosurE Of any oTheR noN-triviaL family OF anAlYTIC dIsks in $b\Omega$. Then thErE EXiSts $\{\psi_n\}_{n\In \mathBB{N}}\SuBSet C^{\inftY}(\oVerLine{\oMEga})$ so That THe FollowinG holds.

1.  $\PHi_N\rIghtarrOw \Phi$ uniFoRmlY on $\OverlINe{\GaMma}$ as $n\RightarrOw \infTY$.

2.  $\phi_n\circ f$ is hoLOmorphic for anY HoLOMoRPhic $F$ so That $f(\mathbb{d})\subSEt \GaMma$

LET $\nAblA\SubseT b\OmeGa$ BE a NOn-degenerate analytiC dIsk so tHat $f(\mAthbb{D})=\nabla$ whEre $f=(f_1,f_2)$ is hoLOMOrphic anD conTInUOus up to $\overlinE{\mathBb{D}}$. FurtherMOre, assumE $\nablA$ is away fRom the cooRDInate axeS. By lemMa \[lEmbIHOlO\] and PropositiON \[PropHuLl\], there Is a Local hoLomOrpHic ChaNgE of coordiNates $T$ so ThAt $t(\nAbLa)$ iS contAIned in an AfFinE aNalYtic vARiety. BY PropOsitIoN \[pROpcOnvex\], we MAy ASSume $t(\nAbLa)$
1},\alpha)}{t}=0$$ on $T(\ Gamma)$ an d $$\ par tia l_ b^{\ vec{ U},p}\widetild e {\ph i}:=\lim_{t\rightarrow  0}\f ra c {\wi d et ilde{ \phi}({ p _1 + t u}, \a lp ha) -\ w id etild e{\ phi}({p _1},\alpha )}{ t} $$ exists an d  i s finite o n $ T(\Gamma)$.
Th en $$\ fr ac{ \ parti al(\wid etilde { \phi}\ circ g)(\ ze t a)}{\p a rtial \ o v er line {\zeta}}=\partial _ b^ { \vec{U},p}\wid etilde {\ p hi } \ fra c{\ partial g} {\ parti a l\overl i ne { \ z eta } }+\overline{\ partial}_b^ { \ve c{U},p }\ wid e tilde{ \phi} \f r ac{ \partial \o verl ine{g}}{\ partia l \overli n e{\zeta }}=0$$ 

s o b y co m po si ng$\ w ide t il de{ \ phi }$ with$T $,  we h avet h a t  $\p hi\ circ  f$ i s holomorphic .
\[ap p rox \] Le t $\O mega \s ubset  \math bb{C} ^2 $ be a boundedpseu doconvexcom pl ete  R einha r dt dom ain  wi th a sm ooth bo u nda ry . S up pose $\phi\in C(\o ve r l in e{\Omega })$ is su ch that $\p hi \ci rc f $ is ho lomo r ph ic for a ny hol o mo rp hic $f: \m athbb{ D} \ri ght arrow b\Om ega$.Let $\Ga mma\s u bset b\Omega$b e a continuou s  f a m il y  ofnon -trivial an alyt i c di skss otha t  $\ov erlin e{ \ Ga m ma}$ is disjoint fr om  the c losur e of any othe r non-triv i a l  familyof a n al y tic disks in $ b\Ome ga$. Thent here exi sts $ \{\psi_n \}_{n\in\ m athbb{N} }\s ubs etC^{ \ i nf ty}(\overline { \ Omeg a} )$ so t hat  the fo llo win g h old s. 

1.  $\p hi_n\rig ht ar ro w\ph i$ un i formly o n$\o ve rli ne{\G a mma}$as $n \rig ht ar r ow\infty$ . 
2 .   $\ ph i_ n\ci rcf$  is h olom o rph ic forany holom orp h ic $ f$  s o that$f(\mathbb{D} )\ subset \Ga mm a$
Let $ \ n abla\sub set b\Omega$ be a non-d e generat e a nalyt ic d isk so th at$f(\ma thb b {D})=\ nabla$  wher e$f= ( f _1,f_ 2 ) $isho lomorphica n d c ontin uo us u p to $\ overline{\mathbb{D } }$.  Furthermore,  as sume $ \n abl a $i s a wa y  fr o m  the coordinate  axes. ByLe m ma  \[lembiho l o\]  a nd Prop osition  \[pr o phull\] , there i s a local  h olom o r phi c change o f coordi nates $T$ so th a t$T(\n abl a)$ is  c ont ained  in an aff ine a nalyti cvariet y. By  P ropositi on \[propconvex\], we m ay ass ume $ T(\ nabla)$
1},\alpha)}{t}=0$$ on_$T(\Gamma)$ and_$$\partial_b^{\vec{U},p}\widetilde{\phi}:=\lim_{t\rightarrow 0}\frac{\widetilde{\phi}({p_1+tu},\alpha)-\widetilde{\phi}({p_1},\alpha)}{t}$$ exists and_is finite_on_$T(\Gamma)$.

Then $$\frac{\partial_(\widetilde{\phi}\circ_g)(\zeta)}{\partial \overline{\zeta}}=\partial_b^{\vec{U},p}\widetilde{\phi}\frac{\partial g}{\partial\overline{\zeta}}+\overline{\partial}_b^{\vec{U},p}\widetilde{\phi}\frac{\partial_\overline{g}}{\partial\overline{\zeta}}=0$$

so by composing_$\widetilde{\phi}$ with $T$, we_have that $\phi\circ_f$_is holomorphic.

\[approx\] Let $\Omega\subset \mathbb{C}^2$ be a bounded pseudoconvex complete Reinhardt domain with a_smooth_boundary. Suppose_$\phi\in_C(\overline{\Omega})$_is such that $\phi\circ f$_is holomorphic for any holomorphic_$f:\mathbb{D}\rightarrow b\Omega$._Let $\Gamma\subset b\Omega$ be a continuous family of_non-trivial_analytic disks so_that $\overline{\Gamma}$ is disjoint from the closure of any_other non-trivial family of analytic disks_in $b\Omega$. Then_there_exists_$\{\psi_n\}_{n\in \mathbb{N}}\subset C^{\infty}(\overline{\Omega})$ so_that the following holds.

1.  $\phi_n\rightarrow_\phi$ uniformly on $\overline{\Gamma}$ as $n\rightarrow_\infty$.

2.  $\phi_n\circ f$ is holomorphic for_any holomorphic $f$ so that $f(\mathbb{D})\subset_\Gamma$

Let $\nabla\subset b\Omega$ be a_non-degenerate analytic_disk so that $f(\mathbb{D})=\nabla$ where_$f=(f_1,f_2)$ is holomorphic_and continuous_up to $\overline{\mathbb{D}}$._Furthermore, assume $\nabla$ is away from_the coordinate axes._By Lemma \[lembiholo\] and Proposition \[prophull\],_there_is a local_holomorphic_change_of coordinates_$T$ so that_$T(\nabla)$_is contained_in_an affine analytic variety. By Proposition_\[propconvex\],_we may assume $T(\nabla)$