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

learn more… | top users | synonyms (1)

3
votes
0answers
22 views

Real interpolation of weighted Sobolev spaces with different weights

Let $\Omega \subseteq \mathbb{R}^n$ be open and let $w_0$ and $w_1$ be measurable and almost everywhere positive and finite functions defined on $\Omega$. Let $L^2_{w_0}(\Omega)$ be the weighted ...
2
votes
1answer
56 views

Choi type matrix condition for completely positivity on a certain operator system spanned by some unitaries

Let $B_1$ and $B_2$ be $C^*$-algebras. Let $U_1, \ldots, U_n$ be some unitaries in $B_1.$ We consider the operator system $S$ spanned by $U_iU_j^*.$ Let $\phi: S \rightarrow B_2.$ Given that the ...
0
votes
1answer
78 views

Convergence of unitary products on a Hilbert space

First: I'm sorry for the basic question--I can move it to Math SE if necessary... Let $X$ be a Hilbert space and suppose $\{U_k\}_k$ is a sequence of unitary operators on $X$. Let $||\cdot||$ be the ...
1
vote
0answers
36 views

Is the Lopatinski-Shapiro condition invariant under diffeomorphism?

If a PDE (eg. the heat equation with Robin BCs, or the elliptic version) on a bounded smooth domain $U$ satisfies the Lopatinski-Shapiro condition (for a definition see eg. Wloka), and if $T:U \to W$ ...
2
votes
0answers
47 views

Reflexive subspaces of dual spaces

If $X$ is a Banach space, is it true that $X^{*}$ must contain an infinite dimensional reflexive subspace? I know of Gowers' example of a Banach space not containing $c_0$, $l_1$, or reflexive, but I ...
-1
votes
0answers
74 views

how in can to extend the adjoint

Let $T_{a},a\in C$ be a closed operator defined on $D$ subspace of $L^{2}(R)$ onto $L^{2}(R)$ $(T_{a}: D\rightarrow L^{2}(R) )$ with $D$ contains a Schwartz space $S$. ...
2
votes
0answers
84 views

Orthogonality relations for unitary representations of infinite (finitely generated) groups

Let $G$ be a group, and consider the matrix elements of finite dimensional irreducible unitary representations of $G$ over $\mathbb{C}$ as functions $f:G\to \mathbb{C}$. If $G$ is finite, any two ...
1
vote
0answers
62 views

Projective tensor product continuous?

For $V$, $W$ Banach spaces, is the canonical morphism $B(V) \times_\pi B(W) \to B(V \hat{\otimes}_\pi W)$ continuous, where $B(V)$ denotes the set of all linear bounded endomorphisms with operator ...
2
votes
0answers
94 views

Can we solve the FGF problem by finding an appropriate action?

If we can find an action of the free group $\mathbb{F}_2$ on a measure space $X$ such that the crossed product $M=L^∞(X)⋊\mathbb{F}_2$ is a ${\rm III}_1$ factor with core isomorphic to ...
2
votes
0answers
56 views

Strengthening of the local smoothing estimates for the free Laplacian

The classical local-smoothing estimates for the free Laplacian asserts that: $$\Vert e^{-it\Delta}f\Vert_{L^2((-\infty,+\infty)\,;\,H^{1/2}(B))}\leq C_B\cdot\Vert f\Vert_{L^2}$$ where ...
0
votes
0answers
59 views

Generalized Poincaré Inequality on H1 proof

let's see if someone can help me with this proof. Let $\Omega\subset\mathbb{R}^n$ be a bounded domain. And let $L^2\left(\Omega\right)$ be the space of equivalence classes of square integrable ...
0
votes
0answers
73 views

Orthogonal Procrustes problem for sub-spaces?

By Orthogonal Procrustes problem I mean given matrix $A$ and $B$ finding a orthogonal matrix $R$ which most closely maps $A$ to $B$, this has a solution as shown in ...
1
vote
0answers
45 views

Covering rough boundaries of closed sets in manifolds by charts

This question is a little vague, I'm afraid, because I'm not sure I expect there to be a complete answer; but there should be some sort of situations where it is possible. Consider a Riemannian ...
0
votes
0answers
107 views

Are induced Riemannian metrics weakly continuous?

Let $\Omega \subseteq \mathbb{R}^d$ a nice bounded domain. Let $F_n:\Omega \to \mathbb{R}^D$ be a sequence of smooth embeddings* in $W^{1,p}(\Omega,\mathbb{R}^D)$. Assume $F_n \rightharpoonup F$ in ...
0
votes
0answers
58 views

Order of vanishing of Laplace's equation with potential

Consider the equation $-\Delta u + V u = 0$ with Dirichlet boundary conditions on the bounded domain $\Omega \subseteq \mathbb{R}^n$, where $V$ is a smooth potential. Let $V \leq 0$, and bounded on ...
4
votes
1answer
99 views

Trivial intersection of kernels

This is a follow up to the question: Biorthogonal functionals. A positive answer to that question implies a negative answer to this one. If $X$ is a separable Banach space, can we find a basic ...
5
votes
2answers
208 views

$id:A\to A^{op}$ is completely positive iff $A$ is abelian

Let $A$ be a $C^*$-algebra and $A^{op}$ it's opposite $C^*$-algebra. Let $id:A\to A^{op}$ be the identity map. $id$ is positive. The claim is: $id$ is completely positive iff $A$ is abelian. I need ...
5
votes
2answers
127 views

Biorthogonal functionals

If $X$ is a separable Banach space and $(x_n)$ is a basic sequence, then we can define biorthogonal functionals $(x^{*}_n)$ in $X^{*}$ such that $x^{*}_n(x_k)=\delta_{nk}$. What about conversely? If ...
6
votes
0answers
108 views

Weak* continuity of positive parts, again

Bill Johnson pointed out to me yesterday that the map $$f \mapsto f^+ = \max(f,0)$$ is not weak* continuous on $l^\infty$. Nonetheless, I think I can prove that if $V$ is a linear subspace of ...
1
vote
1answer
128 views

Does the product function $fg$, where $f$ is in $L^2$ and $g$ is in $C^{\infty}_0$ belong to hardy space $H^1$?

I am struggling to know whether the product function $fg$, where $f$ is in $L^2$ and $g$ is in $C^{\infty}_0$ belong to hardy space $H^1$. $fg$ has compact support but I can't figure out how I can try ...
8
votes
1answer
97 views

Weak* continuity of positive parts

I'm a little embarrassed to be asking this, but surely there is a simple argument that I didn't see? Let $(f_\lambda)$ be a net in $l^\infty$ which converges weak* to $f \in l^\infty$. We do not ...
7
votes
1answer
247 views

Abstract result on partitions of unity?

A motivation: The classical Stone-Weierstrass theorem says that polynomials are dense among continuous functions (say, on the unit interval), while the abstract Stone-Weierstrass theorem (and also the ...
0
votes
0answers
32 views

Sobolev norm of a composition with a singular homeo

Let $H_p^t(\mathbb{R})$ be a fractional Sobolev space with the standard norm. The with $p>1$, $0<t<1$. Take some smooth $\phi$ from this space. Let $T$ be an ivertible homeomorphism of ...
0
votes
0answers
15 views

Sampling functions [closed]

Suppose there were two spaces $A$ and $B$, A consists of functions that computes a scalar from an array of values($x$) that have coefficients($w$); $B$ consists of functions that does some ...
4
votes
0answers
119 views
+100

Derivation of a stochastic Navier-Stokes equation under the assumption of perturbed particle trajectories

Let $d\in\left\{2,3\right\}$ $\mathcal V_t\subseteq\mathbb R^d$ be the bounded domain occupied by an incompressible Newtonian fluid at time $t\ge 0$ $\Phi_t:\mathcal V_0\to\mathcal V_t$ such that ...
3
votes
0answers
51 views

On the principal eigenvector of an elliptic operator

Suppose I have an open domain $U \subset \mathbb{R}^n$ and an elliptic operator $L$ acting on all square-integrable $C^2$ functions $\rho:U\to \mathbb{R}$ which converge to zero at $\partial U$: ...
0
votes
0answers
129 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 ...
2
votes
2answers
87 views

Behavior of orbits under small perturbations

Perhaps this question is too easy for mathoverflow, at least this is how it seems, but I got no answer on stackexchange. Suppose $T$ is a bounded linear operator on $l_2$ and $x\in l_2$ is a ...
3
votes
0answers
63 views

Does the Nash inequality hold on manifolds with Lipschitz boundary?

Let $N$ be a smooth manifold without boundary of dimension $n$. $M$ is a manifold with Lipschitz boundary if $M \subset N$, $M$ and $N$ are of the same dimension, and in the charts of $N$, the ...
5
votes
0answers
153 views

Dual of $BV_0(\Omega)$

It is previously pointed out in Dual or pre-dual of BV that the dual of $BV_c(\Omega)$ (BV functions with essentially compact support in $\Omega$) are so called strong charges, i.e. distributions for ...
1
vote
1answer
112 views

analytic continuation argument

In "Pseudo-spectra, the harmonic oscillator and complex resonances" (login required), the author says Sections $2$ and $3$ of this paper concern the operator ...
7
votes
1answer
168 views

When is a mapping the proximity operator of some convex function?

Is there a characterization of mappings $p : \mathbb R^n \rightarrow \mathbb R^n$ which are proximity operators (in the sense of Moreau) of l.s.c (extended) real-valued functions ? That is, given $p : ...
4
votes
0answers
122 views

Distributions and functions on the Jacquet module $C_c^\infty(X)_{H,\chi}$

Let $X$ be an $\ell$ space (in the sense of Bernstein-Zelevinski), $H$ be an $\ell$ group which acts on $X$ and $\chi$ be a character of $H$. Denote $C^\infty(X)^{H,\chi}$ the space of locally ...
0
votes
1answer
49 views

Request for references about computing or estimating Rademacher complexity

Is Rademacher complexity defined for any space of functions? Or are there restrictions on the function space over which this can be defined? For example is the Rademacher complexity defined or has ...
0
votes
0answers
53 views

A point on the absolute value of a bounded linear functional.

Let $A_0$ be a C*-subalgebra in a C*-algebra $A$. Let $\phi_0$ be a bounded linear functional on $A_0$ and assume $\phi$ is an extension of $\phi_0$ on $A$. I mean $\phi\in A^*$ with ...
3
votes
0answers
72 views

Donnelly-Fefferman growth of eigenfunctions

Let $(M, g)$ be a compact Riemannian manifold, and let $\lambda^2$, $\varphi_\lambda$ represent eigenvalues and eigenfunctions respectively of the Laplacian $\Delta$, that is, $-\Delta \varphi_\lambda ...
5
votes
1answer
78 views

Density of the linear span of products of harmonic polymomials

Let $\mathcal{H}$ denote the space of all harmonic polynomials with complex coefficients in $n$ variables $x_1,\ldots, x_n$ in $\mathbb{R}^n$. I'm trying to show that the linear span of the set ...
1
vote
0answers
62 views

Negative eigenvalue of Toeplitz Hermitian matrix?

I am working on estimation of a covariance matrix and I know that the matrix is Toeplitz. The desired matrix should not produce negative eigenvalues at all. However, sometime my estimation leads to a ...
1
vote
1answer
102 views

Linear functions

Let $(f_1, f_2, \ldots, f_n)$ be an $n$-tuple of functions mapping non-negative integers to non-negative integers. Let $m$ be a positive integer.Suppose there exists a function $f$ apping non-negative ...
3
votes
1answer
106 views

Abstract Wave Equation and Semigroups

If an operator $A$ on a Hilbert space $H$ generates a strongly continuous semigroup, does then the operator $B$ on $H \oplus H$ given by the matrix $$ B := \begin{pmatrix} 0 & \mathrm{id} \\ A ...
4
votes
1answer
122 views

Functional Calculus of closed operators

I learned that there is a holomorphic functional calculus for closed operators: If $T$ is a closed operator on a Hilbert space, and $f$ is a function that is holomorphic on some open subset $\Omega$ ...
5
votes
1answer
184 views

Fourier transform surjective on $L^p(\mathbb{R}^n)$ for $p \in (1,2)$?

I know that $F_2:L^2 \rightarrow L^2$ is of course unitary, whereas $F_1:L^1 \rightarrow C_0$ is injective but not surjective. This can be seen by looking at the dual map. Riesz-Thorin gives us that ...
3
votes
0answers
50 views

Isometry from a representation to the representation tensored with itself

Suppose, the group $ G=S(2^{\infty})$ has a unitary representation $ \pi $ on a separable infinite dimensional Hilbert space $ H $. (The group $ S(2^{\infty}) $ is the direct limit of the following ...
0
votes
0answers
32 views

Rademacher function and weakly p-summable sequence

The function $ r_{n}:[0,1]\rightarrow \lbrace -1,1\rbrace $ be defined by $ r_{n}(t):=sgn(sin(2^{n}\pi t) $ is known as the n-th Rademacher function. is $ (r_{n}) $ weakly p-summable sequence in ...
0
votes
1answer
159 views

Formula for an integration on $\mathbb{Q} \cap [0,1]$

In order to work with functions defined on $\mathbb{Q} \cap [0,1]$ I would like to define an adapted "integration" formula on this set. I though that following definition could be interesting: $$ ...
3
votes
0answers
60 views

Eigenvalues of approximations to product-convolution operators

Consider an operator $T: L^2 \mapsto L^2$ of the form $TA = g (h \ast A)$ where $g$ is and $h$ are bounded $C^\infty$ functions. This operator $T$ can be shown to be Hilbert-Schmidt, hence compact. ...
5
votes
1answer
101 views

is the maximal tensor product of compact operators an essential ideal?

I'm searching for a counterexample for $C^*$-algebras $A$ and $B$ and essential ideals (I assume an ideal to be closed and only two-sided ideals) $I\subseteq A$, $J\subseteq B$ , such that the ideal ...
1
vote
1answer
73 views

Easy Garding Inequality

Easy Garding Inequality states that if $a=a(x,\xi)$ is a symbol in $S=\{a\in C^{\infty}||\partial_{\alpha}a|<C_{\alpha} \hspace{2mm} \forall \alpha\}$ with $a\geq \gamma >0 $ on ...
0
votes
0answers
50 views

Monotone functions in ordered Banach spaces

Let $(X,\preceq)$ be a real ordered infinite-dimensional Banach space and $f:X\to \mathbb{R}$ is a Fréchet differentiable function. It is said to be a monotone non decreasing map if $$ x\preceq y ...
3
votes
1answer
108 views

is a linear map on an operator system into a $C^*$-algebra (+ extra conditions) positive?

First of all, sorry for my bad english. I tried to find out whether the following statement is true or not: Let $X$ be a operator system, $B$ a $C^*$-algebra and $f:X\to B$ linear such that $f(1)\ge ...