All Questions
968 questions
1
vote
1
answer
162
views
Does there exist a class of real-valued upper semicontinuos functions on $X$ such that $\mathcal{F}$ is countable?
Ian Morris quoted the following:
For any upper semi-continuous function $f \colon X \to [-\infty,+\infty)$ defined on a nonempty topological space $X$ there exists a nonempty set $\mathcal{F}\...
- 623
1
vote
1
answer
518
views
Interpolation between Schatten classes
I was wondering if there is an analogue to the classical Riesz Thorin theorem for Schatten classes. I suppose the answer is yes, since Schatten classes are so similar to $\ell^p$ spaces for which the ...
- 305
1
vote
2
answers
255
views
Continuous Linear Mappings on Subspaces of $\mathcal{D}(\Omega)$
Let $\Omega$ be a non-empty open subset of $\mathbb{R}^n$ and $\mathcal{D}(\Omega)$ the usual space of test functions of distribution theory, with the usual topology $\tau$ of the inductive limit of ...
- 642
1
vote
1
answer
178
views
Parabolic PDE Long Time Asymptotics and Elliptic Operator Spectrum II
This is a follow-up on a previous question. Now the parabolic PDE of $P(t,x,v)$ has two spatial dimensions.
$$
\partial_t P = L^* P \tag1
$$
$$L^*P = \frac12\left(\kappa^2\frac{\partial^2}{\partial v^...
- 2,239
1
vote
1
answer
76
views
Proving that a function $f(x,y)$, that is unbounded in every direction, is uniformly bounded below by $1$ outside some disc of large enough radius
I have a smooth function $f(x,y)$ that is unbounded in every direction. In other words, if we choose a direction $(a,b)\in S^1$ and keep moving along the curve $(ta,tb)$, then $$\lim_{t\to\infty}f(ta,...
- 765
1
vote
2
answers
2k
views
Fractional-order Rellich–Kondrashov Theorem
The following is known:
Let $s \in (0,1)$ and $p \in [1,\infty)$ be such that $sp < n$. Let $q \in [1, p^*_{n,s})$ with $p^*_{n,s} = np/(n-sp)$, $\Omega \subset \mathbb R^n$ be a bounded ...
- 446
1
vote
1
answer
999
views
Subspaces of Quotient Spaces
Let $X$ be a topological vector space (not necessarily Hausdorff), with topology $\tau$, and $M, N$ linear subspaces of $X$. Let $\pi:X \rightarrow X/N$ be the quotient map, which associates to each $...
- 642
1
vote
2
answers
220
views
A question on unit norm elements of $\ell^2 \setminus \bigcup_{0<p<2 }\ell^p$
Let $A\subset \ell^2$ consist of all $x\in \ell^2$ with $|x|_2=1$ which does not belong to any $\ell^p$ for all $0<p<2$.
Note that $A$ is non-empty with a Baire category argument.
I ...
- 356
1
vote
2
answers
274
views
$\mathcal P(K)=\mathcal R(K)$ iff $\Bbb C\backslash K$ is connected
Let $K$ be a compact set in $\Bbb C$. Let $\mathcal P(K)$ be the closed algebra generated by polynomials on $K$ and $\mathcal R(K)$ the closed algebra generated by rational functions without poles in $...
- 1,245
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
1
vote
1
answer
113
views
The Fourier projection mappings $\{ P_N \}$ form an equicontinuous family of linear maps on $E'(S^1)$ as well?
Let $S^1=\mathbb{R}/\mathbb{Z}$ and define the Fourier projection operator $P_N$ for each $N \in \mathbb{N}$ as
\begin{equation}
P_N(f)=\sum_{n=-N}^N \langle f, e_n \rangle_{L^2} e_n
\end{equation}
...
- 3,477
1
vote
1
answer
72
views
Generalised Lebesgue transform continuous wrt. strict topology?
Let $X$ and $Y$ be $\sigma$-compact spaces, and $\mu$ [resp. $\nu$] be a regular Borel probability measure on $X$ [resp. $Y$].
For a bounded continuous $c:X\times Y\rightarrow\mathbb{R}$, consider the ...
- 463
1
vote
0
answers
922
views
A Question on certain Hilbert space of continuous functions, and a characteristic of convergence in it
Define $T^k(\Omega)$, $\Omega$ an open subset of $\mathbb{R}^m$ (with a smooth boundary), as a space of function equivalance classes, with the norm defined as $$ \|f\|_{T^k(\Omega)}^2 = \|f\|_{L^2(...
- 698
1
vote
1
answer
264
views
Is there a version of dominated convergence theorem for local $L^p$ spaces?
Fix $p \in [1, \infty)$. Let $(L^p (\mathbb R^d), \|\cdot\|_{L^p})$ be the Lesbesgue space of $p$-integrable real-valued functions on $\mathbb R^d$. Let $\tilde L^p (\mathbb R^d)$ be the space of ...
- 825
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
1
answer
683
views
About separability of von Neumann algebras [closed]
Is a von Neumann algebra always separable in the $\sigma$-weak topology? If not, give a counterexample. Under what conditions will it be separable?
- 227
1
vote
0
answers
304
views
Harmonic coordinates on asymptotically flat manifold
I am studying the existence of harmonic coordinates at infinity on an asymptotically flat manifold. My Reference papers are, The Mass of Asymptotically Flat Manifold, by Bartnik [B] and The Yamabe ...
- 914
1
vote
3
answers
359
views
For a tempered distribution $F$ on $\mathbb{R}^2$, what exactly does it mean by $\lvert F(x,y) \rvert \leq \lvert x-y \rvert^{-n}$?
Let $F$ be a tempered distribution on $\mathbb{R}^2$ and $n \in \mathbb{N}$ be a fixed natural number. I wonder what exactly it means by
$\lvert F(x,y) \rvert \leq \lvert x-y \rvert^{-n}$ where $x,y \...
- 3,477
1
vote
0
answers
104
views
Amenability of $\textrm{w}_0(L^1(G))$
Let $G$ be an infinite compact group and $A=L^1(G)$. It is known that $c_0(A)$ is amenable [Runde2020, p.80] while $\ell^{\infty}(A)$ is not [Daws2009] .
Let $\textrm{w}_0(A)$ denote the subspace of $\...
- 2,605
1
vote
1
answer
205
views
Is the canonical map $\mathfrak L(X,E)\:\hat\otimes_\pi\:\mathfrak L(Y,F)\to\mathfrak L(X\:\hat\otimes_\pi\:Y,E\:\hat\otimes_\pi\:F)$ injective?
If $A,B$ are $\mathbb R$-Banach spaces, let $A\:\hat\otimes_\pi\:B$ denote the completion of the algebraic tensor product of $A$ and $B$ with respect to the projective norm. Let $X,Y,E,F$ be $\mathbb ...
- 167
1
vote
1
answer
131
views
Optimal constant comparing $f(1/2)$ and $\|f\|_2$ when $f$ is $t$-Hölder?
Suppose that $f \colon [0, 1] \to \mathbb{R}$ is $k$ times continuously differentiable and Holder in the sense that for some
$t = k + \beta$, where $\beta \in (0, 1]$ and $k$ is a nonnegative integer ...
- 420
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
1
vote
0
answers
152
views
Weak convergence in $L^2(0,T;X)$
In the book Navier Stokes Equations by Constantin and Foias, the folloiwng argument is made:
Let $u_m$ converges weakly to $u$ in $L^2(0,T;V)$ where
$$
V=\overline{\{f\in (C_0^\infty(\Omega))^...
user14319
1
vote
1
answer
197
views
Sufficient conditions for the boundary unit-normal vector field of a closed convex set to be Lipschitz continuous
This is followup to the following question: On the Lipschitz continuity of the unit-normal vector field of a polytope
Let $C$ be a (nonempty) closed convex subset of $\mathbb R^n$. Note that to every ...
- 6,853
1
vote
1
answer
505
views
Gaussian measures on non-separable spaces
Let $X$ be a topological affine space which is neither separable nor metrizable. There are plenty of trivial Gaussian measures: each Dirac point-mass $\delta_x$ are the Gaussian measure with zero ...
- 8,512
1
vote
0
answers
164
views
How to use, $(|u|^{2}u - |v|^{2}v)(s)= (u-v)|u|^{2}(s)+ v(|u|^{2}-|v|^{2}) (s)$; to prove contraction in a Banach space $C([0,T]; M^{p,1})$?
(May be this is very basic question for MO)
(For details or this question you may see the paper page no. 9, MR2506839, Local well-posedness of nonlinear dispersive equations on modulation spaces; ...
- 1,051
1
vote
0
answers
393
views
Unambiguous "weak" vector valued $L^{+\infty}$ spaces?
For some time, I have been stuck to the problem to be described as follows. The (perhaps not so commonly known) facts given here are taken from R. E. Edwards' Functional Analysis (Holt, Rinehart and ...
- 3,584
1
vote
1
answer
368
views
Does the almost sure convergence of absolutely continuous r.v.'s imply the weak convergence of the pdf's in $(L^\infty)^*$?
The following question was asked in a comment at Almost sure convergence vs convergence of probability density functions :
Suppose that $(X_n)$ is a sequence of random variables (r.v.'s) converging ...
- 128k
1
vote
1
answer
786
views
A question on the Riesz-Markov theorem about dual space of $C_0(X)$
I need to use the version of this theorem about the dual space of $C_0(X)$, which is the set of continuous functions on X which vanish at infinity.
I found in Wikipedia that:
Here the space $X$ is ...
- 43
1
vote
1
answer
82
views
What is $\left\| u \right\|_{ H_{0}^{k}, H_{0}^{k}}$ norm when $H_{0}^{k}=\left\{u \in H^{k, 2}(M) \mid \int_{M} u \operatorname{vol}_{g}=0\right\}$
What is $\left\| f \right\|_{ H_{0}^{k}, H_{0}^{k}}$ norm when $H_{0}^{k}=\left\{u \in H^{k, 2}(M) \mid \int_{M} u \operatorname{vol}_{g}=0\right\}$.
I'm reading a paper
Chern-Yamabe flow
which said ...
- 809
1
vote
2
answers
424
views
Regular Lagrangian flow for the problem $\frac{d}{dt} X(t,x) = \chi_{\{x>0\}}(X(t,x))$
Consider the problem
$$(\star) \quad \begin{cases} \frac{d}{dt} X(t,x) = \chi_{\{x>0\}}(X(t,x)), &t \in [0,T],\\
X(0,x) = x, &x \in \mathbb R
\end{cases}
$$
where $\chi$ denotes the ...
- 839
1
vote
1
answer
187
views
Fractional Laplacian equation on a ball and explicit solutions
Let us consider
\begin{align*}
(-\Delta)^s u &= 0 && x \in B_r(0) \\
u&=0 && x \in \mathbb R^N \setminus B_r(0),
\end{align*}
where $$
(-\Delta)^s u(x) = \int_{\mathbb{R}^N} \...
- 99
1
vote
0
answers
81
views
Relation between minimizer of regularized risk & risk in statistical learning theory
In supervised machine learning, we typically take a Risk Minimization (RM) point of view when formulating a problem. So, what we typically solve for is the following:
$$ R^L(h) = \underset{h\in\...
- 11
1
vote
0
answers
99
views
Gluing together dense subset of Projective Limit in $Ban_1$
Let $(X_n,\pi_n^{m})$ be a countable projective system in the category Ban$_1$ of Banach spaces and short linear maps (is (continuous) linear constructions). Then (co)-completeness of this category ...
- 5,405
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
1
answer
151
views
If $f(x_1,x_2)=f(x_2,x_1)$, $f(x_1,x_2)=\sum_k \lambda_k f_k(x_1)f_k(x_2)$? [closed]
Consider a symmetric function
$$
f(x_1,x_2):R^n \times R^n \to R
$$
satisying $f(x_1,x_2)=f(x_2,x_1)$. Are there functions $f_k:R^n \to R$ such that
$$
\int_{x\in R^n}f_k(x)f_l(x)dm=\delta_{kl},
$$
...
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
1
vote
1
answer
189
views
The semigroup of Laplace-Beltrami operator on 3-flat torus
I am studying a recent paper in which the author worked on the rectangular, flat 3 tori. It can be realized, the author explained, as $\mathbb{R}^3 \over (L_1 \mathbb Z \times L_2 \mathbb Z \times L_3 ...
- 159
1
vote
0
answers
111
views
Properties of Sobolev spaces $W^{k,p}(\Omega, E)$ where $E$ is a Banach space
$\newcommand{\R}{\mathbb R}$Let $E$ be a Banach space with norm $\|\cdot\|_E$ and let $\Omega\subset \R^n$ be an open set.
For $k\geq 0, p\geq 1$ we define $W^{k,p}(\Omega, E)$, the Sobolev space of ...
- 2,533
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
217
views
Open set of geodesics implies the set of starting points is open
Let $X$ be a complete and separable metric space, let $G(X) \subset C([0,1],X)$ be the space of continuous curves from $[0,1]$ to $X$ with constant speed, i.e.
$$ d(f(t),f(s)) = |t-s| d(f(0), f(1)). $$...
- 41
1
vote
1
answer
452
views
Uniformly convex Banach spaces
Theorem. If $X$ and $Y$ are uniformly convex Banach spaces, then for $1<p<\infty$ the space
$$
X\oplus_pY=X\times Y,
\qquad
\Vert(x,y)\Vert:=(\Vert x\Vert_X^p+\Vert y\Vert_Y^p)^{1/p}
$$
is ...
- 28k
1
vote
0
answers
100
views
Conditions on a measure to satisfy certain relation on moments.
Suppose we have a measure $\mu$ on $\mathbb R_+$ such that $\forall s>-1$ $t^s\in L^1(\mathrm d\mu(t))$.
I'd like to impose some conditions on $\mu$ so the function
$$f:p\to \frac{\int_0^\infty t^...
- 173
1
vote
1
answer
322
views
A particular commutator of the discrete Fourier matrix
For $N$ be a fixed natural number, define $w=e^{\frac{2\pi i}{N}}$ and $z=e^{\frac{\pi i}{N}}$, so that $z^2=w$. Let $D$ be the diagonal matrix $D=\operatorname{diag}(1,z,z^2,\ldots,z^{N-1})$ and $F$ ...
- 4,058
1
vote
1
answer
511
views
Convergence in $C_c$ but not in $C$
Let $C_c(\mathbb{R})$ be the set of compactly-supported continuous functions on $\mathbb{R}$. We can view this with a number of different topologies but I have my eye on two in particular. Let $X$ ...
- 5,405
1
vote
1
answer
223
views
A linear algebraic q-difference equation [SOLVED]
I would like to solve the following algebraic linear q-difference equation:
\begin{equation}
a\left(x\right)f\left(x\right)=f\left(qx\right)
\end{equation}
The parameter $q$ is real, positive and ...
- 133
1
vote
0
answers
178
views
A locally convex $C^*$ algebra without zero divisor
Let we have a locally convex $C^*$ algebra $A$. That is $A$ is a TVS equipped with an algebra and an involution structure such that all operations are continuous. Moreover the topology on $A$ ...
- 356
1
vote
3
answers
435
views
Operator norm of shift operator for finite measure spaces
Let $\nu$ be a finite Borel measure on $\mathbb{R}^n$ and define the shift operator $T_a$ on $L^p_{\nu}(\mathbb{R}^n)$ by $f\to f(x+a)$ for some fixed $a\in \mathbb{R}^n-\{0\}$. Suppose moreover that ...
- 5,405
1
vote
0
answers
63
views
Properties of a kernel convolution $K'(x,y) = \int_X\int_X K_0(x,a)K(a,b)K_0(b,y)d\mu(a)d\mu(b)$ where $K$ and $K_0$ are kernels on $(X,\mu)$
Let $(X,\mu)$ be a probability measure space and $K:X \times X \to \mathbb R$ be a (psd) kernel on $X$. Let $K_0$ be another kernel on $X$ and defined a new kernel $\widetilde K$ on $X$ by
$$
\...
- 6,853
1
vote
0
answers
53
views
Stability of Hajłasz-Sobolev class under post-composition
Informally: When is a Sobolev function, post-composed by a vector-valued function still Sobolev?
Assumptions/Setup
Let $(X,d_X,m_X)$ and $(Y,d_Y,m_Y)$ be complete and separable metric measure spaces; ...
- 5,405