Elastic material identifiability experiment lab

Initial decision: Conditional evidence workflow. First dossier, 9 October 2026 Australia/Brisbane. Buyer demand, commercial novelty and profitability are unvalidated.

Research finding

Family 372 states global uniqueness of smooth isotropic Lamé parameters on a bounded connected smooth three-dimensional domain from the full static displacement-to-traction operator. The ellipticity assumptions are μ>0 and 3λ+2μ>0 on the closure. The selected formal statement is uniqueness; it does not provide a reconstruction algorithm.

Problem and buyer

A materials-testing or mechanical-simulation R&D team fits stiffness parameters from displacement and force observations, then needs to understand whether another parameter field could explain the experiment. An attractive initial use is deciding which additional load cases would distinguish candidate models before commissioning more tests. The buyer and willingness to pay remain hypotheses.

What the finding could enable

The theorem supplies an ideal identifiability reference for smooth isotropic elasticity. A lab application could compare a finite experiment to this reference, quantify numerical parameter sensitivity in a chosen discretization, propose candidate extra loads and preserve the distinction between fit quality and recoverability. A custom system can combine an existing finite-element inverse solver with a measurement-design and evidence layer. Any finite experiment-design algorithm is a separate engineering contribution.

Technical and commercial limits

Sparse loads and sensors do not equal the full continuum boundary operator. No stability modulus, noise tolerance, mesh-error bound or anisotropic extension follows from the inspected statement. Geometry uncertainty and boundary calibration may be confounded with material variation. Singular values of a discretized Jacobian are local numerical diagnostics and do not certify global continuum uniqueness.

Minimal architecture

Geometry and constitutive model -> load/sensor manifest -> existing finite-element solver connector -> parameter-to-measurement Jacobian -> local rank/conditioning diagnostics -> candidate-load comparison -> held-out prediction -> source-linked experiment report. Save model, mesh, boundary conditions, solver version, parameter units and run hashes. The first application runs offline on public synthetic examples.

Existing alternatives and differentiation

COMSOL's Optimization Module already supports parameter estimation against simulation and experimental data, as well as design optimization. Competing as a general parameter fitter is weak. The proposed addition is an independent record of identifiability assumptions and finite measurement coverage, tested against an existing COMSOL or equivalent inverse workflow. The vendor documentation is evidence of an existing workflow, not evidence that users want this proposed add-on. COMSOL Optimization Module.

Monetization hypothesis

Test an AUD 10,000–30,000 experiment-review project or an AUD 1,000–3,000 monthly R&D team subscription after a recurring use is established. Proposed prices require evidence of saved test cost or analyst time. An illustrative AUD 18,000 project with 60 specialist hours at AUD 180/hour leaves AUD 7,200 before compute, integration, support, sales and overhead. At 100 specialist hours the fee is exhausted. A project with custom solver integration may need substantially more time, making the initial price unviable.

Validation experiment

On a public smooth isotropic three-dimensional synthetic model, hide several load cases, fit from the remaining measurements and compare alternative parameterizations with similar residuals. Test whether an additional load chosen by local sensitivity improves held-out discrimination more than a simple baseline. Report finite numerical results and avoid claiming that the theorem alone validates the recovered field.

Conditions to reject or defer

Reject if existing parameter-estimation tools already provide the needed diagnostics, if extra measurements cost more than they save, or if integration dominates the budget. Defer a reconstruction engine until a practical procedure, stability assessment and independent validation are available.

Next concrete action

Specify a solver-neutral load/sensor and Jacobian export schema, calculate integration effort for one public example, and identify the smallest numerical study that can distinguish two equally fitted material models.

Pinned research sources

• Family 372: Global Uniqueness for the Smooth Isotropic Elasticity Inverse Problem.
• Family 372: selected formal scope; not independently checked here.

The repository statements are treated as source claims. No full proof review, buyer interview or clinical/engineering certification has been completed.