compelling evaluation
- To: mathgroup at smc.vnet.net
- Subject: [mg93175] compelling evaluation
- From: randolph.silvers at deakin.edu.au
- Date: Thu, 30 Oct 2008 02:01:08 -0500 (EST)
I have created a function from a PDF and so it is non-zero on the unit
interval and 0 elsewhere. But when I try to integrate some function of
that function, it is not evaluated. How can I get it to be evaluated?
For example,
project=UniformDistribution[{0,1}];
f[y_]:=PDF[project,y]/(CDF[project,1] - CDF[project,0]);
F[y_]:=Integral_0^y f[z]dz;
Now, I define
pi0[y_]:= F[y]
pi1[y_]:= Integral_y^1 (1-q) f[q] dq
pi2[y_]:= Integral_y^1 q f[q] dq
T[y_]:= Integral_y^1 (q-y) f[q] dq
When I enter a numerical value, each is correctly computed; when I
differentiate, it also looks correct. For example,
D[T[y],y] returns
Integral_y^1 -{1 0<=q<=1 dq
and, T[pistar] returns
Integral_pistar^1 (-pistar + q)({1 0 <=q <= 1) dq
How can I compel Mathematica to "know" or evaluate T[pistar] and
return the symbolic expression assuming that q is in the relevant
domain?
Then, D[T[y],y] would return -(1-y) and T[pistar] would return:
1/2 - pistar + pistar^2/2
- Follow-Ups:
- Re: compelling evaluation
- From: Daniel Lichtblau <danl@wolfram.com>
- Re: compelling evaluation