Two dimensional neighborhoods of elliptic curves: analytic classification in the torsion case

Autor: Loray, Frank, Touzet, Frédéric, Voronin, Sergei

Publikováno v: Publications mathematiques de l' IHES
Publications mathematiques de l' IHES, In press, ⟨10.1007/s10240-022-00133-z⟩

We investigate the analytic classification of two dimensional neighborhoods of an elliptic curve with torsion normal bundle. We provide the complete analytic classification for those neighborhoods in the simplest formal class and we indicate how to g

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f5cc3fc691c54849da3e7a4a6840a51d
https://doi.org/10.1007/s10240-022-00133-z

Growth of hypercyclic functions: a continuous path between $\mathcal{U}$-frequent hypercyclicity and hypercyclicity

Autor: Mouze, Augustin, Munnier, Vincent

We are interested in the optimal growth in terms of $L^p$-averages of hypercyclic and $\mathcal{U}$-frequently hypercyclic functions for some weighted Taylor shift operators acting on the space of analytic function on the unit disc. We unify the resu

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______4254::af59e553add9878d157bedd3035b2122
https://hal.science/hal-03882883

Maximal Hörmander Functional Calculus on L p Spaces and UMD Lattices

Autor: Deleaval, Luc, Kriegler, Christoph

Publikováno v: International Mathematics Research Notices
International Mathematics Research Notices, Oxford University Press (OUP), 2022, ⟨10.1093/imrn/rnab375⟩

Let $A$ be a generator of an analytic semigroup having a H{\"o}rmander functional calculus on $X = L^p(\Omega ,Y)$, where $Y$ is a UMD lattice. Using methods from Banach space geometry in connection with functional calculus, we show that for H{\"o}rm

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cda0562be042f510006223c79fdb5fbf
https://doi.org/10.1093/imrn/rnab375

Arbitrary-precision computation of the gamma function

Autor: Johansson, Fredrik

Publikováno v: Maple Transactions. 3

We discuss the best methods available for computing the gamma function $\Gamma(z)$ in arbitrary-precision arithmetic with rigorous error bounds. We address different cases: rational, algebraic, real or complex arguments; large or small arguments; low

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4f45d3fe1ef9dc54d38c3aff5a7db79c
https://doi.org/10.5206/mt.v3i1.14591

A Coq Formalization of Lebesgue Induction Principle and Tonelli’s Theorem

Autor: Sylvie Boldo, François Clément, Vincent Martin, Micaela Mayero, Houda Mouhcine

Publikováno v: Formal Methods ISBN: 9783031274800
Proceedings of the 25th International Symposium on Formal Methods
25th International Symposium on Formal Methods (FM 2023)
25th International Symposium on Formal Methods (FM 2023), Mar 2023, Lübeck, Germany. pp.39--55, ⟨10.1007/978-3-031-27481-7_4⟩
FM 2023-25th International Symposium on Formal Methods
FM 2023-25th International Symposium on Formal Methods, Mar 2023, Lübeck, Germany

International audience Lebesgue integration is a well-known mathematical tool, used for instance in probability theory, real analysis, and numerical mathematics. Thus, its formalization in a proof assistant is to be designed to fit different goals an

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b47011b3beb3b903347a18000883b4b6
https://doi.org/10.1007/978-3-031-27481-7_4