# 谢之题解：重积分的应用举例

Eufisky posted @ 2015年10月17日 01:50 in 谢惠民 with tags 谢惠民 , 765 阅读

7.设$u_i\in L^{p_i}(\Omega),p_i>0,i=1,2,\cdots,m$,且${\sum\limits_{i = 1}^{m } {\frac{1}{{{p_i}}}} }=1$.证明$\iint\limits_\Omega {{u_1} \cdots {u_m}dxdy} \le {\left\| {{u_1}} \right\|_{{p_1}}} \cdots {\left\| {{u_m}} \right\|_{{p_m}}}.$

\begin{align*}&\iint\limits_\Omega {{u_1} \cdots {u_{m - 1}}{u_m}dxdy} \le \iint\limits_\Omega {\left| {{u_1} \cdots {u_{m - 1}}{u_m}} \right|dxdy} \\= &{\left\| {{u_1} \cdots {u_{m - 1}}{u_m}} \right\|_1} \le {\left\| {{u_1} \cdots {u_{m - 1}}} \right\|_{1/\sum\limits_{i = 1}^{m - 1} {\frac{1}{{{p_i}}}} }}{\left\| {{u_m}} \right\|_{{p_m}}}\\\le& {\left( {{{\left\| {u_1^{1/\sum\limits_{i = 1}^{m - 1} {\frac{1}{{{p_i}}}} }} \right\|}_{{p_1}\sum\limits_{i = 1}^{m - 1} {\frac{1}{{{p_i}}}} }} \cdots {{\left\| {u_{m - 1}^{1/\sum\limits_{i = 1}^{m - 1} {\frac{1}{{{p_i}}}} }} \right\|}_{{p_{m - 1}}\sum\limits_{i = 1}^{m - 1} {\frac{1}{{{p_i}}}} }}} \right)^{\sum\limits_{i = 1}^{m - 1} {\frac{1}{{{p_i}}}} }}{\left\| {{u_m}} \right\|_{{p_m}}}\\= &{\left\| {{u_1}} \right\|_{{p_1}}} \cdots {\left\| {{u_{m - 1}}} \right\|_{{p_{m - 1}}}}{\left\| {{u_m}} \right\|_{{p_m}}}.\end{align*}

$\prod\limits_{i = 1}^m {x_i^{{\theta _i}}} \le \sum\limits_{i = 1}^m {{\theta _i}{x_i}} ,\quad \text{其中}\sum\limits_{i = 1}^m {{\theta _i}} = 1,{\theta _i} \ge 0.$

${\left\{ {{{\int_a^b {dx\left[ {\int_c^d {f\left( {x,y} \right)dy} } \right]} }^2}} \right\}^{1/2}} \le \int_c^d {dy{{\left[ {\int_a^b {{f^2}\left( {x,y} \right)dx} } \right]}^{1/2}}} ,$

\begin{align*}&{\left\{ {\int_c^d {dy{{\left[ {\int_a^b {{f^2}\left( {x,y} \right)dx} } \right]}^{1/2}}} } \right\}^2}\\= &\int_c^d {dy{{\left[ {\int_a^b {{f^2}\left( {x,y} \right)dx} } \right]}^{1/2}}} \cdot \int_c^d {dz{{\left[ {\int_a^b {{f^2}\left( {x,z} \right)dx} } \right]}^{1/2}}} \\\ge& \int_c^d {dy} \int_c^d {dz} \int_a^b {f\left( {x,y} \right)f\left( {x,z} \right)dx} = {\int_a^b {dx\left[ {\int_c^d {f\left( {x,y} \right)dy} } \right]} ^2}.\end{align*}

(输入验证码)
or Ctrl+Enter