Global regularity and free boundary geometry in the planar Choné-Rochet model

1. Introdução e Problema de Estudo

O artigo investiga o problema variacional de Choné–Rochet em duas dimensões, um modelo fundamental no design de mecanismos e precificação não linear. O problema consiste em encontrar o minimizador único $u$ do funcional:

$$\min_{u \in K(\Omega)} L[u; \Omega], \quad L[u; \Omega] := \int_{\Omega} \left( \frac{1}{2}|Du - x|^2 + u \right) dx$$

onde $\Omega \subset \mathbb{R}^2$ é um domínio convexo limitado, e $K(\Omega)$ é o conjunto de funções convexas e não negativas em $\Omega$.

Contexto e Lacunas Conhecidas:

• Resultados anteriores (Rochet-Choné, Carlier-Lachand-Robert, Caffarelli-Lions) estabeleceram regularidade $C^1$ no interior e $C^{1,1}$ local.
• A regularidade global $C^1$ até a fronteira havia sido alegada em trabalhos anteriores, mas a prova era incompleta (fornecia apenas regularidade interior).
• A regularidade global $C^{1,1}$ era desconhecida para domínios gerais, especialmente na presença de segmentos planos na fronteira.
• A geometria da "fronteira livre" (interface entre regiões estritamente convexas e regiões onde a solução é linear) era pouco compreendida, com resultados anteriores indicando apenas dimensão de Hausdorff estritamente menor que 2.

2. Metodologia e Estrutura de Prova

Os autores utilizam uma combinação de técnicas de análise variacional, teoria de equações diferenciais parciais (EDPs) elípticas e geometria de superfícies livres. A metodologia divide-se em três pilares principais:

1. Estimativas de Perturbação e Geometria das "Folhas" (Leaves):

   • O domínio é decomposto em três conjuntos: $\Omega_0$ (onde $u=0$), $\Omega_1$ (onde $u>0$ e o conjunto de contato $[x]$ é um segmento) e $\Omega_2$ (onde $u$ é estritamente convexa).
   • Os autores analisam as "folhas" (segmentos de contato) que conectam a fronteira à fronteira (duas extremidades) versus aquelas que conectam a fronteira ao interior (uma extremidade).
   • Utilizam argumentos de perturbação afim (inspirados em Caffarelli-Lions e Armstrong) para obter estimativas $C^{1,1}$ locais, exceto possivelmente nas folhas de duas extremidades.

2. Análise de Comportamento na Fronteira e Contradição:

   • Para provar a regularidade global $C^1$, eles demonstram que as folhas de duas extremidades não podem se acumular de forma a criar singularidades no gradiente, utilizando a convexidade do domínio e a estrutura do conjunto de contato.
   • Para a regularidade $C^{1,1}$, eles provam que, sob certas condições (como medida positiva do conjunto nulo), o termo de fronteira nas identidades variacionais é controlado, impedindo a explosão da segunda derivada.

3. Construção de Contraexemplos e Rigidez:

   • Para mostrar a otimalidade dos resultados, constroem domínios com segmentos planos na fronteira onde o gradiente não satisfaz nenhum módulo de continuidade pré-especificado.
   • Para a fronteira livre, utilizam uma redução para um problema de obstáculo clássico ($\Delta U = f \chi_{\{U>0\}}$) e aplicam a alternativa de Caffarelli. Combinam isso com um teorema de rigidez local (Teorema 1.5) que exclui "pontos de cúspide" (blow-ups de densidade 0).

3. Principais Resultados e Contribuições

O artigo estabelece quatro teoremas principais que respondem a questões abertas na literatura:

A. Regularidade Global $C^1$ (Teorema 1.1)

• Resultado: Para qualquer domínio convexo limitado $\Omega \subset \mathbb{R}^2$, o minimizador $u$ pertence a $C^1(\Omega)$.
• Significado: Isso preenche a lacuna deixada por trabalhos anteriores, provando que o gradiente é contínuo até a fronteira, mesmo em domínios não estritamente convexos. A prova envolve mostrar que o gradiente tem um limite único ao se aproximar de pontos na fronteira pertencentes a folhas de duas extremidades.

B. Regularidade Global $C^{1,1}$ (Teorema 1.2)

• Resultado: Se o conjunto nulo $\{u=0\}$ tem medida positiva (o que inclui o caso de domínios estritamente convexos), então $u \in C^{1,1}(\Omega)$.
• Significado: Estabelece que a segunda derivada é limitada globalmente sob condições geométricas razoáveis, garantindo que a solução seja "suave" em um sentido forte.

C. Otimalidade e Falta de Regularidade Superior (Teorema 1.3)

• Resultado: Para qualquer módulo de continuidade $\omega$, existe um domínio convexo suave com um segmento plano na fronteira tal que o gradiente do minimizador não satisfaz $\omega$.
• Significado: Demonstra que, sem suposições geométricas adicionais (como convexidade estrita), a regularidade $C^1$ é o melhor possível. O gradiente pode ter oscilações arbitrárias perto de segmentos planos na fronteira.

D. Geometria da Fronteira Livre (Teorema 1.4)

• Resultado: A "fronteira livre atenuada" ($T$), que separa a região estritamente convexa ($\Omega_2$) da região com folhas de uma extremidade ($\Omega_1'$), é localmente uma curva imersa $C^1$.
• Significado: Este é um avanço significativo sobre resultados anteriores que apenas limitavam a dimensão de Hausdorff. Os autores provam que não existem pontos singulares (como cúspides) na fronteira livre em domínios $C^{1,1}$, e a interface é uma curva suave.
• Ferramenta Chave: O Teorema 1.5 (Rigidez), que mostra que uma função convexa $C^{1,1}$ satisfazendo certas condições de Laplaciano e contato com um plano não pode ser estritamente convexa em um setor angular, forçando a estrutura a ser quadrática simples ($x_2^2/2$). Isso exclui blow-ups de densidade 0.

4. Significado e Impacto

1. Completude Teórica: O trabalho resolve questões de regularidade pendentes no modelo de Choné-Rochet bidimensional, fornecendo o quadro completo de regularidade global ($C^1$ e $C^{1,1}$) dependendo da geometria do domínio.
2. Geometria da Fronteira Livre: A prova de que a fronteira livre é uma curva $C^1$ (e não apenas um conjunto de dimensão fractal ou com singularidades) é um resultado profundo na teoria de problemas de obstáculo e EDPs elípticas com restrições de convexidade.
3. Aplicações em Economia: Dado que o modelo descreve a precificação ótima por um monopolista, os resultados garantem que, em mercados com preferências suaves e domínios estritamente convexos, a estrutura do produto ótimo e a função de utilidade indireta são bem-comportadas e suaves, facilitando a análise econômica e computacional.
4. Novas Técnicas: A combinação de argumentos de perturbação global com um teorema de rigidez local para excluir blow-ups de cúspide oferece uma nova ferramenta metodológica para outros problemas de fronteira livre com restrições de convexidade.

Em resumo, o artigo estabelece a regularidade global ótima para o modelo de Choné-Rochet no plano e revela uma estrutura geométrica surpreendentemente suave para a fronteira livre, desafiando a intuição de que singularidades poderiam ocorrer em domínios convexos gerais.