We discuss, in the context of inverse linear problems in Hilbert space, the notion of the associated infinite-dimensional Krylov subspace and we produce necessary and sufficient conditions for the Krylov-solvability of a given inverse problem, together with a series of model examples and numerical experiments.
An elastic bilayer, consisting of an equibiaxially pre-stretched sheet bonded to a stress-free one, spontaneously morphs into curved shapes in the absence of external loads or constraints. Using experiments and numerical simulations, we explore the role of geometry for square and rectangular samples in determining the equilibrium shape of the system, for a fixed pre-stretch. We classify the observed shapes over a wide range of aspect ratios according to their curvatures and compare measured and computed values, which show good agreement. In particular, as the bilayer becomes thinner, a bifurcation of the principal curvatures occurs, which separates two scaling regimes for the energy of the system. We characterize the transition between these two regimes and show the peculiar features that distinguish square from rectangular samples. The results for our model bilayer system may help explaining morphing in more complex systems made of active materials.
In the framework of inverse linear problems on infinite-dimensional Hilbert space, we prove the convergence of the conjugate gradient iterates to an exact solution to the inverse problem in the most general case where the self-adjoint, non-negative operator is unbounded and with minimal, technically unavoidable assumptions on the initial guess of the iterative algorithm. The convergence is proved to always hold in the Hilbert space norm (error convergence), as well as at other levels of regularity (energy norm, residual, etc.) depending on the regularity of the iterates. We also discuss, both analytically and through a selection of numerical tests, the main features and differences of our convergence result as compared to the case, already available in the literature, where the operator is bounded.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.