2025-11-15T12:49:10.652717

Rational Orthonormal Littlewood-Paley Wavelet Basis of L2(R)

Sun
In this letter, first, we prove that the orthonormal basis of rational Littlewood-Paley wavelet with rational dilation factor M=p/q first proposed by Auscher does not hold for all rational numbers. It does not hold if q is not equal to 1. In other words, it is not an orthonormal basis if the rational dilation factor M is not an integer. Then, to make up for the shortcoming of the rational Littlewood-Paley wavelet proposed by Auscher, a new orthonormal basis of rational Littlewood-Paley wavelet with rational dilation factor M=p/q is proposed, which holds for all rational numbers. Finally, by means of sampling theorem for bandpass signals, it is proved completely that the new rational Littlewood-Paley wavelet family is an orthonormal wavelet basis of L2(R).
academic

Base de Ondículas Racionales Ortonormales de Littlewood-Paley en L2(R)

Información Básica

  • ID del Artículo: 2511.08984
  • Título: Base de Ondículas Racionales Ortonormales de Littlewood-Paley en L2(R)
  • Autor: Sun Changping (Departamento de Sistemas de Inteligencia Artificial, Facultad de Ingeniería Eléctrica y Automatización, Universidad Tecnológica de Tianjin)
  • Clasificación: math.FA (Análisis Funcional)
  • Fecha de Publicación/Conferencia: Sin conferencia específica indicada, contribución de miembro IEEE
  • Enlace del Artículo: https://arxiv.org/abs/2511.08984

Resumen

Este artículo demuestra primero que la base ortonormal de ondículas racionales de Littlewood-Paley con factor de dilatación racional M=p/q propuesta por Auscher no es aplicable a todos los números racionales; cuando q≠1, esta base no se cumple. En otras palabras, cuando el factor de dilatación racional M no es un entero, no constituye una base ortonormal. Para subsanar los defectos de las ondículas racionales de Littlewood-Paley propuestas por Auscher, este artículo propone una nueva base ortonormal de ondículas racionales de Littlewood-Paley con factor de dilatación racional M=p/q, aplicable a todos los números racionales. Finalmente, mediante el teorema de muestreo de señales de banda limitada, se demuestra completamente que la nueva familia de ondículas racionales de Littlewood-Paley constituye una base de ondículas ortonormal de L2(R).

Antecedentes de Investigación y Motivación

1. Problema Central a Resolver

Este artículo aborda el problema de la construcción de la base ortonormal de ondículas racionales de Littlewood-Paley en el análisis multirresolución racional (rational multiresolution analysis). Específicamente, busca corregir los defectos matemáticos presentes en la base de ondículas racionales de Littlewood-Paley propuesta por primera vez por Auscher en su tesis doctoral de 1989.

2. Importancia del Problema

  • Significado Teórico: El análisis multirresolución racional proporciona mejor capacidad de separación de componentes de señal en comparación con el análisis binario tradicional
  • Aplicaciones Prácticas: La transformada de ondículas racional ha sido aplicada en diagnóstico de fallos, reconocimiento automático de voz imaginada, detección automática de enfermedades de válvulas cardíacas y otros campos
  • Validación de Algoritmos: La base ortonormal de ondículas racionales de Littlewood-Paley es una herramienta clave para verificar la efectividad de los algoritmos de descomposición y reconstrucción de ondículas racionales

3. Limitaciones de Métodos Existentes

La base de ondículas racionales de Littlewood-Paley propuesta por Auscher presenta defectos fatales:

  • Cuando en el factor de dilatación racional M=p/q se tiene q≠1, esta base no satisface la ortonormalidad
  • Solo cuando q=1 (es decir, M es entero) es una base ortonormal
  • Esto resulta en errores en la descomposición y reconstrucción de señales cuando se utilizan factores de dilatación no enteros

4. Motivación de la Investigación

Aunque la investigación de ondículas racionales es extensa, las ondículas racionales de Littlewood-Paley citadas en la literatura siguen siendo de la forma de Auscher, y carecen de pruebas rigurosas de ortonormalidad. El autor descubrió esta laguna teórica y propone una solución de corrección para asegurar la completitud teórica y la corrección de las aplicaciones.

Contribuciones Principales

  1. Demostración de Defectos Teóricos: Prueba rigurosa de que la base de ondículas racionales de Littlewood-Paley de Auscher no satisface la ortonormalidad cuando q≠1 (Teorema 1)
  2. Construcción de Nueva Base de Ondículas: Propone una nueva base ortonormal de ondículas racionales de Littlewood-Paley con factor de dilatación racional M=p/q aplicable a todos los números racionales, con expresiones explícitas en dominio de frecuencia y tiempo
  3. Demostración de Completitud: Utilizando el teorema de muestreo de señales de banda limitada, demuestra completamente que la nueva familia de ondículas racionales de Littlewood-Paley constituye una base de ondículas ortonormal de L2(R) (Teorema 2), incluyendo:
    • Demostración de ortogonalidad
    • Demostración de normalidad
    • Demostración de completitud
  4. Unificación Teórica: Demuestra que la base de ondículas de Auscher es un caso especial de la base de ondículas propuesta en este artículo cuando q=1 (Corolario), logrando la unificación teórica

Explicación Detallada de Métodos

Definición de la Tarea

Construir la familia de ondículas racionales de Littlewood-Paley con factor de dilatación racional M=p/q (donde p,q son enteros positivos coprimos): Ψ={ψj,k(t):j∈Z,k∈Z}\Psi = \{\psi_{j,k}(t) : j \in \mathbb{Z}, k \in \mathbb{Z}\}

Satisfaciendo:

  • Ortogonalidad: ⟨ψj,k,ψj′,k′⟩=0\langle \psi_{j,k}, \psi_{j',k'} \rangle = 0 cuando (j,k)≠(j′,k′)(j,k) \neq (j',k')
  • Normalidad: ∥ψj,k∥L2=1\|\psi_{j,k}\|_{L^2} = 1
  • Completitud: Ψ\Psi genera todo el espacio L2(R)

Arquitectura del Modelo

Representación en Dominio de Frecuencia

La nueva ondícula racional de Littlewood-Paley se define en el dominio de frecuencia como:

undefined