Skip to main content

All Questions

Filter by
Sorted by
Tagged with
32 votes
6 answers
3k views

Can distribution theory be developed Riemann-free?

I imagine most people who frequent MO have been indoctrinated into the point of view that the Riemann integral can be safely discarded once one has taken the time to develop the Lebesgue integral. ...
Paul Siegel's user avatar
  • 29.2k
10 votes
3 answers
739 views

Is there a version of Fischer-Riesz theorem for Banach space?

$( \Omega,F, P )$: a measurable space equipped with a finite measure $(B , \Vert \cdot \Vert) $ : a Banach space with $\mathcal{B}$ as its borelian $\sigma$-algebra $p$ : a constant bigger than $1$ ...
Taro Tokyo's user avatar
15 votes
3 answers
2k views

Can the Riemann integral be defined through a closure/completion process?

Let us consider real-valued functions on the bounded interval $[0,1]$. A "step function" means an element of the vector space spanned by indicator functions of (points and) intervals in $[0,1]$ (the ...
Gro-Tsen's user avatar
  • 32.5k
10 votes
0 answers
761 views

Reference request : Grothendieck's topological space valued integral

As I am learning the different kind of Banach space valued integrals (Pettis, Bochner), I know that Grothendieck made a "mémoire" in his youth about this topic, but I don't know if it is available ...
Paul-Benjamin's user avatar
3 votes
0 answers
646 views

On properties on a certain functional

Consider the following function: $$F(z) = \omega(z)\sin^2\left(\frac{c\Gamma(z)}{z}\right)$$ Here, $\omega(z)$ is a weight we have to construct and $c$ is a constant. The following three conditions ...
bambi's user avatar
  • 375
15 votes
3 answers
2k views

Riesz's representation theorem for non-locally compact spaces

Every version of Riesz's representation theorem (the one expressing linear functionals as integrals) that I have found so far assumes that the underlying topological space is locally-compact. (For ...
Alex M.'s user avatar
  • 5,407
7 votes
2 answers
464 views

Representing an $L^2$-functional by a non-$L^2$-function on a dense subspace

Let $(X, \mu)$ be your favourite measure space (finite or $\sigma$-finite if you like), let $g \in L^2$ (say, the scalar field of $L^2$ is $\mathbb{R}$, though this probably doesn't matter). Let $\...
Jochen Glueck's user avatar
5 votes
1 answer
385 views

Asymptotics of Fresnel integrals

It is known that \begin{equation*} I(p) = \sqrt { \frac {4 \mathrm{i} p} {\pi}}\int \limits _{-\infty} ^{\infty} \mathrm{e}^{- \mathrm{i} p x^2} \varphi (x) \mathrm{d}x \end{equation*} is a bounded ...
Alex M.'s user avatar
  • 5,407
5 votes
1 answer
456 views

The Bochner integral about a semigroup of bounded linear operators on a Banach space

Let $T(t)$ be a semigroup of bounded linear operators on a Banach space $X$. When does the following hold $$ \int_0^t T(s)x ds = \Big(\int_0^t T(s) ds\Big)x, \quad x \in X \, , $$ where $ t \in (0,1)$?...
Y Chen's user avatar
  • 51
4 votes
1 answer
356 views

Haar integral of rational function of unitaries

I'm trying to compute the following Haar integral over the unitary group: $$ \int\limits_{\mathbb{U}(d)}\dfrac{1}{\sum_{k,l=1}^d u_{ik}\overline{u_{il}}c_{kl}}dU. $$ Is there anything known about the ...
TheBluegrassMathematician's user avatar
4 votes
1 answer
339 views

Mikusiński's approach to Bochner integrals; replace absolute by unconditional?

In the book The Bochner Integral, Mikusiński described an approach to Lebesgue and Bochner integrals via absolutely convergent series corresponding to step functions: Defn. Let $X$ be a Banach space. ...
Willie Wong's user avatar
4 votes
3 answers
490 views

Positivity of the Coulomb energy in two dimensions

In dimensions $d\geq 3$ the Coulomb energy is always non-negative (since the Fourier transform of $\frac{1}{\|\cdot\|^{d-2}}$ is non-negative). What can one say about positivity properties of the ...
whz's user avatar
  • 255
3 votes
0 answers
160 views

Elements of vector-valued $L^1$-spaces

Let $E$ be a complete locally convex space and let $(X, \Sigma, \mu)$ be a measure space where $\mu$ is a Radon measure. Then the space $L^{1}(X,E)$ is defined as a the completion of the space $S(X,E)$...
Christian's user avatar
  • 799
2 votes
0 answers
946 views

On a deceptively tricky calculus problem

Motivation for this question: If the operators $B_i'$ satisfy an inequality, prove that $B_1'+\dots B_n'$ also satisfies the same inequality Let $A$ be a non-constant operator acting on $C^...
matilda's user avatar
  • 90
2 votes
0 answers
379 views

Is this double integral of Fourier series always real?

Consider $f(x)$ a function from $\mathbb{R^+}$ to $\mathbb{C}$ such that $f(x) \sim_0 x$ and $\int_{0}^{\infty} f(x) dx=\int_{0}^{\infty} x^2 f(x) dx=0$ Can we demonstrate that following integral is ...
Bertrand's user avatar
  • 1,199
1 vote
0 answers
877 views

Changing the order of integration of double integral: references and theorems

The Fubini's theorem states that if we have $ \int_0^{\infty} \int_0^{\infty} |f(t,x)| dt dx$ well defined (i.e. function is absolutely integrable) then we can interchange order of integration: $$ \...
Bertrand's user avatar
  • 1,199
1 vote
0 answers
233 views

Fubini: can we interchange integration order on this double integral (with Fourier series product)

Can we interchange the order of integration of following double integral ? $$I = \int_{0}^{1} \int_{0}^{\infty} F(x,y) \overline{R(x,y)} - R(x,y) \overline{F(x,y)} \; dx \; dy$$ Where $F(x,y)= \...
Bertrand's user avatar
  • 1,199
0 votes
1 answer
116 views

Integrable function [closed]

Suppose that $a, b, c_1$ and $c_2$ are real constant. Is there the necessary and sufficient conditions of $a ,b, c_1,c_2 $ for the following integration is integrable? i.e. $$\int_1^{\infty}\int_1^{\...
Xiaopai Song's user avatar