0
$\begingroup$

enter image description here

I am studying PDE from the book Elliptic Partial Differential Equations of Second Order by Gilbarg and Trudinger. Here I find difficulty to understand a concept. Here's this $:$

The author claims that if $u$ is harmonic on $B_R(0)$ then so is $Du$. But how is it possible? $Du$ is a vector-valued function and harmonic functions are all real valued functions. This problem in understanding leads to another problem which is the equality of integrals in the above picture i.e.

$$Du(y) = \frac {1} {\omega_n R^n} \int_B Du\ \mathrm {dx} = \frac {1} {\omega_n R^n} \int_{\partial B} u \nu\ \mathrm {ds}.$$

How can the above equality of integrals be obtained from the mean value and divergence theorem? I only know these two theorems for real valued function. I think mean value theorem can be extended for $Du$ here since $D_i u$ is harmonic on $B$ for $i=1,2, \cdots , n$ since $u$ is so. Thus we have the first equality of the above integrals. But I still find difficulty regarding the second equality of the integrals I.e. how do we find

$$\frac {1} {\omega_n R^n} \int_B Du\ \mathrm {dx} = \frac {1} {\omega_n R^n} \int_{\partial B} u \nu\ \mathrm {ds}.$$

Please help me in this regard.

Thank you in advance.

$\endgroup$
  • 2
    $\begingroup$ They mean that all component of $Du$ are harmonic functions. This is immediate, as $\Delta(\partial_j u)=\partial_j \Delta u=0$. $\endgroup$ – Giuseppe Negro Apr 22 '18 at 21:40
  • $\begingroup$ I have already mentioned it. $\endgroup$ – Arnab Chatterjee. Apr 22 '18 at 21:58
  • $\begingroup$ The second question is a vector reformulation of the divergence theorem. See here $\endgroup$ – Giuseppe Negro Apr 22 '18 at 22:22
  • $\begingroup$ Great link. Thanks @Giuseppe Negro for the link you provided. $\endgroup$ – Arnab Chatterjee. Apr 23 '18 at 2:33
  • $\begingroup$ I am glad it helped. If you are satisfied, please consider accepting my CW answer below, to signal that the question is answered. $\endgroup$ – Giuseppe Negro Apr 23 '18 at 12:20
2
$\begingroup$

As noted by the OP, the authors say that "$Du$ is harmonic" to mean that the partial derivatives of $u$ are. The other question is answered here.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.