MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I am trying to read Fritz John's article, here:

And for the proof of Thm 1.1 in page 303 he writes that one can easily verify the equation (7) is satisfied for $i=1,k=2$, is it really that easy, perhaps I am missing some symmetry here?

I got so far to:

$$[\frac{\partial^2}{\partial \xi_1 \partial \eta_2 } - \frac{\partial^2}{\partial \xi_2 \partial \eta_1} ] \frac{v(\xi , \eta)}{\sum_i (\xi_i -\eta_i)^2} = $$

$$= \frac {\(\frac{\partial^2 v}{\partial \xi_1 \partial \eta_2} -\frac{\partial^2 v }{\partial \xi_2 \partial \eta_1})|\xi-\eta| +2|\xi-\eta|^2[(\xi_2-\eta_2)v_{\xi_1}-(\xi_1-\eta_1)v_{\xi_2}]}{|\xi-\eta|^4}$$

Now somehow I need to calculate another several derivatives wrt to eqaution (6) in the paper, is there some easy way to calculate that I am missing, he writes that it should be easy... :-D

Thanks in advance, Alan. Edit: I don't think this equality is valid, I checked it in Maple 18, and it gives me false, here's the code: B := diff(diff(sqrt((x_1-y_1)^2+(x_2-y_2)^2+(x_3-y_3)^2)*u((-x_1*y_3+x_3*y_1+x_2-y_2)/(x_3-y_3), (-x_2*y_3+x_3*y_2-x_1+y_1)/(x_3-y_3), (-x_1*y_3+x_3*y_1-x_2+y_2)/(x_3-y_3), (-x_2*y_3+x_3*y_2+x_1-y_1)/(x_3-y_3))/(x_3-y_3), y_2), x_1)

A := diff(diff(sqrt((x_1-y_1)^2+(x_2-y_2)^2+(x_3-y_3)^2)*u((-x_1*y_3+x_3*y_1+x_2-y_2)/(x_3-y_3), (-x_2*y_3+x_3*y_2-x_1+y_1)/(x_3-y_3), (-x_1*y_3+x_3*y_1-x_2+y_2)/(x_3-y_3), (-x_2*y_3+x_3*y_2+x_1-y_1)/(x_3-y_3))/(x_3-y_3), y_1), x_2); evalb(A = B)

What am I doing wrong here? Does someone have some other code that checks that the equality indeed checks valid?

share|cite|improve this question

closed as off-topic by Deane Yang, Peter Michor, Joonas Ilmavirta, Stefan Kohl, Yoav Kallus Jun 11 '15 at 14:00

This question appears to be off-topic. The users who voted to close gave this specific reason:

  • "This question does not appear to be about research level mathematics within the scope defined in the help center." – Deane Yang, Peter Michor, Joonas Ilmavirta, Stefan Kohl, Yoav Kallus
If this question can be reworded to fit the rules in the help center, please edit the question.

OK, I think I understand why this is so.

If I calculate the expression:

$$\frac{\partial^2}{\partial \xi_1 \partial \eta_2 }(\frac{ v}{|\xi-\eta|})$$

I get an expression that doesn't depend on $\xi_1 \& \eta_2$ explicitly thus by interchanging variable $\xi_1 \mapsto \xi_2$ and $\eta_2 \mapsto \eta_1$ I get the same expression.

For the love of god it is easy... :-D

share|cite|improve this answer
I believe I also spotted a misprint, on page 4 after Eq. (8) it should be: $$\frac{v(\theta \xi +(1-\theta)\eta,\eta )}{|\theta \xi +(1-\theta)\eta -\eta|} = \frac{1}{\theta}\frac{v(\xi,\eta)}{|\xi-\eta|}$$ They forgot $\theta$ in the LHS of the denominator. – Alan Jun 11 '13 at 3:07

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