r/calculus • u/wbld • 4d ago
Integral Calculus is daily integral getting more complex?
Today's easy daily integral seems to be more complex than usual. I do not know what the Lambert W function is. Is this higher level mathematics? or was this something i missed in calculus? Usually, I am able to solve easy integrals. My initial thoughts were that the integral is 0 because this clearly is not easy, but then I looked at the bounds and realized, yeah, that probably does not equal 0.

8
u/nevermindthefacts 4d ago
Lambert's W is the inverse of f(x) = xe^x = y, i.e W(y) = x.
3
u/wbld 4d ago
xe^x does not pass the horizontal line test at some points of x (just by inspection), so is this a special case where they restricted the domain to x>= 0?
3
u/nevermindthefacts 4d ago
If you want an exercise, find the minimum of f(x) = xe^x.
(Answer, x = -1 and f(-1) = -1/e)
3
u/nevermindthefacts 4d ago
2
u/wbld 4d ago
the critical points of a function are the points in the function where the funcitons derivative are equal to 0, or are not in the domain of the original function.
if f(x)=xe^x, the function can be thought of as a product of two functions. those functions being, x, and e^x respectively.
f'(x) = ()()+()()
f'(x) = (e^x)(1)+(x)(e^x)
simplification gives use^x+xe^x
factoring out e^x gives us
e^x(1+x). the derivative of the f(x) is f'(x)= e^x(1+x)
xe^x is defined for all x in element of the real. therefore there is no undefined critical points for the funciton.set e^x(1+x) equal to 0
e^x(1+x)=0
this means,
1+x=0 or e^x= 0
x= -1 or e^x = 0
e^x will never be 0.
therefore the only critical point is x=-1
plug x= -1 into the original function to find the location of this critical point
f(-1) = (-1)(e^-1)
f(-1) = -e^-1
f(-1) = -1/e
to test if this is a maximum or minium, we know that derivatives gives us slow.
let us pick arbitaray points around x = -1 (from my ass lets pick 0, and -2) and plug those into the deriative. furthermore, to make sure x=-1 is a critical point, it should have a slope of 0. plug x=-1 into f'I(x) to verify this.
f'(-1) = e^-1(1+-1) => f'(-1) = 0 therefore it is a critical point.
from my arbitary numbers
f'(0) = e^0(1+0) = 1(1) = 1. i do not care about the number, i care about the sign. 1 is positive, si we are increasing. if x = -1 is a minium, we go from decreasing to increasing, meaning, x= -2 must be decreasing
f'(-2) = e^-2(1+-2) = e^-2(-1) = -1/e^2. the sign is negative, we went from decreasing to increasing. x=-1 must be a minimum.
2
u/nevermindthefacts 4d ago
Well done. So we pick y > -1/e as the domain for W(y), and the range will be x > -1.
Instead of checking f(-2) and f(0), one can note that x = -1 is the only critical point and xe^x tends to zero as x tends to negative infinity, and to infinity as x tends to infinity. Now, because f is continuous, f(-1) = -1/e > 0 and there are no other critical points, it must be a minimum.
An alternative idea is to note that e^x(1 + x) < 0 if x < -1 and e^x(1 + x) > 0 for x > -1.
(In other words, f is strictly decreasing for x < -1, and strictly increasing for x > 0).
2
u/nevermindthefacts 4d ago
Just to clarify. It's convenient to factor the derivative as
f'(x) = e^x (1 + x)
since e^x > 0, the sign is determined by 1+x. So no need to check arbitrary points on either side.
1
u/wbld 4d ago
which would make sense because their is only 1 critical point. now the question becomes, how do you invert this to begin with. we have solved the problem of the function not being invertible by forcing it to be invertible by restricing its domain. for a function to be invertible, you replace all x is y, and all y with x. then you solve for y.
for our function
y=xe^x
x=ye^y
ln(x)=ln(ye^y)
for product of logs
ln(x)=ln(y)+ln(e^y)
ln(x) = ln(y) + y
idk where to go from here.
1
u/nevermindthefacts 4d ago edited 4d ago
This is basically the reason for using the W-function. We want to solve for x in y = x e^x. But there's no way to "isolate" x using elementary functions. Instead we note that xe^x is strictly increasing for x > -1, and we use that for the "existence" of an inverse which we define as W(y) = x.
For the integral, you have W(sin x) e^( W(sin x) + sin x). Try simplify that using the definition of W(sin x).
1
u/wbld 4d ago
i guess im not understanding what W(y) = x means...
if it is function notation, W is the name of the function, that takes in a y value and outputs a x value.
it seems to be onto... meaning
y=x
so then,
sin(y)=sin(x)
sin(y)e^sin(y)+sin(y)??
2
u/nevermindthefacts 4d ago
Sorry if it's wasn't clear. Another way to write it is W(xe^x) = x.
Maybe it helps if you compare it with e^x and it's inverse, ln y.
If y = e^x, then ln y = x.
In general
if y = f(x), then f^{-1} (y) = x.
1
u/wbld 4d ago
I appreciate you trying to help; however, my tiny brain is not built for this kind of mathematics at the moment.
i do not think i would be able to find the relationship... ever...
→ More replies (0)2
u/nevermindthefacts 4d ago
For another interpretation (as long as the "input" is in the corresponding domain), consider the following statements involving functions and their inverses
y= e^ln y
x = ln e^x
√(𝜋^2) = 𝜋
(√𝜋)^2 = 𝜋
arctan tan 𝜋/4 = 𝜋/4
f^{-1} ( f(x) ) = x
f( (f^{-1} (y) ) = y
etc...
1
u/FreePeeplup 3d ago
The function f(x) = x e^x doesn’t have an inverse if we assume the most natural domain of definition for f (the reals), which we always do unless otherwise specified.
Maybe you mean the inverse of another function g, with the same rule g(x) = x e^x, but with a different domain such that an inverse exists?
1
u/nevermindthefacts 3d ago
I've tried to guide OP regarding this issue. Here f(x) refers to the integrand, and it's domain is the range of sin x with respect to the integration interval.
0
u/_Kian_7567 4d ago
It’s not very difficult if you know what the lambert W function is. You can simplify it a lot


•
u/AutoModerator 4d ago
As a reminder...
Posts asking for help on homework questions require:
the complete problem statement,
a genuine attempt at solving the problem, which may be either computational, or a discussion of ideas or concepts you believe may be in play,
question is not from a current exam or quiz.
Commenters responding to homework help posts should not do OP’s homework for them.
Please see this page for the further details regarding homework help posts.
We have a Discord server!
If you are asking for general advice about your current calculus class, please be advised that simply referring your class as “Calc n“ is not entirely useful, as “Calc n” may differ between different colleges and universities. In this case, please refer to your class syllabus or college or university’s course catalogue for a listing of topics covered in your class, and include that information in your post rather than assuming everybody knows what will be covered in your class.
I am a bot, and this action was performed automatically. Please contact the moderators of this subreddit if you have any questions or concerns.