В изчислението консервативните векторни полета имат редица важни свойства, които значително опростяват изчисленията, включително независимостта на пътя, иротационността и способността да се моделират явления в реалния живот, като Нютоновата гравитация и електростатичните полета. Следователно проверката дали дадено векторно поле е консервативно или не е следователно полезна техника за подпомагане на изчисленията.
Стъпки
Част 1 от 2: Теорема на Клеро
Стъпка 1. Използвайте теоремата на Клеро
Тази теорема гласи, че смесените частични производни комутират, като се има предвид, че те са непрекъснати.
-
С други думи, ∂∂y∂∂x = ∂∂x∂∂y. { Displaystyle { frac { частично} { частично y}} { frac { частично} { частично x}} = { frac { частично} { частично x}} { frac {{частично} { частично y}}.}
Note that these are second derivatives.
Step 2. Consider the function
For our convenience, let's label P=2xy2−y2+2x{displaystyle P=2xy^{2}-y^{2}+2{x}}
and Q=2x2y−5−2xy.{displaystyle Q=2x^{2}y-5-2xy.}
- F=(2xy2−y2+2x)i+(2x2y−5−2xy)j{displaystyle \mathbf {F} =(2xy^{2}-y^{2}+2{x})\mathbf {i} +(2x^{2}y-5-2xy)\mathbf {j} }
-
If this function satisfies Clairaut's theorem, then we should expect that ∂P∂y=∂Q∂x.{displaystyle {frac {partial P}{partial y}}={frac {partial Q}{partial x}}.}
These are second derivatives, because we are going off the assumption that F{displaystyle \mathbf {F} }
is conservative, and therefore F=∇f{displaystyle \mathbf {F} =\nabla f}
- in other words, F{displaystyle \mathbf {F} }
is itself a gradient of a scalar potential function.
Step 3. Compute the partial derivatives
- ∂P∂y=4xy−2y{displaystyle {frac {partial P}{partial y}}=4xy-2y}
- ∂Q∂x=4xy−2y{displaystyle {frac {partial Q}{partial x}}=4xy-2y}
Step 4. Check to see that the mixed partials commute
Our example obviously does. Our vector function is continuous (well-behaved), so this field is conservative. Most fields that you will deal with, especially in physics, will only need to satisfy Clariaut's theorem to be conservative. However, in pure math, this is not always quite the case.
Part 2 of 2: Simply-Connected Domain
Step 1. Relate conservative fields to irrotationality
Conservative vector fields are irrotational, which means that the field has zero curl everywhere: ∇×F=0.{displaystyle \nabla \times \mathbf {F} =0.}
Because the curl of a gradient is 0, we can therefore express a conservative field as such provided that the domain of said function is simply-connected.
- ∇×∇f=0{displaystyle \nabla \times \nabla f=0}
- The last condition highlights an important limitation for functions that are not well-behaved. Although all conservative fields are irrotational, the converse is not true. Even if the function satisfies Clairaut's theorem, it may still not be conservative if there exists discontinuities or other singular points.
Стъпка 2. Помислете за функцията „вихър“v { displaystyle / mathbf {v}}
above is a visualization of the vortex.
- v=−yi+xj+0kx2+y2{displaystyle \mathbf {v} ={frac {-y\mathbf {i} +x\mathbf {j} +0\mathbf {k} }{x^{2}+y^{2}}}}
-
for our convenience, let p=−yx2+y2{displaystyle p={frac {-y}{x^{2}+y^{2}}}}
and q=xx2+y2.{displaystyle q={frac {x}{x^{2}+y^{2}}}.}
step 3. check if this function satisfies clairaut's theorem
it is worth noting that the calculations in this step are equivalent to checking if the function is irrotational. both methods involve the evaluation of the quantity ∂p∂y−∂q∂x, {displaystyle {frac {partial p}{partial y}}-{frac {partial q}{partial x}}, }
or the k{displaystyle \mathbf {k} }
component of the curl.
- ∂p∂y=(x2+y2)(−1)+y(2y)(x2+y2)2=y2−x2(x2+y2)2{displaystyle {begin{aligned}{frac {partial p}{partial y}}&={frac {(x^{2}+y^{2})(-1)+y(2y)}{(x^{2}+y^{2})^{2}}}\\&={frac {y^{2}-x^{2}}{(x^{2}+y^{2})^{2}}}\end{aligned}}}
-
∂q∂x=(x2+y2)(1)−x(2x)(x2+y2)2=y2−x2(x2+y2)2{displaystyle {begin{aligned}{frac {partial q}{partial x}}&={frac {(x^{2}+y^{2})(1)-x(2x)}{(x^{2}+y^{2})^{2}}}\\&={frac {y^{2}-x^{2}}{(x^{2}+y^{2})^{2}}}\end{aligned}}}
- this calculation should've shown that our vortex is a conservative vector field. however, our intuition should've thought that this vortex has a non-zero curl, because of how the field seems to be circulating around the origin. something is wrong with this function.
step 4. verify path-independence using a loop integral
if this field is indeed conservative, then we can say that a loop integral enclosing any part of the domain is 0. consider the path of the unit circle in this field.
-
set up the integral.
- ∮cv⋅dr{displaystyle \oint _{c}\mathbf {v} cdot \mathrm {d} mathbf {r} }
-
reparameterize the variables in terms of t.{displaystyle t.}
- x=cost{displaystyle x=\cos t}
- y=sint{displaystyle y=\sin t}
-
reparameterize the differential element in terms of t.{displaystyle t.}
- dr=dxi+dyj=−sintdti+costdtj{displaystyle {begin{aligned}\mathrm {d} mathbf {r} &=\mathrm {d} x\mathbf {i} +\mathrm {d} y\mathbf {j} \&=-\sin t\mathrm {d} t\mathbf {i} +\cos t\mathrm {d} t\mathbf {j} end{aligned}}}
-
set up the integral in terms of t.{displaystyle t.}
substitute and set the boundaries from 0{displaystyle 0}
to 2π, {displaystyle 2\pi, }
since we are going around the circle.
- ∫02π(−sinti+costj)⋅(−sintdti+costdtj){displaystyle \int _{0}^{2\pi }(-\sin t\mathbf {i} +\cos t\mathbf {j})\cdot (-\sin t\mathrm {d} t\mathbf {i} +\cos t\mathrm {d} t\mathbf {j})}
-
evaluate the integral. we used the identity sin2t+cos2t=1{displaystyle \sin ^{2}t+\cos ^{2}t=1}
to simplify the dot product.
- ∫02πdt=2π{displaystyle \int _{0}^{2\pi }\mathrm {d} t=2\pi }
- because this loop integral does not evaluate to 0, this vector field is not conservative. the reason why this is the case is because our domain is not simply-connected.
step 5. check if the domain is simply-connected
- in order for a domain to just be connected, any two points must be able to be connected by a continuous line. the vortex satisfies this, so its domain is connected.
-
to be simply-connected, every closed loop in the domain must also have its interior in the domain as well.
the vortex fails this. since the function is not defined at the origin, the unit circle we made as the closed loop does not have all of its interior within the function's domain.
- another way of saying this is that any closed loop of an arbitrary shape in the domain can be topologically deformed to a point in the domain. in other words, we can squeeze the loop down to a point. because the origin is not in the domain of the vortex function, the domain is not simply-connected.
- we have given an example of a function that satisfies clairaut's theorem, but ended up failing path-independence anyway. so for a function to be conservative, its domain must also be simply-connected as well.
