Representations of hypersurfaces and minimal smoothness of the midsurface in the theory of shells
Why this work is in the frame
A frame that forgets how it found something cannot be audited. These are the routes that admitted this work.
Bibliographic record
Abstract
Many hypersurfaces ω in R can be viewed as a subset of the boundary Γ of an open subset Ω of R . In such cases, the gradient and Hessian matrix of the associated oriented distance function bΩ to the underlying set Ω completely describe the normal and the N fundamental forms of ω, and a fairly complete intrinsic theory of Sobolev spaces on C-hypersurfaces is available in [8]. In the theory of thin shells, the asymptotic model only depends on the choice of the constitutive law, the midsurface, and the space of solutions that properly handles the loading applied to the shell and the boundary conditions. A central issue is the minimal smoothness of the midsurface to still make sense of asymptotic membrane shell and bending equations without ad hoc mechanical or mathematical assumptions. This is possible for a C-midsurface with or without boundary and without local maps, local bases, and Christoffel symbols via the purely intrinsic methods developed by Delfour and Zolesio starting with [12] in 1992. Anicic, LeDret, and Raoult [2] introduced in 2004 a family of surfaces ω that are the image of a connected bounded open Lipschitzian domain in R by a bi-Lipschitzian mapping with the assumption that the normal field is globally Lipschizian. From this, they construct a tubular neighborhood of thickness 2h around the surface and show that for sufficiently small h the associated tubular neighborhood mapping is bi-Lipschitzian. We prove that such surfaces are Csurfaces with a bounded measurable second fundamental form. We show that the tubular neighborhood can be completely described by the algebraic distance function to ω and that it is generally not a Lipschitzian domain in R by providing the example of a plate around a flat surface ω verifying all their assumptions. Therefore, the G1-join of K-regular patches in the sense of Le Dret [19] generates a new K-regular patch that is a C-surface and the join is C. Finally, we generalize everything to hypersurfaces generated by a bi-Lipschitzian mapping defined on a domain with facets (e.g. for sphere, torus). We also give conditions for the decomposition of a C-hypersurface into C-patches. This research has been supported by National Sciences and Engineering Research Council of Canada discovery grant A–8730. Centre de recherches mathematiques et Departement de mathematiques et de statistique, Universite de Montreal, C. P. 6128, succ. Centre-ville, Montreal (Qc), Canada H3C 3J7, delfour@CRM.UMontreal.CA
Fetched live from OpenAlex and de-inverted. Abstracts are not stored in this database: the inverted indexes are 8.6 GB of the frame’s 9.3 GB of text, and the host has 13 GB free.
Full frame distilled prediction
Teacher imitationNot calibrated prevalence, not ground truth. Human validation pending. Learned from the 10,348 direct Codex labels and 10,348 direct Gemma labels. Candidate is the union of thresholded teacher heads; consensus is their intersection. These outputs are machine_predicted_unvalidated and are not human labels or direct frontier model labels.
Codex and Gemma teacher scores by category
| Category | Codex | Gemma |
|---|---|---|
| Metaresearch | 0.000 | 0.000 |
| Meta-epidemiology (narrow) | 0.000 | 0.000 |
| Meta-epidemiology (broad) | 0.000 | 0.000 |
| Bibliometrics | 0.000 | 0.000 |
| Science and technology studies | 0.000 | 0.000 |
| Scholarly communication | 0.000 | 0.000 |
| Open science | 0.000 | 0.000 |
| Research integrity | 0.000 | 0.000 |
| Insufficient payload (model declined to judge) | 0.000 | 0.000 |
Machine scores (provisional)
The two teacher heads of the student model, read on this work. A score orders the frame for review; it never asserts a category, and the validation status ships verbatim with every row.
Baseline scores from an immature model (maturity gate not passed, 7 training rounds). Scores rank; they never assert a category.
score_only:v0-immature-baseline · verbatim from the scoring run: score_only means the number may rank works, and no category label ships from it