English
Related papers

Related papers: Antiderivatives Exist without Integration

200 papers

Replacing operators with continuous operator-valued functions, we prove time-dependent versions of well-known results on compressions and diagonals of bounded operators. The setting of smooth functions is also addressed. Our results have no…

Functional Analysis · Mathematics 2025-12-18 Vladimir Müller , Yuri Tomilov

Recently, Todorov and Wilf independently realized that de Branges' original proof of the Bieberbach and Milin conjectures and the proof that was later given by Weinstein deal with the same special function system that de Branges had…

Classical Analysis and ODEs · Mathematics 2008-02-03 Wolfram Koepf , Dieter Schmersau

We show that a differential version of the classical Chebyshev-Markov-Stieltjes inequalities holds for a broad family of weight functions. Such a differential version appears to be new. Our results apply to weight functions which are…

Classical Analysis and ODEs · Mathematics 2017-03-14 Shoni Gilboa , Ron Peled

We prove a variant of the Titchmarsh convolution theorem for simply connected supersolvable Lie groups, namely we show that the convolution algebras of compactly supported continuous functions and compactly supported finite measures on such…

Group Theory · Mathematics 2013-04-11 Łukasz Garncarek

We present a new, short and independent proof of the Liouville-type theorem for entire and subharmonic functions of finite order bounded outside some set of zero planar density.

Complex Variables · Mathematics 2020-09-03 Bulat N. Khabibullin

Using a modification of a generalized Takagi-van der Waerden function on a metric space we prove that for any closed subset of a metric space without isolated points there exists a continuous function such that its big and local Lipschitz…

Functional Analysis · Mathematics 2025-04-10 Oleksandr V. Maslyuchenko , Ziemowit M. Wójcicki

We show that the set of Lebesgue integrable functions in $[0,1]$ which are nowhere essentially bounded is spaceable, improving a result from [F. J. Garc\'{i}a-Pacheco, M. Mart\'{i}n, and J. B. Seoane-Sep\'ulveda. \textit{Lineability,…

Functional Analysis · Mathematics 2012-05-01 Szymon Glab , Pedro L. Kaufmann , Leonardo Pellegrini

Starting from the Colombeau's full generalized functions, the sharp topologies and the notion of generalized points, we introduce a new kind differential calculus (for functions between totally disconnected spaces). We study generalized…

Classical Analysis and ODEs · Mathematics 2017-06-12 Wagner Cortes , Antonio R. G. Garcia , Severino H. da Silva

In this paper we develop a theory of integration for locally band preserving functions, introduced by Ercan and Wickstead, on Dedekind complete $f$-algebras. Specifically, we construct Darboux and Riemann integrals and show that they are…

Functional Analysis · Mathematics 2026-05-01 Eder Kikianty , Luan Naude , Mark Roelands , Christopher Schwanke

In this paper, a simple proof of the divergence theorem is given by using the Dirac operator and noncommutative residues. Then we extend the divergence theorem to compact manifolds with boundary by the noncommutative residue of the…

Mathematical Physics · Physics 2025-06-24 Jian Wang , Yong Wang

We present a Lebesgue-type decomposition for a representable functional on a $^*$-algebra into absolutely continuous and singular parts with respect to an other. This generalizes the corresponding results of S. P. Gudder for unital Banach…

Functional Analysis · Mathematics 2014-06-25 Zsigmond Tarcsay

We give an affirmative answer to a question of K. Ciesielski by showing that the composition $f\circ g$ of two derivatives $f,g:[0,1]\to[0,1]$ always has a fixed point. Using Maximoff's Theorem we obtain that the composition of two…

Classical Analysis and ODEs · Mathematics 2011-09-27 Márton Elekes , Tamás Keleti , Vilmos Prokaj

A new method is presented for obtaining indefinite integrals of common special functions. The approach is based on a Lagrangian formulation of the general homogeneous linear ordinary differential equation of second order. A general integral…

Classical Analysis and ODEs · Mathematics 2015-04-24 John T. Conway

We describe the asymptotic behaviour and the dependence on the regularization of logarithmically divergent integrals of products of meromorphic and antimeromorphic forms on complex manifolds. Our formula is expressed in terms of residues of…

Complex Variables · Mathematics 2016-03-28 Giovanni Felder , David Kazhdan

We prove the Existential Closedness conjecture for the differential equation of the $j$-function and its derivatives. It states that in a differentially closed field certain equations involving the differential equation of the $j$-function…

Logic · Mathematics 2021-06-04 Vahagn Aslanyan , Sebastian Eterović , Jonathan Kirby

We obtain new regularity conditions for problems of calculus of variations with higher-order derivatives. As a corollary, we get non-occurrence of the Lavrentiev phenomenon. Our main regularity result asserts that autonomous integral…

Optimization and Control · Mathematics 2008-07-19 Moulay Rchid Sidi Ammi , Delfim F. M. Torres

We prove that every continuous function on a separable infinite-dimensional Hilbert space X can be uniformly approximated by smooth functions with no critical points. This kind of result can be regarded as a sort of very strong approximate…

Differential Geometry · Mathematics 2007-05-23 Daniel Azagra , Manuel Cepedello Boiso

Recent theoretical work on automatic differentiation (autodiff) has focused on characteristics such as correctness and efficiency while assuming that all derivatives are automatically generated by autodiff using program transformation, with…

Programming Languages · Computer Science 2024-08-15 Sam Estep

Khinchin proved that the arithmetic mean of continued fraction digits of Lebesgue almost every irrational number in $(0,1)$ diverges to infinity. Hence, none of the classical limit theorems such as the weak and strong laws of large numbers…

Dynamical Systems · Mathematics 2018-03-29 Hiroki Takahasi

We show that there exist unbounded functionals on the spaces of sequences that take at most one nonzero value on an arbitrary family of elements whose supports are pairwise disjoint.

Functional Analysis · Mathematics 2025-12-09 Konstantin Storozhuk