Definition
Given a complex-valued function ƒ of a single complex variable, the derivative of ƒ at a point z0 in its domain is defined by the limit
This is the same as the definition of the derivative for real functions, except that all of the quantities are complex. In particular, the limit is taken as the complex number z approaches z0, and must have the same value for any sequence of complex values for z that approach z0 on the complex plane. If the limit exists, we say that ƒ is complex-differentiable at the point z0. This concept of complex differentiability shares several properties with real differentiability: it is linear and obeys the product rule, quotient rule, and chain rule.
If ƒ is complex differentiable at every point z0 in an open set U, we say that ƒ is holomorphic on U. We say that ƒ is holomorphic at the point z0 if it is holomorphic on some neighborhood of z0. We say that ƒ is holomorphic on some non-open set A if it is holomorphic in an open set containing A.
The relationship between real differentiability and complex differentiability is the following. If a complex function ƒ(x + i y) = u(x, y) + i v(x, y) is holomorphic, then u and v have first partial derivatives with respect to x and y, and satisfy the Cauchy–Riemann equations:
or, equivalently, the Wirtinger derivative of ƒ with respect to the complex conjugate of z is zero: which is to say that, roughly, ƒ is functionally independent from the complex conjugate of z.
If continuity is not a given, the converse is not necessarily true. A simple converse is that if u and v have continuous first partial derivatives and satisfy the Cauchy–Riemann equations, then ƒ is holomorphic. A more satisfying converse, which is much harder to prove, is the Looman–Menchoff theorem: if ƒ is continuous, u and v have first partial derivatives (but not necessarily continuous), and they satisfy the Cauchy–Riemann equations, then ƒ is holomorphic.
Read more about this topic: Holomorphic Function
Famous quotes containing the word definition:
“The physicians say, they are not materialists; but they are:MSpirit is matter reduced to an extreme thinness: O so thin!—But the definition of spiritual should be, that which is its own evidence. What notions do they attach to love! what to religion! One would not willingly pronounce these words in their hearing, and give them the occasion to profane them.”
—Ralph Waldo Emerson (1803–1882)
“Although there is no universal agreement as to a definition of life, its biological manifestations are generally considered to be organization, metabolism, growth, irritability, adaptation, and reproduction.”
—The Columbia Encyclopedia, Fifth Edition, the first sentence of the article on “life” (based on wording in the First Edition, 1935)
“Mothers often are too easily intimidated by their children’s negative reactions...When the child cries or is unhappy, the mother reads this as meaning that she is a failure. This is why it is so important for a mother to know...that the process of growing up involves by definition things that her child is not going to like. Her job is not to create a bed of roses, but to help him learn how to pick his way through the thorns.”
—Elaine Heffner (20th century)