Abstract:In this paper we consider an appropriate ordering of the Laurent monomials $x^{i}y^{j}$, $i,j \in \mathbb{Z}$ that allows us to study sequences of orthogonal Laurent polynomials of the real variables $x$ and $y$ with respect to a positive Borel measure $\mu$ defined on $\mathbb{R}^2$ such that $\{ x=0 \}\cup \{ y=0 \} \not\in \textrm{supp}(\mu)$. This ordering is suitable for considering the {\em multiplication plus inverse multiplication operator} on each varibale $\left( x+\frac{1}{x}\right.$ and $\left. y+\frac{1}{y}\right)$, and as a result we obtain five-term recurrence relations, Christoffel-Darboux and confluent formulas for the reproducing kernel and a related Favard's theorem. A connection with the one variable case is also presented, along with some applications for future research.
What problem does this paper attempt to address?
### What problems does this paper attempt to solve?
This paper aims to systematically study the theory of **Orthogonal Laurent Polynomials of Two Real Variables** for the first time. Specifically, the author attempts to solve the following key problems:
1. **Appropriate ordering and definition**:
- Research how to appropriately order the Laurent monomials \( x^i y^j \) (where \( i, j \in \mathbb{Z} \)) so that the sequence of orthogonal Laurent polynomials of two real variables with respect to the positive Borel measure \( \mu \) can be studied.
- This measure \( \mu \) is defined on \( \mathbb{R}^2 \) and satisfies \( \{x = 0\} \cup \{y = 0\} \not\subset \text{supp}(\mu) \).
2. **Five - term recurrence relations**:
- Derive five - term recurrence relations involving the multiplication and inverse multiplication operators \( x+\frac{1}{x} \) and \( y +\frac{1}{y} \). These relations are important tools for understanding and dealing with multivariate Laurent polynomials.
3. **Christoffel - Darboux formula and confluence formula**:
- Derive the Christoffel - Darboux formula and confluence formula related to the reproducing kernel. These formulas are widely used in numerical analysis and approximation theory.
4. **Favard's theorem**:
- Derive a Favard's theorem similar to the one - dimensional case, which is crucial for understanding the structure of multivariate orthogonal polynomials.
5. **Connection with the one - dimensional case**:
- Explore the connection between multivariate orthogonal Laurent polynomials and one - dimensional orthogonal Laurent polynomials when the measure \( \mu \) is supported on a rectangular region. This helps to generalize the existing theory to higher dimensions.
6. **Applications for future research**:
- Provide some directions for future research, especially in the theory of high - dimensional orthogonal polynomials and their applications, such as multiple integral formulas, Fourier orthogonal series, and the summability of orthogonal expansions.
### Summary
Through the study of these problems, the author hopes to provide a solid foundation for the theory of multivariate orthogonal Laurent polynomials and pave the way for future applications and development. The development in this field is of great significance for applications in multiple fields such as physics, quantum mechanics, and signal processing.