Let us now describe in detail our strategy for the numerical solution of
Equation (37). We will consider this to be a system of two
coupled first-order differential equations for the functions
and
, leading to a pair of numerical development equations,
which can be easily obtained, and that are given by
where is the value of the auxiliary function
, where
is a small increment of the variable
and where
and
are the corresponding increments of the
functions
and
. This system can be integrated by
the use of the Runge-Kutta fourth-order algorithm in a straightforward
way, so long as one has a sensible starting point for the integration
process.
We must now discuss where to start the integration process. There are two
alternatives that we have used. The first alternative is to start at the
inflection point of the function
. As we saw in
Section 3, Equation (37) itself provides us with a
fixed relation between
and
at this
point. This means that, given a value of
at this point,
which will have the role of a free parameter of the system, we have the
corresponding value of
, which then allows us to start
the integration process. The second alternative is to start at the root
of
, which we know necessarily exists and is
necessarily located within the matter region. Once again the value of
at this point will have the role of a free parameter of the
system, and in this case we just start with
. The first
alternative seems to work better for the larger initial values of
, which corresponds to the more dense objects, and the
second alternative seems to work better for the smaller initial values of
, which corresponds to the less dense objects.
In either case, we must start with a choice for the initial value of
. Taking the position
of the inflection point
as the example of a starting point for this discussion, we note that a
choice of value for
is tantamount to a choice of a relation
between
and
, without implying the choice of a definite
value for either one. Therefore the choice of the initial value of
can be quite arbitrary, without leading to any loss of generality. For
example, if we start with
, this only means that we choose the
arbitrary parameter
to be the position of the inflection
point, without actually choosing a value for
. Therefore, a
solution found in this way is not just a single solution, but a
one-parameter family of solutions, parametrized by the values of
.
A similar argument can be made in the case in which we start at the
position
of the zero of
.
Note that the physical constants ,
and
do not appear
individually in either the numerical propagation equations or the initial
values. They appear only as the combination seen in the definition of the
dimensionless constant
, which in turn appears only in the expression
for
,
We will therefore adopt as one of our free parameters for the
numerical work, the others being
and the initial value of
,
which will then result in a certain value of
. Note that the
parameters
that contains the mass
also does not appear in
either the equation or the initial values. It appears only as the
asymptotic boundary condition for
, which is obtained only at
the end of the integration process in the outward direction.
Having chosen an arbitrary initial value for , and depending on
whether we are starting at the zero of
or at its inflection
point, for example with either
or
, we then choose
a value for either
or
, and we use either the
value
or the value of
given in
Equation (53), as implied by
, which is
given by
Departing from the chosen initial point, we then integrate out in both
directions, of increasing and decreasing , until
approaches zero in each case, with a high degree of numerical precision.
Subsequently we concatenate the results into a single function from
to
. The values obtained for
at the two
boundary points are then used to generate analytically the correct exact
solutions in the inner and outer vacuum regions, which are plotted
alongside the corresponding numerical solution, from some point to the
left of
to some point to the right of
. In order to do
this, at the outer boundary we just use the fact that
as given in Equation (51), in order to generate the correct exterior Schwarzschild solution as given in Equations (41) and (42). In order to obtain the dimensionfull physical parameters, we must recall that
We can then simply choose any positive value that we want for , and
thus obtain the corresponding value of the parameter
. This value of
can then be used to obtain
the values of all the other dimensionfull physical parameters of the
system. In the case of the inner boundary we use the fact that
as given in Equation (50), as well as the fact that we have for
the integration constant
in order to generate the correct interior vacuum solution as given in Equations (39) and (40), with
Note that the integration constant for the function within the
matter region must be chosen so that at the outer interface we have
has the correct value, given by
Equation (42). This is easily accomplished by just correcting the
values of
afterwards, by simply adding a constant to them.
From Equation (32) we can see that, since at the outer interface
we have that
, where
, it
follows that if we just ignore the integration constant we get
. Therefore, all that we have to do is to add
to
afterwards, for which we may take
advantage of the fact that
is
already known.
We have used three sets of values of the parameters in order to generate
the data seen on the graphs, the first two starting from the inflection
point of the function , and the last one starting from the
zero of that function. These sets of parameters are as follows.
The first set uses some arbitrary mid-range values of the parameters, that
have the property of just displaying in a simple and clear way all the
main characteristics of the solutions. The second set of parameters
corresponds qualitatively to the configuration of a high-density object
such as a white dwarf or neutron star. In these two cases the integration
was started from the inflection point of
. The
third set of parameters corresponds qualitatively to the configuration of
a low-density object, such as a normal main sequence star. In this case
the integration was started from the zero
of
.