Loading [MathJax]/jax/output/HTML-CSS/jax.js
Ask Your Question
0

Symbolic expectations and double integrals

asked 13 years ago

Green diod gravatar image

updated 13 years ago

I'd like to compute the following expectation (U and V are independent and normally distributed or Gaussian) ak,p=E(|U|p|U+k1V|p)

Is there a way to directly compute those expectations in Sage ?

If I write it down, I obtain a double integral which I already tried to compute with maxima like this (ok here, you can only see the starting point with the inner integral with respect to v first)

load(distrib);
n(x):=pdf_normal(x, 0, 1);
inner_integral: integrate(abs(u+sqrt(k-1)*v)^p*n(v), v, minf, inf);

but to no avail.

NB: The absolute central moment a1,p/2 can be easily obtained with maxima with

ratsimp(integrate(abs(x)^p*n(x), x, minf, inf));

but no 'simple' expression as for the aforementioned double integral.

Any hint?

Preview: (hide)

Comments

Since Sage uses Maxima for all of its symbolic integration, I find it unlikely we'll do better. We do have numerical routines of various types, but I don't think this is what you are looking for.

kcrisman gravatar imagekcrisman ( 13 years ago )

@kcrisman I thought that sometimes Sage could use sympy or some other CAS for symbolic integration. But then, I'm stuck here then.

Green diod gravatar imageGreen diod ( 13 years ago )

1 Answer

Sort by » oldest newest most voted
0

answered 13 years ago

Green diod gravatar image

updated 13 years ago

Suppose n(x) was defined somehow (in fact, in extenso) but see also my related question about how to import Maxima built-in/package functions. My current result so far:

absm(p)=integral(abs(x)^p*n(x), x, -infinity, infinity)
absm
    p |--> 2^(1/2*p)*gamma(1/2*p + 1/2)/sqrt(pi)
a(k,p)=integral(integral(abs(u)^p*abs(u+sqrt(k-1)*v)^p*n(v)*n(u), v, -infinity, infinity), u, -infinity, infinity)
a(k,p)
    1/2*integrate(abs(u)^p*integrate(abs(sqrt(k - 1)*v + u)^p*e^(-1/2*u^2 - 1/2*v^2), v, -Infinity, +Infinity), u, -Infinity, +Infinity)/pi
ab(p)=a(1,p/2).simplify()
ab
    p |--> 2^(1/2*p)*gamma(1/2*p + 1/2)/sqrt(pi)
bool(absm == ab)
    True

This is a partial result but a(k,p) can't be simplified in terms of gamma's or whatnots.

How do you make changes of variables in Sage?

Preview: (hide)
link

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

Stats

Asked: 13 years ago

Seen: 1,177 times

Last updated: Jan 28 '12