Foundational aspects of singular integrals

DOI10.1016/J.JFA.2014.09.005zbMATH Open1301.32006arXiv1401.7045OpenAlexW2963465234MaRDI QIDQ472499FDOQ472499

Authors: Harvey M. Friedman, O. Costin 

Publication date: 19 November 2014

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

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.

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

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

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)

Cites Work

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

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)