All Questions
10,049 questions
0
votes
0
answers
152
views
Continuity under various topologies for positive linear functionals
It is known that if $\mathcal A$ is a unital $\mathbb C$-$*$-algebra and $A$ is a unital subalgebra closed under $*$, and if $f : A \to \mathbb C$ is linear, then $f$ is positive if and only if $f$ is ...
- 5,407
0
votes
0
answers
227
views
Negative Sobolev norm of non-zero mean non-periodic function on bounded space
The usual formulation of $H^{-1}$ norm for a zero-mean periodic function on some domain $\Omega\in\mathbb{R}$ is as follows:
$\|f\|^2_{H^{-1}}=\sum\limits_{k\in Z, k\neq 0}\dfrac{\hat{f}^2_k}{k^2}$, ...
- 318
0
votes
0
answers
90
views
Discrete approximations to $\nabla^2$
I found this formula in an engineering textbook (image processing). It is an approximation of the Laplacian on flat space $\mathbb{R}^2$.
\begin{eqnarray*} \nabla^2 f &\approx& -20 f(\vec{x})...
- 22.8k
0
votes
0
answers
266
views
Embedding for the Bourgain spaces $X^{s,b}$
Where can I find embedding results for the Bourgain spaces $X^{s,b}$ (for a definition see the bottom of page 2 here).
In particular, I'd like to know if, for $s$ sufficiently large, it is contained ...
user60665
0
votes
0
answers
72
views
Sobolev embedding for a specific family of weighted Sobolev spaces
Consider the weighted Sobolev-type space
$$
W_\alpha:=\{f\in L^2(0,\infty):\hbox{id}^\alpha\cdot f'\in L^2(0,\infty)\}.
$$
Are there any known embeddings? Ideally, I am looking for an embedding of the ...
- 3,388
0
votes
1
answer
128
views
Definition of an Orlicz modular space
In Nowak (1989), a modular $\rho$ on a vector lattice is defined by the following properties
(N1) $\rho(x)=0\implies x=0$;
(N2) $\lvert x\rvert \le \lvert y\rvert\implies \rho(x) \le \rho(y)$;
(N3) ...
user113782
0
votes
0
answers
96
views
Does adding a compact operator change the symbol of a pseudodifferential operator?
Suppose $X$ is a non-compact manifold. Let $P$ be an order-$0$ pseudodifferential operator on $X$ and $f:L^2(X)\rightarrow L^2(X)$ a compact operator. I'm wondering:
1) Is $P + f$ always a ...
- 1,903
0
votes
0
answers
81
views
Differential operator and equivalence
Here is the problem:
I have a certain PDE and there is the nonlinear terme $h$, I have as data:
$f \in H_0^2(0,L)$,,,$g \in {H^1}(0,L)$ with ${g_x}(0) = {g_x}(L) = 0$
Now on consider the fnction $$h(...
- 617
0
votes
0
answers
97
views
Is there any concise sufficient condition for the dual space to have Kadec property?
A normed space $E$ has a
Kadec property if the norm- and weak topologies coincide on the unit sphere of $E$.
Kadec-Klee property if any sequence on the unit sphere, that is weakly convergent is also ...
- 5,529
0
votes
0
answers
308
views
Invertible operator
We consider the operator $$T=I + {{{\partial ^2}} \over {\partial {x^2}}}:{H^2}(0,L) \cap H_0^1(0,L) \to {L^2}(0,L)$$
We hope to prove that $T$ is invertible if and only if $L = n\pi $.
and for this ...
- 617
0
votes
0
answers
84
views
Under what conditions on $\mu^{\beta}$ we have $L_1(\beta X,\mu^{\beta})$ isometrically isomorphic to $L_1(X,\mu)$?
Let $X$ be a locally compact Hausdorff space, $\beta X$ its Stone-Cech compactification and $\Delta: X\to\beta X$ the inclusion map. Given a Borel probability measure $\mu^{\beta}$ over $\beta X$, is ...
- 2,044
0
votes
0
answers
59
views
Differential operator
One define the operator $T$ as :$$T: = (I - {{{\partial ^2}} \over {\partial {x^2}}}):H_0^1(0,L) \cap {H^2}(0,L) \to {L^2}(0,L)
$$ let $f \in H_0^2(0,L) \cap {H^4}(0,L)$. What can we say about ${T^{ - ...
- 617
0
votes
0
answers
58
views
in search of convergent daughter sequences
Let $\{f_n\}\subset L^1(\Omega,\mu)$, where $\mu$ is the Lebesgue measure, and $\Vert f_n\Vert_1\leq M$ and $\Vert Df_n\Vert_{1/2}\leq C$ uniformly in $n$.
Question. Is there a subsequence $\{f_{...
- 43.2k
0
votes
0
answers
263
views
Does AX+XA=0 have any non-trivial solutions?
Let $X$ be a continuous linear self-adjoint operator on some Hilbert space $H$ and for arbitrary compact operators $A$ we have: $XA+AX=0.$ Does this imply that $X=0$ or can there be non-trivial ...
- 305
0
votes
0
answers
156
views
amenable locally compact group
Let $\tau_1,\tau_2 $ be topologies on group $G$ such that $(G,\tau_1),(G,\tau_2)$ be a locally compact group. Let $\tau_1\subseteq\tau_2$ and $(G,\tau_2)$ be an amenable group, when $(G,\tau_1)$ ...
- 565
0
votes
0
answers
188
views
semi simple Banach algebra
Let $G$ be a non-abelian locally compact group, $M(G)$ be the measure algebra and $B(G)$ be the Fourier Stieltjes algebra of $G$..
Question. When are $M(G)$ and $B(G)$ semi-simple?
- 565
0
votes
1
answer
129
views
Composition of a negative operator and a positive one
Let $\Omega$ a bounded open set of $R^n$, $\omega$ a non-empty open subset of $\Omega$ and
$\chi_{\omega} : L^2(\Omega) \longrightarrow L^2(\omega)$
be the restriction operator to $\omega$,...
- 23
0
votes
0
answers
89
views
If $H$ is the closure of the set of solenoidal smooth vecor fields in $L^2$ and $P_H$ denote the orthogonal projection onto $H$, then $P_HH_0^1⊆H_0^1$
Let
$d\in\mathbb N$
$\Lambda\subseteq\mathbb R^d$ be open
$\mathcal V:=\left\{\phi\in C_c^\infty(\Lambda,\mathbb R^d):\nabla\cdot\phi=0\right\}$ and $$H:=\overline{\mathcal V}^{\left\|\;\cdot\;\right\...
- 167
0
votes
0
answers
107
views
Is $(u\cdot\nabla)v\in H^1$, if $u,v\in H^2$?
Let
$d\in\left\{2,3\right\}$ with
$\Lambda\subseteq\mathbb R^d$ be bounded and open with $\partial\Lambda\in C^1$
In Lemma 6.1 of Navier-Stokes Equations and Nonlinear Functional Analysis by Roger ...
- 167
0
votes
1
answer
134
views
Dual basis of Lagrange nodal variables in $R^d$
I am studying some theories around FEM method in 2D, and I am trying to solve this problem from Ciarlet's book (the proof was not provided): Consider a simplex $T$ in $R^d$ with $N_1(T) = \left\{N_i\...
- 133
0
votes
1
answer
73
views
Moreau-Enveloppe from $L^2(0,T;V) \to L^2(0,T;V^*)$
Let $V,H,V^*$ be a Gelfand-Triple, $\phi\colon V \to \mathbb{R}$ convex, lower semicontinuous and proper. There exists a so called Moreau-Enveloppe $\phi_j$, which is Gateâux-differentialable. It's ...
- 187
0
votes
0
answers
96
views
Non-B-completeness of finest locally convex topology
For an index set $A$ consider the locally convex direct sum $X_A := \bigoplus_{\alpha \in A} \mathbb{R}_\alpha$ of $|A|$-many lines $\mathbb{R}_\alpha = \mathbb{R}$. Then $X_A$ is complete. It is ...
- 1,773
0
votes
0
answers
76
views
Measure on infinite dimesional $L^p$ space relating size in norm to size in measure
Let $A$ be a bounded set in an infinite dimensional $L^p$ space. Fix an $\epsilon>0$. Is there a Borel measure $M$ such that
$$ M(B(x,\epsilon)) \geq C, \quad \forall x \in A$$
for some $C>0$ ...
- 111
0
votes
0
answers
46
views
The Minkowski $(N-1)$- dimensional upper constant of a closed curve?
Let $\Omega\subset \mathbb R^N$ be open bounded smooth boundary. Let $S\subset \Omega$ be a $N-1$ rectifiable set with $\mathcal H^{N-1}(S)<+\infty$. It is well know that if $S$ is not closed, then ...
- 679
0
votes
0
answers
73
views
Continuously varying operators defined by a strange formula
Take $2n$-tuples of bounded positive operators $x_1,\dots x_n$ and $a_1,\dots a_n$ on a Hilbert space $H$ which have zero kernel and dense image and which satisfy the condition that (1)
$$
x_1^* x_1+\...
- 1,143
0
votes
0
answers
216
views
Intersection of weighted Sobolev spaces
Consider the Sobolev spaces with $p=2$, defined for $s \in \mathbb{R}$ as
\begin{equation}
W^{s} = \left\{ u \in \mathcal{S}', \ (1 + \lvert \cdot \rvert^2)^{{s}/{2}} \widehat{u} \in L_2 \right\}.
\...
- 2,306
0
votes
0
answers
103
views
Multiplier of Banach algebras
Let $A$ be a Banach algebra and $M(A)$ be its multiplier Banach algebra. Is there any correspondence between closed two sided idaels of $A$ and closed two sided idaels of $M(A)$?
Can we see that ...
- 565
0
votes
0
answers
272
views
Fixed-point iteration depending on a parameter
Let $f\colon X\times \mathbb{R}\to X, (x,\varepsilon)\mapsto y$, with $X$ open, be a continuous function in both arguments. Consider the following fixed-point iteration
\begin{align}
x_{k+1} = f(x_k,\...
- 2,712
0
votes
0
answers
343
views
A question on weak formulation of the p-laplacian operator
Can it be said that $$\int_{\Omega}\Delta_p u |\phi|^{p-2}\phi dx=\int_{\Omega}\Delta_p \phi |u|^{p-2}u dx\qquad\forall \phi\in C_0^2(\overline{\Omega})$$ is the generalized weak formulation of $$\...
- 157
0
votes
0
answers
59
views
Restriction to Basis of Cadlag function
If $f \in L^2([0,T])$ then it can be written as
$$
f(t) \triangleq \sum_{i \in \mathbb{N}} c_i e_i(t),
$$
for some sequence $\{c_i\}$ of real numbers and a Schauder basis $\{e_i(t)\}$ of $L^2([0,T])$ ...
- 5,405
0
votes
0
answers
68
views
duals of subspaces of DF-spaces
Let $X$ be a complete barrelled DF-space and $Y$ its closed subspace. As can be seen the dual $(Y',\beta(Y',Y))$ is metrizable. Does it follow it is also complete?
- 375
0
votes
0
answers
68
views
$H$ self-adjoint with mass gap, $P≥0,Ω∈D(P),H+λP$ self-adjoint $⟹$ for $λ$ small, $H+λP$ has gap?
Suppose $H$ is a self-adjoint operator on a Hilbert space having a simple isolated least eigenvalue $0$ with gap $1$ ( $H\Omega = 0$, $\Vert \Omega\Vert = 1$ ), $P$ is a non-negative symmetric ...
- 221
0
votes
0
answers
119
views
Gauge Fixing Problem on Cylindrical
For Cylindrical $Y\times\mathbb R$, where $Y$ is a closed oriented 3-manifold.
If it is necessary, we could consider the $b_1(Y)=0$ case.
Fix a Line bundle $L\to Y\times \mathbb R$ and a Hermitian ...
- 1,915
0
votes
1
answer
307
views
Construction of orthonormal basis of the Hilbert space $\mathcal{S}^p_{\mathcal{H}}$ of vectors of $p \in \mathbb{N}$ Hilbert Schmidt operators
Let $(e_j)$ be a orthonormal basis (ONB) of a separable Hilbert space $(\mathcal{H}, \langle\cdot, \cdot\rangle_{\mathcal{H}})$ and $(\mathcal{S_H}, \langle\cdot, \cdot\rangle_{\mathcal{S_H}})$ be the ...
- 195
0
votes
0
answers
120
views
A topology on the product space of Euclidean space and smooth functions space
I'd like to know if there is a well-known topology on the space $S := \mathbb R \times C^\infty(\mathbb R)$, such that $(x_n, f_n) \to (x, f)$ in $S$ with respect the topology is equivalent to
$$(x_n,...
- 1,399
0
votes
0
answers
378
views
compact injection
Put:
$D=\{u\in L^{2}(\mathbb{R}^{n})| x^{\alpha}D^{\beta}_{x}u\in L^{2}(\mathbb{R}^{n}), \forall \alpha,\beta \in \mathbb{N}^{m}:|\alpha|+|\beta|\leq 2 \}$
Why $D \hookrightarrow L^{2}(\mathbb{R}^{n}...
- 135
0
votes
0
answers
252
views
Hadamard product (Schur product) in $L^2[0,1]$
Let's consider the separable Hilbert space $\mathcal{H} = L^2[0,1]$ of square-integrable functions on the interval $[0,1]$ with orthonormal basis $(e_j)$. For $x,y \in \mathcal{H}$, the Hadamard ...
- 195
0
votes
0
answers
81
views
Prokhorov convergence of Gaussian measures
Consider a Hilbert space $\mathcal{H}$ and a sequence of centered Gaussian measures $\mu_n$ on it. The covariance operators of $\mu_n$ are defined via their eigenpair(eigenbasis and eigenvalue)) as ...
- 157
0
votes
0
answers
132
views
approximating smooth functions by non-smooth ones, in the distribution topology
The classical Stone-Weierstrass theorem gives a necessary and sufficient condition for a class of continuous functions on a compact to approximate a larger class of continuous functions in $C^0$ ...
- 4,070
0
votes
0
answers
194
views
Johnson's Theorem - Proof (Runde) Clarification
I am reading Runde's Lectures on Amenability. In the proof of Johnson's theorem where he proves "$L^{1}(G)$ is amenable Banach algebra implies $G$ is amenable" : he defines a $L^1(G)$ bimodule action ...
- 185
0
votes
0
answers
271
views
Convolution Integral involving an unknown function
I've got the following problem I'm working on which is related to some of my research.
I am trying to solve the following equation for the function $f$.
$$t^{-\alpha} \exp{ \left(- \beta x^2 t^{-2 \...
- 281
0
votes
1
answer
285
views
Matrix inequality between a traceless matrix and identity
Given a traceless matrix $C\in M_n(\mathbb{F})$, i.e., tr$(C)=0$, what is the relationship between tr$|\mathbb{I}+C|$ and tr$|C|$? The two matrices are of dimension $n$.
- 35
0
votes
0
answers
85
views
Some problems about symmetric convolution semigroup on the unit circle
These are problems from Example 1.4.2 of Fukushima's book "Dirichlet forms and symmetric Markov processes".
Let $\Lambda$ be the set of all real sequences $\left\{\lambda_n\right\}_{n\in\mathbf{Z}}$ ...
- 369
0
votes
0
answers
64
views
Approx the jump point of a $BV$ function from both hand side
Let $I=(-1,1)$ be an interval in one dimension. Let $u\in BV(I)$ be defined as
$$
u(x)=
\begin{cases}
0,&\text{ if }x\in(-1,0)\\
1,&\text{ if }x\in(0,1)
\end{cases}
$$
Clearly, we have $u\in ...
- 679
0
votes
0
answers
322
views
Comparison of Parameter estimation using maximum likelihood and Maximum entropy
I am not sure if the question is appropriate but I want to try my luck. One can estimate a parameter using maximum likelihood and we know it is optimal. On the other hand there are methods which uses ...
- 495
0
votes
0
answers
470
views
Derivatives of Mollified functions
I'm reading Controlled Diffusion Process by N.V. Krylov. On page 87-88, in the proof of theorem II.6.1, it says the following:
Let $\sigma(t,x)$ be a matrix of dimension $d\times d$, and let $b(t,x)$ ...
- 131
0
votes
0
answers
123
views
On the operators from $l_{p}$ into Tsirelson's space $T$
Let $1<p<2$. My question is: Is any operator from $l_{p}$ into Tsirelson's space $T$ compact?
- 3,343
0
votes
0
answers
54
views
Left introversion operators associated to function spaces on semigroups
I am stuck on the following question for quite sometime now. Please help, any comment is welcome.
Let $S$ be a topological semigroup and $\mathcal{F}$ be a translation invariant, conjugate closed ...
- 1
0
votes
1
answer
123
views
The monotone operator in $BV$ space
I am considering the following minimizing problem:
$$
\min_{u\in BV(\Omega)}\{\frac12\|u-u_0\|_{L^2}^2 + |u|_{TV(\Omega)}\}
$$
where $u_0\in BV(\Omega)$, $\Omega\subset \mathbb R^2$ is open bounded, ...
- 679
0
votes
0
answers
371
views
Harmonic function with Dirichlet boundary condition
Consider the domain $D = \{(x_1, x_2,.., x_n) \in \mathbb{R}^n : 0 \leq x_i \leq 1\}$. Let $D$ be divided into two parts $D_1$ and $D_2$ by the hyperplane $H = \{x_1 = \frac{1}{2}\}$. My question is: ...
- 1