Abstract:We solve an inverse problem for a third order differential operator under the 3-point Dirichlet conditions. The third-order operator is an $L$-operator in the Lax pair for the good Boussinesq equation. We construct the mapping from the set of the coefficients to the set of spectral data. This mapping is an analytic bijection on a neighborhood of the zero.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the inverse problem of the third - order differential operator under the three - point Dirichlet conditions. Specifically, the goal of the paper is to recover the coefficients \(p\) and \(q\) from the auxiliary spectrum. Here, the third - order differential operator \(L\) is the L - operator in the Lax pair of the well - posed Boussinesq equation, in the form of:
\[L=\partial_{x}^{3}+p\partial_{x}+\partial_{x}p + q\]
where \(p\) and \(q\) are 1 - periodic functions. This operator acts on the \(L^{2}(0, 2)\) space and its spectrum is purely discrete. The main contribution of the paper lies in constructing a mapping from the set of coefficients to the set of spectral data and proving that this mapping is an analytic bijection in the neighborhood of zero.
### Main Content and Methods
1. **Operator and Spectrum**:
- The paper first defines the form of the third - order differential operator \(L\) and its acting space.
- Then it discusses the spectral properties of this operator, especially when the coefficients \(p\) and \(q\) are small, the spectral points are simple and real.
2. **Eigenvalues and Norm Constants**:
- By introducing the definitions of fundamental solutions and eigenvalues, the paper analyzes in detail the properties of eigenvalues.
- It defines the norm constants \(h_{sn}\) and gives their asymptotic properties.
3. **One - Parameter Matrix and Multipliers**:
- It introduces the one - parameter matrix \(M(\lambda)\) and discusses the properties of its characteristic polynomial and multipliers.
- It analyzes the behavior of multipliers in the complex plane, especially when \(|\lambda|\) is large.
4. **Construction of the Mapping**:
- It constructs a mapping \(h\) from the coefficient \(\psi\) to the spectral data.
- It proves that this mapping is an analytic bijection in the neighborhood of zero and gives the error estimate of the mapping.
### Main Results
- **Theorem 1**: Each eigenvalue function \(\mu_{n}\) is analytic on the ball \(B_{C,\epsilon}\) and gives the asymptotic estimates of eigenvalues and norm constants.
- **Theorem 2**: Each norm constant function \(h_{sn}\) is analytic on the ball \(B_{C,\epsilon}\) and gives its asymptotic properties.
- **Theorem 3**: The mapping \(h\) is an analytic bijection and satisfies certain error estimates.
### Conclusion
The paper successfully solves the inverse problem of the third - order differential operator under the three - point Dirichlet conditions. By constructing an analytic bijection from coefficients to spectral data, it provides a theoretical basis for understanding and analyzing this type of operators. This result is not only of great significance in mathematics but also provides a powerful tool for applications in related fields.