Dirichlet average

Last updated August 10, 2023

Dirichlet averages are averages of functions under the Dirichlet distribution. An important one are dirichlet averages that have a certain argument structure, namely

where $\mathbf {u} \cdot \mathbf {z} =\sum _{i}^{N}u_{i}\cdot z_{i}$ and $d\mu _{b}(\mathbf {u} )=u_{1}^{b_{1}-1}\cdots u_{N}^{b_{N}-1}d\mathbf {u}$ is the Dirichlet measure with dimension N. They were introduced by the mathematician Bille C. Carlson in the '70s who noticed that the simple notion of this type of averaging generalizes and unifies many special functions, among them generalized hypergeometric functions or various orthogonal polynomials:.^[1] They also play an important role for the solution of elliptic integrals (see Carlson symmetric form) and are connected to statistical applications in various ways, for example in Bayesian analysis.^[2]

Notable Dirichlet averages

Some Dirichlet averages are so fundamental that they are named. A few are listed below.

R-function

The (Carlson) R-function is the Dirichlet average of $x^{n}$ ,

R_{n}(\mathbf {b} ,\mathbf {z} )=\int (\mathbf {u} \cdot \mathbf {z} )^{n}\,d\mu _{b}(\mathbf {u} )

with $n$ . Sometimes $R_{n}(\mathbf {b} ,\mathbf {z} )$ is also denoted by $R(-n;\mathbf {b} ,\mathbf {z} )$ .

Exact solutions:

For $n\geq 0,n\in \mathbb {N}$ it is possible to write an exact solution in the form of an iterative sum^[3]

R_{n}(\mathbf {b} ,\mathbf {z} )={\frac {\Gamma (n+1)\Gamma (b)}{\Gamma (b+n)}}\cdot D_{n}{\text{ with }}D_{n}={\frac {1}{n}}\sum _{k=1}^{n}\left(\sum _{i=1}^{N}b_{i}\cdot z_{i}^{k}\right)\cdot D_{n-k}

where $D_{0}=1$ , $N$ is the dimension of $\mathbf {b}$ or $\mathbf {z}$ and $b=\sum b_{i}$ .

S-function

The (Carlson) S-function is the Dirichlet average of $e^{x}$ ,

S(\mathbf {b} ,\mathbf {z} )=\int \exp(\mathbf {u} \cdot \mathbf {z} )\,d\mu _{b}(\mathbf {u} ).

Related Research Articles

In physics, the Lorentz transformations are a six-parameter family of linear transformations from a coordinate frame in spacetime to another frame that moves at a constant velocity relative to the former. The respective inverse transformation is then parameterized by the negative of this velocity. The transformations are named after the Dutch physicist Hendrik Lorentz.

In particle physics, the Dirac equation is a relativistic wave equation derived by British physicist Paul Dirac in 1928. In its free form, or including electromagnetic interactions, it describes all spin-1⁄2 massive particles, called "Dirac particles", such as electrons and quarks for which parity is a symmetry. It is consistent with both the principles of quantum mechanics and the theory of special relativity, and was the first theory to account fully for special relativity in the context of quantum mechanics. It was validated by accounting for the fine structure of the hydrogen spectrum in a completely rigorous way.

<span class="mw-page-title-main">Navier–Stokes equations</span> Equations describing the motion of viscous fluid substances

The Navier–Stokes equations are partial differential equations which describe the motion of viscous fluid substances, named after French engineer and physicist Claude-Louis Navier and Irish physicist and mathematician George Gabriel Stokes. They were developed over several decades of progressively building the theories, from 1822 (Navier) to 1842-1850 (Stokes).

<span class="mw-page-title-main">Fokker–Planck equation</span> Partial differential equation

In statistical mechanics and information theory, the Fokker–Planck equation is a partial differential equation that describes the time evolution of the probability density function of the velocity of a particle under the influence of drag forces and random forces, as in Brownian motion. The equation can be generalized to other observables as well. The Fokker-Planck equation has multiple applications in information theory, graph theory, data science, finance, economics etc.

In special relativity, a four-vector is an object with four components, which transform in a specific way under Lorentz transformations. Specifically, a four-vector is an element of a four-dimensional vector space considered as a representation space of the standard representation of the Lorentz group, the representation. It differs from a Euclidean vector in how its magnitude is determined. The transformations that preserve this magnitude are the Lorentz transformations, which include spatial rotations and boosts.

In vector calculus, Green's theorem relates a line integral around a simple closed curve $C$ to a double integral over the plane region $D$ bounded by $C$ . It is the two-dimensional special case of Stokes' theorem.

In mathematics, the polylogarithm (also known as Jonquière's function, for Alfred Jonquière) is a special function $Li s (z)$ of order $s$ and argument $z$ . Only for special values of $s$ does the polylogarithm reduce to an elementary function such as the natural logarithm or a rational function. In quantum statistics, the polylogarithm function appears as the closed form of integrals of the Fermi–Dirac distribution and the Bose–Einstein distribution, and is also known as the Fermi–Dirac integral or the Bose–Einstein integral. In quantum electrodynamics, polylogarithms of positive integer order arise in the calculation of processes represented by higher-order Feynman diagrams.

In physics, the Hamilton–Jacobi equation, named after William Rowan Hamilton and Carl Gustav Jacob Jacobi, is an alternative formulation of classical mechanics, equivalent to other formulations such as Newton's laws of motion, Lagrangian mechanics and Hamiltonian mechanics.

In mathematics, a confluent hypergeometric function is a solution of a confluent hypergeometric equation, which is a degenerate form of a hypergeometric differential equation where two of the three regular singularities merge into an irregular singularity. The term confluent refers to the merging of singular points of families of differential equations; confluere is Latin for "to flow together". There are several common standard forms of confluent hypergeometric functions:

In differential geometry, the four-gradient $is the four-vector analogue of the gradient from vector calculus.$

In statistics and information theory, a maximum entropy probability distribution has entropy that is at least as great as that of all other members of a specified class of probability distributions. According to the principle of maximum entropy, if nothing is known about a distribution except that it belongs to a certain class, then the distribution with the largest entropy should be chosen as the least-informative default. The motivation is twofold: first, maximizing entropy minimizes the amount of prior information built into the distribution; second, many physical systems tend to move towards maximal entropy configurations over time.

In probability theory and statistics, the chi distribution is a continuous probability distribution over the non-negative real line. It is the distribution of the positive square root of a sum of squared independent Gaussian random variables. Equivalently, it is the distribution of the Euclidean distance between a multivariate Gaussian random variable and the origin. It is thus related to the chi-squared distribution by describing the distribution of the positive square roots of a variable obeying a chi-squared distribution.

In mathematics, the Gaussian or ordinary hypergeometric function₂F₁(a,b;c;z) is a special function represented by the hypergeometric series, that includes many other special functions as specific or limiting cases. It is a solution of a second-order linear ordinary differential equation (ODE). Every second-order linear ODE with three regular singular points can be transformed into this equation.

In statistics, the multivariate t-distribution is a multivariate probability distribution. It is a generalization to random vectors of the Student's t-distribution, which is a distribution applicable to univariate random variables. While the case of a random matrix could be treated within this structure, the matrix t-distribution is distinct and makes particular use of the matrix structure.

A ratio distribution is a probability distribution constructed as the distribution of the ratio of random variables having two other known distributions. Given two random variables X and Y, the distribution of the random variable Z that is formed as the ratio Z = X/Y is a ratio distribution.

In mathematics, a line integral is an integral where the function to be integrated is evaluated along a curve. The terms path integral, curve integral, and curvilinear integral are also used; contour integral is used as well, although that is typically reserved for line integrals in the complex plane.

In mathematics, the E-function was introduced by Thomas Murray MacRobert (1937–1938) to extend the generalized hypergeometric series _pF_q(·) to the case p > q + 1. The underlying objective was to define a very general function that includes as particular cases the majority of the special functions known until then. However, this function had no great impact on the literature as it can always be expressed in terms of the Meijer G-function, while the opposite is not true, so that the G-function is of a still more general nature. It is defined as:

In continuum mechanics, a compatible deformation tensor field in a body is that unique tensor field that is obtained when the body is subjected to a continuous, single-valued, displacement field. Compatibility is the study of the conditions under which such a displacement field can be guaranteed. Compatibility conditions are particular cases of integrability conditions and were first derived for linear elasticity by Barré de Saint-Venant in 1864 and proved rigorously by Beltrami in 1886.

In mathematics, the Fox–Wright function (also known as Fox–Wright Psi function, not to be confused with Wright Omega function) is a generalisation of the generalised hypergeometric function _pF_q(z) based on ideas of Charles Fox (1928) and E. Maitland Wright (1935):

In mathematical physics, the Gordon decomposition of the Dirac current is a splitting of the charge or particle-number current into a part that arises from the motion of the center of mass of the particles and a part that arises from gradients of the spin density. It makes explicit use of the Dirac equation and so it applies only to "on-shell" solutions of the Dirac equation.

References

↑ Carlson, B.C. (1977). Special functions of applied mathematics.
↑ Dickey, J.M. (1983). "Multiple hypergeometric functions: Probabilistic interpretations and statistical uses". Journal of the American Statistical Association. 78 (383): 628. doi:10.2307/2288131.
↑ Glüsenkamp, T. (2018). "Probabilistic treatment of the uncertainty from the finite size of weighted Monte Carlo data". EPJ Plus. 133 (6): 218. arXiv: 1712.01293 . doi:10.1140/epjp/i2018-12042-x.

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[Carlson1977-1] Carlson, B.C. (1977). Special functions of applied mathematics.

[Dickey1984-2] Dickey, J.M. (1983). "Multiple hypergeometric functions: Probabilistic interpretations and statistical uses". Journal of the American Statistical Association. 78 (383): 628. doi:10.2307/2288131.

[Gluesenkamp2018-3] Glüsenkamp, T. (2018). "Probabilistic treatment of the uncertainty from the finite size of weighted Monte Carlo data". EPJ Plus. 133 (6): 218. arXiv: 1712.01293 . doi:10.1140/epjp/i2018-12042-x.

[1]

[2]

[3]