1. Introduction
A.N. Tikhonov’s theorem on the limit transition [
1] served as an impetus for the development of one of the most practically used methods for solving nonlinear singularly perturbed problems—the Vasilyeva–Butuzov–Nefedov boundary function method [
1,
2,
3]. On the other hand, Poincaré’s theorems on the decomposition of [
4], which are the basis of the analytical theory of differential equations, and the regularization method of S.A. Lomov [
5,
6] allowed us to formulate conditions for the usual (and not asymptotic) convergence of series by degrees of a small parameter representing solutions of singularly perturbed equations [
7]. All those items should eventually lead to the creation of a rigorous mathematical theory of the boundary layer based on the ideas of algebra and functional analysis.
In [
8], the conditions for the existence of pseudoholomorphic solutions of initial problems for Tikhonov systems with one slow variable were given. In this paper, the number of fast and slow variables can be arbitrary. In addition, boundary value problems are considered, which means that the use of the pseudoholomorphic continuation algorithm [
9] is required.
The main advantage of the holomorphic regularization method is the fact that there is no need for the estimation of the reminder term. The usual convergence of series by degrees of a small parameter allows one to solve singularly perturbed boundary problems with great advantage, in comparison with the methods based only on the asymptotical convergence. The investigation of the theory of Tikhonov systems has not only a theoretical value but also a practical one: the solution methods for the systems of that type can be used in chemistry, biology, theoretical and applied mechanics.
The holomorphic regularization method allows us to create an analytical theory of singularly perturbed boundary problems’ solution, and that fact has a great theoretical and practical value.
2. Construction of the First Integrals for Tikhonov Systems
Let us investigate a Tikhonov system with
k slow and
m fast variables
on the time interval
. Here,
,
,
,
,
is a small positive parameter.
Firstly, we study the Cauchy problem with initial conditions
where
,
.
Let the conditions be met:
- (1α)
The functions and are analytic in some closed domain and admit an analytic continuation to some polycircle of .
- (2α)
Vector for all has a nonzero value.
- (3α)
The segment of the axis of the variable t and the starting point belong to the domain .
We will also take into consideration the conditions for Tikhonov’s theorems on the limit transition:
- (1β)
If
is an isolated root of the equation
(
), then the initial problem
has the only analytical solution in the circle
.
- (2β)
The rest point
of a system
is asymptotically stable by Lyapunov uniformly with respect to any compact of
that is a projection of
on the space
. Equation (
4) is called attached and in its
is considered as a vector parameter.
- (3β)
The solution
of the Cauchy problem for the initial attached system
satisfies the limit condition
As [
1] is known, when these conditions are met, there is a limit transition
To apply the holomorphic regularization method to the system (
1), we introduce first-order partial differential operators:
Then the first integral equation for this system takes the following form:
Considering the operator
to be subordinate to the operator
, we look for a solution to Equation (
5) in the form of a regular series in degrees
, i.e.,
Its coefficients can be found as a result of solving a series of equations
We further denote the projection onto the space as and so we formulate an additional condition to the conditions .
- (4α)
For each point
, only one phase trajectory of the autonomous system (
4) passes through any point
.
In the following, we consider the solutions of the series (
7) to be vectors.As a solution to the first equation of this series, we take the vector
where
are analytic functions in the circle
.
To solve the remaining equations of the series, we use the integral method of solving first-order partial differential equations [
10]. Let
be an analytically smooth surface in
(
is the space of fast variables
passing through the point
). It is set using
m functions, i.e.,
where
is a coordinate vector of this surface, and
is analytic in some area of space
functions.
Let us investigate the Cauchy problem
in which
t and
act as parameters, and let
be its solution. The condition
together with the existence and uniqueness theorem guarantee unambiguous solvability of the equation
with respect to
and
s:
,
. Let
be the notation for the variable replacement operator
on the variable
and let
be the notation for a reverse substitution operator. Then, the solution of the initial problem
is given by the following formula [
10]:
under the condition of transversality of the phase trajectories of the system (
8) to the specified surface.
To construct a solution to the second equation of (
7), we further use the notation
,
for functionally independent solutions (for
) of the equation
, and consider the fact that
. Then, it is easy to see that as the first
m components of the vector
, we can take the functions
The remaining
k components of this vector are found using formula (
9):
The solutions of the other equations of series (
7) can also be found using this formula.
To prove the convergence of the series
in the expression for the operator
, we replace the variables
with the variable
z and apply the method of evaluating contour integrals described in [
11]. As a result,
independent integrals of system (
1) are constructed, being analytical at the point
:
3. Pseudoholomorphic Solutions of Tikhonov Systems
The concept of a pseudoholomorphic (pseudoanalytical) solution of a singularly perturbed problem first arose within the framework of the regularization method of S.A. Lomov [
5,
6,
7]. It is by no means an alternative to the concept of an asymptotic solution, but only emphasizes the fact that with an accurate description of the boundary layer, the regular part of the solution is an ordinary power series. This is achieved by isolating special manifolds described by functions for which the point
is essentially special for almost all values of time [
7]. In linear problems, the boundary layer is dictated by the spectrum of the limit operator; in weakly nonlinear ones, the method of normal forms by V.F. Safonov [
12] has proven itself well. A much more complicated situation arises in highly nonlinear problems. There is no clear algorithm for choosing the so-called regularizing functions.
We proceed to the presentation of the concept of a pseudoholomorphic solution.
Definition 1. The solution of systems (1) is called pseudoholomorphic at the point if there exists a vector function , analytic in the circle such that for any arbitrarily small positive ε there is a segment , which has the following representation:and the series in (11) converge uniformly on the specified segment. We give sufficient conditions for the existence of such solutions, considering the conditions , as fulfilled.
Theorem 1. Let the vector function be analytic in the circle , , strictly monotonically decreases on the segment , and the system of equationshas a solution of the formwhere the vector is a function and are integer functions with asymptotic values , and that function is strictly monotonically increasing on the real axis. Then if the function is bounded on the set , in which is an arbitrary compact set of , then the solution is . Cauchy problems (1) and (2) will be pseudoholomorphic at the point . Proof of Theorem 1. Using the monotony of the functions
, we write a system equivalent to system (
10):
Here, are analytical functions of their arguments; , are further new variables .
Take
very close to
and construct a compact set
in which
are projections of
on to
, which is the space of variables
. If we put (
13) at
in the system, then the solution of the resulting system is put down as follows:
here, it is convenient to consider the function
dependent on
.
Since all the conditions of the implicit function theorem are met, then, in some neighborhood
of each point
, there is a solution
of the specified system, analytical in some neighborhood of the point
. From the open cover
of the compact set
, we choose a finite subcover, and then the functions in (
14) are analytic by
uniformly on this compact, in the smallest of the neighborhoods of the point
corresponding to the specified subcover. The theorem is proved. □
4. Pseudoholomorphic Continuation of Solutions of Singularly Perturbed Problems
We assume, without limiting generality, that
,
. Let the vector functions in (
14) be analytic for
and let a fixed parameter in system (
1) satisfy the inequality
. If for each
all curves
belong entirely to rectangles
, respectively, then system (
1) has a pseudoholomorphic solution on the entire segment
, represented as rows
converging uniformly over the entire segment
. If the curves
do not completely belong to the rectangles
, then the rows in (
15) converge uniformly on some segment
. As
, as it is easy to see, we can take the minimal root of the equations
,
, due to the monotony of the left parts of these equations (all rectangles
are strictly internal to the rectangle
).
We denote the solution as:
by
. To continue them to the right, we should take into consideration the following initial problem:
Let us construct an analytically smooth surface
in the space
through the point
and, according to the scheme outlined in the previous paragraph of this article, we find
independent integrals of system (
16) on the interval
. In this case, a system similar to system (
10) takes the following form:
Here,
are functionally independent solutions of the equation
such that
. At the same time,
,
, and the operators
and
correspond to the surface
. The interval of existence of a pseudoholomorphic solution
for the initial problem (
16) is defined as the minimal root of the equations
If these equations have no solutions, it meas that system (
16) has a pseudoholomorphic solution at the point
on the entire segment
. Then, a pseudoholomorphic solution of the Cauchy problem (
1) on the segment
serves as a set of functions
.
On the contrary, let
be the smallest root of Equation (
18). To find the interval of existence of a pseudoholomorphic solution
, for the system constructed in the next step, we take the minimal root
of the equations
Such an interval will be the segment
, etc. Let us set an estimate for
. According to the Lagrange formula we have
where
.
From here,
and, as there exists a positive constant
l such that
then, in a finite number of steps, it is possible to reach the point
.
Thus, it is possible to construct a pseudoholomorphic solution to the Cauchy problem (
1) on the entire segment
, which is very important for solving the boundary value problems.
5. Holomorphic Regularization of the Boundary Value Problem for the Tikhonov System
Consider the boundary value problem for the Tikhonov system in the case where
(the case of one fast variable is studied in [
8]). As a result, we have a system
in which
,
,
and
, with boundary conditions
where
,
.
First, let us consider the Cauchy problem
while
.
To solve the problems (
19) and (
20), we just need to define
. Let us put
in system (
19) and get a degenerate system
Let
be the stable root [
1] of the second equation of this system, and
is the only analytical solution in the circle
with the initial condition
.
An analogue of the characteristics system (
8) is a system
with conditions on the starting line
In system (
23),
acts as a parameter and
s is an independent variable. Let us assume that
(see condition
), and therefore, the phase trajectories of this system are transversal (non-tangential) to
. Denote the solution of the problems (
23) and (
24) by
and let the functions
,
be the solution of an algebraic system
In accordance with those statements, is the variable replacement operator on variables and is its inverse.
In the investigated case,
, and the solution of the equation
with the initial condition
is given by the formula
If
,
are regularizing functions, and
,
are functionally independent solutions of the equation
, turning to zero at the point
, then the four independent first integrals of system (
19), determining its solution with the initial conditions (
21), has the following form:
where
.
We formulate a statement about the existence of a pseudoholomorphic solution to the boundary value problem.
Theorem 2. If the conditions of Theorem 1 are met for and the solution of the systemis such that the functions and are limited at when , then the solution of the boundary value problems (19) and (20), defined by system (26), is pseudoholomorphic at the point . Proof of Theorem 2. It follows from the fact that from the limitation of the function
follows the convergence of series
(26), and from the limitation of the function
follows the asymptotic stability of the solution of this boundary value problem obtained using the implicit function theorem. □
Example 1. Let us investigate the boundary value problem on the segment where , , , , , . We will assume that , , , are integer functions of their arguments and let , in some domain containing the starting point . Then, as it is known, , where , , is a stable solution of the system of the last two equations (if we put ). Next, we denote by the analytical solution of the initial problem in the circle First, let us set the Cauchy problem: find a solution to system (27) with initial conditionswhere . We compose a system of equations of characteristics corresponding to a linear partial differential operator of the first order: It has the following form: As the “initial surface” , we choose the straight line , which is legitimate, since and, therefore, the characteristics are transversal to it. Let us put the initial conditions on the line :where is the coordinate on the initial ”surface”. We have a solution to problems (30) and (31): From the solution of (32), the initial problem of the system of equations of characteristics, we find It is not difficult to see that the functionsare independent solutions of the equation , turning to zero at the point (, , , , ). From the form and it follows that we can take the following functions as regularizing functions So, to define we have a system of equations (relative to , ) From system (26), taking into account thatit is possible to find a first-order approximation by ε for the slow variables : To determine the zero approximations of and , we set in Equation (33), and in the equalities in (34), we put , , and solve the resulting system of four equations with respect to , , , . We substitute the found , into equality (34) and find the first (by ε) approximations for and for slow variables of the boundary value problem. Example 2. Let us consider on the segment the Cauchy problem for a Tikhonov system in which slow variables enter in a nonlinear way, and fast variables enter in a linear way: In accordance with the approach for solving Tikhonov systems outlined in [1], we set and write a degenerate systemwhere . Since the eigenvalues , of the matrix are negative for all , then all the conditions of Tikhonov’s theorem on the limit transition are met. Further, suppose that is an analytical solution of a system of differential equations in a circle with initial conditions , . In accordance with the method of holomorphic regularization, we make up the first integral equationwhereare first-order linear partial differential operators. We will construct the solution of Equation (36) in the form of the regular series by degrees of a small parameter, considering the operator subordinate to the operator : We have the following series of problems for determining the coefficients of series (37):It is easy to see that we can take the functions , , , as solutions to the first equation of this series. To solve the remaining equations of series (38), we write down a system of equations of characteristics:and for the “initial surface” on the plane , let us choose a straight line Λ: (since t enters the system as a parameter, then at each moment of time it is its own straight line). Let be the coordinate on Λ. Then,is a solution of system (39), such that . From vector equality (40) we find s and : Note that the functions included in equalities (40) and (41) do not depend on . This is due to the fact that the equations for fast variables in the original system contain neither nor . Let us return to the series of Equation (38). You can directly verify that with the previously selected and , the functions and satisfy the second equation of this series. We have four functionally independent first integrals of system (35): Here, as usual, is a transition operator from variables to variables , is a transition operator from variables , to variables , and for and the following formulas hold: The solution of the Cauchy problem is determined from system (42) using the implicit function theorem. In particular,