Mercurial > repos > public > sbplib_julia
changeset 1996:d89f7a1a6f37 feature/grids/manifolds
Add some notation to the docs page
author | Jonatan Werpers <jonatan@werpers.com> |
---|---|
date | Wed, 23 Apr 2025 09:02:20 +0200 |
parents | c4dc1bed0a81 |
children | 6dc6dfd11820 |
files | docs/src/manifolds_charts_atlases.md |
diffstat | 1 files changed, 17 insertions(+), 10 deletions(-) [+] |
line wrap: on
line diff
diff -r c4dc1bed0a81 -r d89f7a1a6f37 docs/src/manifolds_charts_atlases.md --- a/docs/src/manifolds_charts_atlases.md Tue Apr 15 08:35:51 2025 +0200 +++ b/docs/src/manifolds_charts_atlases.md Wed Apr 23 09:02:20 2025 +0200 @@ -1,18 +1,25 @@ # Manifolds, Charts, and Atlases To construct grids on more complicated geometries we use manifolds described -by one or more charts. The charts describe a mapping from a logical parameter space -to the geometry that we are interested in. If there are more than one chart -for a given geometry this collection of charts and how they are connected is -described by an atlas. +by one or more charts. The charts describe a mapping from a logical parameter +space to the geometry that we are interested in. If there are more than one +chart for a given geometry this collection of charts and how they are +connected is described by an atlas. + +We consider a mapping from the logical coordidinates ``\xi \in \Xi`` to the +physical coordinates ``x \in \Omega``. A `Chart` describes the mapping by a +`ParameterSpace` respresenting ``\Xi`` and some mapping object that takes +arguments ``\xi \in \Xi`` and returns coordinates ``x\in\Omega``. The mapping +object can either be a function or some other callable object. For the construction of differential and difference operators on a manifold -with a chart the library needs to know the Jacobian of the mapping as a -function of coordinates in the logical parameter space. Internally, -Diffinitive.jl uses a local Jacobian function, `Grids.jacobian(f, ξ)`. For -geometry objects provided by the library this function should have fast and -efficient implementations. If you are creating your own mapping functions you -can implement `Grids.jacobian` for your function or type, for example +with a chart the library needs to know the Jacobian, +``\frac{\partial x}{\partial \xi}``, of the mapping as a function of +coordinates in the logical parameter space. Internally, Diffinitive.jl uses a +local Jacobian function, `Grids.jacobian(f, ξ)`. For geometry objects provided +by the library this function should have fast and efficient implementations. +If you are creating your own mapping functions you must implement +`Grids.jacobian` for your function or type, for example ```julia f(x) = 2x