Minimisation over random variables

AI Thread Summary
The discussion centers on the relationship between expectations of random variables and a function F that is decreasing when evaluated as F(y)/y. It explores whether the condition E[x] ≤ E[y] implies E[F(x)] ≤ E[F(y)], using specific examples of random variables x and y. When F is defined as 1/y, the expectation of F(x) can exceed that of F(y) despite E[x] being less than E[y]. The conversation also examines cases where F is increasing and provides examples demonstrating that E[F(y)] can still be less than E[F(x)] under certain conditions. Overall, the implications of F's behavior on the expectations of random variables are thoroughly analyzed.
TaPaKaH
Messages
51
Reaction score
0
Suppose we have a function ##F:\mathbb{R}_+\to\mathbb{R}_+## such that ##\frac{F(y)}{y}## is decreasing.
Let ##x## and ##y## be some ##\mathbb{R}_+##-valued random variables.
Would ##\mathbb{E}x\leq\mathbb{E}y## imply that ##\mathbb{E}F(x)\leq\mathbb{E}F(y)##?
 
Physics news on Phys.org
Suppose we take ##F(y) = 1/y##. Then certainly ##F(y)/y = 1/y^2## is decreasing for positive ##y##.

Now let ##x## be some random variable which is restricted to the interval ##[1,2]## and let ##y## be some other random variable restricted to the interval ##[3,4]##. Thus ##E[x] < E[y]##. But ##F(x)## is restricted to ##[1/2, 1]## and ##F(y)## is restricted to ##[1/4, 1/3]##. So ##E[F(y)] < E[F(x)]##.
 
Your example makes perfect sense.

But what if we assume that ##F(x)## is increasing in ##x## and ##F(0)=0##?
 
TaPaKaH said:
Your example makes perfect sense.

But what if we assume that ##F(x)## is increasing in ##x## and ##F(0)=0##?
What if we take
$$F(x) = \begin{cases}
\sqrt{x} & \text{ if }0 \leq x \leq 1 \\
1 & \text{ if } x > 1
\end{cases}$$
Then ##F(x)/x## is decreasing for all positive ##x##.

Let ##x## be uniformly distributed over ##[1,2]##. Let ##y## be 0 or 3, each with probability 1/2. Then ##E[x] = E[y] = 1.5##.

But ##F(x) = 1## with probability 1, so ##E[F(x)] = 1##. And ##F(y)## is 0 or 1, each with probability 1/2, so ##E[F(y)] = 1/2##.

If you want ##F## to be strictly increasing, then give it a tiny positive slope for ##x > 1##, and define ##x## and ##y## as above. The result will still be ##E[F(y)] < E[F(x)]##.
 
I was reading documentation about the soundness and completeness of logic formal systems. Consider the following $$\vdash_S \phi$$ where ##S## is the proof-system making part the formal system and ##\phi## is a wff (well formed formula) of the formal language. Note the blank on left of the turnstile symbol ##\vdash_S##, as far as I can tell it actually represents the empty set. So what does it mean ? I guess it actually means ##\phi## is a theorem of the formal system, i.e. there is a...
Back
Top