# Tagged Questions

**2**

votes

**1**answer

176 views

### Commutator with Dirichlet Laplacian

Consider the Dirichlet Laplacian $\Delta$ on a compact Riemannian manifold (with boundary). Consider the operator $T = \sqrt{-\Delta}$. My question is: is there any Leibniz/product rule? Can we say, ...

**0**

votes

**0**answers

69 views

### Equivalent Gaussian measures

Let $\mu$ be a gaussian measure with eigenpair $\{e_k,2^{-k}\}$ and $\nu$ with eigenpair $\{ Te_k,2^{-k}\}$. Here, T is the unitary operator given by $Tx = x - 2\left\langle x,v \right\rangle v$. Let ...

**11**

votes

**2**answers

214 views

### Heuristic interpretation of the 'third index' for Besov and Triebel-Lizorkin spaces

For $p,q \in (0,\infty)$ and $s \in \mathbb{R}$, one can define certain function spaces, $B_s^{p,q}(\mathbb{R}^n)$ and $F_s^{p,q}(\mathbb{R}^n)$, the Besov and Triebel-Lizorkin spaces respectively. ...

**0**

votes

**0**answers

130 views

### Want to show rigorously $\frac{d}{dt}\int_{\Omega}|u(t)|^r = r\langle u_t(t), |u(t)|^{r-2}u(t)\rangle_{H^{-1}(\Omega), H^1(\Omega)}$

We have a bounded domain $\Omega$ of $\mathbb{R}^n$. Let $$u \in L^2((0,T);H^1(\Omega)) \cap H^1((0,T);H^{-1}(\Omega))\cap L^\infty((0,T);L^\infty(\Omega)).$$
I want to show for $r \geq 2$ that
...

**3**

votes

**0**answers

79 views

### Variational Principle for a System of Differential Equations

I am studying a differential operator of the form $$ L\left(\begin{array}{c} u \\ v \end{array}\right) = -\Delta \left(\begin{array}{c} u \\ v \end{array}\right) + V(x)\left(\begin{array}{c} u \\ v ...

**0**

votes

**0**answers

126 views

### $L^{p}(\mathbb R)\subset L^{1}(\mathbb R) \ast L^{p}(\mathbb R), (1< p< \infty)$?

Let $\mathbb T$ be a circle group.
In 1939, Salem, has shown that, every member of $L^{1}(\mathbb T)$ can written as a product(convolution) some other two members of $L^{1}(\mathbb T),$ that is, ...

**1**

vote

**2**answers

148 views

### Measures, orthogonal to holomorphic functions

Let $G$ be a domain in $\mathbb{C}^{d}$ and let $H\left(G\right)$ be the space of all holomorphic functions on $G$.
My question is how to characterize all such (Radon) measures $\mu$ on $G$, that ...

**2**

votes

**0**answers

80 views

### Different definitions of Morrey and Campanato Spaces

The book by Giaquinta defines Campanato spaces using the seminorm:
$$[u]_{p,\lambda} = \left(\sup_{\substack{{x_0\in\Omega \\ ...

**7**

votes

**1**answer

260 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

151 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

291 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

170 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

72 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

66 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

145 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

71 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

87 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

81 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

120 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

48 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

82 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

146 views

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

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

168 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

153 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

180 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

165 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

131 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

153 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

139 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

144 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 ...

**7**

votes

**0**answers

94 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

57 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

463 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

144 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

111 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}
...

**6**

votes

**0**answers

144 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

72 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

101 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

211 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

120 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

185 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

159 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

216 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

192 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

253 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

185 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

54 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

107 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

97 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. ...