A question on integration by parts

179 Views Asked by At

From PDE Evans, 2nd edition, page 148...

Observe \begin{align} \int_0^\infty \int_{-\infty}^\infty w_t v_x \, dx dt &= -\int_0^\infty \int_{-\infty}^\infty wv_{tx} \, dx dt - \int_{-\infty}^\infty wv_x \, dx \vert_{t=0} \\ &= \int_0^\infty \int_{-\infty}^\infty w_x v_{t} \, dx dt + \int_{-\infty}^\infty w_x v \, dx \vert_{t=0} \end{align}

For the first line, I believe the formula to the integration by parts was employed. (Please correct me if I'm mistaken.) But for the last step, may I ask how can we just move the subscript of $x$ from $v$ to $w$, in both the terms, and expect to remove the negative?

(Note: This step is part of proving the Lax-Oleinik formula as an integral solution to a certain PDE with initial conditions.)

1

There are 1 best solutions below

5
On BEST ANSWER

Assuming $w,v$ are in the necessary spaces you are correct about the first line. Remember that the general idea for IBP is $$ \int_S u v' \, \mathrm{d} \mu = \int_{\partial S} uv \, \mathrm{d} \mu - \int_S u'v \, \mathrm{d} \mu $$ and that the first integral vanishes as long as either $v$ or $u$ has compact support (i.e. the functions are in the correct space).

So now consider $$ \begin{eqnarray} \int_0^\infty \int_{-\infty}^\infty w_t v_x \, \mathrm{d} x \, \mathrm{d} t & = & \int_{-\infty}^\infty \left. w v_x \right|_{t=0}^{t\to\infty} \,\mathrm{d} x - \int_0^{\infty} \int_{-\infty}^\infty w v_{xt} \, \mathrm{d} x \, \mathrm{d} t \\ & = & - \int_{-\infty}^\infty \left. w v_x \right|_{t=0} \, \mathrm{d}x - \int_0^{\infty} \int_{-\infty}^\infty w v_{xt} \, \mathrm{d} x \, \mathrm{d} t \end{eqnarray} $$ Here we are integrating by parts in the $t$, and the second equality comes from an assumption that $w$ has compact support in $t$. Now let's do this again but this time in the $x$ integral: $$ - \int_{-\infty}^\infty \left. w v_x \right|_{t=0} \, \mathrm{d}x - \int_0^{\infty} \int_{-\infty}^\infty w v_{xt} \, \mathrm{d} x \, \mathrm{d} t \\ = - \left. \left. wv \right|_{t=0} \right|_{x\to -\infty}^{x \to \infty} + \int_{-\infty}^{\infty} \left. w_x v \right|_{t=0} \, \mathrm{d} x - \int_0^{\infty} \left. w v_t \right|_{x\to-\infty}^{x\to\infty} \, \mathrm{d}t + \int_0^{\infty} \int_{-\infty}^\infty w_x v_t \, \mathrm{d} x \, \mathrm{d} t \\ = \int_{-\infty}^\infty \left. w_x v \right|_{t=0} \, \mathrm{d} x + \int_0^{\infty} \int_{-\infty}^\infty w_x v_t \, \mathrm{d} x \, \mathrm{d} t $$ where the last equality follows from the assumption that $w$ has compact support in $x$.