All Questions
Tagged with fa.functional-analysis measure-theory
738 questions
1
vote
1
answer
387
views
$L^p$ compactness for a sequence of functions from compactness of product with cut-off
Fix $p \in [1,\infty)$. Let $f_n:[a,b] \to \mathbb R$, $n \in \mathbb N$, be a sequence of $C^1$ functions. For every fixed $m\in \mathbb N^*$, suppose that the sequence of functions $$\{f_{n}\psi_m(...
- 161
2
votes
0
answers
71
views
Example of BV vector field $c$ without bounded divergence such that $u$ is bounded where $u_t + div(cu) = 0$
What is an example of vector field $c: \mathbb R_+ \times \mathbb R^N \to \mathbb R^N$ with $c \in L^1(\mathbb{R}_+, BV(\mathbb R^N))$ without bounded divergence $div_x c$ but such that there exists a ...
- 839
1
vote
1
answer
426
views
$L^p$ compactness for a sequence of functions from compactness of cut-off
Fix $p \in [1,\infty)$. Let $f_n:[a,b] \to \mathbb R$, $n \in \mathbb N$, be a sequence of $C^1$ functions. For every fixed $m\in \mathbb N^*$, suppose that the sequence of functions $$\{f_{n}\psi_m(...
- 161
1
vote
1
answer
294
views
Regarding subspace generated by the polynomial multiples of outer functions
Let $\mathbb{D}$ and $\mathbb{T}$ denote the open unit disk and unit circle in $\mathbb{C}$ respectively. We write $Hol(\mathbb{D})$ for the space of all holomorphic functions on $\mathbb{D}.$ The ...
- 31
0
votes
0
answers
107
views
Norm equivalences for Gaussian random functions (Cameron-Martin space)
Preliminaries
Consider the Hilbert space $H :={L^2_{\text{per}}(\mathbb{R})}$ of Gaussian random functions, $2\pi$-periodic in $\mathbb{R}$.
These random functions are drawn from a Gaussian measure $\...
- 101
4
votes
0
answers
117
views
If $f:U_1\to\mathcal L^p(\mu;E_2)$ is Fréchet differentiable, can we say anything about the Fréchet differentiability of $u\mapsto f(u)(\omega)$?
Let $(\Omega,\mathcal A,\mu)$ be a $\sigma$-finite measure space, $p\ge1$, $E_i$ be a $\mathbb R$-Banach space, $U_1\subseteq E_1$ be open and $f:U_1\to L$ be Fréchet differentiable at $x\in U_1$, ...
- 167
3
votes
1
answer
237
views
Measure theory on abstract Boolean ring
Since a σ-algebra in measure theory is indeed an algebra over $\mathbb{Z}_2$ with addition given by symmetric difference and multiplication given by intersection, does it mean we can put measure on ...
- 43
8
votes
1
answer
207
views
Subspaces of $L_p([0,1])$ whose unit ball is compact for the topology of convergence in measure
Any information about the following questions would be welcome.
I wonder whether there are (well-known or easy) closed and infinite dimensional subspaces of $L_p([0,1])$ ($1<p<\infty$) whose ...
- 81
2
votes
1
answer
122
views
How is this bound for a Wasserstein contraction coefficient in this paper obtained?
I'm trying to understand the following conclusion from this paper (see below for the relevant paragraphs):
I'm not sure whether they really mean that it follows from the statements of Lemma 3.2 (...
- 167
1
vote
0
answers
66
views
Outer-regular product of $\tau$-additive measures
Due to the deficiencies of the simple product measure defined on measurable rectangles, there have been many different constructions of product measures in more specialized circumstances.
Originally, ...
- 3,816
1
vote
0
answers
36
views
Does a total preorder on lotteries that preserves countable mixtures preserve arbitrary mixtures?
Let $X$ be a countable set. A lottery on $X$ is a function $\lambda: X \to [0,1]$ such that $\sum_x \lambda(x) = 1$. Let $\Delta X$ be the set of lotteries on $X$.
A total preorder $\preceq$ on $\...
- 869
4
votes
1
answer
548
views
Two definitions of $L^p$ spaces that are not always equivalent
There are two definitions of $L^p(S, \Sigma,\mu)$ in the literature. (Here $S$ is a set, $\Sigma$ is a $\sigma$-algebra of subsets of $S$ and $\mu$ is a positive measure.) The two definitions are ...
- 41
9
votes
1
answer
831
views
Baire category theorem for uncountable unions
Any compact Hausdorff space $X$ is a Baire space:
if the set $X$ is a meager set (meaning a countable union of nowhere dense subsets,
also known as a set of first category),
then $X$ is empty.
I am ...
- 37.8k
12
votes
1
answer
1k
views
Riesz–Markov–Kakutani representation theorem for compact non-Hausdorff spaces
Let $X$ be a compact Hausdorff topological space, and $\mathcal C^0 (X) = \{f:X\to\mathbb{R}; \ f \text{ is continuous }\}$. It is well known that for any bounded linear functional $\phi: \mathcal C^...
- 333
2
votes
0
answers
520
views
Example of a non-reflexive Banach space and two sequences
Let $(E,\mathcal {A}, \mu ) $ be a finite measure space and $X$ be a Banach space. The set of all Bochner-integrable functions from $E$ into $X$ is denoted by $\mathcal{L}_X^1$.
If $X$ is reflexive, ...
- 199
3
votes
0
answers
222
views
Sets of finite perimeter: intersection with an half space
I have a question regarding sets of finite perimeter. In particular I'm interested to find
$$\mu_{E \cap H_t}, \label{1}\tag{1}$$
where $E$ is a set of finite perimeter in a generic open set $\Omega \...
- 51
1
vote
0
answers
75
views
"Constructive" proof that compact sets $K\subseteq L_1(\mu\times\nu)$ are contained in products $S\widehat{\otimes} T$
A.Defant and K.Floret in chapter 7 of their Tensor Norms and Operator Ideals prove the equality
$$
L_1(\mu\times\nu)\cong L_1(\mu)\widehat{\otimes}L_1(\nu)
$$
for measures $\mu$ and $\nu$. At the same ...
- 7,426
7
votes
1
answer
377
views
Prokhorov theorem on non Polish spaces
It is well known that if $X$ is a Polish space and $\mathcal{F} \subset \mathcal{M}_+(X)$ (the set of finite positive Radon measures on $X$) is uniformly tight and bounded in mass, it is relatively ...
- 401
0
votes
1
answer
1k
views
Bounding $L^p$ norms in terms of lower-order $L^q$ norms
Suppose $f,g\in L^q(\Omega)$ ($\Omega\subset \mathbb{R}^n$) for all $1\le q\le p$. Here, $L^p(\Omega)$ is defined with respect to some measure $\mu$ that is absolutely continuous wrt Lebesgue measure. ...
- 710
1
vote
1
answer
184
views
Integrable functions as elements of closed absolutely convex hulls of precompact sets of indicator functions
I am not a specialist in measure theory, so excuse me if this is simple.
Let $\mu$ be a finite measure on a set $X$ (for example, the Lebesgue measure on $[0,1]$). Integrable functions on $X$ can be ...
- 7,426
2
votes
1
answer
156
views
Ergodic decomposition - how does restricting measure effect it? (Choquet Theory)
Suppose that $G$ is a discrete countable group and $\mu$ is an IRS (invariant random subgroup) of $G$: $\mu$ is conjugation invariant as a probability measure on the subgroups of $G$.
Since all the $...
- 181
3
votes
1
answer
143
views
Density of $C(X,\operatorname{co}\{\delta_y\}_{y \in Y})$ in $C(X,\mathcal{P}(Y))$
Let $X,Y$ be locally-compact Polish spaces, equip the set $\mathcal{P}(Y)$ of probability measures on $Y$ with the weak$^{\star}$ topology (topology of convergence in distribution), and equip $C(X,\...
- 5,405
5
votes
1
answer
363
views
Inverse marginal property of a collection of $\sigma$-algebras
In my paper "On the inverse best approximation property of systems of subspaces of a Hilbert space"
I introduced the Inverse marginal property (IMP) for a collection of $\sigma$-algebras.
Let $(\...
- 935
4
votes
0
answers
213
views
Classification of Euclidean-invariant measures?
Is there a classification of measures on $\mathbb R^n$ which are invariant under (Euclidean) isometries? Hausdorff measures of all kinds are examples -- could that be all of them? More precisely,
By ...
- 63.9k
3
votes
2
answers
370
views
Usefulness of the $\sigma(L^\infty,L^1)$ topology in the context of differential equations
In Brezis's Functional Analysis book through chapters 3-4, I've seen the $\sigma(L^\infty,L^1)$ topology on $L^\infty$ but did not see (so far) any application of it in differential equations. Is ...
- 597
0
votes
1
answer
949
views
Convergence in $L^\infty([0,T];L^2(\Omega))$
I wonder whether this fact is true or not (if a counter-example exists, please just give a hint on how to construct it!):
Let $\Omega$ be a bounded domain in $\mathbb{R}^n$. Consider a bounded ...
- 597
1
vote
0
answers
54
views
Standard definition: vector-valued essential support
Let $f \in L^p(\mathbb{R}^n,\mathbb{R}^m)$. If $m=1$ then the essential support of $f$ is a mainstream definition; see here for example. However, when $m>1$ is the following definition used?
$$
\...
- 5,405
10
votes
1
answer
1k
views
Dual space of continuous Banach-space-valued functions
Let $X$ be a Banach space and $K$ some compact Hausdorff space. I am interested in the dual space of the Banach space
$$C(K; X) = \lbrace f: K \to X, \ f \text{ is continuous}\rbrace, \qquad \lVert ...
- 381
1
vote
0
answers
45
views
Decomposition of the space of Radon measures with respect fractional harmonic capacity?
It is well know that there is a generalization of Lebesgue decomposition theorem in the following way:
Any non negative Radon measure can be decomposed uniquely into the sum of an absolutely ...
- 371
0
votes
1
answer
102
views
Law of a step function and its generalization to two dimensions on an appropriate spaces
Let's consider two discontinuous functions defined on $D$ and $D \times [0,T]$, respectively:
A step function: $u_1(x)=\begin{cases}
u_{L}, x<c_1, \\[2ex]
u_{R}, x>c_1,
\end{cases}$
A "...
- 657
1
vote
0
answers
169
views
A question about Stroock's notes on the Weyl lemma
On p.4 of these notes, D. Stroock gives a quick and efficient construction of the Markov transition functions of a certain diffusion. The idea of his construction (on page 4) is to 'freeze' the ...
- 1,461
0
votes
0
answers
99
views
Link between eigenvalues of a symmetric matrix and a functional space
Let $f_1,\dots,f_n \in L^2(\mathbb{R},\mathbb{R})$ be $n$ mutually orthogonal functions with $\int f^2_i =1$ such that $|\{x \in \mathbb{R} | f_i(x) = 0\}| = 0$ for any $i \in \{1, \dots,n\}$. Does ...
- 31
1
vote
1
answer
273
views
How to prove space of non-negative Radon measures is complete?
Let $\mathcal{M}^{+}(\mathbb{R}_{+})$ be space of non-negative Radon measures on $\mathbb{R}_{+}$ with bounded total variation and define the metric $\rho$ on $\mathcal{M}^{+} (\mathbb{R}_{+})$ as $$ \...
- 133
2
votes
0
answers
80
views
Any kind of result giving a sufficient condition for when a measure arises from the Riesz representation theorem?
Is there any sort of result known that gives a set of conditions on a measure space which are sufficient for it to be such that it arises from a linear functional on a locally compact Hausdorff space ...
- 2,125
0
votes
0
answers
145
views
“Chapman-Kolmogorov”-convolution vs. smoothness
Let $K:\mathbb{R}^n \times \mathbb{R}^n \to \mathbb{R}$ be a so-called "integral-kernel": we certainly require $K(x,.)$ and $K(.,y)$ to be Lebesgue measurable for almost all $x,y \in \mathbb{R}^n$. An ...
- 1,461
1
vote
0
answers
83
views
Embedding random variables in infinite-dimensional spaces
Let $H$ be a reproducing kernel Hilbert space of functions $f:E\to F$ with kernel $k$. A point in $E$ may be embedded into $H$ via the canonical embedding $x\mapsto k(x,\cdot)$. Similarly, a random ...
- 710
1
vote
0
answers
1k
views
Dunford-Pettis theorem
Let $\mathcal{F}$ be a bounded set in $L^{1}(\Omega)$. Then $\mathcal{F}$ has compact closure in the weak topology $\sigma(L^{1},L^{\infty})$ if and only if $\mathcal{F}$ is equi-integrable, that is,
\...
- 43
7
votes
1
answer
1k
views
Properties of convolutions
Consider the function
$$f_{n}(x)=e^{-x^2}x^n.$$
and the function
$$h_p(x):=e^{-\vert x \vert^p}.$$
My goal is to analyze
$$ F_p(y):=\frac{(f_2*h_p)(y)}{(f_0*h_p)(y)}- \left(\frac{(f_1*h_p)(y) }{(f_0*...
- 173
3
votes
1
answer
327
views
$L^1_{\mu}$ as limit
Let $(X,\Sigma,\mu)$ be a $\sigma$-finite measure space. Does there exist a countable set of finite measures $\{\mu_n\}_{n \in \mathbb{N}}$ on $(X,\Sigma)$ such that $L^1_{\mu}(\Sigma)$ can be ...
- 5,405
20
votes
2
answers
7k
views
Question about functional derivatives
This page on Wikipedia defines the so-called functional derivative as follows: "Given a manifold $M$ representing (continuous/smooth) functions $\rho$ (with certain boundary conditions, etc.) and a ...
- 3,515
3
votes
1
answer
299
views
Regularity and normal trace of "Hdiv" measures
In order to fix the ideas let me consider an open, smooth, bounded domain $\Omega\subset \mathbb R^d$.
I am wondering what can be said about a vector-valued measure $v\in \mathcal M^d(\Omega)$ with ...
- 5,380
3
votes
0
answers
255
views
How can we solve this kind of saddle point problem?
I'm trying to solve a saddle point problem of the following form: Let
$(E,\mathcal E,\lambda)$ be a measure space;
$p$ be a probability density on $(E,\mathcal E,\lambda)$ and $\mu:=p\lambda$
$W$ be ...
- 167
0
votes
1
answer
65
views
Is there a general guideline for minimizing $\sup_{y\in H}F(\;\cdot\;,y)$?
Let $H$ be a $\mathbb R$-Hilbert space and $F:H^2\to\mathbb R$. Is there a general guideline for minimizing $\sup_{y\in H}F(\;\cdot\;,y)$?
Since the question is rather abstract, feel free to impose ...
- 167
2
votes
0
answers
131
views
Can we conclude $\sup_g\int f_1g\le\sup_g\int f_2g$ from $\int f_1\le\int f_2$ in this situation?
Disclaimer: Please bear with me, the question isn't as complicated as it looks like, but I wasn't able to find any simplification for which no counterexample comes to my find.
Let $(E,\mathcal E,\...
- 167
2
votes
1
answer
280
views
Set operations over iterated function systems
An iterated function system (IFS) is a finite set of contraction mappings on a complete metric space. Symbolically,
$$\{f_i :X \to X \mid i=1,2,..n \},\quad n \in \mathbb{N}$$
is an IFS if each $...
- 21
1
vote
1
answer
185
views
Interpolation of $L^p$ spaces
Let $\Omega_x$ and $\Omega_y$ be sets of finite Lebesgue measure.
We can then look at the space $X_1:=L^2(\Omega_x \times \Omega_y).$
This space is contained in the larger space
$$X_0:=L^2(\...
user69109
9
votes
1
answer
3k
views
Is every finite Borel measure on a locally compact Hausdorff, $\sigma$-compact and separable space automatically regular?
The conditions stated in the question seem mouthful and a bit arbitrary, so let me provide some backgrounds.
Definition
Let $\mu$ be a Borel measure on a topological space. We say:
$\...
- 83
8
votes
2
answers
396
views
Best constant approximation in $L^p(\Omega)$
For $\Omega$ a bounded open set of $\mathbf{R}^d$ and $f\in L^p(\Omega)$ the infimum
\begin{align*}
\inf_{C\in\mathbf{R}} \|f-C\|_p
\end{align*}
is reached (by compactness). For $1<p<\infty$ ...
- 3,425
3
votes
0
answers
173
views
A Caratheodory-like result for infinite-dimensional simplices
Let $K$ be a compact metric space; $\Delta K$ be the set of Borel probability measures on $K$ endowed with the weak* topology; $X$ be a closed subset of $\Delta K$; and $x_0 \in \overline{\text{co}} X$...
- 537
2
votes
1
answer
135
views
A non-condensing operator with a power condensing
Let $\alpha$ to be the Kuratowski measure of non-compactness, in a Banach space $E$.
It's very easy to prove that $\alpha (D_1\times D_2)\leq \alpha (D_1)+\alpha (D_2)$, where $D_1$ and $D_2$ are ...
- 291