Difference between revisions of "Direction field"
Ulf Rehmann (talk | contribs) m (tex encoded by computer) |
m (OldImage template added) |
||
(One intermediate revision by one other user not shown) | |||
Line 15: | Line 15: | ||
$$ \tag{1 } | $$ \tag{1 } | ||
\dot{x} _ {i} = \ | \dot{x} _ {i} = \ | ||
− | f _ {i} ( t, x _ {1} \dots x _ {n} ),\ \ | + | f _ {i} ( t, x _ {1}, \dots, x _ {n} ),\ \ |
− | i = 1 \dots n. | + | i = 1, \dots, n. |
$$ | $$ | ||
Line 22: | Line 22: | ||
$$ \tag{2 } | $$ \tag{2 } | ||
− | t, x _ {1} \dots x _ {n} , | + | t, x _ {1}, \dots, x _ {n} , |
$$ | $$ | ||
$$ | $$ | ||
− | f _ {1} ( t, x _ {1} \dots x _ {n} ) \dots f _ {n} ( t, x _ {1} \dots x _ {n} ), | + | f _ {1} ( t, x _ {1}, \dots, x _ {n} ), \dots, f _ {n} ( t, x _ {1}, \dots, x _ {n} ), |
$$ | $$ | ||
− | where $ ( t, x _ {1} \dots x _ {n} ) $ | + | where $ ( t, x _ {1}, \dots, x _ {n} ) $ |
is a point of the domain $ G \subset \mathbf R ^ {n + 1 } $, | is a point of the domain $ G \subset \mathbf R ^ {n + 1 } $, | ||
− | at which the terms on the right-hand side of (1) are defined. A line element (2) can be described as a point $ ( t, x _ {1} \dots x _ {n} ) \in G $ | + | at which the terms on the right-hand side of (1) are defined. A line element (2) can be described as a point $ ( t, x _ {1}, \dots, x _ {n} ) \in G $ |
together with the direction with direction cosines | together with the direction with direction cosines | ||
Line 37: | Line 37: | ||
\left ( 1 + | \left ( 1 + | ||
\sum _ {k = 1 } ^ { n } f _ {k} ^ { 2 } | \sum _ {k = 1 } ^ { n } f _ {k} ^ { 2 } | ||
− | \right ) ^ {- | + | \right ) ^ {-1/2} ,\ \ |
f _ {i} \left ( 1 + | f _ {i} \left ( 1 + | ||
\sum _ {k = 1 } ^ { n } f _ {k} ^ { 2 } | \sum _ {k = 1 } ^ { n } f _ {k} ^ { 2 } | ||
− | \right ) ^ {- | + | \right ) ^ {-1/2} ,\ \ |
− | i = 1 \dots n, | + | i = 1, \dots, n, |
$$ | $$ | ||
Line 47: | Line 47: | ||
$$ | $$ | ||
− | ( 1, f _ {1} ( t, x _ {1} \dots x _ {n} ) \dots | + | ( 1, f _ {1} ( t, x _ {1}, \dots, x _ {n} ), \dots, |
− | f _ {n} ( t, x _ {1} \dots x _ {n} )). | + | f _ {n} ( t, x _ {1}, \dots, x _ {n} )). |
$$ | $$ | ||
Line 55: | Line 55: | ||
$$ | $$ | ||
− | \frac{dt}{f _ {0} ( t, x _ {1} \dots x _ {n} ) } | + | \frac{dt}{f _ {0} ( t, x _ {1}, \dots, x _ {n} ) } |
= \dots = \ | = \dots = \ | ||
− | \frac{dx _ {n} }{f _ {n} ( t, x _ {1} \dots x _ {n} ) } | + | \frac{dx _ {n} }{f _ {n} ( t, x _ {1}, \dots, x _ {n} ) } |
, | , | ||
$$ | $$ | ||
− | unlike system (1), the field may also contain directions orthogonal to the $ t $- | + | unlike system (1), the field may also contain directions orthogonal to the $ t $-axis. |
− | axis. | ||
Consider any [[Integral curve|integral curve]] of the system (1). At every point of this curve, the direction field corresponding to the point is tangent to the curve at that point; any curve with this property is an integral curve of (1). Thus, the specification of a direction field is equivalent to the specification of the system (1), and the problem of integrating this system amounts to the determination of the curves in $ \mathbf R ^ {n + 1 } $ | Consider any [[Integral curve|integral curve]] of the system (1). At every point of this curve, the direction field corresponding to the point is tangent to the curve at that point; any curve with this property is an integral curve of (1). Thus, the specification of a direction field is equivalent to the specification of the system (1), and the problem of integrating this system amounts to the determination of the curves in $ \mathbf R ^ {n + 1 } $ | ||
Line 81: | Line 80: | ||
there exists a short segment through the point, with slope $ f ( t, x) $, | there exists a short segment through the point, with slope $ f ( t, x) $, | ||
− | such that the (directed) angle between the $ t $- | + | such that the (directed) angle between the $ t $-axis and the segment is equal to $ { \mathop{\rm arc} \mathop{\rm tan} } f ( t, x) $ (see Fig.). |
− | axis and the segment is equal to $ { \mathop{\rm arc} \mathop{\rm tan} } f ( t, x) $( | ||
− | see Fig.). | ||
<img style="border:1px solid;" src="https://www.encyclopediaofmath.org/legacyimages/common_img/d032780a.gif" /> | <img style="border:1px solid;" src="https://www.encyclopediaofmath.org/legacyimages/common_img/d032780a.gif" /> | ||
Line 105: | Line 102: | ||
By this device, the domain $ G $ | By this device, the domain $ G $ | ||
for the pair of equations (4), (5) is extended to a domain $ G _ {0} $ | for the pair of equations (4), (5) is extended to a domain $ G _ {0} $ | ||
− | by the addition of the points at which the direction is parallel to the $ x $- | + | by the addition of the points at which the direction is parallel to the $ x $-axis, and the integral curves are also allowed to have points with vertical tangents. |
− | axis, and the integral curves are also allowed to have points with vertical tangents. | ||
If the direction field is drawn in sufficient detail in $ G $ | If the direction field is drawn in sufficient detail in $ G $ | ||
Line 119: | Line 115: | ||
====Comments==== | ====Comments==== | ||
The direction field, or line elements field, is often used in textbooks on differential equations in relation with applications in mechanics, biology and econometrics. | The direction field, or line elements field, is often used in textbooks on differential equations in relation with applications in mechanics, biology and econometrics. | ||
+ | |||
+ | {{OldImage}} |
Latest revision as of 11:49, 26 March 2023
A geometrical interpretation of the set of line elements corresponding to a system of ordinary differential equations
$$ \tag{1 } \dot{x} _ {i} = \ f _ {i} ( t, x _ {1}, \dots, x _ {n} ),\ \ i = 1, \dots, n. $$
A line element is defined as a sequence of numbers
$$ \tag{2 } t, x _ {1}, \dots, x _ {n} , $$
$$ f _ {1} ( t, x _ {1}, \dots, x _ {n} ), \dots, f _ {n} ( t, x _ {1}, \dots, x _ {n} ), $$
where $ ( t, x _ {1}, \dots, x _ {n} ) $ is a point of the domain $ G \subset \mathbf R ^ {n + 1 } $, at which the terms on the right-hand side of (1) are defined. A line element (2) can be described as a point $ ( t, x _ {1}, \dots, x _ {n} ) \in G $ together with the direction with direction cosines
$$ \tag{3 } \left ( 1 + \sum _ {k = 1 } ^ { n } f _ {k} ^ { 2 } \right ) ^ {-1/2} ,\ \ f _ {i} \left ( 1 + \sum _ {k = 1 } ^ { n } f _ {k} ^ { 2 } \right ) ^ {-1/2} ,\ \ i = 1, \dots, n, $$
which is represented by a short segment through the point, parallel to the vector
$$ ( 1, f _ {1} ( t, x _ {1}, \dots, x _ {n} ), \dots, f _ {n} ( t, x _ {1}, \dots, x _ {n} )). $$
For a system in symmetric form,
$$ \frac{dt}{f _ {0} ( t, x _ {1}, \dots, x _ {n} ) } = \dots = \ \frac{dx _ {n} }{f _ {n} ( t, x _ {1}, \dots, x _ {n} ) } , $$
unlike system (1), the field may also contain directions orthogonal to the $ t $-axis.
Consider any integral curve of the system (1). At every point of this curve, the direction field corresponding to the point is tangent to the curve at that point; any curve with this property is an integral curve of (1). Thus, the specification of a direction field is equivalent to the specification of the system (1), and the problem of integrating this system amounts to the determination of the curves in $ \mathbf R ^ {n + 1 } $ the tangents of which at each point possess the directions defined by the formulas (3), i.e. the directions coinciding with the directions of the field at that point.
The geometrical interpretation is particularly easy to visualize when $ n = 1 $. In that case, for each point $ ( t, x ) $ of the domain of definition $ G \subset \mathbf R ^ {2} $ of the right-hand side in the first-order equation
$$ \tag{4 } \frac{dx }{dt } = \ f ( t, x) $$
there exists a short segment through the point, with slope $ f ( t, x) $, such that the (directed) angle between the $ t $-axis and the segment is equal to $ { \mathop{\rm arc} \mathop{\rm tan} } f ( t, x) $ (see Fig.).
Figure: d032780a
Frequently, one considers equation (4) together with the differential equation
$$ \tag{5 } \frac{dt }{dx } = F ( t, x), $$
where $ F ( t, x) = 1/f ( t, x) $ for points $ ( t, x) \in G $ at which $ f ( t, x) \neq 0 $, defining $ F ( t, x) = 0 $ for $ ( t, x) \in \mathbf R ^ {2} \setminus G $, provided this definition preserves the continuity of $ F ( t, x) $. By this device, the domain $ G $ for the pair of equations (4), (5) is extended to a domain $ G _ {0} $ by the addition of the points at which the direction is parallel to the $ x $-axis, and the integral curves are also allowed to have points with vertical tangents.
If the direction field is drawn in sufficient detail in $ G $ for equation (4) (or in $ G _ {0} $ for the pair of equations (4), (5)), the pattern of line segments will provide a rough qualitative idea of the behaviour of the integral curves. This idea is the basis for the approximate graphical method for solving equation (4), known as the method of isoclines, in which the direction field is constructed with the aid of isoclines (cf. Isocline). The geometrical relationship between the direction field and the integral curves is also the basis for an approximate numerical method for solving equation (4) — the Euler method.
For autonomous systems (cf. Autonomous system) of ordinary differential equations there is a more convenient and intuitive geometrical interpretation in terms of a vector field (cf. also Vector field on a manifold) — the field of phase velocities in the phase space of the system.
References
[1] | L.S. Pontryagin, "Ordinary differential equations" , Addison-Wesley (1962) (Translated from Russian) |
[2] | E. Kamke, "Differentialgleichungen: Lösungen und Lösungsmethoden" , 1. Gewöhnliche Differentialgleichungen , Chelsea, reprint (1947) |
[3] | G. Sansone, "Ordinary differential equations" , 1–2 , Zanichelli (1948–1949) (In Italian) |
Comments
The direction field, or line elements field, is often used in textbooks on differential equations in relation with applications in mechanics, biology and econometrics.
Direction field. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Direction_field&oldid=46713