Poincaré's work on the reduction of Abelian integrals contains implicitly an algorithm for the expression of a theta function as a sum of products of theta functions of fewer variables in the presence of reduction. The aim of this paper is to give explicit formulations and reasonably complete proofs of Poincaré's results.

For a $C^1$-function $f$ on the unit ball $𝔹\subset {ℂ}^n$ we define the Bloch norm by ${\parallel f\parallel }_{𝔅}=sup\parallel \tilde{d}f\parallel ,$ where $\tilde{d}f$ is the invariant derivative of $f,$ and then show that $${\parallel f\parallel }_{𝔅}=\underset{\genfrac{}{}{0pt}{}{z,w\in 𝔹}{z\ne w}}{sup}{(1-|z|}^2{)}^{1/2}{(1-|w|}^2{)}^{1/2}\frac{\left|f\right(z)-f(w\left)\right|}{|w-P_{w}z-s_w{Q}_{w}z|}.$$

An infinite series which arises in certain applications of the Lagrange-Bürmann formula to exponential functions is investigated. Several very exact estimates for the Laplace transform and higher moments of this function are developed.

We study a general Dirichlet problem for the complex Monge-Ampère operator, with maximal plurisubharmonic functions as boundary data.

Using recent development in Poletsky theory of discs, we prove the following result: Let $X,$$Y$ be two complex manifolds, let $Z$ be a complex analytic space which possesses the Hartogs extension property, let $A$ (resp. $B$) be a non locally pluripolar subset of $X$ (resp. $Y$). We show that every separately holomorphic mapping $f:W:=(A\times Y)\cup (X\times B)\to Z$ extends to a holomorphic mapping $\widehat{f}$ on $\widehat{W}:=\left\{(z,w)\in X\times Y:\tilde{\omega }(z,A,X)+\tilde{\omega }(w,B,Y)\<1\right\}$ such that $\widehat{f}=f$...

If Σ is a compact subset of a domain Ω ⊂ ℂ and the cluster values on ∂Σ of a holomorphic function f in Ω∖Σ, f' ≢ 0, are contained in a compact null-set for the holomorphic Dirichlet class, then f extends holomorphically onto the whole domain Ω.