A vector-valued function, also referred to as a vector function, is a mathematical function of one or more variables whose range is a set of multidimensional vectors or infinite-dimensional vectors. The input of a vector-valued function could be a scalar or a vector. The dimension of the domain is not defined by the dimension of the range.
A common example of a vector valued function is one that depends on a single real number parameter t, often representing time, producing a vector v(t) as the result. In terms of the standard unit vectors i, j, k of Cartesian 3-space, these specific type of vector-valued functions are given by expressions such as
where f(t), g(t) and h(t) are the coordinate functions of the parameter t. The vector r(t) has its tail at the origin and its head at the coordinates evaluated by the function.
The vector shown in the graph to the right is the evaluation of the function near t=19.5 (between 6π and 6.5π; i.e., somewhat more than 3 rotations). The spiral is the path traced by the tip of the vector as t increases from zero through 8π.
Vector functions can also be referred to in a different notation:
Derivative of a three-dimensional vector function
is a vector-valued function, then
The vector derivative admits the following physical interpretation: if r(t) represents the position of a particle, then the derivative is the velocity of the particle
Likewise, the derivative of the velocity is the acceleration
where ai is the scalar component of a in the direction of ei. It is also called the direction cosine of a and ei or their dot product. The vectors e1,e2,e3 form an orthonormal basis fixed in the reference frame in which the derivative is being taken.
If the vector a is a function of a number n of scalar variables qr (r = 1,...,n), and each qr is only a function of time t, then the ordinary derivative of a with respect to t can be expressed, in a form known as the total derivative, as
Some authors prefer to use capital D to indicate the total derivative operator, as in D/Dt. The total derivative differs from the partial time derivative in that the total derivative accounts for changes in a due to the time variance of the variables qr.
Whereas for scalar-valued functions there is only a single possible reference frame, to take the derivative of a vector-valued function requires the choice of a reference frame (at least when a fixed Cartesian coordinate system is not implied as such). Once a reference frame has been chosen, the derivative of a vector-valued function can be computed using techniques similar to those for computing derivatives of scalar-valued functions. A different choice of reference frame will, in general, produce a different derivative function. The derivative functions in different reference frames have a specific kinematical relationship.
Derivative of a vector function with nonfixed bases
The above formulas for the derivative of a vector function rely on the assumption that the basis vectors e1,e2,e3 are constant, that is, fixed in the reference frame in which the derivative of a is being taken, and therefore the e1,e2,e3 each has a derivative of identically zero. This often holds true for problems dealing with vector fields in a fixed coordinate system, or for simple problems in physics. However, many complex problems involve the derivative of a vector function in multiple moving reference frames, which means that the basis vectors will not necessarily be constant. In such a case where the basis vectors e1,e2,e3 are fixed in reference frame E, but not in reference frame N, the more general formula for the ordinary time derivative of a vector in reference frame N is
where the superscript N to the left of the derivative operator indicates the reference frame in which the derivative is taken. As shown previously, the first term on the right hand side is equal to the derivative of a in the reference frame where e1,e2,e3 are constant, reference frame E. It also can be shown that the second term on the right hand side is equal to the relative angular velocity of the two reference frames cross multiplied with the vector a itself. Thus, after substitution, the formula relating the derivative of a vector function in two reference frames is
where NωE is the angular velocity of the reference frame E relative to the reference frame N.
One common example where this formula is used is to find the velocity of a space-borne object, such as a rocket, in the inertial reference frame using measurements of the rocket's velocity relative to the ground. The velocity NvR in inertial reference frame N of a rocket R located at position rR can be found using the formula
where NωE is the angular velocity of the Earth relative to the inertial frame N. Since velocity is the derivative of position, NvR and EvR are the derivatives of rR in reference frames N and E, respectively. By substitution,
where EvR is the velocity vector of the rocket as measured from a reference frame E that is fixed to the Earth.
Derivative and vector multiplication
The derivative of the products of vector functions behaves similarly to the derivative of the products of scalar functions. Specifically, in the case of scalar multiplication of a vector, if p is a scalar variable function of q,
Derivative of an n-dimensional vector function
If f is a function of several variables, say of , then the partial derivatives of the components of f form a matrix called the Jacobian matrix of f.
Infinite-dimensional vector functions
Functions with values in a Hilbert space
If the argument of f is a real number and X is a Hilbert space, then the derivative of f at a point t can be defined as in the finite-dimensional case:
Most results of the finite-dimensional case also hold in the infinite-dimensional case too, mutatis mutandis. Differentiation can also be defined to functions of several variables (e.g., or even , where Y is an infinite-dimensional vector space).
N.B. If X is a Hilbert space, then one can easily show that any derivative (and any other limit) can be computed componentwise: if
(i.e., , where is an orthonormal basis of the space X), and exists, then
However, the existence of a componentwise derivative does not guarantee the existence of a derivative, as componentwise convergence in a Hilbert space does not guarantee convergence with respect to the actual topology of the Hilbert space.
Other infinite-dimensional vector spaces
Most of the above hold for other topological vector spaces X too. However, not as many classical results hold in the Banach space setting, e.g., an absolutely continuous function with values in a suitable Banach space need not have a derivative anywhere. Moreover, in most Banach spaces setting there are no orthonormal bases.
- Infinite-dimensional-vector function
- Coordinate vector
- Vector field
- Parametric surface
- Position vector