Abstract
This paper is associated with Sturm–Liouville type boundary value problems and periodic boundary value problems for quaternion-valued differential equations (QDEs). Employing the theory of quaternionic matrices, we prove the conditions for the solvability of the linear boundary valued problem and find Green’s function.
Similar content being viewed by others
1 Introduction
In 1843, Irish mathematician William Rowan Hamilton [1] introduced the concept of quaternion on the basis of complex numbers. In a quaternion set \(\mathbb{H}\), the quaternion q is denoted by
where \(q_{0}\), \(q_{1}\), \(q_{2}\), \(q_{3}\) are real numbers, and i, j, k satisfy the following operations:
Similar to complex numbers, the quaternion q can be regarded as a four-dimensional real vector \(q=(q_{0},q_{1},q_{2},q_{3})^{T}\in \mathbb{R}^{4}\). With quaternion vectors, rotations in three and four dimensions can be algebraically processed. Thus quaternions show more advantages than real-valued vectors in physics and engineering applications. But even more important, quaternions are 4-vectors whose multiplication rules are controlled by a simple noncommutative division algebra. In other words, quaternions are not exchanged regarding multiplication operations.
To the best of our knowledge, the theory of ordinary differential equations (ODEs) has been relatively systematic and complete [2–4]. But quaternion-valued differential equations (QDEs) are a new type of differential equations. Due to the noncommutativity of multiplication, many properties in the fields of real or complex numbers cannot be applied to the field of quaternions directly, which brings a great challenge to the development of QDEs.
- ♣:
-
Qualitative properties of QDEs
In 2006, Campos and Mawhin [5] considered the existence of periodic solutions of first-order QDE
by using topological degree methods. In 2009, Wilczyński [6] continued to study the quaternion Riccati equations
by means of isolating segments and the Brouwer fixed point theorem. In the same year, Gasull, Llibre, and Zhang [7] studied the first-order homogeneous QDE
in which they described the phase portraits of the homogeneous QDEs and discussed the periodic orbits, homoclinic loops, and invariant tori at \(n=2,3\). In 2011, Zhang [8] studied the global structure of the quaternion Bernoulli equation
By using the Liouvillian theorem of integrability and the topological characterization of 2-dimensional torus, they proved that the quaternion Bernoulli equations may have invariant tori that possess a full Lebesgue measure subset of \(\mathbb{H}\). In 2018, Cai and Kou [9] transformed the process of solving QDEs to an algebraic quaternion problem by Laplace transformation, which provides a new approach to study the linear QDEs.
Most of the above mentioned works focused on one-dimensional QDEs, and they mainly discussed the qualitative properties of QDEs (e.g., the existence of periodic orbits, homoclinic loops, and invariant tori, integrability, the existence of periodic solutions, and so on). They did not provide the algorithm to compute the exact solutions to linear QDEs. In 2021, Xia, Kou, and Liu [10] gave a systematic framework for the theory of linear QDEs. They proved that the set of all the solutions to the linear homogenous QDEs is actually a right-free module, not a linear vector space. On the noncommutativity of the quaternion algebra, many concepts and properties for the ODEs cannot be used. They should be redefined accordingly. A definition of Wronskian is introduced under the framework of quaternions, which is different from the standard one in ODEs. Liouville formula for QDEs is given. Recently, Xia [11] developed the classical method of constant variation and gave a method for solving linear inhomogeneous quaternion-valued differential equations. It is worth noting that their research does not involve boundary value problems of QDEs
where \(J\subset \mathbb{R}\) is a real interval, \(\mathbf{B}\in \mathbb{H}^{n}\), \(f\in C(J\times \mathbb{H}^{n}, \mathbb{H})\), \(U:C^{(n-1)}(J,\mathbb{H})\rightarrow \mathbb{H}^{n}\).
- ♣:
-
Boundary value problems of QDEs
In this paper, we continue to study the general theory of linear QDEs and pay more attention to boundary value problems (BVPs) of second-order linear QDEs under linear boundary conditions
where \(J=[a,b]\subset \mathbb{R}\), \(a_{1}(t), a_{2}(t)\in C(J,\mathbb{H})\), and \(f(t), U_{i}(q)\in C(J,\mathbb{H})\), \(U_{1}\), \(U_{2}\) are linear with respect to q, that is, \(U(q)\) satisfies a linear relationship
When
hold, (1.2) is called the quaternion homogeneous linear BVP; when
holds, (1.2) is called the quaternion semi-homogeneous linear BVP; when (1.3) are not satisfied, (1.2) is called inhomogeneous quaternion linear BVP.
By the application of quaternion matrix theory, we prove the solvability of the boundary value problem in both the resonant (\(\operatorname{ddet}Q(q)=0\)) and nonresonant (\(\operatorname{ddet}Q(q)\neq 0\)) cases, where the definition of double determinant ddetQ can be found in Sect. 3.2.
We also give the Green’s function of homogeneous and inhomogeneous boundary value problems, and then we verify the properties of Green’s function, which are similar to ODEs, such as the solution of BVPs can be uniquely expressed as an integral equation. We will discuss this problem in Sturm–Liouville type boundary value conditions
and periodic boundary value conditions
This paper is organized as follows. In Sect. 2, we give some basic results on quaternion and quaternion matrix including but not limited to determinant, rank, right (left) eigenvalue, and Cramer’s rule of linear quaternion algebraic equation. In Sect. 3, we discuss the solvability of BVPs for second-order linear QDEs in resonant and nonresonant cases. You will also see some computational examples in this section. In Sects. 4 and 5, we calculate the Green’s function of second-order BVPs under Sturm–Liouville type boundary value conditions and periodic boundary value conditions, respectively.
2 Preliminary
In this section, we give some definitions of quaternion matrix such as the definition of determinant [12], double determinant [13], inverse matrix [13, 14], and left or right eigenvalues [15–17]. Moreover, we give Cramer’s rule [12, 18, 19] of linear quaternion algebraic equation, which is used to discuss the solvability of BVPs for second-order linear QDEs.
2.1 Quaternion and quaternion matrix
First of all, we define for the quaternion \(q\in \mathbb{H}\) with
where \(q_{0}\), \(q_{1}\), \(q_{2}\), \(q_{3}\) are real numbers and \(\mathbb{H}\) is the set of quaternions. In addition,
denote the real part and the imaginary part of q respectively. And the conjugate is
For any q and \(h=h_{0}+h_{1}\mathrm{i}+h_{2}\mathrm{j}+h_{3}\mathrm{k}\), it is easy to check that
and
For given \(q,h\in \mathbb{H}\), we introduce the inner product
and the modulus
After simple calculation, it can be concluded that
Then
At last, we should note that for any \(q=q_{0}+q_{1}\mathrm{i}+q_{2}\mathrm{j}+q_{3}\mathrm{k}\in \mathbb{H}\), it can be rewritten as
that is, for any \(q\in \mathbb{H}\), there exist \(Q_{1}, Q_{2}\in \mathbb{C}\) such that \(q=Q_{1}+Q_{2}\mathrm{j}\). Similarly, for any \(A\in \mathbb{H}^{n\times n}\), there exist \(A_{1}, A_{2}\in \mathbb{C}^{n\times n}\) such that \(A=A_{1}+A_{2}\mathrm{j}\); for any \(\nu \in \mathbb{H}^{n}\), there exist \(\nu _{1}, \nu _{2}\in \mathbb{C}^{n}\) such that \(\nu =\nu _{1}+\nu _{2}\mathrm{j}\).
2.2 Determinant and double determinant
For any \(A=(a_{ij})_{2\times 2}\in \mathbb{H}^{2\times 2}\), the determinant based on expanding along the first row is
and the determined based on permutation is defined as follows:
where \(\sigma _{1}=(2)(1)\), \(\sigma _{2}=(21)\), and
For
\(A^{+}\) is the conjugate transpose of A, that is,
where \(a_{ij}\) is the quaternion. As a result,
Remark 2.1
To our knowledge,
that is to say,
Proof
Obviously, (2.4) is true, which implies that
and
are both real numbers. It is worth noticing that
holds under the circumstance of \(\mathcal{R}\{q\bar{h}\}=\mathcal{R}\{\bar{q}h\}\). For simplicity, we may take
In conclusion, our proof is complete. □
Definition 2.1
For any \(A=(a_{ij})_{2\times 2}\in \mathbb{H}^{2\times 2}\), the real number
is called double determinant.
Due to the noncommutativity algebra of quaternion, Cramer’s rule for linear systems of equations over the real domain no longer applies to quaternion field. Now we introduce Cramer’s rule for systems of linear equations with quaternion.
Lemma 2.1
(see [12]) For the right linear equations
where \(a_{ij}, b_{i}\in \mathbb{H}\), \(i, j=1,2, \ldots ,n\). Denote \(\alpha _{j}=(a_{1j},a_{2j},\ldots a_{nj})^{T}\), \(A=(\alpha _{1},\alpha _{2},\ldots ,\alpha _{n})\), and \(\beta =(b_{1}, b_{2}, \ldots , b_{n})^{T}\). If \(\operatorname{ddet}A\neq 0\), then there exists a unique solution
where
In fact, invertible matrix in the matrix analysis of real and complex matrices is introduced in the same way for quaternion matrix.
Definition 2.2
(see [14]) A matrix \(A\in \mathbb{H}^{n\times n}\) is called invertible when there exists \(B\in \mathbb{H}^{n\times n}\) such that \(AB=BA=I_{n}\), where \(I_{n}\) is the identity matrix. Denote the unique B by \(A^{-1}\).
Lemma 2.2
(see [13]) The matrix \(A=(a_{ij})_{n\times n}=(\alpha _{1},\alpha _{2}, \ldots ,\alpha _{n}) \in \mathbb{H}^{n\times n}\) is invertible if and only if \(\operatorname{ddet}A\neq 0\). Moreover, \(A^{-1}=(b_{jk})_{n\times n}\), where
2.3 Right (left) eigenvalue of quaternionic matrix
Due to the lack of commutativity in multiplication, quaternion matrices also have left and right eigenvalues.
Definition 2.3
For a matrix \(A\in \mathbb{H}^{2\times 2}\), if
and x is the nonzero quaternion column vector, then the quaternion λ is called the right (left) eigenvalue.
Definition 2.4
For \(A\in \mathbb{H}^{n\times n}\), suppose \(A=A_{1}+A_{2}\mathrm{j}\) with \(A_{1}, A_{2}\in \mathbb{C}^{n\times n}\). Define the complex adjoint matrix of A
For \(\nu \in \mathbb{H}^{n}\), suppose \(\nu =\nu _{1}+\nu _{2}\mathrm{j}\) with \(\nu _{1}, \nu _{2}\in \mathbb{C}^{n}\), define the complex adjoint vector of ν
then denote
Lemma 2.3
(see [16]) For \(A\in \mathbb{H}^{n\times n}\), \(\nu , \mu \in \mathbb{H}^{n}\), and \(\lambda \in \mathbb{C}\), \(A\nu =\mu +\nu \lambda \) holds if and only if \(\phi (A)\varphi (\nu )=\varphi (\mu )+\varphi (\nu )\lambda \) holds.
Lemma 2.4
(see [17]) For \(A\in \mathbb{H}^{n\times n}\), \(\nu \in \mathbb{H}^{n}\), and \(\lambda \in \mathbb{C}\), \(A\nu =\nu \lambda \) holds if and only if \(\phi (A)\varphi (\nu )=\varphi (\nu )\lambda \) holds.
2.4 Rank of quaternionic matrix
Next, we give some results on the rank of quaternionic matrix, the reader will find these in [20] and [21].
Definition 2.5
Let A be any nonzero \(m\times n\) matrix on the ring R. Define the order of the subsquare with the largest nonzero factor in A as the rank of A, and simplify it as rank A.
Definition 2.6
The number of rows of A that constitute the largest possible sub-block (not necessarily a square) with non-right zero factors is called the left rank of the rows of A, the column number of the largest possible sub-block of non-left zero factors formed by the columns of A is called the column-right rank of A.
Remark 2.2
Base on the definition of rank, it is easy to check that:
(1) Both the row-left rank and column-right rank of A are equal to the rank of A;
(2) For a zero matrix, all the above rank numbers are defined as 0;
(3) The above definition naturally applies to the skew field, and the rank of the matrix A on the skew field is the order of the largest nonsingular sub-block in A.
Proposition 2.5
(see [20]) On the skew field, the sufficient and necessary condition for \(AX = \beta \) to have a solution is that \(\operatorname{rank}(A,\beta )=\operatorname{rank}A\).
For convenience, we give the following more general conclusion and proof.
Lemma 2.6
(see [21]) Suppose that F is a skew field and \(A\in F^{m\times n}\). A sufficient and necessary condition for matrix equation
to have a solution on F is that
where \(0\leq r\leq \min \{m,n\}\).
Proof
Suppose \(\operatorname{rank}A =r\), then there exist invertible matrices P, Q such that
and
Let
where \(B_{1}\) is the \(r\times s\) matrix and \(B_{2}\) is the \((m-r)\times s\) matrix, then (2.15) has a solution, that is,
has a solution if and only if \(B_{2}=O_{(m-r)\times s}\). Obviously,
From this, we can obtain \(B_{2}=O_{(m-r)\times s}\) if and only if \(\operatorname{rank}(A,B)=r=\operatorname{rank}A \). □
3 Solvability of BVPs for second-order linear QDEs
In this section, we consider the solvability of boundary value problems (BVPs) of second-order linear QDEs under the linear boundary conditions
where \(J=[a,b]\subset \mathbb{R}\), \(a_{1}(t), a_{2}(t)\in C(J,\mathbb{H})\), and \(f(t)\in C(J,\mathbb{H})\). For convenience, we give some basic theory of linear QDEs, which can be found in [10].
3.1 Some lemmas
Consider the linear system
where \(\mathbf{x}(t)\in \mathbb{H}^{n}\), \(A(t)\) is an \(n\times n \) continuous quaternion-valued function matrix on the interval \(I=[a,b]\), \(I\subseteq \mathbb{R}\).
Suppose that \(\mathbf{x}_{1}(t),\mathbf{x}_{2}(t),\ldots ,\mathbf{x}_{n}(t)\) are solutions of linear system (3.1) if
implies that
then \(\mathbf{x}_{1}(t),\mathbf{x}_{2}(t),\ldots ,\mathbf{x}_{n}(t)\) is said to be right independent. Otherwise, \(\mathbf{x}_{1}(t),\mathbf{x}_{2}(t),\ldots ,\mathbf{x}_{n}(t)\) is said to be right dependent. Denote
is a solution matrix of (3.1), if \(\mathbf{x}_{1}(t),\mathbf{x}_{2}(t),\ldots ,\mathbf{x}_{n}(t)\) are right independent, it is said to be a fundamental matrix of (3.1).
Definition 3.1
The Wronskian of solutions \(\mathbf{x}_{1}(t),\mathbf{x}_{2}(t),\ldots ,\mathbf{x}_{n}(t)\) is defined by
Remark 3.1
When \(n=2\), we can obtain
Lemma 3.1
(see [15]) Suppose that \(\mathbf{x}_{1}(t),\mathbf{x}_{2}(t),\ldots ,\mathbf{x}_{n}(t)\) are solutions of linear system (3.1), then \(\mathbf{x}_{1}(t),\mathbf{x}_{2}(t),\ldots ,\mathbf{x}_{n}(t)\) are right independent on interval I if and only if \(W_{QDE}(t)\neq 0\).
Lemma 3.2
(see [15]) If \(q(t)\) is differentiable and if \(q(t)q'(t)=q'(t)q(t)\), it follows from that
where \(\exp q(t)=\sum^{\infty}_{n=0}\frac{q^{n(t)}}{n!}\) is the exponential function of \(q(t)\).
Lemma 3.3
(see [17]) Let \(\Phi (t)\) be a fundamental matrix of homogenous equations (3.1). Any solution \(\psi ^{H}(t)\) of linear homogenous equations
can be represented by
where q is a constant quaternionic vector.
Lemma 3.4
(see [11])(Variation of constants formula) The general solution of nonhomogenous equation
is given by
where \(t_{0}\in [a,b]\), q is a constant quaternionic vector.
3.2 Solvability of BVPs
From now on, we analyze the homogeneous equation
and the inhomogeneous equation
By the transformation
equations (3.6) and (3.7) can be converted into
respectively. Simultaneously,
Because \(q_{1}(t)\), \(q_{2}(t)\) are linearly independent solutions of equation (3.6), define
Proposition 3.5
\(\Phi (t)\) is a fundamental matrix of equation (3.8).
Proof
It is easy to verify that \(\Phi _{1}'(t)=A(t)\Phi _{1}(t)\), \(\Phi _{2}'(t)=A(t)\Phi _{2}(t)\). Therefore, \(\Phi (t)=(\Phi _{1}(t), \Phi _{2}(t))\) is a solution matrix of equation (3.8). And more importantly,
For convenience, we can assume that
Therefore,
with
Through a series of calculations, we are able to obtain \(W_{QDE}(t)\neq 0\), which implies that \(\Phi (t)\) is a fundamental matrix of equation (3.8). □
Proposition 3.6
The inhomogeneous equation (3.7) has a solution
Proof
From Lemma 2.1, Lemma 2.2, and Lemma 3.4, it easily follows that
is a solution to the inhomogeneous equation (3.9). It should be noted that
then
The first component of the above equation gives the solution to equation (3.9), that is,
where
The special solution of the inhomogeneous equation (3.7) can be obtained by taking the conjugate of equations (3.15) and (3.16) into equation (3.14). □
Substituting \(q_{1}(t)\), \(q_{2}(t)\) separately into \(U_{1}(q)\), \(U_{2}(q)\), we get \(U_{1}(q_{1})\), \(U_{1}(q_{2})\), \(U_{2}(q_{1})\), \(U_{2}(q_{2})\), let
then
If \(\operatorname{ddet}Q(q)\neq 0\), we say that BVP (1.2) is a nonresonant boundary value problem. BVP (1.2) called the resonant boundary value problem when \(\operatorname{ddet}Q(q)=0\).
3.2.1 Nonresonant problem
Theorem 3.1
If \(\operatorname{ddet}Q(q)\neq 0\), then the quaternion semi-homogeneous linear boundary value problem
and
all have a unique solution, respectively
Further,
is the unique solution of inhomogeneous BVP (1.2), where \(z(t)\) is given by (3.12),
Proof
Suppose that the general solution of a second-order nonhomogeneous quaternion-value linear differential equation
is
From \(U_{1}(q)=U_{2}(q)=0\), we know that
In other words,
with
Therefore,
where
Hence,
According to the above discussion, the unique solution of the boundary value problem of semi-homogeneous differential equation (3.17) can be obtained.
The proofs of the remaining two conclusions are analogous to the proof above. Suppose that the general solution of a second-order homogeneous quaternion-value linear differential equation
is
In this case, let
Furthermore, suppose that
is the general solution of BVP (1.2). At the moment, let
From this point of view, we completed the main proof process. □
Remark 3.2
If Theorem 3.1 studies the problem of boundary value over the domain of real numbers,equations (3.19), (3.20), (3.21) will be written in the form of a determinant expression. Owing the noncommutativity of the quaternion algebra, many properties of ordinary differential equations are not valid for quaternion-value differential equations, resulting in the complex form of the solutions of Theorem 3.1.
Remark 3.3
Theorem 3.1 only gives the method of solving when \(\operatorname{ddet}Q(q)\neq 0\). Obviously, (3.19)∼(3.21) do not hold when \(\operatorname{ddet}Q(q)=0\).
On the basis of the above conclusions, we give some examples to solve the semi-homogeneous boundary value problem.
Example 3.1
Consider the following QDEs:
Setting \(q_{11}=q\) and \(q_{12}=q'\), the equation can be converted to
where
Then
and
hence, \(\lambda _{1}=\mathrm{i}\), \(\lambda _{2}=\sqrt{2}\mathrm{i}\), \(\lambda _{3}=- \mathrm{i}\), \(\lambda _{4}=-\sqrt{2}\mathrm{i}\).
According to Lemma 2.4, we can see that the eigenvector of \(\lambda _{1}=\mathrm{i}\) is \(\varphi (\nu _{1})=(0,0,1,\mathrm{i})^{T}\). Then we get
The eigenvector of \(\lambda _{2}=\sqrt{2}\mathrm{i}\) is \(\varphi (\nu _{2})=(1,\sqrt{2}\mathrm{i},-(1+\sqrt{2})\mathrm{i},2+ \sqrt{2})^{T}\) and
Let
then
and from (3.11) we have
Consequently, \(\Phi (t)\) is a fundamental matrix of (3.32), and \(-\mathrm{j}\mathrm{e}^{\mathrm{i}t}\), \((1-(1+\sqrt{2})\mathrm{k})\mathrm{e}^{\sqrt{2}\mathrm{i}t}\) are two linearly independent solutions to (3.31).
Example 3.2
Consider the following QDEs:
From Proposition 3.6 and its proof, we can discover that
In addition,
is a solution to (3.36). At this time,
then
and
As pointed out in Theorem 3.1, we soon show
Finally, the solution of BVP (3.36) can be obtained by substituting the above two equations and (3.37) into (3.19).
3.2.2 Resonant problem
In the case of resonance, the difficulty with BVP (1.2) is that given the general solution (3.28) to this equation, substituting into boundary conditions and having
which is a question to find the solutions of \(c_{1}\), \(c_{2}\).
Based on what we already know about linear algebra and Lemmas 2.5 and 2.6, the condition for the above equation to have solution for \(c_{1}\), \(c_{2}\) is
Case 1: If \(\operatorname{rank}Q(q)=0\), then the two conditions for \(c_{1}\), \(c_{2}\) to have solutions are
Case 2: If \(\operatorname{rank}Q(q)=1\), assuming that \(U_{1}(q_{1})\neq 0\), then \(c_{1}\) and \(c_{2}\) have solutions, which requires that
under the circumstance that above all elements commute with each other. So now we introduce the following theorem.
Theorem 3.2
Supposing that \(\operatorname{ddet}Q(q)=0\), if \(\operatorname{rank}Q(q)=\operatorname{rank}Q^{*}(q)\), then BVP (1.2) has a solution.
If Case 1 is true, for \(\forall c_{1}, c_{2}\in \mathbb{H}\),
is a solution to BVP (1.2); when one of the conditions in (3.41) is not true, BVP (1.2) has no solution.
If Case 2 holds, for \(\forall c\in \mathbb{H}\),
is a solution to BVP (1.2); when one of the conditions in Case 2 is not satisfied, BVP (1.2) has no solution.
Proof
Based on the above analysis, it is obvious that BVP (1.2) has a solution when Case 1 is true. Now we turn our attention to formulating the main result of Case 2.
From the first formula in (3.39), it easily follows that
Let \(c_{2}=c\), then (3.43) can be denoted by
This is the end of the proof. □
4 Green’s function of Sturm–Liouville type boundary value problem
Green’s function plays an important role in the study of boundary value problems. With the help of Green’s function, the unique solutions for the boundary value problem
and
can be expressed in the form of an integral with respect to \(f(t)\) at \(\operatorname{ddet}Q(q)\neq 0\), thus providing a convenient way to study the connection between the solution \(q(t)\) and \(f(t)\) and laying the foundation for the study of nonlinear boundary problems. We will discuss each of them in two parts.
4.1 Semi-homogeneous boundary problem
In this section, we are going to discuss the semi-homogeneous BVP (3.17)
and Green’s function.
When \(\operatorname{ddet}Q(q)\neq 0\), according to Theorem 3.1, the solution \(\varphi (t)\) can be written as
Due to
namely,
Let
In consequence, we get
When \(s\in (a,b)\), Green’s function \(G(t,s)\) is defined by
Then the unique solution of BVP (3.17) is expressed as an integral form
Obviously, \(G(t,s)\) is only concerned with homogeneous linear boundary value problem
not with the nonhomogeneous term \(f(t)\), \(G(t,s)\) is the Green’s function for homogeneous boundary value problem (4.4). The role of Green’s function G(t,s) is to express the unique solution to the semi-homogeneous BVP (3.17) as integral form (4.3) in the case of \(\operatorname{ddet}Q(q)\neq 0\).
Proposition 4.1
Evidently, Green’s function has the following properties \((P)\):
\((P1)\) \(G(t,s)\) is continuous on \([a,b]\times (t_{i-1},t_{i})\), \(\frac{\partial G}{\partial t}\), \(\frac{\partial ^{2}G}{\partial t^{2}}\) exist and continue on the \([a,b]\times (t_{i-1},t)\cup (t,t_{i})\);
\((P2)\)
\((P3)\)
\((P4)\) Any given \(t_{i-1}< s< t_{i}\),
The function \(G(t,s)\) on \([a,b]\times [a,b]\) satisfying property \((P)\) can also be defined as Green’s function of homogeneous BVP (4.4).
Proof
Taking the derivative of (4.2), when \(a\leq t< s< b\), we can observe that
and
When \(a< s< t\leq b\),
then
In brief, (P1) and (P3) are true.
In the next moment, we give the proofs of (P2) and (P4). From (4.5) and (4.7), as we soon show,
Owing to \(U_{1}\), \(U_{2}\) being linear with respect to q and \(U_{i}(q)=0\), when \(a\leq t< s< b\),
When \(a< s< t\leq b\),
Above all, it is clear from the analysis of \(\varphi (t)\) that there is a function G(t,s) satisfying (P) for \(\operatorname{ddet}Q(q)\neq 0\). □
Theorem 4.1
Suppose that BVP (4.4) satisfies \(\operatorname{ddet}Q(q)\neq 0\), \(G(t,s)\) satisfies properties \((P)\), then the unique solution of BVP (3.17) is written as an integral form
Proof
The conclusion that BVP (3.17) has a unique solution is guaranteed by Theorem 3.1. Just prove that (4.11) satisfies both the differential equation in BVP (3.17) and the boundary conditions.
Since \(G(t,s)\) is discontinuous at t, integral (4.11) is divided into two integrals from a to t and from t to b, and then differentiated separately to obtain
Let \(L(D)=D^{2}+a_{1}(t)D+a_{2}(t)\), since \(L(D)\) is linear, then
From (3.15) and (3.16), we know that
Comparing the above formula with (3.11), we can find
therefore, \(\frac{1}{\operatorname{ddet}\Phi (t)}=q_{1}'(t)\bar{\omega}_{21}(t)+q_{2}'(t) \bar{\omega}_{22}(t)\). To be more precise,
Meanwhile,
Based on the above discussion, the conclusion is valid. □
Then some examples are presented to verify the validity of the above theory.
Example 4.1
Consider Green’s function for the following BVP:
Based on Example 3.1 and Example 3.2, after a series of complex calculations, we have
and
then
By taking advantage of these results and (3.38), (3.43), Green’s function can be obtained in the following form.
When \(0\leq t< s<1\),
When \(0< t<s\leq 1\),
Example 4.2
Consider Green’s function for the following BVP:
By conversion, the above equation is transformed into
where
Then
and
thus, \(\lambda _{1}=\lambda _{2}=0\), \(\lambda _{3}=\mathrm{i}\), \(\lambda _{4}=- \mathrm{i}\).
When \(\lambda _{1}=0\), we can arrive at \(\varphi (\nu _{1})= (1,0,0,0 )^{T}\) and \(\nu _{1}= (1,0 )^{T}\). When \(\lambda _{3}=\mathrm{i}\), we can arrive at \(\varphi (\nu _{2})= (1,\mathrm{i},-\mathrm{i},1 )^{T}\) and \(\nu _{2}= (1-\mathrm{k},\mathrm{i}-\mathrm{j} )^{T}\). Let
then
and from (3.11), we get
As a consequence, \(\Phi (t)\) is a fundamental matrix of homogeneous equation, and 1, \((1- \mathrm{k})\mathrm{e}^{\mathrm{i}t}\) are the two linearly independent solutions to the homogeneous equation of (4.19).
After the same calculation as Example 3.2 and Example 4.1, we get the following results:
and the solution of (4.18) is
Moreover,
then
and
In addition,
and
then
Based on all of these calculations, we can write out the form of Green’s function, which is
So the solution to BVP (4.18) can be uniquely expressed as
Corollary 4.1
From what has been discussed above, it is not difficult for us to show that the Green’s function of
can also be obtained, and (4.29) is the solution of (4.30).
4.2 Inhomogeneous boundary value problem
In the following content, we continue to consider the inhomogeneous boundary value problem
Similar to the method for the semi-homogeneous boundary value problem, when \(\operatorname{ddet}Q(q)\neq 0\), the solution \(q(t)\) can be denoted by
where
Let
and
Then
and Green’s function \(G_{2}(t,s)\) is defined by
Therefore the solution of BVP (4.31) can be expressed as a form of
Remark 4.1
It can be seen from the above that not all solutions of boundary value problems can be written in the form of integral of Green’s function, but they can be expressed in the form related to Green’s function.
5 Green’s functions for periodic boundary problem
In this section, we introduce Green’s function for periodic boundary problems and use the Green’s function to transform differential equation into integral equation. Due to the noncommutativity of quaternion algebra, we cannot easily find the Green’s function for second-order quaternion differential equations. If \(a(t)\) is a real function, then the commutativity will be satisfied, and Green’s function will be obtained. After that, we consider the Green’s function for second-order quaternion differential equations with the real variable coefficients.
Let us take the following equation as an example:
where \(a(t):[0,T]\rightarrow \mathbb{R}\), \(A(t)=\int ^{t}_{0}a(s)\,\mathrm{d}s:[0,T]\rightarrow \mathbb{R}\), and \(f(t,q):[0,T]\times \mathbb{H}\rightarrow \mathbb{H}\).
By using the reduced order method, we convert the above second-order differential equation into the following two first-order differential equations:
The solution of quaternion differential equation \(q'(t)=a(t)q(t)\) is
and satisfies \(q'(t)=a(t) [\exp A(t) ]C=a(t)q(t)\). Using the constant change method, we can obtain the solutions of (5.2), that is,
Differentiating the above equation, we get
According to this, we find that
Due to \(q(0)=q(T)\), using (5.4), as we soon show,
and
In other words,
On account of the above equations, we have
It is easy to say that the Green’s functions of (5.2) and (5.3) are
Hence,
Combining the two formulas above, we have
We define the Green’s function of the second-order quaternion differential equation as
Remark 5.1
If we replace \(a(t)\) in the example above with a and \(a\in \mathbb{R}\), we are going to get a simpler form of Green’s function like this
Proof
Using the same method as in the example above, this proof is analogous to that of the proof above. □
Availability of data and materials
Not applicable.
References
Dimitrić, R., Goldsmith, B.: Sir William Rowan Hamilto. Math. Intell. 11, 29–30 (1989)
Hale, J.K.: Ordinary Differential Equations, 2nd edn. Krieger, Huntington (1980)
Hartman, P.: Ordinary Differential Equations. SIAM, Philadelphia (2002). (English summary)
Arnold, V.I.: Ordinary Differential Equations. Springer, Berlin (1992). Translated from the third Russian edition by Roger Cooke
Campos, J., Mawhin, J.: Periodic solutions of quaternionic-valued ordinary differential equations. Ann. Mat. Pura Appl. (4) 185, S109–S127 (2006)
Wilczyński, P.: Quaternionic-valued ordinary differential equations. The Riccati equation. J. Differ. Equ. 247, 2163–2187 (2009)
Gasull, A., Llibre, J., Zhang, X.: One-dimensional quaternion homogeneous polynomial differential equations. J. Math. Phys. 50, 082705 (2009)
Zhang, X.: Global structure of quaternion polynomial differential equations. Commun. Math. Phys. 303, 301–316 (2011)
Cai, Z.F., Kou, K.I.: Laplace transform: a new approach in solving linear quaternion differential equations. Math. Methods Appl. Sci. 41, 4033–4048 (2018)
Xia, Y.H., Kou, K.I., Liu, Y.: Theory and Applications of Quaternion-Valued Differential Equations. Science Press, Beijing (2021)
Xia, Y.H., Huang, H., Kou, K.I.: An algorithm for solving linear nonhomogeneous quaternion-valued differential equations and some open problems. Discrete Contin. Dyn. Syst., Ser. S 15, 1685–1697 (2022)
Chen, L.X.: Definition of determinant and Cramer solutions over the quaternion field. Acta Math. Sin. New Ser. 7, 171–180 (1991)
Chen, L.X.: Inverse matrix and properties of double determinant over quaternion field. Sci. China Ser. A 34, 528–540 (1991)
Rodman, L.: Topics in Quaternion Linear Algebra. Princeton University Press, Princeton (2014)
Kou, K.I., Xia, Y.H.: Linear quaternion differential equations: basic theory and fundamental results. Stud. Appl. Math. 141, 3–45 (2018)
Farid, F.O., Wang, Q.W., Zhang, F.: On the eigenvalues of quaternion matrices. Linear Multilinear Algebra 59, 451–473 (2011)
Kou, K.I., Liu, W.K., Xia, Y.H.: Solve the linear quaternion-valued differential equations having multiple eigenvalues. J. Math. Phys. 60, 023510 (2019)
Kyrchei, I.I.: Cramer’s rule for quaternion systems of linear equations. Fundam. Prikl. Mat. 13, 67–94 (2007)
Kyrchei, I.I.: Cramer’s rule for some quaternion matrix equations. Appl. Math. Comput. 217, 2024–2030 (2010)
Xie, B.J.: Matrices over rings and skew field and two classes of generalized Jordan forms. Acta Sci. Natur. Univ. Jilin. 30(5), 688–694 (1987). (Chinese)
Wang, Q.W.: Solutions of the matrix equation \(A_{m\times n}X_{n\times s}=B_{m\times s}\) over a skew field. J. Math. Res. Exposition 15, 249–252 (1995). (Chinese)
Funding
The work was supported by the Natural Science Foundation of Henan Province (222300420449), Henan Province “Double first-class” discipline establishment engineering cultivation project (AQ20230718), Foundation for Key Teacher of Henan Polytechnic University (2022XQG-09), Innovative Research Team of Henan Polytechnic University (T2022-7).
Author information
Authors and Affiliations
Contributions
Jie Liu, Siyu Sun, and Zhibo Cheng all contributed to this study. Jie Liu and Siyu Sun proved the results and drafted the article. Jie Liu, Siyu Sun, and Zhibo Cheng reviewed and edited the manuscript. All the authors have read and approved the final manuscript.
Corresponding author
Ethics declarations
Ethics approval and consent to participate
Not applicable.
Competing interests
The authors declare no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, 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 licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Liu, J., Sun, S. & Cheng, Z. Boundary value problems of quaternion-valued differential equations: solvability and Green’s function. Bound Value Probl 2023, 113 (2023). https://doi.org/10.1186/s13661-023-01802-6
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-023-01802-6