Sur trois classes d'intégrales logarithmiques

Informations fondamentales

• ID de l'article: 2510.00870
• Titre: Sur trois classes d'intégrales logarithmiques
• Auteurs: Necdet Batır, Nandan Sai Dasireddy
• Classification: math.NT (Théorie des nombres)
• Date de publication: 16 octobre 2025 (arXiv v2)
• Lien de l'article: https://arxiv.org/abs/2510.00870v2

Résumé

Cet article calcule sous forme fermée les familles d'intégrales définies suivantes et démontre qu'elles ne peuvent s'exprimer qu'à l'aide de dilogarithmes, d'intégrales arctangentes et de fonctions élémentaires : $\int_{0}^{1}\frac{\log\big(x^m+1\big)}{x+1}\,dx \quad \text{et}\quad \int_{0}^{1}\frac{\log\big(x^m+1\big)}{x^2+1}\,dx$ où $m$ est un entier positif impair. Lorsque $m$ est un entier positif pair, ces intégrales ont déjà été calculées par Sofo et Batır, tandis que le cas impair restait un problème ouvert. Les intégrales de la première classe apparaissent dans les travaux de Zagier sur la formule limite de Kronecker. De plus, les auteurs démontrent que l'équation fonctionnelle satisfaite par la fonction de Herglotz-Zagier-Novikov est un cas particulier d'une formule plus générale.

Contexte et motivation de la recherche

1. Problème fondamental: Calculer des intégrales définies contenant des fonctions logarithmiques, en particulier lorsque l'exposant $m$ est impair. Ces intégrales revêtent une importance capitale en théorie des nombres et dans la théorie des fonctions spéciales.
2. Importance:
   • Ces intégrales sont directement liées aux travaux de Zagier sur la formule limite de Kronecker
   • Elles sont étroitement associées à la théorie de la fonction de Herglotz-Zagier-Novikov
   • Elles ont des applications dans la théorie des fonctions $L$ et des formes modulaires en théorie des nombres
3. Limitations des méthodes existantes:
   • Sofo et Batır ont résolu le cas où $m$ est pair
   • Le cas où $m$ est impair restait un problème ouvert, dépourvu de méthode de calcul unifiée
4. Motivation de la recherche: Compléter ce système théorique, fournir des solutions sous forme fermée pour le cas d'exposants impairs et établir des connexions avec les fonctions spéciales.

Contributions principales

1. Résolution d'un problème ouvert: Première présentation des expressions sous forme fermée des deux classes d'intégrales logarithmiques pour $m$ entier positif impair
2. Établissement de nouvelles connexions théoriques: Démonstration que l'équation fonctionnelle de la fonction de Herglotz-Zagier-Novikov est un cas particulier de résultats plus généraux
3. Fourniture d'un cadre unifié: Établissement d'une méthode systématique pour traiter ce type d'intégrales, impliquant les dilogarithmes $\text{Li}_2$ et les intégrales arctangentes $\text{Ti}_2$
4. Présentation de formules explicites: Fourniture de résultats de calcul explicites pour les petites valeurs impaires $m=3,5$, etc.
5. Généralisation d'équations fonctionnelles: Proposition d'une forme généralisée de la fonction de Herglotz-Zagier-Novikov et de ses propriétés

Explication détaillée de la méthode

Définition de la tâche

Calculer les expressions sous forme fermée des deux classes d'intégrales définies suivantes :

• $J(m) = \int_0^1 \frac{\log(x^m+1)}{x+1}dx$, où $m$ est un entier positif impair
• $\int_0^1 \frac{\log(x^m+1)}{x^2+1}dx$, où $m$ est un entier positif impair

Architecture de la méthode fondamentale

1. Système de lemmes fondamentaux

Les auteurs établissent trois lemmes clés :

Lemme 1.1: Pour un entier impair $m \geq 3$, il existe une formule de décomposition : $\log\left[\left(\frac{1-u}{1+u}\right)^m + 1\right] = \frac{m+1}{2}\log 2 - m\log(1+u) + \sum_{k=0}^{(m-3)/2}\log(1+\phi_k) + \sum_{k=0}^{(m-3)/2}\log\left[u^2 + \frac{1-\phi_k}{1+\phi_k}\right]$ où $\phi_k = \cos\left(\frac{(2k+1)\pi}{m}\right)$.

Lemme 1.2: Pour un nombre réel non négatif $q$ : $\int_0^1 \frac{\log(u^2+q)}{1+u}du = \log 2 \log(1+q) - \arctan^2\left(\frac{1}{\sqrt{q}}\right) + \frac{1}{2}\text{Li}_2\left(\frac{1}{q+1}\right)$

Lemme 1.3: Pour un nombre réel positif $q$ : $\int_0^1 \frac{\log(x^2+q)}{1+x^2}dx = \frac{\pi}{2}\log(1+\sqrt{q}) + \text{Ti}_2\left(\frac{\sqrt{q}-1}{\sqrt{q}+1}\right) - G$

2. Technique de substitution de variables

La substitution de variables clé $x = \frac{1-u}{1+u}$ transforme l'intégrale originale en une forme plus facile à traiter.

3. Méthode d'analyse complexe

Utilisation de la factorisation de $z^m + 1$ : $z^m + 1 = (z+1)\prod_{k=0}^{(m-3)/2}[z^2 - 2z\phi_k + 1]$

Points d'innovation technique

1. Traitement systématisé: Décomposition des intégrales logarithmiques complexes en combinaisons d'intégrales fondamentales calculables
2. Connexions avec les fonctions spéciales: Établissement de connexions explicites avec les dilogarithmes $\text{Li}_2$ et les intégrales arctangentes $\text{Ti}_2$
3. Généralisation d'équations fonctionnelles: Proposition d'un cadre d'équations fonctionnelles plus général que celui de la fonction de Herglotz-Zagier-Novikov

Résultats principaux

Intégrales de première classe (Théorème 2.1)

Pour un entier positif impair $m$ : $J(m) = \frac{m}{2}\log^2 2 - \frac{(m^2-1)\pi^2}{24m} + \frac{1}{2}\sum_{k=0}^{(m-3)/2}\text{Li}_2\left(\cos^2\left(\frac{(2k+1)\pi}{2m}\right)\right)$

Intégrales de deuxième classe (Théorème 2.2)

Pour un entier positif impair $m$ : $\int_0^1 \frac{\log(x^m+1)}{x^2+1}dx = \frac{m\pi}{8}\log 2 - \frac{(m-1)G}{2} + \frac{\pi}{4}\sum_{k=0}^{(m-3)/2}\log\left(1+\sin\frac{(2k+1)\pi}{m}\right) + \sum_{k=0}^{(m-3)/2}\text{Ti}_2\left(\frac{1}{\phi_k}\left(\sqrt{1-\phi_k^2}-1\right)\right)$

Exemples concrets

Exemple 1 ($m=3$)

$\int_0^1 \frac{\log(x^3+1)}{x+1}dx = \frac{1}{2}\text{Li}_2\left(\frac{3}{4}\right) + \frac{3}{2}\log^2 2 - \frac{\pi^2}{9}$

Exemple 2 (deuxième classe, $m=3$)

$\int_0^1 \frac{\log(x^3+1)}{x^2+1}dx = -\frac{\pi}{8}\log 2 - G + \frac{\pi}{2}\log(1+\sqrt{3}) - \text{Ti}_2(2-\sqrt{3})$

Généralisation d'équation fonctionnelle (Théorème 2.3)

Pour des fonctions appropriées $\phi$ et des paramètres convenables, il existe une équation fonctionnelle générale : $F(x;\alpha,\beta) + F(1/x;\beta,\alpha) = \phi(\alpha)\phi(\beta) - \phi^2(0)$

Analyse des techniques mathématiques

Applications de fonctions spéciales

1. Dilogarithme: $\text{Li}_2(z) = \sum_{k=1}^{\infty} \frac{z^k}{k^2}$
2. Intégrale arctangente: $\text{Ti}_2(x) = \int_0^x \frac{\arctan u}{u}du$
3. Constante de Catalan: $G = \sum_{k=0}^{\infty} \frac{(-1)^k}{(2k+1)^2}$

Stratégie de calcul

1. Utilisation des propriétés des racines complexes de l'unité
2. Décomposition en fractions partielles
3. Transformations intégrales et intégration par parties
4. Équations fonctionnelles de fonctions spéciales

Travaux connexes

Cet article s'appuie sur les travaux importants suivants :

1. Zagier - Recherches sur la formule limite de Kronecker
2. Sofo et Batır - Traitement du cas pair
3. Choie et Kumar - Recherches sur la fonction de Herglotz-Zagier-Novikov
4. Radchenko et Zagier - Recherches sur les propriétés arithmétiques

Conclusion et discussion

Conclusions principales

1. Résolution complète du problème de calcul des deux classes d'intégrales logarithmiques pour le cas d'exposants impairs
2. Établissement de connexions profondes avec la théorie des fonctions spéciales
3. Fourniture d'un cadre de calcul systématique et d'expressions sous forme fermée

Signification théorique

1. Complétude: Forme, avec les résultats existants pour le cas pair, un système théorique complet
2. Profondeur: Révèle les connexions intrinsèques entre les intégrales logarithmiques et les fonctions importantes en théorie des nombres
3. Généralité: La généralisation d'équations fonctionnelles fournit un cadre pour des recherches ultérieures

Perspectives d'application

1. Calcul des valeurs spéciales des fonctions $L$ en théorie des nombres
2. Applications dans la théorie des formes modulaires
3. Découverte d'identités de fonctions spéciales

Évaluation approfondie

Avantages

1. Résolution complète d'un problème ouvert: Traitement systématique du cas impair longtemps en suspens
2. Innovation méthodologique: Combinaison ingénieuse d'analyse complexe, de fonctions spéciales et de transformations intégrales
3. Résultats profonds: Établissement de connexions avec des fonctions importantes en théorie des nombres
4. Calculs explicites: Fourniture de formules vérifiables et concrètes

Points forts techniques

1. L'établissement du système de lemmes reflète une profonde intuition mathématique
2. Le choix de la substitution de variables est judicieux et opportun
3. Les connexions avec les fonctions spéciales sont naturelles et profondes

Limitations

1. La méthode s'applique principalement au cas impair ; l'unification avec le cas pair nécessite des explorations ultérieures
2. Certaines preuves de résultats intermédiaires dépendent d'identités de fonctions spéciales connues
3. La généralisation à des formes plus générales nécessite des recherches supplémentaires

Évaluation de l'impact

1. Contribution théorique: Apport important au complément de la théorie des intégrales logarithmiques
2. Valeur méthodologique: Les techniques utilisées pourraient s'appliquer à des problèmes similaires
3. Potentiel d'application: Perspectives d'application larges dans la recherche en théorie des nombres et en fonctions spéciales

Références bibliographiques

L'article cite 15 références importantes, couvrant des travaux classiques comme la table d'intégrales de Gradshteyn-Ryzhik jusqu'aux recherches récentes sur la fonction de Herglotz-Zagier-Novikov, reflétant l'évolution complète du domaine.

Cet article constitue un travail important à l'intersection de la théorie des nombres et de la théorie des fonctions spéciales, résolvant par des techniques ingénieuses un problème longtemps ouvert et apportant une contribution substantielle au développement de la théorie connexe.