The relationship between the zeros of an analytic function and its derivative

Introduction

An analytic function is a function that can be locally expressed as a power series around each point in its domain. Such functions are fundamental in complex analysis, as they possess properties like holomorphicity and the Cauchy-Riemann equations. The study of zeros of analytic functions often involves understanding their behavior under differentiation. This article explores the relationship between the zeros of an analytic function and the zeros of its derivative, focusing on the multiplicity of zeros and the implications of the derivative's zeros.

Multiplicity of Zeros and the Derivative

If an analytic function $ f(z) $ has a zero of multiplicity $ m $ at a point $ z = a $, then the Taylor series expansion of $ f(z) $ around $ z = a $ is given by:
$$ f(z) = (z - a)^m g(z), $$
where $ g(a) \neq 0 $. The derivative of $ f(z) $ at $ z = a $ is:
$$ f'(a) = m g(a) + \text{higher-order terms}. $$
This reveals that the derivative of $ f(z) $ at $ z = a $ has a zero of multiplicity $ m - 1 $, provided $ g(a) \neq 0 $. This relationship is a cornerstone of complex analysis, as it connects the behavior of a function and its derivative at isolated zeros.

The multiplicity of a zero in the derivative provides insight into the original function's behavior. For instance, if $ f(z) $ has a zero of multiplicity $ m $ at $ z = a $, then $ f'(z) $ has a zero of multiplicity $ m - 1 $ at $ z = a $. This implies that the derivative's zero at a point is strictly one less in multiplicity than the original function's zero. Such relationships are critical in the study of meromorphic functions and their singularities.

The Derivative's Zeros and the Original Function

The zeros of the derivative of an analytic function are closely tied to the zeros of the function itself. If $ f(z) $ has a zero of multiplicity $ m $ at $ z = a $, then $ f'(z) $ has a zero of multiplicity $ m - 1 $ at $ z = a $. This property is particularly significant when analyzing the nature of zeros in complex analysis. For example, consider the function $ f(z) = (z - a)^m $. Its derivative is $ f'(z) = m(z - a)^{m - 1} $, which has a zero of multiplicity $ m - 1 $ at $ z = a $.

Conversely, if $ f'(z) $ has a zero at $ z = a $, it implies that $ f(z) $ has a zero of multiplicity at least $ m = \text{multiplicity of } f'(z) + 1 $. This connection is essential in the study of functions with prescribed zeros and their derivatives. For instance, if $ f'(z) $ has a zero of multiplicity $ k $ at $ z = a $, then $ f(z) $ has a zero of multiplicity $ k + 1 $ at $ z = a $.

Implications for Analytic Functions

The relationship between the zeros of an analytic function and its derivative has profound implications in complex analysis. One key implication is that if an analytic function has no zeros, its derivative must be non-zero everywhere. This follows from the fact that the derivative of a non-zero analytic function cannot vanish identically, as that would contradict the uniqueness of the power series representation.

Another important implication is the use of the logarithmic derivative. The logarithmic derivative of $ f(z) $ is given by:
$$ \frac{f'(z)}{f(z)} = \frac{d}{dz} \log f(z). $$
This derivative provides additional information about the zeros of $ f(z) $, as it can be used to determine the order of zeros. For example, if $ f(z) $ has a zero of multiplicity $ m $ at $ z = a $, then the logarithmic derivative $ \frac{f'(z)}{f(z)} $ has a pole of order $ m $ at $ z = a $. This connection between the derivative of the logarithm and the zeros of the original function is a powerful tool in complex analysis.

Examples and Applications

Consider the function $ f(z) = (z - 1)^3 $. Here, $ f(z) $ has a zero of multiplicity 3 at $ z = 1 $, and its derivative $ f'(z) = 3(z - 1)^2 $ has a zero of multiplicity 2 at $