Difference between revisions of "Integral surface"
m (dots) |
m (label) |
||
Line 2: | Line 2: | ||
The surface in $(n+1)$-dimensional space defined by an equation $u=\phi(x_1,\dots,x_n)$, where the function $u=\phi(x_1,\dots,x_n)$ is a solution of a partial differential equation. For example, consider the linear homogeneous first-order equation | The surface in $(n+1)$-dimensional space defined by an equation $u=\phi(x_1,\dots,x_n)$, where the function $u=\phi(x_1,\dots,x_n)$ is a solution of a partial differential equation. For example, consider the linear homogeneous first-order equation | ||
− | $$X_1\frac{\partial u}{\partial x_1}+\dotsb+X_n\frac{\partial u}{\partial x_n}=0.\tag{*}$$ | + | $$X_1\frac{\partial u}{\partial x_1}+\dotsb+X_n\frac{\partial u}{\partial x_n}=0.\label{*}\tag{*}$$ |
Here $u$ is the unknown and $X_1,\dots,X_n$ are given functions of the arguments $x_1,\dots,x_n$. Suppose that in some domain $G$ of $n$-dimensional space the functions $X_1,\dots,X_n$ are continuously differentiable and do not vanish simultaneously, and suppose that the functions $\phi_1(x_1,\dots,x_n),\dots,\phi_{n-1}(x_1,\dots,x_n)$ are functionally independent first integrals in $G$ of the system of ordinary differential equations in symmetric form | Here $u$ is the unknown and $X_1,\dots,X_n$ are given functions of the arguments $x_1,\dots,x_n$. Suppose that in some domain $G$ of $n$-dimensional space the functions $X_1,\dots,X_n$ are continuously differentiable and do not vanish simultaneously, and suppose that the functions $\phi_1(x_1,\dots,x_n),\dots,\phi_{n-1}(x_1,\dots,x_n)$ are functionally independent first integrals in $G$ of the system of ordinary differential equations in symmetric form | ||
Line 8: | Line 8: | ||
$$\frac{dx_1}{X_1}=\dotsb=\frac{dx_n}{X_n}.$$ | $$\frac{dx_1}{X_1}=\dotsb=\frac{dx_n}{X_n}.$$ | ||
− | Then the equation of every integral surface of \ | + | Then the equation of every integral surface of \eqref{*} in $G$ can be expressed in the form |
$$u=\Phi(\phi_1,\dots,\phi_{n-1}),$$ | $$u=\Phi(\phi_1,\dots,\phi_{n-1}),$$ | ||
Line 14: | Line 14: | ||
where $\Phi$ is a continuously-differentiable function. For a [[Pfaffian equation|Pfaffian equation]] | where $\Phi$ is a continuously-differentiable function. For a [[Pfaffian equation|Pfaffian equation]] | ||
− | $$P(x,y,z)dx+Q(x,y,z)dy+R(x,y,z)dz=0,$$ | + | $$P(x,y,z)\,dx+Q(x,y,z)\,dy+R(x,y,z)\,dz=0,$$ |
which is completely integrable in some domain $G$ of three-dimensional space and does not have any singular points in $G$, each point of $G$ is contained in an integral surface. These integral surfaces never intersect nor are they tangent to one another at any point. | which is completely integrable in some domain $G$ of three-dimensional space and does not have any singular points in $G$, each point of $G$ is contained in an integral surface. These integral surfaces never intersect nor are they tangent to one another at any point. |
Latest revision as of 17:39, 14 February 2020
The surface in $(n+1)$-dimensional space defined by an equation $u=\phi(x_1,\dots,x_n)$, where the function $u=\phi(x_1,\dots,x_n)$ is a solution of a partial differential equation. For example, consider the linear homogeneous first-order equation
$$X_1\frac{\partial u}{\partial x_1}+\dotsb+X_n\frac{\partial u}{\partial x_n}=0.\label{*}\tag{*}$$
Here $u$ is the unknown and $X_1,\dots,X_n$ are given functions of the arguments $x_1,\dots,x_n$. Suppose that in some domain $G$ of $n$-dimensional space the functions $X_1,\dots,X_n$ are continuously differentiable and do not vanish simultaneously, and suppose that the functions $\phi_1(x_1,\dots,x_n),\dots,\phi_{n-1}(x_1,\dots,x_n)$ are functionally independent first integrals in $G$ of the system of ordinary differential equations in symmetric form
$$\frac{dx_1}{X_1}=\dotsb=\frac{dx_n}{X_n}.$$
Then the equation of every integral surface of \eqref{*} in $G$ can be expressed in the form
$$u=\Phi(\phi_1,\dots,\phi_{n-1}),$$
where $\Phi$ is a continuously-differentiable function. For a Pfaffian equation
$$P(x,y,z)\,dx+Q(x,y,z)\,dy+R(x,y,z)\,dz=0,$$
which is completely integrable in some domain $G$ of three-dimensional space and does not have any singular points in $G$, each point of $G$ is contained in an integral surface. These integral surfaces never intersect nor are they tangent to one another at any point.
References
[1] | W.W. [V.V. Stepanov] Stepanow, "Lehrbuch der Differentialgleichungen" , Deutsch. Verlag Wissenschaft. (1956) (Translated from Russian) |
Comments
References
[a1] | E.L. Ince, "Ordinary differential equations" , Dover, reprint (1956) |
[a2] | K. Rektorys (ed.) , Survey of applicable mathematics , Iliffe (1969) pp. Sect. 18.7 |
Integral surface. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Integral_surface&oldid=44774