We consider the function $f(x,y)=x^2+y^2$ in $\omega = (0,1)^2.$ I am wondering about the existence of a $C^2-$extension $F$ of $f$ in $\Omega = (0,2)^2$ such that $F$ is harmonic in $\Omega-\overline{\omega}$. Thanks
a special extension of a two variable function
1
$\begingroup$
complex-analysis
differential-geometry
harmonic-functions
-
0sorry, it is not harmonic – 2012-08-20
1 Answers
1
$C^2$ is clearly too much to ask for, since it would imply the continuity of $\Delta F$. You have $\Delta F\equiv 1$ on $\omega$, and want $\Delta F\equiv 0$ on $\Omega\setminus\overline{\omega}$.
But even $C^1$ is impossible. Indeed, suppose $F$ is a $C^1$ extension with the desired property and let $G=F_z=\frac12(F_x-iF_y)$. The function $G$ is holomorphic in $\Omega\setminus\overline{\omega}$. In $\omega$ we have $G=(z\bar z)_z=\bar z$ (complex derivatives are a great time-saver). On the top boundary of $\omega$ we have $\bar z=z-2i$. By the boundary uniqueness, $G(z)\equiv z-2i$ in $\Omega\setminus \omega$. But this is inconsistent with the values on the right side of $\partial\omega$, where $\bar z\ne z-2i$.
-
1@hardmath Yes if your Laplacian is $\dfrac{\partial ^2}{\partial x^2}+\dfrac{\partial ^2}{\partial y^2}$. But **my** Laplacian is $\dfrac{\partial^2}{\partial z \partial \bar z}$. Probabilist's Laplacian falls in between. – 2012-08-20