Vector-valued function

Template:Short description Template:Use American English 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 (that is, the dimension of the domain could be 1 or greater than 1); the dimension of the function's domain has no relation to the dimension of its range.

Example: Helix

A graph of the vector-valued function Template:Math indicating a range of solutions and the vector when evaluated near Template:Math

A common example of a vector-valued function is one that depends on a single real parameter Template:Mvar, often representing time, producing a vector Template:Math as the result. In terms of the standard unit vectors Template:Math, Template:Math, Template:Math of [[Cartesian space|Cartesian Template:Nowrap]], these specific types of vector-valued functions are given by expressions such as $$𝐫(t)=f(t)𝐢+g(t)𝐣+h(t)𝐤$$ where Template:Math, Template:Math and Template:Math are the coordinate functions of the parameter Template:Mvar, and the domain of this vector-valued function is the intersection of the domains of the functions Template:Math, Template:Math, and Template:Math. It can also be referred to in a different notation: $$𝐫(t)=⟨f(t),g(t),h(t)⟩$$ The vector Template:Math 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 $⟨2\cos t,4\sin t,t⟩$ near Template:Math (between Template:Math and Template:Math; i.e., somewhat more than 3 rotations). The helix is the path traced by the tip of the vector as Template:Mvar increases from zero through Template:Math.

In 2D, we can analogously speak about vector-valued functions as: $$𝐫(t)=f(t)𝐢+g(t)𝐣$$ or $$𝐫(t)=⟨f(t),g(t)⟩$$

Linear case

In the linear case the function can be expressed in terms of matrices: $$𝐲=A𝐱,$$ where Template:Math is an Template:Math output vector, Template:Math is a Template:Math vector of inputs, and Template:Math is an Template:Math matrix of parameters. Closely related is the affine case (linear up to a translation) where the function takes the form $$𝐲=A𝐱+𝐛,$$ where in addition Template:Math is an Template:Math vector of parameters.

The linear case arises often, for example in multiple regression,Template:Clarify where for instance the Template:Math vector $\hat{y}$ of predicted values of a dependent variable is expressed linearly in terms of a Template:Math vector $\hat{\mathit{\beta }}$ (Template:Math) of estimated values of model parameters: $$\widehat{𝐲}=X\hat{\mathit{\beta }},$$ in which Template:Math (playing the role of Template:Math in the previous generic form) is an Template:Math matrix of fixed (empirically based) numbers.

Parametric representation of a surface

A surface is a 2-dimensional set of points embedded in (most commonly) 3-dimensional space. One way to represent a surface is with parametric equations, in which two parameters Template:Mvar and Template:Mvar determine the three Cartesian coordinates of any point on the surface: $$(x,y,z)=(f(s,t),g(s,t),h(s,t))\equiv 𝐅(s,t).$$ Here Template:Math is a vector-valued function. For a surface embedded in Template:Mvar-dimensional space, one similarly has the representation $$(x_1,x_2,\dots ,x_n)=(f_1(s,t),f_2(s,t),\dots ,f_n(s,t))\equiv 𝐅(s,t).$$

Derivative of a three-dimensional vector function

Template:See also Many vector-valued functions, like scalar-valued functions, can be differentiated by simply differentiating the components in the Cartesian coordinate system. Thus, if $$𝐫(t)=f(t)𝐢+g(t)𝐣+h(t)𝐤$$ is a vector-valued function, then $$\frac{d𝐫}{dt}=f^{\prime }(t)𝐢+g^{\prime }(t)𝐣+h^{\prime }(t)𝐤.$$ The vector derivative admits the following physical interpretation: if Template:Math represents the position of a particle, then the derivative is the velocity of the particle $$𝐯(t)=\frac{d𝐫}{dt}.$$ Likewise, the derivative of the velocity is the acceleration $$\frac{d𝐯}{dt}=𝐚(t).$$

Partial derivative

The partial derivative of a vector function Template:Math with respect to a scalar variable Template:Mvar is defined as $$\frac{\partial 𝐚}{\partial q}=\sum _{i=1}^n\frac{\partial a_i}{\partial q}{𝐞}_i$$ where Template:Math is the scalar component of Template:Math in the direction of Template:Math. It is also called the direction cosine of Template:Math and Template:Math or their dot product. The vectors Template:Math, Template:Math, Template:Math form an orthonormal basis fixed in the reference frame in which the derivative is being taken.

Ordinary derivative

If Template:Math is regarded as a vector function of a single scalar variable, such as time Template:Mvar, then the equation above reduces to the first ordinary time derivative of a with respect to Template:Mvar, $$\frac{d𝐚}{dt}=\sum _{i=1}^n\frac{d{a}_i}{dt}{𝐞}_i.$$

Total derivative

If the vector Template:Math is a function of a number Template:Mvar of scalar variables Template:Math, and each Template:Math is only a function of time Template:Mvar, then the ordinary derivative of Template:Math with respect to Template:Mvar can be expressed, in a form known as the total derivative, as $$\frac{d𝐚}{dt}=\sum _{r=1}^n\frac{\partial 𝐚}{\partial q_r}\frac{d{q}_r}{dt}+\frac{\partial 𝐚}{\partial t}.$$

Some authors prefer to use capital Template:Math to indicate the total derivative operator, as in Template:Math. The total derivative differs from the partial time derivative in that the total derivative accounts for changes in Template:Math due to the time variance of the variables Template:Math.

Reference frames

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 e₁, e₂, e₃ are constant, that is, fixed in the reference frame in which the derivative of a is being taken, and therefore the e₁, e₂, e₃ 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 e₁, e₂, e₃ 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 $$\frac{{}^{\mathrm{N}}d𝐚}{dt}=\sum _{i=1}^3\frac{d{a}_i}{dt}{𝐞}_i+\sum _{i=1}^3{a}_i\frac{{}^{\mathrm{N}}d{𝐞}_i}{dt}$$ 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 Template:Math in the reference frame where Template:Math, Template:Math, Template:Math 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 $$\frac{{}^{\mathrm{N}}d𝐚}{dt}=\frac{{}^{\mathrm{E}}d𝐚}{dt}+{}^{\mathrm{N}}{\mathit{\omega }}^{\mathrm{E}}\times 𝐚$$ where Template:Math 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 Template:Math in inertial reference frame N of a rocket R located at position Template:Math can be found using the formula $$\frac{{}^{\mathrm{N}}d}{dt}({𝐫}^{\mathrm{R}})=\frac{{}^{\mathrm{E}}d}{dt}({𝐫}^{\mathrm{R}})+{}^{\mathrm{N}}{\mathit{\omega }}^{\mathrm{E}}\times {𝐫}^{\mathrm{R}}.$$ where Template:Math is the angular velocity of the Earth relative to the inertial frame N. Since velocity is the derivative of position, Template:Math and Template:Math are the derivatives of Template:Math in reference frames N and E, respectively. By substitution, $${}^{\mathrm{N}}{𝐯}^{\mathrm{R}}={}^{\mathrm{E}}{𝐯}^{\mathrm{R}}+{}^{\mathrm{N}}{\mathit{\omega }}^{\mathrm{E}}\times {𝐫}^{\mathrm{R}}$$ where Template:Math 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 a product of vector functions behaves similarly to the derivative of a product of scalar functions.Template:Efn Specifically, in the case of scalar multiplication of a vector, if Template:Math is a scalar variable function of Template:Math, $$\frac{\partial }{\partial q}(p𝐚)=\frac{\partial p}{\partial q}𝐚+p\frac{\partial 𝐚}{\partial q}.$$

In the case of dot multiplication, for two vectors Template:Math and Template:Math that are both functions of Template:Math, $$\frac{\partial }{\partial q}(𝐚\cdot 𝐛)=\frac{\partial 𝐚}{\partial q}\cdot 𝐛+𝐚\cdot \frac{\partial 𝐛}{\partial q}.$$

Similarly, the derivative of the cross product of two vector functions is $$\frac{\partial }{\partial q}(𝐚\times 𝐛)=\frac{\partial 𝐚}{\partial q}\times 𝐛+𝐚\times \frac{\partial 𝐛}{\partial q}.$$

Derivative of an n-dimensional vector function

A function Template:Math of a real number Template:Mvar with values in the space ${ℝ}^n$ can be written as $𝐟(t)=(f_1(t),f_2(t),\dots ,f_n(t))$. Its derivative equals $${𝐟}^{\prime }(t)=({f_1}^{\prime }(t),{f_2}^{\prime }(t),\dots ,{f_n}^{\prime }(t)).$$ If Template:Math is a function of several variables, say of Template:Nowrap then the partial derivatives of the components of Template:Math form a $n\times m$ matrix called the Jacobian matrix of Template:Math.

Infinite-dimensional vector functions

If the values of a function Template:Math lie in an infinite-dimensional vector space Template:Math, such as a Hilbert space, then Template:Math may be called an infinite-dimensional vector function.

Functions with values in a Hilbert space

If the argument of Template:Math is a real number and Template:Math is a Hilbert space, then the derivative of Template:Math at a point Template:Mvar can be defined as in the finite-dimensional case: $${𝐟}^{\prime }(t)=\underset{h\to 0}{\lim }\frac{𝐟(t+h)-𝐟(t)}{h}.$$ 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., $t\in {ℝ}^n$ or even $t\in Y$, where Template:Math is an infinite-dimensional vector space).

N.B. If Template:Math is a Hilbert space, then one can easily show that any derivative (and any other limit) can be computed componentwise: if $$𝐟=(f_1,f_2,f_3,\dots )$$ (i.e., Template:Nowrap where ${𝐞}_1,{𝐞}_2,{𝐞}_3,\dots$ is an orthonormal basis of the space Template:Math ), and $f^{\prime }(t)$ exists, then $${𝐟}^{\prime }(t)=({f_1}^{\prime }(t),{f_2}^{\prime }(t),{f_3}^{\prime }(t),\dots ).$$ 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 Template:Math 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.

See also

• Coordinate vector
• Curve
• Multivalued function
• Parametric surface
• Position vector
• Parametrization

References

• Template:Cite book

External links

• Vector-valued functions and their properties (from Lake Tahoe Community College)
• Template:MathWorld
• Everything2 article
• 3 Dimensional vector-valued functions (from East Tennessee State University)
• "Position Vector Valued Functions" Khan Academy module