Showing 1–19 of 19 results for author: Campbell, D

Diffeomorphic approximation of piecewise affine homeomorphisms

Authors: Daniel Campbell, Luigi D'Onofrio, Tomáš Vítek

Abstract: Given any $f$ a locally finitely piecewise affine homeomorphism of $Ω\subset \mathbb{R}^d$ onto $Δ\subset \mathbb{R}^d$ (for $d=3, 4$) such that $f\in W^{1,p}(Ω, \mathbb{R}^d)$ and $f^{-1}\in W^{1,q}(Δ, \mathbb{R}^d)$, $1\leq p ,q < \infty$ and any $ε>0$ we construct a diffeomorphism $\tilde{f}$ such that… ▽ More Given any $f$ a locally finitely piecewise affine homeomorphism of $Ω\subset \mathbb{R}^d$ onto $Δ\subset \mathbb{R}^d$ (for $d=3, 4$) such that $f\in W^{1,p}(Ω, \mathbb{R}^d)$ and $f^{-1}\in W^{1,q}(Δ, \mathbb{R}^d)$, $1\leq p ,q < \infty$ and any $ε>0$ we construct a diffeomorphism $\tilde{f}$ such that $$\|f-\tilde{f}\|_{W^{1,p}(Ω,\mathbb{R}^d)} + \|f^{-1}-\tilde{f}^{-1}\|_{W^{1,q}(Δ,\mathbb{R}^d)} < ε.$$ △ Less

Submitted 3 July, 2025; originally announced July 2025.

A note on Sobolev-Lorentz Capacity and Hausdorff measure

Authors: Daniel Campbell

Abstract: In this paper we give an elementary proof that sets of zero $p,1$-Sobolev-Lorentz capacity are $\mathcal{H}^{n-p}$-null sets independently of non-linear potential theory. We further show that there exists a set of Sobolev-Lorentz-$(p,1)$ capacity equal zero with Hausdorff dimension equal $n-p$. In this paper we give an elementary proof that sets of zero $p,1$-Sobolev-Lorentz capacity are $\mathcal{H}^{n-p}$-null sets independently of non-linear potential theory. We further show that there exists a set of Sobolev-Lorentz-$(p,1)$ capacity equal zero with Hausdorff dimension equal $n-p$. △ Less

Submitted 1 July, 2025; v1 submitted 27 June, 2025; originally announced June 2025.

Mission $p<n-1$: Possible -- Nonlinear Elasticity Beyond Conventional Limits

Authors: Daniel Campbell, Anna Doležalová, Stanislav Hencl

Abstract: In this paper we prove the lower semicontinuity of a Neohookean-type energy for a model of Nonlinear Elasticity that allows, for the first time, for $p<n-1$. Our class of admissible deformations consists of weak limits of Sobolev $W^{1,p}$ homeomorphisms. We also introduce a model that allows for cavitations by studying weak limits of homeomorphisms that can open cavities at some points. In this m… ▽ More In this paper we prove the lower semicontinuity of a Neohookean-type energy for a model of Nonlinear Elasticity that allows, for the first time, for $p<n-1$. Our class of admissible deformations consists of weak limits of Sobolev $W^{1,p}$ homeomorphisms. We also introduce a model that allows for cavitations by studying weak limits of homeomorphisms that can open cavities at some points. In this model we add the measure of the created surface to the energy functional and for this functional we again prove lower semicontinuity. △ Less

Submitted 16 June, 2025; v1 submitted 9 June, 2025; originally announced June 2025.

Comments: Corrected typos, most importantly in equation (1.1)

MSC Class: 49J45

Non-interpenetration of rods derived by $Γ$-limits

Authors: Barbora Benešová, Daniel Campbell, Stanislav Hencl, Martin Kružík

Abstract: Ensuring non-interpenetration of matter is a fundamental prerequisite when modeling the deformation response of solid materials. In this contribution, we thoroughly examine how this requirement, equivalent to the injectivity of deformations within bulk structures, manifests itself in dimensional-reduction problems. Specifically, we focus on the case of rods embedded in a two-dimensional plane. Our… ▽ More Ensuring non-interpenetration of matter is a fundamental prerequisite when modeling the deformation response of solid materials. In this contribution, we thoroughly examine how this requirement, equivalent to the injectivity of deformations within bulk structures, manifests itself in dimensional-reduction problems. Specifically, we focus on the case of rods embedded in a two-dimensional plane. Our results focus on $Γ$-limits of energy functionals that enforce an admissible deformation to be a homeomorphism. These $Γ$-limits are evaluated along a passage from the bulk configuration to the rod arrangement. The proofs rely on the equivalence between the weak and strong closures of the set of homeomorphisms from $\mathbb{R}$ to $\mathbb{R}^2$, a result that is of independent interest and that we establish in this paper, too. △ Less

Submitted 8 October, 2024; v1 submitted 8 February, 2024; originally announced February 2024.

MSC Class: 49J45; 35Q74; 74B20

Point-wise characterizations of limits of planar Sobolev homeomorphisms and their quasi-monotonicity

Authors: Daniel Campbell

Abstract: We present three novel classifications of the weak sequential (and strong) limits in $W^{1,p}$ of planar diffeomorphisms. We introduce a concept called the QM condition which is a kind of separation property for pre-images of closed connected sets and show that $u$ satisfies this property exactly when it is the limit of Sobolev homeomorphisms. Further, we prove that… ▽ More We present three novel classifications of the weak sequential (and strong) limits in $W^{1,p}$ of planar diffeomorphisms. We introduce a concept called the QM condition which is a kind of separation property for pre-images of closed connected sets and show that $u$ satisfies this property exactly when it is the limit of Sobolev homeomorphisms. Further, we prove that $u\in W^{1,p}_{\operatorname{id}}((-1,1)^2,\mathbb{R}^2)$ is the limit of a sequence of homeomorphisms exactly when there are classically monotone mappings $g_δ:[-1,1]^2\to \mathbb{R}^2$ and very small open sets $U_δ$ such that $g_δ = u$ on $[-1,1]^2 \setminus U_δ$. Also, we introduce the so-called three curve condition, which is in some sense reminiscent of the NCL condition of \cite{CPR} but for $u^{-1}$ instead of for $u$, and prove that a map is the $W^{1,p}$ limit of planar Sobolev homeomorphisms exactly when it satisfies this property. This improves on results in \cite{DPP} answering the question from \cite{IO2}. △ Less

Submitted 22 January, 2024; v1 submitted 19 January, 2024; originally announced January 2024.

Classification of area-strict limits of planar BV homeomorphisms

Authors: Daniel Campbell, Aapo Kauranen, Emanuela Radici

Abstract: We present a classification of area-strict limits of planar $BV$ homeomorphisms. This class of mappings allows for cavitations and fractures but fulfil a suitable generalization of the INV condition. As pointed out by J. Ball [4], these features are expected in limit configurations of elastic deformations. In [12], De Philippis and Pratelli introduced the \emph{no-crossing} condition which charact… ▽ More We present a classification of area-strict limits of planar $BV$ homeomorphisms. This class of mappings allows for cavitations and fractures but fulfil a suitable generalization of the INV condition. As pointed out by J. Ball [4], these features are expected in limit configurations of elastic deformations. In [12], De Philippis and Pratelli introduced the \emph{no-crossing} condition which characterizes the $W^{1,p}$ closure of planar homeomorphisms. In the current paper we show that a suitable version of this concept is equivalent with a map, $f$, being the area-strict limit of BV homeomorphisms. This extends our results from [10], where we proved that the \emph{no-crossing BV} condition for a BV map was equivalent with the map being the m-strict limit of homeomorphisms (i.e. $f_k$ converges $w^*$ to $f$ and $|D_1f_k|(Ω)+|D_2f_k|(Ω) \to |D_1f|(Ω)+|D_2f|(Ω)$). Further we show that the \emph{no-crossing BV} condition is equivalent with a seemingly stronger version of the same condition. △ Less

Submitted 16 December, 2022; originally announced December 2022.

Minimal Extension for the $α$-Manhattan norm

Authors: Daniel Campbell, Aapo Kauranen, Emanuela Radici

Abstract: Let $\partial \mathcal{Q}$ be the boundary of a convex polygon in $\mathbb{R}^2$, $e_α= (\cosα, \sin α)$ and $e_α^{\bot} = (-\sinα, \cos α)$ be a basis of $\mathbb{R}^2$ for some $α\in[0,2π)$ and $φ:\partial\mathcal{Q} \to\mathbb{R}^2$ be a continuous, finitely piecewise linear injective map. We construct a finitely piecewise affine homeomorphism $v: \mathcal{Q} \to \mathbb{R}^2$ coinciding with… ▽ More Let $\partial \mathcal{Q}$ be the boundary of a convex polygon in $\mathbb{R}^2$, $e_α= (\cosα, \sin α)$ and $e_α^{\bot} = (-\sinα, \cos α)$ be a basis of $\mathbb{R}^2$ for some $α\in[0,2π)$ and $φ:\partial\mathcal{Q} \to\mathbb{R}^2$ be a continuous, finitely piecewise linear injective map. We construct a finitely piecewise affine homeomorphism $v: \mathcal{Q} \to \mathbb{R}^2$ coinciding with $φ$ on $\partial \mathcal{Q}$ such that the following property holds: $|\langle Dv, e_α\rangle|(\mathcal{Q})$ (resp. $\langle Dv, e_α^{\bot}\rangle|(\mathcal{Q})$) is as close as we want to $\inf |\langle Du, e_α\rangle|(\mathcal{Q})$ (resp. $\inf |\langle Du, e_α^{\bot}\rangle|(\mathcal{Q})$) where the infimum is meant over the class of all $BV$ homeomorphisms $u$ extending $φ$ inside $\mathcal{Q}$. This result extends that already proven in [14] in the shape of the domain. △ Less

Submitted 16 December, 2022; originally announced December 2022.

Injectivity in second-gradient Nonlinear Elasticity

Authors: D. Campbell, S. Hencl, A. Menovschikov, S. Schwarzacher

Abstract: We study injectivity for models of Nonlinear Elasticity that involve the second gradient. We assume that $Ω\subset\mathbb{R}^n$ is a domain, $f\in W^{2,q}(Ω,\mathbb{R}^n)$ satisfies $|J_f|^{-a}\in L^1$ and that $f$ equals a given homeomorphism on $\partial Ω$. Under suitable conditions on $q$ and $a$ we show that $f$ must be a homeomorphism. As a main new tool we find an optimal condition for $a$… ▽ More We study injectivity for models of Nonlinear Elasticity that involve the second gradient. We assume that $Ω\subset\mathbb{R}^n$ is a domain, $f\in W^{2,q}(Ω,\mathbb{R}^n)$ satisfies $|J_f|^{-a}\in L^1$ and that $f$ equals a given homeomorphism on $\partial Ω$. Under suitable conditions on $q$ and $a$ we show that $f$ must be a homeomorphism. As a main new tool we find an optimal condition for $a$ and $q$ that imply that $\mathcal{H}^{n-1}(\{J_f=0\})=0$ and hence $J_f$ cannot change sign. We further specify in dependence of $q$ and $a$ the maximal Hausdorff dimension $d$ of the critical set $\{J_f=0\}$. The sharpness of our conditions for $d$ is demonstrated by constructing respective counterexamples. △ Less

Submitted 12 April, 2022; originally announced April 2022.

MSC Class: 46E35

Regularising Inverse Problems with Generative Machine Learning Models

Authors: Margaret Duff, Neill D. F. Campbell, Matthias J. Ehrhardt

Abstract: Deep neural network approaches to inverse imaging problems have produced impressive results in the last few years. In this paper, we consider the use of generative models in a variational regularisation approach to inverse problems. The considered regularisers penalise images that are far from the range of a generative model that has learned to produce images similar to a training dataset. We name… ▽ More Deep neural network approaches to inverse imaging problems have produced impressive results in the last few years. In this paper, we consider the use of generative models in a variational regularisation approach to inverse problems. The considered regularisers penalise images that are far from the range of a generative model that has learned to produce images similar to a training dataset. We name this family \textit{generative regularisers}. The success of generative regularisers depends on the quality of the generative model and so we propose a set of desired criteria to assess generative models and guide future research. In our numerical experiments, we evaluate three common generative models, autoencoders, variational autoencoders and generative adversarial networks, against our desired criteria. We also test three different generative regularisers on the inverse problems of deblurring, deconvolution, and tomography. We show that restricting solutions of the inverse problem to lie exactly in the range of a generative model can give good results but that allowing small deviations from the range of the generator produces more consistent results. △ Less

Submitted 18 June, 2022; v1 submitted 22 July, 2021; originally announced July 2021.

BV and Sobolev homeomorphisms between metric measure spaces and the plane

Authors: Camillo Brena, Daniel Campbell

Abstract: We show that given a homeomorphism $f:G\rightarrowΩ$ where $G$ is a open subset of $\mathbb{R}^2$ and $Ω$ is a open subset of a $2$-Ahlfors regular metric measure space supporting a weak $(1,1)$-Poincaré inequality, it holds $f\in BV_{\operatorname{loc}}(G,Ω)$ if and only $f^{-1}\in BV_{\operatorname{loc}}(Ω,G)$. Further if $f$ satisfies the Luzin N and N$^{-1}$ conditions then… ▽ More We show that given a homeomorphism $f:G\rightarrowΩ$ where $G$ is a open subset of $\mathbb{R}^2$ and $Ω$ is a open subset of a $2$-Ahlfors regular metric measure space supporting a weak $(1,1)$-Poincaré inequality, it holds $f\in BV_{\operatorname{loc}}(G,Ω)$ if and only $f^{-1}\in BV_{\operatorname{loc}}(Ω,G)$. Further if $f$ satisfies the Luzin N and N$^{-1}$ conditions then $f\in W^{1,1}_{\operatorname{loc}}(G,Ω)$ if and only if $f^{-1}\in W^{1,1}_{\operatorname{loc}}(Ω,G)$. △ Less

Submitted 14 April, 2021; originally announced April 2021.

MSC Class: 26B30; 30L99

Smooth homeomorphic approximation of piecewise affine homeomorphisms

Authors: Daniel Campbell, Filip Soudský

Abstract: Given any $f$ a locally finitely piecewise affine homeomorphism of $Ω\subset \rn$ onto $Δ\subset \rn$ in $W^{1,p}$, $1\leq p < \infty$ and any $ε>0$ we construct a smooth injective map $\tilde{f}$ such that $\|f-\tilde{f}\|_{W^{1,p}(Ω,\rn)} < ε$. Given any $f$ a locally finitely piecewise affine homeomorphism of $Ω\subset \rn$ onto $Δ\subset \rn$ in $W^{1,p}$, $1\leq p < \infty$ and any $ε>0$ we construct a smooth injective map $\tilde{f}$ such that $\|f-\tilde{f}\|_{W^{1,p}(Ω,\rn)} < ε$. △ Less

Submitted 12 February, 2021; originally announced February 2021.

Comments: 20 pages, 1 figure

MSC Class: 41A29(Primary) 41A30; 57Q55(Secondary)

Classification of strict limits of planar BV homeomorphisms

Authors: Daniel Campbell, Aapo Kauranen, Emanuela Radici

Abstract: We present a classification of strict limits of planar BV homeomorphisms. The authors and S. Hencl showed in a previous work \cite{CHKR} that such mappings allow for cavitations and fractures singularities but fulfill a suitable generalization of the INV condition. As pointed out by J. Ball \cite{B}, these features are physically expected by limit configurations of elastic deformations. In the pre… ▽ More We present a classification of strict limits of planar BV homeomorphisms. The authors and S. Hencl showed in a previous work \cite{CHKR} that such mappings allow for cavitations and fractures singularities but fulfill a suitable generalization of the INV condition. As pointed out by J. Ball \cite{B}, these features are physically expected by limit configurations of elastic deformations. In the present work we develop a suitable generalization of the \emph{no-crossing} condition introduced by De Philippis and Pratelli in \cite{PP} to describe weak limits of planar Sobolev homeomorphisms that we call \emph{BV no-crossing} condition, and we show that a planar mapping satisfies this property if and only if it can be approximated strictly by homeomorphisms of bounded variations. △ Less

Submitted 22 January, 2021; originally announced January 2021.

Comments: 21 pages 1 figure

MSC Class: 46E35; 30E10; 58E20

Approximation of planar Sobolev $W^{2,1}$ homeomorphisms by Piecewise Quadratic Homeomorphisms and Diffeomorphisms

Authors: Daniel Campbell, Stanislav Hencl

Abstract: Given a Sobolev homeomorphism $f\in W^{2,1}$ in the plane we find a piecewise quadratic homeomorphism that approximates it up to a set of $ε$ measure. We show that this piecewise quadratic map can be approximated by diffeomorphisms in the $W^{2,1}$ norm on this set. Given a Sobolev homeomorphism $f\in W^{2,1}$ in the plane we find a piecewise quadratic homeomorphism that approximates it up to a set of $ε$ measure. We show that this piecewise quadratic map can be approximated by diffeomorphisms in the $W^{2,1}$ norm on this set. △ Less

Submitted 13 August, 2020; originally announced August 2020.

Diffeomorphic approximation of Planar Sobolev Homeomorphisms in rearrangement invariant spaces

Authors: Daniel Campbell, Luigi Greco, Roberta Schiattarella, Filip Soudsky

Abstract: Let $Ω\subseteq\mathcal{R}^2$ be a domain, let $X$ be a rearrangement invariant space and let $f\in W^{1}X(Ω,\mathcal{R}^2)$ be a homeomorphism between $Ω$ and $f(Ω)$. Then there exists a sequence of diffeomorphisms $f_k$ converging to $f$ in the space $W^{1}X(Ω,\mathcal{R}^2)$. Let $Ω\subseteq\mathcal{R}^2$ be a domain, let $X$ be a rearrangement invariant space and let $f\in W^{1}X(Ω,\mathcal{R}^2)$ be a homeomorphism between $Ω$ and $f(Ω)$. Then there exists a sequence of diffeomorphisms $f_k$ converging to $f$ in the space $W^{1}X(Ω,\mathcal{R}^2)$. △ Less

Submitted 2 March, 2021; v1 submitted 11 May, 2020; originally announced May 2020.

Comparison between the non-crossing and the non-crossing on lines properties

Authors: Daniel Campbell, Aldo Pratelli, Emanuela Radici

Abstract: In the recent paper [2], it was proved that the closure of the planar diffeomorphisms in the Sobolev norm consists of the functions which are non-crossing (NC), i.e., the functions which can be uniformly approximated by continuous one-to-one functions on the grids. A deep simplification of this property is to consider curves instead of grids, so considering functions which are non-crossing on line… ▽ More In the recent paper [2], it was proved that the closure of the planar diffeomorphisms in the Sobolev norm consists of the functions which are non-crossing (NC), i.e., the functions which can be uniformly approximated by continuous one-to-one functions on the grids. A deep simplification of this property is to consider curves instead of grids, so considering functions which are non-crossing on lines (NCL). Since the NCL property is way easier to check, it would be extremely positive if they actually coincide, while it is only obvious that NC implies NCL. We show that in general NCL does not imply NC, but the implication becomes true with the additional assumption that $\det(Du)>0$ a.e., which is a very common assumption in nonlinear elasticity. △ Less

Submitted 17 April, 2020; originally announced April 2020.

A sense preserving Sobolev homeomorphism with negative Jacobian almost everywhere

Authors: Daniel Campbell, Luigi D'Onofrio, Stanislav Hencl

Abstract: For every $1\leq p<\frac{3}{2}$ we construct a Sobolev homeomorphism $f\in W^{1,p}([-1,1]^4,[-1,1]^4)$ such that $f(x)=x$ for every $x\in \partial[-1,1]^4$ but $J_f<0$ a.e. For every $1\leq p<\frac{3}{2}$ we construct a Sobolev homeomorphism $f\in W^{1,p}([-1,1]^4,[-1,1]^4)$ such that $f(x)=x$ for every $x\in \partial[-1,1]^4$ but $J_f<0$ a.e. △ Less

Submitted 6 March, 2020; originally announced March 2020.

Strategy-proofness on the Non-Paretian Subdomain

Authors: Donald E. Campbell, Jerry S. Kelly

Abstract: Let g be a strategy-proof rule on the domain NP of profiles where no alternative Pareto-dominates any other. Then we establish a result with a Gibbard-Satterthwaite flavor: g is dictatorial if its range contains at least three alternatives. Let g be a strategy-proof rule on the domain NP of profiles where no alternative Pareto-dominates any other. Then we establish a result with a Gibbard-Satterthwaite flavor: g is dictatorial if its range contains at least three alternatives. △ Less

Submitted 25 February, 2015; originally announced February 2015.

Two Theorems on the Range of Strategy-proof Rules on a Restricted Domain

Authors: Donald E. Campbell, Jerry S. Kelly

Abstract: Let g be a strategy-proof rule on the domain NP of profiles where no alternative Pareto-dominates any other and let g have range S on NP. We complete the proof of a Gibbard-Satterthwaite result - if S contains more than two elements, then g is dictatorial - by establishing a full range result on two subdomains of NP. Let g be a strategy-proof rule on the domain NP of profiles where no alternative Pareto-dominates any other and let g have range S on NP. We complete the proof of a Gibbard-Satterthwaite result - if S contains more than two elements, then g is dictatorial - by establishing a full range result on two subdomains of NP. △ Less

Submitted 29 August, 2014; originally announced August 2014.

Chaos at Fifty

Authors: Adilson E. Motter, David K. Campbell

Abstract: In 1963 Edward Lorenz revealed deterministic predictability to be an illusion and gave birth to a field that still thrives. This Feature Article discusses Lorenz's discovery and developments that followed from it. In 1963 Edward Lorenz revealed deterministic predictability to be an illusion and gave birth to a field that still thrives. This Feature Article discusses Lorenz's discovery and developments that followed from it. △ Less

Submitted 24 June, 2013; originally announced June 2013.

Comments: For an animated visualization of the Lorenz attractor, click here http://www.youtube.com/watch?v=iu4RdmBVdps

Journal ref: Physics Today 66(5), 27-33 (2013)