Antiholomorphic function

Last updated

In mathematics, antiholomorphic functions (also called antianalytic functions [1] ) are a family of functions closely related to but distinct from holomorphic functions.

A function of the complex variable z defined on an open set in the complex plane is said to be antiholomorphic if its derivative with respect to z exists in the neighbourhood of each and every point in that set, where z is the complex conjugate.

A definition of antiholomorphic function follows: [1]

"[a] function of one or more complex variables [is said to be anti-holomorphic if (and only if) it] is the complex conjugate of a holomorphic function ."

One can show that if f(z) is a holomorphic function on an open set D, then f(z) is an antiholomorphic function on D, where D is the reflection against the x-axis of D, or in other words, 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 it can be expanded in a power series in 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 f(z) is holomorphic on D.

If a function is both holomorphic and antiholomorphic, then it is constant on any connected component of its domain.

Related Research Articles

Complex analysis Branch of mathematics studying functions of a complex variable

Complex analysis, traditionally known as the theory of functions of a complex variable, is the branch of mathematical analysis that investigates functions of complex numbers. It is helpful in many branches of mathematics, including algebraic geometry, number theory, analytic combinatorics, applied mathematics; as well as in physics, including the branches of hydrodynamics, thermodynamics, and particularly quantum mechanics. By extension, use of complex analysis also has applications in engineering fields such as nuclear, aerospace, mechanical and electrical engineering.

Cauchy–Riemann equations Conditions required of holomorphic (complex differentiable) functions

In the field of complex analysis in mathematics, the Cauchy–Riemann equations, named after Augustin Cauchy and Bernhard Riemann, consist of a system of two partial differential equations which, together with certain continuity and differentiability criteria, form a necessary and sufficient condition for a complex function to be holomorphic. This system of equations first appeared in the work of Jean le Rond d'Alembert. Later, Leonhard Euler connected this system to the analytic functions. Cauchy then used these equations to construct his theory of functions. Riemann's dissertation on the theory of functions appeared in 1851.

Holomorphic function Complex-differentiable (mathematical) 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 Cn. The existence of a complex derivative in a neighbourhood is a very strong condition: it implies that a holomorphic function is infinitely differentiable and locally equal to its own Taylor series (analytic). Holomorphic functions are the central objects of study in complex analysis.

Riemann mapping theorem

In complex analysis, the Riemann mapping theorem states that if U is a non-empty simply connected open subset of the complex number plane C which is not all of C, then there exists a biholomorphic mapping f from U onto the open unit disk

Conformal map Mathematical function which preserves angles

In mathematics, a conformal map is a function that locally preserves angles, but not necessarily lengths.

Harmonic function Functions in mathematics

In mathematics, mathematical physics and the theory of stochastic processes, a harmonic function is a twice continuously differentiable function f : UR, where U is an open subset of Rn, that satisfies Laplace's equation, that is,

Cauchys integral theorem Theorem in complex analysis

In mathematics, the Cauchy integral theorem in complex analysis, named after Augustin-Louis Cauchy, is an important statement about line integrals for holomorphic functions in the complex plane. Essentially, it says that if is holomorphic in a simply connected domain Ω, then for any simply closed contour in Ω, that contour integral is zero.

Analytic function Type of function in mathematics

In mathematics, an analytic function is a function that is locally given by a convergent power series. There exist both real analytic functions and complex analytic functions. Functions of each type are infinitely differentiable, but complex analytic functions exhibit properties that do not generally hold for real analytic functions. A function is analytic if and only if its Taylor series about x0 converges to the function in some neighborhood for every x0 in its domain.

Meromorphic function Class of mathematical function

In the mathematical field of complex analysis, a meromorphic function on an open subset D of the complex plane is a function that is holomorphic on all of Dexcept for a set of isolated points, which are poles of the function. The term comes from the Ancient Greek meros, meaning "part".

Complex conjugate Fundamental operation on complex numbers

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, the complex conjugate of is equal to The complex conjugate of is often denoted as

In complex analysis, the Hardy spacesHp are certain spaces of holomorphic functions on the unit disk or upper half plane. They were introduced by Frigyes Riesz, who named them after G. H. Hardy, because of the paper. In real analysis Hardy spaces are certain spaces of distributions on the real line, which are boundary values of the holomorphic functions of the complex Hardy spaces, and are related to the Lp spaces of functional analysis. For 1 ≤ p ≤ ∞ these real Hardy spaces Hp are certain subsets of Lp, while for p < 1 the Lp spaces have some undesirable properties, and the Hardy spaces are much better behaved.

The theory of functions of several complex variables is the branch of mathematics dealing with complex-valued functions. The name of the field dealing with the properties of function of several complex variables is called several complex variables, that has become a common name for that whole field of study and Mathematics Subject Classification has, as a top-level heading. A function is n-tuples of complex numbers, classically studied on the complex coordinate space .

Moreras theorem

In complex analysis, a branch of mathematics, Morera's theorem, named after Giacinto Morera, gives an important criterion for proving that a function is holomorphic.

In mathematics, a real-valued function defined on a connected open set is said to have a conjugate (function) if and only if they are respectively the real and imaginary parts of a holomorphic function of the complex variable That is, is conjugate to if is holomorphic on As a first consequence of the definition, they are both harmonic real-valued functions on . Moreover, the conjugate of if it exists, is unique up to an additive constant. Also, is conjugate to if and only if is conjugate to .

In the mathematical study of several complex variables, the Bergman kernel, named after Stefan Bergman, is the reproducing kernel for the Hilbert space (RKHS) of all square integrable holomorphic functions on a domain D in Cn.

In mathematics, subharmonic and superharmonic functions are important classes of functions used extensively in partial differential equations, complex analysis and potential theory.

Antiderivative (complex analysis) Concept in complex analysis

In complex analysis, a branch of mathematics, the antiderivative, or primitive, of a complex-valued function g is a function whose complex derivative is g. More precisely, given an open set in the complex plane and a function the antiderivative of is a function that satisfies .

Biholomorphism Bijective holomorphic function with a holomorphic inverse

In the mathematical theory of functions of one or more complex variables, and also in complex algebraic geometry, a biholomorphism or biholomorphic function is a bijective holomorphic function whose inverse is also holomorphic.

In complex analysis of one and several complex variables, Wirtinger derivatives, named after Wilhelm Wirtinger who introduced them in 1927 in the course of his studies on the theory of functions of several complex variables, are partial differential operators of the first order which behave in a very similar manner to the ordinary derivatives with respect to one real variable, when applied to holomorphic functions, antiholomorphic functions or simply differentiable functions on complex domains. These operators permit the construction of a differential calculus for such functions that is entirely analogous to the ordinary differential calculus for functions of real variables.

In mathematics, a tube domain is a generalization of the notion of a vertical strip in the complex plane to several complex variables. A strip can be thought of as the collection of complex numbers whose real part lie in a given subset of the real line and whose imaginary part is unconstrained; likewise, a tube is the set of complex vectors whose real part is in some given collection of real vectors, and whose imaginary part is unconstrained.

References

  1. 1 2 Encyclopedia 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, ISBN   1402006098.