🔢 mathematics

A solution to Morrey's problem in $\mathbb{R}^{2\times m}$

Este artigo constrói integrandos homogêneos convexos de posto um em $\mathbb{R}^{2\times m}$ que não são quasiconvexos em nenhum ponto para $m$ suficientemente grande, fornecendo, desta forma, uma solução para o problema de Morrey nesta dimensão específica.

Autores originais: Gabriele Cassese

Publicado 2026-08-05

📖 7 min de leitura🧠 Leitura aprofundada

CC BY 4.0

Autores originais: Gabriele Cassese

Artigo original sob licença CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta é uma explicação gerada por IA do artigo abaixo. Não foi escrita nem endossada pelos autores. Para precisão técnica, consulte o artigo original. Ler aviso legal completo

Imagine que você é um arquiteto tentando construir a estrutura mais eficiente e estável possível a partir de uma pilha de materiais estranhos e flexíveis. No mundo da matemática, este é o trabalho do Cálculo de Variações. É o ramo da matemática dedicado a encontrar a "melhor" forma ou caminho para um sistema, seja uma bolha de sabão minimizando a tensão superficial ou uma ponte minimizando o estresse. Para fazer isso, os matemáticos usam uma fórmula gigante chamada integrando. Pense neste integrando como um livro de regras que atribui um "custo" ou "energia" a cada maneira possível de o material dobrar ou esticar. O objetivo é encontrar uma forma onde o custo total seja o mais baixo possível.

Mas aqui está o problema: encontrar essa forma perfeita é incrivelmente difícil. Para garantir que uma solução exista, o livro de regras (o integrando) precisa seguir uma propriedade muito rigorosa, quase mágica, chamada quasiconvexidade. Essa propriedade garante que, se você balançar a forma levemente, a energia não caia repentinamente de uma forma que quebre a matemática. No entanto, verificar se um livro de regras possui essa propriedade é como tentar provar cada grão de areia em uma praia para ver se ele é salgado; é praticamente impossível. Por décadas, os matemáticos esperaram por um atalho. Eles se perguntavam se uma propriedade mais simples e fácil de verificar, chamada convexidade de rank-um (que é como verificar se o material é estável quando puxado em apenas uma direção específica), seria suficiente para garantir a quasiconvexidade mágica. Se isso fosse verdade, seria um enorme economizador de tempo, uma "chave mágica" para desbloquear soluções para tudo, desde a física até a engenharia.

Este artigo, intitulado "A Solution to Morrey's Problem in $\mathbb{R}^{2 \times m}$ ", é a história de como um matemático chamado Gabriele Cassese finalmente tentou usar essa chave mágica e descobriu que ela não funciona. A questão, colocada de volta na década de 1950 por um gênio chamado Charles Morrey, perguntava: "Se um material é estável em cada puxão de linha reta, ele é automaticamente estável em cada torção complexa e ondulada?" Por muito tempo, as pessoas pensaram que a resposta era "sim". Mas Cassese prova que, para materiais com dimensões suficientes (especificamente, quando o material fica "largo" o suficiente), a resposta é um definitivo não. Ele constrói um livro de regras específico e bizarro que passa perfeitamente no teste simples de "linha reta", mas falha no teste complexo de "ondulação". É um contraexemplo que despedaça a esperança de um atalho simples, mostrando que o universo desses materiais matemáticos é muito mais retorcido e imprevisível do que qualquer um esperava.

O Grande Atalho Que Não Existiu

No mundo desses materiais matemáticos, existem duas maneiras de verificar se um livro de regras é "bom". A primeira, a convexidade de rank-um, é como testar um elástico puxando-o em uma linha reta. Se ele resistir ao rompimento e se comportar bem nessa única direção, ele passa no teste. A segunda, a quasiconvexidade, é a verdadeira batalha contra o chefe. Ela pergunta: "Se você pegar um pedaço deste material e balançá-lo de todas as formas caóticas possíveis ao mesmo tempo, ele ainda se manterá unido?"

Por décadas, os matemáticos suspeitaram que passar no teste da linha reta (convexidade de rank-um) era suficiente para garantir que você passaria no teste da ondulação caótica (quasiconvexidade). Parecia lógico: se é forte em cada linha reta, deve ser forte em todo lugar. Este era o Problema de Morrey. Se fosse verdade, significaria que poderíamos pular a matemática impossível de verificar cada ondulação e apenas verificar as linhas retas.

Mas, neste artigo, Cassese constrói um "monstro de Frankenstein" de um livro de regras para provar que eles estão errados. Ele cria um objeto matemático que é perfeitamente estável quando puxado em qualquer linha reta (é convexo de rank-um), mas desmorona no momento em que você tenta balançá-lo (não é quasiconvexo em lugar nenhum).

A Construção "Mágica"

Como ele fez isso? Imagine que você tem uma grade multidimensional gigante. Cassese não escolheu apenas um livro de regras aleatório; ele construiu um usando um truque inteligente envolvendo martingais (uma palavra elegante para uma sequência de passos aleatórios, como a caminhada de um bêbado) e espaços de Banach (parques de diversão matemáticos abstratos que não são tão bonitos e arredondados quanto os que costumamos usar).

Ele construiu uma fórmula que se parece com isto:
$\text{Custo} = C \times (\text{Parte A})^p - (\text{Parte B})^p$
Aqui, "Parte A" e "Parte B" são duas maneiras diferentes de medir a forma do material. O número $C$ é um "botão de ajuste".

O Teste da Linha Reta (Convexidade de Rank-Um): Cassese mostrou que, se você puxar o material em uma linha reta, a Parte A e a Parte B estão travadas por uma regra matemática estrita. Elas se movem em perfeita sincronia. Devido a isso, se você escolher o botão $C$ alto o suficiente, a fórmula sempre permanece positiva. Ele passa no teste fácil.
O Teste da Ondulação (Quasiconvexidade): Então, ele observou o que acontece quando você balança o material. Ele encontrou uma forma específica e muito ondulada (uma "função de teste") onde a Parte B torna-se subitamente enorme em comparação com a Parte A. Se o botão $C$ não for infinitamente alto, a fórmula torna-se negativa. O material colapsa.

A genialidade do artigo é encontrar uma "zona de equilíbrio" para o botão $C$ . Ele provou que, para materiais com uma largura suficientemente grande (especificamente, quando a dimensão $m$ é grande o suficiente), existe um ponto ideal onde o botão é alto o suficiente para passar no teste da linha reta, mas baixo demais para passar no teste da ondulação.

Os Resultados: "Não" em Muitas Dimensões

O artigo não encontra apenas um exemplo estranho; ele encontra toda uma família deles.

As Grandes Dimensões: Para qualquer "potência" $p$ (que controla como o custo escala), Cassese prova que, se o material for largo o suficiente (dimensão $m$ é grande), você sempre pode construir este contraexemplo. O artigo não fornece um número específico para "suficientemente grande" imediatamente, mas prova que tal número existe.
O Caso Quadrado: Ele também mostra que isso funciona para materiais quadrados (onde a largura é igual à altura, $d \times d$ ) se o quadrado for grande o suficiente.
O Caso 4x2: Ele consegue até mesmo espremer um contraexemplo em uma grade 4 por 2 menor, desde que a potência $p$ não seja exatamente 2.

Por Que Isso Importa (e Por Que Dói)

Este resultado é um pouco desanimador para quem esperava por um atalho simples. Significa que a convexidade de rank-um não implica quasiconvexidade. Você não pode apenas verificar as linhas retas e assumir que o resto está bem. A "chave mágica" é falsa.

No entanto, esta é uma grande vitória para a verdade matemática. Resolve uma questão que estava aberta desde a década de 1950. Diz-nos que o mundo desses integrais variacionais é muito mais complexo e "não linear" do que pensávamos. O artigo também toca em um enigma famoso não resolvido chamado Conjectura de Iwaniec, que trata de um caso específico de 2 por 2. O trabalho de Cassese sugere que, se uma solução para esse enigma existir, ela deve depender de uma característica específica e única desse caso de 2 por 2, porque seu método geral (que funciona para dimensões maiores) falha ali.

Em suma, Cassese construiu um "objeto impossível" matemático: um material que parece perfeitamente estável de todos os ângulos retos, mas que é secretamente um castelo de cartas esperando para desmoronar. É um lembrete de que, no profundo mundo da matemática, as coisas raramente são tão simples quanto parecem e, às vezes, a única maneira de conhecer a verdade é construir o próprio contraexemplo.

Resumo Técnico: Uma Solução para o Problema de Morrey em $\mathbb{R}^{2\times m}$

Enunciado do Problema
O artigo aborda o problema de Morrey, uma questão central no cálculo de variações formulada em 1952: a convexidade de rank-one implica quasiconvexidade para integrandos $f: \mathbb{R}^{d\times m} \to \mathbb{R}$ ? Embora Šverák (1992) tenha fornecido um contraexemplo em dimensões $d \times m$ onde $d \ge 3$ e $m \ge 2$ , o caso $d=2$ (especificamente $2 \times m$ ) permanecia em aberto. Além disso, o artigo investiga o "problema de Morrey homogêneo", perguntando se a convexidade de rank-one implica quasiconvexidade na origem para integrandos $p$ -homogêneos ( $f(tA) = |t|^p f(A)$ ). Resultados anteriores, como o teorema de Kirchheim–Kristensen, estabeleceram que para $p=1$ , a convexidade de rank-one implica quasiconvexidade em 0, deixando o caso $p \in (1, \infty)$ sem resolução.

Metodologia
O autor constrói contraexemplos utilizando um "esquema de separação de limiar" baseado em integrandos da forma:
$f_{C,p}(A) = C^p \|P(A)\|_X^p - \|Q(A)\|_X^p$
onde $P$ e $Q$ são mapas lineares de $\mathbb{R}^{d\times m}$ para um espaço de Banach $X$ , e $C$ é uma constante. A estratégia envolve separar o limiar para a convexidade de rank-one ( $C_{rc}$ ) da o limiar para a quasiconvexidade ( $C_{qc}$ ) na origem.

Convexidade de Rank-One ( $C_{rc}$ ): O autor utiliza a correspondência entre convexidade de rank-one e transformadas de martingais. Especificamente, a convexidade de rank-one em 0 é equivalente à condição de que $f(0) \le \mathbb{E}[f(M_n)]$ para todas as martingais de Rademacher de rank-one $M_n$ . O limite $C_{rc}$ é controlado usando a teoria de espaços UMD (Diferença de Martingais Incondicionais) e desigualdades de Burkholder. A construção explora a geometria não-hibertiana do espaço alvo $X$ (especificamente espaços $\ell_q$ com $q \neq 2$ ) para manter $C_{rc}$ limitado.
Quasiconvexidade ( $C_{qc}$ ): O limite $C_{qc}$ é estimado de baixo através da construção de mapas de teste explícitos (campos vetoriais) $u$ no toro ou no cubo. O autor emprega funções de teste oscilatórias específicas (por exemplo, produtos de conjugados complexos ou somas trigonométricas) para demonstrar que a razão $\|Q(\nabla u)\| / \|P(\nabla u)\|$ cresce com a dimensão $m$ (ou $d$ ), eventualmente excedendo o limite para $C_{rc}$ .
Construção do Envelope: Uma vez escolhido um constante $C$ tal que $C_{rc} < C < C_{qc}$ , o integrando não é quasiconvexo em 0. Para garantir que o integrando final seja de rank-one convexo em todos os lugares, o autor toma o envelope de rank-one convexo da função construída. A Proposição 2.3 garante que, para integrandos homogêneos, se o envelope não for quasiconvexo em 0, a função não é quasiconvexa em lugar algum.

Principais Contribuições e Resultados

O artigo fornece soluções negativas para ambos os problemas de Morrey (original e homogêneo) em altas dimensões:

Teorema 1.2 (O caso $2 \times m$ ): Para qualquer $p \in (1, \infty)$ , existe uma dimensão $m_0(p)$ tal que para todo $m \ge m_0(p)$ , existe um integrando $p$ -homogêneo $f: \mathbb{R}^{2\times m} \to \mathbb{R}$ que é rank-one convexo, mas nowhere (em lugar algum) quasiconvexo. A construção baseia-se no "par de Wirtinger por blocos" e na estrutura não-hibertiana de $\ell_q^n$ .
Teorema 1.3 (O caso quadrado $d \times d$ ): Para qualquer $p \in (1, \infty)$ , existe $d_0(p)$ tal que para todo $d \ge d_0(p)$ , existe um integrando $p$ -homogêneo em $\mathbb{R}^{d\times d}$ , invariante por conjugação e transposição, que é rank-one convexo, mas nowhere quasiconvexo. Isso é alcançado usando a diferença entre as partes simétrica e antissimétrica do gradiente em normas Schatten $q$ .
Teorema 1.4 (O caso $4 \times 2$ ): Para qualquer $p \in (1, \infty) \setminus \{2\}$ , existe um integrando $p$ -homogêneo em $\mathbb{R}^{4\times 2}$ que é rank-one convexo, mas nowhere quasiconvexo. Este resultado é obtido via uma construção específica envolvendo mapas lineares relacionados à transformada de Beurling-Ahlfors.

Construções Explícitas
O artigo fornece exemplos explícitos para parâmetros específicos:

Para $p=3$ , é dada uma prova elementar para a convexidade de rank-one de um integrando específico envolvendo normas $\ell_6$ .
Para o caso quadrado com $p=q=4$ , o autor constrói um polinômio homogêneo de grau 4, globalmente rank-one convexo, que falha em ser quasiconvexo em 0 para $d$ suficientemente grande.
Para $4 \times 2$ com $p=4$ , um contraexemplo de polinômio homogêneo de grau 4 é explicitamente construído.

Significância e Alegações
O artigo afirma resolver negativamente o problema de Morrey homogêneo em grandes dimensões ( $2 \times m$ , $d \times d$ e $4 \times 2$ ).

Implicações: Uma resposta positiva ao problema de Morrey homogêneo implicaria a conjectura de Iwaniec sobre a quasiconvexidade de um integrando específico relacionado às partes conformal e anticonformal. Ao fornecer contraexemplos, o artigo demonstra que a conjectura de Iwaniec não pode ser provada via uma implicação geral da convexidade de rank-one para a quasiconvexidade em 0; qualquer prova deve depender de características específicas do integrando de Iwaniec ausentes nestes contraexemplos.
Não-localidade: Os resultados implicam que a quasiconvexidade é uma condição não-local em $2 \times m$ para $m$ grande, uma vez que os integrandos construídos satisfazem a desigualdade de Legendre-Hadamard uniforme (elipticidade forte), mas falham na quasiconvexidade global.
Simetria: Os contraexemplos no caso quadrado são construídos para serem invariantes por conjugação e transposição, mostrando que mesmo suposições de simetria forte não forçam a quasiconvexidade em altas dimensões.

Limitações e Questões em Aberto
O autor nota explicitamente que os resultados não resolvem o caso $2 \times 2$ . A construção depende de a dimensão $m$ ser grande o suficiente para separar as constantes UMD dos limiares de quasiconvexidade. O artigo conjectura que o problema de Morrey homogêneo provavelmente tem uma resposta positiva em $2 \times 2$ , e o método atual não pode ser empurrado para refutá-lo sem estimativas significativamente refinadas das constantes UMD e dos limiares de quasiconvexidade. Adicionalmente, o artigo deixa em aberto a conjectura de que integrandos de rank-one convexos isotrópicos (invariantes por rotação) poderiam ainda ser quasiconvexos em 0.

O Grande Atalho Que Não Existiu

A Construção "Mágica"

Os Resultados: "Não" em Muitas Dimensões

Por Que Isso Importa (e Por Que Dói)

Resumo Técnico: Uma Solução para o Problema de Morrey em R2×m\mathbb{R}^{2\times m}R2×m

Mais como este

Resumo Técnico: Uma Solução para o Problema de Morrey em $\mathbb{R}^{2\times m}$