Luminary Research Archive
Luminary Research ArchiveIndependent scholarship
Luminary Portal

Single-time boundary heat-flux rigidity for smooth domains

Original PDF · First-page preview

Loading original first page…

Abstract

We study recovery of a domain from the entire boundary heat flux at one positive time, for Dirichlet evolution with initial temperature one. Near a ball, after fixing volume and centroid, the flux defect in C^(m−1,α) controls the radial deformation in C^(m,α), where m≥3 and 0<α<1. Dividing the flux by its physical boundary mean gives one stability constant and one shape neighborhood valid for every observation time T≥ T₀>0. This normalization removes the exponential late-time loss of the absolute flux signal; it does not remove sensitivity to fixed absolute measurement noise. The proof combines strict positivity of the spherical heat multipliers above translations with uniform shape-differentiable convergence to the normalized first-eigenfunction flux. We also give a moving-plane proof that constant signed flux on every boundary component at one time forces a bounded connected smooth domain to be a ball, without convexity or connected boundary. In contrast, a moving proper observation cap admits infinitely many nearby normalized nonballs with exactly the ball flux at the prescribed time.

Read the full paper in the original PDF.

Edition files

  • Paper.pdf180.8 KiB · pdf
    SHA-25602789133f6b3e39ba8f3b83d982617789af15a1b904ae8cfc42fd656e1c27239
  • Publication_Package.zip200.9 KiB · package
    SHA-256094147c23bccd49cdcf561bdcab433aa8679f8ce2a21150dc9cd91877a890080

Available editions

  1. Edition 4 · 2026-11-01 · public
  2. Edition 3 · 2026-10-27 · public
  3. Edition 2 · 2026-10-24 · public
  4. Edition 1 · 2026-10-23 · public

Research details

Subjects
Mathematics · Differential Equations
Keywords
heat equation, overdetermined problem, single-time observation, constant boundary flux, moving planes, ball rigidity
Manuscript date
2026-10-29
Reader reuse
none

Scope

Local recovery of volume- and centroid-normalized near-ball domains from the entire same-time Dirichlet heat flux with initial temperature one. Physical-mean normalization gives one strong-Hölder inverse constant and one shape neighborhood uniformly for all T≥T₀>0. The paper includes exact whole-boundary rigidity, exponential raw-flux conditioning and moving-cap nonuniqueness under their stated hypotheses.

Disclosures

Generative AI tools, including ChatGPT and Codex, assisted research exploration, proof development, literature discovery, drafting and internal verification under the author's direction. The author assumes responsibility for the mathematical content and attribution. The author received no external funding or material support and owns Luminary Oddities, which maintains the Luminary Research Archive. No other relevant competing interests are declared.

Reproduction

Seventeen-page analytic manuscript with main.tex and stability.tex, portable Tectonic build.py, reader instructions, citation metadata and a complete member-checksum manifest in a seven-member source package. The actual packaged build reproduces the supplied PDF byte for byte.