Antiholomorphic Function
   HOME

TheInfoList



OR:

In
mathematics Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many ar ...
, antiholomorphic functions (also called antianalytic functionsEncyclopedia of Mathematics, Springer and The European Mathematical Society, https://encyclopediaofmath.org/wiki/Anti-holomorphic_function, As of 11 September 2020, This article was adapted from an original article by E. D. Solomentsev (originator), which appeared in Encyclopedia of Mathematics, .) are a family of
function Function or functionality may refer to: Computing * Function key, a type of key on computer keyboards * Function model, a structured representation of processes in a system * Function object or functor or functionoid, a concept of object-orie ...
s closely related to but distinct from
holomorphic function In mathematics, a holomorphic function is a complex-valued function of one or more complex variables that is complex differentiable in a neighbourhood of each point in a domain in complex coordinate space . The existence of a complex de ...
s. A function of the complex variable z defined on an
open set In mathematics, an open set is a generalization of an Interval (mathematics)#Definitions_and_terminology, open interval in the real line. In a metric space (a Set (mathematics), set with a metric (mathematics), distance defined between every two ...
in the
complex plane In mathematics, the complex plane is the plane (geometry), plane formed by the complex numbers, with a Cartesian coordinate system such that the horizontal -axis, called the real axis, is formed by the real numbers, and the vertical -axis, call ...
is said to be antiholomorphic if its
derivative In mathematics, the derivative is a fundamental tool that quantifies the sensitivity to change of a function's output with respect to its input. The derivative of a function of a single variable at a chosen input value, when it exists, is t ...
with respect to \bar z exists in the neighbourhood of each and every point in that set, where \bar z is the
complex conjugate In mathematics, the complex conjugate of a complex number is the number with an equal real part and an imaginary part equal in magnitude but opposite in sign. That is, if a and b are real numbers, then the complex conjugate of a + bi is a - ...
of z. A definition of antiholomorphic function follows:
" function f(z) = u + i v of one or more complex variables z = \left(z_1, \dots, z_n\right) \in \Complex^n s said to be anti-holomorphic if (and only if) itis the complex conjugate of a holomorphic function \overline = u - i v."
One can show that if f(z) is a
holomorphic function In mathematics, a holomorphic function is a complex-valued function of one or more complex variables that is complex differentiable in a neighbourhood of each point in a domain in complex coordinate space . The existence of a complex de ...
on an open set D, then f(\bar z) is an antiholomorphic function on \bar D, where \bar D is the reflection of D across the real axis; in other words, \bar D is the set of complex conjugates of elements of D. Moreover, any antiholomorphic function can be obtained in this manner from a holomorphic function. This implies that a function is antiholomorphic
if and only if In logic and related fields such as mathematics and philosophy, "if and only if" (often shortened as "iff") is paraphrased by the biconditional, a logical connective between statements. The biconditional is true in two cases, where either bo ...
it can be expanded in a
power series In mathematics, a power series (in one variable) is an infinite series of the form \sum_^\infty a_n \left(x - c\right)^n = a_0 + a_1 (x - c) + a_2 (x - c)^2 + \dots where ''a_n'' represents the coefficient of the ''n''th term and ''c'' is a co ...
in \bar z in a neighborhood of each point in its domain. Also, a function f(z) is antiholomorphic on an open set D if and only if the function \overline is holomorphic on D. If a function is both holomorphic and antiholomorphic, then it is constant on any connected component of its domain.


References

Complex analysis Types of functions {{mathanalysis-stub