Let $(X, \alpha, \mu)$ be a finite measure space. In the context of a measure theory course, I heard that every function $f \in L_q(\mu)$ can be written as a product of functions $g \in L_p(\mu)$ and $h \in L_s(\mu)$ where $$\frac{1}{q} = \frac{1}{p} + \frac{1}{s}$$ holds. I thought about how to prove that but all I know is how to estimate various inclusions, i.e. $L_q(\mu) \subseteq L_p(\mu)$, for $1\leq p < q \leq \infty $ in the case of $\mu(X) < \infty$. What is the idea here?
Every $L_q$ function as a product of $L_p$ and $L_r$ functions
0
$\begingroup$
measure-theory
lp-spaces
-
2the idea is that $|f|^q=|f|^{\frac{ps}{s+p}}$. Therefore one can define $g=f|f|^{\frac{s}{s+p}-1}$ and $h=|f|^{\frac{p}{s+p}}$. They belong respectively to $L_p$ and $L_s$ and their product is $hg=f|f|^{\frac{s}{s+p} +\frac{p}{s+p}-1}=f$ – 2017-02-07
-
0Great! If you write it as an answer I can mark it. – 2017-02-07
1 Answers
1
The idea is that $|f|^q=|f|^{\frac{ps}{s+p}}$. Therefore one can define $g=f|f|^{\frac{s}{s+p}−1}$ and $h=|f|^{\frac{p}{s+p}}$. They belong respectively to $L_p$ and $L_s$ and their product is $f$. We can also observe that the hypotesis of $X$ having finite measure was not used.
-
0I marked it as accepted answer. Yet, how would you show that $g,h$ belong to $L_p$ and $L_s$ respectively? – 2017-02-07