Abstract:We establish sharp inequalities involving the incomplete Beta and Gamma functions. These inequalities arise in the approximation of generalized Bernstein functions by higher order Thorin-Bernstein functions. Furthermore, new properties of a related function, namely $x^{\lambda}\Gamma(x)/\Gamma(x+\lambda)$ are derived.
What problem does this paper attempt to address?
The problems that this paper attempts to solve mainly focus on the approximation problems of generalized Bernstein functions and their high - order Thorin - Bernstein functions. Specifically, the author aims to establish exact inequalities involving incomplete Beta functions and Gamma functions and use these inequalities to study the approximation properties of generalized Bernstein functions. The following are the core problems of this paper:
1. **Establishing exact inequalities involving incomplete Beta functions and Gamma functions**:
- The author has established the following two inequalities:
\[
\frac{\Gamma(\lambda + y)}{\Gamma(y)} B\left(\lambda, y, \frac{x}{x + y}\right) < \gamma(\lambda, x), \quad \text{for} \; \lambda < 1 \; \text{and} \; x, y > 0
\]
\[
y^\lambda B\left(\lambda, y, \frac{x}{x + y}\right) < \gamma(\lambda, x), \quad \text{for} \; \lambda > 1 \; \text{and} \; x, y > 0
\]
These inequalities not only play a crucial role in the derivation process in the paper but also have independent research value.
2. **Approximation of generalized Bernstein functions**:
- One of the main goals of the paper is to give a specific version in which generalized Bernstein functions can be point - by - point approximated by a series of high - order Thorin - Bernstein functions. Specifically, for a function \(f(x)\) belonging to the \(B_\lambda\) class, it can be approximated by a series of functions \(f_n(x)\) belonging to the \(T_{\lambda, 1 - n}\) class, where:
\[
f_n(x) = ax^\lambda + b+\frac{\Gamma(\lambda + n)}{\Gamma(n)} \int_0^\infty B\left(\lambda, n, \frac{x}{x + n/t}\right) d\mu(t) t^{-\lambda}
\]
3. **Properties of the auxiliary function \(g_\lambda(x)\)**:
- The author also studied in detail the properties of the auxiliary function \(g_\lambda(x)=\frac{x^\lambda\Gamma(x)}{\Gamma(x + \lambda)}\). In particular, it is proved that \(g_\lambda\) belongs to some specific function classes and its monotonicity and limit behavior are given.
4. **Asymptotic expansion**:
- The last part of the paper discusses the asymptotic expansion of bounded generalized Bernstein functions, especially how to represent the asymptotic behavior of these functions under given conditions.
In summary, through establishing exact inequalities and detailed function analysis, this paper solves the specific problems of generalized Bernstein functions and their high - order approximation forms and provides a theoretical basis for further research.