A constant rank theorem for linear elliptic equations on the sphere with applications to the mixed Christoffel problem

1. Il Problema: Il Problema di Christoffel Misto

Il lavoro si concentra sul problema di Christoffel misto, una generalizzazione del classico problema di Christoffel nella geometria convessa.

• Contesto: Dati $n-1$ corpi convessi $\Omega_1, \dots, \Omega_{n-1}$ nello spazio euclideo $\mathbb{R}^{n+1}$ e una misura di Borel $\mu$ sulla sfera unitaria $S^n$, l'obiettivo è trovare un corpo convesso $\Omega$ tale che la sua misura di area mista $S(\Omega_1, \dots, \Omega_{n-1}, \Omega; \cdot)$ coincida con $\mu$.
• Formulazione PDE: Assumendo che i corpi $\Omega_i$ siano di classe $C^{2,+}$ (bordo liscio e curvatura gaussiana positiva) e che la misura $\mu$ abbia una densità $f$, il problema si riduce alla ricerca di una funzione di supporto $u$ (definita su $S^n$) che soddisfi un'equazione alle derivate parziali (PDE) lineare del secondo ordine:
  $$\sum_{\alpha, \beta=1}^n a_{\alpha\beta}(x) (u_{\alpha\beta}(x) + \delta_{\alpha\beta}u(x)) = f(x)$$
  dove $(a_{\alpha\beta})$ è la matrice dei cofattori misti delle forme di Weingarten inverse dei corpi dati $\Omega_1, \dots, \Omega_{n-1}$.
• La Sfida Geometrica: La soluzione $u$ deve essere una soluzione geometrica, ovvero deve corrispondere alla funzione di supporto di un corpo convesso. Questo richiede che la forma di Weingarten inversa associata, $W = (u_{ij} + u\delta_{ij})$, sia definita positiva ($W > 0$) su tutta la sfera. Sebbene l'esistenza di una soluzione $u$ alla PDE lineare sia garantita dalla teoria standard delle equazioni ellittiche, garantire che $W$ rimanga definita positiva (e non solo semi-definita positiva) è il cuore del problema.

2. Metodologia: Il Teorema del Rango Costante

L'approccio principale degli autori si basa su un teorema del rango costante (Constant Rank Theorem) applicato alle soluzioni dell'equazione sopra citata.

• Idea Fondamentale: Se si può dimostrare che il rango della matrice $W$ è costante su un dominio connesso, e se si sa che $W$ è semi-definita positiva ($W \ge 0$), allora o il rango è zero (impossibile per la struttura dell'equazione con $f>0$) o è massimo.
• Strategia di Dimostrazione:
  1. Si assume per assurdo che il rango di $W$ non sia massimo in tutto il dominio.
  2. Si introduce una funzione di test $\phi$ costruita tramite funzioni simmetriche elementari degli autovalori di $W$ (in particolare $\sigma_{l+1}$ e $\sigma_l$).
  3. Si dimostra che, sotto opportune condizioni sulla convessità dei dati, la funzione $\phi$ soddisfa una disuguaglianza differenziale ellittica.
  4. Applicando il principio del minimo forte, si conclude che $\phi$ deve essere identicamente zero, il che implica che il rango di $W$ è costante.
  5. Utilizzando identità di Minkowski, si dimostra che se il rango è costante e minore di $n$ su tutta la sfera $S^n$, si giunge a una contraddizione (la funzione di supporto $u$ dovrebbe essere nulla). Quindi, il rango deve essere massimo ($W > 0$).

3. Contributi Chiave e Risultati Principali

A. Il Teorema del Rango Costante (Teorema 1.1)

Gli autori stabiliscono condizioni sufficienti affinché la soluzione $u$ dell'equazione mista generi una matrice $W$ a rango costante.

• Condizione Sufficiente: La condizione chiave (Eq. 15) richiede che una certa combinazione di derivate covarianti della matrice dei coefficienti $A$ e della densità $f$ sia semi-definita positiva. Nello specifico, coinvolge l'estensione 1-omogenea di $A/f$ e le sue derivate seconde.
• Risultato: Se $W \ge 0$ inizialmente e la condizione (15) è soddisfatta, allora $W$ ha rango costante. Se il dominio è l'intera sfera $S^n$, allora $W > 0$.

B. Casi Specifici per Dimensione

Il lavoro distingue tra il caso bidimensionale ($n=2$, spazio $\mathbb{R}^3$) e le dimensioni superiori ($n \ge 3$):

• Caso $n=2$ (Teorema 1.2): La condizione di convessità si semplifica notevolmente. È sufficiente che l'estensione 1-omogenea del tensore $A/f$ sia localmente convessa. Questo porta a condizioni più maneggevoli per l'esistenza (Teoremi 1.4 e 1.5).
• Caso $n \ge 3$: La condizione (15) è più complessa e non lineare rispetto alla matrice $A$. Per garantire l'esistenza di una soluzione geometrica, gli autori utilizzano un argomento di continuità (Corollari 1.5 e 1.6). Si costruisce un percorso omotopico che collega il problema dato a un problema noto (ad esempio, il problema di Christoffel classico o il caso isotropo), verificando che la condizione (15) sia soddisfatta lungo tutto il percorso.

C. Applicazioni al Problema di Christoffel Misto

Il risultato principale (Teorema 1.3) fornisce condizioni sufficienti per l'esistenza e l'unicità (a meno di traslazioni) di un corpo convesso $\Omega$ che risolve il problema misto.

• Le condizioni richiedono che la densità $f$ sia positiva, soddisfi le condizioni di compatibilità di Minkowski (integrali su $S^n$ nulli) e che la coppia $(f, A_t)$ (dove $A_t$ è una combinazione convessa tra la matrice identità e la matrice mista) verifichi la condizione di convessità differenziale lungo il percorso di omotopia.

4. Significato e Impatto

• Generalizzazione: Questo lavoro estende i risultati noti sul problema di Christoffel classico (dove tutti i corpi $\Omega_i$ sono la sfera unitaria) al caso misto, dove i corpi di riferimento sono generici.
• Strumento Analitico: Il teorema del rango costante sviluppato è uno strumento potente per l'analisi di equazioni ellittiche lineari su varietà, garantendo che le soluzioni debolmente convesse siano in realtà strettamente convesse (geometriche).
• Risoluzione di Problemi Aperti: Fornisce condizioni verificabili per l'esistenza di soluzioni a problemi di geometria convessa che, in assenza di tali teoremi, richiederebbero condizioni di esistenza molto più restrittive o non verificabili in pratica.
• Distinzione Dimensionale: L'analisi dettagliata del caso $n=2$ rispetto a $n \ge 3$ evidenzia le differenze strutturali nella non-linearità delle condizioni di convessità, offrendo soluzioni specifiche per lo spazio tridimensionale che sono più semplici da applicare.

In sintesi, il paper risolve un problema fondamentale nella geometria convessa collegando la teoria delle PDE ellittiche non lineari (tramite il teorema del rango costante) alla struttura geometrica dei corpi convessi, fornendo criteri rigorosi per l'esistenza di soluzioni nel contesto del problema di Christoffel misto.