Atlases and charts
Atlases on an $n$-dimensional manifold $\mathcal M$ are collections of charts $\mathcal A = \{(U_i, φ_i) \colon i \in I\}$, where $I$ is a (finite or infinte) index family, such that $U_i \subseteq \mathcal M$ is an open set and each chart $φ_i: U_i \to \mathbb{R}^n$ is a homeomorphism. This means, that $φ_i$ is bijective – sometimes also called one-to-one and onto - and continuous, and its inverse $φ_i^{-1}$ is continuous as well. The inverse $φ_i^{-1}$ is called (local) parametrization. The resulting parameters $a=φ(p)$ of $p$ (with respect to the chart $φ$) are in the literature also called “(local) coordinates”. To distinguish the parameter $a$ from get_coordinates
in a basis, we use the terminology parameter in this package.
For an atlas $\mathcal A$ we further require that
\[\displaystyle\bigcup_{i\in I} U_i = \mathcal M.\]
We say that $φ_i$ is a chart about $p$, if $p\in U_i$. An atlas provides a connection between a manifold and the Euclidean space $\mathbb{R}^n$, since locally, a chart about $p$ can be used to identify its neighborhood (as long as you stay in $U_i$) with a subset of a Euclidean space. Most manifolds we consider are smooth, i.e. any change of charts $φ_i \circ φ_j^{-1}: \mathbb{R}^n\to\mathbb{R}^n$, where $i,j\in I$, is a smooth function. These changes of charts are also called transition maps.
Most operations on manifolds in Manifolds.jl
avoid operating in a chart through appropriate embeddings and formulas derived for particular manifolds, though atlases provide the most general way of working with manifolds. Compared to these approaches, using an atlas is often more technical and time-consuming. They are extensively used in metric-related functions on MetricManifold
s.
Atlases are represented by objects of subtypes of AbstractAtlas
. There are no type restrictions for indices of charts in atlases.
Operations using atlases and charts are available through the following functions:
get_chart_index
can be used to select an appropriate chart for the neighborhood of a given point $p$. This function should work deterministically, i.e. for a fixed $p$ always return the same chart.get_parameters
converts a point to its parameters with respect to the chart in a chart.get_point
converts parameters (local coordinates) in a chart to the point that corresponds to them.induced_basis
returns a basis of a given vector space at a point induced by a chart $φ$.transition_map
converts coordinates of a point between two charts, e.g. computes $φ_i\circ φ_j^{-1}: \mathbb{R}^n\to\mathbb{R}^n$, $i,j\in I$.
While an atlas could store charts as explicit functions, it is favourable, that the [get_parameters
] actually implements a chart $φ$, get_point
its inverse, the prametrization $φ^{-1}$.
Manifolds.AbstractAtlas
— TypeAbstractAtlas{𝔽}
An abstract class for atlases whith charts that have values in the vector space 𝔽ⁿ
for some value of n
. 𝔽
is a number system determined by an AbstractNumbers
object.
Manifolds.InducedBasis
— TypeInducedBasis(vs::VectorSpaceType, A::AbstractAtlas, i)
The basis induced by chart with index i
from an AbstractAtlas
A
of vector space of type vs
.
For the vs
a TangentSpace
this works as follows:
Let $n$ denote the dimension of the manifold $\mathcal M$.
Let the parameter $a=φ_i(p) ∈ \mathbb R^n$ and $j∈\{1,…,n\}$. We can look at the $j$th parameter curve $b_j(t) = a + te_j$, where $e_j$ denotes the $j$th unit vector. Using the parametrisation we obtain a curve $c_j(t) = φ_i^{-1}(b_j(t))$ which fulfills $c(0) = p$.
Now taking the derivative(s) with respect to $t$ (and evaluate at $t=0$), we obtain a tangent vector for each $j$ corresponding to an equivalence class of curves (having the same derivative) as
\[X_j = [c_j] = \frac{\mathrm{d}}{\mathrm{d}t} c_i(t) \Bigl|_{t=0}\]
and the set $\{X_1,\ldots,X_n\}$ is the chart-induced basis of $T_p\mathcal M$.
See also
Manifolds.RetractionAtlas
— TypeRetractionAtlas{
+Atlases and charts · Manifolds.jl Atlases and charts
Atlases on an $n$-dimensional manifold $\mathcal M$ are collections of charts $\mathcal A = \{(U_i, φ_i) \colon i \in I\}$, where $I$ is a (finite or infinte) index family, such that $U_i \subseteq \mathcal M$ is an open set and each chart $φ_i: U_i \to \mathbb{R}^n$ is a homeomorphism. This means, that $φ_i$ is bijective – sometimes also called one-to-one and onto - and continuous, and its inverse $φ_i^{-1}$ is continuous as well. The inverse $φ_i^{-1}$ is called (local) parametrization. The resulting parameters $a=φ(p)$ of $p$ (with respect to the chart $φ$) are in the literature also called “(local) coordinates”. To distinguish the parameter $a$ from get_coordinates
in a basis, we use the terminology parameter in this package.
For an atlas $\mathcal A$ we further require that
\[\displaystyle\bigcup_{i\in I} U_i = \mathcal M.\]
We say that $φ_i$ is a chart about $p$, if $p\in U_i$. An atlas provides a connection between a manifold and the Euclidean space $\mathbb{R}^n$, since locally, a chart about $p$ can be used to identify its neighborhood (as long as you stay in $U_i$) with a subset of a Euclidean space. Most manifolds we consider are smooth, i.e. any change of charts $φ_i \circ φ_j^{-1}: \mathbb{R}^n\to\mathbb{R}^n$, where $i,j\in I$, is a smooth function. These changes of charts are also called transition maps.
Most operations on manifolds in Manifolds.jl
avoid operating in a chart through appropriate embeddings and formulas derived for particular manifolds, though atlases provide the most general way of working with manifolds. Compared to these approaches, using an atlas is often more technical and time-consuming. They are extensively used in metric-related functions on MetricManifold
s.
Atlases are represented by objects of subtypes of AbstractAtlas
. There are no type restrictions for indices of charts in atlases.
Operations using atlases and charts are available through the following functions:
get_chart_index
can be used to select an appropriate chart for the neighborhood of a given point $p$. This function should work deterministically, i.e. for a fixed $p$ always return the same chart.get_parameters
converts a point to its parameters with respect to the chart in a chart.get_point
converts parameters (local coordinates) in a chart to the point that corresponds to them.induced_basis
returns a basis of a given vector space at a point induced by a chart $φ$.transition_map
converts coordinates of a point between two charts, e.g. computes $φ_i\circ φ_j^{-1}: \mathbb{R}^n\to\mathbb{R}^n$, $i,j\in I$.
While an atlas could store charts as explicit functions, it is favourable, that the [get_parameters
] actually implements a chart $φ$, get_point
its inverse, the prametrization $φ^{-1}$.
Manifolds.AbstractAtlas
— TypeAbstractAtlas{𝔽}
An abstract class for atlases whith charts that have values in the vector space 𝔽ⁿ
for some value of n
. 𝔽
is a number system determined by an AbstractNumbers
object.
sourceManifolds.InducedBasis
— TypeInducedBasis(vs::VectorSpaceType, A::AbstractAtlas, i)
The basis induced by chart with index i
from an AbstractAtlas
A
of vector space of type vs
.
For the vs
a TangentSpace
this works as follows:
Let $n$ denote the dimension of the manifold $\mathcal M$.
Let the parameter $a=φ_i(p) ∈ \mathbb R^n$ and $j∈\{1,…,n\}$. We can look at the $j$th parameter curve $b_j(t) = a + te_j$, where $e_j$ denotes the $j$th unit vector. Using the parametrisation we obtain a curve $c_j(t) = φ_i^{-1}(b_j(t))$ which fulfills $c(0) = p$.
Now taking the derivative(s) with respect to $t$ (and evaluate at $t=0$), we obtain a tangent vector for each $j$ corresponding to an equivalence class of curves (having the same derivative) as
\[X_j = [c_j] = \frac{\mathrm{d}}{\mathrm{d}t} c_i(t) \Bigl|_{t=0}\]
and the set $\{X_1,\ldots,X_n\}$ is the chart-induced basis of $T_p\mathcal M$.
See also
sourceManifolds.RetractionAtlas
— TypeRetractionAtlas{
𝔽,
TRetr<:AbstractRetractionMethod,
TInvRetr<:AbstractInverseRetractionMethod,
TBasis<:AbstractBasis,
-} <: AbstractAtlas{𝔽}
An atlas indexed by points on a manifold, $\mathcal M = I$ and parameters (local coordinates) are given in $T_p\mathcal M$. This means that a chart $φ_p = \mathrm{cord}\circ\mathrm{retr}_p^{-1}$ is only locally defined (around $p$), where $\mathrm{cord}$ is the decomposition of the tangent vector into coordinates with respect to the given basis of the tangent space, cf. get_coordinates
. The parametrization is given by $φ_p^{-1}=\mathrm{retr}_p\circ\mathrm{vec}$, where $\mathrm{vec}$ turns the basis coordinates into a tangent vector, cf. get_vector
.
In short: The coordinates with respect to a basis are used together with a retraction as a parametrization.
See also
AbstractAtlas
, AbstractInverseRetractionMethod
, AbstractRetractionMethod
, AbstractBasis
sourceLinearAlgebra.norm
— Methodnorm(M::AbstractManifold, A::AbstractAtlas, i, a, Xc)
Calculate norm on manifold M
at point with parameters a
in chart i
of an AbstractAtlas
A
of vector with coefficients Xc
in induced basis.
sourceManifolds.affine_connection!
— Methodaffine_connection!(M::AbstractManifold, Zc, A::AbstractAtlas, i, a, Xc, Yc)
Calculate affine connection on manifold M
at point with parameters a
in chart i
of an an AbstractAtlas
A
of vectors with coefficients Zc
and Yc
in induced basis and save the result in Zc
.
sourceManifolds.affine_connection
— Methodaffine_connection(M::AbstractManifold, A::AbstractAtlas, i, a, Xc, Yc)
Calculate affine connection on manifold M
at point with parameters a
in chart i
of AbstractAtlas
A
of vectors with coefficients Xc
and Yc
in induced basis.
sourceManifolds.check_chart_switch
— Methodcheck_chart_switch(M::AbstractManifold, A::AbstractAtlas, i, a)
Determine whether chart should be switched when an operation in chart i
from an AbstractAtlas
A
reaches parameters a
in that chart.
By default false
is returned.
sourceManifolds.get_chart_index
— Methodget_chart_index(M::AbstractManifold, A::AbstractAtlas, i, a)
Select a chart from an AbstractAtlas
A
for manifold M
that is suitable for representing the neighborhood of point with parametrization a
in chart i
. This selection should be deterministic, although different charts may be selected for arbitrarily close but distinct points.
See also
sourceManifolds.get_chart_index
— Methodget_chart_index(M::AbstractManifold, A::AbstractAtlas, p)
Select a chart from an AbstractAtlas
A
for manifold M
that is suitable for representing the neighborhood of point p
. This selection should be deterministic, although different charts may be selected for arbitrarily close but distinct points.
See also
sourceManifolds.get_default_atlas
— Methodget_default_atlas(::AbstractManifold)
Determine the default real-valued atlas for the given manifold.
sourceManifolds.get_parameters
— Methodget_parameters(M::AbstractManifold, A::AbstractAtlas, i, p)
Calculate parameters (local coordinates) of point p
on manifold M
in chart from an AbstractAtlas
A
at index i
. This function is hence an implementation of the chart $φ_i(p), i\in I$. The parameters are in the number system determined by A
. If the point $p\notin U_i$ is not in the domain of the chart, this method should throw an error.
See also
sourceManifolds.get_point
— Methodget_point(M::AbstractManifold, A::AbstractAtlas, i, a)
Calculate point at parameters (local coordinates) a
on manifold M
in chart from an AbstractAtlas
A
at index i
. This function is hence an implementation of the inverse $φ_i^{-1}(a), i\in I$ of a chart, also called a parametrization.
See also
sourceManifolds.induced_basis
— Methodinduced_basis(M::AbstractManifold, A::AbstractAtlas, i, p, VST::VectorSpaceType)
Basis of vector space of type VST
at point p
from manifold M
induced by chart (A
, i
).
See also
sourceManifolds.induced_basis
— Methodinduced_basis(::AbstractManifold, A::AbstractAtlas, i, VST::VectorSpaceType = TangentSpaceType())
Get the basis induced by chart with index i
from an AbstractAtlas
A
of vector space of type vs
. Returns an object of type InducedBasis
.
See also
sourceManifolds.inverse_chart_injectivity_radius
— Methodinverse_chart_injectivity_radius(M::AbstractManifold, A::AbstractAtlas, i)
Injectivity radius of get_point
for chart i
from an AbstractAtlas
A
of a manifold M
.
sourceManifolds.local_metric
— Methodlocal_metric(M::AbstractManifold, p, B::InducedBasis)
Compute the local metric tensor for vectors expressed in terms of coordinates in basis B
on manifold M
. The point p
is not checked.
sourceManifolds.transition_map
— Methodtransition_map(M::AbstractManifold, A_from::AbstractAtlas, i_from, A_to::AbstractAtlas, i_to, a)
-transition_map(M::AbstractManifold, A::AbstractAtlas, i_from, i_to, a)
Given coordinates a
in chart (A_from, i_from)
of a point on manifold M
, returns coordinates of that point in chart (A_to, i_to)
. If A_from
and A_to
are equal, A_to
can be omitted.
Mathematically this function is the transition map or change of charts, but it might even be between two atlases $A_{\text{from}} = \{(U_i,φ_i)\}_{i\in I}$ and $A_{\text{to}} = \{(V_j,\psi_j)\}_{j\in J}$, and hence $I, J$ are their index sets. We have $i_{\text{from}}\in I$, $i_{\text{to}}\in J$.
This method then computes
\[\bigl(\psi_{i_{\text{to}}}\circ φ_{i_{\text{from}}}^{-1}\bigr)(a)\]
Note that, similarly to get_parameters
, this method should fail the same way if $V_{i_{\text{to}}}\cap U_{i_{\text{from}}}=\emptyset$.
See also
sourceManifolds.transition_map_diff!
— Methodtransition_map_diff!(M::AbstractManifold, c_out, A::AbstractAtlas, i_from, a, c, i_to)
Compute transition_map_diff
on given arguments and save the result in c_out
.
sourceManifolds.transition_map_diff
— Methodtransition_map_diff(M::AbstractManifold, A::AbstractAtlas, i_from, a, c, i_to)
Compute differential of transition map from chart i_from
to chart i_to
from an AbstractAtlas
A
on manifold M
at point with parameters a
on tangent vector with coordinates c
in the induced basis.
sourceManifoldsBase.inner
— Methodinner(M::AbstractManifold, A::AbstractAtlas, i, a, Xc, Yc)
Calculate inner product on manifold M
at point with parameters a
in chart i
of an atlas A
of vectors with coefficients Xc
and Yc
in induced basis.
sourceCotangent space and musical isomorphisms
Related to atlases, there is also support for the cotangent space and coefficients of cotangent vectors in bases of the cotangent space.
Functions sharp
and flat
implement musical isomorphisms for arbitrary vector bundles.
Manifolds.RieszRepresenterCotangentVector
— TypeRieszRepresenterCotangentVector(M::AbstractManifold, p, X)
Cotangent vector in Riesz representer form on manifold M
at point p
with Riesz representer X
.
sourceManifolds.flat
— Methodflat(M::AbstractManifold, p, X)
Compute the flat isomorphism (one of the musical isomorphisms) of tangent vector X
from the vector space of type M
at point p
from the underlying AbstractManifold
.
The function can be used for example to transform vectors from the tangent bundle to vectors from the cotangent bundle $♭ : T\mathcal M → T^{*}\mathcal M$
sourceManifolds.sharp
— Methodsharp(M::AbstractManifold, p, ξ)
Compute the sharp isomorphism (one of the musical isomorphisms) of vector ξ
from the vector space M
at point p
from the underlying AbstractManifold
.
The function can be used for example to transform vectors from the cotangent bundle to vectors from the tangent bundle $♯ : T^{*}\mathcal M → T\mathcal M$
sourceComputations in charts
Manifolds.IntegratorTerminatorNearChartBoundary
— TypeIntegratorTerminatorNearChartBoundary{TKwargs}
An object for determining the point at which integration of a differential equation in a chart on a manifold should be terminated for the purpose of switching a chart.
The value stored in check_chart_switch_kwargs
will be passed as keyword arguments to check_chart_switch
. By default an empty tuple is stored.
sourceManifolds.estimate_distance_from_bvp
— Functionestimate_distance_from_bvp(
+} <: AbstractAtlas{𝔽}
An atlas indexed by points on a manifold, $\mathcal M = I$ and parameters (local coordinates) are given in $T_p\mathcal M$. This means that a chart $φ_p = \mathrm{cord}\circ\mathrm{retr}_p^{-1}$ is only locally defined (around $p$), where $\mathrm{cord}$ is the decomposition of the tangent vector into coordinates with respect to the given basis of the tangent space, cf. get_coordinates
. The parametrization is given by $φ_p^{-1}=\mathrm{retr}_p\circ\mathrm{vec}$, where $\mathrm{vec}$ turns the basis coordinates into a tangent vector, cf. get_vector
.
In short: The coordinates with respect to a basis are used together with a retraction as a parametrization.
See also
AbstractAtlas
, AbstractInverseRetractionMethod
, AbstractRetractionMethod
, AbstractBasis
sourceLinearAlgebra.norm
— Methodnorm(M::AbstractManifold, A::AbstractAtlas, i, a, Xc)
Calculate norm on manifold M
at point with parameters a
in chart i
of an AbstractAtlas
A
of vector with coefficients Xc
in induced basis.
sourceManifolds.affine_connection!
— Methodaffine_connection!(M::AbstractManifold, Zc, A::AbstractAtlas, i, a, Xc, Yc)
Calculate affine connection on manifold M
at point with parameters a
in chart i
of an an AbstractAtlas
A
of vectors with coefficients Zc
and Yc
in induced basis and save the result in Zc
.
sourceManifolds.affine_connection
— Methodaffine_connection(M::AbstractManifold, A::AbstractAtlas, i, a, Xc, Yc)
Calculate affine connection on manifold M
at point with parameters a
in chart i
of AbstractAtlas
A
of vectors with coefficients Xc
and Yc
in induced basis.
sourceManifolds.check_chart_switch
— Methodcheck_chart_switch(M::AbstractManifold, A::AbstractAtlas, i, a)
Determine whether chart should be switched when an operation in chart i
from an AbstractAtlas
A
reaches parameters a
in that chart.
By default false
is returned.
sourceManifolds.get_chart_index
— Methodget_chart_index(M::AbstractManifold, A::AbstractAtlas, i, a)
Select a chart from an AbstractAtlas
A
for manifold M
that is suitable for representing the neighborhood of point with parametrization a
in chart i
. This selection should be deterministic, although different charts may be selected for arbitrarily close but distinct points.
See also
sourceManifolds.get_chart_index
— Methodget_chart_index(M::AbstractManifold, A::AbstractAtlas, p)
Select a chart from an AbstractAtlas
A
for manifold M
that is suitable for representing the neighborhood of point p
. This selection should be deterministic, although different charts may be selected for arbitrarily close but distinct points.
See also
sourceManifolds.get_default_atlas
— Methodget_default_atlas(::AbstractManifold)
Determine the default real-valued atlas for the given manifold.
sourceManifolds.get_parameters
— Methodget_parameters(M::AbstractManifold, A::AbstractAtlas, i, p)
Calculate parameters (local coordinates) of point p
on manifold M
in chart from an AbstractAtlas
A
at index i
. This function is hence an implementation of the chart $φ_i(p), i\in I$. The parameters are in the number system determined by A
. If the point $p\notin U_i$ is not in the domain of the chart, this method should throw an error.
See also
sourceManifolds.get_point
— Methodget_point(M::AbstractManifold, A::AbstractAtlas, i, a)
Calculate point at parameters (local coordinates) a
on manifold M
in chart from an AbstractAtlas
A
at index i
. This function is hence an implementation of the inverse $φ_i^{-1}(a), i\in I$ of a chart, also called a parametrization.
See also
sourceManifolds.induced_basis
— Methodinduced_basis(M::AbstractManifold, A::AbstractAtlas, i, p, VST::VectorSpaceType)
Basis of vector space of type VST
at point p
from manifold M
induced by chart (A
, i
).
See also
sourceManifolds.induced_basis
— Methodinduced_basis(::AbstractManifold, A::AbstractAtlas, i, VST::VectorSpaceType = TangentSpaceType())
Get the basis induced by chart with index i
from an AbstractAtlas
A
of vector space of type vs
. Returns an object of type InducedBasis
.
See also
sourceManifolds.inverse_chart_injectivity_radius
— Methodinverse_chart_injectivity_radius(M::AbstractManifold, A::AbstractAtlas, i)
Injectivity radius of get_point
for chart i
from an AbstractAtlas
A
of a manifold M
.
sourceManifolds.local_metric
— Methodlocal_metric(M::AbstractManifold, p, B::InducedBasis)
Compute the local metric tensor for vectors expressed in terms of coordinates in basis B
on manifold M
. The point p
is not checked.
sourceManifolds.transition_map
— Methodtransition_map(M::AbstractManifold, A_from::AbstractAtlas, i_from, A_to::AbstractAtlas, i_to, a)
+transition_map(M::AbstractManifold, A::AbstractAtlas, i_from, i_to, a)
Given coordinates a
in chart (A_from, i_from)
of a point on manifold M
, returns coordinates of that point in chart (A_to, i_to)
. If A_from
and A_to
are equal, A_to
can be omitted.
Mathematically this function is the transition map or change of charts, but it might even be between two atlases $A_{\text{from}} = \{(U_i,φ_i)\}_{i\in I}$ and $A_{\text{to}} = \{(V_j,\psi_j)\}_{j\in J}$, and hence $I, J$ are their index sets. We have $i_{\text{from}}\in I$, $i_{\text{to}}\in J$.
This method then computes
\[\bigl(\psi_{i_{\text{to}}}\circ φ_{i_{\text{from}}}^{-1}\bigr)(a)\]
Note that, similarly to get_parameters
, this method should fail the same way if $V_{i_{\text{to}}}\cap U_{i_{\text{from}}}=\emptyset$.
See also
sourceManifolds.transition_map_diff!
— Methodtransition_map_diff!(M::AbstractManifold, c_out, A::AbstractAtlas, i_from, a, c, i_to)
Compute transition_map_diff
on given arguments and save the result in c_out
.
sourceManifolds.transition_map_diff
— Methodtransition_map_diff(M::AbstractManifold, A::AbstractAtlas, i_from, a, c, i_to)
Compute differential of transition map from chart i_from
to chart i_to
from an AbstractAtlas
A
on manifold M
at point with parameters a
on tangent vector with coordinates c
in the induced basis.
sourceManifoldsBase.inner
— Methodinner(M::AbstractManifold, A::AbstractAtlas, i, a, Xc, Yc)
Calculate inner product on manifold M
at point with parameters a
in chart i
of an atlas A
of vectors with coefficients Xc
and Yc
in induced basis.
sourceCotangent space and musical isomorphisms
Related to atlases, there is also support for the cotangent space and coefficients of cotangent vectors in bases of the cotangent space.
Functions sharp
and flat
implement musical isomorphisms for arbitrary vector bundles.
Manifolds.RieszRepresenterCotangentVector
— TypeRieszRepresenterCotangentVector(M::AbstractManifold, p, X)
Cotangent vector in Riesz representer form on manifold M
at point p
with Riesz representer X
.
sourceManifolds.flat
— Methodflat(M::AbstractManifold, p, X)
Compute the flat isomorphism (one of the musical isomorphisms) of tangent vector X
from the vector space of type M
at point p
from the underlying AbstractManifold
.
The function can be used for example to transform vectors from the tangent bundle to vectors from the cotangent bundle $♭ : T\mathcal M → T^{*}\mathcal M$
sourceManifolds.sharp
— Methodsharp(M::AbstractManifold, p, ξ)
Compute the sharp isomorphism (one of the musical isomorphisms) of vector ξ
from the vector space M
at point p
from the underlying AbstractManifold
.
The function can be used for example to transform vectors from the cotangent bundle to vectors from the tangent bundle $♯ : T^{*}\mathcal M → T\mathcal M$
sourceComputations in charts
Manifolds.IntegratorTerminatorNearChartBoundary
— TypeIntegratorTerminatorNearChartBoundary{TKwargs}
An object for determining the point at which integration of a differential equation in a chart on a manifold should be terminated for the purpose of switching a chart.
The value stored in check_chart_switch_kwargs
will be passed as keyword arguments to check_chart_switch
. By default an empty tuple is stored.
sourceManifolds.estimate_distance_from_bvp
— Functionestimate_distance_from_bvp(
M::AbstractManifold,
a1,
a2,
@@ -14,7 +14,7 @@
solver=MIRK4(),
dt=0.05,
kwargs...,
-)
Estimate distance between points on AbstractManifold
M with parameters a1
and a2
in chart i
of AbstractAtlas
A
using solver solver
, employing solve_chart_log_bvp
to solve the geodesic BVP.
sourceManifolds.solve_chart_exp_ode
— Functionsolve_chart_exp_ode(
+)
Estimate distance between points on AbstractManifold
M with parameters a1
and a2
in chart i
of AbstractAtlas
A
using solver solver
, employing solve_chart_log_bvp
to solve the geodesic BVP.
sourceManifolds.solve_chart_exp_ode
— Functionsolve_chart_exp_ode(
M::AbstractManifold,
a,
Xc,
@@ -24,7 +24,7 @@
final_time=1.0,
check_chart_switch_kwargs=NamedTuple(),
kwargs...,
-)
Solve geodesic ODE on a manifold M
from point of coordinates a
in chart i0
from an AbstractAtlas
A
in direction of coordinates Xc
in the induced basis.
sourceManifolds.solve_chart_log_bvp
— Functionsolve_chart_log_bvp(
+)
Solve geodesic ODE on a manifold M
from point of coordinates a
in chart i0
from an AbstractAtlas
A
in direction of coordinates Xc
in the induced basis.
sourceManifolds.solve_chart_log_bvp
— Functionsolve_chart_log_bvp(
M::AbstractManifold,
a1,
a2,
@@ -33,7 +33,7 @@
solver=MIRK4(),
dt::Real=0.05,
kwargs...,
-)
Solve the BVP corresponding to geodesic calculation on AbstractManifold
M, between points with parameters a1
and a2
in a chart i
of an AbstractAtlas
A
using solver solver
. Geodesic γ is sampled at time interval dt
, with γ(0) = a1 and γ(1) = a2.
sourceManifolds.solve_chart_parallel_transport_ode
— Functionsolve_chart_parallel_transport_ode(
+)
Solve the BVP corresponding to geodesic calculation on AbstractManifold
M, between points with parameters a1
and a2
in a chart i
of an AbstractAtlas
A
using solver solver
. Geodesic γ is sampled at time interval dt
, with γ(0) = a1 and γ(1) = a2.
sourceManifolds.solve_chart_parallel_transport_ode
— Functionsolve_chart_parallel_transport_ode(
M::AbstractManifold,
a,
Xc,
@@ -44,4 +44,4 @@
check_chart_switch_kwargs=NamedTuple(),
final_time=1.0,
kwargs...,
-)
Parallel transport vector with coordinates Yc
along geodesic on a manifold M
from point of coordinates a
in a chart i0
from an AbstractAtlas
A
in direction of coordinates Xc
in the induced basis.
sourceSettings
This document was generated with Documenter.jl version 1.1.2 on Saturday 4 November 2023. Using Julia version 1.9.3.
+)
Parallel transport vector with coordinates Yc
along geodesic on a manifold M
from point of coordinates a
in a chart i0
from an AbstractAtlas
A
in direction of coordinates Xc
in the induced basis.