🕷️ Crawler Inspector

URL Lookup

Direct Parameter Lookup

Raw Queries and Responses

1. Shard Calculation

Query:
Response:
Calculated Shard: 18 (from laksa147)

2. Crawled Status Check

Query:
Response:

3. Robots.txt Check

Query:
Response:

4. Spam/Ban Check

Query:
Response:

5. Seen Status Check

ℹ️ Skipped - page is already crawled

đź“„
INDEXABLE
âś…
CRAWLED
1 month ago
🤖
ROBOTS ALLOWED

Page Info Filters

FilterStatusConditionDetails
HTTP statusPASSdownload_http_code = 200HTTP 200
Age cutoffPASSdownload_stamp > now() - 6 MONTH1.1 months ago
History dropPASSisNull(history_drop_reason)No drop reason
Spam/banPASSfh_dont_index != 1 AND ml_spam_score = 0ml_spam_score=0
CanonicalPASSmeta_canonical IS NULL OR = '' OR = src_unparsedNot set

Page Details

PropertyValue
URLhttps://math.stackexchange.com/questions/127361/second-order-partial-derivatives-notation
Last Crawled2026-03-15 11:39:32 (1 month ago)
First Indexednot set
HTTP Status Code200
Meta Titlecalculus - Second order partial derivatives - notation - Mathematics Stack Exchange
Meta Descriptionnull
Meta Canonicalnull
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) [![Mathematics](https://math.stackexchange.com/Content/Sites/math/Img/logo.svg?v=4a36350d1199)](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 [![Thomas's user avatar](https://www.gravatar.com/avatar/e55135a3fbd2d22f1bd86f34cec13d3c?s=64&d=identicon&r=PG)](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 [![David Mitra's user avatar](https://i.sstatic.net/vJm8f.png?s=64)](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 [![Marra's user avatar](https://i.sstatic.net/bjgAJ.jpg?s=64)](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 [![Kns's user avatar](https://www.gravatar.com/avatar/1579adfb80a078396b9688d8aa6b1039?s=64&d=identicon&r=PG)](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 [![alpha.Debi's user avatar](https://www.gravatar.com/avatar/9863491b93c64d5849391d09bcb088f8?s=64&d=identicon&r=PG)](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. ![](https://math.stackexchange.com/posts/127361/ivc/ee06?prg=ef2684fe-58b1-437e-b5f0-df5d21822ba3) ##### [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 [![Thomas's user avatar](https://www.gravatar.com/avatar/e55135a3fbd2d22f1bd86f34cec13d3c?s=64&d=identicon&r=PG)](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 [![David Mitra's user avatar](https://i.sstatic.net/vJm8f.png?s=64)](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 [![Marra's user avatar](https://i.sstatic.net/bjgAJ.jpg?s=64)](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 [![Kns's user avatar](https://www.gravatar.com/avatar/1579adfb80a078396b9688d8aa6b1039?s=64&d=identicon&r=PG)](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 [![alpha.Debi's user avatar](https://www.gravatar.com/avatar/9863491b93c64d5849391d09bcb088f8?s=64&d=identicon&r=PG)](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.
Shard18 (laksa)
Root Hash8045678284012640218
Unparsed URLcom,stackexchange!math,/questions/127361/second-order-partial-derivatives-notation s443