Related papers: Antiderivatives Exist without Integration
Noncommutative functions are graded functions between sets of square matrices of all sizes over two vector spaces that respect direct sums and similarities. They possess very strong regularity properties (reminiscent of the regularity…
We show that there exists an entire function which has neither fixed points nor invariant Baker domains. The question whether such a function exists was raised by Buff.
In classical analysis, Lebesgue first proved that $\mathbb{R}$ has the property that each Riemann integrable function from $[a,b]$ into $\mathbb{R}$ is continuous almost everywhere. This property is named as the Lebesgue property. Though…
We examine how implicit functions on ILB-Fr\'echet spaces can be obtained without metric or norm estimates which are classically assumed. We obtain implicit functions defined on a domain $D$ which is not necessarily open, but which contains…
The purpose of this paper is to prove an interpolation formula involving derivatives for entire functions of exponential type. We extend the interpolation formula derived by J. Vaaler in [37, Theorem 9] to general $L^p$ de Branges spaces.…
The paper is devoted to the conjecture that an equation is Darboux integrable if and only if it possesses symmetries depending on arbitrary functions. We note that results of previous works together prove this conjecture for scalar partial…
In this paper, we introduce the integration of algebroidal functions on Riemann surfaces for the first time. Some properties of integration are obtained. By giving the definition of residues and integral function element, we obtain the…
In this paper we show that the real differential of any injective slice regular function is everywhere invertible. The result is a generalization of a theorem proved by G. Gentili, S. Salamon and C. Stoppato, and it is obtained thanks, in…
The Lebesgue dominated convergence theorem of the measure theory implies that the Riemann integral of a bounded sequence of continuous functions over the interval [ 0,1] pointwise converging to zero, also converges to zero. The validity of…
Rademacher theorem states that every Lipschitz function on the Euclidean space is differentiable almost everywhere, where "almost everywhere" refers to the Lebesgue measure. In this paper we prove a differentiability result of similar type,…
The steady motion of a viscous incompressible fluid in a junction of unbounded channels with sources and sinks is modeled through the Navier-Stokes equations under inhomogeneous Dirichlet boundary conditions. In contrast to many previous…
A result of H. Steinhaus states that any positive Lebesgue measurable set has a property that its difference set contains an open interval around the origin. Y. V. Mospan proved that this result is the characterization of absolutely…
In this paper, we investigate and find a necessary and sufficient condition for a function to be absolutely continuous over $\mathbb{R}$ (denoted by $AC(\mathbb{R})$) or any unbounded interval in $\mathbb{R}$ . Note that the Lebesgue's…
We develop a compositional approach for automatic and symbolic differentiation based on categorical constructions in functional analysis where derivatives are linear functions on abstract vectors rather than being limited to scalars,…
We examine Bourbaki's function, an easily-constructed continuous but nowhere-differentiable function, and explore properties including functional identities, the antiderivative, and the box and Hausdorff dimensions of the graph.
Integrating with respect to functions which are constant on intervals whose bounds are discontinuity points (of those functions) is frequent in many branches of Mathematics, specially in stochastic processes. For such functions and alike…
We prove that convex functions of finite order on the real line and subharmonic functions of finite order on finite dimensional real space, bounded from above outside of some set of zero relative Lebesgue density, are bounded from above…
In this paper, we study the relation between Fr\'echet derivatives and Dupire derivatives, in which the latter are recently introduced by Dupire [4]. After introducing the definition of Fr\'echet derivatives for non-anticipative…
In this note we present a new short and direct proof of L\'{e}vy's continuity theorem in arbitrary dimension $d$, which does not rely on Prohorov's theorem, Helly's selection theorem or the uniqueness theorem for characteristic functions.…
We discuss some surprising phenomena from basic calculus related to oscillating functions and to the theorem on the differentiability of inverse functions. Among other things, we see that a continuously differentiable function with a strict…