All Questions
978 questions
3
votes
1
answer
233
views
A special approximation of the Heaviside function
Is there a $C^m$ approximation $f_\epsilon$ of the Heaviside function such that
$$f_\epsilon(x) = f_1(x/\epsilon) = \begin{cases} 0 & \text{ if } x < 0 \\
1 & \text{ if } x/\epsilon \ge 1
\...
- 131
3
votes
1
answer
253
views
What is the story behind this Hilbert space in the definition of Hilbert Modules
Here is Deflnition 1.5 of Hilbert module in "L^2-invariants: theory and applications to geometry and K-theory", Springer-Verlag, 2002, by W. Lück:
A Hilbert $\mathcal N(G)$-module $V$ is a Hilbert ...
- 2,118
2
votes
1
answer
178
views
References for Neumann eigenfunctions
I am looking for references on eigenfunctions with Neumann boundary condition.
In an article, the author wrote in introduction that when a domain is planar polygon, the second eigenfunctions on it ...
- 721
2
votes
1
answer
211
views
Hölder continuity in time of heat semigroup for regular initial distribution
$
\newcommand{\bR}{\mathbb{R}}
\newcommand{\diff}{\mathop{}\!\mathrm{d}}
$
Let $(p_t)_{t>0}$ be the standard Gaussian heat kernel on $\bR^d$, i.e.,
$$
p_t (x) := \frac{1}{(4 \pi t)^{\frac{d}{2}}} \...
- 835
2
votes
0
answers
115
views
Application of Bishop-Phelps Theorem
Consider a real Banach space $X$ and its continuous dual $X^*$. The Bishop-Phelps Theorem states that the set
$$A^*=\{x^*\in X^* \mid x^* \text{ attains its supremum on } \text{ the unit ball } \...
- 193
2
votes
1
answer
237
views
Self-adjointness of generator and semigroup of an SDE
$
\newcommand{\bR}{\mathbb{R}}
\newcommand{\bE}{\mathbb{E}}
\newcommand{\bT}{\mathbb{T}}
\newcommand{\bP}{\mathbb{P}}
\newcommand{\bF}{\mathbb{F}}
\newcommand{\cF}{\mathcal{F}}
\newcommand{\eps}{\...
- 835
2
votes
1
answer
255
views
On the infimal convolution of two norms on $\mathbb R^n$
$\newcommand{\R}{\mathbb R}$For natural $n$, $a\in\R^n$, and real $t>0$, let
\begin{equation*}
K:=K_{n,t}(a):=\inf_{x\in\R^n}(\|a-x\|_2+t\|x\|_1),
\end{equation*}
\begin{equation*}
M:=M_{n,...
- 128k
2
votes
0
answers
109
views
Uncertainty principle: minimize $\int_{-\infty}^\infty |t| |\widehat{f}(t)|^2 dt$ for $f$ of compact support
This is a question of uncertainty-principle type stemming from Eigenvalue of a convolution and a restriction?
Let $f:\mathbb{R}\to \mathbb{R}$ be even, absolutely continuous and supported in $[-\frac{...
- 20.2k
2
votes
1
answer
105
views
Fix positive $t$. Construct $a_n \in \mathbb R^n$ such that $(\inf_x \|x-a_n\|_2 + t\|x\|_1 )/\min(\|a_n\|_2,t\|a_n\|_1) \to 0$
For any positive number $t$, nonnegative integer $n$, and nonzero vector $a \in \mathbb R^n$, define
$$
\begin{split}
K_n(a,t) &:= \inf_{x \in \mathbb R^n} \|x-a\|_2 + t\|x\|_1,\\
M_n(a,t) &:= ...
- 6,853
2
votes
0
answers
130
views
Smoothness of Radon transform
Let $f:\mathbb R^n \to \mathbb R$ be density function (i.e nonnegative function which integrates to $1$), and consider its Radon transform $R[f]$ defined by
$$
R[f](w,b) := \int_{\mathbb R^n}\delta(x^\...
- 6,853
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
1
answer
339
views
Why is this test function admissible? [Paper explanation]
Reading Non-linear Elliptic and Parabolic Equations Involving Measure Data by Boccardo$\&$Gallouet , I had trouble understanding the following:
Why is $\psi(u_n)\chi_{(0,t)}$ admissible as a ...
- 227
2
votes
2
answers
252
views
When is the Minkowski sum of weighted compact sets $w_1 B_1 + w_2 B_2 + \ldots$ (with $w \in L^1$) closed?
Let $B_1,B_2,\ldots,$ be compact subsets of $\mathbb R^d$ and $w_1,w_2,\ldots$ be nonnegative numbers summing to $1$. Consider the set
$$
A := w_1 B_1 + w_2 B_2 + \ldots = \left\{\sum_{n=1}^\infty w_n ...
- 6,853
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
548
views
Can the characteristic function of a Borel set be approached by a sequence of continuous function through a certain convergence in $L^\infty$?
Want to find $f_n$ a sequence of continuous functions, so that for all Borel regular measure $\mu$, we have
$\int f_n d\mu\rightarrow\int \chi_\Delta d\mu$, as $n$ goes to infinity, where $\Delta$ ...
- 31
2
votes
2
answers
2k
views
Separable quotients of non-separable Banach spaces?
I am reading the Functional Analysis book of Conway, one question from the book is find a closed subspace M of $l^{\infty}=l^{\infty}(\mathbb{N})$ with the property that $l^{\infty}/M$ is separable. I ...
- 281
2
votes
1
answer
525
views
Sequential Continuity in dual spaces of separable Banach Spaces
Is the following true?
Let $X$ and $Y$ be separable Banach spaces and consider their dual spaces $X^*$ and $Y^*$ equipped with weak* topology. Suppose that a linear map $T:X^*\to Y^*$ is sequentially ...
- 165
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 ...
- 839
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
0
answers
382
views
Sobolev space and trace theorems on a non-compact Riemannian manifold with boundary ($M \times (0,\infty)$)
Let $M \subset \mathbb{R}^n$ be a $C^k$ ($k \geq 2$) compact hypersurface of dimension $n-1$ without boundary. Consider $X=M \times (0,\infty)$ which has boundary $\partial X = M \times \{0\}$.
I am ...
- 53
2
votes
1
answer
118
views
Proving that a polynomial $f(x,y)$ that is unbounded in every direction is bounded below by $1$ outside of a disc of finite radius
This is a follow up from this question.
I have a polynomial 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 ...
- 765
2
votes
2
answers
255
views
Do we have a name for this space?
Let $\Omega$ be a bounded domain in $\mathbb{R}^{n}$. Consider the class
$$
\mathcal{F}=\{f\in L^{1}(\Omega):\exists C>0 \text{ s.t. } \int_{U}|f|\leq C\sqrt{|U|},\text{ for any }U\subset \Omega.\...
- 21
2
votes
2
answers
715
views
Dual space of the intersection of locally convex vector spaces
Let $S \neq \emptyset$ and let $\big((E_s,\mathcal{T}_s)\big)_{s \in S}$ be a family of locally convex vector subspaces of the same vector space. Denote by $E_s^*$ the dual space of $(E_s,\mathcal{T}...
- 123
2
votes
0
answers
184
views
Properties of the optimal decomposition for the $K$-functional between $\ell_1$ and $\ell_2$
Background: For any fixed $t> 0$, the $K$-functional defines a norm on the space $\ell_1+\ell_2$:
$$
\lVert a\rVert_{K(t)} = \inf\{\lVert a'\rVert_1+ t\lVert a''\rVert_2 : a'\in\ell_1,\ a''\in\...
- 1,372
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
1
answer
61
views
$K *g_n$ converges in the topology of smooth functions, $K$ approximates $\delta(x)$ and $g_n$ is a.e convergent to $g$, then regularity of $g$?
This question is continuation from If $K *g_n$ converges in the Fréchet topology of smooth functions and $K$ approximates $\delta(x)$, is $g_n$ itself convergent? - revised.
As before, let us ...
- 3,477
2
votes
0
answers
194
views
Extension of universal approximation theorem
Let $I_d:=[0,1]^d$ with $d\ge 2$. Define $C(I_d):=\{F: I_d\to\mathbb R \mbox{ is continuous}\}$ and
$$N(I_d):=\{F\in C(I_d): F(x)=\sum_{k=1}^n f_k(v_k\cdot x), \mbox{ where } n\ge 1 \mbox{ and } f_1,\...
user128095
2
votes
1
answer
166
views
Cocompact lattices in $\mathrm{Sp}(n, 1)$
This is a continuation from my previous question. I am reading the following paper of Cowling-Haagerup, and I was wondering whether there are uniform lattices in $\mathrm{Sp}(n, 1)$. Is there some way ...
- 131
2
votes
1
answer
453
views
Weak convergence of probability measures on weak versus strong dual
The space of temperate distributions $S'(\mathbb{R}^d)$ is often equipped with the weak-$\ast$ or with the strong topology. When defining the notion of a probability measure on $S'(\mathbb{R}^d)$, ...
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
0
answers
136
views
Linear independence of functions
Let $x_1,x_2,\ldots,x_n\in\mathbb{R}^d$ be points so that no one point is in the positive span of another. That is, there is no pair of points $x_i,x_j$ such that $x_i=\alpha x_j$ for a positive ...
- 859
2
votes
2
answers
223
views
Relating function value to $L^2$ norm in Holder space
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
2
votes
2
answers
458
views
A Fixed point Theorem that does not need the convexity of set valued map?
I am looking for a fixed point theorem for set valued maps that does not assume the set valued map should be convex valued.
Something like contractiblity or other properties can be replaced with ...
- 383
2
votes
1
answer
228
views
Given an eigenvalue equation (elliptic PDE) in a ball $B_R$, prove the convergence of the first nonzero $\lambda_R$ and its eigenfunction $\phi_R$
Let $H: \mathbf{R}^n \rightarrow \mathbf{R}$ be a bounded continuous function. Set
$$\tag{1}
\int_{\mathbf{R}^n}\left\{|\nabla \xi|^2+H(x) \xi^2\right\} \mathrm{d} x \geqslant 0, \quad \forall \xi \in ...
- 809
2
votes
1
answer
265
views
characterization of normality by selection theorem
The Urysohn's extension theorem states that a space $X$ is normal iff every continuous function $f:A \rightarrow \mathbb{R}$, with $A$ a closed subset of $X$, can be extended to a continuous function $...
- 121
2
votes
0
answers
208
views
A functor on the category of rings, algebras or compact Hausdorff topological space
Assume that $R$ is a unital ring or a complex or real (Banach or $C^{*}$) algebra.
We define a relation $M$ on $R$ as follows: $$a\;M b \;\;\; \text{iff}\;\; a=xy,\;b=yx \;\; \text{for ...
- 356
2
votes
1
answer
238
views
Hilbert-irreducible Banach space
A Banach space $X$ is called Hilbert-irreducible if it satisfies the following condition:
If a subspace $Y\subset X$ satisfies the parallelogram equality, then $Y$ is necessarilly a one ...
- 356
2
votes
0
answers
193
views
If the operators $B_i'$ satisfy an inequality, prove that $B_1'+\dotsb+ B_n'$ also satisfies the same inequality
Related: On a deceptively tricky calculus problem.
The way that Leonard Gross proves the log Sobolev inequality is in the following stages:
He proves that for any operator $B$ that satisfies the log ...
- 90
2
votes
1
answer
336
views
Complex Borel measures: does $\mu_n \to \mu$ weakly imply $|\mu|(\Theta) \le \liminf_n |\mu_n|(\Theta)$ for every open subset $\Theta$?
Let
$\Omega$ be a metric space,
$C_b(\Omega)$ the space of all real-valued bounded continuous functions on $\Omega$, and
$\mathcal{M}(\Omega)$ the space of all finite signed Borel measures on $\Omega$...
- 657
2
votes
3
answers
3k
views
dual space of a subspace of the space of bounded measures
Let $\mathcal{M}=\mathcal{M}(\mathbb{R})$ be the space of bounded measures. Equipped with the weak convergence, the dual space of $\mathcal{M}$ is $\mathcal{C}_b(\mathbb{R})$ consisting of continuous ...
- 1,835
2
votes
1
answer
296
views
An abstract characterisation of weak* topologies
Is there a way of endowing the unit ball $B_X$ of a Banach space $X$ (we may assume that $X$ is an AL space, if that helps) with a topology $\tau$, so that $\tau=\sigma(Y^*,Y)$ (the weak* topology) if ...
- 153
2
votes
2
answers
528
views
Characterizations of amenable groups which use the space $\ell_1(G)$ and convolution
Let $G$ be a discrete group.
Do you know characterizations of amenable groups which use the space $\ell_1(G)$ and convolution?
I only know Johnson's theorem:
A group is amenable if and only if the ...
2
votes
1
answer
315
views
Parabolic PDE Long Time Asymptotics and Elliptic Operator Spectrum
How does one show directly that the solution following parabolic partial differential equation (PDE) of $p(t,v)$ approaches its stationary solution which is a solution of an elliptic partial ...
- 2,239
2
votes
1
answer
142
views
Estimating a solution to an Euler-type ODE
Let $f$ be a continuous function in $L^2([1,\infty)$ satisfying $\sup_{r\geq 1} r|f(r)| <\infty$. Let $\ell$ be a positive integer and $a$ be a real number.
Let $u(r)$ be a function on $[1,\infty)$ ...
- 969
2
votes
2
answers
602
views
Image of the trace operator on W^{1,1}
Let $\Omega \subset R^n$ be a bounded region with Lipschitz boundary. Is the trace operator $T: W^{1,1}(\Omega)\rightarrow L^1(\partial \Omega)$ surjective? If not, what is the image?
- 21
2
votes
1
answer
155
views
Tempered distributions at non-coinciding points and density of Schwartz functions
In the previous question, I find that situation is much less favorable than expected…. So I add more details to focus on the specific case I have in mind.
Let us consider the Schwartz space $\mathcal{...
- 3,477
2
votes
4
answers
3k
views
Splitting a space into positive and negative parts
Let $V$ be a vector space over $\mathbb R$. A symmetric bilinear pairing on $V$ is a linear map $a: V\otimes V \to \mathbb R$. Because $\mathbb R$ is characteristic not-two, I will freely confuse ...
- 54.6k
2
votes
1
answer
151
views
Automorphism of algebras with certain initial conditions on given idempotents
The First question
Let $A$ be a Banach or a $C^*$ algebra. Assume that $e,f$ are two idempotents or prjections in $A$ which satisfy $ef=fe=0$. Assume that there are two automorphisms $\phi, \psi: A \...
- 356
2
votes
2
answers
867
views
Decomposition of an abelian von Neumann algebra
Hi, I came across the statement below and I couldn't figure out why it is true. I was hoping someone could explain it or give me a good reference. Thank you in advance.
"Let $\pi$ be a non-degenerate ...
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