Eine Anmerkung zur f.ü. Differenzierbarkeit zweiter Ordnung von rangone-konvexen Funktionen

Grundinformationen

• Paper-ID: 2511.08397
• Titel: A note on the a.e. second-order differentiability of rank-one convex functions
• Autor: Jonas Hirsch
• Klassifikation: math.AP (Analysis von PDEs)
• Veröffentlichungsdatum: November 2025 (arXiv v2: 12. November 2025)
• Paper-Link: https://arxiv.org/abs/2511.08397

Zusammenfassung

Im euklidischen Setting besagt das berühmte Alexandrov-Theorem, dass konvexe Funktionen fast überall zweimal differenzierbar sind. Der vorliegende Artikel verallgemeinert diesen Satz auf rangone-konvexe Funktionen (rank-one convex functions). Der Autor verwendet einen neuartigen Ansatz, der sich stärker von Viskositätslösungstechniken inspirieren lässt, die im Kontext vollständig nichtlinearer elliptischer Gleichungen entwickelt wurden. Als Nebenprodukt kann das ursprüngliche Alexandrov-Theorem im Wesentlichen auf die fast überall Differenzierbarkeit eindimensionaler monotoner Funktionen reduziert werden, was im Anhang demonstriert wird.

Forschungshintergrund und Motivation

Zu lösende Probleme

Der Artikel zielt darauf ab, die fast überall (almost everywhere, a.e.) Differenzierbarkeit zweiter Ordnung von rangone-konvexen Funktionen zu beweisen. Dies ist eine Verallgemeinerung des klassischen Alexandrov-Theorems von Standard-Konvexfunktionen auf allgemeinere Funktionsklassen.

Bedeutung des Problems

1. Theoretische Bedeutung: Rangone-Konvexität ist ein Kernkonzept in der Variationsrechnung und Materialwissenschaft, besonders bei der Untersuchung nichtlinearer Elastizität und Phasenübergängen. Das Verständnis der Regularität dieser Funktionsklasse ist für die Analyse verwandter Variationsprobleme entscheidend.
2. Verbindung zu klassischen Ergebnissen: Das Alexandrov-Theorem ist ein Grundstein der konvexen Analysis. Seine Verallgemeinerung auf rangone-konvexe Funktionen etabliert einen umfassenderen Regularitätstheorie-Rahmen.
3. Technische Herausforderungen: Rangone-Konvexität ist wesentlich schwächer als Standard-Konvexität und erfordert nur, dass die Einschränkung der Funktion auf rangone-Richtungen konvex ist. Dies macht die Beweistechniken erheblich komplexer.

Einschränkungen bestehender Methoden

• Der klassische Beweis des Alexandrov-Theorems beruht auf globalen Eigenschaften der Konvexität
• Rangone-konvexe Funktionen besitzen nicht die vollständige Konvexitätsstruktur, daher lassen sich traditionelle Methoden nicht direkt anwenden
• Arbeiten von Conti et al. 1 und Kirchheim und Kristensen 3 zeigen, dass die Differenzierbarkeit zweiter Ordnung unabhängig davon ist, ob die Hessische eine Maß ist, was das Problem subtiler macht

Forschungsmotivation

Der Autor wurde durch eine von Zhuolin Li gestellte Frage inspiriert und bietet einen neuen Beweisweg mittels Viskositätslösungstechniken, der näher an der Theorie vollständig nichtlinearer elliptischer Gleichungen liegt und eine neue Perspektive auf das Verständnis der Regularität rangone-konvexer Funktionen bietet.

Kernbeiträge

1. Beweis des Haupttheorems: Es wird bewiesen, dass beschränkte rangone-konvexe Funktionen $f: B_1 \subset \mathbb{R}^{m \times n} \to \mathbb{R}$ in $B_{1/2}$ fast überall zweimal differenzierbar sind (Proposition 1.1).
2. Innovative Methodologie: Verwendung von Viskositätslösungstechniken anstelle traditioneller konvexanalytischer Methoden, wobei das Problem mit der Theorie vollständig nichtlinearer elliptischer Gleichungen verbunden wird.
3. Schlüssel-Lemma: Etablierung eines Lemmas, das besagt, dass obere Schranken untere Schranken implizieren (Lemma 2.1), welches das zentrale technische Werkzeug des Beweises ist.
4. Vereinfachter Beweis des klassischen Theorems: Im Anhang wird der Beweis des Alexandrov-Theorems im Wesentlichen auf die fast überall Differenzierbarkeit eindimensionaler monotoner Funktionen (bekanntes Lebesgue-Ergebnis) reduziert, was einen eleganteren maßtheoretischen Beweis liefert.
5. Verallgemeinerung auf symmetrische Matrizen: Die Methode kann auf den Raum symmetrischer Matrizen $\mathbb{R}^{n \times n}_{sym}$ verallgemeinert werden (Bemerkung 2.1).

Methodische Details

Aufgabendefinition

Eingabe: Beschränkte rangone-konvexe Funktion $f: B_1 \subset \mathbb{R}^{m \times n} \to \mathbb{R}$

Definition: Eine Funktion $f$ ist rangone-konvex, wenn für alle $x \in B_1, a \in \mathbb{R}^m, b \in \mathbb{R}^n$ die Abbildung $t \mapsto f(x + t(a \otimes b))$ auf ihrem Definitionsbereich konvex ist.

Ziel: Beweis, dass $f$ in $B_{1/2}$ fast überall zweimal differenzierbar ist.

Beweisarchitektur

Der Beweis besteht aus zwei Kernkomponenten (Ingredients):

Ingredient 1: Fast überall Existenz von oberen parabolischen Tangentialflächen

Schlüsselbeobachtung: Rangone-Konvexität impliziert $\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$ im Viskositätssinn.

Folgerung: $f$ ist im Viskositätssinn subharmonisch: $\Delta f(x) \geq 0$

Anwendung von Lins Schätzung: Verwendung der klassischen inneren $W^{2,\epsilon}$-Schätzung für Viskositätssubsolutionen vollständig nichtlinearer gleichmäßig elliptischer Gleichungen 6, Theorem 2.1: $\left|\left\{\Theta_f > \frac{C \|f\|_{L^\infty(B_1)}}{t}\right\} \cap B_{1/2}\right| \lesssim t^{-\epsilon}$

wobei $\Theta_f(x)$ als das Minimum von $a \geq 0$ definiert ist, so dass eine Paraboloidfläche $P$ (d.h. $D^2P = aI$) in $\Omega$ von oben $f$ bei $x$ berührt.

Ingredient 2: Obere Schranke impliziert untere Schranke (Lemma 2.1)

Dies ist die zentrale technische Innovation des Beweises.

Lemma-Aussage: Es existiert eine Dimensionskonstante $C = C(n)$, so dass wenn eine rangone-konvexe Funktion $f$ erfüllt:

• $f(x_0) = 0, Df(x_0) = 0$
• Es existiert eine nichtfallende Funktion $g \in C^0(\mathbb{R})$, so dass $G(x) = g(|x - x_0|)$ in $\Omega$ von oben $f$ bei $x_0$ berührt

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

Beweisidee:

1. Ohne Beschränkung der Allgemeinheit sei $x_0 = 0$
2. Für gegebenes $x \in \mathbb{R}^{m \times n}$ definiere $x_i$ als die Matrix der ersten $i$ Spalten von $x$
3. Konstruiere rangone-Matrizen $d_i = x_{\cdot i} \otimes e_i$, so dass $x_i = \frac{1}{2}x_{i+1} + \frac{1}{2}y_i$, wobei $y_i = x_i - 2d_i$
4. Nutze Rangone-Konvexität: $2f(x_i) \leq f(x_{i+1}) + f(y_i) \leq f(x_{i+1}) + G(x)$
5. Da $x_1$ eine rangone-Matrix ist, $f(x_1) \geq f(0) + Df(0)x_1 \geq 0$
6. Wende die obige Ungleichung induktiv an, um die Schlussfolgerung zu erhalten

Beweis des Haupttheorems

Vorbereitende Tatsachen: Rangone-konvexe Funktionen sind lokal Lipschitz-stetig mit quantitativen Schätzungen: $\text{Lip}(f, B_r(x)) \leq n \frac{\text{osc}(f, B_{2r}(x))}{r}$

Nach dem Satz von Rademacher ist $f$ fast überall differenzierbar.

Schritt 1: Auf der Menge $\Omega_A = \{\Theta_f \leq A\} \cap (B_{1/2} \setminus N)$ können die partiellen Ableitungen $f_{x_{ij}} = \partial_{x_{ij}} f$ von oben und unten durch Kegel mit Öffnung $CA$ berührt werden.

Für $x_0 \in \Omega_A$ betrachte $\tilde{f} = f - f(x_0) - Df(x_0)(x - x_0)$. Wende Lemma 2.1 an, um $\|\tilde{f}\|_{L^\infty(B_r(x_0))} \leq CAr^2$ zu erhalten. Kombiniert mit der Lipschitz-Schätzung: $|Df(x) - Df(x_0)| \leq CAr \quad \text{für} \quad r = |x - x_0| < 1/4$

Schritt 2: $f_{x_{ij}}$ ist in $\Omega_A$ fast überall differenzierbar

Verwende die Ideen von Malý 5 und Jensen 2 und definiere obere und untere Faltungen: $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\}$

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

Schlüsseleigenschaften:

• $w^-_{x_{ij}} \leq f_{x_{ij}} \leq w^+_{x_{ij}}$
• $w^\pm_{x_{ij}}$ sind $L$-Lipschitz-stetig
• Auf $\Omega_A$ gilt $w^-_{x_{ij}} = f_{x_{ij}} = w^+_{x_{ij}}$

Da $w^\pm_{x_{ij}}$ fast überall differenzierbar sind und gleich sind, müssen ihre Ableitungen übereinstimmen, daher ist $f_{x_{ij}}$ in $\Omega_A$ fast überall differenzierbar.

Schritt 3: $f$ ist in fast jedem Punkt von $\Omega_A$ zweimal differenzierbar

Für alle Punkte $x_0 \in \Omega_A$, an denen alle $f_{x_{ij}}$ differenzierbar sind, nutze den Fundamentalsatz der Infinitesimalrechnung für Lipschitz-Funktionen: $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)$

Dies beweist, dass $f$ in $x_0$ zweimal differenzierbar ist.

Technische Innovationen

1. Einführung der Viskositätslösungsmethode: Verbindung von Rangone-Konvexität mit Subharmonizität und Nutzung der Theorie vollständig nichtlinearer elliptischer Gleichungen.
2. Bidirektionale Kontrolltechnik: Das durch Lemma 2.1 etablierte Ober- und Untergrenzen-Verhältnis ist eine Schlüsselinnovation, realisiert durch induktive Argumente der Rangone-Konvexität.
3. Geschickte Anwendung oberer und unterer Faltungen: Kombination von Ideen von Malý und Jensen mit Lipschitz-Funktionen-Ordnungsrelationen zum Beweis der Differenzierbarkeit.
4. Dimensionsinduktion: Im Beweis von Lemma 2.1 wird die Rangone-Struktur durch Induktion über Matrixspalten geschickt ausgenutzt.

Anhang: Maßtheoretischer Beweis für den Fall konvexer Funktionen

Der Autor liefert im Anhang einen vereinfachten Beweis des Alexandrov-Theorems, was selbst ein wertvoller Beitrag ist.

Schlüsselideen

1. Eindimensionale Reduktion: Nutzung der Lebesgue-Tatsache, dass monotone Funktionen fast überall differenzierbar sind
2. Geometrische Beobachtung: Die konvexe Hülle $\text{conv}\{\pm he_j : j = 1, \ldots, n\}$ enthält die offene Kugel $B_{h/\sqrt{n}}$

Maßtheoretische Werkzeuge

Für ein Borel-Maß $\mu$ definiere die Maximalfunktion: $M\mu(x) = \sup\left\{\frac{\mu(I)}{|I|} : x \in I = (a,b)\right\}$

Klassische Schätzung: $|\{M\mu > t\}| \lesssim \mu(\mathbb{R})/t$

Anwendung auf die Hessische konvexer Funktionen

Für das Radon-Maß zweiter Ableitungen $f''$ einer konvexen Funktion $f$: $f''[-2, 2] = f'(2) - f'(-2) \leq 2\text{osc}(f, [-3, 3])$

Taylor-Approximation (durch Glättungsapproximation): $0 \leq f(h) \leq Mf''(0)h^2, \quad 0 \leq f(-h) \leq Mf''(0)h^2$

Herleitung der Schätzung (2.1)

Für feste Richtung $e_i$ und $y \in e_i^\perp$ betrachte $f_y(s) = f(y + se_i)$ und erhalte: $|E_y| \lesssim t^{-1}\text{osc}(f_y, [-3, 3])$

Nutze den Satz von Fubini und geometrische Relationen, um zu erhalten: $|\{\Theta_f > 4nt\} \cap Q_1| \lesssim \frac{\text{osc}(f, Q_3)}{t}$

Dies ergibt den Fall $\epsilon = 1$.

Experimentelle Einrichtung

Anmerkung: Dieser Artikel ist ein reines mathematisches Theoriepapier und beinhaltet keine numerischen Experimente oder rechnerische Verifikationen. Alle Ergebnisse werden durch strenge mathematische Beweise erhalten.

Experimentelle Ergebnisse

Anmerkung: Als reines theoretisches mathematisches Papier hat dieser Artikel keinen Abschnitt zu experimentellen Ergebnissen. Die Hauptergebnisse sind strenge Beweise von Theoremen.

Verwandte Arbeiten

Hauptverwandte Forschungen

1. Alexandrov-Theorem: Klassisches Ergebnis, das besagt, dass konvexe Funktionen fast überall zweimal differenzierbar sind. Dies ist die Grundlage für die Verallgemeinerung in diesem Artikel.
2. Conti, Faraco, Maggi und Müller 1: Untersuchung rangone-konvexer Funktionen auf $2 \times 2$ symmetrischen Matrizen und laminar Strukturen auf rangone-Linien, zeigend, dass Differenzierbarkeit zweiter Ordnung unabhängig davon ist, ob die Hessische ein Maß ist.
3. Kirchheim und Kristensen 3: Untersuchung homogener rangone-konvexer Funktionen ersten Grades, die die komplexe Struktur dieser Funktionsklasse weiter offenbaren.
4. Lin 4 und Mooney 6: $W^{2,\epsilon}$-Schätzungen für vollständig nichtlineare elliptische Gleichungen, die Schlüsselwerkzeuge der Methode dieses Artikels sind.
5. Jensen 2: Maximumprinzip für Viskositätslösungen und obere/untere Faltungstechniken.
6. Malý 5: Einfacher Beweis des Stepanov-Theorems, dessen Ideen in Schritt 2 verwendet werden.

Einzigartige Beiträge dieses Artikels

• Methodologische Innovation: Erste systematische Anwendung von Viskositätslösungstechniken auf die Regularitätsforschung rangone-konvexer Funktionen
• Einheitliche Perspektive: Verbindung von Rangone-Konvexität, Subharmonizität und Theorie vollständig nichtlinearer elliptischer Gleichungen
• Vereinfachung klassischer Beweise: Neuer Beweisweg für das Alexandrov-Theorem

Schlussfolgerungen und Diskussion

Hauptschlussfolgerungen

1. Haupttheorem: Beschränkte rangone-konvexe Funktionen sind in ihrem Definitionsbereich fast überall zweimal differenzierbar.
2. Methodologischer Beitrag: Viskositätslösungstechniken bieten effektive Werkzeuge für die Untersuchung rangone-konvexer Funktionen.
3. Neues Verständnis des klassischen Theorems: Das Alexandrov-Theorem kann auf die Differenzierbarkeit eindimensionaler monotoner Funktionen reduziert werden.

Einschränkungen

1. Beschränktheitsannahme: Das Theorem erfordert Beschränktheit der Funktion; die Verallgemeinerung auf unbeschränkte Fälle erfordert weitere Forschung.
2. Quantitative Schätzungen: Obwohl quantitative Schätzungen im Beweis verwendet werden, wird eine feinere Charakterisierung der Menge nicht differenzierbarer Punkte (z.B. Hausdorff-Dimension) nicht behandelt.
3. Allgemeinere Konvexitätskonzepte: Unklar, ob diese Methode auf quasikonvexe oder polykonvexe Funktionen anwendbar ist.
4. Konstruktivität: Der Beweis ist existenziell und bietet keinen Algorithmus zur Berechnung oder Approximation zweiter Ableitungen.

Zukünftige Richtungen

1. Verallgemeinerung auf andere Konvexitätskonzepte: Untersuchung ähnlicher Ergebnisse für quasikonvexe und polykonvexe Funktionen.
2. Geometrie der Menge nicht differenzierbarer Punkte: Charakterisierung der Hausdorff-Dimension und Struktur dieser Menge.
3. Höhere Ordnung Regularität: Untersuchung höherer Ordnung Differenzierbarkeit rangone-konvexer Funktionen.
4. Anwendungen: Anwendung der Ergebnisse auf Variationsprobleme und praktische Probleme in der Materialwissenschaft.
5. Quantitative Theorie: Entwicklung einer feineren quantitativen Regularitätstheorie.

Tiefgreifende Bewertung

Stärken

1. Starke methodologische Innovation:
   • Erste systematische Anwendung von Viskositätslösungstechniken auf rangone-konvexe Funktionen
   • Die bidirektionale Kontrolltechnik von Lemma 2.1 ist geschickt und tiefgreifend
   • Organische Kombination von Werkzeugen aus verschiedenen Bereichen (konvexe Analysis, Theorie elliptischer Gleichungen)
2. Eleganter und prägnanter Beweis:
   • Artikel nur 4 Seiten (ohne Anhang), aber inhaltsreich
   • Klare Logik, jeder Schritt hat einen klaren Zweck
   • Vermeidung komplexer technischer Details, Fokus auf das Wesentliche
3. Bedeutsamer theoretischer Beitrag:
   • Verallgemeinerung des klassischen Alexandrov-Theorems
   • Bereitstellung neuer Werkzeuge für die Theorie rangone-konvexer Funktionen
   • Der neue Beweis des klassischen Theorems im Anhang hat selbst Wert
4. Klare Darstellung:
   • Angemessene Struktur, klare Motivation
   • Gutes Gleichgewicht zwischen technischen Details und intuitivem Verständnis
   • Angemessene Würdigung verwandter Arbeiten und Ideenquellen

Mängel

1. Unzureichende Diskussion von Anwendungen:
   • Keine Diskussion spezifischer Anwendungen in Variationsrechnung oder Materialwissenschaft
   • Mangelnde Verbindung zu praktischen Problemen
2. Begrenzte quantitative Informationen:
   • Obwohl quantitative Schätzungen verwendet werden, gibt es keine präzise Charakterisierung der Größe der Menge nicht differenzierbarer Punkte
   • Abhängigkeit von Konstanten nicht ausführlich diskutiert
3. Unzureichende Diskussion von Verallgemeinerungen:
   • Diskussion quasikonvexer und polykonvexer Funktionen nur erwähnt
   • Unbeschränkte Funktionen nicht behandelt
4. Technische Details:
   • Einige Beweisschritte (z.B. Gleichheit oberer und unterer Faltungen in Schritt 2) könnten detaillierter sein
   • Erfordert umfangreiches Hintergrundwissen über Viskositätslösungen, möglicherweise nicht ausreichend anfängerfreundlich

Einfluss

1. Theoretischer Einfluss:
   • Bereitstellung wichtiger Werkzeuge für die Theorie rangone-konvexer Funktionen
   • Kann Forschung zu anderen verallgemeinerten Konvexitätskonzepten inspirieren
   • Verbindung von konvexer Analysis und Theorie elliptischer Gleichungen
2. Methodologischer Einfluss:
   • Neue Anwendung von Viskositätslösungstechniken in der Regularitätstheorie
   • Kann Forschungsmethoden in verwandten Bereichen beeinflussen
3. Praktischer Wert:
   • Beitrag zu theoretischen Grundlagen der Variationsrechnung und Materialwissenschaft
   • Theoretische Unterstützung für numerische Methoden
4. Reproduzierbarkeit:
   • Als reines Theoriepapier können Beweise verifiziert und verallgemeinert werden
   • Methoden sind klar und auf ähnliche Probleme anwendbar

Anwendungsszenarien

1. Theoretische Forschung:
   • Regularitätstheorie in der nichtlinearen Analysis
   • Variationsrechnung und Theorie der Differentialinklusionen
   • Mathematische Modelle in der Materialwissenschaft
2. Verwandte Probleme:
   • Regularität anderer verallgemeinerter Konvexitätskonzepte
   • Eigenschaften von Lösungen vollständig nichtlinearer elliptischer Gleichungen
   • Glattheit in Optimierungsproblemen
3. Lehre:
   • Beispiel für Anwendung von Viskositätslösungstechniken
   • Lehrmaterial für moderne Regularitätstheorie

Literaturverzeichnis

Die wichtigsten in diesem Artikel zitierten Werke sind:

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.

Zusammenfassung: Dies ist ein kurzes, aber tiefgreifendes mathematisches Papier, das durch innovative Anwendung von Viskositätslösungstechniken das klassische Alexandrov-Theorem erfolgreich auf rangone-konvexe Funktionen verallgemeinert. Der Hauptwert des Artikels liegt in methodologischen Innovationen und theoretischen Verallgemeinerungen, die neue Forschungswerkzeuge und Perspektiven für verwandte Bereiche bieten. Obwohl der Umfang begrenzt ist, ist der Inhalt reichhaltig, der Beweis elegant, und das Papier ist ein ausgezeichnetes Beispiel moderner Regularitätstheorie.