Abstract:We consider multi-polylogarithm functions which are slightly different from the ordinary ones. These functions have two integral representations and an order structure similar to those of multiple zeta star values. We also give a necessary and sufficient condition for the set of values of our multi-polylogarithm functions to be a dense set.
What problem does this paper attempt to address?
This paper attempts to solve the order structure of multi - polylogarithm functions and their denseness under specific conditions. Specifically, the author Ken Kamano studied a class of multi - polylogarithm functions slightly different from the traditional definition and explored two integral representation forms of these functions. In addition, the author also gave the necessary and sufficient conditions for a set of values to be a dense set under this newly - defined multi - polylogarithm function.
### Main problems and objectives of the paper
1. **New definition of multi - polylogarithm function**:
- The author introduced a new multi - polylogarithm function \( l^\star(k_1, \ldots, k_r; z_1, \ldots, z_r) \), which is defined as:
\[
l^\star(k_1, \ldots, k_r; z_1, \ldots, z_r) := \sum_{m_1 \geq \cdots \geq m_r \geq 1} \frac{z_1^{m_1 - 1} \left(\frac{z_2}{z_1}\right)^{m_2 - 1} \cdots \left(\frac{z_r}{z_{r - 1}}\right)^{m_r - 1}}{m_1^{k_1} \cdots m_r^{k_r}}
\]
- This definition has a certain connection with the traditional multiple zeta star values (MZSV), especially when \( z_i = 1 \), it degenerates into MZSV.
2. **Integral representation**:
- The author gave two integral representation forms of this newly - defined multi - polylogarithm function, similar to the integral representations of multiple zeta values (MZV) and MZSV.
- One of the integral representations is:
\[
l^\star(k_1, \ldots, k_r; z_1, \ldots, z_r) = \int_{[0,1]^k} \frac{1}{1 - \sum_{i = 1}^r P_i} \, dx
\]
where \( P_i = x_1 \cdots x_{K_i - 1} (1 - x_{K_i}) z_i \), and \( K_i = k_1+\cdots + k_i \).
3. **Order structure**:
- The author studied the order structure of these newly - defined multi - polylogarithm functions and proved an important theorem (Theorem 2.5) about the order relation, that is, for any two exponents \( k \) and \( m \), if \( k \succ m \), then \( l^\star(k)>l^\star(m) \).
4. **Denseness conditions**:
- The author gave the necessary and sufficient conditions for a set of values to be a dense set under this newly - defined multi - polylogarithm function (Theorem 3.5). Specifically, when all \( z_i \) are equal, the mapping \( \eta_z \) is bijective, and the set \( L_z \) is dense on the interval \( \left(1, \frac{1}{1 - z_1}\right] \).
### Summary
This paper further enriches the research content of multi - polylogarithm functions by introducing a new multi - polylogarithm function \( l^\star \) and studying its integral representation, order structure and denseness conditions. This is of great significance for understanding the properties of multiple zeta values and multi - polylogarithm functions.