Definition of Analytic

Complex Analysis · Axiom Academy

What it really means for a complex function to be differentiable — not at a point, but throughout a whole neighborhood. 1. Analytic = Differentiable on a Whole Disk Write the complex variable as z = x + iy . We say f is analytic at a point z_0 if there is an open disk D(z_0, r) — a small neighborhood of radius r > 0 — on which f is complex differentiable at every point, not merely at z_0 itself. f is analytic at z_0 when its derivative exists everywhere on some disk around z_0 Analytic on a domain. Once "analytic at a point" is fixed, the rest is automatic: f is analytic on an open set U when it is analytic at every point of U — equivalently, complex differentiable at every point of U . Checking the limit definition of f' directly is awkward. Instead, split f into real and imaginary parts, . Complex differentiability ties the four partial derivatives together by the Cauchy–Riemann equations : If u,v have continuous partials, these holding on U ⟺ f is analytic on U Worked test: f(z) = z^2 is analytic Expand , so u = x^2 - y^2 and v = 2xy : u_x = 2x = v_y ✓ and u_y = -2y = -v_x ✓ Both hold for every (x,y) and the partials are continuous, so z^2 is analytic on all of , with f'(z) = 2z — exactly the power rule. Same-looking input, opposite verdict: For the conjugate we get u = x , v = -y , so u_x = 1 but v_y = -1 . The first Cauchy–Riemann equation fails at every point — is analytic nowhere . The test, not the appearance, decides. 3. Why a Single Point Is Not Enough

This is the written version of the interactive lesson above. See the full Complex Analysis course.