Abstract:This research paper establishes the existence and uniqueness of solutions for a non-integer high-order boundary value problem, incorporating the Caputo fractional derivative with a non-local type boundary condition. The analytical approach involves the introduction of the fractional Green's function. To analyze our findings effectively, we apply the Banach contraction fixed point theorem as the primary principle. Furthermore, we illustrate our results through the presentation of various examples.
What problem does this paper attempt to address?
This paper aims to solve the existence and uniqueness of a class of boundary value problems for high - order fractional differential equations with non - local boundary conditions. Specifically, the paper focuses on the third - order non - local boundary value problems involving Caputo fractional derivatives. By introducing the fractional - order Green function and applying the Banach contraction mapping principle as the main tool, the author proves the existence and uniqueness of solutions to this class of problems under certain conditions.
### Main research content
1. **Problem definition**:
- The research object is a boundary value problem of a high - order fractional differential equation, where the fractional derivative is defined by Caputo.
- The boundary value conditions are non - local, that is, they involve the function values at multiple points.
2. **Methods**:
- Introduce the fractional - order Green function to deal with the boundary value problem.
- Apply the Banach contraction mapping principle to prove the existence and uniqueness of solutions.
- Propose a recurrence formula to obtain approximate solutions to the problem.
3. **Results**:
- It is proved that under specific conditions, there is a unique solution to this class of boundary value problems for high - order fractional differential equations.
- The effectiveness of the theoretical results is verified by numerical examples.
### Formula summary
- **Caputo fractional derivative**:
\[
cD^\vartheta_t w(t)=\frac{1}{\Gamma(m - \vartheta)}\int_0^t(t - s)^{m - \vartheta - 1}w^{(m)}(s)\,ds
\]
where \(m - 1 < \vartheta\leq m\).
- **Green function**:
\[
R(t,s)=\begin{cases}
\frac{t^{m - 1}(1 - s)^{\vartheta - 1}-(t - s)^{\vartheta - 1}}{\Gamma(\vartheta)},&0\leq s\leq t\leq1\\
\frac{t^{m - 1}(1 - s)^{\vartheta - 1}}{\Gamma(\vartheta)},&0\leq t\leq s\leq1
\end{cases}
\]
- **Representation of solutions**:
\[
w(t)=\int_0^1G(t,s)g(s,w(s))\,ds
\]
where \(G(t,s)\) is the Green function.
- **Lipschitz condition**:
\[
|g(t,w)-g(t,z)|\leq L|w - z|
\]
- **Conditions for existence and uniqueness**:
\[
\frac{2L}{\Gamma(\vartheta + 1)}\left(1+\left|\frac{\eta}{1 - \eta\xi^{m - 1}}\right|\right)<1
\]
### Conclusion
Through strict mathematical analysis and numerical verification, the paper proves that the boundary value problem of the high - order fractional differential equation with non - local boundary conditions has a unique solution under specific conditions. These results are of great significance for the research and application of fractional differential equations.