# examples of Cauchy-Riemann equations

To illustrate the Cauchy-Riemann equations, we may consider a few examples. Let $f$ be the squaring function, i.e. for any complex number $z$, we have $f(z)=z^{2}$.

We now separate real from imaginary parts. Letting $x$ and $y$ be real variables we have

 $f(x+iy)=(x+iy)^{2}=x^{2}+2ixy-y^{2}=(x^{2}-y^{2})+i(2xy).$

Defining real functions $u$ and $v$ by $f(x+iy)=u(x,y)+iv(x,y)$ and taking derivatives, we have

 $\displaystyle u(x,y)$ $\displaystyle=x^{2}-y^{2}$ $\displaystyle v(x,y)$ $\displaystyle=2xy$ $\displaystyle{\partial u\over\partial x}$ $\displaystyle=2x$ $\displaystyle{\partial u\over\partial y}$ $\displaystyle=-2y$ $\displaystyle{\partial v\over\partial x}$ $\displaystyle=2y$ $\displaystyle{\partial v\over\partial y}$ $\displaystyle=2x$

Since $\partial u/\partial x=\partial v/\partial y$ and $\partial u/\partial y=-\partial v/\partial x$. the Cauchy-Riemann relations are seen to be satisfied.

Next, consider the complex conjugation function. In this case, $\overline{x+iy}=x-iy$, so we have $u(x,y)=x$ and $v(x,y)=y$. Taking derivatives,

 $\displaystyle{\partial u\over\partial x}$ $\displaystyle=1$ $\displaystyle{\partial u\over\partial y}$ $\displaystyle=0$ $\displaystyle{\partial v\over\partial x}$ $\displaystyle=0$ $\displaystyle{\partial v\over\partial y}$ $\displaystyle=-1$

Because $\partial u/\partial x\neq\partial v/\partial y$, the Cauchy-Riemann equations are not satisfied do the conjugation function is not holomorphic. Likewise, one can show that the functions $\Re,\Im,and|\cdot|$ which appear in complex analysis are not holomorphic.

For our next example, we try a polynomial. Let $f(Z)=z^{3}+2z+5$. Writing $z=x+iy$ and $f=u+iv$, we find that $u(x,y)=x^{3}-3xy^{2}+2x+5$ and $v(x,y)=3x^{2}y-y^{3}+2y$. Taking partial derivatives, one can confirm that the Cauchy-Riemann equations are satisfied, so we have a holomorphic function.

More generally, we can show that all complex polynomials are holomorphic. Since the Cauchy-Riemann equations are linear, it suffices to check that integer powers are holomorphic. We can do this by an induction argument. That $f(z)=z$ satisfies the equations is trivial and we have shown that $f(z)=z^{2}$ also satisfies them. Let us assume that $f(z)=z^{n}$ happens to satisfy the Cauchy-Riemann equations for a particular value of $n$ and write

 $\displaystyle(x+iy)^{n}$ $\displaystyle=u(x,y)+iv(x,y)$ $\displaystyle(x+iy)^{n+1}$ $\displaystyle={\tilde{u}}(x,y)+i{\tilde{v}}(x,y)$

By elementary algebra, we have

 $\displaystyle{\tilde{u}}(x,y)$ $\displaystyle=xu(x,y)-yv(x,y)$ $\displaystyle{\tilde{v}}(x,y)$ $\displaystyle=yu(x,y)+xv(x,y).$

By elementary calculus, we have

 $\displaystyle{\partial\tilde{u}\over\partial x}$ $\displaystyle=u+x{\partial u\over\partial x}-y{\partial v\over\partial x}$ $\displaystyle{\partial\tilde{u}\over\partial y}$ $\displaystyle=-v+x{\partial u\over\partial y}-y{\partial v\over\partial y}$ $\displaystyle{\partial\tilde{v}\over\partial x}$ $\displaystyle=v+y{\partial u\over\partial x}+x{\partial v\over\partial x}$ $\displaystyle{\partial\tilde{v}\over\partial y}$ $\displaystyle=u+y{\partial u\over\partial y}+x{\partial v\over\partial y}$

so

 $\displaystyle{\partial\tilde{u}\over\partial x}-{\partial\tilde{v}\over% \partial y}$ $\displaystyle=x\left({\partial u\over\partial x}-{\partial v\over\partial y}% \right)+y\left({\partial u\over\partial y}+{\partial v\over\partial x}\right)$ $\displaystyle{\partial\tilde{u}\over\partial y}+{\partial\tilde{v}\over% \partial x}$ $\displaystyle=x\left({\partial u\over\partial y}+{\partial v\over\partial x}% \right)+y\left({\partial u\over\partial x}-{\partial v\over\partial y}\right)$

Since the terms in parentheses are zero on account of $u$ and $v$ satisfying the Cauchy-Riemann equations, it follows that ${\tilde{u}}$ and ${\tilde{v}}$ also satisfy the Cauchy-Riemann equations. By induction, $f(z)=z^{n}$ is holomorphic for all positive integers $n$.

As our next example, we consider the complex square root. As shown in the entry taking square root algebraically, we have the following equality:

 $\sqrt{x+iy}=\sqrt{\frac{\sqrt{x^{2}+y^{2}}+x}{2}}+(\mbox{sign}\,{y})i\sqrt{% \frac{\sqrt{x^{2}+y^{2}}-x}{2}}$

Differentiating and simplifying,

 $\displaystyle u(x,y)$ $\displaystyle=\sqrt{\frac{\sqrt{x^{2}+y^{2}}+x}{2}}$ $\displaystyle v(x,y)$ $\displaystyle=(\mbox{sign}\,{y})\sqrt{\frac{\sqrt{x^{2}+y^{2}}-x}{2}}$ $\displaystyle{\partial u\over\partial x}$ $\displaystyle=\frac{\sqrt{2}}{4}\frac{\frac{x}{\sqrt{x^{2}+y^{2}}}+1}{\sqrt{% \sqrt{x^{2}+y^{2}}+x}}=\frac{\sqrt{2}}{4}\frac{\sqrt{\sqrt{x^{2}+y^{2}}+x}}{% \sqrt{x^{2}+y^{2}}}$ $\displaystyle{\partial u\over\partial y}$ $\displaystyle=(\mbox{sign}\,{y})\frac{\sqrt{2}}{4}\frac{\frac{y}{\sqrt{x^{2}+y% ^{2}}}}{\sqrt{\sqrt{x^{2}+y^{2}}+x}}=(\mbox{sign}\,{y})\frac{\sqrt{2}}{4}\frac% {y}{{\sqrt{x^{2}+y^{2}}}{\sqrt{\sqrt{x^{2}+y^{2}}+x}}}$ $\displaystyle{\partial v\over\partial x}$ $\displaystyle=(\mbox{sign}\,{y})\frac{\sqrt{2}}{4}\frac{\frac{x}{\sqrt{x^{2}+y% ^{2}}}-1}{\sqrt{\sqrt{x^{2}+y^{2}}-x}}=-(\mbox{sign}\,{y})\frac{\sqrt{2}}{4}% \frac{\sqrt{\sqrt{x^{2}+y^{2}}-x}}{\sqrt{x^{2}+y^{2}}}$ $\displaystyle{\partial v\over\partial y}$ $\displaystyle=\frac{\sqrt{2}}{4}\frac{\frac{y}{\sqrt{x^{2}+y^{2}}}}{\sqrt{% \sqrt{x^{2}+y^{2}}-x}}=\frac{\sqrt{2}}{4}\frac{y}{\sqrt{x^{2}+y^{2}}\sqrt{% \sqrt{x^{2}+y^{2}}-x}}.$

Pulling out a common factor and placing over a common denominator,

 $\displaystyle{\partial u\over\partial x}-{\partial v\over\partial y}$ $\displaystyle=\frac{\sqrt{2}}{4\sqrt{x^{2}+y^{2}}}\left(\sqrt{\sqrt{x^{2}+y^{2% }}+x}-\frac{y}{\sqrt{\sqrt{x^{2}+y^{2}}-x}}\right)$ $\displaystyle=\frac{\sqrt{2}}{4\sqrt{x^{2}+y^{2}}}\frac{\sqrt{\sqrt{x^{2}+y^{2% }}+x}\cdot\sqrt{\sqrt{x^{2}+y^{2}}-x}-y}{\sqrt{\sqrt{x^{2}+y^{2}}-x}}$ $\displaystyle=\frac{\sqrt{2}}{4\sqrt{x^{2}+y^{2}}}\frac{\sqrt{(x^{2}+y^{2})-y^% {2}}-y}{\sqrt{\sqrt{x^{2}+y^{2}}-x}}=0$ $\displaystyle{\partial u\over\partial y}+{\partial v\over\partial x}$ $\displaystyle=(\mbox{sign}\,{y})\frac{\sqrt{2}}{4\sqrt{x^{2}+y^{2}}}\left(% \frac{y}{\sqrt{\sqrt{x^{2}+y^{2}}+x}}-\sqrt{\sqrt{x^{2}+y^{2}}-x}\right)$ $\displaystyle=(\mbox{sign}\,{y})\frac{\sqrt{2}}{4\sqrt{x^{2}+y^{2}}}\frac{y-% \sqrt{\sqrt{x^{2}+y^{2}}+x}\cdot\sqrt{\sqrt{x^{2}+y^{2}}-x}}{\sqrt{\sqrt{x^{2}% +y^{2}}+x}}$ $\displaystyle=(\mbox{sign}\,{y})\frac{\sqrt{2}}{4\sqrt{x^{2}+y^{2}}}\frac{% \sqrt{(x^{2}+y^{2})-x^{2}}-y}{\sqrt{\sqrt{x^{2}+y^{2}}+x}}=0,$

so the Cauchy-Riemann equations are satisfied. More generally, it can be shown that all complex algebraic functions and fractional powers satisfy the Cauchy-Riemann equations. However, as suggested by the above derivation, a direct verification could be tedious, so it is better to use an indirect approach.

Finally, we finish up with two examples of transcendental functions, the complex exponential and the complex logarithm, The complex exponential is defined as $\exp(x+iy)=\exp(x)(\cos y+i\sin y)$. Hence we have

 $\displaystyle u(x,y)$ $\displaystyle=\exp(x)\cos(y)$ $\displaystyle v(x,y)$ $\displaystyle=\exp(x)\sin(y)$ $\displaystyle{\partial u\over\partial x}$ $\displaystyle=\exp(x)\cos(y)$ $\displaystyle{\partial u\over\partial y}$ $\displaystyle=-\exp(x)\sin(y)$ $\displaystyle{\partial v\over\partial x}$ $\displaystyle=\exp(x)\sin(y)$ $\displaystyle{\partial v\over\partial y}$ $\displaystyle=\exp(x)\cos(y)$

Thus we see that the complex exponential function is holomorphic.

The complex logarithm may be defined as $\log(x+iy)=1/2\log(x^{2}+y^{2})+i\arctan(y/x)$. Hence we have

 $\displaystyle u(x,y)$ $\displaystyle=1/2\log(x^{2}+y^{2})$ $\displaystyle v(x,y)$ $\displaystyle=\arctan(y/x)$ $\displaystyle{\partial u\over\partial x}$ $\displaystyle={x\over x^{2}+y^{2}}$ $\displaystyle{\partial u\over\partial y}$ $\displaystyle={y\over x^{2}+y^{2}}$ $\displaystyle{\partial v\over\partial x}$ $\displaystyle={-y/x^{2}\over 1+(y/x)^{2}}=-{y\over x^{2}+y^{2}}$ $\displaystyle{\partial v\over\partial y}$ $\displaystyle={1/x\over 1+(y/x)^{2}}={x\over x^{2}+y^{2}}$

Hence the complex logarithm is holomorphic.

Title examples of Cauchy-Riemann equations ExamplesOfCauchyRiemannEquations 2013-03-22 17:38:05 2013-03-22 17:38:05 rspuzio (6075) rspuzio (6075) 19 rspuzio (6075) Example msc 30A99