2025-11-10T02:47:10.641667

On the natural domain of Bregman operators

Themelis, Wang

The Bregman proximal mapping and Bregman-Moreau envelope are traditionally studied for functions defined on the entire space $\mathbb{R}^n$, even though these constructions depend only on the values of the function within (the interior of) the domain of the distance-generating function (dgf). While this convention is largely harmless in the convex setting, it leads to substantial limitations in the nonconvex case, as it fails to embrace important classes of functions such as relatively weakly convex ones. In this work, we revisit foundational aspects of Bregman analysis by adopting a domain-aware perspective: we define functions on the natural domain induced by the dgf and impose properties only relative to this set. This framework not only generalizes existing results but also rectifies and simplifies their statements and proofs. Several examples illustrate both the necessity of our assumptions and the advantages of this refined approach.

academic

Sobre el dominio natural de los operadores de Bregman

Información Básica

ID del Artículo: 2506.00465
Título: On the natural domain of Bregman operators
Autores: Andreas Themelis (Universidad de Kyushu), Ziyuan Wang (Universidad de Viena)
Clasificación: math.OC (Optimización y Control Matemático)
Fecha de Envío: Enero de 2025
Enlace del Artículo: https://arxiv.org/abs/2506.00465v2

Resumen

Tradicionalmente, los operadores de aproximación de Bregman y las envolventes de Bregman-Moreau se han estudiado para funciones definidas en todo el espacio $\mathbb{R}^n$ , aunque estas construcciones dependen únicamente de los valores de la función dentro del dominio (interior) de la función generadora de distancia (dgf). Aunque esta convención es esencialmente inofensiva en el contexto convexo, en el caso no convexo genera limitaciones sustanciales, ya que no puede incluir clases importantes de funciones, como las funciones débilmente convexas relativas. Este artículo revisa aspectos fundamentales del análisis de Bregman adoptando una perspectiva consciente del dominio: definiendo funciones en el dominio natural inducido por la dgf e imponiendo propiedades únicamente respecto a este conjunto. Este marco no solo generaliza los resultados existentes, sino que también corrige y simplifica sus enunciados y demostraciones.

Antecedentes de Investigación y Motivación

Contexto del Problema

Limitaciones de la teoría de Bregman tradicional: La literatura existente típicamente define funciones en todo el espacio $\mathbb{R}^n$ , requiriendo que las funciones satisfagan propiedades (properness) y semicontinuidad inferior (lower semicontinuity) en todo el espacio
Desajuste en la dependencia real: Los operadores de aproximación de Bregman y la envolvente de Moreau dependen realmente solo de los valores de la función en $\text{dom}\phi$ e $\text{int}\text{dom}\phi$ , donde $\phi$ es la función generadora de distancia
Exclusión de clases importantes de funciones: El enfoque tradicional excluye categorías importantes como las funciones débilmente convexas relativas, que pueden volverse convexas mediante la adición de múltiplos apropiados de $\phi$

Motivación de la Investigación

Completitud teórica: Establecer un marco de análisis de Bregman más natural y completo
Extensión de aplicaciones: Incluir clases más amplias de funciones, particularmente las funciones débilmente convexas relativas importantes en optimización no convexa
Simplificación teórica: Eliminar supuestos técnicos innecesarios, simplificando demostraciones y enunciados

Contribuciones Principales

Propuesta de marco consciente del dominio: Definir funciones en el dominio natural $X := \text{dom}\phi$ e $Y := \text{int}\text{dom}\phi$ , en lugar de en todo $\mathbb{R}^n$
Corrección de resultados existentes: Rectificar enunciados imprecisos en la literatura sobre continuidad y semicontinuidad
Extensión del alcance aplicable: Incluir clases de funciones que no pueden extenderse a todo el espacio manteniendo sus propiedades
Establecimiento de conexiones $\Phi$ -conjugadas: Situar los operadores de Bregman dentro del marco de la teoría de $\Phi$ -convexidad
Nueva caracterización de suavidad relativa: Proporcionar nuevas condiciones equivalentes para la suavidad relativa, conectando la coercitividad de Bregman y la convexidad fuerte anisotrópica

Detalle de Métodos

Configuración Fundamental

Función generadora de distancia: $\phi: \mathbb{R}^n \to \overline{\mathbb{R}}$ es propia, semicontinua inferiormente, convexa y diferenciable en $\text{int}\text{dom}\phi \neq \emptyset$ . Se define:

$X := \text{dom}\phi$
$Y := \text{int}\text{dom}\phi$

Distancia de Bregman:

undefined