Trajectory stabilization of nonlocal continuity equations by localized controls

Nikolay Pogodaev,Francesco Rossi

2024-03-05

Abstract:We discuss stabilization around trajectories of the continuity equation with nonlocal vector fields, where the control is localized, i.e., it acts on a fixed subset of the configuration space. We first show that the correct definition of stabilization is the following: given an initial error of order $\varepsilon$, measured in Wasserstein distance, one can improve the final error to an order $\varepsilon^{1+\kappa}$ with $\kappa>0$. We then prove the main result: assuming that the trajectory crosses the subset of control action, stabilization can be achieved. The key problem lies in regularity issues: the reference trajectory needs to be absolutely continuous, while the initial state to be stabilized needs to be realized by a small Lipschitz perturbation or being in a very small neighborhood of it.

Optimization and Control

What problem does this paper attempt to address?

### Problems the paper attempts to solve

This paper attempts to solve the problem of trajectory stabilization of non - local continuous equations under local control. Specifically, the paper focuses on how to stabilize the reference trajectory of non - local continuous equations through controls acting on a fixed subset in the configuration space. The following is the main problem description of the paper:

**Problem description**:
- **Given a reference trajectory** $\mu_t$, which is generated by the non - local continuous equation $\partial_t\mu_t+\nabla\cdot(V_t(x,\mu_t)\mu_t) = 0$ on the time interval $[0,T]$.
- **Initial error** $\varepsilon$, which is the Wasserstein distance $W_2(\varrho_0,\mu_0)$ between the initial state $\varrho_0$ and the initial state $\mu_0$ of the reference trajectory.
- **Objective**: Find an admissible control $u$ such that the error between the controlled trajectory $\mu^u_t$ starting from $\varrho$ and the reference trajectory $\mu_t$ can be reduced to $C\varepsilon^{1 + \kappa}$ at time $T$, where $C>0$ is a constant and $\kappa>0$ is a positive number.

**Key challenges**:
- **Non - locality**: The value of the vector field $V$ at point $x$ depends on the entire distribution $\mu_t$, not just the value of its density at $x$.
- **Local control**: The control $u$ can only act within a fixed subset $\omega$ of the configuration space.
- **Regularity problems**: The reference trajectory needs to be absolutely continuous, and the initial state needs to be achieved through a small Lipschitz perturbation or be located in a very small neighborhood.

**Main results**:
- Assuming that the reference trajectory passes through the subset $\omega$ where the control acts, stabilization can be achieved.
- Specifically, for any $\varepsilon>0$ and $\varrho\in A$ satisfying $W_2(\varrho,\varrho_0)<\varepsilon$, an admissible control $u$ can be found such that the corresponding trajectory $\mu^u_t$ satisfies $W_2(\mu^u_T,\mu_T)<C\varepsilon^{1+\kappa}$.

### Main contributions
- **Defined a strict definition of stabilization**: Gave an accurate measurement method for measuring the control effect.
- **Proved the main results**: Under certain conditions, trajectory stabilization of non - local continuous equations can be achieved through local control.
- **Discussed the limitations of stabilization**: Pointed out the properties of the stabilization set $\Gamma_{\varepsilon^*}(\varrho_0)$ and proposed methods for further improvement.

### Conclusion
This paper solves the problem of trajectory stabilization of non - local continuous equations under local control through strict mathematical analysis and control theory. This result is not only of great theoretical significance but also provides a theoretical basis for control design in practical applications.