Complex Analysis – Meaning of f(z, z?)

complex-analysis

What is the meaning of having $\bar{z}$ in your description of a function, i.e. $f(z,\bar{z})$? The conjugate is simply a function of the complex number, z, so I don't understand why you need to reference it as a second variable. It seems equivalent to noting $x^2$ as a variable in some equation like $f(x,x^2)=x+x^2$. Why does this happen?

Best Answer

"variable" is a dangerous word to throw around.

In mathematics, strictly speaking we don't need to name the arguments of the functions, and a function has only one argument. Every function is a function from a set $A$ to a set $B$ and this description doesnt talk about variables.

Now in some cases (all the time in physics) we want to talk about functions of several variables, and more importantly, we want to do change of variables, without changing the name of the function.

For example, if you drop a rock into a well and you consider its speed $s$, altitude $z$, and acceleration $a$, any of those quantities is technically a function of any of the other, so we want to write things like $s(z), a(z), a(s), \ldots$ but where the two $a$ denotes, mathematically, different functions.

When dealing with functions with multiple variables, things get worse when you consider partial derivatives. For example if temperature $T$ of a gas is a function of volume $V$ and pression $P$, but the size and the pression of the container changes with time $t$, you may consider the $T$ as a function of $t$ and $P$. Now the funny thing is that $dT/dP$ isn't the same thing wether you are talking about the function $T(P,V)$ or $T(P,t)$.

Back to your question, functions from $f : \Bbb C$ to $\Bbb C$ are often talked about as functions $\Bbb R^2$ to $\Bbb C$ with two real arguments $x,y$.

When you do a real change of variable like $x' = (x+y)/\sqrt 2, y' = (x-y)/\sqrt 2$, the two new variables have nothing to do with each other and in this example the change of variable is a mere rotation of the plane.

Say we want to make the $\Bbb C$-linear change of variables $z = x+iy, \bar z = x-iy$ (or in the other direction $x = (z+\bar z)/2, y = i(\bar z-z)/2$) ($z$ and $\bar z$ are just name)s.

Here $z$ takes complex values and $\bar z$ is the conjugate of $z$ when $x$ and $y$ are real. Note that for the change of variable to make sense, we are plugging something syntaxically complex ($i(z-\bar z)/2$) into $y$.
So maybe everything makes better sense if instead of saying that $x$ and $y$ are real variables, we consider them as complex variables (we will note this function $\hat f_1 : \Bbb C^2 \to \Bbb C$, with arguments $x$ and $y$). Because then, the change of variables is almost like a "complex rotation" (we call the resulting function $\hat f_2 : \Bbb C^2 \to \Bbb C$, with arguments $z$ and $\bar z$).
And this time, $z$ and $\bar z$ are two complex variables of $\hat f_2$ that have nothing to do with each other, just like $x$ and $y$ for $\hat f_1$. It just happens that $\bar z$ is the conjugate of $z$ exactly when $x$ and $y$ are real.

You can then talk about $d\hat f_2/dz$ and $d\hat f_2/d\bar z$ and the following are equivalent :

1) the original function $f: \Bbb C \to \Bbb C$ is holomorphic
2) $d\hat f_2/d\bar z = 0$
3) $\hat f_2(z,\bar z)$ only depends on $z$ and not on $\bar z$
4) $i d\hat f_1/dx = d\hat f_1/dy$
5) $\hat f_1(x,y)$ only depends on the value of $x+iy$ and not on the particular (possibly complex) values of $x$ and $y$.