0
$\begingroup$

How can I prove the following inequality: (where $f $ is nice enough) -

Given a function $ f(x,y) : \Omega_1 \times \Omega_2 \to \mathbb{R} $ , and $\alpha,C_1,C_2 $ are some constants, ( $\Omega_i$ is equipped with a probability measure $ \mu_i $ respectively) , then there exists a constant $C_3 $ such that $ \begin{multline}C_1^2 \int_{\Omega_1 } \left| \int_{\Omega_2} f(x,y) d \mu _2 - \alpha\right| ^2 d\mu_1 + C_2^2 \int_{\Omega_2 } \left| \int_{\Omega_1} f(x,y) d \mu _1 - \alpha\right|^2 d\mu_2 \\ \geq C_3^2 \int_{\Omega_1}\int_{\Omega_2} |f(x,y)-\alpha|^2 d\mu_1 d\mu_2\end{multline}$ is true.

It seems like it's kind of triangle's inequality. Have you got an idea?

1 Answers 1

1

As written it is not true (if you meant, as I assumed, that $C_1, C_2, C_3$ are positive constants; otherwise just setting $C_3 = 0$ settles all cases with $C_1, C_2 \geq 0$).

Let $\Omega_1 = \Omega_2 = [0,1] \subset \mathbb{R}$ with the Lebesgue measure (making them probability spaces).

Let $f(x,y) = \sin(2\pi x) \sin(2\pi y)$. We have that

$ \int_0^1 f(x,y) \mathrm{d}y = 0 = \int_0^1 f(x,y)\mathrm{d}x $

Hence if you take $\alpha = 0$ the left hand side of your desired inequality is identically 0. But the right hand side is given by

$ \iint_{[0,1]\times[0,1]} \sin(2\pi x)^2 \sin(2\pi y)^2 ~ \mathrm{d}x ~\mathrm{d}y = \frac14 $

  • 0
    It doesn't change this answer. $\alpha$ is in fact defined to be equal to $\iint f(x,y)$ in my example above. I just saw your other question, and I see where this question is coming from. I don't think it is the best way to approach the problem. I just posted a proof for your other question there. – 2012-07-25