pith. sign in

arxiv: 2309.04497 · v3 · submitted 2023-09-07 · 🧮 math-ph · math.MP

Formal derivation of an inversion formula for the approximation of interface defects by means of active thermography

Gabriele Inglese , Raffaele Inglese This is my paper

Pith reviewed 2026-05-24 06:43 UTC · model grok-4.3

classification 🧮 math-ph math.MP
keywords inversion formulaactive thermographyinterface defectstwo-layered conductorLaplace transformreciprocitynondestructive evaluationparabolic operators
0
0 comments X

The pith

An inversion formula derived via Laplace transforms and reciprocity symmetries approximates interface defects from active thermography surface data in two-layered conductors.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper derives a formal inversion formula to evaluate perturbations in interface thermal conductance caused by defects in a two-layered composite conductor. The specimen is heated externally while an infrared camera records surface temperature; the formula reconstructs the defects from those measurements. A sympathetic reader would care because the approach offers a nondestructive, non-contact method for inspecting hidden interfaces in composite materials where direct access is impossible. The derivation applies the Laplace transform to the governing heat equation and invokes reciprocity symmetries of the parabolic operators to obtain an explicit reconstruction. Numerical tests on simulated data indicate that the inversion produces usable approximations of defect locations and strengths.

Core claim

The central claim is that an explicit inversion formula for the approximation of interface thermal-conductance perturbations can be obtained by Laplace transformation of the heat equation together with reciprocity symmetries of the parabolic operators; this formula recovers quantitative information about interface defects directly from surface temperature histories recorded in an active thermography experiment.

What carries the argument

The inversion formula obtained by Laplace transformation of the heat equation combined with reciprocity symmetries of the parabolic differential operators, which converts surface temperature data into an approximation of interface thermal conductance defects.

If this is right

  • Surface temperature measurements alone suffice to approximate hidden interface defects without direct interface access.
  • The method supplies a quantitative nondestructive evaluation tool for two-layered composite conductors.
  • Numerical reconstruction from simulated data already produces encouraging defect maps.
  • The same Laplace-reciprocity route can be applied to other parabolic systems with layered geometry.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • Extension of the formula to real experimental noise and finite camera resolution would test its engineering utility.
  • Analogous reciprocity identities might yield inversion formulas for defect detection in other diffusion-governed layered media.
  • Coupling the formula with optimization routines could refine defect-shape recovery beyond the current linear approximation.

Load-bearing premise

Reciprocity symmetries of the parabolic differential operators continue to hold for the heat flow even after interface defects appear.

What would settle it

Numerical inversion with the derived formula on simulated temperature data containing known interface defects fails to recover the defect positions or magnitudes within the reported accuracy.

Figures

Figures reproduced from arXiv: 2309.04497 by Gabriele Inglese, Raffaele Inglese.

Figure 1
Figure 1. Figure 1: Geometry of the problem in 2D: Ω = Ω− ∪ Σ ∪ Ω + The inverse problem at hand is closely related to the class of Inverse Heat Conduction Problems that are well known to be severely ill-posed (see [4]). Hence the geometrical assumption that a++a− D < 1. Thermal behavior of each layer Ω± is determined by its conductivity κ ±, density ρ ± and specific heat c ±. Let u ±(x, z, t) with (x, z) ∈ Ω ± and t > 0 the t… view at source ↗
read the original abstract

Thermal properties of a two-layered composite conductor are modified in case the interface is damaged. The present paper deals with nondestructive evaluation of perturbations of interface thermal conductance due to the presence of defects. The specimen is heated by means of a lamp system or a laser while its surface temperature is measured with an infrared camera in the typical framework of Active Thermography. Defects affecting the interface are evaluated using an inversion formula obtained by means of Laplace transformation and suitable symmetries of parabolic differential operators (reciprocity). Results of numerical inversion from simulated data are encouraging

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The paper claims to derive an explicit inversion formula for perturbations of interface thermal conductance in a two-layered composite, obtained via Laplace transformation of the heat equation combined with reciprocity symmetries of parabolic operators. The formula is then used to evaluate defects from surface temperature measurements in active thermography, with numerical tests on simulated data reported as encouraging.

Significance. If the derivation is rigorous, the result would supply a direct, non-iterative inversion procedure that exploits mathematical structure rather than optimization, which is potentially useful for nondestructive evaluation. The formal approach and use of reciprocity are strengths, but the significance is limited by the absence of error bounds, comparison to other inversion methods, and verification that the underlying symmetry survives the defect-induced change in transmission conditions.

major comments (2)
  1. [§3] §3 (derivation of the inversion formula): the reciprocity identity (Green's second identity applied to the forward and adjoint solutions) is invoked to obtain the explicit formula, yet the manuscript does not verify that this identity continues to hold under the modified transmission conditions that model the interface defect. The standard derivation assumes continuity of temperature and normal heat flux; once a defect introduces a jump or reduced conductance, the boundary term on the interface no longer vanishes identically, so the step that isolates the defect perturbation requires an additional justification or error estimate.
  2. [§4] §4 (numerical experiments): all forward data are generated from the same transmission model used in the derivation, so the tests cannot detect a breakdown of the reciprocity step itself. An independent check—either an analytic counter-example with a known defect or a comparison against a fully resolved finite-element solution that does not presuppose reciprocity—would be needed to confirm that the inversion formula remains accurate when the symmetry is only approximate.
minor comments (2)
  1. Notation for the Laplace variable and the transformed temperature field is introduced without a dedicated symbol table; a short table or consistent use of hats versus tildes would improve readability.
  2. [§4] The abstract states that results are 'encouraging' but supplies no quantitative error measures (e.g., relative L2 error on the recovered conductance map); adding these figures to §4 would strengthen the numerical section.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the detailed and constructive report. We address the two major comments point by point below, indicating planned revisions where appropriate. The formal nature of the derivation is retained while strengthening the justification of the reciprocity step.

read point-by-point responses

  1. Referee: §3 (derivation of the inversion formula): the reciprocity identity (Green's second identity applied to the forward and adjoint solutions) is invoked to obtain the explicit formula, yet the manuscript does not verify that this identity continues to hold under the modified transmission conditions that model the interface defect. The standard derivation assumes continuity of temperature and normal heat flux; once a defect introduces a jump or reduced conductance, the boundary term on the interface no longer vanishes identically, so the step that isolates the defect perturbation requires an additional justification or error estimate.

    Authors: We agree that an explicit verification is needed. In the revised manuscript we will insert a short calculation in §3 showing that, under the transmission conditions used to model the defect (continuous temperature, jump in normal flux proportional to the local conductance perturbation), the interface boundary term produced by Green's identity is exactly equal to the integral of the conductance perturbation times the product of the forward and adjoint temperatures. This term is then isolated by the reciprocity argument, yielding the inversion formula without remainder. The calculation uses only the weak form of the transmission conditions already stated in the paper and does not require additional assumptions. revision: yes

  2. Referee: §4 (numerical experiments): all forward data are generated from the same transmission model used in the derivation, so the tests cannot detect a breakdown of the reciprocity step itself. An independent check—either an analytic counter-example with a known defect or a comparison against a fully resolved finite-element solution that does not presuppose reciprocity—would be needed to confirm that the inversion formula remains accurate when the symmetry is only approximate.

    Authors: The numerical section is intended only to illustrate the practical use of the formally derived formula on data consistent with the modeling assumptions. We acknowledge that this does not constitute an independent validation of the reciprocity step. In the revision we will add a brief discussion of this limitation and, if space permits, include one additional test in which the forward data are generated by a standard finite-element code that enforces the transmission conditions directly (without invoking the reciprocity identity used in the inversion). revision: partial

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained under stated assumptions

full rationale

The paper derives an inversion formula via Laplace transform applied to the heat equation together with reciprocity symmetries of parabolic operators. No quoted step reduces the claimed result to its own inputs by construction, nor does any load-bearing premise collapse to a self-citation, fitted parameter renamed as prediction, or ansatz imported from the authors' prior work. Reciprocity is treated as an external symmetry whose applicability to the perturbed interface is an explicit modeling assumption rather than a derived claim; the numerical tests on simulated data therefore test the inversion step inside that model and do not create a circular loop. The derivation chain remains independent of the target defect parameters.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Based on abstract only; the derivation relies on Laplace transformation and reciprocity symmetries as standard tools in PDEs for heat transfer, with no free parameters or invented entities identifiable.

axioms (1)
  • domain assumption Suitable symmetries of parabolic differential operators (reciprocity) hold for the system with interface defects.
    Invoked in the derivation of the inversion formula from the abstract.

pith-pipeline@v0.9.0 · 5613 in / 1162 out tokens · 25558 ms · 2026-05-24T06:43:42.435892+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

15 extracted references · 15 canonical work pages

  1. [1]

    Abreu, M

    L. Abreu, M. Colaco, H. Orlande and C. Alves, Thermography detection of contact failures in double layered materials using the reciprocity functional approach. Applied Thermal Engineering 100:1173-1178 DOI:10.1016/j.applthermaleng.2016.02.078 (2016)

    work page doi:10.1016/j.applthermaleng.2016.02.078 2016

  2. [2]

    Constantinescu, Reciprocity gap method

    S.Andrieux, H D Bui and A. Constantinescu, Reciprocity gap method. Michel Grediac; Francois Hild; Andre Pineau. Full-Field Measurements and Identification in Solid Mechanics, Wiley- VCH, pp.368-378, 2012, 978-1-84821-294-7. 10.1002/9781118578469.ch13 . hal-00762187

    work page doi:10.1002/9781118578469.ch13 2012

  3. [3]

    Ben Abda, The reciprocity gap: a general con- cept for flaws identification problems

    S.Andrieux and A. Ben Abda, The reciprocity gap: a general con- cept for flaws identification problems. Mechanics Research Commu- nications Volume 20 (5)Pages 415-420 (1993)

    work page 1993

  4. [4]

    Woodbury, Hamidreza Najafi, Filippo de Monte, James V

    Keith A. Woodbury, Hamidreza Najafi, Filippo de Monte, James V. Beck, Inverse Heat Conduction: Ill-Posed Problems, 2nd Edition ISBN: 978-1-119-84019-0 Wiley (2023)

    work page 2023

  5. [5]

    A Ben Abda and H D Bui, Planar crack identification for the tran- sient heat equation. J. Inv. Ill-Posed problems vol 11(1) pp 27-31 (2003)

    work page 2003

  6. [6]

    Cangiani, E.H

    A. Cangiani, E.H. Georgoulis and Y. A. Sabawi , Adaptive dis- continuous Galerkin methods for elliptic interface problems. Math. Comp. 87 (2018), 2675-2707

    work page 2018

  7. [7]

    Freitas, M

    G. Freitas, M. Colaco and R. Andrade, Thermal Con- tact Conductance Estimation on Irregular Interfaces Using the Reciprocity Functional Method. Heat Transfer Engineering, https://doi.org/10.1080/01457632.2023.2178280 (2023)

    work page doi:10.1080/01457632.2023.2178280 2023

  8. [8]

    Rendiconti Istituto Matematico Universita di Trieste vol 54 Art 3 DOI: 10.13137/2464-8728/33587 (2022)

    Inglese G, Olmi R, A note about the well-posedness of an Initial Boundary Value Problem for the heat equation in a layered domain. Rendiconti Istituto Matematico Universita di Trieste vol 54 Art 3 DOI: 10.13137/2464-8728/33587 (2022)

    work page doi:10.13137/2464-8728/33587 2022

  9. [9]

    to appear in Italian Journal of Pure and Applied Mathematics (2023) 13

    Inglese G, Olmi R, Nondestructive evaluation of interface defects in layered media. to appear in Italian Journal of Pure and Applied Mathematics (2023) 13

    work page 2023

  10. [10]

    Incropera, F.P.; Dewitt, D.P.; Bergman, T.L.; Lavine, A.S.Princi- ples of Heat and Mass Transfer, 7th ed.; Wiley: Singapore, 2003

    work page 2003

  11. [11]

    Javili, S

    A. Javili, S. Kaessmair and P. Steinmann, General Imperfect Inter- faces. Comput. Methods Appl. Mech. Engrg. 275 76-97 (2014)

    work page 2014

  12. [12]

    Maldague Nondestructive Evaluation of Materials by Infrared Thermography

    X. Maldague Nondestructive Evaluation of Materials by Infrared Thermography. Springer, New York 1993

    work page 1993

  13. [13]

    Meola, C., Carlomagno G. M. and Giorleo, L. . Geometrical limi- tations to detection of defects in composites by means of infrared thermography. Journal of Nondestructive Evaluation, 23(4), 125-132 (2004)

    work page 2004

  14. [14]

    Pagani and D

    M. Pagani and D. Pierotti, Identifiability problems of defects with the Robin condition. Inverse Problems 25 055007 (12pp) (2009)

    work page 2009

  15. [15]

    Infrared Physics and Technology 125, https://doi.org/10.1016/j.infrared.2022.104268 (2022) 14

    Scalbi A., Bozzoli F, Cattani L, Inglese G, Malavasi M, Olmi R Thermal imaging of inaccessible interfaces. Infrared Physics and Technology 125, https://doi.org/10.1016/j.infrared.2022.104268 (2022) 14

    work page doi:10.1016/j.infrared.2022.104268 2022