Namespaces
Variants
Actions

Difference between revisions of "Integral surface"

From Encyclopedia of Mathematics
Jump to: navigation, search
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 \ref{*} in $G$ can be expressed in the form
+
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
How to Cite This Entry:
Integral surface. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Integral_surface&oldid=44774
This article was adapted from an original article by N.N. Ladis (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article