Logarithmic mean
   HOME

TheInfoList



OR:

In mathematics, the logarithmic mean is a
function Function or functionality may refer to: Computing * Function key, a type of key on computer keyboards * Function model, a structured representation of processes in a system * Function object or functor or functionoid, a concept of object-oriente ...
of two non-negative
number A number is a mathematical object used to count, measure, and label. The original examples are the natural numbers 1, 2, 3, 4, and so forth. Numbers can be represented in language with number words. More universally, individual numbers c ...
s which is equal to their
difference Difference, The Difference, Differences or Differently may refer to: Music * ''Difference'' (album), by Dreamtale, 2005 * ''Differently'' (album), by Cassie Davis, 2009 ** "Differently" (song), by Cassie Davis, 2009 * ''The Difference'' (al ...
divided by the
logarithm In mathematics, the logarithm is the inverse function to exponentiation. That means the logarithm of a number  to the base  is the exponent to which must be raised, to produce . For example, since , the ''logarithm base'' 10 of ...
of their
quotient In arithmetic, a quotient (from lat, quotiens 'how many times', pronounced ) is a quantity produced by the division of two numbers. The quotient has widespread use throughout mathematics, and is commonly referred to as the integer part of a ...
. This calculation is applicable in
engineering Engineering is the use of scientific principles to design and build machines, structures, and other items, including bridges, tunnels, roads, vehicles, and buildings. The discipline of engineering encompasses a broad range of more speciali ...
problems involving
heat In thermodynamics, heat is defined as the form of energy crossing the boundary of a thermodynamic system by virtue of a temperature difference across the boundary. A thermodynamic system does not ''contain'' heat. Nevertheless, the term is ...
and
mass transfer Mass transfer is the net movement of mass from one location (usually meaning stream, phase, fraction or component) to another. Mass transfer occurs in many processes, such as absorption, evaporation, drying, precipitation, membrane filtration ...
.


Definition

The logarithmic mean is defined as: :\begin M_\text(x, y) &= \lim_ \frac \\ pt &= \begin x & \textx = y ,\\ \frac & \text \end \end for the positive numbers x, y.


Inequalities

The logarithmic mean of two numbers is smaller than the arithmetic mean and the
generalized mean In mathematics, generalized means (or power mean or Hölder mean from Otto Hölder) are a family of functions for aggregating sets of numbers. These include as special cases the Pythagorean means (arithmetic, geometric, and harmonic means). D ...
with exponent one-third but larger than the geometric mean, unless the numbers are the same, in which case all three means are equal to the numbers. : \sqrt \leq \frac\leq \left(\frac2\right)^3 \leq \frac \qquad \text x > 0 \text y > 0. Toyesh Prakash Sharma generalizes the arithmetic logarithmic geometric mean inequality for any n belongs to the whole number as : \sqrt (\ln(\sqrt))^ (\ln(\sqrt)+n)\leq \frac\leq \frac Now, for n=0 : \sqrt (\ln(\sqrt))^ (\ln(\sqrt))\leq \frac\leq \frac : \sqrt \leq \frac\leq \frac This is the arithmetic logarithmic geometric mean inequality. similarly, one can also obtain results by putting different values of n as below For n=1 : \sqrt (\ln(\sqrt)+1)\leq \frac\leq \frac for the proof go through the bibliography.


Derivation


Mean value theorem of differential calculus

From the mean value theorem,
there exists In predicate logic, an existential quantification is a type of quantifier, a logical constant which is interpreted as "there exists", "there is at least one", or "for some". It is usually denoted by the logical operator symbol ∃, which, w ...
a value \xi in the interval between ''x'' and ''y'' where the derivative f' equals the slope of the
secant line Secant is a term in mathematics derived from the Latin ''secare'' ("to cut"). It may refer to: * a secant line, in geometry * the secant variety, in algebraic geometry * secant (trigonometry) (Latin: secans), the multiplicative inverse (or recipr ...
: :\exists \xi \in (x, y): \ f'(\xi) = \frac The logarithmic mean is obtained as the value of \xi by substituting \ln for f and similarly for its corresponding
derivative In mathematics, the derivative of a function of a real variable measures the sensitivity to change of the function value (output value) with respect to a change in its argument (input value). Derivatives are a fundamental tool of calculus. ...
: :\frac = \frac and solving for \xi: :\xi = \frac


Integration

The logarithmic mean can also be interpreted as the
area Area is the quantity that expresses the extent of a region on the plane or on a curved surface. The area of a plane region or ''plane area'' refers to the area of a shape or planar lamina, while '' surface area'' refers to the area of an ope ...
under an
exponential curve Exponential growth is a process that increases quantity over time. It occurs when the instantaneous rate of change (that is, the derivative) of a quantity with respect to time is proportional to the quantity itself. Described as a function, a ...
. : \begin L(x, y) = & \int_0^1 x^ y^t\ \mathrmt = \int_0^1 \left(\frac\right)^t x\ \mathrmt = x \int_0^1 \left(\frac\right)^t \mathrmt \\ pt = & \left.\frac \left(\frac\right)^t\_^1 = \frac \left(\frac - 1\right) = \frac \\ pt = & \frac \end The area interpretation allows the easy derivation of some basic properties of the logarithmic mean. Since the exponential function is
monotonic In mathematics, a monotonic function (or monotone function) is a function between ordered sets that preserves or reverses the given order. This concept first arose in calculus, and was later generalized to the more abstract setting of ord ...
, the integral over an interval of length 1 is bounded by x and y. The
homogeneity Homogeneity and heterogeneity are concepts often used in the sciences and statistics relating to the Uniformity (chemistry), uniformity of a Chemical substance, substance or organism. A material or image that is homogeneous is uniform in compos ...
of the integral operator is transferred to the mean operator, that is L(cx, cy) = cL(x, y). Two other useful integral representations are = \int_0^1 and = \int_0^\infty .


Generalization


Mean value theorem of differential calculus

One can generalize the mean to n + 1 variables by considering the
mean value theorem for divided differences In mathematical analysis, the mean value theorem for divided differences generalizes the mean value theorem to higher derivatives. Statement of the theorem For any ''n'' + 1 pairwise distinct points ''x''0, ..., ''x'n'' in ...
for the nth
derivative In mathematics, the derivative of a function of a real variable measures the sensitivity to change of the function value (output value) with respect to a change in its argument (input value). Derivatives are a fundamental tool of calculus. ...
of the logarithm. We obtain :L_\text(x_0,\, \dots,\, x_n) = \sqrt n/math> where \ln\left(\left _0,\, \dots,\, x_n\rightright) denotes a divided difference of the logarithm. For n = 2 this leads to :L_\text(x, y, z) = \sqrt.


Integral

The integral interpretation can also be generalized to more variables, but it leads to a different result. Given the simplex S with S = \ and an appropriate measure \mathrm\alpha which assigns the simplex a volume of 1, we obtain :L_\text\left(x_0,\, \dots,\, x_n\right) = \int_S x_0^ \cdot \,\cdots\, \cdot x_n^\ \mathrm\alpha This can be simplified using divided differences of the exponential function to :L_\text\left(x_0,\, \dots,\, x_n\right) = n! \exp\left ln\left(x_0\right),\, \dots,\, \ln\left(x_n\right)\right/math>. Example n = 2 :L_\text(x, y, z) = -2 \frac.


Connection to other means

* Arithmetic mean: \frac = \frac * Geometric mean: \sqrt = \sqrt * Harmonic mean: \frac = \frac


See also

* A different mean which is related to logarithms is the geometric mean. * The logarithmic mean is a special case of the
Stolarsky mean In mathematics, the Stolarsky mean is a generalization of the logarithmic mean. It was introduced by Kenneth B. Stolarsky in 1975. Definition For two positive real numbers ''x'', ''y'' the Stolarsky Mean is defined as: : \begin S_p(x,y) & = ...
. * Logarithmic mean temperature difference *
Log semiring In mathematics, in the field of tropical analysis, the log semiring is the semiring structure on the logarithmic scale, obtained by considering the extended real numbers as logarithms. That is, the operations of addition and multiplication are d ...


References

;Citations ;Bibliography
Oilfield Glossary: Term 'logarithmic mean'
* {{mathworld, Arithmetic-Logarithmic-GeometricMeanInequality, Arithmetic-Logarithmic-Geometric-Mean Inequality * Stolarsky, Kenneth B.:
Generalizations of the logarithmic mean
', Mathematics Magazine, Vol. 48, No. 2, Mar., 1975, pp 87–92 * Toyesh Prakash Sharma.: ''https://www.parabola.unsw.edu.au/files/articles/2020-2029/volume-58-2022/issue-2/vol58_no2_3.pdf "A generalisation of the Arithmetic-Logarithmic-Geometric Mean Inequality'', Parabola Magazine, Vol. 58, No. 2, 2022, pp 1–5
Mean There are several kinds of mean in mathematics, especially in statistics. Each mean serves to summarize a given group of data, often to better understand the overall value (magnitude and sign) of a given data set. For a data set, the '' ari ...
Means