Search All of the Math Forum:

Views expressed in these public forums are not endorsed by NCTM or The Math Forum.

Notice: We are no longer accepting new posts, but the forums will continue to be readable.

Topic: An independent integration test suite
Replies: 128   Last Post: Dec 8, 2013 3:21 PM

 Messages: [ Previous | Next ]
 clicliclic@freenet.de Posts: 1,245 Registered: 4/26/08
Re: The A. F. Timofeev symbolic integration test suite
Posted: Nov 7, 2013 7:15 AM

did schrieb:
>
> On Thursday, 7 November 2013 03:33:19 UTC+1, Nasser M. Abbasi wrote:

> >
> > On 11/6/2013 6:16 PM, Albert Rich wrote:

> > >
> > > I am currently transcribing the 109 integration examples in Chapter 8 of Timofeev's book.
> > > However I am unable to figure out what Timofeev intended for examples #66 and #69 on
> > > page 366. The integrands for #66 and #69 appear to be
> > >
> > > (cosh(x)^2 - sinh(x)^3) / (cosh[x)^3 + sinh(x)^3)
> > >
> > > and
> > >
> > > (tanh(x)-cosh(2x))*cosh(x)/((sinh(2x)+sinh(x)^2)*sqrt(sinh(2*x)))
> > >
> > > respectively, but the antiderivatives shown for them are not valid.
> > > Can anybody out there help me out?
> > >

> >
> > Yes, there is an error/typo somewhere. difference between
> > the derivative of the anti derivative and the integrand is not
> > zero and not even linear constant difference. This is from
> > the 1948 edition. May be there is a newer edition than this
> > to check?
> >
> > #66
> > restart;
> > integrand:=(cosh(x)^2 - sinh(x)^3) / (cosh(x)^3 + sinh(x)^3):
> > anti:= 1/(3*(1+tanh(x)))+ 4/(3*sqrt(3))*arctan( (2*tanh(x)-1)/sqrt(3)):
> > check:=simplify(integrand-diff(anti,x));
> >
> > (1/3)*(3*cosh(x)^3-6*cosh(x)^2*sinh(x)+3*cosh(x)^2-4*cosh(x)
> > +2*sinh(x)) /(cosh(x)^3+cosh(x)^2*sinh(x)-sinh(x))
> >
> > plot(%,x=-Pi..Pi);
> >
> >
> > #69
> > restart;
> > integrand:=(tanh(x)-cosh(2*x))*cosh(x)/((sinh(2*x)+sinh(x)^2)*sqrt(sinh(2*x))):
> > anti:= 1/sqrt(2*tanh(x))+sqrt(2)/6*log( (1-sqrt(tanh(x)))/(1+sqrt(tanh(x))) )
> > +sqrt(2)*arctan(tanh(x))+1/6 * arctan(sqrt(tanh(x)/2)):
> > check:=simplify(integrand-diff(anti,x)); %too large to show
> > plot(%,x=-Pi..Pi);
> >

>
> A possible fix for #66 is:
>
> restart:
> integrand:=(cosh(x)^3 - sinh(x)^3) / (cosh(x)^3 + sinh(x)^3);
> anti:= -1/(3*(1+tanh(x))) + 4/(3*sqrt(3))*arctan( (2*tanh(x)-1)/sqrt(3));
> check:=simplify(integrand-diff(anti,x));
>

I agree with this fix of Timofeev's example #66 from Chapter VIII. It
amounts to negating the first term of the antiderivative and changing
the exponent 2 in the integrand to 3.

Regarding example #69 from Chapter VIII, I propose to change the 3rd
term of the antiderivative from SQRT(2)*ATAN(TANH(x)) to SQRT(2)*
ATAN(SQRT(TANH(x))); this makes the antiderivative valid where the
radicands are positive. A compact antiderivative for the entire complex
plane is:

COSH(x)/SQRT(SINH(2*x))
- SQRT(2)/3*ATANH(SQRT(SINH(2*x))/(SQRT(2)*COSH(x)))
+ SQRT(2)*ATAN(SQRT(SINH(2*x))/(SQRT(2)*COSH(x)))
+ 1/6*ATAN(SINH(x)/SQRT(SINH(2*x)))

Martin.

Date Subject Author
2/24/13 clicliclic@freenet.de
3/19/13 clicliclic@freenet.de
3/21/13 Waldek Hebisch
3/22/13 clicliclic@freenet.de
3/26/13 Waldek Hebisch
3/26/13 clicliclic@freenet.de
4/20/13 clicliclic@freenet.de
4/20/13 Nasser Abbasi
4/20/13 Rouben Rostamian
4/20/13 clicliclic@freenet.de
4/20/13 Rouben Rostamian
4/20/13 Axel Vogt
4/20/13 clicliclic@freenet.de
4/20/13 Axel Vogt
4/21/13 Axel Vogt
4/21/13 clicliclic@freenet.de
4/21/13 Waldek Hebisch
4/22/13 clicliclic@freenet.de
4/22/13 Axel Vogt
4/22/13 clicliclic@freenet.de
4/23/13 Waldek Hebisch
4/24/13 clicliclic@freenet.de
4/25/13 Waldek Hebisch
4/26/13 clicliclic@freenet.de
4/27/13 Waldek Hebisch
4/24/13 Richard Fateman
4/24/13 clicliclic@freenet.de
4/25/13 Richard Fateman
4/26/13 clicliclic@freenet.de
4/26/13 Axel Vogt
4/27/13 clicliclic@freenet.de
4/25/13 Waldek Hebisch
4/25/13 Peter Pein
4/25/13 Nasser Abbasi
4/26/13 Peter Pein
4/26/13 clicliclic@freenet.de
4/26/13 Peter Pein
4/26/13 clicliclic@freenet.de
4/26/13 Richard Fateman
4/27/13 clicliclic@freenet.de
4/27/13 Richard Fateman
6/30/13 clicliclic@freenet.de
6/30/13 Axel Vogt
7/1/13 clicliclic@freenet.de
7/1/13 Axel Vogt
7/1/13 Waldek Hebisch
7/2/13 clicliclic@freenet.de
7/2/13 clicliclic@freenet.de
7/2/13 clicliclic@freenet.de
7/2/13 Nasser Abbasi
7/2/13 Nasser Abbasi
7/4/13 clicliclic@freenet.de
7/4/13 Nasser Abbasi
7/4/13 Nasser Abbasi
7/5/13 clicliclic@freenet.de
7/5/13 Nasser Abbasi
7/9/13 clicliclic@freenet.de
7/10/13 Nasser Abbasi
7/10/13 Richard Fateman
7/10/13 Nasser Abbasi
7/10/13 clicliclic@freenet.de
8/6/13 clicliclic@freenet.de
9/15/13 Albert D. Rich
9/15/13 clicliclic@freenet.de
9/15/13 clicliclic@freenet.de
9/21/13 Albert D. Rich
9/21/13 clicliclic@freenet.de
9/22/13 daly@axiom-developer.org
9/24/13 daly@axiom-developer.org
9/30/13 daly@axiom-developer.org
9/22/13 Albert D. Rich
9/25/13 Albert D. Rich
9/25/13 Albert D. Rich
9/25/13 clicliclic@freenet.de
9/25/13 Albert D. Rich
9/26/13 Albert D. Rich
9/26/13 clicliclic@freenet.de
9/26/13 Albert D. Rich
9/29/13 clicliclic@freenet.de
10/1/13 Albert D. Rich
10/1/13 clicliclic@freenet.de
10/1/13 Albert D. Rich
10/5/13 clicliclic@freenet.de
10/5/13 Albert D. Rich
10/6/13 clicliclic@freenet.de
10/10/13 Albert D. Rich
10/10/13 Nasser Abbasi
10/11/13 clicliclic@freenet.de
11/6/13 Albert D. Rich
11/6/13 Nasser Abbasi
11/7/13 did
11/7/13 clicliclic@freenet.de
11/7/13 clicliclic@freenet.de
11/7/13 Albert D. Rich
11/12/13 clicliclic@freenet.de
11/12/13 Albert D. Rich
11/13/13 clicliclic@freenet.de
11/13/13 Albert D. Rich
11/14/13 clicliclic@freenet.de
11/14/13 Albert D. Rich
11/15/13 clicliclic@freenet.de
11/15/13 Albert D. Rich
11/16/13 clicliclic@freenet.de
11/16/13 clicliclic@freenet.de
11/21/13 Albert D. Rich
11/21/13 clicliclic@freenet.de
11/21/13 Nasser Abbasi
11/21/13 Albert D. Rich
11/21/13 Albert D. Rich
11/22/13 clicliclic@freenet.de
11/14/13 Albert D. Rich
11/15/13 clicliclic@freenet.de
11/15/13 Nasser Abbasi
11/16/13 clicliclic@freenet.de
11/16/13 Nasser Abbasi
11/7/13 did
11/7/13 clicliclic@freenet.de
4/20/13 Richard Fateman
4/21/13 clicliclic@freenet.de
4/20/13 Axel Vogt
4/20/13 clicliclic@freenet.de
4/20/13 Waldek Hebisch
4/21/13 G. A. Edgar
12/8/13 clicliclic@freenet.de
10/5/13 Albert D. Rich
10/6/13 clicliclic@freenet.de