On Wednesday, 2 July 2014 13:56:36 UTC+1, pauland...@gmail.com  wrote:   
   > On Tuesday, 1 July 2014 16:12:38 UTC+1, clicl...@freenet.de  wrote:   
   >    
   > > paulandrewbird@gmail.com schrieb:   
   >    
   > >    
   >    
   > > >    
   >    
   > >    
   >    
   > > > Hi, I'm trying to solve the integral:   
   >    
   > >    
   >    
   > > >    
   >    
   > >    
   >    
   > > > integral( exp( a*x^4+4*b*x^3*y+6*c*x^2*y^2+4*d*x*y^3+e*y^4)   
   >    
   > >    
   >    
   > > > ,x=-infty..infty, y=-infty..finty)   
   >    
   > >    
   >    
   > > >    
   >    
   > >    
   >    
   > > > I tried on Wolfram alpha but it was too complicated for it.   
   >    
   > >    
   >    
   > > >    
   >    
   > >    
   >    
   > > > I'm guessing it's going to be in the form 1/P(a,b,c,d,e)^(1/8) where P   
   >    
   > >    
   >    
   > > > is a 4th degree polynomial in the coefficients of the quartic.   
   >    
   > >    
   >    
   > > >    
   >    
   > >    
   >    
   > > > My guess is that P is the discriminant of the polynomial but that is   
   >    
   > >    
   >    
   > > > just a guess.   
   >    
   > >    
   >    
   > > >    
   >    
   > >    
   >    
   > > > Is there any good free software that can solve this? Can Mathematica   
   >    
   > >    
   >    
   > > > or Maple solve this? Can you?   
   >    
   > >    
   >    
   > > >    
   >    
   > >    
   >    
   > >    
   >    
   > >    
   >    
   > > I cannot solve your integral, but find your conjecture must be wrong.   
   >    
   > >    
   >    
   > > The integral remains finite when the quartic discriminant vanishes;   
   >    
   > >    
   >    
   > > taking a=-1, b=0, c=-2, d=0, e=-1 for instance, it numerically evaluates   
   >    
   > >    
   >    
   > > to 1.98670, whereas the quartic discriminant   
   >    
   > >    
   >    
   > >    
   >    
   > >    
   >    
   > > 1/27*(4*(12*a*e - 3*b*d + c^2)^3   
   >    
   > >    
   >    
   > >       - (72*a*c*e - 27*a*d^2 - 27*b^2*e + 9*b*c*d - 2*c^3)^2)   
   >    
   > >    
   >    
   > >    
   >    
   > >    
   >    
   > > vanishes for these coefficients. More generally, since the integrand is   
   >    
   > >    
   >    
   > > stricly positive everywhere, so must be the integral, and its symbolic   
   >    
   > >    
   >    
   > > evaluation must be positive and finite over the entire (a,b,c,d,e)   
   >    
   > >    
   >    
   > > domain where it converges.   
   >    
   > >    
   >    
   > >    
   >    
   > >    
   >    
   > > Martin.   
   >    
   >    
   >    
   > Are you sure you included the numbers in the coefficients (a,4b,6c,4d,e) in   
   your calculation of the discriminant?   
   >    
   >    
   >    
   > A good test would be c=-1/3. Then the discriminant would be zero. The   
   integral would be:   
   >    
   >    
   >    
   > Int[ exp( -(x^2-y^2)(x^2-y^2) ) ]dxdy = Int[ exp( -u^2 v^2 ) ] with a change   
   of variables to u=x+y, v=x-y. Which I believe diverges.   
      
      
   The other main candidate instead of Det(A) which is the discriminant of the   
   polynomial is a straight forward generalisation of the determinant.   
   Contracting 4 copies of A with Levi-Cevita symbols.   
      
   det0(A) = A^{abcd}A^{efgh}A^{ijkl}A^{mnop}ε_{aeim}ε_{bfjo}ε_{cgko}ε_{dhlp}   
      
   = a^4+...   
      
   Thus if we can do the integral we could find out which one is more likely.   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)