Abstract:Starting from the representation of a function $f(x,y)$ as a formal power series with Taylor coefficients $f_{m,n}$, we establish a formal series for the implicit function $y=y(x)$ such that $f(x,y)=0$ and the coefficients of the series for $y$ depend exclusively on the $f_{m,n}$. The solution to this problem provided here relies on using partial Bell polynomials and their orthogonal companions.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the calculation method of higher - order derivatives of the implicit function \(y = y(x)\), where \(y\) is implicitly defined by the equation \(f(x, y)=0\). Specifically, the goal of the paper is to start from the formal power series representation of the function \(f(x, y)\) and find a formal power series \(y = y(x)\) such that \(f(x, y) = 0\), and the coefficients of this power series depend only on the Taylor coefficients \(f_{m,n}\) of \(f(x, y)\).
### Problem Background
In the mathematical literature, especially in the literature of the 19th and 20th centuries, how to calculate the higher - order derivatives of the function \(y = y(x)\) implicitly defined by the equation \(f(x, y)=0\) has been discussed many times. L. Comtet listed many related papers in his works, and he also made contributions to this problem himself. In recent years, this problem has attracted renewed attention, especially in its applications in combinatorial mathematics.
### Main Contributions of the Paper
The paper provides a new method for calculating the higher - order derivatives of the implicit function \(y = y(x)\) by using multivariable Stirling polynomials and partial Bell polynomials. The specific steps are as follows:
1. **Preliminary Representation**:
- Given the formal power series representation of the function \(f(x, y)\):
\[
f(x, y)=\sum_{m, n\geq0}\frac{f_{m,n}}{m!n!}x^{m}y^{n}
\]
- Assume \(f(x, y) = 0\), and the goal is to find a formal power series \(y = y(x)=\sum_{n\geq1}\frac{y_{n}}{n!}x^{n}\).
2. **First Simplification Step**:
- By introducing the auxiliary function \(\phi_{n}(x)=\sum_{m\geq0}\frac{f_{m,n}}{m!}x^{m}\), the problem is transformed into solving the inverse function of the formal power series \(g(y)=\sum_{n\geq1}\frac{\phi_{n}(x)}{n!}y^{n}\).
- Using the Lagrange inversion formula, the expression of \(y(x)\) can be obtained:
\[
y(x)=g^{-1}(-\phi_{0}(x))
\]
3. **Second Simplification Step**:
- Through further derivation, the explicit expression of the coefficient \(y_{m}\) of \(y(x)\) is obtained:
\[
y_{m}=\sum_{n = 1}^{m}\binom{m}{n}\left\{\sum_{k = 1}^{n}(- 1)^{k}a_{k, m - n}B_{n,k}(f_{1,0}, f_{2,0},\ldots,f_{n - k + 1,0})\right\}
\]
- where \(a_{k, l}\) is the Taylor coefficient of \(g_{k}(x)\) and can be represented by multivariable Stirling polynomials and partial Bell polynomials.
### Conclusion
The paper finally arrives at a theorem, that is, under the conditions of the given function \(f(x, y)\) and its Taylor coefficients \(f_{m,n}\), the implicit function \(y = y(x)\) can be represented as a formal power series, and its coefficients are completely determined by \(f_{m,n}\). This provides a new and systematic method for the calculation of higher - order derivatives of implicit functions.