Banach spaces, function spaces, real functions, integral transforms, theory of distributions, measure theory.

learn more… | top users | synonyms (1)

3
votes
1answer
86 views

A relative property gamma and $L(\mathbb F_2)$

Given any unital non-commutative subalgebra $\mathcal M$ of $L(\mathbb F_2)$ is it true that $\mathcal M' \bigcap L(\mathbb F_2)^\mathcal U = \mathbb C I$ for any free ultrafilter $\mathcal U$?
1
vote
1answer
97 views

Are most random variables trivially sub-gaussian? [on hold]

I'm trying to understand sub-gaussian RVs to see if they could be relevant to my work. The common definition of a sub-gaussian RV is the following. X is $\sigma$ sub-gaussian if its laplace transform ...
2
votes
0answers
123 views

Why only Normed Linear Spaces? [on hold]

It is well known that "Norm on a vector space can be used to obtain a metric on that space." I think easily we can generalize the notion of norms to groups and rings. My questions are, Why ...
4
votes
0answers
92 views

Are smooth solutions to a PDE dense in the space of $L^2$ solutions to the PDE?

Let's say I have a linear differential operator $P$ with smooth coefficients between bundles $E$ and $F$ over a smooth compact manifold $X$ with smooth boundary. Let's consider $P$ as an operator ...
4
votes
0answers
71 views

Is there a quotient of $c_0$ without the approximation property?

The famous example of Enflo of a Banach space without the approximation property is actually a subspace of $c_0$. Is there a quotient of $c_0$ without the approximation property? This would follow if ...
1
vote
0answers
35 views

Reference request - Compact embedding of intermediate space

Given two Banach spaces $X_0$ and $X_1$ with norms $\|\cdot\|_0$ and $\|\cdot\|_1$, respectively, such that $X_0\subset X_1$ and $X_0\hookrightarrow X_1$, i.e., $X_0$ is continuous embedded in $X_1$. ...
0
votes
0answers
15 views

c-superdifferential is unique +cost function is differentiable, then the potential function is differentiable?

Let $M$ be a compact Riemannian manifold, $\mu$ and $\nu$ are two Borel probability measures, the cost function $c(x,y)=\frac{d^2(x,y)}{2}$. It's well known that the infimum of the Kontorovich's ...
4
votes
0answers
97 views

Reference for the Banach Manifold structure of $C^k(M,N)$

I'm completely new to the subject of banach manifolds and I'm looking for a reference of the following: Let $M$,$N$ be smooth (=$C^\infty$) finite-dimensional compact manifolds. Consider the set ...
0
votes
0answers
88 views

A question about tensor product [on hold]

For every $f, g$ in $L^1(G)$, we know the function $[(x,y)↦f(x)g(y)]$ belongs to $L^1(G\times G)$ where here $\times$ means cartesian product. Why are these functions dense in $L^1(G\times G)$?
3
votes
1answer
105 views
17
votes
0answers
362 views
+500

Separating pure states on the $2\times 2$ matrix algebra

I have an idea for a possible counterexample to the noncommutative Stone-Weierstrass problem. A good answer to the following question would really help. Let $\mathcal{A}$ be the C*-algebra of ...
0
votes
0answers
52 views

Norm inequalities between difference operators

Assume $(v_i)$ to be a sequence in $\ell_\infty(\mathbb{R})$ for $i=1,\dotsc,N$. Define the difference operator as $\Delta v_i:=v_{i+1}-v_i$ and $\Delta^n v_i:=\Delta(\Delta^{n-1} v_i)$. Then, how can ...
6
votes
2answers
234 views

Non strictly-singular operators and complemented subspaces

If $T$ is a bounded operator which is not strictly singular, acting on a separable Banach space $X$, can one always find an infinite dimensional, closed and complemented, subspace $Y$ such that $T$ ...
5
votes
1answer
186 views

Hahn Banach type extension of a Lipschitz map

The problem that I posted was a much generalized form of what I had in my mind. All I want to know the literature of Hahn-Banach type extension of Lipschitz map. I know only about the result by ...
3
votes
1answer
312 views

Survey papers on the role played by PDE in mathematics

There are already several questions on Mathoverflow about the application of PDE to several other topics (e.g., algebraic and differential geometry and topology, number theory, harmonic analysis, ...
1
vote
0answers
100 views

Reference request: The compactness and compact embedding in Besov Space?

Let $\Omega\subset \mathbb R^N$ be open bounded with smooth boundary. Let $0<s<1$, $1\leq p<\infty$, and $1\leq \theta\leq\infty$. We denote by $B^{s,p,\theta}(\Omega)$ the Besov space. For ...
3
votes
1answer
71 views

Existence of a countable linear combination with positive coefficients

Consider a (Hausdorff and complete) locally convex topological vector space $V$ and a countable subset $(v_k)_{k=1}^\infty \subset V$ of non-zero vectors. $(*)$ Under what conditions on this ...
1
vote
0answers
34 views

The best constant in Poincare-liked inequality in $BV$ and $BD$ space

This question has been posted on Math Stack exchange for a while and received no response. So I decide to move it here to get more attention. Let $\Omega\subset \mathbb R^N$ be open, bounded and with ...
0
votes
1answer
122 views

Continuous maps on compact topological spaces which induce compact (Fredholm) operators

Let $X$ be a compact Hausdorff space. A continuous map $f:X \to X$ defines a bounded linear operator $T_{f}$ on the Banach space $C(X)=\{\phi:X\to \mathbb{C} \mid \phi\; \text{is continuous}\}$ with ...
1
vote
0answers
81 views

Regularity of weak solution

I have also posted the question here. Let me explain what difficulties I have. In fact, one may write \begin{equation} \partial_1(f-\partial_1 u)=0 \end{equation} in $\Omega$. Then one may have the ...
5
votes
1answer
394 views

A problem in functional calculus

This is embarrassing, I think it must work, but I can't see how to prove it works. If anyone knows enough functional calculus of operators on a Hilbert space to tell me how to do it, I would be very ...
1
vote
0answers
86 views

One-sided local $L^p$ spaces

Consider the vector space $L^p_{\text{left-loc}}$ of measurable functions $f:[0,1]\to\mathbb R$ so that for all $x\in(0,1]$ there exists $\delta>0$ so that $f|_{[x-\delta,x]}\in L^p$. Does this ...
1
vote
0answers
171 views

system with solutions $\{x-a:0\leqslant a\leqslant z-1\}$ [closed]

What must be $F$ there where $0=F(1,x,0)=F(x-0,x,z)=F(x-1,x,z)=F(x-2,x,z)=F(x-3,x,z)=$ $\dots$ $=f(x-z-1,x,z)=0$? Define $F$ in the domain where a continuous function exists that behaves so for ...
1
vote
0answers
46 views

“Friedrichs extension Laplacian” vs “Weak Laplacian” and fractional powers

Take $\Omega$ to be a bounded domain and consider Neumann BCs. In some works, I see that a Laplacian $(-\Delta_D)^{\frac 12}$ is defined as an operator with domain $H^1(\Omega)$, and in other works, ...
1
vote
0answers
50 views

Fractional Sobolev space as a Cameron-Martin space

In their paper "On Fractional Brownian Processes" (link here to the working paper), Feyel and Pradelle (1997) write in the introduction: "we give very simple proofs of the existence of different ...
3
votes
1answer
89 views

Generalized functions on a product of two manifolds

Let $X,Y$ be smooth compact manifolds. Let $C^\infty(X)$ and $C^{-\infty}(X)$ denote the spaces of smooth and generalized functions on $X$ respectively. We have the obvious canonical linear map ...
0
votes
0answers
135 views

How to change the given metric if we want to add few extra isometries?

I have a Hilbert Space $X$ and a group $G$, which consists of bounded linear self-bijections of $X$ (if it helps, this group has a locally compact, but not compact topology). Is there a canonical way ...
0
votes
0answers
68 views

Cuntz comparison of strictly positive elements in finite C*-algebras

Let $A$ be a finite, non-unital C*-algebra, $s\in A$ a strictly positive element and $a\in A$ a positive element that is Cuntz-equivalent to $s$, i.e. there exist sequences $\{x_n\},\{y_n\}\subset A$ ...
1
vote
2answers
168 views

Derivative of Band-limited functions [closed]

I'm trying to answer this problem: Consider a real function f, bandlimited by frequency $\omega$, which satisfy $$\int_{-\infty}^\infty f(x)^2dx=c.$$ (For pure mathematicians: "bandlimited" means ...
3
votes
1answer
211 views

reference request: direct product of WOT-continuous unitary representations

In an article I'm revising, I spend some time giving a self-contained proof of the following result Let $G$ be a (Hausdorff) topological group and let $(\pi_i)$ be a family of unitary ...
1
vote
1answer
66 views

question about $TGV^2$ space

Let us just stay in $\mathbb R^1$. The space $TGV^k$ is defined as the function $u\in L^1(I)$ and $$ TGV^k(u,I):=\sup\left\{\int_I u\,\phi^{(k)}\,d\mu, \,\phi\in ...
0
votes
0answers
107 views

Is this has anything to do with Riesz representation?

The Riesz representation is very useful in study BV space. There is a lot of version of it and one of the good one can be found in this book, page 49. Here I come up with a question which has similar ...
0
votes
0answers
24 views

Equivalence of Sobolev--Slobodeckii and interpolation space on boundaries

Let $s \in (0,1)$. Given a sufficiently smooth hypersurface $\Gamma$ in $\mathbb{R}^n$, one can define the Sobolev--Slobodeckii space with the norm $$|u|_{H^s(\Gamma)}^2 = \int_\Gamma |u|^2 + ...
1
vote
0answers
169 views

Existence of topology on the space of continuous functions

Let $C:=C([0,1],\mathbb{R})$ be the space of real-valued continuous functions defined on $[0,1]$. Could we find a topological vector space topology $\pi$ on $C$ such that the following two conditions ...
5
votes
3answers
577 views

Make mathematical sense of the Dirac well Potential Equation

A classical problem in quantum mechanics involving the Dirac Delta function is given by $$ y''+(\delta(x)-\lambda^2)y=0. $$ Then, to find ''bound states'', you solve on the right and find the ...
1
vote
0answers
31 views

About norm on $H^{\frac 12}(M \times \{0,1\})$

Let $X=M \times \{0,1\}$ with $M$ a smooth compact manifold without boundary. Define the fractional Sobolev space $H^{\frac 12}(X) = (L^2(X), H^1(X))_{\frac 12}$, as the real interpolation space ...
1
vote
1answer
115 views

Maximal $\pi/2$-separated subset of the sphere

A subset $A$ of a metric space is called $\varepsilon$-separated if $$dist(x,y)> \varepsilon \mbox{ for all } x\ne y\in A.$$ (Notice that the inequality in my definition is strict.) What is the ...
1
vote
1answer
170 views

Comparing norms on tensor products of matrices

Given a Hilbert space $H$, let $S_1(H)$ denote the space of trace-class operators on $H$, with the trace-class norm or Schatten 1-norm. That is $$ \Vert T \Vert_1 = \sum_{j\geq 1} |s_j| $$ where ...
3
votes
1answer
105 views

Stinespring's dilation without $C^{\ast}$-algebras

Does Stinespring's dilation theorem hold if the algebra of interest is a topological $\ast$-algebra instead of the usual $C^{\ast}$-algebra? I will now state the version of Stinespring's dilation ...
0
votes
0answers
41 views

How to modify a SBV convergence sequence to obtain uniform integrability?

Given $\Omega\subset \mathbb R^N$ is open bounded with smooth boundary. Assume $(u_n)\subset SBV(\Omega)$ a sequence of functions such that $u_n\to u_0$ weakly in $SBV$ for some function $u_0\in ...
-2
votes
0answers
68 views

Normal structure

Let $X$ be a Banach space and $C$ a closed, convex, bounded and non-trivial set of $X$. It is said that $C$ has normal structure if for each closed, convex, bounded and non-trivial set $B\subset C$ ...
4
votes
0answers
99 views

$L_\infty(\mu)$ spaces non-isomorphic to a dual space

Given a measurable space $(\Omega,\mu)$ such that $L_\infty(\mu)$ is isomorphic to a dual space, $L_\infty(\mu)$ is an injective Banach space. Indeed, given a subspace $Y$ of $X$ and a norm-one ...
2
votes
2answers
131 views

Composition operators on fractional-order (periodic) Sobolev spaces

(The question was originally posted on MSE.) Preliminaries: We know that the fractional-order Sobolev spaces $\mathrm{H}^s(\mathbb{R})$ and $\mathrm{H}^s(\mathbb{T})$ are closed under multiplication ...
0
votes
1answer
56 views

Sobolev chain rule on non-compact manifolds

Let $(M,g)$ be a non-compact Riemannian manifold (not of bounded geometry). Let $f:\mathbb{R} \to \mathbb{R}$ be $C^1$ with $f'$ bounded and $f(0)=0$. Is the Sobolev chain rule valid for functions ...
1
vote
1answer
111 views

Is it true that for dimension d=3, if $v\in H_0^1(\Omega)$ but $v\notin L_\infty(\Omega)$ then exponent of v or -v is not summable?

I have the following Question: 1) Is it true that if $\Omega\subset\mathbb R^3$, $\Omega$ - bounded, $v\in H_0^1(\Omega)$ but $v\notin L_\infty(\Omega)$ implies $\int\limits_{\Omega}{e^vdx}=+\infty$ ...
2
votes
1answer
110 views

Bounding $\int_{\mathbb{R}_{+}}W(x,\lambda)W(y,\lambda)d\lambda$

Let $$W:\mathbb{R}_{+}^{2}\rightarrow(0,1]$$ be a symmetric, integrable function. Let $$f(x)=\int_{\mathbb{R}_{+}}W(x,\lambda)d\lambda$$ and assume this function is monotonically non-increasing. Is ...
5
votes
0answers
136 views

Non-linear positive map

In the paper titled "Nonlinear completely positive maps" M. D. Choi and T. Ando extended natural definition of completely positive maps ignoring the linearity condition (Aspects of positivity in ...
1
vote
0answers
31 views

Degenerate Carleman Estimate for Laplace Beltrami Operator

Suppose $(M,g)$ is a compact Riemannian manifold with boundary and that I have been able to prove a Carleman type estimate of the following form for an explicit phase function $\phi$ : $ \| e^ {\tau ...
0
votes
0answers
99 views

Is there a rather natural space an automorphism of which is the Mellin transform?

Disclaimer: this question might be a little too vague and thus not suitable for this site despite the soft-question tag. If so, feel free to migrate it to MSE. I just read this and, trying to find ...
0
votes
0answers
38 views

Mapping sphere surface to a vector space such that distances are preserved? [migrated]

I have a unit radius sphere (say in 3D) centered in origin. Thus the shortest distance between two points on the sphere is the geo-desic. Is there a transformation (linear or non-linear) on the points ...