SearcharxivSearch

arXiv subjects

A. Dileep

Publications and source records attributed to A. Dileep.

2 recordsLinked to original sources

Identification of thermal expansion coefficient in a thermoelastic plate from final time-measured displacement

We investigate a coupled thermoelastic plate system consisting of a fourth-order displacement equation and a heat evolution equation linked through a spatially varying coupling factor $\alpha(x)$. The model accounts for thermoelastic interactions through the operators $\operatorname{div}(\alpha(x)\nabla \theta)$ and $\operatorname{div}(\alpha(x)\nabla u_t)$. We establish the well-posedness of the direct problem under homogeneous Neumann conditions for $u$ and Dirichlet conditions for $\theta$, deriving optimal energy estimates and demonstrating continuous dependence of solutions on the given data. We further introduce an input-output operator corresponding to the considered inverse problem and show that it is compact and Lipschitz continuous, confirming the ill-posed nature of the associated inverse problem. Using these properties, the inverse problem is formulated as a minimization problem for the Tikhonov functional, and we establish the existence of a minimizer.

math.AP

Induction Models on \mathbb{N}

Mathematical induction is a fundamental tool in computer science and mathematics. Henkin initiated the study of formalization of mathematical induction restricted to the setting when the base case B is set to singleton set containing 0 and a unary generating function S. The usage of mathematical induction often involves wider set of base cases and k-ary generating functions with different structural restrictions. While subsequent studies have shown several Induction Models to be equivalent, there does not exist precise logical characterization of reduction and equivalence among different Induction Models. In this paper, we generalize the definition of Induction Model and demonstrate existence and construction of S for given B and vice versa. We then provide a formal characterization of the reduction among different Induction Models that can allow proofs in one Induction Models to be expressed as proofs in another Induction Models. The notion of reduction allows us to capture equivalence among Induction Models.

cs.LO