Abstract

The well-known Sherman-Morrison-Woodbury formula is a powerful device for calculating the inverse of a square matrix. The paper finds that the Sherman-Morrison-Woodbury formula can be extended to the linear integrodifferential equation, which results in an unified scheme to decompose the linear integrodifferential equation into sets of differential equations and one integral equation. Two examples are presented to illustrate the Sherman-Morrison-Woodbury formula for the linear integrodifferential equation.

1. Introduction

This paper is devoted to the study of the linear integrodifferential equation (IDE):with the homogeneous boundary conditions:where, , , and are all linear differential operators. is a linear function with respect to . is dependent on the variable. is the unknown function of two types of variables, that is, and . However, the integration in (1) is with respect to , without involving .

The IDE can be found to describe various kinds of phenomena such as Bose-Einstein condensates [1], wave-power hydraulics [2], heterogeneous heat transfer [3], slow erosion of granular flow [4], and wind ripple in the desert [5]. Solving this equation has been one of the interesting tasks for researchers. To date, there are many numerical methods such as finite element method [6] and finite difference method [7] that can be used to obtain an approximate solution for this problem. There are also some analytical methods such as the classical polynomial expansion method [8], the operational approach [9], the homotopy perturbation method [10], the separation of variables technique [11], and the resolvent method [12]. When we employ these analytical methods to solve the IDE, one common feature is that the IDE is converted to a series of pure differential equations and pure integral equations. In this article we propose a new technique for (1), that is, the Sherman-Morrison-Woodbury (SMW) formula [13]. The SMW formula is a powerful device for calculating the inverse matrix of a square matrix, which will be described briefly in Section 2. In Section 3, we extend the SMW formula to solve the IDE. We find that the SMW formula provides a unified procedure to decompose the linear IDE into several differential equations and one pure integral equation. In Section 4 two simple examples are used to explain this scheme.

2. Sherman-Morrison-Woodbury Formula

The SMW formula was developed for calculating the inverse matrix of a square matrix. Suppose that we have already obtained, by herculean effort, the inverse matrix of a square matrix . Then a small change, for example, , in happens, and we need to calculate the inverse matrix . SMW formula is a powerful device for this problem.

Lemma 1 (Sherman-Morrison-Woodbury formula). If , the inverse matrix of is

Proof. Refer to [13].

It can be observed from (4) that calculating is converted to calculating . In the next section we will develop the IDE version of the SMW formula.

3. SMW Formula for the IDE

In this section we extend the SMW formula to the IDE.

Definition 2. The function is the Green function of the following differential equation (5), if it satisfieswhere is the Dirac function.

Lemma 3. For the following differential equation:its solution is

Proof. Substituting (8) into (7), we have So the proof of the lemma is completed.

Note that in the proof we assume that the linear differential operators , , and and the integral operator are commutative. The assumption holds throughout the paper.

Theorem 4. The solution of (5) can be written aswhere satisfies satisfiesand satisfiesin which

Proof. It can be observed easily in terms of (11) and (12) that (10) satisfies the boundary conditions defined by (2). Substituting into the left side of (1) and using (11) and (12), we have In terms of Lemma 3, the solution of (12) can be written asUsing (14) and (16) to the last term in the right side of (15) yieldsSubstitute (17) into (15) and then use (29) to the resultSo the proof of the theorem is completed.

Note that in the proof we assume that the linear differential operators , and the integral operatorare commutative. The assumption holds throughout the paper.

Equation (10) can be seen as the IDE version of the Sherman-Morrison-Woodbury formula. In order to explain this point more clearly, we introduce some notations.

Definition 5. The following linear operators are defined by

Definition 6. The inverse linear operator of is defined bywhere is the Green function defined by (5).
Using (19) and (20) to (1) yields

Lemma 7. Equation (29) can be rewritten as

Proof. In terms of (19), we have Substituting (23) into (5) yields (22).

We denote the solutionof (22) by

Theorem 8 (Sherman-Morrison-Woodbury formula). The solution of (1) can be written as

Proof. In terms of (20), we have Combining (26) with (24) gives So the proof of the theorem is completed.

It can be observed clearly that (25) is the SMW formula for the IDE. Theorems 4 and 8 show that solving the IDE (1) could be converted to solving the integral equation (13) or (29).

According to Lemma 3, the solution of (11) can be written asUsing (28) to the right-hand side of (13) yieldsMultiply both sides of (29) byand rearrange the equation:Letthen (30) can be rewritten asNoting (10)–(12) and (31), we have the following corollary.

Corollary 9. The solution of (1) satisfies where is defined by (32).

In terms of Theorem 4, we can obtain the following corollary.

Corollary 10. If is independent of the variable and is also independent of the variable , then the solution iswhere satisfiesin which

Corollary 10 shows that if and are independent of the variable , solving the IDE is converted to solving the integral equation (35) which only involves the variable . Hence, in this case, the problem is reduced by using Corollary 10.

4. Examples

In this section we present two simple examples. These examples are considered to illustrate the SMW formula for the IDE.

Example 1. We consider the following linear IDE firstly:According to Theorem 4, the solution of (37) can be written as where satisfies satisfiesand satisfiesin whichSolving (39) givesSubstituting (42) into (41) yieldsIn terms of (44), we haveOnce is obtained, (40) can be solved:So the exact solution is

Example 2. Consider the following linear IDE:In terms of Corollary 9, (48) can be converted to the following equations:where satisfiesin whichSubstituting (51) into (50) yieldsSolving (52) yieldsCombining (53) with (49) yieldswhich is the exact solution.

5. Conclusion

In this work, we extend the SMW formula for the linear IDE. By using the SMW formula, the linear IDE can be decomposed into several linear differential equations and one pure integral equation. The SMW formula could be a powerful tool to solve the linear IDE. Combining the SMW formula with some analytical methods developed for the integral equation may provide the analytical approach for the linear IDE. The SMW formula can also be combined with the numerical methods for solving the linear IDE numerically.

Competing Interests

The author declares that there is no conflict of interests regarding the publication of this paper.

Acknowledgments

The author is grateful for the financial support of the Natural Science Foundation of China (nos. 11472076 and 51609034) and China Postdoctoral Science Foundation (no. 2016M590219).