32

Can we divide two vector quantities? For eg., Pressure( a scalar) equals force (a vector) divided by area (a vector).

Swami
  • 1,857
  • 9
  • 38
  • 51

6 Answers6

36

No, in general you cannot divide one vector by another. It is possible to prove that no vector multiplication on three dimensions will be well-behaved enough to have division as we understand it. (This depends on exactly what one means by 'well-behaved enough', but the core result here is Hurwitz's theorem.)

Regarding force, area and pressure, the most fruitful way is to say that force is area times pressure: $$ \vec F=P\cdot \vec A. $$ As it turns out, pressure is not actually a scalar but a matrix (or, more technically, a rank 2 tensor). This is because, in certain situations, an area with its normal vector pointing in the $z$ direction can also experience forces along $x$ and $y$, which are called shear stresses. In this case, the correct linear relation is that $$ \begin{pmatrix}F_x\\ F_y \\ F_z \end{pmatrix} = \begin{pmatrix}p_x & s_{xy} & s_{xz} \\ s_{yx} & p_y & s_{yz} \\ s_{zx} & s_{zy} & p_z\end{pmatrix} \begin{pmatrix}A_x\\ A_y \\ A_z \end{pmatrix}. $$ In a fluid, shear stresses are zero and the pressure is isotropic, so all the $p_j$s are equal, and therefore the pressure tensor $P$ is a scalar matrix. In a solid, on the other hand, shear stresses can occur even in static situations, so you need the full matrix. In this case, the matrix is referred to as the stress tensor of the solid.

Emilio Pisanty
  • 132,859
  • 33
  • 351
  • 666
7

To define vector division as the scalar result of one vector "divided" by another, where the scalar times the denominator vector would then give us the numerator vector, we can write the following: \begin{align*} \vec u&=w\vec v\\ \vec u\cdot\vec v&=w\vec v\cdot\vec v\\ \therefore w&=\frac{\vec u\cdot\vec v}{v^2} \end{align*}

The math for a scalar quotient works. That is one way to divide out a vector

Jim
  • 24,458
  • 1
    I see nothing wrong with your answer. – Džuris May 07 '14 at 18:05
  • 1
    In the first calculation, you don't specify what kind of mathematical object a vector quotient would be, and what kind of product would be needed to multiply two of them together. So it's not justified that you can turn $\frac{\vec{u}}{\vec{v}}\cdot\frac{\vec{v}}{\vec{v}}$ into $\frac{\vec{u}\cdot\vec{v}}{v^2}$. – David Z May 07 '14 at 20:12
  • To extend DavidZ's comment, it seems you are defining vector division by using vector division with $\vec v/\vec v\equiv1$. Rather circular logic. – Kyle Kanos May 08 '14 at 00:22
  • @KyleKanos Of course the first point was circular logic. It is a proof that vector division exists based on an explicit assumption that vector division exists. But the second point is valid – Jim May 08 '14 at 12:49
  • 1
    @Jim: Facepalm. Re-reading your post, I apparently misread/misunderstood it entirely. – Kyle Kanos May 08 '14 at 12:51
  • This definition is consistent with taking the real part of division of complex numbers. – Salix alba Mar 06 '15 at 08:00
  • 1
    Now, this thing totally restricts the so called "division" in the case of linearly dependent vectors. – Subhasis Biswas Oct 06 '18 at 08:19
  • Surely this only makes sense if $\bf{u} || \bf{v} $? – jim May 15 '19 at 13:54
  • 1
    It only gives the component of $\bf u$ in the direction of $\bf v$ – jim May 16 '19 at 12:40
6

As an aside, you can actually divide two vectors. The only question is how do you want to interpret the objects and more importantly the operation.

For example, you can map the vectors to an object in a quaternion space quite simply as:

$$ \phi:V \rightarrow H: \vec{v} \mapsto (0,\vec{v}) , $$

and then division is well defined. But your answer will be, in general, quite obviously, a general quaternion $(r,\vec{u})$, and you then need a physical interpretation for this.

In the specifics of your question, you see, the objects and the operation are fixed by nature. Force and area are vectors related by a tensor called pressure as:

$$ \vec{F} = P \vec{A}, $$

where the operation of $P$ on $\vec{A}$ is defined to be the tensor action. In this setup there is no unique way to define division of two vectors to produce a tensor: the definition of the operation admits no sensible inverse.

Zorawar
  • 592
  • 1
    note that the quaternions are a subalgebra of the geometric algebra, where vector division is essentially (up to scale) the same as (Clifford) multiplication; division of two non-parallel non-orthogonal vectors results in a mixed-grade multi-vector with scalar and pseudo-vector components – Christoph May 07 '14 at 23:45
  • 1
    @Christoph: thanks. Ignoring the impositions of nature, there's a rich structure of algebras over vector spaces for which division is well defined. Very interesting stuff, but I can't pretend I'm too well acquainted with most of it. – Zorawar May 08 '14 at 00:27
4

It depends on the context. Division is usually defined as inverse of multiplication. If

$$x\cdot\vec{v}=\vec{u}$$

then, if there is only one $x$ that satisfies above relation, you can say that $x=\frac{\vec{u}}{\vec{v}}$.

The $x$ here can be scalar (so you multiplied vector with scalar) and it's only meaningful if you consider vectors which are pointing in the same direction.

$x$ could be a matrix and other answers have shown cases where the matrix is not unique.

$x$ could also be a vector and you could consider either dot or cross product. Again there are cases when this works and when it does not.

So you cannot divide by anything, there can be some divisions that cannot be defined, but that's fine - you cannot divide by zero in reals aswell. You just have to understand what you are doing and whether inverse is unique and if it's definable at all. There are cases where vector division makes sense and is useful.

For example, let's consider Lorentz force on charge that's moving in magnetic field. $$\vec{F}=q \vec{v}\times\vec{B}$$

If you can measure the force and one of the quantities on the right hand side, the other is the division (however, beware if it's inverse of right side or left side multiplication :)) of force and the measured right hand side quantity.

It could be written as $$\vec{v}=\frac{\vec{F}}{\vec{B}}(left)$$ where "left" and "right" is a matter of convention.

However, as Jerry pointed out, the solution is not unique.

So whenever you can multiply, you can check if there exists inverse. There are cases when there is no unique inverse, but if there is one, you can call it the division. Vectors are not totally on one side or the other - you can usually find a set of vectors for which certain division is meaningful.

Džuris
  • 3,207
  • 2
    Your statement about the cross product is not quite right -- if ${\vec F} = q{\vec v} \times {\vec B}$ for some $F,v,B$, then, for every choice of $c$, you also have ${\vec F} = q\left(c{\vec B} + {\vec v}\right)\times {\vec B}$, so the division will not be unique. – Zo the Relativist May 07 '14 at 18:23
  • 2
    @JerrySchirmer oops, right. You can only determine the component that's normal to $\vec{B}$. Thanks! – Džuris May 07 '14 at 18:28
3

Suppose we take $A = TB$, where $A$ and $B$ are vectors and $T$ is a tensor. Now if $A$ and $B$ given and vector division possible we can find the value of $T$. If we take a simple example $A = (a_1,a_2,a_3)$, $B = (b_1,b_2,b_3)$ and $T$ is a 3x3 matrix: $$T=\left(\begin{matrix}t_{11} & t_{12} & t_{13} \\ t_{21} & t_{22} & t_{23}\\t_{31} & t_{32} & t_{33}\end{matrix}\right)$$ Now from above relation we get three equations with nine unknowns, which never give a unique solution, so we can say vector division impossible unless we take $A$ and $B$ as parallel and $T$ as a scalar.

Chris
  • 17,189
baponkar
  • 509
  • 2
    Welcome to PhysicsSE! Note that this site supports MathJax. You can click the link to learn the basics. I've taken the liberty of typesetting this post for you. – Chris May 15 '19 at 15:08
2

As per the Wolfram Mathworld page

In general, there is no unique matrix solution to the matrix equation, $$\mathbf y=\mathbb A\mathbf x$$

An example is then given for $\mathbf y=2\mathbf x=(2,4)$ in which there are 3 different solutions.

Kyle Kanos
  • 28,229
  • 41
  • 68
  • 131
  • 1
    are there 3 solutions, or infinite solutions of which they give three examples? – DavePhD May 07 '14 at 16:39
  • @DavePhD: While the website does not expressly say so, I believe that there are an infinite number of solutions (or at least extremely large number) and they give 3 examples. – Kyle Kanos May 07 '14 at 16:42
  • 2
    If you're interested in how many solutions are there, you can treat it as a particular linear system for the coefficients of $\mathbb A$. – fqq May 07 '14 at 17:25
  • 3
    I don't think it's possible for a system of linear equations to have only three solutions. Geometrically, the solution space corresponds to an intersection of hyperplanes, which can only ever be a point, line, plane, etc. depending on how many equations there are. You'd need to have some kind of curve involved (i.e. a higher-order polynomial) to get a finite number of solutions greater than 1. – David Z May 07 '14 at 22:30
  • 1
    My comment about the three solutions was not to stay that there are only three solutions, just that there are at least three solutions to show the non-uniqueness of the division. – Kyle Kanos May 07 '14 at 22:36