Let $\Omega \subset \mathbb{R}^n$ be an open open subset. Let $u,v\colon \Omega\to \mathbb{R}$ be two functions such that at least one of them is compactly supported. Assume each of $u$ and $v$ can be presented as a difference of two bounded subharmonic functions in $\Omega$. Thus in particular the distributional Laplacians $\Delta u,\Delta v$ are well defined as signed measures on $\Omega$.


**Question.** Is it true that
$$\int\_\Omega u(x)\Delta v(x) dx=\int\_\Omega v(x)\Delta u(x) dx?$$


**Remark.** (1) The expressions under the both integrals are well defined as signed measures with compact support. Thus both sides make sense.


(2) The simplest unknown to me case is $n=2$.



Comparing integrals of bounded subharmonic functions
Without loss of generality, $u$ has compact support $K\subset\Omega$. Therefore the (signed) measure $\Delta u$ is supported in $K$ as well. Let $(\phi\_k)$ be a sequence of smooth (radial) mollifiers such that $\phi\_k\*u$ is supported in $K^\delta$ (the closed $\delta$ neighborhood of $K$, with $\delta>0$ so small that $K^\delta\subset\Omega$). Additionally, suppose $0\le\phi\_k$, $\int\_{\Bbb R^n}\phi\_k(x)\phantom{!}dx=1$, and $\phi\_k$ is supported in the ball $B(0,\delta/k)$, for each $k\ge 1$.
Then $\lim\_k \phi\_k\*u=u$ pointwise and boundedly, because (for example) $u$ is finely continuous. Likewise $\lim\_k\phi\_k\*v=v$. Then
$$
\eqalign{
\int\_\Omega u(x)\cdot\Delta v(dx)
&=\lim\_k\int\_\Omega (\phi\_k\*u)(x)\cdot\Delta v(dx)\cr
&=\lim\_k\int\_\Omega \Delta(\phi\_k\*u)(x)\cdot v(x) \phantom{b}dx\cr
&=\lim\_k\int\_\Omega (\phi\_k\*\Delta u)(x)\cdot v(x) \phantom{b}dx\cr
&=\lim\_k\int\_\Omega (\phi\_k\*v )(x)\phantom{b}\Delta u(dx)\cr
&=\int\_\Omega v(x)\cdot\Delta u(dx).\cr
}
$$
Here the second equality is just the definition of $\Delta v$ as a distribution; the third likewise; the fourth is Fubini.


(Edited per suggestion of makt, to fix the vacuity noticed by Mateusz Kwaśnicki.)


