Abstract:In this paper, we study an inverse coefficients problem for two coupled Schrödinger equations with an observation of one component of the solution. The observation is done in a nonempty open subset of the domain where the equations hold. A logarithmic type stability result is obtained. The main method is based on the Carleman estimate for coupled Schrödinger equations and coupled heatn equations, and the Fourier-Bros-Iagolnitzer transform.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the inverse coefficient problem of determining the unknown field - free molecular electron potentials \(a_{11}\) and \(a_{22}\) in the coupled Schrödinger equations given the observed data of a component solution. Specifically, the researchers are concerned with whether these unknown potentials can be uniquely determined by observing a component \(y_1\) of the solution on a non - empty open subset \(\omega\), and providing an effective method to calculate these potentials.
### Problem Description
Consider the following coupled Schrödinger equations:
\[
\begin{cases}
i\partial_t y_1+\Delta y_1 + a_{11}(x)y_1+a_{12}(x)y_2 = 0&\text{in }\Omega\times(0, T),\\
i\partial_t y_2+\Delta y_2 + a_{21}(x)y_1+a_{22}(x)y_2 = 0&\text{in }\Omega\times(0, T),\\
y_1 = 0,\quad y_2 = 0&\text{on }\Gamma\times(0, T),\\
y_1(x, 0)=y_{10},\quad y_2(x, 0)=y_{20}&\text{in }\Omega.
\end{cases}
\]
Here, \(\Omega\subset\mathbb{R}^3\) is a non - empty bounded region, \(\Gamma\) is its smooth boundary, and \(i = \sqrt{- 1}\). Here \(a_{11}(x)\) and \(a_{22}(x)\) are field - free molecular electron potentials, while \(a_{12}(x)\) and \(a_{21}(x)\) are radiation - molecule interactions.
### Research Objectives
The main objectives of the paper are:
1. **Uniqueness**: Determine whether the observed data \(y_1\) on a given \(\omega\) can uniquely determine \(a_{11}\) and \(a_{22}\).
2. **Stability**: Establish a logarithmic - type stability estimate, that is:
\[
\|(a_{11}, a_{22})\|\leq C\|y_1|_{\omega}\|
\]
where \(\|\cdot\|\) represents an appropriate norm and \(C\) is a constant.
### Methods
To achieve the above objectives, the author uses the following methods:
- **Carleman Estimate**: This is the main tool for proving Lipschitz - type stability.
- **Fourier - Bros - Iagolnitzer (F.B.I.) Transform**: This is the key method for proving logarithmic - type stability.
### Main Results
The main result of the paper is the establishment of a logarithmic - type stability estimate:
\[
\|(a_{11}-\tilde{a}_{11}, a_{22}-\tilde{a}_{22})\|_{L^2(\Omega)}\leq C\left(\left|\ln\|y_1(a_{11}, a_{22})-\tilde{y}_1(\tilde{a}_{11}, \tilde{a}_{22})\|_{H^1(0, T; H^1(\omega))}\right|^{-1}+\|y_1(a_{11}, a_{22})-\tilde{y}_1(\tilde{a}_{11}, \tilde{a}_{22})\|_{H^1(0, T; H^1(\omega))}\right)
\]
This result shows that through appropriate observed data, the unknown field - free molecular electron potentials \(a_{11}\) and \(a_{22}\) can be effectively determined, and provides a number.