English

Continuity in the Alexiewicz norm

Classical Analysis and ODEs 2007-05-23 v1

Abstract

If ff is a Henstock--Kurzweil integrable function on the real line, the Alexiewicz norm of ff is f=supIIf\|f\|=\sup_I|\int_I f| where the supremum is taken over all intervals IRI\subset\R. Define the translation τx\tau_x by τxf(y)=f(yx)\tau_xf(y)=f(y-x). Then τxff\|\tau_xf-f\| tends to 0 as xx tends to 0, i.e., ff is continuous in the Alexiewicz norm. For particular functions, τxff\|\tau_xf-f\| can tend to 0 arbitrarily slowly. In general, τxffoscfx\|\tau_xf-f\|\geq {\rm osc}f |x| as x0x\to 0, where oscf{\rm osc}f is the oscillation of ff. It is shown that if FF is a primitive of ff then τxFFfx\|\tau_xF-F\|\leq \|f\||x|. An example shows that the function yτxF(y)F(y)y\mapsto \tau_xF(y)-F(y) need not be in L1L^1. However, if fL1f\in L^1 then τxFF1f1x\|\tau_xF-F\|_1\leq \|f\|_1|x|. For a positive weight function ww on the real line, necessary and sufficient conditions on ww are given so that (τxff)w0\|(\tau_xf-f)w\|\to 0 as x0x\to 0 whenever fwfw is Henstock--Kurzweil integrable. Applications are made to the Poisson integral on the disc and half-plane. All of the results also hold with the distributional Denjoy integral, which arises from the completion of the space of Henstock--Kurzweil integrable functions as a subspace of Schwartz distributions.

Keywords

Cite

@article{arxiv.math/0606536,
  title  = {Continuity in the Alexiewicz norm},
  author = {Erik Talvila},
  journal= {arXiv preprint arXiv:math/0606536},
  year   = {2007}
}

Comments

To appear in Mathematica Bohemica