On étudie les fonctions de deux variables réelles qui sont séparément analytiques sur un ouvert du plan. On montre que ces fonctions sont analytiques en tout point du domaine de définition hors d’un fermé de ce domaine dont les projections sur chacun des deux axes de coordonnées sont des ensembles polaires. Inversempent, pour tout tel fermé , on construit une fonction séparément analytique dont le domaine d’analyticité est le complémentaire de .
The key result (Theorem 1) provides the existence of a holomorphic approximation map for some space of C∞-functions on an open subset of Rn. This leads to results about the existence of a continuous linear extension map from the space of the Whitney jets on a closed subset F of Rn into a space of holomorphic functions on an open subset D of Cn such that D ∩ Rn = RnF.
We prove the o-minimal generalization of the Łojasiewicz inequality , with , in a neighborhood of , where is real analytic at and . We deduce, as in the analytic case, that trajectories of the gradient of a function definable in an o-minimal structure are of uniformly bounded length. We obtain also that the gradient flow gives a retraction onto levels of such functions.
We introduce the real valued real analytic function κ(t) implicitly defined by (κ(0) = -1/2). By studying the equation κ(t) = n (without making any unproved hypotheses), we show that (and how) this function is closely related to the (exact) position of the zeros of Riemann’s ζ(s) and ζ’(s). Assuming the Riemann hypothesis and the simplicity of the zeros of ζ(s), it follows that the ordinate of the zero 1/2 + iγₙ of ζ(s) is the unique solution to the equation κ(t) = n.
It is quite natural to conjecture that a positively homogeneous function with degree d ≥ 2 on satisfies the Łojasiewicz gradient inequality with exponent θ = 1/d without any need for an analyticity assumption. We show that this property is true under some additional hypotheses, but not always, even for N = 2.
This note brings a complement to the study of genericity of functions which are nowhere analytic mainly in a measure-theoretic sense. We extend this study to Gevrey classes of functions.
On donne une variante du principe de la phase stationnaire, où l’intégrale est remplacée par une sommation sur le réseau cubique de maille égale à l’unité de phase.
Let 𝓐(ℝ) and 𝓔(ℝ) denote respectively the ring of analytic and real entire functions in one variable. It is shown that if 𝔪 is a maximal ideal of 𝓐(ℝ), then 𝓐(ℝ)/𝔪 is isomorphic either to the reals or a real closed field that is an η₁-set, while if 𝔪 is a maximal ideal of 𝓔(ℝ), then 𝓔(ℝ)/𝔪 is isomorphic to one of the latter two fields or to the field of complex numbers. Moreover, we study the residue class rings of prime ideals of these rings and their Krull dimensions. Use is made of...
Soit un germe de fonction analytique , à singularité isolée en . Nous nous proposons d’étudier le développement asymptotique des intégrales de formes , de degré , sur les fibres de . Nous montrons que ces développements asymptotiques peuvent être décrits à partir de l’action de la monodromie sur le groupe de la fibre de Milnor complexe.
We construct an infinite-dimensional real analytic manifold structure on the space of real analytic mappings from a compact manifold to a locally convex manifold. Here a map is defined to be real analytic if it extends to a holomorphic map on some neighbourhood of the complexification of its domain. As is well known, the construction turns the group of real analytic diffeomorphisms into a smooth locally convex Lie group. We prove that this group is regular in the sense of Milnor. ...