Doubly Periodic Riemann Boundary Value Problem of Non-Normal Type for Analytic Functions on Two Parallel Curves ()
1. Introduction
Classical Riemann boundary value problems (RBVPs), doubly periodic or quasi-periodic RBVPs and Dirichlet Problems for analytic functions or for polyanalytic functions, on closed curves or on open arcs, have been widely investigated in papers [1] -[8] . The main approach is to use the decomposition of polyanalytic functions and their generalization to transform the given boundary value problems to their corresponding boundary value problems for analytic functions, and the fundamental and important tool for which is the Plemelj formula. Professor L. Xing proposed the Periodic Riemann Boundary Value Inverse Problems in paper [9] , and then various inverse RBVPs for generalized analytic functions or bianalytic functions have been investigated in papers [10] - [13] .
In present paper, we present a kind of doubly periodic RBVP of non-normal type for analytic functions on two parallel curves. On the basis of the results for normal type in paper [14] , we give the method for solving this kind of doubly periodic RBVP of non-normal type and obtain the explicit expressions of solutions and the solvable conditions for it.
2. Doubly Periodic RBVP of Non-Normal Type on Two Parallel Curves
Suppose that
,
are complex constants with
, and P denotes the fundamental period parallelogram with vertices
. The function

is called the Weierstrass
-function, where
, and
denotes the sum for all
, except for
.
Let
be the set of two parallel curves, lying entirely in the fundamental period parallelogram P,
not passing the origin
, with endpoints being periodic congruent and having the same tangent lines at the periodic congruent points. Let D1, D2, D3 denote the domains entirely in the fundamental period parallelogram P, cut by L01 and L02, respectively. Without loss of generality, we suppose that
see Figure 1. Let
,
be the curves periodically extended for L01 and L02 with period
, respectively. And
be the curves periodically extended for
with
.
We aim to is to find sectionally holomorphic, doubly periodic functions
and
, satisfying the following boundary conditions
(1)
where
,
with
, and
,
are doubly periodic with
,
.
are the boundary values of the function
, which is analytic in
and
, belonging to
the class
on L0j, satisfying the boundary conditions (1), and
are the boundary values of the func-
tion
, which is analytic in
, belonging to the class
on
, satisfying the boundary conditions (1). While
![]()
,
where
is doubly periodic, where
![]()
![]()
Figure 1. parallel curves in the fundamental period parallelogram P.
With k, t and
being integers. Without loss of generality, we suppose that
with cs,
, ![]()
as well as
and
.
Since
plays the same roles as other points on![]()
, it is natural to require that the unknown functions are bounded at
, that is, the unknown functions
and
are both bounded on
and
. And if we allow the solution
has poles of order
at
, it is actually to solve problem (1) in DRm.
3. Preliminary Notes
![]()
with
. Now we call the integer
the index of problem (1), where
is the integer satisfying
.
Since
can only be 0 and
, the index
can only take
.
Set
(2)
(3)
We can easily see that
will have singularities at most less than one order near the endpoints
and
. Let
(4)
then we have
, ,
where
and
. Thus
is not doubly periodic generally. In fact,
is doubly periodic if and only if
,
is positive integer for
. (5)
Lemma 1. Formula (5) is valid if and only if
,.
And if both
and
are true, then we have
and
, where
,
are all integers.
4. Solution for Problem (1)
Problem (1) can be transferred as
(6)
Case 1. If formula (5) holds, that is,
is doubly periodic, then by Lemma 1 we have
. (7)
The function
always has singularities less than one order near the endpoints
and ![]()
whatever
. And then both
and
must belong to class H or class H* on L01 and L02, respectively.
Set
(8)
, (9)
then (6) can be rewritten as
(10)
where
and
(or
and
) denote the boundary values of the functions
and
. By the definitions of
and
, we see that
(i)
has no zeros in domain
;
(ii) The part of
which has zeros in domain
is
;
(iii) The part of
which has zeros in domain
is
;
(iv)
has no zeros in domain
.
Write
![]()
When we solve problem (1) in
, the unknown function
is
-order at
. And now we will meet three kinds of situations in solving problem (1) in
, according to the value of
.
When
, problem (1) is solvable without any restrictive conditions and the general solution is given by
(11)
where
are arbitrary constants.
When
, problem (1) is solvable if and only if the restrictive conditions
(12)
are satisfied, and now the solution is given by
(13)
where
is arbitrary constant.
When
,
is the zero point of order
of the function
, and due to this the solution for problem (1) has
order at the point
. Now the solution for problem (1) can still be given by (13), but the following two restrictive conditions are necessary:
, (14)
(15)
(when
, the condition (15) is unnecessary).
Case 2. If formula (5) fails to hold, then by Lemma 1 we see that
. Let
,
then the function
become doubly periodic, and function
has singularities at most
less than one order near the endpoints
and![]()
. Thus now, we can transform (6) to
(16)
When
, the two functions
,
belong to class ![]()
or class
on
and
, respectively. Write
(17)
. (18)
By (17) and (18), we can rewrite (16) as
(19)
Now we will meet two kinds of situations in solving problem (1) in
.
(a) When
, the function
is an entire function. And we can write it without counting nonzero constant as
,
where
are determined by the identity
.
When
, problem (1) is solvable without any restrictive conditions and the general solution is given by
(20)
where
are arbitrary constants.
When
, problem (1) is solvable if and only if the restrictive conditions
(21)
are satisfied, and the general solution is given by
(22)
where
is arbitrary constant.
3˚ When
, problem (1) is solvable if and only if the restrictive conditions
(23)
are satisfied, and the general solution can still be given by (22) but with
(24)
(b) When
fails to hold, the function
has singularity of one order at z = 0,
and has singularities at most less than one order near the endpoints
and
, has a zero of order one at
.
When
, problem (1) is solvable and the general solution is given by
(25)
with the restrictive condition that
,
which is to ensure that the solution be finite at
, where
are arbitrary constants.
When
, problem (2.1) is solvable if and only if the restrictive conditions
(26)
are satisfied, and now the solution is given by
(27)
which is finite at
owing to its structure.
When
, if and only if both conditions (26) and the following conditions
(28)
(29)
(when
, (29) is unnecessary) are satisfied, problem (1) is solvable and the solution is given by
(30)
Funding
The project of this thesis is supported by “Heilongjiang Province Education Department Natural Science Research Item”, China (12541089).