Abstract:This paper studies the averaging principle of a class of two-time scale stochastic control systems with $\alpha$-stable noise. The associated singular perturbations problem for nonlocal Hamilton-Jacobi-Bellman (HJB) equations is also considered. We construct the effective stochastic control problem and the associated effective HJB equation for the original multiscale stochastic control problem by averaging over the ergodic measure of the fast component. We prove the convergence of the value function using two methods. With the probabilistic method, we show that the value function of the original multiscale stochastic control system converges to the value function of the effective stochastic control system by proving the weak averaging principle of the controlled jump diffusions. Using the PDE method, we study the value function as the viscosity solution of the associated nonlocal HJB equation with singular perturbations. We then prove the convergence using the perturbed test function method.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the averaging principle of multi - scale stochastic control systems with α - stable noise and the singular perturbation problem of the associated non - local Hamilton - Jacobi - Bellman (HJB) equation. Specifically, the research objective is to explore the limit behavior of the value function \(u^\epsilon\) of the original multi - scale stochastic control problem as the time - scale parameter \(\epsilon\) approaches 0 and to prove its convergence.
### Specific description of the problem
1. **Multi - scale stochastic control system**:
- The research object is a two - time - scale stochastic control system composed of slow variable \(X^\epsilon_s\) and fast variable \(Y^\epsilon_s\), where \(X^\epsilon_s\) is the slow component and \(Y^\epsilon_s\) is the fast component.
- The control system is controlled by a given control strategy \(v\) and is affected by α - stable noise.
2. **Non - local HJB equation**:
- Associated with the above multi - scale stochastic control system is a non - local HJB equation, which contains singular perturbation terms.
- The objective is to construct effective stochastic control problems and the corresponding effective HJB equations by averaging the ergodic measures of the fast components.
3. **Convergence of the value function**:
- Prove that the value function \(u^\epsilon\) of the original multi - scale stochastic control system converges to the value function \(u\) of the effective stochastic control system.
- Use two methods for proof: the probabilistic method (through the weak averaging principle) and the partial differential equation (PDE) method (through the perturbed test function method).
### Mathematical model
The dynamics of the system are described by the following stochastic differential equations (SDEs):
\[
\begin{cases}
dX^\epsilon_s = b(X^\epsilon_s, Y^\epsilon_s, v_s)ds + dL^{\alpha_1}_s, \\
dY^\epsilon_s = \frac{1}{\epsilon} c(X^\epsilon_s, Y^\epsilon_s)ds + \frac{1}{\epsilon^{\alpha_2}} dL^{\alpha_2}_s,
\end{cases}
\]
where:
- \(L^{\alpha_i}_s\) are independent symmetric α - stable Lévy processes;
- \(b\) and \(c\) are Borel - measurable functions satisfying certain conditions;
- \(v_s\) is a control taking values in a given closed convex set \(U\subseteq\mathbb{R}^r\).
### Cost function and value function
The cost function \(J^\epsilon(v, x, y, t)\) is defined as:
\[
J^\epsilon(v, x, y, t)=\mathbb{E}\left[-\int_t^T e^{\lambda(s - T)} L(X^\epsilon_s, Y^\epsilon_s, v_s)ds+e^{\lambda(t - T)} g(X^\epsilon_T, Y^\epsilon_T)\mid X^\epsilon_t = x, Y^\epsilon_t = y\right]
\]
The value function \(u^\epsilon(x, y, t)\) is defined as:
\[
u^\epsilon(x, y, t)=\sup_{v\in U}J^\epsilon(v, x, y, t)
\]
### Main objective
The main objective of the paper is to study the limit behavior of the value function \(u^\epsilon\) as \(\epsilon\rightarrow0\) and prove its convergence to the value function \(u\) of the effective stochastic control system. In addition, the singular perturbation problem of the associated non - local HJB equation is also studied.