Una nota sobre la diferenciabilidad de segundo orden casi en todas partes de funciones convexas de rango uno

Información Básica

• ID del Artículo: 2511.08397
• Título: A note on the a.e. second-order differentiability of rank-one convex functions
• Autor: Jonas Hirsch
• Clasificación: math.AP (Análisis de EDPs)
• Fecha de Publicación: Noviembre de 2025 (arXiv v2: 12 de noviembre de 2025)
• Enlace del Artículo: https://arxiv.org/abs/2511.08397

Resumen

En el contexto euclidiano, el célebre teorema de Alexandrov establece que las funciones convexas son diferenciables de segundo orden casi en todas partes. Este artículo generaliza dicho teorema a funciones convexas de rango uno (rank-one convex functions). El autor adopta un enfoque novedoso, inspirándose más en las técnicas de soluciones de viscosidad desarrolladas en el contexto de ecuaciones elípticas completamente no lineales. Como producto secundario, el teorema original de Alexandrov puede reducirse esencialmente a la diferenciabilidad casi en todas partes de funciones monótonas unidimensionales, lo que se demuestra en el apéndice.

Antecedentes de Investigación y Motivación

Problema a Resolver

Este artículo tiene como objetivo demostrar la diferenciabilidad de segundo orden casi en todas partes (almost everywhere, a.e.) de funciones convexas de rango uno. Esta es una generalización del clásico teorema de Alexandrov desde funciones convexas estándar a clases de funciones más generales.

Importancia del Problema

1. Significado Teórico: La convexidad de rango uno es un concepto central en el cálculo de variaciones y la ciencia de materiales, particularmente en el estudio de elasticidad no lineal y transiciones de fase. Comprender la regularidad de estas clases de funciones es crucial para analizar problemas variacionales relacionados.
2. Conexión con Resultados Clásicos: El teorema de Alexandrov es una piedra angular del análisis convexo. Su generalización a funciones convexas de rango uno establece un marco de teoría de regularidad más amplio.
3. Desafíos Técnicos: La convexidad de rango uno es mucho más débil que la convexidad estándar, requiriendo solo que la restricción de la función en direcciones de rango uno sea convexa, lo que hace que las técnicas de demostración sean más complejas.

Limitaciones de Métodos Existentes

• La demostración clásica del teorema de Alexandrov depende de propiedades globales de la convexidad
• Las funciones convexas de rango uno no poseen la estructura de convexidad completa, por lo que los métodos tradicionales no se pueden aplicar directamente
• El trabajo de Conti et al. 1 y Kirchheim y Kristensen 3 muestra que la diferenciabilidad de segundo orden es independiente de si el Hessiano es una medida, lo que añade sutileza al problema

Motivación de la Investigación

El autor fue inspirado por una pregunta planteada por Zhuolin Li, proporcionando una nueva ruta de demostración mediante técnicas de soluciones de viscosidad, que se acerca más a la teoría de ecuaciones elípticas completamente no lineales, ofreciendo una nueva perspectiva para comprender la regularidad de funciones convexas de rango uno.

Contribuciones Principales

1. Demostración del Teorema Principal: Se demuestra que una función convexa de rango uno acotada $f: B_1 \subset \mathbb{R}^{m \times n} \to \mathbb{R}$ es diferenciable de segundo orden casi en todas partes en $B_{1/2}$ (Proposición 1.1).
2. Metodología Innovadora: Se adopta la técnica de soluciones de viscosidad en lugar de métodos tradicionales de análisis convexo, conectando el problema con la teoría de ecuaciones elípticas completamente no lineales.
3. Lema Clave: Se establece el lema que implica que las cotas superiores implican cotas inferiores (Lema 2.1), que es la herramienta técnica central de la demostración.
4. Demostración Simplificada del Teorema Clásico: En el apéndice, la demostración del teorema de Alexandrov se reduce esencialmente a la diferenciabilidad casi en todas partes de funciones monótonas unidimensionales (resultado conocido de Lebesgue), proporcionando una demostración más concisa basada en teoría de medidas.
5. Generalización a Matrices Simétricas: El método se puede generalizar al espacio de matrices simétricas $\mathbb{R}^{n \times n}_{sym}$ (Observación 2.1).

Explicación Detallada del Método

Definición de la Tarea

Entrada: Función convexa de rango uno acotada $f: B_1 \subset \mathbb{R}^{m \times n} \to \mathbb{R}$

Definición: Una función $f$ es convexa de rango uno si para todo $x \in B_1, a \in \mathbb{R}^m, b \in \mathbb{R}^n$, la aplicación $t \mapsto f(x + t(a \otimes b))$ es convexa en su dominio.

Objetivo: Demostrar que $f$ es diferenciable de segundo orden casi en todas partes en $B_{1/2}$.

Arquitectura de la Demostración

La demostración se divide en dos partes principales (Ingredientes):

Ingrediente 1: Existencia Casi en Todas Partes de Paraboloides Tangentes Superiores

Observación Clave: La convexidad de rango uno implica que $\frac{\partial^2}{\partial x_{ij}^2} f(x) = \frac{d^2}{dt^2}\Big|_{t=0} f(x + t(e_i \otimes e_j)) \geq 0$ se cumple en sentido de viscosidad.

Corolario: $f$ es subarmónica en sentido de viscosidad: $\Delta f(x) \geq 0$

Aplicación de la Estimación de Lin: Se utiliza la estimación clásica $W^{2,\epsilon}$ interior para subsoluciones de viscosidad de ecuaciones elípticas uniformemente completamente no lineales 6, Teorema 2.1: $\left|\left\{\Theta_f > \frac{C \|f\|_{L^\infty(B_1)}}{t}\right\} \cap B_{1/2}\right| \lesssim t^{-\epsilon}$

donde $\Theta_f(x)$ se define como la menor $a \geq 0$ tal que un paraboloide con apertura $a$ (es decir, $D^2P = aI$) toca a $f$ desde arriba en $x$ en sentido de viscosidad.

Ingrediente 2: Las Cotas Superiores Implican Cotas Inferiores (Lema 2.1)

Esta es la innovación técnica central de la demostración.

Enunciado del Lema: Existe una constante dimensional $C = C(n)$ tal que si una función convexa de rango uno $f$ satisface:

• $f(x_0) = 0, Df(x_0) = 0$
• Existe una función no decreciente $g \in C^0(\mathbb{R})$ tal que $G(x) = g(|x - x_0|)$ toca a $f$ desde arriba en $x_0$ en sentido de viscosidad

entonces: $f(x) \geq -C G(x) \quad \forall x \in \Omega$

Esquema de Demostración:

1. Sin pérdida de generalidad, asumir $x_0 = 0$
2. Para un $x \in \mathbb{R}^{m \times n}$ dado, definir $x_i$ como la matriz formada por las primeras $i$ columnas de $x$
3. Construir matrices de rango uno $d_i = x_{\cdot i} \otimes e_i$ tales que $x_i = \frac{1}{2}x_{i+1} + \frac{1}{2}y_i$, donde $y_i = x_i - 2d_i$
4. Utilizar la convexidad de rango uno: $2f(x_i) \leq f(x_{i+1}) + f(y_i) \leq f(x_{i+1}) + G(x)$
5. Dado que $x_1$ es una matriz de rango uno, $f(x_1) \geq f(0) + Df(0)x_1 \geq 0$
6. Aplicar inductivamente la desigualdad anterior para obtener la conclusión

Pasos de la Demostración del Teorema Principal

Hecho Preliminar: Las funciones convexas de rango uno son localmente Lipschitz, con estimaciones cuantitativas: $\text{Lip}(f, B_r(x)) \leq n \frac{\text{osc}(f, B_{2r}(x))}{r}$

Por el teorema de Rademacher, $f$ es diferenciable casi en todas partes.

Paso 1: En el conjunto $\Omega_A = \{\Theta_f \leq A\} \cap (B_{1/2} \setminus N)$, $f_{x_{ij}} = \partial_{x_{ij}} f$ puede ser tocada desde arriba y abajo por conos con apertura $CA$.

Para $x_0 \in \Omega_A$, considerar $\tilde{f} = f - f(x_0) - Df(x_0)(x - x_0)$, aplicar el Lema 2.1 para obtener $\|\tilde{f}\|_{L^\infty(B_r(x_0))} \leq CAr^2$. Combinando con la estimación de Lipschitz: $|Df(x) - Df(x_0)| \leq CAr \quad \text{para} \quad r = |x - x_0| < 1/4$

Paso 2: $f_{x_{ij}}$ es diferenciable casi en todas partes en $\Omega_A$

Se adopta la idea de Malý 5 y el método de Jensen 2, definiendo convoluciones superior e inferior: $w^-_{x_{ij}}(x) = \inf\{f_{x_{ij}}(y) + L|x-y| : y \in B_{3/4} \setminus N\}$$w^+_{x_{ij}}(x) = \sup\{f_{x_{ij}}(y) - L|x-y| : y \in B_{3/4} \setminus N\}$

donde $L = 2C \max\{A, \|f\|_{L^\infty(B_1)}\}$.

Propiedades clave:

• $w^-_{x_{ij}} \leq f_{x_{ij}} \leq w^+_{x_{ij}}$
• $w^\pm_{x_{ij}}$ son continuas Lipschitz con constante $L$
• En $\Omega_A$, $w^-_{x_{ij}} = f_{x_{ij}} = w^+_{x_{ij}}$

Dado que $w^\pm_{x_{ij}}$ son diferenciables casi en todas partes e iguales, sus derivadas deben coincidir, por lo que $f_{x_{ij}}$ es diferenciable casi en todas partes en $\Omega_A$.

Paso 3: $f$ es diferenciable de segundo orden casi en todas partes en $\Omega_A$

Para todo punto $x_0 \in \Omega_A$ donde todos los $f_{x_{ij}}$ son diferenciables, utilizar el teorema fundamental del cálculo para funciones Lipschitz: $f(x_0 + z) - \left(f(x_0) + Df(x_0)z + \frac{1}{2}Df_{x_{ij}}(x_0)z_{ij}z\right) = o(|z|^2)$

Esto demuestra que $f$ es diferenciable de segundo orden en $x_0$.

Puntos de Innovación Técnica

1. Introducción del Método de Soluciones de Viscosidad: Se conecta la convexidad de rango uno con la subarmonicidad, utilizando la teoría de ecuaciones elípticas completamente no lineales.
2. Técnica de Control Bidireccional: La relación de cotas superior e inferior establecida en el Lema 2.1 es la innovación clave, realizada mediante argumentos inductivos de la convexidad de rango uno.
3. Aplicación Ingeniosa de Convoluciones Superior e Inferior: Se combinan las ideas de Malý y Jensen, utilizando la relación de orden de funciones Lipschitz para demostrar diferenciabilidad.
4. Inducción Dimensional: En la demostración del Lema 2.1, se aprovecha ingeniosamente la estructura de rango uno mediante inducción sobre las columnas de la matriz.

Apéndice: Demostración Basada en Teoría de Medidas para Funciones Convexas

El autor proporciona en el apéndice una demostración simplificada del teorema de Alexandrov, que en sí misma es una contribución valiosa.

Ideas Clave

1. Reducción Unidimensional: Utilizar la diferenciabilidad casi en todas partes de funciones monótonas (resultado de Lebesgue)
2. Observación Geométrica: La envoltura convexa $\text{conv}\{\pm he_j : j = 1, \ldots, n\}$ contiene la bola abierta $B_{h/\sqrt{n}}$

Herramientas de Teoría de Medidas

Para una medida de Borel $\mu$, se define la función maximal: $M\mu(x) = \sup\left\{\frac{\mu(I)}{|I|} : x \in I = (a,b)\right\}$

Estimación clásica: $|\{M\mu > t\}| \lesssim \mu(\mathbb{R})/t$

Aplicación al Hessiano de Funciones Convexas

Para la medida de Radon de la segunda derivada $f''$ de una función convexa $f$: $f''[-2, 2] = f'(2) - f'(-2) \leq 2\text{osc}(f, [-3, 3])$

Aproximación de Taylor (mediante regularización): $0 \leq f(h) \leq Mf''(0)h^2, \quad 0 \leq f(-h) \leq Mf''(0)h^2$

Derivación de la Estimación (2.1)

Para una dirección fija $e_i$ y $y \in e_i^\perp$, considerar $f_y(s) = f(y + se_i)$, obteniendo: $|E_y| \lesssim t^{-1}\text{osc}(f_y, [-3, 3])$

Utilizando el teorema de Fubini y relaciones geométricas, se obtiene: $|\{\Theta_f > 4nt\} \cap Q_1| \lesssim \frac{\text{osc}(f, Q_3)}{t}$

Esto proporciona el caso $\epsilon = 1$.

Configuración Experimental

Nota: Este es un artículo de matemática pura teórica que no implica experimentos numéricos ni verificación computacional. Todos los resultados se obtienen mediante demostraciones matemáticas rigurosas.

Resultados Experimentales

Nota: Como artículo de matemática pura teórica, este trabajo no contiene una sección de resultados experimentales. Los resultados principales son demostraciones rigurosas de teoremas.

Trabajo Relacionado

Investigaciones Principales Relacionadas

1. Teorema de Alexandrov: Resultado clásico que establece que las funciones convexas son diferenciables de segundo orden casi en todas partes, siendo la base de la generalización de este artículo.
2. Conti, Faraco, Maggi y Müller 1: Estudiaron funciones convexas de rango uno en matrices simétricas $2 \times 2$ y estructuras laminadas en líneas de rango tres, mostrando que la diferenciabilidad de segundo orden es independiente de si el Hessiano es una medida.
3. Kirchheim y Kristensen 3: Investigaron funciones convexas de rango uno homogéneas de grado uno, revelando la estructura compleja de estas clases de funciones.
4. Lin 4 y Mooney 6: Estimaciones $W^{2,\epsilon}$ para ecuaciones elípticas completamente no lineales, siendo herramientas clave del método de este artículo.
5. Jensen 2: Principio del máximo para soluciones de viscosidad y técnicas de convoluciones superior e inferior.
6. Malý 5: Demostración simple del teorema de Stepanov, cuyas ideas se utilizan en el Paso 2.

Contribuciones Únicas de Este Artículo

• Innovación Metodológica: Primera aplicación sistemática de técnicas de soluciones de viscosidad al estudio de regularidad de funciones convexas de rango uno
• Perspectiva Unificada: Conecta la convexidad de rango uno, la subarmonicidad y la teoría de ecuaciones elípticas completamente no lineales
• Simplificación de Demostración Clásica: Proporciona una nueva ruta de demostración para el teorema de Alexandrov

Conclusiones y Discusión

Conclusiones Principales

1. Teorema Principal: Las funciones convexas de rango uno acotadas son diferenciables de segundo orden casi en todas partes en su dominio.
2. Contribución Metodológica: Las técnicas de soluciones de viscosidad proporcionan herramientas efectivas para el estudio de funciones convexas de rango uno.
3. Nueva Comprensión del Teorema Clásico: El teorema de Alexandrov puede reducirse a la diferenciabilidad de funciones monótonas unidimensionales.

Limitaciones

1. Hipótesis de Acotación: El teorema requiere que la función sea acotada; la generalización a casos no acotados requiere investigación adicional.
2. Estimaciones Cuantitativas: Aunque la demostración utiliza estimaciones cuantitativas, no se aborda una caracterización más fina del conjunto de puntos no diferenciables (como la dimensión de Hausdorff).
3. Conceptos de Convexidad Más Generales: No está claro si este método es aplicable a funciones cuasiconvexas (quasiconvex) o policonvexas (polyconvex).
4. Naturaleza Constructiva: La demostración es de existencia y no proporciona algoritmos para calcular o aproximar las derivadas de segundo orden.

Direcciones Futuras

1. Generalización a Otros Conceptos de Convexidad: Investigar resultados similares para funciones cuasiconvexas y policonvexas.
2. Geometría del Conjunto de Puntos No Diferenciables: Caracterizar la dimensión de Hausdorff y la estructura del conjunto de puntos no diferenciables.
3. Regularidad de Orden Superior: Estudiar la diferenciabilidad de orden superior de funciones convexas de rango uno.
4. Aplicaciones: Aplicar los resultados a problemas variacionales y problemas prácticos en ciencia de materiales.
5. Teoría Cuantitativa: Desarrollar una teoría de regularidad cuantitativa más refinada.

Evaluación Profunda

Fortalezas

1. Fuerte Innovación Metodológica:
   • Primera aplicación sistemática de técnicas de soluciones de viscosidad a funciones convexas de rango uno
   • La técnica de control bidireccional del Lema 2.1 es ingeniosa y profunda
   • Combinación orgánica de herramientas de diferentes campos (análisis convexo, teoría de ecuaciones elípticas)
2. Demostración Concisa y Elegante:
   • El artículo tiene solo 4 páginas (sin apéndice), pero con contenido sustancial
   • Lógica clara, cada paso tiene un propósito definido
   • Evita detalles técnicos complejos, capturando la esencia del problema
3. Contribución Teórica Significativa:
   • Generaliza el clásico teorema de Alexandrov
   • Proporciona nuevas herramientas para la teoría de funciones convexas de rango uno
   • La nueva demostración del teorema clásico en el apéndice tiene valor en sí misma
4. Escritura Clara:
   • Estructura razonable, motivación clara
   • Buen equilibrio entre detalles técnicos e intuición
   • Reconocimiento adecuado de trabajos relacionados y fuentes de ideas

Debilidades

1. Discusión Insuficiente de Aplicaciones:
   • No se discuten aplicaciones específicas en cálculo de variaciones o ciencia de materiales
   • Falta conexión con problemas prácticos
2. Información Cuantitativa Limitada:
   • Aunque se utilizan estimaciones cuantitativas, no se proporciona una caracterización precisa del tamaño del conjunto de puntos no diferenciables
   • La dependencia de constantes no se discute en detalle
3. Exploración Insuficiente de Generalizaciones:
   • La discusión sobre funciones cuasiconvexas y policonvexas es solo mencional
   • El caso de funciones no acotadas no se aborda
4. Detalles Técnicos:
   • Algunos pasos de demostración (como la igualdad de convoluciones superior e inferior en el Paso 2) podrían ser más detallados
   • El conocimiento de soluciones de viscosidad es requisito previo, lo que puede no ser accesible para no especialistas

Impacto

1. Impacto Teórico:
   • Proporciona herramientas importantes para la teoría de funciones convexas de rango uno
   • Puede inspirar investigación sobre otros conceptos de convexidad generalizada
   • Conecta análisis convexo y teoría de ecuaciones elípticas
2. Impacto Metodológico:
   • Nueva aplicación de técnicas de soluciones de viscosidad en teoría de regularidad
   • Puede influir en métodos de investigación en campos relacionados
3. Valor Práctico:
   • Contribuye a los fundamentos teóricos del cálculo de variaciones y ciencia de materiales
   • Proporciona apoyo teórico para métodos numéricos
4. Reproducibilidad:
   • Como artículo de matemática pura teórica, las demostraciones pueden ser verificadas y generalizadas
   • El método es claro y puede aplicarse a problemas similares

Escenarios de Aplicabilidad

1. Investigación Teórica:
   • Teoría de regularidad en análisis no lineal
   • Teoría de cálculo de variaciones e inclusiones diferenciales
   • Modelos matemáticos en ciencia de materiales
2. Problemas Relacionados:
   • Regularidad de otros conceptos de convexidad generalizada
   • Propiedades de soluciones de ecuaciones elípticas completamente no lineales
   • Análisis de suavidad en problemas de optimización
3. Enseñanza:
   • Ejemplo de aplicación de técnicas de soluciones de viscosidad
   • Material de enseñanza para teoría de regularidad moderna

Referencias

Las referencias clave citadas en este artículo incluyen:

1 S. Conti, D. Faraco, F. Maggi, and S. Müller. Rank-one convex functions on 2×2 symmetric matrices and laminates on rank-three lines. Calc. Var. Partial Differ. Equ., 24(4):479–493, 2005.

2 Robert Jensen. The maximum principle for viscosity solutions of fully nonlinear second order partial differential equations. Arch. Ration. Mech. Anal., 101(1):1–27, 1988.

3 Bernd Kirchheim and Jan Kristensen. On rank one convex functions that are homogeneous of degree one. Arch. Ration. Mech. Anal., 221(1):527–558, 2016.

4 Fanghua Lin. Second derivative Lp-estimates for elliptic equations of nondivergent type. Proc. Am. Math. Soc., 96:447–451, 1986.

5 J. Malý. A simple proof of the Stepanov theorem on differentiability almost everywhere. Expo. Math., 17(1):059–061, 1999.

6 Connor Mooney. A proof of the Krylov-Safonov theorem without localization. Commun. Partial Differ. Equations, 44(8):681–690, 2019.

Resumen: Este es un artículo matemático breve pero profundo que, mediante la aplicación innovadora de técnicas de soluciones de viscosidad, generaliza exitosamente el clásico teorema de Alexandrov a funciones convexas de rango uno. El valor principal del artículo radica en la innovación metodológica y la generalización teórica, proporcionando nuevas herramientas de investigación y perspectivas para campos relacionados. Aunque es de extensión reducida, el contenido es sustancial, la demostración es elegante, y representa un excelente ejemplo de la teoría de regularidad moderna.