🔢 mathematics

Convergence criteria for Frullani-type integrals involving differences of cosines

Este artículo proporciona una clasificación completa de las condiciones de convergencia y deriva evaluaciones explícitas en forma cerrada para una familia de integrales impropias de tipo Frullani que involucran potencias de diferencias de cosenos y senos, al tiempo que descubre identidades combinatorias asociadas.

Autores originales: Atiratch Laoharenoo, Chanatip Sujsuntinukul

Publicado 2026-05-27

📖 5 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Atiratch Laoharenoo, Chanatip Sujsuntinukul

Artículo original bajo licencia CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta es una explicación generada por IA del artículo a continuación. No ha sido escrita ni avalada por los autores. Para mayor precisión técnica, consulte el artículo original. Leer descargo de responsabilidad completo

Imagina que estás de pie al borde de un río vasto e infinito. Este río representa un problema matemático llamado integral, que es esencialmente una forma de medir el "área" o "cantidad" total de algo que fluye sobre una distancia infinita.

El río específico que estudia este artículo está formado por ondas (específicamente, ondas coseno, que se asemejan a colinas y valles suaves). Los autores están examinando un tipo muy específico de flujo de agua: la diferencia entre dos ondas de diferentes tamaños, elevada a una potencia, y dividida por un número que se vuelve cada vez más pequeño a medida que avanzas hacia el exterior.

Aquí está el desglose de su viaje, explicado de manera sencilla:

1. La Configuración: El río "Frullani"

Hace mucho tiempo, un matemático llamado Frullani descubrió un truco ingenioso. Si tomas dos ondas, estiras una y comprimes la otra, y observas la diferencia entre ellas, el área total bajo la curva a menudo se relaciona con un logaritmo simple (un número que crece lentamente, como la cantidad de dígitos en un número grande).

Los autores de este artículo se preguntaron: "¿Qué sucede si hacemos las ondas más complicadas?"

En lugar de simplemente una onda menos otra, ¿qué pasa si tomamos la diferencia y la elevamos al cubo (o la elevamos a cualquier potencia $p$ )?
¿Y qué pasa si la dividimos por un número que cambia a diferentes velocidades (potencia $q$ )?

Querían saber dos cosas:

¿Tiene el río una cantidad finita de agua? (¿La integral converge?)
Si lo hace, ¿cuánta agua hay exactamente? (¿Podemos encontrar una respuesta en forma cerrada?)

2. Los Dos Grandes Obstáculos

Los autores descubrieron que este río es traicionero porque tiene dos puntos peligrosos donde el agua se comporta de manera salvaje:

La Fuente ( $x=0$ ): Justo al inicio, las ondas podrían chocar entre sí de una manera que crea una "singularidad" (un punto donde las matemáticas explotan).
El Horizonte ( $x=\infty$ ): A medida que miras infinitamente lejos, las ondas siguen oscilando para siempre. A veces se cancelan perfectamente entre sí; otras veces, se suman para dar una cantidad infinita de agua.

3. El Mapa: ¿Cuándo fluye el río?

Los autores pasaron mucho tiempo dibujando un mapa para decirte exactamente cuándo el río es seguro de cruzar (converge) y cuándo es una inundación (diverge).

La Regla de "Par vs. Impar":
- Si elevas la diferencia de ondas a una potencia par (como elevarla al cuadrado), el resultado es siempre positivo (como una colina). Si el denominador no es lo suficientemente fuerte para bajar el agua, el río fluye hacia el infinito.
- Si la elevas a una potencia impar, las ondas pueden ser positivas o negativas. Esto permite que se cancelen entre sí, como una marea que entra y sale. Esta cancelación es la clave para hacer que el río sea finito.
La "Relación Secreta" (El conjunto $F_p$ ):
Para los casos de potencia impar, los autores descubrieron un patrón oculto. Si el río fluye o se inunda depende de la relación entre las dos velocidades de onda ( $\alpha$ y $\beta$ ).
Encontraron una lista especial de "relaciones prohibidas" (a las que llamaron el conjunto $F_p$ ). Si tus velocidades de onda coinciden con estas relaciones, las ondas se cancelan de una manera que deja una "deriva" constante, provocando que el río se inunde. Si tu relación no está en esta lista, las ondas se cancelan perfectamente y el río es finito.

4. El Tesoro: Encontrar la Cantidad Exacta

Una vez que supieron que el río era seguro (convergente), querían saber la cantidad exacta de agua.

Utilizaron un "martillo neumático" matemático llamado sumación de Abel. Imagina tomar una pila compleja y desordenada de ondas y descomponerla en una pila ordenada de ondas simples y únicas.
Una vez descompuestas, pudieron aplicar reglas antiguas y conocidas para calcular el área total.
El Resultado: Produjeron una fórmula que da la respuesta exacta para cualquier combinación segura de velocidades de onda y potencias. Es como tener una calculadora universal para estos problemas específicos de ondas.

5. Una Misión Lateral Especial: La Onda "Cero"

También examinaron un caso especial donde una de las ondas es completamente plana (velocidad = 0).

Resultó ser una mina de oro para la combinatoria (las matemáticas de contar y organizar cosas).
Los números que encontraron en las fórmulas de las ondas coincidían con patrones utilizados en juegos de conteo y probabilidad. Es como si la física de las ondas susurrara en secreto un código secreto sobre cómo contar objetos.

6. Los Gemelos Seno

Finalmente, se preguntaron: "¿Qué pasaría si usáramos ondas Seno en lugar de ondas Coseno?"

Las ondas Seno comienzan en cero, mientras que las ondas Coseno comienzan en un pico. Esta pequeña diferencia cambia las reglas.
Descubrieron que para las ondas Seno, la regla de "Par vs. Impar" se invierte. El río solo fluye de manera segura si la potencia es impar. Si es par, el río se inunda.
Proporcionaron un bosquejo del mapa para estos ríos de Seno, mostrando que la lógica es similar pero los detalles son ligeramente diferentes.

Resumen

En resumen, este artículo es una guía completa para un tipo específico de integral de ondas infinitas.

El Problema: ¿Suman estas diferencias complejas de ondas a un número finito?
El Descubrimiento: Sí, pero solo bajo condiciones muy específicas que involucran si la potencia es par o impar, y la relación específica de las velocidades de las ondas.
La Solución: Proporcionaron una lista completa de condiciones "seguras" y una fórmula para calcular la respuesta exacta siempre que sea seguro.

No solo adivinaron; construyeron un puente matemático riguroso que conecta el comportamiento de estas ondas con reglas conocidas, revelando patrones ocultos en los números a lo largo del camino.

Resumen Técnico: Criterios de Convergencia para Integrales de Tipo Frullani que Involucran Diferencias de Cosenos

Enunciado del Problema
Este artículo investiga la familia de integrales impropias definida por:
$I_{p,q}(\alpha, \beta) := \int_0^\infty \frac{(\cos \alpha x - \cos \beta x)^p}{x^q} \, dx$
donde $p, q \in \mathbb{N}$ y $\alpha, \beta \in \mathbb{R}$ con $|\alpha| \neq |\beta|$ . Si bien la integral clásica de Frullani ( $p=1, q=1$ ) es bien conocida, y casos específicos (tales como $p \ge q$ con $q$ par) fueron analizados previamente por Laoharenoo y Boonklurb (2022), el comportamiento general de convergencia y la evaluación explícita para todos los rangos de parámetros permanecían sin clasificar. El integrando presenta desafíos duales: una posible singularidad en $x=0$ y el límite superior infinito, complicados por la naturaleza oscilatoria de los términos de coseno elevados a potencias arbitrarias.

Metodología
Los autores emplean una combinación de análisis asintótico, expansiones de potencias trigonométricas y técnicas de sumación para abordar el problema:

Expansión Trigonométrica: El núcleo del análisis implica expandir $(\cos \alpha x - \cos \beta x)^p$ $(cos α x - cos β x)^{p}$ en una combinación lineal de términos de coseno sin potencia (o senos para la variante de diferencia de senos). El artículo utiliza dos estrategias de expansión distintas:
- Una expansión (Lema 3.6) está optimizada para determinar la convergencia mediante la identificación de términos constantes y cancelaciones de frecuencia.
- Una segunda expansión (Lema 4.1) está diseñada para la evaluación explícita, utilizando coeficientes binomiales e índices combinatorios específicos.
Análisis de Singularidades:
- Para $x \to 0$ , se utilizan expansiones de Taylor para determinar el orden del cero del numerador. Esto establece que el integrando se comporta como $x^{2p-q}$ cerca del origen.
- Para $x \to \infty$ , los autores analizan la tasa de decaimiento relativa a $x^{-q}$ y las propiedades de cancelación oscilatoria.
Sumación de Abel: Para evaluar las integrales, los autores aplican la fórmula de sumación de Abel a la serie de términos de coseno. Esta técnica transforma la integral de una suma de cosenos en una suma de términos logarítmicos (para $q=1$ ) o utiliza los valores conocidos de $\int_0^\infty \frac{\sin kx}{x} dx$ (para $q$ par).
Identidades Combinatorias: En el caso especial donde $\alpha = 0$ , se analizan los coeficientes de la expansión para derivar nuevas identidades combinatorias que involucran coeficientes binomiales y determinantes tipo Vandermonde.

Contribuciones y Resultados Clave

1. Clasificación Completa de la Convergencia
El artículo proporciona una clasificación rigurosa de la convergencia basada en la paridad de $p$ y la relación entre $p$ y $q$ :

Caso $q = 1$ :
- Si $p$ es par, la integral diverge para todo $|\alpha| \neq |\beta|$ . Esto se demuestra mostrando que la expansión contiene un término constante no nulo, lo que conduce a una divergencia logarítmica.
- Si $p$ es impar, la integral diverge si y solo si la razón $|\alpha/\beta|$ (o su recíproco) pertenece a un conjunto específico $F_p$ . Este conjunto $F_p$ se construye a partir de números racionales derivados de los índices de la expansión trigonométrica donde la cancelación de frecuencia produce un término constante. Si la razón no está en $F_p$ , la integral converge.
Caso $q \ge 2$ :
- La integral diverge si $q \ge 2p + 1$ . La singularidad en $x=0$ es demasiado fuerte para que el numerador la compense.
- La integral converge si $2 \le q \le 2p$ . En este rango, el comportamiento en $x=0$ es integrable y el decaimiento en el infinito es suficiente.

2. Evaluaciones Explícitas en Forma Cerrada
Para todos los casos convergentes, los autores derivan fórmulas explícitas:

Para $q=1$ ( $p$ impar): El valor se expresa como una suma finita de términos logarítmicos que involucran las frecuencias de los componentes de la expansión, ponderados por sumas parciales de los coeficientes de la expansión.
Para $q \ge 2$ :
- Si $q$ es par, el valor es una suma finita que involucra potencias de las frecuencias y coeficientes binomiales, escalada por $\pi$ .
- Si $q$ es impar, el valor es una suma finita de términos logarítmicos, similar al caso $q=1$ pero derivada mediante diferenciación del integrando.

3. Caso Especial $\alpha = 0$ e Identidades Combinatorias
Cuando $\alpha = 0$ , la integral se simplifica a involucrar $(1 - \cos \beta x)^p$ . Los autores derivan formas explícitas para los coeficientes de la expansión de cosenos. Al igualar estos coeficientes con los derivados de la fórmula del ángulo medio y la identidad de Euler, el artículo establece nuevas identidades combinatorias que relacionan sumas de coeficientes binomiales con números racionales específicos.

4. Extensión a Diferencias de Senos
La metodología se extiende a la familia análoga $K_{p,q}(\alpha, \beta)$ que involucra $(\sin \alpha x - \sin \beta x)^p$ .

Para $q=1$ , la convergencia ocurre si y solo si $p$ es impar.
Para $q \ge 2$ , la convergencia ocurre si y solo si $q \le p$ .
El artículo señala que los criterios de convergencia para las diferencias de senos difieren ligeramente de los de las diferencias de cosenos, particularmente en lo que respecta a la paridad de $p$ .

Significado y Afirmaciones
Los autores declaran que este trabajo proporciona el primer análisis sistemático de la familia general $I_{p,q}(\alpha, \beta)$ , llenando un vacío en la literatura donde tales integrales no estaban registradas previamente en compendios importantes. El artículo afirma:

Establecer una clasificación completa de los parámetros de convergencia, resolviendo casos dejados abiertos por estudios anteriores (específicamente los casos de $p$ impar para $q=1$ y los casos generales de $q \ge 2$ ).
Derivar evaluaciones explícitas en forma cerrada para todos los escenarios convergentes, extendiendo el trabajo de Laoharenoo y Boonklurb (2022).
Revelar una conexión natural entre estas integrales analíticas e identidades combinatorias, particularmente en el caso $\alpha=0$ .
Demostrar que el comportamiento de convergencia es altamente sensible a la paridad de $p$ y a las relaciones racionales específicas entre $\alpha$ y $\beta$ en el caso $q=1$ .

El artículo concluye señalando que, si bien la relación entre las familias de cosenos y senos no es directa debido a los criterios de convergencia diferentes, la metodología unificada ofrece un marco para futuras investigaciones sobre productos mixtos de diferencias de senos y cosenos.