🔢 mathematics

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

Este artículo construye integrales homogéneas de convexidad de rango uno en $\mathbb{R}^{2\times m}$ que no son cuasiconvexas en ningún punto para $m$ suficientemente grande, proporcionando así una solución al problema de Morrey en esta dimensión específica.

Autores originales: Gabriele Cassese

Publicado 2026-08-05

📖 7 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Gabriele Cassese

Artículo original bajo licencia CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta es una explicación generada por IA del artículo a continuación. No ha sido escrita ni avalada por los autores. Para mayor precisión técnica, consulte el artículo original. Leer descargo de responsabilidad completo

Imagina que eres un arquitecto intentando construir la estructura más eficiente y estable posible utilizando un montón de materiales extraños y flexibles. En el mundo de las matemáticas, este es el trabajo del Cálculo de Variaciones. Es la rama de las matemáticas dedicada a encontrar la "mejor" forma o trayectoria para un sistema, ya sea una burbuja de jabón minimizando la tensión superficial o un puente minimizando el estrés. Para hacer esto, los matemáticos utilizan una fórmula gigante llamada integrando. Piensa en este integrando como un libro de reglas que asigna un "costo" o "energía" a cada posible forma en que el material puede doblarse o estirarse. El objetivo es encontrar una forma donde el costo total sea lo más bajo posible.

Pero aquí está el problema: encontrar esa forma perfecta es increíblemente difícil. Para garantizar que exista una solución, el libro de reglas (el integrando) debe seguir una propiedad muy estricta, casi mágica, llamada quasiconvexidad. Esta propiedad asegura que si mueves ligeramente la forma, la energía no caiga repentinamente de una manera que rompa las matemáticas. Sin embargo, comprobar si un libro de reglas tiene esta propiedad es como intentar probar cada grano de arena de una playa para ver si es salado; es prácticamente imposible. Por ello, durante décadas, los matemáticos esperaron por un atajo. Se preguntaron si una propiedad más simple y fácil de comprobar llamada convexidad de rango uno (que es como comprobar si el material es estable cuando se tira de él en una sola dirección específica) era suficiente para garantizar la mágica quasiconvexidad. Si esto fuera cierto, sería un ahorro de tiempo masivo, una "llave mágica" para desbloquear soluciones para todo, desde la física hasta la ingeniería.

Este artículo, titulado "A Solution to Morrey's Problem in R2×m", es la historia de cómo un matemático llamado Gabriele Cassese finalmente intentó usar esa llave mágica y descubrió que no funciona. La pregunta, planteada en la década de 1950 por un genio llamado Charles Morrey, era: "Si un material es estable en cada tirón en línea recta, ¿es automáticamente estable en cada giro complejo y ondulante?". Durante mucho tiempo, la gente pensó que la respuesta era "sí". Pero Cassese demuestra que para materiales con suficientes dimensiones (específicamente, cuando el material es lo suficientemente "ancho"), la respuesta es un no definitivo. Él construye un libro de reglas específico y extraño que pasa la prueba de la "línea recta" perfectamente, pero falla en la prueba del "giro complejo". Es un contraejemplo que destroza la esperanza de un atajo simple, mostrando que el universo de estos materiales matemáticos es mucho más retorcido e impredecible de lo que cualquiera esperaba.

El Gran Atajo que No Fue

En el mundo de estos materiales matemáticos, existen dos formas de comprobar si un libro de reglas es "bueno". La primera, la convexidad de rango uno, es como probar una banda elástica tirando de ella en línea recta. Si resiste sin romperse y se comporta bien en esa dirección, pasa la prueba. La segunda, la quasiconvexidad, es la verdadera batalla final. Pregunta: "Si tomas un trozo de este material y lo sacudes de todas las formas caóticas posibles a la vez, ¿se mantiene unido?".

Durante décadas, los matemáticos sospecharon que pasar la prueba de la línea recta (convexidad de rango uno) era suficiente para garantizar que pasarías la prueba del movimiento caótico (quasiconvexidad). Parecía lógico: si es fuerte en cada línea recta, debería ser fuerte en todas partes. Este era el Problema de Morrey. Si fuera cierto, significaría que podríamos saltarnos la matemática imposible de comprobar cada movimiento y simplemente comprobar las líneas rectas.

Pero en este artículo, Cassese construye un "monstruo de Frankenstein" de un libro de reglas para demostrar que están equivocados. Crea un objeto matemático que es perfectamente estable cuando se tira de él en cualquier línea recta (es convexo de rango uno) pero que se desmorona en el momento en que intentas sacudirlo (no es en ningún lugar quasiconvexos).

La Construcción "Mágica"

¿Cómo lo hizo? Imagina que tienes una cuadrícula multidimensional gigante. Cassese no eligió un libro de reglas al azar; construyó uno usando un truco ingenioso que involucra martingalas (una palabra elegante para una secuencia de pasos aleatorios, como el caminar de un borracho) y espacios de Banach (patio de juegos matemáticos abstractos que no son tan agradables y redondeados como los que solemos usar).

Construyó una fórmula que se ve así:
$\text{Costo} = C \times (\text{Parte A})^p - (\text{Parte B})^p$
Aquí, "Parte A" y "Parte B" son dos formas diferentes de medir la forma del material. El número $C$ es un "botón de ajuste".

La Prueba de la Línea Recta (Convexidad de Rango Uno): Cassese demostró que si tiras del material en una línea recta, la Parte A y la Parte B están unidas por una regla matemática estricta. Se mueven en perfecta sincronía. Debido a esto, si eliges el botón $C$ lo suficientemente alto, la fórmula siempre se mantiene positiva. Pasa la prueba fácil.
La Prueba del Movimiento (Quasiconvexidad): Luego, observó qué sucede cuando sacudes el material. Encontró una forma específica y muy ondulante (una "función de prueba") donde la Parte B se vuelve repentinamente enorme en comparación con la Parte A. Si el botón $C$ no es infinitamente alto, la fórmula se vuelve negativa. El material colapsa.

La genialidad del artículo es encontrar una "zona de Goldilocks" para el botón $C$ . Demostró que para materiales con un ancho lo suficientemente grande (específicamente, cuando la dimensión $m$ es lo suficientemente grande), existe un punto ideal donde el botón es lo suficientemente alto para pasar la prueba de la línea recta, pero demasiado bajo para pasar la prueba del movimiento.

Los Resultados: "No" en Muchas Dimensiones

El artículo no solo encuentra un ejemplo extraño; encuentra toda una familia de ellos.

Las Grandes Dimensiones: Para cualquier "potencia" $p$ (que controla cómo escala el costo), Cassese demuestra que si el material es lo suficientemente ancho (la dimensión $m$ es grande), siempre puedes construir este contraejemplo. El artículo no da un número específico para "lo suficientemente grande" de inmediato, pero demuestra que tal número existe.
El Caso Cuadrado: También muestra que esto funciona para materiales cuadrados (donde el ancho es igual a la altura, $d \times d$ ) si el cuadrado es lo suficientemente grande.
El Caso 4x2: Incluso logra meter un contraejemplo en una cuadrícula más pequeña de 4 por 2, siempre que la potencia $p$ no sea exactamente 2.

Por Qué Esto Importa (y Por Qué Duele)

Este resultado es un poco desalentador para cualquiera que esperaba un atajo simple. Significa que la convexidad de rango uno no implica la quasiconvexidad. No puedes simplemente comprobar las líneas rectas y asumir que el resto está bien. La "llave mágica" es falsa.

Sin embargo, esto es una gran victoria para la verdad matemática. Resuelve una pregunta que ha estado abierta desde la década de 1950. Nos dice que el mundo de estos integrales variacionales es mucho más complejo y "no lineal" de lo que pensábamos. El artículo también toca un enigma famoso no resuelto llamado la Conjetura de Iwaniec, que trata sobre un caso específico de 2 por 2. El trabajo de Cassese sugiere que si existe una solución para ese enigma, debe basarse en una característica específica y única de ese caso de 2 por 2, porque su método general (que funciona para dimensiones más grandes) falla allí.

En resumen, Cassese ha construido un "objeto imposible" matemático: un material que parece perfectamente estable desde cada ángulo recto, pero que es secretamente un castillo de naipes esperando a colapsar. Es un recordatorio de que, en el profundo mundo de las matemáticas, las cosas rara vez son tan simples como parecen y, a veces, la única forma de conocer la verdad es construir tú mismo el contraejemplo.

Resumen Técnico: Una Solución al Problema de Morrey en $\mathbb{R}^{2\times m}$

Planteamiento del Problema
El artículo aborda el problema de Morrey, una cuestión central en el cálculo de variaciones planteada en 1952: ¿implica la convexidad de rango uno la cuasiconvexidad para los integrandos $f: \mathbb{R}^{d\times m} \to \mathbb{R}$ ? Si bien Šverák (1992) proporcionó un contraejemplo en dimensiones $d \times m$ donde $d \ge 3$ y $m \ge 2$ , el caso $d=2$ (específicamente $2 \times m$ ) permanecía abierto. Además, el artículo investiga el "problema de Morrey homogéneo", preguntando si la convexidad de rango uno implica la cuasiconvexidad en el origen para integrandos $p$ -homogéneos ( $f(tA) = |t|^p f(A)$ ). Resultados previos, como el teorema de Kirchheim–Kristensen, establecieron que para $p=1$ , la convexidad de rango uno implica la cuasiconvexidad en 0, dejando sin resolver el caso $p \in (1, \infty)$ .

Metodología
El autor construye contraejemplos utilizando un "esquema de separación de umbrales" basado en integrandos de la forma:
$f_{C,p}(A) = C^p \|P(A)\|_X^p - \|Q(A)\|_X^p$
donde $P$ y $Q$ son aplicaciones lineales de $\mathbb{R}^{d\times m}$ a un espacio de Banach $X$ , y $C$ es una constante. La estrategia consiste en separar el umbral para la convexidad de rango uno ( $C_{rc}$ ) del umbral para la cuasiconvexidad ( $C_{qc}$ ) en el origen.

Convexidad de Rango Uno ( $C_{rc}$ ): El autor utiliza la correspondencia entre la convexidad de rango uno y las transformadas de martingala. Específicamente, la convexidad de rango uno en 0 es equivalente a la condición de que $f(0) \le \mathbb{E}[f(M_n)]$ para todas las martingalas de Rademacher de rango uno $M_n$ . El límite $C_{rc}$ se controla utilizando la teoría de espacios UMD (Diferencia de Martingala Incondicional) e desigualdades de Burkholder. La construcción explota la geometría no hilbertiana del espacio objetivo $X$ (específicamente espacios $\ell_q$ con $q \neq 2$ ) para mantener $C_{rc}$ acotado.
Cuasiconvexidad ( $C_{qc}$ ): El límite $C_{qc}$ se estima de abajo hacia arriba mediante la construcción de mapas de prueba explícitos (campos vectoriales) $u$ en el toro o el cubo. El autor emplea funciones de prueba oscilatorias específicas (por ejemplo, productos de conjugados complejos o sumas trigonométricas) para demostrar que la razón $\|Q(\nabla u)\| / \|P(\nabla u)\|$ crece con la dimensión $m$ (o $d$ ), superando eventualmente el límite para $C_{rc}$ .
Construcción de la Envoltura: Una vez elegido un valor de $C$ tal que $C_{rc} < C < C_{qc}$ , el integrando no es cuasiconvexo en 0. Para asegurar que el integrando final sea de rango uno convexo en todas partes, el autor toma la envoltura de rango uno convexo de la función construida. La Proposición 2.3 garantiza que, para integrandos homogéneos, si la envoltura no es cuasiconvexa en 0, la función no es cuasiconvexa en ningún lugar.

Contribuciones Clave y Resultados

El artículo proporciona soluciones negativas tanto al problema de Morrey original como al homogéneo en altas dimensiones:

Teorema 1.2 (El caso $2 \times m$ ): Para cualquier $p \in (1, \infty)$ , existe una dimensión $m_0(p)$ tal que para todo $m \ge m_0(p)$ , existe un integrando $p$ -homogéneo $f: \mathbb{R}^{2\times m} \to \mathbb{R}$ que es convexo de rango uno pero en ningún lugar cuasiconvexo. La construcción se basa en el "par de Wirtinger por bloques" y la estructura no hilbertiana de $\ell_q^n$ .
Teorema 1.3 (El caso cuadrado $d \times d$ ): Para cualquier $p \in (1, \infty)$ , existe un $d_0(p)$ tal que para todo $d \ge d_0(p)$ , existe un integrando $p$ -homogéneo en $\mathbb{R}^{d\times d}$ , invariante por conjugación y transposición, que es convexo de rango uno pero en ningún lugar cuasiconvexo. Esto se logra mediante la diferencia entre las partes simétrica y antisimétrica del gradiente en normas Schatten $q$ .
Teorema 1.4 (El caso $4 \times 2$ ): Para cualquier $p \in (1, \infty) \setminus \{2\}$ , existe un integrando $p$ -homogéneo en $\mathbb{R}^{4\times 2}$ que es convexo de rango uno pero en ningún lugar cuasiconvexo. Este resultado se obtiene mediante una construcción específica que involucra aplicaciones lineales relacionadas con la transformada de Beurling-Ahlfors.

Construcciones Explícitas
El artículo proporciona ejemplos explícitos para parámetros específicos:

Para $p=3$ , se ofrece una prueba elemental de la convexidad de rango uno de un integrando específico que involucra normas $\ell_6$ .
Para el caso cuadrado con $p=q=4$ , el autor construye un polinomio homogéneo de grado 4, globalmente convexo de rango uno, que falla en ser cuasiconvexo en 0 para un $d$ suficientemente grande.
Para $4 \times 2$ con $p=4$ , se construye explícitamente un contraejemplo de polinomio homogéneo de grado 4.

Significado y Reivindicaciones
El artículo afirma resolver negativamente el problema de Morrey homogéneo en grandes dimensiones ( $2 \times m$ , $d \times d$ y $4 \times 2$ ).

Implicaciones: Una respuesta positiva al problema de Morrey homogéneo implicaría la conjetura de Iwaniec respecto a la cuasiconvexidad de un integrando específico relacionado con las partes conforme y anticonforme. Al proporcionar contraejemplos, el artículo demuestra que la conjetura de Iwaniec no puede probarse mediante una implicación general de la convexidad de rango uno a la cuasiconvexidad en 0; cualquier prueba debe basarse en características específicas del integrando de Iwaniec que están ausentes en estos contraejemplos.
No localidad: Los resultados implican que la cuasiconvexidad es una condición no local en $2 \times m$ para $m$ grande, ya que los integrandos construidos satisfacen la desigualdad de Legendre-Hadamard uniforme (elipticidad fuerte) pero fallan en la cuasiconvexidad global.
Simetría: Los contraejemplos en el caso cuadrado se construyen para ser invariantes bajo conjugación y transposición, mostrando que incluso supuestos de simetría fuerte no fuerzan la cuasiconvexidad en altas dimensiones.

Limitaciones y Preguntas Abiertas
El autor señala explícitamente que los resultados no resuelven el caso $2 \times 2$ . La construcción depende de que la dimensión $m$ sea lo suficientemente grande para separar las constantes UMD de los umbrales de cuasiconvexidad. El artículo conjetura que el problema de Morrey homogéneo probablemente tiene una respuesta positiva en $2 \times 2$ , y el método actual no puede forzarse para refutarlo sin estimaciones mucho más refinadas de las constantes UMD y los umbrales de cuasiconvexidad. Además, el artículo deja abierta la conjetura de que los integrandos de rango uno convexos isotrópicos (invariantes por rotación) podrían seguir siendo cuasiconvexos en 0.

El Gran Atajo que No Fue

La Construcción "Mágica"

Los Resultados: "No" en Muchas Dimensiones

Por Qué Esto Importa (y Por Qué Duele)

Resumen Técnico: Una Solución al Problema de Morrey en R2×m\mathbb{R}^{2\times m}R2×m

Más como este

Resumen Técnico: Una Solución al Problema de Morrey en $\mathbb{R}^{2\times m}$