Pub Date : 2024-08-18DOI: 10.1007/s00205-024-02015-6
Gohar Aleksanyan, Tuomo Kuusi
In this manuscript we prove quantitative homogenization results for the obstacle problem with bounded measurable coefficients. As a consequence, large-scale regularity results both for the solution and the free boundary for the heterogeneous obstacle problem are derived.
{"title":"Quantitative Homogenization for the Obstacle Problem and Its Free Boundary","authors":"Gohar Aleksanyan, Tuomo Kuusi","doi":"10.1007/s00205-024-02015-6","DOIUrl":"10.1007/s00205-024-02015-6","url":null,"abstract":"<div><p>In this manuscript we prove quantitative homogenization results for the obstacle problem with bounded measurable coefficients. As a consequence, large-scale regularity results both for the solution and the free boundary for the heterogeneous obstacle problem are derived.</p></div>","PeriodicalId":55484,"journal":{"name":"Archive for Rational Mechanics and Analysis","volume":null,"pages":null},"PeriodicalIF":2.6,"publicationDate":"2024-08-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC11330955/pdf/","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142010016","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}
Pub Date : 2024-08-05DOI: 10.1007/s00205-024-02016-5
Luis A. Caffarelli, Pablo Raúl Stinga, Hernán Vivas
We develop an analytic theory of existence and regularity of surfaces (given by graphs) arising from the geometric minimization problem
$$begin{aligned} min _mathcal {M}frac{1}{2}int _mathcal {M}|nabla _{mathcal {M}}H|^2,{text {d}}A, end{aligned}$$
where (mathcal {M}) ranges over all n-dimensional manifolds in (mathbb {R}^{n+1}) with a prescribed boundary, (nabla _{mathcal {M}}H) is the tangential gradient along (mathcal {M}) of the mean curvature H of (mathcal {M}) and dA is the differential of surface area. The minimizers, called surfaces of minimum mean curvature variation, are central in applications of computer-aided design, computer-aided manufacturing and mechanics. Our main results show the existence of both smooth surfaces and of variational solutions to the minimization problem together with geometric regularity results in the case of graphs. These are the first analytic results available for this problem.
{"title":"A PDE Approach to the Existence and Regularity of Surfaces of Minimum Mean Curvature Variation","authors":"Luis A. Caffarelli, Pablo Raúl Stinga, Hernán Vivas","doi":"10.1007/s00205-024-02016-5","DOIUrl":"10.1007/s00205-024-02016-5","url":null,"abstract":"<div><p>We develop an analytic theory of existence and regularity of surfaces (given by graphs) arising from the geometric minimization problem </p><div><div><span>$$begin{aligned} min _mathcal {M}frac{1}{2}int _mathcal {M}|nabla _{mathcal {M}}H|^2,{text {d}}A, end{aligned}$$</span></div></div><p>where <span>(mathcal {M})</span> ranges over all <i>n</i>-dimensional manifolds in <span>(mathbb {R}^{n+1})</span> with a prescribed boundary, <span>(nabla _{mathcal {M}}H)</span> is the tangential gradient along <span>(mathcal {M})</span> of the mean curvature <i>H</i> of <span>(mathcal {M})</span> and d<i>A</i> is the differential of surface area. The minimizers, called surfaces of minimum mean curvature variation, are central in applications of computer-aided design, computer-aided manufacturing and mechanics. Our main results show the existence of both smooth surfaces and of variational solutions to the minimization problem together with geometric regularity results in the case of graphs. These are the first analytic results available for this problem.</p></div>","PeriodicalId":55484,"journal":{"name":"Archive for Rational Mechanics and Analysis","volume":null,"pages":null},"PeriodicalIF":2.6,"publicationDate":"2024-08-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141945709","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}
Pub Date : 2024-07-29DOI: 10.1007/s00205-024-02008-5
Cristiana De Filippis, Lukas Koch, Jan Kristensen
We introduce a new quantification of nonuniform ellipticity in variational problems via convex duality, and prove higher differentiability and 2d-smoothness results for vector valued minimizers of possibly degenerate functionals. Our framework covers convex, anisotropic polynomials as prototypical model examples—in particular, we improve in an essentially optimal fashion Marcellini’s original results (Marcellini in Arch Rat Mech Anal 105:267–284, 1989).
{"title":"Quantified Legendreness and the Regularity of Minima","authors":"Cristiana De Filippis, Lukas Koch, Jan Kristensen","doi":"10.1007/s00205-024-02008-5","DOIUrl":"10.1007/s00205-024-02008-5","url":null,"abstract":"<div><p>We introduce a new quantification of nonuniform ellipticity in variational problems via convex duality, and prove higher differentiability and 2<i>d</i>-smoothness results for vector valued minimizers of possibly degenerate functionals. Our framework covers convex, anisotropic polynomials as prototypical model examples—in particular, we improve in an essentially optimal fashion Marcellini’s original results (Marcellini in Arch Rat Mech Anal 105:267–284, 1989).\u0000</p></div>","PeriodicalId":55484,"journal":{"name":"Archive for Rational Mechanics and Analysis","volume":null,"pages":null},"PeriodicalIF":2.6,"publicationDate":"2024-07-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00205-024-02008-5.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141869739","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}
In this paper we consider the steepest descent (L^2)-gradient flow of the entropy functional. The flow expands convex curves, with the radius of an initial circle growing like the square root of time. Our main result is that, for any initial curve (either immersed locally strictly convex of class (C^2) or embedded of class (W^{2,2}) bounding a strictly convex body), the flow converges smoothly to a round expanding multiply-covered circle.
{"title":"The Gradient Flow for Entropy on Closed Planar Curves","authors":"Lachlann O’Donnell, Glen Wheeler, Valentina-Mira Wheeler","doi":"10.1007/s00205-024-02014-7","DOIUrl":"10.1007/s00205-024-02014-7","url":null,"abstract":"<div><p>In this paper we consider the steepest descent <span>(L^2)</span>-gradient flow of the entropy functional. The flow expands convex curves, with the radius of an initial circle growing like the square root of time. Our main result is that, for any initial curve (either immersed locally strictly convex of class <span>(C^2)</span> or embedded of class <span>(W^{2,2})</span> bounding a strictly convex body), the flow converges smoothly to a round expanding multiply-covered circle.</p></div>","PeriodicalId":55484,"journal":{"name":"Archive for Rational Mechanics and Analysis","volume":null,"pages":null},"PeriodicalIF":2.6,"publicationDate":"2024-07-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00205-024-02014-7.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141773753","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}
Pub Date : 2024-07-22DOI: 10.1007/s00205-024-02011-w
Jonas Hirsch, Luca Spolaor
We prove that 2-dimensional Q-valued maps that are stationary with respect to outer and inner variations of the Dirichlet energy are Hölder continuous and that the dimension of their singular set is at most one. In the course of the proof we establish a strong concentration-compactness theorem for equicontinuous maps that are stationary with respect to outer variations only, and which holds in every dimensions.
{"title":"Interior Regularity for Two-Dimensional Stationary Q-Valued Maps","authors":"Jonas Hirsch, Luca Spolaor","doi":"10.1007/s00205-024-02011-w","DOIUrl":"10.1007/s00205-024-02011-w","url":null,"abstract":"<div><p>We prove that 2-dimensional <i>Q</i>-valued maps that are stationary with respect to outer and inner variations of the Dirichlet energy are Hölder continuous and that the dimension of their singular set is at most one. In the course of the proof we establish a strong concentration-compactness theorem for equicontinuous maps that are stationary with respect to outer variations only, and which holds in every dimensions.</p></div>","PeriodicalId":55484,"journal":{"name":"Archive for Rational Mechanics and Analysis","volume":null,"pages":null},"PeriodicalIF":2.6,"publicationDate":"2024-07-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00205-024-02011-w.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141743615","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}
Pub Date : 2024-07-15DOI: 10.1007/s00205-024-02010-x
B. Kolev, R. Desmorat
The subject of so-called objective derivatives in Continuum Mechanics has a long history and has generated varying views concerning their true mathematical interpretation. Several attempts have been made to provide a mathematical definition that would at least partially unify the existing notions. In this paper, we demonstrate that, under natural assumptions, all objective derivatives correspond to covariant derivatives on the infinite-dimensional manifold (textrm{Met}(mathcal {B})) of Riemannian metrics on the body. Furthermore, a natural Leibniz rule enables canonical extensions from covariant to contravariant tensor fields and vice versa. This makes the sometimes-used distinction between objective derivatives of “Lie type” and “co-rotational type” unnecessary. For an exhaustive list of objective derivatives found in the literature, we exhibit the corresponding covariant derivative on (textrm{Met}(mathcal {B})).
{"title":"Objective Rates as Covariant Derivatives on the Manifold of Riemannian Metrics","authors":"B. Kolev, R. Desmorat","doi":"10.1007/s00205-024-02010-x","DOIUrl":"10.1007/s00205-024-02010-x","url":null,"abstract":"<div><p>The subject of so-called objective derivatives in Continuum Mechanics has a long history and has generated varying views concerning their true mathematical interpretation. Several attempts have been made to provide a mathematical definition that would at least partially unify the existing notions. In this paper, we demonstrate that, under natural assumptions, all objective derivatives correspond to covariant derivatives on the infinite-dimensional manifold <span>(textrm{Met}(mathcal {B}))</span> of Riemannian metrics on the body. Furthermore, a natural Leibniz rule enables canonical extensions from covariant to contravariant tensor fields and vice versa. This makes the sometimes-used distinction between objective derivatives of “Lie type” and “co-rotational type” unnecessary. For an exhaustive list of objective derivatives found in the literature, we exhibit the corresponding covariant derivative on <span>(textrm{Met}(mathcal {B}))</span>.</p></div>","PeriodicalId":55484,"journal":{"name":"Archive for Rational Mechanics and Analysis","volume":null,"pages":null},"PeriodicalIF":2.6,"publicationDate":"2024-07-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141721976","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}
Pub Date : 2024-07-03DOI: 10.1007/s00205-024-02003-w
Nick Edelen
A 7-dimensional area-minimizing embedded hypersurface (M^7) will in general have a discrete singular set, and the same is true if M is locally stable provided ({mathcal {H}}^6(textrm{sing}M) = 0). We show that if (M_i^7) is a sequence of 7D minimal hypersurfaces which are minimizing, stable, or have bounded index, then (M_i rightarrow M) can limit to a singular (M^7) with only very controlled geometry, topology, and singular set. We show that one can always “parameterize” a subsequence (i') with controlled bi-Lipschitz maps (phi _{i'}) taking (phi _{i'}(M_{1'}) = M_{i'}). As a consequence, we prove the space of smooth, closed, embedded minimal hypersurfaces M in a closed Riemannian 8-manifold ((N^8, g)) with a priori bounds ({mathcal {H}}^7(M) leqq Lambda ) and (textrm{index}(M) leqq I) divides into finitely-many diffeomorphism types, and this finiteness continues to hold if one allows the metric g to vary, or M to be singular.
一个 7 维面积最小的内嵌超曲面 (M^7) 一般会有一个离散奇异集,如果 M 是局部稳定的,只要 ({mathcal {H}}^6(textrm{sing}M) = 0) 也是如此。我们证明,如果(M_i^7)是一个最小化、稳定或有界索引的7D最小超曲面序列,那么(M_i rightarrow M) 可以极限到一个奇异的(M^7),其几何、拓扑和奇异集都非常受控。我们证明,我们总是可以用受控的双立普茨映射 (phi _{i'}) 取 (phi _{i'}(M_{1'}) = M_{i'} 来 "参数化 "子序列 (i')。因此,我们证明了在封闭的黎曼 8-manifold((N^8、g)) with a priori bounds ({mathcal {H}}^7(M) leqq Lambda ) and (textrm{index}(M) leqq I) divides into finitely-many diffomorphism types, and this finiteness continues to hold if one allows the metric g to vary, or M to be singular.
{"title":"Degeneration of 7-Dimensional Minimal Hypersurfaces Which are Stable or Have a Bounded Index","authors":"Nick Edelen","doi":"10.1007/s00205-024-02003-w","DOIUrl":"10.1007/s00205-024-02003-w","url":null,"abstract":"<div><p>A 7-dimensional area-minimizing embedded hypersurface <span>(M^7)</span> will in general have a discrete singular set, and the same is true if <i>M</i> is locally stable provided <span>({mathcal {H}}^6(textrm{sing}M) = 0)</span>. We show that if <span>(M_i^7)</span> is a sequence of 7D minimal hypersurfaces which are minimizing, stable, or have bounded index, then <span>(M_i rightarrow M)</span> can limit to a singular <span>(M^7)</span> with only very controlled geometry, topology, and singular set. We show that one can always “parameterize” a subsequence <span>(i')</span> with controlled bi-Lipschitz maps <span>(phi _{i'})</span> taking <span>(phi _{i'}(M_{1'}) = M_{i'})</span>. As a consequence, we prove the space of smooth, closed, embedded minimal hypersurfaces <i>M</i> in a closed Riemannian 8-manifold <span>((N^8, g))</span> with a priori bounds <span>({mathcal {H}}^7(M) leqq Lambda )</span> and <span>(textrm{index}(M) leqq I)</span> divides into finitely-many diffeomorphism types, and this finiteness continues to hold if one allows the metric <i>g</i> to vary, or <i>M</i> to be singular.</p></div>","PeriodicalId":55484,"journal":{"name":"Archive for Rational Mechanics and Analysis","volume":null,"pages":null},"PeriodicalIF":2.6,"publicationDate":"2024-07-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00205-024-02003-w.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141551825","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}
Pub Date : 2024-07-01DOI: 10.1007/s00205-024-02009-4
Maarten V. de Hoop, Matti Lassas, Jinpeng Lu, Lauri Oksanen
We consider the inverse fault friction problem of determining the friction coefficient in the Tresca friction model, which can be formulated as an inverse problem for differential inequalities. We show that the measurements of elastic waves during a rupture uniquely determine the friction coefficient at the rupture surface with explicit stability estimates.
{"title":"Stable Recovery of Coefficients in an Inverse Fault Friction Problem","authors":"Maarten V. de Hoop, Matti Lassas, Jinpeng Lu, Lauri Oksanen","doi":"10.1007/s00205-024-02009-4","DOIUrl":"10.1007/s00205-024-02009-4","url":null,"abstract":"<div><p>We consider the inverse fault friction problem of determining the friction coefficient in the Tresca friction model, which can be formulated as an inverse problem for differential inequalities. We show that the measurements of elastic waves during a rupture uniquely determine the friction coefficient at the rupture surface with explicit stability estimates.</p></div>","PeriodicalId":55484,"journal":{"name":"Archive for Rational Mechanics and Analysis","volume":null,"pages":null},"PeriodicalIF":2.6,"publicationDate":"2024-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00205-024-02009-4.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141508634","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}
Pub Date : 2024-06-25DOI: 10.1007/s00205-024-01988-8
Isabelle Catto, Long Meng, Éric Paturel, Éric Séré
Whereas many different models exist in mathematics and physics for the ground states of non-relativistic crystals, the relativistic case has been much less studied, and we are not aware of any mathematical result on a fully relativistic treatment of crystals. In this paper, we introduce a mean-field relativistic energy for crystals in terms of periodic density matrices. This model is inspired both from a recent definition of the Dirac–Fock ground state for atoms and molecules, due to one of us, and from the non-relativistic Hartree–Fock model for crystals. We prove the existence of a ground state when the number of electrons per cell is not too large.
{"title":"Existence of Minimizers for the Dirac–Fock Model of Crystals","authors":"Isabelle Catto, Long Meng, Éric Paturel, Éric Séré","doi":"10.1007/s00205-024-01988-8","DOIUrl":"10.1007/s00205-024-01988-8","url":null,"abstract":"<div><p>Whereas many different models exist in mathematics and physics for the ground states of non-relativistic crystals, the relativistic case has been much less studied, and we are not aware of any mathematical result on a fully relativistic treatment of crystals. In this paper, we introduce a mean-field relativistic energy for crystals in terms of periodic density matrices. This model is inspired both from a recent definition of the Dirac–Fock ground state for atoms and molecules, due to one of us, and from the non-relativistic Hartree–Fock model for crystals. We prove the existence of a ground state when the number of electrons per cell is not too large.</p></div>","PeriodicalId":55484,"journal":{"name":"Archive for Rational Mechanics and Analysis","volume":null,"pages":null},"PeriodicalIF":2.6,"publicationDate":"2024-06-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141508635","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}
Pub Date : 2024-06-19DOI: 10.1007/s00205-024-02007-6
Ru-Yu Lai, Gunther Uhlmann, Hanming Zhou
We consider the inverse problem for time-dependent semilinear transport equations. We show that time-independent coefficients of both the linear (absorption or scattering coefficients) and nonlinear terms can be uniquely determined, in a stable way, from the boundary measurements, by applying a linearization scheme and Carleman estimates for the linear transport equations. We establish results in both Euclidean and general geometry settings.
{"title":"Recovery of Coefficients in Semilinear Transport Equations","authors":"Ru-Yu Lai, Gunther Uhlmann, Hanming Zhou","doi":"10.1007/s00205-024-02007-6","DOIUrl":"10.1007/s00205-024-02007-6","url":null,"abstract":"<div><p>We consider the inverse problem for time-dependent semilinear transport equations. We show that time-independent coefficients of both the linear (absorption or scattering coefficients) and nonlinear terms can be uniquely determined, in a stable way, from the boundary measurements, by applying a linearization scheme and Carleman estimates for the linear transport equations. We establish results in both Euclidean and general geometry settings.</p></div>","PeriodicalId":55484,"journal":{"name":"Archive for Rational Mechanics and Analysis","volume":null,"pages":null},"PeriodicalIF":2.6,"publicationDate":"2024-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141508636","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}