Jump to content

User:Physis/Substitution theorem for indefinite integral

From Wikipedia, the free encyclopedia

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.