Related papers: Lebesgue's test for general Dirichlet's integrals

This paper presents a point-free version of the Lebesgue integral for simple functions on $\sigma$-locales. It describes the integral with respect to a measure defined on the coframe of all $\sigma$-sublocales, moving beyond the constraints…

This work proves pointwise convergence of the truncated Fourier double integral of non-Lebesgue integrable bounded variation functions. This leads to the Dirichlet-Jordan theorem proof for non-Lebesgue integrable functions, which has not…

We define an integral, the distributional integral of functions of one real variable, that is more general than the Lebesgue and the Denjoy-Perron-Henstock-Kurzweil integrals, and which allows the integration of functions with…

We find an equivalent condition for a real function $f:[a,b]\to\R$ to be Lebesgue equivalent to an $n$-times differentiable function ($n\geq 2$); a simple solution in the case $n=2$ appeared in an earlier paper. For that purpose, we…

For the functions $f$, which can be represented in the form of the convolution $f(x)=\frac{a_{0}}{2}+\frac{1}{\pi}\int\limits_{-\pi}^{\pi}\sum\limits_{k=1}^{\infty}e^{-\alpha k^{r}}\cos(kt-\frac{\beta\pi}{2})\varphi(x-t)dt$,…

Let $W_0(\mathbb R)$ be the Wiener Banach algebra of functions representable by the Fourier integrals of Lebesgue integrable functions. It is proven in the paper that, in particular, a trigonometric series $\sum\limits_{k=-\infty}^\infty…

For functions from the set of generalized Poisson integrals $C^{\alpha,r}_{\beta}L_{p}$, $1\leq p <\infty$, we obtain upper estimates for the deviations of Fourier sums in the uniform metric in terms of the best approximations of the…

Lebesgue integration is a well-known mathematical tool, used for instance in probability theory, real analysis, and numerical mathematics. Thus its formalization in a proof assistant is to be designed to fit different goals and projects.…

In the present article, the author uses Fourier theory of tempered distributions (generalized functions) in deriving a formula for Dirichlet-like integrals. The applied method is remarkably efficient and allows a solution in a few…

It is well-known that the Lebesgue integral generalises the Riemann integral. However, as is also well-known but less frequently well-explained, this generalisation alone is not the reason why the Lebesgue integral is important and needs to…

We consider Choquet integrals with respect to dyadic Hausdorff content of non-negative functions which are not necessarily Lebesgue measurable. We study the theory of Lebesgue points. The studies yield convergence results and also a density…

In this paper we generalize Bochkariev's theorem, which states that for any uniformly bounded orthonormal system $\Phi$, there exists a Lebesgue integrable function such that the Fourier series of it with respect to system $\Phi$ diverge on…

For non-decreasing real functions $f$ and $g$, we consider the functional $ T(f,g ; I,J)=\int_{I} f(x)\di g(x) + \int_J g(x)\di f(x)$, where $I$ and $J$ are intervals with $J\subseteq I$. In particular case with $I=[a,t]$, $J=[a,s]$, $s\leq…

Dirichlet proves the general convergence of Fourier series, after pointing out errors in an earlier attempt by Cauchy. We transcribed from Crelle's Journal (1829) with numerous typographical corrections, and added a completed bibliography.…

The Dirichlet lambda function $\lambda(s)$ is defined for $\mathrm{Re}(s) > 1$ by \[ \lambda(s) = \sum_{n=0}^{\infty} \frac{1}{(2n+1)^s}. \] This function was initially studied by Euler on the real line, where he denoted it by $N(s)$. In…

This paper contains a development of the Theory of Lebesgue and Bochner spaces of summable functions. It represents a synthesis of the results due to H. Lebesgue, S. Banach, S. Bochner, G. Fubini, S. Saks, F. Riesz, N. Dunford, P. Halmos,…

In this expository paper aimed at a general mathematical audience, we discuss how to combine certain classic theorems of set-theoretic inner model theory and effective descriptive set theory with work on Hilbert's tenth problem and…

In this paper we derive converge of $T$ means of Vilenkin-Fourier series with monotone coefficients of integrable functions in Lebesgue and Vilinkin-Lebesgue points. Moreover, we discuss pointwise and norm convergence in $L_p$ norms of such…

This text grew out of notes I have used in teaching a one quarter course on integration at the advanced undergraduate level. My intent is to introduce the Lebesgue integral in a quick, and hopefully painless, way and then go on to…

We investigate the regular convergence of the $m$-multiple series $$\sum^\infty_{j_1=0} \sum^\infty_{j_2=0}...\sum^\infty_{j_m=0} \ c_{j_1, j_2,..., j_m}\leqno(*)$$ of complex numbers, where $m\ge 2$ is a fixed integer. We prove Fubini's…