2025-11-10T03:01:53.828239

Newton series representation of completely monotone functions

Lamby, Marichal, Zenaïdi
We prove that every completely monotone function defined on a right-unbounded open interval admits a Newton series expansion at every point of that interval. This result can be viewed as an analog of Bernstein's little theorem for absolutely monotone functions. As an application, we use it to study principal indefinite sums, which are constructed via a broad generalization of Bohr-Mollerup's theorem.
academic

Représentation en série de Newton des fonctions complètement monotones

Informations de base

  • ID de l'article: 2510.11577
  • Titre: Newton series representation of completely monotone functions
  • Auteurs: Thomas Lamby, Jean-Luc Marichal, Naïm Zenaïdi
  • Classification: math.CA (Analyse classique et équations différentielles ordinaires), cs.DM (Mathématiques discrètes), math.CO (Combinatoire)
  • Date de publication: 13 octobre 2025
  • Lien de l'article: https://arxiv.org/abs/2510.11577

Résumé

Cet article démontre que chaque fonction complètement monotone définie sur un intervalle ouvert non borné à droite admet un développement en série de Newton en chaque point de cet intervalle. Ce résultat peut être considéré comme un analogue du petit théorème de Bernstein pour les fonctions absolument monotones. En application, nous l'utilisons pour étudier les sommes indéfinies principales (principal indefinite sums), qui sont construites via une généralisation étendue du théorème de Bohr-Mollerup.

Contexte et motivation de la recherche

Contexte du problème

  1. Importance des fonctions complètement monotones: Les fonctions complètement monotones constituent un concept fondamental de l'analyse réelle, introduit par Bernstein en 1914. Une fonction f sur un intervalle ouvert I est complètement monotone si elle est infiniment différentiable et satisfait (1)nf(n)(x)0(-1)^n f^{(n)}(x) \geq 0 pour tous xIx \in I et nNn \in \mathbb{N}.
  2. Limitations des résultats classiques:
    • Le petit théorème de Bernstein établit que les fonctions complètement monotones sont réelles analytiques et admettent un développement en série de Taylor
    • Le théorème de Bernstein sur les fonctions monotones fournit une représentation intégrale de type Laplace
    • Cependant, une théorie systématique de la représentation en série de Newton fait défaut
  3. Particularité de la série de Newton: Le développement en série de Newton est une condition assez restrictive; de nombreuses fonctions analytiques (comme la fonction exponentielle classique f(x)=exf(x) = e^x) n'admettent pas de développement en série de Newton.

Motivation de la recherche

Cet article vise à établir une théorie de la représentation en série de Newton pour les fonctions complètement monotones, ce qui peut être considéré comme un analogue discret de la représentation en série de Taylor, offrant une nouvelle perspective à la théorie de la représentation en série de fonctions.

Contributions principales

  1. Résultat théorique principal: Démonstration que les fonctions complètement monotones définies sur un intervalle ouvert non borné à droite admettent un développement en série de Newton en chaque point de cet intervalle
  2. Résultats de généralisation: Validité sous des hypothèses plus faibles (exigeant uniquement que certaines dérivées d'ordre supérieur soient complètement monotones)
  3. Extension des applications: Application des résultats à l'étude des sommes indéfinies principales, construites via une généralisation du théorème de Bohr-Mollerup
  4. Cadre théorique: Établissement de liens profonds entre la monotonie complète et le développement en série de Newton

Détails de la méthode

Définitions fondamentales

Fonction complètement monotone: Une fonction f:IRf: I \to \mathbb{R} est complètement monotone sur un intervalle ouvert I si elle est infiniment différentiable et satisfait: (1)nf(n)(x)0xI,nN(-1)^n f^{(n)}(x) \geq 0 \quad \forall x \in I, n \in \mathbb{N}

Développement en série de Newton: Une fonction f:IRf: I \to \mathbb{R} admet un développement en série de Newton au point aIa \in I si: f(x)=k=0(xak)Δkf(a)(xI)f(x) = \sum_{k=0}^{\infty} \binom{x-a}{k} \Delta^k f(a) \quad (x \in I)

Δ\Delta est l'opérateur de différence avant et (xak)\binom{x-a}{k} est la factorielle décroissante.

Théorème principal

Théorème 3.1 (Résultat principal): Soit I un intervalle ouvert non borné à droite et f:IRf: I \to \mathbb{R} une fonction infiniment différentiable telle que f(q)f^{(q)} soit complètement monotone pour un certain qNq \in \mathbb{N}. Alors pour tout aIa \in I, la fonction f admet un développement en série de Newton: f(x)=k=0(xak)Δkf(a)(xI)f(x) = \sum_{k=0}^{\infty} \binom{x-a}{k} \Delta^k f(a) \quad (x \in I) et la série converge uniformément sur les sous-ensembles compacts de I.

Stratégie de preuve

  1. Théorème de Taylor de type Newton: Établissement d'une formule d'interpolation de Newton contenant un terme de reste basé sur les différences divisées
  2. Théorie de la convexité d'ordre supérieur: Utilisation de la théorie des fonctions p-convexes pour analyser les propriétés des fonctions complètement monotones
  3. Estimation du reste: Contrôle du comportement asymptotique du reste via les propriétés de monotonie
  4. Convergence uniforme: Utilisation du lemme 3.5 pour établir la convergence uniforme sur les ensembles compacts

Points d'innovation technique

  1. Représentation par différences divisées: Utilisation des différences divisées f[x0,x1,,xn]f[x_0, x_1, \ldots, x_n] pour exprimer le reste de la série de Newton
  2. Caractérisation de la convexité d'ordre supérieur: Reformulation de la monotonie complète en termes de convexité d'ordre supérieur K(1)nqn1(I)K^{n-1}_{(-1)^{n-q}}(I)
  3. Analyse asymptotique: Établissement d'estimations asymptotiques clés pour contrôler la convergence de la série

Configuration expérimentale

Vérification théorique

Cet article est principalement un travail théorique, dont les résultats sont vérifiés par démonstration mathématique. Les principaux modes de vérification incluent:

  1. Vérification par exemples classiques:
    • Développement en série de Newton de la fonction réciproque f(x)=1/xf(x) = 1/x sur R+\mathbb{R}_+
    • Représentation en série de Newton de la fonction log-Gamma
  2. Construction de contre-exemples: Démonstration que certaines fonctions n'admettent pas de développement en série de Newton, comme f(x)=exf(x) = e^x

Scénarios d'application

Application de la théorie à l'étude des sommes indéfinies principales, incluant:

  • Généralisation du théorème de Bohr-Mollerup
  • Représentation en série de Newton des fonctions de nombres harmoniques et de la fonction digamma

Résultats expérimentaux

Résultats principaux

Exemple 3.7 (Fonction réciproque): Pour f(x)=1/xf(x) = 1/x sur R+\mathbb{R}_+, on a le développement en série de Newton: 1x=1ak=0(1)k(xak)(a+kk)(x>0)\frac{1}{x} = \frac{1}{a} \sum_{k=0}^{\infty} \frac{(-1)^k \binom{x-a}{k}}{\binom{a+k}{k}} \quad (x > 0)

Exemple 4.8 (Fonction log-Gamma): lnΓ(x)\ln\Gamma(x) admet un développement en série de Newton: lnΓ(x)=k=1(x1k)(Δtk1lnt)t=1(x>0)\ln\Gamma(x) = \sum_{k=1}^{\infty} \binom{x-1}{k} (\Delta^{k-1}_t \ln t)|_{t=1} \quad (x > 0)

Exemple 4.9 (Série de Stern): Représentation en série de Newton de la fonction des nombres harmoniques: Hx1=k=1(x1k)(1)k1k(x>0)H_{x-1} = \sum_{k=1}^{\infty} \binom{x-1}{k} \frac{(-1)^{k-1}}{k} \quad (x > 0)

Découvertes théoriques

  1. Domaine de convergence: La série de Newton converge sur l'intervalle entier non borné à droite, pas seulement dans un voisinage
  2. Conditions nécessaires: L'intervalle doit être non borné à droite, car la série de Newton nécessite l'évaluation au point a+ka+k
  3. Convergence uniforme: La convergence uniforme sur les sous-ensembles compacts garantit de bonnes propriétés analytiques

Travaux connexes

Théorie classique

  1. Théorie de Bernstein:
    • Petit théorème de Bernstein: analyticité réelle des fonctions complètement monotones
    • Théorème de Bernstein sur les fonctions monotones: représentation intégrale de Laplace
  2. Théorie des séries de Taylor: Développement en série de Taylor des fonctions absolument monotones
  3. Théorie de l'interpolation de Newton: Formule d'interpolation de Newton classique et théorie des différences divisées

Développements modernes

  1. Théorie de la convexité d'ordre supérieur: Étude systématique des fonctions p-convexes
  2. Généralisation de Bohr-Mollerup: Théorie de la construction des sommes indéfinies principales
  3. Applications des fonctions complètement monotones: Applications en théorie des probabilités et théorie des nombres

Conclusions et discussion

Conclusions principales

  1. Établissement d'une théorie complète de la représentation en série de Newton pour les fonctions complètement monotones
  2. Démonstration que cette représentation est valide sur l'intervalle entier non borné à droite, ce qui est plus fort que la série de Taylor
  3. Application réussie à l'étude des sommes indéfinies principales

Limitations

  1. Restriction sur l'intervalle: L'exigence que l'intervalle soit non borné à droite limite le champ d'application
  2. Exigence de monotonie: Nécessité de la condition forte de monotonie complète
  3. Complexité computationnelle: Le calcul de la série de Newton peut être plus complexe que celui de la série de Taylor

Directions futures

L'article soulève d'importantes questions ouvertes dans sa conclusion:

  1. Caractérisation de la classe de fonctions N(I)=aINa(I)\mathcal{N}(I) = \bigcap_{a \in I} \mathcal{N}_a(I) (fonctions admettant un développement de Newton en chaque point)
  2. Développement de la théorie des séries de Newton dans le contexte de l'analyse complexe
  3. Étude des relations entre la série de Newton et autres représentations de fonctions

Évaluation approfondie

Avantages

  1. Profondeur théorique: Établissement de liens profonds entre la monotonie complète et la série de Newton
  2. Innovation méthodologique: Combinaison ingénieuse de la théorie de la convexité d'ordre supérieur et des techniques de différences divisées
  3. Force des résultats: Le développement en série de Newton est valide sur l'intervalle entier, ce qui est plus fort que les résultats classiques
  4. Valeur applicative: Démonstration de l'utilité pratique dans l'étude des sommes indéfinies principales
  5. Clarté de la présentation: Structure claire de l'article et preuves détaillées

Insuffisances

  1. Portée des applications: La restriction aux intervalles non bornés à droite réduit les scénarios d'application pratique
  2. Utilité computationnelle: L'efficacité numérique du calcul de la série de Newton peut être inférieure à celle de la série de Taylor
  3. Généralisation: La généralisation à des classes de fonctions plus générales nécessite des recherches supplémentaires

Impact

  1. Contribution théorique: Offre une nouvelle perspective à la théorie de la représentation en série de fonctions
  2. Valeur méthodologique: La méthode de convexité d'ordre supérieur peut être utile pour d'autres problèmes d'analyse
  3. Potentiel applicatif: Applications potentielles en théorie des fonctions spéciales et analyse numérique

Scénarios d'application

  1. Étude des fonctions spéciales: Analyse de fonctions spéciales possédant des propriétés de monotonie
  2. Calcul numérique: Possibilité de fournir une meilleure stabilité numérique dans certains cas
  3. Analyse théorique: Nouvel outil pour l'étude des propriétés de fonctions

Références bibliographiques

L'article cite 19 références importantes couvrant:

  • Les travaux classiques de Bernstein 1,2,3
  • Théorie des fonctions monotones 4,17
  • Théorie des séries de Newton 6,7
  • Théorème de Bohr-Mollerup 5,15,16
  • Travaux connexes sur la théorie de la convexité d'ordre supérieur

Évaluation globale: Cet article est un travail mathématique théorique de haute qualité qui réalise des progrès importants dans la représentation en série de Newton des fonctions complètement monotones. Bien que les résultats soient relativement spécialisés, ils apportent une contribution précieuse à la théorie de l'analyse fonctionnelle et démontrent une valeur d'application pratique dans l'étude des sommes indéfinies principales. Les techniques de preuve et le cadre théorique de l'article offrent des perspectives inspirantes pour la recherche dans les domaines connexes.