Table of Contents
Table of Contents
“The Book of Mathematics: Volume 3
INTEGRAL AND INTEGRAL-DIFFERENTIAL EQUATIONS
SPECTRAL THEORY
MATHEMATICS AND DISCRETE GEOMETRY
FRACTAL GEOMETRY
NUMERICAL CALCULATION
NUMERICAL ANALYSIS
THIRD PART: STATISTICS, ADVANCED ALGEBRA AND ADVANCED LOGIC
COMBINATORY CALCULATION
ELEMENTARY STATISTICS
RANDOM VARIABLES AND PROBABILITY DISTRIBUTIONS
STATISTICAL INFERENCE
STOCHASTIC PROCESSES
ADVANCED ALGEBRA
ALGEBRAIC STRUCTURES
GALOIS THEORY
COMBINATORY GEOMETRY
NUMBER THEORY
ADVANCED MATHEMATICAL LOGIC
“The Book of Mathematics: Volume 3
“The Book of Mathematics: Volume 3
SIMONE MALACRIDA
Most of mathematics is presented in this book, starting from the basic and elementary concepts to probing the more complex and advanced areas.
Mathematics is approached both from a theoretical point of view, expounding theorems and definitions of each particular type, and on a practical level, going on to solve more than 1,000 exercises.
The approach to mathematics is given by progressive knowledge, exposing the various chapters in a logical order so that the reader can build a continuous path in the study of that science.
The entire book is divided into three distinct sections: elementary mathematics, the advanced mathematics given by analysis and geometry, and finally the part concerning statistics, algebra and logic.
The writing stands as an all-inclusive work concerning mathematics, leaving out no aspect of the many facets it can take on.
Simone Malacrida (1977)
Engineer and writer, has worked on research, finance, energy policy and industrial plants.
ANALYTICAL INDEX
37 – INTEGRAL AND INTEGRAL-DIFFERENTIAL EQUATIONS
––––––––
38 – SPECTRAL THEORY
––––––––
39 – MATHEMATICS AND DISCRETE GEOMETRY
––––––––
40 – FRACTAL GEOMETRY
––––––––
41 – NUMERICAL CALCULATION
––––––––
42 – NUMERICAL ANALYSIS
––––––––
THIRD PART: STATISTICS, ADVANCED ALGEBRA AND ADVANCED LOGIC
––––––––
43 – COMBINATORY CALCULATION
––––––––
44 – ELEMENTARY STATISTICS
––––––––
45 – RANDOM VARIABLES AND PROBABILITY DISTRIBUTIONS
––––––––
46 – STATISTICAL INFERENCE
––––––––
47 – STOCHASTIC PROCESSESI
––––––––
48 – ADVANCED ALGEBRA
––––––––
49 – ALGEBRAIC STRUCTURES
––––––––
50 – GALOIS THEORY
––––––––
51 – COMBINATORY GEOMETRY
––––––––
52 – NUMBER THEORY
––––––––
53 – ADVANCED MATHEMATICAL LOGIC
––––––––
37
INTEGRAL AND INTEGRAL-DIFFERENTIAL EQUATIONS
INTEGRAL AND INTEGRAL-DIFFERENTIAL EQUATIONS
Introduction and definitions
An integral equation is an equation that presents the unknown under the sign of integral.
Actually, whenever you solve a differential equation, the solution formula is an integral equation, so we have already said a lot about such equations in previous chapters. A linear integral equation has a form like this:
Where K(x,z) is the kernel of the equation (which can be real or complex, symmetric or antisymmetric) and f(x) is the known term.
If f(x) is different from zero we speak of equations of the second kind, if it is equal to zero we speak of equations of the first kind.
––––––––
Integral equations of Fredholm and Volterra
In integral equations, the integral is defined so we have integration extremes.
If these extremes are fixed we speak of integral equation of Fredholm, if instead one of the extremes is variable in x the equation is called of Volterra.
The Fredholm operator is defined as a bounded linear operator between Banach spaces having a finite-dimensional core and con-core.
Moreover, saying T a Fredholm operator (from a space X to a Y) and S a linear and bounded operator (from the space Y to that X) we have that
are compact operators on X and Y.
The index of a Fredholm operator is defined as follows:
The set of Fredholm operators forms an open set in Banach space of bounded and continuous linear operators.
The index of the composition of two Fredholm operators is equal to the sum of the indices of the single operators, furthermore the added Fredholm operator has the opposite index with respect to the starting one.
Finally, given a Fredholm operator and a compact one, their convolution returns again a Fredholm operator having the same index as the starting one.
The tensor product between a Banach space and its dual is a complete space endowed with the following norm:
The space defined by completion with this norm is denoted in this way (called B the generic Banach space) 
.
A Fredholm kernel is an element of this projective topological space.
Each nucleus can be associated with a trace and a linear operator of canonical form:
Moreover, every nucleus is called p-summable if the following relation holds:
Fredholm's theory assumes that the Fredholm nucleus is comparable to a Green function, solution of the differential equation:
Where L is a linear differential operator.
Applying this equation to Sobolev spaces and writing the previous equation as an eigenvalue equation:
An expression of the Fredholm nucleus can be derived:
For the inhomogeneous Fredholm equation we can rewrite the known term in this way:
And the solution is given by:
Using spectral theory, the resolving operator is as follows:
And the solution is given by:
Fredholm's theorem provides a sufficient condition for the existence of solutions of Fredholm's equations: the nucleus must be a square summable in a suitable set.
The Fredholm alternative provides a necessary and sufficient condition for the existence of the solutions: the solution must be orthogonal to the complete set of solutions of the corresponding addition equation i.e. of the Fredholm equation obtained by replacing the Fredholm kernel with its addition and each scalar with its complex conjugate.
In these cases the resolvent can be developed in a power series through the Liouville-Neumann series:
If the nucleus is continuous, every integral Fredholm equation has a unique solution for any known term and the solution, represented by the Liouville-Neumann series, is uniformly convergent.
The Fredholm determinant is the following:
While the determinant of the resolvent is the so-called Riemann zeta function:
An inhomogeneous Fredholm equation of the first type having unlimited integration extrema and kernel defined thus K(x,z)=K(xz) can be seen as the convolution of K(x,z) and y(z) therefore the solution can be written in terms of a Fourier transform or anti-Fourier transform:
There are other integral and integro-differential equations with which physics is scattered, in particular we can recall Maxwell's equations for electromagnetism, the compressibility equation for statistical mechanics and thermodynamics and Boltzmann's equation for physics statistics.
––––––––
Calculation of variations
A fundamental field of application of integral equations concerns the calculus of variations, i.e. the search for the extremal points of the functionals.
The fundamental lemma of the calculus of variations states that given a continuous function in an open set and a continuous and continuously differentiable function in the same open set, if the following condition holds:
And the continuous and continuously differentiable function is zero in both extremes, then the other function is zero in the whole set.
Thanks to this lemma it is possible to pass from an integral version of the calculus of variations, such as Hamilton's variational principle, to the resolution of differential equations, such as those of Euler-Lagrange.
––––––––
Exercises
Exercise 1
Solve the following integral equation:
Recalling the convolution rule of the Laplace transform:
We apply the Laplace transform to both sides and exploit the linearity:
Knowing the transform of the sine function and the convolution rule:
From which:
Isolating the transform:
Which can be rewritten as:
At this point, we apply the inverse Laplace transform and we have the solution:
––––––––
Exercise 2
Solve the following integro-differential equation:
We apply the Laplace transform and remember its linearity:
Recalling the transform of the derivative, of the unit, of the sine and the convolution rule we have:
We isolate the transform:
Breaking down the denominator:
Factoring in simple fractions:
The coefficients will be given by:
Therefore:
At this point all that remains is anti-transform according to Laplace.
––––––––
Exercise 3
Find the solution of Fredholm's equation, integral, inhomogeneous, linear and of the II kind:
Where lambda is an arbitrary parameter, while:
They are given and continuous functions in [a,b]. K(x,y) is called the kernel of the equation and is:
In the space C[a,b] consider:
The definition of distance implies that:
If it happens:
The map A is a contraction in the space C[a,b]. This space is complete. By the contraction theorem, the equation presents, for a sufficiently small lambda, one and only one solution given by:
Exercise 4
Solve, in the sense of distributions, the following Abel equation:
Recalling Euler's gamma function, Abel's equation can be written as:
Where is it:
And the product given above is the convolution in the sense of distributions.
By the properties of the distributional convolution we have:
Using the explicit relation, we get the solution:
––––––––
Exercise 5
Using the solver method, find the solution of:
The first iterated nucleus is null, in fact:
Therefore the nucleus is orthogonal to itself and the solution is obtained simply by substituting g(x) under the integral sign:
––––––––
Exercise 6
Using the contraction method, solve:
We note that:
Taking the maximum, we have:
Operator B is a contraction. Place:
Is found:
So this function is a fixed point and is the solution.
––––––––
Exercise 7
Using the resolvent method, calculate:
Place:
We have:
The resolvent method can be used if:
In that case:
The solution is therefore:
––––––––
Exercise 8
Find the solution of Volterra's equation using both the contraction method and the resolvent method:
For the contraction method, we take:
We have:
For the resolvent method, we consider the truncated Fredholm kernel:
The iterated nuclei will be given by:
And so the solver is:
The solution is therefore:
––––––––
Exercise 9
Calculate eigenvalues and eigenfunctions of the integral equation:
Where is it:
The nucleus is defined by a bounded function and is square summable in [0,1] x [0,1]. It is also symmetrical. The core can be written as:
The eigenvalues and eigenfunctions are given by:
For:
There are no solutions, while for:
There are infinitely many solutions given by:
––––––––
Exercise 10
Using Fredholm's alternative method, solve:
Where is it:
The nucleus is defined by a bounded and summable squared function, moreover it is symmetrical. We can rewrite it as:
The eigenvalue equation is given by:
It has solutions only for:
These solutions are:
We note that, for any n, we have:
This means that there is one and only one solution whatever g(x), in fact:
This solution is:
Exercise 11
Using the degenerate nuclei technique, solve:
Recall that degenerate nuclei are of the form:
Where is it:
They are linearly independent vectors.
The solution can be written as:
In our case, we have:
By integrating we get:
This leads to the following system:
The solution is therefore:
––––––––
Exercise 12
Find the solutions of:
With:
Where u satisfies the Euler-Lagrange equation.
The Euler-Lagrange equation is given by:
The only solution that satisfies the conditions at the extremes is:
However, this solution is not a minimum, in fact given the sequence:
We have:
Given that:
Then m=0. However, the functional I admits minima in the class of piecewise continuous and regular functions, that is, in all those functions which admit a finite number of discontinuities of the first kind in the derivative.
It follows that it is possible to construct infinite functions of this type which satisfy the equation and are minima.
––––––––
Exercise 13
Find the solutions of the following integral functional which has no solutions in the class of functions 
:
With convex integrand function e such that u satisfies the Euler-Lagrange equation with:
You will have:
With ced and real constants. There are no class solutions . Also considering that:
There are no solutions in the class of piecewise regular functions either.
––––––––
Exercise 14
Find the extremal of:
Where u satisfies the Euler-Lagrange equation and we have:
Having to satisfy the Euler-Lagrange equation, we have:
And then:
Functions are a family of hyperbolas.
Imposing the boundary conditions, we have:
The extremal is then:
––––––––
Exercise 15
Find the extremal of:
With:
We have:
From which:
It is a family of circles with center on the abscissa axis.
The solution, if it exists, is unique.
––––––––
Exercise 16
Find the solutions of the functional:
Where u satisfies the Euler-Lagrange equation and we have:
We have that:
So a solution is:
The function must be continuous in c so:
Moreover:
And then:
Two solutions are obtained. One for:
And it's:
The other for:
And it's:
––––––––
Exercise 17
Using the degenerate nuclei technique calculate:
We have:
From the definition we get:
––––––––
Exercise 18
Using the degenerate nuclei technique calculate:
We have:
From the definition we get:
Exercise 19
Calculate eigenvalues and eigenfunctions of the integral equation:
With:
The nucleus is bounded, summable and symmetrical.
It can be written as:
The inverse operator is a first-order differential operator such that:
Whose general solution is:
The normalized eigenfunctions are:
––––––––
Exercise 20
Using Fredholm's alternative, solve:
The nucleus is bounded, summable and symmetrical.
It can be written as:
The equation that determines the eigenvalues is:
Which has solution only for:
We therefore have:
Impressum
Verlag: BookRix GmbH & Co. KG
Tag der Veröffentlichung: 18.04.2023
ISBN: 978-3-7554-3916-5
Alle Rechte vorbehalten