The proof of Young's inequality is clean and swift, though by construction. Construction is perhaps the way of mathematicians to give a clean proof, but it's not for leaners to deepen their understanding. However, Young's inequality isn't the new knowledge here, and the construction uses only very common concepts. This construction is of the bright side.
By construction also saves time! If you remember the starting outline of a proof by construction, you can prove it yourself again in the future, better than memorizing the results themselves.
Thanks so much for the video. I just have one question. In the proof of Young's inequality. How can we justify that lambda reaches the values 0 and 1?
Young's inequality also follows from the weighted AM-GM inequality. Let x = a^p, y = b^q, u = 1/p, v = 1/q; we have u, v > 0 and u + v = 1. Apply AM-GM with u and v as weights for the elements x and y. Then x^u y^v
Hi, thank you so much for your video! I am wondering if you could add a video on proving this Holder's inequality on functions defined on measure space? I really have problems understanding what exactly does it mean to have functions defined on an abstract measure space. Is that the measurable function mapping X from abstract measure space to real-valued space, or does it mean a function like L(μ)? I am very puzzled why the x, y seems are just variable defined on R can be substituted by |X| |Y| and the inequality still holds. I hope my question makes sense! thank you so much! Also, in our lecture note, the holder's inequality is proved using convexity inequality, are convexity inequality and Yong's inequality somehow connected?
Thanks again for putting this together in a clear way. Perhaps two ideas for future series could be "Convex Sets" and "Convex Analysis" ...
On my To-Do-List :)
So cool that you are making so many videos on functional analysis.
The proof of Young's inequality is clean and swift, though by construction. Construction is perhaps the way of mathematicians to give a clean proof, but it's not for leaners to deepen their understanding. However, Young's inequality isn't the new knowledge here, and the construction uses only very common concepts. This construction is of the bright side.
By construction also saves time! If you remember the starting outline of a proof by construction, you can prove it yourself again in the future, better than memorizing the results themselves.
Fantastic proof presentation.
The two proofs were outstanding
I saw an exercise to prove young’s inequality in a book. Consider the graph y=x^{p-1} and the line x=a,y=b.
Very good explanation, thank you!
Glad you enjoyed it!
Thanks so much for the video. I just have one question.
In the proof of Young's inequality. How can we justify that lambda reaches the values 0 and 1?
Thanks for the question. Is that even needed here?
@@brightsideofmaths Ouhh thanks thanks, It is not needed. Now I see it 👌.
Young's inequality also follows from the weighted AM-GM inequality.
Let x = a^p, y = b^q, u = 1/p, v = 1/q; we have u, v > 0 and u + v = 1. Apply AM-GM with u and v as weights for the elements x and y. Then x^u y^v
Great videos! I love this channel
Thanks a lot it helps a lot, you said you use obs to record the videos but what about to writes the math exercises? Any drawing program?
LaTeX :)
Hi, thank you so much for your video! I am wondering if you could add a video on proving this Holder's inequality on functions defined on measure space? I really have problems understanding what exactly does it mean to have functions defined on an abstract measure space. Is that the measurable function mapping X from abstract measure space to real-valued space, or does it mean a function like L(μ)? I am very puzzled why the x, y seems are just variable defined on R can be substituted by |X| |Y| and the inequality still holds. I hope my question makes sense! thank you so much! Also, in our lecture note, the holder's inequality is proved using convexity inequality, are convexity inequality and Yong's inequality somehow connected?
The ideas stay the same but you are completely right: I should do a video about these abstract concepts!
@@brightsideofmaths Thank you so much! That would be super helpful !