All Questions
155 questions
2
votes
1
answer
395
views
Existence of integral kernel
I know the following statement ture.
Let $T \in B(L^1(\mathbb{R}^d), L^\infty(\mathbb{R}^d))$, where $B(X, Y)$ denotes all bounded linear operoters from $X$ to $Y$.
Then, $T$ has the integral kernel $...
- 6,035
14
votes
2
answers
2k
views
Is this property equivalent to Lusin's property (N) for continuous functions?
A function $F:[0,1]\rightarrow\mathbb{R}$ satisfies Lusin's (N) property if for every measure zero set $A\subseteq [0,1]$, $F(A)$ has measure zero. (This includes the assertion that $F(A)$ is ...
2
votes
0
answers
115
views
Showing that for measurable $\Omega \subseteq \mathbb{R}^n$, $L^1(\Omega; C_0(\mathbb{R}^n))$ is separable
Here we're integrating "Banach-valued" functions $u: \Omega \rightarrow C_0(\mathbb{R}^n))$ , and by $u \in L^1(\Omega; C_0(\mathbb{R}^n))$ I mean that
$$\int_{x \in \Omega} \| u(x) \|_{\...
- 35.5k
0
votes
1
answer
86
views
Kolmogorov entropy of a subset of $L^1$
How can we estimate the Kolmogorov $\epsilon$-entropy
$$H_\epsilon (A,L^1(\mathbb R))$$
where
$
A = \{f:\mathbb R \to [0,K] \text{ s.t. $f \in L^1$ and has total variation $TV(f) \le M$}\}
$?
- 128k
0
votes
1
answer
169
views
Convergence in weak dual topology $\sigma(L^\infty, L^1)$
Let $f\in L^\infty(\mathbb{R})\cap C(\mathbb{R})$, that is $f$ is continuous and bounded on $\mathbb{R}$. Let $S_r$ denote the shift by $r\in \mathbb{R}$: $S_r f=f(\cdot-r)$.
Suppose $S_{r} f $ ...
- 42.8k
-1
votes
1
answer
114
views
Interpolation inequality $\int_{\mathbb R} u^3 dx \le \int_{\mathbb R} (u')^2 dx + \int_{\mathbb{R}} u^2 dx$ [closed]
Let $u \in C^\infty(\mathbb R)$. Is it true that the following interpolation inequality holds?
$$\int_{\mathbb R} u^3 dx \lesssim \int_{\mathbb R} (u')^2 dx + \int_{\mathbb{R}} u^2 dx$$
- 128k
2
votes
0
answers
89
views
Prove integral inequality for divergence-free vector fields
Let $u$ be a divergence-free vector field $u:\mathbb R^n \to \mathbb R^ n$. Does the following inequality hold?
$$\Big( \int_{\mathbb R^n} |u|^2 dx\Big)^2 \le C\Big(\int_{\mathbb R^n} |u|^2|x|^2 dx \...
- 839
0
votes
1
answer
188
views
a question about vector valued Banach spaces
I wonder the difference between $L^1(\mu\times\nu)$ and $L^1(\mu;L^1(\nu))$, as if partial derivatives can be exchanged with integration in the second spaces in many articles. In Folland's real ...
- 2,472
2
votes
0
answers
100
views
What is the weak limit of $f_n \ \mathrm{sign}(f_n - 1)$ if $f_n \to f$ weakly in $L^p([0,1])$?
Let $f_n: [0,1] \to \mathbb R$ be a uniformly bounded sequence in $L^p$. Then there exists a subsequence such that $f_{n_k} \to f$ weakly in $L^p([0,1])$. What is the weak limit of the sequence of ...
- 217
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(...
- 6,035
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(...
- 2,670
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 ...
- 37.8k
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 ...
- 37.8k
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 ...
- 3,768
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^...
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
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. ...
- 12.9k
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 ...
- 6,367
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*...
CommunityBot
- 1
40
votes
5
answers
10k
views
Is there a natural measures on the space of measurable functions?
Given a set Ω and a σ-algebra F of subsets, is there some natural way to assign something like a "uniform" measure on the space of all measurable functions on this space? (I suppose first ...
- 4,713
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(\...
- 39.1k
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:
$\...
- 29.8k
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 ...
CommunityBot
- 1
4
votes
1
answer
228
views
Haar-null union of dense subsets
Let $\{X_i\}_{i \in \mathbb{R}-\{0\}}$ be a set of subsets of a separable infinite-dimensional Fréchet space $X$ and $I$ be uncountable. Moreover, suppose that
(Dense $G_{\delta}$) $X_i$ is a dense ...
- 41.9k
3
votes
2
answers
410
views
Is a bounded sequence of $H^1(\Omega)$ tight?
Assume $\Omega$ is a bounded subset of $\Bbb R^d$ and $ (u_n)_n$ is a bounded sequence of the Sobolev space $H^1(\Omega)$.
Question: Can we say that $ (u_n)_n$ is tight in $L^2(\Omega)$ namely: ...
- 3,425
0
votes
1
answer
133
views
Product of sets with the Radon-Nikodym Property (RNP)
I have read that it is somewhat well-known that if two Banach spaces $X$ and $Y$ have the Radon-Nikodym Property (RNP), then their product $X\times Y$ also has the RNP.
Does the above result ...
- 59
1
vote
1
answer
83
views
Reference request for (weak*) metrizability of a bounded space of signed Radon measures on a compact set
I know the following is true and I know how to prove it (cf. exercise 50 on page 171 in Folland, Theorem 7.18 in Folland), but per my adviser's instructions, it would be better to find a source to ...
- 29.8k
2
votes
1
answer
307
views
Box counting dimension of a set and Lipschitz functions
If $f$ is Lipschitz, then the following holds for the Hausdorff dimension:
$$\dim_H f(A) \le \dim_H A.$$
Is the same true for the box counting dimension?
- 14.2k
2
votes
1
answer
258
views
Control the oscillation of a function by its total variation
Is it possible to control the oscillation of a BV vector field $u:\mathbb R^N \to \mathbb R^N$ at a point $x_0$ by the total variation of $u$?
- 28k
6
votes
1
answer
575
views
Sub-Gaussian decay of convolution of $L^1$ function with Gaussian kernel
I think it might be helpful to put the new statement at the beginning and put the original post at the end. This new statement is more mathematically elegant.
Let $f\geq0$ be in $L^1(\mathbb{R}^d)$ ...
- 14.2k
1
vote
0
answers
92
views
Alberti rank-one theorem and reduction of the study of BV function to the two-dimensional case
By Alberti rank-one theorem, could it be possible to reduce the study of a function $u \in BV(\mathbb{R}^N, \mathbb{R}^N)$ to the study of a function $\tilde{u} \in BV(\mathbb{R}^2, \mathbb{R}^2)$? At ...
CommunityBot
- 1
1
vote
1
answer
92
views
Limit of doubly indexed functions
Let $(\Omega,\mu)$ be a $\sigma$-finite measure space and $f_{n,j}$ be a doubly indexed sequence of positive functions in $L^p(\Omega),$ $1<p<\infty.$ Suppose $f_{n,j}$ converges pointwise a.e. ...
- 128k
2
votes
1
answer
328
views
Hausdorff dimension of the graph of a BV function (in 1 dimensional setting)
Let $u: \Omega\subset \mathbb{R} \to \mathbb{R}$ be a function of bounded variation.
Question 1.
How can we prove that the Hausdorff dimension of the essential graph of $u$ equal to $1$?
Question ...
- 23.2k
6
votes
1
answer
2k
views
Sobolev functions on $\mathbb{R}^N$ cannot be discontinuous on a $(N-1)$-dimensional submanifold
How can one prove (or where can I find a proof) that if $u \in W^{1,p}(\Omega)$, where $\Omega \subset \mathbb{R}^N$, then $u$ cannot have a $(N-1)$-manifold of discontinuity points?
- 28k
5
votes
1
answer
500
views
Hausdorff dimension of the graph of a BV function
Let $u: \Omega\subset \mathbb{R}^N \to \mathbb{R}^M$ be a $BV$ function.
Is the Hausdorff dimension of the graph of $u$ equal to $N$? How can we prove it?
Update.
In an answer to this post, it ...
- 839
1
vote
1
answer
154
views
BV function with absolutely continuous divergence
Let $f:\Omega \subset \mathbb{R}^N \to \mathbb{R}^N$ be a vector field such that $f \in BV(\Omega)$.
Suppose that $\mathrm{div} f$ is absolutely continuous with respect to the Lebesgue measure and ...
- 52.3k
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_{...
- 1,277
3
votes
0
answers
200
views
Largest weak(-like) topology with respect to which continuous functions are dense in the space of Borel functions
Let $X$ denote the space of bounded Borel functions $f\colon [0,1] \to \mathbb{R}$. Let $M$ denote the space of finite Borel measures on $[0,1]$. What is the largest family $F \subset M$ such that for ...
- 24.2k
7
votes
1
answer
856
views
Compactness of set of indicator functions
Let $\chi_A(x)$ denote an indicator function on $A\subset [0,1]$. Consider the set
$$K=\{\chi_A(x): \text{ A is Lebesgue measurable in }[0,1]\}.$$
Is this set compact in $L^\infty(0,1)$ with respect ...
- 5,005
8
votes
2
answers
644
views
Given any sequence of interpolating nodes, can we find a continuous function $f$ whose interpolating polynomials doesn't converge to $f$ point-wise
Let $[a,b]$ be an interval in real line . Given any function $f:[a,b]\to \mathbb R$ and set $A \subseteq [a,b]$ of size $n+1$, there exists a unique polynomial $p_{f,A,n}(x)$ of degree $n$ such that $...
- 101
4
votes
1
answer
597
views
Meaning of Alberti rank-one theorem
Heuristically what does Alberti's rank-one theorem imply about the structure of a $\mathrm{BV}$ vector field $\boldsymbol{b}$?
Is it rigorously fair to say that the level lines of $\boldsymbol{b}$ ...
- 16.2k
2
votes
1
answer
240
views
A measure of noncompactness by a convex function
Let $E, \left \| \right \|$ be a Banach space, $\mathfrak{M}_E$ indicate a family of all nonempty bounded subset of $E$, $\mathfrak{N}_E$ the familly of all relatively compact sets, and $Ker \mu=\{X\...
- 291
4
votes
1
answer
151
views
Find $p$ s.t. there is a sequence of nodes in $[0,1]$ s.t. sequence of interpolating polynomials of every continuous function converges in $p$-norm
Let $[a,b]$ be an interval in real line . Given any function $f:[a,b]\to \mathbb R$ and set $A \subseteq [a,b]$ of size $n+1$, there exists a unique polynomial $p_{f,A,n}(x)$ of degree $n$ such that $...
- 4,034
1
vote
0
answers
49
views
On different norms of the interpolating operator
Let $[a,b]$ be an interval in real line . Given any function $f:[a,b]\to \mathbb R$ and set $A \subseteq [a,b]$ of size $n+1$, there exists a unique polynomial $p_{f,A,n}(x)$ of degree $n$ such that $...
- 1,209
0
votes
0
answers
75
views
Dense Egoroff theorem
Suppose that $f_n:X\rightarrow V$ is a sequence of continuous functions from a compact metric space $X$ to a Banach space $V$ and let $\mu$ be a Radon measure on $X$ and $\epsilon>0$ be given.
...
- 5,405
2
votes
1
answer
263
views
Schwartz space on $\bigcup_{n=1}^CR^n$
I have an application where I need to work with the following idea.
Let the space $\bigcup_{n=1}^C \mathbb{R}^n$ be associated with the metric $d$ such that for $x=(x_1,\cdots,x_n)$ and $y=(y_1,\cdots,...
- 21
2
votes
0
answers
453
views
Is that correct $\mathbb R^2\cong\mathbb R$ as measurable spaces? [closed]
Is that correct $R^2\cong R$ as measurable spaces?
If we consider $R$ and $R^2$ with Borel $\sigma$-algebras, is there measurable map from $R$ to $R^2$ with measurable inverse?
- 29
1
vote
0
answers
74
views
Nonlinear maps in Riesz Thorin theorem
The Riesz Thorin theorem allows us to interpolate between $L^p$ spaces and the usual assumption is that the map $T$ is linear.
What I was wondering about is whether this is because otherwise you do ...
CommunityBot
- 1
7
votes
2
answers
665
views
Non-separable metric probability space
Let us say a metric probability space $(X,\rho,\mu)$ has property (*) if:
the support of $\mu$ is contained in a separable subspace of $X$.
Questions:
1. Is there a standard name for this property?
...
- 3,768
3
votes
1
answer
274
views
Function square-integrable
Let $f$ be an arbitrary function in $L^2(0,\infty)$ and consider the function
$$(g_f)(y) = \frac{1}{y-x_0} \int_{0}^{\infty} f(x) \left(\frac{xy}{(x^2+y^2+1)}\right)^2 \ dx$$
where $x_0$ is an ...
- 79.9k