Continuous + holomorphic on a dense open => holomorphic? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-24T22:03:58Z http://mathoverflow.net/feeds/question/34763 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/34763/continuous-holomorphic-on-a-dense-open-holomorphic Continuous + holomorphic on a dense open => holomorphic? André Henriques 2010-08-06T13:16:07Z 2010-08-08T23:15:43Z <p>Let D &sub; &#8450; be the closed unit disc in the complex plane, and let C be a continuously embedded path in D between the points -1 and 1. The curve C splits D into two halfs $D_1$ and $D_2$.</p> <p>Let <em>f</em> : D&rarr;&#8450; be a continuous function that is holomorphic on the interiors of $D_1$ and $D_2$.<br> Is <em>f</em> then necessarily holomorphic?</p> <hr> <p>PS: If he path C is sufficiently smooth (so that &int;<sub>C</sub> <em>f</em>(<i>z</i>) d<i>z</i> makes sense), then f is necessarily holomorphic, as it is then given by Cauchy's formula $f(w)=1/(2\pi i)\int _ {\partial D} f(z) /(z-w) dz$.</p> http://mathoverflow.net/questions/34763/continuous-holomorphic-on-a-dense-open-holomorphic/34764#34764 Answer by Andrea Ferretti for Continuous + holomorphic on a dense open => holomorphic? Andrea Ferretti 2010-08-06T13:27:26Z 2010-08-07T19:29:20Z <p>If the image of the curve has measure 0, it seems true. Indeed it is enough to prove that both the real and imaginary part are harmonic. This will be true if they satisfy the mean value identity on small balls.</p> <p>The mean value identity is clear outside of $C$; on points of $C$ it follows by continuity and the fact that the integral of $f$ on $C$ with respect to the $2$-dimensional Lebesgue measure is $0$.</p> <p>EDIT: I'm sorry, according to Mohan Ramachandran comment below, this answer is wrong.</p> http://mathoverflow.net/questions/34763/continuous-holomorphic-on-a-dense-open-holomorphic/34770#34770 Answer by Tom Boardman for Continuous + holomorphic on a dense open => holomorphic? Tom Boardman 2010-08-06T14:49:53Z 2010-08-06T14:56:13Z <p>We can go via Morrera's Theorem as well:</p> <p>Let T be a triangle in the disc: partition the preimage of your curve $\cap T$ into n pieces (in a suitably 'going to be dense when $n \to \infty$' sort of way), now barycentrically subdivide T until we have a simplicial approximation of the curve. Since $f$ is continuous (and so has no singularities) and C has measure zero, as $n \to \infty$ the intergral around the subtriangles containing the curve must tend to $0$, the remainder are zero by Cauchy.</p> <p>In steps Morrera, and the day is saved.</p> http://mathoverflow.net/questions/34763/continuous-holomorphic-on-a-dense-open-holomorphic/34842#34842 Answer by Mohan Ramachandran for Continuous + holomorphic on a dense open => holomorphic? Mohan Ramachandran 2010-08-07T15:51:54Z 2010-08-08T19:25:41Z <p>If the curve C is rectifiable then the answer is yes.Under the assumption that C is rectifiable your question is known as Painleve's Theorem.It follows from the strong version of Cauchy's theorem which is stated as follows: If C is a simple closed rectifiable curve in the plane and f is holomorphic in the interior and continuous in the closed bdd region enclosed by C then the integral of f over C is zero.See for example the book by Behnke and Sommer page 119 (the book is in German).You can also find a proof of the strong form of Cauchy's theorem in the book titled:Elements of the topology of plane sets of points by M H A Newman,2nd edn page 187. If the jordan arc has positive area the answer to the question is no.See pages 122- 123 of the article in the amer math monthly vol 81 no 2 pages 115-137 year 1974.The paper is by Lawrence Zalcman who has other papers on this topic. </p> http://mathoverflow.net/questions/34763/continuous-holomorphic-on-a-dense-open-holomorphic/34922#34922 Answer by Zen Harper for Continuous + holomorphic on a dense open => holomorphic? Zen Harper 2010-08-08T13:31:38Z 2010-08-08T13:31:38Z <p>Not an answer, but too big for a comment and useful for many similar problems.</p> <p>From Chapter VI of <strong><em>Theory of the Integral</em></strong> by Stanislaw Saks, p.197, available online at <a href="http://banach.univ.gda.pl/pdf/saks/" rel="nofollow">http://banach.univ.gda.pl/pdf/saks/</a></p> <p>For a domain $G$:</p> <p><strong>Theorem</strong> <em><strong>(Attributed to Besicovitch)</em></strong> Let $f$ be continuous on $G$, satisfying:</p> <p>(i): $f'(z)$ exists for each $z \in G \setminus E_1$,</p> <p>(ii): $$\limsup_{h \to 0} \left| \frac{f(z+h) - f(z)}{h} \right| &lt; \infty$$<br> for all $z \in G \setminus E_2$.</p> <p>(iii): $E_1$ has Lebesgue measure zero. </p> <p>(iv): $E_2$ is a countable union of finite-length curves. </p> <p><em><strong>Then</em></strong>: $f$ is holomorphic on $G$.</p> http://mathoverflow.net/questions/34763/continuous-holomorphic-on-a-dense-open-holomorphic/34955#34955 Answer by Piero D'Ancona for Continuous + holomorphic on a dense open => holomorphic? Piero D'Ancona 2010-08-08T23:15:43Z 2010-08-08T23:15:43Z <p><a href="http://www.numdam.org/item?id=BSMF_1932__60__27_0" rel="nofollow">Denjoy</a> makes a detailed study of this question, and in particular constructs counterexamples where the curve C is the graph of a continuous function. Apparently, the construction works for curves which are 'very' non rectifiable, i.e., the local variation is infinite of a suitably high order at each point.</p>