grandes-ecoles 2011 Q5

grandes-ecoles · France · centrale-maths1__pc Integration by Substitution Substitution within a Multi-Part Proof or Derivation
Throughout this part, $\lambda$ is a real number belonging to the interval $]0,1[$ and $f, g, h$ are functions in $C^{0}(\mathbb{R}, \mathbb{R}_{+})$ that are integrable and satisfy the following inequality $$\forall x \in \mathbb{R}, \forall y \in \mathbb{R}, \quad h(\lambda x + (1-\lambda) y) \geq f(x)^{\lambda} g(y)^{1-\lambda}.$$ In questions 3), 4) and 5) we additionally assume that $f$ and $g$ are strictly positive, that is, for all real $x$, $f(x) > 0$ and $g(x) > 0$.
Show that the image set of the application $w$ defined on $]0,1[$ by $$\forall t \in ]0,1[, \quad w(t) = \lambda u(t) + (1-\lambda) v(t),$$ is equal to $\mathbb{R}$. Then prove that $w$ defines a change of variable from $]0,1[$ to $\mathbb{R}$. Using this and $\int_{-\infty}^{+\infty} h(w)\,dw$, show that $f$, $g$ and $h$ satisfy the "P-L" inequality $$\int_{-\infty}^{+\infty} h(x)\,dx \geq \left(\int_{-\infty}^{+\infty} f(x)\,dx\right)^{\lambda} \left(\int_{-\infty}^{+\infty} g(x)\,dx\right)^{1-\lambda}.$$
Throughout this part, $\lambda$ is a real number belonging to the interval $]0,1[$ and $f, g, h$ are functions in $C^{0}(\mathbb{R}, \mathbb{R}_{+})$ that are integrable and satisfy the following inequality
$$\forall x \in \mathbb{R}, \forall y \in \mathbb{R}, \quad h(\lambda x + (1-\lambda) y) \geq f(x)^{\lambda} g(y)^{1-\lambda}.$$
In questions 3), 4) and 5) we additionally assume that $f$ and $g$ are strictly positive, that is, for all real $x$, $f(x) > 0$ and $g(x) > 0$.

Show that the image set of the application $w$ defined on $]0,1[$ by
$$\forall t \in ]0,1[, \quad w(t) = \lambda u(t) + (1-\lambda) v(t),$$
is equal to $\mathbb{R}$. Then prove that $w$ defines a change of variable from $]0,1[$ to $\mathbb{R}$. Using this and $\int_{-\infty}^{+\infty} h(w)\,dw$, show that $f$, $g$ and $h$ satisfy the "P-L" inequality
$$\int_{-\infty}^{+\infty} h(x)\,dx \geq \left(\int_{-\infty}^{+\infty} f(x)\,dx\right)^{\lambda} \left(\int_{-\infty}^{+\infty} g(x)\,dx\right)^{1-\lambda}.$$