Art of Problem Solving
AoPS Online
Math texts, online classes, and more
for students in grades 5-12.
Visit AoPS Online ‚
Books for Grades 5-12 Online Courses
Beast Academy
Engaging math books and online learning
for students ages 6-13.
Visit Beast Academy ‚
Books for Ages 6-13 Beast Academy Online
AoPS Academy
Small live classes for advanced math
and language arts learners in grades 2-12.
Visit AoPS Academy ‚
Find a Physical Campus Visit the Virtual Campus

Difference between revisions of "Vector analysis"

m (Begin stub of integral theorems)
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 ===
 
=== Differential operators ===
Line 16: Line 16:
  
 
==== 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 ====
 
==== 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. As such, we can define the gradient in a similar way to divergence and curls as below:
+
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) = \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>.
+
'''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 ====
 
==== 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:
 
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)).</math>
+
'''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 = \frac{1}{f} \nabla \cdot \nabla = \frac{\nabla^2}{f}.</math>
  
 
=== The classical cases of Stokes' Theorem ===
 
=== The classical cases of Stokes' Theorem ===
−
In classical vector analysis, there are several integral theorems which
+
In classical vector analysis, there are several integral theorems which uses Stoke's Theorem.
  
 
{{stub}}[[Category:Calculus]]
 
{{stub}}[[Category:Calculus]]

Revision as of 15:05, 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.

Classical Vector Analysis

Classical vector analysis largely is based developing the methods of calculus for $\mathbb{R}^3$. 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 $f:U\to\mathbb{R}$ where $U$ is a subset of $\mathbb{R}^3$. In other words, $f$ is a map that assigns a real-valued scalar to every point in $U$. 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 $\mathbb{R}^2$ 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 $\mathbf{F}:u\to\mathbb{R}^3$ where $U$ is a subset of $\mathbb{R}^3$. That is, $F$ associates a vector in $\mathbb{R}^3$ to every point in $U$. Typically, this construction is used to represent some kind of direction along with a quantity being associated with to a specific point in $\mathbb{R}^3$. Vector fields are dimensionless relations respect to distance. This may be electric fields, magnetic fields, or even fields that model fluid flow ($\mathbf{E}$, $\mathbf{B}$, $\mathbf{u}$). For a given vector field $\mathbf{F}$, it has a flow of $\int_{C}\mathbf{F}\cdot\mathbf{t}\,ds$ and a flux $\Phi$ of $\iint_{E}\mathbf{F}\cdot\mathbf{n}\,dS$.

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 $\mathbb{R}^3$. Under this definition, divergence is often thought of as 'flux density' which is the motivation for the Divergence theorem.

Definition: Let $\mathbf{F}:U\to\mathbb{R}^3$ where $U$ is a subset of $\mathbb{R}^3$. Then the divergence of $\mathbf{F}$ evaluated at the point $p\in U$ is given by \[\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,\] where $R$ is a region whose volume $V(R)$ shrinks to $0$ about the point $p$, $\partial R$ is the boundary of $R$, $\mathbf{n}$ is the outward unit normal of $\mathbf{F}$ relative to $R$, and $dS$ is an area element of $R$.

Curl

Curl of a vector field is the density of circulation at a given point in $\mathbb{R}^3$. 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 $\mathbf{F}:U\to\mathbb{R}^3$ where $U$ is a subset of $\mathbb{R}^3$. Then the curl of $\mathbf{F}$ evaluated at the point $p\in U$ is given by \[\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,\] where $R$ is a region whose area $A(R)$ shrinks to $0$ about the point $p$, $C$ is the boundary (closed loop) of $R$, $\mathbf{n}$ is the outward unit normal of $\mathbf{F}$ relative to $R$, $\mathbf{t}$ is the unit tangent of $\mathbf{F}$ relative to $R$, and $ds$ is an arclength element of $C$.

An alternative definition that one can give that does not rely upon the normal component of curl is as follows:

Definition: Let $\mathbf{F}:U\to\mathbb{R}^3$ where $U$ is a subset of $\mathbb{R}^3$. Then the curl of $\mathbf{F}$ evaluated at the point $p\in U$ is given by \[\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,\] where $R$ is a region whose volume $V(R)$ shrinks to $0$ about the point $p$, $\partial R$ is the boundary of $R$, $\mathbf{n}$ is the outward unit normal of $\mathbf{F}$ relative to $R$, $\mathbf{t}$ is the unit tangent of $\mathbf{F}$ relative to $R$, and $dS$ is an area element of $R$.

Gradient

The gradient of a scalar field $f:\mathbb{R}^3\to\mathbb{R}$ is typically interpreted to be the operator that gives the vector whose direction is that in the direction of greatest increase of $f$ and magnitude being the rate at which $f$ 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 $f:U\to\mathbb{R}$ where $U$ is a subset of $\mathbb{R}^3$. Then the gradient of $f$ evaluated at the point $p\in U$ is given by \[\text{grad}(f)(p) = \nabla f = \lim_{V(R)\to 0} \frac{1}{V(R)}\iint_{\partial R}f\mathbf{n}\,dS,\] where $R$ is a region whose volume $V(R)$ shrinks to $0$ about the point $p$, $\partial R$ is the boundary of $R$, $\mathbf{n}$ is the outward unit normal relative to $R$, and $dS$ is an area element of $R$. The differential $df$ of a multivariable function is defined as $\nabla f \cdot d\mathbf{r}$.

Laplacian

The Laplacian of a scalar field $f:\mathbb{R}^3\to\mathbb{R}$ is typically defined as the divergence of the gradient of $f$ as below:

Definition: Let $f:\mathbb{R}^3\to\mathbb{R}$ be a scalar field. Then the Laplacian of $f$ is given by $\text{div}(\text{grad}(f)) = \nabla \cdot \nabla f = \frac{1}{f} \nabla \cdot \nabla = \frac{\nabla^2}{f}.$

The classical cases of Stokes' Theorem

In classical vector analysis, there are several integral theorems which uses Stoke's Theorem.

This article is a stub. Help us out by expanding it.

Retrieved from "https://artofproblemsolving.com/wiki/index.php?title=Vector_analysis&oldid=233290"