Showing 1–4 of 4 results for author: Shaw, G

Relaxation for partially coercive integral functionals with linear growth

Authors: Filip Rindler, Giles Shaw

Abstract: We prove an integral representation theorem for the $\mathrm{L}^1(Ω;\mathbb{R}^m)$-relaxation of the functional \[ \mathcal{F}\colon u\mapsto\int_Ωf(x,u(x),\nabla u(x))\;\mathrm{dd } x,\quad u\in\mathrm{W}^{1,1}(Ω;\mathbb{R}^m),\quadΩ\subset\mathbb{R}^d\text{ open,} \] to the space $\mathrm{BV}(Ω;\mathbb{R}^m)$ under very general assumptions, requiring principally that $f$ be Carathéodory, partial… ▽ More We prove an integral representation theorem for the $\mathrm{L}^1(Ω;\mathbb{R}^m)$-relaxation of the functional \[ \mathcal{F}\colon u\mapsto\int_Ωf(x,u(x),\nabla u(x))\;\mathrm{dd } x,\quad u\in\mathrm{W}^{1,1}(Ω;\mathbb{R}^m),\quadΩ\subset\mathbb{R}^d\text{ open,} \] to the space $\mathrm{BV}(Ω;\mathbb{R}^m)$ under very general assumptions, requiring principally that $f$ be Carathéodory, partially coercive, and quasiconvex in the final variable. Our result is the first of its kind which applies to integrands which are unbounded in the $u$-variable and thus allows to treat many problems from applications. Such functionals are out of reach of the classical blow-up approach introduced by Fonseca & Müller [Arch. Ration. Mech. Anal. 123 (1993), 1--49]. Our proof relies on an intricate truncation construction (in the $x$ and $u$ arguments simultaneously) made possible by the theory of liftings as introduced in the companion paper arXiv:1708.04165, and features techniques which could be of use for other problems featuring $u$-dependent integrands. △ Less

Submitted 30 March, 2020; v1 submitted 30 May, 2018; originally announced June 2018.

Comments: 48 pages. Updated to correct minor typos and inaccuracies, expanded exposition for clarity. Revised statement of Theorem 2.3, and a full proof is now given. Significant refactoring/rewriting of the proof of Proposition 4.1 (which was previously Proposition 4.2) for clarity. A proof is now given for Lemma 5.5. arXiv admin note: text overlap with arXiv:1708.04165

Counterexamples in Calculus of Variations in $L^\infty$ through the vectorial Eikonal equation

Authors: Nikos Katzourakis, Giles Shaw

Abstract: We show that for any regular bounded domain $Ω\subseteq \mathbb R^n$, $n=2,3$, there exist infinitely many global diffeomorphisms equal to the identity on $\partial Ω$ which solve the Eikonal equation. We also provide explicit examples of such maps on annular domains. This implies that the $\infty$-Laplace system arising in vectorial Calculus of Variations in $L^\infty$ does not suffice to charact… ▽ More We show that for any regular bounded domain $Ω\subseteq \mathbb R^n$, $n=2,3$, there exist infinitely many global diffeomorphisms equal to the identity on $\partial Ω$ which solve the Eikonal equation. We also provide explicit examples of such maps on annular domains. This implies that the $\infty$-Laplace system arising in vectorial Calculus of Variations in $L^\infty$ does not suffice to characterise either limits of $p$-Harmonic maps as $p\to \infty$, or absolute minimisers in the sense of Aronsson. △ Less

Submitted 12 April, 2018; v1 submitted 29 January, 2018; originally announced January 2018.

Comments: Journal: Comptes Rendus Mathematique, 6 pages

Liftings, Young measures, and lower semicontinuity

Authors: Giles Shaw, Filip Rindler

Abstract: This work introduces liftings and their associated Young measures as new tools to study the asymptotic behaviour of sequences of pairs $(u_j,Du_j)j$ for $(u_j)_j \in \mathrm{BV}(Ω;\mathbb{R}^m)$ under weak* convergence. These tools are then used to prove an integral representation theorem for the relaxation of the functional \[ \mathcal{F}\colon u\to\int_Ωf(x,u(x),\nabla u(x)) \;\mathrm{dx},\qua… ▽ More This work introduces liftings and their associated Young measures as new tools to study the asymptotic behaviour of sequences of pairs $(u_j,Du_j)j$ for $(u_j)_j \in \mathrm{BV}(Ω;\mathbb{R}^m)$ under weak* convergence. These tools are then used to prove an integral representation theorem for the relaxation of the functional \[ \mathcal{F}\colon u\to\int_Ωf(x,u(x),\nabla u(x)) \;\mathrm{dx},\quad u\in\mathrm{W}^{1,1}(Ω;\mathbb{R}^m),\quad Ω\in\mathbb{R}^d\text{ open}, \] to the space $\mathrm{BV}(Ω; \mathbb{R}^m)$. Lower semicontinuity results of this type were first obtained by Fonseca and Müller [Arch. Ration. Mech. Anal. 123 (1993), 1-49] and later improved by a number of authors, but our theorem is valid under more natural, essentially optimal, hypotheses than those currently present in the literature, requiring principally that $f$ be Carathéodory and quasiconvex in the final variable. The key idea is that liftings provide the right way of localising $\mathcal{F}$ in the $x$ and $u$ variables simultaneously under weak* convergence. As a consequence, we are able to implement an optimal measure-theoretic blow-up procedure. △ Less

Submitted 30 March, 2020; v1 submitted 14 August, 2017; originally announced August 2017.

Comments: 75 pages. Updated to correct a series of minor typos/ inaccuracies. The statement and proof of Theorem have also been amended- subsequent steps relying upon the Theorem did not require updating

MSC Class: 49

Strictly continuous extension of functionals with linear growth to the space BV

Authors: Filip Rindler, Giles Shaw

Abstract: The main result of this paper is a proof of the continuity of a family of integral functionals defined on the space of functions of bounded variation with respect to a topology under which smooth functions are dense. These functionals occur often in the Calculus of Variations as the extension of integral problems defined over weakly differentiable functions with linear growth, and the result in th… ▽ More The main result of this paper is a proof of the continuity of a family of integral functionals defined on the space of functions of bounded variation with respect to a topology under which smooth functions are dense. These functionals occur often in the Calculus of Variations as the extension of integral problems defined over weakly differentiable functions with linear growth, and the result in this paper sheds light on the question of what the 'correct' extension is in this context. The result is proved via a combination of Reshetnyak's Continuity Theorem and a map assigning a lifting $μ[u]\in\mathbf{M}(Ω\times\mathbb{R}^m;\mathbb{R}^{m\times d})$ to each $u\in BV(Ω;\mathbb{R}^{m})$ and is valid for a large class of integrands satisfying $|f(x,y,A)|\leq C(1+|y|^{d/(d-1)}+|A|)$. In the case where $f$ exhibits $d/(d-1)$ growth in the $y$ variable, an embedding result from the theory of concentration-compactness is needed. △ Less

Submitted 20 November, 2014; v1 submitted 16 December, 2013; originally announced December 2013.

Comments: -24 pages. -Removed Theorem 2 and Lemma 18, as they were incorrect. -Corrected the proof of the strict continuity of the lifting map in Section 3 via the addition of two new lemmas. -Changed the perspective integrand under consideration back to a simpler one which just preserves continuity

MSC Class: 49J45 (Primary); 28B05 (Secondary)