This is the best proof of Clairaut's theorem on equality of mixed partials that I have ever thought up. And I bet it's the best proof of the theorem you'll ever see!
I'll prove the 2-variable version, but the generalization to $n$-variables is obvious.
Clairaut's Theorem: Suppose $f$ is a real-valued function of two variables $x,y$ and $f(x,y)$ is defined on an open subset $U$ of $\mathbb{R}^2$. Suppose further that both the second-order mixed partial derivatives $\partial_x\partial_y f(x,y)$ and $\partial_y\partial_x f(x,y)$ exist and are continuous on $U$. Then, we have: $$\partial_x\partial_y f = \partial_y\partial_x f$$ on all of $U$.
Showing posts with label calculus. Show all posts
Showing posts with label calculus. Show all posts
Subscribe to:
Posts (Atom)
Let's Read: Neuropath (Bakker, 2009)
Neuropath (Bakker 2009) is a dramatic demonstration of the eliminative materialism worldview of the author R. Scott Bakker. It's very b...
-
https://dailyparasite.blogspot.com/2020/04/armillifer-armillatus.html For a multistage parasite, it usually treats its final host well, bu...
-
Descartes and Spinoza are two 17th century philosophers. Descartes's philosophy is the one that's shaped how people think the world ...
-
Neuropath (Bakker 2009) is a dramatic demonstration of the eliminative materialism worldview of the author R. Scott Bakker. It's very b...