Convexity inequalities for eigenvalues and log-concavity of eigenfunctions

Resumo Técnico: Desigualdades de Convexidade para Autovalores e Log-Convexidade de Autofunções

Enunciado do Problema
O artigo aborda dois resultados fundamentais concernentes ao operador de Schrödinger $-\Delta + V$ em domínios limitados $\Omega \subseteq \mathbb{R}^n$:

1. A desigualdade de Brunn–Minkowski para autovalores de Dirichlet: Estabelecer que o primeiro autovalor de Dirichlet $\lambda(\Omega_t)$ de um domínio soma de Minkowski $\Omega_t = (1-t)\Omega_0 + t\Omega_1$ satisfaz a desigualdade de concavidade $\lambda_t \leq (1-t)\lambda_0 + t\lambda_1$.
2. A log-convexidade da primeira autofunção: Provar que, para um domínio convexo $\Omega$ e um potencial convexo $V$, a primeira autofunção de Dirichlet é log-convexa.

Embora esses resultados tenham sido originalmente estabelecidos por Brascamp e Lieb [1], este artigo visa fornecer "novas provas simples" que relaxam certas hipóteses de regularidade e esclarecem a relação lógica entre os dois teoremas.

Metodologia
A metodologia central baseia-se na técnica da sup-convolução, uma ideia atribuída a Colesanti [2]. Os autores definem uma função $u: \Omega_t \to \mathbb{R}$ via sup-convolução das primeiras autofunções $u_0$ e $u_1$ dos domínios $\Omega_0$ e $\Omega_1$:
$$u(z) = \sup \{ u_0(x_0)^{1-t} u_1(x_1)^t : z = (1-t)x_0 + tx_1, x_i \in \Omega_i \}.$$

A estratégia de prova procede da seguinte forma:

1. Análise de Regularidade: Os autores estabelecem rigorosamente as propriedades de regularidade da sup-convolução $u$. Eles provam que $u$ é localmente semi-convexa e globalmente Lipschitziana em $\Omega_t$, mesmo quando o comportamento de fronteira de $u_0$ e $u_1$ (anulando-se em $\partial \Omega_i$) complica a análise. Isso envolve mostrar que $u$ possui derivadas segundas de Alexandrov quase em toda parte e satisfaz desigualdades específicas de integração por partes (Lemas 3.6–3.11).
2. Condições de Otimalidade: Ao analisar os pontos $(x_0, x_1)$ onde o supremo é atingido, os autores derivam uma condição de correspondência de gradiente: $\frac{\nabla u_0}{u_0}(x_0) = \frac{\nabla u_1}{u_1}(x_1)$.
3. Desigualdade Diferencial: Usando a semi-convexidade de $u$, os autores calculam as derivadas segundas de Alexandrov de $u$ em um ponto $z$. Eles mostram que o Laplaciano da sup-convolução satisfaz:
   $$\frac{\Delta u}{u} \geq (1-t)\frac{\Delta u_0}{u_0} + t\frac{\Delta u_1}{u_1}.$$
   Substituindo as equações de autovalor $-\Delta u_i + V u_i = \lambda_i u_i$ e utilizando a convexidade do potencial $V$, eles derivam um limite inferior para $\frac{\Delta u}{u}$ envolvendo uma combinação convexa de $\lambda_0$ e $\lambda_1$.
4. Quociente de Rayleigh: Os autores integram essa desigualdade usando um argumento justificado de integração por partes (válido devido à semi-convexidade e continuidade Lipschitziana de $u$). Ao substituir o limite resultante no quociente de Rayleigh para $\lambda_t$, eles estabelecem a desigualdade desejada.

Contribuições e Resultados Chave

• Hipóteses de Regularidade Relaxadas: Ao contrário de provas anteriores (especificamente a de Colesanti [2]), que exigiam que os domínios fossem convexos e as autofunções log-convexas a priori, esta prova aplica-se a uma classe mais ampla de domínios. Especificamente, exige-se apenas que $\Omega_0$ e $\Omega_1$ sejam domínios conexos $C^{1,1}$ (ou suficientemente regulares para garantir autofunções $C^1$ até a fronteira) e que o potencial $V$ seja convexo.
• Hierarquia Lógica: O artigo demonstra que a log-convexidade da primeira autofunção (Teorema 1.3) é um corolário direto da desigualdade de Brunn–Minkowski para autovalores (Teorema 1.2). Ao definir $\Omega_0 = \Omega_1 = \Omega$, a soma de Minkowski $\Omega_t$ permanece $\Omega$, e a otimalidade da sup-convolução implica a log-convexidade da própria autofunção.
• Provas Rigorosas de Regularidade: Os autores fornecem provas autossuficientes para a regularidade da sup-convolução (semi-convexidade, continuidade Lipschitziana e regularidade de Sobolev), abordando lacunas técnicas relativas ao comportamento de fronteira e definições variacionais que são frequentemente negligenciadas na literatura.

Significado e Alegações
Os autores afirmam que sua contribuição primária é a simplicidade e a generalidade das novas provas.

• A prova da desigualdade de Brunn–Minkowski para autovalores é mostrada como válida para domínios conexos com fronteiras $C^{1,1}$, em vez de domínios estritamente convexos.
• A log-convexidade das autofunções é derivada como um "corolário simples" em vez de um pré-requisito.
• Os autores observam explicitamente uma limitação: seu método não captura as condições para igualdade, que foram estabelecidas no trabalho de Colesanti [2].
• Eles também esclarecem um ponto sutil concernente à convexidade da função $h(t) = \lambda_t$, notando via Observação 2.1 que a desigualdade de Brunn–Minkowski $\lambda_t \leq (1-t)\lambda_0 + t\lambda_1$ não implica que $h(t)$ seja convexa, pois a deformação de Minkowski de domínios não convexos não preserva necessariamente a estrutura de inclusão requerida para tal convexidade.

Em resumo, o artigo oferece uma derivação simplificada e autossuficiente desses resultados clássicos, estendendo sua aplicabilidade a domínios menos regulares, ao mesmo tempo em que esclarece a dependência lógica entre desigualdades de autovalores e propriedades de autofunções.