{"title":"Factorization for entropy production of the Eikonal equation and regularity","authors":"A. Lorent, G. Peng","doi":"10.1512/iumj.2023.72.9394","DOIUrl":null,"url":null,"abstract":"The Eikonal equation arises naturally in the limit of the second order Aviles-Giga functional whose $\\Gamma$-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 $\\Gamma$-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\\'{e}. Analyse Non Lin\\'{e}aire 35 (2018), no. 2, 481-516].","PeriodicalId":50369,"journal":{"name":"Indiana University Mathematics Journal","volume":null,"pages":null},"PeriodicalIF":1.2000,"publicationDate":"2021-04-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"7","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Indiana University Mathematics Journal","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1512/iumj.2023.72.9394","RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"MATHEMATICS","Score":null,"Total":0}
引用次数: 7
Abstract
The Eikonal equation arises naturally in the limit of the second order Aviles-Giga functional whose $\Gamma$-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 $\Gamma$-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\'{e}. Analyse Non Lin\'{e}aire 35 (2018), no. 2, 481-516].
Eikonal方程自然产生于二阶Aviles-Giga-泛函的极限,其$\Gamma$-收敛是一个长期存在的具有挑战性的问题。Eikonal方程的熵解理论在该问题的变分分析中起着核心作用。建立Eikonal方程的熵解的精细结构,例如在$2$D中$\mathcal{H}^1$-可直集上的熵测度的集中,可以说是证明Aviles Giga泛函的完全$\Gamma$-收敛性的关键缺失部分。在这项工作的第一部分中,对于$p\In\left(1,\frac{4}{3}\right]$,我们建立了Ghiraldin和Lamy主要定理的$L^p$版本[Comm.Pure Appl.Math.73(2020),no.2317-349]。具体地说,我们证明了如果$m$是Eikonal方程的解,那么B^{\frac{1}{3}}_{3p,\fty,loc}$中的$m\等价于$L^ p_{loc}$中$m$的所有熵产生。这一结果还表明,作为Aviles-Giga猜想的一种弱形式(即熵产生在$L^p_{loc}$中的Eikonal方程的所有解都是刚性的猜想)的结果,Eikonal方程式的刚性/柔性阈值正是空间$B^{\frac{1}{3}}_{3,\infty,loc}$。在本文的第二部分中,在所有熵产生都在$L^p_{loc}$的假设下,我们用两个Jin-Kohn熵建立了Eikonal方程解的熵产生的因子分解公式。这个公式的一个结果是在$L^p$设置下,金-科恩熵对所有熵产生的控制——这是作者[Annales de L’Institut Henri Poincar\'{e}.Analysis Non-Lin{e}aire35(2018),第2号,481-516]。