symbolic {stokes} | R Documentation |
Symbolic form
Description
Returns a character string representing \(k\)-tensor and
\(k\)-form objects in symbolic form. Used by the print method if
either option kform_symbolic_print
or
ktensor_symbolic_print
is non-null.
Usage
as.symbolic(M,symbols=letters,d="")
Arguments
M |
Object of class |
symbols |
A character vector giving the names of the symbols |
d |
String specifying the appearance of the differential operator |
Details
Spivak (p89), in archetypically terse writing, states:
A function \(f\) is considered to be a 0-form and \(f\cdot\omega\) is also written \(f\wedge\omega\). If \(f\colon\mathcal{R}^n\longrightarrow\mathcal{R}\) is differentiable, then \(Df(p)\in\Lambda^1\left(\mathcal{R}^n\right)\). By a minor modification we therefore obtain a 1-form \(df\), defined by
\[df(p)\left(v_p\right)=Df(p)(v)\]Let us consider in particular the 1-forms \(d\pi^i\). It is customary to let \(x^i\) denote the function \(\pi^i\) (On \(\mathcal{R}^3\) we often denote \(x^1\), \(x^2\), and \(x^3\) by \(x\), \(y\), and \(z\)). This standard notation has obvious disadvantages but it allows many classical results to be expressed by formulas of equally classical appearance. Since \(dx^i(p)(v_p)=d\pi^i(p)(v_p)=D\pi^i(p)(v)=v^i\), we see that \(dx^1(p),\ldots,dx^n(p)\) is just the dual basis to \((e_1)_p,\ldots,(e_n)_p\). Thus every k-form \(\omega\) can be written
\[ \omega=\sum_{i_1 < \cdots < i_k}\omega_{i_1,\ldots,i_k} dx^{i_1}\wedge\cdots\wedge dx^{i_k}.\]Function as.symbolic()
uses this format. For completeness, we
add (p77) that k-tensors may be expressed in the form
and this form is used for k-tensors.
Value
Returns a “noquote” character string.
Author(s)
Robin K. S. Hankin
See Also
Examples
(o <- kform_general(3,2,1:3))
as.symbolic(o,d="d",symbols=letters[23:26])
(a <- rform(n=50))
as.symbolic(a,symbols=state.abb)