Behaviour at infinity for solutions of a mixed boundary value problem via inversion

1. Enunciato del Problema

Il lavoro indaga un problema al contorno misto per un'equazione ellittica quasilineare in un dominio illimitato. Nello specifico, gli autori considerano l'equazione:
$$\text{div } A(x, \nabla u(x)) = 0$$
definita in un semicilindro circolare infinito aperto $G = B' \times (0, \infty) \subset \mathbb{R}^n$, dove $B'$ è la palla unitaria in $\mathbb{R}^{n-1}$.

Le condizioni al contorno sono miste:

• Condizione di Dirichlet: Dati continui prescritti $u = f$ su un sottoinsieme chiuso $F \subset \partial G$.
• Condizione di Neumann: Derivata conormale nulla $N_u(x) := A(x, \nabla u) \cdot \nu(x) = 0$ sul resto del bordo $\partial G \setminus F$.

Il campo vettoriale $A(x, \nabla u)$ soddisfa le condizioni strutturali standard per operatori $p$-ellittici ($p > 1$), inclusa monotonia, coercività e omogeneità. L'equazione del $p$-Laplaciano è un caso specifico incluso in questo quadro.

Gli obiettivi principali sono:

1. Dimostrare l'esistenza e l'unicità di soluzioni deboli limitate con dati di Dirichlet continui.
2. Caratterizzare la regolarità del punto all'infinito (cioè se la soluzione raggiunge il limite dei dati al contorno quando $x \to \infty$).
3. Descrivere il comportamento asintotico delle soluzioni quando il bordo di Dirichlet è limitato (cioè, vicino all'infinito, si applicano solo condizioni di Neumann), stabilendo una tricotomia di Phragmén–Lindelöf.

2. Metodologia

L'innovazione centrale del lavoro è l'uso di un'inversione geometrica (cambio di variabili) per trasformare il problema da un dominio illimitato a uno limitato, permettendo l'applicazione di teorie consolidate per equazioni ellittiche degeneri.

A. La Trasformazione di Inversione

Gli autori impiegano una mappa $T: G \to D$, dove $D$ è la semisfera superiore unitaria aperta (con l'origine rimossa). La mappa è definita come:
$$\xi' = \frac{2e^{-\kappa x_n} x'}{1 + |x'|^2}, \quad \xi_n = \frac{e^{-\kappa x_n}(1 - |x'|^2)}{1 + |x'|^2}$$
Proprietà chiave di questa trasformazione:

• Il punto all'infinito nel cilindro ($x_n \to \infty$) si mappa nell'origine ($\xi = 0$) nella sfera.
• L'operatore quasilineare $\text{div } A(x, \nabla u)$ si trasforma in un operatore ellittico degenere pesato $\text{div } B(\xi, \nabla \tilde{u}) = 0$ nella sfera unitaria.
• La funzione di peso associata all'operatore trasformato è $w(\xi) = |\xi|^{p-n}$, che appartiene alla classe di Muckenhoupt $A_p$.

B. Eliminazione dei Dati di Neumann tramite Riflessione

Un passaggio critico nella metodologia è la gestione delle condizioni al contorno miste.

• La condizione di Neumann (derivata conormale nulla) sulla parte piatta del bordo corrisponde a una condizione di simmetria nel dominio trasformato.
• Gli autori estendono il dominio $D$ all'intera sfera unitaria riflettendo attraverso l'iperpiano $\xi_n = 0$.
• Definendo l'operatore $B$ simmetricamente nella semisfera riflessa, la condizione di Neumann è soddisfatta automaticamente. Questo riduce il problema misto nel cilindro a un problema puro di Dirichlet nell'intera sfera unitaria con un peso degenere.

C. Applicazione della Teoria Esistente

Una volta ridotto a un problema di Dirichlet con un peso $A_p$, gli autori utilizzano strumenti dalla teoria delle equazioni ellittiche degeneri, facendo riferimento specificamente a Heinonen–Kilpeläinen–Martio [10] e Björn–Björn–Mwasa [2]. Essi applicano:

• Teoremi di esistenza e unicità per le soluzioni di Perron.
• Criteri di Wiener per la regolarità al bordo.
• Stime di capacità e disuguaglianze di Harnack.

3. Contributi e Risultati Chiave

A. Esistenza e Unicità (Teorema 5.3)

Gli autori dimostrano che per dati di Dirichlet continui $f$ su un insieme chiuso $F$ (che può essere illimitato), se il limite $f(\infty)$ esiste ed è finito, esiste una soluzione debole continua e limitata unica $u$.

• La soluzione assume i dati al contorno $f(x_0)$ per tutti gli $x_0 \in F$ eccetto eventualmente su un insieme di capacità $C_p$ nulla.
• La soluzione è Hölder-continua in tutti i punti del bordo di Neumann.

B. Regolarità all'Infinito (Teorema 6.5)

Il lavoro caratterizza la regolarità del punto all'infinito utilizzando un criterio di tipo Wiener.

• Risultato: Il punto all'infinito è regolare (cioè $\lim_{x \to \infty} u(x) = f(\infty)$) se e solo se il bordo di Dirichlet $F$ è "sufficientemente spesso" all'infinito.
• Criterio: Questa spessezza è misurata dalla divergenza di un integrale che coinvolge la capacità variazionale $p$ dell'intersezione di $F$ con cilindri troncati:
  $$\int_1^\infty \text{cap}_{p, G_{t-1}}(F \cap (G_t \setminus G_{2t}))^{1/(p-1)} \, dt = \infty$$
• Se $F$ è limitato (il che significa che la condizione di Neumann vale vicino all'infinito), il punto all'infinito è irregolare.

C. Tricotomia di Phragmén–Lindelöf (Teorema 7.4)

Quando il bordo di Dirichlet $F$ è limitato (quindi la condizione di Neumann si applica vicino all'infinito), gli autori stabiliscono una tricotomia per il comportamento asintotico di qualsiasi soluzione $u$. Quando $x \to \infty$, la soluzione deve comportarsi esattamente in uno dei tre modi seguenti:

1. Convergenza: La soluzione ha un limite finito $u(\infty)$. La convergenza è esponenziale: $|u(x) - u(\infty)| \lesssim e^{-\kappa \alpha x_n}$.
2. Crescita/Decadimento Lineare: La soluzione tende a $+\infty$ o $-\infty$ approssimativamente in modo lineare (cioè $u(x) \sim A x_n + B$).
3. Oscillazione: La soluzione cambia segno ed è illimitata in entrambe le direzioni, soddisfacendo $\limsup_{x \to \infty} u(x) = \infty$ e $\liminf_{x \to \infty} u(x) = -\infty$.

Questo risultato generalizza i risultati noti di tricotomia per equazioni ellittiche lineari al contesto misto quasilineare.

4. Significato

• Estensione alle Equazioni Quasilineari: I risultati precedenti sui problemi al contorno misti in domini illimitati erano largamente limitati a equazioni lineari (ad esempio, Laplace o forma di divergenza lineare). Questo lavoro estende tali risultati a operatori quasilineari generali, incluso il $p$-Laplaciano.
• Approccio Unificato tramite Inversione: L'uso della trasformazione di inversione combinata con la riflessione fornisce un metodo potente ed elegante per gestire condizioni al contorno miste in domini illimitati, convertendole in problemi di Dirichlet standard su domini limitati con pesi.
• Caratterizzazione Precisa: Il lavoro fornisce un criterio di Wiener preciso per la regolarità all'infinito, collegando la "spessezza" geometrica dell'insieme del bordo al comportamento analitico della soluzione.
• Tricotomia per Problemi Misti: L'instaurazione della tricotomia di Phragmén–Lindelöf per problemi misti colma una lacuna nella letteratura, mostrando che anche con condizioni al contorno miste, le soluzioni esibiscono un insieme strutturato di comportamenti asintotici simili ai casi puri di Neumann o Dirichlet.

In sintesi, il lavoro colma con successo il divario tra la teoria delle equazioni ellittiche degeneri su domini limitati e i problemi al contorno misti su domini cilindrici illimitati, fornendo risultati rigorosi di esistenza, unicità e classificazione asintotica.