# Show that $f(z)=\sqrt{|xy|}$ is not analytic at $(0,0)$ even though the Cauchy Riemann conditions are satisfied there.

If $f(z)=\sqrt{|xy|}$, how do I find the partial derivatives of $u$ and $v$? How can we show it is not analytic at $(0,0)$?

• $\sqrt{\lvert xy\rvert}$ isn't even real-differentiable in $0$. Feb 16, 2014 at 14:49
• @Daniel, can you help me prove that mathematically? Feb 16, 2014 at 14:51
• The partial derivatives are both $0$. But on the line $x = y$, you have a kink, like the real absolute value function. Feb 16, 2014 at 14:55
• @JonathanY. Complex differentiability is real differentiability + CR. Partial differentiability + CR, as is the case here, is not enough: $$\frac{f(t(1+i))}{t(1+i)} = \frac{\sqrt{2t^2}}{t(1+i)} = \pm \frac{1-i}{\sqrt{2}}\neq \lim_{t\searrow 0} \frac{f(t)}{t} = 0$$ for real $t$, so $f$ is not complex differentiable in $0$. Feb 16, 2014 at 16:02
• @JonathanY. I didn't mean to belittle it. However, to show $f$ is not analytic at $0$, it is sufficient to show that it isn't even complex differentiable in $0$. And to show that, it is sufficient to show that it isn't even real differentiable in $0$. Each condition is weaker than the preceding, so if even the weaker condition isn't satisfied, the stronger is a fortiori not satisfied. With what word should that be expressed if "even" carries wrong connotations? Feb 16, 2014 at 16:32

In the real case $\lim_{h\to 0} \frac {|f(h,0)|}{|h|}=0=\frac {|f(0,h)|}{|h|}$ hence if it is differentiable at $0$ the derivative would be $0$ (Since if $f$ where differentiable the derivative would be the partial derivatives in a matrix) but $\lim_{(h,h)\to 0}\frac{|f(h,h)-f(0,0)-0|}{|(h,h)|}=\frac 1 {\sqrt{2}}$ which mean the limit $\lim_{(h,k)\to 0}\frac{|f(h,k)-f(0,0)-0|}{|(h,k)|}$ is not $0$ which shows $f$ is not real differentiable at $0$.