Foundational aspects of singular integrals

DOI10.1016/J.JFA.2014.09.005MaRDI QIDQ472499zbMATH OpenOpenAlexFDO

Authors Harvey M. Friedman, O. Costin

Publication date 19 November 2014

Published in Journal of Functional Analysis (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1401.7045

zbMATH Keywords

regularizationsingular integralsBorel measurableindependent of ZFC

Mathematics Subject Classification ID

Descriptive set theory (03E15) Consistency and independence results (03E35) Axiom of choice and related propositions (03E25) Applications of set theory (03E75) Singular integrals of functions in several complex variables (32A55)

Abstract: We investigate integration of classes of real-valued continuous functions on (0,1]. Of course difficulties arise if there is a non-$L^1$ element in the class, and the Hadamard finite part integral ({em p.f.}) does not apply. Such singular integrals arise naturally in many contexts including PDEs and singular ODEs. The Lebesgue integral as well as $p.f.$, starting at zero, obey two fundamental conditions: (i) they act as antiderivatives and, (ii) if $f=g$ on $(0,a)$, then their integrals from $0$ to $x$ coincide for any $xin(0,a)$. We find that integrals from zero with the essential properties of $p.f.$, plus positivity, exist by virtue of the Axiom of Choice (AC) on all functions on $(0,1]$ which are $L^1((epsilon,1])$ for all $epsilon>0$. However, this existence proof does not provide a satisfactory construction. Without some regularity at $0$, the existence of general antiderivatives which satisfy only (i) and (ii) above on classes with a non-$L^1$ element is independent of ZF (the usual ZFC axioms for mathematics without AC), and even of ZFDC (ZF with the Axiom of Dependent Choice). Moreover we show that there is no mathematical description that can be proved (within ZFC or even extensions of ZFC with large cardinal hypotheses) to uniquely define such an antiderivative operator. Such results are precisely formulated for a variety of sets of functions, and proved using methods from mathematical logic, descriptive set theory and analysis. We also analyze $p.f.$ on analytic functions in the punctured unit disk, and make the connection to singular initial value problems.

Recommendations

• Non-absolutely convergent integrals and singular integrals
• A theory of non-absolutely convergent integrals in Rn with singularities on a regular boundary
• An axiomatic theory of non-absolutely convergent integrals in Rn
• Why there is no ``Fundamental theorem of calculus for the Riemann integral
• scientific article; zbMATH DE number 5634

Cites work

• scientific article; zbMATH DE number 3824309 (Why is no real title available?)
• scientific article; zbMATH DE number 3177037 (Why is no real title available?)
• scientific article; zbMATH DE number 3787171 (Why is no real title available?)
• scientific article; zbMATH DE number 25807 (Why is no real title available?)
• scientific article; zbMATH DE number 3587043 (Why is no real title available?)
• scientific article; zbMATH DE number 1245554 (Why is no real title available?)
• scientific article; zbMATH DE number 510302 (Why is no real title available?)
• scientific article; zbMATH DE number 702561 (Why is no real title available?)
• scientific article; zbMATH DE number 722611 (Why is no real title available?)
• scientific article; zbMATH DE number 927999 (Why is no real title available?)
• scientific article; zbMATH DE number 3271087 (Why is no real title available?)
• scientific article; zbMATH DE number 3329342 (Why is no real title available?)
• scientific article; zbMATH DE number 3367521 (Why is no real title available?)
• scientific article; zbMATH DE number 3064454 (Why is no real title available?)
• scientific article; zbMATH DE number 3109695 (Why is no real title available?)
• A model of set-theory in which every set of reals is Lebesgue measurable
• Asymptotic expansions of a class of integrals
• Borel equivalence relations
• Can you take Solovay's inaccessible away?
• Definability in function spaces
• Distributional Weight Functions for Orthogonal Polynomials
• Exponentially accurate solution tracking for nonlinear ODEs, the higher order Stokes phenomenon and double transseries resummation
• Hadamard regularization
• Hyperasymptotics
• Irregular singularities. Correspondence and documents
• L'intégrale de Riemann-Liouville et le problème de Cauchy
• On Borel summation and Stokes phenomena for rank-\(1\) nonlinear systems of ordinary differential equations
• On Singular Integrals
• On the existence of certain singular integrals
• Orthogonality of Jacobi and Laguerre polynomials for general parameters via the Hadamard finite part
• Orthogonality of Jacobi polynomials with general parameters
• Pseudoanalytic extension of smooth functions. The uniform scale
• Regularised integrals, sums and traces. An analytic point of view

Cited in

(3)

• The problem of missing terms in term by term integration involving divergent integrals
• An extension of the multiple Erdélyi-Kober operator and representations of the generalized hypergeometric functions
• Representations of hypergeometric functions for arbitrary parameter values and their use

This page was built for publication: Foundational aspects of singular integrals

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q472499)