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

learn more… | top users | synonyms (1)

1
vote
0answers
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
0answers
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
1answer
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
0answers
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
0answers
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
1answer
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
1answer
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
0answers
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
1answer
146 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
1answer
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
1answer
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
0answers
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
0answers
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
1answer
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
1answer
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
0answers
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
0answers
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
0answers
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
1answer
452 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
1answer
140 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
1answer
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
0answers
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
0answers
69 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
0answers
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
0answers
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
1answer
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
2answers
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
1answer
154 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
1answer
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
1answer
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
2answers
241 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
1answer
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
0answers
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
0answers
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
1answer
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
1answer
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
0answers
152 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
0answers
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
1answer
276 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
1answer
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
1answer
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
1answer
179 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
0answers
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!
8
votes
2answers
310 views

Continuity of the product map

Let $A$ be a $C^*$-algebra. Is it possible to characterize $A$ for which the product map defined by $$\sum\limits_{i=1}^n a_i\otimes b_i \mapsto \sum\limits_{i=1}^n a_i b_i$$ is continuous with ...
8
votes
1answer
263 views

Is $\ell^\infty$ Polishable?

Consider $\ell^\infty$ as a subspace of the Polish space $\mathbb{R}^\omega$. It is easy to check that $\ell^\infty$ is not Polish in the subspace topology, as it is countable union of the compact ...
0
votes
1answer
64 views

Lower semicontinuity of a Bochner integral of a convex function

I'm looking for the following result: Let $\Omega \subset \mathbb{R}^n$ be a bounded domain. The map $$u \mapsto \int_0^T \int_{\Omega} f(u(t))$$ is lower semicontinuous for $u \in ...
1
vote
2answers
112 views

relation between of uniformly rotund in every direction and uniformly rotund and locally uniformly rotund

The norm of a Banach space $X$ is said to be uniformly rotund in every direction if $$\lim_{n→∞}\|x_n−y_n\|=0$$ whenever $$x_n,y_n∈SX$$ are such that $$\lim_{n→∞}\|x_n+y_n\|=2$$ and there is a $z∈X$ ...
0
votes
0answers
53 views

About approximate eigenvalue

I am in trouble when read the book "D.Henry, Geometric Theory of Semiliner Parabolic Equations". The question is relate to Page 104,proof Lemma 5.1.4. Suppose $X$ is a real Banach Space, $M$ is a ...
2
votes
0answers
139 views

Showing $\langle \frac{\partial b(v)}{\partial t}, v \rangle_{H^{-1}(\Omega), H^1(\Omega)} = \frac{d}{dt}\int_{\Omega}\Psi^*(b(v))$

Let $b$ be continuous and increasing with $b(0) = 0$. Define $\Psi(t) = \int_0^t b(s)\;ds$ and $\Psi^*(s) = \sup_{r \in \mathbb{R}} (sr-\Psi(r))$. (Note $\Psi^*(b(s)) + \Psi(s) = sb(s)$). Let $v ...
2
votes
1answer
162 views

Is $H^\infty$ a second dual space?

Let $H^\infty$ denote the Banach space of all bounded analytic functions on the open disc $\mathbb{D}$. It is easy to see that $H^\infty$ is a dual space. However, is there a Banach sapce $Y$ such ...