[物理学与PDEs]第2章习题12 严格凸性的转换
2014-04-12 20:16
260 查看
设 $L=L(\xi_0,\xi_1,\cdots,\xi_n)$ 关于变量 $\xi_0>0,\xi_1,\cdots,\xi_n$ 为严格凸的. 证明函数 $$\bex M=\cfrac{1}{\xi_0}L(\xi_0,\xi_1,\cdots,\xi_n) \eex$$ 关于变量 $$\bex \eta_0=\cfrac{1}{\xi_0},\quad \xi_1=\cfrac{\xi_1}{\xi_0},\cdots,\eta_n=\cfrac{\xi_n}{\xi_0} \eex$$ 是严格凸的.
证明: 仅对 $n=1$ 的情形加以证明. 先给出 $$\bex M=\eta_0 L\sex{\cfrac{1}{\eta_0},\cfrac{\eta_1}{\eta_0}}. \eex$$ 于是 $$\beex \bea M_{\eta_0}&=L+\eta_0 \sez{L_{\xi_0}\sex{-\cfrac{1}{\eta_0^2}} +L_{\xi_1}\sex{-\cfrac{\eta_1}{\eta_0^2}}}\\ &=L-\cfrac{1}{\eta_0}L_{\xi_0} -\cfrac{\eta_1}{\eta_0}L_{\xi_1},\\ M_{\eta_1}&=\eta_0L_{\xi_1}\cfrac{1}{\eta_0} =L_{\xi_1}; \eea \eeex$$ $$\beex \bea M_{\eta_0\eta_1} &=L_{\xi_0}\sex{-\cfrac{1}{\eta_0^2}} +L_{\xi_1}\sex{-\cfrac{\eta_1}{\eta_0^2}}\\ &\quad+\cfrac{1}{\eta_0^2}L_{\xi_0}-\cfrac{1}{\eta_0}\sez{ L_{\xi_0\xi_0}\sex{-\cfrac{1}{\eta_0^2}} +L_{\xi_0\xi_1}\sex{-\cfrac{\eta_1}{\eta_0^2}} }\\ &\quad+\cfrac{\eta_1}{\eta_0^2}L_{\xi_1} -\cfrac{\eta_1}{\eta_0^2} \sez{ L_{\xi_0\xi_1}\sex{-\cfrac{1}{\eta_0^2}} +L_{\xi_1\xi_1}\sex{-\cfrac{\eta_1}{\eta_0^2}} }\\ &=\cfrac{1}{\eta_0^3}\sex{ L_{\xi_0\xi_0} +2\eta_1L_{\xi_0\xi_1}+\eta_1^2L_{\xi_1\xi_1} }\\ &=\cfrac{1}{\eta_0^3} \sex{\ba{cc}1& \eta_1 \ea} \sex{\ba{cc} L_{\xi_0\xi_0}&L_{\xi_0\xi_1}\\ L_{\xi_0\xi_1}&L_{\xi_1\xi_1} \ea} \sex{\ba{cc} 1\\ \eta_1 \ea}\\ &>0, \eea \eeex$$ $$\beex \bea M_{\eta_0\eta_1} &=M_{\eta_1\eta_0}=L_{\xi_1\xi_0}\sex{-\cfrac{1}{\eta_0^2}} +L_{\xi_1\xi_1}\sex{-\cfrac{\eta_1}{\eta_0^2}}\\ &=-\cfrac{1}{\eta_0^2}\sex{L_{\xi_0\xi_1}+\eta_1 L_{\xi_1\xi_1}},\\ M_{\eta_1\eta_1}&=\cfrac{1}{\eta_0}L_{\xi_1\xi_1}; \eea \eeex$$ $$\beex \bea M_{\eta_0\eta_0}M_{\eta_1\eta_1}-M_{\eta_0\eta_1}^2 &=\cfrac{1}{\eta_0^4} \sex{L_{\xi_0\xi_0}+2\eta_1L_{\xi_0\xi_1}+\eta_1^2L_{\xi_1\xi_1}}L_{\xi_1\xi_1}\\ &\quad -\cfrac{1}{\eta_0^4} \sex{L_{\xi_0\xi_1}^2+2\eta_1L_{\xi_0\xi_1L_{\xi_1\xi_1} +\eta_1^2L_{\xi_1\xi_1}^2}}\\ &=\cfrac{1}{\eta_0^4}L_{\xi_0\xi_0}L_{\eta_1\eta_1}\\ &>0. \eea \eeex$$
证明: 仅对 $n=1$ 的情形加以证明. 先给出 $$\bex M=\eta_0 L\sex{\cfrac{1}{\eta_0},\cfrac{\eta_1}{\eta_0}}. \eex$$ 于是 $$\beex \bea M_{\eta_0}&=L+\eta_0 \sez{L_{\xi_0}\sex{-\cfrac{1}{\eta_0^2}} +L_{\xi_1}\sex{-\cfrac{\eta_1}{\eta_0^2}}}\\ &=L-\cfrac{1}{\eta_0}L_{\xi_0} -\cfrac{\eta_1}{\eta_0}L_{\xi_1},\\ M_{\eta_1}&=\eta_0L_{\xi_1}\cfrac{1}{\eta_0} =L_{\xi_1}; \eea \eeex$$ $$\beex \bea M_{\eta_0\eta_1} &=L_{\xi_0}\sex{-\cfrac{1}{\eta_0^2}} +L_{\xi_1}\sex{-\cfrac{\eta_1}{\eta_0^2}}\\ &\quad+\cfrac{1}{\eta_0^2}L_{\xi_0}-\cfrac{1}{\eta_0}\sez{ L_{\xi_0\xi_0}\sex{-\cfrac{1}{\eta_0^2}} +L_{\xi_0\xi_1}\sex{-\cfrac{\eta_1}{\eta_0^2}} }\\ &\quad+\cfrac{\eta_1}{\eta_0^2}L_{\xi_1} -\cfrac{\eta_1}{\eta_0^2} \sez{ L_{\xi_0\xi_1}\sex{-\cfrac{1}{\eta_0^2}} +L_{\xi_1\xi_1}\sex{-\cfrac{\eta_1}{\eta_0^2}} }\\ &=\cfrac{1}{\eta_0^3}\sex{ L_{\xi_0\xi_0} +2\eta_1L_{\xi_0\xi_1}+\eta_1^2L_{\xi_1\xi_1} }\\ &=\cfrac{1}{\eta_0^3} \sex{\ba{cc}1& \eta_1 \ea} \sex{\ba{cc} L_{\xi_0\xi_0}&L_{\xi_0\xi_1}\\ L_{\xi_0\xi_1}&L_{\xi_1\xi_1} \ea} \sex{\ba{cc} 1\\ \eta_1 \ea}\\ &>0, \eea \eeex$$ $$\beex \bea M_{\eta_0\eta_1} &=M_{\eta_1\eta_0}=L_{\xi_1\xi_0}\sex{-\cfrac{1}{\eta_0^2}} +L_{\xi_1\xi_1}\sex{-\cfrac{\eta_1}{\eta_0^2}}\\ &=-\cfrac{1}{\eta_0^2}\sex{L_{\xi_0\xi_1}+\eta_1 L_{\xi_1\xi_1}},\\ M_{\eta_1\eta_1}&=\cfrac{1}{\eta_0}L_{\xi_1\xi_1}; \eea \eeex$$ $$\beex \bea M_{\eta_0\eta_0}M_{\eta_1\eta_1}-M_{\eta_0\eta_1}^2 &=\cfrac{1}{\eta_0^4} \sex{L_{\xi_0\xi_0}+2\eta_1L_{\xi_0\xi_1}+\eta_1^2L_{\xi_1\xi_1}}L_{\xi_1\xi_1}\\ &\quad -\cfrac{1}{\eta_0^4} \sex{L_{\xi_0\xi_1}^2+2\eta_1L_{\xi_0\xi_1L_{\xi_1\xi_1} +\eta_1^2L_{\xi_1\xi_1}^2}}\\ &=\cfrac{1}{\eta_0^4}L_{\xi_0\xi_0}L_{\eta_1\eta_1}\\ &>0. \eea \eeex$$
相关文章推荐
- [物理学与PDEs]第2章习题5 正应力的平均值
- [物理学与PDEs]第2章习题6 有旋的 Navier-Stokes 方程组
- [物理学与PDEs]第2章习题7 一维不可压理想流体的求解
- [物理学与PDEs]第2章习题8 一维定常粘性不可压缩流体的求解
- [物理学与PDEs]第2章习题9 粘性流体动能的衰减
- [物理学与PDEs]第2章习题10 一维理想流体力学方程组的 Lagrange 形式
- [物理学与PDEs]第2章习题11 Lagrange 形式的一维理想流体力学方程组在强间断线上的间断连接条件
- [物理学与PDEs]第2章习题13 将 $p$ - 方程组化为守恒律形式的一阶拟线性对称双曲组
- [物理学与PDEs]第2章习题参考解答
- [物理学与PDEs]第2章习题1 无旋时的 Euler 方程
- [物理学与PDEs]第2章习题2 质量力有势时的能量方程
- [物理学与PDEs]第1章习题12 Coulomb 规范下电磁场的标势、矢势满足的方程
- [物理学与PDEs]第2章习题3 Laplace 方程的 Neumann 问题
- [物理学与PDEs]第2章习题4 习题 3 的变分
- [物理学与PDEs]第1章习题14 求解 rot 方程
- [物理学与PDEs]第2章第2节 粘性流体力学方程组 2.5 粘性热传导流体动力学方程组的数学结构
- [物理学与PDEs]第3章习题3电磁场的矢势在 Lorentz 规范下满足的方程
- [物理学与PDEs]第5章习题3 第二 Piola 应力张量的对称性
- [物理学与PDEs]第1章习题15 媒介中电磁场的电磁动量密度向量与电磁动量流密度张量
- [物理学与PDEs]第2章第2节 粘性流体力学方程组 2.6 一维粘性热传导流体动力学方程组