4
$\begingroup$

Hi, my question is :

Let $D$ be the open unit disk in $\mathbb{C}=R^2$ and $f:D\to D$ be a real-analytic diffeomorphism. Let us think of the canonical embedding : $\mathbb{C}=R^2\subset \mathbb{C^2}. $ Does there exist a complex analytic diffeomorphism $F$ ( analytic in two complex variables ) whose domain is either $D^2\subset \mathbb{C^2}$ or the complex 2-dimensional unit open polydisk $\Omega ={{(z,w): |z|^2+|w|^2 < 1}}$ in $\mathbb{C^2}$ such that its restriction to $D\subset D^2$ or $D\subset \Omega $ is $f$ ? By restriction , I mean $ F(z,0) = f(z) $ in the case of $ D \subset D^2 \subset \mathbb {C}^2 $ .

The range of $F$ does not necessarily have to be $D^2$ or $\Omega$, but it would be even better if they are !

If this is a very well-known result, you can cite a reference.

Is the same result true in 1-dimension as well , i.e. replacing $D$ by $I\subset R$ and changing the complex-analytic/conformal diffeomorphism $F$ accordingly , i.e. asking that domain of $F$ is $I^2$ or $D$ with restriction $ f $ ?

Thank you .

$\endgroup$
4
  • 1
    $\begingroup$ Your $\Omega$ isn't a polydisk, it's a sphere! $\endgroup$
    – Thomas K
    Jul 5, 2011 at 12:23
  • $\begingroup$ Sorry,my mistake, it should be an $\leq$ sign there in the definition of $\Omega$ $\endgroup$ Jul 5, 2011 at 13:33
  • $\begingroup$ The fact that the extension exist is elementary: Real analytic map will be locally equal to the sum of their Taylor series. If the series converges in a small neighborhood of $x$ in $\mathbb{R}^2$, it converges in a corresponding neighborhood in $\mathbb{C}^2$. The problem is that the convergence may be on a very small polydisk at every point, as Gavrilov's excellent example shows. $\endgroup$ Jul 5, 2011 at 13:56
  • 1
    $\begingroup$ Minor note: your $\Omega$ is a closed ball. The unit open polydisk is defined by the inequalities $|z| < 1$ and $|w| < 1$. $\endgroup$
    – S. Carnahan
    Jul 6, 2011 at 4:14

2 Answers 2

7
$\begingroup$

Indeed, a real-analytic map can always be extended to some complex neighbourhood. The problem is, the neighbourhood may be very small. Consider, for example, the map $$f:I\to I,\, I=[-1,1],$$ defined by $$f:x\mapsto x+\frac{a^3x(x-1)^2}{x^2+a}.$$ For small $a>0$ this is a diffeomorphism of $I$, but it cannot be extended very much due to the poles near $x=0$. The similar map (though a bit more contrived) can be designed for a disc. So, the answer to the question is no.

Of course, all this is well known but what is a proper reference I cannot say.

P.S. This is an answer to the question as I understand it. There are some points I do not understand. $\Omega$, as it is defined, is a sphere. And, I hope, the restriction is not defined by $F(z,0)=(f(z),0)$: if it is, you can always take $F(z,w)=(f(z),w)$.

$\endgroup$
1
  • $\begingroup$ I put $=$ sign wrongly before to define $\Omega$ , which I corrected to $\leq $ sign now. Thanks for the answer and pointing that out. $\endgroup$ Jul 5, 2011 at 13:38
0
$\begingroup$

I'm not 100% sure I understand your question, so pardon me if I'm saying something unrelated.

It seems to me that you are asking whether a given real-analytic function $f \colon \mathbb{R}^2 \to \mathbb{R}^2$ (perhaps only defined on suitable open subsets), given by

$$f(x,y) = [ f_1(x,y), f_2(x,y) ]$$

is in fact complex-analytic, i.e. there is $F \colon \mathbb{C} \to \mathbb{C}$ such that

$$f(x,y) = F(x+iy) = u(x,y) + iv(x,y)\text{ .}$$

This is patently the case if and only if $u$ and $v$, hence $f_1$ and $f_2$, satisfy the Cauchy-Riemann equations, and thus any pair of real-analytic functions $f_i \colon \mathbb{R}^2 \to \mathbb{R}$, $i=1,2$, which do not satisfy CR furnish a counter-example.

On the other hand, what you may have wanted to ask, is whether a real-analytic function extends to a complex-analytic function, e.g. if for a real $f(x)$ there is a complex $F(z)$ such that $F(\Re{z}) = f(\Re{z})$. This can indeed always be done on some Stein neighbourhood, but you don't in general have control over the size of the neighbourhood.

$\endgroup$
6
  • $\begingroup$ Thomas: I believe you misread the question. The OP is asking about extending $f$ from $\mathbb{R}^2$ to $\mathbb{C}^2$, not to $\mathbb{C}$. $\endgroup$ Jul 5, 2011 at 13:51
  • $\begingroup$ @Thierry: The OP says she wants $F(z,0) = f(z)$, which lead me to believe that she may have somehow wanted to go from some function on reals $g(x,y)$ to a function of a complex variable $G(x+iy)$. I agree that the question should be about complexifying a function $f(x,y)$ by allowing complex variables $x,y$ instead of real variables. (Which is always possible on a small neighbourhood if $f$ is real-analytic.) $\endgroup$
    – Thomas K
    Jul 5, 2011 at 15:01
  • $\begingroup$ @ Thomas K : I am rerally talking about complex analytic extension in two complex varioables, treating the real variables $ x,y\in R $ as complex numbers. That is why asked :Does there exist a complex analytic diffeomorphism $F$ ( analytic in two complex variables ) whose domain is either $D^2\subset \mathbb{C^2}$ ? However , I am still interested in finding or looking up a sufficient condition to ensure that such an extension exists, for which I would not have difficulty like the example provided by Alex Gavrilov. $\endgroup$ Jul 5, 2011 at 19:54
  • $\begingroup$ P.S. : By $D^2\subset \mathbb{C}^2 $, I really meant the cartesian product of two unit open disks in the copmplex plane. $\endgroup$ Jul 5, 2011 at 19:55
  • $\begingroup$ @Lvriemsurf: Hm, I'm probably just confused... let's drop open subsets for convenience. You want a holomorphic map $F \colon \mathbb{C}^2 \to \mathbb{C}^2$. Let's write $\phi(z) = F(z,0)$ for the restriction to the first factor. Now you write that you want $\phi(z) = f(z)$, where $f$ is a real function $f \colon \mathbb{R}^2 \to \mathbb{R}^2$. Since $\phi$ is holomorphic, isn't that asking for two real analytic function of $(x,y)$ to be a holomorphic function in $x+iy$? I must be missing something... $\endgroup$
    – Thomas K
    Jul 5, 2011 at 23:06

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.