1
$\begingroup$

I'd appreciate help showing that $ \int_{\mathbb{R}^2} \frac{\partial f^2 }{\partial x^2} \frac{\partial f^2 }{\partial y^2} dx dy = \int_{\mathbb{R}^2} \left( \frac{\partial f^2 }{\partial x \partial y} \right)^2 dx dy $

by integration by parts.

This relation is from page 5, equation 18, of the paper Generalized Sampling: A Variational Approach. Part I: Theory.

  • 0
    In the paper $f$ is supposed to be a test function (it's the only thing that @olumide has to add here).2011-07-25

1 Answers 1

4

We have $\int_{\mathbb R^2} \dfrac{\partial^2 f}{\partial x^2}\dfrac{\partial^2 f}{\partial y^2}dx dy = \int_{\mathbb R}\left(\int_{\mathbb{R}}\dfrac{\partial^2 f}{\partial x^2}\dfrac{\partial^2 f}{\partial y^2}dy\right)dx$ and $\int_{\mathbb{R}}\dfrac{\partial^2 f}{\partial x^2}\dfrac{\partial^2 f}{\partial y^2}dy = \left[\dfrac{\partial^2 f}{\partial x^2}\dfrac{\partial f}{\partial y}\right]_{y=-\infty}^{y=+\infty}-\int_{\mathbb R}\dfrac{\partial^3 f}{\partial x^2\partial y}\dfrac{\partial f}{\partial y}dy $ hence $\int_{\mathbb R^2} \dfrac{\partial^2 f}{\partial x^2}\dfrac{\partial^2 f}{\partial y^2}dx dy =-\int_{\mathbb R}\left(\int_{\mathbb R}\dfrac{\partial^3 f}{\partial x^2\partial y}\dfrac{\partial f}{\partial y}dx\right)dy.$ To conclude, we notice that $\int_{\mathbb R}\dfrac{\partial^3 f}{\partial x^2\partial y}\dfrac{\partial f}{\partial y}dx=\left[\dfrac{\partial^2 f }{\partial x\partial y}\dfrac{\partial f}{\partial y}\right]_{x=-\infty}^{x=+\infty} -\int_{\mathbb R}\dfrac{\partial^2 f }{\partial x\partial y}\dfrac{\partial^2 f }{\partial y\partial x}.$

Added later: of course, the brackets vanish since $f$ and its partial derivatives have a compact support.

  • 0
    Such a clear explanation! Thanks @gridav.2011-07-27