mjhjmtu

Say $B$ and $D$ be closed and open unit discs in 2 dimensional euclidean plane. I have two doubts.

1. Given continuous function $g : B to mathbbR$, there is a continuous function $f : mathbbR ^2 to mathbbR$ such that $f=g$ on $B$.


2. Given continuous function $u : D to mathbbR$, there is a continuous function $v : mathbbR ^2 to mathbbR$ such that $ v=u $ on $D$.

I think the first one is doable. What I think is if we define $f$ as $ f(re^iz) = r*f(e^iz)$ outside $B$ and $f=g$ inside $B$, we are done. The same can not be done with the second part. Am I on the right track?

1. Is indeed true.




2. Is false. Consider $u : (x,y) mapsto frac11-sqrtx^2+y^2$. $u$ cannot be extended to a continuous function on $mathbb R^2$ as it is unbounded on $D$.

As for the first one, you are correct. If $B$ is closed, then $f:Bto mathbbR$ being continuous determines the boundary behavior of $f|_partial D$. Indeed, radially extending as you propose should work fine.

As for the second part, your doubts are well-founded. While the function may be tame on the interior of the domain, it may not extend continuously to the boundary. Take for instance

$$ f(x)=sinleft(frac1x-1right)$$
defined on $[0,1)$. It is quite tame, away from $x=1$, but has an oscillating discontinuity at $1$. Now, define
$$g(x,y)=sinleft(frac1sqrtx^2+y^2-1right)$$
on $D$. This function cannot be extended continuously to any point in $partial D$, let alone to $mathbbR^2$.

Your approach is good. A concrete example for the second part is $f(z)=frac1z$ which tends to $infty$ as $z$ tends to 1 and thus cannot be extended to the unit disk, let alone the whole plane

Though it may be a bit advanced, the Tietze extension theorem covers the case of $B$. Your method works just as well, but this would sort of be an assurance that it's possible.

For the open disc, it's easy to find an unbounded continuous function which obviously can't be extended.