# ArithmeticGeometricMean

gives the arithmeticgeometric mean of a and b.

# Details # Examples

open allclose all

## Basic Examples(4)

Evaluate numerically:

Plot over a subset of the reals:

Plot over a subset of the complexes:

Series expansion at the origin:

## Scope(25)

### Numerical Evaluation(5)

Evaluate numerically:

Evaluate to high precision:

The precision of the output tracks the precision of the input:

Complex number inputs:

Evaluate efficiently at high precision:

ArithmeticGeometricMean can be used with Interval and CenteredInterval objects:

### Specific Values(4)

Values at fixed points:

Value at zero:

Evaluate symbolically:

Find a value of x for which ArithmeticGeometricMean[3,x]=1.5:

### Visualization(2)

Plot the ArithmeticGeometricMean function for various orders:

Plot the real part of :

Plot the imaginary part of :

### Function Properties(10)

Real domain of ArithmeticGeometricMean:

Complex domain:

ArithmeticGeometricMean achieves all real values:

ArithmeticGeometricMean is not an analytic function:

It has both singularities and discontinuities: is nondecreasing on its real domain: is injective: is not surjective: is non-negative on its real domain: is non-positive on its real domain: is concave on its real domain:

### Differentiation(2)

First derivative with respect to b:

Higher derivatives with respect to b:

Plot the higher derivatives with respect to b when a=3:

### Series Expansions(2)

Find the Taylor expansion using Series:

Plots of the first three approximations around :

Taylor expansion at a generic point:

## Applications(4)

Explicit form of the iterations yielding the arithmeticgeometric mean:

Compare with ArithmeticGeometricMean:

Functional implementation of the previous iterative procedure:

Closed form of the iteration steps for calculating the arithmeticgeometric mean expressed through ArithmeticGeometricMean:

Show convergence speed using arbitraryprecision arithmetic:

Compute a thousand digits of :

Compute Gauss's constant:

Compare to its expression in terms of beta function:

Plot the absolute value in the parameter plane:

## Properties & Relations(3)

Derivatives of ArithmeticGeometricMean:

Use FunctionExpand to expand ArithmeticGeometricMean to other functions:

Show that ArithmeticGeometricMean obeys a hypergeometrictype differential equation:

Proof that iterations lie between the arithmetic and the geometric means: