Line 7: Line 7:
 
'''INTRODUCTION'''
 
'''INTRODUCTION'''
  
 +
Vector derivatives provide a concise way to express vector equations in a way independent of the particular coordinate system being used, while making underlying physics more apparent. Compare, for example, the Navier-Stokes equations in vector form:
  
 +
<math>\frac{\partial \rho \vec{u}}{\partial t} + \left(\vec{u}\cdot\nabla\right)\vec{u} = -\nabla P + \nabla\cdot(\mu\nabla\vec{u})</math>
  
<pre> Contents
+
With the Navier-Stokes equations in terms of partial derivatives in Cartesian coordinates
- Preliminaries
+
- Divergence Theorem in 2D
+
- Conservation of Mass for Moving Fluids
+
- Gradient Theorem in 2D
+
- Proof of Archimedes' Principle
+
- A Warning About Coordinate Systems
+
- References
+
</pre>
+
----
+
  
==Preliminaries==
+
<math>\frac{\partial \rho u}{\partial t} + u\frac{\partial u}{\partial x} + v\frac{\partial u}{\partial y} + w\frac{\partial u}{\partial z} = -\frac{\partial P}{\partial x} + \frac{\partial}{\partial x}(\mu \frac{\partial u}{\partial x}) + \frac{\partial}{\partial y}(\mu \frac{\partial u}{\partial y}) + \frac{\partial}{\partial z}(\mu \frac{\partial u}{\partial z})</math>
In this tutorial, we cover two operations:
+
*Divergence of a vector field, <math>\nabla\cdot\vec{v}</math>, which returns a scalar field
+
*Gradient of a scalar field, <math>\nabla\phi</math>, which returns a vector field
+
This tutorial will denote vector quantities with an arrow atop a letter, except unit vectors that define coordinate systems which will have a hat (e.g., <math>\hat{e}_x</math> is a unit vector in the x direction). Lowercase Greek letters will represent scalar fields, and lowercase Latin letters without arrows indicate coordinates.
+
  
Of importance is the fact that the divergence and gradient operators can be defined regardless of how many dimensions are involved. If <math>x_1, x_2, ..., x_n</math> are the coordinate directions and <math>\hat{e}_i , i = 1,2,...,n</math> are the unit vectors in those directions, then
+
<math>\frac{\partial \rho v}{\partial t} + u\frac{\partial v}{\partial x} + v\frac{\partial v}{\partial y} + w\frac{\partial v}{\partial z} = -\frac{\partial P}{\partial y} + \frac{\partial}{\partial x}(\mu \frac{\partial v}{\partial x}) + \frac{\partial}{\partial y}(\mu \frac{\partial v}{\partial y}) + \frac{\partial}{\partial z}(\mu \frac{\partial v}{\partial z})</math>
  
<math>\nabla\cdot\vec{v} = \sum_{i=1}^n \frac{\partial v_i}{\partial x_i} \text{,  where  } \vec{v} = \sum_{i=1}^n v_i \hat{e}_i</math>
+
<math>\frac{\partial \rho w}{\partial t} + u\frac{\partial w}{\partial x} + v\frac{\partial w}{\partial y} + w\frac{\partial w}{\partial z} = -\frac{\partial P}{\partial z} + \frac{\partial}{\partial x}(\mu \frac{\partial w}{\partial x}) + \frac{\partial}{\partial y}(\mu \frac{\partial w}{\partial y}) + \frac{\partial}{\partial z}(\mu \frac{\partial w}{\partial z})</math>
  
<math>\nabla\phi = \sum_{i=1}^n \frac{\partial \phi}{\partial x_i} \hat{e}_i</math>
+
The subtle point is that although the latter three equations would appear different if written in cylindrical coordinates (the partial derivatives in <math>x, y, z</math> would be replaced with ones in <math>r,\theta,z</math>), the vector equation does not. However, the implementations of the operators gradient and divergence do depend on the coordinate system.
  
But these definitions are ASSUMING CARTESIAN COORDINATES and are not valid for cylindrical or spherical coordinate systems (more on this later).
+
In Cartesian coordinates, gradient and divergence are defined as below, where <math>n</math> is the number of spatial dimensions involved. If <math>x_1, x_2, ..., x_n</math> are the coordinate directions and
  
----
+
<math>\hat{e}_i , i = 1,2,...,n</math>
  
==Divergence Theorem in 2D==
+
are the unit vectors in those directions, then
  
----
+
<math>\nabla\cdot\vec{v} = \sum_{i=1}^n \frac{\partial v_i}{\partial x_i} \text{,  where  } \vec{v} = \sum_{i=1}^n v_i \hat{e}_i</math>
  
==Conservation of Mass for Moving Fluids==
+
<math>\nabla\phi = \sum_{i=1}^n \frac{\partial \phi}{\partial x_i} \hat{e}_i</math>
  
----
+
Based on this definition, one might expect that in cylindrical coordinates, the gradient operation would be
 +
<math>\nabla\phi \text{"="} \frac{\partial \phi}{\partial r}\hat{e}_r + \frac{\partial \phi}{\partial \theta}\hat{e}_{\theta} + \frac{\partial \phi}{\partial z}\hat{e}_z</math>
  
==Gradient Theorem in 2D==
+
By simply taking the partial derivatives of <math>\phi</math> with respect to each coordinate direction, multiplying each derivative by the corresponding unit vector, and adding the resulting components together. This is actually not correct for coordinate systems other than Cartesian. One could arrive at the correct formula for the gradient by performing some tedious changes of variables, and repeat the process for the other vector derivatives. However that approach has many opportunities for error and does not produce much insight as to why the coefficients of the partial derivatives are what they are. This tutorial shows a different way to arrive at the same results but with less calculation.
  
 
----
 
----
  
==Proof of Archimedes' Principle==
+
==Preliminaries==
 +
This tutorial will denote vector quantities with an arrow atop a letter, except unit vectors that define coordinate systems which will have a hat. 3-D Cartesian coordinates will be indicated by <math>x, y, z</math> and cylindrical coordinates with <math>r,\theta,z</math>.
  
----
+
[[Image:coordinateSystems.jpg]]
  
==A Warning About Coordinate Systems==
+
This tutorial will make use of several [[ | vector derivative identities]]. In particular, these:
  
 
----
 
----
 +
  
 
==References==
 
==References==

Revision as of 12:37, 12 March 2013

File:Example7.jpg

Divergence and Gradient Theorems

by Kilian Cooley

INTRODUCTION

Vector derivatives provide a concise way to express vector equations in a way independent of the particular coordinate system being used, while making underlying physics more apparent. Compare, for example, the Navier-Stokes equations in vector form:

$ \frac{\partial \rho \vec{u}}{\partial t} + \left(\vec{u}\cdot\nabla\right)\vec{u} = -\nabla P + \nabla\cdot(\mu\nabla\vec{u}) $

With the Navier-Stokes equations in terms of partial derivatives in Cartesian coordinates

$ \frac{\partial \rho u}{\partial t} + u\frac{\partial u}{\partial x} + v\frac{\partial u}{\partial y} + w\frac{\partial u}{\partial z} = -\frac{\partial P}{\partial x} + \frac{\partial}{\partial x}(\mu \frac{\partial u}{\partial x}) + \frac{\partial}{\partial y}(\mu \frac{\partial u}{\partial y}) + \frac{\partial}{\partial z}(\mu \frac{\partial u}{\partial z}) $

$ \frac{\partial \rho v}{\partial t} + u\frac{\partial v}{\partial x} + v\frac{\partial v}{\partial y} + w\frac{\partial v}{\partial z} = -\frac{\partial P}{\partial y} + \frac{\partial}{\partial x}(\mu \frac{\partial v}{\partial x}) + \frac{\partial}{\partial y}(\mu \frac{\partial v}{\partial y}) + \frac{\partial}{\partial z}(\mu \frac{\partial v}{\partial z}) $

$ \frac{\partial \rho w}{\partial t} + u\frac{\partial w}{\partial x} + v\frac{\partial w}{\partial y} + w\frac{\partial w}{\partial z} = -\frac{\partial P}{\partial z} + \frac{\partial}{\partial x}(\mu \frac{\partial w}{\partial x}) + \frac{\partial}{\partial y}(\mu \frac{\partial w}{\partial y}) + \frac{\partial}{\partial z}(\mu \frac{\partial w}{\partial z}) $

The subtle point is that although the latter three equations would appear different if written in cylindrical coordinates (the partial derivatives in $ x, y, z $ would be replaced with ones in $ r,\theta,z $), the vector equation does not. However, the implementations of the operators gradient and divergence do depend on the coordinate system.

In Cartesian coordinates, gradient and divergence are defined as below, where $ n $ is the number of spatial dimensions involved. If $ x_1, x_2, ..., x_n $ are the coordinate directions and

$ \hat{e}_i , i = 1,2,...,n $

are the unit vectors in those directions, then

$ \nabla\cdot\vec{v} = \sum_{i=1}^n \frac{\partial v_i}{\partial x_i} \text{, where } \vec{v} = \sum_{i=1}^n v_i \hat{e}_i $

$ \nabla\phi = \sum_{i=1}^n \frac{\partial \phi}{\partial x_i} \hat{e}_i $

Based on this definition, one might expect that in cylindrical coordinates, the gradient operation would be $ \nabla\phi \text{"="} \frac{\partial \phi}{\partial r}\hat{e}_r + \frac{\partial \phi}{\partial \theta}\hat{e}_{\theta} + \frac{\partial \phi}{\partial z}\hat{e}_z $

By simply taking the partial derivatives of $ \phi $ with respect to each coordinate direction, multiplying each derivative by the corresponding unit vector, and adding the resulting components together. This is actually not correct for coordinate systems other than Cartesian. One could arrive at the correct formula for the gradient by performing some tedious changes of variables, and repeat the process for the other vector derivatives. However that approach has many opportunities for error and does not produce much insight as to why the coefficients of the partial derivatives are what they are. This tutorial shows a different way to arrive at the same results but with less calculation.


Preliminaries

This tutorial will denote vector quantities with an arrow atop a letter, except unit vectors that define coordinate systems which will have a hat. 3-D Cartesian coordinates will be indicated by $ x, y, z $ and cylindrical coordinates with $ r,\theta,z $.

CoordinateSystems.jpg

This tutorial will make use of several [[ | vector derivative identities]]. In particular, these:



References


$ \int_0^1\int_0^4\int_{-1}^7\nabla\phi {dV} = \frac{\partial u}{\partial x}\hat{e}_x $

$ \int\int\int_{\partial \Omega} {\mathbb R} $

Here's Google


Back to Math Squad page

Alumni Liaison

Abstract algebra continues the conceptual developments of linear algebra, on an even grander scale.

Dr. Paul Garrett