4
$\begingroup$

I am not a specialist in differential geometry, so I have some difficulties in finding the right words for the following natural things:

First of all it seems that there is a lot of nonequivalent definitions of the tangent vectors of higher order. I will define the one that I need. Suppose we have a $C^{k}$ manifold $M$ of dimension $n$. Let $p\in M$, and let $\varphi:U\to\mathbb{R}^{n}$ be a chart. Then for any $l\le k$ the span of $$\frac{\partial} {\partial x_1}, ...,\frac{\partial} {\partial x_n}, \frac{\partial^2} {\partial x_1\partial x_1},\frac{\partial^2} {\partial x_1\partial x_2},...,\frac{\partial^2} {\partial x_n\partial x_n},...,\frac{\partial^l} {\partial x_n...\partial x_n}$$ does not actually depend on $\varphi$. The elements of this span is what I mean by tangent vectors of order $l$.

Q1: How do you call this guys in general (without the specification of $l$, and in the way that it is clear what it is)?

Q2: How to say that I am acting with such thing on a vector function (formally this does not make any sense, since they are defined as functional on germs of scalar functions)?

I only understand how to write it formally correct just for usual tangent vectors, using the differential of our vector function and the identification between tangent vectors and elements on my codomain. However I don't want to write down such formula without explanation, neither I want to write this whole story in my paper.

Q3: What's the story in the infinite-dimensional case?

In fact I need to state a simple fact (at least in good cases), but I don't know how to write it, and I don't know to which extent it actually ramains correct. The fact is following: I have a $C^{k}$ manifold $M$ (possibly infinite-dimensional), a $C^{l}$ map $\psi:M\to X$, where $X$ is a topological vector space, a functional $v\in X^{*}$ and a tangent vector (sort of), that I described above, say $d$. Then, $d\left(\psi\right)\in X$ and $\left<d\left(\psi\right), v\right>=d\left(v\circ\psi\right)$, in other words, operation of differentiation is implemented coordinatewise.

UPD Q4: If I have a field of such vectors, is the obtained object called a "differential operator"?

Thank you.

Improve this question
$\endgroup$
4
  • 1
    $\begingroup$ It seems that what you are searching for is the notion of a differential operator of order at most $l$ on the sections of a vector bundle over $M$. If you don't want to mention $l$ explicitly, you can simply talk about the $C^k$ differential operators. (The usual tangent bundle is defined in terms of the first order differential operators.) $\endgroup$
    – Robert Bryant
    Commented Oct 28, 2015 at 11:17
  • $\begingroup$ I was thinking about this, but isn't the term "differential operator" reserved for more specific things, like the ones they consider in mathematical physics? $\endgroup$
    – erz
    Commented Oct 28, 2015 at 11:21
  • $\begingroup$ Actually, I have a differential "functional", so to speak, since it acts locally at a point. But If I have a vector field, we can talk about operator. Thank you for bringing up this topic, I'll update the question. $\endgroup$
    – erz
    Commented Oct 28, 2015 at 11:47
  • 1
    $\begingroup$ I don't have a handy name for the objects in Q1. But they are dual to jets, where an $\ell$-jet is the collection of derivatives up to order $\ell$ of a given $C^\ell$-function on $M$, taken at one point $p$. The set of $\ell$-jets at a point $p\in M$ forms a vector space that is dual to the space you are describing. However, the global structure of the jet bundle is more complicated. So you may try to find something on jets in the literature. $\endgroup$
    – Sebastian Goette
    Commented Oct 28, 2015 at 16:25

1 Answer 1

Reset to default
3
$\begingroup$

I think what you want are velocities (see 12.8 on page 120 of (1)). Iterated tangent bundles have lots of repetitions of the lower order parts. They and velocities are special cases of Weil bundles as treated in chapter VIII of (1). Elements of a Weil bundle act on functions as expansions (the generalization of derivation to the general case) at a point, see 37.6 of (1). On vector values functions they act coordinatewise.

The infinite dimensional version of Weil bundles is treated in section 31 of (2).

  • (1) Ivan Kolár, Jan Slovák, Peter W. Michor: Natural operations in differential geometry. Springer-Verlag, Berlin, Heidelberg, New York, (1993) (pdf)

  • (2) Andreas Kriegl, Peter W. Michor: The Convenient Setting of Global Analysis. Mathematical Surveys and Monographs, Volume: 53, American Mathematical Society, Providence, 1997 (pdf)

Improve this answer
$\endgroup$
3
  • $\begingroup$ Thank you for your answer, but I am afraid I am not qualified enough to read such books. Looking at the 12.1-12.8 of (1), I understand that the space that I described is $\left(1,l\right)$-velocities, right? $\endgroup$
    – erz
    Commented Oct 31, 2015 at 8:17
  • $\begingroup$ Right, they are $(1,l)$-velocities. $\endgroup$
    – Peter Michor
    Commented Nov 1, 2015 at 21:04
  • $\begingroup$ Could you tell, please, who and where introduced « higher velocities » for the first time? $\endgroup$
    – Alexey Muranov
    Commented Apr 5, 2022 at 15:59

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .