Abstract:Motivated by the optimality system associated with controlled (forward) Volterra integral equations (FVIEs, for short), the well-posedness of coupled forward-backward Voterra integral equations (FBVIEs, for short) is studied. The main feature of FBVIEs is that the unknown $\{(X(t,s),Y(t,s))\}$ has two arguments. By taking $t$ as a parameter and $s$ as a (time) variable, one can regard FBVIE as a system of ordinary differential equations (ODEs, for short), with infinite-dimensional space values $\{(X(\cdot,s),Y(\cdot,s));\,s\in[0,T]\}$. To establish the well-posedness of such an FBVIE, a new non-local monotonicity condition is introduced, by which a bridge in infinite-dimensional spaces is constructed. Then by generalizing the method of continuation developed by \cite{Hu-Peng1995,Yong1997,Peng-Wu1999} for differential equations, we have established the well-posedness of <a class="link-external link-http" href="http://FBVIEs.The" rel="external noopener nofollow">this http URL</a> key is to apply the chain rule to the mapping $t\mapsto\big[\int_\cdot^T\langle Y(s,s),X(s,\cdot)\rangle ds +\langle G(X(T,T)),X(T,\cdot)\rangle\big](t)$.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the well - posedness of the coupled forward - backward Volterra integral equations (FBVIE). Specifically, the authors focus on how to establish the well - posedness theory of FBVIE in infinite - dimensional spaces and introduce a new non - local monotonicity condition for this purpose.
### Problem Background
In many problems involving biological systems, financial models, and fractional - order differential dynamics, the forward Volterra integral equation (FVIE) and its related optimal control theory have received extensive attention in recent years. The main feature of these equations is their ability to describe dynamic processes with memory effects. Further, if we consider the optimal control problem of FVIE with Bolza - type cost functionals, a coupled forward - backward Volterra integral equation (FBVIE) will be obtained after applying the Pontryagin maximum principle. Therefore, studying the well - posedness of FBVIE is crucial for understanding and solving such optimal control problems.
### Research Objectives
The main objective of the paper is to study and prove the well - posedness of FBVIE in the following form:
\[
\begin{cases}
X(t)=x(t)+\int_{0}^{t} f(t, s, X(s), Y(s), \int_{s}^{T} K(s, r) Y(r) \, dr, X(T)) \, ds, \\
Y(t)=h(t, X(t), X(T))+\int_{t}^{T} g(t, s, X(s), Y(s)) \, ds,
\end{cases}
\]
where \(x(\cdot)\) is a given continuous function, and \(f(\cdot)\), \(g(\cdot)\), \(h(\cdot)\), and \(K(\cdot)\) are appropriate mappings. To achieve this goal, the authors introduce a new non - local monotonicity condition and establish the well - posedness of FBVIE by generalizing the existing continuation method.
### Key Innovation Points
1. **Non - local Monotonicity Condition**: The authors propose a new non - local monotonicity condition for dealing with FBVIE in infinite - dimensional spaces. This condition can effectively bridge two infinite - dimensional spaces.
2. **Application of Continuation Method**: By applying the chain rule to a specific function and combining it with the new non - local monotonicity condition, the authors successfully establish the well - posedness theory of FBVIE.
### Main Conclusions
The main conclusion of the paper is that under appropriate assumptions, FBVIE has a unique solution. This provides an important theoretical basis for subsequent research, especially when dealing with general nonlinear coefficients and arbitrary time intervals, filling the gaps in the existing literature.
In summary, this paper solves the well - posedness problem of the coupled forward - backward Volterra integral equations by introducing a new non - local monotonicity condition and improving the continuation method, providing new tools and methods for research in related fields.