# Antiderrivative of e^(-x)*sin(x)*x^n

• SumThePrimes
In summary, the conversation discusses a method for summing divergent series involving the anti-derivative of e^(-x)*sin(x)*x^n with respect to x. The speaker has tried integration by parts and calculated it for certain values of n, but is unsure how to simplify it. A solution is suggested using induction and contour integration, and the speaker is grateful for the help and excited to work on it further.
SumThePrimes
I have recently come up with a fascinating method of summing various divergent series, whether it has been done before I am unaware, but in some scenarios it involves the anti-derivative of e^(-x)*sin(x)*x^n with respect to x. I only need positive integer values of n, and of course a proof/explanation. Any help would be appreciated. Forgive me if this is in the wrong place or is phrased awkwardly... I also accidently hit the enter key before I was done... It does involve number theory at it's heart, but that was not presented in the problem...

Last edited:
Can you tell us what you've tried?? That way, we know how to help!

Well I have tried integration by parts on it, but it seemed to just explode to astronomical sizes... I have calculated it for certain values of n, and am rather sure that it can be expressed with common functions for any integer, and in particular I only need the Integral from 0 to infinity of this function, on occasion that helps to simplify it. Thank you whoever brought this out of number theory, that was a mistake, I was trying to move it.

Wolfram alpha gives us following nice result

$$\int_0^{+\infty} x^n e^{-x}\sin(x)dx=2^{-\frac{n}{2}-\frac{1}{2}}\sin( \pi(n+1)/4)n!$$

I think you can reach it by induction. Basically, the induction hypothesis is that for each n, there are polynomial P(x) and Q(x) such that

$$\int_0^{+\infty}=e^{-x}(P(x)\sin(x)+Q(x)\cos(x))$$

That this is the case is very easily seen. Indeed, partial integration will always give us such a form.

Evaluating in 0 and infinity shows us that we are only interested in the constants of this polynomials. So try to calculate the integral while only caring for the constants.

For example, look at

$$\int x^3 e^{-x} \sin(x)dx$$

Partial integration will yield a term with $x^3$, which we can drop. Remembering that

$$\int e^{-x}\sin(x)dx = -\frac{1}{2} e^{-x} (\sin(x)+\cos(x))$$

So we only care about the integrals

$$-\frac{3}{2}(\int x^2e^{-x}\sin(x)dx + \int x^2e^{-x}\cos(x)dx)$$

Now we can perhaps apply some kind of induction hypothesis.

Is this enough information for you to work it out?

Perhaps an easier way is to calculate the integral

$\int x^n e^{(i-1)x}dx = \int x^n e^{-x}\cos(x)dx + i\int x^n e^{-x}\sin(x)dx$

This integral seems a whole lot easier and is very approachable by integration by parts. The imaginary parts of the final integral will be the integral you're looking for.

Another method is by contour integration. That should work as well.

Last edited:
Ah, thank you very much, I should have consulted wolfram alpha. I'm sure I'll have enough for a proof of it now, thank you! My summing of divergent resulted in the common answer 1+2+3+4...=-1/12, though I can now compute 2*1-4*3+6*5-8*7..., or indeed any n!/1-(n+3)!/3!+(n+5)!/5!-(x+7)!/7!... with relative ease. I should have been able to do it by myself... thank you!
edit:Ah, imaginary numbers! I remember them.. they got me interested in math in the first place, last year... I remember only 5 months ago when the simple chain rule proof for deriving was too tricky... I'll take a look at that integral sometime.

Last edited:

## 1. What is the formula for the antiderrivative of e^(-x)*sin(x)*x^n?

The formula for the antiderrivative of e^(-x)*sin(x)*x^n is ∫e^(-x)*sin(x)*x^n dx = -e^(-x) * [(sin(x)*(x^n+1)) / (n+1)] - ∫e^(-x) * [(cos(x)*(x^n+1)) / (n+1)] dx.

## 2. How do you solve for the antiderrivative of e^(-x)*sin(x)*x^n?

To solve for the antiderrivative of e^(-x)*sin(x)*x^n, you can use integration by parts or substitution. For integration by parts, let u = sin(x)*x^n and dv = e^(-x) dx. For substitution, let u = x^n+1 and du = (n+1)x^n dx.

## 3. What is the general solution for the antiderrivative of e^(-x)*sin(x)*x^n?

The general solution for the antiderrivative of e^(-x)*sin(x)*x^n is ∫e^(-x)*sin(x)*x^n dx = -e^(-x) * [(sin(x)*(x^n+1)) / (n+1)] - e^(-x) * C, where C is a constant of integration.

## 4. Can you simplify the antiderrivative of e^(-x)*sin(x)*x^n?

Yes, the antiderrivative of e^(-x)*sin(x)*x^n can be simplified by using trigonometric identities and properties of exponents. For example, you can use the identity sin(x)*cos(x) = (1/2)sin(2x) to simplify the integral.

## 5. How do you check your solution for the antiderrivative of e^(-x)*sin(x)*x^n?

You can check your solution for the antiderrivative of e^(-x)*sin(x)*x^n by taking the derivative of your answer and seeing if it matches the original function. You can also use graphing software to graph both the original function and the antiderrivative to see if they are equivalent.

• Calculus
Replies
5
Views
2K
• Calculus
Replies
2
Views
8K
• General Math
Replies
1
Views
976
• Calculus and Beyond Homework Help
Replies
7
Views
3K
• General Math
Replies
4
Views
958
• Calculus
Replies
3
Views
2K
• Calculus and Beyond Homework Help
Replies
7
Views
2K
• Classical Physics
Replies
7
Views
2K
• Calculus
Replies
10
Views
6K
• Calculus
Replies
1
Views
1K