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

learn more… | top users | synonyms (1)

4
votes
3answers
532 views

reflexive banach space

I want to ask this non-expert question: What does it mean geometrically for a Banach space to be reflexive? Well, we could say a Banach space is reflexive iff unit ball is weakly compact. Or some ...
3
votes
2answers
193 views

distributional Hessian for semiconvex functions on non-smooth manifolds

Let $f:R^n \to R$ be convex. Then there exist signed Radon measures $\mu^{ij}=\mu^{ji}$ such that $$ \int_{R^n} f \frac{\partial^2 \varphi}{\partial x_i \partial x_j} dx= \int_{R^n} \varphi d\mu^{ij} ...
1
vote
0answers
110 views

Dual space of $l^p(\mathbb{Z},X)$

Let $X$ be a Banach space, $p \in [1,\infty)$ and $l^p(\mathbb{Z},X)$ the usual sequence space taking values in $X$. Is it always true that $(l^p(\mathbb{Z},X))^* = l^q(\mathbb{Z},X^*)$ and ...
-1
votes
1answer
137 views

Analysis of Sobolev spaces [closed]

I just wanted to know wthether the following is OK or not. Let $X$ be $H_0^1(\Omega)\bigcap L^{\infty}(\Omega)$, thought of as a subspace of $H^1_0(\Omega)$ and endowed solely with the usual $H^1$ ...
2
votes
0answers
99 views

Sobolev space for manifold with boundary

For an compact manifold $M$ without boundary, we consider the eigenfunctions $(f_1,f_2,\ldots)$ of some elliptic operator (e.g $\Delta$) with eigenvalue $\lambda_{1},\lambda_{2},\ldots$. To define ...
2
votes
0answers
82 views

On uniform or simple convergence of Poisson Summation formula

Under good conditions on an even function $f(x)$ we have the Poisson Summation formula ($x>0$): $$f(0) + 2 \sum\limits_{n =1}^{\infty} f(nx)= \frac{1}{x} \left( \hat{f}(0) + 2 \sum\limits_{n ...
1
vote
0answers
67 views

Da Prato's notion of Symmetric Operator

For anyone who's familiar with G. Da Prato's books on infinite dimensional analysis, I was wondering if someone could clarify something. In, for instance, "An Introduction to Infinite Dimensional ...
2
votes
0answers
107 views

Infinite sums with Mobius Inversion : can we have uniform convergence of inversion formula?

My question is on Mobius inversion formula convergence/properties when used with infinite sums of function. Lets consider (on $\mathbb{R}^{+}$): $$S(x)= \sum\limits_{n=1}^{\infty} f(nx)$$ We call ...
3
votes
1answer
55 views

Relatively compact sets in Ky Fan metric space

Let $(\Omega,P,\mathcal{F})$ be a probability space. $X$, $Y$ are two random variables. The Ky Fan metric defined as: $d_F(X,Y)=\inf\{\epsilon: P(|X-Y|> \epsilon)<\epsilon\}$ (or $d'_F(X,Y)=E ...
3
votes
0answers
66 views

Is Wiener's Tauberian theorem true in Wiener space?

Let $\gamma$ be the standard product Gaussian measure in $\mathbb{R}^\infty$, and let $\mu$ be a finite variation measure, not necessarily positive, such that $\mu \ll \gamma$. Is the following true? ...
7
votes
0answers
172 views

Lipschitz-free spaces of $\mathbb R^n$

We define $$ \text{Lip}_0(\mathbb R^n)=\{f:\mathbb R^n\rightarrow \mathbb R, \text{such that $f(0)=0$ and } \sup_{x\not=y}\frac{\vert f(x)-f(y)\vert}{\vert x-y\vert}<+\infty. \} $$ It is well-known ...
1
vote
0answers
93 views

Topological properties of space of Radon measures

Let $M$ denote the space of signed unbounded Radon measures on $\mathbb{R}$ as is defined by Bourbaki, i.e. $M$ is the dual of $C_c$ where $C_c$ is the space of continuous functions on $\mathbb{R}$ ...
1
vote
1answer
87 views

About the upper bound on the roots of the matching polynomial

Heilman and Lieb had proven that if a graph had $d$ as its maximum vertex degree then the roots of the matching polynomial are bounded from above by $2\sqrt{d-1}$. Is there a modern exposition of ...
1
vote
1answer
89 views

Orthogonal compact operators on an infinite dimensional Hilbert space [closed]

How do I show that when $H$ is an infinite-dimensional Hilbert space we can find two compact positive operators $u,v$ with infinite dimensional image and $u \perp v$? This statement can be found at ...
2
votes
2answers
100 views

Infinite direct sum of $l_2^{(n_k)}$ contains a complemented isometric copy of $l_2$

How do I show that for any increasing sequence $(n_k) \subseteq \mathbb{N}$, the space $\left( \oplus _{k=1} ^\infty l_2 ^{(n_k)} \right) _\infty$ contains a complemented isometric copy of $l_2$?
1
vote
1answer
110 views

Is a Fréchet Montel space distinguished?

Based on a couple of references, it seems that the answer is yes, see for example Boneta-Dierolf, 1992 and Bierstedt-Bonet, 1989. However, from a comment to the answer of this MO question, I infer ...
5
votes
0answers
87 views

A weak Perron-Frobenius property for sets of positive matrices

A popular form of the Perron-Frobenius theorem states the following result: if $A$ is a $d \times d$ real matrix all of whose entries are positive, then the spectral radius of $A$ is a simple ...
0
votes
0answers
89 views

Banach space dual to $L^\infty(I,H^1(M))$

What is the dual to $L^\infty (I,H^1(M))$?, where $I$ is an interval in the real line; $H^1(M)$ is Sobolev space of degree 1, and $M$ is a compact manifold like the torus. Any references that show ...
3
votes
0answers
91 views
+50

Lipschitz continuity of a composition operator

Let $M$ be a compact Riemannian submanifold of $\mathbb{R}^K$, $U\subset \mathbb{R}^K$ an open neighboorhood of $M$ such that the shortest point Projection $P_M\colon U\rightarrow M$ is well-defined ...
4
votes
1answer
79 views

Reference for higher order Campanato Lemmas, e.g. `Sufficiently fast L^2 decay on balls to affine functions implies C^{1,\alpha}'

Whence can I reference the following fact (I have seen it quoted as `standard' in respectable places, so I hope it is so)?: Let $f : B_2(0) \to \mathbb{R}$, say $f \in L^2(B_2(0))$ . Suppose that ...
0
votes
1answer
47 views

Injective inclusion map from RKHS function space to $L_p(\mu)$

Let $X$ be a measurable space, $\mu$ be a $\sigma$-finite measure on $X$, and $H$ be a separable reproducing kernel Hilbert space over $X$ with a measurable kernel $k$. At a certain part in a proof I ...
4
votes
1answer
83 views

Monotonicity of a ratio of conditional expectation operator

Let a pair of random variables $(X, Y)$ over a finite product space $\mathcal{X}\times \mathcal{Y}$ be given. The conditional expectation operator is defined as $$(T_Yf) (y):=\mathbb{E}[f(X)|Y=y],$$ ...
0
votes
0answers
90 views

Range of a trace preserving completely positive projection

I'm working in $M_n(\mathbb{C})$, the algebra of complex $n\times n$ matrices. I managed to build a completely positive, trace preserving, star preserving, projection $P$. That is $$\text{Tr}(P(A)) = ...
1
vote
1answer
266 views

Euler-Lagrange Equation and “Eigen Value ”

I posted this question on Math.SE, but I could not get any help. The eigenvalue $\lambda(t)$ is characterised as the minimum of the Rayleigh quotient (where $t$ is a scalar variable) ...
1
vote
2answers
103 views

Motivating the Bessel translation operator

In a paper I am reading on the Hankel transform (this paper to be exact), I've come across a somewhat peculiar definition for a generalized translation operator. The operator is designed with a ...
1
vote
0answers
149 views

Is there a method to simultaneously block-diagonalize a set of group matrices?

Assume that you are explicitly given the representation matrices of a group. How does one go about finding that common basis which will find the irreducible components of all of them simultaneously? ...
1
vote
0answers
52 views

What are good bounds on ratios of subdeterminants?

Let $A$ be a symmetric matrix and $A_i$ be the matrix obtained from $A$ by dropping the $i^{th}$ row and column. Then what are some good bounds on the value of $\frac{det(A_i)}{det(A)}$ ? Using the ...
0
votes
0answers
77 views

an elementary proof without using K-convexity constant?

Suppose that $A$ is an $n\times d$ matrix $(n\gg d)$ with orthonormal columns, and $g\sim N(0,I_d)$. I wish to show that $$ \mathbb{E}\sup_{x:\|Ax\|_1 = 1} \langle g,x\rangle \lesssim \sqrt{\log ...
0
votes
1answer
93 views

Which is the smallest space $X\subset L^{2}$ where the conservation law holds in the norm of $X$?

We formally write the solution of nonlinear Schrödinger equation (NLS) as follows: $$u(t)= U(t-t_{0}) u_{0}- i \int_{t_{0}}^{t} U(t-\tau) (|u|^{2}u(\tau)) d\tau;$$ where $U(t)= e^{it\Delta} $(free ...
0
votes
0answers
52 views

global bi harmonic functions in a riemannian manifold

Any help will be appreciated thanks! Consider $(\mathbb{R^n},g)$ to be a Riemannian manifold. For simplicity we can assume the manifold to be asymptotically euclidean outside a compact domain ...
1
vote
0answers
60 views

Relation between locally convex calculus and Kriegl & Michor's “convenient setting”

I have a very general question regarding the book "Kriegl, Michor: The Convenient Setting of Global Analysis.": Is the differential calculus of locally convex spaces (see here, for instance) ...
4
votes
2answers
272 views

Question about projections in von Neumann algebras

Let $M$ be a von Neumann algebra, and let $\mathcal{P}$ be the set of nontrivial (not equal to $0$ or $e$) projections of $M$. Define $p,q \in \mathcal{P}$ to be equivalent if there exist projections ...
0
votes
0answers
57 views

What does integrability of a strictly monotonic function imply about the tails of that function?

In particular, if $f:\mathbb{R}_{+}\rightarrow[0,1]$ is a strictly monotonic decreasing function and $f$ is integrable then does it necessarily hold that $f^{-1}(1/t)=o(t)$?
5
votes
0answers
108 views

Approximation in the tensor square of a weakly exact von Neumann algebra

Background. I think I can prove something about a certain construction definition for Fourier algebras of discrete groups, under the assumption that the group is exact (well, really I use Yu's ...
0
votes
1answer
153 views

Sobolev's lemma on manifolds

Let $M$ be a n-dimensional closed submanifold in $\mathbb{R}^m.$ I was looking for a version of Sobolev's lemma saying that for $f \in {W}^{k,2}$ we find a representative of $f \in C^{r}$ satisfying ...
2
votes
0answers
102 views

About the small set expansion conjecture

Given a graph $G=(V,E)$ and a $\delta > 0$ one wants to calculate $h(G,\delta)=min_{\vert S\vert \leq \delta \vert V \vert } \phi(S)$. ($\phi(S) = \frac{ E(S,\bar{S}) }{d min \{\vert S \vert , n - ...
0
votes
0answers
26 views

Uniform Boundedness of the Szasz-Durrmeyer Operators on Variable $L^{p(\cdot)}$ Spaces

I am stuck with the uniform boundedness problem associated with the Szasz-Durrmeyer Operators on $L^{p(\cdot)}$ spaces. The Szasz-Durrmeyer operator can be defined as $$M_{n}(f;x)=\sum ...
2
votes
1answer
133 views

Non-closability of an operator

Let $a$ be a positive continuous function nowhere differentiable on $[0,1]$. The operator $T$ in $H:=L^2(0,1)\oplus L^2(0,1)$ defined by $$T(u_1,u_2) := (u_1' + au_2',0)$$ on $\textrm{Dom} \,T := ...
4
votes
1answer
157 views

Density of smooth functions in Sobolev space, respecting nonnegative traces

I am looking for a reference for the following result (if it is true, which I would expect): Let $\Omega\subset\mathbb{R}^n$ be a bounded Lipschitz domain. Let $\Gamma_0\subset\partial\Omega$ be ...
5
votes
0answers
82 views

Support of a Measure with Characteristic Functional Continuous in $L_p$, $1\leq p <2$?

Let $\mathcal{S}(\mathbb{R})$ be the space of smooth and rapidly decaying functions and $\mathcal{S}'(\mathbb{R})$ its dual, the space of tempered distributions. Let $\mu$ be a probability measure ...
1
vote
1answer
137 views

Weak topology on a pre-Hilbert Space

Since there was essentially no answers on my previous question, I will ask a partial case of it, which is very easy to state. Let $\left(X,\left<\cdot,\cdot\right>\right)$ be an inner product ...
1
vote
0answers
104 views

Strichartz estimates for the wave equation

Strichartz estimates for the wave equation $\Box u=F $ with $u(0)=g_0$ and $\partial_t g(0)=g_1$ can be stated as $$\Vert u\Vert_{L^q_tL^r_x}+\Vert u\Vert_{C^0_t\dot{H}_x^s}+\Vert\partial_t ...
0
votes
1answer
134 views

$u_n$ bounded in $L^\infty(0,T;H) \cap L^2(0,T;V)$ implies $u_n \to u$ strongly in $L^2(0,T;H)$?

Let $V \subset H$ be a dense and compact embedding. Let $$\lVert u_n\rVert_{L^\infty(0,T;H)} + \lVert u_n \rVert_{L^2(0,T;V)} < C$$ where $C$ is independent of $n$. It follows that eg. $u_n ...
1
vote
0answers
128 views

Sum-epimorphisms and prod-monomorphisms

        Sum-epimorphisms A longer time ago I have introduced the bi-onto maps for the topological category. Let me formulate here its general categorical definition: ...
0
votes
1answer
84 views

How to minimize this sparse quadratic function?

There is a problem when I'm reading a paper. Equation: $min_p|p-p^*|^2+\alpha |R(p)|^2 + \beta |D(p)-\delta|^2$, where $p, p^*, R(p), D(p), \delta$ are all $M\times N$ matrices, and $p^*, R(), D(), ...
1
vote
0answers
113 views

Inductive/Projective Limits of Topological Algebras

It is common to form inductive/projective limits of Banach/Frechet spaces in order to come up with natural topologies for common vector spaces. For instance, For $k \ge 0$ and $K_n$ compact ...
9
votes
0answers
304 views

A matrix trace inequality

The well-known Powers-Stormer inequality says the following: for positive semidefinite operators $A, B$, we have that $\mathrm{Tr}((A - B)(A - B)^\dagger) \leq \| A^2 - B^2 \|_1$, where $\| \cdot ...
2
votes
1answer
142 views

Multivariate Maximal Hilbert Transform

One way to define the maximal Hilbert transform of a function, $f$, is by $$\mathcal{H}[f](x):=\underset{\varepsilon>0}{\sup}\;\left|\int_{|x-t|\geq\varepsilon}\dfrac{f(t)}{x-t}dt\right|,\quad ...
15
votes
2answers
426 views

Ultraweak topology on B(X): Is the map X\otimes X* -> B(X)* isometric?

Let $X$ be a Banach space. Consider the map $$ \alpha\colon X\hat{\otimes} X^* \to B(X)^*, $$ defined one simple tensors as $$ \alpha(\xi\otimes\eta)(a) = \eta(a(\xi)).\quad (\xi\in X, \eta\in X^*, ...
5
votes
1answer
180 views

Analytic perturbation of eigenfunctions

Consider a domain $\Omega_0 \subset \mathbb{R}^n$, and deformations of $\Omega_0$, called $\Omega_t$, obtained by a one-to-one mapping $x \mapsto x + t\varphi (x)$, where $\varphi$ is smooth. It is ...