SearcharxivSearch

arXiv subjects

Guanying Peng

Publications and source records attributed to Guanying Peng.

16 recordsLinked to original sources

On Aviles-Giga limit states with $L^p$ entropy productions

The Aviles-Giga energy provides sequences of maps converging to weak solutions $m\colon\Omega \subset\mathbb R^2\to\mathbb R^2$ of the eikonal equation \begin{align*} \mathrm{div}\, m=0\text{ in }\mathcal D'(\Omega),\quad |m|=1\text{ a.e. in }\Omega\,, \end{align*} whose entropy productions $\mathrm{div}\,\Phi(m)$ are Radon measures in $\Omega$, controlled by the energy. Here, the entropies are all $C^2$ vector fields $\Phi\colon\mathbb S^1\to\mathbb R^2$ such that $\mathrm{div}\,\Phi(m_*)=0$ for any smooth solution $m_*$. It is conjectured that the entropy production measures are concentrated on the one-dimensional jump set of $m$, as follows from the chain rule if $m$ has bounded variation. In particular, the entropy production measures should vanish if they coincide with $L^p$ functions: this is what we establish in this note if $p$ is not too small and under natural boundary conditions.

math.AP

Another regularizing property of the 2D eikonal equation

A weak solution of the two-dimensional eikonal equation amounts to a vector field $m\colon\Omega\subset\mathbb R^2\to\mathbb R^2$ such that $|m|=1$ a.e. and $\mathrm{div}\,m=0$ in $\mathcal D'(\Omega)$. It is known that, if $m$ has some low regularity, e.g., continuous or $W^{1/3,3}$, then $m$ is automatically more regular: locally Lipschitz outside a locally finite set. A long-standing conjecture by Aviles and Giga, if true, would imply the same regularizing effect under the Besov regularity assumption $m\in B^{1/3}_{p,\infty}$ for $p>3$. In this note we establish that regularizing effect in the borderline case $p=6$, above which the Besov regularity assumption implies continuity. If the domain is a disk and $m$ satisfies tangent boundary conditions, we also prove this for $p$ slightly below $6$.

math.AP

Nonexistence of a class of $T_N$ configurations for a hyperbolic system with one entropy

In Kirchheim, M\"{u}ller and \v{S}ver\'{a}k [Studying nonlinear PDE by geometry in matrix space. Geometric analysis and nonlinear partial differential equations, 2003], the authors proposed the program to use the differential inclusion approach to study entropy solutions for systems of conservation laws. In particular, they raised questions concerning the local structure of the rank-one convex hull of a set $K_a\subset\mathbb{R}^{3\times 2}$, which arises from the differential inclusion formulation of a classical $2\times 2$ system of conservation laws (the $p$-system) coupled with one entropy. Recently, this question has been studied extensively by showing that the set $K_a$ does not contain the so-called $T_N$ configurations for $N=4$ and $N=5$. In this paper, we continue this program by showing that the set $K_a$ does not contain a class of three-dimensional $T_N$ configurations, as well as two-dimensional $T_N$ configurations for general $N$.

math.AP

On regularity and rigidity of $2\times 2$ differential inclusions into non-elliptic curves

We study differential inclusions $Du\in \Pi$ in an open set $\Omega\subset\mathbb R^2$, where $\Pi\subset \mathbb R^{2\times 2}$ is a compact connected $C^2$ curve without rank-one connections, but non-elliptic: tangent lines to $\Pi$ may have rank-one connections, so that classical regularity and rigidity results do not apply. For a wide class of such curves $\Pi$, we show that $Du$ is locally Lipschitz outside a discrete set, and is rigidly characterized around each singularity. Moreover, in the partially elliptic case where at least one tangent line to $\Pi$ has no rank-one connections, or under some topological restrictions on the tangent bundle of $\Pi$, there are no singularities. This goes well beyond previously known particular cases related to Burgers' equation and to the Aviles-Giga functional. The key is the identification and appropriate use of a general underlying structure: an infinite family of conservation laws, called entropy productions in reference to the theory of scalar conservation laws.

math.AP

On the Rank-$1$ convex hull of a set arising from a hyperbolic system of Lagrangian elasticity

We address the questions (P1), (P2) asked in Kirchheim-Müller-Šverák (2003) concerning the structure of the Rank-$1$ convex hull of a submanifold $\mathcal{K}_1\subset M^{3\times 2}$ that is related to weak solutions of the two by two system of Lagrangian equations of elasticity studied by DiPerna (1985) with one entropy augmented. This system serves as a model problem for higher order systems for which there are only finitely many entropies. The Rank-$1$ convex hull is of interest in the study of solutions via convex integration: the Rank-$1$ convex hull needs to be sufficiently non-trivial for convex integration to be possible. Such non-triviality is typically shown by embedding a $\mathbb{T}_4$ (Tartar square) into the set. We show that in the strictly hyperbolic, genuinely nonlinear case considered by DiPerna (1985), no $\mathbb{T}_4$ configuration can be embedded into $\mathcal{K}_1$.

math.AP

Quantitative rigidity of differential inclusions in two dimensions

For any compact connected one-dimensional submanifold $K\subset \mathbb R^{2\times 2}$ which has no rank-one connection and is elliptic, we prove the quantitative rigidity estimate \[ \inf_{M\in K}\int_{B_{1/2}}| Du -M |^2\,dx \leq C \int_{B_1} \mathrm{dist}^2(Du, K)\, dx, \qquad\forall u\in H^1(B_1;\mathbb R^2). \] This is an optimal generalization, for compact connected submanifolds of $\mathbb R^{2\times 2}$, of the celebrated quantitative rigidity estimate of Friesecke, James and Müller for the approximate differential inclusion into $SO(n)$. The proof relies on the special properties of elliptic subsets $K\subset\mathbb R^{2\times 2}$ with respect to conformal-anticonformal decomposition, which provide a quasilinear elliptic PDE satisfied by solutions of the exact differential inclusion $Du\in K$. We also give an example showing that no analogous result can hold true in $\mathbb R^{n\times n}$ for $n\geq 3$.

math.AP

On optimal regularity estimates for finite-entropy solutions of scalar conservation laws

We consider finite-entropy solutions of scalar conservation laws $u_t +a(u)_x =0$, that is, bounded weak solutions whose entropy productions are locally finite Radon measures. Under the assumptions that the flux function $a$ is strictly convex (with possibly degenerate convexity) and $a''$ forms a doubling measure, we obtain a characterization of finite-entropy solutions in terms of an optimal regularity estimate involving a cost function first used by Golse and Perthame.

math.AP

On a generalized Aviles-Giga functional: compactness, zero-energy states, regularity estimates and energy bounds

Given any strictly convex norm $\|\cdot\|$ on $\mathbb{R}^2$ that is $C^1$ in $\mathbb{R}^2\setminus\{0\}$, we study the generalized Aviles-Giga functional \[I_ε(m):=\int_Ω \left(ε\left|\nabla m\right|^2 + \frac{1}ε\left(1-\|m\|^2\right)^2\right) \, dx,\] for $Ω\subset\mathbb R^2$ and $m\colonΩ\to\mathbb R^2$ satisfying $\nabla\cdot m=0$. Using, as in the euclidean case $\|\cdot\|=|\cdot|$, the concept of entropies for the limit equation $\|m\|=1$, $\nabla\cdot m=0$, we obtain the following. First, we prove compactness in $L^p$ of sequences of bounded energy. Second, we prove rigidity of zero-energy states (limits of sequences of vanishing energy), generalizing and simplifying a result by Bochard and Pegon. Third, we obtain optimal regularity estimates for limits of sequences of bounded energy, in terms of their entropy productions. Fourth, in the case of a limit map in $BV$, we show that lower bound provided by entropy productions and upper bound provided by one-dimensional transition profiles are of the same order. The first two points are analogous to what is known in the euclidean case $\|\cdot\|=|\cdot|$, and the last two points are sensitive to the anisotropy of the norm $\|\cdot\|$.

math.AP

Factorization for entropy production of the Eikonal equation and regularity

The Eikonal equation arises naturally in the limit of the second order Aviles-Giga functional whose $Γ$-convergence is a long standing challenging problem. The theory of entropy solutions of the Eikonal equation plays a central role in the variational analysis of this problem. Establishing fine structures of entropy solutions of the Eikonal equation, e.g. concentration of entropy measures on $\mathcal{H}^1$-rectifiable sets in $2$D, is arguably the key missing part for a proof of the full $Γ$-convergence of the Aviles-Giga functional. In the first part of this work, for $p\in \left(1,\frac{4}{3}\right]$ we establish an $L^p$ version of the main theorem of Ghiraldin and Lamy [Comm. Pure Appl. Math. 73 (2020), no. 2, 317-349]. Specifically we show that if $m$ is a solution to the Eikonal equation, then $m\in B^{\frac{1}{3}}_{3p,\infty,loc}$ is equivalent to all entropy productions of $m$ being in $L^p_{loc}$. This result also shows that as a consequence of a weak form of the Aviles-Giga conjecture (namely the conjecture that all solutions to the Eikonal equation whose entropy productions are in $L^p_{loc}$ are rigid) - the rigidity/flexibility threshold of the Eikonal equation is exactly the space $ B^{\frac{1}{3}}_{3,\infty,loc}$. In the second part of this paper, under the assumption that all entropy productions are in $L^p_{loc}$, we establish a factorization formula for entropy productions of solutions of the Eikonal equation in terms of the two Jin-Kohn entropies. A consequence of this formula is control of all entropy productions by the Jin-Kohn entropies in the $L^p$ setting - this is a strong extension of an earlier result of the authors [Annales de l'Institut Henri Poincaré. Analyse Non Linéaire 35 (2018), no. 2, 481-516].

math.AP

Rigidity of a non-elliptic differential inclusion related to the Aviles-Giga conjecture

In this paper we prove sharp regularity for a differential inclusion into a set $K\subset\mathbb{R}^{2\times 2}$ that arises in connection with the Aviles-Giga functional. The set $K$ is not elliptic, and in that sense our main result goes beyond Šverák's regularity theorem on elliptic differential inclusions. It can also be reformulated as a sharp regularity result for a critical nonlinear Beltrami equation. In terms of the Aviles-Giga energy, our main result implies that zero energy states coincide (modulo a canonical transformation) with solutions of the differential inclusion into $K$. This opens new perspectives towards understanding energy concentration properties for Aviles-Giga: quantitative estimates for the stability of zero energy states can now be approached from the point of view of stability estimates for differential inclusions. All these reformulations of our results are strong improvements of a recent work by the last two authors Lorent and Peng, where the link between the differential inclusion into $K$ and the Aviles-Giga functional was first observed and used. Our proof relies moreover on new observations concerning the algebraic structure of entropies.

math.AP

First critical field of highly anisotropic three-dimensional superconductors via a vortex density model

We analyze a mean field model for $3$d anisotropic superconductors with a layered structure, in the presence of a strong magnetic field. The mean field model arises as the $Gamma$-limit of the Lawrence-Doniach energy in certain regimes. A reformulation of the problem based on convex duality allows us to characterize the first critical field $H_{c_1}$ of the layered superconductor, up to leading order. In previous work, Alama-Bronsard-Sandier \cite{ABS} have derived the asymptotic value of $H_{c_1}$ for configurations satisfying periodic boundary conditions; in that setting describing minimizers of the Lawrence-Doniach energy reduces to a $2$d problem. In this work, we treat the physical case without any periodicity assumptions, and are thus led to studying a delicate and essentially $3$d non-local obstacle problem first derived by Baldo-Jerrard-Orlandi-Soner \cite{BJOS2} for the isotropic Ginzburg-Landau energy. We obtain a characterization of $H_{c_1}$ using the special anisotropic structure of the mean field model.

math.AP

Null Lagrangian Measures in subspaces, compensated compactness and conservation laws

Compensated compactness is an important method used to solve nonlinear PDEs. A simple formulation of a compensated compactness problem is to ask for conditions on a set $\mathcal{K}\subset M^{m\times n}$ such that $$ \lim_{n\rightarrow \infty} \mathrm{dist}(Du_n,\mathcal{K})\overset{L^p}{\rightarrow} 0\; \Rightarrow \{Du_{n}\}_{n}\text{ is precompact.} $$ Let $M_1,M_2,\dots, M_q$ denote the set of minors of $M^{m\times n}$. A sufficient condition for this is that any measure $μ$ supported on $\mathcal{K}$ satisfying $$ \int M_k(X) dμ(X)=M_k\left(\int X dμ(X)\right)\text{ for }k=1,2,\dots, q $$ is a Dirac measure. We call measures that satisfy the above equation "Null Lagrangian Measures" and we denote the set of Null Lagrangian Measures supported on $\mathcal{K}$ by $\mathcal{M}^{pc}(\mathcal{K})$. For general $m,n$, a necessary and sufficient condition for triviality of $\mathcal{M}^{pc}(\mathcal{K})$ was an open question even in the case where $\mathcal{K}$ is a linear subspace of $M^{m\times n}$. We answer this question and provide a necessary and sufficient condition for any linear subspace $\mathcal{K}\subset M^{m\times n}$. The ideas also allow us to show that for any $d\in \left\{1,2,3\right\}$, $d$-dimensional subspaces $\mathcal{K}\subset M^{m\times n}$ support non-trivial Null Lagrangian Measures if and only if $\mathcal{K}$ has Rank-$1$ connections. This is known to be false for $d\ge 4$. Using the ideas developed we are able to answer (up to first order) a question of Kirchheim, Müller and Sverak on the Null Lagrangian measures arising in the study of a (one) entropy solution of a $2\times 2$ system of conservation laws that arises in elasticity.

math.AP

Analysis of Minimizers of the Lawrence-Doniach Energy for Superconductors in Applied Fields

We analyze minimizers of the Lawrence-Doniach energy for layered superconductors occupying a bounded generalized cylinder, $ Ω\times[0,L]$, in $\mathbb{R}^3$, where $Ω$ is a bounded simply connected Lipschitz domain in $\mathbb{R}^2$. For an applied magnetic field $\vec{H}_{ex}=h_{ex}\vec{e}_{3}$ that is perpendicular to the layers with $\left|\lnε\right|\ll h_{ex}\llε^{-2}$ as $ε\rightarrow 0$, where $ε$ is the reciprocal of the Ginzburg-Landau parameter, we prove an asymptotic formula for the minimum Lawrence-Doniach energy as $ε$ and the interlayer distance $s$ tend to zero. Under appropriate assumptions on $s$ versus $ε$, we establish comparison results between the minimum Lawrence-Doniach energy and the minimum three-dimensional anisotropic Ginzburg-Landau energy. As a consequence, our asymptotic formula also describes the minimum three-dimensional anisotropic energy as $ε$ tends to zero.

math.AP

Convergence of the Lawrence-Doniach Energy for Layered Superconductors with Magnetic Fields near $H_{c_1}$

We analyze minimizers of the Lawrence-Doniach energy for three-dimensional highly anisotropic superconductors with layered structure. For such a superconductor occupying a bounded generalized cylinder in $\mathbb{R}^3$ with equally spaced parallel layers, we assume an applied magnetic field that is perpendicular to the layers with intensity $h_{ex}\sim|\lnε|$ as $ε\rightarrow 0$, where $ε$ is the reciprocal of the Ginzburg-Landau parameter. We prove compactness results for various physical quantities of energy minimizers, and derive a Gamma-limit of the Lawrence-Doniach energy as $ε$ and the interlayer distance $s$ tend to zero, under the additional assumption that the layers are weakly coupled (i.e., $s\ggε$).

math.AP

Bounded solutions for a class of Hamiltonian systems

We obtain bounded for all $t$ solutions of ordinary differential equations as limits of the solutions of the corresponding Dirichlet problems on $(-L,L)$, with $L \rightarrow \infty$. We derive a priori estimates for the Dirichlet problems, allowing passage to the limit, via a diagonal sequence. This approach carries over to the PDE case.

math.AP

Regularity of the Eikonal equation with two vanishing entropies

The Aviles-Giga functional $I_ε(u)=\int_Ω \frac{\left|1-\left|\nabla u\right|^2\right|^2}ε+ε\left|\nabla^2 u\right|^2 \, dx$ is a well known second order functional that models phenomena from blistering to liquid crystals. The zero energy states of the Aviles-Giga functional have been characterized by Jabin, Otto, Perthame. Among other results they showed that if $\lim_{n\rightarrow \infty} I_{ε_n}(u_n)=0$ for some sequence $u_n\in W^{2,2}_0(Ω)$ and $u=\lim_{n\rightarrow \infty} u_n$ then $\nabla u$ is Lipschitz continuous outside a locally finite set. This is essentially a corollary to their theorem that if $u$ is a solution to the Eikonal equation $\left|\nabla u\right|=1$ a.e. and if for every "entropy" $Φ$ function $u$ satisfies $\nabla\cdot\left[Φ(\nabla u^{\perp})\right]=0$ distributionally in $Ω$ then $\nabla u$ is locally Lipschitz continuous outside a locally finite set. In this paper we generalize this result by showing that if $Ω$ is bounded and simply connected, $u$ satisfies the Eikonal equation and if \begin{equation} \label{eqi88} \nabla\cdot\left(Σ_{e_1 e_2}(\nabla u^{\perp})\right)=0\text{and}\nabla\cdot\left(Σ_{ε_1 ε_2}(\nabla u^{\perp})\right)=0\text{distributionally in}Ω, \end{equation} where $Σ_{e_1 e_2}$ and $Σ_{ε_1 ε_2}$ are the entropies introduced by Ambrosio, DeLellis, Mantegazza, Jin, Kohn, then $\nabla u$ is locally Lipschitz continuous outside a locally finite set.

math.AP