And LambertW as well.
ForwardDiff is also twice as fast for the example in the post. Not that this is of any practical consequence. I mean, the functions on complex numbers also have to be defined, and these also, in some sense, involve the derivatives by thinking about the Taylor series. Dual numbers are simpler than complex numbers and defining functions on them is simpler. It can silently give the wrong answer:. I think I agree if I understand. The point is that this work is already done.
But, I edited the post significantly.
I also added comparisons for other use cases. I added something on the waste involved in using complex arithmetic for this task. But, that will have to wait. Or a library using any other type of number, for that matter. This fact is essential in the theory of multi-dimensional residues. The solution of this problem involves considerable topological and analytic difficulties.
These may often be overcome by the methods proposed by E.
Martinelli and J. The Leray method is more general: it is based on the examination of special homology classes and on the calculation of certain differential forms see Residue form.
arbollialireac.gaonal analysis - non-analytic functions with arbitrary large derivatives - MathOverflow
The multi-dimensional theory of residues has also found applications in theoretical physics cf. Feynman integral. The Hartogs' extension theorem reveals a fundamental difference between the spatial and the planar theories. Thus arises the problem of the characterization of the natural domains of existence of holomorphic functions — the so-called domains of holomorphy.
Subscribe to RSS
A simple sufficient condition may be formulated with the aid of the concept of a barrier at a boundary point of the domain, i. However, convexity is not a necessary condition for holomorphy: for instance a product of plane domains is always a domain of holomorphy, and such a product need not be convex. Nevertheless, if the notion of convexity is suitably generalized, it is possible to arrive at a necessary and sufficient condition. Holomorphic convexity is a necessary and sufficient condition for a domain of holomorphy. However, this criterion is not very effective, since holomorphic convexity is difficult to verify.
Another generalization is connected with the notion of a plurisubharmonic function , which is the complex analogue of a convex function. Pseudo-convexity is also a necessary and sufficient condition for a domain to be a domain of holomorphy. For domains of the simplest types envelopes of holomorphy can be effectively constructed, but in the general case the problem is unsolvable within the class of single-sheeted domains.
In the class of covering domains, the problem of constructing envelopes of holomorphy is always solvable.
This problem also has applications in theoretical physics, especially in quantum field theory. The transition from the plane to a complex space substantially increases the variety of geometrical problems related to holomorphic functions. In particular, such functions are naturally considered not only in domains, but also on complex manifolds — smooth manifolds of even real dimension, the neighbourhood relations of which are biholomorphic.
Among these, Stein manifolds cf. Stein manifold — natural generalizations of domains of holomorphy — play a special role. Several problems in analysis may be reduced to the problem of constructing, in a given domain, a holomorphic function with given zeros or a meromorphic function with given poles and principal parts of the Laurent series.
In the plane case, these problems have been solved for arbitrary domains by the theorems of Weierstrass and Mittag-Leffler and their generalizations. The spatial case is different — the solvability of the corresponding problems, the so-called Cousin problems, depends on certain topological and analytic properties of the complex manifolds considered.
The key step in the solution of the Cousin problems is to construct — starting from locally-defined functions with given properties — a global function, defined on the whole manifold under consideration and having the same local properties. Such kinds of constructions are very conveniently effected using the theory of sheaves, which arose from the algebraic-topological treatment of the concept of an analytic function, and which has found important applications in various branches of mathematics.
The solution of the Cousin problems by methods of the theory of sheaves was realized by H. Cartan and J. Complex analysis is one of the most important branches of analysis, it is closely connected with quite diverse branches of mathematics and it has numerous applications in theoretical physics, mechanics and technology.
Fundamental investigations on the theory of analytic functions have been carried out by Soviet mathematicians. Extensive interest in the theory of functions of a complex variable emerged in the Soviet Union at the beginning of the 20th century. This was in connection with noteworthy investigations by Soviet scientists on applications of the theory of analytic functions to various problems in the mechanics of continuous media. Zhukovskii and S. Chaplygin solved very important problems in hydrodynamics and aerodynamics by using methods of the theory of analytic functions.
In the works of G. Kolosov and N. Muskhelishvili these methods were applied to fundamental problems in the theory of elasticity. In subsequent years the theory of functions of a complex variable underwent extensive development. The development of various aspects of the theory of analytic functions was determined by the fundamental research of, among others, V. Golubev, N. Luzin, I. Privalov and V.
Representation theory, geometry and whatever else we decide is worth writing about today.
Smirnov boundary properties , M. Lavrent'ev geometric theory, quasi-conformal mappings and their applications to gas dynamics , M. Keldysh, M. Lavrent'ev and L.
Sedov applications to problems in the mechanics of continuous media , D. Men'shov theory of monogeneity , M.
Uniformly bounded derivatives implies globally analytic
Lavrent'ev and S. Mergelyan approximation theory , I. Vekua theory of generalized analytic functions and their applications , A. Gel'fond theory of interpolation , N. Bogolyubov and V. Vladimirov theory of analytic functions of several variables and its application to quantum field theory. Complex analysis has been an active field of research up to the present time also in the West. Some of the history may be found in the extensive article in the Encyclopaedia Britannica entitled Analysis, complex.
Related On Derivatives of Non-Analytic Functions
Copyright 2019 - All Right Reserved