**7**

votes

**1**answer

247 views

### How much does the absolute value of an operator behave like an absolute value?

Recall that the absolute value of a bounded operator $T$ on a Hilbert space $H$ is the unique positive operator $|T|$ such that $$\||T|x\|=\|Tx\|$$ for all $x\in H$. It can be defined using the ...

**3**

votes

**1**answer

150 views

### A functional equality

I don't know if this is known, but I was fiddling around with this equality :
$$f:(-1,1)\to (-1,1)\quad \text{satisfies}\quad(f(z)+1)^s=\sum_{j=0}^{\infty}\dbinom{s}{j}f(z^k)
\quad \forall z\in ...

**13**

votes

**1**answer

277 views

### Bases for spaces of smooth functions

Let $S$ denote the space of rapidly decreasing sequences, which means sequences $a=(a_k)_{k=1}^\infty$ such that the numbers $p_d(a)=\sup\{k^d|a_k| : 1\leq k<\infty\}$ are finite for all ...

**0**

votes

**1**answer

162 views

### A question about PDE argument involving monotone convergence theorem and Sobolev space

I'm reading this paper. In it there is the following argument (see page 240).
Firstly, what precisely does the author mean by the displayed equation after 66? The PDE in (65) only holds weakly.. ...

**3**

votes

**0**answers

71 views

### Is there any weighted sobolev embedding with non-decaying weight

Is there any weighted sobolev embedding like
$$(\int_{R^d}(1+|x|)^s |u|^pdx)^{1/p}\leq C||\nabla^a u||_{L^q}$$?
Here $s>0$, and for some appropriate $p, q$.

**0**

votes

**0**answers

65 views

### How to Prove the Semi-parametric Representer Theorem

I have also posted this question on MathSE, so if you think it mustn't be here, please let me know, or just delete it. I was thinking that some people here are more appropriate to answer this ...

**3**

votes

**1**answer

136 views

### is every point of a Berkovich space a Shilov point?

Let $k$ be an algebraically closed non-Archimedean valued field with the value group $\mathbb R$, and let $X$ be a variety over $k$. Is it true that for any point $x \in X^{an}$ of the Berkovich ...

**1**

vote

**0**answers

67 views

### $L^p$ norm of solution to porous medium equation decreases in time: how to make formal calculation rigorous?

Let $u \in C^0([0,\infty);L^1(M)) \cap W^{1,1}_{\text{loc}}((0,\infty);L^1(M))$ with $u(t) \in H^1(M)$ for a.e. $t$ be the solution of the porous medium equation $\dot u = \Delta (u^m)$ on a compact ...

**0**

votes

**0**answers

85 views

### elliptic regularity when right hand side in weak $L^p$

I am interested in the following question (whose answer i assume is well known) but just not by me. Suppose $u,f$ are smooth functions defined on $B_1$ and $ \Delta u = f$ in $B_1$ with $u=0$ on $ ...

**3**

votes

**1**answer

75 views

### Regular commutative Banach algebras which are not closed under complex conjugate

Let $A$ be a semisimple commutative Banach algebra with the maximal ideal space $X$. Further, assume that $A$ is regular i.e. for every closed set $E\subseteq X$ and $x\in X\setminus E$, there is some ...

**2**

votes

**0**answers

113 views

### Clarkson's inequalities for Banach space valued functions

In standard analysis, Clarkson's inequalities expresses the norms of the sum and difference of two functions in $L^p$ in terms of the norms of the individual functions. In particular, one may use the ...

**0**

votes

**0**answers

42 views

### How to find the uniform convexity of a Banach space?

Consider the Hilbert space $\textit{l}_2$. Define $\|x\|_{\lambda} = \lambda\|x\|_{\infty} + \|x\|_2$, where $\lambda > 0$. Is $\textit{l}_2$ a uniformly convex Banach space with respect to ...

**2**

votes

**1**answer

70 views

### Existence of normal structure in strictly convex Banach spaces

Does there exists a strictly convex Banach space which is not uniformly convex and has normal structure ?

**0**

votes

**1**answer

107 views

### Decay of weak solutions to degenerate parabolic PDEs on manifolds without boundary

I'm interested in degenerate parabolic equations posed on compact manifolds without boundaries and in particular decay estimates of the weak solution of such equations of the form
$$|u(t)|_{L^p} \leq ...

**2**

votes

**0**answers

167 views

### Measurability of a map that takes a functional to its composition with a linear operator

Let $(X,\Sigma_X)$ be a measurable space such that $\Sigma_X$ is countably generated.
Let $B_b(X)$ be the Banach space of all bounded $\Sigma_X$-measurable functions $X\to\mathbb{R}$ equipped with ...

**3**

votes

**1**answer

148 views

### Extension of a bilinear functional

Does any one know an example of a bilinear functional $B:C(X)\times C(Y)\to {\bf R}$ ($X$ and $Y$ are open subsets of Euclid spaces) which cannot be extended continuously to a measure $\mu:C(X\times ...

**5**

votes

**1**answer

175 views

### Self-adjoint extensions and delta potentials

Is there a self-adjoint extension of an operator that corresponds to a particle in a box $[a,b] \times [c,d] \subset \mathbb{R}^2$ with a delta potential, i.e., $-\Delta + \lambda \delta_y $ on ...

**4**

votes

**1**answer

157 views

### Asymptotic behavior of Schrödinger operators

I am currently dealing with $1$ or at most $2$-dimensional Schrödinger operators on compact domains. A classical result of spectral theory is the Weyl approximations for this operator
$H = -\Delta ...

**0**

votes

**0**answers

127 views

### $b_n \rightharpoonup b$ in $L^q(Q) \forall q < \infty$, $b_n \to b$ in $C^0([0,T];H^{-1})$ implies $b_n(t) \rightharpoonup b(t)$ in $L^q(\Omega)$

This question stems from the proof of Theorem A.1 on page 425 of this paper.
Let $Q=(0,T)\times \Omega$. Suppose $b_n \rightharpoonup b$ in $L^q(Q)$ for any $q < \infty$ and $b_n \to b$ in ...

**4**

votes

**0**answers

143 views

### a question about Tsirelson's space

NOTE: I asked this question over at math.stackexchange.com but got no answer or comments after 3 days, probably because it's a bit specialized. Hopefully it is interesting enough to ask over here.
...

**0**

votes

**1**answer

91 views

### Paley-Wiener type theorem for integral functions with compact support

If $f\in L^{1}(\mathbb{R}^n)$, and $f$ has compact support, then how can I show that $\hat{f}$ cannot satisfy $\hat{f}(x)=O(e^{-\epsilon|x|})$ for any $\epsilon>0$?
This is similar in the spirit ...

**1**

vote

**1**answer

140 views

### Getting existence for $L^1$ data given existence for $L^\infty$ data and $L^1$ continuous dependence result

Let $F:\mathbb{R} \to \mathbb{R}$ be locally Lipschitz, monotone and continuous. For the sake of concreteness only let us suppose it is of porous medium type (eg. $F(r) = r^{\frac 1m}$.)
Let $\Omega ...

**6**

votes

**0**answers

92 views

### Bundles over Function Spaces

Is there any reference on bundles over function spaces? In particular, I am interested in Banach-bundles over function spaces like $W^{k,r}(M)$, where $M$ is a Riemannian manifold. Separable ...

**2**

votes

**0**answers

54 views

### Holder continuity of Poisson equation with divergence free drift

I am interested in the following PDE.
Suppose $u_m$ is a smooth solution of a elliptic equation of the form
$$ -\Delta u_m(x) + a_m(x) \cdot \nabla u_m(x) = f_m(x) \qquad B_1 $$ with $ u_m=0 $ on ...

**2**

votes

**0**answers

106 views

### Variational inequality on Manifold

Let $(M,g)$ be a Riemannian manifold. Consider $A : W^{1,r}(M,\mathbb{R}) \rightarrow W^{-1,r'}(M,\mathbb{R}), k \mapsto Ak$, where $Ak$ is defined by $(Ak)(\varphi) = \int_{M}g(\nabla k, \nabla ...

**18**

votes

**1**answer

453 views

### “Minimal” group C*-algebra?

Let $\Gamma$ be a discrete group (though this could be asked for general locally compact groups) and consider the Banach $*$-algebra $\ell^1(\Gamma)$. We have two natural $C^*$-algebra completions: ...

**3**

votes

**1**answer

141 views

### Equivalent Norms for the Dual of Sobolev / Bessel Spaces

Using standard notation, we refer to $H^s(\mathbb R) = W^{s,2}(\mathbb R)$ to be the Sobolev Hilbert spaces. As is often the case, it's natural to then consider properties of functions in $H^s(\mathbb ...

**0**

votes

**1**answer

108 views

### Want to show $\lim_{\epsilon \to 0}\frac{1}{\epsilon} \int_0^T \langle u_t(t), T_\epsilon(u(t)) \rangle = \int_\Omega |u(T)| - \int_\Omega |u(0)|$

Let $\Omega \subset \mathbb{R}^n$ be a bounded domain and let $u \in L^2(0,T;H^1(\Omega))$ with $u_t \in L^2(0,T;H^{-1}(\Omega))$. Define the truncation function$$T_\epsilon(x) = \begin{cases}
...

**5**

votes

**0**answers

129 views

### Trace class norms of special integral operators

Let $\mu$ be a finite compactly supported Borel measure on the real line. On the space $L^2(\mu)$ consider the integral operators
$$
(K_a f)(x)=\int k_a(x, y)f(y)d\mu(y)
$$
with
$$
k_a(x, ...

**1**

vote

**0**answers

70 views

### Comparison principle using truncation for porous medium equation

For a porous medium equation (eg. $u_t - \Delta \Phi(u) = f$), is it possible to obtain a comparison principle for very weak solutions (eg. if $u_0 \geq 0$ and $f \geq 0$ then $u \geq 0$ a.e.) using ...

**1**

vote

**0**answers

98 views

### A question about Smulian lemma

Smulian lemma says Let $(X, ||.||)$ be a Banach space and$(X^*, ||.||^*)$ and let $x\in S_X=\{x\in X:||x||=1\}$ then
(i) $||.||$ is Frechet diffrentiable at $x$ iff ...

**3**

votes

**0**answers

210 views

### Small rectangle probability

Let $H$ be a Hilbert space and $\mu$ be a centered Gaussian measure on it. Also, let the eigenpair corresponding to $\mu$ be $(i^{-\alpha} , e_i)$ with $\alpha > 1$. Assume we have a ball of radius ...

**1**

vote

**1**answer

116 views

### Cauchy-Schwarz type formula for positive integral operator

This question arises when I am reading Klainerman&Machedon's paper "On the Uniqueness of Solutions to the Gross-Pitaevskii Hierarchy". The author made a comment on page 3, which in effect is as ...

**5**

votes

**2**answers

176 views

### Characterization of ideals in the bounded operators

Let $\mathcal{B}(H)$ denote the C*-algebra of all bounded operators on a separable infinite dimensional complex Hilbert space $H$. It is a well-known fact that $\mathcal{B}_0(H)$, the ideal of compact ...

**2**

votes

**1**answer

155 views

### When do curves exist in infinite-dimensional submanifolds?

Let me explain the motivation for my question by talking about the finite-dimensional situation. Let's say we have a $d$-dimensional $C^\infty$ manifold $M$ embedded smoothly in $\mathbb R^n$. We fix ...

**3**

votes

**1**answer

212 views

### Closed Graph Theorem and Spaces Of Continuous Functions

Let $X$ be a (Tychonoff) topological space. Consider $C\left(X\right)$ being a topological vector space of all continuous scalar-valued functions with the compact-open topology.
Assume that $Y$ is a ...

**8**

votes

**1**answer

180 views

### Why do the projections in the Calkin algebra not form a lattice?

Let $H$ be an infinite dimensional separable complex Hilbert space. Denote by $\mathcal{B}(H)$ the C*-algebra of bounded operators on $H$, $\mathcal{K}(H)$ the ideal of compact operators on $H$, and ...

**2**

votes

**2**answers

243 views

### Relationship between largest eigenvalue of a positive matrix $A$ and $A∘A^T$

I'm wondering whether there is certain relationship between the largest eigenvalue of a positive matrix(every element is positive, not neccesarily positive definite) $A$, $\rho(A)$ and that of ...

**5**

votes

**1**answer

177 views

### Comparing Krein-Rutman theorem and Perron–Frobenius theorem

Krein–Rutman theorem is a generalization of Perron–Frobenius theorem, I know that things could be more subtle in infinite dimension, yet there's an important result in Perron–Frobenius that's missing ...

**0**

votes

**0**answers

51 views

### References for LWP of a NLS Equation

I am studying the LWP of $$i \partial_t \psi + \Delta \psi = \left| \psi \right|^{p-1} \psi + \frac{1}{\left| x \right|^2} \psi$$ in $\mathbb{R}^{1+2}$ given appropriate Cauchy data. It will probably ...

**2**

votes

**0**answers

100 views

### Inductive and projective tensor product

Does anyone know if there is a characterization of the spaces on which the inductive tensor product and the projective tensor product are the same ? This is the same as asking every separately ...

**3**

votes

**1**answer

92 views

### Doubling of variables method for parabolic equations

Does anyone have a reference that explains the technique of doubling of variables as introduced by Kruzkov? It seems to be a necessary tool for contraction estimates when we have weak solutions. ...

**1**

vote

**1**answer

86 views

### Getting a comparison principle for parabolic equation when solution is not that smooth

Consider the solution $b(u) \in L^2(0,T;H^1)\cap H^1(0,T;H^{-1})$ with $u \in L^2(0,T;H^1)$ to
$$\frac{\partial}{\partial t}b(u) - \Delta u = f$$
where $b$ is continuous, increasing and locally ...

**4**

votes

**0**answers

154 views

### Denseness of finite rank operators in $\mathcal{B}(X,Y)$

Let $X$ and $Y$ be Banach spaces and let $\mathcal{B}(X,Y)$ be the space of bounded linear operators from $X$ to $Y$. As noted in the answers to a question on
...

**5**

votes

**0**answers

103 views

### Banach spaces admitting no proper quasi-affinity

I am interested in examples of Banach spaces $X$ satisfying the following two conditions:
(1) Every (continuous linear) injective operator $T:X\to X$ with dense range is surjective.
(2) $X$ is ...

**3**

votes

**1**answer

277 views

### Existence of certain bounded approximate identity

In trying to follow the proof of Proposition 4.11 in
M. C. White, Injective modules for uniform algebras, Proc. London Math. Soc. 73 (1996) 155--184
there is a part which seems unclear.
Let $I$ be ...

**3**

votes

**1**answer

133 views

### Predual of a Direct Sum of Banach Spaces

This may be basic, and if it is I apologize, but I have found no references to it in literature. I would appreciate a reference at least if I am wrong. I have supplied background for those interested, ...

**5**

votes

**1**answer

181 views

### Chain rule for distributional derivative

Let $V \subset H \subset V^*$ be a Gelfand triple (eg. $H^1 \subset L^2 \subset H^{-1}$).
Let $u \in L^2(0,T;V)$ have a distributional derivative $u' \in L^2(0,T;V^*)$. So $\int_0^T u(t)\varphi'(t) = ...

**3**

votes

**1**answer

184 views

### Frechet differentiable implies reflexive?

Let $X$ be a Banach space. Is it true that if dual norm of $X^*$ is Frechet differentiable then $X$ is reflexive?
Can any one help me?
thanks

**3**

votes

**0**answers

130 views

### Method to Generate Random Mutually Orthogonal Unitary Matrices

The title says it all, I'd like to know if such a method exists to generate random mutually orthogonal unitary matrices. If so, any supplementary references would be very much obliged. Thanks again!