Alessia E. Kogoj,E. Lanconelli
Abstract:Let $D\subseteq \mathbb{R}^n$, $n\geq 3$, be a bounded open set and let $x_0\in D$. Assume that the Newtonian potential of $D$ is proportional outside $D$ to the Newtonian potential of a mass concentrated at $\{x_0\}.$ Then $D$ is a Euclidean ball centered at $x_0$. This Theorem, proved by Aharonov, Shiffer and Zalcman in 1981, was extended to the caloric setting by Suzuki and Watson in 2001. In this note, we show that Suzuki--Watson Theorem is a particular case of a more general rigidity result related to a class of Kolmogorov-type PDEs.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the rigidity theorem of a class of Kolmogorov - type partial differential operators. Specifically, the goal of the paper is to prove that an identity property similar to that of the heat ball is also rigid for the L - ball, that is, if a bounded open set \(D\subseteq\mathbb{R}^{n + 1}\) satisfies a specific integral condition, then \(D\) must be an L - ball \(\Omega_r(z_0)\) centered at \(z_0\).
### Background of the paper
1. **Theorem of Aharonov, Shiffer and Zalcman**:
- In 1981, Aharonov, Shiffer and Zalcman proved that in Euclidean space, if a bounded open set \(D\) satisfies a specific integral condition, then \(D\) must be a Euclidean ball centered at \(x_0\).
- The specific condition is:
\[
\int_D K(x - y)\,dx = cK(x_0 - y)\quad\forall y\notin D
\]
where \(K\) is the fundamental solution of the Laplace operator and \(c\) is a positive constant.
2. **Extension by Suzuki and Watson**:
- In 2001, Suzuki and Watson extended the above theorem to the setting of the heat equation, that is, the heat ball.
- They proved that a similar rigidity property also holds for the heat ball:
\[
\int_D G(\zeta - z)W(\zeta - z_0)\,d\zeta = cG(z_0 - z)\quad\forall z\notin D
\]
where \(G\) is the fundamental solution of the heat equation and \(W\) is the Pini - Watson kernel.
### Main contributions of the paper
The main goal of the paper is to further extend the results of Suzuki and Watson and apply them to a broader class of Kolmogorov - type partial differential operators. Specifically, the paper considers the following form of partial differential operators:
\[
L:=\text{div}(A\nabla)+\langle Bx,\nabla\rangle-\partial_t
\]
where \(A\) and \(B\) are matrices satisfying a specific block form.
### Main theorem
The main theorem of the paper is as follows:
**Theorem 1.1**: Let \(z_0\in\mathbb{R}^{n + 1}\), and let \(D\) be a bounded open set in \(\mathbb{R}^{n + 1}\) such that there exists some \(r > 0\) satisfying:
\[
\int_D\Gamma(\zeta,z)W(z_0^{-1}\circ\zeta)\,d\zeta = r\Gamma(z_0,z)\quad\forall z\in\mathbb{R}^{n + 1}\setminus D
\]
If in addition:
\[
(1_D - 1_{\Omega_r(z_0)})W(z_0^{-1}\circ\cdot)\in L^p\quad\text{for some}\quad p > \frac{Q}{2}
\]
Then \(D=\Omega_r(z_0)\).
### Structure of the paper
- **Section 2**: Reviews some basic concepts and results in potential analysis, which are key tools for proving the main theorem.
- **Section 3**: Proves the main theorem in detail.
- **Section 4**: Proves a corollary of the main theorem.
Through these steps, the paper successfully extends the rigidity of Suzuki and Watson.