Die Mizohata-Takeuchi-Vermutung ist eine mathematische Vermutung aus dem Bereich der Harmonischen Analysis, die Anfang des Jahres 2025 von Hannah Cairo widerlegt wurde.Hannah Cairo: A Counterexample to the Mizohata-Takeuchi Conjecture. arXiv:2502.06137 math.CA. 10. Februar 2025; 12. März 2025 (englisch).
Die ursprüngliche Hoffnung war, eine obere Schranke für ein gewisses Integral einer transformierten Funktion zu finden, die sich leicht aus Berechnungen mit Hilfe der Funktion selbst ergibt.
Die Vermutung liefert im einfachsten Fall eine obere Abschätzung für die -Norm der Fourier-Erweiterung einer Funktion auf einer glatten Hyperfläche im euklidischen Raum, die nur von der -Norm der Funktion selbst multipliziert mit der maximalen Röntgentransformation des Gewichts abhängt.
Genauer handelt es sich bei der Vermutung um eine gewichtete -Ungleichung für den Fourier-Erweiterungsoperator. Es wurde behauptet, dass die -Norm der Erweiterung einer Funktion von der Hyperfläche auf für jede nichtnegative Gewichtsfunktion durch ein konstantes Vielfaches der -Norm von nach oben abgeschätzt werden könne, wobei die Kontrolle durch das Supremum der Linienintegrale des Gewichts über alle Geraden in Röhren fester Breite erfolge. (Hier bezeichnet „Röhre“ einen langen, dünnen zylindrischen Bereich in , typischerweise mit festem Radius und beliebiger Länge, wie im Kakeya-Problem.)
Die Vermutung entstand ursprünglich im Rahmen der Untersuchung der Wohlgestelltheit dispersiver partieller Differentialgleichungen.Juan Antonio Barceló, Alberto Ruiz, Mari Cruz Vilela, Jim Wright: A priori estimates of Mizohata-Takeuchi type for the Navier-Lamé operator. arXiv:2501.10133 math.AP. 17. Januar 2025 (englisch). In den 1970er und 1980er Jahren untersuchte Jiro Takeuchi das Anfangswertproblem, das mit einer gestörten Version der linearen Schrödingergleichung verbunden ist. Er behauptete an einer Stelle, dass eine gut definierte Bedingung in sowohl notwendig als auch hinreichend für das zugehörige Cauchy-Problem sei. Sigeru Mizohata stellte im Jahr 1985 fest,Sigeru Mizohata: On the Cauchy Problem (1985). Orlando: Academic Press. ISBN 978-0-12-501660-5 (englisch). dass Takeuchis Argumentation nicht überzeugend war, und zeigte, dass Takeuchis Bedingung zwar notwendig ist, aber ob sie auch hinreichend ist, blieb lange Zeit offen.
Formulierung der Vermutung
Sei eine kompakte -Hyperfläche mit Maß . Der Erweiterungsoperator ist definiert durch:
Die Vermutung von Mizohata und Takeuchi lautet dann:
Sei irgendeine -Hyperfläche im mit Flächenmaß . Sei und ein nichtnegatives Gewicht. Dann gilt:
wobei die -Ray-Transformation von ist.
Gegenbeispiel
Hannah Cairo konnte dagegen Anfang des Jahres 2025 zeigen, dass es für jede -Hyperfläche, die nicht in einer Hyperebene enthalten ist, immer eine entsprechende Funktion und ein Gewicht gibt, so dass die Vermutung falsch ist, genauer:
Für jede -Hyperfläche , die nicht in einer Hyperebene enthalten ist, gibt es ein und ein nichtnegatives Gewicht , so dass gilt:
Einzelnachweise
Kategorie:Vermutung (Mathematik) Kategorie:Gelöstes Problem der Mathematik Kategorie:Harmonische Analyse