DE with e^x
@ganeshie8 @Empty
\[e^xy''+xy=0\]
baby \[\int e^x\] ;)
\[e^x \sum_{n=2}^{\infty} a_n n(n-1)x^{(n-2)}+x \sum_{n=0}^{\infty} a_n x^n = 0\] lets note \[e^x = \sum_{n=0}^{\infty} \frac{ x^n }{ n! }\]
so power series
ye
is it mandatory to use that
Yeah haha
\[\sum_{n=0}^{\infty} \frac{ x^n }{ n! } \sum_{n=0}^{\infty} a_{n+2}(n+2)(n+1)x^n+\sum_{n=0}^{\infty} a_n x^{n+1}\] \[\left( 1+\frac{ x }{ 1! }+\frac{ x^2 }{ 2! }+\frac{ x^3 }{ 3! }+... \right)\sum_{n=0}^{\infty} a_{n+2}(n+2)(n+1)x^n+\sum_{n=0}^{\infty} a_nx^{n+1}\]
I guess we need x^(n+1) in the first sum or something, maybe I did it wrong haha.
Oooh wait a sec
Maybe if \[\left( 1+x+\frac{ x^2 }{ 2 }+\frac{ x^3 }{ 3! }+... \right)\left( 2a_2+3a_3x+... \right)+\sum_{n=0}^{\infty} a_n x^{n+1}=0\]
Not sure xD
I have to find four nonzero terms in both the power series solutions about the origin, maybe I should have wrote that to, might help...
simply set the coefficients equal to 0
\[\left( 1+x+\frac{ x^2 }{ 2 }+\frac{ x^3 }{ 3! }+... \right)\left( 2a_2+3a_3x+... \right)+\sum_{n=0}^{\infty} a_n x^{n+1}=0\] whats the constant term on left hand side ?
1
think again
\[\left( \color{red}{1}+x+\frac{ x^2 }{ 2 }+\frac{ x^3 }{ 3! }+... \right)\left( \color{red}{2a_2}+3a_3x+... \right)+\sum_{n=0}^{\infty} a_n x^{n+1}=0\] multiplying those two red guys is the only way to get a constant term on left hand side, yes ?
Yeah haha
I was just writing that
since there are no constant terms on right hand side, it must be the case that \[2a_2=0\tag{1}\]
similarly, try comparing the coefficent of "x" both sides
Ok I get the first one, but would I need to expand the other sum to then?
you may get it by staring at the sum :)
Ok let me see, I think I get it, this technique is pretty neat lol
\[\left( 1+\frac{ x }{ 1! }+\frac{ x^2 }{ 2! }+\frac{ x^3 }{ 3! }+... \right)\sum_{n=0}^{\infty} a_{n+2}(n+2)(n+1)x^n+\sum_{n=0}^{\infty} a_nx^{n+1}\] comparing constant terms : \[2a_2=0\tag{1}\] comparing x coefficients : \[2a_2+6a_3+a_0=0\tag{2}\] comparing x^2 coefficients : \[a_2+6a_3+12a_4+a_1=0\tag{3}\]
solving them gives \(a_2=0\) \(a_3=-a_0/6\) \(a_4=(a_0-a_1)/12\)
just compare x^3 and x^4 coefficients too as you need "four" nonzero terms...
That makes a lot of sense! Thanks a lot ganeshieeeeeeeee!
All of these questions have like 10 parts, but once you figure out how to do this the rest is easy haha.
As you can see, we are expressing the coefficients in terms of \(a_0\) and \(a_1\). The differential equation is of second order, so the general solution requires exactly "two" arbitrary constants. These are \(a_0\) and \(a_1\) here...
Yup, the solution is \[y_1(x) = 1- 1/6x^3 + 1/12 x^4-1/40x^5\] then \[y_2(x) = x-1/12x^4+1/20x^5-1/60x^6+...\]
oh by the way can I ask you like a theoretical question?
what happened to the arbitrary constants ?
say no say no, not allowed to ask a theoretical question! xD
ohk, you're setting \(a_0=0, a_1=1\) etc... nice :)
Yeah exactly
say yes plsss
these are two independent solutions \[y_1(x) = 1- 1/6x^3 + 1/12 x^4-1/40x^5\] \[y_2(x) = x-1/12x^4+1/20x^5-1/60x^6+...\] so we may write the general solutoin as \(y = c_1y_1 + c_2y_2\)
Yup! I know how to do the rest I guess, it's just wasn't sure on the approach when given e^x
I think, saying "\(\cdots \)" is the general solution is meaningless so we don't really know the general solution yet.... we just know the first four terms i guess..
I think you need the general term probably for the general solution xD
exactly, i could say \[\pi = 3.142\ldots\] which is simply nonsense because that doesn't tell you how to get the subsequent digits...
I was just thinking of this exact same example hahaha, that's why I have a lot of beef with "elementary" functions and so-called "closed-form" solutions. They simply don't exist like people like to believe.
i think below is meaningful to say : \[\dfrac{1}{3}=0.333\ldots = 0.\overline{3}\]
because, the reader would know what it is then..
I agree xD
In some sense, it might be easier to say in base 3, we express a third as \(.1\) haha
I don't even know how that works
I should take analysis, you learn a lot of this stuff in it...even induction, which I've actually never really used
not like faraday but math induction
its easy, and you would have known it from childhood if you're yoda with 3 fingers.. then you will be forced to use base 3 because you can only count upto 3 objects using your fingers.. :) jk..
Ahahaha, guess we gotta chop off 7 of your fingers now. I kinda dislike analysis and induction. Induction can really only confirm something is true but generally it sorta misses the point. Induction is useless if you derived the expression already.
Isn't induction what we essentially use here when we get like a recurrence relation
I can see how induction and analysis must be hated together... Induction doesn't help in getting the formula, but it is still a beatiful proof mehtod because it confirms the formula you have got works in "general". It doesn't help in getting the intuitoin of why the formula works, but it is powerful because it tells you immediately if your intuition is correct or wrong..
I noticed something funny here, I want to work this out: \[y'' = -xe^{-x} y\] we can write \(y''\) in two ways using the chain rule: \[\frac{d (y')}{dx} = \frac{d (y')}{dy}\frac{dy}{dx} = y' \frac{d(y')}{dy}\] So now we have two similar integrals we can solve... But in both cases we've left out the other variable. Hmm \[\int dy' = \int -xe^{-x} y dx\] and \[\int y' dy' = \int -xe^{-x} y dy\]
I never understood why we couldn't just do that from the beginning
Well we can, and I just did, but it doesn't lead us anywhere since we're stuck. These integrals won't work since we can only integrate over one variable x or y.
I really want to just take these and multiply them together to integrate it like this: \[\tfrac{1}{2}(y')^3 = \iint -xe^{-x}y dA\]
Join our real-time social learning platform and learn together with your friends!