A simplified proof of the o-minimal Whitney Extension Theorem

1. Il Problema

Il lavoro affronta il Teorema di Estensione di Whitney nel contesto della teoria o-minimale.
Il problema classico di Whitney chiede: dato un sottoinsieme chiuso $E \subset \mathbb{R}^n$ e un "campo di Whitney" $F$ (una collezione di polinomi che rappresentano i jet di una funzione fino all'ordine $p$) definito su $E$, esiste una funzione globale $f: \mathbb{R}^n \to \mathbb{R}$ di classe $C^p$ tale che i suoi derivati su $E$ coincidano con $F$?

In questo articolo, gli autori si concentrano sulla versione o-minimale del teorema. In un'estensione o-minimale dei numeri reali $\mathbb{R}$, si richiede che:

1. L'insieme $E$ sia definibile.
2. Il campo di Whitney $F$ sia definibile (tutte le sue componenti $F^\alpha$ sono funzioni definibili).
3. L'estensione globale $f$ sia anch'essa definibile.
4. La funzione $f$ sia di classe $C^p$ su tutto $\mathbb{R}^n$ e di classe $C^q$ (con $p \le q$) sull'aperto $\mathbb{R}^n \setminus E$.

Prima di questo lavoro, il teorema era stato dimostrato in letteratura ([KP1], [KP2], [T]), ma le dimostrazioni esistenti erano tecnicamente complesse.

2. Metodologia

La strategia di dimostrazione si basa su una combinazione di strumenti geometrici definibili e un nuovo ingrediente analitico semplificato:

• Stratificazione in celle $\Lambda^p$-regolari:
  Gli autori utilizzano la teoria delle stratificazioni per decomporre l'insieme chiuso definibile $E$ in un numero finito di "strati". Ogni strato, dopo un opportuno cambiamento di coordinate lineari ortogonale, è una cella $\Lambda^p$-regolare.

  • Una mappa è $\Lambda^p$-regolare se è di classe $C^p$ e le sue derivate sono controllate dalla distanza dal bordo del dominio ($|D^\alpha f(x)| \le C / d(x, \partial \Omega)^{|\alpha|-1}$).
  • Le celle $\Lambda^p$-regolari sono varietà connesse definibili con proprietà geometriche forti (es. quasi-convessità, proprietà di Lipschitz).

• Induzione sulla dimensione:
  La dimostrazione procede per induzione sulla dimensione dell'insieme $E$.

  • Il caso base (dimensione 0) è banale (insiemi finiti).
  • Nel passo induttivo, si assume che il teorema valga per insiemi di dimensione inferiore. Si riduce il problema a un caso in cui $E$ è l'unione di un insieme chiuso $Z$ (di dimensione inferiore) e una cella aperta $\Lambda^q$-regolare $S$.

• Il nuovo ingrediente: Lemma di Urysohn Definibile $C^q$:
  La semplificazione principale rispetto alle prove precedenti risiede nell'uso di una variante definibile del Lemma di Urysohn per funzioni di classe $C^q$ (Teorema 3.2).

  • Questo lemma permette di costruire funzioni "di transizione" definibili e lisce che sono uguali a 1 in un intorno di un insieme chiuso $W$ e a 0 lontano da esso, mantenendo un controllo preciso sulle derivate in funzione della distanza dagli insiemi di separazione.
  • Questo strumento sostituisce tecniche più complesse usate in lavori precedenti per gestire la "colla" tra le estensioni locali.

3. Contributi Chiave

1. Dimostrazione Semplificata: L'articolo offre una prova più diretta e accessibile del Teorema di Estensione di Whitney o-minimale, riducendo la complessità tecnica delle dimostrazioni precedenti ([KP1], [KP2], [T]).
2. Lemma di Urysohn Definibile $C^q$: L'introduzione e l'applicazione sistematica di questo lemma (Teorema 3.2) come strumento centrale per la costruzione dell'estensione globale. Questo lemma garantisce l'esistenza di funzioni di partizione dell'unità definibili con proprietà di regolarità controllata.
3. Riduzione al caso "Generico": La dimostrazione riduce il problema generale a un caso specifico (Proposizione 5.1) in cui il campo di Whitney è nullo ovunque tranne che su una singola cella $\Lambda^q$-regolare aperta. In questo caso, l'estensione viene costruita esplicitamente utilizzando una trasformazione coordinata e moltiplicando per la funzione di Urysohn.

4. Risultati Principali

Il risultato centrale è il Teorema 1.1:

Dato un'estensione o-minimale di $\mathbb{R}$, sia $E$ un sottoinsieme chiuso definibile di $\mathbb{R}^n$. Siano $p$ e $q$ interi positivi con $p \le q$. Se $F(x, X)$ è un campo di Whitney $C^p$ definibile su $E$, allora esiste una funzione $f: \mathbb{R}^n \to \mathbb{R}$ tale che:

• $f$ è definibile.
• $f$ è di classe $C^p$ su tutto $\mathbb{R}^n$.
• $f$ è di classe $C^q$ su $\mathbb{R}^n \setminus E$.
• I derivati di $f$ su $E$ coincidono con le componenti del campo $F$ (cioè $D^\alpha f = F^\alpha$ su $E$ per $|\alpha| \le p$).

Osservazioni aggiuntive:

• Il teorema vale anche se $E$ è solo localmente chiuso (chiuso in un aperto definibile $\Omega$), garantendo un'estensione su $\Omega$.
• I risultati sono validi per qualsiasi campo reale chiuso, non solo per i numeri reali standard.

5. Significato e Impatto

• Accessibilità: Semplificando la prova, il lavoro rende il potente strumento dell'estensione di Whitney o-minimale più accessibile alla comunità matematica, facilitando il suo utilizzo in altri contesti di geometria definibile e analisi reale.
• Strumenti per la Geometria O-minimale: La dimostrazione rafforza il legame tra la struttura geometrica delle celle $\Lambda^p$-regolari e l'analisi funzionale definibile.
• Applicabilità: Poiché il teorema garantisce l'esistenza di estensioni definibili, è fondamentale per problemi di approssimazione, interpolazione e costruzione di funzioni lisce in contesti o-minimali (come la geometria semi-algebrica o sub-analitica), dove la preservazione della definibilità è un requisito essenziale.
• Generalizzazione: La capacità di adattare i risultati a campi reali chiusi amplia l'applicabilità del teorema in logica matematica e geometria algebrica reale.

In sintesi, gli autori hanno riscritto la prova di un teorema fondamentale utilizzando una strategia di stratificazione combinata con un nuovo lemma di partizione dell'unità ($C^q$ definibile), ottenendo un risultato più elegante e maneggevole senza perdere generalità.