🔢 mathematics

Convergence criteria for Frullani-type integrals involving differences of cosines

Cet article fournit une classification complète des conditions de convergence et dérive des évaluations explicites sous forme close pour une famille d'intégrales impropres de type Frullani impliquant des puissances de différences de cosinus et de sinus, tout en mettant en évidence des identités combinatoires associées.

Auteurs originaux : Atiratch Laoharenoo, Chanatip Sujsuntinukul

Publié 2026-05-27

📖 6 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Atiratch Laoharenoo, Chanatip Sujsuntinukul

Article original sous licence CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Ceci est une explication générée par l'IA de l'article ci-dessous. Elle n'a pas été rédigée ni approuvée par les auteurs. Pour une précision technique, consultez l'article original. Lire la clause de non-responsabilité complète

Imaginez que vous vous teniez au bord d'une rivière vaste et infinie. Cette rivière représente un problème mathématique appelé intégrale, qui est essentiellement une façon de mesurer l'« aire » totale ou la « quantité » de quelque chose qui s'écoule sur une distance infinie.

La rivière spécifique étudiée dans cet article est constituée d'ondes (plus précisément, des ondes cosinus, qui ressemblent à des collines et des vallées lisses). Les auteurs examinent un type très spécifique de flux d'eau : la différence entre deux ondes de tailles différentes, élevée à une puissance, et divisée par un nombre qui devient de plus en plus petit à mesure que l'on s'éloigne.

Voici la décomposition de leur voyage, expliquée simplement :

1. Le Déroulement : La rivière « Frullani »

Il y a longtemps, un mathématicien nommé Frullani a découvert un astucieux tour de passe-passe. Si vous prenez deux ondes, étirez l'une et comprimez l'autre, puis observez la différence entre elles, l'aire totale sous la courbe est souvent liée à un logarithme simple (un nombre qui croît lentement, comme le nombre de chiffres dans un grand nombre).

Les auteurs de cet article se sont demandé : « Que se passe-t-il si nous rendons les ondes plus compliquées ? »

Au lieu de simplement soustraire une onde à une autre, que se passe-t-il si nous prenons la différence et la cubons (ou la élevons à une puissance $p$ quelconque) ?
Et que se passe-t-il si nous divisons par un nombre qui change à différentes vitesses (puissance $q$ ) ?

Ils voulaient savoir deux choses :

La rivière a-t-elle une quantité d'eau finie ? (L'intégrale converge-t-elle ?)
Si oui, quelle est exactement la quantité d'eau ? (Peut-on trouver une réponse sous forme fermée ?)

2. Les Deux Grands Obstacles

Les auteurs ont découvert que cette rivière est traître car elle présente deux endroits dangereux où l'eau se comporte de manière sauvage :

La Source ( $x=0$ ) : Juste au début, les ondes peuvent s'entrechoquer d'une manière qui crée une « singularité » (un point où les mathématiques explosent).
L'Horizon ( $x=\infty$ ) : Alors que vous regardez à l'infini, les ondes continuent d'osciller éternellement. Parfois, elles s'annulent parfaitement ; d'autres fois, elles s'additionnent pour former une quantité infinie d'eau.

3. La Carte : Quand la rivière s'écoule-t-elle ?

Les auteurs ont passé beaucoup de temps à dessiner une carte pour vous indiquer exactement quand la rivière est sûre à traverser (convergence) et quand elle est une inondation (divergence).

La Règle « Pair vs Impair » :
- Si vous élevez la différence d'ondes à une puissance paire (comme la mettre au carré), le résultat est toujours positif (comme une colline). Si le dénominateur n'est pas assez fort pour faire descendre l'eau, la rivière s'écoule vers l'infini.
- Si vous l'élevez à une puissance impaire, les ondes peuvent être positives ou négatives. Cela leur permet de s'annuler mutuellement, comme une marée qui va et vient. Cette annulation est la clé pour rendre la rivière finie.
Le « Rapport Secret » (L'ensemble $F_p$ ) :
Pour les cas de puissance impaire, les auteurs ont découvert un motif caché. Que la rivière s'écoule ou inonde dépend du rapport entre les deux vitesses d'ondes ( $\alpha$ et $\beta$ ).
Ils ont établi une liste spéciale de « rapports interdits » (qu'ils ont appelée l'ensemble $F_p$ ). Si vos vitesses d'ondes correspondent à ces rapports, les ondes s'annulent d'une manière qui laisse une « dérive » constante, provoquant l'inondation de la rivière. Si votre rapport n'est pas sur cette liste, les ondes s'annulent parfaitement, et la rivière est finie.

4. Le Trésor : Trouver la Quantité Exacte

Une fois qu'ils ont su que la rivière était sûre (convergente), ils voulaient connaître la quantité exacte d'eau.

Ils ont utilisé un « marteau-piqueur » mathématique appelé sommation d'Abel. Imaginez prendre un tas complexe et désordonné d'ondes et le décomposer en une pile ordonnée d'ondes simples et uniques.
Une fois décomposées, ils ont pu appliquer d'anciennes règles connues pour calculer l'aire totale.
Le Résultat : Ils ont produit une formule qui donne la réponse exacte pour n'importe quelle combinaison sûre de vitesses d'ondes et de puissances. C'est comme avoir une calculatrice universelle pour ces problèmes d'ondes spécifiques.

5. Une Quête Secondaire Spéciale : L'Onde « Zéro »

Ils ont également examiné un cas spécial où l'une des ondes est complètement plate (vitesse = 0).

Cela s'est avéré être une mine d'or pour la combinatoire (les mathématiques du dénombrement et de l'arrangement des choses).
Les nombres qu'ils ont trouvés dans les formules d'ondes correspondaient à des modèles utilisés dans les jeux de dénombrement et la probabilité. C'est comme si la physique des ondes avait secrètement chuchoté un code secret sur la façon de compter les objets.

6. Les Jumeaux Sinus

Enfin, ils se sont demandé : « Et si nous utilisions des ondes Sinus au lieu des ondes Cosinus ? »

Les ondes Sinus commencent à zéro, tandis que les ondes Cosinus commencent à un pic. Cette petite différence change les règles.
Ils ont découvert que pour les ondes Sinus, la règle « Pair vs Impair » s'inverse. La rivière ne s'écoule en sécurité que si la puissance est impaire. Si elle est paire, la rivière inonde.
Ils ont fourni un croquis de la carte pour ces rivières Sinus, montrant que la logique est similaire mais que les détails sont légèrement différents.

Résumé

En bref, cet article est un guide complet pour un type spécifique d'intégrale d'ondes infinies.

Le Problème : Ces différences d'ondes complexes s'additionnent-elles à un nombre fini ?
La Découverte : Oui, mais seulement sous des conditions très spécifiques concernant si la puissance est paire ou impaire, et le rapport spécifique des vitesses d'ondes.
La Solution : Ils ont fourni une liste complète de conditions « sûres » et une formule pour calculer la réponse exacte chaque fois que c'est sûr.

Ils n'ont pas seulement deviné ; ils ont construit un pont mathématique rigoureux qui relie le comportement de ces ondes à des règles connues, révélant des motifs cachés dans les nombres en cours de route.

Résumé technique : Critères de convergence pour les intégrales de type Frullani impliquant des différences de cosinus

Énoncé du problème
Cet article examine la famille d'intégrales impropres définie par :
$I_{p,q}(\alpha, \beta) := \int_0^\infty \frac{(\cos \alpha x - \cos \beta x)^p}{x^q} \, dx$
où $p, q \in \mathbb{N}$ et $\alpha, \beta \in \mathbb{R}$ avec $|\alpha| \neq |\beta|$ . Bien que l'intégrale de Frullani classique ( $p=1, q=1$ ) soit bien comprise, et que des cas spécifiques (tels que $p \ge q$ avec $q$ pair) aient été précédemment analysés par Laoharenoo et Boonklurb (2022), le comportement général de convergence et l'évaluation explicite pour toutes les plages de paramètres restaient non classés. L'intégrande présente des défis doubles : une singularité potentielle en $x=0$ et la limite supérieure infinie, compliqués par la nature oscillatoire des termes cosinus élevés à des puissances arbitraires.

Méthodologie
Les auteurs emploient une combinaison d'analyse asymptotique, de développements en puissances trigonométriques et de techniques de sommation pour traiter le problème :

Développement trigonométrique : Le cœur de l'analyse consiste à développer $(\cos \alpha x - \cos \beta x)^p$ $(cos α x - cos β x)^{p}$ en une combinaison linéaire de termes cosinus non élevés à une puissance (ou sinus pour la variante différence de sinus). L'article utilise deux stratégies de développement distinctes :
- Un développement (Lemme 3.6) est optimisé pour déterminer la convergence en identifiant les termes constants et les annulations de fréquences.
- Un second développement (Lemme 4.1) est conçu pour l'évaluation explicite, utilisant des coefficients binomiaux et des indices combinatoires spécifiques.
Analyse de la singularité :
- Pour $x \to 0$ , des développements de Taylor sont utilisés pour déterminer l'ordre du zéro du numérateur. Cela établit que l'intégrande se comporte comme $x^{2p-q}$ près de l'origine.
- Pour $x \to \infty$ , les auteurs analysent le taux de décroissance par rapport à $x^{-q}$ et les propriétés d'annulation oscillatoire.
Sommation d'Abel : Pour évaluer les intégrales, les auteurs appliquent la formule de sommation d'Abel à la série de termes cosinus. Cette technique transforme l'intégrale d'une somme de cosinus en une somme de termes logarithmiques (pour $q=1$ ) ou utilise les valeurs connues de $\int_0^\infty \frac{\sin kx}{x} dx$ (pour $q$ pair).
Identités combinatoires : Dans le cas spécial où $\alpha = 0$ , les coefficients du développement sont analysés pour dériver de nouvelles identités combinatoires impliquant des coefficients binomiaux et des déterminants de type Vandermonde.

Contributions et résultats clés

1. Classification complète de la convergence
L'article fournit une classification rigoureuse de la convergence basée sur la parité de $p$ et la relation entre $p$ et $q$ :

Cas $q = 1$ :
- Si $p$ est pair, l'intégrale diverge pour tout $|\alpha| \neq |\beta|$ . Cela est prouvé en montrant que le développement contient un terme constant non nul, conduisant à une divergence logarithmique.
- Si $p$ est impair, l'intégrale diverge si et seulement si le rapport $|\alpha/\beta|$ (ou son inverse) appartient à un ensemble spécifique $F_p$ . Cet ensemble $F_p$ est construit à partir de nombres rationnels dérivés des indices du développement trigonométrique où l'annulation de fréquence produit un terme constant. Si le rapport n'est pas dans $F_p$ , l'intégrale converge.
Cas $q \ge 2$ :
- L'intégrale diverge si $q \ge 2p + 1$ . La singularité en $x=0$ est trop forte pour que le numérateur compense.
- L'intégrale converge si $2 \le q \le 2p$ . Dans cette plage, le comportement en $x=0$ est intégrable, et la décroissance à l'infini est suffisante.

2. Évaluations explicites sous forme fermée
Pour tous les cas convergents, les auteurs dérivent des formules explicites :

Pour $q=1$ ( $p$ impair) : La valeur est exprimée comme une somme finie de termes logarithmiques impliquant les fréquences des composantes du développement, pondérées par des sommes partielles des coefficients du développement.
Pour $q \ge 2$ :
- Si $q$ est pair, la valeur est une somme finie impliquant des puissances des fréquences et des coefficients binomiaux, mise à l'échelle par $\pi$ .
- Si $q$ est impair, la valeur est une somme finie de termes logarithmiques, similaire au cas $q=1$ mais dérivée par différentiation de l'intégrande.

3. Cas spécial $\alpha = 0$ et identités combinatoires
Lorsque $\alpha = 0$ , l'intégrale se simplifie pour impliquer $(1 - \cos \beta x)^p$ . Les auteurs dérivent des formes explicites pour les coefficients du développement en cosinus. En égalisant ces coefficients à ceux dérivés de la formule de l'angle moitié et de l'identité d'Euler, l'article établit de nouvelles identités combinatoires reliant des sommes de coefficients binomiaux à des nombres rationnels spécifiques.

4. Extension aux différences de sinus
La méthodologie est étendue à la famille analogue $K_{p,q}(\alpha, \beta)$ impliquant $(\sin \alpha x - \sin \beta x)^p$ .

Pour $q=1$ , la convergence se produit si et seulement si $p$ est impair.
Pour $q \ge 2$ , la convergence se produit si et seulement si $q \le p$ .
L'article note que les critères de convergence pour les différences de sinus diffèrent légèrement de ceux pour les différences de cosinus, particulièrement concernant la parité de $p$ .

Importance et affirmations
Les auteurs affirment que ce travail fournit la première analyse systématique de la famille générale $I_{p,q}(\alpha, \beta)$ , comblant un vide dans la littérature où de telles intégrales n'étaient précédemment pas enregistrées dans les grands compendiums. L'article prétend :

Établir une classification complète des paramètres de convergence, résolvant des cas laissés ouverts par des études précédentes (spécifiquement les cas $p$ impair pour $q=1$ et les cas généraux $q \ge 2$ ).
Dériver des évaluations explicites sous forme fermée pour tous les scénarios convergents, étendant le travail de Laoharenoo et Boonklurb (2022).
Révéler une connexion naturelle entre ces intégrales analytiques et des identités combinatoires, en particulier dans le cas $\alpha=0$ .
Démontrer que le comportement de convergence est hautement sensible à la parité de $p$ et aux relations rationnelles spécifiques entre $\alpha$ et $\beta$ dans le cas $q=1$ .

L'article conclut en notant que, bien que la relation entre les familles de cosinus et de sinus ne soit pas directe en raison de critères de convergence différents, la méthodologie unifiée offre un cadre pour de futures investigations sur les produits mixtes de différences de sinus et de cosinus.