Skip to main content
added 366 characters in body
Source Link
Willie Wong
  • 39k
  • 4
  • 94
  • 176

The key is to estimate the integral (where $g\in C^\infty_c(\mathbb{R}^3)$ by assumption) $$ \iint_{|x - y| = t} g(y)~ dS_y \lesssim \iiint_{|x-y| \geq t} |D g|~dy $$$$\tag{A} \iint_{|x - y| = t} g(y)~ dS_y \lesssim \iiint_{|x-y| \geq t} |D g|~dy. $$ whichOnce this estimate is found, the desired result follows from the representation formula (1.2) in the formpaper. This is an instance of a "trace theorem". Excepttrace theorem, except in this case the argument is elementary.

Let $v^i = \frac{y^i - x^i}{|y-x|^3} \propto D^i \frac{1}{|y-x|}$, we see that outside of $|x-y| = t$ this vector field is divergence free (recall that the fundamental solution of the Laplacian in 3 dimensions is constant times $1/|x|$).

And so we have that by the Gauss-Green theorem (using $\nu$ for the appropriate normal vector field to the sphere; the RHS may be missing a minus sign which is inconsequential for the estimate) (recall that $g$ has finite support so there's no issue with boundary at infinity)

$$ \iint_{|x-y| = t} g(y) ~ dS_y = \iint_{|x-y| = t} t^2 (v\cdot \nu) g(y) ~dS_y = \iiint_{|x-y| \geq t} \mathrm{div}( t^2 v g) ~dy $$

which we evaluate to be

$$ = \iiint_{|x-y| \geq t} t^2 v \cdot Dg ~dy $$

Observe that as on our domain $|y-x| \geq t$, the vector field $t^2 v$ has norm $\leq 1$ exterior to the ball, so we have

$$ \leq \iiint_{|x-y| \geq t} |Dg| ~dy $$

(And we see that the desired inequality holds with implicit constant 1.)

The key is to estimate the integral (where $g\in C^\infty_c(\mathbb{R}^3)$ by assumption) $$ \iint_{|x - y| = t} g(y)~ dS_y \lesssim \iiint_{|x-y| \geq t} |D g|~dy $$ which is in the form of a "trace theorem". Except in this case the argument is elementary.

Let $v^i = \frac{y^i - x^i}{|y-x|^3} \propto D^i \frac{1}{|y-x|}$, we see that outside of $|x-y| = t$ this vector field is divergence free.

And so we have that by the Gauss-Green theorem

$$ \iint_{|x-y| = t} g(y) ~ dS_y = \iint_{|x-y| = t} t^2 (v\cdot \nu) g(y) ~dS_y = \iiint_{|x-y| \geq t} \mathrm{div}( t^2 v g) ~dy $$

which we evaluate to be

$$ = \iiint_{|x-y| \geq t} t^2 v \cdot Dg ~dy $$

Observe that as on our domain $|y-x| \geq t$, the vector field $t^2 v$ has norm $\leq 1$ exterior to the ball, so we have

$$ \leq \iiint_{|x-y| \geq t} |Dg| ~dy $$

(And we see that the desired inequality holds with implicit constant 1.)

The key is to estimate the integral (where $g\in C^\infty_c(\mathbb{R}^3)$ by assumption) $$\tag{A} \iint_{|x - y| = t} g(y)~ dS_y \lesssim \iiint_{|x-y| \geq t} |D g|~dy. $$ Once this estimate is found, the desired result follows from the representation formula (1.2) in the paper. This is an instance of a trace theorem, except in this case the argument is elementary.

Let $v^i = \frac{y^i - x^i}{|y-x|^3} \propto D^i \frac{1}{|y-x|}$, we see that outside of $|x-y| = t$ this vector field is divergence free (recall that the fundamental solution of the Laplacian in 3 dimensions is constant times $1/|x|$).

And so we have that by the Gauss-Green theorem (using $\nu$ for the appropriate normal vector field to the sphere; the RHS may be missing a minus sign which is inconsequential for the estimate) (recall that $g$ has finite support so there's no issue with boundary at infinity)

$$ \iint_{|x-y| = t} g(y) ~ dS_y = \iint_{|x-y| = t} t^2 (v\cdot \nu) g(y) ~dS_y = \iiint_{|x-y| \geq t} \mathrm{div}( t^2 v g) ~dy $$

which we evaluate to be

$$ = \iiint_{|x-y| \geq t} t^2 v \cdot Dg ~dy $$

Observe that as on our domain $|y-x| \geq t$, the vector field $t^2 v$ has norm $\leq 1$ exterior to the ball, so we have

$$ \leq \iiint_{|x-y| \geq t} |Dg| ~dy $$

Source Link
Willie Wong
  • 39k
  • 4
  • 94
  • 176

The key is to estimate the integral (where $g\in C^\infty_c(\mathbb{R}^3)$ by assumption) $$ \iint_{|x - y| = t} g(y)~ dS_y \lesssim \iiint_{|x-y| \geq t} |D g|~dy $$ which is in the form of a "trace theorem". Except in this case the argument is elementary.

Let $v^i = \frac{y^i - x^i}{|y-x|^3} \propto D^i \frac{1}{|y-x|}$, we see that outside of $|x-y| = t$ this vector field is divergence free.

And so we have that by the Gauss-Green theorem

$$ \iint_{|x-y| = t} g(y) ~ dS_y = \iint_{|x-y| = t} t^2 (v\cdot \nu) g(y) ~dS_y = \iiint_{|x-y| \geq t} \mathrm{div}( t^2 v g) ~dy $$

which we evaluate to be

$$ = \iiint_{|x-y| \geq t} t^2 v \cdot Dg ~dy $$

Observe that as on our domain $|y-x| \geq t$, the vector field $t^2 v$ has norm $\leq 1$ exterior to the ball, so we have

$$ \leq \iiint_{|x-y| \geq t} |Dg| ~dy $$

(And we see that the desired inequality holds with implicit constant 1.)