Math 2.0

Real functions Counterexample

Curl-free field that is not conservative

Builds on CurlConservative vector fieldCurl-free vector field on a convex set is conservativeSimply connected domainPath independence of line integralsLine integral of a vector field

Counterexample

One could guess that each C1C^1 vector field with zero curl on an open set is conservative. This is false. Let U={(x,y,z)∈ℝ3:(x,y)≠(0,0)}U = \{(x, y, z) \in \mathbb{R}^3 : (x, y) \ne (0, 0)\}, which is ℝ3\mathbb{R}^3 minus the zz-axis, and let F(x,y,z)=(−yx2+y2, xx2+y2, 0).F(x, y, z) = \left( \frac{-y}{x^2 + y^2}, \ \frac{x}{x^2 + y^2}, \ 0 \right). Then ∇×F=0\nabla \times F = 0 on UU, but FF is not conservative on UU.

Remarks

The third component of ∇×F\nabla \times F is ∂x(x/(x2+y2))−∂y(−y/(x2+y2))=y2−x2(x2+y2)2−y2−x2(x2+y2)2=0\partial_x \big( x / (x^2 + y^2) \big) - \partial_y \big( -y / (x^2 + y^2) \big) = \frac{y^2 - x^2}{(x^2 + y^2)^2} - \frac{y^2 - x^2}{(x^2 + y^2)^2} = 0, and the other two components are zero. On the unit circle γ(t)=(cos⁡t,sin⁡t,0)\gamma(t) = (\cos t, \sin t, 0), t∈[0,2π]t \in [0, 2\pi], we have F(γ(t))⋅γ′(t)=1F(\gamma(t)) \cdot \gamma'(t) = 1. So the circulation is 2π≠02\pi \ne 0, and path independence fails. The domain UU is not simply connected, so this does not contradict the theorem for convex or simply connected sets. Locally, F=∇θF = \nabla \theta, where θ\theta is the polar angle of (x,y)(x, y). But no continuous choice of θ\theta exists on all of UU.

Reading path

To understand this page from the ground up, read these 46 pages in order. The foundations come first.

  1. Euclidean space object
  2. Function concept
  3. Function composition concept
  4. Fréchet derivative definition
  5. Total derivative concept
  6. Function of several variables concept
  7. Vector-valued function concept
  8. Limit of a function of several variables concept
  9. Differentiable function of several variables concept
  10. Parametrised curve concept
  11. Partial derivative concept
  12. Continuity in R^n definition
  13. Differentiable function of several variables definition
  14. Partial derivative definition
  15. Gradient concept
  16. Chain rule in several variables statement
  17. Differentiable on an open set definition
  18. Gradient definition
  19. Higher partial derivatives definition
  20. Differentiation under the integral sign statement
  21. Iterated derivative definition
  22. Chain rule for a composition with a curve statement
  23. Symmetry of second derivatives statement
  24. C^k function characterised by continuous derivatives statement
  25. Parametrised curve definition
  26. Schwarz's theorem for C^2 functions statement
  27. Vector field definition
  28. Closed curve definition
  29. Rectifiable curve definition
  30. Tangent vector of a curve definition
  31. Conservative vector field definition
  32. Curl definition
  33. Simply connected domain definition
  34. Line integral of a scalar field definition
  35. Line integral of a vector field definition
  36. Regular curve definition
  37. Scalar potential definition
  38. Curl of a gradient is zero statement
  39. Arc length parametrisation definition
  40. Curl-free vector field on a convex set is conservative statement
  41. Line integral as an integral over the parameter interval statement
  42. Additivity of line integrals under concatenation statement
  43. Reversing a path changes the sign of a line integral statement
  44. Gradient theorem statement
  45. Path independence of line integrals statement
  46. Curl-free field that is not conservative counterexample

Where this leads

1 page builds on this one.

Further reading

  1. Web https://en.wikipedia.org/wiki/Conservative_vector_field, Irrotational vector fields
  2. Web https://en.wikipedia.org/wiki/Closed_and_exact_differential_forms, Examples
About this page
Tag0GRM3BS0DD
URIm2://0GRM3BS0DD
Aliasesvortex-field
Kindcounterexample
WritingW0 stub
MSC26B12
UsesCurl, Conservative vector field, Curl-free vector field on a convex set is conservative, Simply connected domain, Path independence of line integrals, Line integral of a vector field

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • edge refutes or not_instance_of out (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

Used by