All Questions
1,331 questions
2
votes
0
answers
199
views
Convergence of the difference quotient of a BV function
Consider a BV function $u \in BV(\mathbb{R}^N; \mathbb{R}^N)$.
What can be said about the difference quotient
$$
\frac{u(x+\epsilon y)-u(x)}{\epsilon}
$$
regarding its convergence as $\epsilon \to 0$...
- 839
2
votes
1
answer
162
views
On the continuity and injective-ness of Gauss quadrature scheme for numerical integration, with weight function identically $1$
Fix an integer $n\ge 2$. Let $[a,b]$ be an interval and $f: [a,b]\to \mathbb R$ be a continuous function and for $x_1,...,x_n$ being the Gaussian Quadrature nodes in $[a,b]$, and Gaussian Quadrature ...
- 1,209
2
votes
1
answer
1k
views
Existence of a projection operator onto subspace of Hilbert space
Let $V \subset H$ be Hilbert spaces with a continuous, compact and dense imbedding. Let $\{w_j\}_j \subset V$ be a basis of $V$ and of $H$ (so finite linear combinitions are dense) which is not ...
- 35
2
votes
0
answers
279
views
Relationship between $p$-capacity and Riesz $s$-capacity of a set
What is the relationship between the definitions of $s$-capacity (page 13 here) and $p$-capacity (here) of a set?
Are they equivalent? If not, what inequalities hold? What is the difference (in terms ...
- 839
2
votes
1
answer
773
views
On the continuity of map $\Gamma$
Let $M$ be the space of right continuous functions $\ell: \mathbb R_+\to [0,1]$ that are non increasing s.t. $\ell(0)=0$. Define the map $\Gamma : M\to M$ by $\Gamma[\ell](t):=\mathbb P[\tau^{\ell}>...
- 1,334
2
votes
1
answer
416
views
Questions about Maharam's classification theorem
I am studying von Neumann algebras. In the wiki article abelian von Neumann algebras, it mentions that every abelian von Neumann algebras acting on a separable Hilbert space is *-isomorphic to $L^{\...
- 523
2
votes
1
answer
404
views
Feynman-Kac formula for lattice heat equation with non-diagonal potential
Suppose that $X$ is the continuous-time simple symmetric random walk on the lattice $\mathbb Z^d$ (i.e., a simple symmetric random walk with i.i.d. exponential jump times), and let
$$u(t,x):=\mathbf E\...
- 891
2
votes
2
answers
411
views
Given a total variation distance from uniform, how well can we bound the probabilities of sub-intervals?
I made the following claim, which I now see that I don't know how to prove. Can anyone prove it?
Claim. Let $f$ be a concave and non-negative function on $[0,1]$ with $$\int_0^1 f = 1,$$
$$\int_0^1 |f-...
user44143
2
votes
1
answer
131
views
Closeness of points in the irreducible decomposition of a C$^{*}$-algebra representation
Suppose $X$ and $Y$ are compact metric spaces. Let $\varphi\colon C(X)\to M_{n}(C(Y))$ be any $*$-homomorphism. If $\pi$ is an irreducible representation of $M_{n}(C(Y))$, then $\pi$ is unitarily ...
- 267
2
votes
0
answers
62
views
Capacity approximations by sets with regular boundary
Suppose I have a continuous, compactly supported function $f : \mathbb{R}^2 \to \mathbb{R}_{+}$ and I define the set $S := f^{-1}([a,\infty)) \subset \mathbb{R}^2$ for some $a > 0$. It is a ...
- 321
2
votes
2
answers
634
views
Continuous upper envelope of upper semicontinuous function
Let $u$ be a upper semicontinuous function on a compact set $K$ in $\mathbb R^d$. Define a space of continuous function dominating $u$ by
$$A = \{\phi \in C(K): \phi \ge u\}.$$
[Q.] Is the following ...
- 1,399
2
votes
2
answers
281
views
About $\lim_{n\to +\infty} n\prod_{k=1}^{n-1}\cos^2(k)$
In my research work, I need to show that the sequence $(nu_n)$ tends to 0 where $ (u_n)$ is defined by $$u_{n+1}=u_{n} \cos^{2}(n),\quad u_{0}=1$$
$(u_n)$ is a positive and decreasing sequence. My ...
- 1,503
2
votes
1
answer
366
views
Weak sequential continuity of certain bilinear forms on Banach algebras
Let $A$ be a Banach algebra and $Bil(A)$ denote the space of bounded bilinear forms on $A$.
$Bil(A)$ is a Banach $A$-bimodule with the module operations
\begin{eqnarray*}
\beta a(x,y) &:=& \...
- 2,605
2
votes
0
answers
640
views
Another special property of the exponential function?
For $x>0$, define
$\tilde f(x) = \sum\limits_{k = 0}^\infty {\frac{{(x - k) ^k }}{{k!}} {\bf 1}(x>k)}$,
where ${\bf 1}$ is the indicator function.
I know (actually, proved) that $\tilde f(x)$ ...
- 1,468
2
votes
1
answer
702
views
Correction term in the relation between the Itō and Stratonovich integrals in Hilbert spaces
I'm reading the paper On the relation between the Itō and Stratonovich integrals in Hilbert spaces and there is something I don't understand.
In the notation of the paper, let
$H,H_1$ be separable $\...
- 167
2
votes
1
answer
107
views
Lower bounds on translates of a function over a compact set
Let $f\in L^p(\mathbb{R})$ and define $f_\theta(x)=f(x-\theta)$. Let $K\subset\mathbb{R}$ be a compact set. I would like to compute (or at least lower bound) the following:
$$
\inf_{\theta\ne\theta'\...
- 45
2
votes
0
answers
470
views
Can any antidifference (indefinite sum) of a function be expressed in elementary functions and generalized polygamma function if its integral can be expressed in elementary functions?
If the integral or multiplicative integral of a function can be expressed with elementary functions, does it mean its indefinite sum (antidifference) or indefinite product respectively can be ...
- 10.1k
1
vote
1
answer
193
views
Quantitative finite speed of propagation property for ODE (cone of dependence)
Consider the following ODE initial value problem
\begin{align*}
&\frac{d}{dt}\Phi(t,x) = \boldsymbol{F}(t,\Phi(t,x)), & t \in [0,T], \ \ x \in \mathbb{R}^N,\\
&\Phi(0,x) = x, & x \in \...
- 839
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
113
views
Is $I-S$ in my attempt of Fredholm alternative injective?
Let $E$ be a Banach space. Let $\mathcal K(E)$ be the space of all compact (bounded linear) operators from $E$ to $E$. For a linear map $T$, we denote by $R(T)$ its range and by $N(T)$ its kernel. Let ...
- 657
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
114
views
Is a $1_A \otimes U$ invariant subspace of $\mathcal{H}_A \otimes \mathcal{H}_B$ a product $V_A \otimes \mathcal{H}_B$?
Consider a subspace $V$ of $\mathcal{H}_A \otimes \mathcal{H}_B$, with $\mathcal{H}_A$ and $\mathcal{H}_B$ finite-dimensional Hilbert spaces, that is $1_A \otimes U$ invariant for all unitary ...
- 133
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
346
views
Duality of maps on bounded vs trace-class operators (Schrödinger-Heisenberg dual)
$\newcommand\calH{\mathcal H}
\newcommand\calK{\mathcal K}
\newcommand\tr{\operatorname{Tr}}$I am looking for a (citable) reference for the following fact:
Bounded linear maps $g:T(\calH)\to T(\calK)$...
- 896
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
0
answers
315
views
"Integration by parts" formula for functionals
We know that for a Hilbert triple $V \subset H \subset V^{'}$, if we have $u, v \in L^2(0,T;V)$ with $u',v' \in L^2(0,T;V')$
then
$$\frac{d}{dt}(u(t), v(t))_H = u'(t)(v(t)) + v'(t)(u(t))$$
where the $...
- 29
1
vote
1
answer
327
views
Symmetry on a sphere
Let $u$ be a smooth function on the sphere $S^2$. Suppose there exists $C>0$ such that for all $R \in SO(3)$, the area of every connected component of $\{x\in S^2: u(x)> u(Rx)\}$ is at least $C$....
- 51
1
vote
2
answers
604
views
Generalized limits
Cross-posted from Math SE.
The linked question explores the concept of a "generalized limit" that assigns values to sequences which diverge in the Cauchy sense. It asks the following question:
...
- 2,203
1
vote
0
answers
177
views
A consequence of De Giorgi oscillation lemma
The following lemma is true (see DeGiorgi oscillation lemma)
Let $u$ be a subsolution of $$\mathrm{div}(A(x)\nabla u) = 0,$$
where $A$ is bounded, measurable and uniformly elliptic ($C^{-1}\...
- 839
1
vote
0
answers
99
views
Minimize $\langle(1-\kappa)^{-1}f,f\rangle$ for a parameter-dependent integral operator $\kappa$
I've got a contractive self-adjoint linear integral operator $\kappa$ of the form $$(\kappa g)(x):=g(x)+\int\lambda({\rm d}y)k(x,y)(g(y)-g(x))\;\;\;\text{for }g\in L^2(\mu),$$ where $k$ depends on the ...
- 167
1
vote
1
answer
433
views
Why complex conjugate in definition of the Fourier transform?
Let $G$ be a locally compact abelian group and $f:G \to \mathbb{C}$ a function. Its Fourier transform (when it exists) is defined to be
$$\widehat{f}(\chi) = \int_G f(g) \bar{\chi}(g) \mathrm{d} g,$$
...
- 21.3k
1
vote
1
answer
301
views
Vague convergence VS Laplace transform convergence?
If we assume that $\int_0^\infty e^{-sx}\mu_n(dx)\to \int_0^\infty e^{-sx}\mu(dx), \forall s\geq0$, it is possible to show that $\mu_n\to\mu$ vaguely. Where $\mu_n$ is a measure. Please check here for ...
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 $...
- 640
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
1
answer
99
views
Showing that $\phi$ is a Jordan morphism
I have asked the following question on M.SE here, but I have not yet received a response.
I do apologize of this is not the correct site to post it on - if so, please do let me know and I will remove ...
- 289
1
vote
0
answers
133
views
Does the Gaussian Poincare inequality hold for infinite dimensional measure metric spaces?
This is a question subsequent to the one:
Does the Gaussian Poincare inequality hold for $p=1$ as well as $p=2$?
There, I received a very helpful answer that the Gaussian poincare inequality for any ...
- 3,477
1
vote
0
answers
151
views
Continuity of the spectrum under weaker notions of convergence
Let $T:X\to X$ be a linear operator on a Banach space $X$.
We know that the spectrum of $T$ is an upper semicontinuous
function of $T$ for the uniform convergence: that is, if $T_n:X\to X$ is a ...
- 757
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
0
answers
269
views
How is this expression for the regularization of integrals of monomials, given in a paper, justified? How strong is argument in favor?
In this answer by Carlo Beenakker he cites the following regularization formula:
$$\int_0^\infty x^p\,dx\mathrel{"="}\frac{(-1)^{p+1}}{(p+1)(p+2)},\;\;p=0,1,2,\dotsc,$$
citing Tafazoli - Calculation ...
- 10.1k
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
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 ...
- 835
1
vote
2
answers
90
views
Is the difference between $\alpha$-Hölder constants of $f*\rho$ and $g*\rho$ controlled by $\|f-g\|_\infty$?
Let $\mathcal D_1$ be the set of bounded probability density functions on $\mathbb R^d$. This means $f \in \mathcal D_1$ if and only if $f$ is non-negative measurable such that $\int_{\mathbb R^d} f (...
- 835
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
2
answers
183
views
Convergence of Sobolev functions near the boundary
Let $B_0(1)$ be the unit ball in $\mathbb R^n$, $n\geq2$. Let $f\in W_0^{1,2}(B_0(1))$, and $W^{1,2}(B_0(1))\ni f_i\to f$ in the sense of $L^2(B_0(1))$-norm, as $i\to \infty$.
Question 1: Can we ...
- 169
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
771
views
Estimates of fractional heat kernel
Is there any estimate available for the derivatives of the fractional heat kernel? Estimates on the kernel itself are at this link.
Also is any estimate available if we consider the problem with ...
- 109
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
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
203
views
How generic are Cayley graphs of non-Abelian groups with logarithmic girth?
Given a non-Abelian group $G$ I want to choose a symmetric generating set $S \subset G$ such that $Cay(G,S)$ has girth logarithmic in the size of the set. I want to know,
For which $G$ can the ...
- 1,893
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