User:Physis/Substitution theorem for indefinite integral

Motivation

edit

I have read a variant of the theorem of integration by substitution which is formulated directly for indefinite integral.[1] I write it only here, not to the article page, because my knowledge in the topic lacks both the overview and the details.

Conventions and notations used here

edit

Indefinite integral

edit

The indefinite integral of a function f is notated and conceived as the set of all its primitive functions:[2]

 .

Point-free style

edit

Abuse of notation (with writing variable in stead of function) will be avoided: a point-free style notation will be used. Operations on real numbers will be "transferred" to real functions in a pointwise way. Composition notation will be explicit in most cases.

Extensional definition of equality

edit

Equality of between two functions is meant extensionally. let f and g have the same domain X (if not said otherwise), then let us notate them equal iff for all x in X both functions result in coinciding values.

 

Implicit notation of pointwise transition of operations

edit

The pointwise transition of operation symbols will be meant implicitly

 

(appropriate restriction applies for g in the last case.)

Implicit notation for pointwise transition of powers

edit

Here, powers of real functions will be defined as an implicite notation of pointwise transition of powers among real numbers:

 

But in further examples, need for inverse function or iteration of-composition may cause a problem, possibly changing the convention for power notation.

Constant functions

edit

The "pointwise" transition of a real number to a real function is done its corresponding constant functions

 

Explicit notation of composition

edit

Every other pointwise transition will be notated explicity by use of composition sign:

 

Algebrae for function composition

edit

As mentioned above, powers have been defined here as here as an implicite notation of pointwise transition:

 

But in further examples, need for inverse function or iteration of-composition may cause a problem, possibly changing the convention for power notation.

Iteration
edit

Functions of a common domain, where the range of each is subset of the [common] domain, form a semigroup with composition. Each of its member can be composed with each other member, including itself, and this can be iterated any finite times.

 
Inverse
edit
Motivation
edit

In some differential equation examples, we may get the integral curve in a "reversed" way. We may fail to be able to express the "dependent variable" y explicitly in terms of the independent variable x:

 

but by changing the role of variables x and y, we can express x explicitly in terms of y

 

and this may lead to a correct graph of the desired integral curve, the solution of the differential equation.[3] Although it seems for me yet as an abuse of notation, but its correctness makes me think why it is correct at all and how its idea can be formulated in a more transparent way.

The notion of this "transposition" of the independent and dependent variables makes the graph of the function reflected to the "diagonal" line of the identity function. It is exactly the graph of the inverse function (if any). Thus, the idea can be rendered also in a point-free style treatment.

Symmetric group
edit

The inverse of a function f (if any) can be notated as  , supported by the below considerations. Permutations on a common set are not only composable without restriction, they are also invertible (the inverses are also member of the permutation set). They form a symmetry group, we can augment the above notation of powers with the inverses, allowing the exponents ranging over the whole   (thus, including all negative integers in addition to the naturals).

 

the coincidence can give rise to the notion of  

Any kind of "inverse" notation needs care if f is not a permutation, for example only injective, but not surjective.

Theorem

edit

<custom assumptions>.

If

 

then

 

Application

edit

An application can be found in solving separable differential equations. Let us see first a general scheme lacking concrete details. Let f and g be known functions. It is y the equation must be solved for.

 

is a form characteristic of what we mean by "separable" differential equation[4] (if we use this point-free style notation).

 

we try to avoid abuse of notation.

 

let use "factor out" a little more

 

Let us introduce the notation a for 1/g

 

and notate one of a's primitive functions as A. Then, by the substitution theorem of indefinite integrals

 

which can be applied very well for the next step in solving the separable differential equation:

 

Now, if we are lucky, and in the concrete differential equation the part A (and F, a primitive function of f) are of simple form, then we can make a good specification for y, or even cover it with explicit formulae.

Example

edit

Let us see a concrete example.[5]

 

Let us use again a point-free notation

 

Let us write it in an explicit form:

 

Singular solution

edit

We can see at once a singular solution

 

General solution

edit

Let us avoid again abuse of notation and use the theorems directly in a transparent form. Then, separation of variables begins with step

 

some "factoring out" steps helps to find the form where the substitution theorem will fit in

 

"splitting"   into a composition

 

factoring "pre-composition with y" even more outward:

 

Let f denote the reciprocal of squared identity:

 

and choose F as one of its primitive functions. Then by substitution theorem for indefinite integral,

 ,

which means in the subsequent step in solving the differential equation:

 

Let us choose for F the simplest primitive function of f: let F be  

 

expanding the right-hand side

 

An equation (for functions) can be given in parametric form, with parameter c running over all possible constant functions  

 

The solution can be expressed in explicit form

 

Notes

edit
  1. ^ Császár 1989: 311–312 (= II. 2.28)
  2. ^ Császár 1990: 300 (= II. 2.14)
  3. ^ Szász 1990: 35
  4. ^ Szász 1990: 29 (= Def 28.1.1)
  5. ^ Szász 1990: 32–34

References

edit
  • Császár, Ákos (1989). Valós analízis I. (in Hungarian). Budapest: Tankönyvkiadó. ISBN 963 18 2242 7. Translation of the title: Real analysis.
  • Szász, Gábor (1990). Matematika III. (Differenciálegyenletek, valószínűségelmélet) (in Hungarian). Budapest: Tankönyvkiadó. ISBN 963 18 3011 X. Translation of the title: Mathematics III. Differential equations, probability theory.