Update
I've underestimated Taylor expansions. They actually work. I assumed that integral of the remainder term can be unbounded, but with a little work it can be shown that this is not the case.
The Taylor expansion works for functions in bounded closed interval. For random variables with finite variance Chebyshev inequality gives
P(|X−EX|>c)≤Var(X)c
So for any ε>0 we can find large enough c so that
P(X∈[EX−c,EX+c])=P(|X−EX|≤c)<1−ε
First let us estimate Ef(X). We have
Ef(X)=∫|x−EX|≤cf(x)dF(x)+∫|x−EX|>cf(x)dF(x)
where
F(x) is the distribution function for
X.
Since the domain of the first integral is interval [EX−c,EX+c] which is bounded closed interval we can apply Taylor expansion:
f(x)=f(EX)+f′(EX)(x−EX)+f′′(EX)2(x−EX)2+f′′′(α)3(x−EX)3
where
α∈[EX−c,EX+c], and the equality holds for all
x∈[EX−c,EX+c]. I took only 4 terms in the Taylor expansion, but in general we can take as many as we like, as long as function
f is smooth enough.
Substituting this formula to the previous one we get
Ef(X)=∫|x−EX|≤cf(EX)+f′(EX)(x−EX)+f′′(EX)2(x−EX)2dF(x)+∫|x−EX|≤cf′′′(α)3(x−EX)3dF(x)+∫|x−EX|>cf(x)dF(x)
Now we can increase the domain of the integration to get the following formula
Ef(X)=f(EX)+f′′(EX)2E(X−EX)2+R3
where
R3=f′′′(α)3E(X−EX)3++∫|x−EX|>c(f(EX)+f′(EX)(x−EX)+f′′(EX)2(x−EX)2+f(X))dF(x)
Now under some moment conditions we can show that the second term of this remainder term is as large as
P(|X−EX|>c) which is small. Unfortunately the first term remains and so the quality of the approximation depends on
E(X−EX)3 and the behaviour of third derivative of
f in bounded intervals. Such approximation should work best for random variables with
E(X−EX)3=0.
Now for the variance we can use Taylor approximation for f(x), subtract the formula for Ef(x) and square the difference. Then
E(f(x)−Ef(x))2=(f′(EX))2Var(X)+T3
where T3 involves moments E(X−EX)k for k=4,5,6. We can arrive at this formula also by using only first-order Taylor expansion, i.e. using only the first and second derivatives. The error term would be similar.
Other way is to expand f2(x):
f2(x)=f2(EX)+2f(EX)f′(EX)(x−EX)+[(f′(EX))2+f(EX)f′′(EX)](X−EX)2+(f2(β))′′′3(X−EX)3
Similarly we get then
Ef2(x)=f2(EX)+[(f′(EX))2+f(EX)f′′(EX)]Var(X)+R~3
where
R~3 is similar to
R3.
The formula for variance then becomes
Var(f(X))=[f′(EX)]2Var(X)−[f′′(EX)]24Var2(X)+T~3
where
T~3 have only third moments and above.