- Research Article
- Open access
- Published:
On linear ODEs with a time singularity of the first kind and unsmooth inhomogeneity
Boundary Value Problems volume 2014, Article number: 183 (2014)
Abstract
In this paper we investigate the analytical properties of systems of linear ordinary differential equations (ODEs) with unsmooth nonintegrable inhomogeneities and a time singularity of the first kind. We are especially interested in specifying the structure of general linear two-point boundary conditions guaranteeing existence and uniqueness of solutions which are continuous on a closed interval including the singular point. Moreover, we study the convergence behavior of collocation schemes applied to solving the problem numerically. Our theoretical results are supported by numerical experiments.
MSC: 34A12, 34A30, 34B05.
1 Introduction
Singular boundary value problems (BVPs) arise in numerous applications in natural sciences and engineering and therefore, since many years, they have been in focus of extensive investigations. An important class of linear singular problems takes the form of the following BVP:
where y is a n-dimensional real function, M is a matrix and f is a n-dimensional function which is at least continuous, . We are mainly interested to find under which circumstances the above problem has a solution . and are constant matrices and it turns out that they are subject to certain restrictions for a problem with a unique continuous solution. We say that BVP (1) has a time singularity of the first kind at .
Problems of type (1), where f may depend in addition on the space variable y and may have a space singularity at , have been studied in [1]–[4]. The analytical properties of (1) have been discussed in [5], [6], where the attention was focused on the existence and uniqueness of solutions and their smoothness. Especially, the structure of the boundary conditions which are necessary and sufficient for (1) to have a unique continuous solution on was of special interest. Our aim is to generalize these analytical results to the problem
where but may not be integrable on . While for the BVP (1) and its applications, comprehensive literature is available, this is not the case for problem (2). The BVPs of type (2) arise in the modeling of the avalanche run up [7] and occur when the regular ODE system , posed on the semi-infinite interval , is transformed by to a finite domain . Moreover, we refer to papers [8]–[13], where the solvability of similar linear singular problems is discussed. Interesting results for linear BVPs with time singularities in weight-spaces have been provided in [14]–[17]. Although this framework is close to what we are aiming at here, it is not quite complete. So, in a way our results are closing the existing gaps.
Note that the more general equation
with a variable coefficient matrix was investigated in [18], where the existence of a unique continuous solution y of (3) has been studied. The main results of [18] are formulated in [18], Theorem 1.1] and [18], Theorem 1.2]. In Theorem 1.1, f and M are assumed to be continuous and all eigenvalues of to have negative real parts. In Theorem 1.2 smoothness of higher derivatives of y up to order has been specified. It turns out that for there exists a unique solution provided that all real parts of the eigenvalues of are smaller than m and different from natural numbers.
The current paper completes the results of [18] for the constant matrix M. In contrast to [18], where only particular solutions without boundary conditions are considered, in this paper general structure of linear two-point boundary conditions is in focus. Explicit solution representations and the form of necessary boundary conditions are provided in Theorems 5, 8, and 11 for the eigenvalues of M with negative real parts, positive real parts, and the eigenvalues zero, respectively.
To compute the numerical solution of (1) polynomial collocation was proposed in [19], [20]. This was motivated by its advantageous convergence properties for (1), while in the presence of a singularity other high order methods show order reductions and become inefficient [21]. Consequently, for singular BVPs [22], [23], we have implemented two open domain Matlab codes based on collocation. The code sbvpsbvp solves explicit first order ODEs [22], while bvpsuitebvpsuite can be applied to arbitrary order problems also in implicit formulation and to differential algebraic equations [23]. Over recent years, both codes were applied to simulate singular BVPs important for applications and proved to work dependably and efficiently. This was our motivation to also propose and analyze polynomial collocation for the approximation of the initial value problems (2).
The paper is organized as follows: In Section 2, we collect the preliminary results and introduce the necessary notation. Further notation can be found in Table 10. In Sections 3, 4, and 5, three case studies are carried out, the case of only negative real parts of the eigenvalues of M, positive real parts of the eigenvalues of M, and zero eigenvalues of M, respectively. These results are summarized and compared with the case of smooth inhomogeneity in Section 6. Finally, the three case studies are used to formulate the respective results for the general initial value problems, terminal value problems, and BVPs in Section 7. We show convergence orders for the collocation scheme in the context of general initial value problems in Section 8 and illustrate the theoretical findings by experiments carried out using the Matlab code bvpsuitebvpsuite in Section 9. In Section 10, we recapitulate the most important results of the study.
2 Preliminaries
We are interested in analyzing the BVP
where , , , and . Note that in general because the requirement results in additional conditions solution y has to satisfy [5].
Before discussing BVP (4), we first consider the easier problem consisting of the ODE system
subject to initial/terminal conditions. This means that we deal with the initial value problem (IVP),
where , , and , or with the terminal value problem (TVP),
where , , respectively. Particular attention is paid to the structure of initial/terminal and boundary conditions which are necessary and sufficient for the existence of a unique continuous solution on the closed interval . It turns out that the form of such conditions depends on the spectral properties of the coefficient matrix M. Therefore, we distinguish between three cases, where all eigenvalues of M have negative real parts, positive real parts, or are zero.
In the first step, we construct the general solution of (5). We denote by the Jordan canonical form of M and let be the associated matrix of the generalized eigenvectors of M. Thus, . Moreover, let us introduce new variables, and , then we can decouple the system (5) and obtain
By the variation of constant, any general solution of the linear equation (8) is a complex-valued function of the form
where is an arbitrary vector and
is the fundamental solution matrix satisfying
see [24], Chapter IV]. In the case that the matrix J consists of l Jordan boxes, , the fundamental solution matrix has the form of the block diagonal matrix, , where
and
Here is an eigenvalue of M and . The general solution of (5) is then given by
where and . Also,
and
From the structure of the matrix in (9), it is obvious that the solution contribution related to the k th Jordan box may become unbounded for . Apparently, the asymptotic behavior of the solution depends on the sign of the real part of the associated eigenvalue . Therefore, we have to distinguish between three cases, , , and . We assume that M has no purely imaginary eigenvalues to exclude solutions of the form .
We complete the preliminaries by two technical remarks, which will be frequently used in the following analysis.
Since the paper is considerably long, we tried to keep the presentation as condensed as possible and refer the reader to [25] for technical details.
Remark 1
The main focus of our investigations is on correctly posed initial/terminal conditions which guarantee the existence of continuously differentiable solutions of (5), . Since logarithm terms occur in the matrix (9), the relation
is essential when discussing the smoothness of y.
Remark 2
By integrating (10) we obtain
Moreover, if M has only eigenvalues with negative real parts, then due to Remark 1, and therefore
3 Eigenvalues of M with negative real parts
In this section, we consider system (5), such that all eigenvalues of M have negative real parts. It turns out that in this case, it is necessary to prescribe initial conditions of a certain structure to guarantee that the solution is continuous on . Moreover, this continuous solution of the associated IVP (6) is shown to be unique and its form is provided in Theorem 5. In the proof of this theorem, we require the following lemmas.
Lemma 3
Let and let the matrix J be of the form
where. For, we assumeand. Then, for,
and, in particular,
Proof
Due to the form of J, the norm of for is
By repeated integration by parts, we obtain
Therefore, due to (11),
Clearly, for ,
which completes the proof. □
Lemma 4
Assume that all eigenvalues of the matrix M have negative real parts. Then
Proof
Let , , be eigenvalues of the matrix M and , , the associated Jordan boxes of M. Then , where . Therefore,
The result follows from (11) and (15) with . □
Theorem 5
Let us assume that all eigenvalues of M have negative real parts. Then for everysystem (5) has a unique solution. This solution has the form
and satisfies the initial condition. This condition is necessary and sufficient for y to be continuous on. Moreover, if, , thensatisfies
Proof
The general solution of system (5) can be split into two parts
First, we show that . Change of variable, , yields
Let us now introduce the functions,
Then, by (17),
Clearly , for , and hence is continuous as the uniform limit of continuous functions. Consequently, .
Since all real parts of eigenvalues are negative, is not continuous at and it is obvious that if and only if
Thus the unique continuous solution satisfying (5) has the form
and the estimate
holds due to Lemma 4. This solution is uniquely determined by and there are no additional conditions to be imposed. Note that is equivalent to the condition which follows from (13) and (21).
We now examine the smoothness of y. Let . For the first derivative , we have from (21)
due to Lemma 3. Clearly, if , then
and by (13) the results follow. □
Theorem 5 shows that if all eigenvalues of M have negative real parts, then there exists a unique continuous solution y of IVP (6) for , , and . Clearly, has to be nonsingular. Note that for this spectrum of M a terminal problem (7) cannot be set up in a reasonable way.
4 Eigenvalues of M with positive real parts
In this section we deal with system (5) whose matrix M has eigenvalues with positive real parts. It turns out that in this case there exists a unique continuous solution of problem (7). Its smoothness depends not only on the smoothness of f but also on the size of real parts of the eigenvalues of M. Before stating the main result of this section formulated in Theorem 8, we show the following two lemmas.
Lemma 6
Letand let thematrix J be of the form (14), where. Then forthe function
satisfies the following inequalities:
Proof
We discuss separately the cases , , and . Note that according to (11) and (16)
holds.
-
(i)
First, let . Then there exists a constant such that . The term
is bounded on due to (11) and hence
-
(ii)
For the function u can be estimated by
-
(iii)
Finally, for , we have
□
Lemma 7
Letand let all eigenvalues of M have positive real parts. Then the function
is bounded onandfor.
Proof
Let all eigenvalues of M have positive real parts. Then
Estimates (22) to (24) and property (11) imply for , where . This means that u is bounded in . If , then and the result follows. □
Theorem 8
Let us assume that all eigenvalues of M have positive real parts. Then for everyand every constant vector c, there exists a unique solutionof (5). This solution has the form
If the matrixin (7) is nonsingular, then for anythere exists a unique solution of TVP (7). This solution is given by (25) with.
Let. Then the following statements hold:
-
(i)
for ,
-
(ii)
for .
Moreover, higher derivatives of y satisfy for
-
(i)
for ,
-
(ii)
for ,
whereis the smallest positive real part of the eigenvalues of M andis the dimension of the largest Jordan box in J.
Proof
The general solution of (5) can be written in the following form:
Since all eigenvalues have positive real parts, it follows from (11) that is continuous on .
Now, we show that exists and therefore . Using the integration formula (12) we obtain
and hence
Therefore
Since , there exists such that
Equation (27) together with (28) yield
Since all eigenvalues of M have positive real parts, (11) implies
Moreover, by Lemma 7 with
follows. Thus, and .
It is clear from (26) that the solution y of (5) becomes unique if we specify the constant vector . Note that at , satisfies n linearly independent conditions for any . Therefore, we have to specify c via the terminal conditions given in (7). Let and let be nonsingular, then it follows from that the unique solution of TVP (7) is given by (26), where .
We now provide the estimate for y. To this aim, we utilize Lemma 7 with and the inequality
Hence, according to (26)
In order to discuss the smoothness of y, we first study the general solution of the homogeneous problem . Since is positive, there always exists a constant such that . Then we have
and it is easily seen that . The estimates for higher derivatives of follow from (29).
We now turn to the smoothness of the particular solution of the inhomogeneous problem . We integrate by parts
Note that and are commutative if and M are commutative, since . The latter property will be shown in Lemma 18.
We differentiate the above equation and obtain
Let and , then we argue as at the beginning of the proof (in context of y and ) and conclude that . Moreover, the following estimate holds:
Similarly, if and , then and the following estimate holds:
It follows from (5) that if , then . Consequently, we have for and for . The above smoothness results and estimates for and complete the proof. □
We recapitulate the case when all eigenvalues of M have positive real parts: For any and any vector there exists a unique continuous solution y of TVP (7) if and only if the matrix is nonsingular. Each continuous solution y of (5) satisfies the initial condition independently on from (26). Consequently, in this case there exists no IVP with a unique solution.
Remark 9
A continuous solution to (5) exists also in the case when f is not continuously differentiable in . However, in this case, we need some more structure in f close to the singularity. Let us assume that as , for some constant and a function , . Then the solution of (5) is still continuous on . For the proof see [25].
5 Eigenvalues
Finally, we consider the case when all eigenvalues of the matrix M are zero. We begin with the scalar equation (5) which for immediately reduces to
and show that additional structure in the function f is necessary to guarantee that the solution y is continuous on . To see this, assume that f is a constant function, . Then any solution y of (30) has the following form:
and, clearly, y is not continuous at . Motivated by the scalar case, we require the inhomogeneity f to satisfy additional conditions providing the continuity of the associated solution. Before formulating the main result of this section we show the following lemma.
Lemma 10
Let us assume that all eigenvalues of the matrix M are zero. Then for
Proof
Let , , be the Jordan boxes of M. Then we can write , , and thus
Applying (15) and (11) we obtain (31). □
To obtain results for zero eigenvalues a projection matrix R onto the eigenspace of M and the matrix consisting of the linearly independent columns of R are required. For respective notation, see Table 10.
Theorem 11
Let all eigenvalues of the matrix M be zero and. Moreover, let us assume that there exist a constantand a function, such that
Then for anysuch that the matrixis nonsingular and for anyand, there exists a unique solutionof IVP (6). This solution has the form
and satisfies the initial condition, which is necessary and sufficient for. Moreover,
and if, , and, thenand the following estimates hold for any:
Proof
We split the general solution of (5) into two parts as defined in (18). To prove that , we again use the functions with and specified in (19) and (20). Due to (15), (31), and (32), we obtain
Therefore, and since due to (32).
We now examine the continuity of
cf. (18). The fundamental solution matrix is given by , where has the form and
where for , are the eigenvectors of M, are the associated principal vectors, and are the dimensions of the Jordan boxes . Clearly, because of the logarithmic terms occurring in , see (9), is not continuous at in general. Only when the contributions including the logarithmic terms vanish, becomes continuous on . It is clear from (9) that the only bounded contributions to are linear combinations of the eigenvectors of M. Consequently, any linear combination of principal vectors has to vanish. This is the case when , and arbitrary for all . Thus, is continuous on if and only if it is a constant linear combination of the eigenvectors of M. In other words, by setting , we have
Consequently, is necessary and sufficient for the solution
to be continuous on .
Note that the regularity requirement contains linearly independent conditions and can be equivalently expressed by , or . The remaining l free constants have to be uniquely specified by appropriately prescribed initial conditions. Let us consider the initial conditions specified in (6), where and . Since and , the initial condition is equivalent to . Due to the fact that , there exists a unique l-dimensional vector d, , such that , where is the matrix containing the linearly independent columns of R. Clearly, the problem is uniquely solvable if and only if and the matrix is nonsingular. Hence,
and the solution y has the form
This solution is bounded by
due to (15) and
In order to derive the following form of the first derivative, we substitute the solution given by (35) into (5) and use the property , then
If , then the first derivative is bounded by
Analogously, for , , , we have the following bounds for the higher derivatives:
The above estimates imply . □
Remark 12
Note that a purely polynomial inhomogeneity of the form
where , for , yields . For the proof see [25].
In Theorem 11, we described the unique solvability of IVP (6) in case when all eigenvalues of M are zero. The dimension of the corresponding eigenspace was and it turned out that the following regularity requirement has to be satisfied. If , then and the regularity condition holds. In this case we can also investigate the unique solvability of TVP (7). We address this question in the next lemma.
Lemma 13
Consider system (5) with the matrix. Letand assume that (32) is satisfied. Then, for any vectorand a nonsingular matrix, there exists a unique solution of (7),
bounded by
Moreover, if, , and, thenand the estimates (33) hold.
Proof
For the system (5) reduces to , and its solution is . To show that , we follow the arguments given in the proof of Theorem 11. The terminal condition yields . Moreover,
Estimates for the higher derivatives of y follow in an analogous manner. □
6 Differences between linear systems with smooth and unsmooth inhomogeneity
Before discussing the case of an arbitrary spectrum of M which enables to consider more general IVPs, TVPs, and BVPs, we summarize here the results from the previous sections and point out the differences when compared to the framework given in [5], [26], where linear systems with smooth inhomogeneity,
were studied.
6.1 Eigenvalues with negative real parts
Let us consider the ODE system (36) and assume that all eigenvalues of M have negative real parts. Then, according to [5], [26], if and only if . Therefore, the following IVP has a unique solution:
Moreover, if , .
According to Theorem 5, ODE system (5) has a solution if and only if . Consequently, the IVP specified below has a unique solution,
Here if , .
The conditions and are necessary and sufficient for the solution y to be continuous, , in case of the system (36) and (5), respectively.
6.2 Eigenvalues with positive real parts
For this spectrum of M both, for system (36) and for (5), we have to specify the boundary conditions at and solve a TVP. In particular, the TVP
where is nonsingular and , has a unique solution . This solution satisfies . If and , then , cf.[5]. In contrast to system (36), we need extra smoothness of the function f to obtain a unique continuous solution of the TVP
where is nonsingular and . Theorem 8 states that if . Additionally, if and , then , .
6.3 Eigenvalues
Let all eigenvalues of M be zero. Consider the IVP associated with (36) which takes the form
where the matrix is nonsingular, , and . The initial condition is necessary and sufficient for the solution to by continuous. The remaining m conditions necessary for its uniqueness are specified by . For , , ; see [5], [26].
In case of the unsmooth inhomogeneity in (5), f has to satisfy an additional requirement,
to enable a continuous solution of the following IVP:
where the matrix is nonsingular, , and .
Finally, if , , and , then .
7 General IVPs, TVPs, and BVPs
In this section we study general IVPs, TVPs, and BVPs. For notation see Table 10. All projections were constructed using the eigenbasis of M.
First, we discuss general IVPs (6) and TVPs (7), where all conditions which are necessary and sufficient to specify a unique solutions are posed at only one point, either at or at . According to the results derived above, restrictions on the spectrum of M need to be made.
A.1 For IVP (6) we assume that the matrix M has only eigenvalues with nonpositive real parts and if , then .
A.2 For TVP (7) we assume that the matrix M has only eigenvalues with nonnegative real parts and if , then . Additionally, if zero is an eigenvalue of M, then the associated invariant subspace is assumed to be the eigenspace of M.
Results formulated below without proofs are simple consequences of Theorems 5, 8, 11, and Lemma 13.
Lemma 14
Let us assume that, , and Zf satisfies condition (32).
-
(i)
Assume A.1 to hold. Let y be a continuous solution of IVP (6). Then
-
(ii)
Assume A.2 to hold. Let y be a continuous solution of TVP (7). Then
In both cases
The statement of Lemma 14 means that the conditions which are necessary for the solution of IVP (6) to be continuous are equivalent to
initial conditions, which the solution y has to satisfy. In case of TVP (7), where A.2 holds, any solution of (5) is continuous on and no regularity conditions have to be prescribed.
From Theorems 5 and 11 we obtain the following result for a general IVP (6).
Theorem 15
Let us assume that A.1 holds, thematrixis nonsingular, and. Then, for everysuch that Zf satisfies (32), there exists a unique solutionof IVP (6),
This solution is bounded by
Letandsatisfy condition (32) with. Then.
The analogous result for a general TVP (7) follows from Theorems 8 and 11.
Theorem 16
Let us assume that A.2 holds, is nonsingular, and. Then, for everysuch that Rf satisfies (32) and, there exists a unique solutionof TVP (7),
This solution satisfies and is bounded by
Let, , andsatisfy condition (32) with, then. For, , andsatisfying condition (32) with, we have. Heredenotes the smallest positive real part of the eigenvalues of M andis the dimension of the largest Jordan box of M.
Next, we consider the linear BVP of the form
where the matrix M may have an arbitrary spectrum, , , , and . It is clear from the previous considerations that the form of the boundary conditions which guarantee the existence of a unique continuous solution of (38) will depend on the spectral properties of the coefficient matrix M.
Before proceeding with the analysis, we show the following two auxiliary results. For proofs see [25].
Lemma 17
Let R be a projection onto the eigenspace associated with eigenvalues. Then
Lemma 18
The projection matrices S, Z, and N commute with the matricesand M.
To specify the boundary conditions which guarantee the unique solvability of BVP (38) the following lemma is required.
Lemma 19
Consider the following BVP:
Then, for every, such that Zf satisfies (32) and, and for any constant vector γ, there exists a unique continuous solution of the form
Proof
According to the previous results, the contributions to the solution y depend on the signs of the eigenvalues of M. For the eigenvalues with negative real parts the contribution has the form
For the eigenvalues with positive real parts the contribution is given by
and can be continuously extended to . Finally, for the eigenvalues , we have
The solution y is the sum of all contributions, . Therefore, we obtain
We now evaluate y at the boundaries to show that the above boundary conditions are satisfied. According to (32), holds. This yields
Therefore, and . Moreover,
Finally, we show that . First note that
According to (12),
for . Taking into account (13) and letting , we obtain
since the matrix consists only of Jordan boxes corresponding to eigenvalues with negative real parts. Therefore, . □
We now turn to the general boundary conditions specified in (38). For the investigation of these general boundary conditions, we have to rewrite the representation of the solution y, especially the term ,
where .
Remark 20
Note that the function
is continuous on . In order to see this, we again use functions and given by (19) and (20). Due to (11), (31), (32), and (34), we have
for . Since each entry of the matrix is a sum of terms , , the function
is continuous on .
Consequently, the general continuous solution of the ODE system given in (38) can be represented as
and it satisfies the following boundary conditions:
In the following lemma, we use the superposition principle to rewrite the solution (39) of (38) in a way convenient to discus the boundary conditions specified in (38).
Lemma 21
Let us assume that the inhomogeneityis given in such a way that Zf satisfies (32) and. Let thematrixbe a matrix consisting of the linearly independent columns of P. Then the general continuous solution of (38) has the form
where α is a constant m-dimensional vector, is the unique solution of
and is the unique continuous fundamental solution matrix satisfying
The case of the general boundary conditions (38) is covered by the following lemma.
Lemma 22
Letbe given in such a way that Zf satisfies (32) and. Then there exists a unique solutionof BVP (38) if and only if thematrix
is nonsingular. Here, , and.
Proof
We use (39) and (40) to calculate and . Since and , we first deduce
Moreover, from and , we have
Finally, we substitute and into the boundary condition and obtain
Thus,
and the unknown vector α can be uniquely determined if the matrix
is nonsingular. This completes the proof. □
The following theorem, stated without proof, is a consequence of the above results.
Theorem 23
Consider BVP (38), where the inhomogeneity f is given in such a way such that, Zf satisfies (32), and. Moreover, let, , and. Let us assume that thematrixis nonsingular. Then BVP (38) has a unique continuous solution. This solution satisfies two initial conditions,
which are necessary and sufficient for.
8 Collocation method
In this section we propose and analyze the polynomial collocation [19], for the numerical treatment of IVP, cf. (6),
which we assume to be uniquely solvable. Here the matrix M has only eigenvalues with nonpositive real parts, and if , then . Moreover, , , where . For the numerical treatment, we have to augment the m initial conditions specified by by the linearly independent initial conditions singled out from the set
Consequently, we have to solve the initial value problem,
We first discretize the analytical problem (41). The interval of integration is partitioned by an equidistant mesh Δ,
and in each subinterval , we introduce k collocation nodes , , , where . The computational grid including the mesh points and the collocation points is shown in Figure 1.
By we denote the class of piecewise polynomial function of degree less or equal to k on each subinterval . We approximate the analytical solution y by a piecewise polynomial function , , , , such that p satisfies ODE system (5) at the collocation points,
together with the continuity relations,
and satisfies the initial conditions
Note that . Since in each subinterval is a polynomial of degree smaller or equal to k, the total number of unknowns, the coefficients in the ansatz function p, is . On the other hand, the system (42) consists of equations, (43) provides , and (44) n conditions, which together add up to . This means that the collocation scheme (42), (43), and (44) is closed.
The collocation applied to solve (36) was studied in [19], where in particular, unique solvability of the collocation scheme and the convergence properties have been shown. For the reader’s convenience, we recapitulate in the next theorem an important auxiliary result from [19] required in the subsequent investigations. Note that since the analytical problem (41) has a unique solution, its value is known. Therefore, in Theorem 4.1 [19], a slightly simpler problem is considered, where instead of the initial conditions the correct value of is prescribed.
Theorem 24
(Theorem 4.1 in [19])
Let us consider the collocation scheme,
where, and. Then problem (45) has a unique solution, provided that h is sufficiently small. This solution satisfies
where, d is the dimension of the largest Jordan box of M associated to the eigenvalueand
We are now in the position to formulate the convergence result for the collocation method.
Theorem 25
Let us consider the initial value problem
whereand. Let us assume that the function f satisfies, , with, , and. Let the functionsatisfy the collocation scheme
Then
Proof
The idea of the proof is to introduce an error function and investigate how it is related to the global error of the scheme. Let e be defined as follows:
Since on each subinterval the function is a polynomial of degree less or equal to it is uniquely determined by its values at k distinct points in this interval,
where , , . Since the interpolation error is and, hence,
By integration in , we obtain , which means that e differs from by terms. Moreover, we see that e satisfies the following collocation scheme:
According to Theorem 24, we conclude that which together with yields . □
The especially attractive property of the collocation is the so-called superconvergence. For regular ODEs and certain choices of the collocation points (Gaussian, Lobatto, Radau), the convergence order in the mesh points can be considerably higher than k, provided that the solution y is sufficiently smooth. For the Gaussian points the superconvergence order is . Since already for problem (36) counterexamples show that the superconvergence does not hold [19], we do not expect it for the problem at hand either. However, the so-called small superconvergence uniform in t can be shown; see the next theorem. The main prerequisite for the proof is the property
which holds for an appropriate choice of the collocation points.
Theorem 26
Let, , and, whereand. If (46) holds, then the estimate for the global error given in Theorem 25can be replaced by
Proof
Consider again the error function e defined in Theorem 25. Due to the smoothness assumptions made for the problem data follows. Therefore,
We integrate on and use (46) to obtain
This implies
According to Theorem 24 we have , and finally . □
9 Numerical experiments
In order to illustrate the theoretical results derived in the previous section, we have constructed model problems and run the collocation code bvpsuitebvpsuite on coherently refined meshes to compare the empirically estimated convergence orders of the scheme with the theoretically predicted ones.
9.1 General IVP with smooth solution
We first deal with a linear system of ODEs,
subject to initial conditions
Here
The matrix M has a double eigenvalue , and a single eigenvalue . The IVP (47), (48) satisfies the assumptions of Theorem 15 and the exact solution y has the form
We see that , cf. Remark 12.
In Tables 1 to 4, we illustrate the convergence behavior for the collocation executed with equidistant and Gaussian collocation points. The number of the collocation points k was chosen to vary from 1 to 8. However, in the simulations shown here, we report only on the values 1 to 4 since the results for 5 to 8 are very similar. The maximal global error is computed either in the mesh points,
or ‘uniformly’ in t, , , . The estimated order of convergence p and the error constant c are estimated using two consecutive meshes with the step sizes h and .
Since for , we have
Having p, we calculate the error constant from .
According to the experiments, the empirical convergence orders very well reflect the theoretical findings. For Gaussian points, we observe the small superconvergence order uniformly in t. The superconvergence order 2k in the mesh points does not hold in general; see the case . For uniformly spaced equidistant collocation points we again observe the order , which for this model is slightly better than we can show theoretically.
9.2 General IVP with ‘unsmooth’ solution
Next, we discuss an IVP whose solution is less smooth than in the previous model. The problem reads
where
The eigenvalues of M are , , and ; and the initial conditions are designed in such a way that IVP (49) satisfies the assumptions of Theorem 15. The analytical solution is given by
The related numerical results are listed for in Table 5. As expected, we observe an order reduction down to 1.5, not only for , but also for all other values of k.
9.3 General TVP with small positive eigenvalues
The case of the matrix M having eigenvalues with positive real parts has not been investigated yet, since the related theory is particularly tedious and involved, cf.[27]. However, some interesting numerical simulations are already available and, therefore, the results of these experiments are briefly discussed here to complete the picture.
We first consider the following model problem:
where
The eigenvalues of M are , , and ; and the solution of (50) is
In Tables 6 and 7, we again see the order reduction down to 0.5, due to the fact that the first derivative is unbounded for . Moreover, we see that the problem is hard to solve and the convergence is very slow. For the level of the global error is only . In [6] the convergence order of the collocation scheme for TVPs of the type (37), where all eigenvalues of M have positive real parts, has been specified. Provided that the Jordan box associated with the eigenvalue whose real part is is diagonal, the uniform stage convergence order was shown to be . This result suggests that also in the case of the model (50) the convergence order will drop down to 0.5, cf. Tables 6 and 7.
The remedy for this lack of smoothness due to the small size of the positive eigenvalues of M is to make a change of the independent variable [28], , for some . Then satisfies the transformed ODE system
where and . The eigenvalues of the matrix become and therefore, the solution of the transformed equation is smoother than the solution y of the original one. For instance, if and , then we can choose μ such that . Consequently, by Theorem 8(ii), . One can also interpret the above smoothing in terms of the mesh adaptation - solving the ODE system (51) on an equidistant mesh, means solving the original ODE system on a mesh which is adequately refined close to the singularity, where the solution y and its derivatives rapidly change. Consequently, we solve (51) subject to terminal conditions given in (50), where, for ,
While the eigenvalues of M are , , and , the eigenvalues of become , , and . The solution of the transformed problem reads
Tables 8 and 9 show the desired effect. For and equidistant collocation points, we observe the behavior of the global error uniformly in t, as was the case for a smooth IVP. For the Gaussian points we see the superconvergence , both in the mesh points and uniformly in t, which is better than expected. However, this very fast convergence for the Gaussian points is put into the right perspective by the data for in Table 9. Here only the expected order uniformly in t can be observed.
The above experiments in context of the TVPs suggest the following working hypothesis: The polynomial collocation shows the same convergence behavior for the TVPs and IVPs, provided that their solutions are appropriately smooth. This hypothesis may become a subject of further studies.
10 Conclusions
In this paper, we investigated the analytical properties of the singular BVP
It turns out that the structure of the initial/terminal/boundary conditions to guarantee that the problem has a unique solution which is at least continuous on depends on the spectral properties of the matrix M.
In context of an IVP with appropriately smooth solution, polynomial collocation method executed with k arbitrary collocation points retains its classical stage order uniformly in t. For Gaussian points the so-called small superconvergence order can also be shown to hold uniformly in t. In general, the superconvergence order in the mesh points cannot be expected to hold.
Our next task is to generalize the results discussed in the present article to the linear case with a variable coefficient matrix and to the nonlinear case, cf. [29].
References
Agarwal R, O’Regan D, Staněk S: Dead core problems for singular equations with ϕ -Laplacian. Bound. Value Probl. 2007., 2007: 10.1155/2007/18961
Malaguti L, Marcelli C, Matucci S: Continuous dependence in front propagation of convective reaction-diffusion equations. Commun. Pure Appl. Anal. 2010, 9: 1083-1098. 10.3934/cpaa.2010.9.1083
Staněk S, Pulverer G, Weinmüller E: Analysis and numerical solution of positive and dead core solutions of singular two-point boundary value problems. Comput. Math. Appl. 2008, 56: 1820-1837. 10.1016/j.camwa.2008.03.029
Staněk S, Pulverer G, Weinmüller E: Analysis and numerical solution of positive and dead core solution of singular Sturm-Liouville problems. Adv. Differ. Equ. 2010., 2010: 10.1186/1687-1847-2010-969536
de Hoog F, Weiss R: Difference methods for boundary value problems with a singularity of the first kind. SIAM J. Numer. Anal. 1976, 13: 775-813. 10.1137/0713063
Weinmüller E: Collocation for singular boundary value problems of second order. SIAM J. Numer. Anal. 1986, 23: 1062-1095. 10.1137/0723074
Koch O, Weinmüller E: Analytical and numerical treatment of a singular initial value problem in avalanche modeling. Appl. Math. Comput. 2004, 148: 561-570. 10.1016/S0096-3003(02)00919-0
Ashordia M: On boundary value problems for systems of linear generalized ordinary differential equations with singularities. Differ. Uravn. 2006, 42: 291-301.
Ashordia M: On the Fredholm property of linear boundary value problems for systems of generalized ordinary differential equations with singularities. Mem. Differ. Equ. Math. Phys. 2004, 32: 137-141.
Azbelev NV, Maksimov VP, Rakhmatullina LF: Introduction to the Theory of Functional Differential Equations, Methods and Applications. Hindawi Publishing Corporation, New York-Cairo; 2007.
Horishna Y, Parasyuk I, Protsak L: Integral representation of solutions to boundary-value problems on the half-line for linear ODEs with singularity of the first kind. Electron. J. Differ. Equ. 2008, 2008: 1-18.
Kiguradze I, Lomtatidze A: On certain boundary value problems for second-order linear ordinary differential equations with singularities. J. Math. Anal. Appl. 1984, 101: 325-347. 10.1016/0022-247X(84)90107-0
Pylypenko V, Ronto A: On slowly growing solutions of singular linear functional differential systems. Math. Nachr. 2012, 285(5-6):727-743. 10.1002/mana.201000014
Agarwal R, Kiguradze I: Two-point boundary value problems for higher-order linear differential equations with strong singularities. Bound. Value Probl. 2006., 2006: 10.1155/BVP/2006/83910
Kiguradze I: On boundary value problems for linear differential systems with singularities. Differ. Equ. 2003, 39: 198-209.
Kiguradze T: Estimates for the Cauchy functions of linear singular differential equations and some of their applications. Differ. Equ. 2010, 46: 29-46.
Kiguradze T: On conditions for linear singular boundary value problems to be well posed. Differ. Equ. 2010, 62: 183-190.
Vainikko G: A smooth solution to a linear systems of singular ODEs. Z. Anal. Anwend. 2013, 32: 349-370. 10.4171/ZAA/1489
de Hoog F, Weiss R: Collocation methods for singular BVPs. SIAM J. Numer. Anal. 1978, 15: 198-217. 10.1137/0715013
de Hoog F, Weiss R: On the boundary value problem for systems of ordinary differential equations with a singularity of the second kind. SIAM J. Math. Anal. 1980, 11: 41-60. 10.1137/0511003
de Hoog F, Weiss R: The application of Runge-Kutta schemes to singular initial value problems. Math. Comput. 1985, 44: 93-103. 10.1090/S0025-5718-1985-0771033-0
Auzinger W, Kneisl G, Koch O, Weinmüller E: A collocation code for boundary value problems in ordinary differential equations. Numer. Algorithms 2003, 33: 27-39. 10.1023/A:1025531130904
Kitzhofer G, Koch O, Pulverer G, Simon C, Weinmüller E: Numerical treatment of singular BVPs: the new Matlab code bvpsuite. J. Numer. Anal. Ind. Appl. Math. 2010, 5: 113-134.
Codington E, Levison N: Theory of Ordinary Differential Equations. McGraw- Hill, New York; 1955.
Rachunkova, I, Stanek, S, Vampolova, J, Weinmüller, E: On linear ODEs with a time singularity of the first kind and unsmooth inhomogeneity. ASC Report 07/2014, Institute for Analysis and Scientific Computing, Vienna University of Technology, Vienna (2014)
Koch O, Kofler P, Weinmüller E: Initial value problems for systems of ordinary first and second order differential equations with a singularity of the first kind. Analysis 2001, 21: 373-389. 10.1524/anly.2001.21.4.373
Koch O: Asymptotically correct error estimation for collocation methods applied to singular boundary value problems. Numer. Math. 2005, 101: 143-164. 10.1007/s00211-005-0617-2
Cash J, Kitzhofer G, Koch O, Moore G, Weinmüller E: Numerical solution of singular two point BVPs. J. Numer. Anal. Ind. Appl. Math. 2009, 4: 129-149.
Vainikko G: A smooth solution to a nonlinear systems of singular ODEs. AIP Conf. Proc. 2013, 1558: 758-761. 10.1063/1.4825604
Acknowledgements
The first three authors acknowledge support from the grant IGA Mathematical models, IGA_PrF_2014028 and from the grant ‘Singularities and impulses in boundary value problems for nonlinear differential equations’ No. 14_069585 of the Grant Agency of the Czech Republic. The authors thank both referees for their valuable comments, which helped to improve the manuscript.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed to the analytical part of the paper. JB and EBW contributed to its numerical part. All authors read and approved the final version of the manuscript.
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 2.0 International License ( https://creativecommons.org/licenses/by/2.0 ), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Burkotová, J., Rachůnková, I., Staněk, S. et al. On linear ODEs with a time singularity of the first kind and unsmooth inhomogeneity. Bound Value Probl 2014, 183 (2014). https://doi.org/10.1186/s13661-014-0183-6
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-014-0183-6