View source for Osgood's lemma

In mathematics, '''Osgood's lemma''', introduced by {{harvs|txt|first=William Fogg |last=Osgood|year=1899}}, is a proposition in [[Complex analysis|complex analysis]].  It states that a [[Continuous function|continuous function]] of several complex variables that is [[Holomorphic function|holomorphic]] in each variable separately is holomorphic. The assumption that the function is continuous can be dropped, but that form of the lemma is much harder to prove and is known as Hartogs' theorem.
There is no analogue of this result for real variables. If we assume that a function <math>f:\mathbb{R}^n\to\mathbb{R}</math> is globally continuous and separately differentiable on each variable (all partial derivatives exist everywhere), it is not true that <math>f</math> will necessarily be differentiable. A counterexample in two dimensions is given by

<math>f(x,y)=\dfrac{2x^2y+y^3}{x^2+y^2}.</math>

If in addition we define <math>f(0,0)=0</math>, this function is everywhere continuous and has well-defined partial derivatives in <math>x</math> and <math>y</math> everywhere (also at the origin), but is not differentiable at the origin.

==References==
*{{Citation | last1=Osgood | first1=William F. |  title=Note über analytische Functionen mehrerer Veränderlichen | publisher=Springer Berlin / Heidelberg | doi=10.1007/BF01476172 | year=1899 | journal=[[Mathematische Annalen]] | issn=0025-5831 | volume=52 | pages=462–464| url=https://zenodo.org/record/1672740/files/article.pdf }}
*{{cite book |isbn=978-0-8218-2165-7|title=Analytic Functions of Several Complex Variables|last1=Gunning|first1=Robert Clifford|last2=Rossi|first2=Hugo|year=2009|url={{Google books|title=Analytic Functions of Several Complex Variables|wsqFAwAAQBAJ|page=2|plainurl=yes}}}}
[[Category:Theorems in complex analysis]]

{{Sourceattribution|Osgood's lemma}}