A Bivariate Polynomial Problem for Matrices

Abstract

This article proposes a bivariate polynomial problem for finite-order real matrices that endows a \textit{`sufficient condition'} for a map from the standard vector spaces of finite-order real matrices to the same dimensional bivariate polynomial subspaces (BVPSs) to be an isomorphism in some finite-dimensional BVPSs. In the process of solving, the article deals with the existence, uniqueness, and construction of the polynomials in some finite-dimensional BVPSs concerning the solution of the proposed problem. To this end, a relationship is established between the proposed problem and a class of Lagrange bivariate polynomial interpolation problems (LBVPIPs). As a result, the existence of a standard and a new class of finite-dimensional BVPSs of various total degrees has been established in which the proposed problem always possesses a unique solution. In addition, some formulas are derived to construct the needed polynomials in these BVPSs. Further, the possible applicability of the proposed problem is discussed in LBVPIPs, focusing on the finite rectangular schemes of bivariate interpolation points on the natural Cartesian grid. At last, some numerical examples are considered to justify the theoretical findings.

Figures (1)

• Figure 1: Surface diagrams of the polynomials $P_{\delta} \in \mathcal{P}_{1}^{3}$, ${P}_{\vartheta} \in \mathcal{P}_{2}^{2}$, $p_{\delta} \in {_{3}^{1}\Pi_{2}^{2}}$, $p_{\vartheta} \in {_{2}^{1}\Pi_{3}^{2}}$, ${q}_{\delta} \in {_{1}^{1}\Pi_{2}^{2}}$ and ${q}_{\vartheta} \in {_{1}^{2}\Pi_{3}^{2}}$ indicating all the data points of the given matrices $\delta \in \mathcal{R}^{1 \times 3}$ and $\vartheta \in \mathcal{R}^{2 \times 2}$ respectively.

Theorems & Definitions (24)

• Theorem 3.1
• proof
• Remark 3.2
• Corollary 3.3
• Remark 3.4
• Theorem 3.5
• proof
• Remark 3.6
• Corollary 3.7
• proof