{
  "schema_version": 1,
  "problem_number": "OWR-8415343-001",
  "title": "A Composition Estimate for Fourier Series with the Supremum in Time Inside the Sum, and a Question of Chruściel",
  "author": {
    "name": "Alper Ferudun",
    "affiliation": "Mercury Software GmbH",
    "url": "https://github.com/AlperTheKing"
  },
  "abstract": "P. T. Chruściel asked (Oberwolfach Reports 18 (2021)) whether the classical composition estimate in the Sobolev space H^s(T²), s > 1, survives when the functions depend on a parameter t and the supremum over t is taken for each Fourier coefficient separately, inside the weighted sum. With N_s(u) = Σ_{ℓ∈Z²} (1+|ℓ|)^{2s} sup_t |u_ℓ(t)|²: given a smooth function G with G(0) = 0, is there a constant C₂ = C₂(G, s) such that N_s(G∘φ) ≤ C₂ N_s(φ) whenever N_s(φ) ≤ 1? This estimate is the hypothesis of a conditional existence theorem for the Einstein–Maxwell equations for Robinson–Trautman metrics stated there. We show that the answer is yes, in every dimension d ≥ 1 and for every s > d/2, with explicit constants, and for every G ∈ C^k with G(0) = 0 and k > M + 3/2, where M is the exponent in the following bound. The proof rests on a polynomial bound for exponentials: N_s(e^{iλφ})^{1/2} ≤ C (1+|λ|)^M uniformly over the real-valued families with N_s(φ) ≤ 1, with M = s + d/2 if s > 1 + d/2 and M arbitrarily close to (s + d/2)/(s − d/2) otherwise. For an explicit family the left side is at least c λ^{s+d/2}, whereas the quantity with the supremum outside the sum grows like λ^s on this family; so the bound is sharp for s > 1 + d/2, and the loss λ^{d/2} is the loss of Parseval's identity under the mode-by-mode supremum. Some smoothness of G is necessary: for every k < s + d/2 the estimate fails for some G ∈ C^k with G(0) = 0. The method is known from weighted Fourier algebras (Leblanc) and from modulation spaces (Reich and Sickel), and the necessity argument follows Katznelson and Leblanc; we did not find the estimate for this space in the literature, and the two closest composition theorems that we know, for modulation spaces, do not cover the case which corresponds to it by analogy. The exact growth rate of the exponentials for d/2 < s ≤ 1 + d/2 and the minimal smoothness of G are not determined, and the constants are very large. This is an unrefereed note.",
  "result_type": "COMPLETE_PROOF",
  "categories": [
    "math.FA",
    "math.CA",
    "math.AP"
  ],
  "keywords": [
    "composition operators",
    "superposition operators",
    "Fourier series",
    "Sobolev spaces on the torus",
    "supremum in time",
    "weighted Fourier algebras",
    "functions which operate",
    "modulation spaces",
    "Robinson–Trautman metrics",
    "complete answer",
    "Oberwolfach Reports problems",
    "UnsolvedMath",
    "OWR-8415343-001",
    "math.FA",
    "math.CA",
    "math.AP",
    "open mathematics"
  ],
  "manuscript_version_date": "2026-10-09",
  "publication_date": "2026-10-09",
  "publication_date_kind": "first public online release",
  "version": "1.0",
  "date_modified": "2026-10-09",
  "presentation_revision_only": false,
  "doi_archived_file_version": "1.0",
  "status": "unrefereed preprint",
  "canonical_url": "https://eulersolve.org/papers/owr-8415343-001/",
  "pdf_url": "https://eulersolve.org/papers/owr-8415343-001/paper.pdf?v=0dd8169c7381",
  "doi": "10.5281/zenodo.23272241",
  "zenodo_record_url": "https://zenodo.org/records/23272241",
  "license": "https://creativecommons.org/licenses/by/4.0/",
  "scope_caveat": "Answers a question of P. T. Chruściel (Oberwolfach Reports 18 (2021)) in the affirmative: the composition estimate with the supremum in time inside the sum holds for every smooth G with G(0) = 0, in every dimension, with explicit constants. The method is known from weighted Fourier algebras (Leblanc) and modulation spaces (Reich and Sickel); the note claims no theorem about modulation spaces. Not determined: the exact growth exponent of the exponentials for d/2 < s <= 1 + d/2 and the minimal smoothness of G; the constants are very large. The paper of Chruściel and Tod to which the source refers was not found, so the use of the estimate there could not be checked. No priority is claimed.",
  "files": {
    "paper.pdf": {
      "sha256": "0dd8169c738142b17b1cf151f39d79b94ffa74522b74ebc487d47f831ee7c555"
    },
    "source.zip": {
      "sha256": "ead4d3aefec8f01ce220e92bfb4777ea83102681cdce130d43e74219c3c955db"
    },
    "verification_report.md": {
      "sha256": "3e23b454f9773f99ab21a8384499dd72d2ce7d8d685ebbd34e66bce7075dcf70"
    }
  },
  "ai_use_disclosure": "AI-assisted tools supported research, computation, proof development, and manuscript preparation. The author remains responsible for all claims and the final text."
}