skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.


Title: Completeness and Geodesic Distance Properties for Fractional Sobolev Metrics on Spaces of Immersed Curves
Abstract 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$$q\in [0,\infty )$$ q [ 0 , ) . 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$$q>1/2$$ q > 1 / 2 . Our second main result shows that the metric is geodesically complete (i.e., the geodesic equation is globally well posed) if$$q>3/2$$ q > 3 / 2 , whereas if$$q<3/2$$ q < 3 / 2 then finite-time blowup may occur. The geodesic completeness for$$q>3/2$$ q > 3 / 2 is obtained by proving metric completeness of the space of$$H^q$$ H q -immersed curves with the distance induced by the Riemannian metric.  more » « less
Award ID(s):
1953244
PAR ID:
10504705
Author(s) / Creator(s):
; ;
Publisher / Repository:
Springer Science + Business Media
Date Published:
Journal Name:
The Journal of Geometric Analysis
Volume:
34
Issue:
7
ISSN:
1050-6926
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. Agricola, Ilka; Bögelein, Verena (Ed.)
    Abstract Murphy and the second author showed that a generic closed Riemannian manifold has no totally geodesic submanifolds, provided the ambient space is at least four dimensional. Lytchak and Petrunin established a similar result in dimension 3. For the higher dimensional result, the “generic set” is open and dense in the$$C^{q}$$ C q –topology for any$$q\ge 2.$$ q 2 . In Lytchak and Petrunin’s work, the “generic set” is a dense$$G_{\delta }$$ G δ in the$$C^{q}$$ C q –topology for any$$q\ge 2.$$ q 2 . Here we show that the set of such metrics on a compact 3–manifold actually contains a set that is that is open and dense set in the$$C^{q}$$ C q –topology, provided$$q\ge 3.$$ q 3 .  
    more » « less
  2. Abstract In this paper we study the degenerate parabolicp-Laplacian, t u - v - 1 div ( | Q u | p - 2 Q u ) = 0 {\partial_{t}u-v^{-1}\operatorname{div}(|\sqrt{Q}\nabla u|^{p-2}Q\nabla u)=0},where the degeneracy is controlled by a matrixQand a weightv.With mild integrability assumptions onQandv, we prove theexistence and uniqueness of solutions on any interval [ 0 , T ] {[0,T]}. If we further assumethe existence of a degenerate Sobolev inequality with gain, thedegeneracy again controlled byvandQ, then we can prove bothfinite time extinction and ultracontractive bounds. Moreover, weshow that there is equivalence between the existence ofultracontractive bounds and the weighted Sobolev inequality. 
    more » « less
  3. Abstract We investigate the low moments$$\mathbb {E}[|A_N|^{2q}],\, 0 E [ | A N | 2 q ] , 0 < q 1 of secular coefficients$$A_N$$ A N of the critical non-Gaussian holomorphic multiplicative chaos, i.e. coefficients of$$z^N$$ z N in the power series expansion of$$\exp (\sum _{k=1}^\infty X_kz^k/\sqrt{k})$$ exp ( k = 1 X k z k / k ) , where$$\{X_k\}_{k\geqslant 1}$$ { X k } k 1 are i.i.d. rotationally invariant unit variance complex random variables. Inspired by Harper’s remarkable result on random multiplicative functions, Soundararajan and Zaman recently showed that if each$$X_k$$ X k is standard complex Gaussian,$$A_N$$ A N features better-than-square-root cancellation:$$\mathbb {E}[|A_N|^2]=1$$ E [ | A N | 2 ] = 1 and$$\mathbb {E}[|A_N|^{2q}]\asymp (\log N)^{-q/2}$$ E [ | A N | 2 q ] ( log N ) - q / 2 for fixed$$q\in (0,1)$$ q ( 0 , 1 ) as$$N\rightarrow \infty $$ N . We show that this asymptotics holds universally if$$\mathbb {E}[e^{\gamma |X_k|}]<\infty $$ E [ e γ | X k | ] < for some$$\gamma >2q$$ γ > 2 q . As a consequence, we establish the universality for the tightness of the normalized secular coefficients$$A_N(\log (1+N))^{1/4}$$ A N ( log ( 1 + N ) ) 1 / 4 , generalizing a result of Najnudel, Paquette, and Simm. Another corollary is the almost sure regularity of some critical non-Gaussian holomorphic chaos in appropriate Sobolev spaces. Moreover, we characterize the asymptotics of$$\mathbb {E}[|A_N|^{2q}]$$ E [ | A N | 2 q ] for$$|X_k|$$ | X k | following a stretched exponential distribution with an arbitrary scale parameter, which exhibits a completely different behavior and underlying mechanism from the Gaussian universality regime. As a result, we unveil a double-layer phase transition around the critical case of exponential tails. Our proofs combine Harper’s robust approach with a careful analysis of the (possibly random) leading terms in the monomial decomposition of$$A_N$$ A N
    more » « less
  4. Abstract We introduce a family of Finsler metrics, called the$$L^p$$ L p -Fisher–Rao metrics$$F_p$$ F p , for$$p\in (1,\infty )$$ p ( 1 , ) , which generalizes the classical Fisher–Rao metric$$F_2$$ F 2 , both on the space of densities$${\text {Dens}}_+(M)$$ Dens + ( M ) and probability densities$${\text {Prob}}(M)$$ Prob ( M ) . We then study their relations to the Amari–C̆encov$$\alpha $$ α -connections$$\nabla ^{(\alpha )}$$ ( α ) from information geometry: on$${\text {Dens}}_+(M)$$ Dens + ( M ) , the geodesic equations of$$F_p$$ F p and$$\nabla ^{(\alpha )}$$ ( α ) coincide, for$$p = 2/(1-\alpha )$$ p = 2 / ( 1 - α ) . Both are pullbacks of canonical constructions on$$L^p(M)$$ L p ( M ) , in which geodesics are simply straight lines. In particular, this gives a new variational interpretation of$$\alpha $$ α -geodesics as being energy minimizing curves. On$${\text {Prob}}(M)$$ Prob ( M ) , the$$F_p$$ F p and$$\nabla ^{(\alpha )}$$ ( α ) geodesics can still be thought as pullbacks of natural operations on the unit sphere in$$L^p(M)$$ L p ( M ) , but in this case they no longer coincide unless$$p=2$$ p = 2 . Using this transformation, we solve the geodesic equation of the$$\alpha $$ α -connection by showing that the geodesic are pullbacks of projections of straight lines onto the unit sphere, and they always cease to exists after finite time when they leave the positive part of the sphere. This unveils the geometric structure of solutions to the generalized Proudman–Johnson equations, and generalizes them to higher dimensions. In addition, we calculate the associate tensors of$$F_p$$ F p , and study their relation to$$\nabla ^{(\alpha )}$$ ( α )
    more » « less
  5. Abstract We report on a measurement of Spin Density Matrix Elements (SDMEs) in hard exclusive$$\rho ^0$$ ρ 0 meson muoproduction at COMPASS using 160 GeV/cpolarised$$ \mu ^{+}$$ μ + and$$ \mu ^{-}$$ μ - beams impinging on a liquid hydrogen target. The measurement covers the kinematic range 5.0 GeV/$$c^2$$ c 2 $$< W<$$ < W < 17.0 GeV/$$c^2$$ c 2 , 1.0 (GeV/c)$$^2$$ 2 $$< Q^2<$$ < Q 2 < 10.0 (GeV/c)$$^2$$ 2 and 0.01 (GeV/c)$$^2$$ 2 $$< p_{\textrm{T}}^2<$$ < p T 2 < 0.5 (GeV/c)$$^2$$ 2 . Here,Wdenotes the mass of the final hadronic system,$$Q^2$$ Q 2 the virtuality of the exchanged photon, and$$p_{\textrm{T}}$$ p T the transverse momentum of the$$\rho ^0$$ ρ 0 meson with respect to the virtual-photon direction. The measured non-zero SDMEs for the transitions of transversely polarised virtual photons to longitudinally polarised vector mesons ($$\gamma ^*_T \rightarrow V^{ }_L$$ γ T V L ) indicate a violation ofs-channel helicity conservation. Additionally, we observe a dominant contribution of natural-parity-exchange transitions and a very small contribution of unnatural-parity-exchange transitions, which is compatible with zero within experimental uncertainties. The results provide important input for modelling Generalised Parton Distributions (GPDs). In particular, they may allow one to evaluate in a model-dependent way the role of parton helicity-flip GPDs in exclusive$$\rho ^0$$ ρ 0 production. 
    more » « less