Convergence of spectral discretization for the flow of diffeomorphisms B2VE3JQZD3

Expressions

The mentions of the inventory that name this resource. Each name links to the card of its inventory row.

Item	Kind	Where	Source
Continuity of composition	statement	lemma 8	arxiv
Regularity of composition	statement	lemma 9	arxiv
Convergent scheme for generic regularity	statement	corollary 28	arxiv
Consistency order of truncated Fourier series	statement	lemma 19	arxiv
Quadratic term regularity	statement	proposition 25	arxiv
Group of Sobolev diffeomorphisms	definition	definition 3	arxiv
Weak geodesic PDE	statement	lemma 14	arxiv
Continuity of $\adjointMap^*$	statement	lemma 11	arxiv
$H^{m-1}$-regularity of velocity change	statement	corollary 26	arxiv
Convergence of geodesic approximation	statement	theorem 27	arxiv
Convergence of bandlimited EPDiff equation	statement	theorem 1	arxiv
Constant velocity geodesics	statement	lemma 24	arxiv
Sobolev regularity preservation along geodesics	statement	theorem 2	arxiv
Differentiable Sobolev metrics	statement	lemma 12	arxiv
Eulerian velocity and flow	definition	definition 6	arxiv
Preservation of higher Sobolev regularity	statement	theorem 15	arxiv
Right-invariant Sobolev metric	definition	definition 4	arxiv
Uniform Fourier decay along a continuous path	statement	lemma 20	arxiv
Norm and composition estimates for the flow	statement	proposition 10	arxiv
Continuity of multiplication	statement	lemma 7	arxiv
Computational effort	statement	proposition 21	arxiv
Approximate Riemannian Lie group geodesics	statement	proposition 22	arxiv
Path energy and Riemannian distance on $\DiffSobId^m$	definition	definition 5	arxiv