Skip to main content

Timeline for A definite integral

Current License: CC BY-SA 3.0

10 events
when toggle format what by license comment
Sep 27, 2011 at 15:20 comment added Anand Thanks Jacques Carette. But does any one know a proof? I am still thinking of a proof of this integral.
Sep 24, 2011 at 23:46 comment added Jacques Carette You need the assumptions, else it will return unevaluated. This is a common mistake made in using Maple, not using all the available information. It worked for me all the way back to Maple 11.
Sep 24, 2011 at 20:34 comment added Anand @Jacques Carette, I just installed Maple and tried the above integral. It returns the same integral, i.e., it couldn't find an closed form solution in Maple. Maybe I need to explore Maple 15 more. Thanks. :-)
Sep 24, 2011 at 18:22 comment added Jacques Carette @Anand: oops. @Brendan: thanks for noticing!
Sep 24, 2011 at 13:29 vote accept Anand
Sep 28, 2011 at 8:01
Sep 24, 2011 at 13:29 comment added Anand @Brendan, you are right, after changing $\Phi$ to erf function, numerical calculation suggests that it is the right answer. Thanks! :-)
Sep 24, 2011 at 12:29 comment added Brendan McKay Probably that's because erf and $\Phi$ are not the same. erf is an integral from 0 to something not from $-\infty$ to something.
Sep 24, 2011 at 12:12 comment added Anand Hello, Jacques Carette, I plot the ratio function between the numerical integral of my integral and your solution. But it doesn't give a constant 1 function.
Sep 24, 2011 at 12:03 comment added Anand Thanks Jacques Carette. I only use Mathematica and Matlab. It seems to me that Mathematica is most powerful symbolic calculation engine. I will have a look of Maple. Thanks a lot! :-)
Sep 24, 2011 at 11:54 history answered Jacques Carette CC BY-SA 3.0