1
$\begingroup$

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

  • 0
    sorry, it is not harmonic2012-08-20

1 Answers 1

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