All Questions
3,599 questions with no upvoted or accepted answers
2
votes
0
answers
124
views
Uniqueness in interpolation of Hilbert spaces
I am wondering under what condition it is true that for Hilbert spaces $H$ and $H_0$ such that $H \hookrightarrow H_0$ there is uniqueness in the existence of a Hilbert space $H_1 \hookrightarrow H$ ...
- 21
2
votes
0
answers
126
views
Differential equations: trying to connect a nonlinear equation to a linear one
The following is motivated by taking a product space $\Omega$ and splitting it into two parts via projections, whose subspaces, $T$ and $X$, are home to functions which satisfy a nonlinear PDE and a ...
- 383
2
votes
0
answers
91
views
How to show $ |(Bx,x)|\leq (Ax,x) $ for any $ x\in D(A) $ here?
On the Hilbert space $ H $, $ A $ is a non-negative self-adjoint operator and $ B $ is a symmetric operator. Let $ D(B)\supset D(A) $, where $ D(A) $ and $ D(B) $ are definite domain for $ A $ and $ B ...
- 1,219
2
votes
0
answers
94
views
Existence of Green function for some perturbation of Laplace operator
Let $\Omega$ be a smooth bounded domain in $\mathbb{R}^N$ $(N\geq2)$ and $\lambda>0$ is a small parameter. I wonder if there exists a Green function such that
$$(\Delta+\lambda) G(x,y)=\delta_x\...
- 471
2
votes
0
answers
119
views
Depth of the reduced subfactor
Suppose $N\subset M$ is a finite depth subfactor with $[M:N]<\infty$. Consider the reduced subfactor $pNp\subset pMp$ for some projection $p\in N$. How to calculate the depth of $pNp\subset pMp$ in ...
- 393
2
votes
0
answers
160
views
Understanding the Bochner space $W^{1,q}\bigl([0,T], L^p(U) \bigr)$ in terms of the Fréchet derivative
In the context of linear parabolic equations, the Sobolev space $W^{1,q}\bigl([0,T], L^p(U) \bigr)$ appears all the time. Here, $U$ is some bounded region of $\mathbb{R}^n$ and $1<p,q<\infty$.
...
- 3,477
2
votes
0
answers
58
views
Extension of averaged nonexpansiveness for mappings that are not self maps
Let $\mathcal{H}$ be a Hilbert space and let $\alpha \in (0,1)$. We say that an operator $f:\mathcal{H} \rightarrow \mathcal{H}$ is
Nonexpansive if $\|f(x)-f(y)\|_{\mathcal{H}} \le \|x - y\|_{\...
- 21
2
votes
0
answers
153
views
Riesz’s representation theorem in a weak form
Let $\Omega$ be a bounded domain with smooth boundary in $\mathbb{R}^N$ $(N\geq 3)$, $\phi\in H_0^1(\Omega)$ is a solution of $$
\begin{cases}\Delta \phi+ \phi=h & \text { in } \Omega, \\ \phi=0 &...
- 471
2
votes
0
answers
326
views
Examples of RKHS that are "classical"
Among the so-called "classical" Hilbert spaces ($L^2$, Sobolev, Hardy, Bergman, etc.), which are very well-studied, which are RKHSs?
It is easy to construct example of RKHSs by applying the ...
- 21
2
votes
0
answers
83
views
Singular integral operators acting on Zygmund class
It is proven in "Classical and Modern Fourier Analysis" by L. Grafakos (Corollary 6.7.2) that if a kernel $K(x)$ defined away from the origin on $\mathbb{R}^n$ satisfies
$$\sup_{0<R<\...
- 21
2
votes
0
answers
103
views
Schwartz kernel theorem for restricted operators
Let $(M,g)$ be a smooth Riemannian manifold. The celabrated kernel theorem of Schwartz shows that for any linear and continuous operator $A:C_{c}^{\infty}(M)\to C^{\infty}(M)$, there exists a ...
- 1,171
2
votes
0
answers
164
views
Log Sobolev inequality for log concave perturbations of uniform measure
Suppose $\Omega$ is a convex bounded open set of $\mathbb{R}^n$ (I would be happy with just $\Omega$ as the $n$-dimensional cube). Let $\mu$ be the uniform measure on $\Omega$ and consider the ...
- 873
2
votes
0
answers
137
views
Compact embedding for the space $H^1(0,+\infty)$
It is well known that $H^1(I)$ is compactly embedded in $C(I)$ where $I$ is bounded interval of $\mathbb{R}$, which is not correct for $I$ unbounded.
So, I search about a functional space $Y$ such ...
- 29
2
votes
0
answers
79
views
Does this variant coincide with the usual Hölder space?
$\newcommand{\NN}{\mathbb N} \newcommand{\RR}{\mathbb R}$
Let $\alpha \in (0, 1]$ and $d, j \in \NN^*$.
The usual Hölder space $C^{j, \alpha} := C^{j,\alpha} (\RR^d; \RR)$ is defined as the space of ...
- 825
2
votes
0
answers
122
views
Are the extensions of the expected value, below, finite for all functions in only a shy subset of all measurable functions?
This is a follow up to this post, where I wish to verify whether one of the statements (in the post) is true but first let's recap the definitions:
Let $(X,d)$ be a metric space. If set $A\subseteq X$,...
- 63
2
votes
0
answers
258
views
Orthogonal complement of arbitrary intersection of Hilbert subspaces
Let $H$ a Hilbert space, and $\mathcal C$ an arbitrary set of closed subspaces of $H$. Is it true that
$$\left( \bigcap_{Z\in \mathcal C}Z\right)^\perp = \overline{\sum_{Z\in \mathcal C} Z^\perp}$$
...
- 63
2
votes
0
answers
177
views
Banach isomorphisms between von Neumann algebras
It seems that most people are talking about $*$-isomorphisms of von Neumann algebras. However, I can not find any references for the Banach isomorphisms, i.e., let $A,B$ be two different von Neumann ...
- 617
2
votes
0
answers
121
views
Invariant weights associated to algebraic quantum groups
Consider an algebraic quantum group $(A, \Delta)$ in the sense of Van Daele, i.e. a regular multiplier Hopf $^*$-algebra with a positive left integral $\varphi$ and a positive right integral $\psi$.
...
- 175
2
votes
0
answers
92
views
Is every compact convex set covered by a Choquet simplex?
Here is a natural question which I have been unable to find discussed in the literature. If $K$ is a compact convex set in a locally convex topological vector space, is there a Choquet simplex $\...
- 2,049
2
votes
0
answers
155
views
Regularity of a weak solution to an elliptic PDE with mixed boundary condition
I have a question on the regularity of a weak solution to an elliptic PDE with mixed boundary condition.
Let $\alpha \in (0,1]$ and let $D$ be a bounded $C^{1,\alpha}$-domain. Let $x \in \partial D$ ...
- 721
2
votes
0
answers
175
views
Banach space of vector measures
Let $S$ be a set and $\Sigma$ be a $\sigma$-algebra of subsets of $S$. Let $A$ be a Banach space over the field of complex numbers. A countably additive map $\mu:\Sigma\to A$ is called a vector ...
- 552
2
votes
0
answers
57
views
Regularity on $\mathbb{T}^3$ of the "functional average" of a map $S : C^\infty(\mathbb{T}^3, \mathbb{R}) \to L^2(\mathbb{T}^3, \mathbb{R})$
For simplicity, let $C^\infty(\mathbb{T}^3, \mathbb{R})$ be the real Frechet space of periodic smooth functions on $\mathbb{R}^3$. Here, $\mathbb{T}^3$ is the $3$-dimensional torus.
For a fixed ...
- 3,477
2
votes
0
answers
62
views
On a real smooth version of white noise distribution theory
In white noise analysis, one starts with a real Gelfand triple $\mathcal{N}\subset \mathcal{H} \subset \mathcal{N}^{*}$ and produces out of it, using complexifications along the way, the complex ...
- 567
2
votes
0
answers
203
views
Schrödinger representation of the Heisenberg group
Let $\Pi_{\lambda}$ be the the Schrödinger representations of the Heisenberg group $H^n=\Bbb C^n\times\Bbb R$. For $\phi\in L^2(\Bbb R^n)$, we have
$$\Pi_{\lambda} (x,y,t)\phi(\xi)=e^{i\lambda t} e^{...
- 531
2
votes
0
answers
107
views
Representation of an operator on a generalized eigenfunction
This is a cross-post from: https://math.stackexchange.com/questions/4651664/representation-of-an-operator-on-a-generalized-eigenfunction
Suppose we have an (essentially) self adjoint operator $L$ ...
- 131
2
votes
0
answers
207
views
Failure of Calderón–Zygmund inequality at the endpoints
$\newcommand\norm[1]{\lVert#1\rVert}\newcommand\abs[1]{\lvert#1\rvert}$I'd like to prove that the famous Calderón–Zygmund elliptic estimate $$ \norm{ \partial_{ij}u }_{L^p} \leq C \norm{\Delta u }_{L^...
- 457
2
votes
0
answers
210
views
Function is in $L^2$ . how to show that gradient is also in $L^2$?
I am dealing with diffusion-reaction equation with three species. I have $L^2$ bound of concentrations. Now I want $L^2$ bound of gradient of concentrations. Somehow if I get $L^4$ or $L^\infty$ bound ...
- 101
2
votes
0
answers
67
views
Künneth formula and continuity of the isomorphism
In the book Sheaf Theory, by Bredon (edition from 1997), Theorem 14.1, he writes a natural exact sequence, which, in some nice cases, leads to the Künneth formula. Do we have any reason to believe ...
2
votes
0
answers
71
views
About isometric Banach algebra isomorphisms and WAP functionals
Let $B$ be a Banach algebra and $A\subseteq B$ a subalgebra. It is known that there is a quotient map $\phi: B^*/\textrm{wap}(B)\to A^*/\textrm{wap}(A)$ that is also an $A$-bimodule map.
Let's say ...
- 2,605
2
votes
0
answers
78
views
Zero trace Sobolev space on Carnot group
Let $\mathbb{G}=(\mathbb{R}^{n},\circ)$ be a Lie group on $\mathbb{R}^n$ and $\mathfrak{g}$ be the corresponding Lie algebra of $\mathbb{G}$. Let $X_{1},\ldots,X_{m}$ be the left invariant vector ...
- 561
2
votes
0
answers
139
views
A Paley–Wiener theorem for a Volterra equation on compact operators
Let $k(t) \in \mathcal{L}(E; E)$, $t \geq 0$ be a family of compact operators on a Banach space $E$, such that
$$ \int_0^\infty \lVert k(t)\rVert dt < \infty. $$
Let $r(t) \in \mathcal{L}(E; E)$ be ...
- 21
2
votes
0
answers
465
views
Segal's axioms for CFT
In Segal's papers about Conformal Field theory, https://www2.math.upenn.edu/~blockj/scfts/segal.pdf, in section $1$, he describes the evolution of a system (a string moving about in a manifold $M$) by ...
2
votes
0
answers
85
views
Proving that $u_0$ is a canonical solution
I've asked this question on stack exchange before but no one could help me so I wish I can get some help here.
Let's first start with the definition of the canonical solution:
Consider $\frac{\...
- 21
2
votes
0
answers
148
views
Quotients of $c_0\mathbin{\hat{\otimes}_{\pi}}\ell^1$
Let $\hat{\otimes}_{\pi}$ denote the projective tensor product. Let $$\mathcal{S} = \{V\subseteq c_0\mathbin{\hat{\otimes}_{\pi}}\ell^1\textrm{ closed subspace}: {c_0\mathbin{\hat{\otimes}_{\pi}}\ell^...
- 2,605
2
votes
0
answers
114
views
A maximum principle in $\mathbb{R}^N$
Let $\delta > 0$ and define
$$
H_\delta(x) = \prod_{j=1}^{N} \cosh(\delta x_j), \quad \forall x \in \mathbb{R}^N.
$$
By straightforward calculations we get $\Delta H_{\delta} (x) = \delta^2 H_\...
- 167
2
votes
0
answers
56
views
Whether $d_x(t) := \|P_t(x)-x\|_H$ is increasing in $t$ where $P_t:H \to H$ is the proximal operator of a convex function
Let $H$ be a Hilbert space (e.g Euclidean $\mathbb R^n$), and fix a proper convex function $f:H \to (-\infty,+\infty]$. Given any $t \ge 0$, let $P_t:H \to H$ be the proximal operator of $f$ at level $...
- 6,853
2
votes
0
answers
73
views
RKHS lying in another RKHS
Suppose $H_1$ and $H_2$ are reproducing kernel Hilbert spaces such that $H_1 \subset H_2$. For $f \in H_1$, when can I bound $\|f \|_1$ with $C\|f\|_2$ (for some $C$)? Is there a relationship between ...
- 93
2
votes
0
answers
119
views
Reverse Sobolev inequality for holomorphic functions
Problem. Let $U \subset \mathbb{C}$ be open and $[0,1] \subset U$. Assume $f(z)$ is holomorphic on $U$. Is it possible to find a constant $C$ (that depends on $f$) such that, for all $0 \leq a < b \...
- 981
2
votes
0
answers
116
views
Generalizations of elliptic chain complexes
I would like to know if it is possible to generalize the notion of elliptic chain complex of differential operators to different contexts, whether geometric or non geometric. I have in mind D-geometry....
- 167
2
votes
0
answers
354
views
Weakly null sequences in projective tensor products
First, I'd like to record a question that may still be open. The snippet below is taken from DiestelPuglisi2009.
Second, let $E$ be a Banach space, $(u_n)$ be a weakly null sequence in the projective ...
- 2,605
2
votes
0
answers
94
views
A division of real analytic functions
Problem statement
Let $f,g \in C^\omega(X,\mathbb{R})$ be two real analytic functions over a real Banach space $X$.
Assume that, for every $n \in \mathbb{N}$, there exists $C_n>0$ and $h_n \in C^\...
- 981
2
votes
0
answers
44
views
When can convolutional integral operators be sampled
Consider an integral operator $F:C^{1/2}([0,T],\mathbb{R}^n)\rightarrow \mathbb{R}$ of the form
$$
f\mapsto \int_0^T f(t)^{\top}\kappa(T-t)dt,
$$
for some $\kappa\in C^{\infty}(\mathbb{R})(\mathbb{R},\...
- 91
2
votes
0
answers
119
views
Fréchet and DF spaces
Is there a canonical way to make a DF-space Fréchet while keeping the same vectorial structure? Or the converse? I've been looking in the classical books for locally convex spaces but haven't found ...
- 61
2
votes
0
answers
259
views
Research in analysis of PDEs
I am currently figuring out what topic to work on for my undergraduate thesis and was able to narrow it down to mathematical analysis. As of now, I have two main options: a thesis working on Sobolev ...
- 149
2
votes
0
answers
160
views
On Fredholm alternative for Neumann conditions
Let $\Omega$ be a bounded Lipschitz domain in $\mathbb{R}^n$ and $f \in L^2(\Omega)$. It is well known that if $\lambda$ is a Dirichlet Laplacian eigenvalue, then the equation $$\begin{cases}
-\Delta ...
- 1,350
2
votes
0
answers
92
views
Linearization stability condition
The following is a theorem from Fischer and Marsden's 1975's paper: Linearization stability of nonlinear PDEs.
Theorem.
Let $X, Y$ be Banach manifolds and $\Phi: X \rightarrow Y$ be $C^1$. Let $x_0 \...
- 319
2
votes
0
answers
149
views
On limits of positive linear functionals
I am looking for pointers to the literature on questions of the following kind. ($Y$ and $\Omega$ might be open subsets of some Euclidean space, but I am interested in the kind of conditions that need ...
- 3,873
2
votes
0
answers
122
views
Noether's theorem in the critical heat equation
I initially posted this question on Stackexchange Mathematics (see here) but as I got no answer, maybe someone here will be able to help me.
I am watching a serie of lectures on "Blow up solution ...
- 452
2
votes
0
answers
55
views
The initial sigma-algebra on the dual of a Banach lattice
Let $E$ be an AL space (i.e. a Banach lattice whose norm is additive on the positive cone $E_+$) that satisfies Mazur's condition (every sequentially weak$^*$-continuous functional on $E'$ is weak$^*$-...
- 153
2
votes
0
answers
136
views
Eigenfunction of $h\mapsto H(h')|_{[-1,1]}$?
Let $H$ be the Hilbert transform. Is there a continuous, even function $h:\mathbb{R}\to \mathbb{R}$ with support on $[-1,1]$ such that, for some $\lambda\in \mathbb{R}$,
$$H(h')(t) = \lambda h(t)$$
...
- 20.2k