Misplaced Pages

Antiholomorphic function

Article snapshot taken from Wikipedia with creative commons attribution-sharealike license. Give it a read and then ask your questions in the chat. We can research this topic together.
This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.
Find sources: "Antiholomorphic function" – news · newspapers · books · scholar · JSTOR (December 2009) (Learn how and when to remove this message)

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

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

A definition of antiholomorphic function follows:

" function f ( z ) = u + i v {\displaystyle f(z)=u+iv} of one or more complex variables z = ( z 1 , , z n ) C n {\displaystyle z=\left(z_{1},\dots ,z_{n}\right)\in \mathbb {C} ^{n}} is the complex conjugate of a holomorphic function f ( z ) ¯ = u i v {\displaystyle {\overline {f\left(z\right)}}=u-iv} ."

One can show that if f ( z ) {\displaystyle f(z)} is a holomorphic function on an open set D {\displaystyle D} , then f ( z ¯ ) {\displaystyle f({\bar {z}})} is an antiholomorphic function on D ¯ {\displaystyle {\bar {D}}} , where D ¯ {\displaystyle {\bar {D}}} is the reflection of D {\displaystyle D} across the real axis; in other words, D ¯ {\displaystyle {\bar {D}}} is the set of complex conjugates of elements of D {\displaystyle 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 ¯ {\displaystyle {\bar {z}}} in a neighborhood of each point in its domain. Also, a function f ( z ) {\displaystyle f(z)} is antiholomorphic on an open set D {\displaystyle D} if and only if the function f ( z ) ¯ {\displaystyle {\overline {f(z)}}} is holomorphic on D {\displaystyle D} .

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

References

  1. ^ Encyclopedia of Mathematics, Springer and The European Mathematical Society, https://encyclopediaofmath.org/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.


Stub icon

This mathematical analysis–related article is a stub. You can help Misplaced Pages by expanding it.

Categories: