Abstract:We prove a Logvinenke-Sereda Theorem for vector valued functions. That is, for an arbitrary Banach space $X$, all $p \in [1,\infty]$, all $\lambda \in (0,\infty)^d$, all $f \in L^p (\mathbb{R}^d ; X)$ with $\operatorname{supp} \mathcal{F} f \in \times_{i=1}^d (-\lambda_i/2 , \lambda_i /2)$, and all thick sets $E \subseteq \mathbb{R}^d$ we have \begin{equation*} \lVert \mathbf{1}_E f \rVert_{L^p (\mathbb{R}^d)} \geq C \lVert f \rVert_{L^p (\mathbb{R}^d)} . \end{equation*} The constant is explicitly known in dependence of the geometric parameters of the thick set and the parameter $\lambda$. As an application, we study control theory for normally elliptic operators on Banach spaces whose coefficients of their symbol are given by bounded linear operators. This includes systems of coupled parabolic equations or problems depending on a parameter.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is the proof of the Logvinenko - Sereda theorem for vector - valued functions and its applications in control theory. Specifically:
1. **Generalization of the Logvinenko - Sereda theorem**:
- The paper first generalizes the classical Logvinenko - Sereda theorem to vector - valued functions. Specifically, for any Banach space \(X\), all \(p\in[1,\infty]\), all \(\lambda\in(0,\infty)^d\), all \(f\in L^p(\mathbb{R}^d;X)\) satisfying \(\text{supp}\hat{f}\subseteq\Pi_\lambda\), and all \((\rho,L)\)-thick sets \(E\subseteq\mathbb{R}^d\), there exists a constant \(C\geq1\) such that:
\[
\|1_E f\|_{L^p(\mathbb{R}^d;X)}\geq\left(\frac{\rho}{C_{LS}}\right)^{C_{LS}(d + L\cdot\lambda)}\|f\|_{L^p(\mathbb{R}^d;X)}
\]
- This result compares the \(L^p\) norm of the function \(f\) on the entire \(\mathbb{R}^d\) with its \(L^p\) norm on \(E\).
2. **Applications in control theory**:
- The second part of the paper studies the applications of normal elliptic operators in Banach spaces in control theory. Specifically, consider the linear control problem:
\[
\frac{\partial y(t)}{\partial t}+A y(t)=1_E u(t),\quad y(0)=y_0\in X = L^p(\mathbb{R}^d;X),\quad t\in[0,T]
\]
where \(X\) is any Banach space, \(p\in[1,\infty)\), \(A\) is a normal elliptic differential operator, and \(E\subseteq\mathbb{R}^d\) is a thick set.
- The null - controllability and approximate null - controllability in \(L^r([0,T];X)\) are studied. Specifically, for any initial state \(y_0\in X\), does there exist a control function \(u\in L^r([0,T];X)\) such that the solution \(y\) of the system satisfies \(y(T) = 0\) or \(\|y(T)\|<\epsilon\).
Through these studies, the paper not only generalizes the Logvinenko - Sereda theorem but also applies it to control theory, especially providing an important theoretical basis for systems in infinite - dimensional Banach spaces.