Characterization of weights for the variable fractional maximal operator and weighted inequalities for variable fractional rough operators

Sintesi Tecnica: Caratterizzazione dei pesi per l'operatore massimale frazionario variabile e disuguaglianze pesate per operatori frazionari ruvidi a esponente variabile

Enunciato del Problema
Il lavoro affronta la caratterizzazione delle classi di pesi necessarie per la limitatezza dell'operatore massimale frazionario variabile, $M_{\beta(\cdot), r(\cdot)}$, sugli spazi di Lebesgue a esponente variabile $L^{p(\cdot)}(\mathbb{R}^n)$. Mentre lavori precedenti (ad esempio, Diening et al., Melchiori e Pradolini) hanno stabilito la limitatezza non pesata di tali operatori sotto condizioni di continuità log-Hölder sugli esponenti, la teoria pesata rimaneva incompleta. Nello specifico, vi era la necessità di definire una classe di pesi che generalizzasse le classi classiche di Muckenhoupt $A_p$ e le classi variabili $A_{p(\cdot)}$ al contesto frazionario con esponenti variabili $p(\cdot), q(\cdot), r(\cdot)$ e $\beta(\cdot)$. Inoltre, il lavoro mira ad estendere la teoria degli operatori integrali singolari ruvidi al contesto frazionario variabile introducendo una condizione di tipo Hörmander variabile e stabilendo le corrispondenti disuguaglianze pesate.

Metodologia
Gli autori impiegano una combinazione di tecniche dall'analisi armonica negli spazi di Lebesgue a esponente variabile:

1. Analisi a Esponente Variabile: Il lavoro si basa pesantemente sulle proprietà degli spazi di Lebesgue a esponente variabile $L^{p(\cdot)}$, in particolare sulla condizione di continuità log-Hölder ($p(\cdot) \in P_{log}$), che garantisce la limitatezza dell'operatore massimale di Hardy-Littlewood e permette l'uso di disuguaglianze di Hölder generalizzate e stime di norma per le funzioni caratteristiche dei cubi.
2. Caratterizzazione dei Pesi: Viene definita una nuova classe di pesi, indicata con $A_{p(\cdot), r(\cdot)}$. Questa classe è caratterizzata dalla condizione:
   $$\|\chi_Q \omega\|_{p(\cdot)} \|\chi_Q \omega^{-1}\|_{q(\cdot)} \leq C \|\chi_Q\|_{r(\cdot)}$$
   dove $1/r(\cdot) = 1/p(\cdot) + 1/q(\cdot)$. Gli autori utilizzano teoremi di estrapolazione e tecniche di dominazione sparsa per relazionare questi pesi alla limitatezza degli operatori.
3. Condizioni sul Nucleo: Il lavoro introduce versioni variabili della condizione di Hörmander ($H_{\beta(\cdot), r(\cdot)}$) e delle condizioni di grandezza ($S_{\beta(\cdot), r(\cdot)}$). Queste condizioni generalizzano le classiche condizioni $L^r$-Hörmander al contesto variabile, coinvolgendo norme delle differenze dei nuclei su anelli definiti da esponenti variabili.
4. Disuguaglianze di Coifman-Fefferman: Gli autori dimostrano che gli operatori integrali con nuclei che soddisfano queste nuove condizioni sono controllati puntualmente dall'operatore massimale frazionario variabile $M_{\beta(\cdot), r'(\cdot)}$. Tale dominazione permette il trasferimento delle stime pesate dall'operatore massimale agli operatori integrali.
5. Controesempi e Inclusioni Strette: Per dimostrare la precisione delle condizioni introdotte, gli autori costruiscono nuclei specifici per mostrare che le inclusioni tra diverse classi di Hörmander (ad esempio, $H_{s(\cdot)} \subsetneq H_{r(\cdot)}$ per $s(\cdot) > r(\cdot)$) sono strette.

Contributi e Risultati Chiave

1. Caratterizzazione dei Pesi per $M_{\beta(\cdot), r(\cdot)}$:
   Il risultato principale (Teorema 1.6) stabilisce che la limitatezza pesata dell'operatore massimale frazionario variabile $M_{\beta(\cdot), r(\cdot)}: L^{p(\cdot)}(\omega) \to L^{q(\cdot)}(\omega)$ vale se e solo se il peso $\omega$ appartiene alla classe $A_{q(\cdot), \frac{\beta(\cdot)r(\cdot)}{\beta(\cdot)-r(\cdot)}}$. Questo risultato generalizza i risultati precedenti per l'operatore massimale frazionario classico e per il caso in cui $r(\cdot) \equiv 1$.

2. Condizioni di Hörmander Variabili:
   Il lavoro definisce le classi $H_{\beta(\cdot), r(\cdot)}$ e $S_{\beta(\cdot), r(\cdot)}$. Viene dimostrato che se un nucleo $K$ appartiene a $H_{\beta(\cdot), r(\cdot)}$ e soddisfa la condizione di grandezza $S_{\beta(\cdot), r(\cdot)}$, l'operatore integrale associato $T_{\beta(\cdot)}$ è controllato dall'operatore massimale $M_{\beta(\cdot), r'(\cdot)}$.

3. Disuguaglianze Pesate per Operatori Ruvidi:
   Utilizzando la disuguaglianza di Coifman-Fefferman (Teoremi 1.12 e 1.14), gli autori dimostrano stime di tipo forte pesate per operatori integrali con nuclei ruvidi nel contesto variabile. Nello specifico, se $\omega \in A_{p(\cdot)}$, allora $\|Tf\omega\|_{p(\cdot)} \lesssim \|f\omega\|_{p(\cdot)}$. Nel caso frazionario, vengono derivate stime pesate per operatori che mappano $L^{p(\cdot)}$ in $L^{q(\cdot)}$ sotto la condizione $\omega \in A_{q(\cdot), \frac{\beta(\cdot)r'(\cdot)}{\beta(\cdot)-r'(\cdot)}}$.

4. Stime BMO:
   Il lavoro fornisce una stima BMO pesata (Teorema 1.17) per l'operatore $T_{\beta(\cdot)}$, mostrando che $\|T_{\beta(\cdot)}f\|_{*, \omega} \lesssim \|\omega f\|_{\beta(\cdot)}$ sotto appropriate condizioni sul peso e sugli esponenti.

5. Esempi e Inclusioni Strette:
   La Sezione 4 fornisce esempi espliciti di nuclei che soddisfano le nuove condizioni variabili. Crucialmente, gli autori dimostrano che le classi $H_{r(\cdot)}$ sono non vuote e che le inclusioni $H_{s(\cdot)} \subsetneq H_{r(\cdot)}$ sono strette quando $s(\cdot) > r(\cdot)$, confermando che le nuove condizioni sono genuinamente distinte e più generali rispetto alle loro controparti a esponente costante.

Significato
Il lavoro afferma di estendere la teoria delle disuguaglianze pesate al contesto frazionario variabile, colmando una lacuna nella letteratura dove i risultati precedenti erano limitati a spazi non pesati o esponenti costanti. Introducendo la classe $A_{p(\cdot), r(\cdot)}$ e le condizioni di Hörmander variabili, gli autori forniscono un quadro unificato per analizzare sia gli operatori massimali che gli operatori integrali ruvidi negli spazi di Lebesgue a esponente variabile. I risultati generalizzano teoremi noti per l'operatore massimale frazionario classico e per le standard condizioni $L^r$-Hörmander, offrendo un insieme di strumenti più flessibile per l'analisi armonica in contesti di crescita non standard. La costruzione di nuclei specifici serve a validare la necessità e la precisione delle condizioni introdotte.