# Dimensional analysis yields the general second-order differential equation underlying many natural phenomena: the mathematical properties of a phenomenon’s data plot then specify a unique differential equation for it

- Gordon R Kepner
^{1}Email author

**11**:38

https://doi.org/10.1186/1742-4682-11-38

© Kepner; licensee BioMed Central Ltd. 2014

**Received: **14 June 2014

**Accepted: **20 August 2014

**Published: **27 August 2014

## Abstract

### Background

This study uses dimensional analysis to derive the general second-order differential equation that underlies numerous physical and natural phenomena described by common mathematical functions. It eschews assumptions about empirical constants and mechanisms. It relies only on the data plot’s mathematical properties to provide the conditions and constraints needed to specify a second-order differential equation that is free of empirical constants for each phenomenon.

### Results

A practical example of each function is analyzed using the general form of the underlying differential equation and the observable unique mathematical properties of each data plot, including boundary conditions. This yields a differential equation that describes the relationship among the physical variables governing the phenomenon’s behavior. Complex phenomena such as the Standard Normal Distribution, the Logistic Growth Function, and Hill Ligand binding, which are characterized by data plots of distinctly different sigmoidal character, are readily analyzed by this approach.

### Conclusions

It provides an alternative, simple, unifying basis for analyzing each of these varied phenomena from a common perspective that ties them together and offers new insights into the appropriate empirical constants for describing each phenomenon.

## Keywords

## Background

What is the nature of the mathematical commonality that underlies each of the following empirically established equations that describe, collectively, numerous and diverse phenomena: $\mathrm{a}\xb7{\mathrm{e}}^{\mathrm{b}t};\phantom{\rule{0.25em}{0ex}}\mathrm{a}\xb7t\phantom{\rule{0.12em}{0ex}}/\left(\mathrm{b}+\mathrm{t}\right);\phantom{\rule{0.12em}{0ex}}\mathrm{a}\xb7{t}^{\mathrm{b}}.;\phantom{\rule{0.12em}{0ex}}\mathrm{a}+\mathrm{b}\xb7{t}^{2};\phantom{\rule{0.5em}{0ex}}\mathrm{a}+\mathrm{b}\xb7lnt;\phantom{\rule{0.5em}{0ex}}\mathrm{a}\xb7{\mathrm{e}}^{\mathrm{b}\xb7{t}^{2}/2}$ and others, such as the Hill equation for multi-site ligand binding? Each of these functions contains two non-zero empirical constants with physical units, excepting (a · *t*^{b}) with one empirical constant and one numerical coefficient as exponent. A second-order differential equation (D.E.) free of these parameters can describe each, using only the variables [*t, y, dy / dt, d*^{2}*y / dt*^{2}].

It is essential that any D.E. describing a natural phenomenon reconcile the units of the terms on both sides of the D.E. The restriction places stringent requirements on the form of the D.E. This is particularly so when the D.E. is also required to be free of empirical constants. Thus, it focuses on the functional relationship of the variables that govern the phenomenon’s behavior, free of empirical constants.

The analysis uses the general underlying D.E., based on a dimensional analysis of the physical variables, together with the directly observable mathematical properties of the experimental data plot unique to the phenomenon. This yields a specific second-order D.E. that underlies the mathematical function describing each phenomenon’s data plot.

The approach is new, unifying, and simple (Occam’s razor). Its restrictive features reflect the essential requirements of dimensional analysis. Integrating yields the true empirical constants for the mathematical function as defined by the boundary conditions that uniquely describe the data plot. Practical examples of natural phenomena are analyzed to derive a specific D.E. and the unique solution function that describes the phenomenon’s behavior for the given boundary conditions.

This analysis technique departs significantly from others that may start with assumptions about the phenomenon’s mechanism, its variables, and empirical constants. Typically, these lead to either an algebraic function with its two empirical constants already assumed or a first-order D.E. with its one assumed empirical constant. Suppose there was a phenomenon of interest but no obvious mechanism on which to base a derivation of the function describing the data plot. How then would it be analyzed mathematically? This can be done in a systematic way using only the general D.E. and the data plot’s mathematical properties. Thus, a mechanism is not an *a priori* condition for undertaking the analysis or for describing mathematically the data plot generated by Nature. It is irrelevant to this mathematical analysis.

In studying a mechanism *per se*, a necessary requirement is that it be able to derive the mathematical function describing the data plot, which has previously been derived in some independent manner. This still does not establish definitively the proposed mechanism as the correct one, nor the correctness of its assumed empirical constants. The empirical constants that emerge in such an approach may not be the same as those that emerge from integrating the second-order D.E. with its specified boundary conditions. This is demonstrated in some of the examples presented here.

Each approach provides different information about the phenomenon. The D.E. approach is only concerned with the fact of the data plot and its role in specifying a D.E. that leads to the algebraic function, with its empirical constants, that describes the data plot. The other approach assumes a mechanism and tests it against the already accepted algebraic function for the data plot. They are not incompatible. It is not an *a priori* requirement that the only interesting analysis of a phenomenon’s data plot must start with a proposed mechanism. The D.E. approach presents new challenges to think about mechanism in a different way in order to derive the D.E. This paper does not also attempt to do this for every example presented.

## Mathematical method

The analysis requires the following:

the experimental data plot for a given natural phenomenon.

the assumption that a function with two non-zero parameters, such as empirical constants having physical units or numerical exponents, describes a particular phenomenon’s data plot.

Seek a general second-order D.E. based on physically reasonable assumptions about the properties of the four variables [*t, y, dy / dt, d*^{2}*y / dt*^{2}] and the rational restrictions they place on this D.E. Apply the principles of dimensional analysis, which mandate that the units on each side (LHS, RHS) of the D.E. be identical. This restriction sorts out the units requirement for each possible term involving some combination of the physical variables that could fit into the D.E., on the RHS — the LHS is always the second derivative of the independent variable. Establishing the relationship of *d*^{2}*y / dt*^{2} to the other variables [*t, y, dy / dt*] yields the second-order D.E. that regulates acceleration. This regulatory process resides in the specific interplay of the terms containing these variables.

Seek to derive the form taken by the function of the variables as linear combinations of terms containing those variables, which meet the assumptions to produce the general D.E. Then choose examples of well-known natural phenomena. Use the general D.E. and the mathematical properties of the phenomenon’s experimental data plot to derive a D.E. that integrates to give the function describing the data plot. Evaluate the empirical constants arising from the integrations using the boundary conditions on the data plot.

## Results

### Deriving general D.E

*d*

^{2}

*y*/

*dt*

^{2}(the acceleration), depends on the variables (

*t, y*) and the velocity (

*dy*/

*dt*). Assume the D.E. has the restricted general form

*f*[] meets the following conditions:

- 1.
excludes empirical constants.

- 2.
excludes non-algebraic terms.

- 3.
excludes

*d*^{ 2 }*y / dt*^{ 2 }identically zero.

Assume *f* [] is a linear combination of variables taking the form, *t*^{p} · *y*^{q} · (*dy / dt*)^{r}. Consider the integer values (+2, +1, 0, -1, -2) for the powers (p, q, r) on these variables. This gives three variables, *t*^{p} · *y*^{q} · (*dy / dt*)^{r}, call these n = 3. Each can exist in five different states (+2, +1, 0, -1, -2), call these m = 5. Thus, when taken three at a time, there are m^{n} = 5^{3} = 125 possible combinations, called terms.

^{2}), which means that

*f*[

*t*,

*y*,

*dy / dt*] must have units of (Y / T

^{2}). This requirement reduces the 125 possibilities to just three: (1 /

*t*) · (

*dy / dt*), (1/

*y*) · (

*dy / dt*)

^{2}, and

*y / t*

^{2}that meet the units requirement for the RHS. Non-algebraic terms such as (sin

*t*) or (ln

*y*) are excluded from this general second-order D.E. because of the units requirements (no non-zero empirical constants with physical units, such as in sin ß

*t*or ln k

*t*). The general expression for the terms that satisfy the units requirement is

where m_{r} ≥ 0 is the integer numerical coefficient for the r_{th} term.

Experience and physical intuition support the assumption that *y / t*^{2}, either alone or in combination with other terms does not lead to a function describing common natural phenomena. When integrated, none of these 16 combinations gives a D.E. with recognizable solution applicable to any common natural phenomenon that is described by two parameters. So, it is excluded. Therefore, m_{0} = 0 here. As the results will show, none of the common phenomena analyzed here require the *y / t*^{2} term.

Thus, this analysis focuses initially on m_{1} and m_{2} equal to 0 or 1. The other two terms can be combined to give linear combinations. This yields eight distinct cases for the RHS, where each case can integrate to a variety of different functions, depending on the values of m_{r} and the boundary conditions.

_{1}= 1 = m

_{2}.

- a.
(

*dy*/*dt*) · [(1 /*t*) + (1 /*y*) · (*dy*/*dt*)] = [(1 /*t*) · (*dy*/*dt*)^{1}] + [(1 /*y*) · (*dy*/*dt*)^{2}] - b.
(

*dy*/*dt*) · [(−1 /*t*) – (1 /*y*) · (*dy*/*dt*)] - c.
(

*dy*/*dt*) · [(1 /*t*) – (1 /*y*) · (*dy*/*dt*)] - d.
(

*dy*/*dt*) · [(−1 /*t*) + (1 /*y*) · (*dy*/*dt*)]

_{1}= 1, and m

_{2}= 0.

- e.
(

*dy*/*dt*) · [(1 /*t*)] - f.
(

*dy*/*dt*) · [(−1 /*t*)]

_{1}= 0, and m

_{2}= 1.

- g.
(

*dy*/*dt*) · [(1 /*y*) · (*dy*/*dt*)] - h.
(

*dy*/*dt*) · [(−1 /*y*) · (*dy*/*dt*)]

Allowing other values for m_{r} greatly increases the number of possible linear combinations. Some examples will be presented. In theory, m_{r} could take a fractional value.

**a**.

This reveals the key relationship between the slope, (*dy / dt*), and the coordinates slope, (*y / t*). The relationship is evaluated directly from the data plot. It is characteristic for each phenomenon and modulates the behavior of the fractional change in the dependent variable, (*dy / y*). It governs the LHS, the acceleration/deceleration.

The task is to establish the specific linear combination that underlies the data plot of a particular natural phenomenon with its boundary conditions. For the same values of m_{r}, any of these D.E.s can describe more than one phenomenon’s data plot when there are different boundary conditions present. Then each function is a unique solution of the D.E. plus boundary conditions.

*f*[], leads to an

*f*[] that mathematically describes the specific data plot. These properties include:

- 1.
The sign of

*d*^{2}*y*/*dt*^{2}is obtained directly from the tangent to the experimental data plot of*y*versus*t*for each phenomenon. The sign of*dy / dt*is also obtainable from direct observation of the plot. - 2.
The behavior and boundedness of

*d*^{2}*y*/*dt*^{2}when*t*goes to zero or to infinity. - 3.
The behavior and boundedness of

*dy / dt*when*t*goes to zero or to infinity. - 4.
The relative magnitudes of the slope,

*dy / dt*, and coordinates slope,*y / t*.

The terms inside the [] of equation (Ic) can be compared to determine if: (*y / t*) < (*dy / dt*) or > (*dy / dt*). Given (*y / t*), the coordinates slope for a line drawn from the origin to a point on the data plot, and (*dy / dt*), the slope at that point, it is possible to establish whether (*dy / y*) is > or < (*dt / t*). For example, if (*dy / dt*) < (*y / t*), then (*dy / y*) < (*dt / t*).

- 1.
At a limit, such as when

*t*goes to zero, is*dy / dt*or*d*^{2}*y*/*dt*^{2}bounded or not? Does the RHS of the D.E. give a bounded or unbounded value? - 2.
Eliminate each case where the sign of the RHS, (

*dy / dt*) ·*f*[], is not the same as the LHS,*d*^{2}*y*/*dt*^{2}. - 3.
Compare the slope (

*dy*/*dt*) to the coordinates slope (*y*/*t*) at a point on the plot, to determine the relative magnitudes of (*dt / t*) and (*dy / y*) — see equation (Id) — or (*y / t*) and (*dy / dt*) — see equation (Ic). - 4.
Each example provides a D.E. that has a unique solution that describes the particular natural phenomenon’s data plot and its boundary conditions.

- 5.
As examples accrue, so the number of possible cases (

**a.**through**h.**) that might apply to the next example must diminish, under the assumption that no two of these eight cases give the same function for the same boundary conditions. - 6.
All the examples are real phenomena with physical variables. It is assumed that as

*t*goes to zero, the*d*^{2}*y*/*dt*^{2}does not go to infinity, therefore bounded.

Physically, equation (Ic) defines the way acceleration (deceleration) depends on velocity—modified by a linear combination of [1 / *t*] and [(1 / y) · (*dy / dt*)]. Only these two modifying factors need to be taken into account. This places restrictions on what needs to be considered for any proposed physical relationship or mechanism.

### Examples

#### Radioactive decay

*N*/ N

_{0}be the fraction of radioactive atoms remaining at time

*t*. The

*N*versus

*t*plot (Figure 1) has its tangent below the curve, so the LHS of the D.E. must be positive and therefore the RHS also.

The slope, *dN / dt*, is negative and decreasing in magnitude as *t* increases. As *N* has a definite value at the origin, N_{0}, it is not zero. It is expected that (*d*^{2}*N / dt*^{2}) and *dN / dt* stay bounded as *t* goes to zero (as does 1 / *N*), whereas the term (1 / *t*) goes to infinity. The coordinates slope, *N / t*, is greater than the slope, *dN / dt*.

**a.**,

**c.**,

**e.**and

**h.**give a negative RHS, incorrect. Cases

**b.**,

**d.**and

**f.**give a RHS that goes to infinity as

*t*goes to zero, whereas the LHS is bounded. Thus, case

**g.**, which is bounded on the RHS, gives

The empirical constants, C_{1} and C_{2}, evaluated for this case, are C_{2} = N_{0} and C_{1} = - k, which is the decay constant for the radioactive atom. The natures of C_{1} and C_{2} are particular to each phenomenon. For the phenomenon of unrestrained exponential population growth, C_{1} = + k, the growth rate, and C_{2} is the starting population.

The LHS of equation (1a), deceleration, is the differential change in *dN / dt*. The RHS is the velocity of decay modulated by [(1 / *N*) · (*dN / dt*)]. The assumption of the inherent random nature of radioactive decay means the fractional change in *N,* (*dN / dN*), per increment, *dt*, at a given *t* is the same. Thus, [(*dN / N*) / *dt*]_{t} is a constant.

#### Probability distribution

Let *P* be the probability density of a random event of magnitude *n*. As *n* increases from the origin to the inflection point, the tangent to the curve remains above the line, so *d*^{2}*P* / *dn*^{2} and *dP / dn* are negative and also increasing in magnitude. However, from the inflection point to infinity, the tangent is below the curve so *d*^{2}*P* / *dn*^{2} is positive and decreasing in magnitude, while *dP / dn* is negative and decreasing in magnitude. From zero to the inflection point, (*dP / dn*) · (1 / *P*) gives the correct sign (negative) for the RHS, but not from the inflection point to infinity where the LHS is now positive. Conversely, from the origin to the inflection point, (*dP / dn*) · [(1 / *P*) · (*dP / dn*)] is positive, which gives the wrong sign. From the inflection point to infinity it gives the correct sign (positive)—because the tangent is below the curve and so LHS is positive, see Figure 2.

- c.
(

*dP*/*dn*) · [(1/*n*) – (*dP*/*dn*) · (1 /*P*)], fails because it is always negative and so cannot accommodate the change in sign of*d*^{2}*P*/*dn*^{2}as it passes through the inflection point. - d.
[(

*dP*/*dn*) · [(− 1/*n*) + (*dP*/*dn*) · (1 /*P*)], fails because it is always positive. - b.
(

*dP*/*dn*) · [− (1/*n*) – (*dP*/*dn*) · (1 /*P*)] = (*dP*/*dn*) ·*P*· [− (*P*/*n*) – (*dP*/*dn*)]. As*n*approaches zero, (*P / n*)_{0}> magnitude of (*dP / dn*)_{0}because (*dP / dn*)_{0}approaches zero, while (*P*_{0}/*n*)_{0}goes to infinity. Therefore, (*dP / dn*) · (-*P / n*) is positive and the larger term. Thus, case**b.**fails because the RHS has to be negative here (tangent above the curve). - a.
(

*dP*/*dn*) · [(1/*n*) + (*dP*/*dn*) · (1 /*P*)] = (*dP*/*dn*) ·*P*· [(*P*/*n*) + (*dP*/*dn*)].

This gives a negative RHS as required, because (*P / n*) is greater than the magnitude of (*dP / dn*).

*P / n*) continues to decrease as

*n*increases to infinity, whereas the magnitude of (

*dP / dn*) increases until it reaches a maximum at the inflection point and then steadily decreases. The sign of

*d*

^{2}

*P*/

*dn*

^{2}changes from negative to positive at the inflection point, because the tangent is below the curve past the inflection point. After that the magnitude of the negative

*dP / dn*becomes greater than (

*P / n*), so (

*dP / dn*) ·

*P*· [+ (

*P / n*) + (

*dP / dn*)] then goes positive once the tangent is below the curve. It follows that (

*P / n*)

_{infl}= (

*dP / dn*)

_{infl}in order for this transition in sign to occur. Thus, case

**a.**gives,

For C_{1} = -1, with units of (1 / *n*^{2}), and C_{2} = P_{0} = 1/√2π = 0.399, with units of probability density, this becomes the probability density function for the (SND), with mean = 0, and standard deviation = 1. The RHS of equation (2a) is thus the unique linear combination of the variables that yields the *P* versus *n* plot for the (SND).

One intuitive approach to deriving the SND, based on the fractional change concept, looks at the relationship between *n* and the fractional change in the probability velocity, where *p* = ∫ *P* · *dn*. Define Δ_{f} (*dp* / *dn*) = [(*d*^{2}*p* / *dn*^{2}) · *dn*] / (*dp* / *dn*).

It seems reasonable, initially and for simplicity, to assume that neither the velocity nor deceleration of the probability depends on the dependent variable, *p*. Therefore, ∆_{f} (*dp / dn*) depends only on the independent variable, *n*.

*P*= (

*dp / dn*) and

*dP / dn*=

*d*

^{2}

*p / dn*

^{2}allows determination of the sign of ∆

_{f}(

*dp / dn*) from the slope of the

*P*versus

*n*data plot in Figure 2 and the relation

where (*dP / dn*) is always negative, so ∆_{f} (*dp / dn*) is negative.

The possibility that ∆_{f} (*dp / dn*) might depend on [- (1 / *n*)] can be excluded by considering the behavior of [(1 / *P*) · (*dP / dn*)] at small values of *n*. There, (1 / *P*) is at its smallest and (*dP / dn*) is also small, so their product is even smaller. Whereas, (1 / *n*) is at its largest at small *n*. The behavior of [(1 / *P*) · (*dP / dn*)] mirrors the behavior of *n*, as *n* increases.

_{f}(

*dp / dn*) depend directly on

*n*, giving

*n*

^{2}), then

So, at any point on the *P* versus *n* plot, the probability’s deceleration equals the probability density’s slope and that equals the area (- *n · P*), see Figure 2. A plot of (- *n · P*) versus *n* reveals the behavior of the probability’s deceleration and the probability density’s velocity. They steadily decrease to reach a minimum at *n* = 1, then increase passing through an inflection point at *n = √* 3 and approach zero as *n* goes to infinity.

The fractional change in the probability density slope, ∆_{f} (*dP / dn*) = [(1 / *n*) – *n*] · *dn*. Together with ∆_{f} (*dp / dn*) = - *n · dn,* these second-order D.E.s define the essential mathematical constraints that govern the continuous SND.

#### Laminar flow in blood vessel

_{c}= cylinder radius [1]. The velocity,

*v*, is a function of the distance from the center of the vessel,

*r*. Experimental data show (Figure 3) that

*v*is a parabolic function of

*r*, in this simple case, with maximum velocity at the vessel’s center where

*r*= 0.

This analysis uses the standard assumptions to simplify the problem, as others have done, and treat it as simple laminar flow in a cylindrical vessel. The value of *v* decreases as *r* increases to *r* = R_{c} at the vessel wall, where *v* = 0, the non-slip condition, and *dv / dr =* 0 because of axial symmetry. The tangent is above the curve so *d*^{
2
}*v* / *dr*^{2} is negative as is *dv / dr*, and both are bounded as *r* goes to zero. Both are increasing in magnitude as *r* increases to R_{c}. The velocity, *v,* is steadily decreasing in magnitude as *r* approaches the vessel wall at radius R_{c}.

Cases **b.**, **d.**, **f.** and **g.** give a positive RHS, incorrect. Of the remaining cases, **a.**, **c.** and **h.** contain (1 / *v*) · (*dv / dr*)^{2}. When *v* goes to zero, this goes to infinity so the RHS ≠ LHS, which is bounded. The case **e.** does not go to infinity. Additionally, when *r* goes to zero then (*dv / dr*) / *r* goes to (0 · ∞). Applying l’Hopital’s Rule gives (*d*^{
2
}*v* / *dr*^{2})_{0} / 1 = LHS.

*r*= 0, then

*v*=

*v*

_{max}= C

_{2}. When

*v*= 0, then

*r =*R

_{c}and so C

_{1}= -2 ·

*v*

_{max}/ (R

_{c})

^{2}. This gives

Standard formulations for the velocity of flow have assumed a constant containing three factors: the pressure drop, ∆P; the fluid viscosity, μ; and the vessel length, L; related by K = ∆P / (4 · μ · L). Therefore, [*v*_{max} / (R_{c})^{2}] = ∆P / 4 · μ L. The approach developed here to derive equation (3d) relied on the relationship between the variables, independent of assumptions about empirical constants. It also showed that a complete description of the data plot is obtainable from *v*_{max} and R_{c}, well-defined and directly measurable quantities.

The D.E. also emerges from the assumption that the jolt (rate of change of *dv / dr = d*^{2}*v / dr*^{2}) is directly dependent on the acceleration, *dv / dr*, and is independent of velocity, *v*. It depends only on the geometry as defined by *r.* Therefore, the RHS must have units of *v / r*^{2} and so it must take the form (*dv / dr*) · (1 / *r*), revealing the inverse dependence on *r* as expected.

#### Response to sound intensity

*I*, and the perceived loudness equal

*L*. The experimental data plot (Figure 4) has the initial value I

_{0}at

*L*= 0, and rises steadily with decreasing slope as

*I*increases.

The slope, *dL* / *dI*, is positive and *d*^{
2
}*L* / *dI*^{2} is negative because the tangent is above the curve. Therefore, both the LHS and RHS must be negative. The LHS, (*d*^{2}*L / dI*^{2}), is bounded when *L* goes to zero, where *I* = I_{0}.

**a.**,

**c.**,

**e.**and

**g.**give a positive RHS, incorrect. Cases

**b.**,

**d.**and

**g.**go to infinity on the RHS when

*L*goes to zero. Case

**f.**gives a finite RHS, thus

_{0}. When

*L*= 0, then

*I*= I

_{0}, giving

The value of C_{1} is determined experimentally and is referenced to a tone of 1000 Hz for humans, for this relationship.

_{f}(

*dL / dI*) depends on ∆

_{f}(

*I*). Thus, for a negative LHS,

as in equation (4a).

#### Power law examples

*r*. A small change in its diameter alters the intensity,

*I*, of entering light [1]. The data plot (Figure 5a) has a tangent below the curve, so the second derivative is positive. Therefore, the RHS of the D.E. must be positive. This eliminates cases that give a negative RHS:

**b.**,

**c.**,

**f.**and

**h.**Case

**c.**is negative because from the data plot, (

*dI / dr*) >

*I / r*.

- a.
(

*dI*/*dr*) · [(1 /*r*) + (1 /*I*) · (*dI*/*dr*)]. - d.
(

*dI*/*dr*) · [(− 1 /*r*) + (1 /*I*) · (*dI*/*dr*)]. - e.
(

*dI*/*dr*) · (1/*r*). - g.
(

*dI*/*dr*) · [(1 /*I*) · (*dI*/*dr*)].

**a.**,

**e.**,

**g.**) have been employed for the first three examples. This leaves case

**d.**for this example with its boundary conditions. Additionally, only

**d.**satisfies the condition that the RHS equals the bounded LHS as

*r*goes to zero, for any bounded value on the LHS (zero or nonzero). Thus,

_{1}is the dimensionless numerical scaling factor defined by the ratio of the fractional changes in the variables. It is not an empirical constant, but a numerical coefficient without units. Therefore it is redefined here to C

_{1}= n, giving

*I*versus ln

*r*, when linear, yields n. The plot in Figure 5a applies when n > 1. Intuitively, it is reasonable to assume that ∆

_{f}(

*dI / dr*) is directly dependent on

*I*and inversely dependent on

*r.*Thus,

as in equation (5a).

Many important natural phenomena can be described when 0 < n < 1. These include a broad class of allometric phenomena that describe how basic and complex natural phenomena scale with size, typically following a power law. The value of n is generally thought to be a multiple of (1 / 4), [2]. The example presented in Figure 5b represents the relation between basal metabolic rate, *B*, and organism mass, *M*. Again, assume ∆_{f} (*dB / dM*) = ∆_{f} (*B / M*) to obtain equation (5a).

**b.**,

**d.**,

**f.**and

**h.)**as was done in the previous example leads, as expected, to case

**d.**, giving

where 0 < n < 1. The slope of the log-log plot gives n, when linear. Commonly, the value found in such experiments is n ≈ (3 / 4). It has been suggested that C_{2} has biological significance [3]. It is usually treated as a normalization factor. There is an ongoing search for a mechanism to explain this function [2, 4]. “The belief that metabolic rate and other physiologic variables are related to body mass by a two-variable power law is assumed *a priori* in FNT (Fractal Network Theory). Yet it is not deducible from any principles of physics, geometry or biology, so it must be considered an unacknowledged *ad hoc* assumption.” [4], see also [5]**.** Thus, as pointed out in the Background, when no mechanism exists then the D.E. and the data plot’s properties provide the mathematical basis for the function that serves as the benchmark test for the relevance of any proposed mechanism and the appropriate empirical constants.

The question of the awkward units for C_{2} and *M*^{(3/4)}, (grams)^{3/4}, seems not to arise. Suppose a different value of *M* was used, say *M*_{c} that gave a more precise estimate of the actually metabolizing cellular mass. This could yield a relation where *B*_{c} = K_{c} · (*M*_{c})^{n}, where n could be an integer. For example, correcting for factors such as fluid in the bladder, waste in the bowel, blood plasma volume, and extracellular fluid would produce a smaller *M*_{c} that might lead to an integer value of n. This could yield a more realistic set of units. If n = 1, then K_{c} = (cal / hr) / g. Thus, K_{c} gives the basal metabolic rate per gram of the presumed metabolizing cellular mass, *M*_{c}.

This approach to identifying the metabolizing cell mass could aid the search for a mechanism. The D.E. with its factors modifying the *dB* / *dM* — (1 / *B*) and (1 / *M*) · (*dB / dM*) — offers another approach to developing a mechanism based on the metabolizing cell mass. Such data analysis could produce a value of m > 1, so the plot would take the form of Figure 5a.

#### Multiple ligand binding

[The subsequent equations (6a and 7a) will illustrate the effect of allowing m_{r} to have values greater than one, as well as when m_{1} does not equal m_{2}. As will be shown, equation (6a) has m_{1} = 5 and m_{2} = 2; and equation (7a) has m_{1} = 2 = m_{2}].

_{2}binding to Hb [6]. The first stage of the data plot (Figure 6) is the binding of a ligand to one of the four unbound subunit sites on the Hb oligomer, each with a low affinity for O

_{2}in the unbound T-state (the T-sites).

The three remaining unbound sites were assumed to transform (equivalently and simultaneously) into the R-state (the R-sites), due to the conformational change in Hb structure induced by the initial ligand binding to one of the T-sites [7]. These three, newly created, R-sites then exhibited an increased affinity for binding additional O_{2}. The total number of binding sites on the oligomer was n_{S} = 4 = n_{T} + n_{R} = 1 + 3. Thus, n_{T} = 1 for whichever of the four, initially unbound, T-sites on the Hb oligomer bound the ligand in first-stage binding. Then n_{R} = 3 for the R-sites engaged in second-stage binding.

*B*is the amount of bound sites and

*L*is the ligand concentration, gives the classic Hill equation. At

*L =*0, then

*B*= 0, and as

*L*goes to infinity then

*B*goes to B

_{lim.}The first derivative, (

*dB*/

*dL*), is always positive. The second derivative,

*d*

^{2}

*B*/

*dL*

^{ 2 }, is positive below the inflection point and negative above it. Thus, as previously

*d*

^{2}

*B*/

*dL*

^{ 2 }depends on

*L, B,*and

*dB*/

*dL*, and

*f*[] contains terms of the form

*L*

^{p}·

*B*

^{q}· (

*dB*/

*dL*)

^{r}and the units on

*f*[] must be (

*B*/

*L*

^{2}). This gives as before the two possibilities, (1 /

*L*) and (1 /

*B*) · (

*dB*/

*dL*). Regardless of the sign, neither alone can account for the changes in sign of the second derivative as it passes through the inflection point. The four linear combinations are then:

- a.
(1 /

*L*) + (1 /*B*) · (*dB*/*dL*), always positive, so incorrect. - b.
(− 1 /

*L*) + (− 1 /*B*) · (*dB*/*dL*), always negative, so incorrect. - c.
(1 /

*L*) – (1 /*B*) · (*dB*/*dL*) = [(*dL*/*L*) – (*dB*/*B*)]. - d.
(− 1 /

*L*) + (1 /*B*) · (*dB*/*dL*) = [− (*dL*/*L*) + (*dB*/*B*)].

Compare the coordinates slope, *B / L*, with the slope, *dB / dL*. Below the inflection point, [(*B / L*) < (*dB / dL*), and so (*dL / L*) < (*dB / B*). So case **c.** gives a negative RHS, incorrect. Then case **d**. gives the correct positive sign for the RHS, because the LHS is positive below the inflection point (tangent below the curve).

_{T}+ 1 and M = n

_{R}+ n

_{T}+ 1 = n

_{S}+ 1, for ligand binding to multiple sites on the same molecule, such as O

_{2}binding to the four sites on a Hemoglobin molecule, gives for n

_{S}total sites, with n

_{T}= 1,

_{1}= n

_{S}+ 1 = 5, and m

_{2}= n

_{T}+ 1 = 2. This is the same basic D.E. for the relationship of the variables as equation (5a), only with different values for m

_{1}and m

_{2}, as well as different boundary conditions. After rearranging into the fractional change form and integrating,

*L*went to infinity, the limiting value went to

_{1}· B

_{lim}/ n

_{S}) = K

_{n}illustrated its dependence on the number of binding sites present. In this case, K

_{n}must have units of concentration to the power n

_{S}. Therefore, C

_{1}has units of ${\left[\mathrm{mol}\phantom{\rule{0.12em}{0ex}}/\phantom{\rule{0.12em}{0ex}}\mathrm{L}\right]}^{\left({\mathrm{n}}_{\mathrm{S}}-1\right)}\xb7{min}^{-1}={\left[\mathrm{mol}\phantom{\rule{0.12em}{0ex}}/\phantom{\rule{0.12em}{0ex}}\mathrm{L}\right]}^{{\mathrm{n}}_{\mathrm{R}}}\xb7{min}^{-1}$. In the single-site case, where now n

_{S}= 1 and n

_{R}= 0, this gave C

_{1}= min = 1 / k. Thus, k = min

^{-1}became the initial binding rate constant, the slope evaluated as

*L*went to zero. For multiple-site binding, $1\phantom{\rule{0.12em}{0ex}}/\phantom{\rule{0.12em}{0ex}}{\mathrm{C}}_{1}={\mathrm{k}}_{\mathrm{R}}={\left[\mathrm{mol}\phantom{\rule{0.12em}{0ex}}/\phantom{\rule{0.12em}{0ex}}\mathrm{L}\right]}^{{\u2012\mathrm{n}}_{\mathrm{R}}}\xb7{min}^{-1}$. Using this gave (B

_{lim}/ n

_{S}· k

_{R}) ≡ K

_{n}and equation (6e) became

giving the Hill equation for multiple binding sites [6].

#### Enzyme catalysis

*v*be the catalytic reaction velocity and

*A*the substrate concentration. Observation of the experimental data plot (Figure 7) for

*v*versus

*A*reveals the characteristic saturation behavior as

*A*becomes very large.

*d*

^{2}

*v*/

*dA*

^{2}and

*dv*/

*dA*decrease as

*A*increases. The Michaelis-Menten (M-M) equation for simple enzyme catalysis requires a second-order D.E., to be derived here, relating the variables (

*A*,

*v*,

*dv / dA*) that is free of assumptions about mechanism and empirical constants. In general then,

The units of the LHS are [*v / A*^{2}]. As before there are eight distinct cases that satisfy the units requirement.

Cases **a.**, **c.**, **e.** and **g.** give a positive RHS, incorrect. Applying l’Hopital’s Rule to the RHS of the remaining cases for *A* goes to zero shows that only case **d.** will give a RHS = (*d*^{2}*v* / *dA*^{2})_{0} = LHS.

Now introduce (as shown previously for the Hill equation) the integer coefficients N and M into the linear combination (**d.**) that define the roles of the binding sites, where N = n_{T} + 1

This is the same basic D.E. as equations (5a) and (6a), with different values for m_{1} and m_{2}, as well as different boundary conditions.

_{2}, and M = 0 + 1 + 1 = 2 = m

_{1}, because there is only one binding / catalytic site, see also [8].

_{1}= 1 / k

_{bind}, which measures the binding interaction between a specific substrate and specific enzyme. As

*A*increases, the limiting value of

*v*is given by C

_{2}= 1 / k

_{cat}, which measures the limiting rate of catalysis when the enzyme becomes saturated with substrate. Thus

expresses the behavior of *v* solely in terms of the fundamental properties of the enzyme's catalytic function, k_{bind} and k_{cat}, and its dependence on *A*. As expected, increasing any of these increases *v*.

where V = k_{cat} · (total enzyme present). The Michaelis constant, K_{m}, is actually a derived quantity, not a fundamental property of the enzyme's catalytic function, because it is defined by K_{m} = k_{cat} / k_{bind}. It also differs from k_{cat} and k_{bind} because, in the presence of an inhibitor, neither k_{cat} nor k_{bind} is ever observed to increase, as expected, whereas in some circumstances K_{m} does increase (e.g., if the inhibitor acts only to decrease k_{bind}). Thus, the D.E. leads uniquely to equation (7d), which identifies the importance of k_{bind} and clarifies the meaning of K_{m}, see [8].

#### Logistic growth

*P*/ d

*t*. The approach developed here is the first to take up the idea presented by Ginzburg [11] that the second derivative of the population with respect to time (

*d*

^{2}

*P / dt*

^{2}), the growth acceleration, might be a useful variable for describing population growth. This common phenomenon (Figure 8) exhibits sigmoidal behavior differing mathematically from the sigmoidal Hill equation in having a finite value at zero time, the initial population P

_{0}.

*d*

^{2}

*P / dt*

^{2}to the relevant variables. Population growth depends only on the changes in the population, not on the time,

*t,*and so the D.E. is autonomous. The acceleration at any time,

*t*, depends on the population (

*P*) available at

*t*, on the remaining population growth available in the system,

*P*

_{a}, and on the net production rate of new members (

*dP / dt*)

_{ t }= [(population gain rate – loss rate) / time increment]

_{ t }. So

^{2}) term for the units on the RHS,

*f*[] must include (

*dP / dt*)

^{2}, therefore

Now, *P* / *T*^{2} = (*P*^{2}/ *T*^{2}) · (1 / *P*) is required, and so *g* [] has units of (1 / P) = P^{-1}.

*d*

^{2}

*P / dt*

^{2}changes from positive below the inflection point, to negative above it. The sign of (

*dP / dt*)

^{2}is always positive. Therefore, the sign of

*g*[(

*P*)

^{q}, (

*P*

_{a})

^{r}] must be positive below and negative above the inflection point. Consider linear combinations of (1 /

*P*) — a growth promotion function that starts out large and decreases as population increases — and 1 / (

*P*

_{a}) = 1 / (

*P*

_{i}) that acts as a growth inhibitory function, which starts out small and increases in magnitude as population increases, because there are now fewer resources available for additional population growth. The question is how do they combine?

- a.
(1 /

*P*) + (1 /*P*_{i}), fails because it is always positive. - b.
- (1 /

*P*) – (1 /*P*_{i}), fails because it is always negative. - c.
- (1 /

*P*) + (1 /*P*_{i}), fails because when*t*is small, the magnitude of (1 /*P*) is greater than (1 /*P*_{i}). Therefore, the RHS is negative, whereas the LHS,*d*^{2}*P / dt*^{2}, is positive (tangent below the curve). - d.(1 /
*P*) – (1 /*P*_{i}) is correct because it is positive below and negative above the inflection point where (1 /*P*) < (1 /*P*_{i}), as required, giving$\frac{{d}^{2}P}{d{t}^{2}}={\left(\frac{\mathit{dP}}{\mathit{dt}}\right)}^{2}\xb7\left[\frac{1}{P}-\frac{1}{{P}_{\mathrm{i}}}\right]$(8c)

*t*increases from zero, the first term dominates and reflects growth that is slowing as

*P*increases towards the inflection point. After the inflection point, as

*t*continues to increase, the limitations imposed by decreasing resources are reflected in the further decrease in (1 /

*P*) and the increase in magnitude of (1 /

*P*

_{i}), because

*P*

_{i}is getting smaller as

*t*increases, giving a slowly increasing and negative RHS, as required. Assume

*dP / dt = - dP*

_{a}

*/ dt*, giving after integration,

*P*

_{a}+

*P*) =

*P*

_{i}+

*P*= P

_{∞}, the limiting size of the population. Integrating gives

the logistic function, where C_{2} = P_{0,} the starting population, and C_{1} = k, a measure of the growth rate in the presence of a limiting factor.

## Discussion

These results establish the basic principle that the mathematical properties of the experimental data plot specify a second-order D.E. describing that plot and the natural phenomenon that generates it. The derivation of the general D.E. involves only the variables. It is independent of assumptions about empirical constants and mechanisms. What makes this possible is the analytic power of the dimensional analysis restriction on the terms for each side of the D.E. equation.

The D.E. approach is simple, unifying, and revealing of the fundamental relationship among the variables. This is different from the relationships presented either by the algebraic function with its two empirical constants already specified, or by the first-order D.E. with its one specified empirical constant. The focus is on the dynamics of the change in acceleration (*d*^{2}*y* / *dt*^{2}) and its dependence on the velocity (*dy / dt*) — as modified by a particular linear combination of (1 / *t*) and (1 / *y*) · (*dy / dt*). It is the absence of empirical constants that allows this relationship to emerge.

Just two factors are invoked to specify the unique form of each second-order D.E. considered here, (1 / *t*) and (1 / *y*) · (*dy / dt*). The D.E.s revealed the non-linear dependence of *d*^{2}*y / dt*^{2} on (1 / *t*) · (*dy / dt*) and (1 / *y*) · (*dy / dt*)^{2}. The integrable fractional change form for each of these factors is, (*dt / t*) and (*dy / y*). A useful analytical concept is the relation between the coordinates slope (*y / t*) and the slope (*dy / dt*). It yields the relative magnitudes of the fractional changes in the variables for the data plot.

Each D.E. established the basic relationship among the variables describing each phenomenon. The appropriate empirical constants arise directly from the integrations and boundary conditions. Of particular interest was the ability of this analytical method to derive the D.E. for three related, but different, complex phenomena with different sigmoidal data plots — Standard Normal Distribution, Logistic Growth, and Hill Ligand Binding.

This analysis of the mathematical properties of the data plot for a specific natural phenomenon offers a new, simple, mechanism-independent method of deriving definitively the underlying D.E. for these natural phenomena. Often, different mechanisms can lead to the same function for describing a natural phenomenon. Even if such a mechanism derives the function describing the data plot, this does not establish definitively its validity. The Occam’s razor approach developed here avoids these problems.

The approach illustrates the analytical value of dimensional analysis in deriving differential equations that define the relationships among the variables, free of empirical constants. It develops the principle that each phenomenon gives unique mathematical properties to the data plot. The mathematical properties of the data plot are independent of mechanism, though not the converse. The defining relationships among the variables for each phenomenon reside in the experimental data plot. Reading the plot tells the phenomenon’s story.

## Declarations

### Acknowledgements

No external sources of funding.

## Authors’ Affiliations

## References

- Batschelet E: Introduction to Mathematics for Life Sciences. 1979, New York: SpringerView ArticleGoogle Scholar
- West G, Brown J: The origin of allometric scaling laws in biology from genomes to ecosystems: towards a quantitative unifying theory of biological structure and organization. J Exper Biol. 2005, 208: 1575-1592. 10.1242/jeb.01589.View ArticleGoogle Scholar
- Gayon J: History of the concept of allometry. Amer Zool. 2000, 40: 748-758. 10.1668/0003-1569(2000)040[0748:HOTCOA]2.0.CO;2.Google Scholar
- Agutter P, Tuszynski J: Analytic theories of allometric scaling. J Exper Biol. 2011, 214: 1055-1062. 10.1242/jeb.054502.View ArticleGoogle Scholar
- daSilva J, Garcia G: Allometric scaling laws of metabolism. Phys life Rev. 2006, 2: 229-261.View ArticleGoogle Scholar
- Hill A: The combination of hemoglobin with oxygen and carbon dioxide. J Physiol. 1910, 40: iv-vii.Google Scholar
- Monod J, Wyman J, Changeux J: On the nature of allosteric transitions: a plausible model. J Mol Biol. 1965, 12: 88-118. 10.1016/S0022-2836(65)80285-6.View ArticlePubMedGoogle Scholar
- Kepner G: Saturation behavior: a general relationship described by a simple second-order differential equation. Theor Biol Med Model. 2010, 7: 11-10.1186/1742-4682-7-11.PubMed CentralView ArticlePubMedGoogle Scholar
- Zeide B: Analysis of growth equations. For Sci. 1993, 39: 594-616.Google Scholar
- Tsoularis A, Wallace J: Analysis of logistic growth equations. Math Bioscis. 2002, 179: 21-55. 10.1016/S0025-5564(02)00096-2.View ArticleGoogle Scholar
- Ginzburg L: The theory of population dynamics: I. Back to first principles. J Theor Biol. 1980, 122: 385-397.View ArticleGoogle Scholar

## Copyright

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited. The Creative Commons Public Domain Dedication waiver (http://creativecommons.org/publicdomain/zero/1.0/) applies to the data made available in this article, unless otherwise stated.