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

learn more… | top users | synonyms (1)

1
vote
0answers
17 views

The composition of a dissipative operator and a positive operator is dissipative?

Consider the following bilinear system on a open and bounded domain $\Omega$ \begin{equation} \left\{\begin{array}{r c l} \displaystyle\frac{dy(t)}{dt} &=& Ay(t)+u(t)By(t)\\ y(0) &...
4
votes
0answers
65 views

C$^*$-algebras in which the spectral radius is comparable to the norm

For every commutative C$^*$-algebra the spectral radius is equal to the norm. My question is: For which C$^*$-algebras $\mathcal A$ does there exist a constant $C>0$ such that $$C\|a\| \...
2
votes
0answers
50 views

A specific mollified functions in the Sobolev space H^1(R)

Let $u>0$ be in $H^{1}(\mathbb{R})=W^{1,2}(\mathbb{R})$, we know that the set of $C^{\infty}$ functions with compact support are dense in the Sobolev space $H^{1}(\mathbb{R})$. Hence, we have a ...
2
votes
0answers
99 views

The uses of the polar topology in topological vector spaces

The polar topology originates from the $S$-topology and is used in duality pairs. Due to the connection between the original topology and the weak topology, we can rephrase the original topology in ...
4
votes
0answers
58 views

Coming up with a represenation for sum of functions in the Fourier algebra

This is my first overflow question, so let me apologize in advance if this belongs on http://math.stackexchange.com. Let $G$ be a discrete group. Let $\lambda:G\to B(\ell^{2}(G))$ be the left ...
-1
votes
0answers
45 views

Closure property of completely monotone functions [on hold]

A $C^{\infty}$ function $f(x_1, \dots, x_n)$ defined on $(0,\infty)^n$ is said to be completely monotone if $$ (-1)^{k}\frac{\partial^k f}{\partial x_{i_1} \cdots \partial x_{i_k}} \geq 0 $$ ...
0
votes
0answers
46 views

interpolation inequalities and embeddings

When $Z$ is an interpolation space between two Banach spaces $X$ and $Y$ (say real / complex method), we have a norm inequality $$ \| x \|_Z \le C \| x \|_X^\theta \| x \|_Y^{1-\theta} $$ My question ...
0
votes
1answer
96 views

Right inverse of the Seiberg-Witten functional

For closed 4 manifold X, we consider the derivative of the Seiberg-Witten functional, i.e. $$\Omega^1_2(X;\sqrt{-1}\mathbb R)\oplus\Gamma_2(S^+)\overset{D}{\to}\Omega^2_{+,1}(X;\sqrt{-1}\mathbb R)\...
-3
votes
0answers
52 views

Fredholm operators: how to calculate Coker and Ker [on hold]

Exercise: Let $1\leq p \leq \infty$. For each $n\in\mathbb{Z}$ construct a Fredholm operator $F:l^p\to l^p$ whose index is $n$. Solution (given in the lecture classe): $F_n(x_i):=(0,\ldots, 0,x_1,...
3
votes
1answer
93 views

Linear independency and compactness of the set of pure states of a $C^*$-algebra

Let $\mathcal{A}$ be a noncommutative $C^*$-algebra and $PS(\mathcal{A})$ be the set of its pure states. Question 1. Is $PS(\mathcal{A})$ linearly independent (as vectors over $\mathbb{R}$)? (If $\...
0
votes
1answer
114 views

Hodge decomposition on open manifold

For the open manifold like $X\times \mathbb R$ or $X\times \mathbb R^+$, where $X$ is a closed manifold. Is there any decomposition like (Hodge Decomposition) of the Differential forms on it.
0
votes
0answers
88 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
vote
0answers
44 views

A priori estimates for elliptic operators

Suppose $L : L^{m,p}(M)\rightarrow L^p(M)$ is some elliptic operator of order $m$, and $(M,g)$ is a compact Riemannian manifold. Then it is known that there exists a constant $C$ such that we have the ...
0
votes
1answer
69 views

Heat kernel upper bounds on a complete Riemannian manifold

Let $M$ be a complete Riemannian manifold, and $p(t, x, y)$ denotes its heat kernel. I am trying to find sufficient conditions for when the following holds: $$ p(t, x, y) \leq Ct^{-n/2}, \forall x, y, ...
0
votes
0answers
46 views

$L^\infty$-contractive semigroups

Let $L^\infty(\mathbb T)$ be the space of $2\pi$-periodic and bounded measurable functions and $\mathcal P$ be a pseudo-differential operator defined on $\mathcal D(\mathcal P)\subset L^\infty(\...
0
votes
1answer
60 views

Domain of the Stokes operator

Let $\Omega\subseteq\mathbb R^d$ be open ($d\in\mathbb N$) $\mathcal D:=C_c^\infty(\Omega)^d$ and $$\mathfrak D:=\left\{\phi\in\mathcal D:\nabla\cdot\phi=0\right\}$$ $\mathcal H:=\overline{\mathfrak ...
0
votes
0answers
41 views

Questions about the regularity of the solution of the heat equation in a bounded domain [closed]

I have questions about the proof of the following theorem: Theorem 8 (Smoothness). Suppose $u\in C^2_1(U_T)$ solves the heat equation in $U_T$. Then $u\in C^\infty(U_T)$ Here is the statement and ...
-1
votes
1answer
47 views

About the critical points of quasi-convex functions

What do we know about the structure of critical points of quasi-convex functions? I am looking for statements like "the critical points of a quasi-convex function are always either a global minima ...
1
vote
1answer
79 views

Reference on Probability theory on functional spaces (in special Hilbert spaces)

Currently, I am working on some sort of stochastic optimization problems defined over function spaces. I am familiar with standard probability theory (R. Durrett, ''Probability: Theory and Examples")...
11
votes
2answers
291 views

Is a C*-algebra with an isomorphic predual a von Neumann algebra?

It is well-known that a C*-algebra $A$ is a von Neumann algebra if and only if it has an isometric predual, that is, if and only if there exists a Banach space $X$ such that $A$ is isometrically ...
0
votes
1answer
109 views

Space time Lesbesgue spaces

I have a function which lives in $f(x,t)∈L^2(0,T;H^{1/2})∩L^\infty(0,T;L^2)$ for a certain time interval. I also know that $\partial_{t} \ f(x,t)∈L^2(0,T;H^{−1})$. Can I assure that the function lives ...
4
votes
1answer
117 views

Density of smooth functions on Hölder spaces

The following result is often cited without reference in the context of PDEs: Let $\varOmega \subset\mathbb R^n$ be a bounded open set with smooth boundary. If $0<\beta<\alpha<1$ then $C^\...
1
vote
0answers
28 views

About a particular definition of a Hessian of a function of tuples of matrices

Say I have a function $L : (W_1,..,W_{H+1}) \rightarrow \mathbb{R}$ i.e it takes a tuple of $n$ matrices of different dimensions and computes a number from them. Then I see being defined a ...
5
votes
0answers
93 views

Banach spaces complemented in their ultrapowers

By the principle of local reflexivity, the second dual $X^{**}$ of a Banach space $X$ is complemented in some ultrapower $X^U$ of $X$. Even when $X$ is separable, the index set of $U$ cannot be ...
0
votes
0answers
92 views

The eigenfunction of modified $1$-laplace equation?

Let $\Omega\subset \mathbb R^2$ be open bounded with smooth boundary. It is well known that the laplace equation $$ -\Delta u=0 $$ has a set of eigenvalues $0<\lambda_1<\lambda_2\leq\lambda_3<...
1
vote
0answers
112 views

Is an bijective analytic map bi-analytic?

Suppose that $E$ and $F$ are complex Banach spaces and $U\subset E$ and $V\subset F$ are open subses. $f\colon U\to V$ is analytic $f\colon U\to V$ is bijective Is $f$ bi-analytic? (i.e. is its ...
0
votes
0answers
49 views

$L^\infty$ bounds for pseudo-differential equations of parabolic type

It is well-known that if the solution of $u_t=u_{xx}$, with $t>0$ and $x\in\mathbb R$, is bounded, then $a(t)=\sup_{x\in \mathbb R}u(x,t)$ is non-increasing, while $b(t)=\inf_{x\in \mathbb R}u(x,t)$...
4
votes
0answers
222 views

Baum Connes Conjecture [closed]

I have recently decided on a topic for my master thesis. I want to compare the Baum Connes conjecture as it is formulated in topology to the conjecture as it is formulated in functional analysis. I ...
7
votes
1answer
250 views

Why is the Berkovich spectrum of a C*-Algebra the same as the Gelfand spectrum?

Let $A = \mathcal{C}(X)$ be a commutative (unital) C*-Algebra. Let $Spec(A)$ denote its Gelfand spectrum $$ Spec(A) = \{A \rightarrow \mathbb{C} : \text{non-zero *-homomorphism} \} \simeq X. $$ Now ...
5
votes
0answers
121 views

Norm of projection onto functions of mean zero

Let $X$ be a finite set and consider the space $\ell^2(X;Y)$ of functions $\zeta:X\to Y$, where $Y$ is a fixed Banach space. It decomposes into a direct sum of constant function and its complement $\...
0
votes
0answers
38 views

References for the Sturm oscillation theorem

What is the most general form of the Sturm oscillation theorem? So far I have only seen cases that treat either unbounded intervals or weighted $L^2$ spaces. I would be especially interested in ...
10
votes
2answers
369 views

Extracting subsequences in Banach spaces, along an ultrafilter?

There are various principles in Banach space theory that allow one to pass from a given sequence of vectors $(x_n)$, to a subsequence $(x_{n_k})$ with some desired property. I'm thinking here, in ...
8
votes
1answer
198 views

Restriction of irreducible unitary representation to normal subgroup of finite index

Let $G$ be a Lie group (or more generally a locally compact group), let $N$ be a closed and normal subgroup of $G$ of finite index. Let $H$ be an infinite dimensional complex Hilbert space, and let $\...
2
votes
1answer
354 views

Is the $L^1$-space dual to a Banach space

Let $(\Omega,\mu)$ be a measure space. It is well known that for $1<p\leq \infty$ one has the duality $$L^p=(L^{p*})^*,$$ where $1/p+1/p^*=1$. Question. Is it known that the Banach space $L^1$ is ...
2
votes
0answers
76 views

If $f_j\to f$ in $L^1(\Bbb R^n)$ then $Tf_j\to Tf$ in $L^{1,\infty}(\Bbb R^n)$

Let's define $A:=\{f\in L^1(\Bbb R^n)\cap L^2(\Bbb R^n)\;:\;f\;\mbox{has compact support}\}$. So $A$ is dense in $L^1(\Bbb R^n)$. Given then $f\in L^1(\Bbb R^n)$; by density there exists $\{f_j\}_j\...
2
votes
0answers
66 views

Elliptic regularity on the hypercube

Assume $$ Lu=f\quad \text{in } [0,1]^d\\ u=0 \quad\text{ on } \partial[0,1]^d $$ for some strongly-elliptic operator $L$, and $f\in H^k$$, k\geq -1$. Do we have $u\in H^{k+2}$? I can only find the ...
4
votes
0answers
94 views

Concentration of infinite-dimensional Gaussian measure

I have the question about finding the subspace of concentration of a Gaussian Measure. More precisely: $\textbf{Question:}$ Assume we have a separable Hilbert space $\ell_2$ with Borel $\sigma$-...
1
vote
0answers
73 views

Differntiability of Distance to a CLosed Convex Set

Let $A$ be a closed convex set in Banach space $( \mathbb{R}^n, \| \cdot\| )$. For any $\mathbf{x} \in \mathbb{R}^n$, define $$P_{A}(\mathbf{x}) = \arg\min_{\mathbf{y}\in A} \| \mathbf{x} - \mathbf{y} ...
2
votes
1answer
78 views

Sequences in $L_{p}(1<p<\infty)$ that is equivalent to the unit vector basis of $l_{p}$ or $l_{2}$

Let $1<p<\infty$. Johnson and Schechtman (Multiplication operators on $L(L_{p})$ and $l_{p}$-strictly singular operators, 2008, DOI: 10.4171/JEMS/141, eudml, arxiv) observed that if $(x_{n})_{n}$...
15
votes
2answers
803 views

Corollaries of the Yoneda Lemma in Analysis?

This is a cross-post of my ~2 weeks (canonically) unanswered question on Math.SE: http://math.stackexchange.com/questions/1830287/corollaries-of-the-yoneda-lemma-in-analysis. I am looking for some ...
2
votes
0answers
101 views

A universal operator between separable Banach spaces

The Banach space $C[0,1]$ is universal for all separable Banach spaces in the sense that for a separable Banach space $X$ there is an isometric isomorphism from $X$ into $C[0,1]$. My question is ...
0
votes
0answers
64 views

Spectrum on an unbounded operator

Consider the operator $T_{c}=-\frac{d}{dx^{2}}+ c x^{2}$ with $c\in C^{*}$, $Re(c)>0$ defined on its domain $D_{c}=\{u\in L^{2}; T_{c}(u)\in L^{2}\}$. Put $c=a+ib$ avec $a>0$ et $b\in R$. ...
2
votes
0answers
38 views

Ideals of finite codimension in $L^1(G)$

Let $G$ be a non-abelian, locally compact group. Is there any characterization of the two-sided ideals of $L^1(G)$ which are of finite codimension?
3
votes
1answer
115 views

Subspaces of $L_{p}(2<p<\infty)$

Let $p>2$ and $X$ a subspace of $L_{p}$. Then Kadec and Pelczynski proved that either $X$ is isomorphic to $l_{2}$ or $X$ contains a subspace isomorphic to $l_{p}$. Question: if $X$ is ...
3
votes
1answer
136 views

The C*-envelope of the algebra of continuous functions on a compact topological space is commutative

In my research in operator theory, specifically in C* algebras and enveloping, I came across this strange footnote in a text (locally published in non English where I study) which states the following:...
2
votes
0answers
55 views

Implicit function theorem and selfadjoint operators

Is there a version of the implicit function theorem in some space of functions from $[0,1]$ to a Hilbert space $H$ that contains as a special case the unique solvability of the initial-value problem $\...
4
votes
0answers
77 views

Equivalence of questions regarding restrictions of pure states

In Davidson and Szarek's article "Local Operator Theory, Random Matrices and Banach Spaces" in the Handbook of the Geometry of Banach Spaces, the authors discuss the (now solved) Kadison-Singer ...
1
vote
0answers
59 views

Sufficient condition for the unique solvability of Dirichlet problem of Hamilton-Jacobi equation

It shall be an old story in PDE. I am looking for a sufficient condition of Dirichlet problem for the existence of the unique viscosity solution of the equation in the form of $$\inf_{a \in [-1,1]} \{...
2
votes
0answers
50 views

How do spectrums interact with bi-Lipschitz maps?

If it makes things simple, we can just stick to bi-Lipschitz maps from $S^k \rightarrow \mathbb{R}^d$ (w.r.t geodesic distance on the sphere with the standard round metric and the $2-$norm on the ...
1
vote
1answer
156 views

Could I affirm that $f$ is not identically 0?

Consider the following situation: Let $\Omega =l^{\infty}(\mathbb{R})$ be the space of all bounded sequences of real numbers. We will consider in $\Omega$ the metric: $ d(x,y)=\sum_{i\geq 1}\frac{|...