All Questions
12,780 questions
4
votes
1
answer
505
views
Characterization of the moduli space of the pair of pants in terms of the modules of the extremal ring domains
Hi, I was thinking about the following question ; I will appreciate it if somebody can give me a full or partial answer or can at least cite any reference(s)/ papers etc :
By $ \bar{P} $ , we ...
- 1,471
1
vote
1
answer
286
views
Quasi-conformal map between Riemann surfaces with punctures
Let $S$ be a Riemann surface of genus $g \geq 0$ with $n$ punctures, i.e., with $n$ distict points removed. Let $f: S \rightarrow R$ be a quasi-conformal map. Then $R$ is also Riemann surface of genus ...
- 471
2
votes
3
answers
3k
views
Extension of pointwise convergence of a sequence of uniformly continuous functions that converges on a dense set
It is known that a sequence of continuous functions on a metric space that converges pointwise on a dense subset need not converge pointwise on the full space. But what about if one assumes uniform ...
- 777
1
vote
0
answers
178
views
Inequalities between self-adjoint operators
Let $T_s$ ($s\ge0$) be a smooth family of non-negative self-adjoint operators in a separable Hilbert space $H$. Suppose that, for some $C'>C>0$, we have $T_0+Cs^2\le T_s\le T_0+C's^2$ for all $s$...
- 329
6
votes
2
answers
660
views
analytic approximation of a non-negative matrix by a sequence of positive matrices
Let $L \in \{0,1\}^{n \times n}$ be a non-negative matrix whose row sum is 1. ($L$ stands for "limit"). It is known that there exists a unique $r \times r$ principal minor of $L$ that is a permutation ...
- 1,010
10
votes
0
answers
509
views
Lacunary hyperbolic groups and weak amenability
In the paper called Lacunary Hyperbolic group, Y. Ol'shanskii, D. Osin and M. Sapir define and characterize the lacunary hyperbolic groups, which contains the hyperbolic groups but also Tarski's ...
- 195
7
votes
1
answer
1k
views
weak*-closed subspaces
Recall that a closed subspace $Y$ of a Banach space $X$ is weakly complemented if the set
$$Y^{\bot}:= \{ f\in X^*| f(y) = 0 \forall y\in Y\}$$
is a complemented subspace of $ X^*$. For example, $c_0$ ...
- 195
1
vote
2
answers
295
views
The operator preseving two disjoint dense operator ranges invariant
Let $\mathcal{H}$ be a separable infinite dimensional Hilbert space. Suppose that $\mathcal{H}_0\subset\mathcal{H}$ which is a dense proper subspace is the range of some bounded linear operator $T$. ...
- 11
8
votes
2
answers
1k
views
When is the norm of all positive operators on an ordered Banach space determined by their values on the positive cone?
I'm trying to investigate the interplay between the norm and cone of positive elements in ordered Banach spaces. In particular, I would like a nice characterization of when the norm of a positive ...
2
votes
1
answer
2k
views
Invariant functionals on C(R) and amenable groups
Since there seems to be no progress in this interesting question, I took the liberty to reformulate it in a way, that is easier to understand. Moreover, my answer shows that the question is related to ...
- 385
23
votes
5
answers
4k
views
Understanding/Mastering Analysis in Topology, necessary?
I have spoken to one professor so far about this, which of course was helpful, and so I am looking for additional opinions: To work with topological tools that were built via analysis, should I be a "...
- 17.5k
28
votes
5
answers
5k
views
Why are lacunary series so badly behaved?
Hi!
I just came across the Ostroski-Hadamard gap theorem, and while I can understand the proofs as well as the principle that the series $\sum_{n=0}^\infty z^{2^n}$ ought to have a singularity at ...
- 2,358
6
votes
2
answers
749
views
Transpose of unbounded operators between Banach spaces.
Let $X$ and $Y$ be Banach spaces, and let $L : X \rightarrow Y$ be a unbounded operator with dense domain $\operatorname{dom}(L)$. We can then talk about the transposed operator
$L' : \operatorname{...
- 5,327
7
votes
1
answer
1k
views
laplace equation on manifolds with boundary
in aubin's book on page 104 theorem 4.7 there is the theorem: Let $(M,g)$ be a compact $C^{\infty}$ Riemannian manifold. There exists a weak solution $\varphi \in H_{1}$ of $\Delta \varphi = f $ if ...
- 213
11
votes
4
answers
1k
views
Orthogonality in non-inner product spaces
I have come across a notion of orthogonality of two vectors in a normed space not necessarily inner product space. Two vectors $x$ and $y$ in a normed space are said to be orthogonal (represented $x\...
- 2,239
11
votes
1
answer
983
views
Applications of the "almost commuting" theorem of H. Lin
H. Lin proved that "almost commuting" hermitian matrices are "nearly commuting." To be more precise, Lin showed that given $\epsilon > 0$ there exists a $\delta > 0$ such that if $A, B \in M_N$ ...
- 3,699
3
votes
2
answers
1k
views
Do these kernel functions satisfy the semigroup property?
Define the kernel functions for $a\ge 1$,
$$
G_a(t,x) := \frac{C_a t}{t^{1+1/a}+|x|^{1+a}}, \qquad \forall t>0,\: x\in \mathbb{R}\;,
$$
where the constant $C_a$ is some normalization constant ...
- 1,649
1
vote
0
answers
135
views
Inequality involving BV norm and a regularizing kernel
In the same article by Benoit Perthame: http://www.mendeley.com/research/uniqueness-error-estimates-first-order-quasilinear-conservation-laws-via-kinetic-entropy-defect-measure/# (related to this ...
- 2,222
19
votes
3
answers
1k
views
Is there "Schur-Weyl duality" for infinite dimensional unitary group?
To what extent does the relation between the diagonal representation of $SU(n)$ in $(\mathbb{C}^n)^{\otimes k}$ and representations of the symmetric group $S_k$ remain valid when instead of the group $...
- 965
1
vote
0
answers
327
views
Are there any known bounds on this function?
For a sequence of functions $f_{k}(z,s)=\frac{1}{k} \sqrt[s]{Li_s(z^k)}$ with $s>2$ and $Li_{s}(s)$ is the Polylogarithm, I am trying to show
If $\Re f_{1}(e^{\frac{2\pi i}{3}},s) > \Re f_3(1,...
- 1,306
14
votes
2
answers
6k
views
Are weak and strong convergence of sequences not equivalent?
For some infinite-dimensional Banach spaces $E$, it is easy to find sequences $\langle x_i:i\in\mathbb N_0\rangle$ which converge to zero weakly but not in the norm topology, i.e. we have $\lim_{i\to\...
- 3,584
1
vote
1
answer
164
views
Maximum number of orthonormal vectors contained in an open cone
Let $H$ be a separable Hilbert space, $\Pi:H\to L$ the orthogonal projection to a linear subspace of finite dimension $p$, and $U$ the open cone of vectors $u\in H$ such that $\langle u,\Pi u\rangle&...
- 329
1
vote
1
answer
295
views
A nice overview (and maybe derivation) of the Poincaré transformations of the Vector Spherical Harmonics
With $Y_{lm}(\vartheta,\varphi)$ being the Spherical Harmonics and $z_l^{(j)}(r)$ being the Spherical Bessel functions ($j=1$), Neumann functions ($j=2$) or Hankel functions ($j=3,4$) defining $$\psi_{...
- 161
3
votes
1
answer
333
views
Stronger bound for a modified Lyapunov Equation
In regard to the stability analysis and control properties of the linear system $\dot{x}=Ax$.
Consider the solution $P$ of the continuous Lyapunov equation $AP+PA^T+Q=0$, where $A,Q,P
\in
{\mathbb{R}...
- 73
2
votes
0
answers
176
views
A limit involving a regularizing kernel
I am studying the following article by Benoit Perthame: http://www.mendeley.com/research/uniqueness-error-estimates-first-order-quasilinear-conservation-laws-via-kinetic-entropy-defect-measure/#
...
- 2,222
37
votes
1
answer
3k
views
Is S^2 x S^4 a complex manifold?
As observed by Calabi a long time ago, the manifold $S^2\times S^4$ admits an almost-complex structure (obtained by embedding it in $\mathbb{R}^7$ and using the octonionic product), which however is ...
- 6,871
3
votes
1
answer
653
views
Converse of the taylor's theorem in Banach Spaces
I would like to known if the following converse of the taylor's theorem is true:
Let $E$, $F$ Banach spaces, and $f:E\rightarrow F$ continuous. Suppose there are $k$ continuous functions $T_i: E \...
- 121
6
votes
0
answers
715
views
What is the structure of a space of $\sigma$-algebras?
Let $X$ be a compact metric space, and consider the Banach space $\Omega = C(X,\mathbb R)$ of continuous, real-valued functions on $X$, equipped with the supremum norm. Let $\delta_x \in \Omega^*$ be ...
- 8,512
5
votes
1
answer
4k
views
Contraction mapping with no fixed point
I am interested in constructing the following "counter-example" to the Banach's fixed point theorem.
Let $K=$ {$ g\in L_1: \|g\|=1, g(\cdot)\ge0 $}.
Clearly, $K$ is not a compact and $K$ is not ...
- 931
8
votes
1
answer
487
views
Continuous selections from sums of compact sets
This question is somehow related to the last open problem from Grothendieck's thesis about completeness of locally convex inductive limit. However, a particular case of the problem boils down to a ...
- 16.5k
2
votes
2
answers
816
views
Principle of Local Reflexivity
I'm having a hard time trying to understand a proof of the Principle of Local Reflexivity. I'm following the proofs from
1) Topics in Banach Space Theory (by Fernando Albiac, Nigel J. Kalton)
2) ...
- 151
5
votes
1
answer
1k
views
Notions related to De Rham Cohomology
In R^2, we have the following abelian groups, some of which have R vector space structures, or even C vector space structures.
Closed forms/exact forms
real parts of analytic functions/harmonic ...
- 51
2
votes
0
answers
146
views
Subspace where an operator is positive
Given a self-adjoint operator $\hat{T}$ on a Hilbert space $\mathcal{H}$, and assuming it has a basis of eigenvectors $\{\phi_n\}$ such that $\hat{T}\phi_n=\lambda_n\phi_n$, one can consider the ...
- 2,358
2
votes
2
answers
2k
views
Magnitude of the sum of complex i.u.d. random variables in the unit circle
Hello everybody. I'm working about asymptotic estimates of
$M_n = \left|\sum_{k=1}^n Z_k\right|$
where $Z_1, Z_2, \ldots$ are independent uniformly distributed random variables on the complex unit ...
- 463
6
votes
4
answers
1k
views
Recovering a measure from its moments
Suppose we are given moments of a measure on the interval [0,1]. Is there some practical way to recover the measure itself? I am particularly interested in the case where the measure density is given ...
0
votes
1
answer
338
views
The part of an operator as an analytic generator
Let the operator $A$ be the generator of an analytic semigroup on a Banach space $X$.
Let $Y$ be another Banach space embedded in $X$. We consider$A_Y$, the part of $A$ in $Y$, defined as the ...
- 271
10
votes
0
answers
814
views
Convexity of Jacobi's theta function with zero argument
This question may be elementary, I have asked it on math.stackexchange.com but have not received any answer yet. Note that I am not an expert on theta/elliptic functions.
Define Jacobi's theta ...
- 482
2
votes
1
answer
415
views
Uniqueness of dimension in Banach spaces
Let $\;\;\; \big\langle V,+,\cdot, \;\; ||\cdot|| \;\; \big\rangle \;\;\;$ be a Banach space over the field $\mathbb{K}$, which is either $\mathbb{R}$ or $\mathbb{C}$.
Suppose there exists a subset $...
user5810
2
votes
0
answers
407
views
Gaussian type integral with inverse square root
Hi,
I have encountered an integral of the following type in an engineering application:
$\int_{-\infty}^\infty dx \frac{1}{\sqrt{x^2+a^2}}\exp(-x^2/2+i x b)$,
where $a$ and $b$ are real ($a$ could ...
- 51
5
votes
1
answer
3k
views
Weak convergence implying norm convergence
A surprising (to me) consequence of Hahn-Banach is that when a sequence converges weakly then there is another sequence made of (finite) convex combination which converges in norm (to the same element)...
- 4,432
26
votes
3
answers
16k
views
the dual space of C(X) (X is noncompact metric space)
It is well known that when $X$ is a compact space (or locally compact space), the dual space of $C(X)=\{f |f:
X\rightarrow \mathbb{C} \text{ is continuous and bounded} \}$ is $M(X)$, the space of ...
- 1,706
3
votes
1
answer
375
views
Weak L_1-convergence of squares
Let $f_k$ be a sequence of non-negative functions from $L_2(\Omega)$, where $\Omega$ is a bounded open set. Assume that $f_k\to f$ weakly in $L_2$ and strongly in $L_p$, $\forall p<2$. Assume also ...
- 43
6
votes
3
answers
808
views
Hahn Banach Theorem for multisublinear functionals
The Hahn–Banach theorem states that: Given a sublinear functional $S: V \rightarrow \mathbb R$, if $T: U \rightarrow \mathbb R$ is a linear functional on a linear subspace $U \subseteq V$ that is ...
- 61
0
votes
1
answer
1k
views
1895 Math Trip problem on primitive roots of unity
How to prove that if $\theta _1,\theta _2,\theta _3$ be the arguments of the primitive roots of unity, $\sum \cos p\theta = 0$ when $p$ is a positive integer less than $\dfrac {n} {abc\ldots k}$, ...
- 291
2
votes
3
answers
600
views
Differential forms with poles on the diagonal
This question arises because I'm reading Frenkel and Ben Zvi's book "vertex algebras and algebraic curves" at the moment.
Let $X$ be a curve, $\Delta \subset X \times X$ the usual diagonal embedding, ...
- 157
4
votes
4
answers
994
views
Convergence of analytic covering maps to a covering map
Suppose a sequence of analytic maps $f_n: \mathbb{D} \to \mathbb{D}$ from the unit disk to itself, each of which is a topological covering map to its image, converges locally uniformly to an analytic ...
- 49
4
votes
2
answers
427
views
Choice of predictable (or jointly measurable) eigenvalues and eigenvectors of nuclear-operator-valued stochastic process
Let $q^{ij}$, $i,j\in\mathbb{N}$, be predictable real-valued stochastic processes. Let $(e^i)$, $i\in\mathbb{N}$ be an ONB of a separable Hilbert space $H$. Assume that $Q=\sum_{i,j=1}^\infty q^{ij}...
- 125
6
votes
1
answer
2k
views
Puiseux series expansion for space curves?
This result is apparently well known and used by many people.
I am, however, quite frustrated that I cannot seem to find a proof that I can understand.
For plane algebraic curves, this is not too hard....
- 1,111
4
votes
1
answer
655
views
Generator of Laplace operator as analytic semigroup on $L^1(\mathbb{R}^n)$
The Laplace operator is the generator of an analytic semigroup on $L^p(\mathbb R^n)$
for $1 < p < \infty$. Is the same true for $L^1(\mathbb R^n)$? If it is, could someone give a reference? The ...
- 271
5
votes
1
answer
540
views
Cosets of groups of functions
Let's consider an interval $I\subseteq\mathbb R$, and let $\mathcal F(I)$ be the set of bijective functions $f:I\to I$ so that the graph of $f$ is a analytic curve in $I\times I$.
The set $\mathcal ...
- 4,312