All Questions
3,601 questions with no upvoted or accepted answers
0
votes
0
answers
59
views
Nests on Banach spaces and their duals
Let $X$ be a Banach space and $\mathcal{E}$ a nest on $X$.
Take $f\in X^{*}$ and suppose:
$N \in\mathcal{E}$ is the largest element of the nest so that $f \in N^\bot$
$N=\bigcap_{M>N}M$
Is there ...
0
votes
0
answers
63
views
Coarea-like formula for BV functions (not their derivative)
Let $\Omega \subset \mathbb R^N$ and $f \in BV(\Omega)$. The coarea formula states that
$$Df = \int_{\mathbb R} D \chi_{\{f >h\}} \, dh.$$
Unfortunately, the formula
$$f = \int_{\mathbb R} \...
- 839
0
votes
0
answers
153
views
Equivalent Definitions of Gaussian Process?
The Gaussian process $\{X_t\}_{t \in T}$ ($T=[0,1]$ for example) is usually defined using its finite-dimensional distribution. I came across this statement many times: linear operator (not necessarily ...
- 103
0
votes
0
answers
77
views
On cyclicity of fixed point algebra of flip automorphism
Let $M$ be a von Neumann algebra having a cyclic vector in $\mathcal{H}$, is the fixed point subalgebra under the flip automorphism on $M\otimes M$ has a cyclic vector in $\mathcal{H}\otimes \mathcal{...
- 677
0
votes
0
answers
109
views
Elliptic equation with Neumann boundary condition: RHS in $L^2$ implies solution in $L^\infty$?
Consider the homogeneous Neumann problem $$-\Delta u + ku = f$$ $$\partial_\nu u = 0$$
on a smooth, bounded domain $\Omega$.
If $f \in L^2(\Omega)$, do we obtain the regularity $u \in L^\infty(\...
0
votes
0
answers
326
views
Measurability of the heat semigroup in $L^\infty$
Let $S(t)$ be the $C_0$-semigroup generated by the Laplacian operator with Dirichlet boundary condition in $L^2(\Omega)$, where $\Omega$ is a bounded open subset of $R^n$.
It is known that $S(t)$ ...
- 1
0
votes
0
answers
143
views
On $s$-numbers in finite von Neumann algebra
$T$ is an operator in $M$, $M$ is finite von Neumann algebra. There is a notion of singular value function that is ($s$-numbers). My question is: what is $s$-number for tensor product of two operators ...
- 677
0
votes
0
answers
156
views
Function classes with high Rademacher complexity
My question is two fold,
Is there any general understanding of what makes a function class have high Rademacher complexity? (Sudakov minoration would say that one sufficient condition for a class of ...
- 2,246
0
votes
0
answers
172
views
Compact operator
Let $k:[0,1]^2 \to [0,1]$ be a measurable function. Define $K:L^2([0,1])\to L^2([0,1])$ to be the operator:
$$
(Kf)(x) = \int_0^1\int_0^1 f(z) k(x,y) \mathbf{1}_{x\leq z\leq y} \ \mathrm{d}z \mathrm{d}...
- 31
0
votes
0
answers
56
views
linear functions/hyperplanes vs. convex functions/convex sets in Hilbert space
The simplest Hahn-Banach extension theorem in Hilbert space $X$ avoids the use of the axiom of choice by virtue of the Riesz representation theorem. But what about the version of the theorem where the ...
- 1,461
0
votes
0
answers
105
views
Spectrum of Dirac sequences
Let $\delta_n\in C^0_c(\mathbb{R})$ be a Dirac sequence approximating the Dirac delta "function" $\delta$ with support in $0\in \mathbb{R}$. Then, for each $n$ we have a compact operator $K_n:L^2(\...
- 99
0
votes
0
answers
63
views
Feller semigroups and fractional operators
Have Feller semigroups been used to investigate the properties of the Cauchy problem associated with the fractional Laplacian (just like they have been used to study local degenerate second order ...
user60665
0
votes
0
answers
273
views
Local "boundary comparison principle" for harmonic functions
Let $u$ be a positive solution of the elliptic equation $\mathcal Lu = 0$ on $B^+_1 \subset \mathbb{R}^n$ such that $u$ vanishes continuously on $\{x_n = 0\}$. To fix ideas, we may take $\mathcal L = ...
user123456
0
votes
0
answers
117
views
Harnack Inequality for uniformly elliptic PDE via constructing a singularity
I am trying to prove a Harnack inequality for a nonnegative subsolution $u \in H^1(B_2)$ to the PDE $\text{div}(A Du) \ge 0$, where $A = A(x)$ is uniformly elliptic. The proof outline I am following ...
- 1
0
votes
0
answers
170
views
Strong continuity (weak to strong) of $\langle Au,v\rangle=\int u^3 v dx$
I am currently trying to figure out the following. If I consider the Sobolev space $W^{1,p}_0$ is it possible to show that the operator given by
$$\langle Au,v\rangle=\int u^3 v dx$$
is strongly (weak ...
- 101
0
votes
0
answers
115
views
If two spheres are isometric, does there exist a bijective isometry $T:S\to S$ with $\|Tu-\alpha Tv\|_Y \leq \|u-\alpha v\|_X$ for all $\alpha>0?$
Let
$$(S,\|\cdot\|) = \{(x,y)\in \mathbb{R}^2: \|(x,y)\| =1\},$$
that is, $S$ is the collection of all norm one vectors in $\mathbb{R}^2$ with respect to the norm $\|\cdot\|.$
Question: Let $\|\...
- 623
0
votes
0
answers
119
views
Holder-Sobolev type inequality
Let $U$ be a bounded subset of $\mathbb{R}^n$. Let $p>n$. Let $W^{2,1}(U_T)$ be the Banach space of functions $u:U\times[0,T]\rightarrow\mathbb{R}$ with the norm $\|u\|_{W^{2,1}(U_T)}=\sum_{2s+|\...
- 307
0
votes
0
answers
113
views
Conditions for the embedding of the space $L^\infty(I, W^{1,2}(U))$ into $L^\infty(I \times U)$
Let $I$ be a compact interval of $\mathbb{R}$ and $U$ be a bounded subset of $\mathbb{R}^2$.
If $f \in L^\infty(I, W^{1,2}(U))$, what (non-trivial) condition ($L^p$-estimate on $f$ or decay-like ...
user123457
0
votes
0
answers
169
views
Is there an option to handle Neumann-series when it diverges? (using infinite-sized Carleman matrices)
(I asked this in MSE but did not find resonance, there is also a relation to an older discussion here on summability see here and a followup formulating an $\text{ais}()$ already here)
...
- 5,342
0
votes
0
answers
171
views
What functions can one try employing to fit an apparently doubly-periodic real function over $[0,1]$?
I have a cosine-like data curve over $x \in [0,1]$ that I can rather well-fit by
a function of the form $a \cos{2 \pi x} +b$. Although good, the fit is still lacking,
in that the residuals from the ...
- 723
0
votes
0
answers
101
views
Reference Request: Egoroff Theorem for nets
Does there exist a generalization of Egoroff theorem for nets instead of sequences of functions?
- 5,405
0
votes
0
answers
75
views
Dense Egoroff theorem
Suppose that $f_n:X\rightarrow V$ is a sequence of continuous functions from a compact metric space $X$ to a Banach space $V$ and let $\mu$ be a Radon measure on $X$ and $\epsilon>0$ be given.
...
- 5,405
0
votes
0
answers
79
views
Iterative methods for minimizing sequences
Let $\mathbb{X}$ be a Banach space equipped with some norm $||\cdot||_\mathbb{X}$ and $F:\mathbb{X}\to\mathbb{R}$ be some linear functional. Suppose we are given a set $A\subseteq\mathbb{X}$ which is ...
- 364
0
votes
0
answers
87
views
Uniform convergence in Hadamard derivatives
Let $T\colon X \to Y$ be a nonlinear operator between Hilbert spaces which is Lipschitz and is Hadamard differentiable. It satisfies
$$T(x+th)=T(x) + tT'(x)(h) + r(t)$$
where $r(t)=r(t,x,h)$ is the ...
- 73
0
votes
0
answers
237
views
Spectrum of a Hamiltonian on the real line
Consider the following linear (Hamiltonian) operator on functions on the real line $\mathbb{R}$
$$H\psi(x)=-\frac{d^2}{dx^2}\psi(x)+V(x)\psi(x).$$
Assume that $V$ is a smooth function and $V(x)\to +\...
- 21.8k
0
votes
0
answers
72
views
weakly amenable weighted sequence algebras
Let $v=(v_n)_{n\in\mathbb{N}}$ be a positive weight with $\inf_nv_n>0$ (for convenience we may take $v_n\geqslant1$). Then $\ell_{\infty}(v)$ is a Banach algebra with coordinate-wise multiplication....
- 375
0
votes
0
answers
161
views
Topologies corresponding to norm, SOT and WOT under duality
This is a question from MSE which has not received any attention so far.
Let $X$ be a Banach space with norm dual $X'$. (I am mostly interested in the case $X = \ell^1$.)
For a linear mapping $T : X \...
- 1,773
0
votes
0
answers
60
views
Solution of a functional equation with cosine transform
What are the functions verifying:
$$\int_0^{\infty} f(t) \cos(2\pi xt)=\lambda \frac{1}{x} f(\frac{1}{x})$$
With $\lambda$ a constant ?
(Functions $x^{-\alpha}$ with $0<\alpha<1$ are solutions ...
- 1,199
0
votes
0
answers
324
views
Adjoint of differential equation
Motivation: Consider the ODE
$$y'(t)=Ay(t)$$ then it is true that the flow satisfies $\Phi(t)y_0=e^{tA}y_0$ and the adjoint of the flow is a solution to the adjoint equation
$$y'(t)=A^*y(t).$$
I ...
- 83
0
votes
0
answers
70
views
A question about an irreducible ultra-power
Let $A$ be a Banach algebra and $E$ be an irreducible Banach $A$-module. Is there a countably incomplete ultra filter $\mathcal U$ on $\mathbb N$, the set of natural numbers, such that the ultra power ...
- 2,118
0
votes
0
answers
85
views
Injectivity of Fermion algebras
Is the Fermion algebra or $-1$-Fock space as defined in https://arxiv.org/pdf/math/0303045.pdf hyperfinite? Any references?
- 455
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
0
votes
0
answers
55
views
Continuity of a composite function
Let $n=2$ or 3 and let $\Omega$ be a bounded domain of $\mathbb{R}^n$. Let $T>0$ and $f \in L^2([0,T],H^1(\mathbb{R}^n))$.
Is the mapping
\begin{equation}
\begin{array}{rcl}
C^0([0,T],C^1(\bar{\...
- 143
0
votes
0
answers
58
views
Dense integer translates of a real-valued function with unequal limits at infinity
This is a follow up on a Previous question. Let $W$ be the space of continuous functions $f:\mathbb{R} \rightarrow \mathbb{R}$ such that $$\lim_{x\rightarrow \infty} f(x)=0~\mbox{and}~\lim_{x\...
- 537
0
votes
0
answers
194
views
Estimate of a Sobolev function after a change of variables
Let $n>0$ and $\Omega$ be a bounded domain of $\mathbb{R}^n$. Consider a smooth enough mapping $\Phi$, from $\Omega$ into $\Phi(\Omega)\subset\mathbb{R}^n$, that is orientation-preserving and ...
- 143
0
votes
0
answers
89
views
Hausdorff methods of summation
From the book of Boss "Classical and modern methods in summability":
"The class of Hausdorff methods includes the Hölder, Cesaro and Euler methods. A large number of other matrix methods which play ...
- 109
0
votes
0
answers
90
views
criterions for polar set of Feller processes
Suppose $X_t$ is the solution to
$$
d X_t=b(X_t)dt+dL_t,\quad X_0=x.
$$
where $L$ is a rotational symmetric $\alpha-$stable process with $\alpha\in (0,1]$, $b$ is Lipchitz.
Assume $\Gamma\subseteq ...
- 515
0
votes
0
answers
65
views
Does $\{ x^* \circ \psi_t:x^*\in ext(E^*), t\in K \}\subset ext(X^*)$ hold?
Notations: Let $K$ be a locally compact Hausdorff space and $E$ be a real normed linear space.
Recall that $C_0(K,E)$ is the set of $E$-valued continuous functions $f$ on $K$ such that $f$ vanishes at ...
- 623
0
votes
0
answers
57
views
A question on order unbounded sequences in Banach lattices
Let $E$ be a Banach lattice. It is well-known that every norm convergent sequence in $E$ admits an order convergent subsequence and hence admits an order bounded subsequence. But it seems that a norm ...
- 3,343
0
votes
0
answers
298
views
Generalization of the Chinese remainder theorem
Let $A$ be a Banach algebra and $\{I_{\alpha}\}_{\alpha}$ be a collection of closed two-sided pairwise coprime ideals of $A$. Is the Chinese remainder theorem true for $A$ and $\{I_{\alpha}\}_{\alpha}$...
- 565
0
votes
0
answers
467
views
Intersection of two subspaces of a Hilbert space
Background:
Let $D$ be a Klein Four group and consider free product $Z/2Z\star D=<a,b,c,d|a^{2}=b^{2}=c^{2}=d^{2}=bcd=1>$. Now we consider group algebra generated by $Z/2Z\star D$ with inner ...
- 407
0
votes
0
answers
56
views
Existence of a couple of functions solution of a differential equation (with additional constraint)
I would like to know if we can find a real function $v(x)$ and a complex function $f(x)$, such that they solve the following differential equation (with $\alpha$ a complex, $0<Re(\alpha)<1$):
$$...
- 1,199
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
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