Difference between revisions of "Vector analysis"
(Add curl) |
|||
(4 intermediate revisions by 2 users not shown) | |||
Line 7: | Line 7: | ||
=== Scalar fields === | === Scalar fields === | ||
− | A [[Scalar field|scalar field]] is traditionally a map <math>f:U\to\mathbb{R}</math> where <math>U</math> is a subset of <math>\mathbb{R}^3</math>. In other words, <math>f</math> is a map that assigns a real-valued scalar to every point in <math>U</math>. Generally, this scalar will represent some type of quantity such as ''potential'' in physics. | + | A [[Scalar field|scalar field]] is traditionally a map <math>f:U\to\mathbb{R}</math> where <math>U</math> is a subset of <math>\mathbb{R}^3</math>. In other words, <math>f</math> is a map that assigns a real-valued scalar to every point in <math>U</math>. Generally, this scalar will represent some type of quantity such as ''potential'' in physics. Mainly, scalar fields are generalizations of functions with more variables: A function f(x) in <math>\mathbb{R}^2</math> can be implicitly defined as a scalar field F(x, y) = x + f(x). |
=== Vector fields === | === Vector fields === | ||
− | A [[Vector field|vector field]] in the traditional sense is a map <math>\mathbf{F}:u\to\mathbb{R}^3</math> where <math>U</math> is a subset of <math>\mathbb{R}^3</math>. That is, <math>F</math> associates a vector in <math>\mathbb{R}^3</math> to every point in <math>U</math>. Typically, this construction is used to represent some kind of direction along with a quantity being associated with to a specific point in <math>\mathbb{R}^3</math>. This may be electric fields, magnetic fields, or even fields that model fluid flow. | + | A [[Vector field|vector field]] in the traditional sense is a map <math>\mathbf{F}:u\to\mathbb{R}^3</math> where <math>U</math> is a subset of <math>\mathbb{R}^3</math>. That is, <math>F</math> associates a vector in <math>\mathbb{R}^3</math> to every point in <math>U</math>. Typically, this construction is used to represent some kind of direction along with a quantity being associated with to a specific point in <math>\mathbb{R}^3</math>. Vector fields are dimensionless relations respect to distance. This may be electric fields, magnetic fields, or even fields that model fluid flow (<math>\mathbf{E}</math>, <math>\mathbf{B}</math>, <math>\mathbf{u}</math>). For a given vector field <math>\mathbf{F}</math>, it has a flow of <math>\int_{C}\mathbf{F}\cdot\mathbf{t}\,ds</math> and a flux <math>\Phi</math> of <math>\iint_{E}\mathbf{F}\cdot\mathbf{n}\,dS</math>. |
− | === | + | === Differential operators === |
In the world of vector analysis, various forms of differential operators exist. Most notable are that of [[Divergence|divergence]], [[Curl|curl]], the [[Gradient|gradient]], and the [[Laplacian]]. | In the world of vector analysis, various forms of differential operators exist. Most notable are that of [[Divergence|divergence]], [[Curl|curl]], the [[Gradient|gradient]], and the [[Laplacian]]. | ||
==== Divergence ==== | ==== Divergence ==== | ||
− | Divergence of a vector field is the density of outward [[Flux|flux]] at a given point in <math>\mathbb{R}^3</math>. Under this definition, divergence is often thought of as 'flux density' which is the motivation for the [[Divergence theorem]]. | + | Divergence of a vector field measures how the vectors are "diverging out". If the divergence is positive, the vector field is considered a "source", and if it is negative, it is considered a "sink". If it is divergence-free, the vector field is incompressible. It is also the density of outward [[Flux|flux]] at a given point in <math>\mathbb{R}^3</math>. Under this definition, divergence is often thought of as 'flux density' which is the motivation for the [[Divergence theorem]]. |
− | '''Definition''': Let <math>\mathbf{F}:U\to\mathbb{R}^3</math> where <math>U</math> is a subset of <math>\mathbb{R}^3</math>. Then the divergence of <math>\mathbf{F}</math> evaluated at the point <math>p\in U</math> is given by <cmath>\text{div}(\mathbf{F})(p) = \lim_{V(R)\to 0} \frac{1}{V(R)}\iint_{\partial R}\mathbf{F}\cdot\mathbf{n}\,dS,</cmath> where <math>R</math> is a region whose volume <math>V(R)</math> shrinks to <math>0</math> about the point <math>p</math>, <math>\partial R</math> is the boundary of <math>R</math>, <math>\mathbf{n}</math> is the outward unit normal of <math>\mathbf{F}</math> relative to <math>R</math>, and <math>dS</math> is an area element of <math>R</math>. | + | '''Definition''': Let <math>\mathbf{F}:U\to\mathbb{R}^3</math> where <math>U</math> is a subset of <math>\mathbb{R}^3</math>. Then the ''divergence'' of <math>\mathbf{F}</math> evaluated at the point <math>p\in U</math> is given by <cmath>\text{div}(\mathbf{F})(p) = \nabla \cdot \mathbf{F} = \lim_{V(R)\to 0} \frac{1}{V(R)}\iint_{\partial R}\mathbf{F}\cdot\mathbf{n}\,dS,</cmath> where <math>R</math> is a region whose volume <math>V(R)</math> shrinks to <math>0</math> about the point <math>p</math>, <math>\partial R</math> is the boundary of <math>R</math>, <math>\mathbf{n}</math> is the outward unit normal of <math>\mathbf{F}</math> relative to <math>R</math>, and <math>dS</math> is an area element of <math>R</math>. |
==== Curl ==== | ==== Curl ==== | ||
− | Curl of a vector field is the density of [[Circulation|circulation]] at a given point in <math>\mathbb{R}^3</math>. Thus, one can think of curl intuitively as 'circulation density' which is motivation for [[Stokes' Theorem]]. | + | Curl of a vector field is the density of [[Circulation|circulation]] at a given point in <math>\mathbb{R}^3</math>. It can also be known as the "rotor" of the vector field, as it measures how the vectors are "spinning". Thus, one can think of curl intuitively as 'circulation density' which is motivation for [[Stokes' Theorem]]. |
− | '''Definition''': Let <math>\mathbf{F}:U\to\mathbb{R}^3</math> where <math>U</math> is a subset of <math>\mathbb{R}^3</math>. Then the curl of <math>\mathbf{F}</math> evaluated at the point <math>p\in U</math> is given by <cmath>\text{curl}(\mathbf{F})(p)\cdot\mathbf{n} = \lim_{A(R)\to 0} \frac{1}{A(R)}\int_{\partial R}\mathbf{F}\cdot\mathbf{t}\,ds,</cmath> where <math>R</math> is a region whose area <math>A(R)</math> shrinks to <math>0</math> about the point <math>p</math>, <math>C</math> is the boundary (closed loop) of <math>R</math>, <math>\mathbf{n}</math> is the outward unit normal of <math>\mathbf{F}</math> relative to <math>R</math>, <math>\mathbf{t}</math> is the unit tangent of <math>\mathbf{F}</math> relative to <math>R</math>, and <math>ds</math> is an arclength element of <math>C</math>. | + | '''Definition''': Let <math>\mathbf{F}:U\to\mathbb{R}^3</math> where <math>U</math> is a subset of <math>\mathbb{R}^3</math>. Then the curl of <math>\mathbf{F}</math> evaluated at the point <math>p\in U</math> is given by <cmath>\text{curl}(\mathbf{F})(p)\cdot\mathbf{n} = \nabla \times \mathbf{F} \cdot\mathbf{n} = \lim_{A(R)\to 0} \frac{1}{A(R)}\int_{\partial R}\mathbf{F}\cdot\mathbf{t}\,ds,</cmath> where <math>R</math> is a region whose area <math>A(R)</math> shrinks to <math>0</math> about the point <math>p</math>, <math>C</math> is the boundary (closed loop) of <math>R</math>, <math>\mathbf{n}</math> is the outward unit normal of <math>\mathbf{F}</math> relative to <math>R</math>, <math>\mathbf{t}</math> is the unit tangent of <math>\mathbf{F}</math> relative to <math>R</math>, and <math>ds</math> is an arclength element of <math>C</math>. |
An alternative definition that one can give that does not rely upon the normal component of curl is as follows: | An alternative definition that one can give that does not rely upon the normal component of curl is as follows: | ||
− | '''Definition''': Let <math>\mathbf{F}:U\to\mathbb{R}^3</math> where <math>U</math> is a subset of <math>\mathbb{R}^3</math>. Then the curl of <math>\mathbf{F}</math> evaluated at the point <math>p\in U</math> is given by <cmath>\text{curl}(\mathbf{F})(p) = \lim_{V(R)\to 0} \frac{1}{V(R)}\iint_{\partial R}\mathbf{F}\times\mathbf{n}\,dS,</cmath> where <math>R</math> is a region whose volume <math>V(R)</math> shrinks to <math>0</math> about the point <math>p</math>, <math>\partial R</math> is the boundary of <math>R</math>, <math>\mathbf{n}</math> is the outward unit normal of <math>\mathbf{F}</math> relative to <math>R</math>, <math>\mathbf{t}</math> is the unit tangent of <math>\mathbf{F}</math> relative to <math>R</math>, and <math>dS</math> is an area element of <math>R</math>. | + | '''Definition''': Let <math>\mathbf{F}:U\to\mathbb{R}^3</math> where <math>U</math> is a subset of <math>\mathbb{R}^3</math>. Then the ''curl'' of <math>\mathbf{F}</math> evaluated at the point <math>p\in U</math> is given by <cmath>\text{curl}(\mathbf{F})(p) = \nabla \times \mathbf{F} = \lim_{V(R)\to 0} \frac{1}{V(R)}\iint_{\partial R}\mathbf{F}\times\mathbf{n}\,dS,</cmath> where <math>R</math> is a region whose volume <math>V(R)</math> shrinks to <math>0</math> about the point <math>p</math>, <math>\partial R</math> is the boundary of <math>R</math>, <math>\mathbf{n}</math> is the outward unit normal of <math>\mathbf{F}</math> relative to <math>R</math>, <math>\mathbf{t}</math> is the unit tangent of <math>\mathbf{F}</math> relative to <math>R</math>, and <math>dS</math> is an area element of <math>R</math>. |
+ | |||
+ | ==== Gradient ==== | ||
+ | The gradient of a scalar field <math>f:\mathbb{R}^3\to\mathbb{R}</math> is typically interpreted to be the operator that gives the vector whose direction is that in the direction of greatest increase of <math>f</math> and magnitude being the rate at which <math>f</math> is increasing. Gradient can be considered as the "derivative vector" of a given multivariable function. As such, we can define the gradient in a similar way to divergence and curls as below: | ||
+ | |||
+ | '''Definition''': Let <math>f:U\to\mathbb{R}</math> where <math>U</math> is a subset of <math>\mathbb{R}^3</math>. Then the ''gradient'' of <math>f</math> evaluated at the point <math>p\in U</math> is given by <cmath>\text{grad}(f)(p) = \nabla f = \lim_{V(R)\to 0} \frac{1}{V(R)}\iint_{\partial R}f\mathbf{n}\,dS,</cmath> where <math>R</math> is a region whose volume <math>V(R)</math> shrinks to <math>0</math> about the point <math>p</math>, <math>\partial R</math> is the boundary of <math>R</math>, <math>\mathbf{n}</math> is the outward unit normal relative to <math>R</math>, and <math>dS</math> is an area element of <math>R</math>. The differential <math>df</math> of a multivariable function is defined as <math>\nabla f \cdot d\mathbf{r}</math>. | ||
+ | |||
+ | ==== Laplacian ==== | ||
+ | The Laplacian of a scalar field <math>f:\mathbb{R}^3\to\mathbb{R}</math> is typically defined as the divergence of the gradient of <math>f</math> as below: | ||
+ | |||
+ | '''Definition''': Let <math>f:\mathbb{R}^3\to\mathbb{R}</math> be a scalar field. Then the ''Laplacian'' of <math>f</math> is given by <math>\text{div}(\text{grad}(f)) = \nabla \cdot \nabla f = f \nabla \cdot \nabla = \nabla^2f.</math> | ||
+ | |||
+ | === The classical cases of Stokes' Theorem === | ||
+ | In classical vector analysis, several integral theorems use Stoke's Theorem. | ||
{{stub}}[[Category:Calculus]] | {{stub}}[[Category:Calculus]] |
Latest revision as of 15:06, 13 November 2024
Vector analysis or vector calculus is the mathematical field dedicated to studying the methods of calculus such as differentiation and integration applied to vector fields. In modern mathematics, vector analysis is often taken to be sub-field of differential geometry. In terms of university course listings, it is common to use the word "vector calculus" synonymously with multivariable calculus.
Application-wise, vector analysis plays significant roles in the sciences and engineering. In physics, vector analysis is used heavily in the study of electromagnetism among various other fields of physics. In engineering, vector analysis often shows up in the form of the Cauchy stress tensor. Another significant application of vector analysis is to fluid dynamics. In particular, one can describe the Euler equations via the methods of vector analysis.
Contents
[hide]Classical Vector Analysis
Classical vector analysis largely is based developing the methods of calculus for . At the time when vector analysis was relatively new, it was common to perceive applied mathematics from only a 3-dimensional perspective as it is commonly propagated that the physical space that is observable is that of 3-dimensional Euclidean space. This is not completely true and necessitates generalizations of traditional vector analysis.
Scalar fields
A scalar field is traditionally a map where is a subset of . In other words, is a map that assigns a real-valued scalar to every point in . Generally, this scalar will represent some type of quantity such as potential in physics. Mainly, scalar fields are generalizations of functions with more variables: A function f(x) in can be implicitly defined as a scalar field F(x, y) = x + f(x).
Vector fields
A vector field in the traditional sense is a map where is a subset of . That is, associates a vector in to every point in . Typically, this construction is used to represent some kind of direction along with a quantity being associated with to a specific point in . Vector fields are dimensionless relations respect to distance. This may be electric fields, magnetic fields, or even fields that model fluid flow (, , ). For a given vector field , it has a flow of and a flux of .
Differential operators
In the world of vector analysis, various forms of differential operators exist. Most notable are that of divergence, curl, the gradient, and the Laplacian.
Divergence
Divergence of a vector field measures how the vectors are "diverging out". If the divergence is positive, the vector field is considered a "source", and if it is negative, it is considered a "sink". If it is divergence-free, the vector field is incompressible. It is also the density of outward flux at a given point in . Under this definition, divergence is often thought of as 'flux density' which is the motivation for the Divergence theorem.
Definition: Let where is a subset of . Then the divergence of evaluated at the point is given by where is a region whose volume shrinks to about the point , is the boundary of , is the outward unit normal of relative to , and is an area element of .
Curl
Curl of a vector field is the density of circulation at a given point in . It can also be known as the "rotor" of the vector field, as it measures how the vectors are "spinning". Thus, one can think of curl intuitively as 'circulation density' which is motivation for Stokes' Theorem.
Definition: Let where is a subset of . Then the curl of evaluated at the point is given by where is a region whose area shrinks to about the point , is the boundary (closed loop) of , is the outward unit normal of relative to , is the unit tangent of relative to , and is an arclength element of .
An alternative definition that one can give that does not rely upon the normal component of curl is as follows:
Definition: Let where is a subset of . Then the curl of evaluated at the point is given by where is a region whose volume shrinks to about the point , is the boundary of , is the outward unit normal of relative to , is the unit tangent of relative to , and is an area element of .
Gradient
The gradient of a scalar field is typically interpreted to be the operator that gives the vector whose direction is that in the direction of greatest increase of and magnitude being the rate at which is increasing. Gradient can be considered as the "derivative vector" of a given multivariable function. As such, we can define the gradient in a similar way to divergence and curls as below:
Definition: Let where is a subset of . Then the gradient of evaluated at the point is given by where is a region whose volume shrinks to about the point , is the boundary of , is the outward unit normal relative to , and is an area element of . The differential of a multivariable function is defined as .
Laplacian
The Laplacian of a scalar field is typically defined as the divergence of the gradient of as below:
Definition: Let be a scalar field. Then the Laplacian of is given by
The classical cases of Stokes' Theorem
In classical vector analysis, several integral theorems use Stoke's Theorem.
This article is a stub. Help us out by expanding it.