Analytic vs complex differentiable functions explained

In complex analysis, a function is **complex-differentiable (holomorphic)** at a point if its derivative exists at that point. It is **analytic** if it can be locally represented by a convergent power series (Taylor series). While these definitions sound different, **they are completely equivalent in the complex plane**: every complex-differentiable function is automatically analytic. **1. Why Complex Differentiability Implies Analyticity** In real calculus, a function can be differentiable once without even having a continuous second derivative. But in the complex plane, if a function is differentiable once in an open neighborhood, it is **infinitely differentiable** and **analytic**. This astonishing fact comes from **Cauchy's Integral Formula**. If $f(z)$ is complex-differentiable on a disk, its value at any point $z$ inside that disk is completely locked in by its values on the boundary boundary ($\gamma$): $$f(z) = \frac{1}{2\pi i} \oint_{\gamma} \frac{f(w)}{w - z} dw$$ By expanding the term $\frac{1}{w-z}$ as a geometric series $\sum \frac{z^n}{w^{n+1}}$, we can integrate term by term. This forces the function to equal its power series expansion: $$f(z) = \sum_{n=0}^{\infty} c_n (z-z_0)^n$$ **2. The Reality: Why is this so different from Real Differentiability?** To understand why this happens, look at the physical reality of how directions work in real vs. complex domains. **- Real Differentiability (1D Constraints):** On the real line $\mathbb{R}$, a limit can only approach a point from **two directions**: the left ($+$) or the right ($-$). It is a weak condition. You can easily glue two different curves together smoothly at a point so that the first derivative exists, but higher derivatives fail. **- Complex Differentiability (2D Constraints):** In the complex plane $\mathbb{C}$, the limit $h \to 0$ must yield the *exact same value* from **infinitely many directions** (360 degrees). This rigid constraint forces the real ($u$) and imaginary ($v$) parts of $f(z) = u + iv$ to satisfy the **Cauchy-Riemann Equations**: $$\frac{\partial u}{\partial x} = \frac{\partial v}{\partial y} \quad \text{and} \quad \frac{\partial u}{\partial y} = -\frac{\partial v}{\partial x}$$ Taking partial derivatives again reveals that both $u$ and $v$ must satisfy **Laplace's Equation**: $$\frac{\partial^2 u}{\partial x^2} + \frac{\partial^2 u}{\partial y^2} = 0$$ Functions that satisfy this are called *harmonic functions*. In reality, this means complex differentiability isn't just about slopes; it acts like a physical tension (like a stretched rubber sheet). If the sheet is perfectly smooth in every direction at a local patch, that stiffness propagates inward, forcing the function to be infinitely smooth and analytic everywhere inside.