This system describes the behaviour of the primitive function "p". In fact, these equations stem from the total differential of p

Two cases arise in this situation. If "dp" is an exact differential, then the system is integrable independent of the path of integration. A differential equation "dp" is said to be an exact differential if the primitive function "p" exists. A necessary and sufficient condition for "dp" to be an exact differential if "p" is continuous and twice differentiable. In other words, when the mixed derivatives of "p" exist and are equal. For example, given

then, "dp" is an exact differential if, and only if,

If the total differential is not exact, then the integration can only be carried out along a specified path of the domain.

### Integration of an Exact Differential

The typical approach to integrating the system of differential equations is to first integrate in one coordinate direction, add a function of the remaining coordinates, substitute into the remaining equations and so on.However, there is another technique that only requires the following three steps:

- Integrate each equation with respect to its coordinate without adding any integration constants
- Add the results
- Subtract the common part

Here's an example. Consider

Integrating in each direction, we get

Then, the primitive function is

or

While this methods works, I have not seen any proof of why it does. Therefore, in this post, I will provide an independent proof. To simplify the process, I will only present this in two dimensions. I will also provide two methods for proving this. The words integral and primitive will be used interchangeably. Furthermore, I will refer to the individual differentials of a function as its constitutive differentials. For example,

are called the constitutive differentials of "p".

#### Method 1:

#### A differential system of equations can be written in general as

and let "p1" and "p2" denote the integrals of the above equations without the addition of an integration constant. Thus

Now let us first integrate in the "x" direction

or

Note the addition of the integration constant "N(y)". Substituting into the second differential, we get

or

(Note that it is assumed here that dN/dy is a function of y ONLY, so that the right hand side of the above equation will evaluate of a function of y and only y). Integrating with respect to "y", we recover

or

substituting "N(y)" into the equation for "p(x,y)", we have

So far, we have shown that the primitive function is the sum of the integrals in each direction (i.e. p1 and p2) minus some term denoted by M(x,y). It remains to show that M(x,y) represents a part that is common to both "p1" and "p2". To arrive at this, we invoke the fact that the this system's total differential is exat, i.e.

or

collecting terms, we get

This is true if

with T(x,y) being continuous and twice differentiable. Given this, we rewrite M(x,y) as

Finally, we now rewrite "p1" and "p2" using T(x,y)

It is therefore clear that M(x,y) is actually a common term for "p1" and "p2" and the primitive is given by

Q.E.D.

Note: One can now verify that the integration constant N(y) is a function of y, and only y. Reconsider the equation for dN/dy

writing in terms of T(x,y), we have

or

#### Method 2:

Consider a real continuous and twice differentiable function "p(x,y)". In general, this function can be written as

where "c" is a constant and the component functions are also real, continuous, and twice differentiable. Now form the total differential of "p"

where

The key component of this derivation are the derivatives of "q" in both differentials. We now define the integrals of the above system without adding an integration constant. We get

but we know that

When written in terms of "p1" and "p2", one recovers

where q(x,y) is the common part.

Q.E.D.

This shows that the primitive of an exact differential is equal to the sum of primitives of its constitutive functions minus the common part. Integration of the constitutive differentials is carried out without adding integration constants.

Summary:

While I have shown that the method of separate integrations works, one must remember that this technique is applicable ONLY to exact differentials. Therefore, the mixed derivatives test must be first applied before carrying out this type of integration. In my next post, I will discuss how to handle inexact differentials.

Cite as:

Saad, T. "Integrating Exact Differentials".
Weblog entry from
Please Make A Note.
http://pleasemakeanote.blogspot.com/2010/07/integrating-totalexact-differentials.html

## No comments:

## Post a Comment