-
Constraint maps and free boundaries
Authors:
Alessio Figalli,
André Guerra,
Sunghan Kim,
Henrik Shahgholian
Abstract:
In this short expository note, we present a selection of classic and recent ideas in free boundary theory, with a focus on the vectorial case, referred to here as constraint maps. The note includes a brief historical perspective and highlights the latest heuristic-level results.
In this short expository note, we present a selection of classic and recent ideas in free boundary theory, with a focus on the vectorial case, referred to here as constraint maps. The note includes a brief historical perspective and highlights the latest heuristic-level results.
△ Less
Submitted 6 November, 2024;
originally announced November 2024.
-
On the existence of degenerate solutions of the two-dimensional $H$-system
Authors:
André Guerra,
Xavier Lamy,
Konstantinos Zemas
Abstract:
We consider entire solutions $ω\in\dot H^1(\mathbb R^2;\mathbb R^3)$ of the $H$-system $Δω=2ω_x\wedgeω_y,$ which we refer to as bubbles. Surprisingly, and contrary to conjectures raised in the literature, we find that bubbles with degree at least three can be degenerate: the linearized $H$-system around a bubble can admit solutions that are not tangent to the smooth family of bubbles. We then give…
▽ More
We consider entire solutions $ω\in\dot H^1(\mathbb R^2;\mathbb R^3)$ of the $H$-system $Δω=2ω_x\wedgeω_y,$ which we refer to as bubbles. Surprisingly, and contrary to conjectures raised in the literature, we find that bubbles with degree at least three can be degenerate: the linearized $H$-system around a bubble can admit solutions that are not tangent to the smooth family of bubbles. We then give a complete algebraic characterization of degenerate bubbles.
△ Less
Submitted 26 September, 2024;
originally announced September 2024.
-
Constraint maps: singularities vs free boundaries
Authors:
Alessio Figalli,
André Guerra,
Sunghan Kim,
Henrik Shahgholian
Abstract:
Energy-minimizing constraint maps are a natural extension of the obstacle problem within a vectorial framework. Due to inherent topological constraints, these maps manifest a diverse structure that includes singularities similar to harmonic maps, branch points reminiscent of minimal surfaces, and the intricate free-boundary behavior of the obstacle problem. The complexity of these maps poses signi…
▽ More
Energy-minimizing constraint maps are a natural extension of the obstacle problem within a vectorial framework. Due to inherent topological constraints, these maps manifest a diverse structure that includes singularities similar to harmonic maps, branch points reminiscent of minimal surfaces, and the intricate free-boundary behavior of the obstacle problem. The complexity of these maps poses significant challenges to their analysis.
In this paper, we first focus on constraint maps with uniformly convex obstacles and establish continuity (and therefore higher-order regularity) within a uniform neighborhood of the free boundary. More precisely, thanks to a new quantitative unique continuation principle near singularities (which is new even in the setting of classical harmonic maps), we prove that, in the uniformly convex setting, topological singularities can only lie in the interior of the contact set. We then establish the optimality of this result.
Second, while exploring the structure of the free boundary, we investigate the presence of branch points and show how they lead to completely new types of singularities not present in the scalar case.
△ Less
Submitted 30 July, 2024;
originally announced July 2024.
-
Canonical Lifts in Multisymplectic De Donder-Weyl Hamiltonian Field Theories
Authors:
Arnoldo Guerra IV,
Narciso Román-Roy
Abstract:
In this paper, we define canonical lifts of vector fields to the multisymplectic multimomentum bundles of De Donder-Weyl Hamiltonian first-order field theories and to the appropriate premultisymplectic embedded constraint submanifolds on which singular field theories are studied. These new canonical lifts are used to study the so-called natural Noether symmetries present in both regular and singul…
▽ More
In this paper, we define canonical lifts of vector fields to the multisymplectic multimomentum bundles of De Donder-Weyl Hamiltonian first-order field theories and to the appropriate premultisymplectic embedded constraint submanifolds on which singular field theories are studied. These new canonical lifts are used to study the so-called natural Noether symmetries present in both regular and singular Hamiltonian field theories along with their associated conserved quantities obtained from Noether's theorem. The Klein-Gordon field, the Polyakov bosonic string, and Einstein-Cartan gravity in 3 + 1 dimensions are analyzed in depth as applications of these concepts; as a peripheral result obtained in the analysis of the bosonic string, we provide a new geometrical interpretation of the well-known Virasoro constraint.
△ Less
Submitted 26 July, 2024; v1 submitted 12 February, 2024;
originally announced February 2024.
-
Regularity and compactness for critical points of degenerate polyconvex energies
Authors:
André Guerra,
Riccardo Tione
Abstract:
We study Lipschitz critical points of the energy $\int_Ωg(\det D u) \, d x$ in two dimensions, where $g$ is a strictly convex function. We prove that the Jacobian of any Lipschitz critical point is constant, and that the Jacobians of sequences of approximately critical points converge strongly. The latter result answers in particular an open problem posed by Kirchheim, Müller and Šverák in 2003.
We study Lipschitz critical points of the energy $\int_Ωg(\det D u) \, d x$ in two dimensions, where $g$ is a strictly convex function. We prove that the Jacobian of any Lipschitz critical point is constant, and that the Jacobians of sequences of approximately critical points converge strongly. The latter result answers in particular an open problem posed by Kirchheim, Müller and Šverák in 2003.
△ Less
Submitted 29 January, 2024;
originally announced January 2024.
-
Lower semicontinuity, Stoilow factorization and principal maps
Authors:
Kari Astala,
Daniel Faraco,
André Guerra,
Aleksis Koski,
Jan Kristensen
Abstract:
We consider a strengthening of the usual quasiconvexity condition of Morrey in two dimensions, which allows us to prove lower semicontinuity for functionals which are unbounded as the determinant vanishes. This notion, that we call principal quasiconvexity, arose from the planar theory of quasiconformal mappings and mappings of finite distortion. We compare it with other quasiconvexity conditions…
▽ More
We consider a strengthening of the usual quasiconvexity condition of Morrey in two dimensions, which allows us to prove lower semicontinuity for functionals which are unbounded as the determinant vanishes. This notion, that we call principal quasiconvexity, arose from the planar theory of quasiconformal mappings and mappings of finite distortion. We compare it with other quasiconvexity conditions that have appeared in the literature and provide a number of concrete examples of principally quasiconvex functionals that are not polyconvex. The Stoilow factorization, that in the context of maps of integrable distortion was developed by Iwaniec and Šverák, plays a prominent role in our approach.
△ Less
Submitted 1 February, 2024; v1 submitted 29 January, 2024;
originally announced January 2024.
-
Optimal quantitative stability of the Möbius group of the sphere in all dimensions
Authors:
André Guerra,
Xavier Lamy,
Konstantinos Zemas
Abstract:
In any dimension $n\geq 3$, we prove an optimal stability estimate for the Möbius group among maps $u\colon \mathbb S^{n-1} \to \mathbb R^n$, of the form $\inf_{λ>0,φ\in \mathrm{Möb}(\mathbb S^{n-1})} \int_{\mathbb S^{n-1}}\left|\frac 1λ\nabla_{T} u -\nabla_{ T}φ\right|^{n-1} d\mathcal H^{n-1} \leq C_n \mathcal E_{n-1}(u).$ Here, $\mathcal E_{n-1}(u)$ is a conformally invariant deficit which measu…
▽ More
In any dimension $n\geq 3$, we prove an optimal stability estimate for the Möbius group among maps $u\colon \mathbb S^{n-1} \to \mathbb R^n$, of the form $\inf_{λ>0,φ\in \mathrm{Möb}(\mathbb S^{n-1})} \int_{\mathbb S^{n-1}}\left|\frac 1λ\nabla_{T} u -\nabla_{ T}φ\right|^{n-1} d\mathcal H^{n-1} \leq C_n \mathcal E_{n-1}(u).$ Here, $\mathcal E_{n-1}(u)$ is a conformally invariant deficit which measures simultaneously lack of conformality and the deviation of $u(\mathbb S^{n-1})$ from being a round sphere in an isoperimetric sense. This entails in particular the following qualitative statement: sequences with vanishing deficit, once appropriately normalized by the action of the Möbius group, are compact. Both the qualitative and the quantitative results are new for all dimensions $n\geq 4$.
△ Less
Submitted 12 January, 2024;
originally announced January 2024.
-
Unique continuation for differential inclusions
Authors:
Guido De Philippis,
André Guerra,
Riccardo Tione
Abstract:
We consider the following question arising in the theory of differential inclusions: given an elliptic set $Γ$ and a Sobolev map $u$ whose gradient lies in the quasiconformal envelope of $Γ$ and touches $Γ$ on a set of positive measure, must $u$ be affine? We answer this question positively for a suitable notion of ellipticity, which for instance encompasses the case where…
▽ More
We consider the following question arising in the theory of differential inclusions: given an elliptic set $Γ$ and a Sobolev map $u$ whose gradient lies in the quasiconformal envelope of $Γ$ and touches $Γ$ on a set of positive measure, must $u$ be affine? We answer this question positively for a suitable notion of ellipticity, which for instance encompasses the case where $Γ\subset \mathbb R^{2\times 2}$ is an elliptic, smooth, closed curve. More precisely, we prove that the distance of $D u$ to $Γ$ satisfies the strong unique continuation property. As a by-product, we obtain new results for nonlinear Beltrami equations and recover known results for the reduced Beltrami equation and the Monge--Ampère equation: concerning the latter, we obtain a new proof of the $W^{2,1+\varepsilon}$-regularity for two-dimensional solutions.
△ Less
Submitted 8 December, 2023;
originally announced December 2023.
-
Constraint maps with free boundaries: the Bernoulli case
Authors:
Alessio Figalli,
André Guerra,
Sunghan Kim,
Henrik Shahgholian
Abstract:
In this manuscript, we delve into the study of maps $u\in W^{1,2}(Ω;\overline M)$ that minimize the Alt-Caffarelli energy functional $$ \int_Ω(|Du|^2 + q^2 χ_{u^{-1}(M)})\,dx, $$ under the condition that the image $u(Ω)$ is confined within $\overline M$. Here, $Ω$ denotes a bounded domain in the ambient space $\mathbb{R}^n$ (with $n\geq 1$), and $M$ represents a smooth domain in the target space…
▽ More
In this manuscript, we delve into the study of maps $u\in W^{1,2}(Ω;\overline M)$ that minimize the Alt-Caffarelli energy functional $$ \int_Ω(|Du|^2 + q^2 χ_{u^{-1}(M)})\,dx, $$ under the condition that the image $u(Ω)$ is confined within $\overline M$. Here, $Ω$ denotes a bounded domain in the ambient space $\mathbb{R}^n$ (with $n\geq 1$), and $M$ represents a smooth domain in the target space $\mathbb{R}^m$ (where $m\geq 2$).
Since our minimizing constraint maps coincide with harmonic maps in the interior of the coincidence set, ${\rm int}(u^{-1}(\partial M))$, such maps are prone to developing discontinuities due to their inherent nature. This research marks the commencement of an in-depth analysis of potential singularities that might arise within and around the free boundary.
Our first significant contribution is the validity of a $\varepsilon$-regularity theorem. This theorem is founded on a novel method of Lipschitz approximation near points exhibiting low energy. Utilizing this approximation and extending the analysis through a bootstrapping approach, we show Lipschitz continuity of our maps whenever the energy is small energy.
Our subsequent key finding reveals that, whenever the complement of $M$ is uniformly convex and of class $C^3$, the maps minimizing the Alt-Caffarelli energy with a positive parameter $q$ exhibit Lipschitz continuity within a universally defined neighborhood of the non-coincidence set $u^{-1}(M)$. In particular, this Lipschitz continuity extends to the free boundary.
A noteworthy consequence of our findings is the smoothness of flat free boundaries and of the resulting image maps.
△ Less
Submitted 6 August, 2024; v1 submitted 6 November, 2023;
originally announced November 2023.
-
The local Burkholder functional, quasiconvexity and Geometric Function Theory
Authors:
Kari Astala,
Daniel Faraco,
André Guerra,
Aleksis Koski,
Jan Kristensen
Abstract:
We show that the local Burkholder functional $\mathcal B_K$ is quasiconvex. In the limit of $p$ going to 2 we find a class of non-polyconvex functionals which are quasiconvex on the set of matrices with positive determinant.
In order to prove the validity of lower semicontinuity arguments in this setting, we show that the Burkholder functionals satisfy a sharp extension of the classical function…
▽ More
We show that the local Burkholder functional $\mathcal B_K$ is quasiconvex. In the limit of $p$ going to 2 we find a class of non-polyconvex functionals which are quasiconvex on the set of matrices with positive determinant.
In order to prove the validity of lower semicontinuity arguments in this setting, we show that the Burkholder functionals satisfy a sharp extension of the classical function theoretic area formula. As a corollary, in addition to functionals in geometric function theory, one finds new classes of non-polyconvex functionals, degenerating as the determinant vanishes, for which there is existence of minimizers.
△ Less
Submitted 15 January, 2024; v1 submitted 7 September, 2023;
originally announced September 2023.
-
Stability of the Faber-Krahn inequality for the Short-time Fourier Transform
Authors:
Jaime Gómez,
André Guerra,
João P. G. Ramos,
Paolo Tilli
Abstract:
We prove a sharp quantitative version of the Faber--Krahn inequality for the short-time Fourier transform (STFT). To do so, we consider a deficit $δ(f;Ω)$ which measures by how much the STFT of a function $f\in L^2(\mathbb R)$ fails to be optimally concentrated on an arbitrary set $Ω\subset \mathbb R^2$ of positive, finite measure. We then show that an optimal power of the deficit $δ(f;Ω)$ control…
▽ More
We prove a sharp quantitative version of the Faber--Krahn inequality for the short-time Fourier transform (STFT). To do so, we consider a deficit $δ(f;Ω)$ which measures by how much the STFT of a function $f\in L^2(\mathbb R)$ fails to be optimally concentrated on an arbitrary set $Ω\subset \mathbb R^2$ of positive, finite measure. We then show that an optimal power of the deficit $δ(f;Ω)$ controls both the $L^2$-distance of $f$ to an appropriate class of Gaussians and the distance of $Ω$ to a ball, through the Fraenkel asymmetry of $Ω$. Our proof is completely quantitative and hence all constants are explicit. We also establish suitable generalizations of this result in the higher-dimensional context.
△ Less
Submitted 18 July, 2023;
originally announced July 2023.
-
Sharp quantitative stability of the Möbius group among sphere-valued maps in arbitrary dimension
Authors:
André Guerra,
Xavier Lamy,
Konstantinos Zemas
Abstract:
In this work we prove a sharp quantitative form of Liouville's theorem, which asserts that, for all $n\geq 3$, the weakly conformal maps of $\mathbb S^{n-1}$ with degree $\pm 1$ are Möbius transformations. In the case $n=3$ this estimate was first obtained by Bernand-Mantel, Muratov and Simon (Arch. Ration. Mech. Anal. 239(1):219-299, 2021), with different proofs given later on by Topping, and by…
▽ More
In this work we prove a sharp quantitative form of Liouville's theorem, which asserts that, for all $n\geq 3$, the weakly conformal maps of $\mathbb S^{n-1}$ with degree $\pm 1$ are Möbius transformations. In the case $n=3$ this estimate was first obtained by Bernand-Mantel, Muratov and Simon (Arch. Ration. Mech. Anal. 239(1):219-299, 2021), with different proofs given later on by Topping, and by Hirsch and the third author. The higher-dimensional case $n\geq 4$ requires new arguments because it is genuinely nonlinear: the linearized version of the estimate involves quantities which cannot control the distance to Möbius transformations in the conformally invariant Sobolev norm. Our main tool to circumvent this difficulty is an inequality introduced by Figalli and Zhang in their proof of a sharp stability estimate for the Sobolev inequality.
△ Less
Submitted 31 May, 2023;
originally announced May 2023.
-
On the optimal conformal capacity of linked curves
Authors:
André Guerra,
Eden Prywes
Abstract:
We investigate the following optimization problem: what is the least possible conformal capacity of a pair of linked curves in $S^3$? A natural conjecture, due to Gehring, Martin and Palka, is that the optimal value is attained by the standard Hopf link. We prove that this is the case under the assumption that each component of the link lies on a different side of a conformal image of the Clifford…
▽ More
We investigate the following optimization problem: what is the least possible conformal capacity of a pair of linked curves in $S^3$? A natural conjecture, due to Gehring, Martin and Palka, is that the optimal value is attained by the standard Hopf link. We prove that this is the case under the assumption that each component of the link lies on a different side of a conformal image of the Clifford torus. In particular, this shows that the Hopf link is a local minimizer in a strong sense.
△ Less
Submitted 26 May, 2023;
originally announced May 2023.
-
Compensation phenomena for concentration effects via nonlinear elliptic estimates
Authors:
André Guerra,
Bogdan Raiţă,
Matthew Schrecker
Abstract:
We study compensation phenomena for fields satisfying both a pointwise and a linear differential constraint. This effect takes the form of nonlinear elliptic estimates, where constraining the values of the field to lie in a cone compensates for the lack of ellipticity of the differential operator. We give a series of new examples of this phenomenon for a geometric class of cones and operators such…
▽ More
We study compensation phenomena for fields satisfying both a pointwise and a linear differential constraint. This effect takes the form of nonlinear elliptic estimates, where constraining the values of the field to lie in a cone compensates for the lack of ellipticity of the differential operator. We give a series of new examples of this phenomenon for a geometric class of cones and operators such as the divergence or the curl. One of our main findings is that the maximal gain of integrability is tied to both the differential operator and the cone, contradicting in particular a recent conjecture from arXiv:2106.03077. This extends the recent theory of compensated integrability due to D. Serre. In particular, we find a new family of integrands that are Div-quasiconcave under convex constraints.
△ Less
Submitted 20 February, 2024; v1 submitted 20 December, 2021;
originally announced December 2021.
-
Automatic quasiconvexity of homogeneous isotropic rank-one convex integrands
Authors:
André Guerra,
Jan Kristensen
Abstract:
We consider the class of non-negative rank-one convex isotropic integrands on $\mathbb{R}^{n\times n}$ which are also positively $p$-homogeneous. If $p \leq n = 2$ we prove, conditional on the quasiconvexity of the Burkholder integrand, that the integrands in this class are quasiconvex at conformal matrices. If $p \geq n = 2$, we show that the positive part of the Burkholder integrand is polyconve…
▽ More
We consider the class of non-negative rank-one convex isotropic integrands on $\mathbb{R}^{n\times n}$ which are also positively $p$-homogeneous. If $p \leq n = 2$ we prove, conditional on the quasiconvexity of the Burkholder integrand, that the integrands in this class are quasiconvex at conformal matrices. If $p \geq n = 2$, we show that the positive part of the Burkholder integrand is polyconvex. In general, for $p \geq n$, we prove that the integrands in the above class are polyconvex at conformal matrices. Several examples imply that our results are all nearly optimal.
△ Less
Submitted 20 December, 2021;
originally announced December 2021.
-
Oscillations in wave map systems and homogenization of the Einstein equations in symmetry
Authors:
André Guerra,
Rita Teixeira da Costa
Abstract:
In 1989, Burnett conjectured that, under appropriate assumptions, the limit of highly oscillatory solutions to the Einstein vacuum equations is a solution of the Einstein--massless Vlasov system. In a recent breakthrough, Huneau--Luk (arXiv:1907.10743) gave a proof of the conjecture in U(1)-symmetry and elliptic gauge. They also require control on up to fourth order derivatives of the metric compo…
▽ More
In 1989, Burnett conjectured that, under appropriate assumptions, the limit of highly oscillatory solutions to the Einstein vacuum equations is a solution of the Einstein--massless Vlasov system. In a recent breakthrough, Huneau--Luk (arXiv:1907.10743) gave a proof of the conjecture in U(1)-symmetry and elliptic gauge. They also require control on up to fourth order derivatives of the metric components. In this paper, we give a streamlined proof of a stronger result and, in the spirit of Burnett's original conjecture, we remove the need for control on higher derivatives. Our methods also apply to general wave map equations.
△ Less
Submitted 2 July, 2021;
originally announced July 2021.
-
Energy minimisers with prescribed Jacobian
Authors:
André Guerra,
Lukas Koch,
Sauli Lindberg
Abstract:
We study the symmetry and uniqueness of maps which minimise the $np$-Dirichlet energy, under the constraint that their Jacobian is a given radially symmetric function $f$. We find a condition on $f$ which ensures that the minimisers are symmetric and unique. In the absence of this condition we construct an explicit $f$ for which there are uncountably many distinct energy minimisers, none of which…
▽ More
We study the symmetry and uniqueness of maps which minimise the $np$-Dirichlet energy, under the constraint that their Jacobian is a given radially symmetric function $f$. We find a condition on $f$ which ensures that the minimisers are symmetric and unique. In the absence of this condition we construct an explicit $f$ for which there are uncountably many distinct energy minimisers, none of which is symmetric. Even if we prescribe the maps to be the identity on the boundary of a ball we show that the minimisers need not be symmetric. This gives a negative answer to a question of Hélein (Ann. Inst. H. Poincaré Anal. Non Linéaire 11 (1994), no. 3, 275-296).
△ Less
Submitted 18 December, 2020;
originally announced December 2020.
-
Nonlinear open mapping principles, with applications to the Jacobian equation and other scale-invariant PDEs
Authors:
André Guerra,
Lukas Koch,
Sauli Lindberg
Abstract:
For a nonlinear operator $T$ satisfying certain structural assumptions, our main theorem states that the following claims are equivalent: i) $T$ is surjective, ii) $T$ is open at zero, and iii) $T$ has a bounded right inverse. The theorem applies to numerous scale-invariant PDEs in regularity regimes where the equations are stable under weak$^*$ convergence. Two particular examples we explore are…
▽ More
For a nonlinear operator $T$ satisfying certain structural assumptions, our main theorem states that the following claims are equivalent: i) $T$ is surjective, ii) $T$ is open at zero, and iii) $T$ has a bounded right inverse. The theorem applies to numerous scale-invariant PDEs in regularity regimes where the equations are stable under weak$^*$ convergence. Two particular examples we explore are the Jacobian equation and the equations of incompressible fluid flow.
For the Jacobian, it is a long standing open problem to decide whether it is onto between the critical Sobolev space and the Hardy space. Towards a negative answer, we show that, if the Jacobian is onto, then it suffices to rule out the existence of surprisingly well-behaved solutions.
For the incompressible Euler equations, we show that, for any $p<\infty$, the set of initial data for which there are dissipative weak solutions in $L^p_t L^2_x$ is meagre in the space of solenoidal $L^2$ fields. Similar results hold for other equations of incompressible fluid dynamics.
△ Less
Submitted 12 November, 2020; v1 submitted 20 October, 2020;
originally announced October 2020.
-
The Dirichlet problem for the Jacobian equation in critical and supercritical Sobolev spaces
Authors:
André Guerra,
Lukas Koch,
Sauli Lindberg
Abstract:
We study existence and regularity of solutions to the Dirichlet problem for the prescribed Jacobian equation, $\det Du = f$, where $f$ is integrable and bounded away from zero. In particular, we take $f\in L^p$, where $p > 1$, or in $L\log L$. We prove that for a Baire-generic $f$ in either space there are no solutions with the expected regularity.
We study existence and regularity of solutions to the Dirichlet problem for the prescribed Jacobian equation, $\det Du = f$, where $f$ is integrable and bounded away from zero. In particular, we take $f\in L^p$, where $p > 1$, or in $L\log L$. We prove that for a Baire-generic $f$ in either space there are no solutions with the expected regularity.
△ Less
Submitted 8 September, 2020;
originally announced September 2020.
-
Compensated compactness: continuity in optimal weak topologies
Authors:
André Guerra,
Bogdan Raiţă,
Matthew R. I. Schrecker
Abstract:
For $l$-homogeneous linear differential operators $\mathcal{A}$ of constant rank, we study the implication $v_j\rightharpoonup v$ in $X$ and $\mathcal{A} v_j\rightarrow \mathcal{A} v$ in $W^{-l}Y$ implies $F(v_j)\rightsquigarrow F(v)$ in $Z$, where $F$ is an $\mathcal{A}$-quasiaffine function and $\rightsquigarrow$ denotes an appropriate type of weak convergence. Here $Z$ is a local $L^1$-type spa…
▽ More
For $l$-homogeneous linear differential operators $\mathcal{A}$ of constant rank, we study the implication $v_j\rightharpoonup v$ in $X$ and $\mathcal{A} v_j\rightarrow \mathcal{A} v$ in $W^{-l}Y$ implies $F(v_j)\rightsquigarrow F(v)$ in $Z$, where $F$ is an $\mathcal{A}$-quasiaffine function and $\rightsquigarrow$ denotes an appropriate type of weak convergence. Here $Z$ is a local $L^1$-type space, either the space $\mathscr{M}$ of measures, or $L^1$, or the Hardy space $\mathscr{H}^1$; $X,\, Y$ are $L^p$-type spaces, by which we mean Lebesgue or Zygmund spaces. Our conditions for each choice of $X,\,Y,\,Z$ are sharp. Analogous statements are also given in the case when $F(v)$ is not a locally integrable function and it is instead defined as a distribution. In this case, we also prove $\mathscr{H}^p$-bounds for the sequence $(F(v_j))_j$, for appropriate $p<1$, and new convergence results in the dual of Hölder spaces when $(v_j)$ is $\mathcal{A}$-free and lies in a suitable negative order Sobolev space $W^{-β,s}$. The choice of these Hölder spaces is sharp, as is shown by the construction of explicit counterexamples. Some of these results are new even for distributional Jacobians.
△ Less
Submitted 14 October, 2020; v1 submitted 1 July, 2020;
originally announced July 2020.
-
On the necessity of the constant rank condition for $L^p$ estimates
Authors:
André Guerra,
Bogdan Raiţă
Abstract:
We consider a generalization of the elliptic $L^p$-estimate suited for linear operators with non-trivial kernels. A classical result of Schulenberger and Wilcox (Ann. Mat. Pura Appl. (4) 88: 229-305, 1971) shows that if the operator has constant rank then the estimate holds. We prove necessity of the constant rank condition for such an estimate.
We consider a generalization of the elliptic $L^p$-estimate suited for linear operators with non-trivial kernels. A classical result of Schulenberger and Wilcox (Ann. Mat. Pura Appl. (4) 88: 229-305, 1971) shows that if the operator has constant rank then the estimate holds. We prove necessity of the constant rank condition for such an estimate.
△ Less
Submitted 1 July, 2020;
originally announced July 2020.
-
Numerical evidence towards a positive answer to Morrey's problem
Authors:
André Guerra,
Rita Teixeira da Costa
Abstract:
We report on numerical experiments suggesting that rank-one convexity imples quasiconvexity in the planar case. We give a simple heuristic explanation of our findings.
We report on numerical experiments suggesting that rank-one convexity imples quasiconvexity in the planar case. We give a simple heuristic explanation of our findings.
△ Less
Submitted 16 June, 2020;
originally announced June 2020.
-
Remarks on Ornstein's non-inequality in $\mathbb{R}^{2\times 2}$
Authors:
Daniel Faraco,
André Guerra
Abstract:
We give a very concise proof of Ornstein's $L^1$ non-inequality for first- and second-order operators in two dimensions. The proof just needs a two-dimensional laminate supported on three points.
We give a very concise proof of Ornstein's $L^1$ non-inequality for first- and second-order operators in two dimensions. The proof just needs a two-dimensional laminate supported on three points.
△ Less
Submitted 18 March, 2021; v1 submitted 16 June, 2020;
originally announced June 2020.
-
Quasiconvexity, null Lagrangians, and Hardy space integrability under constant rank constraints
Authors:
André Guerra,
Bogdan Raiţă
Abstract:
We present a systematic treatment of the theory of Compensated Compactness under Murat's constant rank assumption. We give a short proof of a sharp weak lower semicontinuity result for signed integrands, extending the results of Fonseca--Müller. The null Lagrangians are an important class of signed integrands, since they are the weakly continuous functions. We show that they are precisely the comp…
▽ More
We present a systematic treatment of the theory of Compensated Compactness under Murat's constant rank assumption. We give a short proof of a sharp weak lower semicontinuity result for signed integrands, extending the results of Fonseca--Müller. The null Lagrangians are an important class of signed integrands, since they are the weakly continuous functions. We show that they are precisely the compensated compactness quantities with Hardy space integrability, thus proposing an answer to a question raised by Coifman-Lions-Meyer-Semmes. Finally we provide an effective way of computing the null Lagrangians associated with a given operator.
△ Less
Submitted 1 July, 2020; v1 submitted 9 September, 2019;
originally announced September 2019.
-
Extremal rank-one convex integrands and a conjecture of Šverák
Authors:
André Guerra
Abstract:
We show that in order to decide whether a given probability measure is laminate it is enough to verify Jensen's inequality in the class of extremal non-negative rank-one convex integrands. We also identify a subclass of these extremal integrands, consisting of truncated minors, thus proving a conjecture made by Šverák in (Arch. Ration. Mech. Anal. 119 293-300, 1992).
We show that in order to decide whether a given probability measure is laminate it is enough to verify Jensen's inequality in the class of extremal non-negative rank-one convex integrands. We also identify a subclass of these extremal integrands, consisting of truncated minors, thus proving a conjecture made by Šverák in (Arch. Ration. Mech. Anal. 119 293-300, 1992).
△ Less
Submitted 9 November, 2019; v1 submitted 17 December, 2018;
originally announced December 2018.
-
Convergence of finite elements on an evolving surface driven by diffusion on the surface
Authors:
Balázs Kovács,
Buyang Li,
Christian Lubich,
Christian Andreas Power Guerra
Abstract:
For a parabolic surface partial differential equation coupled to surface evolution, convergence of the spatial semidiscretization is studied in this paper. The velocity of the evolving surface is not given explicitly, but depends on the solution of the parabolic equation on the surface. Various velocity laws are considered: elliptic regularization of a direct pointwise coupling, a regularized mean…
▽ More
For a parabolic surface partial differential equation coupled to surface evolution, convergence of the spatial semidiscretization is studied in this paper. The velocity of the evolving surface is not given explicitly, but depends on the solution of the parabolic equation on the surface. Various velocity laws are considered: elliptic regularization of a direct pointwise coupling, a regularized mean curvature flow and a dynamic velocity law. A novel stability and convergence analysis for evolving surface finite elements for the coupled problem of surface diffusion and surface evolution is developed. The stability analysis works with the matrix-vector formulation of the method and does not use geometric arguments. The geometry enters only into the consistency estimates. Numerical experiments complement the theoretical results.
△ Less
Submitted 7 February, 2017; v1 submitted 25 July, 2016;
originally announced July 2016.
-
Maximum norm stability and error estimates for the evolving surface finite element method
Authors:
Balázs Kovács,
Chrisitan Andreas Power Guerra
Abstract:
We show convergence in the natural $L^{\infty}$- and $W^{1,\infty}$-norm for a semidiscretization with linear finite elements of a linear parabolic partial differential equations on evolving surfaces. To prove this we show error estimates for a Ritz map, error estimates for the material derivative of a Ritz map and a weak discrete maximum principle.
We show convergence in the natural $L^{\infty}$- and $W^{1,\infty}$-norm for a semidiscretization with linear finite elements of a linear parabolic partial differential equations on evolving surfaces. To prove this we show error estimates for a Ritz map, error estimates for the material derivative of a Ritz map and a weak discrete maximum principle.
△ Less
Submitted 9 December, 2016; v1 submitted 2 October, 2015;
originally announced October 2015.
-
Error analysis for full discretizations of quasilinear parabolic problems on evolving surfaces
Authors:
Balázs Kovács,
Christian Andreas Power Guerra
Abstract:
Convergence results are shown for full discretizations of quasilinear parabolic partial differential equations on evolving surfaces. As a semidiscretization in space the evolving surface finite element method is considered, using a regularity result of a generalized Ritz map, optimal order error estimates for the spatial discretization is shown. Combining this with the stability results for Runge-…
▽ More
Convergence results are shown for full discretizations of quasilinear parabolic partial differential equations on evolving surfaces. As a semidiscretization in space the evolving surface finite element method is considered, using a regularity result of a generalized Ritz map, optimal order error estimates for the spatial discretization is shown. Combining this with the stability results for Runge--Kutta and BDF time integrators, we obtain convergence results for the fully discrete problems.
△ Less
Submitted 31 March, 2015;
originally announced March 2015.
-
Higher-order time discretizations with ALE finite elements for parabolic problems on evolving surfaces
Authors:
Balázs Kovács,
Christian Andreas Power Guerra
Abstract:
A linear evolving surface partial differential equation is first discretized in space by an arbitrary Lagrangian Eulerian (ALE) evolving surface finite element method, and then in time either by a Runge-Kutta method, or by a backward difference formula. The ALE technique allows to maintain the mesh regularity during the time integration, which is not possible in the original evolving surface finit…
▽ More
A linear evolving surface partial differential equation is first discretized in space by an arbitrary Lagrangian Eulerian (ALE) evolving surface finite element method, and then in time either by a Runge-Kutta method, or by a backward difference formula. The ALE technique allows to maintain the mesh regularity during the time integration, which is not possible in the original evolving surface finite element method. Unconditional stability and optimal order convergence of the full discretizations is shown, for algebraically stable and stiffly accurate Runge-Kutta methods, and for backward differentiation formulae of order less than 6. Numerical experiments are included, supporting the theoretical results.
△ Less
Submitted 13 January, 2015; v1 submitted 2 October, 2014;
originally announced October 2014.
-
Self-Similar blow-up for a diffusion-attraction problem
Authors:
Ignacio A. Guerra,
Mark A. Peletier
Abstract:
In this paper we consider a system of equations that describes a class of mass-conserving aggregation phenomena, including gravitational collapse and bacterial chemotaxis. In spatial dimensions strictly larger than two, and under the assumptions of radial symmetry, it is known that this system has at least two stable mechanisms of singularity formation (see e.g. M.P. Brenner et al.1999, Nonlinea…
▽ More
In this paper we consider a system of equations that describes a class of mass-conserving aggregation phenomena, including gravitational collapse and bacterial chemotaxis. In spatial dimensions strictly larger than two, and under the assumptions of radial symmetry, it is known that this system has at least two stable mechanisms of singularity formation (see e.g. M.P. Brenner et al.1999, Nonlinearity, 12, 1071-1098); one type is self-similar, and may be viewed as a trade-off between diffusion and attraction, while in the other type the attraction prevails over the diffusion and a non-self-similar shock wave results. Our main result identifies a class of initial data for which the blow-up behaviour is of the former, self-similar type. The blow-up profile is characterized as belonging to a subset of stationary solutions of the associated ordinary differential equation.
△ Less
Submitted 15 April, 2004;
originally announced April 2004.
