arXiv subjects
Publications and source records attributed to Siran Li.
We show that the Gaussian kernel $\exp\left\{-λd_g^2(\bullet, \bullet)\right\}$ on any non-simply-connected closed Riemannian manifold $(\mathcal{M},g)$, where $d_g$ is the geodesic distance, is not positive definite for any $λ> 0$, combining analyses in the recent preprint~[9] by Da Costa--Mostajeran--Ortega and classical comparison theorems in Riemannian geometry.
Direct linkages between regular or irregular isometric embeddings of surfaces and steady compressible or incompressible fluid dynamics are investigated in this paper. For a surface $(M,g)$ isometrically embedded in $\mathbb{R}^3$, we construct a mapping which sends the second fundamental form of the embedding to the density, velocity, and pressure of steady fluid flows on $(M,g)$. From the PDE perspectives, this mapping sends solutions to the Gauss--Codazzi equations to the steady Euler equations. Several families of special solutions of physical or geometrical significance are studied in detail, including the Chaplygin gas on standard and flat tori, as well as the irregular isometric embeddings of the flat torus. We also discuss tentative extensions to multi-dimensions.
We study the exponential map of group of volume-preserving diffeomorphisms on closed orientable surfaces via the vorticity formulation of the incompressible Euler equation. We present an alternative, fluid dynamical proof of the theorem of Ebin--Misiołek--Preston: the exponential is a nonlinear Fredholm mapping of index zero. We extend Shnirelman's rigidity result for the exponential map from 2-dimensional flat torus to arbitrary orientable closed surfaces. That is, we prove that the exponential map is Fredholm quasiregular.
Intrinsic nonlinear elasticity deals with the deformations of elastic bodies as isometric immersions of Riemannian manifolds into the Euclidean spaces (see Ciarlet [9,10]). In this paper, we study the rigidity and continuity properties of elastic bodies for the intrinsic approach to nonlinear elasticity. We first establish a geometric rigidity estimate for mappings from Riemannian manifolds to spheres (in the spirit of Friesecke-James-Müller [23]), which is the first result of this type for the non-Euclidean case as far as we know. Then we prove the asymptotic rigidity of elastic membranes under suitable geometric conditions. Finally, we provide a simplified geometric proof of the continuous dependence of deformations of elastic bodies on the Cauchy-Green tensors and second fundamental forms, which extends the Ciarlet-Mardare theorem in [18] to arbitrary dimensions and co-dimensions.
A fundamental question in rough path theory is whether the expected signature of a geometric rough path completely determines the law of signature. One sufficient condition is that the expected signature has infinite radius of convergence, which is satisfied by various stochastic processes on a fixed time interval, including the Brownian motion. In contrast, for the Brownian motion stopped upon the first exit time from a bounded domain $Ω$, it is only known that the radius of convergence for the expected signature on sufficiently regular $Ω$ is strictly positive everywhere, and that the radius of convergence is finite at some point when $Ω$ is the $2$-dimensional unit disc ([1]). In this paper, we prove that on any bounded $C^{2,α}$-domain $Ω\subset \mathbb{R}^d$ with $2\leq d \leq 8$, the expected signature of the stopped Brownian motion has finite radius of convergence everywhere. A key ingredient of our proof is the introduction of a "domain-averaging hyperbolic development" (see Definition 4.1), which allows us to symmetrize the PDE system for the hyperbolic development of expected signature by averaging over rotated domains.
We discuss $C^1$ regularity and developability of isometric immersions of flat domains into $\mathbb R^3$ enjoying a local fractional Sobolev $W^{1+s, \frac2s}$ regularity for $2/3 \le s< 1 $, generalizing the known results on Sobolev and Hölder regimes. Ingredients of the proof include analysis of the weak Codazzi-Mainardi equations of the isometric immersions and study of $W^{2,\frac2s}$ planar deformations with symmetric Jacobian derivative and vanishing distributional Jacobian determinant. On the way, we also show that the distributional Jacobian determinant, conceived as an operator defined on the Jacobian matrix, behaves like determinant of gradient matrices under products by scalar functions.
Let $Ω\subset \mathbb{R}^3$ be a Lipschitz domain, and consider a harmonic map $v: Ω\rightarrow \mathbb{S}^2$ with boundary data $v|\partialΩ= φ$ which minimises the Dirichlet energy. For $p\geq 2$, we show that any energy minimiser $u$ whose boundary map $ψ$ has a small $W^{1,p}$-distance to $φ$ is close to $v$ in Hölder norm modulo bi-Lipschitz homeomorphisms, provided that $v$ is the unique minimiser attaining the boundary data. The index $p=2$ is sharp: the above stability result fails for $p<2$ due to the constructions by Almgren--Lieb \cite{al} and Mazowiecka--Strzelecki \cite{ms}.
We are concerned with the global weak continuity of the Cartan structural system -- or equivalently, the Gauss--Codazzi--Ricci system -- on semi-Riemannian manifolds with lower regularity. For this purpose, we first formulate and prove a geometric compensated compactness theorem on vector bundles over semi-Riemannian manifolds with lower regularity (Theorem 3.2), extending the classical quadratic theorem of compensated compactness. We then deduce the $L^p$ weak continuity of the Cartan structural system for $p>2$: For a family $\{\mathcal{W}_\varepsilon\}$ of connection $1$-forms on a semi-Riemannian manifold $(M,g)$, if $\{\mathcal{W}_\varepsilon\}$ is uniformly bounded in $L^p$ and satisfies the Cartan structural system, then any weak $L^p$ limit of $\{\mathcal{W}_\varepsilon\}$ is also a solution of the Cartan structural system. Moreover, it is proved that isometric immersions of semi-Riemannian manifolds into semi-Euclidean spaces can be constructed from the weak solutions of the Cartan structural system or the Gauss--Codazzi--Ricci system (Theorem 5.1), which leads to the $L^p$ weak continuity of the Gauss--Codazzi--Ricci system on semi-Riemannian manifolds. As further applications, the weak continuity of Einstein's constraint equations, general immersed hypersurfaces, and the quasilinear wave equations is also established.
Let $(\mathcal{M},g_0)$ be a compact Riemannian manifold-with-boundary. We present a new proof of the classical Gaffney's inequality for differential forms in boundary value spaces over $\mathcal{M}$, via the variational approach à la Kozono--Yanagisawa [$L^r$-variational inequality for vector fields and the Helmholtz--Weyl decomposition in bounded domains, Indiana Univ. Math. J. 58 (2009), 1853--1920] combined with global computations based on the Bochner's technique.
We prove the existence, uniqueness, and $W^{1,2}$-regularity for the solution to the Pfaff system with antisymmetric $L^2$-coefficient matrix in arbitrary dimensions. Hence, we establish the equivalence between the existence of $W^{2,2}$-isometric immersions and the weak solubility of the Gauss--Codazzi--Ricci equations on simply-connected domains. The regularity assumptions of these results are sharp. As an application, we deduce a weak compactness theorem for $W^{2,2}_{\rm loc}$-immersions.
It is a well-known fact -- which can be shown by elementary calculus -- that the volume of the unit ball in $\mathbb{R}^n$ decays to zero and simultaneously gets concentrated on the thin shell near the boundary sphere as $n \nearrow \infty$. Many rigorous proofs and heuristic arguments are provided for this fact from different viewpoints, including Euclidean geometry, convex geometry, Banach space theory, combinatorics, probability, discrete geometry, etc. In this note we give yet another two proofs via the regularity theory of elliptic partial differential equations and calculus of variations.
We revisit the classical problem due to Weyl, as well as its generalisations, concerning the isometric immersions of $\mathbb{S}^2$ into simply-connected $3$-dimensional Riemannian manifolds with non-negative Gauss curvature. A sufficient condition is exhibited for the existence of global $C^{1,1}$-isometric immersions. Our developments are based on the framework à la Labourie (Immersions isométriques elliptiques et courbes pseudo-holomorphes, J. Diff. Geom. 30 (1989), 395--424) of studying isometric immersions using $J$-holomorphic curves. We obtain along the way a generalisation of a classical theorem due to Heinz and Pogorelov.
In an interesting recent paper [1] (A. Acharya, Stress of a spatially uniform dislocation density field, J. Elasticity 137 (2019), 151--155), Acharya proved that the stress produced by a spatially uniform dislocation density field in a body comprising a nonlinear elastic material may fail to vanish under no loads. The class of counterexamples constructed in [1] is essentially $2$-dimensional: it works with the subgroup $\mathcal{O}(2) \oplus \langle{\bf Id}\rangle \subset \mathcal{O}(3)$. The objective of this note is to extend Acharya's result in [1] to $\mathcal{O}(3)$, subject to an additional structural assumption and less regularity requirements.
We establish the regularity of weak solutions for the vorticity equation associated to a family of desingularised models for vortex filament dynamics in 3D incompressible viscous flows. These include and generalise the classical model "of an allowance for the thickness of the vortices" due to Louis Rosenhead in 1930. Our approach is based on an interplay between the geometry of vorticity and analytic inequalities in Sobolev spaces.
We give a "soft" proof of Alberti's Luzin-type theorem in [1] (G. Alberti, A Lusintype theorem for gradients, J. Funct. Anal. 100 (1991)), using elementary geometric measure theory and topology. Applications to the $C^2$-rectifiability problem are also discussed.
We study the regularity criteria for weak solutions to the $3D$ incompressible Navier--Stokes equations in terms of the geometry of vortex structures, taking into account the boundary effects. A boundary regularity theorem is proved on regular domains with a class of oblique derivative boundary conditions, providing that the vorticity of the fluid is coherently aligned. In particular, we establish the boundary regularity on round balls, half-spaces and right circular cylindrical ducts, subject to the classical Navier and kinematic boundary conditions.
We consider the continuous $W^{2,d}$ immersions of $d$-dimensional hypersurfaces in $\mathbb{R}^{d+1}$ with second fundamental forms uniformly bounded in $L^d$. Two results are obtained: first, a family of such immersions is constructed, whose limit fails to be an immersion of a manifold. This addresses the endpoint cases in J. Langer and P. Breuning. Second, under the additional assumption that the Gauss map is slowly oscillating, we prove that any family of such immersions subsequentially converges to a set locally parametrised by Hölder functions.
We extend the well-known result that any $f \in W^{1,n}(Ω,\mathbb{R}^n)$, $Ω\subset \mathbb{R}^n$ with strictly positive Jacobian is actually continuous: it is also true for fractional Sobolev spaces $W^{s,\frac{n}{s}}(Ω)$ for any $s \geq \frac{n}{n+1}$, where the sign condition on the Jacobian is understood in a distributional sense. Along the way we also obtain extensions to fractional Sobolev spaces $W^{s,\frac{n}{s}}$ of the degree estimates known for $W^{1,n}$-maps with positive or non-negative Jacobian, such as the sense-preserving property.