All Questions
Tagged with fa.functional-analysis measure-theory
738 questions
1
vote
1
answer
247
views
Equivalent notion of approximate differentiability
Is it true that the definition of approximate differentiability presented here of a function $f: \mathbb{R}^N \to \mathbb{R}$ is equivalent to the following one?
$$\lim_{r \to 0} \rlap{-}\!\!\int_{...
- 839
1
vote
1
answer
134
views
Operator power of another operator
I was reading a paper and encountered the following notation:
Let $\mathcal{H}=\ell^2(\mathbb{Z})$ and $\{e_p\}_{p\in \mathbb{Z}}$ be an orthonormal basis of $\mathcal{H}$.Define
$$ue_p=e_{p+1}\quad ...
- 121
1
vote
1
answer
52
views
Infinitely many independent functions that are only frequency localized?
A function $f \in L^2(\mathbb R^d)$ will be called $K$-frequency localized if the following inequality holds
$$\int_{\mathbb R^d} \lvert \widehat{f}(x) \rvert^2 x^2 \ dx \le K \int_{\mathbb R^d} \...
- 11
1
vote
1
answer
201
views
Existence of a certain norm on space of measurable functions
Suppose $X$ is a measure space with measure $\mu$. Given a strictly increasing continuous (or sufficiently nice) function $\phi:[0, \infty)\to [0, \infty)$ with $\phi(0)=0$. Is it true that we can ...
- 13
1
vote
1
answer
91
views
Design measure, which cannot be factorized as a product of measures
Let $\mathcal{S}_x$ and $\mathcal{S}_y$ be a finite discrete sets, such that
$$
0 < |\mathcal{S}_x| < \infty, \qquad 0 < |\mathcal{S}_y| < \infty, \qquad \mathcal{S}_x \cap \mathcal{S}_y =...
- 181
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
1
vote
1
answer
114
views
Reference request: regularity of functionals on the space of probability measures
Let $\mathcal M=\mathcal M(\mathbb R^d)$ be the space of finite measures on $\mathbb R^d$, and $\mathcal P=\mathcal P(\mathbb R^d)\subset\mathcal M$ be the space of probability measures. Let $F:\...
- 1,835
1
vote
1
answer
237
views
Could I affirm that $f$ is not identically 0?
Consider the following situation: Let $\Omega =l^{\infty}(\mathbb{R})$ be the
space of all bounded sequences of real numbers. We will consider in $\Omega$ the metric:
$
d(x,y)=\sum_{i\geq 1}\frac{|...
user11178
1
vote
1
answer
720
views
Question about uniform continuity under Skorokhod Metric
Let $D=D([0,1], \mathbb{R})$ be the space of cadlag functions $x$ with $x(0)=0$ and $x$ is continuous on $1$. If we endow $D$ with Skorokhod Metric, see:
http://en.wikipedia.org/wiki/C%C3%A0dl%C3%A0g ...
- 1,835
1
vote
1
answer
396
views
Density of certain functions in $C_c^\infty(0,T;V)$ in the space $W(0,T) \approx H^1(0,T;V)$?
EDIT: I need to think more about the question I want to ask given comments in the answer below. Please close the thread if required. I leave it undeleted because answer is useful.
Let $V \subset H \...
- 11
1
vote
1
answer
142
views
Linear Maps between $L^1$-spaces of singular measures
I posted the following question also here, but thought that I can get more answers in MO.
Let $(\Omega,\Sigma)$ be a measurable space and $\nu_1$, $\nu_2$ two probability measures on it. For $i=1,2$, ...
- 13
1
vote
1
answer
931
views
Finding a counter example for Minkowski's integral inequality for $p=\infty$ [closed]
Dear All,
As we know that this following Miskowski's integral inequality is true for $1\leq p<\infty$
$
[\int_{S_1}|\int_{S_2}F(x,y)d\mu_1(x)|^pd\mu_2(y)dy]^{1/p} \leq \int_{S_2}[\int_{S_1}|F(x,y)...
- 51
1
vote
0
answers
176
views
If $f \in L^p(\Omega)$, then $f \in L^q(\Omega)$ for some $q < p + \epsilon$?
Loosely speaking, I would like to know whether membership in some Lebesgue space $L^p$ is stable under small perturbations of the exponent $p$.
Let $\Omega \subseteq \mathbb R^n$ be a bounded domain ...
- 641
1
vote
0
answers
59
views
Gaussian Hypercontractivity of Chaos based on Gaussian with value in Hilbert spaces?
The classical Gaussian hypercontractivity is stated as following: Suppose $\xi$ is a Gaussian variable and $H_n(\xi)$ is the space of n-th homogeneous Wiener chaos constructed from $\xi$, then for any ...
- 253
1
vote
0
answers
105
views
Let $A:=\{f\in C^1(\mathbb{R}): \hat{f}, \hat{f'} \in L^1(\mathbb{R})\}$. Schwartz space is dense in $A$ wrt $\|f\|:= \|\hat{f}\|_1+\|\hat{f'}\|_1$?
Let $A:=\{f\in C^1(\mathbb{R}): \hat{f}, \hat{f'} \in L^1(\mathbb{R})\}$, where $\hat{f}$ is the Fourier transform of $f$. Then is it true that Schwartz space $\mathcal{S}(\mathbb{R})$ is dense in $A$ ...
- 29
1
vote
0
answers
101
views
If we have $\mu_{xy}$, why can we only construct the spectral measure if $\| \mu_{xy} \| \le \| x \| \|y \|$?
Definitions
Representation
Let $X \subset \mathbb{C}^N$ and $\mathcal{A}$ be an algebra in $\mathcal{C}(X)$. Also, we denote $L(H)$ as the set of all linear operators on HIlbert space $H$.
We call $\...
- 63
1
vote
0
answers
87
views
$f \in L^2(X\times Y,\mu \times K)$ for Kernel $K$, is the map $X \ni x \mapsto (f(x,\cdot),x) \in \bigsqcup_{x \in X}L^2(Y,\Sigma_Y,K_x)$ measurable?
Let $(X,\Sigma_X)$ and $(Y,\Sigma_Y)$ be two measurable spaces, let $\mu$ be a measure on $(X,\Sigma_X)$, and let $(K_x)_{x \in X}$ be a transition kernel from $(X,\Sigma_X)$ to $(Y,\Sigma_Y)$, that ...
- 309
1
vote
0
answers
80
views
Weak$^\ast$ closure of a countably complete sublattice of the unit ball of $L^\infty(\Omega, \mu)$
This is a reframing of my previous question from a Banach lattice perspective: Does weak $L^2$ approximation implies $L^2$ approximation under a condition similar to convexity? The previous question ...
- 2,830
1
vote
0
answers
169
views
Generalization of Borel functional calculus
[Repost from https://math.stackexchange.com/questions/4802593/generalization-of-borel-functional-calculus]
Let $A$ be a normal operator on a Hilbert space $V$. The continuous functional calculus gives ...
- 95
1
vote
1
answer
100
views
Does convergence of Radon transforms of a sequence of probability distributions implies convergence of the distributions themselves?
Let $P_1,P_2,\ldots $ be a sequence of absolutely continuous probability measures on $\mathbb R^n$, and let
$f_j:\mathbb R^n\to\mathbb R$ be their PDFs. Assume that $\operatorname{E}P_j = 0$ and $\...
- 13
1
vote
0
answers
73
views
Is $L^p_\text{loc} (Y)$ dense in $(L^0(Y), \hat \rho)$?
Below we use Bochner measurability and Bochner integral. Let
$(Y, d)$ be a separable metric space,
$\mathcal B$ Borel $\sigma$-algebra of $Y$,
$\nu$ a $\sigma$-finite Borel measure on $Y$,
$(Y, \...
- 657
1
vote
0
answers
50
views
Is there $r>0$ such that the norm $[f]_r:=\sup_{n \ge 1} \|1_{B(y_n, r)} f\|_{L^p}$ is equivalent to $\|f \|:=\sup_{y \in Y}\|1_{B(y,1)}f\|_{L^p}$?
Below we use Bochner measurability and Bochner integral. Let
$(Y, d)$ be a separable metric space,
$\mathcal B$ Borel $\sigma$-algebra of $Y$,
$\nu$ a $\sigma$-finite Borel measure on $Y$,
$(E, |\...
- 657
1
vote
0
answers
94
views
Convex combination of positive mean-ergodic operators
Let $T_1,T_2:L^1([0,1],\mathrm{d}x)\to L^1([0,1],\mathrm{d}x)$ be positive mean-ergodic operators such that:
For every $h:[0,1]\to \mathbb{R}_+$ we have that
$$\int_0^1 T_1 h(x)\mathrm{d}x = \int_0^1 ...
- 333
1
vote
0
answers
99
views
Proving more stronger fomula for discrepancy of a sequence [closed]
I am reading famous book about uniform distribution of sequences by Kuipers and Niederreiter and have questions about solving below exercise from that book. Before going to main exercise I will write ...
- 111
1
vote
0
answers
89
views
Domain where the fractional Laplacian operator is a closed operator
Consider the fractional Laplacian defined by
$$(-\Delta)^s u(x) = P.V. \int_{\mathbb{R}^N} \frac{u(x) - u(y)}{|x - y|^{N + 2s}}dy, \ s \in (0,1).$$
Also consider that
$$D((-\Delta)^s) = \{u \in H^s(\...
- 111
1
vote
0
answers
140
views
Does a Borel transform uniquely determine a Borel measure?
It is a known fact that Borel measures are uniquely determined by their Fourier transforms. This is the motivation for the following question.
I came across the concept of a Borel transform of a Borel ...
- 3,515
1
vote
0
answers
93
views
About vector valued measure algebras
Let $G$ be a locally compact group and $A$ be a Banach algebra. By $L^1(G,A)$ and $M(G,A)$ we denote the $A$-valued group, and measure algebra.
Is $M(G,A)$ a Banach algebra (with convolution as the ...
- 2,118
1
vote
0
answers
96
views
Dynamical formulation of the 2-Wasserstein distance for *discrete* matrix-valued measures
TL;DR: I want to find a definition generalizing "$t \mapsto \frac{1}{m} \sum_{k = 1}^{m} \delta_{x_k(t)}$ is a Wasserstein gradient flow" to matrix-valued probability measures.
Let $(X, d)$ ...
- 67
1
vote
0
answers
78
views
Measure preserving maps of pseudo-Lebesgue measure in infinite-dimensional vector space
Let $I =([0,1),\mathcal{B},\lambda)$ stand for the unit interval with a Lebesgue measure constrained on it. This is just a uniform probability distribution, an infinite power $I^{\infty}$ is a well ...
- 519
1
vote
0
answers
180
views
Generalizations of Fubini-Tonelli's theoem
Fubini-Tonelli's theorem: If $(X, A, \mu)$ and $(Y, B, \nu)$ are $\sigma$-finite measure spaces and $f: X\times Y \to [0,\infty]$ is a measurable function, then
$$ \int _{X}\left(\int _{Y}f(x,y)\,{\...
- 11
1
vote
0
answers
74
views
"N-waves" (source-type solutions) for Hamilton-Jacobi equation $v_t + (v_x)^2 = 0$
Let us consider the Burgers equation
$$u_t + (u^2)_x = 0$$
In
Liu, Tai-Ping; Pierre, Michel, Source-solutions and asymptotic behavior in conservation laws, J. Differ. Equations 51, 419-441 (1984). ...
- 839
1
vote
0
answers
177
views
Building random homeomorphisms of the torus $\mathbb T^2$
In https://arxiv.org/abs/0912.3423, a family of random homeomorphisms of the circle is constructed. Main Question: Can the construction be generalized to higher space dimensions, e.g. to $\mathbb T^2$?...
- 101
1
vote
0
answers
96
views
Building random homeomorphisms of the circle
Given a positive Borel measure without atoms $\tau$ on the circle $\mathbb T =\mathbb R /\mathbb Z =[0,1)$ , in https://arxiv.org/abs/0912.3423 a homeomorphism $h:[0,1)\to [0,1)$ is defined as
\...
- 101
1
vote
0
answers
37
views
If $(\kappa_t)_{t\ge0}$ is a Markov semigroup with invariant measure $μ$, under which assumption is $t\mapsto\kappa_tf$ measurable for $f\in L^p(μ)$?
Let
$(E,\mathcal E)$ be a measurable space;
$(\kappa_t)_{t\ge0}$ be a Markov semigroup on $(E,\mathcal E)$;
$\mu$ be a finite measure on $(E,\mathcal E)$ which is subinvariant with respect to $(\...
- 167
1
vote
0
answers
64
views
Characterization of elements of Hardy Space
Let $\Omega\subset\mathbb{C}^n$ be a $C^{\infty}$ bounded domain. Let $H^2(\partial\Omega)$ denote the Hardy space, and $S(.,.)$ denote its Szego Kernel. We know that
$$
\forall f\in H^2(\partial\...
- 63
1
vote
0
answers
98
views
Weak convergence of measures and compact sets
Let H be a separable Hilbert space. Let L be a Hilbert-Schmidt operator from H to H, such that its image is dense in H. This allow one to take the basis of eigenfunctions of $L$: $\{\phi_i\}_{i=1}^\...
- 63
1
vote
0
answers
135
views
Description of state space of $C(K,M_n)$?
Edit: closed convex hull added.
I am trying to understand the state space of $C(K,M_n)=C(K)\otimes M_n$ for $K$ a compact space.
My guess would be that these are the closed convex hull of states on $C(...
- 598
1
vote
0
answers
292
views
Developing measure theory through $\delta$-rings
I am scratching my head trying to understand the notion of measurability in Fell's and Doran's book: Representations of (star)-algebras, locally compact groups, and Banach (star)-algebraic bundles.
...
- 155
1
vote
1
answer
141
views
Averaging and fractional Laplacian
Let $u,\phi:\mathbb R \to \mathbb R$ be smooth functions and $\Omega_\epsilon$ be a bounded domain in $\mathbb R$ with diameter $\epsilon>0$ (consider for exaple the ball $B_{\epsilon/2}(0)$). Is ...
- 839
1
vote
0
answers
133
views
Subspace of RKHS generated by kernel mean embeddings
Suppose $\mathcal{H_k}$ is a reproducing kernel Hilbert space (RKHS) with reproducing kernel $k: \mathcal{X} \times \mathcal{X} \rightarrow \mathbb{R}$. I am looking for results characterising the ...
- 93
1
vote
0
answers
90
views
Dual of essentially compactly supported functions on a hemi-compact Radon space
Let $X$ be a hemicompact Radon space and fix a $\sigma$-finite Radon measure $\mu$ on $X$. Let $L(X_n)$ denote the subspace of $L_{\mu}^1(X)$ of "functions" which are $\mu$-essentially ...
1
vote
0
answers
191
views
Dual of union of Reproducing Kernel Hilbert Spaces
I have a union of Reproducing Kernel Hilbert Spaces $\mathcal{B}$. I am interested in finding the dual of $\mathcal{B}$. Knowing what the dual is might help to write an alternate formulation for the ...
- 171
1
vote
0
answers
280
views
On measurability of certain group actions on spaces of bounded measurable functions
Let $\mathcal{H}$ be a separable Hilbert space equipped with a strongly continuous unitary representation of a locally compact group $G$. Denote by $\mathcal{L}^{\infty}(H)$ the space of the bounded ...
- 505
1
vote
0
answers
306
views
Gaussian measures on infinite dimensional spaces
On Zabczyk & Da Prato book about infinite dimensional SDEs they introduce the idea of Gaussian measures in infinite dimensional Banach spaces. They do so by means of Fernique theorem.
In the ...
- 515
1
vote
0
answers
77
views
Is there a term for a linear operator on an $L^p$ space that "locally respects boundedness"?
Let $X$ be a Polish space, and $\mu$ a locally finite measure. Take any $p \in \{0\} \cup [1,\infty)$. We will say that a linear operator $T \colon L^p(\mu) \to L^p(\mu)$ has property $(\ast)$ if ...
- 708
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
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
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
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