All Questions
9,780 questions
1
vote
1
answer
283
views
Cotangent bundle in the category of locally convex spaces
I'm trying to understand the definition of a differential form on $M$ in the context of Fréchet spaces or, more generally, locally convex spaces. The standard procedure defines a k-form as a map $\...
- 5,824
0
votes
0
answers
81
views
Approximation property of Fréchet if range is restricted to an embedded Hilbert space
Let $W$ be a separable Fréchet space, and $H\subset W$ be a separable Hilbert space that is continuously embedded (equivalently, the topology of $H$ is stronger than the subspace topology generated by ...
- 320
2
votes
1
answer
1k
views
Range of the Radon Transform
Let us consider the Radon transform in two dimensions:
$$\tag{1}Rf(r,\theta):=\int\limits_{-\infty}^{\infty} f(r\cos\theta-t\sin\theta,r\sin\theta+t\cos\theta) dt,$$
where $r\in\mathbb{R}$ and $0\...
- 931
8
votes
1
answer
612
views
Is the set of exponentials open?
Let $A$ be a $C^*$-algebra or some norm-closed algebra of operators on a Hilbert space.
In the old paper
Hille, E. On Roots and Logarithms of Elements of a Complex Banach Algebra, Math. Annalen, ...
- 25.5k
2
votes
1
answer
240
views
BM-distances between $B(\ell_p^n)$ and $\ell^{n^2}_p$
Let $\ell_p^n$ be the $n$-dimensional real or complex $\ell_p$-space and let $\mathscr{B}(\ell_p^n)$ be the space of matrices on $\ell_p^n$ endowed with the operator norm. I am looking for any ...
- 11.3k
1
vote
0
answers
258
views
Is an exact operator, unitary equivalent to a banded operator?
Let $H$ be an infinite dimensional separable Hilbert space and $B(H)$ the algebra of bounded operators.
Definition : Let $(e_{n})_{n \in \mathbb{N}}$ be an orthonormal basis.
$T \in B(H)$ is ...
5
votes
1
answer
461
views
Is there a standard notation for a "shift space" in functional analysis?
I'm writing up some notes on the nLab about things like embedding spaces and infinite spheres and similar things (can't link to them yet as I haven't put them up yet). One aspect that crops up time ...
- 26.8k
2
votes
0
answers
146
views
Minimizing some $H^{-1}$ functional over (a subset of) probability densities in $R^d$
Let me consider the following subset of probability measures in $R^d$
$$
\mathcal{K}_M=\left\{0\leq u(x)\in L^1(R^d):\quad \int u(x)dx =1,\,\int|x|^2u(x)dx\leq M,\,\int u(x)|\log u(x)|dx\leq M\right\}
...
- 5,380
2
votes
1
answer
382
views
Function extension in a Sobolev space
Let $\Omega$ be a domain of $R^n$ and let $H^2(\Omega)$ be the usual Sobolev space.
Let $\emptyset\ne \omega_1\subset\omega_2$ be open subsets of $\Omega$, and let $\theta \in H^2(\omega_1)$.
I ...
1
vote
0
answers
91
views
A reasonable framework to study properties of operator $A \mapsto KAK$ on Banach space
Let $K$ be a continuous linear operator on $C[0,1]$ (more, precisely, it is a linear integral operator). Then $K$ defines a continous linear operator $\widehat K$ on $\mathcal L(C[0,1])$ by the rule
$$...
- 1,329
1
vote
0
answers
85
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 ...
- 1,893
21
votes
0
answers
732
views
Closed connected additive subgroups of the Hilbert space
It is a classical result that a closed and connected additive subgroup of $\mathbb{R}^n$ is necessarily a linear subspace. However, this is no longer true in infinite dimension: a very easy example is ...
- 60.6k
3
votes
0
answers
83
views
Invexity of the $L_2$ norm
I have the following function:
$ f({\bf A,b}) = \| {\bf y - XAb} \|_2^2$
where ${\bf y}_{n \times 1}$ and ${\bf X}_{n \times p}$ are fixed, and ${\bf A}_{p \times r}$ and ${\bf b}_{r,1}$ are the ...
- 291
3
votes
3
answers
2k
views
Conditional expectation of convolution product equals..
Let $X, Y$ be two $L^1$ random variables on the probablity space $(\Omega, \mathcal{F}, P)$. Let $\mathcal{G} \subset \mathcal{F}$ be a sub-$\sigma$-algebra.
Consider the conditional expectation ...
- 47
5
votes
3
answers
230
views
Is the Fell-Doran problem trivial in a topological setting?
The Fell-Doran problem is a problem in functional analysis. It goes as follows: Let $A$ be a complex unital algebra, $X$ a locally convex space, and $L(X)$ the algebra of all continuous endomorphisms ...
- 1,821
1
vote
0
answers
145
views
convergence of supergradient
Let $\{g_n\}$ be a sequence of concave functions defined on $\mathbb{R}$ and set
$$\lambda_n(x)=\lim_{\Delta x\to 0+}\frac{g_n(x+\Delta x)-g_n(x)}{\Delta x}$$
Assume there exists a concave function ...
- 1,835
2
votes
2
answers
408
views
Elliptic function with constant real part on the unit square diagonals?
Consider the following even meromorphic doubly periodic function with poles at the gaussian integer lattice.
$H(z) = \prod_{n \in \mathbb{Z}} {1 \over{ 1 - {1 \over{\cosh\left(2\pi\left(z-n\right)\...
- 181
1
vote
1
answer
339
views
$C_c^{\infty}([0,T];V)$ is dense in $C_c^{1}([0,T];V)$?
Is it true that the space $C_c^{\infty}([0,T];V)$ is dense in $C_c^{1}([0,T];V)$? These are compactly supported functions that are $V$ valued, where $V$ is a Banach or Hilbert space.
- 11
2
votes
0
answers
145
views
about an inequality which looks like a Hardy inequality
I would like to know if the following inequality can be true : consider a double sequence $(u_{i,j})_{(i,j)\in (\mathbb{N}^\star)^2}$ of real numbers and a real $p\geq 1$, do we have
$$ \sum_{j\...
- 111
5
votes
0
answers
274
views
Reference request: The relationship between norm and trace forms on an Albert algebra
I am interested in either a nice reference, or some clarification.
Overview: I am considering $J_3(\mathbb{O})$, the Jordan algebra of $3\times 3$ self adjoint octonionic matrices. This algebra is a ...
- 133
1
vote
0
answers
439
views
Does the dual Banach space $B(\ell^\infty)$ have weak* normal structure?
Let $K$ be a bounded closed convex subset of a Banach space $E$. A point $x$ in $K$ is called a diametral point if
$$
\sup_{y\in K} \|x-y\|={\rm diam}(K).
$$
where ${\rm diam}(K)$ denotes the ...
- 1,222
5
votes
1
answer
781
views
Does a log-concave function on a convex set extend continuously to the boundary?
Let $U$ be an open convex set in a locally convex space $X$, and let $f : U \to [0,1]$ be a log-concave function on $U$ (i.e., bounded and real-valued). Under what conditions does $f$ have a ...
- 8,512
3
votes
0
answers
69
views
Dilation of positive operators into martingales
In Rota's paper (An Alternierende Verfahren for General Positive Operators), Theorem 2 says that: Let $P$ be a doubly stochastic operator which is selfadjoint in $L^2 (S, \Sigma, \mu)$. Then there is ...
- 31
0
votes
1
answer
440
views
Variation on Fatou's lemma for Sobolev norms
Recall that Fatou's Lemma says that for every sequence $f_n$ of non-negative measurable functions
$$\int \liminf_{n\to \infty} f_n \ d\mu\leq \liminf_{n\to \infty} \int f_n\ d\mu \ .$$
If I am not ...
- 1
0
votes
1
answer
666
views
A Cauchy–Schwarz Type Inequality Involving Scaled Distributions
I have stumbled upon a rather intriguing inequality involving the product of the scaled distribution and the scaled density of a random variable. The inequality has a very attractive form, and it ...
- 197
7
votes
2
answers
684
views
Yet more on distortion
I would like to elaborate a little bit on my previous question which can be found
here.
Firstly, let me recall that a separable Banach space $(X, \| \cdot \|)$ is said to be
arbitrarily distortable ...
- 576
2
votes
0
answers
43
views
Specific type operators and basic sequences
Let $s$ be the space of rapidly decreasing sequences, i.e.
$s=\{\xi=(\xi_j)_j\colon\,\,\sup_j|\xi_j|j^n<\infty\,\,\text{for all}\,\,n\in\mathbb{N}\}$ and $s'$ its topological dual, i.e.
$s'=\{\eta=(...
- 375
2
votes
1
answer
235
views
ODE for functions with values in locally convex TVS
Given an ODE for a function $u \in C^1(I,V)$, where $V$ is some locally convex TVS (topological vector space) and $I \subset \mathbb{R}$, i.e.
$\frac{d}{dt} u = f(t,u)$
for some function $f: I \...
- 403
5
votes
0
answers
133
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 ...
- 4,461
2
votes
2
answers
161
views
Non-global oscillation of banded Fourier transform
Can we say something like monotonicity, growth rate and oscillation of the Fourier transform of a banded function $f$ with support $[0, N]$
$$\mathcal{F}f(\xi) = \int_{0}^N f(x)e^{-ix\xi}dx.$$
Of ...
- 55
3
votes
3
answers
1k
views
Minimizing a functional
I have wondered the problem in http://www.helsinki.fi/~hmkokko/Stuff/Esdale/index.html for over year without success. If we try to minimize the functional equation
T(\theta ) = \int_0^L\frac {dx}{v_0\...
2
votes
1
answer
213
views
Local convexity of C([a,b])
Let $C([a,b],\mathbb{R})$ denote the space of continuous functions from $[a,b]$ to the real numbers. For a function $f\in C([a,b],\mathbb{R})$ and $d\gt 0$, define
$$p_d(f) :=sup\{\lvert f(x)-f(y)\...
- 41
9
votes
2
answers
674
views
Small crown probabilities (and infinite dimensional margin assumption)
My question is:
How do I find sharp upper bounds on $P(|q|\leq \epsilon)$ uniformly over a set of gaussian polynomes $q$ of degree two.
Notations and definitions (to make the question rigorous)
Let ...
1
vote
0
answers
164
views
How to use, $(|u|^{2}u - |v|^{2}v)(s)= (u-v)|u|^{2}(s)+ v(|u|^{2}-|v|^{2}) (s)$; to prove contraction in a Banach space $C([0,T]; M^{p,1})$?
(May be this is very basic question for MO)
(For details or this question you may see the paper page no. 9, MR2506839, Local well-posedness of nonlinear dispersive equations on modulation spaces; ...
- 1,051
1
vote
1
answer
977
views
Fourier transform of distributions with non-standard test functions
This might be a quite simple question for function analysis standards, but it has some obstacles. I'll try to improve the readability a bit by not using the full tex code. A short motivation:
Given a ...
- 278
2
votes
0
answers
186
views
Changing the test function space in a weak formulation of parabolic PDE
Suppose we are interested in the existence of a $u \in L^2(0,T;V)$ with $u' \in L^2(0,T;V^*)$ such that
$$(u(T),\varphi(t))_H -\int_0^T \langle \varphi'(t), u(t) \rangle_{V^*,V} + \int_0^T a(u(t),\...
- 155
0
votes
2
answers
180
views
A basic question about JL Lions' transformation of a Stefan problem
In J.L Lions' book "Quelques méthodes de résolution des problèmes aux limites non linéaires" (page 196), the author considers a two-phase problem with moving boundary separating the interface. The ...
- 23
1
vote
0
answers
99
views
decomposition of tempered distributions by entire analytic functions
Let $\phi$ be a $C^{\infty}$ function on $\mathbb R^{n}$ with
$$ \operatorname{supp} \phi \subset \{\xi \in \mathbb R^{n}: |\xi|\leq 2, \phi(\xi)=1~~\text{if}~|\xi|\leq 1\}$$
Let $j\in \mathbb N$ ...
- 1,051
1
vote
0
answers
62
views
Reference request - Compact embedding of intermediate space
Given two Banach spaces $X_0$ and $X_1$ with norms $\|\cdot\|_0$ and $\|\cdot\|_1$, respectively, such that $X_0\subset X_1$ and $X_0\hookrightarrow X_1$, i.e., $X_0$ is continuous embedded in $X_1$.
...
- 679
6
votes
0
answers
319
views
Norms on tensor products
Let $A$ be an algebra of operators on a Hilbert space $H$. Let $A^m$ and $A^n$ be free $A$-modules with bases $e_1, \ldots, e_m$ and $f_1, \ldots, f_n$. Define a norm on $A^m \otimes A^n$ as follows:
$...
- 401
-1
votes
1
answer
934
views
Domain and exponential of self- adjoint operator
Let $A$ be a self - adjoint operator on a Hilbert space $\mathcal{H}$ and let $D(A)$ be its domain. If $\psi \in D(A)$ then $exp(-itA) \psi \in D(A)$ iff $A$ is bounded ?
Thank ...
4
votes
0
answers
297
views
Which orbits of a separable representation of the infinite unitary group are closed?
Consider a separable irreducible unitary representation of $U(\mathcal{H})$ in the Hilbert space $V$. Assume that $\mathcal{H}$ is separable. My question is the following:
Is it true that all ...
- 965
1
vote
0
answers
134
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 ...
- 43
0
votes
1
answer
216
views
Find a special element in group algebra
Let $$G=\langle x, y, z\mid xyx^{-1}=zy, xzx^{-1}=z, yz=zy\rangle,$$ denote $l^1(G)^{\times}$ to be the set of units in $l^1(G)$, which we have considered as a ring with multiplication defined by the ...
- 1,528
11
votes
0
answers
601
views
High-dimensional geometry: Top-down Vs. Bottom-up
There are several ways to leverage one's intuition from low-dimensional geometry to understand high-dimensional phenomena. For example, one can get a clearer picture of the behaviour of high-...
- 1,666
2
votes
0
answers
143
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 $\...
- 539
0
votes
1
answer
286
views
Irreducible subspaces of separable Hilbert space
A question about definition: Let $\mathcal{H}$ be a separable Hilbert space over $\mathbb{C}$, with $B(\mathcal{H})$ the bounded linear operators on it. What does it mean to have an irreducible ...
- 103
1
vote
0
answers
82
views
boundedness of a sequence $ \in L^{\infty}(I,H^1(M))\cap Lip(I,L^2(M))$ implies that its temporal derivative is bounded as well [closed]
Hi I have the next claim which I would like to find a proof of it.
I have a sequence of functions $u_\epsilon(t,x) \in H^1(M)$ where $M$ is a compact manifold, and $u_\epsilon \in L^\infty(I,H^1(M))\...
- 1,594
5
votes
0
answers
241
views
Find a lower bound for a pre-invariant $Fol(L(F_m), X_m)$
In the paper of Bannon and Ravichandran, A Folner invariant for type $\rm{II}_1$ factors, they defined an invariant $Fol(M)$ for a separable type $\rm{II}_1$ factor $M$, especially for the free group ...
- 1,528
0
votes
1
answer
162
views
Extracting moments from a special Z-transform
Suppose I have a sequence of positive continuous random variables $\{X_k\}_{k=1}^\infty$ with (unknown) MGF's $M_{X_k}(s)$. Furthermore, it is known that
\begin{equation}\frac{X_n-n\mu}{\sqrt{n}\sigma}...
- 41