Cauchy-Schwarz inequality: cov(X,Y)]^2 ≤ var(X) var(Y)

Click For Summary

Discussion Overview

The discussion revolves around the Cauchy-Schwarz inequality as it applies to the covariance and variance of scalar random variables X and Y. Participants explore the conditions under which the inequality holds and the implications of equality in this context.

Discussion Character

  • Technical explanation
  • Mathematical reasoning
  • Debate/contested

Main Points Raised

  • One participant presents a proof that involves the quadratic form E[(X+tY)^2] and its discriminant, leading to the inequality [cov(X,Y)]^2 ≤ var(X) var(Y).
  • Another participant questions whether the expressions for variance and covariance are correctly stated.
  • A different participant provides an alternative expression for covariance, suggesting that |Cov(X,Y)|^2 can be represented in terms of expectations and variances.
  • Several participants express uncertainty about the conditions under which equality holds in the inequality [cov(X,Y)]^2 ≤ var(X) var(Y).

Areas of Agreement / Disagreement

Participants do not reach a consensus on the correctness of the expressions for variance and covariance, nor do they agree on the conditions for equality in the Cauchy-Schwarz inequality. Multiple competing views remain regarding these aspects.

Contextual Notes

There are indications that some assumptions may be missing in the expressions for variance and covariance, and the discussion does not resolve the mathematical steps necessary to establish the conditions for equality.

kingwinner
Messages
1,266
Reaction score
0
Suppose that X andy Y are (scalar) random variables. Show that
[cov(X,Y)]^2 ≤ var(X) var(Y). (Cauchy-Schwarz inequality)

Sow that equality holds if and only if there is a relationship of the form

m.s.
c=aX+bY (i.e. c is equal to aX+bY in "mean square").

=========================

Proof:
E[(X+tY)^2] is quadratic in t and is ≥0. This means that the graph of it has at most one real root, i.e. discriminant ≤ 0. Setting discriminant ≤ 0 gives gives [E(XY)]^2 ≤ E(X^2) E(Y^2).

Now I am stuck with the second part. I know that equality can only possibly happen when the graph of E[(X+tY)^2] has exactly one real root, i.e. discriminant = 0, but how can I prove that c is equal to aX+bY in "mean square"?

Any help is appreciated!:)
 
Last edited:
Physics news on Phys.org
Something is missing in your expressions for variance and covariance?
 
bpet said:
Something is missing in your expressions for variance and covariance?

|Cov(X,Y)|^2=|E(X-\mu)(Y-\nu)|^2=|\langle X-\mu, Y-\nu\rangle|^2

= E(X-\mu)^2E(Y-\nu)^2

= Var(X)Var(Y)

The Cauchy-Schwarz inequality is:E|(XY)|^2\leq E(X^2)E(Y^2)
 
Last edited:
But now the trouble is when the EQUALITY hold in the inequality [cov(X,Y)]^2 ≤ var(X) var(Y)...!?
 
Last edited:

Similar threads

Replies
4
Views
1K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 17 ·
Replies
17
Views
3K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 1 ·
Replies
1
Views
5K
  • · Replies 24 ·
Replies
24
Views
3K
  • · Replies 5 ·
Replies
5
Views
30K
Replies
1
Views
3K
Replies
1
Views
2K