Stefano Borghini, Mattia Fogagnolo, Andrea Pinamonti
{"title":"The Equality Case in the Substatic Heintze–Karcher Inequality","authors":"Stefano Borghini, Mattia Fogagnolo, Andrea Pinamonti","doi":"10.1007/s00205-024-02022-7","DOIUrl":"10.1007/s00205-024-02022-7","url":null,"abstract":"<div><p>We provide a rigidity statement for the equality case of the Heintze–Karcher inequality in substatic manifolds. We apply such a result in the warped product setting to fully remove assumption (H4) in the celebrated Brendle’s characterization of constant mean curvature hypersurfaces in warped products.\u0000</p></div>","PeriodicalId":55484,"journal":{"name":"Archive for Rational Mechanics and Analysis","volume":"248 6","pages":""},"PeriodicalIF":2.6,"publicationDate":"2024-11-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00205-024-02022-7.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142587820","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Regularity and compactness for critical points of degenerate polyconvex energies","authors":"André Guerra, Riccardo Tione","doi":"10.1007/s00205-024-02055-y","DOIUrl":"10.1007/s00205-024-02055-y","url":null,"abstract":"<div><p>We study Lipschitz critical points of the energy <span>(int _Omega g(det text {D} u) ,text {d} x)</span> in two dimensions, where <i>g</i> 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.</p></div>","PeriodicalId":55484,"journal":{"name":"Archive for Rational Mechanics and Analysis","volume":"248 6","pages":""},"PeriodicalIF":2.6,"publicationDate":"2024-11-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142573729","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Global Small Analytic Solution of 3-D Anisotropic Navier-Stokes System","authors":"Ning Liu, Ping Zhang","doi":"10.1007/s00205-024-02051-2","DOIUrl":"10.1007/s00205-024-02051-2","url":null,"abstract":"<div><p>In this paper, we prove the global existence of analytic solution for 3D anisotropic Navier-Stokes system with initial data which is small and analytic in the vertical variable. We shall also prove that this solution will be analytic in the horizontal variables soon after <span>(t>0.)</span> Furthermore, we show that the ratio between the analytic radius, <span>(R_textrm{h}(t),)</span> of the solution in the horizontal variables and <span>( sqrt{t})</span> satisfies <span>(lim _{trightarrow 0_+}frac{R_textrm{h}(t)}{sqrt{t}}=infty .)</span></p></div>","PeriodicalId":55484,"journal":{"name":"Archive for Rational Mechanics and Analysis","volume":"248 6","pages":""},"PeriodicalIF":2.6,"publicationDate":"2024-10-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142555278","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Navigating the Complex Landscape of Shock Filter Cahn–Hilliard Equation: From Regularized to Entropy Solutions","authors":"Darko Mitrovic, Andrej Novak","doi":"10.1007/s00205-024-02057-w","DOIUrl":"10.1007/s00205-024-02057-w","url":null,"abstract":"<div><p>Image inpainting involves filling in damaged or missing regions of an image by utilizing information from the surrounding areas. In this paper, we investigate a fully nonlinear partial differential equation inspired by the modified Cahn–Hilliard equation. Instead of using standard potentials that depend solely on pixel intensities, we consider morphological image enhancement filters that are based on a variant of the shock filter: </p><div><div><span>$$begin{aligned} partial _t u&= Delta left( -nu arctan (Delta u)|nabla u| - mu Delta u right) + lambda (u_0 - u). end{aligned}$$</span></div></div><p>This is referred to as the Shock Filter Cahn–Hilliard Equation. The equation is nonlinear with respect to the highest-order derivative, which poses significant mathematical challenges. To address these, we make use of a specific approximation argument, establishing the existence of a family of approximate solutions through the Leray–Schauder fixed point theorem and the Aubin–Lions lemma. In the limit, we obtain a solution strategy wherein we can prove the existence and uniqueness of solutions. Proving the latter involves the Kruzhkov entropy type-admissibility conditions. Additionally, we use a numerical method based on the convexity splitting idea to approximate solutions of the nonlinear partial differential equation and achieve fast inpainting results. To demonstrate the effectiveness of our approach, we apply our method to standard binary images and compare it with variations of the Cahn–Hilliard equation commonly used in the field.\u0000</p></div>","PeriodicalId":55484,"journal":{"name":"Archive for Rational Mechanics and Analysis","volume":"248 6","pages":""},"PeriodicalIF":2.6,"publicationDate":"2024-10-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142519164","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"1-D Isentropic Euler Flows: Self-similar Vacuum Solutions","authors":"Helge Kristian Jenssen","doi":"10.1007/s00205-024-02054-z","DOIUrl":"10.1007/s00205-024-02054-z","url":null,"abstract":"<div><p>We consider one-dimensional self-similar solutions to the isentropic Euler system when the initial data are at vacuum to the left of the origin. For <span>(x>0)</span>, the initial velocity and sound speed are of the form <span>(u_0(x)=u_+x^{1-lambda })</span> and <span>(c_0(x)=c_+x^{1-lambda })</span>, for constants <span>(u_+in mathbb {R})</span>, <span>(c_+>0)</span>, <span>(lambda in mathbb {R})</span>. We analyze the resulting solutions in terms of the similarity parameter <span>(lambda )</span>, the adiabatic exponent <span>(gamma )</span>, and the initial (signed) Mach number <span>(text {Ma}=u_+/c_+)</span>. Restricting attention to locally bounded data, we find that when the sound speed initially decays to zero in a Hölder manner (<span>(0<lambda <1)</span>), the resulting flow is always defined globally. Furthermore, there are three regimes depending on <span>(text {Ma})</span>: for sufficiently large positive <span>(text {Ma})</span>-values, the solution is continuous and the initial Hölder decay is immediately replaced by <span>(C^1)</span>-decay to vacuum along a stationary vacuum interface; for moderate values of <span>(text {Ma})</span>, the solution is again continuous and with an accelerating vacuum interface along which <span>(c^2)</span> decays linearly to zero (i.e., a “physical singularity”); for sufficiently large negative <span>(text {Ma})</span>-values, the solution contains a shock wave emanating from the initial vacuum interface and propagating into the fluid, together with a physical singularity along an accelerating vacuum interface. In contrast, when the sound speed initially decays to zero in a <span>(C^1)</span> manner (<span>(lambda <0)</span>), a global flow exists only for sufficiently large positive values of <span>(text {Ma})</span>. The non-existence of global solutions for smaller <span>(text {Ma})</span>-values is due to rapid growth of the data at infinity and is unrelated to the presence of a vacuum.</p></div>","PeriodicalId":55484,"journal":{"name":"Archive for Rational Mechanics and Analysis","volume":"248 6","pages":""},"PeriodicalIF":2.6,"publicationDate":"2024-10-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142518934","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Michael Hott, Alexander B. Watson, Mitchell Luskin
{"title":"From Incommensurate Bilayer Heterostructures to Allen–Cahn: An Exact Thermodynamic Limit","authors":"Michael Hott, Alexander B. Watson, Mitchell Luskin","doi":"10.1007/s00205-024-02043-2","DOIUrl":"10.1007/s00205-024-02043-2","url":null,"abstract":"<div><p>We give a complete and rigorous derivation of the mechanical energy for twisted 2D bilayer heterostructures without any approximation beyond the existence of an empirical many-body site energy. Our results apply to both the continuous and discontinuous continuum limit. Approximating the intralayer Cauchy–Born energy by linear elasticity theory and assuming an interlayer coupling via pair potentials, our model reduces to a modified Allen–Cahn functional. We rigorously control the error, and, in the case of sufficiently smooth lattice displacements, provide a rate of convergence for twist angles satisfying a Diophantine condition.</p></div>","PeriodicalId":55484,"journal":{"name":"Archive for Rational Mechanics and Analysis","volume":"248 6","pages":""},"PeriodicalIF":2.6,"publicationDate":"2024-10-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142518935","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Uniform (C^{1,alpha })-Regularity for Almost-Minimizers of Some Nonlocal Perturbations of the Perimeter","authors":"M. Goldman, B. Merlet, M. Pegon","doi":"10.1007/s00205-024-02048-x","DOIUrl":"10.1007/s00205-024-02048-x","url":null,"abstract":"<div><p>In this paper, we establish a <span>(C^{1,alpha })</span>-regularity theorem for almost-minimizers of the functional <span>(mathcal {F}_{varepsilon ,gamma }=P-gamma P_{varepsilon })</span>, where <span>(gamma in (0,1))</span> and <span>(P_{varepsilon })</span> is a nonlocal energy converging to the perimeter as <span>(varepsilon )</span> vanishes. Our theorem provides a criterion for <span>(C^{1,alpha })</span>-regularity at a point of the boundary which is <i>uniform</i> as the parameter <span>(varepsilon )</span> goes to 0. Since the two terms in the energy are of the same order when <span>(varepsilon )</span> is small, we are considering here much stronger nonlocal interactions than those considered in most related works. As a consequence of our regularity result, we obtain that, for <span>(varepsilon )</span> small enough, volume-constrained minimizers of <span>(mathcal {F}_{varepsilon ,gamma })</span> are balls. For small <span>(varepsilon )</span>, this minimization problem corresponds to the large mass regime for a Gamow-type problem where the nonlocal repulsive term is given by an integrable kernel <i>G</i> with sufficiently fast decay at infinity.</p></div>","PeriodicalId":55484,"journal":{"name":"Archive for Rational Mechanics and Analysis","volume":"248 6","pages":""},"PeriodicalIF":2.6,"publicationDate":"2024-10-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142519076","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Global Spherically Symmetric Solutions of the Multidimensional Full Compressible Navier–Stokes Equations with Large Data","authors":"Gui-Qiang G. Chen, Yucong Huang, Shengguo Zhu","doi":"10.1007/s00205-024-02018-3","DOIUrl":"10.1007/s00205-024-02018-3","url":null,"abstract":"<div><p>We establish the global-in-time existence of solutions of the Cauchy problem for the full Navier–Stokes equations for compressible heat-conducting flow in multidimensions with initial data that are large, discontinuous, spherically symmetric, and away from the vacuum. The solutions obtained here are of global finite total relative-energy including the origin, while cavitation may occur as balls centred at the origin of symmetry for which the interfaces between the fluid and the vacuum must be upper semi-continuous in space-time in the Eulerian coordinates. On any region strictly away from the possible vacuum, the velocity and specific internal energy are Hölder continuous, and the density has a uniform upper bound. To achieve this, our main strategy is to regard the Cauchy problem as the limit of a series of carefully designed initial-boundary value problems that are formulated in finite annular regions. For such approximation problems, we can derive uniform a priori estimates that are independent of both the inner and outer radii of the annuli considered in the spherically symmetric Lagrangian coordinates. The entropy inequality is recovered after taking the limit of the outer radius to infinity by using Mazur’s lemma and the convexity of the entropy function, which is required for the limit of the inner radius tending to zero. Then the global weak solutions of the original problem are attained via careful compactness arguments applied to the approximate solutions in the Eulerian coordinates.</p></div>","PeriodicalId":55484,"journal":{"name":"Archive for Rational Mechanics and Analysis","volume":"248 6","pages":""},"PeriodicalIF":2.6,"publicationDate":"2024-10-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00205-024-02018-3.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142452895","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Upper Bound for the Ground State Energy of a Dilute Bose Gas of Hard Spheres","authors":"Giulia Basti, Serena Cenatiempo, Alessandro Giuliani, Alessandro Olgiati, Giulio Pasqualetti, Benjamin Schlein","doi":"10.1007/s00205-024-02049-w","DOIUrl":"10.1007/s00205-024-02049-w","url":null,"abstract":"<div><p>We consider a gas of bosons interacting through a hard-sphere potential with radius <span>(mathfrak {a})</span> in the thermodynamic limit. We derive an upper bound for the ground state energy per particle at low density. Our bound captures the leading term <span>(4pi rho mathfrak {a})</span> and shows that corrections are smaller than <span>(C rho mathfrak {a} (rho {{mathfrak {a}}}^3)^{1/2})</span>, for a sufficiently large constant <span>(C > 0)</span>. In combination with a known lower bound, our result implies that the first sub-leading term to the ground state energy of a dilute gas of hard spheres is, in fact, of the order <span>(rho mathfrak {a}(rho {{mathfrak {a}}}^3)^{1/2})</span>, in agreement with the Lee–Huang–Yang prediction.\u0000</p></div>","PeriodicalId":55484,"journal":{"name":"Archive for Rational Mechanics and Analysis","volume":"248 6","pages":""},"PeriodicalIF":2.6,"publicationDate":"2024-10-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00205-024-02049-w.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142453082","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Strong (L^2 H^2) Convergence of the JKO Scheme for the Fokker–Planck Equation","authors":"Filippo Santambrogio, Gayrat Toshpulatov","doi":"10.1007/s00205-024-02037-0","DOIUrl":"10.1007/s00205-024-02037-0","url":null,"abstract":"<div><p>Following a celebrated paper by Jordan, Kinderleherer and Otto, it is possible to discretize in time the Fokker–Planck equation <span>(partial _tvarrho =Delta varrho +nabla cdot (varrho nabla V))</span> by solving a sequence of iterated variational problems in the Wasserstein space, and the sequence of piecewise constant curves obtained from the scheme is known to converge to the solution of the continuous PDE. This convergence is uniform in time valued in the Wasserstein space and also strong in <span>(L^1)</span> in space-time. We prove in this paper, under some assumptions on the domain (a bounded and smooth convex domain) and on the initial datum (which is supposed to be bounded away from zero and infinity and belong to <span>(W^{1,p})</span> for an exponent <i>p</i> larger than the dimension), that the convergence is actually strong in <span>(L^2_tH^2_x)</span>, hence strongly improving open the previously known results in terms of the order of derivation in space. The technique is based on some inequalities, obtained with optimal transport techniques, that can be proven on the discrete sequence of approximate solutions, and that mimic the corresponding continuous computations.</p></div>","PeriodicalId":55484,"journal":{"name":"Archive for Rational Mechanics and Analysis","volume":"248 6","pages":""},"PeriodicalIF":2.6,"publicationDate":"2024-10-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142451106","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}