English
Related papers

Related papers: Elementary analytic functions in $VTC^0$

200 papers

Given the growing quantity of proposals and works of basic hypergeometric functions in the scope of $q$-calculus, it is important to introduce a systematic classification of $q$-calculus. Our aim in this article is to investigate certain…

Classical Analysis and ODEs · Mathematics 2025-02-11 Ayman Shehata

Analysability of finite $U$-rank types are explored both in general and in the theory $\mathrm{DCF}_0$. The well-known fact that the equation $\delta(\mathrm{log}\delta x)=0$ is analysable in but not almost internal to the constants is…

Logic · Mathematics 2017-08-08 Ruizhang Jin

We show that a real analytic restricted log-exp-analytic function has a holomorphic extension which is again restricted log-exp-analytic. We also establish a parametric version of this result.

Logic · Mathematics 2024-07-02 Andre Opris

We consider composite functions in the elementary algebraic framework. Without any use of the Fourier transform, we find almost periodic orbits which suitably characterizes certain composite functions. In particular, we provide special…

Machine Learning · Computer Science 2025-06-17 Chikara Nakayama , Tsuyoshi Yoneda

We study Boolean functions of an arbitrary number of input variables that can be realized by simple iterative constructions based on constant-size primitives. This restricted type of construction needs little global coordination or control…

Neural and Evolutionary Computing · Computer Science 2016-06-16 Christos Papadimitrou , Samantha Petti , Santosh Vempala

We review and extend the description of ultradifferentiable functions by their almost analytic extensions, i.e., extensions to the complex domain with specific vanishing rate of the $\bar \partial$-derivative near the real domain. We work…

Analysis of PDEs · Mathematics 2022-12-29 Stefan Fürdös , David Nicolas Nenning , Armin Rainer , Gerhard Schindl

A theorem of Davis, Figiel, Johnson and Pe{\l}czy\'nski tells us that weakly-compact operators between Banach spaces factor through reflexive Banach spaces. The machinery underlying this result is that of the real interpolation method,…

Functional Analysis · Mathematics 2007-05-23 Matthew Daws

We prove that rationally connected varieties over the function field of a complex curve satisfy weak approximation for places of good reduction.

Algebraic Geometry · Mathematics 2009-11-10 Brendan Hassett , Yuri Tschinkel

We define and study logics in the framework of probabilistic team semantics and over metafinite structures. Our work is paralleled by the recent development of novel axiomatizable and tractable logics in team semantics that are closed under…

Logic in Computer Science · Computer Science 2021-04-12 Miika Hannula , Minna Hirvonen , Juha Kontinen

Effectivity functions are the basic formalism for investigating the semantics game logic. We discuss algebraic properties of stochastic effectivity functions, in particular the relationship to stochastic relations, morphisms and congruences…

Logic in Computer Science · Computer Science 2014-04-01 Ernst-Erich Doberkat

In metric of spaces $L_{s}, \ 1\leq s\leq\infty$, we obtain exact in order estimates of best $m$-term trigonometric approximations of classes of convolutions of periodic functions, that belong to unit all of space $L_{p}, \ 1\leq…

Classical Analysis and ODEs · Mathematics 2016-03-08 A. S. Serdyuk , T. A. Stepaniuk

Recently classes of conic and discrete conic functions were introduced. In this paper we use the term convic instead conic. The class of convic functions properly includes the classes of convex functions, strictly quasiconvex functions and…

Optimization and Control · Mathematics 2020-11-03 S. I. Veselov , D. V. Gribanov , N. Yu. Zolotykh , A. Yu. Chirkov

We introduce the definition of conformable derivative on time scales and develop its calculus. Fundamental properties of the conformable derivative and integral on time scales are proved. Linear conformable differential equations with…

Classical Analysis and ODEs · Mathematics 2018-01-09 Benaoumeur Bayour , Ahmed Hammoudi , Delfim F. M. Torres

Having a function $f$ and a set of functionals $\{\mathcal{C}_{n}\}$, $c_n^f \equiv \mathcal{C}_n \left(f\right)$, one can interpret function approximation very generally as a construction of some function $\mathcal{A}_{N}^{f}$ such that…

General Mathematics · Mathematics 2022-03-22 Andrej Liptaj

Recently, we have established and used the generalized Littlewood theorem concerning contour integrals of the logarithm of analytical function to obtain new criteria equivalent to the Riemann hypothesis. Later, the same theorem was applied…

General Mathematics · Mathematics 2024-07-12 S. K. Sekatskii

Possibilities are considered to simplify the computation of several statistical functions used to test statistical hypotheses when processing observations: the inverse normal distribution, the Student's t-distribution, and the criterion for…

Instrumentation and Methods for Astrophysics · Physics 2026-04-22 Zinovy Malkin

By using some tools of analysis, we establish some analytical properties such as monotonicity and inequalities involving the hyperbolic sine integral function. As applications of some of the established properties, we obtain some rational…

General Mathematics · Mathematics 2023-05-08 Kwara Nantomah

Estimates are obtained for the initial coefficients of a normalized analytic function $f$ in the unit disk $\mathbb{D}$ such that $f$ and the analytic extension of $f^{-1}$ to $\mathbb{D}$ belong to certain subclasses of univalent…

Complex Variables · Mathematics 2020-06-23 Vibha Madaan , Ajay Kumar , V. Ravichandran

We seek random versions of some classical theorems on complex approximation by polynomials and rational functions, as well as investigate properties of random compact sets in connection to complex approximation.

Complex Variables · Mathematics 2017-09-26 Simon St-Amant , Jérémie Turcotte

We obtain the best approximation in $L^1(\R)$, by entire functions of exponential type, for a class of even functions that includes $e^{-\lambda|x|}$, where $\lambda >0$, $\log |x|$ and $|x|^{\alpha}$, where $-1 < \alpha < 1$. We also give…

Classical Analysis and ODEs · Mathematics 2011-06-06 Emanuel Carneiro , Jeffrey D. Vaaler