All Questions
Tagged with fa.functional-analysis integration
176 questions
3
votes
0
answers
487
views
Homeomorphism between $L^p$-spaces on metric spaces and $L^p$-spaces on Euclidean space
Setup:
Fix $p \in [1,\infty)$.
Let $(X,d_X,x_0)$ and $(Y,d_Y,y_0)$ be complete pointed metric spaces and $\mu$ be Borel. Let $E^n,E^D$ be Euclidean spaces of respetive dimensions $n$ and $D$ and ...
- 5,405
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)$...
- 799
1
vote
0
answers
123
views
Is this integral zero?
I'd like to know if one integral expression I have can be shown to be zero for all possible cases. Let me introduce some notation.
Consider $\mathfrak{g}=C^{\infty}(M)$ and the dual $\mathfrak{g}^*=\...
- 327
1
vote
1
answer
245
views
Evaluation of a double definite integral with a singularity
How to compute the
$$\int_{0}^{1} \int_{0}^{1} \frac{(\log(1+x^2)-\log(1+y^2))^2 }{|x-y|^{2}}dx dy.$$
Is it possible to compute the integral analytically upto some terms. I believe it should involve ...
- 407
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^{\...
- 119
2
votes
1
answer
300
views
Necessary and Sufficient conditions for integrable function [closed]
Suppose that $a, b$ and $c$ are constant.
Is there the necessary and sufficient conditions of $a ,b, c$ for the following integration is integrable? i.e.
$$\int_0^\infty \int_0^\infty \int_0^\infty ...
- 119
0
votes
1
answer
350
views
Uniformly Bounded (updating)
Suppose that $a_1<1$, $a_1+a_2+a_3>1.$ For $x,y,z>0,$
(1) define a fucntion
$$H(x,y,z)=\frac{x^{\frac{1}{2}}\int_0^{\infty}\frac{1}{t^{a_1}~ (1+t)^{a_2+1}~
(1+t+z)^{a_3}}\exp\big\{-\frac{...
- 119
2
votes
0
answers
219
views
Integral with product of two infinite sums
I am looking for references and results on integrals with product of two infinite sums:
$$S_1=\int_0^{\infty} \sum_{n=0}^{\infty} f(nx) \sum_{k=0}^{\infty} \overline{ g(kx)} dx$$
Above integral is ...
- 1,199
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$
...
- 406
2
votes
1
answer
425
views
Echange of Infimum Integral with Pointwise Infimum
Setup
Suppose that $U$ is a subset of $L^{\infty}_{\mu}(\mathscr{F})\cap L^1_{\mu}(\mathscr{F})$ defined by
$$
f\in U \Leftrightarrow g(f(x))\leq M \mbox{ and } f \in L^{\infty}_{\mu}(\mathscr{F})\...
- 5,405
1
vote
1
answer
245
views
Is continuity preserved under norm operations
Let $F$ be a continuously differenable function over $\mathbb{R}$. Let $\Omega$ be
a bounded subset of $\mathbb{R}^2$. Assume that for every $w\in L^2(\Omega)$ then $v(x)=F(w(x))$, $x\in \Omega$, is ...
- 395
6
votes
1
answer
381
views
Convolution with semigroup: does this belong to the Sobolev space $W^{1,1}$?
Let $X$ be a Banach space, $T(t)$ be a strongly continuous semigroup on $X$, and $f\in L^1(0,\tau;X)$. It has been implied that the integral $$v(t)=\int_0^t T(t-s)f(s)ds,\quad t\in [0,\tau]$$
is not ...
- 395
2
votes
0
answers
51
views
What restrictions on the form of an integral equation have a unique solution f=0?
We're stuck on the following question in a problem relevant to a physics paper on AdS/CFT that we are working on. Given a Fredholm equation of second kind with the form $f$+$\int_D K f\,dx = 0$, where ...
- 31
1
vote
1
answer
99
views
Compatibility of the absolute value with the integration
Let $H$ be a separable Hilbert space and $L^{1}(H)$ be the space of trace class operators on $H$.
Let $f:\mathbb{R}\to L^{1}(H)$ be a measurable function that is $t\to \operatorname{tr}(f(t))$ is ...
- 4,058
4
votes
1
answer
259
views
$L^2$-valued integral as parameter integral
Setting
Let us regard the Hilbert space $L^2(0,1)$ and the $C_0$-semigroup $(T(t))_{t\geq 0}$ defined by
$$
T(t):\left\{
\begin{array}{rml}
L^2(0,1) & \to & L^2(0,1), \\
[f]_{\sim} &\...
2
votes
2
answers
270
views
An inner product on the vector space $\mathbb{R}[x_1,\cdots,x_n]_m$
For any given integers $m,n\geq1$, let $\mathbb{R}[x_1,\cdots,x_n]_m$ be the vector space of homogeneous polynomials of degree $m$ in $x_1,\cdots,x_n$ over the field of real numbers $\mathbb{R}$. ...
- 1,997
1
vote
0
answers
74
views
If $f$ takes values in $L(H,L(H,\Bbb R))$ and $μ$ is a $H\hat ⊗_πH$-valued measure, how are $\int f\:dμ$ and $\int f⊗_π\text{id}_Hdμ$ related?
Let
$H$ be a separable $\mathbb R$-Hilbert space
$H\:\hat\otimes_\pi\:H$ denote the projective tensor product of $H$ and $H$
$(\Omega,\mathcal A)$ be a measurable space
$\mu$ be a $H\:\hat\otimes_\pi\...
- 167
1
vote
1
answer
642
views
Interchange of integration order (of a not absolutely convergent integral with sinus)
Can we interchange the integral order of this integral to start integration on $x$ ? (Taking $g$ and $f$ two functions of rapid decrease which are $o(x^2)$ near zero)
$$A=\int_{0}^\infty \int_0^{\...
- 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:
$$ \...
- 1,199
2
votes
1
answer
315
views
Can it be proved that $f$ is integrable?
Let $x$ be a differentiable function on $\mathbb{R}$. I want to prove that for any time $t \geq t_0$
\begin{equation}
\frac{1}{2} D^{\alpha} x^2(t) \leq x(t) D^{\alpha} x(t), \ \ \forall \alpha \...
- 31
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 ...
- 32.5k
1
vote
1
answer
178
views
Bochner integrability within a subspace
Let $(H,||\cdot||_H)$ be a Banach space and $K$ a (not necessarily closed) subspace. Suppose that $K$ is a Banach space under another norm $||\cdot||_K$, which satisfies
$$||x||_H\leq ||x||_K$$
for ...
- 1,903
1
vote
0
answers
233
views
Bochner integrals with values in a Hilbert $A$-module
I'm wondering whether there exists a generalisation of Bochner integration with values in a Hilbert $A$-module $M$, where $A$ is a general $C^*$-algebra rather than $\mathbb{C}$ (and whether there are ...
- 1,903
3
votes
1
answer
1k
views
Interchange of sum and integral (on a "Poisson summation")
Consider $f(x)$, a rapidly decreasing function, such that $\int_0^{\infty} f(x)=0$ and for $x$ near zero: $f(x)=O(x^a)$ (wit $a>0$).
Can we interchange the sum and integral and write as below:
$$\...
- 1,199
1
vote
1
answer
536
views
Incoherence of Fubini therorem with integral on Fourier series
I ask this question because of the apparent incoherence of the value of following integral:
$$I=\int_{0}^{1} \int_{0}^{\infty} \left|\sum_{n=1}^{\infty} f(nx) e^{2 i \pi n y} \right|^2 dx dy$$
...
- 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)= \...
- 1,199
16
votes
1
answer
727
views
Integrating a family of vector spaces
Let $X$ be a measure space, or even a subspace of $\mathbb{R}^n$, and suppose I have a family of finite-dimensional vector spaces $\{V_x\}_{x\in X}$ indexed by $X$. Is there any way to "integrate" ...
- 66.8k
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 ...
- 1,199
4
votes
0
answers
349
views
Fractional integral inequality (Hardy-Littlewood-Sobolev)
I am investigating the following integral
\begin{equation}
I^*(x) = \int_{\mathbb{R}} \frac{f(y) \ln |y-x| }{|y - x|^{\mu}} \, dy
\end{equation}
where $f \in L_p(\mathbb{R})$, $ 1 < p < q <...
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)$?...
- 51
1
vote
1
answer
287
views
Interpolation between $L^1$ and $L^2$ spaces
I was wondering whether the following interpolation between $L^1$ and $L^2$ spaces is true:
Let $f \in \mathbb{R}^n$ be such that
$$ \alpha_1:= \int_{\mathbb{R}} \left\lVert f(x_1,\cdot,....\cdot) \...
- 175
3
votes
0
answers
103
views
Extension of the Gagliardo Inequality
The Gagliardo Inequality generalizes Fubini's Theorem: let $f_j$ be $d-1$ non-negative measurable functions over ${\mathbb R}^{d-1}$. Let us form the function
$$f(x)=\prod_{j=1}^df_j(\widehat{x_j}),$$
...
- 52.3k
9
votes
2
answers
1k
views
On the definition of "almost-everywhere" for non-complete measure spaces
If $(X,\mathcal{B},\mu)$ is a (non-necessarily complete) measure space, we can give two different notions of a property $P(x)$ that is true almost-everywhere :
(D1) There is a measurable set $A$ ...
- 549
3
votes
1
answer
146
views
Radial Kernel with Bounded Support and Norm of Gradient Bounded by a Dimension-free Constant
I was wondering if it is possible to construct a compactly supported radial kernel function in $\mathbb{R}^d$ such that the norm of the gradient is bounded by some dimension-free constant. That is, ...
- 1,127
-1
votes
1
answer
227
views
Solving the integral identity $ \int_{a}^{b} f(x)dx = \int_{a}^{b} f(x)g(x)dx. $ [closed]
We know that 0 is the additive identity and 1 is the multiplicative identity. In the same spirit let us define the integral identity as follows.
Definition: Let $f(x)$ be integrable in $(a,b)$. If ...
- 5,470
1
vote
1
answer
227
views
Formula for an integration on $\mathbb{Q} \cap [0,1]$
In order to work with functions defined on $\mathbb{Q} \cap [0,1]$ I would like to define an adapted "integration" formula on this set. I though that following definition could be interesting:
$$ \...
- 1,199
1
vote
1
answer
187
views
Definite intergal with two K-Bessel functions and x
I would like to calculate the definite integral with K-Bessel funcitons and a and b complex (n and k integers):
$$\int_{0}^{\infty} x \;K_{a}(nx) \; K_{b}(kx) \; dx$$
I could not find it in ...
- 1,199
3
votes
1
answer
199
views
A linear functional on $C(K)^*$ continuous on each $L_1(\mu)$
I asked this at math.stackexchange, but nobody answered.
Let $K$ be a (Hausdorff) compact topological space, ${\mathcal C}(K)$ the usual Banach space of continuous functions $x:K\to{\mathbb C}$, ${\...
- 7,426
0
votes
1
answer
179
views
Dense subspaces of $L^p(0,T;X)$
Given a Banach space $X$ and $1\leq p<\infty$, let's define the space $L^p(0,T;X)$ as the set of all strongly measurable functions $f:(0,T)\mapsto X$ such that
$$\int_0^T\Vert f\Vert_{X}^pdt<\...
- 1
6
votes
0
answers
216
views
Integral-like concepts
I am looking for interesting concepts (I guess you could say functionals from the function space $[a;b]\to\mathbb R$) that are like integrals in some respect.
The background is that I have proven a ...
- 1,241
0
votes
1
answer
193
views
$\int_{R^2}\varphi(x)d\mu(x)=0$ $\Leftrightarrow$ $\sum_{n\in \mathbb Z^2} d\mu(x-2\pi n)=0$
Let $\mu$ be a finite measure supported by $\Gamma $ (a smoth finite curve) and absolutely continuous with respect to the length measure on $\Gamma$ such that $\Gamma \cap (\Gamma+x)$ is a finite ...
7
votes
1
answer
504
views
Is $L_q(X^*)$ complemented in $(L_p(X))^*$?
Let $X$ be a Banach space and let $p\in (1,\infty)$. If $q$ denotes the conjugate exponent to $p$, then $L_q(X^*)$ is easily seen to be isometric to a subspace of $(L_p(X))^*$ via the map $$f\mapsto \...
- 11.3k
6
votes
1
answer
223
views
Is the space of vectorial functions that are Dunford integrable complete?
Let $X$ a Banach Space and $(\Omega, \Sigma, \mu)$ a measure space. A function $F:\Omega\rightarrow X$ is Dunford integrable if $x^\ast\circ F$ is $\mu$-integrable for every $x^\ast\in X^\ast$. The ...
1
vote
1
answer
1k
views
Criterion for Convolution Operator to be Compact
I don't have any real background in functional analysis, so I was wondering if there is a nice sufficient condition or criterion for a convolution operator (say on $L^2\left([a,b] \times [a,b]\right) )...
4
votes
1
answer
215
views
Dual cone of 'positive' Bochner integrable functions
If we consider the space of integrable functions $L^1([0,1];\mathbb{R})$, it can be ordered by the convex cone of positive integrable functions $L^1([0,1];\mathbb{R}_+)$. It is known that the ...
- 283
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 ...
- 5,407
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 ...
- 1,616
1
vote
0
answers
125
views
Convergence of solutions of the volterra integral equation with convergent kernels
Consider the following Volterra integral equation
$$
g(t) = \int_0^t K_n(t,s)w_n(s) ds
$$
where g(t) and K_n(t,s) are continuous and $K_n(t,s)\geq K_{n+1}(t,s)$ for all $t,s$. Moreover, $K_n(t,s)$ ...
- 111
1
vote
0
answers
163
views
Reference : Special case of Banach-valued function integration by parts
Let $u \in L^p (0,T; L^1(\Omega))$ with $\partial_t u \in L^p(0,T; L^1(\Omega))$ and $v \in L^q (0,T; L^\infty(\Omega))$ with $\partial_t u \in L^q(0,T; L^\infty(\Omega))$ (with $1/p+1/q=1$ and $p \in ...
- 171
3
votes
0
answers
187
views
An upper bound for a average of a function in $L_{p}([0,1))$
Suppose that $ f $ is $ 1 $-periodic and that $ f \in {L^{p}}([0,1) $, where $ p > 1 $. Let
$$
(D_{n})_{n \in \mathbb{N}_{0}} =
\left( \left\{
I^{n}_{j},~
1\leq j \leq 2^{n} \}
\right\} \right)_{n ...
- 103