ScalingStacks

Proof. [022C]

Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.

Complete original source context · Original author HTML

Proof.

We compute

∂u∂x1=(n+2n​v−t​v′)​x12/n,∂u∂x2=d1d2​v′​x12/n,\frac{\partial u}{\partial x_{1}}=(\frac{n+2}{n}v-tv^{\prime})x_{1}^{2/n},\quad\frac{\partial u}{\partial x_{2}}=\frac{d_{1}}{d_{2}}v^{\prime}x_{1}^{2/n},

and the second derivatives

{∂2u∂x12=x12/n−1​{2​(n+2)n2​v−4​tn​v′+t2​v′′},∂2u∂x1​∂x2=d1d2​(2n​v′−t​v′′)​x12n−1,∂2u∂x22=(d1d2)2​x12n−1​v′′.\begin{cases}&\frac{\partial^{2}u}{\partial x_{1}^{2}}=x_{1}^{2/n-1}\{\frac{2(n+2)}{n^{2}}v-\frac{4t}{n}v^{\prime}+t^{2}v^{\prime\prime}\},\\ &\frac{\partial^{2}u}{\partial x_{1}\partial x_{2}}=\frac{d_{1}}{d_{2}}(\frac{2}{n}v^{\prime}-tv^{\prime\prime})x_{1}^{\frac{2}{n}-1},\\ &\frac{\partial^{2}u}{\partial x_{2}^{2}}=(\frac{d_{1}}{d_{2}})^{2}x_{1}^{\frac{2}{n}-1}v^{\prime\prime}.\end{cases} (8)

Whence

det(D2​u)=(d1d2)2​x14n−2​(2​(n+2)n2​v​v′′−4n2​v′2),\det(D^{2}u)=(\frac{d_{1}}{d_{2}})^{2}x_{1}^{\frac{4}{n}-2}(\frac{2(n+2)}{n^{2}}vv^{\prime\prime}-\frac{4}{n^{2}}v^{\prime 2}),
d1​∂u∂x1+d2​∂u∂x2=d1​x12/n​(n+2n​v+(1−t)​v′),d_{1}\frac{\partial u}{\partial x_{1}}+d_{2}\frac{\partial u}{\partial x_{2}}=d_{1}x_{1}^{2/n}(\frac{n+2}{n}v+(1-t)v^{\prime}),

so the NA MA equation becomes

(2​(n+2)n2​v​v′′−4n2​v′2)​(n+2n​v+(1−t)​v′)n−2=const.(\frac{2(n+2)}{n^{2}}vv^{\prime\prime}-\frac{4}{n^{2}}v^{\prime 2})(\frac{n+2}{n}v+(1-t)v^{\prime})^{n-2}=\text{const}.

∎

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.