Re: Volume integrals in Content MathML

Dear David,

That certainly looks more promising - a little more general.
But, is it really still biased towards Cartesian-like coordinates?

Assume instead that we need to integrate over a two dimensional domain on the surface of a sphere. A natural basis might be two angle coordinates - a finite domain: not quite RxR. Certainly we can map a sphere to RxR, a la Riemann. But indicating the specifics of the domain seems to restrict to a class of bases.

Also, in general, a volume element is dxdydz = sqrt(det(g))*du1du2du3 where from a general transformation from Cartesian (x,y,z) to (u1,u2,u3) we pick up a factor of the Jacobian, the square root of the determinant of the metric tensor.
Actually, looked at this way, it seems clear that specifying the domain really is like specifying classes of coordinate bases, i.e., domain(u1) x domain(u2) x domain(u3), which is not always RxRxR.

As I understand it, what is usually meant by the domain with the integral notation

$\int \rho({\bf r}) d^3{\bf r}$

is "the whole 3 dimensional domain on which &rho is defined", without reference to any particular basis or restricted class of bases.


Regards,
Joe Collins
--- On Tue, 11/4/08, David Carlisle <davidc@nag.co.uk> wrote:
From: David Carlisle <davidc@nag.co.uk>
Subject: Re: Volume integrals in Content MathML
To: joebmath@yahoo.com
Cc: www-math@w3.org
Date: Tuesday, November 4, 2008, 7:08 AM


does
  <apply><int/>
  <bvar><ci> r </ci></bvar>
  <condition>
   <apply> <in/>
      <ci> r </ci>
   <apply><cartesianproduct/><reals/> <reals/>
<reals/></apply>
   </apply>
 </condition>
    \rho({\bf r})...
</apply>

mean the right thing?

David

________________________________________________________________________
The Numerical Algorithms Group Ltd is a company registered in England
and Wales with company number 1249803. The registered office is:
Wilkinson House, Jordan Hill Road, Oxford OX2 8DR, United Kingdom.

This e-mail has been scanned for all viruses by Star. The service is
powered by MessageLabs. 
________________________________________________________________________