Source author record

Guanying Peng

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

6works
1topics
2close collaborators

Published work

6 publications

preprint2022arXiv

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

Given any strictly convex norm ∥⋅∥\|\cdot\| on R2\mathbb{R}^2 that is C1C^1 in R2∖{0}\mathbb{R}^2\setminus\{0\}, we study the generalized Aviles-Giga functional Iε(m):=∫Ω(ε∣∇m∣2+1ε(1−∥m∥2)2) dx,I_ε(m):=\int_Ω \left(ε\left|\nabla m\right|^2 + \frac{1}ε\left(1-\|m\|^2\right)^2\right) \, dx, for Ω⊂R2Ω\subset\mathbb R^2 and m ⁣:Ω→R2m\colonΩ\to\mathbb R^2 satisfying ∇⋅m=0\nabla\cdot m=0. Using, as in the euclidean case ∥⋅∥=∣⋅∣\|\cdot\|=|\cdot|, the concept of entropies for the limit equation ∥m∥=1\|m\|=1, ∇⋅m=0\nabla\cdot m=0, we obtain the following. First, we prove compactness in LpL^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 BVBV, 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\|.

preprint2022arXiv

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

We consider finite-entropy solutions of scalar conservation laws ut+a(u)x=0u_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 aa is strictly convex (with possibly degenerate convexity) and a′′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.

preprint2022arXiv

On the Rank-11 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-11 convex hull of a submanifold K1⊂M3×2\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-11 convex hull is of interest in the study of solutions via convex integration: the Rank-11 convex hull needs to be sufficiently non-trivial for convex integration to be possible. Such non-triviality is typically shown by embedding a T4\mathbb{T}_4 (Tartar square) into the set. We show that in the strictly hyperbolic, genuinely nonlinear case considered by DiPerna (1985), no T4\mathbb{T}_4 configuration can be embedded into K1\mathcal{K}_1.

preprint2022arXiv

Quantitative rigidity of differential inclusions in two dimensions

For any compact connected one-dimensional submanifold K⊂R2×2K\subset \mathbb R^{2\times 2} which has no rank-one connection and is elliptic, we prove the quantitative rigidity estimate inf⁡M∈K∫B1/2∣Du−M∣2 dx≤C∫B1dist2(Du,K) dx,∀u∈H1(B1;R2). \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 R2×2\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)SO(n). The proof relies on the special properties of elliptic subsets K⊂R2×2K\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∈KDu\in K. We also give an example showing that no analogous result can hold true in Rn×n\mathbb R^{n\times n} for n≥3n\geq 3.

preprint2020arXiv

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⊂R2×2K\subset\mathbb{R}^{2\times 2} that arises in connection with the Aviles-Giga functional. The set KK 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 KK. 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 KK and the Aviles-Giga functional was first observed and used. Our proof relies moreover on new observations concerning the algebraic structure of entropies.

preprint2016arXiv

Regularity of the Eikonal equation with two vanishing entropies

The Aviles-Giga functional Iε(u)=∫Ω∣1−∣∇u∣2∣2ε+ε∣∇2u∣2 dxI_ε(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→∞Iεn(un)=0\lim_{n\rightarrow \infty} I_{ε_n}(u_n)=0 for some sequence un∈W02,2(Ω)u_n\in W^{2,2}_0(Ω) and u=lim⁡n→∞unu=\lim_{n\rightarrow \infty} u_n then ∇u\nabla u is Lipschitz continuous outside a locally finite set. This is essentially a corollary to their theorem that if uu is a solution to the Eikonal equation ∣∇u∣=1\left|\nabla u\right|=1 a.e. and if for every "entropy" ΦΦ function uu satisfies ∇⋅[Φ(∇u⊥)]=0\nabla\cdot\left[Φ(\nabla u^{\perp})\right]=0 distributionally in ΩΩ then ∇u\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, uu 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 Σe1e2Σ_{e_1 e_2} and Σε1ε2Σ_{ε_1 ε_2} are the entropies introduced by Ambrosio, DeLellis, Mantegazza, Jin, Kohn, then ∇u\nabla u is locally Lipschitz continuous outside a locally finite set.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.