BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
Erik Talvila contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
Power series in which the summand satisfies a linear recurrence relation with polynomial coefficients are shown to be the solution of a linear differential or algebraic equation. Solving the associated differential or algebraic equation yields a closed form for the series. This method is used to sum several series and to solve two {\it American Mathematical Monthly} problems.
Sharp estimates of solutions of the classical heat equation are proved in $L^p$ norms on the real line.
If $f\in L^1({\mathbb R})$ it is proved that $\lim_{S\to\infty}\lVert f-f\ast D_S\rVert=0$, where $D_S(x)=\sin(Sx)/(πx)$ is the Dirichlet kernel and $\lVert f\rVert = \sup_{α<β}|\int_α^βf(x)\,dx|$ is the Alexiewicz norm. This gives a symmetric inversion of the Fourier transform on the real line. An asymmetric inversion is also proved. The results also hold for a measure given by $dF$ where $F$ is a continuous function of bounded variation. Such measures need not be absolutely continuous with respect to Lebesgue measure. An example shows there is $f\in L^1({\mathbb R})$ such that $\lim_{S\to\infty} \rVert f-f\ast D_S\lVert_1\neq 0$.
In this paper we prove pointwise and distributional Fourier transform inversion theorems for functions on the real line that are locally of bounded variation, while in a neighbourhood of infinity are Lebesgue integrable or have polynomial growth. We also allow the Fourier transform to exist in the principal value sense. A function is called regulated if it has a left limit and a right limit at each point. The main inversion theorem is obtained by solving the differential equation $df(t)-iωf(t)=g(t)$ for a regulated function $f$, where $ω$ is a complex number with positive imaginary part. This is done using the Henstock--Stieltjes integral. This is an integral defined with Riemann sums and a gauge. Some variants of the integration by parts formula are also proved for this integral. When the function is of polynomial growth its Fourier transform exists in a distributional sense, although the inversion formula only involves integration of functions and returns pointwise values.
An integral is defined on the plane that includes the Henstock--Kurzweil and Lebesgue integrals (with respect to Lebesgue measure). A space of primitives is taken as the set of continuous real-valued functions $F(x,y)$ defined on the extended real plane $[-\infty,\infty]^2$ that vanish when $x$ or $y$ is $-\infty$. With usual pointwise operations this is a Banach space under the uniform norm. The integrable functions and distributions (generalised functions) are those that are the distributional derivative $\partial^2/(\partial x\partial y)$ of this space of primitives. If $f=\partial^2/(\partial x\partial y) F$ then the integral over interval $[a,b]\times [c,d] \subseteq[-\infty,\infty]^2$ is $\int_a^b\int_c^d f=F(a,c)+F(b,d)-F(a,d)-F(b,c)$ and $\int_{-\infty}^\infty \int_{-\infty}^\infty f=F(\infty,\infty)$. The definition then builds in the fundamental theorem of calculus. The Alexiewicz norm is ${\lVert f\rVert}={\lVert F\rVert}_\infty$ where $F$ is the unique primitive of $f$. The space of integrable distributions is then a separable Banach space isometrically isomorphic to the space of primitives. The space of integrable distributions is the completion of both $L^1$ and the space of Henstock--Kurzweil integrable functions. The Banach lattice and Banach algebra structures of the continuous functions in ${\lVert \cdot\rVert}_\infty$ are also inherited by the integrable distributions. It is shown that the dual space are the functions of bounded Hardy--Krause variation. Various tools that make these integrals useful in applications are proved: integration by parts, Hölder inequality, second mean value theorem, Fubini theorem, a convergence theorem, change of variables, convolution. The changes necessary to define the integral in ${\mathbb R}^n$ are sketched out.
A distribution on the real line has a continuous primitive integral if it is the distributional derivative of a function that is continuous on the extended real line. The space of distributions integrable in this sense is a Banach space that includes all functions integrable in the Lebesgue and Henstock--Kurzweil senses. The one-dimensional heat equation is considered with initial data that is integrable in the sense of the continuous primitive integral. Let $Θ_t(x)=\exp(-x^2/(4t))/\sqrt{4πt}$ be the heat kernel. With initial data $f$ that is the distributional derivative of a continuous function, it is shown that $u_t(x):=u(x,t):=f\astΘ_t(x)$ is a classical solution of the heat equation $u_{11}=u_2$. The estimate $\|f\astΘ_t\|_\infty\leq\|f\|/\sqrt{πt}$ holds. The Alexiewicz norm is $\|f\|=\sup_I|\int_If|$, the supremum taken over all intervals. The initial data is taken on in the Alexiewicz norm, $\|u_t-f\|\to 0$ as $t\to 0^+$. The solution of the heat equation is unique under the assumptions that $\|u_t\|$ is bounded and $u_t\to f$ in the Alexiewicz norm for some integrable $f$. The heat equation is also considered with initial data that is the $n$th derivative of a continuous function and in weighted spaces such that $\int_{-\infty}^\infty f(x)\exp(-ax^2)\,dx$ exists for some $a>0$. Similar results are obtained.
In this paper we will study integrability of distributions whose primitives are left regulated functions and locally or globally integrable in the Henstock--Kurzweil, Lebesgue or Riemann sense. Corresponding spaces of distributions and their primitives are defined and their properties are studied. Basic properties of primitive integrals are derived and applications to systems of first order nonlinear distributional differential equations and to an $m$th order distributional differential equation are presented. The domain of solutions can be unbounded, as shown by concrete examples.
Corrected trapezoidal rules are proved for $\int_a^b f(x)\,dx$ under the assumption that $f"\in L^p([a,b])$ for some $1\leq p\leq\infty$. Such quadrature rules involve the trapezoidal rule modified by the addition of a term $k[f'(a)-f'(b)]$. The coefficient $k$ in the quadrature formula is found that minimizes the error estimates. It is shown that when $f'$ is merely assumed to be continuous then the optimal rule is the trapezoidal rule itself. In this case error estimates are in terms of the Alexiewicz norm. This includes the case when $f"$ is integrable in the Henstock--Kurzweil sense or as a distribution. All error estimates are shown to be sharp for the given assumptions on $f"$. It is shown how to make these formulas exact for all cubic polynomials $f$. Composite formulas are computed for uniform partitions.
Simple proofs of the midpoint, trapezoidal and Simpson's rules are proved for numerical integration on a compact interval. The integrand is assumed to be twice continuously differentiable for the midpoint and trapezoidal rules, and to be four times continuously differentiable for Simpson's rule. Errors are estimated in terms of the uniform norm of second or fourth derivatives of the integrand. The proof uses only integration by parts, applied to the second or fourth derivative of the integrand, multiplied by an appropriate polynomial or piecewise polynomial function. A corrected trapezoidal rule that includes the first derivative of the integrand at the endpoints of the integration interval is also proved in this manner, the coefficient in the error estimate being smaller than for the midpoint and trapezoidal rules. The proofs are suitable for presentation in a calculus or elementary numerical analysis class. Several student projects are suggested.
For each $1\leq p<\infty$ a space of integrable Schwartz distributions, $L^'^{\,p}$, is defined by taking the distributional derivative of all functions in $L^p$. Here, $L^p$ is with respect to Lebesgue measure on the real line. If $f\in L^'^{\,p}$ such that $f$ is the distributional derivative of $F\in L^p$ then the integral is defined as $\int^\infty_{-\infty} fG=-\int^\infty_{-\infty} F(x)g(x)\,dx$, where $g\in L^q$, $G(x)= \int_0^x g(t)\,dt$ and $1/p+1/q=1$. A norm is $\lVert f\rVert'_p=\lVert F\rVert_p$. The spaces $L^'^{\,p}$ and $L^p$ are isometrically isomorphic. Distributions in $L^'^{\,p}$ share many properties with functions in $L^p$. Hence, $L^'^{\,p}$ is reflexive, its dual space is identified with $L^q$, there is a type of Hölder inequality, continuity in norm, convergence theorems, Gateaux derivative. It is a Banach lattice and abstract $L$-space. Convolutions and Fourier transforms are defined. Convolution with the Poisson kernel is well-defined and provides a solution to the half plane Dirichlet problem, boundary values being taken on in the new norm. A product is defined that makes $L^'^{\,1}$ into a Banach algebra isometrically isomorphic to the convolution algebra on $L^1$. Spaces of higher order derivatives of $L^p$ functions are defined. These are also Banach spaces isometrically isomorphic to $L^p$.
Fourier series are considered on the one-dimensional torus for the space of periodic distributions that are the distributional derivative of a continuous function. This space of distributions is denoted $\alext$ and is a Banach space under the Alexiewicz norm, $\|f\|_\T =\sup_{|I|\leq 2π}|\int_I f|$, the supremum being taken over intervals of length not exceeding $2π$. It contains the periodic functions integrable in the sense of Lebesgue and Henstock-Kurzweil. Many of the properties of $L^1$ Fourier series continue to hold for this larger space, with the $L^1$ norm replaced by the Alexiewicz norm. The Riemann-Lebesgue lemma takes the form $\fhat(n)=o(n)$ as $|n|\to\infty$. The convolution is defined for $f\in\alext$ and $g$ a periodic function of bounded variation. The convolution commutes with translations and is commutative and associative. There is the estimate $\|f\ast g\|_\infty\leq \|f\|_\T \|g\|_\bv$. For $g\in L^1(\T)$, $\|f\ast g\|_\T\leq \|f\|_\T \|g\|_1$. As well, $\widehat{f\ast g}(n)=\fhatn \hat{g}(n)$. There are versions of the Salem-Zygmund-Rudin-Cohen factorization theorem, Fejér's lemma and the Parseval equality. The trigonometric polynomials are dense in $\alext$. The convolution of $f$ with a sequence of summability kernels converges to $f$ in the Alexiewicz norm. Let $D_n$ be the Dirichlet kernel and let $f\in L^1(\T)$. Then $\|D_n\ast f-f\|_\T\to 0$ as $n\to\infty$. Fourier coefficients of functions of bounded variation are characterized. An appendix contains a type of Fubini theorem.
Let $\Bc$ denote the real-valued functions continuous on the extended real line and vanishing at $-\infty$. Let $\Br$ denote the functions that are left continuous, have a right limit at each point and vanish at $-\infty$. Define $\acn$ to be the space of tempered distributions that are the $n$th distributional derivative of a unique function in $\Bc$. Similarly with $\arn$ from $\Br$. A type of integral is defined on distributions in $\acn$ and $\arn$. The multipliers are iterated integrals of functions of bounded variation. For each $n\in\N$, the spaces $\acn$ and $\arn$ are Banach spaces, Banach lattices and Banach algebras isometrically isomorphic to $\Bc$ and $\Br$, respectively. Under the ordering in this lattice, if a distribution is integrable then its absolute value is integrable. The dual space is isometrically isomorphic to the functions of bounded variation. The space $\ac^1$ is the completion of the $L^1$ functions in the Alexiewicz norm. The space $\ar^1$ contains all finite signed Borel measures. Many of the usual properties of integrals hold: Hölder inequality, second mean value theorem, continuity in norm, linear change of variables, a convergence theorem.
Let $f$ be a distribution (generalised function) on the real line. If there is a continuous function $F$ with real limits at infinity such that $F'=f$ (distributional derivative) then the distributional integral of $f$ is defined as $\int_{-\infty}^\infty f = F(\infty) - F(-\infty)$. It is shown that this simple definition gives an integral that includes the Lebesgue and Henstock--Kurzweil integrals. The Alexiewicz norm leads to a Banach space of integrable distributions that is isometrically isomorphic to the space of continuous functions on the extended real line with uniform norm. The dual space is identified with the functions of bounded variation. Basic properties of integrals are established using elementary properties of distributions: integration by parts, Hölder inequality, change of variables, convergence theorems, Banach lattice structure, Hake theorem, Taylor theorem, second mean value theorem. Applications are made to the half plane Poisson integral and Laplace transform. The paper includes a short history of Denjoy's descriptive integral definitions. Distributional integrals in Euclidean spaces are discussed and a more general distributional integral that also integrates Radon measures is proposed.
It is shown that the approximating functions used to define the Bochner integral can be formed using geometrically nice sets, such as balls, from a differentiation basis. Moreover, every appropriate sum of this form will be within a preassigned $ε$ of the integral, with the sum for the local errors also less than $ε$. All of this follows from the ubiquity of Lebesgue points, which is a consequence of Lusin's theorem, for which a simple proof is included in the discussion.