相关论文: Banach Analytic Sets and a Non-Linear Version of t…

Under certain hypotheses on the Banach space $X$, we prove that the set of analytic functions in $\mathcal{A}_u(X)$ (the algebra of all holomorphic and uniformly continuous functions in the ball of $X$) whose Aron-Berner extensions attain…

Let $E$ be the Banach space constructed by Read (J. London Math. Soc. 1989) such that the Banach algebra $\mathscr{B}(E)$ of bounded operators on $E$ admits a discontinuous derivation. We show that $\mathscr{B}(E)$ has a singular,…

The main result of this paper is a proof of the continuity of a family of integral functionals defined on the space of functions of bounded variation with respect to a topology under which smooth functions are dense. These functionals occur…

We establish analytic linearization of s-proper analytic groupoids around invariant submanifolds. We apply this result to show that any such groupoid admits a holomorphic extension.

In this paper we are concerned with the space of tempered ultrahyperfunctions corresponding to a proper open convex cone. A holomorphic extension theorem (the version of the celebrated edge of the wedge theorem) will be given for this…

We prove extension results for meromorphic functions by combining the Kohn-Rossi extension theorems with Andreotti's theory on the algebraic and analytic dependence of meromorphic functions on pseudoconcave manifolds. Versions of Kohn-Rossi…

We present a formalisation of the existence and uniqueness theorems of integral curves of vector fields on Banach manifolds in the Lean theorem prover. First, we formalize properties of differential equations on Banach spaces (the…

We show that if $\varphi \colon \mathbb R\rightarrow\mathbb R$ is a continuous mapping and the set of nonlinearity of $\varphi$ has nonzero Lebesgue measure, then $\varphi$ maps bijectively a certain set that contains arbitrarily long…

Let $D_j\subset\mathbb C^{n_j}$ be a pseudoconvex domain and let $A_j\subset D_j$ be a locally pluriregular set, $j=1,...,N$. Put $$ X:=\bigcup_{j=1}^N A_1\times...\times A_{j-1}\times D_j\times A_{j+1}\times...\times A_N. $$ Let $M\subset…

We prove an implicit function theorem for functions on infinite-dimensional Banach manifolds, invariant under the (local) action of a finite dimensional Lie group. Motivated by some geometric variational problems, we consider group actions…

Let B be the open unit ball in C^2 and let a, b, c be three points in C^2 which do not lie in a complex line, such that the complex line through a and b meets B and such that <a|b> is different from 1 if one of the points a, b is in B and…

We use convex polyhedral cones to study a large class of multivariate meromorphic germs, namely those with linear poles, which naturally arise in various contexts in mathematics and physics. We express such a germ as a sum of a holomorphic…

We give estimates for the convolution product of an arbitrary number of endlessly continuable functions. This allows us to deal with nonlinear operations for the corresponding resurgent series, e.g. substitution into a convergent power…

We introduce a class of functions near zero on the logarithmic cover of the complex plane that have convergent expansions into generalized power series. The construction covers cases where non-integer powers of $z$ and also terms containing…

The existence of a Banach limit as a translation invariant positive continuous linear functional on the space of bounded scalar sequences which is equal to 1 at the constant sequence (1,1,...,1,...) is proved in a first course on functional…

We prove an extension theorem for roots and logarithms of holomorphic line bundles across strictly pseudoconcave boundaries: they extend in all cases except one, when dimension and Morse index of a critical point is two. In that case we…

We consider Bergman spaces and variations of them in one or several complex variables. For some domains we show that in these spaces the generic function is totally unbounded and hence non - extendable. We also show that the generic…

Let $X=C[0,1]$, and $Y$ be an arbitrary Banach space. Consider a collection of open segments $\{V_i \}\subset X$. Suppose the map $f: \cup_i V_i \to Y$ has $q$ bounded Fr\'echet derivatives ($q=0,1,...,\infty$), and $f$ and all its…

In this article we introduce the structure of an analytic Banach manifold in the set of stationary flows without stagnation points of the ideal incompressible fluid in a periodic 2-d channel bounded by the curves $y=f(x)$ and $y=g(x)$ where…

The purpose of this paper is to generalize in a geometric setting theorems of Severi, Brown and Bochner about analytic continuation of real analytic functions which are holomorphic or harmonic with respect to one of its variables. We prove…