Forums before death by AOL, social media and spammers... "We can't have nice things"
|    sci.math.symbolic    |    Symbolic algebra discussion    |    10,432 messages    |
[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]
|    Message 8,606 of 10,432    |
|    paulandrewbird@gmail.com to clicl...@freenet.de    |
|    Re: Can someone solve this improper inte    |
|    02 Jul 14 05:56:36    |
      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.              --- SoupGate-Win32 v1.05        * Origin: you cannot sedate... all the things you hate (1:229/2)    |
[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]
(c) 1994, bbs@darkrealms.ca