All Questions
Tagged with fa.functional-analysis lebesgue-measure
36 questions
3
votes
0
answers
90
views
About BMO space on smooth open bounded domain
Let $\Omega$ be any open domain in $\Bbb R^d$.
Define the $\text{BMO}(\Omega)$ space as
$$ \text{BMO}(\Omega)= \big\{u\in L^1_{loc}(\Omega)\,\,:\,\, |u|_{\text{BMO}(\Omega)} <\infty \big\},
$$
...
- 1,101
0
votes
0
answers
113
views
Are measures singular with respect to all representing measures in $\mathbb{D}^n$ always concentrated on null-sets?
Let $\mu$ and $\nu$ be two measures on the $\sigma$-Borel set $\mathcal{B}(\mathbb{D}^n)$.
We say that $\mu$ is a representing measure for some point $z \in \mathbb{D}^n$, if
$$\forall_{u \in A(\...
- 63
2
votes
0
answers
94
views
Nemytskij operator for Lebesgue variable UNBOUNDED exponent spaces
Let $f:\Omega\times\mathbb{R}\to\mathbb{R}$ be a Caratheodory function (i.e. $f(x,\cdot)$ is continuous for a.a. $x\in\Omega$ and $f(\cdot,t)$ is measurable for all $t\in\mathbb{R}$), where $\Omega\...
- 1,759
2
votes
0
answers
84
views
Question about the Nemytsky operator on $L^p$ space
Let $\Omega\subset\mathbb{R}^N$ be a bounded open set, $f:\Omega\times\mathbb{R}\to\mathbb{R}$ be a Caratheodory function, i.e. $f(x,\cdot)$ is continuous for a.a. $x\in\Omega$ and $f(\cdot,t)$ is ...
- 1,759
0
votes
0
answers
106
views
How to prove that $f(x) := |x|^{\frac{\lambda - n}{p}}(1 - \psi(x))$ satisfies a specific property related to its limit at the origin
Disclaimer. I have asked this question a month ago on MSE (click here to access the original post) and even bountied it. I got an answer on MSE, but unfortunately I don't feel like it has enough ...
- 51
0
votes
0
answers
57
views
Projection measure and an integral formula for Lipschitz functions
Let $n\geq m\geq 0$ be integers and put $k=n-m$. Let $A\subset\mathbb{R}^n$ be Borel measurable, we define the projection measure of $A$ as
$$\mu_k(A):=\underset{P_1, \ldots, P_r}{\sup_{A=A_1\sqcup\...
- 75
0
votes
0
answers
126
views
A question about associated operator on continuous functions space equiped with L2 norm
For M a connected compact manifold, $T$ is in $C^{1+\nu}(M,M)$ with $\nu\in(0,1)$, i.e., $DT$ is some Hölder continuous function with Hölder exponent $\nu$. Denote by $m$ the Lebesgue measure on $M$ ...
- 39
2
votes
2
answers
307
views
Preimage of null sets under a monotone increasing function
Let $I\subseteq \mathbb{R}$ be a closed bounded interval and $f:I \to I$ a monotonic increasing function and $S$ the countable set of points $s$ such that $|f^{-1}(s)| > 1$. Is the following ...
- 113
1
vote
1
answer
262
views
Any $L^\infty (\mathbb{R}^3)$ can be approximated pointwise almost everywhere by continuous function with compact support
In the book Fourier Analysis and Self-adjointess of Reed and Simon in the proof of the
Feynman-Kac formular the author states that for any $V\in L^\infty (\mathbb{R}^3)$ there is a sequence $(V_n)_n$ ...
0
votes
1
answer
79
views
Convergence in sequential Lebesgue spaces
Consider a strictly increasing sequence $1\leq q_0<q_n<q_{n+1}<q$ such that $q_n\to q$ as $n\to \infty$. Let $B\subset \Bbb R^d$ be a ball, so that $L^{q}(B)\subset L^{q_{n+1}}(B)\subset L^{...
- 1,101
6
votes
0
answers
271
views
Existence of a limit of alpha-difference quotient for Hölder functions
Let $f:\mathbb{R}\to \mathbb{R}^d,d\geq 1,$ be an Hölder function with exponent $\alpha\in (0,1)$, meaning that
\begin{equation}
\sup_{x, y \in \mathbb R, \,x\neq y}\frac{|f(x)-f(y)|}{|x-y|^\alpha}<...
- 61
3
votes
2
answers
808
views
Growth of $L^p$ norms as $p \to \infty$
Let $f$ be a non-negative function defined on the unit interval. It is well known that $N(p) := \left(\int_0^1 f^p(t) dt\right)^{\frac{1}{p}} $ converges to $\operatorname{esssup}_{[0,1]} f$ when $p \...
- 1,211
0
votes
1
answer
88
views
An equation in the convolution measure algebra on reals
Let us consider the measure algebra $M(\mathbb{R})$ consisting of all Radon measures on reals.
Let $\mu$ be a Radon measure in $M(\mathbb{R})$ and $\delta_0$ be the point mass measure concentrated on ...
- 4,058
3
votes
1
answer
322
views
Special version of Tonelli’s theorem
I am trying to prove this theorem. I have not found anything similar to it on the internet.
Special version of Tonelli’s theorem
Assume that the functions $f(x,u): [a,b] \times \mathbb{R} \to \mathbb{...
- 159
6
votes
1
answer
415
views
A problem concerning a divergent function on $[0, 1]$
This problem was posted on another forum and was given at the 1992 Miklós Schweitzer Competition. This competition is known for its very difficult problems and this one seems no exception. I also can'...
- 689
1
vote
1
answer
412
views
Support of a measure
Let $T:X\to X$ be a continuous function on a compact manifold $X$ and let $\text{Leb}$ be the Lebesgue measure normalized so that $\text{Leb}(X)= 1$. We denote by $\mathcal{M}(X)$ the space of all ...
- 1,043
2
votes
0
answers
267
views
Necessary and sufficient conditions on kernels of trace-class operators
Question: Let $K \in L^2(R^n\times R^n)$. Are "explicit" necessary and sufficient conditions known such that $K$ is the kernel of some trace-class operator $A \in TC(L^2(R^n))$?
We know that ...
- 143
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 $...
- 193
1
vote
0
answers
209
views
The translation is continuous in $L^1(\mathbb{R}^n,d\mu)$, $d\mu=\frac{1}{1+|y|^{n+a}}dy$,$ a>0$
For any function $f\colon\mathbb{R}^n\to\mathbb{R}$, set: $\tau_hf(x):=f(x+h)$, $x,h\in\mathbb{R}^n$. Consider the following finite measure on $\mathbb{R}^n$:
$$\mu(A):=\int_A\frac{1}{1+|y|^{n+a}}\,dy$...
- 339
13
votes
0
answers
491
views
Does Hahn-Banach for $\ell^\infty$ imply the existence of a non-measurable set?
Working over ZF but without the Axiom of Choice (AC), assume that the Hahn–Banach Theorem holds for $\ell^\infty$. Does it follow that there exists a set of real numbers that is not Lebesgue ...
- 82.7k
2
votes
0
answers
54
views
Isometries and complex differentials
Assume that A is a linear operator of $L^2(D)$ onto istelf, where $D$ is the unit disk. Assume that $f\to \partial A[f](z)$ and $f\to \bar \partial A[f ](z)$ are isometries. Whether it implies that $A$...
- 169
0
votes
0
answers
66
views
Coincidence Topologies for $L^p$ spaces
If $X$ and $Y$ are compact metric spaces then it is well-known that the compact-open topology on $C(X,Y)$ coincides with the topology of uniform convergence on compacts. Therefore, the latter is ...
- 5,405
0
votes
1
answer
153
views
On tensor products of (essentially) bounded measurable functions
Let $F:\mathbb R^2\rightarrow\mathbb R$ be an essentially bounded measurable function ($\mathbb R^d$ is equipped with its standard Lebesgue measure) and assume that
$F(x,y)=F(y,x)$. I would like to ...
- 16.2k
4
votes
1
answer
414
views
Finitely Additive Homogeneous Translation Invariant Measure on $\mathcal{P}(\mathbb{R})$
It is known that there exists a finitely additive translation invariant measure on $\mathbb{R}$ that extends the Lebesgue measure. I.e. a function $m:\mathcal{P}(\mathbb{R}) \rightarrow [0,\infty]$ ...
- 297
-2
votes
1
answer
1k
views
Weak convergent $+$ strongly convergent subsequence $\Rightarrow$ strong convergence? [closed]
Let $X$ be a Hilbert space containing functions defined over a bounded region $\Omega\subset \mathbb{R}^N$. Assume $f_n\in X$ converges weakly to $f\in X$, and also has a strongly convergent ...
- 395
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
3
votes
1
answer
90
views
Measurability of specific function
Let $I\subset\mathbb{R}$ denote an open and bounded interval of the real line, $H_0^1(I)$ all quadratic integrable Sobolev functions and $C(\bar{I})$ all continuous functions on said interval.
Since ...
- 65
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
1
answer
149
views
Convergence of measurable functions in a locally compact space
Set $(X,\mathcal{B})$ a measurable space. If $f:X\rightarrow[0,\infty)$ is a measurable function then exists a sequence of simple functions $\{s_n\}_{n\geq1}$ such that
$$0\leq s_1 \leq s_2\leq \...
- 193
0
votes
0
answers
299
views
When convolution with exponential kernel is bounded
Let $g(t)=e^{-\omega t}$, $\omega>0$. What is, in terms of well-known function spaces, the space $X$, $L_{loc}^2(0,\infty)\subset X$, of all functions $f:\mathbb{R}^+\to \mathbb{R}^+$, satisfying
$...
- 395
4
votes
1
answer
364
views
$\forall g\in L^2(\Omega)$ exists $g_n\in H_0^1(\Omega)$ and $\epsilon>0$ s.t $g_n(x)\to g(x),\,a.e$ and $|g_n(x)|\leq |g(x)|+\epsilon$
I asked this question on MSE here some time ago, but I couldn't get an answer. There was a suggestion in the comments for a counterexample using a fat Cantor set, but I couldn't show a contradiction ...
- 261
1
vote
1
answer
158
views
Nonlinear elliptic problem involving the p-laplacian, Hölder inequality
I am studying the paper On some nonlinear elliptic problems for $p$-Laplacian in $\mathbb{R}^n$ by Abdelouahed El Khalil and Said El Manouni Mohammed Ouanan.
I have a problem understanding one step ...
- 73
1
vote
2
answers
931
views
A question on the Lebesgue differentiation theorem
In the paper [Jessen, B., Marcinkiewicz, J., and Zygmund, A. Note on the differentiability of multiple integrals. Fundamenta Mathematicae 25.1 (1935): 217-234] it is considered the limit
$$
\lim_{\...
- 2,715
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
331
views
Relationship between weak Lp and strong Lq topologies for q<p
Specificaly:
Does convergence in $L^{\frac{1}{2}}$ imply weak $L^2$ convergence?
Having a limit in $L^{\frac{1}{2}}$ topology and a limit in weak $L^2$ topology whether these are always equal? If not,...
- 203
4
votes
0
answers
291
views
trace-class embeddings
There is a classical theorem of Riesz-Kolmogorov that characterizes compact embedding in $L^p$-spaces of some subspace of them. A generalization to arbitrary metric spaces has been recently obtained ...
- 3,388