Intereting Posts

How to prove that $C^k(\Omega)$ is not complete
Probability that a quadratic polynomial with random coefficients has real roots
Solitaire probability
N.Alon, J.Spencer Probabilistic methods problem ch. $4$ problem $5$
How to come up with the gamma function?
Evaluating $\int_0^{\tfrac{\pi}{4}}\ln(\cos x-\sin x)\ln(\cos x) dx – \int_0^{\tfrac{\pi}{4}}\ln(\cos x+\sin x)\ln(\sin x)dx=\dfrac{G\ln 2}{2}$
Which optimization class does the following problem falls into (LP, MIP, CP..) and which solver to use
Why is empty product defined to be $1$?
Image of unit ball dense under continuous map between banach spaces
Inner product on $C(\mathbb R)$
Problem with infinite product using iterating of a function: $ \exp(x) = x \cdot f^{\circ 1}(x)\cdot f^{\circ 2}(x) \cdot \ldots $
Exponential Diophantine: $2^{3x}+17=y^2$
Equivalent form of definition of manifolds.
Combinatorics: Number of possible 10-card hands from superdeck (10 times 52 cards)
Solve the reccurence $a_n= 4a_{n−1} − 2 a_{n−2}$

I’m trying to understand the derivation of Wiener deconvolution given on its Wikipedia page. In the last couple steps under the derivation section, they take the derivative with respect to $G(f)$ of an equation that has both $G(f)$ and $G^\ast(f)$ in it. They simply state that $G^\ast (f)$ acts as a constant in the differentiation. However, it seems to me that if you don’t treat $G(f)$ as a constant, then you shouldn’t be able to treat $G^\ast (f)$ as a constant because they are directly related.

I searched around some looking for an explanation. I found this page, which seems to agree that the complex conjugate can be treated as a constant. I also found some stuff about the Cauchy-Riemann equations, which seem to be related. However, I haven’t had any classes on complex analysis and don’t understand the intuition behind why this can be done.

Why can the complex conjugate of a variable be treated as a constant when differentiating with respect to that variable?

- The action of SU(2) on the Riemann sphere
- The continuity assumption in Schwarz's reflection principle
- mapping properties of $(1−z)^i$
- Does there exist a non-constant entire function $f$ such that $|f(z^3)| \leq 1 + |z|$ for all $z$?
- Integral evaluation $\int_{-\infty}^{\infty}\frac{\cos (ax)}{\pi (1+x^2)}dx$
- Rewriting $\int_0^{2\pi} \sin(\theta)^{2n}\,d\theta$ as a path integral.

- How to generalize Reshetnikov's $\arg\,B\left(\frac{-5+8\,\sqrt{-11}}{27};\,\frac12,\frac13\right)=\frac\pi3$?
- Explicit fractional linear transformations which rotate the Riemann sphere about the $x$-axis
- Why $\displaystyle f(z)=\frac{az+b}{cz+d}$, $a,b,c,d \in \mathbb C$, is a linear transformation?
- Application of Liouville's Theorem
- Find all Laurent series of the form…
- Power series without analytic continuation
- How to calculate $\sum_{k=1}^{k=n}\frac{\sin(kx)}{\sin^{k}(x)}$?
- Analytic map with two fixed points on a simply connected domain is the identity
- Entire function having simple zero at the Gaussian integers
- Finite Blaschke product and proper maps on the disc

The nomenclature of $\dfrac{\partial}{\partial z}$ and $\dfrac{\partial}{\partial\bar{z}}$ is confusing because it gives the impression that these are really partial derivatives with respect to two independent variables, $z$ and $\bar{z}$. However, it is clear that $z$ and $\bar{z}$ are not independent.

**Differentiable Functions and Conformal Maps**

A differentiable function on $\mathbb{R}$ locally looks like a linear function, that is, there is a real constant, called $f'(x)$, so that for small $h$,

$$

f(x+h)=f(x)+f'(x)h+o(h)\tag{1}

$$

Analogously, a differentiable function on $\mathbb{C}$ satisfies $(1)$ for some complex number $f'(x)$.

Multiplication on $\mathbb{C}$ acts as a rotation and radial scale when viewed as an action on $\mathbb{R}^2$. Thus, if $f$ is differentiable on $\mathbb{C}$,

$$

f(z+h)-f(z)=f'(z)h+o(h)\tag{2}

$$

That is, when $h$ is small, $h\mapsto f(z+h)-f(z)$ looks like a scaled rotation. For this reason, a differentiable function on $\mathbb{C}$ is called conformal: small features are replicated (scaled and rotated) and angles are preserved.

**Complex Conjugation and Orientation Reversal**

Complex conjugation, $z\mapsto\bar{z}$, is an orientation reversing isometry. Thus, when composed with a conformal map, either before or after, the composition is an orientation-reversing conformal map. Furthermore, double composition yields an orientation-preserving conformal map; for example, if $f(z)$ is conformal, then so is $\overline{f(\bar{z})}$.

As a function on $\mathbb{R}^2$, complex conjugation can be represented by the matrix $\begin{bmatrix}1&0\\0&-1\end{bmatrix}$.

**Conformal and Conjugate Conformal**

The partial derivatives of a general differentiable function on $\mathbb{R}^2$ given by $x+iy\mapsto u+iv$ are usually given in a $2\times2$ Jacobian matrix:

$$

\frac{\partial(u,v)}{\partial(x,y)}=\begin{bmatrix}\frac{\partial u}{\partial x}&\frac{\partial v}{\partial x}\\\frac{\partial u}{\partial y}&\frac{\partial v}{\partial y}\end{bmatrix}\tag{3}

$$

The Cauchy-Riemann equations specify that $\dfrac{\partial u}{\partial x}=\dfrac{\partial v}{\partial y}$ and $\dfrac{\partial u}{\partial y}=-\dfrac{\partial v}{\partial x}$, which agrees with the following basis for the orientation-preserving conformal Jacobians on $\mathbb{R}^2$:

$$

\left\{\begin{bmatrix}1&0\\0&1\end{bmatrix},\begin{bmatrix}0&1\\-1&0\end{bmatrix}\right\}\tag{4}

$$

Note that the determinant of any linear combination of these matrices has positive determinant (thus orientation is preserved).

The following basis for the orientation-reversing conformal Jacobians on $\mathbb{R}^2$ follows by composing conjugation with $(4)$:

$$

\left\{\begin{bmatrix}1&0\\0&-1\end{bmatrix},\begin{bmatrix}0&1\\1&0\end{bmatrix}\right\}\tag{5}

$$

Note that the determinant of any linear combination of these matrices has negative determinant (thus orientation is reversed).

Using $(4)$ and $(5)$, we can break any Jacobian into conformal and conjugate conformal parts. Using the component-wise orthogonality that exists among the bases, we can write the conformal part as

$$

\frac{1}{2}\left(\frac{\partial u}{\partial x}+\frac{\partial v}{\partial y}\right)\begin{bmatrix}1&0\\0&1\end{bmatrix}+\frac{1}{2}\left(\frac{\partial v}{\partial x}-\frac{\partial u}{\partial y}\right)\begin{bmatrix}0&1\\-1&0\end{bmatrix}\tag{6}

$$

and the conjugate conformal part as

$$

\frac{1}{2}\left(\frac{\partial u}{\partial x}-\frac{\partial v}{\partial y}\right)\begin{bmatrix}1&0\\0&-1\end{bmatrix}+\frac{1}{2}\left(\frac{\partial v}{\partial x}+\frac{\partial u}{\partial y}\right)\begin{bmatrix}0&1\\1&0\end{bmatrix}\tag{7}

$$

**$\dfrac{\partial}{\partial z}$, $\dfrac{\partial}{\partial\bar{z}}$, and Quaternions**

The definitions of $\dfrac{\partial}{\partial z}$ and $\dfrac{\partial}{\partial\bar{z}}$ say

$$

\begin{align}

\frac{\partial}{\partial z}(u+iv)

&=\frac{1}{2}\left(\frac{\partial}{\partial x}-i\frac{\partial}{\partial y}\right)(u+iv)\\

&=\frac{1}{2}\left(\frac{\partial u}{\partial x}+\frac{\partial v}{\partial y}\right)+\frac{i}{2}\left(\frac{\partial v}{\partial x}-\frac{\partial u}{\partial y}\right)\tag{8}

\end{align}

$$

and

$$

\begin{align}

\frac{\partial}{\partial\bar{z}}(u+iv)

&=\frac{1}{2}\left(\frac{\partial}{\partial x}+i\frac{\partial}{\partial y}\right)(u+iv)\\

&=\frac{1}{2}\left(\frac{\partial u}{\partial x}-\frac{\partial v}{\partial y}\right)+\frac{i}{2}\left(\frac{\partial v}{\partial x}+\frac{\partial u}{\partial y}\right)\tag{9}

\end{align}

$$

The space of $2\times2$ Jacobians has $4$ dimensions, so trying to represent these $4$ dimensions with the $2$ dimensions of $\mathbb{C}$, using $\dfrac{\partial}{\partial z}$ and $\dfrac{\partial}{\partial\bar{z}}$, obscures something.

There is a common matrix representation of the complex numbers as $2\times2$ real matrices where

$$

\begin{align}

\mathbf{1}&\leftrightarrow\begin{bmatrix}1&0\\0&1\end{bmatrix}\tag{10}\\

\mathbf{i}&\leftrightarrow\begin{bmatrix}0&1\\-1&0\end{bmatrix}\tag{11}

\end{align}

$$

However, there is also a matrix representation of the quaternions as $2\times2$ complex matrices where, in addition to $(10)$ and $(11)$,

$$

\begin{align}

\mathbf{j}&\leftrightarrow\begin{bmatrix}i&0\\0&-i\end{bmatrix}\tag{12}\\

\mathbf{k}&\leftrightarrow\begin{bmatrix}0&-i\\-i&0\end{bmatrix}\tag{13}

\end{align}

$$

Embed $(8)$ and $(9)$ in the quaternions to get

$$

\left(\frac{\partial}{\partial z}(u+iv)\right)\mathbf{1}

=\frac{\mathbf{1}}{2}\left(\frac{\partial u}{\partial x}+\frac{\partial v}{\partial y}\right)+\frac{\mathbf{i}}{2}\left(\frac{\partial v}{\partial x}-\frac{\partial u}{\partial y}\right)\tag{14}

$$

and

$$

\left(\frac{\partial}{\partial\bar{z}}(u+iv)\right)\mathbf{j}

=\frac{\mathbf{j}}{2}\left(\frac{\partial u}{\partial x}-\frac{\partial v}{\partial y}\right)+\frac{\mathbf{k}}{2}\left(\frac{\partial v}{\partial x}+\frac{\partial u}{\partial y}\right)\tag{15}

$$

Finally, substituting $(10)$-$(13)$ into $(14)$ and $(15)$, it becomes apparent, upon comparison with $(6)$ and $(7)$, that $\left(\dfrac{\partial}{\partial z}(u+iv)\right)\mathbf{1}$ represents the conformal part of the Jacobian and $\left(\dfrac{\partial}{\partial\bar{z}}(u+iv)\right)\mathbf{j}$ represents the conjugate conformal part.

**Conclusion**

For a general $f:\mathbb{C}\mapsto\mathbb{C}$, $\dfrac{\partial}{\partial z}f$ can be mapped to the conformal part of the $2\times2$ Jacobian, $\dfrac{\partial f}{\partial z}=\dfrac{\partial(u,v)}{\partial(x,y)}$, and $\dfrac{\partial}{\partial\bar{z}}f$ can be mapped to the conjugate conformal part. It is merely convenience of notation that we write $\dfrac{\partial}{\partial z}$ and $\dfrac{\partial}{\partial\bar{z}}$ because $\dfrac{\partial}{\partial z}f\;\mathrm{d}z+\dfrac{\partial}{\partial\bar{z}}f\;\mathrm{d}\bar{z}=\mathrm{d}f$. However, they are not true partial derivatives, but $2$ pieces of a $2\times2$ Jacobian composed of $4$ partial derivatives.

So, to answer the question asked, $z\mapsto\bar{z}$ is conjugate conformal, so $\frac{\partial}{\partial z}\bar{z}=0$; therefore, $\bar{z}$ acts like a constant under $\frac{\partial}{\partial z}$.

$\displaystyle{\frac{\partial}{\partial z}}$ and $\displaystyle{\frac{\partial}{\partial \overline z}}$ are defined such that $\displaystyle{\frac{\partial}{\partial z} z=1}$, $\displaystyle{\frac{\partial}{\partial z}\overline{z}=0}$, $\displaystyle{\frac{\partial}{\partial \overline z} z=0}$, and $\displaystyle{\frac{\partial}{\partial \overline z}\overline z=1}$. This shows why $\overline{z}$ can be treated as constant when differentiating with respect to $z$, in that differentiating something like $z\overline z + 3\overline{z}^3$ with respect to $z$ is very similar to differentiating $xy+3y^3$ with respect to $x$.

In terms of real coordinates, $z=x+iy$, $\overline z=x-iy$, $\displaystyle{\frac{\partial}{\partial z}=\frac{1}{2}\left(\frac{\partial}{\partial x}- i\frac{\partial}{\partial y}\right)}$ and $\displaystyle{\frac{\partial}{\partial \overline z}=\frac{1}{2}\left(\frac{\partial}{\partial x}+ i\frac{\partial}{\partial y}\right)}$.

The Cauchy-Riemann equations are related, because they are equivalent to $\displaystyle{\frac{\partial}{\partial \overline z}f=0}$.

- Idea behind defining a Projective System
- Is there any generalization of the hyperarithmetical hierarchy using the analytical hierarchy to formulas belonging to third-order logic and above?
- Functional Analysis – Banach-Steinhaus theorem
- Integral $ \int_{-\infty}^\infty \frac{e^{ikx}}{x^{3/2}}dx$
- Is the rank of a matrix the same of its transpose? If yes, how can I prove it?
- Computing Ancestors of # for Stern-Brocot Tree
- Eigenvalues of the principal submatrix of a Hermitian matrix
- Continuous mapping on a compact metric space is uniformly continuous
- Give the remainder of $x^{100}$ divided by $(x-2)(x-1)$.
- Why formulate continuity in terms of pre-images instead of image?
- Proving that infinite union of simple groups is also simple group
- If $\alpha$ is an irrational real number, why is $\alpha\mathbb{Z}+\mathbb{Z}$ dense in $\mathbb{R}$?
- How to create 2×2 matrix to rotate vector to right side?
- Is the matrix square root uniformly continuous?
- Exercise review: perpendicular-to-plane line