4. Solution of the linear boundary-value problem
Before proceeding to the solution, we note that so formulated problem allows for complete separation of spatial variables. Indeed, if one represent sought variables
u,
w in the form of multiplicative decomposition
that meet the conditions
where
is an arbitrary constant, then the system of homogeneous equation, defined by LHS of (
6) can be written in the form
Here
are constants of separation [
26], and the prime means differentiation with respect to the variable on which a specific function depends. Actually, these constants turn out to be equal, which is easy to see from the relations, that can be obtained by differentiation of equations (
8):
Taking them into account, from (
9) one gets
Therefore, a homogeneous system of partial differential equations splits into two independent systems of ordinary differential equations
Separating the variables in equations is only half a matter. To complete the matter, it is also necessary to separate the variables in the boundary conditions. But this is where the considerations, discussed above for the cylindrical part of the boundary, come in handy. Substituting (4) into LHS of relations (
7) one obtains:
With account of (
8) these equalities can be rewritten as:
Thus, we arrive at two independent boundary-value problems containing only ordinary differential equations (ODE). It is this fact, that allows us to further construct representations of the solution in terms of known elementary and special functions, since all of them are solutions of corresponding ODE’s.
Let’s now start constructing the solution of (
10) – (13) itself. First, consider the auxiliary problem (
10), (
12). Note that, because the corresponding differential operator is self-conjugate, it can be classified as Sturm–Liouville problem on the interval
[
27]. It follows that all it`s non-trivial solutions constitute a basis in Hilbert space of vector-valued functions over this interval. The solution of the equations (
10) (for
) can be given in the form of combinations of Bessel functions:
where
and
are arbitrary constants,
are Bessel functions of the first and second kind correspondingly [
28]. Keeping in mind that the sought displacement functions has to be bounded at the pole (
), we set constants
,
equal to zero. The two remaining boundary conditions (
12) will be satisfied if any root of the transcendental equation
is taken as
. In fact, each such a value is two-fold eigenvalue of the Sturm-Liouville problem, which corresponds to the two-dimensional eigensubspace. The bases in each subspace can be chosen by setting the constants
equal to
and
. It remains only to note that in the special case
the solution to the boundary value problem has the form
. Thus the eigenfunctions can be defined as countable sequence
where
and any square-integrable vector-function can be represent (in weak form) as decomposition
with suitable sequence of Fourier coefficients
. To simplify calculations, it is advisable to use normalized eigenfunctions
The decomposition procedure can be formalized with orthogonal projectors onto eigensubspaces, represented in the following form:
Now any square-integrable function can be represented by a sequence of Fourier coefficients, and vice versa, from the sequence of Fourier coefficients a vector function can be reconstructed (in the weak sense)
Here
denotes the space of square summable sequences, while
is the space of quadratically integrable (with weight
r) two-component vector-functions, and
stands for the result of successive mutual mappings between these spaces, which may differ from the original
on a set of measure zero [
27].
Note that direct numerical computation for a long sequences of transcendental equation roots
gives rise to a well-known computational problem (in a view of possible missing roots or incorrect determination of their multiplicity). In application to the problem under consideration it can be easily solved if one applies the asymptotic approximation for
:
The result of the action of projection operators (
14) on the right-hand sides of the equations (
6) will be denoted by the symbols
For further analysis, we will need projections of two special cases of distributions of volumetric forces relative to the radial coordinate, namely
stepwise self-balanced distribution taking a unit value on the interval
and a constant value of the opposite sign on the interval
,
i.e.
self-balanced distribution (see (
1)), taking a unit value on the interval
and a constant value of the opposite sign on the interval
,
i.e.
The formulations of such distributions and the result of the action of projectors on them are given below:
Passing to the limit
in these relations, and taking into account the equality
where
is a zero of
, one can obtain the following expressions for projections, valid for the case
:
This corresponds to the case when the reactive body forces are distributed in an infinitely thin boundary ring (and can be formally represented in terms of Dirac delta functions).
Using constructed above orthonormal basis, one can represent the sought displacement functions in the form of expansions
where
,
,
are Fourier coefficients which themselves are functions, but of another spatial variable
z. To find these coefficients, one has to substitute the formal expansion (
16) into equations (
6), boundary conditions (
7) and then apply projectors (
14) to the left and right sides of the resulting functional equations. This results in countable sequence of independent ordinary differential equations (with respect to
z),
and two-point boundary conditions
As above, we will separately consider the case
One can see that something is wrong with this boundary-value problem. Indeed, the solution of differential equation (
19) can be obtained in the form
but from the boundary conditions it is impossible to determine the constant
. On the other hand, differentiating the resulting solution, we find
Therefore, to satisfy first boundary condition, one should set
and the second boundary condition will be satisfied only if
It easy to see that the condition for the existence of a solution is equivalent to the requirement for external fields to be self-balanced.
All we have to do is to obtain solutions for two-point boundary value problems with respect to expansion coefficients. These boundary-value problems are of the same type and are determined by ordinary differential equations with constant coefficients. To this end we firstly get the general solution of differential equation (
17) in the form (to shorten the notation, we will omit the index n):
Here
stands for the matrix containing fundamental system of solutions for homogeneous counterpart of equation (
17):
where
A,
B are the roots of corresponding characteristic equation,
and
denotes particular solution, obtained with Lagrange method:
Constants of integration, defined by the expression in parentheses (
20), are chosen in such a way that the boundary conditions (
18) are satisfied. They are given by the following expressions
In the above expressions, the following notation was used for abbreviation:
and
In the case when the density of volumetric force does not depend on
z (and equal to
), the particular solution (
23) takes the form:
Corresponding values for constants of integration are
Another important case, which will be used in section 6, corresponds to the unit distribution on interval
,
i.e.
In this case, the integral (
23) is calculated in the form
where
It should be noted that in the case of an isotropic material (
), the values of the roots (
22) of the characteristic equation coincide,
, and to construct a solution, instead of the fundamental matrix (
21), one should use the matrix, which is obtained from the latter by passing to the limit and contains the ODE associated solutions:
where
(
,
are the Voigt average moduli (
5)). All other relations are obtained similarly by passing to the limit.