Jump to content

Wikipedia:Reference desk/Archives/Mathematics/2016 May 23

From Wikipedia, the free encyclopedia
Mathematics desk
< May 22 << Apr | May | Jun >> May 24 >
Welcome to the Wikipedia Mathematics Reference Desk Archives
The page you are currently viewing is a transcluded archive page. While you can leave answers for any questions shown below, please ask new questions on one of the current reference desk pages.


May 23

[edit]

Lindstrom's Theorem and Extensions of FO

[edit]

Is there an extension of first order logic that doesn't have Lowenheim-Skolem, but is compact (and all other such)? In general, is there any work on logics between FO and SO that have nice enough metalogical properties that they aren't "broken" when it comes to actually working with them, even if they still aren't perfect? I realize this is an absurdly vague and general question, but I've always wondered about why SO seems to be the next step talked about after FO, it feels (if that word makes sense) like there should be a whole world of neat systems between them. I haven't really touched this stuff in a few years -- other projects -- so I apologize if this is poorly laid out, or a bit of nonsense (it's also really late here, so a bit sleepy headed); in any event, thanks for any direction:-) Phoenixia1177 (talk) 09:52, 23 May 2016 (UTC)[reply]

Have you seen our articles SO_(complexity) and FO_(complexity)? They talk a bit about restrictions and closures. SemanticMantis (talk) 17:35, 23 May 2016 (UTC)[reply]

You might be interested in the Barwise compactness theorem for a certain sort of infinitary logic. Not sure if it's exactly what you're looking for, but it seems at the very least close enough that you might be interested. --Trovatore (talk) 07:20, 25 May 2016 (UTC)[reply]

Interchanging between surface area and an integral

[edit]

Is it true that the n-dimensional integral is equal to the surface area of the (n-1)-dimensional unit sphere? What formula tackles this?--אדי פ' (talk) 19:19, 23 May 2016 (UTC)[reply]

Yes. Integrate in spherical coordinates, using the well-known identity . Sławomir
Biały
19:56, 23 May 2016 (UTC)[reply]
(edit conflict)You're talking right? Note that . Note that a unit "surface normal" to every n-dimensional ball is ; taking the dot product of this with the vector field I just constructed yields . I am not sure if this is correct, so everything from here on should be taken with caution.
Now choose another ball of radius . The n-dimensional divergence theorem gives where and are the (n-1)-dimensional surface areas of the unit ball and ball of radius r respectively. Since the n - 1 dimensional surface area should be proportional to the power , the second term vanishes as .
Someone has to check me on this. I do notice that it is correct for n = 2 and n = 3, though.--Jasper Deng (talk) 20:57, 23 May 2016 (UTC)[reply]
I did realize, however, that what I just computed shows in one way how the divergence theorem generalizes the fundamental theorem of calculus.--Jasper Deng (talk) 21:17, 23 May 2016 (UTC)[reply]
Yep the curl discussion above is a bit about that, the fundamental theorem is the scalar version of Stokes' theorem. Dmcq (talk) 21:44, 23 May 2016 (UTC)[reply]
@Dmcq: I was even attempting to apply Stokes' theorem directly (to the region between the two spheres) by noticing that is the exterior derivative of the (n-1)-form , but I'm currently having trouble making sense of the integral of the latter over each of the sphere in terms of how it relates to my above calculations.--Jasper Deng (talk) 22:08, 23 May 2016 (UTC)[reply]
Well what you're doing there is use Cartesian coordinates instead of spherical ones and all those pluses and minuses are used in calculating the Jacobian like Sławomir Biały mentions below. One doesn't gain in calculation. What makes things simpler is a coordinate system like you had with most of the coordinates tangent to the surface of the sphere and a normal and that makes things straightforward in terms of surface elements which expand slightly as one goes out and slightly sloping sides which don't have any overall contribution, and that's what you did. Dmcq (talk) 15:16, 24 May 2016 (UTC)[reply]
The divergence theorem is a nice approach. Another (equivalent) approach is to use the formula expressing the surface area of a sphere of radius r as the derivative with respect to r of the volume of the ball of radius r. We make the following change of variables in the volume integral:
where is a free parameter. This transforms the interior of the ball of radius r to the exterior of the ball of radius 1. The Jacobian is So, we have the identity
The case in the OP has . (There appears to be an extra factor here, but maybe I've made a mistake in calculating the Jacobian, but I do not have time at the moment to find the error.) Sławomir Biały (talk) 12:24, 24 May 2016 (UTC)[reply]