derivative of tetration of x (hyperpower)

Derivative of tetration of x, derivative of (x↑↑3), derivative of double up arrows, derivative of tetration of x, Knuth Arrow Notation. This is a hard calculus 1 problem when we differentiate this power tower of x
T-shirt 👉 teespring.com/derivatives-for...
Patreon 👉 / blackpenredpen
#blackpenredpen #calculus #math #tutorial #college

Пікірлер: 888

  • @blackpenredpen
    @blackpenredpen7 ай бұрын

    Solve x^x^x=2? Check out here: kzread.info/dash/bejne/l5phtrWNl5CYo6w.html

  • @MrAleksander59

    @MrAleksander59

    7 ай бұрын

    What if d(3↑↑X)/dx?

  • @scarletevans4474

    @scarletevans4474

    7 ай бұрын

    Professor: "On exam, I will test whether you know mathematical induction" Exam: "Find derivative of n-th tetration of x." 🤣🤣

  • @RSpaco

    @RSpaco

    7 ай бұрын

    sqrt(2)

  • @snekback.

    @snekback.

    5 ай бұрын

    @@MrAleksander59 The notation would be hard enough already

  • @MrAleksander59

    @MrAleksander59

    5 ай бұрын

    @@snekback. Yes, but I learned it years ago and well understood. I tried to do something interesting with it so I researched hyper roots and logs, tried to differentiate it. When this video came out I thought: what if the topic will be researched more?

  • @Lagiacrusguy1
    @Lagiacrusguy15 жыл бұрын

    “i don’t know how to integrate this so don’t ask me” we found his kryptonite

  • @ivanrubiomorales2759

    @ivanrubiomorales2759

    3 жыл бұрын

    Lmaooo

  • @incription

    @incription

    3 жыл бұрын

    no one even knows what x^^0.5 is iirc, but derivitive of x^^n is.. well.. math.stackexchange.com/questions/617009/finding-the-derivative-of-x-uparrow-uparrow-n

  • @WingedShell82

    @WingedShell82

    3 жыл бұрын

    @@incription scary

  • @darbyl3872

    @darbyl3872

    2 жыл бұрын

    Wha...? Well now, I don't feel so dumb.

  • @victory6468

    @victory6468

    Жыл бұрын

    it would just be x^(x^(x))+1)/x^x +1) +c

  • @chengzhou8711
    @chengzhou87115 жыл бұрын

    Now integrate it

  • @robert33232

    @robert33232

    5 жыл бұрын

    No, it's hard!

  • @beevees1636

    @beevees1636

    5 жыл бұрын

    😂😂😂😂😂

  • @andrewolesen8773

    @andrewolesen8773

    5 жыл бұрын

    X^x^x + c

  • @justabunga1

    @justabunga1

    5 жыл бұрын

    If you integrate x^(x^x) (i.e. 3rd tetration of x), then there’s no answer since it’s non-elementary. If you integrate x^3, it would be x^4/4+C.

  • @Dish.Washer

    @Dish.Washer

    5 жыл бұрын

    @@justabunga1 What does elementary mean?

  • @sreekommalapati2032
    @sreekommalapati20325 жыл бұрын

    "Im just gonna put this in the thumbnail to make a little clickbait" Transparency

  • @blackpenredpen

    @blackpenredpen

    5 жыл бұрын

    Sree Kommalapati lolllll and then i changed

  • @coldlogiccrusader365
    @coldlogiccrusader3655 жыл бұрын

    IU am 66 yrs old. I earned a MS in Mathematical Physics in 1977. I never heard about Tetration till just now THANK YOU so much!!!!!!!!!!!!!!!!!!!!!!!!!

  • @blackpenredpen

    @blackpenredpen

    5 жыл бұрын

    Thank you!!

  • @19midnightsun87

    @19midnightsun87

    4 жыл бұрын

    Hm, seems like the education back then was pretty shitty if you didn't hear about that. Where did you earn your degree?

  • @samharper5881

    @samharper5881

    4 жыл бұрын

    @@19midnightsun87 Grow up.

  • @aelfward

    @aelfward

    4 жыл бұрын

    19midnightsun87 since titration wasn’t coined until the 1980s it would make sense that Cold Logic Crusader would not know it. Heck, no computer of that day could even try to perform the operation.

  • @19midnightsun87

    @19midnightsun87

    4 жыл бұрын

    Ah, I see! Very interesting. Thank you for the info.

  • @Sid-ix5qr
    @Sid-ix5qr5 жыл бұрын

    If you'd put d/dx (x³) for my final exam, you'd be my favourite teacher!

  • @user-vp7in7bk7z

    @user-vp7in7bk7z

    4 жыл бұрын

    If that appears in your final exam i assume you dont need a teacher

  • @suyunbek1399

    @suyunbek1399

    8 ай бұрын

    at least solve it by base principles

  • @abhirupkundu2778

    @abhirupkundu2778

    7 ай бұрын

    Let me give you one@@user-vp7in7bk7z

  • @jasonzacharias2150

    @jasonzacharias2150

    7 ай бұрын

    get vaxxed! You need at least 3 or you won't pass the test

  • @Septicemic-Fugue

    @Septicemic-Fugue

    7 ай бұрын

    ​@suyunbek1399 no sir. I will never remember the limits definition of derivatives. Power rule all the way!

  • @helio3928
    @helio39285 жыл бұрын

    X: This isn't even my final form!

  • @blackpenredpen

    @blackpenredpen

    5 жыл бұрын

    Is this a reference to Dragon Ball? Cell's final form or something.

  • @buttsez4419

    @buttsez4419

    5 жыл бұрын

    @@blackpenredpen shaggy

  • @safwanshahriar4108

    @safwanshahriar4108

    2 жыл бұрын

    @@blackpenredpen Freeza

  • @tbonbt8271
    @tbonbt82715 жыл бұрын

    For those who'd like to do more research on ⁿa, the notation is called tetration.

  • @dystotera77

    @dystotera77

    5 жыл бұрын

    Also x↑↑↑y = x↑³y is called pentation and other notation to represent it is x [5] y x↑ⁿ⁻² y = x [n] y, where n is the number of operation (ex: sum n=1, multiplication n=2, potentiation n=3, tetration n=4, etc).

  • @EduardoHerrera-fr6bd

    @EduardoHerrera-fr6bd

    5 жыл бұрын

    Thanks! I didn't know nothing about this.

  • @Sky11631

    @Sky11631

    5 жыл бұрын

    Hows the thing called you need for g_64?

  • @mathewmcleod9958

    @mathewmcleod9958

    5 жыл бұрын

    ahh interesting, thanks :-)

  • @Sky11631

    @Sky11631

    5 жыл бұрын

    @Connor Gaughan if thats actually the case.. how boring

  • @TurdFurgeson571
    @TurdFurgeson5715 жыл бұрын

    Tetration, not to be confused with titration. I wonder how many chemistry students came here looking for curves and then subsequently ran away because of some light mathing. Love the video. Clear and concise. It's clear that your professor chops are strong.

  • @amineaboutalib

    @amineaboutalib

    Жыл бұрын

    none what so ever

  • @TurdFurgeson571

    @TurdFurgeson571

    Жыл бұрын

    @@amineaboutalib Prove it

  • @martxyz3363

    @martxyz3363

    Жыл бұрын

    @@amineaboutalib *whatsoever

  • @bottomtext251

    @bottomtext251

    8 ай бұрын

    Im a chemist and I came for the math :)

  • @Bhuvan_MS

    @Bhuvan_MS

    8 ай бұрын

    Lmao 🤣

  • @MegaPhester
    @MegaPhester5 жыл бұрын

    I found a nice recursive formula for the derivative of x↑↑n by setting y = x↑↑n, taking the log on both sides and doing implicit differentiation: d(x↑↑n) = x↑↑n * ( d(x↑↑(n-1)) * log(x) + x↑↑(n-1) / x )

  • @hugoburton5222

    @hugoburton5222

    3 жыл бұрын

    I'm not sure this is that clean and nice.

  • @1224chrisng

    @1224chrisng

    3 жыл бұрын

    @@hugoburton5222 well it's recursive, so it probably can't get cleaner than this

  • @DJCray8472

    @DJCray8472

    3 жыл бұрын

    I think it is simpler ;-) -> d(x↑↑n) = x↑↑n * d(x↑↑[n-1] * ln[x])

  • @DJCray8472

    @DJCray8472

    3 жыл бұрын

    @ you mean n -> to |R? the question would be, what it would mean......

  • @spiderwings1421

    @spiderwings1421

    2 жыл бұрын

    Now do d/dx(x↑↑x)

  • @46pi26
    @46pi265 жыл бұрын

    Good use of the Chen Lu; 70/10

  • @blackpenredpen

    @blackpenredpen

    5 жыл бұрын

    Yay!!!

  • @heliocentric1756
    @heliocentric17565 жыл бұрын

    "Chen Lu" The Goddess of Derivatives

  • @DiegoMathemagician

    @DiegoMathemagician

    5 жыл бұрын

    Chain rule haha i died

  • @Reydriel

    @Reydriel

    5 жыл бұрын

    Lmao

  • @sadhlife

    @sadhlife

    5 жыл бұрын

    LMAO

  • @Mhammerable

    @Mhammerable

    5 жыл бұрын

    Lol I always thought it was "chair rule" because that's how my professor pronounced it. Awesome teacher tho

  • @voidmain7954

    @voidmain7954

    3 жыл бұрын

    just wait till you see the "prada lu" the mightiest of all!

  • @silasrodrigues1446
    @silasrodrigues14465 жыл бұрын

    I have never seen this notation before!

  • @berenjervin

    @berenjervin

    5 жыл бұрын

    You might find this interesting. (Watch 175 and 176). It starts off a little "hokey", but does get pretty interesting (and introduces that notation)

  • @kevinm1317

    @kevinm1317

    5 жыл бұрын

    Silas Rodrigues Its very uncommon. Only really used to describe for extremely large numbers, like Graham's numbee

  • @berenjervin

    @berenjervin

    5 жыл бұрын

    Doh, I didnt include a link! Here they are. 175- kzread.info/dash/bejne/d4mqqLqdYdyXeNI.html 176- kzread.info/dash/bejne/jGx9mJp-Z9zAlbw.html Sorry about that.

  • @ytsas45488

    @ytsas45488

    5 жыл бұрын

    By that you mean "I have never seen Numberphile before"?

  • @EduardoHerrera-fr6bd

    @EduardoHerrera-fr6bd

    5 жыл бұрын

    Me too! Today I learned a brand new thing! >:3

  • @valeriebarker2594
    @valeriebarker25943 жыл бұрын

    For any function f(x)^g(x), the derivative can be found by adding the power rule to the exponent rule. That is to say d/dx (f(x)^g(x)) = f’(x)*g(x)*f(x)^(g(x)-1)+g’(x)*ln(f(x))*f(x)^g(x)

  • @ericmckenny6748

    @ericmckenny6748

    2 жыл бұрын

    This is a great simplifying formula to show properties in elements in hypercubes :)

  • @gregsouza7564

    @gregsouza7564

    Жыл бұрын

    This is stolen. You clearly don't know how this is derived. You don't just magically add the formulas together and get this.

  • @valbarker610

    @valbarker610

    Жыл бұрын

    @@gregsouza7564 I actually proved this in my math class lol it’s not that difficult to derivate f(x)^g(x) and determine this result. In fact if you note that in cases c^a and a^c the constant parts have their half of the equation canceled out due to having a derivative of 0. Therefore the power rule and the exponent rule are both just simplified versions of this general rule

  • @lumina_

    @lumina_

    7 ай бұрын

    ​@@gregsouza7564 lmao whatt? What do you mean "this is stolen". goofy

  • @maxe624

    @maxe624

    6 ай бұрын

    If you dont derive all math yourself you basically stole it

  • @suleem9950
    @suleem99505 жыл бұрын

    You taught me so many things like double factorials, hyperpowers... I never thought such things exist. Well done!

  • @zeldasama
    @zeldasama5 жыл бұрын

    My mans ADMITTED he was gonna put tetration of x in video for a clickbait. HahAHA

  • @gamingletsplays2518
    @gamingletsplays25184 жыл бұрын

    It's so amazing to see a (mostly) friendly community of people who like math as much as me (:

  • @andrewcorrie8936
    @andrewcorrie89365 жыл бұрын

    Love your videos: I haven't studied Maths for a long time, and neither do I teach it, but these make difficult problems so easy to follow.

  • @blackpenredpen

    @blackpenredpen

    5 жыл бұрын

    : ))))

  • @intergalakti176
    @intergalakti1765 жыл бұрын

    Hi, I really like your videos and since you used tetration in this one, I would like to ask you a question that's been on my mind for quite some time now, but for which I could not find a solution yet. What I realized was the following: If you try to complete the natural numbers with respect to subtraction, which is the inverse operation to multiplication, you get the integers. If you complete these with respect to quotients, which are inverse to multiplication, i.e. form the quotient field, you obtain the rational numbers. By completing these wrt. roots of polynomials, i.e. wrt. exponentiation, you obtain the algebraic numbers. But what if you complete these using tetration, i.e. add superroots, superlogs and other solutions of "tetration equations"? E.g. the superroot of 2, i.e. the number x with x^x=2, seems to not be algebraic, so can you form a field extending the rational numbers that is closed wrt. these operations? It can't be a field extension of finite dimension since it is not algebraic, and it also has to be a field, I think, and it should still be countable so it isn't the real numbers, but I could not figure out much more. Also, if you continue this process with pentation and higher order operations (see Knuth's up-arrow notation), you should get other fields extending each other. Since they are a mapping family, you can take the direct limit of those, and get a very big field - are these the whole real numbers? A lot of questions, I know, but I hope someone else already thought about it and figured it out, since it is far beyond my current scope. Anyway, I would be happy about any kind of help.

  • @brodiebie

    @brodiebie

    2 жыл бұрын

    have you got an answer to this yet?? sounds insane i wanna know

  • @SHPafez

    @SHPafez

    Жыл бұрын

    They should be included in the real numbers, moreover if we keep going towards the higher orders, we could find the transcendental constants (Like π, e) midway through. Or, we might even try to approach infinitation (as in, the infinth order, writing with infinitely many up arrows) and 1) find certain numbers which can't be written without the inverse infinth order. Or, 2) already cover up every real number, thus having no real numbers left, furthermore having found a way to cover up the first uncountable infinity. Or, 3) just get to the transcendental numbers with a clear definition about them.

  • @chess-blundermctrashplay762

    @chess-blundermctrashplay762

    Жыл бұрын

    New math lore

  • @DonSolaris
    @DonSolaris5 жыл бұрын

    Your ball is getting smaller and smaller. 😁😁😁

  • @mannyheffley9551

    @mannyheffley9551

    4 жыл бұрын

    @Venky Wank good one XD

  • @Hello-pf7se

    @Hello-pf7se

    4 жыл бұрын

    Which one of the ~two~...three...?

  • @vortexgvn4731

    @vortexgvn4731

    3 жыл бұрын

    balls

  • @trustnobody90

    @trustnobody90

    3 жыл бұрын

    by ball u mean mic or real balls

  • @jjmmm515

    @jjmmm515

    3 жыл бұрын

    @@trustnobody90....the mic

  • @kruksog
    @kruksog5 жыл бұрын

    Hey BPRP. I'm about to graduate with a math degree. I want to tell you, your vids are awesome and I love your pronunciation. Thanks for what you do! You bring me snippets of math I can enjoy when I feel bogged down in technical math i have to learn for a grade (which I'm sure you know can suck the fun out of it). So thanks. Truly.

  • @blackpenredpen

    @blackpenredpen

    5 жыл бұрын

    Thank you!! I am glad to hear this!! Best of luck to you in everything you do.

  • @timmurski2075
    @timmurski20755 жыл бұрын

    I'm so pleased I can follow these. You are so fun to watch. Thank you for sharing the awesome math

  • @fmakofmako
    @fmakofmako5 жыл бұрын

    I didn't read through the comments so if someone has already posted the derivative then kudos to them. The form of the derivative of x^^n for n >=4 is: x^^n*x^^n-1*(1/x+x^^n-2*(lnx/x+x^^n-3*(ln^2x/x+x^^n-4*(ln^3x/x+...+x^^2*(ln^(n-3)x/x+ln^(n-2)x+ln^(n-1)x)...) You can prove this by induction. The inductive step is shown by the recursion derivative of x^^n = x^^n*(x^^n-1/x+lnx*d/dx(x^^n-1)) and the base case is that the derivative of x^^4 is x^^4*x^^3*(1/x+x^^2*(lnx/x+ln^2x+ln^3x)). I put the base case in the same form as my answer to show that it's true because yt comments are hard to format and anyways loads of people in the comments did the x^^4 case. Moving on to the induction we have d/dx(x^^n+1)=x^^n+1*x^^n*(1/x+lnx/x^^n*d/dx(x^^n)) from the recursion. Then we plug in the same form from above. d/dx(x^^n)=x^^n*x^^n-1*(1/x+x^^n-2*(lnx/x+x^^n-3*(ln^2x/x+x^^n-4*(ln^3x/x+...+x^^2*(ln^(n-3)x/x+ln^(n-2)x+ln^(n-1)x)...) Therefore: d/dx(x^^n+1)=x^^n+1*x^^n*(1/x+x^^n-1*(lnx/x+x^^n-2*(ln^2x/x+x^^n-3*(ln^3x/x+x^^n-4*(ln^4x/x+...+x^^2*(ln^(n-2)x/x+ln^(n-1)x+ln^(n)x)...)) Done.

  • @ivanxdxd

    @ivanxdxd

    4 жыл бұрын

    Recursion? nah. Hold my beer: \frac{d}{dx}{^{n}x} = \frac{1}{x}\sum_{k=1}^n\left ( \ln^{k-1}(x) \prod_{i=0}^k {^{n-i}x} ight )

  • @novidsonmychanneljustcomme5753
    @novidsonmychanneljustcomme57535 жыл бұрын

    In the ending result you also could simplify: x^(x^x)*x^x = x^(x^x+x), but this depends on which notation you prefer. ;-)

  • @jamez6398
    @jamez63985 жыл бұрын

    For pentation, you have to use the up arrows, presumably because you run out of upper corners to write in after tetration due to the number of upper corners being 2...

  • @thompoz7114
    @thompoz71145 жыл бұрын

    Tetration is read as "the nth tetration of a" x^^3, x^x^x, "the third tetration of x"

  • @user-or5ke5yn4w

    @user-or5ke5yn4w

    7 ай бұрын

    or 'x tetrated to 3'?

  • @ethanzhu8478
    @ethanzhu84785 жыл бұрын

    So I was just learning multivariable calculus and I realized how much simpler this is if you just use the multi variable chain rule on f(x, x^x) where f(y,z)=y^z

  • @aurithrabarua4698
    @aurithrabarua46985 жыл бұрын

    Loved it!!! New notations. Thanks Steve.. 😊😊😊

  • @isaquepim4555
    @isaquepim45555 жыл бұрын

    I love learning new notations! #YAY

  • @flamingpaper7751
    @flamingpaper77515 жыл бұрын

    What is i^^i?

  • @DariusMo

    @DariusMo

    5 жыл бұрын

    Flamingpaper e^(-pi/2)

  • @novidsonmychanneljustcomme5753

    @novidsonmychanneljustcomme5753

    5 жыл бұрын

    bl00dwork No, this would be for i^i...

  • @DariusMo

    @DariusMo

    5 жыл бұрын

    novidsonmychannel justcommenting but I thought that ¡^^¡ would be ¡^¡ since i^^^i would be i^i^i

  • @novidsonmychanneljustcomme5753

    @novidsonmychanneljustcomme5753

    5 жыл бұрын

    bl00dwork OK, I read the "^^" as the notation for what bprp introduced in this video, so e.g. x^x^x would be x^^3. But I have no idea myself about what i^^i could mean... I'm not sure if it even makes sense anyway...

  • @philosophersm9005

    @philosophersm9005

    5 жыл бұрын

    By replacing those "i"es with e^(i*pi/2), i^i^i would be e^((i*pi/2)*e^(i*pi/2)^i) :( and simplifing this we get e^(i*pi/2 * e^(-pi/2)):-| is's still a mess but that's it. if you want to expand it with Euler's formula again, it would be much more "complex":-)

  • @loulephille
    @loulephille8 ай бұрын

    the 10 mins I spent here was worthier than my existence

  • @shayanmoosavi9139
    @shayanmoosavi91395 жыл бұрын

    Wow. I learned a new thing today. Thanks.

  • @lakshaykumarwalia4163
    @lakshaykumarwalia41634 жыл бұрын

    really enjoy your style 👍

  • @aaronsmith6632
    @aaronsmith66323 жыл бұрын

    Thanks, I've always wondered this!

  • @samueln2917
    @samueln29175 жыл бұрын

    I'm from Indonesia and i find this interesting!

  • @oscarahlke1585
    @oscarahlke15854 жыл бұрын

    As always he made it waaaayy longer than it needed to be!

  • @srinidhikabra5317
    @srinidhikabra53173 жыл бұрын

    I got the answer... yeah, I watched the video quite late, but I found the answer all on my own, and then watched the rest of the video, I also got the answer to that last question you asked 😄( it might not seem like a big deal, but I am in 10th grade 😅😅😅 ) it was fun doing it... keep posting such videos 👍🏻👍🏻👍🏻

  • @hbarudi
    @hbarudi3 жыл бұрын

    You can combine x^x with x^x^x by using the multiplication of exponential expressions adds the exponent rule where (x^x)*(x^x^x)=x^(x+x^x).

  • @robfrohwein2986
    @robfrohwein29866 ай бұрын

    Very clear explanation... every time i learn something 😀

  • @blackpenredpen

    @blackpenredpen

    6 ай бұрын

    Glad to hear that!

  • @blackpenredpen

    @blackpenredpen

    6 ай бұрын

    Thanks!

  • @ihti20
    @ihti203 жыл бұрын

    Left-upper index is usually used for bottom-order tetration, for right-order hyperoperators arrow notation is basic. Left hyperoperators are rarely used though so it's specified explicitly in that case.

  • @Xnoob545

    @Xnoob545

    9 ай бұрын

    I have never heard that

  • @ryansamarakoon8268
    @ryansamarakoon82684 жыл бұрын

    I think you can also do it with implicit differentiation where you take the natural log on both sides. You'll need to repeat for x^^3 so for x^^2 you'll have: x^^2=y XLn(X)=ln(y) Ln(X)+1=Dy/DX •1/y Therefore Dy/DX=x^^2(ln(X)+1)

  • @DrunkenHotei

    @DrunkenHotei

    8 ай бұрын

    I think you forgot to divide by x in the second term on the left-hand side of line 3, but yeah I used implicit differentiation and got the right answer, too(as I tend to do first when I don't know how to take a derivative in general) Edit: I don't know why I thought you made a mistake in line 3, but it all looks fine upon rereading it.

  • @acshyamraj8167
    @acshyamraj81675 жыл бұрын

    Differentiation made easier by taking logs of both sides, twice. taking y = x^x^x ; logy = x^x logx Taking logs of both sides again, log(logy) = log(x^x) + log(logx) ie log(logy) = x logx + log(logx) Now differaentiating both sides with respect to x, (1/logy)(1/y) dy/dx = x(1/x) + logx + (1/logx)(1/x) Hence dy/dx = y logy [ 1 + logx + (1/xlogx) ] = x^x^x . x^x logx [ 1 + logx + (1/xlogx) ]

  • @anmoljawalia5967
    @anmoljawalia59673 жыл бұрын

    Brother u are really a genius !!!💖👏👏👌👑

  • @mokouf3
    @mokouf34 жыл бұрын

    For Expert: Tetration n times: Write it as T(x,n) so that T(x,1) = x, T(x,2) = x^x and so on, write its derivative as T'(x,n) Construct a reduction formula, start from n=2, try to solve T'(x,n) for all integers n. (tedious like hell)

  • @zackm5693
    @zackm56935 жыл бұрын

    Awesome as always!

  • @shinigamisteve5607
    @shinigamisteve56075 жыл бұрын

    Well, I’m glad he at least admits that he makes clickbait thumbnails. Didn’t know about that notation, but already knew about tetration. Great vid

  • @vedantneema
    @vedantneema5 жыл бұрын

    So, this notation that blackpenredpen just told, I had actually once accidently discovered it myself. So, when I did a bit of research on values of x^^a for fractional values of 'a' and found out an elegant relation between x^^(1/2) and Lambert - W function. It is: x^^(1/2)=e^(W(x)) or W(x)=ln(x^^(1/2)). I am also working on the derivative of x^^a, which is partially answered by Calyo Delphi in one another comment. I did some research and thought I should share it here.

  • @fantiscious

    @fantiscious

    Жыл бұрын

    3 years late but I think you might be wrong because e^^x is (as far as I know) an injective function, so if e^^a = e^^b then a = b. But e^^1 by definition equals e, and if you plug in e into your formula {x^^(1/2)=e^(W(x)}, you get e^^(1/2) = e^W(e), which is still e. This however contradicts e^^x being an injective function, since 1/2 ≠ 1, therefore the formula is incorrect

  • @vedantneema

    @vedantneema

    Жыл бұрын

    @@fantiscious yup you're right. i prob miscalculated then or sth. the actual relation was (e^x)^^1/2 = e^W(x) Proof: x = t^t => t = x^^1/2 -- 1. x = te^t => t = W(x) -- 2. => e^(x) = e^(te^t) => e^x = (e^t)^(e^t) => e^t = (e^x)^^1/2 = e^(W(x)) (from 1.) => (e^x)^^1/2 = e^W(x)

  • @fantiscious

    @fantiscious

    Жыл бұрын

    @@vedantneema Wow thanks for replying early lol. However could there be a misconception from your first line of proof? You see, log_x(x^^n) = x^^(n-1) => log_x(x^^1) = x^^0 x^^1 = x ∀ x (by definition) => log_x(x^^1) = log_x(x) = 1 = x^^0 ∴ x^^0 = 1 ∀ x But in your 1st line of proof, you imply that x = t^^n => t = x^^(1/n) for all n. This says that 2 = t^^n => t = 2^^(1/n). However as n approaches to infinity, t = 2^^(1/n) approaches 2^^0, which from the lemma above shows it approaches 1. This cannot be true though since; 2 = lim_(n -->∞)(t^^n) => 2 = t^t^t^t^... => 2 = t^2 (since t^t^t^... appears in itself) => t = √2 This shows that t = √2 and t = 1, but √2 ≠ 1, making a contradiction

  • @vedantneema

    @vedantneema

    Жыл бұрын

    @@fantiscious "x = t^^n => t = x^^(1/n) for all n". No, I only meant it for when n = 2. Also in your last statement you conclude that t can have two solutions for the given equation, one each is obvious in two different but equivalent forms. That stems from the fact that unlike addition, multiplication or exponentiation; tetration is not monotonic. Refer to the graph of x^x within [0, 2](decreasing in [0, 1] and increasing within [1,2]). The graph of y^y=x (== y = x^^1/2) is equally weird. Now the limits within which x^^n is monotonic is something that may be interesting to work out. I speculate it remains the same for n>=1. I'll report back if I find something.

  • @Magnetron692
    @Magnetron6929 ай бұрын

    Awesome! Thank you!!

  • @ahmadnasser9435
    @ahmadnasser9435 Жыл бұрын

    i can't believe that my friend who have never seen tetration or heard about thought of this concept and wrote it in the same annotation of this and chose to call it superpostion .then he sarted studyng it as a functon and he got some pretty cool stuff .bt he was stuck on a problem.while searching the net for a solution he fond the same concept in the name of tetration and it shook us how similar his invention is to it .

  • @Xav87ier
    @Xav87ier5 жыл бұрын

    Very interesting. I have following question: how can I calculate the first derivative of the function "a tetrated x" (a is positive)?

  • @DoctorT144

    @DoctorT144

    4 жыл бұрын

    We still have no clear way of defining how to even calculate non-integer raised tetration, so good luck with that! I mean what would 2^^1.5 even mean?! I've looked into this quite a bit and there seems to be no conclusive answer.

  • @ryanman0083

    @ryanman0083

    7 ай бұрын

    @@DoctorT144 Using super Logarithm (inverse of Tetration) By definition sLog2 (2^^3) = 3 NOTE: "sLog" is a notation for super Logarithm. Like how Logarithm cancels the base leaving the exponent ex. Log2 (2^3) = 3 super Logarithm does the same with Tetration leaving the super power. We can use super Logarithm to solve non integer super powers since super Logarithm is repeated Logarithm by definition. Let's let sLog2 (16) = 3+x Where 0 ≤ x sLog2 (2^^3) = sLog2 (2^2^2) => Log2(2^2^2) = 2^2 => Log2(2^2) = 2 =>Log2(2) = 1 At this point we've taken three logs representing our integer part of the solution (given by the fact that the answer is equal to 1). We just take log again for the decimal x (the remainder of 2's that we need.) Log2 (1) = 0 Thus sLog2 (16) = 3+0 = 3 Well let's look at what happens when we go backwards through the same process to see what happens to the remainder. Log2 (Log2 (Log2 (Log2 (16)))) = 0 Log2 (Log2 (Log2 (16))) = 2^0 Log2 (Log2 (16)) = 2^2^0 Log2 (16) = 2^2^2^0 16 = 2^2^2^2^0 = 2^2^2 = 2^^(3+0) The remainder adds an extra '2' to the top of the power tower and the additional 2 is raised to the power of the remainder For 0 ≤ x ≤ 1 By definition sLog a(a^^3+x) => a^a^a^a^x By definition of Tetration a^^3+x = a^a^^2+x = a^a^a^^1+x = a^a^a^a^^x a^a^a^a^^x = a^a^a^a^x a^a^a^^x = a^a^a^x a^a^^x = a^a^x a^^x = a^x by definition for 0 ≤ x ≤ 1 2^^1.5 = 2^2^0.5 = 2^√2 ≈ 2.6651441427...

  • @phatkin
    @phatkin4 жыл бұрын

    You could also write it in a more "finished" (?) form as: d(x↑↑3)/dx = ln(x↑↑6) + ln(x↑↑4)ln(x↑↑3) + (x↑↑3)(x↑↑2)/x

  • @Player_is_I
    @Player_is_I9 ай бұрын

    It can further simplify by bringing the 2 from the natural log of x in front of it then add it to the other one

  • @amardeepsingh620
    @amardeepsingh6205 жыл бұрын

    Hello sir i am from india. Awesome your maths

  • @militantpacifist4087
    @militantpacifist4087 Жыл бұрын

    Do a video on solving tetration equations please as well as tetration with imaginary numbers and taking the super-root of those numbers.

  • @sakibafnan4965
    @sakibafnan49655 жыл бұрын

    there is a formula for diff(x^x),whatever!I really enjoyed your video

  • @archithtelukunta4599
    @archithtelukunta45995 жыл бұрын

    I did get the generalisation for the tetration of x to any natural index(excluding 1).Well,it goes like this, Let x(n) be the tetration of x to a natural number n * denotes the product of the tetrations(pi-product function)[*(k=r to k=n) x(k)=x(r)x(r+1)x(r+2)........x(n) # denotes summation(sigma function) [#(r=1 to r=n) x(r)=x(1)+x(2)+.........x(n)] Then, d[x(n)]/d(x)=(1/x)[*(k=1 to k=n)x(k)(ln(x))^n-1 + #(r=1 to r=n-1)[*(k=r to k=n)x(k)[(ln(x))]^n-r-1]] Where #(r=1 to r=n-1)*(k=1 to k=n) denotes the summation of the products. Put it on paper for easy understanding.Do note it is only valid for natural number greater than or equal to 2. Just put a reply if I had gone wrong somewhere.

  • @boomclan5163
    @boomclan51635 жыл бұрын

    I am ... amazed

  • @paull2937
    @paull2937 Жыл бұрын

    Since multiplying a number by a non-integer number and taking a number to a non-integer power are both possible, is tetrating a number to an non-integer number possible? Is it also possible for the other infinitely many arithmetic operations?

  • @somnathdas8530
    @somnathdas85304 жыл бұрын

    It’s so cool!

  • @alessandroarmenti5562
    @alessandroarmenti55623 жыл бұрын

    (I'm new in calculus so please don't judge me too badly) A nice rule for the derivative of n^xcould be d/dx n^x=n^x*(n-1)^x...2^x(ln(x)^(n-1)+ln(x)^(n-2)+ 1/x (ln(x)^(n-3)+ln(x)^(n-4) +...+1)). The approach have been to do the derivative for 3^x 4^x and 5^x and I noticed this trend.

  • @jimhrelb2135
    @jimhrelb21355 жыл бұрын

    Not only he uses the up arrow, he rewrote the answer in 3 different ways to make the video 10+ mins. My man is taking the wise words from Pewdiepie.

  • @shokan7178
    @shokan71785 жыл бұрын

    YAY I finally got something correct! Also, for me it was easier to solve via implicit differentiation.

  • @AdilReza
    @AdilReza5 жыл бұрын

    Alternatively, you can rewrite the given equation as: ln(ln(y)) = ln(ln(x)) + x*ln(x), and then try differentiating the equation in this form.

  • @stealthgamer4620
    @stealthgamer46208 ай бұрын

    I was also thinking of using substitution and logarithmic differentiation. So solve for x^u, where u= x^x. Use logarithmic differentiation for u first, then after finding u’, use it to find x^u. I think this is long and messy though.

  • @user-jj8kg5ef2t
    @user-jj8kg5ef2t4 жыл бұрын

    I am very intrigue by tetration and pentation..... please do some videos on the topic. (also integral equation, when there are so many video on differential equation, integral equation is very rare)

  • @vonneumann3592
    @vonneumann35925 жыл бұрын

    Please make videos on mulrivariable calculus

  • @adamcanarutto5447
    @adamcanarutto54474 жыл бұрын

    What if instead of choosing e and natural logarithm (ln) I would've chose 2 and log in base 2. Would the result be different than the one you showed us, bprp?

  • @MrMatthewliver
    @MrMatthewliver3 жыл бұрын

    I found a quite complicated formula for general integration of tetration functions in wikipedia, here: en.wikipedia.org/wiki/List_of_integrals_of_exponential_functions It is given as exactly 20th example from the top; the formula involves incomplete gamma function and some parameters (n, m, i, j), but it's still not quite clear to me. I have just subscribed your channel :-) Could you devote some time to this formula in one of your future lectures? I mean, how it has been found and how it can be used In practice? Anything that can make it more familiar and clear?

  • @nishilsheth9076

    @nishilsheth9076

    8 ай бұрын

    It's cool and all, but the page contains integrals. Can you find one which lists the formula for derivatives?

  • @MrMatthewliver

    @MrMatthewliver

    8 ай бұрын

    @@nishilsheth9076 You know, derivatives can be calculated using quite simple set of a few rules. They include: a formula for derivative of the product (1), derivative of the quotient (2), derivative of a composite function (3), derivative of a power (4), and derivative of an inverse function (5). So here you are: (1) [f(x)*g(x)]' = f'(x)*g(x) + g'(x)*f(x), or - more simply, (fg)' = f'g + g'f (2) [f(x)/g(x)]' = [f'(x)*g(x) - g'(x)*f(x)] / [g(x)]^2, more simply (f/g)' = (f'g - g'f)/g^2 (3) when u(x) = f(g(x)), u'(x) = g'(x) * f'(u), for example [ln(sinx)]' = (1/sinx)*(-cosx) etc. (4) [f(x)^g(x)]' = [f(x)^g(x)] * {[g'(x) * ln f(x)] + [g(x)/f(x) * f'(x)]}, or more simply: (f^g)' = (f^g) * (g'* lnf + g*f'/f ) - which is an applied formula for derivative of a composite function after making an identity transformation: f^g = e^(g*lnf) (5) when y=f(x) and x=g(y), g'(y)=1/f'(x). For example when x=y^y and y=ssrt(x), (y^y)* (1+lny) = 1/[ssrt(x)]', which yields [ssrt(x)]' = 1/[y^y * (1+ lny)], so: when f(x) = ssrt(x), f'(x) = 1/ [x + ln(ssrt(x)], since when y= ssrt(x), y^y = x by definition When using these five formulas, we can determine a derivative of any function expressed with a finite formula.

  • @RiteshNEVERUNIFORM
    @RiteshNEVERUNIFORM4 жыл бұрын

    One thing my Maths Sir once told about differentiating x^x is that "first differentiate it as constant^variable then differentiate it as variable^constant and add them that is the derivative of x^x" idk if it works for any tetration

  • @vinayaklahoti
    @vinayaklahoti4 жыл бұрын

    Solve for this; Cow tied at the corner of a circular field is able to graze 3/4th of the field. What is ratio of length of its rope and radius of the field?

  • @nathansauveur6704
    @nathansauveur67045 жыл бұрын

    Do a vid about integrating e^((x^x)*ln(x)) next please

  • @dolevgo8535

    @dolevgo8535

    5 жыл бұрын

    you can't integrate x^x, so pretty sure you cant integrate x^(x^x)(which is what you asked here)

  • @nathansauveur6704

    @nathansauveur6704

    5 жыл бұрын

    dolev goaz That's no fun.

  • @Apollorion

    @Apollorion

    5 жыл бұрын

    @dolev goaz: Since we're talking mathematics here, I sincerely wonder: *"do you have proof for your two claims?"* (The claims I mean: 1: "you can't integrate x^x" and 2: "so you can't integrate x^(x^x)" ) For x>0 both functions (i.e. exp(ln(x)*exp(ln(x))) and exp(ln(x)*exp(ln(x)*exp(ln(x)))) ) are continuous and differentiable, so why wouldn't you be able to integrate them?

  • @wayoftheqway9739

    @wayoftheqway9739

    5 жыл бұрын

    More precisely, their indefinite integrals aren't expressible in terms of elementary functions.

  • @azice6034

    @azice6034

    5 жыл бұрын

    YES! He can't tease us like that!!

  • @gaithlame9041
    @gaithlame90414 жыл бұрын

    very nice . i hope you can explain how to integrate this term .

  • @tjdtn0
    @tjdtn07 ай бұрын

    어느순간부터 내 알고리즘에떠서 12math처럼 잼게 보고있슴다 ㅋㄴㅋㅋ

  • @89roddy
    @89roddy5 жыл бұрын

    I think I have the general formula where I set x↑↑0=1 (Is that right?). First a recursion formula: d/dx(x↑↑n) = x↑↑n · (d/dx(x↑↑(n-1)) · lnx + x↑↑(n-1) · 1/x) After applying that a few times I found a pattern, so here's the formula (I think): d/dx(x↑↑n) = 1/x · sum_(k=0 to n-1) of [(lnx)^(n-1-k) · product_(m=k to n) of (x↑↑m)] d/dx(x↑↑0) = d/dx(1) = 1/x · sum_(k=0 to -1) of [(lnx)^(-1-k) · product_(m=k to 0) of (x↑↑m)] = 1/x · 0 = 0 d/dx(x↑↑1) = d/dx(x) = 1/x · sum_(k=0 to 0) of [(lnx)^(-k) · product_(m=k to 1) of (x↑↑m)] = 1/x · [(lnx)^(0) · product_(m=0 to 1) of (x↑↑m)] = 1/x · x↑↑0 · x↑↑1 = 1/x · 1 · x = 1 d/dx(x↑↑2) = d/dx(x^x) = 1/x · sum_(k=0 to 1) of [(lnx)^(1-k) · product_(m=k to 2) of (x↑↑m)] = 1/x · [(lnx)^(1) · product_(m=0 to 2) of (x↑↑m) + (lnx)^(0) · product_(m=1 to 2) of (x↑↑m)] = 1/x · [lnx · x↑↑0· x↑↑1 · x↑↑2 + x↑↑1 · x↑↑2] = 1/x · [lnx · 1· x· x^x + x · x^x] = lnx· x^x + x^x = x^x · (lnx+1) d/dx(x↑↑3) = d/dx(x^x^x) = 1/x · sum_(k=0 to 2) of [(lnx)^(2-k) · product_(m=k to 3) of (x↑↑m)] = 1/x · [(lnx)^(2) · product_(m=0 to 3) of (x↑↑m) + (lnx)^(1) · product_(m=1 to 3) of (x↑↑m) + (lnx)^(0) · product_(m=2 to 3) of (x↑↑m)] = 1/x · [ln²x · x↑↑0 · x↑↑1 · x↑↑2 · x↑↑3 + lnx · x↑↑1 · x↑↑2 · x↑↑3 + x↑↑2 · x↑↑3] = 1/x · [ln²x · 1 · x · x^x · x^x^x + lnx · x · x^x · x^x^x + x^x · x^x^x] = ln²x · x^x · x^x^x + lnx · x^x · x^x^x + x^x · x^x^x · 1/x = x^x^x · x^x · (ln²x+lnx+1/x)

  • @damonpalovaara4211
    @damonpalovaara42114 жыл бұрын

    I tried it via the log method and found it to be easier.

  • @damianbla4469
    @damianbla44693 жыл бұрын

    09:58 Using Knuth's arrow notation, "1/x" (another way to write this is of course "x^(-1)") could be written as "x & (-1)" (where the symbol "&" represents the "up arrow" symbol in the Knuth's arrow notation)?

  • @kchannel5317
    @kchannel53173 жыл бұрын

    Man it would be cool to have this guy as a calculus teachers

  • @JACKeREB3
    @JACKeREB35 жыл бұрын

    I know it's not about the video, but you have PREEEEETTY good taste in watxhes!! Is that a MVMT??

  • @Rohit-cr9xk
    @Rohit-cr9xk5 жыл бұрын

    You make calculas very easy for us. Can you please teach Probability with fun. Because it seems very confusing some times.😇😊😊😊😊😊

  • @enzoys
    @enzoys11 ай бұрын

    I would like to know if tetration has properties. like, if it was a x^2 * x^3 right there, you would be able to add the exponents, but it dosn't seem to be the case with tetration

  • @ganster1239
    @ganster12395 жыл бұрын

    Now Dr. Peyam has to make a video about the generalization d/dx(x↑↑a), where a represents any rational number!

  • @majkgmajkg2613
    @majkgmajkg26135 жыл бұрын

    Graham's number on the spot! :o

  • @tzheweitan7963
    @tzheweitan79634 жыл бұрын

    Can you set y=x^x^x And then take natural log on both sides and use implicit differentiation like dy/dx

  • @Drekal684
    @Drekal6845 жыл бұрын

    Wow, that's really cool! Now I'm curious if it's possible to differentiate n↑↑x.

  • @DoctorT144

    @DoctorT144

    4 жыл бұрын

    We would first have to figure out what x^^1.5 would even mean. I've done a lot of research on this and there seems to be no conclusive answer.

  • @Hippienolic2
    @Hippienolic24 жыл бұрын

    I’ve taken 3 levels of calc and that notation never came up. Great video

  • @thechannelofeandmx4784
    @thechannelofeandmx47845 жыл бұрын

    Nice work :) Now lets differentiate x(arrow)x 😆

  • @chimetimepaprika
    @chimetimepaprika5 жыл бұрын

    I love this! What hyperoperation comes after tetration? Just more up arrows?

  • @awfuldynne

    @awfuldynne

    3 жыл бұрын

    I'm not aware of notations for hyperoperators beyond tetration other than the "up arrow notation"- and yes, you do just keep adding arrows to get higher-level hyperoperators-but they do have names. Pentation is the next one up.

  • @jbartell3
    @jbartell37 ай бұрын

    This is what I got, though I’m not sure if correct! It’s technically an explicit function 😂 d(x || n)/dx = E(k=1 to n) [ {((ln(x))^(n-k))/x} * P(i=k-1 to n) [x || i] ] Notation E ~ the sigma summation function P ~ the sigma pin function || ~ the double arrow function Domain: For n within positive integers and assuming that x || 0 = 1

  • @spandanpadhee01
    @spandanpadhee014 жыл бұрын

    I love this

  • @thomaslechner1622
    @thomaslechner16226 ай бұрын

    Before differentiating, we need a clear understanding of fractional tetration, otherwise it is a discontinuous function, that cannot be differentiated at all, right?

  • @alberteinstein3612
    @alberteinstein36123 жыл бұрын

    I’ve heard of Knuth’s Arrow Notation and Bower’s Operators but not Tetration Notation... Thanks!

  • @papasalt8823
    @papasalt88238 ай бұрын

    Seems a little overcomplicated no? y=x^x^x so lny=(x^x)lnx and from there on the (route to the) solution should be apparent if you've ever differentiated x^x before. is there any reason to not treat this as a basically repeated implicit derivative question?

  • @lythd
    @lythd4 жыл бұрын

    I'm just a highschool student so sorry if I'm missing something important. Why can't you just take x^x^x and use x^x as an exponent and bring it to the front to get (x^^2)*(x^^3)/(x)? I divided by x instead of subtracting one from the power however I believe that is equivalent.

  • @josephcoon5809
    @josephcoon58092 жыл бұрын

    3:00 Is the up arrow supposed to be synonymous with the carat sign? So that x^3 is exponentiation and x^^3 is retraction?

  • @flamingpaper7751
    @flamingpaper77515 жыл бұрын

    Tetration in general needs a complete follow up video

  • @abiedarkhamilhami2663
    @abiedarkhamilhami26635 жыл бұрын

    *_Could you reply this question please?_* n² = n↑2 ²n = n↑↑2 = nⁿ Are these notations just defined by yourself, or you have reference for defining these notations? If you were using any reference, could you share that reference link to me?

  • @trentsantoro7300
    @trentsantoro73003 жыл бұрын

    So if you had something like d/dx of X double up arrow 4 would it be some like [(X double up arrow 3)(X double up arrow 4)((1/x) + ln(x) + (lnx)^2 +(lnx)^3)] or am I missing something

  • @radueduard587
    @radueduard5874 жыл бұрын

    Funny is that there is a rule that alows us to derivate anything no matter how tetrated or stacked it is. Basically instead of doing what he did you can derivate the whole thing a function at a time from outside to inside and write the product of those partial results

  • @dhwaneelkapadia3265
    @dhwaneelkapadia3265 Жыл бұрын

    I think it's really interesting how in the end product we get ²x.³x (ln²x + lnx + d/dx(lnx)) also, is this true? ²x.³x=⁵x

  • @satyamkumar9578
    @satyamkumar95785 жыл бұрын

    It's awesome