Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur Graph Search.
Concept
Théorème de Morera
Résumé
In complex analysis, a branch of mathematics, Morera's theorem, named after Giacinto Morera, gives an important criterion for proving that a function is holomorphic.
Morera's theorem states that a continuous, complex-valued function f defined on an open set D in the complex plane that satisfies
for every closed piecewise C1 curve in D must be holomorphic on D.
The assumption of Morera's theorem is equivalent to f locally having an antiderivative on D.
The converse of the theorem is not true in general. A holomorphic function need not possess an antiderivative on its domain, unless one imposes additional assumptions. The converse does hold e.g. if the domain is simply connected; this is Cauchy's integral theorem, stating that the line integral of a holomorphic function along a closed curve is zero.
The standard counterexample is the function f(z) = 1/z, which is holomorphic on C − {0}. On any simply connected neighborhood U in C − {0}, 1/z has an antiderivative defined by L(z) = ln(r) + iθ, where z = reiθ. Because of the ambiguity of θ up to the addition of any integer multiple of 2pi, any continuous choice of θ on U will suffice to define an antiderivative of 1/z on U. (It is the fact that θ cannot be defined continuously on a simple closed curve containing the origin in its interior that is the root of why 1/z has no antiderivative on its entire domain C − {0}.) And because the derivative of an additive constant is 0, any constant may be added to the antiderivative and the result will still be an antiderivative of 1/z.
In a certain sense, the 1/z counterexample is universal: For every analytic function that has no antiderivative on its domain, the reason for this is that 1/z itself does not have an antiderivative on C − {0}.
There is a relatively elementary proof of the theorem. One constructs an anti-derivative for f explicitly.
Without loss of generality, it can be assumed that D is connected. Fix a point z0 in D, and for any , let be a piecewise C1 curve such that and .
Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.
Proximité ontologique