generalizing the internet's favorite integral

แชร์
ฝัง
  • เผยแพร่เมื่อ 23 ธ.ค. 2024

ความคิดเห็น • 79

  • @agnibeshbasu3089
    @agnibeshbasu3089 3 หลายเดือนก่อน +74

    They: which kind of girl you like?
    Me: someone as loyal as goodplacetostop.

    • @natepolidoro4565
      @natepolidoro4565 3 หลายเดือนก่อน

      Lol

    • @goodplacetostop2973
      @goodplacetostop2973 3 หลายเดือนก่อน +4

      Even better, someone as loyal as Michael with the floor function.

  • @AlexanderKhlebushchev
    @AlexanderKhlebushchev 3 หลายเดือนก่อน +29

    The correct answer is Г(1 + 1/p).
    Setting y = x^p, we have dx = y^(1/p - 1)/p dy, thus the integral becomes exp(-y) y^(1/p - 1)/p dy that is Г(1/p)/p or Г(1 + 1/p).

    • @thierrychenevier3508
      @thierrychenevier3508 3 หลายเดือนก่อน +1

      no, michael has not forgotten that there is an r in the above expression, so effectively the result seems to be Gamma(2/p)/p

    • @xinpingdonohoe3978
      @xinpingdonohoe3978 3 หลายเดือนก่อน

      @@thierrychenevier3508 effectively? Γ(1+1/x)≠Γ(2/x)/x identically so only at most one can be correct.

    • @IanXMiller
      @IanXMiller 3 หลายเดือนก่อน

      Mathematica (when given the original problem) agrees with @AlexanderKhlebushchev's answer.

    • @bjornfeuerbacher5514
      @bjornfeuerbacher5514 3 หลายเดือนก่อน

      Why do you call this "the" correct answer? There are several ways to state the answer, Michael's answer also was correct.

    • @mohamedomrane5481
      @mohamedomrane5481 3 หลายเดือนก่อน

      My answer also: (1/p)*gamma(1/p)
      valid for p=2

  • @goodplacetostop2973
    @goodplacetostop2973 3 หลายเดือนก่อน +27

    15:22

  • @xinpingdonohoe3978
    @xinpingdonohoe3978 3 หลายเดือนก่อน +27

    12:35 Is that a chart of p and π_p, or a chart of p and 1/4 π_p? π_2=π, and the given value for p=2 looks like π/4.

    • @plislegalineu3005
      @plislegalineu3005 3 หลายเดือนก่อน +5

      For p = 1 it'd have to be 2sqrt(2) I think, no? So a factor of 4sqrt(2) somehow?

    • @user0xff
      @user0xff 3 หลายเดือนก่อน +5

      It's 1/4 of pi. On the chart it tends to 1, and will be 1 at infinity

    • @oqardZ
      @oqardZ 3 หลายเดือนก่อน

      ​@@plislegalineu3005For p=1, the value should be 0.707107, not 0.5.

    • @oqardZ
      @oqardZ 3 หลายเดือนก่อน +4

      ​For p=1, the value should be 0.707107, instead of 0.5, assuming the values tabled are pi_p/4.

    • @evreatic3438
      @evreatic3438 3 หลายเดือนก่อน +2

      Well, obviously π₂ ≈ 3.141592 = 0.785398×4.
      And π₁ is ½ the "circumference" of a square defined by points (1,0) (0,1)(-1,0) (0,-1) exactly equal to 2√2 ≈ 2.828427.

  • @Nameless.Individual
    @Nameless.Individual 3 หลายเดือนก่อน +26

    A few issues stand out here.
    1- Defining the family of curves as the parameterisation of the circle with respect to the p-norm on R^2 does not guarantee that they are well-behaved. For example: the norm given by |x| + |y| produces piece-wise parameterisations that are not continuously-differentiable.
    2- The definition of pi_p as the total arc length of a single revolution is cumbersome to work with analytically, even though it has a simple geometric interpretation.
    3- The integral itself can be quickly expressed in terms of the gamma function via a change of variables, rendering this roundabout journey quite moot.
    It is still an interesting premise, but a better - and arguably more useful - way to frame it would be expressing pi_p in terms of the gamma function.

    • @firemaniac100
      @firemaniac100 3 หลายเดือนก่อน +7

      The solution for the differential equation is well defined only for p > 1 due to Picard lindeloff theorem and the associated lipschitz condition

    • @zachariastsampasidis8880
      @zachariastsampasidis8880 3 หลายเดือนก่อน +2

      ​@@firemaniac100Well for the singular p=1 you don't need it and for p

  • @BikeArea
    @BikeArea 3 หลายเดือนก่อน +52

    When backflip? 😮

    • @eqwerewrqwerqre
      @eqwerewrqwerqre 3 หลายเดือนก่อน +1

      This guy looks like he can control backflip

    • @BikeArea
      @BikeArea 3 หลายเดือนก่อน +1

      @@eqwerewrqwerqre In some of his videos he indeed performs a backflip as part of a transition.

  • @rainerzufall42
    @rainerzufall42 3 หลายเดือนก่อน +4

    12:37 This list looks like the area of the shape in the first quadrant with radius r=1, not \pi_p! Examples: p=2: A = \pi/4. p=1: A = 1/2. p=\inf: A = 1.

  • @bernardofabrica
    @bernardofabrica 3 หลายเดือนก่อน +4

    I bought Squigonometry because of your suggestion, and reading it really occupies headspace. the moment I saw this problem i thought of those weird crcles.

  • @alexbush9250
    @alexbush9250 3 หลายเดือนก่อน +6

    I like that when p=2 we get the normal answer back.

    • @synaestheziac
      @synaestheziac 3 หลายเดือนก่อน +3

      It wouldn’t be a generalization otherwise!

  • @synaestheziac
    @synaestheziac 3 หลายเดือนก่อน +4

    14:34 “a suitably gnarly integral” haha

  • @Nikolas_Davis
    @Nikolas_Davis 3 หลายเดือนก่อน +4

    It's really just an aesthetic preference, but I prefer to define the equation of the p-th circle as:
    (x^2)^(p/2) + (y^2)^(p/2) = 1
    that way, we avoid the ugliness of the absolute values ;-)

    • @mileroqueiro
      @mileroqueiro 2 หลายเดือนก่อน

      That's not ugly! |x|ᵖ+|y|ᵖ = ||(x, y)||ₚᵖ is the p-th power of the p-norm. The equation |x|ᵖ+|y|ᵖ = 1 draws the sphere by the p-norm: ||(x, y)||ₚ = 1.

  • @holyshit922
    @holyshit922 3 หลายเดือนก่อน +4

    I would use Gamma function,
    but first I would use substitution to get it

  • @deepjoshi356
    @deepjoshi356 3 หลายเดือนก่อน

    2:21 orange is p < 1 actually. The pointy edges only go out after the rotated square at p = 1.

  • @asparkdeity8717
    @asparkdeity8717 3 หลายเดือนก่อน +3

    In my Uni course, this was just a general result, the desired integral is Γ(1+1/p) with a simple u = x^p substitution.
    Another similar result was that of ∫{0 to ∞} exp[+_ ix^(p)] dx, which you may like to make a separate video on.

  • @BenfanichAbderrahmane
    @BenfanichAbderrahmane 3 หลายเดือนก่อน

    Cos_p(t) = sign(cos(t)) (|cos(t)|)^(2/p) .. so we can express them as a function of normal cos and sin.

  • @orlevene9964
    @orlevene9964 3 หลายเดือนก่อน

    I wish you could explore the solution more in your video. like showing different examples for P and diagrams of the starting eq etc.

  • @byronwatkins2565
    @byronwatkins2565 3 หลายเดือนก่อน +1

    You didn't demonstrate that the two integrals are equal. This is necessary for the given integral to equal the square root of their product. I expect that showing that the 'squig' functions are simply shifted by a quarter period would suffice -- since both integrals compose 1/4 period -- but the correct symmetry might also be needed.
    I begin to suspect that these functions might form an orthogonal basis of a generalized Fourier transform. I also wonder whether there is an appropriate Euler's equation...

    • @droid-droidsson
      @droid-droidsson 3 หลายเดือนก่อน

      x and y in the integrals have nothing to do with the x and y coordinates of the plane Michael chooses to draw the circles in. It is just a variable of integration like any other, you just can't use the same one twice, so he used y for the one after x. You can replace x and y with s and t, if you want.

    • @byronwatkins2565
      @byronwatkins2565 3 หลายเดือนก่อน

      @@droid-droidsson Go to the NEXT step.

    • @droid-droidsson
      @droid-droidsson 3 หลายเดือนก่อน

      @@byronwatkins2565 so the first equals sign is suddenly invalid because Michael later chooses to apply geometric reasoning? this integral is clearly a positive real number for any p>0, so it is equal to the square root of its square. end of story.

  • @edrysson
    @edrysson 3 หลายเดือนก่อน +1

    Nice approach, great video, but just a small issue, shouldn't Pi2 in the table be equals to: 3.14156.... (or the normal pi?) why in 12:37 it shows like 0.785398?

    • @rainerzufall42
      @rainerzufall42 3 หลายเดือนก่อน +4

      The list is wrong, it shows the area of a quarter of the p-circle!

  • @tcoren1
    @tcoren1 2 หลายเดือนก่อน

    12:37 for p=2, shouldn't pi_p=pi?

  • @CM63_France
    @CM63_France 3 หลายเดือนก่อน

    Hi,
    Good result and proof. Amazing generalized trigs functions.
    I had proved this result otherwise some time ago, and I think it works even if p is not integer.

  • @giuseppepapari7419
    @giuseppepapari7419 3 หลายเดือนก่อน

    12:27. To me, 2pi_p should be defined as the value of t for which one full loop around the p-circumference is made. It may not necessarily coincide with the arc length of that curve. In fact, from the table at 12:35 I see the value of pi_1=0.5, which by no means is the arclength. (Actually, the value of pi_2 suggests that it should be pi_p/4, but then we should have pi_1 = sqrt(2)/2, not 0.5). Or maybe I have missed something?

  • @eveeeon341
    @eveeeon341 3 หลายเดือนก่อน

    12:34 I think I'm missing something, shouldn't pi(2) be our normal 3.14... pi?

  • @hoomandelshad4081
    @hoomandelshad4081 3 หลายเดือนก่อน +1

    11:58 In which video did you calculate the different values ​​of Pi_p? I can't find it😭

  • @the.lemon.linguist
    @the.lemon.linguist 3 หลายเดือนก่อน

    wait
    why does the exponent become r^p instead of -r^p?
    can anyone answer this for me?

  • @victorvila1056
    @victorvila1056 3 หลายเดือนก่อน

    It just occured to me, what if you define f(x): (0, inf) -> [0, 1] as f(x) = cos_x(a) for some fixed real number a and then take the derivative with respect to x? And what would the graph of such function f(x) be?

    • @droid-droidsson
      @droid-droidsson 3 หลายเดือนก่อน

      geometrically, what you're doing is drawing a normal 2-circle/Euclidean circle around the center _c_ = (1,0), and with radius _a_. And then your function value is the x-coordinate of the singular point in the first quadrant/with positive y coordinate where the p-circle around the origin intersects your circle around _c_.
      It would be a function which is always strictly increasing in _x_, and for values of _a_ smaller than 1, it would always start at 1-a and climb to 1 in some (presumably smooth) manner, whereas for values of _a_ larger than 1, its limit at x=0 is 0, and its limit at x=infinity is 1-sqrt(a^2-1).
      sin_x(a) would behave similarly, but would start out going from 0 at x=0 to _a_ at x=infinity, and then for values of _a_ larger than 1, would switch to going from sqrt(a^2-1) to 1.

  • @元兒醬
    @元兒醬 3 หลายเดือนก่อน +2

    I have a summation problem, hope someone can solve it
    It's a double summation of 1/(mn)^2, where m goes from 1 to infinity
    and n goes from m to infinity, hope you can solve it

    • @OrangeFigure-wl3kp
      @OrangeFigure-wl3kp 3 หลายเดือนก่อน +1

      7(pi) ^4/360 😁😁

    • @OrangeFigure-wl3kp
      @OrangeFigure-wl3kp 3 หลายเดือนก่อน

      Or (zeta(2)^2+zeta(4))/2

    • @OrangeFigure-wl3kp
      @OrangeFigure-wl3kp 3 หลายเดือนก่อน

      I found a general formula for these sorts of problems:
      The double sum m=1 to m=infinity n=m to n=infinity of (n×m)^-s is given in a closed form as ((-1)^s×zeta(s)^2)/(2×gamma(s)) |+zeta(2s)/2

    • @OrangeFigure-wl3kp
      @OrangeFigure-wl3kp 3 หลายเดือนก่อน

      I think I'm going to call these type a function called the Di-sum function (because of its relation to the Di-gamma function) . It would look like a capital sigma that takes parameter s. Have a nice day with your answer gang 💪💪

    • @元兒醬
      @元兒醬 3 หลายเดือนก่อน

      @@OrangeFigure-wl3kp Correct thanks

  • @franksaved3893
    @franksaved3893 3 หลายเดือนก่อน

    Can we find the derivatives of cos_p and sin_p using the standard way like we do for the usual cos and sin and not the differential eq. definition?

  • @ameralhabsi7463
    @ameralhabsi7463 3 หลายเดือนก่อน +1

    Is there a missing negative sign in the exponent at th-cam.com/video/Nn5WadFKAew/w-d-xo.html ? (i.e the integrand r exp(-r^p)

  • @ЛевЯрков-е1ж
    @ЛевЯрков-е1ж 3 หลายเดือนก่อน

    wow thats brilliant

  • @gp-ht7ug
    @gp-ht7ug 3 หลายเดือนก่อน

    Very interesting
    Thank a lot

  • @endersteph
    @endersteph 3 หลายเดือนก่อน +3

    why is pi_2 not pi?

    • @thefirstavenger14
      @thefirstavenger14 3 หลายเดือนก่อน +3

      it's a fourth of pi

    • @rainerzufall42
      @rainerzufall42 3 หลายเดือนก่อน +4

      The list is wrong! It shows the area of the p-circle in the first quadrant (pi/4 for p=2), not the values of pi_p!

    • @thefirstavenger14
      @thefirstavenger14 3 หลายเดือนก่อน +1

      @@rainerzufall42 yes, you are correct.

    • @rainerzufall42
      @rainerzufall42 3 หลายเดือนก่อน +1

      @@thefirstavenger14 U2!

  • @vynxvfx
    @vynxvfx 3 หลายเดือนก่อน

    This is beautiful

  • @ethanbartiromo2888
    @ethanbartiromo2888 3 หลายเดือนก่อน

    Are we using the definition of the sinp and cosp to define the dynamical system, or are we using the dynamical system to define sinp and cosp? If the latter I would say that we didn’t really prove that x^p + y^p = 1, and if the former, we didn’t really prove that the functions sinp and cosp satisfy the system, so I’m confused, it seems like circular logic.

    • @ethanbartiromo2888
      @ethanbartiromo2888 3 หลายเดือนก่อน

      Also the pi_p values don’t seem right, if p = 2 value is the unit circle, then wouldn’t pi_2 = pi not pi/4 like we have there? Or does it have to do with the fact that we are restricting ourselves to the first quadrant? So we are taking the angle it takes to go halfway around the first quadrant which would be (2pi/4)/2

  • @chengningloong7691
    @chengningloong7691 3 หลายเดือนก่อน

    Wow wow wow

  • @travishayes6037
    @travishayes6037 3 หลายเดือนก่อน

    Are you shedding weight?

  • @guruone
    @guruone 3 หลายเดือนก่อน

    AsymptoticSum[(2 E^-(t x)^2)/Sqrt[\[Pi]] x/z/.t->n/z,{n,1,z},z->Infinity]