Pub Date : 2025-01-01Epub Date: 2025-08-26DOI: 10.1007/s12220-025-02136-8
Sean Holman, Venkateswaran P Krishnan
In this article, we study the microlocal properties of the geodesic ray transform of symmetric m-tensor fields on 2-dimensional Riemannian manifolds with boundary allowing the possibility of conjugate points. As is known from an earlier work on the geodesic ray transform of functions in the presence of conjugate points, the normal operator can be decomposed into a sum of a pseudodifferential operator ( DO) and a finite number of Fourier integral operators (FIOs) under the assumption of no singular conjugate pairs along geodesics, which always holds in 2-dimensions. In this work, we use the method of stationary phase to explicitly compute the principal symbol of the DO and each of the FIO components of the normal operator acting on symmetric m-tensor fields. Next, we construct a parametrix recovering the solenoidal component of the tensor fields modulo FIOs, and prove a cancellation of singularities result, similar to an earlier result of Monard, Stefanov and Uhlmann for the case of geodesic ray transform of functions in 2-dimensions. We point out that this type of cancellation result is only possible in the 2-dimensional case.
{"title":"Ray Transform of Symmetric Tensor Fields on Riemannian Manifolds with Conjugate Points.","authors":"Sean Holman, Venkateswaran P Krishnan","doi":"10.1007/s12220-025-02136-8","DOIUrl":"https://doi.org/10.1007/s12220-025-02136-8","url":null,"abstract":"<p><p>In this article, we study the microlocal properties of the geodesic ray transform of symmetric <i>m</i>-tensor fields on 2-dimensional Riemannian manifolds with boundary allowing the possibility of conjugate points. As is known from an earlier work on the geodesic ray transform of functions in the presence of conjugate points, the normal operator can be decomposed into a sum of a pseudodifferential operator ( <math><mi>Ψ</mi></math> DO) and a finite number of Fourier integral operators (FIOs) under the assumption of no singular conjugate pairs along geodesics, which always holds in 2-dimensions. In this work, we use the method of stationary phase to explicitly compute the principal symbol of the <math><mi>Ψ</mi></math> DO and each of the FIO components of the normal operator acting on symmetric <i>m</i>-tensor fields. Next, we construct a parametrix recovering the solenoidal component of the tensor fields modulo FIOs, and prove a cancellation of singularities result, similar to an earlier result of Monard, Stefanov and Uhlmann for the case of geodesic ray transform of functions in 2-dimensions. We point out that this type of cancellation result is only possible in the 2-dimensional case.</p>","PeriodicalId":56121,"journal":{"name":"Journal of Geometric Analysis","volume":"35 10","pages":"329"},"PeriodicalIF":1.5,"publicationDate":"2025-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC12380910/pdf/","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144980114","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2025-01-01Epub Date: 2025-06-24DOI: 10.1007/s12220-025-02020-5
Hunter Stufflebeam, Paul Sweeney
In 2018, Marques and Neves proposed a volume preserving intrinsic flat stability conjecture concerning their width rigidity theorem for the unit round 3-sphere. In this work, we establish the validity of this conjecture under the additional assumption of rotational symmetry. Furthermore, we obtain a rigidity theorem in dimensions at least three for rotationally symmetric manifolds, which is analogous to the width rigidity theorem of Marques and Neves. We also prove a volume preserving intrinsic flat stability result for this rigidity theorem. Lastly, we study variants of Marques and Neves' stability conjecture. In the first, we show Gromov-Hausdorff convergence outside of certain "bad" sets. In the second, we assume non-negative Ricci curvature and show Gromov-Hausdorff stability.
{"title":"Width Stability of Rotationally Symmetric Metrics.","authors":"Hunter Stufflebeam, Paul Sweeney","doi":"10.1007/s12220-025-02020-5","DOIUrl":"10.1007/s12220-025-02020-5","url":null,"abstract":"<p><p>In 2018, Marques and Neves proposed a volume preserving intrinsic flat stability conjecture concerning their width rigidity theorem for the unit round 3-sphere. In this work, we establish the validity of this conjecture under the additional assumption of rotational symmetry. Furthermore, we obtain a rigidity theorem in dimensions at least three for rotationally symmetric manifolds, which is analogous to the width rigidity theorem of Marques and Neves. We also prove a volume preserving intrinsic flat stability result for this rigidity theorem. Lastly, we study variants of Marques and Neves' stability conjecture. In the first, we show Gromov-Hausdorff convergence outside of certain \"bad\" sets. In the second, we assume non-negative Ricci curvature and show Gromov-Hausdorff stability.</p>","PeriodicalId":56121,"journal":{"name":"Journal of Geometric Analysis","volume":"35 8","pages":"238"},"PeriodicalIF":1.2,"publicationDate":"2025-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC12187838/pdf/","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144509587","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2025-01-01Epub Date: 2025-07-07DOI: 10.1007/s12220-025-02090-5
Sigmundur Gudmundsson, Adam Lindström
In this work we find a unifying scheme for the known explicit complex-valued eigenfunctions on the classical compact Riemannian symmetric spaces. For this we employ the well-known Cartan embedding for those spaces. This also leads to the construction of new eigenfunctions on the quaternionic Grassmannians.
{"title":"A Unifying Framework for Complex-Valued Eigenfunctions via The Cartan Embedding.","authors":"Sigmundur Gudmundsson, Adam Lindström","doi":"10.1007/s12220-025-02090-5","DOIUrl":"https://doi.org/10.1007/s12220-025-02090-5","url":null,"abstract":"<p><p>In this work we find a unifying scheme for the known explicit complex-valued eigenfunctions on the classical compact Riemannian symmetric spaces. For this we employ the well-known Cartan embedding for those spaces. This also leads to the construction of new eigenfunctions on the quaternionic Grassmannians.</p>","PeriodicalId":56121,"journal":{"name":"Journal of Geometric Analysis","volume":"35 9","pages":"251"},"PeriodicalIF":1.2,"publicationDate":"2025-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC12234617/pdf/","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144602377","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2025-01-01Epub Date: 2025-08-07DOI: 10.1007/s12220-025-02148-4
Daniel Tsodikovich
We show a local rigidity result for the integrability of symplectic billiards. We prove that any domain which is close to an ellipse, and for which the symplectic billiard map is rationally integrable must be an ellipse as well. This is in spirit of the result of [2] for Birkhoff billiards.
{"title":"Local Rigidity for Symplectic Billiards.","authors":"Daniel Tsodikovich","doi":"10.1007/s12220-025-02148-4","DOIUrl":"10.1007/s12220-025-02148-4","url":null,"abstract":"<p><p>We show a local rigidity result for the integrability of symplectic billiards. We prove that any domain which is close to an ellipse, and for which the symplectic billiard map is rationally integrable must be an ellipse as well. This is in spirit of the result of [2] for Birkhoff billiards.</p>","PeriodicalId":56121,"journal":{"name":"Journal of Geometric Analysis","volume":"35 10","pages":"306"},"PeriodicalIF":1.5,"publicationDate":"2025-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC12331806/pdf/","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144818401","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2025-01-01Epub Date: 2024-11-22DOI: 10.1007/s12220-024-01852-x
Volker Branding
In this note we prove the existence of two proper biharmonic maps between the Euclidean ball of dimension bigger than four and Euclidean spheres of appropriate dimensions. We will also show that, in low dimensions, both maps are unstable critical points of the bienergy.
{"title":"More Weakly Biharmonic Maps from the Ball to the Sphere.","authors":"Volker Branding","doi":"10.1007/s12220-024-01852-x","DOIUrl":"10.1007/s12220-024-01852-x","url":null,"abstract":"<p><p>In this note we prove the existence of two proper biharmonic maps between the Euclidean ball of dimension bigger than four and Euclidean spheres of appropriate dimensions. We will also show that, in low dimensions, both maps are unstable critical points of the bienergy.</p>","PeriodicalId":56121,"journal":{"name":"Journal of Geometric Analysis","volume":"35 1","pages":"23"},"PeriodicalIF":1.2,"publicationDate":"2025-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC11584471/pdf/","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142711340","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2025-01-01Epub Date: 2025-10-17DOI: 10.1007/s12220-025-02231-w
Pietro Aldrigo, Zoltán M Balogh
We establish Pólya-Szegő-type inequalities (PSIs) for Sobolev-functions defined on a regular n-dimensional submanifold (possibly with boundary) of a -dimensional Euclidean space, under explicit upper bounds of the total mean curvature. The p-Sobolev and Gagliardo-Nirenberg inequalities, as well as the spectral gap in are derived as corollaries. Using these PSIs, we prove a sharp p-Log-Sobolev inequality for minimal submanifolds in codimension one and two. The asymptotic sharpness of both the multiplicative constant appearing in PSIs and the assumption on the total mean curvature bound as is provided. A second equivalent version of our PSIs is presented in the appendix of this paper, introducing the notion of model space of dimension n and total mean curvature bounded by K.
在总平均曲率的显式上界下,我们建立了在(n + m)维欧几里德空间的正则n维子流形Σ(可能有边界)上定义的sobolev函数的Pólya-Szegő-type不等式(psi)。p- sobolev不等式和Gagliardo-Nirenberg不等式,以及w11, p (Σ)的谱隙作为推论得到。利用这些psi,我们证明了余维1和2中最小子流形的一个尖锐的p-Log-Sobolev不等式。给出了psi中出现的乘法常数的渐近锐性和总平均曲率界为n→∞的假设。本文的附录中给出了我们的psi的第二个等效版本,引入了维数为n的模型空间(R +, mn, K)和以K为界的总平均曲率的概念。
{"title":"Pólya-Szegő Inequalities on Submanifolds with Small Total Mean Curvature.","authors":"Pietro Aldrigo, Zoltán M Balogh","doi":"10.1007/s12220-025-02231-w","DOIUrl":"https://doi.org/10.1007/s12220-025-02231-w","url":null,"abstract":"<p><p>We establish Pólya-Szegő-type inequalities (PSIs) for Sobolev-functions defined on a regular <i>n</i>-dimensional submanifold <math><mi>Σ</mi></math> (possibly with boundary) of a <math><mrow><mo>(</mo> <mi>n</mi> <mo>+</mo> <mi>m</mi> <mo>)</mo></mrow> </math> -dimensional Euclidean space, under explicit upper bounds of the total mean curvature. The <i>p</i>-Sobolev and Gagliardo-Nirenberg inequalities, as well as the spectral gap in <math> <mrow><msubsup><mi>W</mi> <mn>0</mn> <mrow><mn>1</mn> <mo>,</mo> <mi>p</mi></mrow> </msubsup> <mrow><mo>(</mo> <mi>Σ</mi> <mo>)</mo></mrow> </mrow> </math> are derived as corollaries. Using these PSIs, we prove a sharp <i>p</i>-Log-Sobolev inequality for minimal submanifolds in codimension one and two. The asymptotic sharpness of both the multiplicative constant appearing in PSIs and the assumption on the total mean curvature bound as <math><mrow><mi>n</mi> <mo>→</mo> <mi>∞</mi></mrow> </math> is provided. A second equivalent version of our PSIs is presented in the appendix of this paper, introducing the notion of model space <math><mrow><mo>(</mo> <msup><mrow><mi>R</mi></mrow> <mo>+</mo></msup> <mo>,</mo> <msub><mi>m</mi> <mrow><mi>n</mi> <mo>,</mo> <mi>K</mi></mrow> </msub> <mo>)</mo></mrow> </math> of dimension <i>n</i> and total mean curvature bounded by <i>K</i>.</p>","PeriodicalId":56121,"journal":{"name":"Journal of Geometric Analysis","volume":"35 12","pages":"394"},"PeriodicalIF":1.5,"publicationDate":"2025-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC12534366/pdf/","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145330860","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2025-01-01Epub Date: 2025-03-18DOI: 10.1007/s12220-025-01956-y
Costante Bellettini, Kobe Marshall-Stevens
In compact Riemannian manifolds of dimension 3 or higher with positive Ricci curvature, we prove that every constant mean curvature hypersurface produced by the Allen-Cahn min-max procedure in Bellettini and Wickramasekera (arXiv:2010.05847, 2020) (with constant prescribing function) is a local minimiser of the natural area-type functional around each isolated singularity. In particular, every tangent cone at each isolated singularity of the resulting hypersurface is area-minimising. As a consequence, for any real we show, through a surgery procedure, that for a generic 8-dimensional compact Riemannian manifold with positive Ricci curvature there exists a closed embedded smooth hypersurface of constant mean curvature ; the minimal case ( ) of this result was obtained in Chodosh et al. (Ars Inveniendi Analytica, 2022) .
{"title":"On Isolated Singularities and Generic Regularity of Min-Max CMC Hypersurfaces.","authors":"Costante Bellettini, Kobe Marshall-Stevens","doi":"10.1007/s12220-025-01956-y","DOIUrl":"https://doi.org/10.1007/s12220-025-01956-y","url":null,"abstract":"<p><p>In compact Riemannian manifolds of dimension 3 or higher with positive Ricci curvature, we prove that every constant mean curvature hypersurface produced by the Allen-Cahn min-max procedure in Bellettini and Wickramasekera (arXiv:2010.05847, 2020) (with constant prescribing function) is a local minimiser of the natural area-type functional around each isolated singularity. In particular, every tangent cone at each isolated singularity of the resulting hypersurface is area-minimising. As a consequence, for any real <math><mi>λ</mi></math> we show, through a surgery procedure, that for a generic 8-dimensional compact Riemannian manifold with positive Ricci curvature there exists a closed embedded smooth hypersurface of constant mean curvature <math><mi>λ</mi></math> ; the minimal case ( <math><mrow><mi>λ</mi> <mo>=</mo> <mn>0</mn></mrow> </math> ) of this result was obtained in Chodosh et al. (Ars Inveniendi Analytica, 2022) .</p>","PeriodicalId":56121,"journal":{"name":"Journal of Geometric Analysis","volume":"35 4","pages":"126"},"PeriodicalIF":1.2,"publicationDate":"2025-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC11920008/pdf/","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143671740","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2025-01-01Epub Date: 2025-04-02DOI: 10.1007/s12220-025-01991-9
Martin Dindoš
In this paper we present the following result on regularity of solutions of the second order parabolic equation on cylindrical domains of the form where is a uniform domain (it satisfies both interior corkscrew and Harnack chain conditions) and has a boundary that is -Ahlfors regular. Let u be a solution of such PDE in and the non-tangential maximal function of its gradient in spatial directions belongs to for some . Furthermore, assume that for we have that . Then both and also belong to , where and are the half-derivative and the Hilbert transform in the time variable, respectively. We expect this result will spur new developments in the study of solvability of the parabolic Regularity problem as thanks to it it is now possible to formulate the parabolic Regularity problem on a large class of time-varying domains.
本文给出了二阶抛物方程∂t u - div (A∇u) + B·∇u = 0在形式为Ω = O × R的柱面上解的正则性的结果,其中O∧R n是一致定域(满足内螺旋条件和哈纳克链条件),边界为n - 1 - ahlfors正则。设u是这种PDE在Ω中的解,并且其梯度在空间方向N ~(∇u)的非切极大函数在某个p bbb1中属于L p(∂Ω)。进一步,假设对于u |∂Ω = f,我们有d1 / 2f∈L p(∂Ω)。那么N ~ (dt 1 / 2 u)和N ~ (dt 1 / 2 H t u)也属于L p(∂Ω),其中dt 1 / 2和ht分别是时间变量的半导数和希尔伯特变换。我们期望这一结果将促进L p抛物正则性问题可解性研究的新发展,因为它使在大的一类时变域上表述抛物正则性问题成为可能。
{"title":"On the Regularity Problem for Parabolic Operators and the Role of Half-Time Derivative.","authors":"Martin Dindoš","doi":"10.1007/s12220-025-01991-9","DOIUrl":"https://doi.org/10.1007/s12220-025-01991-9","url":null,"abstract":"<p><p>In this paper we present the following result on regularity of solutions of the second order parabolic equation <math> <mrow><msub><mi>∂</mi> <mi>t</mi></msub> <mi>u</mi> <mo>-</mo> <mrow><mspace></mspace> <mtext>div</mtext> <mspace></mspace></mrow> <mrow><mo>(</mo> <mi>A</mi> <mi>∇</mi> <mi>u</mi> <mo>)</mo></mrow> <mo>+</mo> <mi>B</mi> <mo>·</mo> <mi>∇</mi> <mi>u</mi> <mo>=</mo> <mn>0</mn></mrow> </math> on cylindrical domains of the form <math><mrow><mi>Ω</mi> <mo>=</mo> <mi>O</mi> <mo>×</mo> <mi>R</mi></mrow> </math> where <math><mrow><mi>O</mi> <mo>⊂</mo> <msup><mrow><mi>R</mi></mrow> <mi>n</mi></msup> </mrow> </math> is a uniform domain (it satisfies both interior corkscrew and Harnack chain conditions) and has a boundary that is <math><mrow><mi>n</mi> <mo>-</mo> <mn>1</mn></mrow> </math> -Ahlfors regular. Let <i>u</i> be a solution of such PDE in <math><mi>Ω</mi></math> and the non-tangential maximal function of its gradient in spatial directions <math> <mrow><mover><mi>N</mi> <mo>~</mo></mover> <mrow><mo>(</mo> <mi>∇</mi> <mi>u</mi> <mo>)</mo></mrow> </mrow> </math> belongs to <math> <mrow><msup><mi>L</mi> <mi>p</mi></msup> <mrow><mo>(</mo> <mi>∂</mi> <mi>Ω</mi> <mo>)</mo></mrow> </mrow> </math> for some <math><mrow><mi>p</mi> <mo>></mo> <mn>1</mn></mrow> </math> . Furthermore, assume that for <math> <mrow> <msub><mrow><mi>u</mi> <mo>|</mo></mrow> <mrow><mi>∂</mi> <mi>Ω</mi></mrow> </msub> <mo>=</mo> <mi>f</mi></mrow> </math> we have that <math> <mrow><msubsup><mi>D</mi> <mi>t</mi> <mrow><mn>1</mn> <mo>/</mo> <mn>2</mn></mrow> </msubsup> <mi>f</mi> <mo>∈</mo> <msup><mi>L</mi> <mi>p</mi></msup> <mrow><mo>(</mo> <mi>∂</mi> <mi>Ω</mi> <mo>)</mo></mrow> </mrow> </math> . Then both <math> <mrow><mover><mi>N</mi> <mo>~</mo></mover> <mrow><mo>(</mo> <msubsup><mi>D</mi> <mi>t</mi> <mrow><mn>1</mn> <mo>/</mo> <mn>2</mn></mrow> </msubsup> <mi>u</mi> <mo>)</mo></mrow> </mrow> </math> and <math> <mrow><mover><mi>N</mi> <mo>~</mo></mover> <mrow><mo>(</mo> <msubsup><mi>D</mi> <mi>t</mi> <mrow><mn>1</mn> <mo>/</mo> <mn>2</mn></mrow> </msubsup> <msub><mi>H</mi> <mi>t</mi></msub> <mi>u</mi> <mo>)</mo></mrow> </mrow> </math> also belong to <math> <mrow><msup><mi>L</mi> <mi>p</mi></msup> <mrow><mo>(</mo> <mi>∂</mi> <mi>Ω</mi> <mo>)</mo></mrow> </mrow> </math> , where <math><msubsup><mi>D</mi> <mi>t</mi> <mrow><mn>1</mn> <mo>/</mo> <mn>2</mn></mrow> </msubsup> </math> and <math><msub><mi>H</mi> <mi>t</mi></msub> </math> are the half-derivative and the Hilbert transform in the time variable, respectively. We expect this result will spur new developments in the study of solvability of the <math><msup><mi>L</mi> <mi>p</mi></msup> </math> parabolic Regularity problem as thanks to it it is now possible to formulate the parabolic Regularity problem on a large class of time-varying domains.</p>","PeriodicalId":56121,"journal":{"name":"Journal of Geometric Analysis","volume":"35 5","pages":"154"},"PeriodicalIF":1.2,"publicationDate":"2025-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC11965225/pdf/","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"143797176","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-01-01Epub Date: 2024-05-03DOI: 10.1007/s12220-024-01652-3
Martin Bauer, Patrick Heslin, Cy Maor
We investigate the geometry of the space of immersed closed curves equipped with reparametrization-invariant Riemannian metrics; the metrics we consider are Sobolev metrics of possible fractional-order . We establish the critical Sobolev index on the metric for several key geometric properties. Our first main result shows that the Riemannian metric induces a metric space structure if and only if . Our second main result shows that the metric is geodesically complete (i.e., the geodesic equation is globally well posed) if , whereas if then finite-time blowup may occur. The geodesic completeness for is obtained by proving metric completeness of the space of -immersed curves with the distance induced by the Riemannian metric.
{"title":"Completeness and Geodesic Distance Properties for Fractional Sobolev Metrics on Spaces of Immersed Curves.","authors":"Martin Bauer, Patrick Heslin, Cy Maor","doi":"10.1007/s12220-024-01652-3","DOIUrl":"https://doi.org/10.1007/s12220-024-01652-3","url":null,"abstract":"<p><p>We investigate the geometry of the space of immersed closed curves equipped with reparametrization-invariant Riemannian metrics; the metrics we consider are Sobolev metrics of possible fractional-order <math><mrow><mi>q</mi><mo>∈</mo><mo>[</mo><mn>0</mn><mo>,</mo><mi>∞</mi><mo>)</mo></mrow></math>. We establish the critical Sobolev index on the metric for several key geometric properties. Our first main result shows that the Riemannian metric induces a metric space structure if and only if <math><mrow><mi>q</mi><mo>></mo><mn>1</mn><mo>/</mo><mn>2</mn></mrow></math>. Our second main result shows that the metric is geodesically complete (i.e., the geodesic equation is globally well posed) if <math><mrow><mi>q</mi><mo>></mo><mn>3</mn><mo>/</mo><mn>2</mn></mrow></math>, whereas if <math><mrow><mi>q</mi><mo><</mo><mn>3</mn><mo>/</mo><mn>2</mn></mrow></math> then finite-time blowup may occur. The geodesic completeness for <math><mrow><mi>q</mi><mo>></mo><mn>3</mn><mo>/</mo><mn>2</mn></mrow></math> is obtained by proving metric completeness of the space of <math><msup><mi>H</mi><mi>q</mi></msup></math>-immersed curves with the distance induced by the Riemannian metric.</p>","PeriodicalId":56121,"journal":{"name":"Journal of Geometric Analysis","volume":"34 7","pages":"214"},"PeriodicalIF":1.1,"publicationDate":"2024-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC11068588/pdf/","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140857102","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2024-01-01Epub Date: 2024-05-09DOI: 10.1007/s12220-024-01666-x
S Bortz, B Poggi, O Tapiola, X Tolsa
Suppose that , , is a uniform domain with n-Ahlfors regular boundary and L is a (not necessarily symmetric) divergence form elliptic, real, bounded operator in . We show that the corresponding elliptic measure is quantitatively absolutely continuous with respect to surface measure of in the sense that if and only if any bounded solution u to in is -approximable for any . By -approximability of u we mean that there exists a function such that and the measure with is a Carleson measure with control over the Carleson norm. As a consequence of this approximability result, we show that boundary functions with compact support can have Varopoulos-type extensions even in some sets with unrectifiable boundaries, that is, smooth extensions that converge non-tangentially back to the original data and that satisfy -type Carleson measure estimates with control over the Carleson norm. Our result complements the recent work of Hofmann and the third named author who showed the existence of these types of extensions in the presence of a quantitative rectifiability hypothesis.
{"title":"<ArticleTitle xmlns:ns0=\"http://www.w3.org/1998/Math/MathML\">The <ns0:math><ns0:msub><ns0:mi>A</ns0:mi><ns0:mi>∞</ns0:mi></ns0:msub></ns0:math> Condition, <ns0:math><ns0:mi>ε</ns0:mi></ns0:math>-Approximators, and Varopoulos Extensions in Uniform Domains.","authors":"S Bortz, B Poggi, O Tapiola, X Tolsa","doi":"10.1007/s12220-024-01666-x","DOIUrl":"https://doi.org/10.1007/s12220-024-01666-x","url":null,"abstract":"<p><p>Suppose that <math><mrow><mi>Ω</mi><mo>⊂</mo><msup><mrow><mi>R</mi></mrow><mrow><mi>n</mi><mo>+</mo><mn>1</mn></mrow></msup></mrow></math>, <math><mrow><mi>n</mi><mo>≥</mo><mn>1</mn></mrow></math>, is a uniform domain with <i>n</i>-Ahlfors regular boundary and <i>L</i> is a (not necessarily symmetric) divergence form elliptic, real, bounded operator in <math><mi>Ω</mi></math>. We show that the corresponding elliptic measure <math><msub><mi>ω</mi><mi>L</mi></msub></math> is quantitatively absolutely continuous with respect to surface measure of <math><mrow><mi>∂</mi><mi>Ω</mi></mrow></math> in the sense that <math><mrow><msub><mi>ω</mi><mi>L</mi></msub><mo>∈</mo><msub><mi>A</mi><mi>∞</mi></msub><mrow><mo>(</mo><mi>σ</mi><mo>)</mo></mrow></mrow></math> if and only if any bounded solution <i>u</i> to <math><mrow><mi>L</mi><mi>u</mi><mo>=</mo><mn>0</mn></mrow></math> in <math><mi>Ω</mi></math> is <math><mi>ε</mi></math>-approximable for any <math><mrow><mi>ε</mi><mo>∈</mo><mo>(</mo><mn>0</mn><mo>,</mo><mn>1</mn><mo>)</mo></mrow></math>. By <math><mi>ε</mi></math>-approximability of <i>u</i> we mean that there exists a function <math><mrow><mi>Φ</mi><mo>=</mo><msup><mi>Φ</mi><mi>ε</mi></msup></mrow></math> such that <math><mrow><msub><mrow><mo>‖</mo><mi>u</mi><mo>-</mo><mi>Φ</mi><mo>‖</mo></mrow><mrow><msup><mi>L</mi><mi>∞</mi></msup><mrow><mo>(</mo><mi>Ω</mi><mo>)</mo></mrow></mrow></msub><mo>≤</mo><mi>ε</mi><msub><mrow><mo>‖</mo><mi>u</mi><mo>‖</mo></mrow><mrow><msup><mi>L</mi><mi>∞</mi></msup><mrow><mo>(</mo><mi>Ω</mi><mo>)</mo></mrow></mrow></msub></mrow></math> and the measure <math><msub><mover><mi>μ</mi><mo>~</mo></mover><mi>Φ</mi></msub></math> with <math><mrow><mi>d</mi><mover><mi>μ</mi><mo>~</mo></mover><mo>=</mo><mrow><mo>|</mo><mi>∇</mi><mi>Φ</mi><mrow><mo>(</mo><mi>Y</mi><mo>)</mo></mrow><mo>|</mo></mrow><mspace></mspace><mi>d</mi><mi>Y</mi></mrow></math> is a Carleson measure with <math><msup><mi>L</mi><mi>∞</mi></msup></math> control over the Carleson norm. As a consequence of this approximability result, we show that boundary <math><mrow><mspace></mspace><mtext>BMO</mtext><mspace></mspace></mrow></math> functions with compact support can have Varopoulos-type extensions even in some sets with unrectifiable boundaries, that is, smooth extensions that converge non-tangentially back to the original data and that satisfy <math><msup><mi>L</mi><mn>1</mn></msup></math>-type Carleson measure estimates with <math><mrow><mspace></mspace><mtext>BMO</mtext><mspace></mspace></mrow></math> control over the Carleson norm. Our result complements the recent work of Hofmann and the third named author who showed the existence of these types of extensions in the presence of a quantitative rectifiability hypothesis.</p>","PeriodicalId":56121,"journal":{"name":"Journal of Geometric Analysis","volume":"34 7","pages":"218"},"PeriodicalIF":1.1,"publicationDate":"2024-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC11087277/pdf/","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140913353","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}