 Research
 Open access
 Published:
Notes on interval halving procedure for periodic and twopoint problems
Boundary Value Problems volume 2014, Article number: 164 (2014)
Abstract
We continue our study of constructive numericalanalytic schemes of investigation of boundary problems. We simplify and improve the recently suggested interval halving technique allowing one to essentially weaken the convergence conditions.
MSC: 34B15.
1 Introduction
The present note is a continuation of [1] and deals with a constructive approach to the investigation of twopoint boundary value problems. The approach is numericalanalytic [2], [3] in the sense that, although part of the computation is carried out analytically, the final stage of the method involves a numerical analysis of certain equations usually referred to as determining, or bifurcation, equations. This scheme of LyapunovSchmidt type [4], [5] reminds one of the shooting method on first glance, but there are several essential differences [1].
We consider the periodic boundary value problem
where p\in (0,\mathrm{\infty}), f:[0,p]\times {\mathbb{R}}^{n}\to {\mathbb{R}}^{n} satisfies the Carathéodory conditions, and a solution is an absolutely continuous vector function satisfying (1) almost everywhere on [0,p]. Our main assumption till the end of the paper is that there exist a certain matrix K and a bounded closed set \mathrm{\Omega}\subset {\mathbb{R}}^{n} such that f(t,\cdot )\in {Lip}_{K}(\mathrm{\Omega}) for a.e. t\in [0,p]. Here and below, given a square matrix K with nonnegative entries, {Lip}_{K}(\mathrm{\Omega}) stands for the set of functions g:\mathrm{\Omega}\to {\mathbb{R}}^{n} satisfying the componentwise Lipschitz condition
for all {z}_{1} and {z}_{2} from \mathrm{\Omega}. In (3) and all similar relations that will appear below, the symbols ≤ and \cdot  are understood componentwise.
In its original form (see, e.g., [2], [3] for references), the numericalanalytic approach that we are dealing with suggests one to look for a solution of (1), (2) among the limit functions of certain nparametric family of sequences possessing property (2) (see, e.g., [2], [3]). Given an arbitrary vector \xi, consider the sequence of functions defined by the recurrence relation
with m=1,2,\dots and {u}_{0}(t,\xi ):=\xi, t\in [0,p]. Clearly, each of functions (4) satisfies the periodic boundary condition (2). If one establishes the existence of the limit
with a certain \mathrm{\Omega}\subset D, one finds out that the existence of a solution u(\cdot ) of the periodic problem (1), (2) with the value at zero lying in \mathrm{\Omega} is equivalent to the solvability of the equation
with respect to the unknown vector \xi. This leads to a LyapunovSchmidt type reduction of the periodic problem (see [1], [3] for more details), which is known to be applicable on the assumption that
with pK small enough and D satisfying the condition
where
and {\delta}_{J,V}(f):={max}_{(t,\xi )\in J\times V}f(t,\xi ){min}_{(t,\xi )\in J\times V}f(t,\xi ) for any compact V\subseteq D and J\subseteq [0,p].
In (7), D(\varrho ) is the \varrhocore of D defined as
for any nonnegative vector \varrho, where
is the (componentwise) \varrhoneighbourhood of z. Note that \mathrm{\Omega} involved in (5) is actually equal to D(\varrho ) in that case. Examples showing how D(\varrho ) can look like for different D can be seen on Figure 1.
The main limitation of this approach is that, in order to guarantee the convergence, one has to assume a certain smallness of the eigenvalues of the matrix pK. It was shown, in particular, in [6] that the method based upon sequence (4) is applicable provided that
where
Moreover, as is seen from condition (7), the set D where (6) holds should be wide enough (in particular, such that diamD\ge \frac{p}{2}{\delta}_{D}(f), with the natural componentwise definition of a vectorvalued diameter of a set).
As the recent paper [1] shows, the limitation can be overcome by noticing that the quantity which is assumed be small enough is always proportional to the length of the interval. A natural interval halving technique then allows one to produce a version of the scheme where (11) is replaced by the condition
and, thus, weakened by half. A similar improvement is also achieved in relation to condition (7), which is replaced by the assumption that
Clearly, the transition to (13) weakens (7) by half.
Here, we modify the scheme of [1] so that its substantiation is simplified and, in particular, replace (7) by an assumption which is more transparent and, generally speaking, less restrictive. Indeed, the idea to start from a set D where the nonlinearity is known to be Lipschitzian and look for its suitable subset D(\varrho ) that could potentially contain initial values of periodic solutions is somewhat unnatural because, in any case, it is the initial values that are of major interest, the regularity assumptions for the equation being only technical assumptions induced by the method. Instead of doing so, which used to be the case in [1] and in all the previous works, it is, however, more logical to choose a closed bounded set \mathrm{\Omega}\subset {\mathbb{R}}^{n}, where one expects to find initial values of the solution, and to assume that the nonlinearity is Lipschitzian on a suitable \tilde{\mathrm{\Omega}}\supset \mathrm{\Omega}, with \tilde{\mathrm{\Omega}} only as large as the method requires. It is not difficult to see that the argument of [1] then leads us to the choice \tilde{\mathrm{\Omega}}:={\mathrm{\Omega}}_{\varrho}, where {\mathrm{\Omega}}_{\varrho} is the \varrhoneighbourhood of \mathrm{\Omega} in the sense that
where the symbol B(\xi ,\varrho ) stands for the \varrhoneighbourhood of a vector \xi (recall that the relations in (10) are componentwise). Besides its more natural character, the use of the pair of sets ({\mathrm{\Omega}}_{\varrho},\mathrm{\Omega}) is also advantageous in contrast to (D,D(\varrho )) because, geometrically, D(\varrho ) does not necessarily copy the shape of D (see Figures 2 and 3 for examples where D and the corresponding D(\varrho ) with \varrho =\left(\begin{array}{c}{\varrho}_{1}\\ {\varrho}_{2}\end{array}\right) gradually increasing are represented, respectively, by the blue and red regions). In fact, the operations of taking \varrhocore and \varrhoneighbourhood do not commute: the equality in the inclusion
is, in general, not true, whereas one obviously has
for any \varrho. The strict inclusion in (15) holds, in particular, in the example from Figure 4, where the points of the sets D(\varrho ), D and {(D(\varrho ))}_{\varrho} for several values of \varrho =\left(\begin{array}{c}{\varrho}_{1}\\ {\varrho}_{2}\end{array}\right), {\varrho}_{1}\le {\varrho}_{2}, are plotted in red, blue and cyan, respectively. In that example, by choosing \mathrm{\Omega} to be the red region, one should then widen it for the technical purposes related to the method up to the cyan one, and not the blue one. A comparison of (15) and (16) confirms the advantage of assuming conditions of type (6) on {\mathrm{\Omega}}_{\varrho}. Several examples of domains \mathrm{\Omega} and the corresponding sets {\mathrm{\Omega}}_{\varrho} can be seen on Figure 5.
Using the ({\mathrm{\Omega}}_{\varrho},\mathrm{\Omega}) setting, we further reformulate the scheme of the method further by removing certain unnecessary technicalities so that both the setting and the overall analysis are simplified. The new formulation, in particular, makes it particularly easy to adopt the approach to problems with twopoint boundary conditions different from the periodic ones, which technique is also outlined in what follows.
2 Construction of iterations and proof of convergence
Thus, let us fix a closed bounded set \mathrm{\Omega}\subset {\mathbb{R}}^{n}, where the initial values of solutions of problem (1), (2) will be looked for. Without loss of generality, we shall choose \mathrm{\Omega} to be convex. Let \xi and \eta be arbitrary vectors from \mathrm{\Omega}. Let us put
and define the recurrence sequences of functions {x}_{m}:[0,p/2]\times {\mathrm{\Omega}}^{2}\to {\mathbb{R}}^{n} and {y}_{m}:[p/2,p]\times {\mathrm{\Omega}}^{2}\to {\mathbb{R}}^{n}, m=0,1,\dots , according to the formulae
where m\ge 0. One arrives at formulae (17), (18) directly when choosing {x}_{0}(\cdot ,\xi ,\eta ) and {y}_{0}(\cdot ,\xi ,\eta ) as linear functions on the appropriate intervals satisfying the equalities
The considerations in [1] concerning the auxiliary parametrised problems (4.1), (4.2) and (4.3), (4.4) can be omitted. Clearly, (17) and (18) are the simplest choice of functions satisfying (21) and (22).
The form of sequences (19), (20) is motivated by the following proposition.
Proposition 1
Let(\xi ,\eta )\in {\mathrm{\Omega}}^{2}be fixed. If the limits{x}_{\mathrm{\infty}}(\cdot ,\xi ,\eta )and{y}_{\mathrm{\infty}}(\cdot ,\xi ,\eta )of sequences (19) and (20), respectively, exist uniformly on[0,\frac{1}{2}p]and[\frac{1}{2}p,p], then:

1.
The function {x}_{\mathrm{\infty}}(\cdot ,\xi ,\eta ) has the property
{x}_{\mathrm{\infty}}(\frac{p}{2},\xi ,\eta ){x}_{\mathrm{\infty}}(0,\xi ,\eta )=\eta \xi(23)
and is the unique solution of the initial value problem
where

2.
The function {y}_{\mathrm{\infty}}(\cdot ,\xi ,\eta ) has the property
{y}_{\mathrm{\infty}}(p,\xi ,\eta ){y}_{\mathrm{\infty}}(\frac{p}{2},\xi ,\eta )=\xi \eta(27)
and is the unique solution of the initial value problem
where
The proposition stated above, which is an easy consequence of the definitions of the functions {x}_{m}:[0,p/2]\times {\mathrm{\Omega}}^{2}\to {\mathbb{R}}^{n} and {y}_{m}:[p/2,p]\times {\mathrm{\Omega}}^{2}\to {\mathbb{R}}^{n}, m=0,1,\dots , suggests one to consider the function {u}_{\mathrm{\infty}}(\cdot ,\xi ,\eta ):[0,p]\to {\mathbb{R}}^{n} introduced according to the formula
for all \xi and \eta from \mathrm{\Omega} and look for solutions of problem (1), (2) in the form {u}_{\mathrm{\infty}}(\cdot ,\xi ,\eta ). Note that, as follows immediately from (23), (25) and (29),
and, therefore, the function {u}_{\mathrm{\infty}}(\cdot ,\xi ,\eta ) is continuous on [0,p] for any (\xi ,\eta )\in {\mathrm{\Omega}}^{2}. The use of this function, however, requires the knowledge of the fact that {x}_{\mathrm{\infty}}(\cdot ,\xi ,\eta ) and {y}_{\mathrm{\infty}}(\cdot ,\xi ,\eta ) are well defined for (\xi ,\eta )\in {\mathrm{\Omega}}^{2}.
Introduce the functions
and
Theorem 2
If there exists a nonnegative vector\varrhowith the property
such thatf(t,\cdot )\in {Lip}_{K}({\mathrm{\Omega}}_{\varrho})for a.e. t\in [0,p]with a certainKand
then, for all fixed(\xi ,\eta )\in {\mathrm{\Omega}}^{2}, the sequence\{{x}_{m}(\cdot ,\xi ,\eta ):m\ge 0\} (resp., \{{y}_{m}(\cdot ,\xi ,\eta ):m\ge 0\}) converges to a limit function{x}_{\mathrm{\infty}}(\cdot ,\xi ,\eta ) (resp., {y}_{\mathrm{\infty}}(\cdot ,\xi ,\eta )) uniformly int\in [0,p/2] (resp., t\in [p/2,p]), and the following estimates hold:
for all t\in [0,p/2] and
for allt\in [p/2,p]andm\ge 3.
In estimates (36) and (37), the symbol {\mathbf{1}}_{n} stands for the unit matrix of dimension n. Recall also that {\gamma}_{0}=3/10, as indicated above. Note that condition (35) can be slightly improved by replacing {\gamma}_{0} by the constant
(see [1], [3] for more details). The unpleasant side effect is, however, that estimates (36) and (37) under such a condition are established for m sufficiently large only, which puts an obstacle in obtaining efficient solvability conditions in Corollary 8 below. This circumstance is not actually of primary importance since the very aim of the interval halving technique discussed here is to weaken assumption (35) by half and, in any case, the difference between the two conditions is quite insignificant because {\gamma}_{0}{\gamma}_{\ast}\approx 0.00727.
Remark 3
It follows from [3], Lemma 3.12] that estimates (36) and (37) can be shown to hold for all m\ge 0 if the definition of functions {\overline{\alpha}}_{1} and {\overline{\overline{\alpha}}}_{1} is changed slightly (namely, the multiplier 10/9 is added on the righthand side of (32), (33)).
It should be mentioned that assumption (35), which, by Theorem 2, ensures the applicability of the iteration scheme based on formulae (19), (20), is twice as weak as assumption (11) for the original sequence (4). The same kind of improvement is achieved concerning the condition on the set D where f is Lipschitzian since, for the scheme without interval halving, one would require that
which is twice as strong as (34). In contrast to the related assumptions from [1] and earlier works, condition (34) is easier to verify because in order to do so one has only to find the value {\delta}_{{\mathrm{\Omega}}_{\varrho}}(f), which is computed directly by estimating f. In addition, it is possible to estimate this value in certain cases where some further information on the behaviour of f is known.
Comparing Theorem 2 with Theorems 6.1 and 6.3 of [1], where the values in (6.5) and (6.12) are computed over the entire domain where f is Lipschitzian, we see that the values {\delta}_{[0,p/2],{\mathrm{\Omega}}_{\varrho}}(f) and {\delta}_{[p/2,p],{\mathrm{\Omega}}_{\varrho}}(f) in Theorem 2 are computed over {\mathrm{\Omega}}_{\varrho} only.
The proof of Theorem 2 is carried out by a suitable modification of that of [1], Theorem 6.5] and is based upon the following lemmata.
Lemma 4
([1], Lemma 7.1])
Letx:[0,p/2]\to {\mathbb{R}}^{n}andy:[p/2,p]\to {\mathbb{R}}^{n}be arbitrary functions such that\{x(t):t\in [0,p/2]\}\subset \mathrm{\Omega}and\{y(t):t\in [p/2,p]\}\subset \mathrm{\Omega}. Then
for t\in [0,p/2] and
fort\in [p/2,p].
In (40), (41), the mappings {P}_{0} and {P}_{1} are defined by the equality
for all t\in [\frac{i}{2}p,\frac{1}{2}(i+1)p], i\in \{0,1\}, and v\in C([\frac{i}{2}p,\frac{1}{2}(i+1)p],{\mathbb{R}}^{n}).
Lemma 5
Let\varrhobe a vector satisfying relation (34). Then, for arbitrarym\ge 0and(\xi ,\eta )\in {\mathrm{\Omega}}^{2}, the inclusions
and
hold.
Proof
Let \xi and \eta be arbitrary vectors from \mathrm{\Omega}. It is natural to argue by induction. Since \mathrm{\Omega} is assumed to be convex, it follows from (17) that {x}_{0}(t,\xi ,\eta )\in \mathrm{\Omega} for any t\in [0,p/2] and {y}_{0}(t,\xi ,\eta )\in \mathrm{\Omega} for any t\in [p/2,p], i.e., (43) and (44) are true for m=0. Let us assume that (43) and (44) hold for a certain m={m}_{0}.
Considering relations (17), (19), (8), (34) and (42) and using Lemma 4, we obtain
for t\in [0,p/2] and
for t\in [p/2,p]. Since (43) and (44) are satisfied for m=0, we see from (45), (46) that all the values of {x}_{{m}_{0}+1}(\cdot ,\xi ,\eta ) and {y}_{{m}_{0}+1}(\cdot ,\xi ,\eta ) are contained in a \varrhoneighbourhood of a point from \mathrm{\Omega}, which means that (43) and (44) hold for m={m}_{0}+1. It now remains to use the arbitrariness of {m}_{0}. □
The assertion of Theorem 2 is now obtained by replacing [1], Lemma 7.2] by Lemma 5 and arguing by analogy to the proof of Theorems 6.1 and 6.3 from [1]. Furthermore, similarly to [1], using Proposition 1 and Theorem 2, one arrives at the following.
Theorem 6
Assume thatf(t,\cdot )\in {Lip}_{K}({\mathrm{\Omega}}_{\varrho})for a.e. t\in [0,p], where\varrhois a vector with property (34) andKsatisfies condition (35). Then, for every solutionu(\cdot )of problem (1), (2) with the property
there exists a pair({\xi}_{0},{\eta}_{0})in{\mathrm{\Omega}}^{2}such thatu(\cdot )={u}_{\mathrm{\infty}}(\cdot ,{\xi}_{0},{\eta}_{0}). On the other hand, the function{u}_{\mathrm{\infty}}(\cdot ,\xi ,\eta )is a solution of the periodic boundary value problem (1), (2) if and only if the pair(\xi ,\eta )satisfies the system of2nequations
Recall that the functions \mathrm{\Xi}:{\mathrm{\Omega}}^{2}\to {\mathbb{R}}^{n} and \mathrm{H}:{\mathrm{\Omega}}^{2}\to {\mathbb{R}}^{n} are defined according to equalities (26) and (30), and the latter equalities make sense in view of Theorem 2.
3 Constructive solvability analysis
Theorem 6 provides one a formal reduction of the periodic problem (1), (2) to the system of 2n numerical equations (48) in the sense that the initial data (u(0),u(p/2)) of any solution of (1), (2) with properties (47) can be found from (48). Thus, under the conditions assumed, the question on solutions of the periodic boundary value problem (1), (2) can be replaced that of the system of numerical equations (48). A combination of Proposition 11 and Theorems 2, 6 then suggests one a scheme of investigation of the periodic boundary value problem (1), (2). The practical realisation of the scheme is based upon the socalled approximate determining functions
considered for a fixed value of m and, thus, computable explicitly. Then, as in [1], the function
can be used to obtain the mth approximation to a solution of problem (1), (2) provided that we are able to find certain \xi and \eta satisfying the mth approximate determining equations
Furthermore, it turns out that, under natural conditions, the solvability of the periodic problem (1), (2) can be derived from that of system (52). More precisely, putting
and
for any (\xi ,\eta )\in {\mathrm{\Omega}}^{2}, we can state the following.
Theorem 7
Letf(t,\cdot )\in {Lip}_{K}({\mathrm{\Omega}}_{\varrho})for a.e. t\in [0,p], where\varrhois a vector with property (34) andKsatisfies condition (35). Moreover, assume that{\mathrm{\Phi}}_{m}satisfies the condition
for a certain fixedm\ge 0and there exists a continuous mappingQ:[0,1]\times {\mathrm{\Omega}}^{2}which does not vanish on(0,1)\times \partial {\mathrm{\Omega}}^{2}and is such thatQ(0,\cdot )={\mathrm{\Phi}}_{m}, Q(1,\cdot )={\mathrm{\Phi}}_{\mathrm{\infty}}. Then there exists a pair({\xi}^{\ast},{\eta}^{\ast})\in {\mathrm{\Omega}}^{2}such that the functionu:={u}_{\mathrm{\infty}}(\cdot ,{\xi}^{\ast},{\eta}^{\ast})is a solution of the periodic boundary value problem (1), (2) possessing properties (47).
It should be noted that the vector field {\mathrm{\Phi}}_{m} is finitedimensional and, thus, the degree involved in (55) is the Brower degree.
Proof
We can rely on the argument from the proof of [1], Theorem 6.5]. Indeed, a certain computation based on (53) shows that
for all (\xi ,\eta )\in {\mathrm{\Omega}}^{2} and, thus, (52) is necessary and sufficient for (\xi ,\eta ) to be a singular point of {\mathrm{\Phi}}_{m}. Similarly to [1], the assumptions of the theorem then allow one to construct a nondegenerate deformation of {\mathrm{\Phi}}_{m} into the vector field
the singular points of which determine solutions of problem (1), (2) satisfying condition (47), and use the homotopy invariance of the degree. The remaining property in (47) is a consequence of Lemma 5. □
Let the binary relation {\u25b7}_{S} be defined [3] for any S\subset {\mathbb{R}}^{2n} as follows: functions g={({g}_{i})}_{i=1}^{2n}:{\mathbb{R}}^{2n}\to {\mathbb{R}}^{2n} and h={({h}_{i})}_{i=1}^{2n}:{\mathbb{R}}^{2n}\to {\mathbb{R}}^{2n} are said to satisfy the relation g{\u25b7}_{S}h if and only if there exists a function \nu :S\to \{1,2,\dots ,2n\} such that {g}_{\nu (z)}(z)>{h}_{\nu (z)}(z) at every point z\in S. Using this relation, one can formulate an efficient condition sufficient for the solvability of problem (1), (2).
Corollary 8
Letf(t,\cdot )\in {Lip}_{K}({\mathrm{\Omega}}_{\varrho})for a.e. t\in [0,p], where\varrhosatisfies inequality (34) andKhas property (35). Let, moreover,
for a certain fixedm\ge 2, where
Then there exists a pair({\xi}^{\ast},{\eta}^{\ast})\in {\mathrm{\Omega}}^{2}such thatu:={u}_{\mathrm{\infty}}(\cdot ,{\xi}^{\ast},{\eta}^{\ast})is a solution of problem (1), (2) possessing properties (47).
Proof
It is sufficient to apply Theorem 7 with the linear homotopy
for (\xi ,\eta )\in {\mathrm{\Omega}}^{2}, \theta \in [0,1], and use estimate (10.11) from [1]. □
Recall that {\gamma}_{0} in (58) is given by (12). It is important to emphasise that conditions of Corollary 8 are assumed for a fixedm, and all the values depending on it are evaluated in finitely many steps.
The next assertion is interesting especially because it is, in fact, based upon properties of the starting approximation and, thus, shows how a useful information can be obtained when no iterations have been carried out at all. Note that the zeroth approximation is very rough indeed in any case: the periodic solution is approximated by a piecewise linear function (see Figure 6).
With the given function f involved in (1), we associate the function {f}^{\mathrm{\#}}:{\mathrm{\Omega}}^{2}\to {\mathbb{R}}^{2n} by putting
for any (\xi ,\eta )\in {\mathrm{\Omega}}^{2}. Note that, unlike f, the function {f}^{\mathrm{\#}} depends on the phase variables only.
Corollary 9
Assume that there is a\varrhowith property (47) andf(t,\cdot )\in {Lip}_{K}({\mathrm{\Omega}}_{\varrho}), t\in [0,p], withKsatisfying inequality (35). Let, furthermore,
and
Then thepperiodic problem (1), (2) has at least one solutionu(\cdot )which possesses properties (47).
Proof
Equalities (17), (18), (53) and (60) imply that {f}^{\mathrm{\#}}={\mathrm{\Phi}}_{0}. It is also easy to verify by computation that condition (62) can be rewritten in the form
where {\tilde{M}}_{0}:=(10/9){M}_{0} and {M}_{0} is given by (58). Arguing similarly to [1], Lemma 9.2] and Corollary 8 and taking Remark 3 into account, one can show that (63) ensures the nondegeneracy of homotopy (59). The required conclusion then follows from Theorem 7. □
4 Discussion
Theorems of the kind specified above allow one to study the periodic problem (1), (2) following the lines of [1], [3]. This analysis is constructive in the sense that the assumptions can be verified efficiently and the results of computation, regarded at first only as candidates for approximate solutions, simultaneously open a way to prove the solvability in a rigorous manner. As regards the computation of iterations themselves, it is helpful to apply suitable simplified versions of the algorithm, not discussed here, which are better adopted for use with computer algebra systems. The use of polynomial approximations under similar circumstances was considered, in particular, in [7].
It is interesting to note that {f}^{\mathrm{\#}} involved in Corollary 9 can be considered as a ‘halved’ analogue of the averaged map
for x\in \mathrm{\Omega}, which arises similarly to {f}^{\mathrm{\#}} in the situation where no interval halving is carried out. In the latter case, one has the following statement, which is a reformulation of [1], Corollary 13.2].
Corollary 10
Let there exist some\varrhowith property (34). Let
andf(t,\cdot )\in {Lip}_{K}({\mathrm{\Omega}}_{\varrho}), t\in [0,p], withKsatisfying inequality (35). If
then thepperiodic problem (1), (2) has a solutionu(\cdot )with properties (47).
Assumption (65) with \overline{f} given by (64) arises frequently in topological continuation theorems where the homotopy to the averaged equation is considered (see, e.g., [8], [9]).
It should also be noted that, as a natural extension of the above said, one can consider a scheme with multiple interval divisions. Although the addition of intermediate nodes increases the number of equations to be solved numerically (at {k}_{0} interval halvings, one ultimately arrives a system of {2}^{{k}_{0}} determining equation with respect to {2}^{{k}_{0}} variables), the important gain is the ability to apply the method regardless of the value of the Lipschitz constant.
The construction of such a scheme is based on the appropriate modification of the initial approximation, which will then depend on more parameters. Consider, e.g., the transition from {k}_{0}=1 to {k}_{0}=2. Renaming the variables as \xi =({\xi}_{1},{\xi}_{1}) in the former case for more convenience and denoting the initial approximation by {u}_{0}(\cdot ,\xi ), we rewrite (21), (22) in the form
Thus, the initial approximation {u}_{0}(\cdot ,\xi ) in the corresponding iteration scheme with one division is the linear function joining the points (0,{\xi}_{1}), (\frac{p}{2},{\xi}_{1}) and (p,{\xi}_{1}). Extending this tree graph like notation to the case of two interval halvings ({k}_{0}=2) and arguing similarly, we arrive at the following equalities determining {u}_{0}(\cdot ,\xi ):
In other words, relations (68) mean that the function {u}_{0}(\cdot ,\xi ) for {k}_{0}=2 depends on the array of parameters \xi =({\xi}_{1,1},{\xi}_{1,1},{\xi}_{1,1},{\xi}_{1,1}) and is obtained by the linear interpolation of the points (0,{\xi}_{1,1}), (\frac{p}{4},{\xi}_{1,1}), (\frac{p}{2},{\xi}_{1,1}), (\frac{p}{2},{\xi}_{1,1}), (\frac{3p}{4},{\xi}_{1,1}) and (p,{\xi}_{1,1}). For {k}_{0}\ge 3, the structure of {u}_{0}(\cdot ,\xi ) is completely analogous, the idea is clear from Table 1 and Figure 6: one simply draws a broken line joining the corresponding nodes. Once {u}_{0}(\cdot ,\xi ) is constructed, the formulae for the subsequent approximations are derived automatically by rescaling the projection map to the corresponding subintervals (we do not need the corresponding explicit formulae here and, therefore, omit the details).
This observation leads one to the following algorithm of investigation of the periodic problem (1), (2):

1.
Fix a certain {k}_{0} and consider the scheme with {k}_{0} interval divisions. Fix an {m}_{0} and construct {u}_{m}(\cdot ,\xi ) for m=0,1,\dots ,{m}_{0}.

2.
Solve the mth approximate determining equations for \xi, find a root {\xi}^{[m]}, and put
{U}_{m}(t):={u}_{m}(t,{\xi}^{[m]}),\phantom{\rule{1em}{0ex}}t\in [0,p],m=0,1,\dots ,{m}_{0}.(69)
In the case the equation has multiple roots, (69) and the related analysis are repeated for each of them (one can study multiple solutions of the original problem in this way).

3.
‘Check’ the behaviour of the functions {U}_{0},{U}_{1},\dots ,{U}_{{m}_{0}} (the heuristic step). If promising (i.e., there are some signs of convergence), choose a suitable \mathrm{\Omega} containing the graph of {U}_{{m}_{0}}, find a \varrho from the condition
\varrho \ge \frac{p}{{2}^{{k}_{0}+2}}{\delta}_{{\mathrm{\Omega}}_{\varrho}}(f),(70)
compute the Lipschitz matrix K for f in {\mathrm{\Omega}}_{\varrho}, and verify the convergence condition
If not successful with either (70) or (71), increase {k}_{0} appropriately and try again.

4.
Verify conditions of the existence theorem for \mathrm{\Omega} and {m}_{0}. If not satisfied, or if the precision of {U}_{{m}_{0}} is insufficient, pass to m={m}_{0}+1 and study {U}_{{m}_{0}+1}. Otherwise the algorithm stops, and the outcome is:

(a)
there is a solution u of (1), (2) and u\approx {U}_{{m}_{0}};

(b)
\mathrm{\exists}({\xi}_{\ast},{\eta}_{\ast})\in {\mathrm{\Omega}}^{2}: u(\cdot )={u}_{\mathrm{\infty}}(\cdot ,{\xi}_{\ast},{\eta}_{\ast});

(c)
the space localisation of the graph of u is described by properties (47).
Note the role of interval divisions in the algorithm: for K not satisfying the smallness condition (11) and {k}_{0}=0 (i.e., when {u}_{m} is constructed according to (4) without any interval divisions), the algorithm would stop at step 3 without any result. However, it is obvious that (70) and (71) are both satisfied if {k}_{0} is chosen to be large enough.
In relation to the last remark, it is interesting to compare the approach discussed here with the Cesari method [10], which likewise provides one a way to reduce the periodic problem (1), (2) to a system of finitely many numerical equations. The idea of construction of the iterations there is based, in the notation of [11], on the use of the operator
in a suitable space of pperiodic functions, where
m is fixed, and {P}_{m} stands for the mth partial sum of the Fourier series of the corresponding function. There are visible similarities between the two approaches and, most importantly, the scheme of Cesari is also proved to be applicable regardless on the smallness of the Lipschitz constant (see [11]). The number of resulting determining equations therewith depends on the Lipschitz constant of f as well (in fact, it grows with m, the convergence being guaranteed by suitable properties of {H}_{m} for m large enough), which reminds us of Table 1 in our case. The approach presented in this note, in our opinion, has the advantage that, firstly, the computation of iterations is significantly simpler (apart of the integral mean, one does not need to compute any higher order terms in the Fourier expansion) and, secondly, it can be used for other problems as well, whereas, due to the nature of formula (72), the use of Cesari’s scheme is limited to periodic functions.
In particular, the method described above is rather easy to adopt for application to twopoint boundary value problems different from the periodic ones. Indeed, consider the problem with linear twopoint conditions where one of the coefficient matrices is nonsingular. Without loss of generality, we can assume that the problem has the form
where A is a square matrix of dimension n (possibly, singular), c\in {\mathbb{R}}^{n}, f:[0,p]\times {\mathbb{R}}^{n}\to {\mathbb{R}}^{n}, and p\in (0,\mathrm{\infty}).
The transition from the periodic problem (1), (2) to problem (73), (74) is then surprisingly simple: one does not need but to adjust the functions {x}_{0}(\cdot ,\xi ,\eta ) and {y}_{0}(\cdot ,\xi ,\eta ) so that they satisfy the boundary condition (74). More precisely, let us fix a suitable \mathrm{\Omega} and take arbitrary \xi and \eta in it. Introduce the sequences of functions {x}_{m}:[0,p/2]\times {\mathrm{\Omega}}^{2}\to {\mathbb{R}}^{n} and {y}_{m}:[p/2,p]\times {\mathrm{\Omega}}^{2}\to {\mathbb{R}}^{n}, m=0,1,\dots , according to the same recurrence formulae as in (19), (20), where, instead of (17), (18), the functions {x}_{0}(\cdot ,\xi ,\eta ) and {y}_{0}(\cdot ,\xi ,\eta ) are given by the equalities
Clearly, {x}_{0}(\cdot ,\xi ,\eta ) and {y}_{0}(\cdot ,\xi ,\eta ) given by (75), (76) are the linear functions satisfying the equalities
which reduce to (17), (18) if A is the unit matrix and c=0. Then, similarly to Proposition 1, it is not difficult to prove the following.
Proposition 11
Let(\xi ,\eta )\in {\mathrm{\Omega}}^{2}be fixed. If the limits{x}_{\mathrm{\infty}}(\cdot ,\xi ,\eta )and{y}_{\mathrm{\infty}}(t,\xi ,\eta )of sequences (19) and (20) exist, then:

1.
The function {x}_{\mathrm{\infty}}(\cdot ,\xi ,\eta ) has the property
{x}_{\mathrm{\infty}}(\frac{p}{2},\xi ,\eta )A{x}_{\mathrm{\infty}}(0,\xi ,\eta )=\eta A\xi(79)
and is the unique solution of the initial value problem (24), (25) with\mathrm{\Xi}given by (26).

2.
The function {y}_{\mathrm{\infty}}(\cdot ,\xi ,\eta ) has the property
{y}_{\mathrm{\infty}}(p,\xi ,\eta )A{y}_{\mathrm{\infty}}(\frac{p}{2},\xi ,\eta )=A(\xi \eta )+c(80)
and is the unique solution of the initial value problem (28), (29) with\mathrm{H}given by (30).
We see from Proposition 11 that properties of sequences {x}_{m}(\cdot ,\xi ,\eta ), {y}_{m}(\cdot ,\xi ,\eta ), m\ge 0, constructed for problem (73), (74) are rather similar to those for the periodic problem (1), (2) (in particular, the definition of functions \mathrm{\Xi} and \mathrm{H} is the same as in Proposition 1). In both cases, the iteration is carried out according to formulae (19), (20), the only difference being in equalities (75), (76) for {x}_{0}(\cdot ,\xi ,\eta ) and {y}_{0}(\cdot ,\xi ,\eta ). As a result, the corresponding limit functions satisfy the boundary conditions (79), (80).
Based on Proposition 11, one can develop essentially the same techniques that have been indicated above for the periodic problem (1), (2). The main difference in the proofs is that, in addition to guaranteeing that the appropriate values \xi should belong to \mathrm{\Omega}, we also have to ensure that A\xi +c\in \mathrm{\Omega} as well. The convergence of iterations is then guaranteed for all \eta from the set \mathrm{\Omega} and \xi belonging to its subset {S}_{A,c}(\mathrm{\Omega}) defined by the relation
Clearly, {S}_{A,c}(\mathrm{\Omega}) is the union of all the subsets of \mathrm{\Omega} invariant with respect to the transformation x\mapsto Ax+c. For example, if \mathrm{\Omega} is a set on the plane (n=2) containing the origin, then {S}_{(\begin{array}{cc}0& 1\\ 1& 0\end{array}),0}(\mathrm{\Omega}) is the part of \mathrm{\Omega} that is symmetric with respect to the diagonal passing through the first and the third quadrants (see Figure 7).
Theorem 12
Let there exist a nonnegative vector\varrhowith property (34) such thatf(t,\cdot )\in {Lip}_{K}({\mathrm{\Omega}}_{\varrho})for a.e. t\in [0,p]with a certain matrixKsatisfying inequality (35). Then, for all fixed(\xi ,\eta )\in {S}_{A,c}(\mathrm{\Omega})\times \mathrm{\Omega}, the sequences\{{x}_{m}(\cdot ,\xi ,\eta ):m\ge 0\}and\{{y}_{m}(\cdot ,\xi ,\eta ):m\ge 0\}with{x}_{0}(\cdot ,\xi ,\eta ), {y}_{0}(\cdot ,\xi ,\eta )defined by (75) and (76) converge uniformly on the corresponding intervals and, moreover, estimates (36), (37) hold.
The same remark as has been made above concerning Theorem 2 applies to Theorem 12: its assertion remains true if (35) is replaced by the inequality
with {\gamma}_{\ast} given by (38).
Theorem 12 is easily obtained by analogy to Theorem 2 for the periodic problem. The verification of the conditions of Theorem 12 is also pretty much similar to the latter case. One has to keep in mind that the techniques for the twopoint problem (73), (74) are applicable for the values of parameters lying in {S}_{A,c}(\mathrm{\Omega})\times \mathrm{\Omega}, and not in the entire {\mathrm{\Omega}}^{2}, which is the case in Theorem 2 (unless A is the unit matrix and c=0). This circumstance has a natural explanation due to (77) and (78), whence one deduces that both \xi and A\xi +c will eventually belong to one and the same set, which fact is then used in Lemma 5. If, for example, c is equal to zero and
then the assertion of Theorem 12 is true only for the part of \mathrm{\Omega} that is invariant under the rotation by {45}^{\circ} counterclockwise. In this way, e.g., Figure 5 is replaced by Figure 8 once the twopoint problem (73), (74) with A given by (82) is considered. Note that all the sets on Figures 5 and 8 contain the origin, and the yellow regions on the latter one indicate the points from \mathrm{\Omega} that cannot be regarded as candidates for initial values of the solution in question.
References
Rontó A, Rontó M, Shchobak N: Constructive analysis of periodic solutions with interval halving. Bound. Value Probl. 2013., 2013: Article ID 57 10.1186/16872770201357
Samoilenko AM, Rontó NI: NumericalAnalytic Methods in the Theory of BoundaryValue Problems for Ordinary Differential Equations. Naukova Dumka, Kiev; 1992.
Rontó A, Rontó M: Successive approximation techniques in nonlinear boundary value problems for ordinary differential equations. In Handbook of Differential Equations: Ordinary Differential Equations. Elsevier, Amsterdam; 2008:441592.
Nirenberg L: Topics in Nonlinear Functional Analysis. Am. Math. Soc., New York; 1974.
Gaines RE, Mawhin JL: Coincidence Degree and Nonlinear Differential Equations. Springer, Berlin; 1977.
Rontó M, Samoilenko AM: NumericalAnalytic Methods in the Theory of BoundaryValue Problems. World Scientific, River Edge; 2000.
Rontó A, Rontó M, Holubová G, Nečesal P: Numericalanalytic technique for investigation of solutions of some nonlinear equations with Dirichlet conditions. Bound. Value Probl. 2011., 2011: Article ID 58 10.1186/16872770201158
Mawhin J: Topological Degree Methods in Nonlinear Boundary Value Problems. Am. Math. Soc., Providence; 1979.
Capietto A, Mawhin J, Zanolin F: A continuation approach to superlinear periodic boundary value problems. J. Differ. Equ. 1990, 88(2):347395. 10.1016/00220396(90)90102U
Cesari L: Asymptotic Behavior and Stability Problems in Ordinary Differential Equations. 3rd edition. Springer, New York; 1971.
Knobloch HW: Remarks on a paper of L. Cesari on functional analysis and nonlinear differential equations. Mich. Math. J. 1963, 10: 417430. 10.1307/mmj/1028998978
Acknowledgements
The work was supported in part by RVO: 67985840 (A Rontó) and the SAIA National Scholarship Programme of the Slovak Republic (N Shchobak).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All the authors contributed equally to the final version of this work and approved its present form.
Authors’ original submitted files for images
Below are the links to the authors’ original submitted files for images.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (https://creativecommons.org/licenses/by/4.0), which permits use, duplication, adaptation, distribution, and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Rontó, A., Rontó, M. & Shchobak, N. Notes on interval halving procedure for periodic and twopoint problems. Bound Value Probl 2014, 164 (2014). https://doi.org/10.1186/s1366101401649
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s1366101401649