ℹ️ Skipped - page is already crawled
| Filter | Status | Condition | Details |
|---|---|---|---|
| HTTP status | PASS | download_http_code = 200 | HTTP 200 |
| Age cutoff | PASS | download_stamp > now() - 6 MONTH | 1.1 months ago |
| History drop | PASS | isNull(history_drop_reason) | No drop reason |
| Spam/ban | PASS | fh_dont_index != 1 AND ml_spam_score = 0 | ml_spam_score=0 |
| Canonical | PASS | meta_canonical IS NULL OR = '' OR = src_unparsed | Not set |
| Property | Value |
|---|---|
| URL | https://math.stackexchange.com/questions/127361/second-order-partial-derivatives-notation |
| Last Crawled | 2026-03-15 11:39:32 (1 month ago) |
| First Indexed | not set |
| HTTP Status Code | 200 |
| Meta Title | calculus - Second order partial derivatives - notation - Mathematics Stack Exchange |
| Meta Description | null |
| Meta Canonical | null |
| Boilerpipe Text | 4
$\begingroup$
I have seen both of these used, and people around me seem to disagree, so which one is correct: (first derivative with respect to x, then y):
(1) $$\frac{\partial }{\partial y}(\frac{\partial f}{\partial x}) = \frac{\partial^{2} f}{\partial x\partial y}$$
(2) $$\frac{\partial }{\partial y}(\frac{\partial f}{\partial x}) = \frac{\partial^{2} f}{\partial y\partial x}$$
and why? (reasons, history?)
asked
Apr 2, 2012 at 19:52
$\endgroup$
5
+50
$\begingroup$
$\def\part#1#2{{\partial#1\over\partial#2}}$
$\def\parts#1#2#3{{\partial^2#1\over\partial#2\,\partial#3}}$
On the left hand side of your equations, you have the symbol "$\part{\vphantom f}y\bigl(\part f x\bigr)"$.
By definition this is the partial derivative of the function $\part fx$ with respect to $y$.
So, upon encountering this symbol, you take the function $\part fx$ and then take its partial with respect to $y$. The natural notation of the type on the right hand side of your equations is the notation used in (2) of your post:
$$\tag{3}
\part{\vphantom f}y\Bigl(\part f x\Bigr)=\parts f y x.
$$
I will not surmise why this is the "natural" notation, but will point out that $(3)$ gives the adopted definition for the symbol $\parts f y x$ in
any
calculus/analysis text, or any other "credible" source, you'll find.
I emphasise here that $(3)$
defines
the symbol $\parts f y x$; that this sometimes gives an expression that equals $\parts f x y$ is irrelevant. (Of course, for certain functions, what you wrote in (1) would be correct; but its correctness would follow from the result of a theorem, not from the definition of the symbols.)
answered
Apr 8, 2012 at 17:32
$\endgroup$
2
1
$\begingroup$
The order is important when the function is not $C^2$. That is, the second derivatives (in relation to any combination of two variables) of $f$ are continuous functions. If the function is $C^2$ then it doesn't matter the order in which the variables appear.
This is a widely known result called Schwarz's Theorem, but it seems that there are other names for it. Check out for more in
http://en.wikipedia.org/wiki/Symmetry_of_partial_derivatives
under the "Clairaut's theorem" subtitle.
answered
Apr 2, 2012 at 20:03
$\endgroup$
11
0
$\begingroup$
here i uesd notation $f_{xy}$ and $f_{yx}$ for double derivative.\
There is some theorem on equality of $f_{xy}$ and $f_{yx}$.
Theorem : (Young's theorem)\
Let $f$ be a real function defined on non-empty open set $E$ subset of $R^{2}$. If $f_{x}$ and $f_{y}$ exist in some nbhd. of $(x,y)$ and are both differentiable at point $(x,y)$ with respect to $x$ and $y$ then $f_{xy}=f_{yx}$ at point $(x,y)$.
Theorem: (Schwartz's theorem)
Let $f:E\to R$ be a function such that its partial derivatives $f_{x},f_{y}$ and $f_{xy}$ exist and are continuous in a nbhd. of a point $(x,y)$ then $f_{yx}$ exist such that $f_{xy}=f_{yx}$.
Note: One can see that the converse of above theorem need not be true.
answered
Apr 8, 2012 at 8:51
$\endgroup$
0
$\begingroup$
I always saw the second : the last operation you made is derivating with respect Y and tha symbol appears in the same order .
In the other notation the order is inverse fxy it means the last operation you made is derivating with respect y.
But : if both fxy and fyx are defined at a neighborhood of a point and are continuous at the point their value is the same at the point.See :Mathematical Analysis , Tom .A. Apostol, Definition, 6-10
answered
Apr 8, 2012 at 10:32
$\endgroup$
1
You must
log in
to answer this question.
Start asking to get answers
Find the answer to your question by asking.
Ask question
Explore related questions
See similar questions with these tags. |
| Markdown | [Skip to main content](https://math.stackexchange.com/questions/127361/second-order-partial-derivatives-notation#content)
#### Stack Exchange Network
Stack Exchange network consists of 183 Q\&A communities including [Stack Overflow](https://stackoverflow.com/), the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
[Visit Stack Exchange](https://stackexchange.com/)
1. - [Tour Start here for a quick overview of the site](https://math.stackexchange.com/tour)
- [Help Center Detailed answers to any questions you might have](https://math.stackexchange.com/help)
- [Meta Discuss the workings and policies of this site](https://math.meta.stackexchange.com/)
- [About Us Learn more about Stack Overflow the company, and our products](https://stackoverflow.co/)
2. ### [current community](https://math.stackexchange.com/)
- [Mathematics](https://math.stackexchange.com/)
[help](https://math.stackexchange.com/help) [chat](https://chat.stackexchange.com/?tab=site&host=math.stackexchange.com)
- [Mathematics Meta](https://math.meta.stackexchange.com/)
### your communities
[Sign up](https://math.stackexchange.com/users/signup?ssrc=site_switcher&returnurl=https%3A%2F%2Fmath.stackexchange.com%2Fquestions%2F127361%2Fsecond-order-partial-derivatives-notation) or [log in](https://math.stackexchange.com/users/login?ssrc=site_switcher&returnurl=https%3A%2F%2Fmath.stackexchange.com%2Fquestions%2F127361%2Fsecond-order-partial-derivatives-notation) to customize your list.
### [more stack exchange communities](https://stackexchange.com/sites)
[company blog](https://stackoverflow.blog/)
3. [Log in](https://math.stackexchange.com/users/login?ssrc=head&returnurl=https%3A%2F%2Fmath.stackexchange.com%2Fquestions%2F127361%2Fsecond-order-partial-derivatives-notation)
4. [Sign up](https://math.stackexchange.com/users/signup?ssrc=head&returnurl=https%3A%2F%2Fmath.stackexchange.com%2Fquestions%2F127361%2Fsecond-order-partial-derivatives-notation)
[](https://math.stackexchange.com/)
1. 1. [Home](https://math.stackexchange.com/)
2. [Questions](https://math.stackexchange.com/questions)
3. [Unanswered](https://math.stackexchange.com/unanswered)
4. [AI Assist](https://stackoverflow.com/ai-assist)
5. [Tags](https://math.stackexchange.com/tags)
6. [Chat](https://chat.stackexchange.com/)
7. [Users](https://math.stackexchange.com/users)
2. Stack Internal
Stack Overflow for Teams is now called **Stack Internal**. Bring the best of human thought and AI automation together at your work.
[Try for free](https://stackoverflowteams.com/teams/create/free/?utm_medium=referral&utm_source=math-community&utm_campaign=side-bar&utm_content=explore-teams) [Learn more](https://stackoverflow.co/internal/?utm_medium=referral&utm_source=math-community&utm_campaign=side-bar&utm_content=explore-teams)
3. [Stack Internal]()
4. Bring the best of human thought and AI automation together at your work. [Learn more](https://stackoverflow.co/internal/?utm_medium=referral&utm_source=math-community&utm_campaign=side-bar&utm_content=explore-teams-compact)
**Stack Internal**
Knowledge at work
Bring the best of human thought and AI automation together at your work.
[Explore Stack Internal](https://stackoverflow.co/internal/?utm_medium=referral&utm_source=math-community&utm_campaign=side-bar&utm_content=explore-teams-compact-popover)
# [Second order partial derivatives - notation](https://math.stackexchange.com/questions/127361/second-order-partial-derivatives-notation)
[Ask Question](https://math.stackexchange.com/questions/ask)
Asked
13 years, 11 months ago
Modified [13 years, 11 months ago](https://math.stackexchange.com/questions/127361/second-order-partial-derivatives-notation?lastactivity "2012-04-08 17:32:24Z")
Viewed 5k times
4
\$\\begingroup\$
I have seen both of these used, and people around me seem to disagree, so which one is correct: (first derivative with respect to x, then y):
(1) \$\$\\frac{\\partial }{\\partial y}(\\frac{\\partial f}{\\partial x}) = \\frac{\\partial^{2} f}{\\partial x\\partial y}\$\$
(2) \$\$\\frac{\\partial }{\\partial y}(\\frac{\\partial f}{\\partial x}) = \\frac{\\partial^{2} f}{\\partial y\\partial x}\$\$
and why? (reasons, history?)
- [calculus](https://math.stackexchange.com/questions/tagged/calculus "show questions tagged 'calculus'")
- [multivariable-calculus](https://math.stackexchange.com/questions/tagged/multivariable-calculus "show questions tagged 'multivariable-calculus'")
- [notation](https://math.stackexchange.com/questions/tagged/notation "show questions tagged 'notation'")
- [derivatives](https://math.stackexchange.com/questions/tagged/derivatives "show questions tagged 'derivatives'")
[Share](https://math.stackexchange.com/q/127361 "Short permalink to this question")
Cite
Follow
[edited Apr 4, 2012 at 1:35](https://math.stackexchange.com/posts/127361/revisions "show all edits to this post")
asked Apr 2, 2012 at 19:52
[](https://math.stackexchange.com/users/26188/thomas)
[Thomas](https://math.stackexchange.com/users/26188/thomas)
44\.9k1313 gold badges7777 silver badges140140 bronze badges
\$\\endgroup\$
[Add a comment](https://math.stackexchange.com/questions/127361/second-order-partial-derivatives-notation "Use comments to ask for more information or suggest improvements. Avoid answering questions in comments.") \|
## 4 Answers 4
Sorted by:
[Reset to default](https://math.stackexchange.com/questions/127361/second-order-partial-derivatives-notation?answertab=scoredesc#tab-top)
5
\+50
\$\\begingroup\$
\$\\def\\part\#1\#2{{\\partial\#1\\over\\partial\#2}}\$ \$\\def\\parts\#1\#2\#3{{\\partial^2\#1\\over\\partial\#2\\,\\partial\#3}}\$
On the left hand side of your equations, you have the symbol "\$\\part{\\vphantom f}y\\bigl(\\part f x\\bigr)"\$. By definition this is the partial derivative of the function \$\\part fx\$ with respect to \$y\$. So, upon encountering this symbol, you take the function \$\\part fx\$ and then take its partial with respect to \$y\$. The natural notation of the type on the right hand side of your equations is the notation used in (2) of your post: \$\$\\tag{3} \\part{\\vphantom f}y\\Bigl(\\part f x\\Bigr)=\\parts f y x. \$\$
I will not surmise why this is the "natural" notation, but will point out that \$(3)\$ gives the adopted definition for the symbol \$\\parts f y x\$ in *any* calculus/analysis text, or any other "credible" source, you'll find.
I emphasise here that \$(3)\$ *defines* the symbol \$\\parts f y x\$; that this sometimes gives an expression that equals \$\\parts f x y\$ is irrelevant. (Of course, for certain functions, what you wrote in (1) would be correct; but its correctness would follow from the result of a theorem, not from the definition of the symbols.)
[Share](https://math.stackexchange.com/a/129358 "Short permalink to this answer")
Cite
Follow
answered Apr 8, 2012 at 17:32
[](https://math.stackexchange.com/users/18986/david-mitra)
[David Mitra](https://math.stackexchange.com/users/18986/david-mitra)
76\.8k1111 gold badges149149 silver badges205205 bronze badges
\$\\endgroup\$
2
- \$\\begingroup\$ Ok, so I think that this was the answer that I was looking for. I had seen the other notation in a business calculus book and they were being pretty consistent about it. I had also asked a Ph.D. student (with specialty in analysis) and he said that he used the first (1) notation. Can you think of any reason why someone might want the other notation? (option (1)) \$\\endgroup\$
Thomas
– [Thomas](https://math.stackexchange.com/users/26188/thomas "44,901 reputation")
2012-04-08 23:21:11 +00:00
Commented Apr 8, 2012 at 23:21
- 1
\$\\begingroup\$ @Thomas Most, if not all, texts (including [Paul's online notes](http://tutorial.math.lamar.edu/Classes/CalcIII/HighOrderPartialDerivs.aspx), Stewart's Calculus, Apostol's Calculus, etc...) I've seen use (2) as the definition. It does seem natural to me since you can "multiply the left side" to get the right side. I can think of no reason to prefer the other. In any case, the symbol does need a definition, as the two expressions can give different results for not so nice functions. For example, there are differentiable functions with unequal mixed derivatives. \$\\endgroup\$
David Mitra
– [David Mitra](https://math.stackexchange.com/users/18986/david-mitra "76,753 reputation")
2012-04-08 23:35:50 +00:00
Commented Apr 8, 2012 at 23:35
[Add a comment](https://math.stackexchange.com/questions/127361/second-order-partial-derivatives-notation "Use comments to ask for more information or suggest improvements. Avoid comments like “+1” or “thanks”.") \|
1
\$\\begingroup\$
The order is important when the function is not \$C^2\$. That is, the second derivatives (in relation to any combination of two variables) of \$f\$ are continuous functions. If the function is \$C^2\$ then it doesn't matter the order in which the variables appear.
This is a widely known result called Schwarz's Theorem, but it seems that there are other names for it. Check out for more in <http://en.wikipedia.org/wiki/Symmetry_of_partial_derivatives> under the "Clairaut's theorem" subtitle.
[Share](https://math.stackexchange.com/a/127369 "Short permalink to this answer")
Cite
Follow
answered Apr 2, 2012 at 20:03
[](https://math.stackexchange.com/users/27071/marra)
[Marra](https://math.stackexchange.com/users/27071/marra)
5,0632929 silver badges6868 bronze badges
\$\\endgroup\$
11
- \$\\begingroup\$ please explain all difference between all the cases and how come they are different? \$\\endgroup\$
Victor
– [Victor](https://math.stackexchange.com/users/12796/victor "8,616 reputation")
2012-04-02 20:04:28 +00:00
Commented Apr 2, 2012 at 20:04
- 1
\$\\begingroup\$ @Victor Have you taken a multi variable calculus course? If so, it should be clear that they will infact be different for some classes of functions and whatnot\! \$\\endgroup\$
user21436
– user21436
2012-04-02 20:08:00 +00:00
Commented Apr 2, 2012 at 20:08
- \$\\begingroup\$ @KannappanSampath - no, never taken it before. \$\\endgroup\$
Victor
– [Victor](https://math.stackexchange.com/users/12796/victor "8,616 reputation")
2012-04-02 20:10:09 +00:00
Commented Apr 2, 2012 at 20:10
- 1
\$\\begingroup\$ @Victor Then I suggest you do it. :P \$\\endgroup\$
user21436
– user21436
2012-04-02 20:10:47 +00:00
Commented Apr 2, 2012 at 20:10
- \$\\begingroup\$ Hi, thanks for the response, but I was asking about which notation is correct. \$\\endgroup\$
Thomas
– [Thomas](https://math.stackexchange.com/users/26188/thomas "44,901 reputation")
2012-04-02 20:17:15 +00:00
Commented Apr 2, 2012 at 20:17
\| [Show **6** more comments](https://math.stackexchange.com/questions/127361/second-order-partial-derivatives-notation "Expand to show all comments on this post")
0
\$\\begingroup\$
here i uesd notation \$f\_{xy}\$ and \$f\_{yx}\$ for double derivative.\\ There is some theorem on equality of \$f\_{xy}\$ and \$f\_{yx}\$. Theorem : (Young's theorem)\\ Let \$f\$ be a real function defined on non-empty open set \$E\$ subset of \$R^{2}\$. If \$f\_{x}\$ and \$f\_{y}\$ exist in some nbhd. of \$(x,y)\$ and are both differentiable at point \$(x,y)\$ with respect to \$x\$ and \$y\$ then \$f\_{xy}=f\_{yx}\$ at point \$(x,y)\$.
Theorem: (Schwartz's theorem) Let \$f:E\\to R\$ be a function such that its partial derivatives \$f\_{x},f\_{y}\$ and \$f\_{xy}\$ exist and are continuous in a nbhd. of a point \$(x,y)\$ then \$f\_{yx}\$ exist such that \$f\_{xy}=f\_{yx}\$.
Note: One can see that the converse of above theorem need not be true.
[Share](https://math.stackexchange.com/a/129248 "Short permalink to this answer")
Cite
Follow
answered Apr 8, 2012 at 8:51
[](https://math.stackexchange.com/users/27579/kns)
[Kns](https://math.stackexchange.com/users/27579/kns)
3,35322 gold badges3232 silver badges4343 bronze badges
\$\\endgroup\$
[Add a comment](https://math.stackexchange.com/questions/127361/second-order-partial-derivatives-notation "Use comments to ask for more information or suggest improvements. Avoid comments like “+1” or “thanks”.") \|
0
\$\\begingroup\$
I always saw the second : the last operation you made is derivating with respect Y and tha symbol appears in the same order . In the other notation the order is inverse fxy it means the last operation you made is derivating with respect y. But : if both fxy and fyx are defined at a neighborhood of a point and are continuous at the point their value is the same at the point.See :Mathematical Analysis , Tom .A. Apostol, Definition, 6-10
[Share](https://math.stackexchange.com/a/129264 "Short permalink to this answer")
Cite
Follow
[edited Apr 8, 2012 at 11:01](https://math.stackexchange.com/posts/129264/revisions "show all edits to this post")
answered Apr 8, 2012 at 10:32
[](https://math.stackexchange.com/users/20863/alpha-debi)
[alpha.Debi](https://math.stackexchange.com/users/20863/alpha-debi)
1,09477 silver badges77 bronze badges
\$\\endgroup\$
1
- \$\\begingroup\$ See :Mathematical Analysis , Tom .A. Apostol, Definition, 6-10 \$\\endgroup\$
alpha.Debi
– [alpha.Debi](https://math.stackexchange.com/users/20863/alpha-debi "1,094 reputation")
2012-04-08 11:01:03 +00:00
Commented Apr 8, 2012 at 11:01
[Add a comment](https://math.stackexchange.com/questions/127361/second-order-partial-derivatives-notation "Use comments to ask for more information or suggest improvements. Avoid comments like “+1” or “thanks”.") \|
## You must [log in](https://math.stackexchange.com/users/login?ssrc=question_page&returnurl=https%3A%2F%2Fmath.stackexchange.com%2Fquestions%2F127361) to answer this question.
Start asking to get answers
Find the answer to your question by asking.
[Ask question](https://math.stackexchange.com/questions/ask)
Explore related questions
- [calculus](https://math.stackexchange.com/questions/tagged/calculus "show questions tagged 'calculus'")
- [multivariable-calculus](https://math.stackexchange.com/questions/tagged/multivariable-calculus "show questions tagged 'multivariable-calculus'")
- [notation](https://math.stackexchange.com/questions/tagged/notation "show questions tagged 'notation'")
- [derivatives](https://math.stackexchange.com/questions/tagged/derivatives "show questions tagged 'derivatives'")
See similar questions with these tags.
- Featured on Meta
- [Logo updates to Stack Overflow's visual identity](https://meta.stackexchange.com/questions/417394/logo-updates-to-stack-overflows-visual-identity)
#### Related
[18](https://math.stackexchange.com/questions/320228/the-notation-for-partial-derivatives "Question score (upvotes - downvotes)")
[The notation for partial derivatives](https://math.stackexchange.com/questions/320228/the-notation-for-partial-derivatives)
[2](https://math.stackexchange.com/questions/1090199/tensor-calculus-second-order-derivatives "Question score (upvotes - downvotes)")
[Tensor Calculus Second Order Derivatives](https://math.stackexchange.com/questions/1090199/tensor-calculus-second-order-derivatives)
[0](https://math.stackexchange.com/questions/1632931/notation-for-higher-order-partial-derivatives-in-leibniz "Question score (upvotes - downvotes)")
[Notation for higher order partial derivatives in Leibniz](https://math.stackexchange.com/questions/1632931/notation-for-higher-order-partial-derivatives-in-leibniz)
[38](https://math.stackexchange.com/questions/2200982/notation-for-partial-derivatives "Question score (upvotes - downvotes)")
[Notation for partial derivatives](https://math.stackexchange.com/questions/2200982/notation-for-partial-derivatives)
[0](https://math.stackexchange.com/questions/3051184/second-order-partial-derivative-9 "Question score (upvotes - downvotes)")
[Second order partial derivative 9](https://math.stackexchange.com/questions/3051184/second-order-partial-derivative-9)
[0](https://math.stackexchange.com/questions/3510345/notation-of-the-partial-derivative-of-a-composed-function "Question score (upvotes - downvotes)")
[Notation of the partial derivative of a composed function](https://math.stackexchange.com/questions/3510345/notation-of-the-partial-derivative-of-a-composed-function)
[2](https://math.stackexchange.com/questions/3590482/counterexample-second-order-mixed-partial-derivatives "Question score (upvotes - downvotes)")
[Counterexample second order mixed partial derivatives](https://math.stackexchange.com/questions/3590482/counterexample-second-order-mixed-partial-derivatives)
[4](https://math.stackexchange.com/questions/3972110/equation-of-partial-derivatives "Question score (upvotes - downvotes)")
[Equation of Partial derivatives](https://math.stackexchange.com/questions/3972110/equation-of-partial-derivatives)
[0](https://math.stackexchange.com/questions/4108781/question-regarding-partial-derivative "Question score (upvotes - downvotes)")
[Question regarding partial derivative](https://math.stackexchange.com/questions/4108781/question-regarding-partial-derivative)
#### [Hot Network Questions](https://stackexchange.com/questions?tab=hot)
- [Can the internal energy be written as function of temperature, pressure and mole numbers?](https://physics.stackexchange.com/questions/870107/can-the-internal-energy-be-written-as-function-of-temperature-pressure-and-mole)
- [Looking for an isomorphism between a matrix group and a dihedral group](https://math.stackexchange.com/questions/5128685/looking-for-an-isomorphism-between-a-matrix-group-and-a-dihedral-group)
- [Approximating Riemann zeros via phase jumps along cumulative prime sums](https://mathoverflow.net/questions/509082/approximating-riemann-zeros-via-phase-jumps-along-cumulative-prime-sums)
- [Why didn't the USA want the Confederacy to secede?](https://history.stackexchange.com/questions/79919/why-didnt-the-usa-want-the-confederacy-to-secede)
- [Why is the procedure in the paper that uses cross-validation instead of hypothesis test on reduced rank regression feasible?](https://stats.stackexchange.com/questions/675185/why-is-the-procedure-in-the-paper-that-uses-cross-validation-instead-of-hypothes)
- [Find the other angles of a triangle in which the centroid is equidistant from the circumcircle and the incircle .](https://math.stackexchange.com/questions/5128497/find-the-other-angles-of-a-triangle-in-which-the-centroid-is-equidistant-from-th)
- [Can QGIS display GeoTIFF (or COG) with Raster Attribute Table embedded in TIFF header?](https://gis.stackexchange.com/questions/500270/can-qgis-display-geotiff-or-cog-with-raster-attribute-table-embedded-in-tiff-h)
- [What makes y = 0 and y = 1 different in \`Table\[x + y /. x -\> 420, {x, 3}\]\`?](https://mathematica.stackexchange.com/questions/318997/what-makes-y-0-and-y-1-different-in-tablex-y-x-420-x-3)
- [Count spaces in LaTeX](https://tex.stackexchange.com/questions/760770/count-spaces-in-latex)
- [If the Holy Spirit indwells all believers, how should Romans 8:9 be interpreted in light of prayers for the Holy Spirit to come?](https://hermeneutics.stackexchange.com/questions/115312/if-the-holy-spirit-indwells-all-believers-how-should-romans-89-be-interpreted)
- [What's the difference between these two versions of Little Nightmares: Enhanced Edition?](https://gaming.stackexchange.com/questions/418159/whats-the-difference-between-these-two-versions-of-little-nightmares-enhanced)
- [What happens when a defendant pleads neither innocent nor guilty?](https://law.stackexchange.com/questions/114391/what-happens-when-a-defendant-pleads-neither-innocent-nor-guilty)
- ["The eggs are the cheapest item/items” Singular or plural?](https://english.stackexchange.com/questions/639205/the-eggs-are-the-cheapest-item-items-singular-or-plural)
- [Linearity of the voltage–current relationship of an ideal capacitor with non-zero initial conditions](https://electronics.stackexchange.com/questions/766816/linearity-of-the-voltage-current-relationship-of-an-ideal-capacitor-with-non-zer)
- [How should I compare two survival prediction models when a predictor’s definition drifts over time?](https://stats.stackexchange.com/questions/675174/how-should-i-compare-two-survival-prediction-models-when-a-predictor-s-definitio)
- [Unit lattice in Galois closure, embeddings from subfields](https://mathoverflow.net/questions/509044/unit-lattice-in-galois-closure-embeddings-from-subfields)
- [Is Russell's invocation of "vicious circles" (re: predicativity) self-defeating?](https://philosophy.stackexchange.com/questions/137019/is-russells-invocation-of-vicious-circles-re-predicativity-self-defeating)
- [How does Validation work for Time-Series Forecasting?](https://datascience.stackexchange.com/questions/137847/how-does-validation-work-for-time-series-forecasting)
- [Teaching - letting students with prior experience attend a course for beginners](https://academia.stackexchange.com/questions/226187/teaching-letting-students-with-prior-experience-attend-a-course-for-beginners)
- [Problem with edge detection of I2C SCL line with FPGA](https://electronics.stackexchange.com/questions/766910/problem-with-edge-detection-of-i2c-scl-line-with-fpga)
- [What dedicated syntax has been used for \`fold\`/\`reduce\`?](https://langdev.stackexchange.com/questions/4737/what-dedicated-syntax-has-been-used-for-fold-reduce)
- [Problem with the numeric core example in Blue Prince](https://gaming.stackexchange.com/questions/418162/problem-with-the-numeric-core-example-in-blue-prince)
- [Arbitrary precision calculator for π in Python using only integer arithmetic](https://codereview.stackexchange.com/questions/301605/arbitrary-precision-calculator-for-%CF%80-in-python-using-only-integer-arithmetic)
- [What do I do? I am underqualified for my job](https://workplace.stackexchange.com/questions/203272/what-do-i-do-i-am-underqualified-for-my-job)
[more hot questions](https://math.stackexchange.com/questions/127361/second-order-partial-derivatives-notation)
[Question feed](https://math.stackexchange.com/feeds/question/127361 "Feed of this question and its answers")
# Subscribe to RSS
Question feed
To subscribe to this RSS feed, copy and paste this URL into your RSS reader.

##### [Mathematics](https://math.stackexchange.com/)
- [Tour](https://math.stackexchange.com/tour)
- [Help](https://math.stackexchange.com/help)
- [Chat](https://chat.stackexchange.com/?tab=site&host=math.stackexchange.com)
- [Contact](https://math.stackexchange.com/contact)
- [Feedback](https://math.meta.stackexchange.com/)
##### [Company](https://stackoverflow.co/)
- [Stack Overflow](https://stackoverflow.com/)
- [Stack Internal](https://stackoverflow.co/internal/)
- [Stack Data Licensing](https://stackoverflow.co/data-licensing/)
- [Stack Ads](https://stackoverflow.co/advertising/)
- [About](https://stackoverflow.co/)
- [Press](https://stackoverflow.co/company/press/)
- [Legal](https://stackoverflow.com/legal)
- [Privacy Policy](https://stackoverflow.com/legal/privacy-policy)
- [Terms of Service](https://stackoverflow.com/legal/terms-of-service/public)
- Cookie Settings
- [Cookie Policy](https://policies.stackoverflow.co/stack-overflow/cookie-policy)
##### [Stack Exchange Network](https://stackexchange.com/)
- [Technology](https://stackexchange.com/sites#technology)
- [Culture & recreation](https://stackexchange.com/sites#culturerecreation)
- [Life & arts](https://stackexchange.com/sites#lifearts)
- [Science](https://stackexchange.com/sites#science)
- [Professional](https://stackexchange.com/sites#professional)
- [Business](https://stackexchange.com/sites#business)
- [API](https://api.stackexchange.com/)
- [Data](https://data.stackexchange.com/)
- [Blog](https://stackoverflow.blog/?blb=1)
- [Facebook](https://www.facebook.com/officialstackoverflow/)
- [Twitter](https://twitter.com/stackoverflow)
- [LinkedIn](https://linkedin.com/company/stack-overflow)
- [Instagram](https://www.instagram.com/thestackoverflow)
Site design / logo © 2026 Stack Exchange Inc; user contributions licensed under [CC BY-SA](https://stackoverflow.com/help/licensing) . rev 2026.3.13.41005 |
| Readable Markdown | 4
\$\\begingroup\$
I have seen both of these used, and people around me seem to disagree, so which one is correct: (first derivative with respect to x, then y):
(1) \$\$\\frac{\\partial }{\\partial y}(\\frac{\\partial f}{\\partial x}) = \\frac{\\partial^{2} f}{\\partial x\\partial y}\$\$
(2) \$\$\\frac{\\partial }{\\partial y}(\\frac{\\partial f}{\\partial x}) = \\frac{\\partial^{2} f}{\\partial y\\partial x}\$\$
and why? (reasons, history?)
asked Apr 2, 2012 at 19:52
[](https://math.stackexchange.com/users/26188/thomas)
\$\\endgroup\$
5
\+50
\$\\begingroup\$
\$\\def\\part\#1\#2{{\\partial\#1\\over\\partial\#2}}\$ \$\\def\\parts\#1\#2\#3{{\\partial^2\#1\\over\\partial\#2\\,\\partial\#3}}\$
On the left hand side of your equations, you have the symbol "\$\\part{\\vphantom f}y\\bigl(\\part f x\\bigr)"\$. By definition this is the partial derivative of the function \$\\part fx\$ with respect to \$y\$. So, upon encountering this symbol, you take the function \$\\part fx\$ and then take its partial with respect to \$y\$. The natural notation of the type on the right hand side of your equations is the notation used in (2) of your post: \$\$\\tag{3} \\part{\\vphantom f}y\\Bigl(\\part f x\\Bigr)=\\parts f y x. \$\$
I will not surmise why this is the "natural" notation, but will point out that \$(3)\$ gives the adopted definition for the symbol \$\\parts f y x\$ in *any* calculus/analysis text, or any other "credible" source, you'll find.
I emphasise here that \$(3)\$ *defines* the symbol \$\\parts f y x\$; that this sometimes gives an expression that equals \$\\parts f x y\$ is irrelevant. (Of course, for certain functions, what you wrote in (1) would be correct; but its correctness would follow from the result of a theorem, not from the definition of the symbols.)
answered Apr 8, 2012 at 17:32
[](https://math.stackexchange.com/users/18986/david-mitra)
\$\\endgroup\$
2
1
\$\\begingroup\$
The order is important when the function is not \$C^2\$. That is, the second derivatives (in relation to any combination of two variables) of \$f\$ are continuous functions. If the function is \$C^2\$ then it doesn't matter the order in which the variables appear.
This is a widely known result called Schwarz's Theorem, but it seems that there are other names for it. Check out for more in <http://en.wikipedia.org/wiki/Symmetry_of_partial_derivatives> under the "Clairaut's theorem" subtitle.
answered Apr 2, 2012 at 20:03
[](https://math.stackexchange.com/users/27071/marra)
\$\\endgroup\$
11
0
\$\\begingroup\$
here i uesd notation \$f\_{xy}\$ and \$f\_{yx}\$ for double derivative.\\ There is some theorem on equality of \$f\_{xy}\$ and \$f\_{yx}\$. Theorem : (Young's theorem)\\ Let \$f\$ be a real function defined on non-empty open set \$E\$ subset of \$R^{2}\$. If \$f\_{x}\$ and \$f\_{y}\$ exist in some nbhd. of \$(x,y)\$ and are both differentiable at point \$(x,y)\$ with respect to \$x\$ and \$y\$ then \$f\_{xy}=f\_{yx}\$ at point \$(x,y)\$.
Theorem: (Schwartz's theorem) Let \$f:E\\to R\$ be a function such that its partial derivatives \$f\_{x},f\_{y}\$ and \$f\_{xy}\$ exist and are continuous in a nbhd. of a point \$(x,y)\$ then \$f\_{yx}\$ exist such that \$f\_{xy}=f\_{yx}\$.
Note: One can see that the converse of above theorem need not be true.
answered Apr 8, 2012 at 8:51
[](https://math.stackexchange.com/users/27579/kns)
\$\\endgroup\$
0
\$\\begingroup\$
I always saw the second : the last operation you made is derivating with respect Y and tha symbol appears in the same order . In the other notation the order is inverse fxy it means the last operation you made is derivating with respect y. But : if both fxy and fyx are defined at a neighborhood of a point and are continuous at the point their value is the same at the point.See :Mathematical Analysis , Tom .A. Apostol, Definition, 6-10
answered Apr 8, 2012 at 10:32
[](https://math.stackexchange.com/users/20863/alpha-debi)
\$\\endgroup\$
1
## You must [log in](https://math.stackexchange.com/users/login?ssrc=question_page&returnurl=https%3A%2F%2Fmath.stackexchange.com%2Fquestions%2F127361) to answer this question.
Start asking to get answers
Find the answer to your question by asking.
[Ask question](https://math.stackexchange.com/questions/ask)
Explore related questions
See similar questions with these tags. |
| Shard | 18 (laksa) |
| Root Hash | 8045678284012640218 |
| Unparsed URL | com,stackexchange!math,/questions/127361/second-order-partial-derivatives-notation s443 |