Related papers: Antiderivatives Exist without Integration
High-order derivatives of analytic functions are expressible as Cauchy integrals over circular contours, which can very effectively be approximated, e.g., by trapezoidal sums. Whereas analytically each radius r up to the radius of…
In this paper we study elementary extensions of differential fields in prime characteristic. In particular, we show that, in contrast to Liouville's result in characteristic zero, all elements of an elementary extension admit an…
We show that for any $k$-times continuously differentiable function $f:[a,\infty)\longrightarrow{\mathbb R}$, any integer $q\ge 0$ and any $\alpha>1$ the inequality $$\liminf_{x\to\infty} \frac{x^k \cdot\log x\cdot \log_2 x\cdot\dots\cdot…
Let $\chi$ be a real primitive character to the modulus $D$. It is proved that $$ L(1,\chi)\gg (\log D)^{-2022} $$ where the implied constant is absolute and effectively computable. In the proof, the lower bound for $L(1,\chi)$ is first…
We prove that there is a continuous non-negative function $g$ on the unit sphere in $\cd$, $d \geq 2$, whose logarithm is integrable with respect to Lebesgue measure, and which vanishes at only one point, but such that no non-zero bounded…
We construct an example of a Lebesgue space with variable exponent on which Cauchy-Leray-Fantappi\`{e} operator associated with a complex ellipsoid is not bounded. This result extends previous counterexamples for the unit ball and…
Consider a normal function $f$ on the ordinals (i. e. a function $f$ that is strictly increasing and continuous at limit stages). By enumerating the fixed points of $f$ we obtain a faster normal function $f'$, called the derivative of $f$.…
We study a monomial derivation $d$ proposed by J. Moulin Ollagnier and A. Nowicki in the polynomial ring of four variables, and prove that $d$ has no Darboux polynomials if and only if $d$ has a trivial field of constants.
Derivative-based algorithms are ubiquitous in statistics, machine learning, and applied mathematics. Automatic differentiation offers an algorithmic way to efficiently evaluate these derivatives from computer programs that execute relevant…
Let F be a characteristic zero differential field with an algebraically closed field of constants, E be a no-new-constant extension of F by antiderivatives of F and let y1, ..., yn be antiderivatives of E. The antiderivatives y1, ..., yn of…
Regular variation of a multivariate measure with a Lebesgue density implies the regular variation of its density provided the density satisfies some regularity conditions. Unlike the univariate case, the converse also requires regularity…
No functions class for general measurable sets classes are known whose functions have the property of differentiability of integrals associated to such sets classes. In this paper,we give some subspaces of $L^s$ with $1<s<\infty$, whose…
The validity of the Addition Theorem for algebraic entropies $\ent_L$ induced by non-discrete length functions $L$ on the category of locally $L$-finite modules over arbitrary rings is proved. Concrete examples of non-discrete length…
To demonstrate more visibly the close relation between the continuity and integrability, a new proof for the Banach-Zarecki theorem is presented on the basis of the Radon-Nikodym theorem which emphasizes on measure-type properties of the…
We find an equivalent condition for a continuous vector-valued path to be Lebesgue equivalent to a twice differentiable function. For that purpose, we introduce the notion of a $VBG_{{1/2}}$ function, which plays an analogous role for the…
The arithmetic partial derivative (with respect to a prime $p$) is a function from the set of integers that sends $p$ to 1 and satisfies the Leibniz rule. In this paper, we prove that the $p$-adic valuation of the sequence of higher order…
Let ${T_1,...,T_l}$ be a collection of differential operators with constant coefficients on the torus $\mathbb{T}^n$. Consider the Banach space $X$ of functions $f$ on the torus for which all functions $T_j f$, $j=1,...,l$, are continuous.…
We present a class of functions $\mathcal{K}$ in $C^0(\R)$ which is variant of the Knopp class of nowhere differentiable functions. We derive estimates which establish $\mathcal{K} \sub C^{0,\al}(\R)$ for $0<\al<1$ but no $K \in…
When introduced in a 2018 article in the American Mathematical Monthly, the omega integral was shown to be an extension of the Riemann integral. Although results for continuous functions such as the Fundamental Theorem of Calculus follow…
We prove that for a homogeneous linear partial differential operator $\mathcal A$ of order $k \le 2$ and an integrable map $f$ taking values in the essential range of that operator, there exists a function $u$ of special bounded variation…