Abstract:This paper is concerned with the investigation of the regional controllability of the time fractional diffusion equations. First, some preliminaries and definitions of regional controllability of the system under consideration are introduced, which promote the existence contributions on controllability analysis. Then we analyze the regional controllability with minimum energy of the time fractional diffusion equations on two cases: $B\in \mathbf{L}\left(\mathbf{R}^m, L^2(\Omega) \right)$ and $B\notin \mathbf{L}\left(\mathbf{R}^m, L^2(\Omega) \right)$. In the end, two applications are given to illustrate our obtained results.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the regional controllability analysis of Time Fractional Diffusion Equations (TFDEs). Specifically, the paper focuses on how to achieve the regional controllability of the system in two different cases, namely when the control operator \( B \in L(\mathbb{R}^m, L^2(\Omega)) \) and \( B \notin L(\mathbb{R}^m, L^2(\Omega)) \), and find the optimal control under the minimum - energy condition.
### Background of the Paper
1. **Fractional - order Diffusion Equations**: In recent years, Fractional - order Diffusion Equations (TFDEs) have received extensive attention because of their non - locality and hereditary characteristics in describing complex dynamic systems. These equations can effectively describe the abnormal diffusion phenomena in the transportation process.
2. **Regional Controllability**: In practical applications, it is often difficult to achieve complete controllability of the system state. Therefore, it becomes particularly important to study the controllability of the system on a subset of the state space (i.e., regional controllability).
3. **Minimum - energy Control**: On the basis of achieving regional controllability, finding a control strategy that minimizes the control energy is another important research direction.
### Research Contents
1. **Definitions and Preliminaries**:
- The definition and properties of the fractional - order derivative (Caputo derivative) are introduced.
- The concept of regional controllability is defined, including exact regional controllability and approximate regional controllability.
- The semigroup theory and related lemmas are introduced to provide a theoretical basis for subsequent analysis.
2. **Main Results**:
- **Case 1: \( B \in L(\mathbb{R}^m, L^2(\Omega)) \)**:
- Using Balder's theorem, it is proved that in the case of approximate regional controllability of the system, the minimum - energy control problem has an optimal solution.
- **Case 2: \( B \notin L(\mathbb{R}^m, L^2(\Omega)) \)**:
- The Hilbert Uniqueness Method (HUM) is introduced to prove that in the case of approximate regional controllability of the system, the minimum - energy control problem has a unique solution, and the specific form of the optimal control is given.
### Application Examples
The paper uses two specific examples to illustrate the theoretical results obtained:
1. **Example 1**: Consider a one - dimensional time - fractional - order diffusion equation, where the control term \( Bu = p_{[a_1, a_2]}u \). The controllability of the system on certain sub - regions is analyzed, and the existence of the minimum - energy control is verified.
2. **Example 2**: Consider a time - fractional - order diffusion equation with point control, where the control term \( Bu = u(t)\delta(x - b) \). Similarly, the controllability of the system on certain sub - regions is analyzed, and the existence of the minimum - energy control is verified.
### Conclusion
This paper systematically studies for the first time the regional controllability analysis of time - fractional - order diffusion equations under two different control operator conditions, and gives the theory and method of minimum - energy control. These results not only extend the research on the controllability analysis of integer - order systems, but also provide new tools and methods for the modeling of complex dynamic systems.