Differential equations defined by Kre\uın-Feller operators on Riemannian manifolds

Sze-Man Ngai,Lei Ouyang
2024-08-09
Abstract:We study linear and semi-linear wave, heat, and Schrödinger equations defined by Kre\uın-Feller operator $-\Delta_\mu$ on a complete Riemannian $n$-manifolds $M$, where $\mu$ is a finite positive Borel measure on a bounded open subset $\Omega$ of $M$ with support contained in $\overline{\Omega}$. Under the assumption that $\underline{\operatorname{dim}}_{\infty}(\mu)>n-2$, we prove that for a linear or semi-linear equation of each of the above three types, there exists a unique weak solution. We study the crucial condition $\dim_(\mu)>n-2$ and provide examples of measures on $\mathbb{S}^2$ and $\mathbb{T}^2$ that satisfy the condition. We also study weak solutions of linear equations of the above three classes by using examples on $\mathbb{S}^1$
Functional Analysis
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the existence and uniqueness of weak solutions of linear and semi - linear wave equations, heat equations and Schrödinger equations defined by the Kreĭn - Feller operator on Riemannian manifolds. Specifically: 1. **Research Background**: - The Kreĭn - Feller operator was independently studied by Kreĭn and Feller. It is a natural generalization of the Laplace or Laplace - Beltrami operator and is widely used in the study of fractal geometry. - The paper considers a complete n - dimensional Riemannian manifold \(M\), a bounded open set \(\Omega\subseteq M\), and a finite positive Borel measure \(\mu\) whose support is contained in \(\Omega\). - Assume that \(\dim_\infty(\mu)>n - 2\), where \(\dim_\infty(\mu)\) is the lower infinite dimension of the measure \(\mu\). 2. **Main Objectives**: - **Wave Equation**: Study the weak solutions of the semi - linear wave equation defined by the Kreĭn - Feller operator: \[ \begin{cases} \partial_{tt}u-\Delta_\mu u = F(u)&\text{on }\Omega\times[0, T],\\ u = 0&\text{on }\partial\Omega\times[0, T],\\ u = g,\quad\partial_t u = h&\text{on }\Omega\times\{t = 0\}. \end{cases} \] - **Heat Equation**: Study the weak solutions of the semi - linear heat equation defined by the Kreĭn - Feller operator: \[ \begin{cases} \partial_t u-\Delta_\mu u = F(u)&\text{on }\Omega\times[0, T],\\ u = 0&\text{on }\partial\Omega\times[0, T],\\ u = g&\text{on }\Omega\times\{t = 0\}. \end{cases} \] - **Schrödinger Equation**: Study the weak solutions of the semi - linear Schrödinger equation defined by the Kreĭn - Feller operator: \[ \begin{cases} i\partial_t u+\Delta_\mu u = F(u)&\text{on }\Omega\times[0, T],\\ u = 0&\text{on }\partial\Omega\times[0, T],\\ u = g&\text{on }\Omega\times\{t = 0\}. \end{cases} \] 3. **Main Results**: - It is proved that under the assumption \(\dim_\infty(\mu)>n - 2\), there exist unique weak solutions for the above three types of linear and semi - linear equations. - Examples of measures satisfying the condition \(\dim_\infty(\mu)>n - 2\) are provided, such as the invariant measures of the iterated function systems (IFS) and the graph - iterated function systems (GIFS) on \(S^2\) and \(T^2\). 4. **Methods**: - Use the theories of functional analysis and partial differential equations, especially the Lax - Milgram theorem and B