A very interesting differential equation.

  Рет қаралды 952,442

Michael Penn

Michael Penn

4 жыл бұрын

We present a solution to a very interesting differential equation. In particular, we find a solution to the differential equation f'(x)=f^(-1)(x). That is, we answer the question: When is the derivative of a function the same as its inverse?
Please Subscribe: kzfaq.info...
Personal Website: www.michael-penn.net
Randolph College Math: www.randolphcollege.edu/mathem...
Research Gate profile: www.researchgate.net/profile/...
Google Scholar profile: scholar.google.com/citations?...
Books I like:
Abstract Algebra:
Judson(online): abstract.ups.edu/
Judson(print): amzn.to/2Xg92wD
Dummit and Foote: amzn.to/2zYOrok
Gallian: amzn.to/2zg4YEo
Artin: amzn.to/2LQ8l7C
Number Theory:
Crisman(online): math.gordon.edu/ntic/
Strayer: amzn.to/3bXwLah
Andrews: amzn.to/2zWlOZ0
Calculus:
OpenStax(online): openstax.org/subjects/math
OpenStax Vol 1: amzn.to/2zlreN8
OpenStax Vol 2: amzn.to/2TtwoxH
OpenStax Vol 3: amzn.to/3bPJ3Bn

Пікірлер: 1 300
@carlosdanielvelazquezflore6512
@carlosdanielvelazquezflore6512 4 жыл бұрын
I wonder how many integrals I need to do until my arms get that big
@md2perpe
@md2perpe 4 жыл бұрын
Chalk-lifting is hard work.
@user-lw5oc1tt8k
@user-lw5oc1tt8k 4 жыл бұрын
lmao😂
@MohaMMaDiN55
@MohaMMaDiN55 4 жыл бұрын
Lol hhahahahah
@_kopcsi_
@_kopcsi_ 4 жыл бұрын
one big one
@andrefreitas9936
@andrefreitas9936 4 жыл бұрын
bruh
@antonystark9240
@antonystark9240 4 жыл бұрын
"The only good way to solve a differential equation is to know the answer already." --- Richard Feynman
@AndyZach
@AndyZach 4 жыл бұрын
As always with his aphorisms, he's right.
@jayyoung9766
@jayyoung9766 4 жыл бұрын
Antony Stark excellent point
@Hecatonicosachoron
@Hecatonicosachoron 4 жыл бұрын
Well, the easiest way, certainly
@joda7697
@joda7697 4 жыл бұрын
And you would be amazed at how useful that statement is, despite seeming so trivial.
@dheerajsharma355
@dheerajsharma355 4 жыл бұрын
Absolutely correct!!
@Eichro
@Eichro 4 жыл бұрын
"Educated guesses and checking them is how a lot of pure research-level mathematics is done" I wish my teachers were in this room to hear this
@ultraollie
@ultraollie 4 жыл бұрын
Emphasis on "educated guess"
@p-aluneau5136
@p-aluneau5136 4 жыл бұрын
Like "PhD educated" guesses
@turtlellamacow
@turtlellamacow 4 жыл бұрын
And I'm sure they wouldn't deny it. You're not doing research in the classroom, you're learning basic, well-established mathematics - there is little need for guesswork
@donporter1247
@donporter1247 4 жыл бұрын
Accessible KZfaq video: "guess and check". Professional research paper: "ansatz"
@oguzcanoguz5977
@oguzcanoguz5977 4 жыл бұрын
It is actually a very deep statement. In the 1900's, there was a great debate in the matetatics community. There were 2 main sides, one represented by Pointcare and the other by Hilbert. The former defended that matematics required some kind of intuition by the matematicians side, while the latter defended that with methods and enough time spent they could map out the entire matematics. The side of Hilbert was winning, until Gödel came out and proved that not everything in matematics could be proven. So we are now left with the Pointcare side of the story.
@nagoshi01
@nagoshi01 4 жыл бұрын
*Asks some incredibly hard questions* "Ok well, this is a good place to stop."
@35571113
@35571113 4 жыл бұрын
The goal of a teacher is not just to enable a student to think on their own, but to make them unable to stop thinking. And then, that's exactly the right place to stop teaching.
@dananajj
@dananajj 4 жыл бұрын
Lol 🤣
@mateussouza3979
@mateussouza3979 4 жыл бұрын
I’m incredibly curious about f’(x) = f^n(x) now.
@dheerajsharma355
@dheerajsharma355 4 жыл бұрын
@@mateussouza3979 you made me curious too😂
@shmojelfed9664
@shmojelfed9664 3 жыл бұрын
Left as an exercise to the viewer :(
@titusng2483
@titusng2483 3 жыл бұрын
Her: He must be thinking about another woman Him: What function's derivative is same as its inverse?
@ernestmoney7252
@ernestmoney7252 3 жыл бұрын
Contrary to what many women believe, it's fairly easy to develop along-term, stable, intimate, and mutually fulfilling relationship with a guy. Of course this guy has to be a Labrador retriever. With human guys, it's extremely difficult. This is because guys don't really grasp what women mean by the term relationship. Let's say a guy named Roger is attracted to a woman named Elaine. He asks her out to a movie; she accepts; they have a pretty good time. A few nights later he asks her out to dinner, and again they enjoy themselves. They continue to see each other regularly, and after a while neither one of them is seeing anybody else. And then, one evening when they're driving home, a thought occurs to Elaine, and, without really thinking, she says it aloud: "Do you realize that, as of tonight, we've been seeing each other for exactly six months?" And then there is silence in the car. To Elaine, it seems like a very loud silence. She thinks to herself: Geez, I wonder if it bothers him that I said that. Maybe he's been feeling confined by our relationship; maybe he thinks I'm trying to push him into some kind of obligation that he doesn't want, or isn't sure of. And Roger is thinking: Gosh. Six months. And Elaine is thinking: But, hey, I'm not so sure I want this kind of relationship, either. Sometimes I wish I had a little more space, so I'd have time to think about whether I really want us to keep going the way we are, moving steadily toward... I mean, where are we going? Are we just going to keep seeing each other at this level of intimacy? Are we heading toward marriage? Toward children? Toward a lifetime together? Am I ready for that level of commitment? Do I really even know this person? And Roger is thinking:... so that means it was... let's see...February when we started going out, which was right after I had the car at the dealer's, which means... lemme check the odometer... Whoa! I am way over due for an oil change here. Dave Barry
@srijanbhowmick9570
@srijanbhowmick9570 3 жыл бұрын
@@ernestmoney7252 Why did you write all of this ?! 😂
@ernestmoney7252
@ernestmoney7252 3 жыл бұрын
@@srijanbhowmick9570 Hey Srijan Here is an IQ test for you: why does the name "Dave Barry" (not my name) appear at the bottom of my post?
@Isitshiyagalombili
@Isitshiyagalombili 3 жыл бұрын
@@ernestmoney7252 Right after thinking, "I am way over due for an oil change here", he thought, "Dave Barry". Then he thought, "Why do I always think 'Dave Barry' after these internal monologues? Maybe I should talk to a professional".
@ernestmoney7252
@ernestmoney7252 3 жыл бұрын
@@Isitshiyagalombili Quite creative, but there is a more parsimonious explanation.
@MmmVomit
@MmmVomit 4 жыл бұрын
I never knew Neil Patrick Harris was so good at math.
@jocider5698
@jocider5698 4 жыл бұрын
😂
@justinhill8170
@justinhill8170 4 жыл бұрын
MmmVomit well I’m not surprised he was a child doctor
@dananajj
@dananajj 4 жыл бұрын
Clearly you haven't met his friend, Ted.
@oliver_siegel
@oliver_siegel 4 жыл бұрын
I came to the comment section only for that reason
@acobolew1
@acobolew1 4 жыл бұрын
Doogie Howser, PhD
@ButiLao44
@ButiLao44 4 жыл бұрын
Me: "Oh wow I'm so glad I'm finally through with my math final and am rid of math forever" KZfaq: hey wanna watch this video about MATH? Me: *slams play button*
@Darkstar2342
@Darkstar2342 4 жыл бұрын
I would have done just a "coefficient comparison" at the step where you have rAx^(r-1) = (1/A)^(1/r)x^(1/r). Because for these two polynomials to be equal (for all x), the factors in front of the x as well as the power of x have to be equal at the same time. So you immediately get r-1 = 1/r and rA = (1/A)^(1/r), solve the first for r and use it in the second to get A. No need to shuffle constants and x's left/right.
@rubberduck2078
@rubberduck2078 Жыл бұрын
These are not polynomials but yeah
@hamburgerin6593
@hamburgerin6593 Жыл бұрын
@@rubberduck2078 but why wouldnt they be polynomial? They have const coefficients and x to the power of a const, isnt that the definition of a polynomial? Or does the exp have to be a whole number in order for it to be considered a polynomial?
@TC159
@TC159 Жыл бұрын
@@hamburgerin6593 Yes, the exponent need to be non-negative integers for it to be considered a polynomial.
@rodrigolind5665
@rodrigolind5665 Жыл бұрын
yeah but thats the same argument as the one used in the video. The extra step is just a matter of taste...
@LachezarTsakov
@LachezarTsakov Жыл бұрын
Exactly my thinking !
@diegoparodi3854
@diegoparodi3854 4 жыл бұрын
Completely random equation: exists Phi: let us introduce ourselves
@branthebrave
@branthebrave 4 жыл бұрын
Nah it makes sense that it'd be in there. Right when you see 1/r from inverse and r-1 from derivative it's familiar if you know how phi's like. (What number is itself plus the inverse of itself?)
@ourgoalisto6737
@ourgoalisto6737 4 жыл бұрын
Because e: :( busy with complex girlfriends Pi : sorry stuck in circle Phi : perfect for me 👍
@SP-qi8ur
@SP-qi8ur 4 жыл бұрын
@@branthebrave What number would that be? How could it be itaelf plus its inverse? I thought adding its inverse would always make a completely different number
@hybmnzz2658
@hybmnzz2658 3 жыл бұрын
Phi is algebraic. It pulls it's weight pretty damn good for being a generic number, it is not as talented as pi or e but very hard working ;)
@aienbalosaienbalos4186
@aienbalosaienbalos4186 4 жыл бұрын
I have only seen two videos. But it seems like these videos have a really, really good level of both rigor and just that general hunger/curiosity for finding knowledge, not because it’s useful or for the knowledge, but for the pursuit itself. Which makes this channel unique as far as I know. It has the same joyful take on problems as 3b1b, that is not “Here is problem. Here is solution. Here is proof”. The process of finding the solution is the main point of the video, not the solution itself. And while 3b1b is clearly superior in the production quality (in which it is the absolute best), they usually leave out the mathematical rigor. Other sources that do have the mathematical rigor, like differential equation textbooks, at least the few I’ve read, I may have been unlucky, tend to be so incredibly dull and uninterested in the topic, perhaps in favor of brevity and efficiency?, and pay little importance to how the problems were solved, focusing only on presenting solutions to equations and proofs. At least me personally, I find mathematics textbooks to care little for how much “sense” a proof makes, or how natural a reasoning it is, only that it is technically correct. Of course these might all be consequences of my non-mathematician brain. Or perhaps the problems were first solved not with mathematical rigor, but with some sort of intuition, that only later was rigorously proven with some technical ungodly proof. Furthermore, as an engineering student I am all too tired of having to learn “true” things, that are very powerful and useful, without having the time or expertise to know how we know they are true. I tend to give them a crack, but usually I find I am not prepared and don’t have the time to completely understand/prove, so just end up figuring out intuitions, for which 3b1b helps a lot. It’s very refreshing to just wonder about things, and not have to worry about their usefulness. For all these reasons, I am glad to have found this channel. Thanks for sharing these.
@gregoryG540
@gregoryG540 4 жыл бұрын
I was going to comment check out 3b1b loll
@shoam2103
@shoam2103 4 жыл бұрын
What about mathologer?
@shoam2103
@shoam2103 4 жыл бұрын
> Or perhaps the problems were first solved not with mathematical rigor, but with some sort of intuition This is true in a large majority of cases. There's also lucky accidents, proof by exhaustion, and so many other ways. Also, explaining intuition to someone else with enough brevity and clarity is no easy task.
@badhbhchadh
@badhbhchadh 4 жыл бұрын
Dr. Peyam also does some stuff like this.
@aienbalosaienbalos4186
@aienbalosaienbalos4186 4 жыл бұрын
Al Rats no, I have not.
@christianherenz5072
@christianherenz5072 4 жыл бұрын
That was quality 15 minutes.
@abelpalmer552
@abelpalmer552 4 жыл бұрын
"The phith root" lol
@CandidDate
@CandidDate 4 жыл бұрын
My calculator doesn't have a phi button but I calculated the phith root of one over phi to be 0.7427429446. Can anyone verify?
@JivanPal
@JivanPal 4 жыл бұрын
@@CandidDate, yup, that's correct: www.wolframalpha.com/input/?i=%281+%2F+golden+ratio%29%5E%281+%2F+golden+ratio%29
@Fasteroid
@Fasteroid 4 жыл бұрын
feef
@PhilipGLee
@PhilipGLee 4 жыл бұрын
one two three four phith
@AndyZach
@AndyZach 4 жыл бұрын
'To catch a phith'.
@KarstenJohansson
@KarstenJohansson 4 жыл бұрын
I need more differentials in my workout.
@fadiel-riachi6675
@fadiel-riachi6675 4 жыл бұрын
Nice video! I immediately felt like solving for the general case. If you solve the following equation : nth derivative of f(x) equals inverse of f(x), you get a very nice closed-form epression for f(x)=Ax^r where r is solution to r^2-nr-1=0, the so-called ''metallic ratios'' and A=( (r-n)!/r! )^(r/(r+1)). Something interesting also happens when n is odd....
@shaileshrana7165
@shaileshrana7165 4 жыл бұрын
Numberphile needs to get on it.
@possessedchair8144
@possessedchair8144 4 жыл бұрын
This is a nonlinear DE so finding one solution doesn’t mean you’ve found all of them, I suspect there are probably more solutions are not of this general form.
@fadiel-riachi6675
@fadiel-riachi6675 4 жыл бұрын
Agreed. As stated in the video by Michael. I have just found one set of solutions by supposing f(x)=Ax^r but there might be others
@rakshithsajjan3639
@rakshithsajjan3639 3 жыл бұрын
Can u explain how did you solve for the general case? Thanks.
@fadiel-riachi6675
@fadiel-riachi6675 3 жыл бұрын
​@@rakshithsajjan3639 Suppose f(x) is of the Ax^r form, then f'(x) = rAx^(r-1) f''(x) = r(r-1)Ax^(r-2) f'''(x) = r(r-1)(r-2)Ax^(r-3) Until the nth derivative, which is r(r-1)(r-2)....(r-n+2)(r-n+1)Ax^(r-n). This can then be simplified to the following expression: (r! / (r-n)!) * Ax^(r-n) We know f^-1(x) = (x/A)^(1/r) You then use the same method as in the video, equating the 2 expressions and noticing that each of them must equal 1 for the equation to be true.
@karangupta4978
@karangupta4978 4 жыл бұрын
Love the frequent uploads, keep going!! Your videos are very informative for high school students preparing for competitive exams.
@AlexTrusk91
@AlexTrusk91 3 жыл бұрын
Thanks, the first 5 minutes helped me with a wildly different math problem. When you talked about classes of functions, that gave me the right hint what i had to look for
@stevenpurtee5062
@stevenpurtee5062 3 жыл бұрын
This was a nice example. I'd argue that you made it more complicated than it needed to be after 7:45. The only way those two power functions can be equal for all values of x is if the coefficients are equal and if the powers are equal. That gives you the same two relationships.
@usptact
@usptact 3 жыл бұрын
When you solve enough differential equations, you get six pack.
@SwapnilAnand1998
@SwapnilAnand1998 4 жыл бұрын
This is one of the most beautiful math video involving one of the most beautiful mathematical equation I've ever come across.
@jerrysstories711
@jerrysstories711 3 жыл бұрын
When you find yourself thinking about "phith" roots, it's time to go to bed.
@dananskidolf
@dananskidolf 3 жыл бұрын
...but then you'd miss the phi-squared-th root :O
@dominiquebercot9539
@dominiquebercot9539 3 жыл бұрын
To bed ? No!!! Nightmare!!!!
@Beniguitar94
@Beniguitar94 3 жыл бұрын
Very fun exercise! Thank you for sharing. Though I followed similar rationale, I solved it differently (and with way less algebra): f'(x) = f-1(x) f(f-1(x)) = x Hence: f(f'(x)) = x Assuming a shape of the form: f(x) = A · x^r f'(x) = A · r · x^(r-1) f(f'(x)) = A^(r+1) · r^r · x^(r^2 - r) = x = x^1 From here, it is easy to see that terms of x need to be equal in both sides, hence: r^2 - r = 1; r = (1±sqrt(5))/2 Then, given that r^r is a mess, you define A to cancel out the mess: A^(r+1) · r^r = 1; A = (1/r^r)^(1/(r+1)) Finally getting: f(x) = (1/r^r)^(1/(r+1)) · x^r, where r = (1±sqrt(5))/2
@theuserings
@theuserings Жыл бұрын
Do you use android? If so how do you type the dot (multiplication sign)? I only have • in my keyboard
@jimgoldie967
@jimgoldie967 4 жыл бұрын
What a delight to have such a lucid presentation of how to approach this curious differential equation. It made me feel as though I still can do it decades after Math 46 (Diff. Eqns.)!
@digitig
@digitig 4 жыл бұрын
"We're almost at the end" - the video progress bar begs to differ.
@observ_2008
@observ_2008 4 жыл бұрын
When you already know some math but you're still intrigued into it. Nice content dude.
@mina86
@mina86 4 жыл бұрын
7:33 - at this point you could have just said that by the power of polynomials, either rA = 0 (which is easy to show that would not give solutions) or rA=(1/A)^(1/r) and r-1=1/r.
@vivien2184
@vivien2184 4 жыл бұрын
I thought the same, however, these are not polynomial functions, as the power doesn't have to be an integer. Yet i think it does still apply.
@alert.272
@alert.272 4 жыл бұрын
This is exactly what I came to say. Cuts out a couple steps.
@JynxSp0ck
@JynxSp0ck 4 жыл бұрын
He inhales so much I'm 4 minutes in and already exhausted.
@kirstenwilliams9246
@kirstenwilliams9246 4 жыл бұрын
Really cool video! The pace was perfect and I liked your reasoning for what you were doing.
@alanxie5907
@alanxie5907 4 жыл бұрын
I keep have this feeling that this dude would somehow suddenly start giving you random workout tutorials🤣
@peter_godman
@peter_godman 4 жыл бұрын
Drop down and GIVE ME TEN REASONS YOU WANT THIS PHD!
@dcterr1
@dcterr1 3 жыл бұрын
Wow, I never thought about this type of differential equation before. Very interesting, and great solution!
@user-tr8ur2gf3n
@user-tr8ur2gf3n 4 жыл бұрын
Why should one calculate the inverse of f, when one can just compose candidate f' with f to show that it is the inverse indeed.
@prathameshsundaram7509
@prathameshsundaram7509 3 жыл бұрын
Revised a lot of concepts so fast through that problem! Thank you!
@tomatrix7525
@tomatrix7525 3 жыл бұрын
This was very good. Always nice to see some basics again
@CotopaxiAH1968
@CotopaxiAH1968 3 жыл бұрын
That was quite enjoyable! The right combination between creativity (educated guesswork) and technique.
@intergalakti176
@intergalakti176 4 жыл бұрын
I don't think I would call this a differential equation, its more of a functional equation, as we want f(f'(x))=1. Sadly, the machinery of ODEs doesn't work in this case, i.e. Picard Linelöf isn't applicable; that would have maybe answered the uniqueness question. However, a view remarks are in order: - We can multiply any solution by (-1) to get another, different solution. - Any solution must be strictly monotonically increasing or decreasing if we want it defined on a connected subset of R, so that the inverse exists. By the above point, we may assume wlog. that it is strictly monotonically increasing. But then f'(x)>=0, so f^-1(x)>= 0 too, so f can not be defined on the whole of R, but only on nonnegative numbers!!! The function in the video is obviously only well-defined for nonnegative numbers, too! Therefore, no solution can be defined on all real numbers.
@sw4379
@sw4379 4 жыл бұрын
1. You probably wanna say f(f'(x)) = x rather than f(f'(x)) = 1 2. Multiply a solution by (-1) doesn't necessarily yield another solution, cuz -f^(-1)(x) isn't necessarily the inverse of -f(x). ( -f'(x) is the derivative of -f(x) for sure. ) 3. The conclusion is partially correct: strictly monotonically increasing part can be defined only on positive numbers. However, we can find a decreasing solution on the negative axis. An ansatz f(x)=A(-x)^r works with A, r being undetermined negative coefficient, and it turns out r=bar(phi)=1-phi~ -0.618, A~ - (-bar(phi))^(-1/bar(phi))=-(phi-1)^phi. Putting thing together, a piecewise function defined on the whole real axis except {x=0}: f(x)= 0.618^0.618 * x^1.618 for x>0, -0.618^1.618 * x^(-0.618) for x
@erickilgore4869
@erickilgore4869 4 жыл бұрын
SW addresses the key issue with your point but I think it is worth extending both your and his remarks a bit further. 1. In fact, multiplying by -1 will never give you another solution. Since f must be either non-decreasing or non-increasing (the derivative can tend to 0 at a closed endpoint of the domain), the pre-image of its domain must be contained entirely in either the non-negative or non-positive real numbers. It follows that any non-decreasing solution must have domain bounded below, and likewise any non-increasing solution must have domain bounded above. Moreover, if f is non-decreasing then the left endpoint of the domain is bounded below by the value of f(0) (presuming this is defined, otherwise we need not worry about this), and vice-versa for a non-increasing function. Thus, we can guarantee that f^{-1)(x) >= x everywhere, and so f must be unbounded. It follows immediately that -f is not a solution. 2. Given this, one might ask if the part of a non-decreasing (resp. non-increasing) solution which lies on the "wrong" side of 0 (that is to say, the negative part of the domain of a non-decreasing solution) can be reflected in this manner and remain a solution. This too is impossible, since the values of f on the negative reals must be negative (resp. positive reals must be positive), and so negating the function results in an ill-defined inverse and thus does not solve our equation. 3. In fact, all that I've said above regarding non-increasing solutions can be safely disregarded, since there cannot be solutions defined on the negative real line. To see this, observe that any such solution must take on every negative value, be non-increasing, and have domain bounded above. It is not hard to see that this is a contradiction, since these last two imply f is bounded below. 4. We can do even better than this: There are no non-increasing solutions. Observe that any non-increasing solution must have domain bounded above by 0, and in fact must have value 0 at 0. But then it must take on a negative value somewhere, and be non-increasing. This is a contradiction. Thus we need only really worry about finding solutions with domain bounded below which are non-decreasing! (Note that SW has gone wrong in their third point. You cannot hope to take (-x)^r and get a real number, this is generically complex (and in fact will be for r = phi, so there really are no solutions on the negative reals)). 5. There are some comments on initial data that the video omits by restricting to the case f(0) = 0. One sees from my arguments above that if we pose data for the value of f at 0, then we must have that f(0)
@sw4379
@sw4379 4 жыл бұрын
@@erickilgore4869 Thanks for your long comment. I agree with your reasoning based on the presumption that f(0) is defined. Based on the presumption we can argue f(0)=0 and no such f(x) for x being negative. However, if we don't require the point x=0 to satisfy the original eq, my solution defined in the domain (-inf, 0) still works depite a typo (I was missing a minus sign before x). So my solution is: f(x)= 0.618^0.618 * x^1.618 for x>0 -0.618^1.618 * (-x)^(-0.618) for x
@lucmar6867
@lucmar6867 4 жыл бұрын
Very nice topic, I would love to see a follow up video showing off any other functions which are solutions, and maybe a more concrete way of finding such functions. It was easy to follow along and you managed to explain everything very clearly, thank you!
@user-pl7jp1hz5c
@user-pl7jp1hz5c 4 жыл бұрын
初めて外国人が数学の授業をしている動画を見ましたが、英語の勉強にもなって素晴らしいです。 I watched the video that foreigns taught mathematics for the first time I was interested in this video because I can learn both math and English
@Tiqerboy
@Tiqerboy 4 жыл бұрын
When I took a course on differential equations, and it has been a LONG time, I'm sure glad that question wasn't on the final. I needed a coffee to get through all that. But that guy is better than the math profs I did have, LOL
@JureGrg
@JureGrg 4 жыл бұрын
Hello! I'm excited about your channel. Your lessons are great. I will take the way you use the board as an example, as I am a math teacher myself. I conclude that many lessons have also been influenced by quarantine and your sports energy has focused even more on math. Thank you for many lessons and best regards, Jure Grgurevic!
@thiagomilanezi1026
@thiagomilanezi1026 4 жыл бұрын
The beauty of mathematics... simply amazing! 👏👏👏 Thank you for this great class! 🙏
@stone7327
@stone7327 3 жыл бұрын
I understood little of this video (same with many of your other videos), but what I did understand I found fascinating.
@oliverinspace9252
@oliverinspace9252 4 жыл бұрын
Great video! A nice intuition of why φ arises from this DE is that φ and its conjugate, -1/φ, is 1 more than their reciprocal (i.e. 1/φ and -φ). For the explanation below, we consider the case r=φ, as outlined in the video. As the function is in polynomial form, the derivative of the function would be φ-1, thus giving you 1/φ. Similarly, the inverse of f(x) would also be in polynomial form, with reciprocal power, as we take the root of the power to obtain the inverse. Considering the case where r=-1/φ, we would find that A=(-1)^φ=e^(iπφ), thus obtaining a complex function in polynomial form. Sadly, this does not give a solution to the DE because the derivative differs from the inverse by a factor of 1/φ.
@VK-sp4gv
@VK-sp4gv 4 жыл бұрын
The feeth root of one over fee. I love it.
@dat2125
@dat2125 4 жыл бұрын
V K phi
@simonstockinger9293
@simonstockinger9293 4 жыл бұрын
Well actually the greek letter φ is pronounced "fee". But english speaking folks keep mispronouncing it "fye" just as some other very common pronounciation mistakes. As like "Youler" is actually pronounced "Oiler"
@StuartSimon
@StuartSimon 4 жыл бұрын
V K Actually, he’s saying “phi”, but what he writes looks like a psi to me. It’s a cursive variant of phi that is very unfamiliar to me.
@nicktosti7487
@nicktosti7487 4 жыл бұрын
*quentin tarantino entered the chat*
@julianw1010
@julianw1010 4 жыл бұрын
@@simonstockinger9293 Or Wheeler: kzfaq.info/get/bejne/ar6gZ6lizZa9ioE.html
@user-ij7te4nq2p
@user-ij7te4nq2p 3 жыл бұрын
分かりやすくてすごい
@belemusic
@belemusic 3 жыл бұрын
I solved this in another way without putting x on one side and constants on the other side. I just simply compared the coefficient one step before which for me seemed a little easier and resulted in the same outcome. Great video btw, really interesting stuff!
@samallen3327
@samallen3327 4 жыл бұрын
This video singly handlily made me want to get back into math. I may know an approach I could take to finding out if this is the unique solution but it sounds over complicated. I may need to do some research!!
@chirrrs
@chirrrs 3 жыл бұрын
I'm watching this 3 years removed from upper division university math courses. I've been working and not really using everything I learned since then. I look back at something like this and think, "wow, I used to be able to do that!". Not so much now. To share your sentiment, this and a few other videos have made me want to get back into it just for the hell of it!
@Someone-cr8cj
@Someone-cr8cj 4 жыл бұрын
I am greek and I have to thank you for pronouncing φ the right way
@PaulMartin-qt9ux
@PaulMartin-qt9ux 4 жыл бұрын
The problem I have pronouncing phi as 'fee' is just consistency. Your pi letter is pronounced the same as our p. Because of that we pronounce pi as 'pie.' So just for consistency of sound, I pronounce phi as 'fie'
@TheOiseau
@TheOiseau 4 жыл бұрын
In French, phi gets pronounced as fee, but pi also gets pronounced as pee. ^_^
@boffeycn
@boffeycn 4 жыл бұрын
Sadly many words are mispronounced or wrongly written by non-native speakers. It is particularly a problem in the USA. It used to be in the UK but it seems less of a problem nowadays. An example is Krakatau, which Americans demand is written and spoken as Krakatoa and get extremely abusive when one points out the correct spelling and pronunciation. But then they still use bbls as a measure of volume.
@leswhynin913
@leswhynin913 4 жыл бұрын
@@boffeycn UK still using miles
@daviskeene363
@daviskeene363 4 жыл бұрын
The brits among you yell at me, for how I say the letter "phi". But ask a Greek, they won't deny, there's something odd in saying "phi"
@treehuggerabby123
@treehuggerabby123 4 жыл бұрын
I clicked this video out of curiosity. I'm taking calc 3 this summer and both linear algebra and differential equations this fall. I'm so psyched!
@faisalmaou2612
@faisalmaou2612 4 жыл бұрын
Great video! very unique way of teaching, it makes it intuitive and simple. Thank you
@gagsgsiso2378
@gagsgsiso2378 4 жыл бұрын
Just saying that f(x)=0 is a solution for f'(x)=f(x) Nevermind, just realized it's included in f(x)=ce^x... oops
@amaarquadri
@amaarquadri 4 жыл бұрын
I don't think that function even has an inverse.
@ViniciusTeixeira1
@ViniciusTeixeira1 4 жыл бұрын
@@behzat8489 I think the inverse function of y=0 would be x=0, but that's not a function
@behzat8489
@behzat8489 4 жыл бұрын
@@ViniciusTeixeira1 yes you are right. For one moment i thought f(x)=0 as a point (0,0)
@ravinchowdhury5215
@ravinchowdhury5215 4 жыл бұрын
For a function to be invertible, you need perfect one-one correspondence in the domain and range; f(x) = 0 would only be invertible for x is a single constant (say a) and f^-1(0) = a. So technically yes it is invertible but not very interesting.
@agginswaggin
@agginswaggin 4 жыл бұрын
my exact thought process lmao
@klausg1843
@klausg1843 2 жыл бұрын
Very nice, as always.🤸‍♂️But I could propose to start by getting rid of the inverse function by replacing x by f(x) to get f’(f(x) = x, which is easier to manipulate
@wynautvideos4263
@wynautvideos4263 Жыл бұрын
Doesnt change anything when you are solving via guess and check
@sams6454
@sams6454 4 жыл бұрын
Seriously, keep up the great work. I could see you contributing like 3blue1brown. Just interesting problems and a chalkboard. You don't need anything too fancy. People have been doing amazing math on the chalkboard for centuries
@mathbbn2676
@mathbbn2676 4 жыл бұрын
The teaching is so clear and clear that it is understood
@oldnordy2665
@oldnordy2665 4 жыл бұрын
I transformed the question into f( f'(x) ) = x, and also immediately thought of (not necessarily integer) polynomials fitting the bill. Starting with x^n, you immediately get that you need to satisfy n(n-1) = 1 and the golden ratio solution and the one with the negative sign in front of the square root. Then you only have to worry about the constant in front, which can take on different forms (but same numerical value) because of the properties of "phi." Seems a bit faster - but then I did not have to write on a black / white bord ... I try to Americanize my Greek letters' pronunciation, because otherwise my students don't know what I am talking about. Anyone else say "vfee?" I admire the author for doing so - at best, I give both options (mjoo, mü ...).
@ewoud2688
@ewoud2688 4 жыл бұрын
sometimes a video like this one has to pop up to remind me how beautiful maths is :)
@willyh.r.1216
@willyh.r.1216 4 жыл бұрын
Yes, it is really a very interesting differential equation. I like the warm up and guess part as exploration method.
@frenchimp
@frenchimp Жыл бұрын
Not a differential equation.
@jblaskovich8675
@jblaskovich8675 3 жыл бұрын
This was outstanding. Thank you for posting.
@lawrence18uk
@lawrence18uk 4 жыл бұрын
The warmup question is quite relevant for today, where we're considering exponential growth, where the rate of growth = the growth. Now that really is scary.
@lukedavis6711
@lukedavis6711 3 жыл бұрын
Capitalization
@pacolibre5411
@pacolibre5411 3 жыл бұрын
It feels weird to think of this as a differential equation since you can’t make a BVP or IVP out of it. Its very neat
@TecThor
@TecThor 4 жыл бұрын
great presentation! I enjoyed every second of that! ❤️
@maryammoghtaderi3456
@maryammoghtaderi3456 4 жыл бұрын
I could never imagine Math would sound this fun to me some day!
@joshbarthelmess4796
@joshbarthelmess4796 4 жыл бұрын
This man is the swollest math teacher I’ve ever seen in my life
@JoaoVictor-gy3bk
@JoaoVictor-gy3bk 4 жыл бұрын
Can you elaborate on that?
@khemirimoez8661
@khemirimoez8661 4 жыл бұрын
Suppose there exists a math teacher more swole but that's just wrong. QED ■
@gentlemandude1
@gentlemandude1 4 жыл бұрын
Have you never seen Prof. Leonard? kzfaq.info/get/bejne/rsxdZqSF36zde3U.html
@joshbarthelmess4796
@joshbarthelmess4796 4 жыл бұрын
gentlemandude1 I had not. Hot damn.
@foreachepsilon
@foreachepsilon 4 жыл бұрын
Pietro Bouselli
@harrystuart7455
@harrystuart7455 4 жыл бұрын
Does anyone know if there are any other solutions? Would be really interesting to see if there are any or if this is the most general solution
@ChocolateMilkCultLeader
@ChocolateMilkCultLeader Жыл бұрын
What a fantastic way of solving this. Great video
@adamtaylor2142
@adamtaylor2142 4 жыл бұрын
This is beautiful! Thanks for sharing.
@BobCliffe
@BobCliffe 4 жыл бұрын
Nice video! I played with something similar before: (f^{-1})’ = (f’)^{-1}
@leswhynin913
@leswhynin913 4 жыл бұрын
This seemingly simple differential equation really yields an interesting result. Tomorrow I'll have to tackle the follow up questions
@AndyZach
@AndyZach 4 жыл бұрын
How'd you do on the followup questions?
@leswhynin913
@leswhynin913 4 жыл бұрын
​@@AndyZach 1) I'm not sure how it can be solved without guess and test. I looked at Laplace transforms but I don't think it's possible because of f(-1)(x). 2) It is difficult to prove uniqueness without a direct solution method, plus what about non elementary functions or yet to be discovered functions? 3) f'(x)=f composed of itself, I think has solutions like y= (0.5*(1+i*sqrt(3))^(2/(1+i*sqrt(3))*x^(0.5*(1+i*sqrt(3)) and the same but with the complex conjugate. It's done using the same method as the video, but I am too lazy to back check this right now.
@leswhynin913
@leswhynin913 4 жыл бұрын
@@AndyZach If you are interested, I saw today that Dr. Peyam solved the number 3 follow-up question here: kzfaq.info/get/bejne/mb6geaedrq_Hqps.html. His answer looks equivalent to mine from yesterday. What timing!
@HotsumaOboro17
@HotsumaOboro17 4 жыл бұрын
I had long been searching for an answer to this question, suspected that the phi number was involved. Now I already know the answer. It is very beautiful.
@VahiMangai
@VahiMangai 4 жыл бұрын
Thanks for the digestible knowledge. Good stuff.
@adenpower249
@adenpower249 4 жыл бұрын
The world's best maths professor strikes again.
@cmilkau
@cmilkau 4 жыл бұрын
It's really good, but I know someone who does even better. Then again, you have to give credits for bringing it to youtube, for free, so...
@hziebicki
@hziebicki 4 жыл бұрын
And the most ripped too, damn...
@mikehodge5251
@mikehodge5251 4 жыл бұрын
He's not British so he is a math professor.
@sujitbhattacharyya3705
@sujitbhattacharyya3705 Жыл бұрын
That's probably the best differential equation I've ever seen.
@frenchimp
@frenchimp Жыл бұрын
It is not a differential equation.
@just.a.guy522
@just.a.guy522 4 жыл бұрын
THANK YOU FOR PRONOUNCING Φ CORRECTLY
@luck3949
@luck3949 4 жыл бұрын
From the moment where you have rA x^(r-1) = blabla* x^(1/r) you can say that since it holds for all x, then it also holds for case when x=1, and therefore rA = blabla. Therefore you can cancel out rA and blabla, and get x^(r-1) = x^(1/r) immediately. I really love this trick of assignin x=1 or x=0 in equations that hold for all x, it allows to quickly get rid of many letters at once.
@trbz_8745
@trbz_8745 4 жыл бұрын
Take a shot every time he says "phi"
@watsisname
@watsisname 4 жыл бұрын
Or every time he says "great".
@Metalhammer1993
@Metalhammer1993 4 жыл бұрын
@@watsisname one or the other. i need my liver
@DancingRain
@DancingRain 3 жыл бұрын
LOL. Don't drink and derive. :P
@jiffylou98
@jiffylou98 3 жыл бұрын
@@DancingRain Comment of the century
@andrewtaylor8899
@andrewtaylor8899 3 жыл бұрын
@@watsisname or "go ahead and.."
@Joe-nh9fy
@Joe-nh9fy 4 жыл бұрын
This is really cool. Does anyone know examples in nature that use this differential equation?
@liviu445
@liviu445 Жыл бұрын
Logically such thing exists, it's up to your genius to find it.
@spelunkerd
@spelunkerd 3 жыл бұрын
Having not thought about math in a year, this was a very fun review. Amazing, how fast you lose basic skills, even basic language.
@benheideveld4617
@benheideveld4617 4 жыл бұрын
Your most enticing video to date!
@ichbinluis2343
@ichbinluis2343 4 жыл бұрын
I have not even completed Pre-Calculus, I don’t know what I’m doing here.
@itar10n
@itar10n 3 жыл бұрын
Differential equations is kinda of like algebra, but instead of values, your variables are functions.
@jiffylou98
@jiffylou98 3 жыл бұрын
Differential equations is kinda of like algebra, but instead of values, you lie to your parents about how well grad school is going
@itar10n
@itar10n 3 жыл бұрын
@@jiffylou98 that too.
@lordthiccusiii
@lordthiccusiii 4 жыл бұрын
This guy looks likes ur average white late 30s maths teacher if he lifted
@98danielray
@98danielray 4 жыл бұрын
@@pnneeth weirdchamp
@lordthiccusiii
@lordthiccusiii 4 жыл бұрын
@@pnneeth u realise what u did is take offense on someone elses behalf on what i thought was a compliment?
@somebodyiusedtoknow2012
@somebodyiusedtoknow2012 4 жыл бұрын
Why is this comment section so horny today?
@NStripleseven
@NStripleseven 4 жыл бұрын
Somebody I used to know No idea.
@williamlyerly3114
@williamlyerly3114 4 жыл бұрын
Think you need to check Penn’s personal website. Looks like he takes publish or perish seriously.
@icarusash2241
@icarusash2241 4 жыл бұрын
Thank you such much man!!!,U make Math quite interesting and easy💯💯
@GauravKumar-bf2rq
@GauravKumar-bf2rq 3 жыл бұрын
I love this channel! Tried my hand at the fof case left as a problem in the end, one solution I got is Y = Ax^r A = ln(w)/w , r = w w is the solution of x^2-x+1=0 so r = omega basically.
@pianoclassico718
@pianoclassico718 4 жыл бұрын
for the third question , i believe that taking the inverse function on both sides results in an interesting equation that is not so different from the current one f^-1(f'(x))=f(x) as for the direct solution we can get to f(f'(x))=x we can reduce it so f(f(x)=1/f'(x) ( very similar to question 3) which may yield to some hint towards the analytical solution without a guess, though I am not sure.
@siddharthsambamoorthy4479
@siddharthsambamoorthy4479 4 жыл бұрын
It's beautiful that golden ratio pops like that serendipitously!! Awesome
@theimmux3034
@theimmux3034 3 жыл бұрын
Adding that word to my vocabulary
@Radix.Strategy
@Radix.Strategy Жыл бұрын
Amazing and awesome as always!
@guatagel2454
@guatagel2454 3 жыл бұрын
It seems that you really like to teach. I enjoyed it, thank you!
@joshuaburlington2898
@joshuaburlington2898 4 жыл бұрын
Man, I kept getting lost messing around with the relation [f^-1]' = 1/(f'(f^-1))
@NumdegasedUHC
@NumdegasedUHC 3 жыл бұрын
“The phifth root” lol
@martijn130370
@martijn130370 4 жыл бұрын
Super interesting, never saw this one before!
@axelperezmachado5008
@axelperezmachado5008 4 жыл бұрын
Amazing problem solving technique. Never thought of this idea thinking in terms of classes that go to themselves after some transformation
@ffggddss
@ffggddss 4 жыл бұрын
Which raises an interesting point. You might also find solutions if you can find a class of functions whose derivatives and inverse functions jump into the same class as each other, but a different one from the original class. Seems harder to think of such a case, though... Fred
@yonil256
@yonil256 3 жыл бұрын
Great video as usual! Love all of them so far. But what about f(x) = SQR(2x)? f'(x) = 1/ SQR(2x)
@KolasName
@KolasName 3 жыл бұрын
I also couldn't get it until I've understood it is inversed function, means if Y = f (x) then x = f ^ (- 1) (Y) not (f (x)) ^ (- 1). I wasn't taught so and I don't like this notation. it's misleading, think, finv is better.
@JustMaiyak
@JustMaiyak 4 жыл бұрын
I cannot concentrate on what this class is about. I wonder why. 💪
@raphaelreichmannrolim25
@raphaelreichmannrolim25 4 жыл бұрын
I was very pleased with your answer to the problem, mr. Penn. So beautiful... Through expansion of the respective functions into power series, I was able to find generally an equivalent system of equations that the Taylor coefficients of f(x) must satisfy to be a solution. They are complicated, however, and I won't try to go any further.
@raphaelreichmannrolim25
@raphaelreichmannrolim25 4 жыл бұрын
Almost generally, actually; I supposed analicity at 0. For the more general case the method would be nonetheless the same.
@erickherrerapena8981
@erickherrerapena8981 4 жыл бұрын
¡¡Genial loco!! Buena demostración....
@BeattapeFactory
@BeattapeFactory 4 жыл бұрын
this video kinda blew up. thats lots of clicks in one day for a small math channel
@NStripleseven
@NStripleseven 4 жыл бұрын
Weird how phi got in there.
@abdirevandio1687
@abdirevandio1687 3 жыл бұрын
Thank you for this Mr. Michael 💙
@cnstantinoschronakis7743
@cnstantinoschronakis7743 4 жыл бұрын
This is a video proving the beauty of mathematics.
@UltraCboy
@UltraCboy 4 жыл бұрын
This is a very interesting differential equation
@Rundas69420
@Rundas69420 4 жыл бұрын
Just seeing that differential equation made mw think: In the end, either e, pi or the golden ration must pop up from nowhere.
@srikanthtupurani6316
@srikanthtupurani6316 4 жыл бұрын
You are amazing. So many nice solutions.
@KW-12
@KW-12 4 жыл бұрын
Woah!!! that the golden number is the solution to r is really interesting! I never imagined that property for this number. If you use the inverse function’s derivative theorem you can tell that this also satisfies (d^2f(f(x))/dx^2)*(df(x)/dx)^2=1 and df/dx(df(x)/dx)*d^2f(x)/dx^2=1
The most interesting differential equation you have seen.
21:16
Michael Penn
Рет қаралды 132 М.
The strange cousin of the complex numbers -- the dual numbers.
19:14
Which one is the best? #katebrush #shorts
00:12
Kate Brush
Рет қаралды 22 МЛН
Khóa ly biệt
01:00
Đào Nguyễn Ánh - Hữu Hưng
Рет қаралды 12 МЛН
3 wheeler new bike fitting
00:19
Ruhul Shorts
Рет қаралды 35 МЛН
小女孩把路人当成离世的妈妈,太感人了.#short #angel #clown
00:53
The Goat Problem - Numberphile
16:52
Numberphile
Рет қаралды 805 М.
solving an infinite differential equation
10:59
Michael Penn
Рет қаралды 109 М.
The Gaussian Integral is DESTROYED by Feynman’s Technique
24:05
Jago Alexander
Рет қаралды 13 М.
A deceivingly difficult differential equation
16:52
Michael Penn
Рет қаралды 244 М.
So Why Do We Treat It That Way?
7:51
BriTheMathGuy
Рет қаралды 106 М.
Putting Algebraic Curves in Perspective
21:39
Bill Shillito
Рет қаралды 242 М.
Programming with Math | The Lambda Calculus
21:48
Eyesomorphic
Рет қаралды 80 М.
The Topological Problem with Voting
10:48
Physics for the Birds
Рет қаралды 146 М.
A deceivingly difficult differential equation.
18:44
Michael Penn
Рет қаралды 113 М.
Which one is the best? #katebrush #shorts
00:12
Kate Brush
Рет қаралды 22 МЛН