Namespaces
Variants
Actions

Generalized analytic function

From Encyclopedia of Mathematics
Revision as of 16:57, 7 February 2011 by 127.0.0.1 (talk) (Importing text file)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

A function satisfying a system

(1)

with real coefficients that are functions of the real variables and . Using the notations

the original system can be written in the form

If the coefficients and of the system (1) belong to the class , , in the whole -plane , then in any domain of this plane every generalized analytic function satisfying (1) can be represented in the form

(2)

where

and is a well-defined analytic function of in .

The relation between a generalized analytic function and an analytic function, given by formula (2), is non-linear if . In terms of a given analytic function, the generalized analytic function is uniquely determined by the non-linear integral equation (2).

There exists a linear operator

(3)

that establishes a one-to-one correspondence between the set of functions that are analytic in a bounded domain and continuous on the closed domain , and the set of generalized analytic functions on , where and are well-defined functions which can be expressed in terms of the coefficients and of the system (1).

Formula (3) leads to various integral representations for generalized analytic functions, generalizing the Cauchy integral formula for analytic functions. The representation of a generalized analytic function in the form (3) turns out to be useful in the investigation of boundary value problems for generalized analytic functions.

If and are analytic functions of the real variables , then one has the following representation of the generalized analytic functions defined in a simply-connected domain:

(4)

in which and are analytic functions of their arguments, expressible in terms of and , and is an arbitrary analytic function of . (Formula (4) is not a special case of formula (3).)

In particular, when and are entire functions of and , then (4) is valid for any simply-connected domain in the -plane.

The problem of reducing a general second-order elliptic equation

(5)

to the form

is equivalent to the problem of reducing the positive quadratic form to canonical form. The latter problem, in turn, reduces to that of finding homeomorphisms defined by solutions of the Beltrami equation

(6)

where

If (5) is a uniformly-elliptic equation (), then .

The basic problem in the study of the Beltrami equation is the construction of a solution for a given domain . This follows from the following assertion: If is a solution of the Beltrami equation, realizing a homeomorphism of the domain onto the domain , then every other solution in has the form

(7)

where is an arbitrary analytic function in .

When is measurable, outside and , then a single-valued solution of the Beltrami equation (6) is given by the function

(8)

where satisfies the singular integral equation (the integral is understood as a Cauchy principal value)

(9)

This equation has a unique solution in some class , . It can be obtained by, for example, the method of successive approximation (cf. Sequential approximation, method of). The function (8) belongs to the class , , and realizes a topological mapping of the plane onto itself, with , as . If , , , then .

A uniformly-elliptic system consisting of two general first-order elliptic equations has, in complex notation, the form

(10)

By means of a homeomorphism defined by a solution of a certain equation of the form (6), the system (10) can be reduced to the form (1). But it can also be studied directly, avoiding thereby certain additional restrictions.

Consider equation (10) in some bounded domain with the conditions , . Then every solution of (10) can be represented in the form

(11)

where is a homeomorphism defined by a solution of the Beltrami equation (6) with coefficient

is an analytic function in the domain ; and , , is holomorphic outside and vanishes at infinity. The representation (11) also holds when the coefficients at the left-hand side of (10) depend on and its derivatives of any order, provided that the conditions given above are satisfied for the solutions considered. As in (2), formula (11) can be inverted.

Formula (11) allows one to transfer a whole of series of properties of the classical theory of analytic functions to solutions of (10): the uniqueness theorem (cf. Uniqueness properties of analytic functions), the principle of the argument (cf. Argument, principle of the), the maximum principle, etc.

A general -quasi-conformal mapping is a solution of some uniformly-elliptic system of the form (10) (with ). The converse is also valid. Hence the results stated above enable one to solve basic problems on quasi-conformal mapping by purely analytic means.

The theory of generalized analytic functions has made an exhaustive investigation of a generalized Riemann–Hilbert problem possible (cf. also Riemann–Hilbert problem (analytic functions)). The problem is to find a solution of (1) continuous on , with boundary condition

(12)

where are given real-valued functions in , , and . In general, the domain is multiply connected.

Problem (12) can be reduced to an equivalent singular integral equation, and a complete qualitative analysis of the boundary value problem (12) can be obtained.

Let the boundary of the domain consist of a finite number of simple closed curves , satisfying the Lyapunov conditions (cf. Lyapunov surfaces and curves). Since the form of the equation and the boundary conditions remain unchanged under conformal mapping, one may assume without loss of generality that is the unit circle with centre at lying in the domain considered, and that are circles lying inside .

The index of the problem (12) is the integer equal to the change in

when the point goes round once in the positive direction. The boundary condition can be reduced to the simpler form

where on , with , and where are certain real parameters which can be uniquely expressed in terms of and .

For the adjoint problem:

(13)

the index is given by the formula .

The basic results for the problem (12) can be formulated as follows.

1) Problem (12) has a solution if and only if

where is an arbitrary solution of the adjoint problem.

2) Let and be the numbers of linearly independent solutions of the homogeneous problems (12) and (13), respectively. Then .

3) If , then the homogeneous problem (12) has no non-trivial solutions.

4) If , then the homogeneous problem (12) has exactly linearly independent solutions, and the inhomogeneous problem (12) has a (unique) solution if and only if ; ; ; and where is a complete system of solutions of the homogeneous problem (13).

5) If and , then and all solutions of the homogeneous problem have the form , where is a real constant and is a continuous function on .

The above results completely characterize the problem (12) in the simply-connected and multiply-connected (, ) cases. The case requires special consideration.

References

[1] I.N. Vekua, "Generalized analytic functions" , Pergamon (1962) (Translated from Russian)


Comments

Of course, an analytic function satisfies (i.e. ), whence the name "generalized analytic function" , sometimes also pseudo-analytic function (cf. [a1], [a2]), for a function satisfying (1).

The system (1) is usually called the Carleman system or Bers–Vekua system.

For the Riemann–Hilbert problem see also [a4].

References

[a1] L. Bers, "An outline of the theory of pseudo-analytic functions" Bull. Amer. Math. Soc. , 62 (1956) pp. 291–331
[a2] L. Bers, "Theory of pseudo-analytic functions" , New York Univ. Inst. Math. Mech. (1953)
[a3] Yu.L. Rodin, "Generalized analytic functions on Riemann surfaces" , Springer (1987)
[a4] Yu.L. Rodin, "The Riemann boundary problem on Riemann surfaces" , Reidel (1988) (Translated from Russian)
How to Cite This Entry:
Generalized analytic function. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Generalized_analytic_function&oldid=47068
This article was adapted from an original article by A.V. Bitsadze (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article