All Questions
10,050 questions
2
votes
1
answer
224
views
Subalgebras of $B(E)$
Let me fix an infinite-dimensional (complex) Banach space $E$. There is a cute result of Bracic and Kuzma which says that every maximal abelian subalgebra of $\mathscr{B}(E)$, the algebra of bounded ...
- 11.3k
4
votes
1
answer
586
views
Upper bounds for the solution of an elliptic PDE depending on a parameter.
Suppose I have the following PDE on $[0,1]^n$
$$\mathcal{L}u = -\nabla \cdot \left(a(x, r)\nabla u\right) = f(x,r), \qquad x\in [0,1]^n,$$
with periodic boundary conditions and $\int f(x) dx =0$ . ...
- 617
6
votes
2
answers
605
views
$\beta\mathbb{N}$ vs $\beta\mathbb{Z}$
Just started learning the Stone-Cech compactification of discrete groups this week. My motivation comes from a question on $\beta\mathbb{Z}$. Surprisingly, I realized there are muchhhh more literature ...
7
votes
1
answer
659
views
Compactness of Sobolev embedding for domains of finite measure
Let $\Omega \subset \mathbb{R}^d$ be a domain of finite Lebesgue measure, not assumed to be smooth or bounded. Is it true that the embedding of, say, $W^{1,p}_0(\Omega)$ (Sobolev functions with zero ...
- 4,010
2
votes
1
answer
400
views
Existence of a measure under certain condition
Hi everyone,
my problem seems quite simple: I have a set $\Gamma$ along with a nice $\sigma$-algebra $\mathscr{B}$. Then I have a vector space of bounded measurable functions $A \subset \mathscr{B}_{\...
2
votes
1
answer
267
views
Fourier transform and spectrum of PDOs in $L^p$
Let $K$ be a compact subset in $\mathbb{R}^n$ with $m(K)=0$, Suppose $supp\hat{u}\subset K$ for some $u\in L^p$,where $2\leq p\leq \frac{2n}{n-1}$,can we get $u\equiv 0$ ?
Motivation: If $K$ is a ...
- 1,644
10
votes
0
answers
508
views
Tensorial decomposition of $B(H)$
Let $H$ be an infinite-dimensional Hilbert space and let $\mathcal{B}(H)$ be the (C*/W*-)algebra of bounded operators on it. Actually, you may forget about the involution in $\mathcal{B}(H)$ because I ...
- 101
1
vote
1
answer
426
views
Continuous embedding of Hardy space in Lebesgue space
I would like to have a reference to the following statement which I think is true:
$$h^1 \hookrightarrow L^1.$$
The closest I came to this is in D. Goldberg's paper, "A local version of real Hardy ...
11
votes
0
answers
758
views
A basic question on Stone-Cech compactification of $\mathbb{Z}$
Can the identity isomorphism on the additive group $\mathbb{Z}$ be extended to a non-identity semigroup isomorphism on $\beta\mathbb{Z}$, and still preserves $\beta\mathbb{Z}\setminus\mathbb{Z}$? ...
- 895
6
votes
0
answers
324
views
Ricci-flat metrics on Cotangent bundles in adapted complex structure
greetings,
Let $(M,g)$ be a compact Riemannian manifold. On some neighbourhood $X$ of the zero section in the cotangent bundle $T^{*}L$ we have a complex structure $J$ and a Kähler form $\omega$ s.t. ...
- 61
-2
votes
1
answer
1k
views
holomorphic extension of a function [closed]
hi,
I have the following question: let $U \subset \mathbb{C}^{n}$ be some open set containing zero. let $\tilde{U} = U \cap \mathbb{R}^{n}$. assume we have a real-valued analytic function $f : \tilde{...
- 29
0
votes
1
answer
1k
views
A continuous linear functional on $L^\infty(R)$ that vanishes on $C(R)$.
Intuitively, I want to construct the functional F in this way:
$$F(f)=\lim_{x\rightarrow 0+}f(x)-\lim_{x\rightarrow 0-}f(x)$$
for $f\in L^\infty$. I know this is not well defined so I'd like to find ...
6
votes
3
answers
422
views
Limit of simple tensors
I have two questions which are intuitively true.
Let $V$ be a Hilbert space. As usual we can turn $V\otimes V$ or $V\otimes V\otimes V$ into Hilbert spaces by intorducing the natural inner product ...
- 141
8
votes
5
answers
545
views
Reference for : a Fréchet nuclear space is Montel
I'm looking for a reference to cite regarding the property presented in the title: "Closed and bounded sets of a nuclear Fréchet space are compact"
Thank you in advance for the help!
- 5,428
0
votes
1
answer
488
views
Discrete Sobolev space of $R^n$ valued maps
Can some one tell me the reference or any idea how to take the Discrete Sobolev space work defined for a scalar valued map to the space of maps which are vector valued.Let's say
$f:\Omega \...
- 17
1
vote
2
answers
437
views
Analytical predicate for integers over complex numbers
A complex number $z$ is an integer if and only if $\sin(\pi z)=0$.
It follows that a complex number $z$ is an integer if and only $\sin^2(\pi z) = 0$. So for a real analytic function $f$ and any real ...
- 123
0
votes
1
answer
223
views
Relation between the wave front set and the semiclassical frequency set
I need to prove that the wave front set of a distribution (as defined in Hormander's "The analysis of linear partial differential operators I") is equal to the semiclassical frequency set of an h-...
1
vote
2
answers
622
views
Kähler manifold with Ricci-flat Kähler form
hallo,
I have the following problem: Let $X$ be a $n-$dim Kähler manifold with Ricci-flat Kähler form $\omega$. There is a known fact that then there exists a holomorphic (n,0)-form $\Omega$ such ...
- 29
1
vote
1
answer
111
views
Log-nonexpansive functions: terminology and references
During my recent work in the optimization of positive valued functions, the following class of functions proved to be exceptionally important.
(Defn.). Let $h: (0,\infty) \to (0,\infty)$ be ...
- 28.6k
6
votes
0
answers
411
views
Birth-Death Process associated with Orthogonal Polynomials
I have read in various places the following objects are related:
orthogonal polynomials
birth-death processes
Lattice paths
continued fractions
After a lot of searching online, I found sketches ...
- 22.8k
3
votes
2
answers
1k
views
Can one derive Wigner’s theorem in the complex case from the real case?
Wigner's theorem states that every symmetry of complex Hilbert space is either unitary or anti-unitary, up to multiplication by a unit scalar function. Here $f:\mathcal{H} \rightarrow \mathcal{H}$ is ...
- 1,759
1
vote
1
answer
213
views
Weyl asymptotics vs. form perturbations
Consider Hilbert spaces $V$,$H$; a closed quadratic form $a$ with domain $V$; and its associated operator $A$ on $H$. (If necessary, the form can be assumed to be coercive.) For the sake of simplicity,...
- 3,388
1
vote
1
answer
340
views
Reflexive Besov spaces
I don't know whether the Besov space $B^1_{1,1}$ on a one dimensional torus is reflexive or not? Can someone help me please?
- 13
1
vote
2
answers
1k
views
Existence of solution of a Non-linear PDE via Fixed point theorem
Hi all
I've the following non-linear PDE
$-\Delta Y + Y^3 =U$ on $\Omega \subset R^n $, open, bounded, Lipschitz boundary domain
$Y=0 , $ on $\partial\Omega$
1.Let $Y\in H_0^1 $ and as $H_0^1 \...
- 17
10
votes
1
answer
930
views
Non-probabilistic proof of the Johnson–Lindenstrauss lemma
The Johnson–Lindenstrauss lemma states that a small set of points in a high-dimensional space can be embedded into a space of much lower dimension in such a way that distances between the points are ...
- 225
3
votes
1
answer
189
views
Sufficient (and concrete) condition for a function to satisfy some measure theoretic property
I'm interested in the following property, for a positive and locally bounded function $\omega:\mathbb{R}\to\mathbb{R}^d$, $d\ge 1$: there exists a countable sequence of open and pairwise disjoint sets ...
- 381
7
votes
2
answers
315
views
Duality between extremal points and extremal maps
Suppose I have a convex set $C\subset\mathbb{R}^n$ such that $0\in C$ and every Cauchy sequence in $C$ converges in $C$, but $C$ need not be bounded. (Actually I want unbounded $C$). Consider the set
...
- 421
2
votes
1
answer
202
views
tensor product with projective topology
There are two Banach spaces $X,Y$. These spaces have unconditional Schauder bases $\{e_i\}$ and $\{f_i\}$ respectively.
Is this right that $e_i\otimes f_j$ is the unconditional Schauder basis in $X\...
- 21
0
votes
1
answer
382
views
Double duals characteristic [closed]
Recall that (for $1\le p<\infty$), $\ell^p = \{\{a_n\}_{n=1}^\infty:\sum\limits_{i=1}^\infty|a_i|\lt\infty\}$, with norm $||\{a_n\}||=(\sum\limits_{i=1}^\infty|a_i|^p)^{\frac{1}{p}}$.
It is well ...
- 13
6
votes
1
answer
751
views
left- and right- Folner sets
Given an amenable group, it is a standard trick to turn a left-invariant mean ( i.e. a continuous positive normalised linear functional $m:\ell_\infty(G) \to \mathbb{R}$ such that $\forall g \in G, m \...
- 4,432
3
votes
1
answer
382
views
Deformation of space curves to union of lines
Does every irreducible component of a Hilbert scheme of curves in $\mathbb{P}^3$ contain a curve that is a union of lines (not necessarily reduced)? Furthermore, given a curve $C \subset \mathbb{P}^3$ ...
- 1,040
0
votes
1
answer
142
views
A special Integral Kernel
Does there exist either one / general class of non-negative definite , symmetric Integral Kernel map satisfying the following properties ??
$f(x)=(Kg)(x)=\int_{\Omega}K(x,y)g(y)dy$
$K:L^2(\...
- 17
1
vote
1
answer
1k
views
Almost analytic continuation
Let $f\in S^{\alpha}$ for some $\alpha \in \mathbb{R}$(which means that f is smooth and satisfies $|D^{\beta}f|\leq C(1+|x|)^{\alpha-\beta}$),a function $\tilde{f}$ on $\mathbb{C}$ is called an almost ...
- 1,644
0
votes
0
answers
186
views
Properties of Eigenfunctions of a Kernel
I'm a newbie and may be this question is bit simple for you but pardon me if it's too simple and provide me some references.
I've and Kernel function $K(x,y)$
$f(x)=(Kg)(x)=\int_{\Omega}K(x,y)g(y)dy$...
- 17
0
votes
1
answer
154
views
Rational equivalence and Hilbert flag scheme
Given a smooth surface $X \subset \mathbb{P}^3$ if we have two curves $C_1, C_2$ that are rationally equivalent is it true that both $(C_1,X)$ and $(C_2,X)$ will be in the same irreducible component ...
- 1,040
4
votes
2
answers
821
views
Elliptic regularity in $L^1$
Dear all,
I am looking for a good reference for elliptic regularity in $L^1$. To be more precise
Let $\Omega\subset\mathrm{R}^n$ be a bounded smooth domain, let $A$ be a properly elliptic ...
- 103
2
votes
1
answer
403
views
The set of Upper semi-continuous functions as a ring.
I should recall that the surgenfery topology on the real numbers is denoted by $\mathbb{R}_l$, and has the set
{$[a , b): a,b \in \mathbb{R} $} as it's base.
If $X$ is a topological space, an upper ...
- 1,788
2
votes
1
answer
261
views
Is C^{k+1}(X) compactly contained in C^{k}(X) for a closed manifold X?
Hi all,
I apologize if this question is too low level for mathoverflow. I'm happy to move it to math.stackexchange if so.
Let $X$ be a closed manifold, let $k$ be a nonnegative integer and let $C^k(...
- 31
5
votes
2
answers
291
views
Structure of the unitary representation $L^2(N/M)$ when $N$ is a nilpotent Lie group
Hi All,
I am new to this (though I seem to be a latecomer); so forgive me if this is not your most favorite question:
I am trying to understand the structure (e.g., decomposition) of the unitary ...
- 955
0
votes
0
answers
164
views
Can we separate Toeplitz matrices for negative and positive eigenvalues?
Consider a Toeplitz matrix T which has both positive and negative eigenvalues. Can we prove that there exist two Toeplitz matrix T1 and T2 such that T1+T2=T and T1 has only one positive Eigenvalues ...
- 9
9
votes
0
answers
397
views
Does the algebra of bounded variation functions have a "noncommutative geometric" meaning and generalization?
According to Gelfand-Naimark theory, $C^*$-algebras of continuous functions $\mathcal{C}^0(X,\mathbb{C})$ on a compact Hausdorff topological space completely capture its topology. Furthermore, every ...
- 23.4k
2
votes
0
answers
259
views
Common eigenvector
I have little experience with functional analysis beyond an undergraduate basic course, and I'm dealing with the following problem:
let $V$ be an infinite-dimensional locally convex (but not normed!) ...
- 5,407
47
votes
6
answers
6k
views
Can we actually find any fixed points with Brouwer's theorem?
Background
At the risk of greatly oversimplifying matters, let me state a heuristic from Granas and Dugundji's beautiful book: fixed point theorems fall into two broad categories. The first class is ...
- 15.5k
0
votes
0
answers
255
views
Convergence of a function in a metric space to its metric.
Given a metric space $(\mathbb{A},d)$ in $\mathbb{R^n}$ with a metric $d$ being the Euclidean metric:
If $\lim_{t \rightarrow \infty}||A_{t+1}-A_t||\rightarrow 0$ is a convergent sequence where $A$ ...
- 101
2
votes
0
answers
114
views
non-closed weak graph limit of symmetric operators
Hi Everyone,
I was recently reading Reed & Simon's functional analysis textbook (the first volume), and it mentions casually on page 294 that weak graph limits of a sequence of symmetric ...
- 21
6
votes
3
answers
1k
views
functional subrings
I should recall the notion of maximal subring of a commutative unitary ring $R$.
Def: A commutative ring $S$ is called a maximal subring of $R$ if $S \subset R$ and if $T \subset R$ constitute a ...
- 1,788
5
votes
3
answers
490
views
Continuity with values in L^2
Hi,
let $T>0$, $\Omega\subset\mathrm{R}^n$ be a bounded smooth domain and suppose
$$u\in L^2(0,T;W^{1,2}(\Omega))\cap L^\infty((0,T)\times\Omega))\ \text{and } \partial_tu\in L^2(0,T;W^{-1,2}(\...
- 103
2
votes
0
answers
176
views
Banach Algebras and the peripheral spectrum
Here is a little theorem that I'm trying to prove. I haven't seen it in literature before, but I think the applications will be quite useful, particularly in the context of Banach algebras.
Denote ...
- 21
10
votes
1
answer
492
views
Which W*-algebras are the duals of C*-coalgebras?
A Banach algebra (assumed associative and unital) is precisely a monoid object in the monoidal category of Banach spaces, short linear maps, and the projective tensor product. A Banach coalgebra is ...
- 2,754
3
votes
1
answer
678
views
Is this kernel space of finite dimension ?
Assume that $P \in \Psi^{m}(X)$ (X is a $C^{\infty}$ manifold)is properly supported and has a real principal part p which is homogeneous of degree m.I'm interested in the existence theorem(at least ...
- 1,644