To show given function is smooth

Let $\phi$ be upper semi-continuous function defined on $\Omega\subset \mathbb C^2$.

Let $\Omega_n= \{z \in \Omega: d(z,\partial \Omega) > \frac1n \}$.

Let $\chi\in C_c^\infty$ of $|z_1|$, $|z_2|$ with support contained in $|z|<1$ satisfying $\chi \geq 0$ and $\int \chi d\zeta\wedge d\bar{\zeta} =1$, and set $$\phi_n(z)= \int_{\triangle\times \triangle} \phi\left(z-\frac{\zeta}{n}\right)\chi(\zeta)d\zeta\wedge d\bar{\zeta}$$

Notation is index notation: That is $\zeta= (\zeta_1,\zeta_2)$ and same way $z-\zeta$ is also in index notation.

If i understood correctly the below reference, I need to show that $\phi_n$ is $C^\infty$ in $\Omega_n$.

Reference: Giuseppe Zampieri; Complex analysis and CR geometry, Page number 31. You can see the above things clicking the link.. First line in page 31.

• Something is odd here, should the $\phi$ in the integral defining $\phi_n$ be $f$? – mrf May 5 '12 at 12:23
• @mrf what do you mean by $f$. Can you please click on the link and go to the page 31. Thanks a lot. – zapkm May 5 '12 at 13:17
• page 31 is not available for me. But your first line says: "Let $f$ be an usc function...", and then $f$ doesn't show up after that. – mrf May 5 '12 at 13:20
• oh sorry.. i edited it.. – zapkm May 5 '12 at 13:20
• Thanks for looking the question, I edited it.. – zapkm May 5 '12 at 13:35

If all you need to know is that $\phi_n$ is $C^\infty$, it follows by differentiating under the integral sign. The general technique of constructing smooth approxations via convolutions with regularizing kernels is very common, and definitely worth mastering.
Assume $\psi \in C_0^\infty$ with support in the ball $\| z \| < 1$ and $f$ almost any function, for example $f \in L^1_{\text{loc}}(\Omega)$. Then $$f\star \psi(z) = \int f(z-\zeta) \psi(\zeta) \,dV(\zeta)$$ is well defined for $z \in \Omega$ were $\operatorname{dist}(z,\partial\Omega) > 1$. Also $D(f \star \psi) = (Df) \star \psi = f \star (D\psi)$, where $D$ is any partial derivative, in particular, since $\psi$ is smooth, $f \star \psi$ is also smooth.
Furthermore, if $\psi_\varepsilon(\zeta) = \varepsilon^{-n}\psi(\zeta/\varepsilon)$, then $\psi_\varepsilon \to \delta$ in the sense of distributions, and $f\star \psi_\varepsilon \to f$ in $L^1_\text{loc}$ and pointwise almost everywhere. If $\psi$ is chosen positive and radial and $f$ is (pluri-)subharmonic, then the convergence is even monotone.