# Why are analytic functions functions of $z$ and not of $\bar{z}$?

I was reading a note on complex analysis and was stuck on one line:

Cauchy-Riemann equations

Alternatively, the C-R equations can be written as
$$\frac{\partial f}{\partial\bar z}=0,$$
where $z=x+iy$ and $\bar z=x-iy$.

In some sense, analytic functions are truly functions of $z$, and not of $\bar z$.
$$\begin{array}{c} \frac\partial{\partial z} = \frac 1 2 \left(\frac\partial{\partial x}-i\frac\partial{\partial y}\right) &\frac\partial{\partial \bar z}=\frac 1 2 \left(\frac\partial{\partial x}+i\frac\partial{\partial y}\right) \end{array}$$

I do not understand what it means that “Analytic functions are truly functions of $z$ and not of $\bar{z}$.” Can someone explain? Thanks in advance for your time.

#### Solutions Collecting From Web of "Why are analytic functions functions of $z$ and not of $\bar{z}$?"

This is to be taken “in some sense” or as a mnemonic for CR. As $\frac{\partial f}{\partial \bar z}=0$ suggests, the function value does not change when $\bar z$ changes. Of course this is nonsense insofar as if you know $\bar z$ the you know $z$ and then you can obtain the (changing) value of $f$, but then again a function such as $z\mapsto az+b\bar z+c$ is analytic if and only if $b=0$, that is, there is only a part depending on $z$ itself and the possible part depending on $\bar z$ must be constant.

Editing slightly (thanks @Matt E): An alternative approach to give meaning to the sentence is this. A complex-valued real analytic function $f$ can be expanded in a power series in $x$ and $y$, hence, by substitution, in $z$ and $\bar z$. $f$ is complex analytic precisely when no $\bar z$’s appear in the latter expression. For example, $f(x,y)=(x^2-y^2)+2ixy = z^2$ is, of course, complex analytic, but $f(x,y)=(x^2+y^2)-2ixy = z\bar z +\frac12(\bar z^2-z^2)$ is not. Of course, this is equivalent to the calculation $\partial f/\partial\bar z \overset{?}{=} 0$.

The question reflects a reasonable confusion, based on word-use, as partly reflected in @HagenvonEitzen’s answer. That is, to say that $f$ “is a function of” $z$ is that knowing $z$ determines $f(z)$. But this colloquial (and often accurate!) sense is too broad. Indeed, if we know $z$, we know $\bar{z}$, and vice-versa, so the broader sense “$f$ is a function of $z$, not of $\bar{z}$” would be self-contradictory, indeed!

A more technical sense of “is not a function of” is that the derivative vanishes, the idea being that if a function does not change when “a variable” changes, it does not “depend” on that variable. (This is still vague!) Further, in the case at hand, the “definitions” of derivative-with-respect-to-$z$ and $\bar{z}$ are arguably partly artificial, so this interpretation is even more tenuous.

However, as in HagenvonEitzen’s linear example, experiments with polynomials suggest that this derivative interpretation is correct.

Indeed, a fancier interpretation about “complexifying the tangent bundle” shows that there really is an underlying sense to this interpretation, although, admittedly, at the point it arises in one’s education it’s hard to get a grip on.

Suppose that

$$f(z) = |z|^2 = z\cdot \bar{z}$$

$$\frac{df(z)}{d\bar{z}} = z$$

which isn’t identically $0$ hence $f(z)$ is analytic nowhere because defining it to be analytic at $z=0$ is absurd . analytic functions are only defined on open sets .