Monogenic function
A function of a complex variable having a finite derivative. More precisely, a function defined on a set
of the complex plane
is called monogenic (with respect to
) at a finite non-isolated point
if it has a finite derivative
with respect to
at this point:
![]() |
A function which is monogenic at every non-isolated point of is called monogenic on
.
If is a domain in
, then a monogenic function on
is called an analytic function on
.
If is not a domain, then a monogenic function on
, in general, will no longer have the typical properties of an analytic function. However, if a set
, which itself is not a domain, is sufficiently "massive" near a majority of its points (more precisely, if the complement of
in
is sufficiently thin near a majority of
), then a monogenic function on
has, in a weakened form, many of the properties of an analytic function. In attempts to gain a deep understanding of connections between properties of analytic functions, the notion of an analytic function has been generalized in various directions: by generalizing the domain of definition, by generalizing the very notion of the derivative itself, by weakening the Cauchy–Riemann conditions, by weakening the condition of Morera's theorem, etc. (see [13], Chapt. 6). To this end, for "thin" sets
, for example, for a segment
, the so-called quasi-analytic classes (cf. Quasi-analytic class) of functions have been picked out. Functions defined on nowhere-dense sufficiently massive compact sets
, which are close to analytic functions in the sense that they can be uniformly approximated to any accuracy by analytic functions, or, what is the same thing, by rational functions of
, have also been studied.
Below some results in the areas listed are given.
1. Functions monogenic in a domain.
If (here
and
are real-valued functions), then for
to be analytic in a domain
it is sufficient (and necessary) that at every point
the following two conditions are simultaneously satisfied: 1)
and
have total differentials
and
with respect to the set of real variables
; and 2) the Cauchy–Riemann conditions are satisfied:
![]() |
The conditions of this theorem can be weakened and generalized. For example, it has been shown that the requirement of existence of the total differentials for and
can be replaced by the essentially weaker condition of boundedness of
and
in
and, while preserving the requirement of the existence of the first partial derivatives of
and
everywhere in
, requiring only that the Cauchy–Riemann equations be satisfied almost-everywhere in
(in the sense of the Lebesgue measure in the plane) (see [6]).
Let be any pair of distinct lines intersecting at
, let
be any triple of pairwise non-collinear rays emanating from
and let
be any measurable set having
as a Lebesgue density point. Analyticity of a continuous function
in
is guaranteed by each of the following conditions individually (see [3]–[5]): a)
exists everywhere in
; b)
exists everywhere in
; or c)
exists everywhere in
. Here each of the sets
,
and
has its own definition at each point. It must be noted that
depends on
and
but not on
; the derivative
![]() |
is called an asymptotic (approximate) derivative, and a function having a asymptotic derivative at a point (respectively, in a domain
) is called asymptotically monogenic at
(in
). Instead of condition b) it suffices to require the existence of a limit for
![]() |
2. Functions monogenic on nowhere-dense sets.
E. Borel [8] constructed a connected perfect set (a continuum) without interior points and an increasing sequence
of perfect sets such that the area
of
is positive,
![]() |
and such that monogeneity of on
(or even on each set
,
) implies that
is infinitely differentiable with respect to
for each fixed
. One could give comparatively general sufficient conditions on
so that
has this property, or the weaker property of
times differentiability with respect to
, where
is a natural number given in advance. Sufficient conditions on the nowhere-dense continuum
have also been found so that for monogenic functions on it, analogues of Cauchy's integral theorem, Taylor series expansions and various forms of uniqueness theorems hold. One example of the latter: If two monogenic functions
and
on
coincide on some portion of
(that is, on the non-empty intersection of
with an open disc), then
on
(see [9]).
3. Functions close to analytic functions.
As is well known, any function that is analytic in a domain
is the limit of a sequence of rational functions
which converge to
uniformly on each compact set
. If one considers a sufficiently massive nowhere-dense continuum
and the class
of functions
,
, for which there is a sequence of rational functions
uniformly converging to
, then one obtains yet another generalization of the notions of a domain and a function
analytic on
. If
is a nowhere-dense set in
, then one can always find a function
not having a derivative
at any
(see [10]). However, for every
,
, it is possible to give conditions on
under which every
has derivatives
, where
, where
is closed,
and
(see [11]). M.V. Keldysh has constructed an example of a nowhere-dense continuum
on which the uniqueness theorem in the form quoted at the end of Subsection
holds for functions
(see also [12]). (Concerning the monogenic properties of functions from
in terms of functional analysis see [12], Chapt. I, Sect. 17.) The dependence of the monogenic properties of a function
on the speed of its approximation by rational functions has also been investigated.
References
[1] | V.S. Fedorov, "The work of N.N. Luzin on the theory of functions of a complex variable" Uspekhi Mat. Nauk , 7 : 2 (1952) pp. 7–16 (In Russian) |
[2] | H. Bohr, "Ueber streckentreue und konforme Abbildung" Math. Z. , 1 (1918) pp. 403–420 |
[3] | D.E. Men'shov, "Sur la généralisation des conditions de Cauchy–Riemann" Fund. Math. , 25 (1935) pp. 59–97 |
[4] | D.E. Men'shov, "Les conditions de monogénéité" , Hermann (1936) |
[5] | D.E. Men'shov, "On asymptotic monogeneity" Mat. Sb. , 1 (1936) pp. 189–210 (In Russian) |
[6] | G.P. Tolstov, "On curvilinear and repeated integrals" Trudy Mat. Inst. Steklov. , 35 (1950) (In Russian) |
[7] | Yu.Yu. Trokhimchuk, "Continuous mappings and monogeneity conditions" , Moscow (1963) (In Russian) |
[8] | E. Borel, "Leçons sur les fonctions monogènes uniformes d'une variable complexe" , Gauthier-Villars (1917) |
[9] | A.I. Seleznev, "On functions monogenic on nowhere closed sets and sets of type ![]() |
[10] | E.P. Dolzhenko, "Construction on a nowhere dense continuum of a nowhere differentiable function which can be expanded in a series of rational functions" Dokl. Akad. Nauk SSSR , 125 : 5 (1959) pp. 970–973 (In Russian) |
[11] | E.P. Dolzhenko, "Approximation on closed regions and zero-sets" Soviet Math. Dokl. , 3 : 2 (1962) pp. 472–475 Dokl. Akad. Nauk SSSR , 143 : 4 (1962) pp. 771–774 |
[12] | M.S. Mel'nikov, S.O. Sinanyan, "Aspects of approximation theory for functions of one complex variable" J. Soviet Math. , 5 : 5 (1976) pp. 688–752 Itogi Nauk. i Tekhn. Sovrem. Probl. Mat. , 4 (1975) pp. 143–250 |
[13] | A.F. Bermant, A.I. Markushevich, "Theory of functions of a complex variable" , Mathematics in the USSR during thirty years: 1917–1947 , Moscow-Leningrad (1948) pp. 319–481 (In Russian) |
[14] | D.S. Telyakovskii, "Generalization of the Looman–Men'shov theorem" Math. Notes , 19 : 4 (1986) pp. 296–301 Mat. Zametki , 39 : 4 (1986) pp. 539–549 |
Monogenic function. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Monogenic_function&oldid=15905