ON A BOUNDARY PROBLEM IN BOHR SPACE OF MULTIVARIATE ALMOST PERIODIC FUNCTIONS

Research article
DOI:
https://doi.org/10.60797/IRJ.2024.145.54
Issue: № 7 (145), 2024
Suggested:
18.06.2024
Accepted:
05.07.2024
Published:
17.07.2024
31
4
XML
PDF

Abstract

There are many applications of the theory of integral equations of Fredholm type. In the literature, applications of Fredholm theory to the questions of boundary problems of ordinary differential or equations with partial derivatives are best known. In this work, we consider the analogs of some problems of the theory of differential equations in Bohr spaces, solutions of which could be found by application of the theory of limit Fredholm equations in Bohr spaces of almost periodic functions. Differential equations are not solvable in the space of almost periodic functions, in general. By this reason, we modify posing of the problems with the aim that the question could solvable in Bohr space. In the work, we state the equivalent variant of boundary problems in the space of almost periodic functions.

1. Introduction

There are many applications of the theory of integral equations of Fredholm type. In the literature, applications of Fredholm theory to the questions of boundary problems of ordinary differential or equations with partial derivatives are best known. In this work, we consider some problems of the theory of differential equations, solutions of which could be found by application of the theory of limit Fredholm equations in Bohr spaces of almost periodic functions

,
,
,
. In this paper, we will consider the analogs of two boundary problems and solve them by the theory of limit Fredholm equations.

In general, differential equations are not solvable in the space of almost periodic functions. By this reason, we modify posing of the problems with the aim that the question could solvable in Bohr space. In the work, we state the equivalent variant of boundary problems in the space of almost periodic functions. The method of solution is based on the construction of the analog of Green function corresponding to the boundary problem and leading the problem to the solution of limit integral equations of Fredholm type.

It is best known that the integral equations of Fredholm are closely connected with differential equations of first order 

img

Many investigations were devoted to such equations in different classes of functions. In the Favard theory, for example, the special cases of these equations were considered for the class of Bohr almost periodic functions which belong to the class of continuous bounded functions. In some cases there are not almost periodic solutions for the equation

img

(see

) in which the functions img  and img are almost periodic.

There are examples (

) showing existence of unbounded almost periodic functions in Besicovitch sense which cannot be the solution to any differential equations of a view

img

with continuous function F.

In this work, we consider some problem of the theory of differential equations, solutions of which could be found by application of the theory of limit Fredholm equations in Bohr spaces of almost periodic functions

,
,
,
. In the paper, we consider the analog of a boundary problem and solve it using the theory of limit Fredholm equations. Since differential equations are not solvable in the space of almost periodic functions in general, we modify the posing of the problems with the aim that the question was solvable in Bohr space.

2. Research methods and principles

Let K(x, y) be a bivariate almost periodic function, λ is a complex number. In

the following analogs of Fredholm functions are introduced:

img

with 

img

We also denote:

img

in which we set:

img

where

img

the functions img and img are integral functions of the variable img. Let us consider limit integral equation of a view:

img
(1)

where the function img is an almost periodic function, and the kernel img is a symmetric bivariate almost periodic function.

In

it was established that every equation of this type is equivalent to some ordinary integral equation in unite cube. The dimension of the cube is defined by the number of linearly independent Fourier exponents, if the set of them is finite (infinite dimensional case reduces to the sequence of finite cases). On this base, we can prove the lemma below.

Lemma 1. Let  img be a real number such that img Then the equation (1) has a unique solution which is defined by the formula

img
(2)

3. Main results

Let us consider some boundary problem in three-dimensional spaces. In the work

,
it was considered the equation

img
(3)

In that works it was constructed the theory of potentials. For applications to boundary problems, was got the integral equation of Fredholm type. Using this method, we, as above, will introduce the boundary problem in Bohr space of almost periodic functions and will solve it using the theory of limit integral equations.

Let us consider, in brief, the method of the work

. Let be a Lyapunov surface in the half space img bounded by simple connected open domain X on the plane x=0. Denote by img the parametric equation of t imghe surface, and img Denote by img the common boundary of domains X and. Suppose that:

1) The functions img have continuous partial derivatives which does not vanish simultaneously;

2) when the points of Г  tends to img, then the surfaces intersect under right angle.

Consider now the boundary problem of Dirichlet. It is required to find in D the solution of the equation (3), being continuous in, and satisfying the boundary conditions:

img
(4)

where img and img are given functions for which img. On X we take img

The solution of this equation is searched as a potential, with unknown density:img

where img is a fundamental solution of the equation (3). Using the fact that for the satisfaction of the boundary condition it is required the equality img we arrive at the integral equation for unknown density

img
(5)

in which img

Using the method of the work

, we can formulate the analog of Dirichlet boundary problem in Bohr spaces. We suffice with posing and scheme of solution of the problem. For this, we take some triple of real (irrational) numbers img independent over the field of rational numbers. We put on X

img

To every continuous function img from the Lebesgue class img we put in correspondence almost periodic function img The analog of integral equation (5) will be a limit integral equation

img
(6)

Substituting found density into the equality

img

we obtain the required solution, satisfying the boundary conditions  (for which we must substitute img img. We get the potential img which will be a solution of the equation img with boundary conditions (5), written out in the limit form

img
(7)
img
(8)

where img is some sequences of real numbers tending to img

Note that in the work

it was proven that 2 is not an eigenvalue of the equation (6). So, the unique solution of the equation (6) can be found by using of resolvent of the limit integral equation, applying the theorem 3.2 of the work
.

Let us transform the given equation by such manner that to get a boundary problem in Bohr space of multivariate almost periodic functions. We have

img

Analogically,

img

So, we can rewrite given equation as follows 

img
(9)

Resuming all of said above, we have proven the main result of the paper.

Theorem. Let be a Lyapunov surface in the half space img bounded by simple connected open domain X on the plane x=0 and the surface. Denote by img the parametric equation of the surface Г and img

Denote by img the common boundary of domains X and, satisfying conditions 1)-2) above. Then there exists a function img such that for every triple img of real numbers, linearly independent over the field of rational numbers, the function img  is an almost periodic solution of the equation (9), satisfying the boundary conditions (7)-(8).

4. Conclusion

Note that the solutions of the equation (3) can be found as a limit value of obtained solution of the equation (9), due to everywhere denseness of values of almost periodic functions. This gives another point of a view to the boundary problems, because the equation (9) is simpler as the equation (3). This equation can be reduced to ordinary differential equations of first order, which can be taken by integration.

Simplification of the equation (3) can be performed for other equations with partial derivatives and boundary conditions, which are solvable by the construction of Green function. 

Article metrics

Views:31
Downloads:4
Views
Total:
Views:31