Showing 1–2 of 2 results for author: Horner, C L

Extension of convex functions from a hyperplane to a half-space

Authors: John M. Ball, Christopher L. Horner

Abstract: It is shown that a possibly infinite-valued proper lower semicontinuous convex function on ${\mathbb R}^n$ has an extension to a convex function on the half-space ${\mathbb R}^n\times[0,\infty)$ which is finite and smooth on the open half-space ${\mathbb R}^n\times(0,\infty)$. The result is applied to nonlinear elasticity, where it clarifies how the condition of polyconvexity of the free-energy de… ▽ More It is shown that a possibly infinite-valued proper lower semicontinuous convex function on ${\mathbb R}^n$ has an extension to a convex function on the half-space ${\mathbb R}^n\times[0,\infty)$ which is finite and smooth on the open half-space ${\mathbb R}^n\times(0,\infty)$. The result is applied to nonlinear elasticity, where it clarifies how the condition of polyconvexity of the free-energy density $ψ(Dy)$ is best expressed when $ψ(A)\to\infty$ as $\det A\to 0+$. △ Less

Submitted 29 March, 2024; v1 submitted 5 November, 2023; originally announced November 2023.

Comments: To appear in Calc Var PDE

MSC Class: 26B25 49J45 74B20

Image comparison and scaling via nonlinear elasticity

Authors: John M. Ball, Christopher L. Horner

Abstract: A nonlinear elasticity model for comparing images is formulated and analyzed, in which optimal transformations between images are sought as minimizers of an integral functional. The existence of minimizers in a suitable class of homeomorphisms between image domains is established under natural hypotheses. We investigate whether for linearly related images the minimization algorithm delivers the li… ▽ More A nonlinear elasticity model for comparing images is formulated and analyzed, in which optimal transformations between images are sought as minimizers of an integral functional. The existence of minimizers in a suitable class of homeomorphisms between image domains is established under natural hypotheses. We investigate whether for linearly related images the minimization algorithm delivers the linear transformation as the unique minimizer. △ Less

Submitted 20 March, 2023; v1 submitted 17 March, 2023; originally announced March 2023.

Comments: SSVM2023 Proceedings to appear. New references added plus related minor changes

MSC Class: 65D19 74B20 49J10